conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 0
[139965192177472] time: real 110.856 user 110.837 sys 0.002369
result: 10861.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 1
[140575759017792] time: real 105.505 user 105.487 sys 0.001894
result: 10671.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 2
[140298410882880] time: real 104.85 user 104.832 sys 0.001216
result: 11010.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 3
[140507581863744] time: real 112.976 user 112.958 sys 0.000639
result: 10850.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 4
[139690913908544] time: real 106.891 user 106.874 sys 0.000955
result: 11098
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 5
[140658197591872] time: real 111.139 user 111.121 sys 0.001236
result: 10900.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 6
[139967366494016] time: real 110.805 user 110.784 sys 0.004676
result: 10844.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 7
[139952577021760] time: real 106.268 user 106.249 sys 0.002894
result: 10978.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 8
[140067485747008] time: real 114.111 user 114.093 sys 0.001104
result: 11039.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 9
[140664542697280] time: real 112.489 user 112.47 sys 0.001725
result: 10935.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 10
[140521605986112] time: real 112.344 user 112.325 sys 0.001439
result: 10567
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 11
[139830411335488] time: real 108.462 user 108.443 sys 0.002227
result: 10871.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 12
[140574712231744] time: real 107.194 user 107.177 sys 0
result: 10909.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 13
[140669032486720] time: real 112.542 user 112.523 sys 0.001259
result: 10698.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 14
[140620535592768] time: real 111.211 user 111.194 sys 0.000248
result: 10844.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 15
[139887009466176] time: real 107.419 user 107.401 sys 0.000838
result: 10856.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 16
[140678301546304] time: real 105.497 user 105.479 sys 0.001826
result: 10696.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 17
[140145283782464] time: real 101.453 user 101.436 sys 0.001617
result: 10801.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 18
[140307289851712] time: real 112.14 user 112.121 sys 0.001913
result: 10718.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 1, seed: 19
[140429759383360] time: real 108.982 user 108.965 sys 0
result: 11053.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 0
[140232285435712] time: real 56.8281 user 110.541 sys 0.003427
result: 10861.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 1
[139998488532800] time: real 52.6244 user 105 sys 0.00364
result: 10671.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 2
[140649155405632] time: real 52.6285 user 104.549 sys 0.001012
result: 11010.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 3
[140615212300096] time: real 58.2296 user 112.668 sys 0.000336
result: 10850.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 4
[140114250725184] time: real 53.7372 user 106.381 sys 0.001636
result: 11098
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 5
[140389575321408] time: real 55.7532 user 110.806 sys 0
result: 10900.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 6
[139976231548736] time: real 58.2164 user 110.476 sys 0.000934
result: 10844.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 7
[140480117286720] time: real 53.5066 user 105.627 sys 0.002261
result: 10978.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 8
[139881884968768] time: real 57.9459 user 113.831 sys 0.000829
result: 11039.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 9
[140682550740800] time: real 57.3347 user 112.017 sys 0.001943
result: 10935.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 10
[139731891857216] time: real 56.6549 user 111.882 sys 0.003029
result: 10567
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 11
[139747667593024] time: real 57.2366 user 108.114 sys 0.000574
result: 10871.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 12
[140476486506304] time: real 53.5298 user 106.788 sys 0
result: 10909.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 13
[139709488969536] time: real 56.3556 user 112.093 sys 0.001255
result: 10698.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 14
[139855982397248] time: real 56.2773 user 111.028 sys 0.003687
result: 10844.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 15
[140098165274432] time: real 54.4529 user 106.923 sys 0.001714
result: 10856.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 16
[140326592689984] time: real 52.8515 user 104.958 sys 0
result: 10696.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 17
[140007426529088] time: real 51.3595 user 101.056 sys 0.002033
result: 10801.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 18
[139719174645568] time: real 57.1702 user 111.647 sys 0.002543
result: 10718.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 2, seed: 19
[140330105825088] time: real 54.3908 user 108.465 sys 0.001837
result: 11053.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 0
[139909090899776] time: real 31.2513 user 121.065 sys 0.000859
result: 10861.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 1
[140432065267520] time: real 29.7523 user 115.162 sys 0.005052
result: 10671.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 2
[139785901455168] time: real 29.9282 user 114.492 sys 0
result: 11010.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 3
[140047319488320] time: real 33.5837 user 123.251 sys 0.003786
result: 10850.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 4
[140076442711872] time: real 30.9718 user 116.686 sys 0.000948
result: 11098
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 5
[140114694076224] time: real 31.1293 user 121.519 sys 0.002882
result: 10900.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 6
[140411166148416] time: real 32.9196 user 120.771 sys 0.005519
result: 10844.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 7
[139679784544064] time: real 30.9232 user 115.669 sys 0.001219
result: 10978.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 8
[140593563301696] time: real 31.7737 user 124.532 sys 0.00192
result: 11039.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 9
[139997580191552] time: real 32.4225 user 122.715 sys 0.004091
result: 10935.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 10
[139925950060352] time: real 31.6768 user 122.868 sys 0.001155
result: 10567
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 11
[140089999017792] time: real 32.6867 user 118.052 sys 0.008908
result: 10871.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 12
[139927230879552] time: real 31.2134 user 116.877 sys 0.003441
result: 10909.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 13
[140012606728000] time: real 32.5706 user 122.497 sys 0.001799
result: 10698.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 14
[139840335324992] time: real 31.0696 user 121.346 sys 0.002145
result: 10844.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 15
[139917848467264] time: real 30.3643 user 117.007 sys 0.001595
result: 10856.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 16
[140650202339136] time: real 30.3703 user 114.947 sys 0.004342
result: 10696.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 17
[140401249097536] time: real 28.6913 user 110.919 sys 0
result: 10801.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 18
[140699376256832] time: real 31.6191 user 122.241 sys 0.003213
result: 10718.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 4, seed: 19
[140057225594688] time: real 29.9823 user 119.046 sys 0.004473
result: 11053.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 0
[139705957566272] time: real 23.0571 user 125.476 sys 0.007005
result: 10861.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 1
[140321452578624] time: real 21.9047 user 119.185 sys 0.003069
result: 10671.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 2
[140245677578048] time: real 21.3921 user 118.768 sys 0.002029
result: 11010.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 3
[139864577099584] time: real 23.1405 user 128.454 sys 0.003133
result: 10850.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 4
[139927054808896] time: real 20.827 user 121.126 sys 0.008806
result: 11098
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 5
[139884512122688] time: real 22.318 user 125.71 sys 0.005249
result: 10900.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 6
[139986301392704] time: real 24.387 user 125.232 sys 0.003677
result: 10844.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 7
[139921656760128] time: real 21.9207 user 119.88 sys 0.00228
result: 10978.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 8
[140271149516608] time: real 23.0447 user 128.786 sys 0.004198
result: 11039.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 9
[140656432285504] time: real 23.1587 user 127.176 sys 0.002895
result: 10935.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 10
[140507582895936] time: real 22.7419 user 127.271 sys 0.002908
result: 10567
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 11
[140204499625792] time: real 22.6515 user 122.58 sys 0.005291
result: 10871.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 12
[140510083819328] time: real 21.8011 user 122.233 sys 0.002351
result: 10909.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 13
[140460316522304] time: real 22.6379 user 127.345 sys 0.005599
result: 10698.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 14
[140151508682560] time: real 22.6332 user 125.684 sys 0.006119
result: 10844.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 15
[139808754300736] time: real 21.4608 user 121.407 sys 0.0035
result: 10856.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 16
[140644701767488] time: real 22.2325 user 119.236 sys 0.004144
result: 10696.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 17
[140348419819328] time: real 20.3971 user 115.149 sys 0.003856
result: 10801.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 18
[140218556438336] time: real 22.3842 user 127.101 sys 0.003095
result: 10718.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 6, seed: 19
[139889727006528] time: real 21.9913 user 123.389 sys 0.003653
result: 11053.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 0
[140657330919232] time: real 23.2102 user 127.68 sys 0.003367
result: 10861.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 1
[140053757019968] time: real 21.9394 user 121.481 sys 0.001743
result: 10671.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 2
[140291068569408] time: real 21.1627 user 121.422 sys 0.008998
result: 11010.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 3
[139813583046464] time: real 24.0357 user 129.561 sys 0.003477
result: 10850.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 4
[140416312600384] time: real 22.6185 user 122.851 sys 0.00491
result: 11098
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 5
[140372650010432] time: real 22.1144 user 128.15 sys 0.008489
result: 10900.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 6
[139801135060800] time: real 23.839 user 127.478 sys 0.006648
result: 10844.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 7
[139945075156800] time: real 21.6315 user 122.161 sys 0.007994
result: 10978.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 8
[139626223155008] time: real 23.0697 user 130.777 sys 0.006493
result: 11039.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 9
[140245268641600] time: real 22.9921 user 129.02 sys 0.003499
result: 10935.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 10
[140454262449984] time: real 22.1612 user 129.415 sys 0.002264
result: 10567
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 11
[139816696653632] time: real 21.1873 user 124.838 sys 0.007256
result: 10871.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 12
[140045429114688] time: real 21.245 user 123.781 sys 0.006465
result: 10909.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 13
[140060531754816] time: real 22.2721 user 129.234 sys 0.003602
result: 10698.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 14
[140336509318976] time: real 21.6077 user 127.57 sys 0.00502
result: 10844.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 15
[140559930410816] time: real 21.7152 user 123.36 sys 0.008506
result: 10856.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 16
[140278639195968] time: real 22.0143 user 121.051 sys 0.004635
result: 10696.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 17
[139621945251648] time: real 19.8657 user 117.113 sys 0.003336
result: 10801.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 18
[139705141339968] time: real 24.2408 user 137.433 sys 0.007545
result: 10718.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 8, seed: 19
[140092971448128] time: real 22.4574 user 124.657 sys 0.004381
result: 11053.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 0
[139947695081280] time: real 17.5092 user 129.847 sys 0.007597
result: 10861.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 1
[139731350005568] time: real 16.31 user 123.486 sys 0.006512
result: 10671.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 2
[139690311612224] time: real 15.8758 user 122.732 sys 0.004825
result: 11010.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 3
[139660817258304] time: real 17.2588 user 131.872 sys 0.006454
result: 10850.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 4
[139704081753920] time: real 15.87 user 124.689 sys 0.006085
result: 11098
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 5
[140533712705344] time: real 17.019 user 134.235 sys 0.010159
result: 10900.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 6
[140123591993152] time: real 17.8682 user 129.183 sys 0.006554
result: 10844.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 7
[140436813981504] time: real 16.8046 user 124.303 sys 0.005998
result: 10978.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 8
[140605884151616] time: real 17.2616 user 132.309 sys 0.008241
result: 11039.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 9
[139743620519744] time: real 17.5059 user 131.605 sys 0.005627
result: 10935.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 10
[140577395291968] time: real 17.5079 user 131.57 sys 0.003987
result: 10567
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 11
[140095629702976] time: real 15.885 user 126.775 sys 0.009231
result: 10871.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 12
[140425841436480] time: real 16.334 user 125.868 sys 0.005674
result: 10909.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 13
[140256146552640] time: real 16.9621 user 131.298 sys 0.005197
result: 10698.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 14
[139964826445632] time: real 16.41 user 129.43 sys 0.00655
result: 10844.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 15
[139723268278080] time: real 15.15 user 124.404 sys 0.008046
result: 10856.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 16
[139770888070976] time: real 15.7997 user 123.117 sys 0.006415
result: 10696.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 17
[140653759498048] time: real 15.175 user 118.865 sys 0.004682
result: 10801.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 18
[139982514140992] time: real 16.6187 user 130.547 sys 0.003324
result: 10718.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 10, seed: 19
[139979446290240] time: real 16.3374 user 127.106 sys 0.006912
result: 11053.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 0
[140384508405568] time: real 13.0578 user 125.763 sys 0.009509
result: 10861.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 1
[139744743827264] time: real 11.8668 user 119.448 sys 0.005289
result: 10671.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 2
[140175711450944] time: real 11.5876 user 118.882 sys 0.005816
result: 11010.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 3
[139948725303104] time: real 12.3212 user 128.334 sys 0.010073
result: 10850.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 4
[139916540163904] time: real 11.3882 user 121.5 sys 0.003715
result: 11098
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 5
[140606751852352] time: real 11.6903 user 126.239 sys 0.007896
result: 10900.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 6
[140278254188352] time: real 13.1463 user 125.672 sys 0.00666
result: 10844.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 7
[140333828646720] time: real 11.8678 user 120.394 sys 0.01161
result: 10978.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 8
[140682509436736] time: real 12.7713 user 129.259 sys 0.004766
result: 11039.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 9
[140007398000448] time: real 11.9291 user 127.639 sys 0.005301
result: 10935.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 10
[140515918006080] time: real 11.7191 user 127.634 sys 0.004999
result: 10567
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 11
[139831325189952] time: real 12.8523 user 123.026 sys 0.004819
result: 10871.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 12
[139882891175744] time: real 11.977 user 121.708 sys 0.007417
result: 10909.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 13
[139716099049280] time: real 12.2718 user 127.824 sys 0.004633
result: 10698.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 14
[139628179781440] time: real 11.5401 user 126.099 sys 0.002798
result: 10844.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 15
[140248449902400] time: real 11.1547 user 121.793 sys 0.002588
result: 10856.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 16
[140362398086976] time: real 11.3213 user 119.67 sys 0.008799
result: 10696.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 17
[140451867998016] time: real 11.4447 user 115.118 sys 0.002655
result: 10801.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 18
[140154793264960] time: real 12.0171 user 127.768 sys 0.012991
result: 10718.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 12, seed: 19
[140301497472832] time: real 11.4448 user 123.481 sys 0.00667
result: 11053.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 0
[140657538717504] time: real 13.0746 user 125.813 sys 0.010992
result: 10861.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 1
[140231494588224] time: real 11.8906 user 119.674 sys 0.006545
result: 10671.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 2
[140282212878144] time: real 11.6134 user 119.059 sys 0.007154
result: 11010.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 3
[140645312214848] time: real 12.311 user 128.207 sys 0.003752
result: 10850.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 4
[140381386192704] time: real 11.3967 user 121.444 sys 0.008196
result: 11098
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 5
[139668325558080] time: real 11.66 user 126.287 sys 0.00415
result: 10900.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 6
[139791199582016] time: real 13.1719 user 125.602 sys 0.003789
result: 10844.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 7
[140062580324160] time: real 11.7732 user 120.153 sys 0.003936
result: 10978.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 8
[140719722497856] time: real 12.7374 user 129.128 sys 0.004792
result: 11039.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 9
[140102845015872] time: real 11.9 user 127.669 sys 0.004181
result: 10935.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 10
[139918454470464] time: real 11.7153 user 127.866 sys 0.003789
result: 10567
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 11
[140300040267584] time: real 12.7168 user 122.947 sys 0.006553
result: 10871.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 12
[140028144543552] time: real 11.9291 user 121.647 sys 0.007679
result: 10909.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 13
[140190442542912] time: real 12.2042 user 127.863 sys 0.007168
result: 10698.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 14
[140665528686400] time: real 11.574 user 126.051 sys 0.004109
result: 10844.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 15
[139924351035200] time: real 11.1391 user 121.791 sys 0.007767
result: 10856.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 16
[140464482985792] time: real 11.3239 user 119.524 sys 0.005794
result: 10696.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 17
[139779477407552] time: real 11.4392 user 115.14 sys 0.008149
result: 10801.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 18
[140080977106752] time: real 11.962 user 127.007 sys 0.00643
result: 10718.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 14, seed: 19
[140523095639872] time: real 11.4376 user 123.441 sys 0.006345
result: 11053.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 0
[139946467055424] time: real 13.058 user 125.825 sys 0.009709
result: 10861.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 1
[140227801573184] time: real 11.8921 user 119.647 sys 0.007142
result: 10671.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 2
[139789128099648] time: real 11.5942 user 119.013 sys 0.006168
result: 11010.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 3
[140278581077824] time: real 12.3117 user 128.389 sys 0.004206
result: 10850.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 4
[139758928525120] time: real 11.4138 user 121.474 sys 0.00776
result: 11098
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 5
[140695836612416] time: real 11.6799 user 126.228 sys 0.009913
result: 10900.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 6
[140038760146752] time: real 13.1159 user 125.588 sys 0.003513
result: 10844.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 7
[140027875739456] time: real 11.8607 user 120.991 sys 0.009548
result: 10978.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 8
[139853137344320] time: real 12.6663 user 129.085 sys 0.008427
result: 11039.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 9
[139921095624512] time: real 11.9192 user 127.774 sys 0.011162
result: 10935.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 10
[139981295777600] time: real 11.7166 user 127.759 sys 0.006896
result: 10567
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 11
[140053991606080] time: real 12.7748 user 123.327 sys 0.008897
result: 10871.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 12
[140427015534400] time: real 11.9692 user 121.939 sys 0.004613
result: 10909.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 13
[139687977191232] time: real 12.1846 user 127.643 sys 0.007814
result: 10698.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 14
[140472523724608] time: real 11.5314 user 125.886 sys 0.01416
result: 10844.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 15
[140476979922752] time: real 11.1375 user 121.799 sys 0.006186
result: 10856.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 16
[140308110649152] time: real 11.3244 user 119.598 sys 0.008702
result: 10696.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 17
[140603698943808] time: real 11.4304 user 114.949 sys 0.010144
result: 10801.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 18
[139626132158272] time: real 11.954 user 127.035 sys 0.010953
result: 10718.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 16, seed: 19
[140196743128896] time: real 11.4389 user 123.667 sys 0.005663
result: 11053.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 0
[139987099846464] time: real 13.0452 user 125.617 sys 0.008642
result: 10861.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 1
[139750693250880] time: real 11.9322 user 120.018 sys 0.00603
result: 10671.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 2
[139636710610752] time: real 11.6741 user 119.106 sys 0.010358
result: 11010.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 3
[140421167544128] time: real 12.3093 user 128.438 sys 0.00821
result: 10850.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 4
[139973857310528] time: real 11.4297 user 121.474 sys 0.00813
result: 11098
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 5
[140643184744256] time: real 11.7178 user 126.341 sys 0.009625
result: 10900.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 6
[140371567216448] time: real 13.1152 user 125.564 sys 0.008263
result: 10844.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 7
[139756765996864] time: real 11.8154 user 120.224 sys 0.007886
result: 10978.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 8
[140213257836352] time: real 12.7604 user 129.268 sys 0.006783
result: 11039.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 9
[139716115502912] time: real 11.9111 user 127.708 sys 0.003652
result: 10935.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 10
[140022244869952] time: real 11.7108 user 127.657 sys 0.005665
result: 10567
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 11
[139794889287488] time: real 12.7211 user 122.882 sys 0.0075
result: 10871.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 12
[140304956999488] time: real 11.9838 user 121.853 sys 0.010007
result: 10909.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 13
[140343866660672] time: real 12.1895 user 127.745 sys 0.004728
result: 10698.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 14
[140143372871488] time: real 11.5308 user 126.066 sys 0.007779
result: 10844.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 15
[140205131212608] time: real 11.1485 user 121.803 sys 0.007113
result: 10856.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 16
[139708569073472] time: real 11.3614 user 119.768 sys 0.007195
result: 10696.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 17
[140116771682112] time: real 11.4222 user 115.076 sys 0.006521
result: 10801.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 18
[139890535065408] time: real 11.9804 user 127.118 sys 0.010047
result: 10718.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 12, outer: 20, inner: 20, threads: 18, seed: 19
[140027584984896] time: real 11.4529 user 123.445 sys 0.006129
result: 11053.9
