0.00/0.00 c 2016-06-06T22:08:55+0200
0.00/0.00 c version = 0.5.0
0.00/0.00 c githash = 1a49202
0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00 c arch = x86_64
0.00/0.00 c os = linux
0.00/0.00 c compiler = ghc 7.10
0.00/0.00 c packages:
0.00/0.00 c OptDir-0.0.3
0.00/0.00 c array-0.5.1.0
0.00/0.00 c base-4.8.2.0
0.00/0.00 c bytestring-0.10.6.0
0.00/0.00 c bytestring-builder-0.10.6.0.0
0.00/0.00 c clock-0.7.2
0.00/0.00 c containers-0.5.6.2
0.00/0.00 c data-default-0.5.3
0.00/0.00 c data-default-class-0.0.1
0.00/0.00 c data-interval-1.2.0
0.00/0.00 c deepseq-1.4.1.1
0.00/0.00 c directory-1.2.2.0
0.00/0.00 c exceptions-0.8.2.1
0.00/0.00 c extended-reals-0.2.1.0
0.00/0.00 c filepath-1.4.0.0
0.00/0.00 c finite-field-0.8.0
0.00/0.00 c hashable-1.2.4.0
0.00/0.00 c heaps-0.3.3
0.00/0.00 c intern-0.9.1.4
0.00/0.00 c loop-0.3.0
0.00/0.00 c mtl-2.2.1
0.00/0.00 c multiset-0.3.2
0.00/0.00 c mwc-random-0.13.3.2
0.00/0.00 c parse_dimacs-1.3
0.00/0.00 c parsec-3.1.9
0.00/0.00 c prettyclass-1.0.0.0
0.00/0.00 c primes-0.2.1.0
0.00/0.00 c primitive-0.6.1.0
0.00/0.00 c process-1.2.3.0
0.00/0.00 c pseudo-boolean-0.1.3.0
0.00/0.01 c queue-0.1.2
0.00/0.01 c semigroups-0.18.1
0.00/0.01 c sign-0.4.3
0.00/0.01 c stm-2.4.4.1
0.00/0.01 c template-haskell-2.10.0.0
0.00/0.01 c temporary-1.2.0.4
0.00/0.01 c time-1.5.0.1
0.00/0.01 c transformers-0.4.2.0
0.00/0.01 c transformers-compat-0.5.1.4
0.00/0.01 c type-level-numbers-0.1.1.1
0.00/0.01 c unbounded-delays-0.1.0.9
0.00/0.01 c unordered-containers-0.2.6.0
0.00/0.01 c vector-0.11.0.0
0.00/0.01 c vector-space-0.10.3
0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079697-1465243734.opb"]
0.00/0.01 c use --random-gen="1764653851 3039604725 1766283171 3117693254 3572806568 1766505886 3320770973 1940530808 2787570192 3659294396 3519572368 844652184 151587721 2601928527 3706716381 1277877922 3192924951 695643314 3056910020 2581360457 1792127417 315085427 3807014707 2853449427 1425521803 1629576120 1005387800 2370091417 521544441 3753942732 3877472090 3975195845 645491967 918030057 1890872223 1727676651 2189192218 2569776480 1398043064 3813781603 1076269505 1237985486 2238383585 3110089088 3051944979 1335304051 530239362 2046075071 2386666140 2251636366 1762346909 1625238943 3710430706 1612270791 484492334 3585798426 3158405967 701919737 1232772279 3519645279 454444665 4155116934 753287109 4248591550 2929584950 4144680609 2616551109 310858007 4004648897 1730896095 2182543949 1841243149 3498731052 579965247 1891153294 2161592237 3186267054 1132431146 3964325953 2217767068 3853013740 2843457482 102018117 2295810940 3466405309 909621179 3297637817 2159178073 3493505247 1058759012 4014754426 3656498204 236276222 127472291 3928881469 707490323 577280257 2617149052 3674089498 3003188461 4262642022 1594247576 3512225423 4114902022 104466701 3677898736 3261607362 2459740809 2643456885 149832037 1599027193 709966893 765388162 3421942856 203006816 3690265675 4129247729 3037970538 1769782029 4284093283 2764260866 2398201685 2502349956 2722022266 1757050469 1342103112 4025832785 398260551 2642263818 951869461 1954811498 1312369396 1349738749 4063297472 202451578 791720909 1620053712 148738831 124656524 3289562698 2890653140 1157251121 2524645476 326357919 233184833 3964986532 2942038969 3566121411 498518697 720236887 219471538 1121279331 900218241 1603169802 4251842291 163895109 2587004060 2237861073 1502073133 3276284120 3924593817 4192892862 1586451112 2402367458 82756095 2926194055 969035929 2570149877 2474445108 766990257 1775734945 1103642779 2530826763 3537265340 244198075 1056136993 1629042523 3711273254 3365919315 2372302663 3370761093 2865722098 1459887650 1969075976 2680779500 2674811706 3730102239 483946047 2038811677 3463643940 1062020540 2696757623 3854486283 2436126302 736741376 3561912151 2543746925 594710687 4046736766 1683119629 2216024297 4199549915 513483793 2068695069 4268384661 1103232742 3429357871 3503649054 3527380897 3387009756 622870132 2949848249 2766823288 2657550434 2447400802 1761162248 2036284731 3448373663 89166383 3805216168 749570623 2813421018 207228363 2434229207 2629257180 1153178407 1595046222 3324940531 4093972897 3520989693 800271915 1505312588 318524749 1859952616 1515703992 3830108755 3118688187 2977658134 2000567110 941958892 769037408 3185175751 4266494830 623546334 1054086549 2074519905 549236487 1098409439 906461946 4084416277 2728510315 2939201662 1353698178 1573124009 3014297157 1479548939 255 362436" option to reproduce the execution
0.09/0.10 c #vars 1226
0.09/0.10 c #constraints 4208
0.19/0.21 c BCD2: Hardening is enabled.
0.19/0.21 c BCD2: BiasedSearch is enabled.
0.19/0.21 c Solving starts ...
0.19/0.21 c ============================[ Search Statistics ]============================
0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.21 c | | | | Limit GC | Var | Constra
0.19/0.21 c =============================================================================
0.19/0.21 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 0
0.19/0.22 c 0.0s | 0 | 1195 | 0 | 1811 0 | 0 | 0
0.19/0.22 c #cpu_time = 0.007s
0.19/0.22 c #wall_clock_time = 0.007s
0.19/0.22 c #decision = 1195
0.19/0.22 c #random_decision = 6
0.19/0.22 c #conflict = 0
0.19/0.22 c #restart = 0
0.19/0.22 o 1226
0.19/0.22 c BCD2: updating upper bound: 1226 -> 1225
0.19/0.22 c BCD2: 0 <= obj <= 1225
0.19/0.22 c BCD2: #cores=0, #unrelaxed=1226, #relaxed=0, #hardened=0
0.19/0.22 c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.22 c Solving starts ...
0.19/0.22 c ============================[ Search Statistics ]============================
0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.22 c | | | | Limit GC | Var | Constra
0.19/0.22 c =============================================================================
0.19/0.22 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 0
0.19/0.23 c 0.0s | 0 | 106 | 0 | 1811 0 | 0 | 0
0.19/0.23 c #cpu_time = 0.007s
0.19/0.23 c #wall_clock_time = 0.007s
0.19/0.23 c #decision = 106
0.19/0.23 c #random_decision = 0
0.19/0.23 c #conflict = 0
0.19/0.23 c #restart = 0
0.19/0.23 c BCD2: found a new core of size 7: cost of the new core is >=1
0.19/0.23 c lower bound updated to 1
0.19/0.23 c BCD2: 1 <= obj <= 1225
0.19/0.23 c BCD2: #cores=1, #unrelaxed=1219, #relaxed=7, #hardened=0
0.19/0.23 c BCD2: #sat=1 #unsat=2 bias=2/3
0.19/0.23 c Solving starts ...
0.19/0.23 c ============================[ Search Statistics ]============================
0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.23 c | | | | Limit GC | Var | Constra
0.19/0.23 c =============================================================================
0.19/0.23 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 0
0.19/0.23 c 0.0s | 0 | 121 | 1 | 1811 0 | 0 | 0
0.19/0.23 c #cpu_time = 0.006s
0.19/0.23 c #wall_clock_time = 0.006s
0.19/0.23 c #decision = 121
0.19/0.23 c #random_decision = 0
0.19/0.23 c #conflict = 1
0.19/0.23 c #restart = 0
0.19/0.23 c BCD2: found a new core of size 15: cost of the new core is >=1
0.19/0.23 c lower bound updated to 2
0.19/0.23 c BCD2: 2 <= obj <= 1225
0.19/0.23 c BCD2: #cores=2, #unrelaxed=1204, #relaxed=22, #hardened=0
0.19/0.23 c BCD2: #sat=1 #unsat=3 bias=3/4
0.19/0.23 c Solving starts ...
0.19/0.23 c ============================[ Search Statistics ]============================
0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.23 c | | | | Limit GC | Var | Constra
0.19/0.23 c =============================================================================
0.19/0.23 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 0
0.19/0.24 c 0.0s | 0 | 113 | 1 | 1811 0 | 0 | 0
0.19/0.24 c #cpu_time = 0.005s
0.19/0.24 c #wall_clock_time = 0.005s
0.19/0.24 c #decision = 113
0.19/0.24 c #random_decision = 0
0.19/0.24 c #conflict = 1
0.19/0.24 c #restart = 0
0.19/0.24 c BCD2: found a new core of size 8: cost of the new core is >=1
0.19/0.24 c lower bound updated to 3
0.19/0.26 c BCD2: 3 <= obj <= 1225
0.19/0.26 c BCD2: #cores=3, #unrelaxed=1196, #relaxed=30, #hardened=0
0.19/0.26 c BCD2: #sat=1 #unsat=4 bias=4/5
0.19/0.26 c Solving starts ...
0.19/0.26 c ============================[ Search Statistics ]============================
0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.26 c | | | | Limit GC | Var | Constra
0.19/0.26 c =============================================================================
0.19/0.26 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 0
0.19/0.26 c 0.0s | 0 | 134 | 1 | 1811 0 | 0 | 0
0.19/0.26 c #cpu_time = 0.005s
0.19/0.26 c #wall_clock_time = 0.005s
0.19/0.26 c #decision = 134
0.19/0.26 c #random_decision = 0
0.19/0.26 c #conflict = 1
0.19/0.26 c #restart = 0
0.19/0.26 c BCD2: found a new core of size 14: cost of the new core is >=1
0.19/0.26 c lower bound updated to 4
0.19/0.26 c BCD2: 4 <= obj <= 1225
0.19/0.26 c BCD2: #cores=4, #unrelaxed=1182, #relaxed=44, #hardened=0
0.19/0.26 c BCD2: #sat=1 #unsat=5 bias=5/6
0.19/0.26 c Solving starts ...
0.19/0.26 c ============================[ Search Statistics ]============================
0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.26 c | | | | Limit GC | Var | Constra
0.19/0.26 c =============================================================================
0.19/0.26 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 0
0.19/0.27 c 0.0s | 0 | 145 | 0 | 1811 0 | 0 | 0
0.19/0.27 c #cpu_time = 0.005s
0.19/0.27 c #wall_clock_time = 0.005s
0.19/0.27 c #decision = 145
0.19/0.27 c #random_decision = 0
0.19/0.27 c #conflict = 0
0.19/0.27 c #restart = 0
0.19/0.27 c BCD2: found a new core of size 19: cost of the new core is >=1
0.19/0.27 c lower bound updated to 5
0.19/0.27 c BCD2: 5 <= obj <= 1225
0.19/0.27 c BCD2: #cores=5, #unrelaxed=1163, #relaxed=63, #hardened=0
0.19/0.27 c BCD2: #sat=1 #unsat=6 bias=6/7
0.19/0.27 c Solving starts ...
0.19/0.27 c ============================[ Search Statistics ]============================
0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.27 c | | | | Limit GC | Var | Constra
0.19/0.27 c =============================================================================
0.19/0.27 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 0
0.19/0.27 c 0.0s | 0 | 176 | 0 | 1811 0 | 0 | 0
0.19/0.27 c #cpu_time = 0.004s
0.19/0.27 c #wall_clock_time = 0.004s
0.19/0.27 c #decision = 176
0.19/0.27 c #random_decision = 0
0.19/0.27 c #conflict = 0
0.19/0.27 c #restart = 0
0.19/0.27 c BCD2: found a new core of size 24: cost of the new core is >=1
0.19/0.27 c lower bound updated to 6
0.19/0.27 c BCD2: 6 <= obj <= 1225
0.19/0.27 c BCD2: #cores=6, #unrelaxed=1139, #relaxed=87, #hardened=0
0.19/0.27 c BCD2: #sat=1 #unsat=7 bias=7/8
0.19/0.27 c Solving starts ...
0.19/0.27 c ============================[ Search Statistics ]============================
0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.27 c | | | | Limit GC | Var | Constra
0.19/0.27 c =============================================================================
0.19/0.27 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 0
0.19/0.28 c 0.0s | 0 | 207 | 1 | 1811 0 | 0 | 0
0.19/0.28 c #cpu_time = 0.004s
0.19/0.28 c #wall_clock_time = 0.004s
0.19/0.28 c #decision = 207
0.19/0.28 c #random_decision = 0
0.19/0.28 c #conflict = 1
0.19/0.28 c #restart = 0
0.19/0.28 c BCD2: found a new core of size 16: cost of the new core is >=1
0.19/0.28 c lower bound updated to 7
0.19/0.28 c BCD2: 7 <= obj <= 1225
0.19/0.28 c BCD2: #cores=7, #unrelaxed=1123, #relaxed=103, #hardened=0
0.19/0.28 c BCD2: #sat=1 #unsat=8 bias=8/9
0.19/0.28 c Solving starts ...
0.19/0.28 c ============================[ Search Statistics ]============================
0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.28 c | | | | Limit GC | Var | Constra
0.19/0.28 c =============================================================================
0.19/0.28 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 0
0.19/0.28 c 0.0s | 0 | 233 | 1 | 1811 0 | 0 | 0
0.19/0.28 c #cpu_time = 0.004s
0.19/0.28 c #wall_clock_time = 0.004s
0.19/0.28 c #decision = 233
0.19/0.28 c #random_decision = 0
0.19/0.28 c #conflict = 1
0.19/0.28 c #restart = 0
0.19/0.28 c BCD2: found a new core of size 19: cost of the new core is >=1
0.19/0.28 c lower bound updated to 8
0.19/0.28 c BCD2: 8 <= obj <= 1225
0.19/0.28 c BCD2: #cores=8, #unrelaxed=1104, #relaxed=122, #hardened=0
0.19/0.28 c BCD2: #sat=1 #unsat=9 bias=9/10
0.19/0.28 c Solving starts ...
0.19/0.28 c ============================[ Search Statistics ]============================
0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.28 c | | | | Limit GC | Var | Constra
0.19/0.28 c =============================================================================
0.19/0.28 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 0
0.19/0.29 c 0.0s | 0 | 274 | 0 | 1811 0 | 0 | 0
0.19/0.29 c #cpu_time = 0.004s
0.19/0.29 c #wall_clock_time = 0.004s
0.19/0.29 c #decision = 274
0.19/0.29 c #random_decision = 0
0.19/0.29 c #conflict = 0
0.19/0.29 c #restart = 0
0.19/0.29 c BCD2: found a new core of size 12: cost of the new core is >=1
0.19/0.29 c lower bound updated to 9
0.19/0.29 c BCD2: 9 <= obj <= 1225
0.19/0.29 c BCD2: #cores=9, #unrelaxed=1092, #relaxed=134, #hardened=0
0.19/0.29 c BCD2: #sat=1 #unsat=10 bias=10/11
0.19/0.29 c Solving starts ...
0.19/0.29 c ============================[ Search Statistics ]============================
0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.29 c | | | | Limit GC | Var | Constra
0.19/0.29 c =============================================================================
0.19/0.29 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 0
0.19/0.29 c 0.0s | 0 | 331 | 1 | 1811 0 | 0 | 0
0.19/0.29 c #cpu_time = 0.005s
0.19/0.29 c #wall_clock_time = 0.005s
0.19/0.29 c #decision = 331
0.19/0.29 c #random_decision = 0
0.19/0.29 c #conflict = 1
0.19/0.29 c #restart = 0
0.19/0.29 c BCD2: found a new core of size 8: cost of the new core is >=1
0.19/0.29 c lower bound updated to 10
0.19/0.29 c BCD2: 10 <= obj <= 1225
0.19/0.29 c BCD2: #cores=10, #unrelaxed=1084, #relaxed=142, #hardened=0
0.19/0.29 c BCD2: #sat=1 #unsat=11 bias=11/12
0.19/0.29 c Solving starts ...
0.19/0.29 c ============================[ Search Statistics ]============================
0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.29 c | | | | Limit GC | Var | Constra
0.19/0.29 c =============================================================================
0.19/0.29 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 0
0.29/0.30 c 0.0s | 0 | 333 | 0 | 1811 0 | 0 | 0
0.29/0.30 c #cpu_time = 0.004s
0.29/0.30 c #wall_clock_time = 0.004s
0.29/0.30 c #decision = 333
0.29/0.30 c #random_decision = 0
0.29/0.30 c #conflict = 0
0.29/0.30 c #restart = 0
0.29/0.30 c BCD2: found a new core of size 7: cost of the new core is >=1
0.29/0.30 c lower bound updated to 11
0.29/0.30 c BCD2: 11 <= obj <= 1225
0.29/0.30 c BCD2: #cores=11, #unrelaxed=1077, #relaxed=149, #hardened=0
0.29/0.30 c BCD2: #sat=1 #unsat=12 bias=12/13
0.29/0.30 c Solving starts ...
0.29/0.30 c ============================[ Search Statistics ]============================
0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.30 c | | | | Limit GC | Var | Constra
0.29/0.30 c =============================================================================
0.29/0.30 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 2
0.29/0.30 c 0.0s | 0 | 376 | 0 | 1811 0 | 0 | 2
0.29/0.30 c #cpu_time = 0.004s
0.29/0.30 c #wall_clock_time = 0.004s
0.29/0.30 c #decision = 376
0.29/0.30 c #random_decision = 0
0.29/0.30 c #conflict = 0
0.29/0.30 c #restart = 0
0.29/0.30 c BCD2: found a new core of size 13: cost of the new core is >=1
0.29/0.30 c lower bound updated to 12
0.29/0.31 c BCD2: 12 <= obj <= 1225
0.29/0.31 c BCD2: #cores=12, #unrelaxed=1064, #relaxed=162, #hardened=0
0.29/0.31 c BCD2: #sat=1 #unsat=13 bias=13/14
0.29/0.31 c Solving starts ...
0.29/0.31 c ============================[ Search Statistics ]============================
0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.31 c | | | | Limit GC | Var | Constra
0.29/0.31 c =============================================================================
0.29/0.31 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 2
0.29/0.32 c 0.0s | 0 | 435 | 0 | 1811 0 | 0 | 2
0.29/0.32 c #cpu_time = 0.005s
0.29/0.32 c #wall_clock_time = 0.005s
0.29/0.32 c #decision = 435
0.29/0.32 c #random_decision = 0
0.29/0.32 c #conflict = 0
0.29/0.32 c #restart = 0
0.29/0.32 c BCD2: found a new core of size 7: cost of the new core is >=1
0.29/0.32 c lower bound updated to 13
0.29/0.32 c BCD2: 13 <= obj <= 1225
0.29/0.32 c BCD2: #cores=13, #unrelaxed=1057, #relaxed=169, #hardened=0
0.29/0.32 c BCD2: #sat=1 #unsat=14 bias=14/15
0.29/0.32 c Solving starts ...
0.29/0.32 c ============================[ Search Statistics ]============================
0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.32 c | | | | Limit GC | Var | Constra
0.29/0.32 c =============================================================================
0.29/0.32 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 4
0.29/0.32 c 0.0s | 0 | 442 | 1 | 1811 0 | 0 | 4
0.29/0.32 c #cpu_time = 0.004s
0.29/0.32 c #wall_clock_time = 0.004s
0.29/0.32 c #decision = 442
0.29/0.32 c #random_decision = 0
0.29/0.32 c #conflict = 1
0.29/0.32 c #restart = 0
0.29/0.32 c BCD2: found a new core of size 8: cost of the new core is >=1
0.29/0.32 c lower bound updated to 14
0.29/0.32 c BCD2: 14 <= obj <= 1225
0.29/0.32 c BCD2: #cores=14, #unrelaxed=1049, #relaxed=177, #hardened=0
0.29/0.32 c BCD2: #sat=1 #unsat=15 bias=15/16
0.29/0.32 c Solving starts ...
0.29/0.32 c ============================[ Search Statistics ]============================
0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.32 c | | | | Limit GC | Var | Constra
0.29/0.32 c =============================================================================
0.29/0.32 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 4
0.29/0.33 c 0.0s | 0 | 463 | 0 | 1811 0 | 0 | 4
0.29/0.33 c #cpu_time = 0.004s
0.29/0.33 c #wall_clock_time = 0.004s
0.29/0.33 c #decision = 463
0.29/0.33 c #random_decision = 0
0.29/0.33 c #conflict = 0
0.29/0.33 c #restart = 0
0.29/0.33 c BCD2: found a new core of size 19: cost of the new core is >=1
0.29/0.33 c lower bound updated to 15
0.29/0.33 c BCD2: 15 <= obj <= 1225
0.29/0.33 c BCD2: #cores=15, #unrelaxed=1030, #relaxed=196, #hardened=0
0.29/0.33 c BCD2: #sat=1 #unsat=16 bias=16/17
0.29/0.33 c Solving starts ...
0.29/0.33 c ============================[ Search Statistics ]============================
0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.33 c | | | | Limit GC | Var | Constra
0.29/0.33 c =============================================================================
0.29/0.33 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 4
0.29/0.33 c 0.0s | 0 | 457 | 0 | 1811 0 | 0 | 4
0.29/0.33 c #cpu_time = 0.004s
0.29/0.33 c #wall_clock_time = 0.004s
0.29/0.33 c #decision = 457
0.29/0.33 c #random_decision = 0
0.29/0.33 c #conflict = 0
0.29/0.33 c #restart = 0
0.29/0.33 c BCD2: found a new core of size 21: cost of the new core is >=1
0.29/0.33 c lower bound updated to 16
0.29/0.33 c BCD2: 16 <= obj <= 1225
0.29/0.33 c BCD2: #cores=16, #unrelaxed=1009, #relaxed=217, #hardened=0
0.29/0.33 c BCD2: #sat=1 #unsat=17 bias=17/18
0.29/0.33 c Solving starts ...
0.29/0.33 c ============================[ Search Statistics ]============================
0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.33 c | | | | Limit GC | Var | Constra
0.29/0.33 c =============================================================================
0.29/0.33 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 4
0.29/0.34 c 0.0s | 0 | 455 | 1 | 1811 0 | 0 | 4
0.29/0.34 c #cpu_time = 0.004s
0.29/0.34 c #wall_clock_time = 0.005s
0.29/0.34 c #decision = 455
0.29/0.34 c #random_decision = 0
0.29/0.34 c #conflict = 1
0.29/0.34 c #restart = 0
0.29/0.34 c BCD2: found a new core of size 17: cost of the new core is >=1
0.29/0.34 c lower bound updated to 17
0.29/0.34 c BCD2: 17 <= obj <= 1225
0.29/0.34 c BCD2: #cores=17, #unrelaxed=992, #relaxed=234, #hardened=0
0.29/0.34 c BCD2: #sat=1 #unsat=18 bias=18/19
0.29/0.34 c Solving starts ...
0.29/0.34 c ============================[ Search Statistics ]============================
0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.34 c | | | | Limit GC | Var | Constra
0.29/0.34 c =============================================================================
0.29/0.34 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 4
0.29/0.35 c 0.0s | 0 | 521 | 1 | 1811 0 | 0 | 4
0.29/0.35 c #cpu_time = 0.005s
0.29/0.35 c #wall_clock_time = 0.005s
0.29/0.35 c #decision = 521
0.29/0.35 c #random_decision = 0
0.29/0.35 c #conflict = 1
0.29/0.35 c #restart = 0
0.29/0.35 c BCD2: found a new core of size 24: cost of the new core is >=1
0.29/0.35 c lower bound updated to 18
0.29/0.35 c BCD2: 18 <= obj <= 1225
0.29/0.35 c BCD2: #cores=18, #unrelaxed=968, #relaxed=258, #hardened=0
0.29/0.35 c BCD2: #sat=1 #unsat=19 bias=19/20
0.29/0.35 c Solving starts ...
0.29/0.35 c ============================[ Search Statistics ]============================
0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.35 c | | | | Limit GC | Var | Constra
0.29/0.35 c =============================================================================
0.29/0.35 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 4
0.29/0.35 c 0.0s | 0 | 577 | 1 | 1811 0 | 0 | 4
0.29/0.35 c #cpu_time = 0.004s
0.29/0.35 c #wall_clock_time = 0.004s
0.29/0.35 c #decision = 577
0.29/0.35 c #random_decision = 0
0.29/0.35 c #conflict = 1
0.29/0.35 c #restart = 0
0.29/0.35 c BCD2: found a new core of size 8: cost of the new core is >=1
0.29/0.35 c lower bound updated to 19
0.29/0.35 c BCD2: 19 <= obj <= 1225
0.29/0.35 c BCD2: #cores=19, #unrelaxed=960, #relaxed=266, #hardened=0
0.29/0.35 c BCD2: #sat=1 #unsat=20 bias=20/21
0.29/0.35 c Solving starts ...
0.29/0.35 c ============================[ Search Statistics ]============================
0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.35 c | | | | Limit GC | Var | Constra
0.29/0.35 c =============================================================================
0.29/0.35 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 4
0.29/0.36 c 0.0s | 0 | 438 | 0 | 1811 0 | 0 | 4
0.29/0.36 c #cpu_time = 0.004s
0.29/0.36 c #wall_clock_time = 0.004s
0.29/0.36 c #decision = 438
0.29/0.36 c #random_decision = 0
0.29/0.36 c #conflict = 0
0.29/0.36 c #restart = 0
0.29/0.36 c BCD2: found a new core of size 7: cost of the new core is >=1
0.29/0.36 c lower bound updated to 20
0.29/0.36 c BCD2: 20 <= obj <= 1225
0.29/0.36 c BCD2: #cores=20, #unrelaxed=953, #relaxed=273, #hardened=0
0.29/0.36 c BCD2: #sat=1 #unsat=21 bias=21/22
0.29/0.36 c Solving starts ...
0.29/0.36 c ============================[ Search Statistics ]============================
0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.36 c | | | | Limit GC | Var | Constra
0.29/0.36 c =============================================================================
0.29/0.36 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 6
0.29/0.36 c 0.0s | 0 | 438 | 0 | 1811 0 | 0 | 6
0.29/0.36 c #cpu_time = 0.004s
0.29/0.36 c #wall_clock_time = 0.004s
0.29/0.36 c #decision = 438
0.29/0.36 c #random_decision = 0
0.29/0.36 c #conflict = 0
0.29/0.36 c #restart = 0
0.29/0.36 c BCD2: found a new core of size 19: cost of the new core is >=1
0.29/0.36 c lower bound updated to 21
0.29/0.37 c BCD2: 21 <= obj <= 1225
0.29/0.37 c BCD2: #cores=21, #unrelaxed=934, #relaxed=292, #hardened=0
0.29/0.37 c BCD2: #sat=1 #unsat=22 bias=22/23
0.29/0.37 c Solving starts ...
0.29/0.37 c ============================[ Search Statistics ]============================
0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.37 c | | | | Limit GC | Var | Constra
0.29/0.37 c =============================================================================
0.29/0.37 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 6
0.29/0.38 c 0.0s | 0 | 426 | 0 | 1811 0 | 0 | 6
0.29/0.38 c #cpu_time = 0.004s
0.29/0.38 c #wall_clock_time = 0.004s
0.29/0.38 c #decision = 426
0.29/0.38 c #random_decision = 0
0.29/0.38 c #conflict = 0
0.29/0.38 c #restart = 0
0.29/0.38 c BCD2: found a new core of size 21: cost of the new core is >=1
0.29/0.38 c lower bound updated to 22
0.29/0.38 c BCD2: 22 <= obj <= 1225
0.29/0.38 c BCD2: #cores=22, #unrelaxed=913, #relaxed=313, #hardened=0
0.29/0.38 c BCD2: #sat=1 #unsat=23 bias=23/24
0.29/0.38 c Solving starts ...
0.29/0.38 c ============================[ Search Statistics ]============================
0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.38 c | | | | Limit GC | Var | Constra
0.29/0.38 c =============================================================================
0.29/0.38 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 6
0.29/0.38 c 0.0s | 0 | 432 | 0 | 1811 0 | 0 | 6
0.29/0.38 c #cpu_time = 0.004s
0.29/0.38 c #wall_clock_time = 0.004s
0.29/0.38 c #decision = 432
0.29/0.38 c #random_decision = 0
0.29/0.38 c #conflict = 0
0.29/0.38 c #restart = 0
0.29/0.38 c BCD2: found a new core of size 7: cost of the new core is >=1
0.29/0.38 c lower bound updated to 23
0.29/0.38 c BCD2: 23 <= obj <= 1225
0.29/0.38 c BCD2: #cores=23, #unrelaxed=906, #relaxed=320, #hardened=0
0.29/0.38 c BCD2: #sat=1 #unsat=24 bias=24/25
0.29/0.38 c Solving starts ...
0.29/0.38 c ============================[ Search Statistics ]============================
0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.38 c | | | | Limit GC | Var | Constra
0.29/0.38 c =============================================================================
0.29/0.38 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 8
0.29/0.39 c 0.0s | 0 | 445 | 0 | 1811 0 | 0 | 8
0.29/0.39 c #cpu_time = 0.004s
0.29/0.39 c #wall_clock_time = 0.004s
0.29/0.39 c #decision = 445
0.29/0.39 c #random_decision = 0
0.29/0.39 c #conflict = 0
0.29/0.39 c #restart = 0
0.29/0.39 c BCD2: found a new core of size 28: cost of the new core is >=1
0.29/0.39 c lower bound updated to 24
0.29/0.39 c BCD2: 24 <= obj <= 1225
0.29/0.39 c BCD2: #cores=24, #unrelaxed=878, #relaxed=348, #hardened=0
0.29/0.39 c BCD2: #sat=1 #unsat=25 bias=25/26
0.29/0.39 c Solving starts ...
0.29/0.39 c ============================[ Search Statistics ]============================
0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.39 c | | | | Limit GC | Var | Constra
0.29/0.39 c =============================================================================
0.29/0.39 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 8
0.29/0.39 c 0.0s | 0 | 451 | 0 | 1811 0 | 0 | 8
0.29/0.39 c #cpu_time = 0.004s
0.29/0.39 c #wall_clock_time = 0.004s
0.29/0.39 c #decision = 451
0.29/0.39 c #random_decision = 0
0.29/0.39 c #conflict = 0
0.29/0.39 c #restart = 0
0.29/0.39 c BCD2: found a new core of size 7: cost of the new core is >=1
0.29/0.39 c lower bound updated to 25
0.29/0.39 c BCD2: 25 <= obj <= 1225
0.29/0.39 c BCD2: #cores=25, #unrelaxed=871, #relaxed=355, #hardened=0
0.29/0.39 c BCD2: #sat=1 #unsat=26 bias=26/27
0.29/0.39 c Solving starts ...
0.29/0.39 c ============================[ Search Statistics ]============================
0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.39 c | | | | Limit GC | Var | Constra
0.29/0.39 c =============================================================================
0.29/0.39 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 10
0.39/0.40 c 0.0s | 0 | 497 | 0 | 1811 0 | 0 | 10
0.39/0.40 c #cpu_time = 0.004s
0.39/0.40 c #wall_clock_time = 0.004s
0.39/0.40 c #decision = 497
0.39/0.40 c #random_decision = 0
0.39/0.40 c #conflict = 0
0.39/0.40 c #restart = 0
0.39/0.40 c BCD2: found a new core of size 24: cost of the new core is >=1
0.39/0.40 c lower bound updated to 26
0.39/0.40 c BCD2: 26 <= obj <= 1225
0.39/0.40 c BCD2: #cores=26, #unrelaxed=847, #relaxed=379, #hardened=0
0.39/0.40 c BCD2: #sat=1 #unsat=27 bias=27/28
0.39/0.40 c Solving starts ...
0.39/0.40 c ============================[ Search Statistics ]============================
0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.40 c | | | | Limit GC | Var | Constra
0.39/0.40 c =============================================================================
0.39/0.40 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 10
0.39/0.40 c 0.0s | 0 | 484 | 0 | 1811 0 | 0 | 10
0.39/0.40 c #cpu_time = 0.004s
0.39/0.40 c #wall_clock_time = 0.004s
0.39/0.40 c #decision = 484
0.39/0.40 c #random_decision = 0
0.39/0.40 c #conflict = 0
0.39/0.40 c #restart = 0
0.39/0.40 c BCD2: found a new core of size 7: cost of the new core is >=1
0.39/0.40 c lower bound updated to 27
0.39/0.40 c BCD2: 27 <= obj <= 1225
0.39/0.40 c BCD2: #cores=27, #unrelaxed=840, #relaxed=386, #hardened=0
0.39/0.40 c BCD2: #sat=1 #unsat=28 bias=28/29
0.39/0.40 c Solving starts ...
0.39/0.40 c ============================[ Search Statistics ]============================
0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.40 c | | | | Limit GC | Var | Constra
0.39/0.40 c =============================================================================
0.39/0.40 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 12
0.39/0.41 c 0.0s | 0 | 497 | 0 | 1811 0 | 0 | 12
0.39/0.41 c #cpu_time = 0.004s
0.39/0.41 c #wall_clock_time = 0.004s
0.39/0.41 c #decision = 497
0.39/0.41 c #random_decision = 0
0.39/0.41 c #conflict = 0
0.39/0.41 c #restart = 0
0.39/0.41 c BCD2: found a new core of size 11: cost of the new core is >=1
0.39/0.41 c lower bound updated to 28
0.39/0.41 c BCD2: 28 <= obj <= 1225
0.39/0.41 c BCD2: #cores=28, #unrelaxed=829, #relaxed=397, #hardened=0
0.39/0.41 c BCD2: #sat=1 #unsat=29 bias=29/30
0.39/0.41 c Solving starts ...
0.39/0.41 c ============================[ Search Statistics ]============================
0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.41 c | | | | Limit GC | Var | Constra
0.39/0.41 c =============================================================================
0.39/0.41 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 13
0.39/0.41 c 0.0s | 0 | 493 | 0 | 1811 0 | 0 | 13
0.39/0.41 c #cpu_time = 0.004s
0.39/0.41 c #wall_clock_time = 0.004s
0.39/0.41 c #decision = 493
0.39/0.41 c #random_decision = 0
0.39/0.41 c #conflict = 0
0.39/0.41 c #restart = 0
0.39/0.41 c BCD2: found a new core of size 7: cost of the new core is >=1
0.39/0.41 c lower bound updated to 29
0.39/0.41 c BCD2: 29 <= obj <= 1225
0.39/0.41 c BCD2: #cores=29, #unrelaxed=822, #relaxed=404, #hardened=0
0.39/0.41 c BCD2: #sat=1 #unsat=30 bias=30/31
0.39/0.41 c Solving starts ...
0.39/0.41 c ============================[ Search Statistics ]============================
0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.41 c | | | | Limit GC | Var | Constra
0.39/0.41 c =============================================================================
0.39/0.41 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 15
0.39/0.42 c 0.0s | 0 | 540 | 0 | 1811 0 | 0 | 15
0.39/0.42 c #cpu_time = 0.004s
0.39/0.42 c #wall_clock_time = 0.004s
0.39/0.42 c #decision = 540
0.39/0.42 c #random_decision = 0
0.39/0.42 c #conflict = 0
0.39/0.42 c #restart = 0
0.39/0.42 c BCD2: found a new core of size 33: cost of the new core is >=1
0.39/0.42 c lower bound updated to 30
0.39/0.42 c BCD2: 30 <= obj <= 1225
0.39/0.42 c BCD2: #cores=30, #unrelaxed=789, #relaxed=437, #hardened=0
0.39/0.42 c BCD2: #sat=1 #unsat=31 bias=31/32
0.39/0.42 c Solving starts ...
0.39/0.42 c ============================[ Search Statistics ]============================
0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.42 c | | | | Limit GC | Var | Constra
0.39/0.42 c =============================================================================
0.39/0.42 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 15
0.39/0.43 c 0.0s | 0 | 521 | 1 | 1811 0 | 0 | 15
0.39/0.43 c #cpu_time = 0.004s
0.39/0.43 c #wall_clock_time = 0.004s
0.39/0.43 c #decision = 521
0.39/0.43 c #random_decision = 0
0.39/0.43 c #conflict = 1
0.39/0.43 c #restart = 0
0.39/0.43 c BCD2: found a new core of size 8: cost of the new core is >=1
0.39/0.43 c lower bound updated to 31
0.39/0.43 c BCD2: 31 <= obj <= 1225
0.39/0.43 c BCD2: #cores=31, #unrelaxed=781, #relaxed=445, #hardened=0
0.39/0.43 c BCD2: #sat=1 #unsat=32 bias=32/33
0.39/0.43 c Solving starts ...
0.39/0.43 c ============================[ Search Statistics ]============================
0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.43 c | | | | Limit GC | Var | Constra
0.39/0.43 c =============================================================================
0.39/0.43 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 15
0.39/0.43 c 0.0s | 0 | 535 | 0 | 1811 0 | 0 | 15
0.39/0.43 c #cpu_time = 0.004s
0.39/0.43 c #wall_clock_time = 0.004s
0.39/0.43 c #decision = 535
0.39/0.43 c #random_decision = 0
0.39/0.43 c #conflict = 0
0.39/0.43 c #restart = 0
0.39/0.43 c BCD2: found a new core of size 24: cost of the new core is >=1
0.39/0.43 c lower bound updated to 32
0.39/0.43 c BCD2: 32 <= obj <= 1225
0.39/0.43 c BCD2: #cores=32, #unrelaxed=757, #relaxed=469, #hardened=0
0.39/0.43 c BCD2: #sat=1 #unsat=33 bias=33/34
0.39/0.43 c Solving starts ...
0.39/0.43 c ============================[ Search Statistics ]============================
0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.43 c | | | | Limit GC | Var | Constra
0.39/0.43 c =============================================================================
0.39/0.43 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 15
0.39/0.44 c 0.0s | 0 | 523 | 1 | 1811 0 | 0 | 15
0.39/0.44 c #cpu_time = 0.004s
0.39/0.44 c #wall_clock_time = 0.004s
0.39/0.44 c #decision = 523
0.39/0.44 c #random_decision = 0
0.39/0.44 c #conflict = 1
0.39/0.44 c #restart = 0
0.39/0.44 c BCD2: found a new core of size 12: cost of the new core is >=1
0.39/0.44 c lower bound updated to 33
0.39/0.44 c BCD2: 33 <= obj <= 1225
0.39/0.44 c BCD2: #cores=33, #unrelaxed=745, #relaxed=481, #hardened=0
0.39/0.44 c BCD2: #sat=1 #unsat=34 bias=34/35
0.39/0.44 c Solving starts ...
0.39/0.44 c ============================[ Search Statistics ]============================
0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.44 c | | | | Limit GC | Var | Constra
0.39/0.44 c =============================================================================
0.39/0.44 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 15
0.39/0.44 c 0.0s | 0 | 548 | 0 | 1811 0 | 0 | 15
0.39/0.44 c #cpu_time = 0.004s
0.39/0.44 c #wall_clock_time = 0.004s
0.39/0.44 c #decision = 548
0.39/0.44 c #random_decision = 0
0.39/0.44 c #conflict = 0
0.39/0.44 c #restart = 0
0.39/0.44 c BCD2: found a new core of size 7: cost of the new core is >=1
0.39/0.44 c lower bound updated to 34
0.39/0.44 c BCD2: 34 <= obj <= 1225
0.39/0.44 c BCD2: #cores=34, #unrelaxed=738, #relaxed=488, #hardened=0
0.39/0.44 c BCD2: #sat=1 #unsat=35 bias=35/36
0.39/0.44 c Solving starts ...
0.39/0.44 c ============================[ Search Statistics ]============================
0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.44 c | | | | Limit GC | Var | Constra
0.39/0.44 c =============================================================================
0.39/0.44 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 17
0.39/0.45 c 0.0s | 0 | 566 | 0 | 1811 0 | 0 | 17
0.39/0.45 c #cpu_time = 0.004s
0.39/0.45 c #wall_clock_time = 0.004s
0.39/0.45 c #decision = 566
0.39/0.45 c #random_decision = 0
0.39/0.45 c #conflict = 0
0.39/0.45 c #restart = 0
0.39/0.45 c BCD2: found a new core of size 14: cost of the new core is >=1
0.39/0.45 c lower bound updated to 35
0.39/0.45 c BCD2: 35 <= obj <= 1225
0.39/0.45 c BCD2: #cores=35, #unrelaxed=724, #relaxed=502, #hardened=0
0.39/0.45 c BCD2: #sat=1 #unsat=36 bias=36/37
0.39/0.45 c Solving starts ...
0.39/0.45 c ============================[ Search Statistics ]============================
0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.45 c | | | | Limit GC | Var | Constra
0.39/0.45 c =============================================================================
0.39/0.45 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 17
0.39/0.45 c 0.0s | 0 | 605 | 0 | 1811 0 | 0 | 17
0.39/0.45 c #cpu_time = 0.004s
0.39/0.45 c #wall_clock_time = 0.004s
0.39/0.45 c #decision = 605
0.39/0.45 c #random_decision = 0
0.39/0.45 c #conflict = 0
0.39/0.45 c #restart = 0
0.39/0.45 c BCD2: found a new core of size 24: cost of the new core is >=1
0.39/0.45 c lower bound updated to 36
0.39/0.45 c BCD2: 36 <= obj <= 1225
0.39/0.45 c BCD2: #cores=36, #unrelaxed=700, #relaxed=526, #hardened=0
0.39/0.45 c BCD2: #sat=1 #unsat=37 bias=37/38
0.39/0.45 c Solving starts ...
0.39/0.45 c ============================[ Search Statistics ]============================
0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.45 c | | | | Limit GC | Var | Constra
0.39/0.45 c =============================================================================
0.39/0.45 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 17
0.39/0.46 c 0.0s | 0 | 599 | 0 | 1811 0 | 0 | 17
0.39/0.46 c #cpu_time = 0.005s
0.39/0.46 c #wall_clock_time = 0.005s
0.39/0.46 c #decision = 599
0.39/0.46 c #random_decision = 0
0.39/0.46 c #conflict = 0
0.39/0.46 c #restart = 0
0.39/0.46 c BCD2: found a new core of size 27: cost of the new core is >=1
0.39/0.46 c lower bound updated to 37
0.39/0.46 c BCD2: 37 <= obj <= 1225
0.39/0.46 c BCD2: #cores=37, #unrelaxed=673, #relaxed=553, #hardened=0
0.39/0.46 c BCD2: #sat=1 #unsat=38 bias=38/39
0.39/0.46 c Solving starts ...
0.39/0.46 c ============================[ Search Statistics ]============================
0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.46 c | | | | Limit GC | Var | Constra
0.39/0.46 c =============================================================================
0.39/0.46 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 17
0.39/0.47 c 0.0s | 0 | 636 | 0 | 1811 0 | 0 | 17
0.39/0.47 c #cpu_time = 0.004s
0.39/0.47 c #wall_clock_time = 0.005s
0.39/0.47 c #decision = 636
0.39/0.47 c #random_decision = 0
0.39/0.47 c #conflict = 0
0.39/0.47 c #restart = 0
0.39/0.47 c BCD2: found a new core of size 32: cost of the new core is >=1
0.39/0.47 c lower bound updated to 38
0.39/0.47 c BCD2: 38 <= obj <= 1225
0.39/0.47 c BCD2: #cores=38, #unrelaxed=641, #relaxed=585, #hardened=0
0.39/0.47 c BCD2: #sat=1 #unsat=39 bias=39/40
0.39/0.47 c Solving starts ...
0.39/0.47 c ============================[ Search Statistics ]============================
0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.47 c | | | | Limit GC | Var | Constra
0.39/0.47 c =============================================================================
0.39/0.47 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 17
0.39/0.47 c 0.0s | 0 | 618 | 0 | 1811 0 | 0 | 17
0.39/0.47 c #cpu_time = 0.004s
0.39/0.47 c #wall_clock_time = 0.005s
0.39/0.47 c #decision = 618
0.39/0.47 c #random_decision = 0
0.39/0.47 c #conflict = 0
0.39/0.47 c #restart = 0
0.39/0.47 c BCD2: found a new core of size 21: cost of the new core is >=1
0.39/0.47 c lower bound updated to 39
0.39/0.47 c BCD2: 39 <= obj <= 1225
0.39/0.47 c BCD2: #cores=39, #unrelaxed=620, #relaxed=606, #hardened=0
0.39/0.47 c BCD2: #sat=1 #unsat=40 bias=40/41
0.39/0.47 c Solving starts ...
0.39/0.47 c ============================[ Search Statistics ]============================
0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.47 c | | | | Limit GC | Var | Constra
0.39/0.47 c =============================================================================
0.39/0.47 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 18
0.39/0.48 c 0.0s | 0 | 612 | 1 | 1811 0 | 0 | 18
0.39/0.48 c #cpu_time = 0.004s
0.39/0.48 c #wall_clock_time = 0.004s
0.39/0.48 c #decision = 612
0.39/0.48 c #random_decision = 0
0.39/0.48 c #conflict = 1
0.39/0.48 c #restart = 0
0.39/0.48 c BCD2: found a new core of size 26: cost of the new core is >=1
0.39/0.48 c lower bound updated to 40
0.39/0.48 c BCD2: 40 <= obj <= 1225
0.39/0.48 c BCD2: #cores=40, #unrelaxed=594, #relaxed=632, #hardened=0
0.39/0.48 c BCD2: #sat=1 #unsat=41 bias=41/42
0.39/0.48 c Solving starts ...
0.39/0.48 c ============================[ Search Statistics ]============================
0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.48 c | | | | Limit GC | Var | Constra
0.39/0.48 c =============================================================================
0.39/0.48 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 18
0.39/0.48 c 0.0s | 0 | 612 | 0 | 1811 0 | 0 | 18
0.39/0.48 c #cpu_time = 0.005s
0.39/0.48 c #wall_clock_time = 0.005s
0.39/0.48 c #decision = 612
0.39/0.48 c #random_decision = 0
0.39/0.48 c #conflict = 0
0.39/0.48 c #restart = 0
0.39/0.48 c BCD2: found a new core of size 44: cost of the new core is >=1
0.39/0.48 c lower bound updated to 41
0.39/0.49 c BCD2: 41 <= obj <= 1225
0.39/0.49 c BCD2: #cores=41, #unrelaxed=550, #relaxed=676, #hardened=0
0.39/0.49 c BCD2: #sat=1 #unsat=42 bias=42/43
0.39/0.49 c Solving starts ...
0.39/0.49 c ============================[ Search Statistics ]============================
0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.49 c | | | | Limit GC | Var | Constra
0.39/0.49 c =============================================================================
0.39/0.49 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 18
0.39/0.49 c 0.0s | 0 | 570 | 0 | 1811 0 | 0 | 18
0.39/0.49 c #cpu_time = 0.004s
0.39/0.49 c #wall_clock_time = 0.004s
0.39/0.49 c #decision = 570
0.39/0.49 c #random_decision = 0
0.39/0.49 c #conflict = 0
0.39/0.49 c #restart = 0
0.39/0.49 c BCD2: found a new core of size 7: cost of the new core is >=1
0.39/0.49 c lower bound updated to 42
0.39/0.49 c BCD2: 42 <= obj <= 1225
0.39/0.49 c BCD2: #cores=42, #unrelaxed=543, #relaxed=683, #hardened=0
0.39/0.49 c BCD2: #sat=1 #unsat=43 bias=43/44
0.39/0.49 c Solving starts ...
0.39/0.49 c ============================[ Search Statistics ]============================
0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.49 c | | | | Limit GC | Var | Constra
0.39/0.49 c =============================================================================
0.39/0.49 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 20
0.48/0.50 c 0.0s | 0 | 585 | 1 | 1811 0 | 0 | 20
0.48/0.50 c #cpu_time = 0.004s
0.48/0.50 c #wall_clock_time = 0.004s
0.48/0.50 c #decision = 585
0.48/0.50 c #random_decision = 0
0.48/0.50 c #conflict = 1
0.48/0.50 c #restart = 0
0.48/0.50 c BCD2: found a new core of size 18: cost of the new core is >=1
0.48/0.50 c lower bound updated to 43
0.48/0.50 c BCD2: 43 <= obj <= 1225
0.48/0.50 c BCD2: #cores=43, #unrelaxed=525, #relaxed=701, #hardened=0
0.48/0.50 c BCD2: #sat=1 #unsat=44 bias=44/45
0.48/0.50 c Solving starts ...
0.48/0.50 c ============================[ Search Statistics ]============================
0.48/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.50 c | | | | Limit GC | Var | Constra
0.48/0.50 c =============================================================================
0.48/0.50 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 20
0.48/0.50 c 0.0s | 0 | 1012 | 0 | 1811 0 | 0 | 20
0.48/0.50 c #cpu_time = 0.007s
0.48/0.50 c #wall_clock_time = 0.007s
0.48/0.50 c #decision = 1012
0.48/0.50 c #random_decision = 0
0.48/0.50 c #conflict = 0
0.48/0.50 c #restart = 0
0.48/0.50 o 93
0.48/0.51 c BCD2: updating upper bound: 1225 -> 92
0.48/0.51 c BCD2: 43 <= obj <= 92
0.48/0.51 c BCD2: #cores=43, #unrelaxed=525, #relaxed=701, #hardened=0
0.48/0.51 c BCD2: #sat=2 #unsat=44 bias=44/46
0.48/0.51 c Solving starts ...
0.48/0.51 c ============================[ Search Statistics ]============================
0.48/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.51 c | | | | Limit GC | Var | Constra
0.48/0.51 c =============================================================================
0.48/0.51 c 0.0s | 0 | 0 | 0 | 1811 0 | 0 | 21
0.48/0.52 c 0.0s | 0 | 1101 | 10 | 1811 0 | 0 | 21
0.48/0.52 c #cpu_time = 0.006s
0.48/0.52 c #wall_clock_time = 0.006s
0.48/0.52 c #decision = 1101
0.48/0.52 c #random_decision = 0
0.48/0.52 c #conflict = 10
0.48/0.52 c #restart = 0
0.48/0.52 c BCD2: relaxing 31 and merging with 1 cores into a new core of size 43: cost of the new core is >=2
0.48/0.52 c lower bound updated to 44
0.48/0.52 c BCD2: 44 <= obj <= 92
0.48/0.52 c BCD2: #cores=43, #unrelaxed=494, #relaxed=732, #hardened=0
0.48/0.52 c BCD2: #sat=2 #unsat=45 bias=45/47
0.48/0.52 c Solving starts ...
0.48/0.52 c ============================[ Search Statistics ]============================
0.48/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.52 c | | | | Limit GC | Var | Constra
0.48/0.52 c =============================================================================
0.48/0.52 c 0.0s | 0 | 0 | 0 | 1811 0 | 2 | 21
0.48/0.53 c 0.0s | 0 | 1881 | 26 | 1811 0 | 2 | 24
0.48/0.53 c #cpu_time = 0.013s
0.48/0.53 c #wall_clock_time = 0.013s
0.48/0.53 c #decision = 1881
0.48/0.53 c #random_decision = 1
0.48/0.53 c #conflict = 26
0.48/0.53 c #restart = 0
0.48/0.53 c BCD2: relaxing 37 and merging with 5 cores into a new core of size 130: cost of the new core is >=6
0.48/0.53 c lower bound updated to 45
0.48/0.53 c BCD2: 45 <= obj <= 92
0.48/0.53 c BCD2: #cores=39, #unrelaxed=457, #relaxed=769, #hardened=0
0.48/0.53 c BCD2: #sat=2 #unsat=46 bias=46/48
0.48/0.54 c Solving starts ...
0.48/0.54 c ============================[ Search Statistics ]============================
0.48/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.54 c | | | | Limit GC | Var | Constra
0.48/0.54 c =============================================================================
0.48/0.54 c 0.0s | 0 | 0 | 0 | 1811 0 | 15 | 24
0.48/0.56 c 0.0s | 1 | 974 | 100 | 1993 0 | 15 | 45
0.48/0.59 c 0.0s | 2 | 2092 | 250 | 2193 0 | 15 | 45
0.58/0.63 c 0.1s | 3 | 3911 | 475 | 2413 0 | 15 | 45
0.69/0.70 c 0.2s | 4 | 6059 | 813 | 2655 0 | 15 | 45
0.79/0.84 c 0.3s | 5 | 7871 | 1320 | 2921 0 | 15 | 45
0.98/1.07 c 0.5s | 6 | 10921 | 2081 | 3214 0 | 15 | 45
1.39/1.40 c 0.9s | 7 | 15463 | 3223 | 3536 0 | 15 | 45
1.59/1.60 c 1.1s | 7 | 18483 | 3827 | 3536 1 | 15 | 45
1.59/1.60 c #cpu_time = 1.060s
1.59/1.60 c #wall_clock_time = 1.063s
1.59/1.60 c #decision = 18483
1.59/1.60 c #random_decision = 26
1.59/1.60 c #conflict = 3827
1.59/1.60 c #restart = 7
1.59/1.60 c BCD2: relaxing 12 and merging with 2 cores into a new core of size 32: cost of the new core is >=3
1.59/1.60 c lower bound updated to 46
1.59/1.60 c BCD2: 46 <= obj <= 92
1.59/1.60 c BCD2: #cores=38, #unrelaxed=445, #relaxed=781, #hardened=0
1.59/1.60 c BCD2: #sat=2 #unsat=47 bias=47/49
1.59/1.60 c Solving starts ...
1.59/1.60 c ============================[ Search Statistics ]============================
1.59/1.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.60 c | | | | Limit GC | Var | Constra
1.59/1.60 c =============================================================================
1.59/1.60 c 0.0s | 0 | 0 | 0 | 3536 0 | 20 | 45
1.59/1.63 c 0.0s | 1 | 1893 | 100 | 3536 0 | 20 | 53
1.59/1.65 c 0.0s | 1 | 2589 | 151 | 3536 0 | 20 | 53
1.59/1.65 c #cpu_time = 0.048s
1.59/1.65 c #wall_clock_time = 0.048s
1.59/1.65 c #decision = 2589
1.59/1.65 c #random_decision = 0
1.59/1.65 c #conflict = 151
1.59/1.65 c #restart = 1
1.59/1.65 c BCD2: relaxing 49 and merging with 5 cores into a new core of size 167: cost of the new core is >=8
1.59/1.65 c lower bound updated to 47
1.59/1.65 c BCD2: 47 <= obj <= 92
1.59/1.65 c BCD2: #cores=34, #unrelaxed=396, #relaxed=830, #hardened=0
1.59/1.65 c BCD2: #sat=2 #unsat=48 bias=48/50
1.59/1.65 c Solving starts ...
1.59/1.65 c ============================[ Search Statistics ]============================
1.59/1.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.65 c | | | | Limit GC | Var | Constra
1.59/1.65 c =============================================================================
1.59/1.65 c 0.0s | 0 | 0 | 0 | 3536 0 | 29 | 53
1.59/1.69 c 0.0s | 1 | 830 | 100 | 3536 0 | 29 | 66
1.69/1.75 c 0.1s | 2 | 2646 | 250 | 3536 0 | 29 | 66
1.79/1.84 c 0.2s | 3 | 3952 | 475 | 3536 0 | 29 | 66
1.89/1.94 c 0.3s | 4 | 6104 | 813 | 3536 0 | 29 | 66
1.99/2.08 c 0.4s | 5 | 9582 | 1320 | 3890 0 | 29 | 66
2.20/2.27 c 0.6s | 6 | 13369 | 2081 | 3890 0 | 29 | 66
2.49/2.59 c 0.9s | 7 | 18765 | 3223 | 3890 1 | 29 | 66
3.09/3.11 c 1.5s | 8 | 26666 | 4936 | 4279 1 | 29 | 66
3.89/3.92 c 2.3s | 9 | 39493 | 7506 | 4707 2 | 29 | 66
4.89/4.98 c 3.3s | 10 | 61071 | 11361 | 4707 4 | 29 | 66
6.49/6.59 c 4.9s | 11 | 86998 | 17144 | 5178 6 | 29 | 66
8.59/8.60 c 7.0s | 11 | 116158 | 24144 | 5696 8 | 29 | 66
9.18/9.23 c 7.6s | 12 | 122155 | 25819 | 5696 9 | 29 | 66
11.18/11.25 c 9.6s | 12 | 149658 | 32219 | 5696 11 | 29 | 66
11.58/11.62 c 10.0s | 12 | 155346 | 33476 | 5696 11 | 29 | 66
11.58/11.62 c #cpu_time = 9.940s
11.58/11.62 c #wall_clock_time = 9.966s
11.58/11.62 c #decision = 155346
11.58/11.62 c #random_decision = 477
11.58/11.62 c #conflict = 33476
11.58/11.62 c #restart = 12
11.58/11.62 c BCD2: relaxing 20 and merging with 1 cores into a new core of size 44: cost of the new core is >=2
11.58/11.62 c lower bound updated to 48
11.58/11.62 c BCD2: 48 <= obj <= 92
11.58/11.62 c BCD2: #cores=34, #unrelaxed=376, #relaxed=850, #hardened=0
11.58/11.62 c BCD2: #sat=2 #unsat=49 bias=49/51
11.58/11.62 c Solving starts ...
11.58/11.62 c ============================[ Search Statistics ]============================
11.58/11.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
11.58/11.62 c | | | | Limit GC | Var | Constra
11.58/11.62 c =============================================================================
11.58/11.62 c 0.0s | 0 | 0 | 0 | 5696 0 | 31 | 66
11.58/11.66 c 0.0s | 1 | 1609 | 100 | 5696 0 | 31 | 69
11.68/11.71 c 0.1s | 2 | 3049 | 250 | 5696 0 | 31 | 69
11.78/11.84 c 0.2s | 3 | 4390 | 475 | 5696 0 | 31 | 69
11.98/12.01 c 0.4s | 4 | 5771 | 813 | 5696 0 | 31 | 69
12.09/12.20 c 0.6s | 5 | 7786 | 1320 | 6266 0 | 31 | 69
12.38/12.44 c 0.8s | 6 | 10923 | 2081 | 6266 0 | 31 | 69
12.78/12.85 c 1.2s | 7 | 16141 | 3223 | 6266 1 | 31 | 69
13.38/13.44 c 1.8s | 8 | 25364 | 4936 | 6266 1 | 31 | 69
14.18/14.29 c 2.7s | 9 | 33956 | 7506 | 6266 2 | 31 | 69
15.39/15.50 c 3.9s | 10 | 44620 | 11361 | 6266 3 | 31 | 69
17.19/17.29 c 5.7s | 11 | 64450 | 17144 | 6266 5 | 31 | 69
18.19/18.27 c 6.7s | 11 | 77811 | 20167 | 6266 6 | 31 | 69
18.19/18.27 c #cpu_time = 6.635s
18.19/18.27 c #wall_clock_time = 6.652s
18.19/18.27 c #decision = 77811
18.19/18.27 c #random_decision = 182
18.19/18.27 c #conflict = 20167
18.19/18.27 c #restart = 11
18.19/18.27 c BCD2: relaxing 104 and merging with 7 cores into a new core of size 247: cost of the new core is >=8
18.19/18.27 c lower bound updated to 49
18.19/18.27 c BCD2: 49 <= obj <= 92
18.19/18.27 c BCD2: #cores=28, #unrelaxed=272, #relaxed=954, #hardened=0
18.19/18.27 c BCD2: #sat=2 #unsat=50 bias=50/52
18.19/18.27 c Solving starts ...
18.19/18.27 c ============================[ Search Statistics ]============================
18.19/18.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.19/18.27 c | | | | Limit GC | Var | Constra
18.19/18.27 c =============================================================================
18.19/18.27 c 0.0s | 0 | 0 | 0 | 6266 0 | 48 | 69
18.29/18.32 c 0.0s | 1 | 1027 | 100 | 6266 0 | 48 | 96
18.29/18.38 c 0.1s | 2 | 1852 | 250 | 6266 0 | 48 | 96
18.39/18.46 c 0.2s | 3 | 3139 | 475 | 6893 0 | 48 | 96
18.49/18.58 c 0.3s | 4 | 5586 | 813 | 6893 0 | 48 | 96
18.69/18.78 c 0.5s | 5 | 9059 | 1320 | 6893 0 | 48 | 96
18.99/19.04 c 0.8s | 6 | 12843 | 2081 | 6893 0 | 48 | 96
19.49/19.52 c 1.2s | 7 | 18027 | 3223 | 6893 0 | 48 | 96
20.19/20.21 c 1.9s | 8 | 24844 | 4936 | 6893 1 | 48 | 96
21.29/21.34 c 3.1s | 9 | 34881 | 7506 | 6893 2 | 48 | 96
22.68/22.77 c 4.5s | 10 | 51324 | 11361 | 6893 3 | 48 | 96
24.78/24.80 c 6.5s | 10 | 71628 | 15961 | 6893 4 | 48 | 96
25.29/25.37 c 7.1s | 11 | 76674 | 17144 | 6893 4 | 48 | 96
27.38/27.40 c 9.1s | 11 | 94619 | 21344 | 6893 5 | 48 | 96
29.38/29.43 c 11.2s | 12 | 112886 | 25819 | 6893 7 | 48 | 96
31.38/31.44 c 13.2s | 12 | 129064 | 30019 | 7583 8 | 48 | 96
33.38/33.44 c 15.2s | 12 | 146960 | 34619 | 7583 9 | 48 | 96
35.19/35.30 c 17.0s | 13 | 164250 | 38832 | 7583 10 | 48 | 96
37.28/37.32 c 19.0s | 13 | 183778 | 43332 | 7583 11 | 48 | 96
39.28/39.33 c 21.1s | 13 | 201754 | 47832 | 7583 12 | 48 | 96
41.28/41.33 c 23.1s | 13 | 221733 | 52232 | 7583 13 | 48 | 96
43.28/43.37 c 25.1s | 13 | 237469 | 56632 | 7583 14 | 48 | 96
43.99/44.09 c 25.8s | 14 | 245103 | 58352 | 7583 15 | 48 | 96
46.08/46.11 c 27.8s | 14 | 266469 | 63652 | 7583 16 | 48 | 96
48.08/48.11 c 29.8s | 14 | 286806 | 68552 | 7583 17 | 48 | 96
50.08/50.14 c 31.9s | 14 | 307414 | 73852 | 8342 18 | 48 | 96
52.08/52.16 c 33.9s | 14 | 322373 | 77752 | 8342 19 | 48 | 96
54.18/54.20 c 35.9s | 14 | 342280 | 83152 | 8342 21 | 48 | 96
55.78/55.84 c 37.6s | 15 | 359816 | 87632 | 8342 22 | 48 | 96
57.77/57.88 c 39.6s | 15 | 383059 | 93032 | 8342 23 | 48 | 96
59.77/59.89 c 41.6s | 15 | 400545 | 97732 | 8342 24 | 48 | 96
61.87/61.92 c 43.6s | 15 | 420908 | 102232 | 8342 25 | 48 | 96
63.88/63.94 c 45.7s | 15 | 438581 | 106532 | 8342 26 | 48 | 96
65.87/65.94 c 47.7s | 15 | 457279 | 110932 | 8342 27 | 48 | 96
67.87/67.94 c 49.7s | 15 | 473166 | 115432 | 8342 28 | 48 | 96
69.87/69.95 c 51.7s | 15 | 488568 | 119832 | 8342 29 | 48 | 96
71.87/71.96 c 53.7s | 15 | 505816 | 124132 | 8342 30 | 48 | 96
73.86/73.98 c 55.7s | 15 | 522961 | 128932 | 8342 31 | 48 | 96
75.16/75.23 c 57.0s | 16 | 533603 | 131552 | 8342 32 | 48 | 96
77.17/77.24 c 59.0s | 16 | 548056 | 134452 | 8342 32 | 48 | 96
79.18/79.27 c 61.0s | 16 | 569803 | 139652 | 9177 33 | 48 | 96
81.17/81.28 c 63.0s | 16 | 591732 | 144452 | 9177 34 | 48 | 96
83.26/83.31 c 65.0s | 16 | 611337 | 149152 | 9177 35 | 48 | 96
85.26/85.36 c 67.1s | 16 | 632696 | 153752 | 9177 36 | 48 | 96
87.26/87.39 c 69.1s | 16 | 650438 | 158252 | 9177 37 | 48 | 96
89.36/89.43 c 71.2s | 16 | 665632 | 162852 | 9177 38 | 48 | 96
91.37/91.46 c 73.2s | 16 | 680355 | 167352 | 9177 39 | 48 | 96
93.36/93.50 c 75.2s | 16 | 697787 | 171752 | 9177 40 | 48 | 96
95.46/95.52 c 77.2s | 16 | 712059 | 176152 | 9177 41 | 48 | 96
97.46/97.52 c 79.2s | 16 | 725328 | 180452 | 9177 42 | 48 | 96
99.46/99.55 c 81.3s | 16 | 738587 | 184252 | 9177 43 | 48 | 96
101.45/101.55 c 83.3s | 16 | 755216 | 189052 | 9177 44 | 48 | 96
103.46/103.57 c 85.3s | 16 | 772002 | 193652 | 9177 44 | 48 | 96
105.15/105.22 c 86.9s | 17 | 786647 | 197432 | 9177 45 | 48 | 96
107.15/107.23 c 89.0s | 17 | 802745 | 201732 | 9177 46 | 48 | 96
109.15/109.24 c 91.0s | 17 | 819719 | 205932 | 9177 47 | 48 | 96
111.16/111.25 c 93.0s | 17 | 836589 | 210832 | 9177 48 | 48 | 96
113.15/113.27 c 95.0s | 17 | 856784 | 215632 | 9177 49 | 48 | 96
115.15/115.29 c 97.0s | 17 | 877276 | 220532 | 9177 50 | 48 | 96
117.25/117.31 c 99.0s | 17 | 897893 | 225332 | 9177 51 | 48 | 96
119.25/119.33 c 101s | 17 | 920229 | 230832 | 9177 52 | 48 | 96
121.25/121.36 c 103s | 17 | 941926 | 236232 | 9177 53 | 48 | 96
123.25/123.39 c 105s | 17 | 960513 | 240832 | 10095 54 | 48 | 96
125.35/125.45 c 107s | 17 | 978671 | 245332 | 10095 55 | 48 | 96
127.34/127.48 c 109s | 17 | 998746 | 250332 | 10095 56 | 48 | 96
129.34/129.49 c 111s | 17 | 1019200 | 255132 | 10095 57 | 48 | 96
131.44/131.52 c 113s | 17 | 1038846 | 260332 | 10095 58 | 48 | 96
133.44/133.56 c 115s | 17 | 1059993 | 265332 | 10095 59 | 48 | 96
135.64/135.72 c 117s | 17 | 1076256 | 269532 | 10095 59 | 48 | 96
137.64/137.74 c 119s | 17 | 1094692 | 274232 | 10095 60 | 48 | 96
139.64/139.78 c 121s | 17 | 1115193 | 279132 | 10095 61 | 48 | 96
141.74/141.82 c 123s | 17 | 1134975 | 283832 | 10095 62 | 48 | 96
143.74/143.82 c 125s | 17 | 1152642 | 288332 | 10095 63 | 48 | 96
145.74/145.84 c 127s | 17 | 1168431 | 292132 | 10095 64 | 48 | 96
147.74/147.89 c 129s | 17 | 1182065 | 295932 | 10095 64 | 48 | 96
147.94/148.10 c 129s | 18 | 1183187 | 296252 | 10095 65 | 48 | 96
150.14/150.24 c 131s | 18 | 1195784 | 298752 | 10095 65 | 48 | 96
152.13/152.25 c 133s | 18 | 1215568 | 303252 | 10095 66 | 48 | 96
154.14/154.26 c 135s | 18 | 1228531 | 306952 | 10095 67 | 48 | 96
156.15/156.30 c 138s | 18 | 1248994 | 312052 | 10095 68 | 48 | 96
158.24/158.32 c 140s | 18 | 1266102 | 316452 | 10095 68 | 48 | 96
160.24/160.37 c 142s | 18 | 1284569 | 321152 | 10095 69 | 48 | 96
162.34/162.41 c 144s | 18 | 1303964 | 325852 | 10095 70 | 48 | 96
164.34/164.43 c 146s | 18 | 1321859 | 330752 | 10095 71 | 48 | 96
166.33/166.47 c 148s | 18 | 1341934 | 335052 | 10095 72 | 48 | 96
168.34/168.47 c 150s | 18 | 1361062 | 339652 | 10095 73 | 48 | 96
170.33/170.47 c 152s | 18 | 1378838 | 344052 | 10095 74 | 48 | 96
172.43/172.51 c 154s | 18 | 1399751 | 348852 | 10095 74 | 48 | 96
174.43/174.52 c 156s | 18 | 1417988 | 353252 | 10095 75 | 48 | 96
176.43/176.55 c 158s | 18 | 1437807 | 357752 | 10095 76 | 48 | 96
178.53/178.63 c 160s | 18 | 1459138 | 362852 | 10095 77 | 48 | 96
180.53/180.63 c 162s | 18 | 1473721 | 366352 | 10095 78 | 48 | 96
182.53/182.67 c 164s | 18 | 1493361 | 371552 | 10095 79 | 48 | 96
184.53/184.69 c 166s | 18 | 1510891 | 376152 | 10095 80 | 48 | 96
186.63/186.73 c 168s | 18 | 1530516 | 380752 | 10095 81 | 48 | 96
188.63/188.74 c 170s | 18 | 1548842 | 385352 | 11105 81 | 48 | 96
190.63/190.76 c 172s | 18 | 1564567 | 389452 | 11105 82 | 48 | 96
192.63/192.79 c 174s | 18 | 1578346 | 393252 | 11105 83 | 48 | 96
194.64/194.80 c 176s | 18 | 1591292 | 397652 | 11105 83 | 48 | 96
196.73/196.83 c 178s | 18 | 1608745 | 402752 | 11105 84 | 48 | 96
198.73/198.86 c 180s | 18 | 1624880 | 407952 | 11105 85 | 48 | 96
200.73/200.87 c 182s | 18 | 1638326 | 412652 | 11105 86 | 48 | 96
202.72/202.89 c 184s | 18 | 1650554 | 416752 | 11105 87 | 48 | 96
204.82/204.91 c 186s | 18 | 1661103 | 420552 | 11105 87 | 48 | 96
206.83/206.95 c 188s | 18 | 1677599 | 425352 | 11105 88 | 48 | 96
208.82/208.95 c 190s | 18 | 1690028 | 429552 | 11105 89 | 48 | 96
211.12/211.27 c 193s | 18 | 1706759 | 434752 | 11105 90 | 48 | 96
213.21/213.31 c 195s | 18 | 1719041 | 438652 | 11105 90 | 48 | 96
215.21/215.33 c 197s | 18 | 1731423 | 442752 | 11105 91 | 48 | 96
216.01/216.13 c 197s | 19 | 1738545 | 444482 | 11105 91 | 48 | 96
218.01/218.14 c 199s | 19 | 1755484 | 448782 | 11105 92 | 48 | 96
220.02/220.18 c 201s | 19 | 1774934 | 453782 | 11105 93 | 48 | 96
222.12/222.22 c 203s | 19 | 1794114 | 458982 | 11105 94 | 48 | 96
224.11/224.23 c 205s | 19 | 1817763 | 467182 | 11105 95 | 48 | 96
226.11/226.25 c 207s | 19 | 1833660 | 474082 | 11105 96 | 48 | 96
228.11/228.25 c 209s | 19 | 1845486 | 479582 | 11105 97 | 48 | 96
230.11/230.27 c 211s | 19 | 1854944 | 484082 | 11105 98 | 48 | 96
232.11/232.30 c 214s | 19 | 1864014 | 488882 | 11105 99 | 48 | 96
234.21/234.32 c 216s | 19 | 1875459 | 494482 | 11105 100 | 48 | 96
236.20/236.34 c 218s | 19 | 1887835 | 499982 | 11105 101 | 48 | 96
238.20/238.35 c 220s | 19 | 1899902 | 505382 | 11105 101 | 48 | 96
240.20/240.36 c 222s | 19 | 1910556 | 509882 | 11105 102 | 48 | 96
242.20/242.37 c 224s | 19 | 1919205 | 514282 | 11105 103 | 48 | 96
244.21/244.37 c 226s | 19 | 1925726 | 518382 | 11105 104 | 48 | 96
246.21/246.39 c 228s | 19 | 1933102 | 522782 | 11105 104 | 48 | 96
248.31/248.41 c 230s | 19 | 1941239 | 526382 | 11105 105 | 48 | 96
250.31/250.42 c 232s | 19 | 1951753 | 530582 | 11105 106 | 48 | 96
252.31/252.44 c 234s | 19 | 1960746 | 534182 | 11105 106 | 48 | 96
254.31/254.47 c 236s | 19 | 1971659 | 538382 | 11105 107 | 48 | 96
256.31/256.48 c 238s | 19 | 1992539 | 543582 | 11105 108 | 48 | 96
258.31/258.49 c 240s | 19 | 2014270 | 549682 | 11105 109 | 48 | 96
260.40/260.55 c 242s | 19 | 2032195 | 554382 | 11105 110 | 48 | 96
262.40/262.56 c 244s | 19 | 2054445 | 560282 | 11105 111 | 48 | 96
264.40/264.59 c 246s | 19 | 2074907 | 565482 | 11105 112 | 48 | 96
266.40/266.59 c 248s | 19 | 2087288 | 569082 | 11105 112 | 48 | 96
268.50/268.62 c 250s | 19 | 2108046 | 574682 | 11105 113 | 48 | 96
270.70/270.80 c 252s | 19 | 2120921 | 579382 | 11105 114 | 48 | 96
272.70/272.83 c 254s | 19 | 2140617 | 585882 | 11105 115 | 48 | 96
274.69/274.84 c 256s | 19 | 2158754 | 591682 | 11105 116 | 48 | 96
276.69/276.86 c 258s | 19 | 2172310 | 596182 | 11105 117 | 48 | 96
278.69/278.87 c 260s | 19 | 2187313 | 601582 | 11105 118 | 48 | 96
280.89/281.06 c 262s | 19 | 2204071 | 606982 | 12216 119 | 48 | 96
282.89/283.09 c 264s | 19 | 2219861 | 612682 | 12216 120 | 48 | 96
284.99/285.12 c 266s | 19 | 2240829 | 618482 | 12216 120 | 48 | 96
286.99/287.17 c 268s | 19 | 2258023 | 623382 | 12216 121 | 48 | 96
288.98/289.19 c 270s | 19 | 2276609 | 628382 | 12216 122 | 48 | 96
291.08/291.22 c 272s | 19 | 2296376 | 633282 | 12216 123 | 48 | 96
293.08/293.24 c 274s | 19 | 2308309 | 636882 | 12216 123 | 48 | 96
295.08/295.24 c 276s | 19 | 2325151 | 642082 | 12216 124 | 48 | 96
297.08/297.25 c 278s | 19 | 2343004 | 647882 | 12216 125 | 48 | 96
299.09/299.26 c 280s | 19 | 2355200 | 651982 | 12216 126 | 48 | 96
301.08/301.29 c 283s | 19 | 2371609 | 657982 | 12216 127 | 48 | 96
303.18/303.30 c 285s | 19 | 2390166 | 663782 | 12216 128 | 48 | 96
304.18/304.30 c 286s | 20 | 2398355 | 666827 | 12216 128 | 48 | 96
306.18/306.31 c 288s | 20 | 2410746 | 670727 | 12216 129 | 48 | 96
308.18/308.34 c 290s | 20 | 2428288 | 676427 | 12216 130 | 48 | 96
310.18/310.35 c 292s | 20 | 2445161 | 681527 | 12216 130 | 48 | 96
312.17/312.35 c 294s | 20 | 2464540 | 686527 | 12216 131 | 48 | 96
314.17/314.38 c 296s | 20 | 2479520 | 690727 | 12216 132 | 48 | 96
316.17/316.39 c 298s | 20 | 2496613 | 695927 | 12216 133 | 48 | 96
318.27/318.42 c 300s | 20 | 2514741 | 701127 | 12216 134 | 48 | 96
320.27/320.46 c 302s | 20 | 2530541 | 706827 | 12216 134 | 48 | 96
322.27/322.47 c 304s | 20 | 2545084 | 710927 | 12216 135 | 48 | 96
324.26/324.49 c 306s | 20 | 2567605 | 715727 | 12216 136 | 48 | 96
326.36/326.52 c 308s | 20 | 2587335 | 721027 | 12216 137 | 48 | 96
328.36/328.53 c 310s | 20 | 2604344 | 726127 | 12216 137 | 48 | 96
330.37/330.56 c 312s | 20 | 2621345 | 730827 | 12216 138 | 48 | 96
332.37/332.59 c 314s | 20 | 2636824 | 735827 | 12216 139 | 48 | 96
334.47/334.62 c 316s | 20 | 2653561 | 740527 | 12216 140 | 48 | 96
336.57/336.74 c 318s | 20 | 2666182 | 743627 | 12216 140 | 48 | 96
338.56/338.75 c 320s | 20 | 2681688 | 749527 | 12216 141 | 48 | 96
340.56/340.76 c 322s | 20 | 2693061 | 755027 | 12216 142 | 48 | 96
342.56/342.78 c 324s | 20 | 2708464 | 762027 | 12216 143 | 48 | 96
344.65/344.80 c 326s | 20 | 2722195 | 767827 | 12216 144 | 48 | 96
346.65/346.82 c 328s | 20 | 2731590 | 772527 | 12216 145 | 48 | 96
348.67/348.84 c 330s | 20 | 2741674 | 777627 | 12216 145 | 48 | 96
350.66/350.86 c 332s | 20 | 2755420 | 783627 | 12216 146 | 48 | 96
352.76/352.95 c 334s | 20 | 2768940 | 789327 | 12216 147 | 48 | 96
354.76/354.96 c 336s | 20 | 2787922 | 796027 | 12216 148 | 48 | 96
356.75/356.99 c 338s | 20 | 2800829 | 801427 | 12216 149 | 48 | 96
358.85/359.00 c 340s | 20 | 2813657 | 806927 | 12216 150 | 48 | 96
360.85/361.08 c 342s | 20 | 2827021 | 813327 | 12216 151 | 48 | 96
362.86/363.08 c 344s | 20 | 2838238 | 820027 | 12216 152 | 48 | 96
364.85/365.08 c 346s | 20 | 2847924 | 824827 | 12216 153 | 48 | 96
366.95/367.10 c 348s | 20 | 2859504 | 830327 | 12216 153 | 48 | 96
368.95/369.10 c 350s | 20 | 2871751 | 835527 | 12216 154 | 48 | 96
370.95/371.12 c 352s | 20 | 2885709 | 841327 | 12216 155 | 48 | 96
373.04/373.26 c 354s | 20 | 2899252 | 846827 | 12216 156 | 48 | 96
375.05/375.27 c 356s | 20 | 2912901 | 852227 | 12216 157 | 48 | 96
377.04/377.27 c 359s | 20 | 2919319 | 855127 | 12216 157 | 48 | 96
379.14/379.39 c 361s | 20 | 2929807 | 860127 | 12216 158 | 48 | 96
381.24/381.40 c 363s | 20 | 2943198 | 866327 | 12216 159 | 48 | 96
383.24/383.42 c 365s | 20 | 2956148 | 871527 | 12216 160 | 48 | 96
385.23/385.46 c 367s | 20 | 2968229 | 876527 | 12216 160 | 48 | 96
387.23/387.46 c 369s | 20 | 2976856 | 880427 | 12216 161 | 48 | 96
389.43/389.61 c 371s | 20 | 2986248 | 885727 | 12216 162 | 48 | 96
391.44/391.65 c 373s | 20 | 2995920 | 890827 | 12216 163 | 48 | 96
393.44/393.68 c 375s | 20 | 3009839 | 896727 | 12216 163 | 48 | 96
395.44/395.68 c 377s | 20 | 3021548 | 901827 | 12216 164 | 48 | 96
397.54/397.71 c 379s | 20 | 3032432 | 906427 | 12216 165 | 48 | 96
399.64/399.82 c 381s | 20 | 3040761 | 910427 | 12216 166 | 48 | 96
401.63/401.83 c 383s | 20 | 3052621 | 915827 | 12216 166 | 48 | 96
403.63/403.84 c 385s | 20 | 3066568 | 921827 | 12216 167 | 48 | 96
405.62/405.84 c 387s | 20 | 3078726 | 926627 | 12216 168 | 48 | 96
407.62/407.85 c 389s | 20 | 3092592 | 932027 | 12216 169 | 48 | 96
409.62/409.88 c 391s | 20 | 3109265 | 939627 | 13438 170 | 48 | 96
411.63/411.88 c 393s | 20 | 3124809 | 945927 | 13438 171 | 48 | 96
413.72/413.93 c 395s | 20 | 3142194 | 952627 | 13438 172 | 48 | 96
415.73/415.96 c 397s | 20 | 3151872 | 956627 | 13438 172 | 48 | 96
417.72/417.97 c 399s | 20 | 3167123 | 962727 | 13438 173 | 48 | 96
419.72/419.99 c 401s | 20 | 3182524 | 968727 | 13438 174 | 48 | 96
421.82/422.00 c 403s | 20 | 3195423 | 974227 | 13438 175 | 48 | 96
423.82/424.01 c 405s | 20 | 3206043 | 979027 | 13438 175 | 48 | 96
425.82/426.01 c 407s | 20 | 3219208 | 984827 | 13438 176 | 48 | 96
427.83/428.02 c 409s | 20 | 3232906 | 990227 | 13438 177 | 48 | 96
429.82/430.05 c 411s | 20 | 3247256 | 996427 | 13438 178 | 48 | 96
431.42/431.63 c 413s | 21 | 3257309 | 1000345 | 13438 178 | 48 | 96
433.41/433.65 c 415s | 21 | 3274847 | 1006445 | 13438 179 | 48 | 96
435.42/435.66 c 417s | 21 | 3291758 | 1013645 | 13438 180 | 48 | 96
437.41/437.66 c 419s | 21 | 3309841 | 1020845 | 13438 181 | 48 | 96
439.41/439.69 c 421s | 21 | 3325415 | 1026645 | 13438 182 | 48 | 96
441.41/441.69 c 423s | 21 | 3342244 | 1033045 | 13438 183 | 48 | 96
443.51/443.71 c 425s | 21 | 3351521 | 1036545 | 13438 183 | 48 | 96
445.51/445.74 c 427s | 21 | 3367699 | 1042945 | 13438 184 | 48 | 96
447.51/447.76 c 429s | 21 | 3384337 | 1049545 | 13438 185 | 48 | 96
449.51/449.78 c 431s | 21 | 3398714 | 1055545 | 13438 186 | 48 | 96
451.51/451.79 c 433s | 21 | 3414404 | 1062145 | 13438 187 | 48 | 96
453.61/453.81 c 435s | 21 | 3429832 | 1068045 | 13438 188 | 48 | 96
455.61/455.89 c 437s | 21 | 3439176 | 1071845 | 13438 189 | 48 | 96
457.61/457.90 c 439s | 21 | 3454902 | 1077045 | 13438 189 | 48 | 96
459.71/459.92 c 441s | 21 | 3470974 | 1083145 | 13438 190 | 48 | 96
461.70/461.94 c 443s | 21 | 3489768 | 1089345 | 13438 191 | 48 | 96
463.70/463.95 c 445s | 21 | 3507385 | 1095945 | 13438 192 | 48 | 96
465.70/465.97 c 447s | 21 | 3522953 | 1101145 | 13438 193 | 48 | 96
467.80/468.00 c 449s | 21 | 3539884 | 1106045 | 13438 193 | 48 | 96
469.80/470.03 c 451s | 21 | 3556126 | 1111845 | 13438 194 | 48 | 96
471.80/472.07 c 453s | 21 | 3568903 | 1116145 | 13438 195 | 48 | 96
474.29/474.58 c 456s | 21 | 3582594 | 1121345 | 13438 196 | 48 | 96
476.29/476.59 c 458s | 21 | 3596602 | 1126345 | 13438 196 | 48 | 96
478.40/478.61 c 460s | 21 | 3612265 | 1132145 | 13438 197 | 48 | 96
480.39/480.64 c 462s | 21 | 3627897 | 1138145 | 13438 198 | 48 | 96
482.58/482.83 c 464s | 21 | 3645339 | 1144345 | 13438 199 | 48 | 96
484.79/485.09 c 466s | 21 | 3658090 | 1148345 | 13438 200 | 48 | 96
486.89/487.10 c 468s | 21 | 3675730 | 1154645 | 13438 200 | 48 | 96
488.89/489.13 c 470s | 21 | 3693485 | 1160545 | 13438 201 | 48 | 96
490.89/491.14 c 472s | 21 | 3713497 | 1166745 | 13438 202 | 48 | 96
492.88/493.15 c 474s | 21 | 3726868 | 1171345 | 13438 203 | 48 | 96
494.89/495.17 c 476s | 21 | 3745077 | 1178145 | 13438 204 | 48 | 96
497.18/497.43 c 479s | 21 | 3757852 | 1181645 | 13438 204 | 48 | 96
499.19/499.43 c 481s | 21 | 3781865 | 1187345 | 13438 205 | 48 | 96
501.18/501.43 c 483s | 21 | 3795953 | 1191445 | 13438 206 | 48 | 96
503.17/503.46 c 485s | 21 | 3818096 | 1198245 | 13438 207 | 48 | 96
505.17/505.47 c 487s | 21 | 3835130 | 1204245 | 13438 208 | 48 | 96
507.17/507.49 c 489s | 21 | 3850941 | 1210545 | 13438 208 | 48 | 96
509.27/509.53 c 491s | 21 | 3865636 | 1216545 | 13438 209 | 48 | 96
511.28/511.53 c 493s | 21 | 3880742 | 1222745 | 13438 210 | 48 | 96
513.28/513.54 c 495s | 21 | 3888759 | 1225645 | 13438 211 | 48 | 96
515.37/515.66 c 497s | 21 | 3900995 | 1229945 | 13438 211 | 48 | 96
517.37/517.66 c 499s | 21 | 3917770 | 1235745 | 13438 212 | 48 | 96
519.37/519.67 c 501s | 21 | 3933818 | 1241945 | 13438 213 | 48 | 96
521.47/521.70 c 503s | 21 | 3949284 | 1247945 | 13438 214 | 48 | 96
523.37/523.70 c 505s | 21 | 3963215 | 1253345 | 13438 215 | 48 | 96
525.47/525.70 c 507s | 21 | 3980973 | 1259745 | 13438 216 | 48 | 96
527.47/527.76 c 509s | 21 | 3996560 | 1265345 | 13438 216 | 48 | 96
529.47/529.78 c 511s | 21 | 4014705 | 1268645 | 13438 217 | 48 | 96
532.27/532.59 c 514s | 21 | 4034616 | 1274245 | 13438 218 | 48 | 96
534.37/534.61 c 516s | 21 | 4059804 | 1280145 | 13438 218 | 48 | 96
536.36/536.62 c 518s | 21 | 4077482 | 1285645 | 13438 219 | 48 | 96
538.36/538.66 c 520s | 21 | 4097923 | 1291145 | 13438 220 | 48 | 96
540.46/540.70 c 522s | 21 | 4120343 | 1296445 | 13438 221 | 48 | 96
542.65/542.95 c 524s | 21 | 4138756 | 1300045 | 13438 221 | 48 | 96
544.95/545.27 c 526s | 21 | 4160376 | 1305045 | 13438 222 | 48 | 96
547.05/547.31 c 529s | 21 | 4183014 | 1310545 | 13438 223 | 48 | 96
549.15/549.43 c 531s | 21 | 4201060 | 1315045 | 13438 224 | 48 | 96
551.15/551.43 c 533s | 21 | 4220393 | 1319645 | 13438 224 | 48 | 96
553.15/553.45 c 535s | 21 | 4241596 | 1325545 | 13438 225 | 48 | 96
555.15/555.46 c 537s | 21 | 4258765 | 1331445 | 13438 226 | 48 | 96
557.15/557.48 c 539s | 21 | 4275734 | 1337545 | 13438 227 | 48 | 96
559.15/559.48 c 541s | 21 | 4292727 | 1341645 | 13438 227 | 48 | 96
561.25/561.50 c 543s | 21 | 4316458 | 1347145 | 13438 228 | 48 | 96
563.45/563.73 c 545s | 21 | 4336820 | 1351745 | 13438 229 | 48 | 96
565.45/565.74 c 547s | 21 | 4358494 | 1356445 | 13438 229 | 48 | 96
567.46/567.76 c 549s | 21 | 4380528 | 1362045 | 13438 230 | 48 | 96
569.45/569.79 c 551s | 21 | 4397251 | 1367045 | 13438 231 | 48 | 96
571.55/571.81 c 553s | 21 | 4415557 | 1372545 | 13438 232 | 48 | 96
573.54/573.84 c 555s | 21 | 4434844 | 1378945 | 13438 233 | 48 | 96
575.94/576.25 c 557s | 21 | 4445826 | 1382245 | 13438 233 | 48 | 96
577.94/578.26 c 559s | 21 | 4458324 | 1386445 | 13438 234 | 48 | 96
580.65/580.98 c 562s | 21 | 4473641 | 1391345 | 13438 234 | 48 | 96
582.63/583.00 c 564s | 21 | 4489905 | 1396645 | 13438 235 | 48 | 96
584.73/585.00 c 566s | 21 | 4503324 | 1402545 | 13438 236 | 48 | 96
586.73/587.01 c 568s | 21 | 4518469 | 1408545 | 13438 237 | 48 | 96
588.73/589.04 c 570s | 21 | 4531124 | 1412945 | 13438 238 | 48 | 96
590.73/591.06 c 572s | 21 | 4545852 | 1417845 | 13438 238 | 48 | 96
592.73/593.09 c 574s | 21 | 4559258 | 1422745 | 13438 239 | 48 | 96
594.83/595.12 c 576s | 21 | 4575103 | 1427945 | 13438 240 | 48 | 96
596.83/597.12 c 578s | 21 | 4584131 | 1430945 | 13438 240 | 48 | 96
598.83/599.13 c 580s | 21 | 4597823 | 1436345 | 14782 241 | 48 | 96
600.83/601.14 c 582s | 21 | 4616645 | 1443045 | 14782 242 | 48 | 96
602.83/603.18 c 584s | 21 | 4639093 | 1449645 | 14782 243 | 48 | 96
605.43/605.73 c 587s | 21 | 4658075 | 1455045 | 14782 243 | 48 | 96
607.43/607.73 c 589s | 21 | 4675815 | 1462045 | 14782 244 | 48 | 96
609.53/609.86 c 591s | 21 | 4684564 | 1465245 | 14782 245 | 48 | 96
611.53/611.87 c 593s | 21 | 4697371 | 1470345 | 14782 245 | 48 | 96
613.53/613.87 c 595s | 21 | 4716005 | 1476045 | 14782 246 | 48 | 96
615.62/615.90 c 597s | 21 | 4735264 | 1481945 | 14782 247 | 48 | 96
617.62/617.94 c 599s | 21 | 4753329 | 1488145 | 14782 248 | 48 | 96
620.02/620.38 c 602s | 21 | 4768965 | 1493545 | 14782 248 | 48 | 96
622.12/622.41 c 604s | 21 | 4779520 | 1497745 | 14782 249 | 48 | 96
623.01/623.31 c 605s | 22 | 4787153 | 1500622 | 14782 249 | 48 | 96
625.31/625.69 c 607s | 22 | 4795522 | 1504022 | 14782 250 | 48 | 96
627.41/627.70 c 609s | 22 | 4810301 | 1509722 | 14782 250 | 48 | 96
629.41/629.75 c 611s | 22 | 4826433 | 1514722 | 14782 251 | 48 | 96
631.41/631.75 c 613s | 22 | 4842780 | 1520222 | 14782 252 | 48 | 96
633.42/633.78 c 615s | 22 | 4854374 | 1523922 | 14782 252 | 48 | 96
635.52/635.81 c 617s | 22 | 4871369 | 1529122 | 14782 253 | 48 | 96
637.52/637.81 c 619s | 22 | 4886438 | 1533522 | 14782 254 | 48 | 96
639.52/639.81 c 621s | 22 | 4904276 | 1539422 | 14782 254 | 48 | 96
641.52/641.83 c 623s | 22 | 4920705 | 1544522 | 14782 255 | 48 | 96
643.52/643.86 c 625s | 22 | 4936872 | 1549922 | 14782 256 | 48 | 96
645.52/645.87 c 627s | 22 | 4954194 | 1555422 | 14782 256 | 48 | 96
647.81/648.15 c 629s | 22 | 4964832 | 1558322 | 14782 257 | 48 | 96
649.82/650.16 c 631s | 22 | 4981787 | 1562622 | 14782 257 | 48 | 96
651.81/652.17 c 633s | 22 | 4998777 | 1568222 | 14782 258 | 48 | 96
653.91/654.20 c 635s | 22 | 5006125 | 1570622 | 14782 258 | 48 | 96
656.01/656.34 c 638s | 22 | 5023209 | 1575822 | 14782 259 | 48 | 96
658.01/658.36 c 640s | 22 | 5041532 | 1580822 | 14782 260 | 48 | 96
660.01/660.36 c 642s | 22 | 5053691 | 1584622 | 14782 260 | 48 | 96
662.01/662.38 c 644s | 22 | 5067828 | 1589422 | 14782 261 | 48 | 96
664.31/664.60 c 646s | 22 | 5082845 | 1593722 | 14782 261 | 48 | 96
666.31/666.63 c 648s | 22 | 5097968 | 1598622 | 14782 262 | 48 | 96
668.30/668.65 c 650s | 22 | 5111722 | 1602322 | 14782 263 | 48 | 96
670.30/670.68 c 652s | 22 | 5127673 | 1607522 | 14782 263 | 48 | 96
672.40/672.72 c 654s | 22 | 5141369 | 1612922 | 14782 264 | 48 | 96
674.40/674.73 c 656s | 22 | 5156255 | 1617422 | 14782 265 | 48 | 96
676.40/676.74 c 658s | 22 | 5172060 | 1621322 | 14782 265 | 48 | 96
678.79/679.14 c 660s | 22 | 5184976 | 1625422 | 14782 266 | 48 | 96
681.10/681.48 c 663s | 22 | 5193097 | 1628422 | 14782 266 | 48 | 96
683.10/683.49 c 665s | 22 | 5208459 | 1633522 | 14782 267 | 48 | 96
685.10/685.49 c 667s | 22 | 5224797 | 1638722 | 14782 267 | 48 | 96
687.20/687.51 c 669s | 22 | 5237447 | 1643622 | 14782 268 | 48 | 96
689.20/689.52 c 671s | 22 | 5253539 | 1648422 | 14782 269 | 48 | 96
691.20/691.53 c 673s | 22 | 5271155 | 1654022 | 14782 269 | 48 | 96
693.20/693.57 c 675s | 22 | 5288905 | 1658622 | 14782 270 | 48 | 96
695.20/695.58 c 677s | 22 | 5302062 | 1663522 | 14782 271 | 48 | 96
697.30/697.60 c 679s | 22 | 5319385 | 1669222 | 14782 271 | 48 | 96
699.69/700.04 c 681s | 22 | 5325954 | 1672022 | 14782 272 | 48 | 96
701.69/702.07 c 683s | 22 | 5338533 | 1676822 | 14782 272 | 48 | 96
703.80/704.11 c 685s | 22 | 5351775 | 1681722 | 14782 273 | 48 | 96
705.79/706.11 c 687s | 22 | 5366178 | 1686322 | 14782 274 | 48 | 96
707.79/708.13 c 689s | 22 | 5384097 | 1692322 | 14782 274 | 48 | 96
709.79/710.16 c 691s | 22 | 5397697 | 1698022 | 14782 275 | 48 | 96
711.79/712.17 c 693s | 22 | 5413424 | 1702722 | 14782 276 | 48 | 96
713.79/714.19 c 695s | 22 | 5426756 | 1708322 | 14782 276 | 48 | 96
715.90/716.22 c 697s | 22 | 5442449 | 1713622 | 14782 277 | 48 | 96
717.89/718.25 c 699s | 22 | 5451969 | 1717722 | 14782 278 | 48 | 96
719.89/720.28 c 702s | 22 | 5465828 | 1722022 | 14782 278 | 48 | 96
722.19/722.51 c 704s | 22 | 5477048 | 1725722 | 14782 279 | 48 | 96
724.18/724.53 c 706s | 22 | 5491572 | 1730222 | 14782 279 | 48 | 96
726.18/726.57 c 708s | 22 | 5503638 | 1733822 | 14782 280 | 48 | 96
728.28/728.61 c 710s | 22 | 5520425 | 1739022 | 14782 280 | 48 | 96
730.39/730.74 c 712s | 22 | 5521891 | 1739622 | 14782 281 | 48 | 96
732.40/732.77 c 714s | 22 | 5536088 | 1744722 | 14782 281 | 48 | 96
734.39/734.79 c 716s | 22 | 5550791 | 1750322 | 14782 282 | 48 | 96
736.49/736.82 c 718s | 22 | 5567495 | 1754522 | 14782 283 | 48 | 96
738.49/738.85 c 720s | 22 | 5582547 | 1760222 | 14782 283 | 48 | 96
740.49/740.87 c 722s | 22 | 5600133 | 1764722 | 14782 284 | 48 | 96
742.48/742.87 c 724s | 22 | 5611532 | 1768022 | 14782 284 | 48 | 96
744.49/744.88 c 726s | 22 | 5620007 | 1770322 | 14782 285 | 48 | 96
746.59/746.91 c 728s | 22 | 5635380 | 1775422 | 14782 285 | 48 | 96
748.58/748.94 c 730s | 22 | 5649314 | 1780422 | 14782 286 | 48 | 96
750.58/750.96 c 732s | 22 | 5663920 | 1785522 | 14782 287 | 48 | 96
752.58/752.99 c 734s | 22 | 5679900 | 1791022 | 14782 287 | 48 | 96
754.68/755.00 c 736s | 22 | 5687448 | 1793922 | 14782 288 | 48 | 96
756.68/757.00 c 738s | 22 | 5703279 | 1799422 | 14782 288 | 48 | 96
758.69/759.03 c 740s | 22 | 5719595 | 1804522 | 14782 289 | 48 | 96
760.68/761.06 c 742s | 22 | 5735087 | 1809622 | 14782 290 | 48 | 96
762.68/763.06 c 744s | 22 | 5746108 | 1813222 | 14782 290 | 48 | 96
764.68/765.08 c 746s | 22 | 5759593 | 1817322 | 14782 291 | 48 | 96
766.78/767.12 c 748s | 22 | 5774811 | 1822322 | 14782 291 | 48 | 96
768.78/769.14 c 750s | 22 | 5791206 | 1827222 | 14782 292 | 48 | 96
770.78/771.19 c 752s | 22 | 5799492 | 1829822 | 14782 292 | 48 | 96
772.88/773.21 c 754s | 22 | 5805725 | 1832322 | 14782 293 | 48 | 96
774.88/775.26 c 756s | 22 | 5820215 | 1838222 | 14782 294 | 48 | 96
776.98/777.32 c 759s | 22 | 5834459 | 1843522 | 14782 294 | 48 | 96
778.98/779.33 c 761s | 22 | 5849916 | 1849122 | 14782 295 | 48 | 96
780.98/781.34 c 763s | 22 | 5861667 | 1853622 | 14782 296 | 48 | 96
782.99/783.36 c 765s | 22 | 5877294 | 1858522 | 14782 296 | 48 | 96
784.98/785.36 c 767s | 22 | 5892702 | 1863722 | 14782 297 | 48 | 96
787.08/787.40 c 769s | 22 | 5902225 | 1866322 | 14782 297 | 48 | 96
789.08/789.42 c 771s | 22 | 5914015 | 1870722 | 14782 298 | 48 | 96
791.08/791.43 c 773s | 22 | 5928347 | 1875622 | 14782 298 | 48 | 96
793.08/793.44 c 775s | 22 | 5943103 | 1881122 | 14782 299 | 48 | 96
795.08/795.48 c 777s | 22 | 5955689 | 1885622 | 14782 300 | 48 | 96
797.08/797.49 c 779s | 22 | 5967592 | 1890522 | 14782 300 | 48 | 96
799.18/799.53 c 781s | 22 | 5982526 | 1895422 | 14782 301 | 48 | 96
801.18/801.56 c 783s | 22 | 5994544 | 1899222 | 14782 302 | 48 | 96
803.18/803.58 c 785s | 22 | 6008761 | 1903722 | 14782 302 | 48 | 96
805.28/805.62 c 787s | 22 | 6022502 | 1908422 | 14782 303 | 48 | 96
807.28/807.64 c 789s | 22 | 6036454 | 1913322 | 14782 303 | 48 | 96
809.28/809.65 c 791s | 22 | 6049909 | 1917522 | 14782 304 | 48 | 96
811.37/811.77 c 793s | 22 | 6061241 | 1920022 | 14782 304 | 48 | 96
813.37/813.77 c 795s | 22 | 6081030 | 1925222 | 14782 305 | 48 | 96
815.37/815.78 c 797s | 22 | 6098592 | 1930022 | 14782 305 | 48 | 96
817.37/817.79 c 799s | 22 | 6116285 | 1934722 | 14782 306 | 48 | 96
819.47/819.81 c 801s | 22 | 6129840 | 1938622 | 14782 307 | 48 | 96
821.48/821.81 c 803s | 22 | 6139589 | 1941522 | 14782 307 | 48 | 96
823.47/823.84 c 805s | 22 | 6156842 | 1946122 | 14782 308 | 48 | 96
825.47/825.87 c 807s | 22 | 6173822 | 1950822 | 14782 308 | 48 | 96
827.47/827.87 c 809s | 22 | 6189807 | 1954722 | 14782 309 | 48 | 96
829.57/829.91 c 811s | 22 | 6203691 | 1959022 | 14782 309 | 48 | 96
831.57/831.91 c 813s | 22 | 6218050 | 1962922 | 14782 310 | 48 | 96
833.58/833.97 c 815s | 22 | 6226777 | 1965322 | 14782 310 | 48 | 96
835.57/835.97 c 817s | 22 | 6240195 | 1969322 | 14782 311 | 48 | 96
837.67/838.00 c 819s | 22 | 6254635 | 1973622 | 14782 311 | 48 | 96
839.67/840.06 c 821s | 22 | 6265784 | 1976922 | 14782 312 | 48 | 96
841.67/842.08 c 823s | 22 | 6280964 | 1980522 | 14782 312 | 48 | 96
843.77/844.12 c 825s | 22 | 6295600 | 1984422 | 14782 312 | 48 | 96
845.97/846.31 c 828s | 22 | 6309068 | 1987822 | 14782 313 | 48 | 96
847.97/848.34 c 830s | 22 | 6323392 | 1991522 | 14782 313 | 48 | 96
850.27/850.62 c 832s | 22 | 6335816 | 1994922 | 14782 314 | 48 | 96
852.28/852.66 c 834s | 22 | 6353114 | 1999222 | 14782 314 | 48 | 96
854.38/854.77 c 836s | 22 | 6371142 | 2003122 | 14782 315 | 48 | 96
856.37/856.78 c 838s | 22 | 6387179 | 2007322 | 14782 315 | 48 | 96
858.47/858.81 c 840s | 22 | 6403053 | 2011522 | 14782 316 | 48 | 96
860.47/860.82 c 842s | 22 | 6419849 | 2015822 | 14782 317 | 48 | 96
862.67/863.00 c 844s | 22 | 6434588 | 2019022 | 14782 317 | 48 | 96
864.67/865.02 c 846s | 22 | 6451355 | 2022722 | 14782 317 | 48 | 96
866.67/867.04 c 848s | 22 | 6465207 | 2026322 | 14782 318 | 48 | 96
868.67/869.06 c 850s | 22 | 6481105 | 2030322 | 14782 318 | 48 | 96
870.66/871.09 c 852s | 22 | 6496748 | 2034822 | 14782 319 | 48 | 96
872.76/873.13 c 854s | 22 | 6510262 | 2038522 | 14782 319 | 48 | 96
874.76/875.17 c 856s | 22 | 6521040 | 2041522 | 14782 320 | 48 | 96
876.76/877.19 c 858s | 22 | 6534734 | 2045322 | 14782 320 | 48 | 96
878.86/879.21 c 860s | 22 | 6548010 | 2049322 | 14782 321 | 48 | 96
880.87/881.22 c 862s | 22 | 6560261 | 2053222 | 14782 321 | 48 | 96
882.86/883.25 c 864s | 22 | 6571178 | 2056522 | 14782 322 | 48 | 96
884.86/885.26 c 866s | 22 | 6582320 | 2059722 | 14782 322 | 48 | 96
886.86/887.26 c 868s | 22 | 6594808 | 2063322 | 14782 323 | 48 | 96
889.26/889.64 c 871s | 22 | 6609947 | 2067422 | 14782 323 | 48 | 96
891.26/891.65 c 873s | 22 | 6620588 | 2070022 | 14782 324 | 48 | 96
893.26/893.69 c 875s | 22 | 6633566 | 2074022 | 14782 324 | 48 | 96
895.36/895.76 c 877s | 22 | 6646455 | 2077922 | 14782 325 | 48 | 96
897.46/897.80 c 879s | 22 | 6659245 | 2082222 | 14782 325 | 48 | 96
899.46/899.81 c 881s | 22 | 6670718 | 2085922 | 14782 326 | 48 | 96
901.47/901.83 c 883s | 22 | 6682759 | 2089822 | 14782 326 | 48 | 96
903.46/903.87 c 885s | 22 | 6687998 | 2091322 | 14782 326 | 48 | 96
906.17/906.57 c 888s | 22 | 6699387 | 2094322 | 14782 327 | 48 | 96
908.16/908.59 c 890s | 22 | 6715489 | 2098622 | 14782 327 | 48 | 96
910.26/910.64 c 892s | 22 | 6728998 | 2102322 | 14782 328 | 48 | 96
912.26/912.64 c 894s | 22 | 6742365 | 2106322 | 14782 328 | 48 | 96
914.26/914.66 c 896s | 22 | 6754846 | 2110022 | 14782 329 | 48 | 96
916.26/916.68 c 898s | 22 | 6767877 | 2113822 | 14782 329 | 48 | 96
918.36/918.74 c 900s | 22 | 6779900 | 2117322 | 14782 330 | 48 | 96
920.37/920.79 c 902s | 22 | 6792356 | 2121522 | 14782 330 | 48 | 96
922.46/922.84 c 904s | 22 | 6802076 | 2124322 | 14782 330 | 48 | 96
924.66/925.01 c 906s | 22 | 6810400 | 2127222 | 14782 331 | 48 | 96
926.66/927.06 c 908s | 22 | 6824303 | 2130822 | 14782 331 | 48 | 96
928.66/929.08 c 910s | 22 | 6836359 | 2134222 | 14782 332 | 48 | 96
930.76/931.11 c 912s | 22 | 6848460 | 2137922 | 14782 332 | 48 | 96
932.76/933.14 c 914s | 22 | 6857542 | 2140222 | 14782 333 | 48 | 96
934.76/935.14 c 916s | 22 | 6874706 | 2144722 | 14782 333 | 48 | 96
936.86/937.23 c 918s | 22 | 6885706 | 2147622 | 14782 334 | 48 | 96
938.85/939.26 c 920s | 22 | 6901160 | 2151922 | 14782 334 | 48 | 96
940.85/941.27 c 922s | 22 | 6913643 | 2155522 | 14782 335 | 48 | 96
942.95/943.32 c 925s | 22 | 6928873 | 2159622 | 14782 335 | 48 | 96
944.95/945.35 c 927s | 22 | 6941886 | 2163422 | 14782 336 | 48 | 96
946.95/947.38 c 929s | 22 | 6956679 | 2167422 | 14782 336 | 48 | 96
949.06/949.41 c 931s | 22 | 6969618 | 2171322 | 14782 337 | 48 | 96
951.16/951.55 c 933s | 22 | 6979692 | 2174222 | 14782 337 | 48 | 96
953.15/953.56 c 935s | 22 | 6993994 | 2178222 | 16261 337 | 48 | 96
955.15/955.57 c 937s | 22 | 7009281 | 2182322 | 16261 338 | 48 | 96
957.76/958.14 c 939s | 22 | 7014789 | 2184022 | 16261 338 | 48 | 96
959.75/960.15 c 941s | 22 | 7025199 | 2187022 | 16261 338 | 48 | 96
961.75/962.16 c 943s | 22 | 7040464 | 2190722 | 16261 339 | 48 | 96
963.75/964.16 c 945s | 22 | 7054814 | 2194622 | 16261 339 | 48 | 96
965.75/966.18 c 947s | 22 | 7069402 | 2198422 | 16261 340 | 48 | 96
967.75/968.18 c 949s | 22 | 7083135 | 2202422 | 16261 340 | 48 | 96
969.75/970.20 c 951s | 22 | 7096224 | 2206322 | 16261 341 | 48 | 96
971.85/972.24 c 953s | 22 | 7108128 | 2209722 | 16261 341 | 48 | 96
973.85/974.24 c 955s | 22 | 7122410 | 2213622 | 16261 341 | 48 | 96
975.85/976.27 c 957s | 22 | 7134612 | 2217122 | 16261 342 | 48 | 96
977.85/978.28 c 960s | 22 | 7147060 | 2220622 | 16261 342 | 48 | 96
979.95/980.31 c 962s | 22 | 7154128 | 2222722 | 16261 343 | 48 | 96
981.95/982.32 c 964s | 22 | 7170150 | 2227222 | 16261 343 | 48 | 96
983.94/984.32 c 966s | 22 | 7183860 | 2231122 | 16261 344 | 48 | 96
986.45/986.87 c 968s | 22 | 7195834 | 2234322 | 16261 344 | 48 | 96
988.55/988.92 c 970s | 22 | 7210441 | 2238522 | 16261 344 | 48 | 96
990.54/990.93 c 972s | 22 | 7219404 | 2241122 | 16261 345 | 48 | 96
992.54/992.94 c 974s | 22 | 7232927 | 2244922 | 16261 345 | 48 | 96
994.54/994.96 c 976s | 22 | 7245607 | 2248522 | 16261 346 | 48 | 96
995.64/996.09 c 977s | 23 | 7253817 | 2251038 | 16261 346 | 48 | 96
997.75/998.11 c 979s | 23 | 7271009 | 2254638 | 16261 346 | 48 | 96
999.75/1000.13 c 981s | 23 | 7279398 | 2257538 | 16261 347 | 48 | 96
1001.75/1002.18 c 983s | 23 | 7297356 | 2262138 | 16261 347 | 48 | 96
1003.95/1004.33 c 986s | 23 | 7309885 | 2265738 | 16261 348 | 48 | 96
1005.95/1006.37 c 988s | 23 | 7325654 | 2270238 | 16261 348 | 48 | 96
1007.94/1008.39 c 990s | 23 | 7340154 | 2274438 | 16261 349 | 48 | 96
1010.04/1010.41 c 992s | 23 | 7355798 | 2278938 | 16261 349 | 48 | 96
1012.04/1012.45 c 994s | 23 | 7366596 | 2282338 | 16261 350 | 48 | 96
1014.04/1014.47 c 996s | 23 | 7381003 | 2286638 | 16261 350 | 48 | 96
1016.05/1016.49 c 998s | 23 | 7394001 | 2290438 | 16261 351 | 48 | 96
1018.14/1018.51 c 1000s | 23 | 7407311 | 2294538 | 16261 351 | 48 | 96
1020.14/1020.53 c 1002s | 23 | 7421971 | 2298638 | 16261 352 | 48 | 96
1022.14/1022.54 c 1004s | 23 | 7438097 | 2302838 | 16261 352 | 48 | 96
1024.14/1024.55 c 1006s | 23 | 7453443 | 2307038 | 16261 353 | 48 | 96
1026.14/1026.56 c 1008s | 23 | 7459637 | 2308838 | 16261 353 | 48 | 96
1028.15/1028.57 c 1010s | 23 | 7474341 | 2313238 | 16261 353 | 48 | 96
1030.14/1030.59 c 1012s | 23 | 7488593 | 2317338 | 16261 354 | 48 | 96
1032.24/1032.61 c 1014s | 23 | 7500224 | 2320638 | 16261 354 | 48 | 96
1034.24/1034.65 c 1016s | 23 | 7513021 | 2324438 | 16261 355 | 48 | 96
1036.24/1036.67 c 1018s | 23 | 7529015 | 2329138 | 16261 355 | 48 | 96
1038.34/1038.71 c 1020s | 23 | 7541978 | 2333038 | 16261 356 | 48 | 96
1040.34/1040.72 c 1022s | 23 | 7556371 | 2337238 | 16261 356 | 48 | 96
1042.54/1042.91 c 1024s | 23 | 7569010 | 2341138 | 16261 357 | 48 | 96
1044.53/1044.94 c 1026s | 23 | 7581997 | 2345038 | 16261 357 | 48 | 96
1046.53/1046.96 c 1028s | 23 | 7596370 | 2349538 | 16261 358 | 48 | 96
1048.54/1048.97 c 1030s | 23 | 7609556 | 2354938 | 16261 358 | 48 | 96
1050.54/1050.98 c 1032s | 23 | 7621733 | 2360838 | 16261 359 | 48 | 96
1052.54/1052.98 c 1034s | 23 | 7638231 | 2368338 | 16261 360 | 48 | 96
1054.65/1055.02 c 1036s | 23 | 7648067 | 2373038 | 16261 360 | 48 | 96
1056.64/1057.05 c 1038s | 23 | 7659788 | 2378638 | 16261 361 | 48 | 96
1058.64/1059.06 c 1040s | 23 | 7668858 | 2383338 | 16261 361 | 48 | 96
1060.64/1061.07 c 1042s | 23 | 7680172 | 2388638 | 16261 362 | 48 | 96
1062.64/1063.07 c 1044s | 23 | 7690900 | 2393838 | 16261 363 | 48 | 96
1064.64/1065.09 c 1046s | 23 | 7694291 | 2395738 | 16261 363 | 48 | 96
1066.74/1067.12 c 1048s | 23 | 7703697 | 2400838 | 16261 363 | 48 | 96
1068.73/1069.14 c 1050s | 23 | 7712628 | 2405338 | 16261 364 | 48 | 96
1070.73/1071.16 c 1052s | 23 | 7721726 | 2410138 | 16261 365 | 48 | 96
1072.73/1073.18 c 1054s | 23 | 7734261 | 2415838 | 16261 365 | 48 | 96
1074.83/1075.26 c 1056s | 23 | 7746215 | 2421338 | 16261 366 | 48 | 96
1076.93/1077.34 c 1059s | 23 | 7756005 | 2426038 | 16261 366 | 48 | 96
1078.94/1079.35 c 1061s | 23 | 7761707 | 2429038 | 16261 367 | 48 | 96
1080.94/1081.38 c 1063s | 23 | 7771387 | 2433738 | 16261 367 | 48 | 96
1083.04/1083.41 c 1065s | 23 | 7780280 | 2438038 | 16261 368 | 48 | 96
1085.04/1085.42 c 1067s | 23 | 7791478 | 2443338 | 16261 368 | 48 | 96
1087.03/1087.44 c 1069s | 23 | 7800372 | 2447838 | 16261 369 | 48 | 96
1089.03/1089.48 c 1071s | 23 | 7809338 | 2452238 | 16261 369 | 48 | 96
1091.13/1091.50 c 1073s | 23 | 7815113 | 2455238 | 16261 370 | 48 | 96
1093.14/1093.55 c 1075s | 23 | 7825311 | 2460438 | 16261 370 | 48 | 96
1095.13/1095.56 c 1077s | 23 | 7830467 | 2462938 | 16261 371 | 48 | 96
1097.13/1097.58 c 1079s | 23 | 7840200 | 2467938 | 16261 371 | 48 | 96
1099.33/1099.70 c 1081s | 23 | 7850509 | 2472838 | 16261 372 | 48 | 96
1101.33/1101.73 c 1083s | 23 | 7860568 | 2478238 | 16261 372 | 48 | 96
1103.33/1103.78 c 1085s | 23 | 7863849 | 2479938 | 16261 373 | 48 | 96
1105.43/1105.80 c 1087s | 23 | 7875294 | 2485838 | 16261 373 | 48 | 96
1107.43/1107.81 c 1089s | 23 | 7880825 | 2488438 | 16261 374 | 48 | 96
1109.42/1109.83 c 1091s | 23 | 7891244 | 2493438 | 16261 374 | 48 | 96
1111.42/1111.88 c 1093s | 23 | 7902604 | 2498838 | 16261 375 | 48 | 96
1113.52/1113.92 c 1095s | 23 | 7913156 | 2504438 | 16261 375 | 48 | 96
1115.53/1115.94 c 1097s | 23 | 7917632 | 2506838 | 16261 376 | 48 | 96
1117.53/1117.98 c 1099s | 23 | 7926788 | 2511838 | 16261 376 | 48 | 96
1119.54/1119.98 c 1101s | 23 | 7936008 | 2516338 | 16261 377 | 48 | 96
1121.53/1121.99 c 1103s | 23 | 7939679 | 2518238 | 16261 377 | 48 | 96
1123.63/1124.00 c 1105s | 23 | 7948682 | 2522438 | 16261 378 | 48 | 96
1125.63/1126.00 c 1107s | 23 | 7955951 | 2525938 | 16261 378 | 48 | 96
1127.63/1128.02 c 1109s | 23 | 7965803 | 2530738 | 16261 378 | 48 | 96
1129.63/1130.05 c 1111s | 23 | 7974428 | 2535338 | 16261 379 | 48 | 96
1131.63/1132.07 c 1113s | 23 | 7982200 | 2539338 | 16261 379 | 48 | 96
1133.63/1134.07 c 1115s | 23 | 7989431 | 2542938 | 16261 380 | 48 | 96
1135.73/1136.10 c 1117s | 23 | 7998076 | 2547438 | 16261 380 | 48 | 96
1137.73/1138.11 c 1119s | 23 | 8005613 | 2550938 | 16261 381 | 48 | 96
1139.72/1140.14 c 1121s | 23 | 8016559 | 2556338 | 16261 381 | 48 | 96
1141.72/1142.17 c 1123s | 23 | 8027424 | 2561838 | 16261 382 | 48 | 96
1144.32/1144.77 c 1126s | 23 | 8033557 | 2564838 | 16261 382 | 48 | 96
1146.72/1147.13 c 1128s | 23 | 8044065 | 2570038 | 16261 383 | 48 | 96
1148.92/1149.30 c 1131s | 23 | 8054888 | 2574938 | 16261 384 | 48 | 96
1150.92/1151.32 c 1133s | 23 | 8066661 | 2580338 | 16261 384 | 48 | 96
1152.92/1153.33 c 1135s | 23 | 8075867 | 2584938 | 16261 385 | 48 | 96
1154.92/1155.34 c 1137s | 23 | 8083569 | 2589038 | 16261 385 | 48 | 96
1156.93/1157.36 c 1139s | 23 | 8091335 | 2593438 | 16261 386 | 48 | 96
1158.92/1159.40 c 1141s | 23 | 8100854 | 2598138 | 16261 386 | 48 | 96
1161.02/1161.43 c 1143s | 23 | 8109316 | 2601638 | 16261 387 | 48 | 96
1163.03/1163.46 c 1145s | 23 | 8119423 | 2606038 | 16261 387 | 48 | 96
1165.02/1165.49 c 1147s | 23 | 8130503 | 2611238 | 16261 388 | 48 | 96
1167.12/1167.52 c 1149s | 23 | 8142038 | 2616738 | 16261 388 | 48 | 96
1169.12/1169.52 c 1151s | 23 | 8151249 | 2620838 | 16261 389 | 48 | 96
1171.13/1171.60 c 1153s | 23 | 8162659 | 2626438 | 16261 390 | 48 | 96
1173.33/1173.78 c 1155s | 23 | 8168516 | 2629438 | 16261 390 | 48 | 96
1175.32/1175.79 c 1157s | 23 | 8179459 | 2633738 | 16261 390 | 48 | 96
1177.42/1177.83 c 1159s | 23 | 8188364 | 2637638 | 16261 391 | 48 | 96
1179.42/1179.85 c 1161s | 23 | 8198193 | 2642138 | 16261 391 | 48 | 96
1181.42/1181.88 c 1163s | 23 | 8207072 | 2646238 | 16261 392 | 48 | 96
1183.42/1183.89 c 1165s | 23 | 8216828 | 2651138 | 16261 392 | 48 | 96
1185.92/1186.34 c 1168s | 23 | 8226201 | 2656738 | 16261 393 | 48 | 96
1187.91/1188.35 c 1170s | 23 | 8237132 | 2661238 | 16261 394 | 48 | 96
1189.92/1190.36 c 1172s | 23 | 8246578 | 2665938 | 16261 394 | 48 | 96
1191.91/1192.37 c 1174s | 23 | 8259597 | 2671938 | 16261 395 | 48 | 96
1193.91/1194.38 c 1176s | 23 | 8272382 | 2677738 | 16261 396 | 48 | 96
1195.91/1196.39 c 1178s | 23 | 8283179 | 2682038 | 16261 396 | 48 | 96
1198.01/1198.40 c 1180s | 23 | 8289583 | 2684638 | 16261 396 | 48 | 96
1200.02/1200.41 c 1182s | 23 | 8297821 | 2687938 | 16261 397 | 48 | 96
1202.03/1202.44 c 1184s | 23 | 8309892 | 2692638 | 16261 397 | 48 | 96
1204.13/1204.52 c 1186s | 23 | 8318143 | 2696238 | 16261 398 | 48 | 96
1206.12/1206.52 c 1188s | 23 | 8326590 | 2700238 | 16261 398 | 48 | 96
1208.12/1208.53 c 1190s | 23 | 8337778 | 2704738 | 16261 399 | 48 | 96
1210.12/1210.56 c 1192s | 23 | 8348874 | 2709438 | 16261 399 | 48 | 96
1212.12/1212.56 c 1194s | 23 | 8359649 | 2714038 | 16261 400 | 48 | 96
1214.12/1214.57 c 1196s | 23 | 8371081 | 2718438 | 16261 400 | 48 | 96
1216.41/1216.88 c 1198s | 23 | 8378162 | 2721438 | 16261 401 | 48 | 96
1218.52/1218.91 c 1200s | 23 | 8389843 | 2726638 | 16261 401 | 48 | 96
1220.51/1220.92 c 1202s | 23 | 8399704 | 2731138 | 16261 402 | 48 | 96
1222.51/1222.93 c 1204s | 23 | 8409230 | 2735338 | 16261 402 | 48 | 96
1225.91/1226.37 c 1208s | 23 | 8416418 | 2738438 | 16261 403 | 48 | 96
1227.91/1228.38 c 1210s | 23 | 8427370 | 2743038 | 16261 403 | 48 | 96
1230.01/1230.41 c 1212s | 23 | 8436755 | 2746438 | 16261 404 | 48 | 96
1232.01/1232.44 c 1214s | 23 | 8447714 | 2751138 | 16261 404 | 48 | 96
1234.01/1234.47 c 1216s | 23 | 8460190 | 2755938 | 16261 405 | 48 | 96
1236.02/1236.49 c 1218s | 23 | 8472623 | 2761138 | 16261 405 | 48 | 96
1238.11/1238.53 c 1220s | 23 | 8480266 | 2764638 | 16261 406 | 48 | 96
1240.11/1240.56 c 1222s | 23 | 8489230 | 2768338 | 16261 406 | 48 | 96
1242.21/1242.60 c 1224s | 23 | 8501027 | 2772838 | 16261 407 | 48 | 96
1244.21/1244.62 c 1226s | 23 | 8512315 | 2777338 | 16261 407 | 48 | 96
1246.21/1246.66 c 1228s | 23 | 8524071 | 2781338 | 16261 408 | 48 | 96
1248.30/1248.70 c 1230s | 23 | 8537933 | 2785738 | 16261 408 | 48 | 96
1250.31/1250.72 c 1232s | 23 | 8547643 | 2789338 | 16261 409 | 48 | 96
1252.30/1252.74 c 1234s | 23 | 8558949 | 2793738 | 16261 409 | 48 | 96
1254.72/1255.14 c 1236s | 23 | 8564319 | 2795438 | 16261 409 | 48 | 96
1256.71/1257.16 c 1238s | 23 | 8576580 | 2800038 | 16261 410 | 48 | 96
1258.71/1259.19 c 1240s | 23 | 8588142 | 2804738 | 16261 411 | 48 | 96
1260.81/1261.22 c 1242s | 23 | 8598063 | 2807938 | 16261 411 | 48 | 96
1262.81/1263.25 c 1244s | 23 | 8608675 | 2811738 | 16261 411 | 48 | 96
1264.81/1265.29 c 1247s | 23 | 8625440 | 2816838 | 16261 412 | 48 | 96
1266.91/1267.33 c 1249s | 23 | 8637100 | 2821038 | 16261 412 | 48 | 96
1268.91/1269.39 c 1251s | 23 | 8645095 | 2824138 | 16261 413 | 48 | 96
1271.00/1271.41 c 1253s | 23 | 8655005 | 2827938 | 16261 413 | 48 | 96
1273.00/1273.44 c 1255s | 23 | 8667750 | 2832038 | 16261 414 | 48 | 96
1275.00/1275.45 c 1257s | 23 | 8688994 | 2836838 | 16261 414 | 48 | 96
1277.00/1277.46 c 1259s | 23 | 8707001 | 2840938 | 16261 415 | 48 | 96
1279.01/1279.46 c 1261s | 23 | 8732739 | 2846138 | 16261 415 | 48 | 96
1281.00/1281.47 c 1263s | 23 | 8756171 | 2851638 | 16261 416 | 48 | 96
1283.00/1283.49 c 1265s | 23 | 8774747 | 2856138 | 16261 417 | 48 | 96
1285.10/1285.51 c 1267s | 23 | 8791010 | 2859838 | 16261 417 | 48 | 96
1287.10/1287.53 c 1269s | 23 | 8809205 | 2863738 | 16261 418 | 48 | 96
1289.10/1289.57 c 1271s | 23 | 8831640 | 2869438 | 16261 418 | 48 | 96
1291.20/1291.61 c 1273s | 23 | 8847697 | 2874538 | 16261 419 | 48 | 96
1293.20/1293.64 c 1275s | 23 | 8867910 | 2879038 | 16261 419 | 48 | 96
1295.20/1295.66 c 1277s | 23 | 8881942 | 2883038 | 16261 420 | 48 | 96
1297.30/1297.76 c 1279s | 23 | 8894728 | 2886838 | 16261 420 | 48 | 96
1299.30/1299.79 c 1281s | 23 | 8908509 | 2890538 | 16261 421 | 48 | 96
1301.40/1301.85 c 1283s | 23 | 8923737 | 2894938 | 16261 421 | 48 | 96
1303.40/1303.87 c 1285s | 23 | 8935261 | 2898038 | 16261 422 | 48 | 96
1305.40/1305.87 c 1287s | 23 | 8956720 | 2903738 | 16261 422 | 48 | 96
1307.89/1308.39 c 1290s | 23 | 8976802 | 2909438 | 16261 423 | 48 | 96
1310.19/1310.64 c 1292s | 23 | 8991888 | 2914638 | 16261 424 | 48 | 96
1312.19/1312.67 c 1294s | 23 | 9010890 | 2920738 | 16261 424 | 48 | 96
1314.21/1314.68 c 1296s | 23 | 9032965 | 2925738 | 16261 425 | 48 | 96
1316.20/1316.69 c 1298s | 23 | 9050082 | 2930238 | 16261 426 | 48 | 96
1318.20/1318.69 c 1300s | 23 | 9071439 | 2935338 | 16261 426 | 48 | 96
1320.30/1320.70 c 1302s | 23 | 9082224 | 2938938 | 16261 427 | 48 | 96
1322.30/1322.73 c 1304s | 23 | 9098754 | 2943438 | 16261 427 | 48 | 96
1324.30/1324.74 c 1306s | 23 | 9115336 | 2947138 | 16261 428 | 48 | 96
1326.31/1326.75 c 1308s | 23 | 9134847 | 2951938 | 16261 428 | 48 | 96
1328.41/1328.81 c 1310s | 23 | 9149307 | 2956138 | 16261 429 | 48 | 96
1331.60/1332.03 c 1313s | 23 | 9166773 | 2960938 | 16261 429 | 48 | 96
1333.59/1334.05 c 1315s | 23 | 9180134 | 2965638 | 16261 430 | 48 | 96
1335.59/1336.07 c 1317s | 23 | 9199193 | 2970538 | 16261 430 | 48 | 96
1337.59/1338.09 c 1319s | 23 | 9205294 | 2972138 | 16261 431 | 48 | 96
1339.69/1340.10 c 1321s | 23 | 9221329 | 2977138 | 16261 431 | 48 | 96
1341.70/1342.14 c 1323s | 23 | 9239492 | 2981538 | 16261 432 | 48 | 96
1344.09/1344.51 c 1326s | 23 | 9253843 | 2986038 | 16261 432 | 48 | 96
1346.10/1346.55 c 1328s | 23 | 9269325 | 2990638 | 16261 433 | 48 | 96
1348.09/1348.57 c 1330s | 23 | 9287682 | 2995038 | 16261 433 | 48 | 96
1350.09/1350.59 c 1332s | 23 | 9305864 | 2999738 | 16261 434 | 48 | 96
1352.19/1352.60 c 1334s | 23 | 9324702 | 3004338 | 16261 434 | 48 | 96
1354.19/1354.62 c 1336s | 23 | 9342394 | 3008438 | 16261 435 | 48 | 96
1356.19/1356.62 c 1338s | 23 | 9357007 | 3011838 | 16261 435 | 48 | 96
1358.49/1358.93 c 1340s | 23 | 9373224 | 3015938 | 16261 436 | 48 | 96
1360.49/1360.94 c 1342s | 23 | 9394367 | 3020638 | 16261 436 | 48 | 96
1362.50/1362.95 c 1344s | 23 | 9413141 | 3025438 | 16261 437 | 48 | 96
1364.49/1364.96 c 1346s | 23 | 9434240 | 3030238 | 16261 437 | 48 | 96
1366.69/1367.19 c 1348s | 23 | 9450620 | 3034138 | 16261 438 | 48 | 96
1368.79/1369.29 c 1351s | 23 | 9459838 | 3035738 | 16261 438 | 48 | 96
1370.89/1371.31 c 1353s | 23 | 9481124 | 3041338 | 16261 439 | 48 | 96
1372.89/1373.33 c 1355s | 23 | 9500676 | 3046638 | 16261 439 | 48 | 96
1374.89/1375.37 c 1357s | 23 | 9518266 | 3051738 | 16261 440 | 48 | 96
1376.99/1377.45 c 1359s | 23 | 9535508 | 3055638 | 16261 441 | 48 | 96
1379.00/1379.47 c 1361s | 23 | 9553855 | 3060938 | 16261 441 | 48 | 96
1380.99/1381.49 c 1363s | 23 | 9571479 | 3065838 | 16261 442 | 48 | 96
1382.99/1383.49 c 1365s | 23 | 9590389 | 3070838 | 16261 442 | 48 | 96
1385.09/1385.53 c 1367s | 23 | 9607654 | 3075138 | 16261 443 | 48 | 96
1387.09/1387.56 c 1369s | 23 | 9614775 | 3076938 | 16261 443 | 48 | 96
1389.09/1389.58 c 1371s | 23 | 9633741 | 3081638 | 16261 444 | 48 | 96
1391.19/1391.61 c 1373s | 23 | 9651790 | 3085738 | 16261 444 | 48 | 96
1393.18/1393.65 c 1375s | 23 | 9671953 | 3090438 | 16261 445 | 48 | 96
1395.18/1395.66 c 1377s | 23 | 9690360 | 3095638 | 16261 445 | 48 | 96
1398.08/1398.51 c 1380s | 23 | 9695552 | 3096838 | 16261 445 | 48 | 96
1400.08/1400.51 c 1382s | 23 | 9711119 | 3101238 | 16261 446 | 48 | 96
1402.48/1403.00 c 1384s | 23 | 9722771 | 3105038 | 16261 446 | 48 | 96
1404.68/1405.14 c 1386s | 23 | 9740909 | 3109938 | 16261 447 | 48 | 96
1406.78/1407.29 c 1389s | 23 | 9756649 | 3114138 | 16261 448 | 48 | 96
1408.88/1409.33 c 1391s | 23 | 9774546 | 3118938 | 16261 448 | 48 | 96
1410.89/1411.35 c 1393s | 23 | 9787877 | 3123338 | 16261 449 | 48 | 96
1412.89/1413.37 c 1395s | 23 | 9804907 | 3128538 | 16261 449 | 48 | 96
1414.89/1415.37 c 1397s | 23 | 9818859 | 3132938 | 16261 450 | 48 | 96
1416.89/1417.38 c 1399s | 23 | 9835587 | 3137938 | 16261 450 | 48 | 96
1418.99/1419.40 c 1401s | 23 | 9851024 | 3142538 | 16261 451 | 48 | 96
1420.99/1421.43 c 1403s | 23 | 9864943 | 3146638 | 16261 451 | 48 | 96
1422.99/1423.43 c 1405s | 23 | 9878889 | 3150538 | 16261 452 | 48 | 96
1424.98/1425.46 c 1407s | 23 | 9896187 | 3155038 | 16261 452 | 48 | 96
1426.98/1427.48 c 1409s | 23 | 9912096 | 3159438 | 16261 453 | 48 | 96
1429.08/1429.51 c 1411s | 23 | 9927584 | 3163738 | 16261 453 | 48 | 96
1431.08/1431.53 c 1413s | 23 | 9945387 | 3168038 | 16261 454 | 48 | 96
1433.18/1433.68 c 1415s | 23 | 9959094 | 3171638 | 16261 454 | 48 | 96
1435.28/1435.72 c 1417s | 23 | 9979855 | 3175238 | 16261 455 | 48 | 96
1437.78/1438.24 c 1419s | 23 | 9990091 | 3177638 | 16261 455 | 48 | 96
1439.88/1440.39 c 1422s | 23 | 10005671 | 3181738 | 16261 456 | 48 | 96
1441.98/1442.41 c 1424s | 23 | 10025338 | 3186938 | 16261 456 | 48 | 96
1443.98/1444.43 c 1426s | 23 | 10042652 | 3191938 | 16261 457 | 48 | 96
1445.98/1446.46 c 1428s | 23 | 10063758 | 3196538 | 16261 457 | 48 | 96
1448.17/1448.66 c 1430s | 23 | 10082067 | 3200938 | 16261 458 | 48 | 96
1450.17/1450.68 c 1432s | 23 | 10097057 | 3204638 | 16261 458 | 48 | 96
1452.27/1452.72 c 1434s | 23 | 10111625 | 3208338 | 16261 459 | 48 | 96
1454.78/1455.22 c 1436s | 23 | 10115073 | 3209438 | 16261 459 | 48 | 96
1456.78/1457.26 c 1438s | 23 | 10134257 | 3214238 | 16261 459 | 48 | 96
1458.78/1459.28 c 1441s | 23 | 10155274 | 3218938 | 16261 460 | 48 | 96
1461.49/1461.96 c 1443s | 23 | 10176883 | 3224038 | 16261 461 | 48 | 96
1463.48/1463.98 c 1445s | 23 | 10192727 | 3228538 | 16261 461 | 48 | 96
1465.48/1465.98 c 1447s | 23 | 10211019 | 3232638 | 16261 462 | 48 | 96
1467.48/1467.99 c 1449s | 23 | 10225483 | 3236238 | 16261 462 | 48 | 96
1469.58/1470.02 c 1451s | 23 | 10239877 | 3240038 | 16261 463 | 48 | 96
1471.57/1472.08 c 1453s | 23 | 10255666 | 3244538 | 16261 463 | 48 | 96
1473.58/1474.10 c 1455s | 23 | 10265334 | 3247438 | 16261 463 | 48 | 96
1475.67/1476.12 c 1457s | 23 | 10279765 | 3251738 | 16261 464 | 48 | 96
1477.67/1478.15 c 1459s | 23 | 10298306 | 3256938 | 16261 465 | 48 | 96
1479.77/1480.29 c 1462s | 23 | 10302307 | 3257938 | 16261 465 | 48 | 96
1481.87/1482.32 c 1464s | 23 | 10321875 | 3263238 | 16261 465 | 48 | 96
1483.87/1484.33 c 1466s | 23 | 10329177 | 3265638 | 16261 466 | 48 | 96
1485.87/1486.34 c 1468s | 23 | 10345305 | 3270138 | 16261 466 | 48 | 96
1487.88/1488.36 c 1470s | 23 | 10365573 | 3275138 | 16261 467 | 48 | 96
1489.88/1490.37 c 1472s | 23 | 10384128 | 3279238 | 16261 467 | 48 | 96
1491.88/1492.39 c 1474s | 23 | 10402624 | 3283738 | 16261 468 | 48 | 96
1493.97/1494.48 c 1476s | 23 | 10418739 | 3288038 | 16261 468 | 48 | 96
1495.97/1496.49 c 1478s | 23 | 10438459 | 3292338 | 16261 469 | 48 | 96
1498.07/1498.52 c 1480s | 23 | 10451307 | 3295638 | 17888 469 | 48 | 96
1500.08/1500.54 c 1482s | 23 | 10469419 | 3299738 | 17888 470 | 48 | 96
1502.28/1502.74 c 1484s | 23 | 10489843 | 3304338 | 17888 470 | 48 | 96
1504.77/1505.29 c 1487s | 23 | 10507884 | 3308638 | 17888 470 | 48 | 96
1506.87/1507.33 c 1489s | 23 | 10533314 | 3313438 | 17888 471 | 48 | 96
1508.88/1509.37 c 1491s | 23 | 10549968 | 3317838 | 17888 471 | 48 | 96
1510.87/1511.39 c 1493s | 23 | 10564969 | 3321138 | 17888 472 | 48 | 96
1512.97/1513.42 c 1495s | 23 | 10586013 | 3326338 | 17888 472 | 48 | 96
1514.97/1515.45 c 1497s | 23 | 10607871 | 3331438 | 17888 473 | 48 | 96
1516.97/1517.48 c 1499s | 23 | 10624269 | 3335638 | 17888 473 | 48 | 96
1519.07/1519.56 c 1501s | 23 | 10641518 | 3339538 | 17888 474 | 48 | 96
1521.07/1521.57 c 1503s | 23 | 10661016 | 3344238 | 17888 474 | 48 | 96
1523.07/1523.58 c 1505s | 23 | 10681343 | 3348838 | 17888 475 | 48 | 96
1525.17/1525.66 c 1507s | 23 | 10691811 | 3351438 | 17888 475 | 48 | 96
1527.16/1527.68 c 1509s | 23 | 10708890 | 3355638 | 17888 476 | 48 | 96
1529.26/1529.71 c 1511s | 23 | 10726772 | 3360238 | 17888 476 | 48 | 96
1531.87/1532.37 c 1514s | 23 | 10741927 | 3363838 | 17888 477 | 48 | 96
1533.96/1534.40 c 1516s | 23 | 10758991 | 3368338 | 17888 477 | 48 | 96
1535.96/1536.44 c 1518s | 23 | 10776062 | 3372938 | 17888 478 | 48 | 96
1537.47/1537.97 c 1519s | 24 | 10791136 | 3376662 | 17888 478 | 48 | 96
1539.47/1539.99 c 1521s | 24 | 10804192 | 3379562 | 17888 478 | 48 | 96
1541.57/1542.01 c 1523s | 24 | 10817716 | 3383462 | 17888 479 | 48 | 96
1543.57/1544.01 c 1525s | 24 | 10830243 | 3387062 | 17888 479 | 48 | 96
1545.57/1546.05 c 1527s | 24 | 10844375 | 3390662 | 17888 479 | 48 | 96
1547.56/1548.09 c 1529s | 24 | 10859773 | 3394962 | 17888 480 | 48 | 96
1549.66/1550.11 c 1531s | 24 | 10876117 | 3399162 | 17888 480 | 48 | 96
1551.67/1552.14 c 1533s | 24 | 10890805 | 3403062 | 17888 481 | 48 | 96
1553.66/1554.15 c 1535s | 24 | 10902064 | 3406062 | 17888 481 | 48 | 96
1555.66/1556.19 c 1537s | 24 | 10917922 | 3410062 | 17888 482 | 48 | 96
1557.96/1558.46 c 1540s | 24 | 10929704 | 3413462 | 17888 482 | 48 | 96
1560.06/1560.50 c 1542s | 24 | 10945512 | 3416762 | 17888 482 | 48 | 96
1562.06/1562.51 c 1544s | 24 | 10961125 | 3420562 | 17888 483 | 48 | 96
1564.06/1564.55 c 1546s | 24 | 10975619 | 3424862 | 17888 483 | 48 | 96
1566.16/1566.64 c 1548s | 24 | 10988202 | 3428462 | 17888 484 | 48 | 96
1568.17/1568.66 c 1550s | 24 | 11002945 | 3432762 | 17888 484 | 48 | 96
1570.16/1570.66 c 1552s | 24 | 11014862 | 3435962 | 17888 484 | 48 | 96
1572.57/1573.04 c 1554s | 24 | 11026298 | 3439562 | 17888 485 | 48 | 96
1574.56/1575.08 c 1556s | 24 | 11041120 | 3444362 | 17888 485 | 48 | 96
1576.56/1577.09 c 1558s | 24 | 11055373 | 3448162 | 17888 486 | 48 | 96
1578.66/1579.11 c 1560s | 24 | 11070832 | 3452262 | 17888 486 | 48 | 96
1580.66/1581.12 c 1562s | 24 | 11083262 | 3455762 | 17888 487 | 48 | 96
1582.66/1583.16 c 1564s | 24 | 11100770 | 3460362 | 17888 487 | 48 | 96
1584.66/1585.19 c 1566s | 24 | 11115920 | 3464562 | 17888 487 | 48 | 96
1586.86/1587.35 c 1569s | 24 | 11124086 | 3466462 | 17888 488 | 48 | 96
1588.85/1589.39 c 1571s | 24 | 11134215 | 3469262 | 17888 488 | 48 | 96
1590.85/1591.39 c 1573s | 24 | 11146304 | 3473162 | 17888 488 | 48 | 96
1592.95/1593.48 c 1575s | 24 | 11159385 | 3477162 | 17888 489 | 48 | 96
1595.05/1595.59 c 1577s | 24 | 11168892 | 3479662 | 17888 489 | 48 | 96
1597.15/1597.63 c 1579s | 24 | 11183881 | 3483362 | 17888 490 | 48 | 96
1599.15/1599.66 c 1581s | 24 | 11196501 | 3487562 | 17888 490 | 48 | 96
1601.16/1601.69 c 1583s | 24 | 11208512 | 3491262 | 17888 490 | 48 | 96
1603.25/1603.74 c 1585s | 24 | 11218898 | 3494462 | 17888 491 | 48 | 96
1605.25/1605.77 c 1587s | 24 | 11238659 | 3498862 | 17888 491 | 48 | 96
1607.96/1608.41 c 1590s | 24 | 11251273 | 3501862 | 17888 492 | 48 | 96
1609.96/1610.43 c 1592s | 24 | 11266972 | 3505762 | 17888 492 | 48 | 96
1611.96/1612.43 c 1594s | 24 | 11282143 | 3509662 | 17888 492 | 48 | 96
1613.96/1614.46 c 1596s | 24 | 11297894 | 3513862 | 17888 493 | 48 | 96
1615.96/1616.49 c 1598s | 24 | 11313005 | 3518162 | 17888 493 | 48 | 96
1618.06/1618.50 c 1600s | 24 | 11328854 | 3522362 | 17888 494 | 48 | 96
1620.05/1620.52 c 1602s | 24 | 11337026 | 3524662 | 17888 494 | 48 | 96
1622.06/1622.55 c 1604s | 24 | 11351753 | 3528262 | 17888 494 | 48 | 96
1624.05/1624.57 c 1606s | 24 | 11366723 | 3531862 | 17888 495 | 48 | 96
1626.05/1626.57 c 1608s | 24 | 11383220 | 3535962 | 17888 495 | 48 | 96
1628.05/1628.58 c 1610s | 24 | 11396911 | 3539962 | 17888 496 | 48 | 96
1630.15/1630.61 c 1612s | 24 | 11413118 | 3544362 | 17888 496 | 48 | 96
1632.15/1632.63 c 1614s | 24 | 11428560 | 3548262 | 17888 497 | 48 | 96
1634.16/1634.66 c 1616s | 24 | 11439502 | 3551162 | 17888 497 | 48 | 96
1636.15/1636.66 c 1618s | 24 | 11452040 | 3554962 | 17888 497 | 48 | 96
1638.15/1638.69 c 1620s | 24 | 11466967 | 3558662 | 17888 498 | 48 | 96
1640.25/1640.73 c 1622s | 24 | 11482494 | 3562562 | 17888 498 | 48 | 96
1642.25/1642.76 c 1624s | 24 | 11498107 | 3566362 | 17888 499 | 48 | 96
1645.35/1645.83 c 1627s | 24 | 11515030 | 3570962 | 17888 499 | 48 | 96
1647.64/1648.13 c 1629s | 24 | 11518940 | 3571662 | 17888 499 | 48 | 96
1649.65/1650.15 c 1631s | 24 | 11523632 | 3572862 | 17888 499 | 48 | 96
1651.64/1652.17 c 1633s | 24 | 11542442 | 3577462 | 17888 500 | 48 | 96
1653.64/1654.19 c 1635s | 24 | 11559844 | 3581162 | 17888 500 | 48 | 96
1655.74/1656.21 c 1637s | 24 | 11566226 | 3583262 | 17888 500 | 48 | 96
1657.74/1658.24 c 1639s | 24 | 11576781 | 3587162 | 17888 501 | 48 | 96
1660.25/1660.78 c 1642s | 24 | 11588723 | 3591162 | 17888 501 | 48 | 96
1662.35/1662.82 c 1644s | 24 | 11599173 | 3594862 | 17888 502 | 48 | 96
1664.35/1664.83 c 1646s | 24 | 11613359 | 3599462 | 17888 502 | 48 | 96
1666.35/1666.86 c 1648s | 24 | 11623499 | 3602762 | 17888 503 | 48 | 96
1668.36/1668.88 c 1650s | 24 | 11637322 | 3606962 | 17888 503 | 48 | 96
1670.46/1670.91 c 1652s | 24 | 11650051 | 3611162 | 17888 503 | 48 | 96
1672.45/1672.91 c 1654s | 24 | 11662615 | 3615862 | 17888 504 | 48 | 96
1674.45/1674.92 c 1656s | 24 | 11673328 | 3619662 | 17888 504 | 48 | 96
1676.45/1676.95 c 1658s | 24 | 11685136 | 3623562 | 17888 505 | 48 | 96
1678.45/1678.98 c 1660s | 24 | 11698887 | 3627762 | 17888 505 | 48 | 96
1680.45/1680.98 c 1662s | 24 | 11712332 | 3631662 | 17888 506 | 48 | 96
1682.55/1683.02 c 1664s | 24 | 11725556 | 3635062 | 17888 506 | 48 | 96
1684.55/1685.03 c 1666s | 24 | 11742570 | 3639762 | 17888 507 | 48 | 96
1686.54/1687.05 c 1668s | 24 | 11753119 | 3642262 | 17888 507 | 48 | 96
1688.54/1689.06 c 1670s | 24 | 11766727 | 3646562 | 17888 507 | 48 | 96
1690.54/1691.08 c 1672s | 24 | 11781096 | 3650662 | 17888 508 | 48 | 96
1692.64/1693.14 c 1674s | 24 | 11797956 | 3655362 | 17888 508 | 48 | 96
1694.65/1695.15 c 1676s | 24 | 11810205 | 3658962 | 17888 509 | 48 | 96
1696.64/1697.15 c 1678s | 24 | 11825723 | 3663762 | 17888 509 | 48 | 96
1698.64/1699.19 c 1680s | 24 | 11834290 | 3665962 | 17888 509 | 48 | 96
1700.74/1701.29 c 1683s | 24 | 11838880 | 3667162 | 17888 510 | 48 | 96
1703.04/1703.54 c 1685s | 24 | 11848146 | 3669462 | 17888 510 | 48 | 96
1705.04/1705.59 c 1687s | 24 | 11864841 | 3673462 | 17888 510 | 48 | 96
1707.24/1707.77 c 1689s | 24 | 11879546 | 3676862 | 17888 511 | 48 | 96
1709.24/1709.79 c 1691s | 24 | 11893368 | 3680462 | 17888 511 | 48 | 96
1711.25/1711.79 c 1693s | 24 | 11910112 | 3684662 | 17888 511 | 48 | 96
1713.35/1713.81 c 1695s | 24 | 11924562 | 3688362 | 17888 512 | 48 | 96
1715.34/1715.83 c 1697s | 24 | 11942920 | 3692262 | 17888 512 | 48 | 96
1717.34/1717.85 c 1699s | 24 | 11956568 | 3696062 | 17888 513 | 48 | 96
1719.34/1719.87 c 1701s | 24 | 11969716 | 3699862 | 17888 513 | 48 | 96
1721.44/1721.92 c 1703s | 24 | 11987380 | 3703562 | 17888 514 | 48 | 96
1723.44/1723.96 c 1705s | 24 | 11997292 | 3706162 | 17888 514 | 48 | 96
1725.44/1725.99 c 1707s | 24 | 12014220 | 3710162 | 17888 514 | 48 | 96
1727.54/1728.02 c 1709s | 24 | 12029798 | 3713862 | 17888 515 | 48 | 96
1729.54/1730.03 c 1711s | 24 | 12044335 | 3718062 | 17888 515 | 48 | 96
1731.64/1732.11 c 1713s | 24 | 12057491 | 3721862 | 17888 516 | 48 | 96
1733.63/1734.12 c 1715s | 24 | 12070083 | 3725362 | 17888 516 | 48 | 96
1735.63/1736.15 c 1717s | 24 | 12084772 | 3729262 | 17888 516 | 48 | 96
1737.64/1738.15 c 1719s | 24 | 12100014 | 3733062 | 17888 517 | 48 | 96
1740.13/1740.65 c 1722s | 24 | 12105746 | 3734162 | 17888 517 | 48 | 96
1742.13/1742.67 c 1724s | 24 | 12123794 | 3738262 | 17888 517 | 48 | 96
1744.13/1744.69 c 1726s | 24 | 12137270 | 3740962 | 17888 518 | 48 | 96
1746.23/1746.71 c 1728s | 24 | 12157548 | 3745362 | 17888 518 | 48 | 96
1748.23/1748.72 c 1730s | 24 | 12173560 | 3749362 | 17888 519 | 48 | 96
1750.24/1750.73 c 1732s | 24 | 12195887 | 3754262 | 17888 519 | 48 | 96
1752.24/1752.74 c 1734s | 24 | 12217536 | 3758662 | 17888 520 | 48 | 96
1754.24/1754.76 c 1736s | 24 | 12231818 | 3762562 | 17888 520 | 48 | 96
1756.24/1756.77 c 1738s | 24 | 12247796 | 3766862 | 17888 520 | 48 | 96
1758.23/1758.80 c 1740s | 24 | 12264969 | 3771062 | 17888 521 | 48 | 96
1760.64/1761.10 c 1742s | 24 | 12284408 | 3775062 | 17888 521 | 48 | 96
1762.63/1763.11 c 1744s | 24 | 12301101 | 3778662 | 17888 522 | 48 | 96
1764.63/1765.12 c 1746s | 24 | 12317280 | 3782062 | 17888 522 | 48 | 96
1766.63/1767.15 c 1748s | 24 | 12333138 | 3785962 | 17888 522 | 48 | 96
1768.63/1769.18 c 1750s | 24 | 12347834 | 3790062 | 17888 523 | 48 | 96
1770.73/1771.21 c 1752s | 24 | 12355942 | 3792262 | 17888 523 | 48 | 96
1772.74/1773.27 c 1754s | 24 | 12364235 | 3794462 | 17888 523 | 48 | 96
1774.73/1775.29 c 1757s | 24 | 12384215 | 3798662 | 17888 524 | 48 | 96
1776.83/1777.30 c 1759s | 24 | 12396313 | 3801862 | 17888 524 | 48 | 96
1778.83/1779.32 c 1761s | 24 | 12414214 | 3806462 | 17888 525 | 48 | 96
1780.83/1781.33 c 1763s | 24 | 12432847 | 3811062 | 17888 525 | 48 | 96
1782.83/1783.36 c 1765s | 24 | 12449979 | 3815662 | 17888 526 | 48 | 96
1784.93/1785.46 c 1767s | 24 | 12459144 | 3818262 | 17888 526 | 48 | 96
1787.13/1787.66 c 1769s | 24 | 12480041 | 3822762 | 17888 527 | 48 | 96
1789.12/1789.69 c 1771s | 24 | 12497389 | 3826762 | 17888 527 | 48 | 96
1791.22/1791.71 c 1773s | 24 | 12517282 | 3831262 | 17888 527 | 48 | 96
1793.42/1793.97 c 1775s | 24 | 12532277 | 3834862 | 17888 528 | 48 | 96
1795.42/1795.99 c 1777s | 24 | 12550325 | 3839062 | 17888 528 | 48 | 96
1798.03/1798.53 c 1780s | 24 | 12565825 | 3842762 | 17888 529 | 48 | 96
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079697-1465243734/watcher-4079697-1465243734 -o /tmp/evaluation-result-4079697-1465243734/solver-4079697-1465243734 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079697-1465243734.opb
pid=5664
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.05 2.00 2/174 5667
/proc/meminfo: memFree=31431052/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=506300 CPUtime=0 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 1849 0 0 0 0 0 0 0 20 0 4 0 106308411 518451200 2211 33554432000 4194304 16246674 140737009651504 140737009650928 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 127087 2219 441 2943 0 123981 0
[pid=5667/tid=5668] ppid=5664 vsize=522684 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 535228416 2276 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=526780 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 539422720 2292 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=531900 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308411 544665600 2309 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.100124 s]
/proc/loadavg: 2.04 2.05 2.00 2/174 5667
/proc/meminfo: memFree=31431052/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 26542 0 0 0 5 4 0 0 20 0 4 0 106308411 1250496512 26841 33554432000 4194304 16246674 140737009651504 140737009650816 4220812 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 305297 26845 800 2943 0 302191 0
[pid=5667/tid=5668] ppid=5664 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1250496512 26847 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1250496512 26849 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1250496512 26852 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188
[startup+0.200491 s]
/proc/loadavg: 2.04 2.05 2.00 2/174 5667
/proc/meminfo: memFree=31431052/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 46592 0 0 0 12 7 0 0 20 0 4 0 106308411 1332285440 46891 33554432000 4194304 16246674 140737009651504 140737009650816 6757836 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 325265 46891 833 2943 0 322159 0
[pid=5667/tid=5668] ppid=5664 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1332285440 46891 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1332285440 46891 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1332285440 46891 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060
[startup+0.30046 s]
/proc/loadavg: 2.04 2.05 2.00 2/174 5667
/proc/meminfo: memFree=31431052/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1307204 CPUtime=0.29 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 48201 0 0 0 22 7 0 0 20 0 4 0 106308411 1338576896 48500 33554432000 4194304 16246674 140737009651504 140737009650816 5531970 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 326801 48500 903 2943 0 323695 0
[pid=5667/tid=5668] ppid=5664 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1338576896 48500 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1338576896 48500 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1338576896 48500 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204
[startup+0.700411 s]
/proc/loadavg: 2.04 2.05 2.00 2/174 5667
/proc/meminfo: memFree=31431052/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 49065 0 0 0 61 8 0 0 20 0 4 0 106308411 1338576896 49364 33554432000 4194304 16246674 140737009651504 140737009633408 6021055 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 326801 49375 907 2943 0 323695 0
[pid=5667/tid=5668] ppid=5664 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1338576896 49382 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1338576896 49385 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1338576896 49388 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204
[startup+1.50037 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 5720
/proc/meminfo: memFree=30842412/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 198980 0 0 0 120 29 0 0 20 0 4 0 106308411 1338576896 199279 33554432000 4194304 16246674 140737009651504 140737009633408 13192029 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 326801 199292 907 2943 0 323695 0
[pid=5667/tid=5668] ppid=5664 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1338576896 199297 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1338576896 199302 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1338576896 199308 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204
[startup+3.10042 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 5720
/proc/meminfo: memFree=29751924/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 268263 0 0 0 271 38 0 0 20 0 4 0 106308411 1339625472 268562 33554432000 4194304 16246674 140737009651504 140737009633408 6844184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 327057 268562 911 2943 0 323951 0
[pid=5667/tid=5668] ppid=5664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1339625472 268562 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1339625472 268562 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1339625472 268562 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228
[startup+6.30043 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 5720
/proc/meminfo: memFree=29287440/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 268451 0 0 0 591 38 0 0 20 0 4 0 106308411 1340674048 268750 33554432000 4194304 16246674 140737009651504 140737009633408 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 327313 268753 915 2943 0 324207 0
[pid=5667/tid=5668] ppid=5664 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1340674048 268755 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1340674048 268759 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1340674048 268762 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252
[startup+12.7004 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 5720
/proc/meminfo: memFree=29272860/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 269547 0 0 0 1230 38 0 0 20 0 4 0 106308411 1344868352 269846 33554432000 4194304 16246674 140737009651504 140737009633408 6842322 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 328337 269846 915 2943 0 325231 0
[pid=5667/tid=5668] ppid=5664 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1344868352 269846 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1344868352 269846 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1344868352 269846 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348
[startup+25.5005 s]
/proc/loadavg: 2.02 2.05 2.00 3/183 5720
/proc/meminfo: memFree=29259492/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1327684 CPUtime=25.48 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 272968 0 0 0 2509 39 0 0 20 0 4 0 106308411 1359548416 273268 33554432000 4194304 16246674 140737009651504 140737009633408 5829905 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 331921 273268 915 2943 0 328815 0
[pid=5667/tid=5668] ppid=5664 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1359548416 273268 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1359548416 273268 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1359548416 273268 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1327684
[startup+51.1005 s]
/proc/loadavg: 2.09 2.06 2.00 3/183 5720
/proc/meminfo: memFree=29255096/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1327684 CPUtime=51.08 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 273139 0 0 0 5069 39 0 0 20 0 4 0 106308411 1359548416 273435 33554432000 4194304 16246674 140737009651504 140737009633408 5600224 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 331921 273435 917 2943 0 328815 0
[pid=5667/tid=5668] ppid=5664 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1359548416 273435 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1359548416 273435 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1359548416 273435 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1327684
[startup+102.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/184 5724
/proc/meminfo: memFree=29249628/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1327684 CPUtime=102.26 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 273161 0 0 0 10186 40 0 0 20 0 4 0 106308411 1359548416 273435 33554432000 4194304 16246674 140737009651504 140737009633408 5711496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 331921 273435 917 2943 0 328815 0
[pid=5667/tid=5668] ppid=5664 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1359548416 273435 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1359548416 273435 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1359548416 273435 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1327684
################
# More data... #
################
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1369668
[startup+1362.3 s]
/proc/loadavg: 2.02 2.10 2.06 3/183 5755
/proc/meminfo: memFree=29198048/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1369668 CPUtime=1361.89 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 283939 0 0 0 136119 70 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140737009633408 12483234 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 342417 283935 917 2943 0 339311 0
[pid=5667/tid=5668] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1369668
[startup+1422.3 s]
/proc/loadavg: 2.15 2.11 2.07 3/183 5756
/proc/meminfo: memFree=29197768/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1369668 CPUtime=1421.89 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 283939 0 0 0 142118 71 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140737009633408 5673957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 342417 283935 917 2943 0 339311 0
[pid=5667/tid=5668] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1369668
[startup+1482.3 s]
/proc/loadavg: 2.17 2.12 2.07 3/183 5758
/proc/meminfo: memFree=29198088/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1369668 CPUtime=1481.87 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 283939 0 0 0 148115 72 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140737009633408 5823765 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 342417 283935 917 2943 0 339311 0
[pid=5667/tid=5668] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1369668
[startup+1542.31 s]
/proc/loadavg: 2.21 2.13 2.08 4/183 5759
/proc/meminfo: memFree=29198216/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1369668 CPUtime=1541.87 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 283939 0 0 0 154113 74 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140737009633408 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 342417 283935 917 2943 0 339311 0
[pid=5667/tid=5668] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1369668
[startup+1602.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/183 5760
/proc/meminfo: memFree=29197220/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1369668 CPUtime=1601.85 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 283939 0 0 0 160111 74 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140737009633408 5589217 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 342417 283935 917 2943 0 339311 0
[pid=5667/tid=5668] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1369668
[startup+1662.3 s]
/proc/loadavg: 2.31 2.16 2.09 3/183 5761
/proc/meminfo: memFree=29197220/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1369668 CPUtime=1661.85 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 283939 0 0 0 166109 76 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140737009633408 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 342417 283935 917 2943 0 339311 0
[pid=5667/tid=5668] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1369668
[startup+1722.3 s]
/proc/loadavg: 2.31 2.17 2.10 3/183 5762
/proc/meminfo: memFree=29197084/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1369668 CPUtime=1721.84 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 283939 0 0 0 172107 77 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140737009633408 5666924 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 342417 283935 917 2943 0 339311 0
[pid=5667/tid=5668] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1369668
[startup+1782.3 s]
/proc/loadavg: 2.19 2.16 2.09 3/183 5764
/proc/meminfo: memFree=29194132/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1369668 CPUtime=1781.83 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 283939 0 0 0 178105 78 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140737009633408 5822240 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 342417 283935 917 2943 0 339311 0
[pid=5667/tid=5668] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1369668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 5764
/proc/meminfo: memFree=29187192/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1369668 CPUtime=1800.03 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 283939 0 0 0 179924 79 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140737009633408 12483212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 342417 283935 917 2943 0 339311 0
[pid=5667/tid=5668] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1369668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5667 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 5764
/proc/meminfo: memFree=29187192/32872528 swapFree=13600/559348
[pid=5667] ppid=5664 vsize=1369668 CPUtime=1800.03 cores=1,3,5,7
/proc/5667/stat : 5667 (toysat) R 5664 5667 1842 0 -1 4202496 283939 0 0 0 179924 79 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140737009633408 12483212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5667/statm: 342417 283935 917 2943 0 339311 0
[pid=5667/tid=5668] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5668/stat : 5668 (toysat) S 5664 5667 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470300683504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5667/tid=5669] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5669/stat : 5669 (toysat) S 5664 5667 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470290193648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5667/tid=5670] ppid=5664 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5667/task/5670/stat : 5670 (toysat) S 5664 5667 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106308411 1402540032 283935 33554432000 4194304 16246674 140737009651504 140470279720112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1369668
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.25
CPU system time (s): 0.790879
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1369668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.790879
maximum resident set size= 1135740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283939
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 324
involuntary context switches= 1877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66229 second user time and 6.86096 second system time
The end