q=  3/100 N=16 n=16 starts=400 best/M=1.000000000000033 (OR_16) best non-equal/M=-1.157144258 top=None limits by k={5: 4, 6: 11, 7: 29, 8: 35, 9: 60, 10: 32, 11: 27, 12: 27, 13: 29, 14: 46, 15: 26, 16: 74} flag=False exact=None 3s
q=  3/100 N=16 n=17 starts=400 best/M=0.999999999999977 (OR_16) best non-equal/M=-1.157144258 top=None limits by k={5: 1, 6: 5, 7: 26, 8: 36, 9: 60, 10: 37, 11: 29, 12: 22, 13: 30, 14: 40, 15: 37, 16: 46, 17: 31} flag=False exact=None 7s
q=  3/100 N=16 n=18 starts=400 best/M=0.999999999999976 (OR_16) best non-equal/M=-1.157144258 top=None limits by k={5: 1, 6: 4, 7: 16, 8: 21, 9: 59, 10: 50, 11: 35, 12: 29, 13: 28, 14: 37, 15: 30, 16: 36, 17: 36, 18: 18} flag=False exact=None 18s
q=  3/100 N=16 n=20 starts=400 best/M=1.000000000000415 (OR_16) best non-equal/M=-1.157144258 top=None limits by k={5: 1, 6: 4, 7: 9, 8: 17, 9: 36, 10: 46, 11: 35, 12: 39, 13: 25, 14: 31, 15: 44, 16: 51, 17: 33, 18: 24, 19: 5} flag=False exact=None 86s
q=  3/100 N=16 n=20 starts=200 best/M=1.000000000000415 (OR_16) best non-equal/M=-1.157144258 top=None limits by k={6: 3, 7: 1, 8: 13, 9: 14, 10: 20, 11: 22, 12: 24, 13: 13, 14: 14, 15: 22, 16: 23, 17: 15, 18: 10, 19: 5, 20: 1} flag=False exact=None 43s
q=  3/100 N=16 n=21 starts=200 best/M=0.999999999999544 (OR_16) best non-equal/M=0.865672503 top=[-0.36918, -0.36918, -0.36918, -0.36918, -0.36918, -0.36918, -0.36918, -0.07145, -0.07145, -0.07145, -0.07145, -0.07145, -0.07145, -0.07145, -0.07145, -0.07145, -0.0, -0.0, -0.0, 0.0] limits by k={0: 1, 7: 2, 8: 10, 9: 14, 10: 19, 11: 21, 12: 14, 13: 21, 14: 17, 15: 18, 16: 25, 17: 27, 18: 9, 19: 1, 20: 1} flag=False exact=None 91s
q=   1/25 N=12 n=12 starts=400 best/M=1.000000000000003 (OR_12) best non-equal/M=-1.154064829 top=None limits by k={3: 3, 4: 12, 5: 41, 6: 49, 7: 64, 8: 30, 9: 50, 10: 37, 11: 29, 12: 85} flag=False exact=None 0s
q=   1/25 N=12 n=13 starts=400 best/M=0.999999999999996 (OR_12) best non-equal/M=-1.154064829 top=None limits by k={3: 1, 4: 10, 5: 31, 6: 51, 7: 54, 8: 30, 9: 45, 10: 50, 11: 35, 12: 39, 13: 54} flag=False exact=None 1s
q=   1/25 N=12 n=14 starts=400 best/M=1.000000000000007 (OR_12) best non-equal/M=0.854227949 top=[-0.44415, -0.44415, -0.44415, -0.44415, -0.44415, -0.05852, -0.05852, -0.05852, -0.04077, -0.04077, 0.00338, 0.00338, 0.00338, 0.0] limits by k={0: 1, 3: 1, 4: 4, 5: 24, 6: 37, 7: 57, 8: 41, 9: 52, 10: 49, 11: 45, 12: 33, 13: 32, 14: 24} flag=False exact=None 1s
q=   1/25 N=12 n=16 starts=400 best/M=1.000000000000004 (OR_12) best non-equal/M=0.984676015 top=[0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, -0.15563] limits by k={0: 1, 4: 3, 5: 20, 6: 30, 7: 32, 8: 54, 9: 58, 10: 34, 11: 49, 12: 46, 13: 30, 14: 35, 15: 6, 16: 2} flag=False exact=None 4s
q=   1/25 N=12 n=18 starts=400 best/M=1.000000000000058 (OR_12) best non-equal/M=0.984676015 top=[0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, 0.25505, -0.15563] limits by k={0: 1, 5: 7, 6: 23, 7: 18, 8: 38, 9: 48, 10: 64, 11: 58, 12: 59, 13: 36, 14: 31, 15: 11, 16: 5, 17: 1} flag=False exact=None 18s
q=   1/25 N=12 n=20 starts=200 best/M=0.999999999999854 (OR_12) best non-equal/M=0.988483926 top=[0.26421, 0.26421, 0.26421, 0.26421, 0.26421, 0.26421, 0.26421, 0.26421, 0.26421, 0.26421, 0.26421, 0.26421, 0.26421, 0.26421, -0.15072, -0.0] limits by k={0: 4, 5: 4, 6: 4, 7: 12, 8: 14, 9: 16, 10: 38, 11: 32, 12: 28, 13: 25, 14: 13, 15: 7, 16: 3} flag=False exact=None 44s
q=   1/25 N=12 n=21 starts=200 best/M=1.000000000000172 (OR_12) best non-equal/M=0.978691492 top=[0.24677, 0.24677, 0.24677, 0.24677, 0.24677, 0.24677, 0.24677, 0.24677, 0.24677, 0.24677, 0.24677, 0.24677, 0.24677, 0.24677, 0.24677, 0.24677] limits by k={0: 5, 6: 5, 7: 8, 8: 13, 9: 20, 10: 34, 11: 41, 12: 26, 13: 22, 14: 16, 15: 8, 16: 2} flag=False exact=None 92s
q=   1/20 N=10 n=10 starts=400 best/M=1.000000000000000 (OR_10) best non-equal/M=-1.151093899 top=None limits by k={2: 2, 3: 15, 4: 56, 5: 60, 6: 45, 7: 54, 8: 52, 9: 39, 10: 77} flag=False exact=None 0s
q=   1/20 N=10 n=11 starts=400 best/M=1.000000000000000 (OR_10) best non-equal/M=-1.151093899 top=None limits by k={3: 10, 4: 35, 5: 42, 6: 61, 7: 60, 8: 49, 9: 50, 10: 38, 11: 55} flag=False exact=None 0s
q=   1/20 N=10 n=12 starts=400 best/M=1.000000000000002 (OR_10) best non-equal/M=0.854814045 top=[0.49409, 0.49409, 0.49409, 0.49409, 0.10469, 0.06262, 0.06262, 0.06262, 0.01947, 0.01947, -0.0, 0.0] limits by k={0: 1, 3: 4, 4: 29, 5: 38, 6: 59, 7: 64, 8: 56, 9: 44, 10: 37, 11: 45, 12: 23} flag=False exact=None 0s
q=   1/20 N=10 n=14 starts=400 best/M=1.000000000000006 (OR_10) best non-equal/M=-1.151093899 top=None limits by k={3: 1, 4: 13, 5: 38, 6: 47, 7: 60, 8: 69, 9: 45, 10: 53, 11: 41, 12: 25, 13: 8} flag=False exact=None 1s
q=   1/20 N=10 n=17 starts=400 best/M=1.000000000000015 (OR_10) best non-equal/M=0.982857530 top=[-0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, 0.17422, 0.0] limits by k={0: 9, 4: 13, 5: 19, 6: 23, 7: 32, 8: 76, 9: 78, 10: 69, 11: 45, 12: 27, 13: 8, 14: 1} flag=False exact=None 8s
q=   1/20 N=10 n=18 starts=400 best/M=1.000000000000175 (OR_10) best non-equal/M=0.982857530 top=[-0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, 0.17422, 0.0] limits by k={0: 9, 4: 3, 5: 21, 6: 22, 7: 37, 8: 77, 9: 72, 10: 62, 11: 57, 12: 34, 13: 6} flag=False exact=None 19s
q=   1/20 N=10 n=20 starts=200 best/M=1.000000000000322 (OR_10) best non-equal/M=0.982857530 top=[-0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, -0.28426, 0.17422, 0.0] limits by k={0: 11, 5: 7, 6: 10, 7: 14, 8: 27, 9: 38, 10: 41, 11: 32, 12: 19, 13: 1} flag=False exact=None 45s
q=   1/20 N=10 n=21 starts=200 best/M=1.000000000000124 (OR_10) best non-equal/M=0.982857530 top=[0.28426, 0.28426, 0.28426, 0.28426, 0.28426, 0.28426, 0.28426, 0.28426, 0.28426, 0.28426, 0.28426, 0.28426, -0.17422, -0.0] limits by k={0: 5, 4: 2, 5: 4, 6: 4, 7: 17, 8: 26, 9: 35, 10: 45, 11: 33, 12: 21, 13: 8} flag=False exact=None 96s
q=   3/50 N= 8 n= 8 starts=400 best/M=1.000000000000000 (OR_8) best non-equal/M=0.832646465 top=[-0.56013, -0.56013, -0.56013, -0.10841, -0.10841, -0.10841, -0.10841, -0.10841] limits by k={0: 1, 2: 14, 3: 56, 4: 70, 5: 60, 6: 64, 7: 47, 8: 88} flag=False exact=None 0s
q=   3/50 N= 8 n= 9 starts=400 best/M=1.000000000000000 (OR_8) best non-equal/M=-1.147864127 top=None limits by k={2: 9, 3: 38, 4: 57, 5: 87, 6: 64, 7: 47, 8: 35, 9: 63} flag=False exact=None 0s
q=   3/50 N= 8 n=10 starts=400 best/M=0.999999999999999 (OR_8) best non-equal/M=0.830479006 top=[-0.57406, -0.57406, -0.57406, -0.06151, -0.06151, -0.06151, 0.0, 0.0, 0.0, 0.0] limits by k={0: 1, 2: 1, 3: 21, 4: 49, 5: 94, 6: 63, 7: 52, 8: 47, 9: 43, 10: 29} flag=False exact=None 0s
q=   3/50 N= 8 n=12 starts=400 best/M=0.999999999999999 (OR_8) best non-equal/M=0.980750251 top=[0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, -0.19112, -0.0] limits by k={0: 3, 3: 15, 4: 28, 5: 49, 6: 79, 7: 71, 8: 59, 9: 35, 10: 36, 11: 23, 12: 2} flag=False exact=None 0s
q=   3/50 N= 8 n=15 starts=400 best/M=0.999999999999986 (OR_8) best non-equal/M=0.980750251 top=[0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, -0.19112, -0.0] limits by k={0: 12, 3: 4, 4: 23, 5: 28, 6: 63, 7: 68, 8: 86, 9: 56, 10: 47, 11: 13} flag=False exact=None 2s
q=   3/50 N= 8 n=18 starts=400 best/M=1.000000000000060 (OR_8) best non-equal/M=0.980750251 top=[0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, -0.19112, -0.0] limits by k={0: 18, 3: 2, 4: 8, 5: 29, 6: 38, 7: 69, 8: 103, 9: 69, 10: 54, 11: 10} flag=False exact=None 19s
q=   3/50 N= 8 n=20 starts=200 best/M=0.999999999999864 (OR_8) best non-equal/M=0.980750251 top=[0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, 0.3104, -0.19112, -0.0] limits by k={0: 25, 4: 3, 5: 12, 6: 21, 7: 27, 8: 40, 9: 40, 10: 25, 11: 7} flag=False exact=None 46s
q=   3/50 N= 8 n=21 starts=200 best/M=1.000000000000262 (OR_8) best non-equal/M=0.980750251 top=[-0.3104, -0.3104, -0.3104, -0.3104, -0.3104, -0.3104, -0.3104, -0.3104, -0.3104, -0.3104, 0.19112, 0.0] limits by k={0: 31, 4: 5, 5: 12, 6: 27, 7: 27, 8: 36, 9: 33, 10: 23, 11: 6} flag=False exact=None 98s
q=  7/100 N= 7 n= 7 starts=400 best/M=1.000000000000000 (OR_7) best non-equal/M=-1.144808377 top=None limits by k={1: 3, 2: 24, 3: 71, 4: 95, 5: 77, 6: 44, 7: 86} flag=False exact=None 0s
q=  7/100 N= 7 n= 8 starts=400 best/M=1.000000000000000 (OR_7) best non-equal/M=0.869362757 top=[0.57305, 0.57305, 0.57305, 0.07037, 0.07037, 0.07037, 0.0, 0.0] limits by k={0: 3, 2: 10, 3: 51, 4: 90, 5: 75, 6: 56, 7: 53, 8: 62} flag=False exact=None 0s
q=  7/100 N= 7 n= 9 starts=400 best/M=1.000000000000000 (OR_7) best non-equal/M=-1.144808377 top=None limits by k={2: 10, 3: 32, 4: 78, 5: 95, 6: 54, 7: 54, 8: 41, 9: 36} flag=False exact=None 0s
q=  7/100 N= 7 n=11 starts=400 best/M=1.000000000000000 (OR_7) best non-equal/M=0.981232298 top=[0.34637, 0.34637, 0.34637, 0.34637, 0.34637, 0.34637, 0.34637, 0.34637, -0.20061, -0.0, -0.0] limits by k={0: 4, 2: 2, 3: 29, 4: 45, 5: 90, 6: 72, 7: 70, 8: 47, 9: 32, 10: 9} flag=False exact=None 0s
q=  7/100 N= 7 n=14 starts=400 best/M=1.000000000000004 (OR_7) best non-equal/M=0.975382735 top=[-0.32582, -0.32582, -0.32582, -0.32582, -0.32582, -0.32582, -0.32582, -0.32582, -0.32582, 0.21115, 0.0] limits by k={0: 22, 2: 2, 3: 11, 4: 34, 5: 61, 6: 71, 7: 91, 8: 68, 9: 35, 10: 5} flag=False exact=None 1s
q=  7/100 N= 7 n=18 starts=400 best/M=1.000000000000071 (OR_7) best non-equal/M=0.975382735 top=[0.32582, 0.32582, 0.32582, 0.32582, 0.32582, 0.32582, 0.32582, 0.32582, 0.32582, -0.21115, -0.0] limits by k={0: 72, 3: 4, 4: 23, 5: 38, 6: 68, 7: 73, 8: 78, 9: 42, 10: 2} flag=False exact=None 20s
q=   2/25 N= 6 n= 6 starts=400 best/M=1.000000000000000 (OR_6) best non-equal/M=0.900010502 top=[0.57194, 0.57194, 0.57194, 0.07889, 0.07889, 0.07889] limits by k={0: 1, 1: 6, 2: 47, 3: 99, 4: 102, 5: 62, 6: 83} flag=False exact=None 0s
q=   2/25 N= 6 n= 7 starts=400 best/M=1.000000000000000 (OR_6) best non-equal/M=-1.141606243 top=None limits by k={1: 1, 2: 31, 3: 73, 4: 99, 5: 82, 6: 53, 7: 61} flag=False exact=None 0s
q=   2/25 N= 6 n= 8 starts=400 best/M=1.000000000000000 (OR_6) best non-equal/M=-1.141606243 top=None limits by k={2: 30, 3: 55, 4: 98, 5: 78, 6: 70, 7: 35, 8: 34} flag=False exact=None 0s
q=   2/25 N= 6 n=10 starts=400 best/M=1.000000000000001 (OR_6) best non-equal/M=0.978564282 top=[0.36913, 0.36913, 0.36913, 0.36913, 0.36913, 0.36913, 0.36913, -0.21494, -0.0, 0.0] limits by k={0: 8, 2: 7, 3: 50, 4: 66, 5: 89, 6: 75, 7: 53, 8: 36, 9: 16} flag=False exact=None 0s
q=   2/25 N= 6 n=13 starts=400 best/M=1.000000000000002 (OR_6) best non-equal/M=0.972228978 top=[0.34429, 0.34429, 0.34429, 0.34429, 0.34429, 0.34429, 0.34429, 0.34429, -0.22746, -0.0] limits by k={0: 32, 2: 5, 3: 22, 4: 48, 5: 90, 6: 89, 7: 77, 8: 32, 9: 5} flag=False exact=None 1s
q=   2/25 N= 6 n=18 starts=400 best/M=1.000000000000059 (OR_6) best non-equal/M=0.972228978 top=[-0.34429, -0.34429, -0.34429, -0.34429, -0.34429, -0.34429, -0.34429, -0.34429, 0.22746, 0.0] limits by k={0: 90, 3: 9, 4: 38, 5: 69, 6: 66, 7: 65, 8: 52, 9: 1, 17: 2, 18: 8} flag=False exact=None 20s
q=87/1000 N= 6 n= 6 starts=400 best/M=1.000000000000000 (OR_6) best non-equal/M=-1.141682848 top=None limits by k={1: 6, 2: 51, 3: 85, 4: 100, 5: 74, 6: 84} flag=False exact=None 0s
q=87/1000 N= 6 n= 7 starts=400 best/M=1.000000000000000 (OR_6) best non-equal/M=-1.141682848 top=None limits by k={1: 3, 2: 33, 3: 90, 4: 106, 5: 69, 6: 35, 7: 64} flag=False exact=None 0s
q=87/1000 N= 6 n= 8 starts=400 best/M=1.000000000000000 (OR_6) best non-equal/M=0.976168761 top=[0.3676, 0.3676, 0.3676, 0.3676, 0.3676, 0.3676, 0.3676, -0.23253] limits by k={0: 3, 2: 33, 3: 67, 4: 102, 5: 79, 6: 45, 7: 43, 8: 28} flag=False exact=None 0s
q=87/1000 N= 6 n=10 starts=400 best/M=1.000000000000001 (OR_6) best non-equal/M=0.976168761 top=[0.3676, 0.3676, 0.3676, 0.3676, 0.3676, 0.3676, 0.3676, -0.23253, -0.0, -0.0] limits by k={0: 18, 2: 23, 3: 29, 4: 67, 5: 105, 6: 79, 7: 48, 8: 29, 9: 2} flag=False exact=None 0s
q=87/1000 N= 6 n=13 starts=400 best/M=1.000000000000004 (OR_6) best non-equal/M=0.976168761 top=[0.3676, 0.3676, 0.3676, 0.3676, 0.3676, 0.3676, 0.3676, -0.23253, -0.0, -0.0] limits by k={0: 46, 2: 5, 3: 24, 4: 63, 5: 81, 6: 103, 7: 64, 8: 14} flag=False exact=None 1s
q=87/1000 N= 6 n=18 starts=400 best/M=1.000000000000031 (OR_6) best non-equal/M=0.976168761 top=[0.3676, 0.3676, 0.3676, 0.3676, 0.3676, 0.3676, 0.3676, -0.23253, 0.0, 0.0] limits by k={0: 123, 2: 1, 3: 23, 4: 27, 5: 58, 6: 64, 7: 76, 8: 12, 16: 2, 17: 11, 18: 3} flag=False exact=None 21s
q=   1/10 N= 5 n= 5 starts=400 best/M=1.000000000000000 (OR_5) best non-equal/M=-1.136040226 top=None limits by k={1: 25, 2: 76, 3: 119, 4: 82, 5: 98} flag=False exact=None 0s
q=   1/10 N= 5 n= 6 starts=400 best/M=1.000000000000000 (OR_5) best non-equal/M=-1.136040226 top=None limits by k={1: 11, 2: 57, 3: 103, 4: 108, 5: 48, 6: 73} flag=False exact=None 0s
q=   1/10 N= 5 n= 7 starts=400 best/M=1.000000000000000 (OR_5) best non-equal/M=0.972543058 top=[-0.39546, -0.39546, -0.39546, -0.39546, -0.39546, -0.39546, 0.24831] limits by k={0: 2, 1: 3, 2: 43, 3: 95, 4: 112, 5: 79, 6: 43, 7: 23} flag=False exact=None 0s
q=   1/10 N= 5 n= 9 starts=400 best/M=1.000000000000000 (OR_5) best non-equal/M=0.972543058 top=[0.39546, 0.39546, 0.39546, 0.39546, 0.39546, 0.39546, -0.24831, 0.0, 0.0] limits by k={0: 17, 1: 1, 2: 34, 3: 73, 4: 98, 5: 87, 6: 65, 7: 25} flag=False exact=None 0s
q=   1/10 N= 5 n=12 starts=400 best/M=1.000000000000001 (OR_5) best non-equal/M=0.972543058 top=[-0.39546, -0.39546, -0.39546, -0.39546, -0.39546, -0.39546, 0.24831, -0.0, -0.0] limits by k={0: 76, 2: 18, 3: 50, 4: 73, 5: 102, 6: 64, 7: 17} flag=False exact=None 0s
q=   1/10 N= 5 n=18 starts=400 best/M=1.000000000000076 (OR_5) best non-equal/M=0.972543058 top=[0.39546, 0.39546, 0.39546, 0.39546, 0.39546, 0.39546, -0.24831, 0.0, 0.0] limits by k={0: 139, 2: 3, 3: 32, 4: 49, 5: 51, 6: 71, 7: 14, 14: 8, 15: 27, 16: 6} flag=False exact=None 21s
q= 21/200 N= 5 n= 5 starts=400 best/M=1.000000000000000 (OR_5) best non-equal/M=-1.136806881 top=None limits by k={1: 22, 2: 88, 3: 119, 4: 73, 5: 98} flag=False exact=None 0s
q= 21/200 N= 5 n= 6 starts=400 best/M=1.000000000000000 (OR_5) best non-equal/M=-1.136806881 top=None limits by k={1: 20, 2: 52, 3: 119, 4: 90, 5: 51, 6: 68} flag=False exact=None 0s
q= 21/200 N= 5 n= 7 starts=400 best/M=1.000000000000000 (OR_5) best non-equal/M=0.971172874 top=[0.39425, 0.39425, 0.39425, 0.39425, 0.39425, 0.39425, -0.25965] limits by k={0: 5, 1: 7, 2: 41, 3: 94, 4: 108, 5: 62, 6: 56, 7: 27} flag=False exact=None 0s
q= 21/200 N= 5 n= 9 starts=400 best/M=1.000000000000000 (OR_5) best non-equal/M=0.971172874 top=[0.39425, 0.39425, 0.39425, 0.39425, 0.39425, 0.39425, -0.25965, -0.0, -0.0] limits by k={0: 28, 1: 1, 2: 26, 3: 68, 4: 116, 5: 89, 6: 49, 7: 23} flag=False exact=None 0s
q= 21/200 N= 5 n=12 starts=400 best/M=1.000000000000001 (OR_5) best non-equal/M=0.971172874 top=[0.39425, 0.39425, 0.39425, 0.39425, 0.39425, 0.39425, -0.25965, 0.0, -0.0] limits by k={0: 77, 2: 17, 3: 43, 4: 77, 5: 95, 6: 79, 7: 10, 12: 2} flag=False exact=None 0s
q= 21/200 N= 5 n=18 starts=400 best/M=1.000000000000031 (OR_5) best non-equal/M=0.971172874 top=[-0.39425, -0.39425, -0.39425, -0.39425, -0.39425, -0.39425, 0.25965, 0.0, 0.0] limits by k={0: 150, 2: 1, 3: 32, 4: 43, 5: 61, 6: 59, 7: 3, 13: 4, 14: 27, 15: 20} flag=False exact=None 23s
max best/M = 1.000000000000415; max non-equal local max/M = 0.988483926; flags = 0; tasks = 59; 114 s
A40B2_PASS

real	1m53.966s
user	14m15.534s
sys	0m0.683s
DONE_EXIT=0
