conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 0
[140098085357376] time: real 23.459 user 23.455 sys 0.000904
result: 11390.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 1
[140319432009536] time: real 22.6463 user 22.6427 sys 0.000628
result: 11298.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 2
[140362073859904] time: real 21.1785 user 21.1737 sys 0.002085
result: 11190.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 3
[139706830612288] time: real 23.8037 user 23.8006 sys 0
result: 11019.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 4
[140472740075328] time: real 23.8113 user 23.8082 sys 0
result: 11504.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 5
[140541053757248] time: real 27.5663 user 27.5616 sys 0.00113
result: 11397
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 6
[140708499314496] time: real 25.457 user 25.453 sys 0.000643
result: 11431.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 7
[140419079403328] time: real 25.0826 user 25.0779 sys 0.001326
result: 11407
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 8
[140438984488768] time: real 24.3558 user 24.3515 sys 0.001153
result: 11567.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 9
[140017262421824] time: real 26.8182 user 26.814 sys 0.000695
result: 11721.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 10
[139854568445760] time: real 24.7598 user 24.7566 sys 0
result: 10970.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 11
[139662315272000] time: real 23.9331 user 23.93 sys 0
result: 11550.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 12
[139953415862080] time: real 23.0882 user 23.0852 sys 0
result: 11428.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 13
[140716881794880] time: real 25.6143 user 25.6108 sys 4.5e-05
result: 11567.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 14
[140350605432640] time: real 22.591 user 22.5873 sys 0.000756
result: 11270
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 15
[140367683643200] time: real 25.4463 user 25.4429 sys 0
result: 11399.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 16
[140069179676480] time: real 25.142 user 25.1378 sys 0.000909
result: 11545
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 17
[140526357587776] time: real 23.6463 user 23.642 sys 0.001221
result: 11225.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 18
[139720775505728] time: real 22.2261 user 22.2232 sys 0
result: 11006.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 1, seed: 19
[139707037058880] time: real 24.6774 user 24.6743 sys 0
result: 11089.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 0
[140266956810048] time: real 12.3022 user 23.433 sys 0.00168
result: 11390.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 1
[139672669071168] time: real 11.3818 user 22.7181 sys 0.000178
result: 11298.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 2
[140018894477120] time: real 11.6278 user 21.6322 sys 6e-06
result: 11190.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 3
[139870307534656] time: real 12.6935 user 23.9121 sys 0.000229
result: 11019.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 4
[140678343690048] time: real 12.4217 user 23.8771 sys 0.001268
result: 11504.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 5
[140440374146880] time: real 13.9958 user 27.5989 sys 0.000999
result: 11397
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 6
[140625564895040] time: real 13.7676 user 25.5341 sys 0
result: 11431.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 7
[140511179220800] time: real 12.5963 user 25.1374 sys 0.000617
result: 11407
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 8
[140032047576896] time: real 13.1252 user 24.4068 sys 0.001711
result: 11567.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 9
[140233553196864] time: real 13.6278 user 26.8784 sys 0.001999
result: 11721.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 10
[140011819935552] time: real 13.5079 user 24.8875 sys 0.00109
result: 10970.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 11
[139906932070208] time: real 12.1322 user 23.991 sys 5.3e-05
result: 11550.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 12
[139689143342912] time: real 11.8068 user 23.1474 sys 0
result: 11428.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 13
[139701222692672] time: real 13.2864 user 25.6403 sys 2.8e-05
result: 11567.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 14
[140466259801920] time: real 11.4871 user 22.6966 sys 0.000463
result: 11270
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 15
[139668503693120] time: real 13.4986 user 25.5048 sys 0.001544
result: 11399.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 16
[139755414808384] time: real 12.9936 user 25.2173 sys 0
result: 11545
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 17
[140314547836736] time: real 12.3389 user 23.6982 sys 0.001973
result: 11225.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 18
[140328305588032] time: real 11.6444 user 22.3281 sys 0.000753
result: 11006.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 2, seed: 19
[140575671650112] time: real 12.9279 user 24.7683 sys 0.000739
result: 11089.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 0
[140334061283136] time: real 6.96759 user 25.701 sys 0.002086
result: 11390.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 1
[140476402415424] time: real 6.81704 user 24.8453 sys 0.002066
result: 11298.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 2
[140329811007296] time: real 6.76828 user 23.2549 sys 0.000762
result: 11190.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 3
[140496278714176] time: real 7.73693 user 25.9172 sys 0.002032
result: 11019.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 4
[140621647574848] time: real 7.09293 user 26.1396 sys 0.001773
result: 11504.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 5
[139926303512384] time: real 8.46012 user 30.0884 sys 0.003671
result: 11397
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 6
[140303615571776] time: real 7.80026 user 27.8705 sys 0.002515
result: 11431.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 7
[140318126737216] time: real 7.37845 user 27.4706 sys 0.00198
result: 11407
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 8
[139959558940480] time: real 7.2549 user 26.6429 sys 0.000856
result: 11567.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 9
[139808759043904] time: real 7.71607 user 29.487 sys 0.001322
result: 11721.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 10
[139963259098944] time: real 7.53422 user 27.0396 sys 0
result: 10970.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 11
[139637977466688] time: real 7.09843 user 26.2111 sys 0.000248
result: 11550.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 12
[139796090046272] time: real 6.73375 user 25.4654 sys 0.000121
result: 11428.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 13
[140207605303104] time: real 7.86666 user 27.9543 sys 8.3e-05
result: 11567.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 14
[140540027971392] time: real 6.34528 user 24.8896 sys 0.002059
result: 11270
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 15
[140243082688320] time: real 8.0723 user 27.9125 sys 0
result: 11399.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 16
[140585312597824] time: real 7.76741 user 27.5514 sys 6.7e-05
result: 11545
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 17
[139652562315072] time: real 7.08012 user 25.9326 sys 0.002072
result: 11225.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 18
[139929001445184] time: real 6.46225 user 24.4424 sys 0.001689
result: 11006.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 4, seed: 19
[140545254045504] time: real 7.4631 user 27.0554 sys 0.002172
result: 11089.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 0
[140654828500800] time: real 7.00266 user 25.8651 sys 0.001046
result: 11390.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 1
[139889106360128] time: real 6.8018 user 24.8535 sys 0.002116
result: 11298.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 2
[140574743377728] time: real 6.77488 user 23.2494 sys 0.003793
result: 11190.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 3
[140314495584064] time: real 7.78106 user 26.1325 sys 0.002701
result: 11019.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 4
[140407895590720] time: real 7.1603 user 26.2586 sys 0.00381
result: 11504.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 5
[140115367139136] time: real 8.47372 user 30.107 sys 0.003263
result: 11397
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 6
[140636807145280] time: real 7.78809 user 27.9403 sys 0.003849
result: 11431.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 7
[139670766896960] time: real 7.33724 user 27.4935 sys 5.4e-05
result: 11407
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 8
[140122934007616] time: real 7.25817 user 26.6681 sys 0.001747
result: 11567.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 9
[140604609660736] time: real 7.74745 user 29.5186 sys 0.004356
result: 11721.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 10
[139804677363520] time: real 7.59312 user 27.1038 sys 0.005795
result: 10970.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 11
[140471704733504] time: real 8.63499 user 31.9663 sys 0.001856
result: 11550.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 12
[139868703225664] time: real 6.70471 user 25.411 sys 0.004886
result: 11428.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 13
[140690247948096] time: real 7.90755 user 27.9721 sys 0.002941
result: 11567.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 14
[139808988849984] time: real 6.33579 user 24.9444 sys 0.003683
result: 11270
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 15
[140256737855296] time: real 8.08733 user 27.8858 sys 0.002911
result: 11399.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 16
[140397898430272] time: real 7.78591 user 27.5948 sys 0.00266
result: 11545
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 17
[139821260764992] time: real 7.03378 user 25.9504 sys 0.004293
result: 11225.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 18
[140482935772992] time: real 6.51855 user 24.462 sys 0.00093
result: 11006.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 6, seed: 19
[139641147651904] time: real 7.49168 user 27.0826 sys 0.004722
result: 11089.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 0
[140651580405568] time: real 5.43291 user 33.2126 sys 0.003811
result: 11390.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 1
[140152047646528] time: real 4.76841 user 27.5563 sys 0.005138
result: 11298.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 2
[140658189576000] time: real 4.74086 user 25.8791 sys 0.004233
result: 11190.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 3
[139856453011264] time: real 5.51573 user 28.4378 sys 0.003409
result: 11019.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 4
[139826266187584] time: real 5.02368 user 28.9287 sys 0.003328
result: 11504.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 5
[139702899484480] time: real 5.70285 user 33.3241 sys 0.003785
result: 11397
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 6
[140398152218432] time: real 5.49863 user 30.6535 sys 0.003234
result: 11431.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 7
[140155174786880] time: real 5.39322 user 30.5143 sys 0.003922
result: 11407
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 8
[139682523457344] time: real 5.1373 user 29.7865 sys 0.002823
result: 11567.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 9
[140256911128384] time: real 5.54126 user 32.3751 sys 0.005073
result: 11721.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 10
[139667094415168] time: real 5.40995 user 29.8638 sys 0.002773
result: 10970.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 11
[140072406345536] time: real 5.08609 user 28.9119 sys 0.002313
result: 11550.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 12
[140279021324096] time: real 4.65884 user 28.1524 sys 0.003087
result: 11428.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 13
[139685620791104] time: real 5.45685 user 30.8003 sys 0.004295
result: 11567.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 14
[140130213267264] time: real 4.58747 user 27.6371 sys 0.005736
result: 11270
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 15
[139680782104384] time: real 5.75321 user 30.76 sys 0.004128
result: 11399.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 16
[140665135023936] time: real 5.48584 user 30.1132 sys 0.00412
result: 11545
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 17
[140013425772352] time: real 5.20118 user 28.7287 sys 0.003461
result: 11225.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 18
[140657237157696] time: real 4.68881 user 27.3349 sys 0.004
result: 11006.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 8, seed: 19
[139772865861440] time: real 5.33877 user 29.8429 sys 0.003175
result: 11089.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 0
[140201164773184] time: real 4.77503 user 28.4653 sys 0.006329
result: 11390.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 1
[140568758351680] time: real 4.70559 user 27.4475 sys 0.002161
result: 11298.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 2
[140210442995520] time: real 5.61523 user 31.2699 sys 0.003244
result: 11190.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 3
[140077946955584] time: real 5.55546 user 28.4467 sys 0.00571
result: 11019.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 4
[139906149898048] time: real 4.96685 user 28.8082 sys 0.001806
result: 11504.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 5
[140157323499328] time: real 5.66675 user 33.2765 sys 0.002156
result: 11397
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 6
[140303435585344] time: real 5.50984 user 30.6952 sys 0.008689
result: 11431.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 7
[140185142601536] time: real 5.39565 user 30.541 sys 0.002815
result: 11407
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 8
[140552071083840] time: real 5.17439 user 29.8091 sys 0.002
result: 11567.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 9
[139926470514496] time: real 5.51304 user 32.4305 sys 0.004144
result: 11721.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 10
[140289875670848] time: real 5.38385 user 29.8955 sys 0.003877
result: 10970.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 11
[139873684006720] time: real 5.10489 user 29.0241 sys 0.005276
result: 11550.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 12
[139798303082304] time: real 4.66264 user 27.9888 sys 0.002127
result: 11428.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 13
[140478396647232] time: real 5.48544 user 30.8076 sys 0.005578
result: 11567.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 14
[140341706311488] time: real 4.59669 user 27.7224 sys 0.005829
result: 11270
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 15
[139828102186816] time: real 5.73068 user 30.7534 sys 0.005743
result: 11399.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 16
[139865547646784] time: real 5.40582 user 30.0557 sys 0.004229
result: 11545
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 17
[140331330787136] time: real 5.15367 user 28.6491 sys 0.003754
result: 11225.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 18
[139808688547648] time: real 4.68452 user 27.2573 sys 0.006259
result: 11006.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 10, seed: 19
[140311415097152] time: real 5.35894 user 29.8687 sys 0.002625
result: 11089.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 0
[140600302421824] time: real 4.08205 user 30.1854 sys 0.006692
result: 11390.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 1
[140322277721920] time: real 3.95201 user 29.3197 sys 0.008781
result: 11298.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 2
[140055220385600] time: real 3.73815 user 27.466 sys 0.008521
result: 11190.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 3
[139728913614656] time: real 4.54005 user 30.6669 sys 0.005954
result: 11019.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 4
[140564184667968] time: real 4.57428 user 31.523 sys 0.008215
result: 11504.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 5
[139986740320064] time: real 4.48611 user 35.1796 sys 0.00642
result: 11397
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 6
[140544762439488] time: real 4.59191 user 32.8845 sys 0.002763
result: 11431.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 7
[140503644825408] time: real 4.37499 user 32.4901 sys 0.00368
result: 11407
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 8
[139700311582528] time: real 4.47612 user 31.4628 sys 0.007422
result: 11567.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 9
[140360820328256] time: real 4.53451 user 34.4388 sys 0.009221
result: 11721.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 10
[140488830170944] time: real 4.41139 user 32.0687 sys 0.006531
result: 10970.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 11
[140558371678016] time: real 4.21716 user 30.8102 sys 0.008846
result: 11550.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 12
[140671451379520] time: real 3.70463 user 30.1852 sys 0.005335
result: 11428.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 13
[140698723997504] time: real 4.64067 user 33.1061 sys 0.001787
result: 11567.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 14
[140521430959936] time: real 3.83936 user 29.6319 sys 0.006828
result: 11270
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 15
[140316405462848] time: real 4.73926 user 32.5564 sys 0.002117
result: 11399.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 16
[140089582257984] time: real 4.39884 user 31.9961 sys 0.008274
result: 11545
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 17
[140104513197888] time: real 4.41036 user 30.7516 sys 0.007812
result: 11225.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 18
[140521094879040] time: real 3.72116 user 29.1883 sys 0.003222
result: 11006.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 12, seed: 19
[140529469949760] time: real 4.58065 user 32.0262 sys 0.005716
result: 11089.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 0
[139951762589504] time: real 4.04895 user 30.5056 sys 0.011165
result: 11390.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 1
[140574265620288] time: real 3.93953 user 29.3433 sys 0.005237
result: 11298.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 2
[139690779121472] time: real 3.85526 user 27.65 sys 0.007829
result: 11190.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 3
[139874502457152] time: real 4.54017 user 30.5503 sys 0.008452
result: 11019.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 4
[140720151336768] time: real 4.56224 user 31.4777 sys 0.00371
result: 11504.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 5
[140230274611008] time: real 4.5166 user 35.2973 sys 0.005154
result: 11397
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 6
[140084061091648] time: real 4.58335 user 32.7589 sys 0.002794
result: 11431.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 7
[139639747327808] time: real 4.27496 user 32.4014 sys 0.005347
result: 11407
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 8
[139887467349824] time: real 4.41712 user 31.4887 sys 0.00375
result: 11567.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 9
[140357991614272] time: real 4.52574 user 34.4142 sys 0.005782
result: 11721.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 10
[140656792917824] time: real 4.41336 user 32.0042 sys 0.008091
result: 10970.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 11
[140569946904384] time: real 4.256 user 31.0076 sys 0.00393
result: 11550.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 12
[139948370691904] time: real 3.74663 user 30.2708 sys 0.004676
result: 11428.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 13
[140484859684672] time: real 4.65951 user 33.2767 sys 0.006172
result: 11567.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 14
[139790614636352] time: real 3.7554 user 29.6633 sys 0.005836
result: 11270
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 15
[139833446287168] time: real 4.6769 user 32.3765 sys 0.009063
result: 11399.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 16
[139753479223104] time: real 4.39893 user 31.9452 sys 0.005732
result: 11545
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 17
[139710773393216] time: real 4.46411 user 30.7586 sys 0.004884
result: 11225.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 18
[140285583406912] time: real 3.74184 user 29.1447 sys 0.005839
result: 11006.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 14, seed: 19
[140068800788288] time: real 4.58106 user 32.0358 sys 0.003647
result: 11089.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 0
[140216836003648] time: real 3.71485 user 32.0946 sys 0.008059
result: 11390.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 1
[140575988344640] time: real 3.64924 user 31.5553 sys 0.003692
result: 11298.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 2
[140032389318464] time: real 3.58564 user 29.9548 sys 0.009231
result: 11190.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 3
[140314649880384] time: real 4.12353 user 33.0195 sys 0.006311
result: 11019.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 4
[139705702934336] time: real 4.20724 user 33.0757 sys 0.006683
result: 11504.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 5
[140187344455488] time: real 4.14216 user 37.6358 sys 0.008797
result: 11397
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 6
[139650681276224] time: real 4.23169 user 35.0865 sys 0.006243
result: 11431.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 7
[139945394329408] time: real 4.01798 user 34.3115 sys 0.008977
result: 11407
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 8
[140435504904000] time: real 3.95292 user 34.0338 sys 0.00583
result: 11567.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 9
[140060712482624] time: real 4.09923 user 36.1487 sys 0.008384
result: 11721.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 10
[139696894961472] time: real 3.98812 user 33.8767 sys 0.009
result: 10970.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 11
[140414787041088] time: real 3.95184 user 33.1332 sys 0.007865
result: 11550.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 12
[139692204848960] time: real 3.51584 user 32.1678 sys 0.01014
result: 11428.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 13
[139918620014400] time: real 4.14601 user 35.0141 sys 0.007369
result: 11567.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 14
[140199373580096] time: real 3.81709 user 31.9925 sys 0.010216
result: 11270
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 15
[140392163309376] time: real 4.48842 user 34.459 sys 0.0078
result: 11399.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 16
[140344930244416] time: real 3.96656 user 33.991 sys 0.005346
result: 11545
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 17
[139820028917568] time: real 4.15861 user 32.3779 sys 0.006703
result: 11225.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 18
[140682213615424] time: real 3.57262 user 31.0882 sys 0.007758
result: 11006.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 16, seed: 19
[139900871993152] time: real 4.02297 user 33.9886 sys 0.006189
result: 11089.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 0
[140618337224512] time: real 3.72259 user 32.3838 sys 0.011787
result: 11390.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 1
[140400640845632] time: real 3.64018 user 31.525 sys 0.010532
result: 11298.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 2
[140707268974400] time: real 3.65621 user 30.1397 sys 0.015176
result: 11190.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 3
[140637521639232] time: real 4.08055 user 32.7981 sys 0.008807
result: 11019.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 4
[139684989941568] time: real 4.21554 user 33.6245 sys 0.006834
result: 11504.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 5
[140133140682560] time: real 4.15188 user 37.361 sys 0.009204
result: 11397
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 6
[140452212438848] time: real 4.14179 user 34.7424 sys 0.007659
result: 11431.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 7
[140612492982080] time: real 4.02392 user 34.4315 sys 0.013364
result: 11407
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 8
[140443228526400] time: real 4.66497 user 40.9142 sys 0.005172
result: 11567.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 9
[140478946006848] time: real 4.09696 user 36.2387 sys 0.01381
result: 11721.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 10
[140466163361600] time: real 3.99488 user 33.788 sys 0.00777
result: 10970.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 11
[140591281698624] time: real 3.90597 user 32.9314 sys 0.009411
result: 11550.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 12
[140208282416960] time: real 3.49144 user 32.0661 sys 0.00339
result: 11428.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 13
[140558108931904] time: real 4.12807 user 34.965 sys 0.011554
result: 11567.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 14
[140351539234624] time: real 3.75957 user 31.6482 sys 0.009765
result: 11270
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 15
[139659959039808] time: real 4.41172 user 34.4106 sys 0.006397
result: 11399.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 16
[139859427538752] time: real 3.9822 user 34.1387 sys 0.005808
result: 11545
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 17
[140539245418304] time: real 4.23572 user 32.2981 sys 0.007713
result: 11225.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 18
[139761455368000] time: real 3.52376 user 30.958 sys 0.0103
result: 11006.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 12, inner: 20, threads: 18, seed: 19
[140499284309824] time: real 3.99852 user 33.7349 sys 0.010796
result: 11089.7
