0.00/0.00 c 2016-06-18T07:06:28+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-4101769-1466226388.opb"]
0.00/0.01 c use --random-gen="814318092 3745714030 2029181516 3146634690 1313110074 4213005475 3465508817 982648897 3962961784 2392610283 3989374428 1490117786 875007358 2746094372 669666452 3394095069 3983737579 476203529 1680598733 1006771186 1080808937 262616746 4122208612 2996549763 1757562424 3751063442 336355815 1467731079 1832567138 3069724787 1255291473 3838354857 2865273317 2550829621 1669844455 4265245591 2476206381 278742868 914132081 3046766722 2463532325 2369211855 591253622 577931214 1575102733 2208150507 2486773743 1082602115 679154708 4020178699 2355197581 3918545920 2245982000 174677248 3924180200 2521663643 3797900328 4112312773 2829305925 2438039807 3693431662 1404183408 2841238582 3073054945 866883174 839805694 3459747017 1686882642 1650967572 3322223736 2234555127 3624165846 1254281810 1450223258 4010865452 3214109556 765125867 2829168921 4242099586 910488750 4238699157 1155850397 2285330652 3414794274 2620399826 2392773210 2198619759 524325673 1501942189 553353255 3885097632 1209913291 2213482830 595485673 42781397 1438395439 413179542 2572435209 2205391660 2787097203 3306634507 2477819315 3376476843 1355644333 1585911978 750875354 70659253 447320918 1334950125 1653978832 2438148960 4092629424 504145377 409265115 1239103867 4139033527 3366000088 3526855655 3485723278 882145377 2149279158 3229719178 3007660978 3682335892 2701376855 1937624143 985024871 691960141 933515657 3681683778 2271119482 3699758652 2684941004 607946546 1651621180 2701998863 1645153 3743885267 1351751554 3155814039 3064571752 3853624526 2490032433 516684606 3313779743 2669072064 1644023396 1359164055 808740353 507508228 1597857110 3272896763 1311919173 1649225683 2292536632 1550745367 3478530598 101902000 2700365566 1706792085 3946108179 3705752763 3197611522 530563257 805955658 2998677811 3683737827 1738466628 1192100574 3219942840 2340117411 4098969969 2694531080 1694880353 1609699646 1101045057 468029674 1918169073 4050106822 1408726773 4158011438 601090322 3921843773 3478531487 3166976631 477785724 1616936452 2456789676 2200021593 2375911831 2477508270 268316120 2179706699 2216658611 2523998448 3201531060 250769645 787810336 3747262980 3690109759 2943253184 941258400 2069000485 2285909077 466475630 499360277 2162208333 3432242448 2651189853 2546350406 2158287883 2287526220 2442663316 2043933507 3231186410 325703825 1119401106 780174184 3075093682 2087227544 1037320773 2415840556 2681657161 3546222172 2473309173 2983781995 1427844024 4225482081 3653249906 224671433 1782615458 1331945584 3614304647 3805416812 3674152688 2369577680 3592789462 2890644792 1610567154 3278999647 3843579358 247658218 3757050893 704140544 4052864821 2498539107 2551954481 573684775 830025996 2366693561 2698687001 4133715024 1818984722 2959436431 1151178879 1491439631 255 362436" option to reproduce the execution
0.00/0.06 c #vars 4600
0.00/0.06 c #constraints 310
1.78/1.89 c BCD2: Hardening is enabled.
1.78/1.89 c BCD2: BiasedSearch is enabled.
1.78/1.89 c Solving starts ...
1.78/1.89 c ============================[ Search Statistics ]============================
1.78/1.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.78/1.89 c | | | | Limit GC | Var | Constra
1.78/1.89 c =============================================================================
1.78/1.89 c 0.0s | 0 | 0 | 0 | 1658 0 | 0 | 0
1.88/1.96 c 0.1s | 1 | 2664 | 100 | 1658 0 | 0 | 0
1.98/2.01 c 0.1s | 2 | 3830 | 250 | 1824 0 | 0 | 0
1.98/2.07 c 0.2s | 3 | 4106 | 475 | 2007 0 | 0 | 0
2.08/2.17 c 0.3s | 4 | 4527 | 813 | 2208 0 | 0 | 0
2.19/2.28 c 0.4s | 5 | 5226 | 1320 | 2429 0 | 0 | 0
2.38/2.42 c 0.5s | 6 | 6030 | 2081 | 2940 0 | 0 | 0
2.58/2.64 c 0.7s | 7 | 7210 | 3223 | 3235 1 | 0 | 0
2.99/3.02 c 1.1s | 8 | 8967 | 4936 | 3559 2 | 0 | 0
3.59/3.67 c 1.8s | 9 | 11598 | 7506 | 3915 3 | 0 | 0
5.29/5.33 c 3.4s | 10 | 15649 | 11361 | 4307 4 | 0 | 0
7.29/7.37 c 5.5s | 10 | 21347 | 16861 | 4307 7 | 0 | 0
7.39/7.47 c 5.6s | 11 | 21631 | 17144 | 4738 7 | 0 | 0
9.39/9.47 c 7.6s | 11 | 29330 | 21244 | 4738 7 | 0 | 0
11.49/11.53 c 9.6s | 11 | 32795 | 24544 | 4738 8 | 0 | 0
12.39/12.47 c 10.6s | 12 | 34120 | 25819 | 5212 8 | 0 | 0
14.40/14.49 c 12.6s | 12 | 40941 | 29319 | 5212 9 | 0 | 0
16.50/16.54 c 14.7s | 12 | 44265 | 32619 | 5212 10 | 0 | 0
16.89/16.99 c 15.1s | 12 | 45413 | 33235 | 5212 10 | 0 | 0
16.89/16.99 c #cpu_time = 15.051s
16.89/16.99 c #wall_clock_time = 15.091s
16.89/16.99 c #decision = 45413
16.89/16.99 c #random_decision = 211
16.89/16.99 c #conflict = 33235
16.89/16.99 c #restart = 12
16.89/16.99 o 505297
16.89/16.99 c BCD2: updating upper bound: 527152 -> 505296
16.99/17.00 c BCD2: 0 <= obj <= 505296
16.99/17.00 c BCD2: #cores=0, #unrelaxed=3424, #relaxed=0, #hardened=0
16.99/17.00 c BCD2: #sat=1 #unsat=1 bias=1/2
16.99/17.00 c Solving starts ...
16.99/17.00 c ============================[ Search Statistics ]============================
16.99/17.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
16.99/17.00 c | | | | Limit GC | Var | Constra
16.99/17.00 c =============================================================================
16.99/17.00 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
17.39/17.45 c 0.5s | 0 | 2067 | 0 | 5212 1 | 0 | 0
17.39/17.45 c #cpu_time = 0.448s
17.39/17.45 c #wall_clock_time = 0.449s
17.39/17.45 c #decision = 2067
17.39/17.45 c #random_decision = 0
17.39/17.45 c #conflict = 0
17.39/17.45 c #restart = 0
17.39/17.45 c BCD2: found a new core of size 18: cost of the new core is >=1
17.39/17.45 c lower bound updated to 1
17.39/17.45 c BCD2: 1 <= obj <= 505296
17.39/17.45 c BCD2: #cores=1, #unrelaxed=3406, #relaxed=18, #hardened=0
17.39/17.45 c BCD2: #sat=1 #unsat=2 bias=2/3
17.39/17.45 c Solving starts ...
17.39/17.45 c ============================[ Search Statistics ]============================
17.39/17.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.39/17.45 c | | | | Limit GC | Var | Constra
17.39/17.45 c =============================================================================
17.39/17.45 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
17.49/17.50 c 0.0s | 0 | 2076 | 0 | 5212 0 | 0 | 0
17.49/17.50 c #cpu_time = 0.044s
17.49/17.50 c #wall_clock_time = 0.044s
17.49/17.50 c #decision = 2076
17.49/17.50 c #random_decision = 0
17.49/17.50 c #conflict = 0
17.49/17.50 c #restart = 0
17.49/17.50 c BCD2: found a new core of size 17: cost of the new core is >=1
17.49/17.50 c lower bound updated to 2
17.49/17.52 c BCD2: 2 <= obj <= 505296
17.49/17.52 c BCD2: #cores=2, #unrelaxed=3389, #relaxed=35, #hardened=0
17.49/17.52 c BCD2: #sat=1 #unsat=3 bias=3/4
17.49/17.52 c Solving starts ...
17.49/17.52 c ============================[ Search Statistics ]============================
17.49/17.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.49/17.52 c | | | | Limit GC | Var | Constra
17.49/17.52 c =============================================================================
17.49/17.52 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
17.49/17.57 c 0.0s | 0 | 2085 | 0 | 5212 0 | 0 | 0
17.49/17.57 c #cpu_time = 0.043s
17.49/17.57 c #wall_clock_time = 0.043s
17.49/17.57 c #decision = 2085
17.49/17.57 c #random_decision = 0
17.49/17.57 c #conflict = 0
17.49/17.57 c #restart = 0
17.49/17.57 c BCD2: found a new core of size 31: cost of the new core is >=1
17.49/17.57 c lower bound updated to 3
17.49/17.57 c BCD2: 3 <= obj <= 505296
17.49/17.57 c BCD2: #cores=3, #unrelaxed=3358, #relaxed=66, #hardened=0
17.49/17.57 c BCD2: #sat=1 #unsat=4 bias=4/5
17.49/17.57 c Solving starts ...
17.49/17.57 c ============================[ Search Statistics ]============================
17.49/17.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.49/17.57 c | | | | Limit GC | Var | Constra
17.49/17.57 c =============================================================================
17.49/17.57 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
17.59/17.62 c 0.0s | 0 | 2072 | 0 | 5212 0 | 0 | 0
17.59/17.62 c #cpu_time = 0.043s
17.59/17.62 c #wall_clock_time = 0.044s
17.59/17.62 c #decision = 2072
17.59/17.62 c #random_decision = 0
17.59/17.62 c #conflict = 0
17.59/17.62 c #restart = 0
17.59/17.62 c BCD2: found a new core of size 156: cost of the new core is >=1
17.59/17.62 c lower bound updated to 4
17.59/17.62 c BCD2: 4 <= obj <= 505296
17.59/17.62 c BCD2: #cores=4, #unrelaxed=3202, #relaxed=222, #hardened=0
17.59/17.62 c BCD2: #sat=1 #unsat=5 bias=5/6
17.59/17.62 c Solving starts ...
17.59/17.62 c ============================[ Search Statistics ]============================
17.59/17.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.59/17.62 c | | | | Limit GC | Var | Constra
17.59/17.62 c =============================================================================
17.59/17.62 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
17.59/17.67 c 0.0s | 0 | 2001 | 0 | 5212 0 | 0 | 0
17.59/17.67 c #cpu_time = 0.042s
17.59/17.67 c #wall_clock_time = 0.042s
17.59/17.67 c #decision = 2001
17.59/17.67 c #random_decision = 0
17.59/17.67 c #conflict = 0
17.59/17.67 c #restart = 0
17.59/17.67 c BCD2: found a new core of size 96: cost of the new core is >=1
17.59/17.67 c lower bound updated to 5
17.59/17.67 c BCD2: 5 <= obj <= 505296
17.59/17.67 c BCD2: #cores=5, #unrelaxed=3106, #relaxed=318, #hardened=0
17.59/17.67 c BCD2: #sat=1 #unsat=6 bias=6/7
17.59/17.67 c Solving starts ...
17.59/17.67 c ============================[ Search Statistics ]============================
17.59/17.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.59/17.67 c | | | | Limit GC | Var | Constra
17.59/17.67 c =============================================================================
17.59/17.67 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
17.69/17.71 c 0.0s | 0 | 1928 | 0 | 5212 0 | 0 | 0
17.69/17.71 c #cpu_time = 0.041s
17.69/17.71 c #wall_clock_time = 0.042s
17.69/17.71 c #decision = 1928
17.69/17.71 c #random_decision = 0
17.69/17.71 c #conflict = 0
17.69/17.71 c #restart = 0
17.69/17.71 c BCD2: found a new core of size 41: cost of the new core is >=1
17.69/17.71 c lower bound updated to 6
17.69/17.72 c BCD2: 6 <= obj <= 505296
17.69/17.72 c BCD2: #cores=6, #unrelaxed=3065, #relaxed=359, #hardened=0
17.69/17.72 c BCD2: #sat=1 #unsat=7 bias=7/8
17.69/17.72 c Solving starts ...
17.69/17.72 c ============================[ Search Statistics ]============================
17.69/17.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.69/17.72 c | | | | Limit GC | Var | Constra
17.69/17.72 c =============================================================================
17.69/17.72 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
17.69/17.76 c 0.0s | 0 | 1908 | 0 | 5212 0 | 0 | 0
17.69/17.76 c #cpu_time = 0.041s
17.69/17.76 c #wall_clock_time = 0.041s
17.69/17.76 c #decision = 1908
17.69/17.76 c #random_decision = 0
17.69/17.76 c #conflict = 0
17.69/17.76 c #restart = 0
17.69/17.76 c BCD2: found a new core of size 166: cost of the new core is >=1
17.69/17.76 c lower bound updated to 7
17.69/17.76 c BCD2: 7 <= obj <= 505296
17.69/17.76 c BCD2: #cores=7, #unrelaxed=2899, #relaxed=525, #hardened=0
17.69/17.76 c BCD2: #sat=1 #unsat=8 bias=8/9
17.69/17.77 c Solving starts ...
17.69/17.77 c ============================[ Search Statistics ]============================
17.69/17.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.69/17.77 c | | | | Limit GC | Var | Constra
17.69/17.77 c =============================================================================
17.69/17.77 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
17.79/17.81 c 0.0s | 0 | 1833 | 0 | 5212 0 | 0 | 0
17.79/17.81 c #cpu_time = 0.042s
17.79/17.81 c #wall_clock_time = 0.042s
17.79/17.81 c #decision = 1833
17.79/17.81 c #random_decision = 0
17.79/17.81 c #conflict = 0
17.79/17.81 c #restart = 0
17.79/17.81 c BCD2: found a new core of size 111: cost of the new core is >=1
17.79/17.81 c lower bound updated to 8
17.79/17.81 c BCD2: 8 <= obj <= 505296
17.79/17.81 c BCD2: #cores=8, #unrelaxed=2788, #relaxed=636, #hardened=0
17.79/17.81 c BCD2: #sat=1 #unsat=9 bias=9/10
17.79/17.82 c Solving starts ...
17.79/17.82 c ============================[ Search Statistics ]============================
17.79/17.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.79/17.82 c | | | | Limit GC | Var | Constra
17.79/17.82 c =============================================================================
17.79/17.82 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
17.79/17.86 c 0.0s | 0 | 1759 | 0 | 5212 0 | 0 | 0
17.79/17.86 c #cpu_time = 0.040s
17.79/17.86 c #wall_clock_time = 0.040s
17.79/17.86 c #decision = 1759
17.79/17.86 c #random_decision = 0
17.79/17.86 c #conflict = 0
17.79/17.86 c #restart = 0
17.79/17.86 c BCD2: found a new core of size 26: cost of the new core is >=1
17.79/17.86 c lower bound updated to 9
17.79/17.86 c BCD2: 9 <= obj <= 505296
17.79/17.86 c BCD2: #cores=9, #unrelaxed=2762, #relaxed=662, #hardened=0
17.79/17.86 c BCD2: #sat=1 #unsat=10 bias=10/11
17.79/17.87 c Solving starts ...
17.79/17.87 c ============================[ Search Statistics ]============================
17.79/17.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.79/17.87 c | | | | Limit GC | Var | Constra
17.79/17.87 c =============================================================================
17.79/17.87 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
17.89/17.91 c 0.0s | 0 | 1750 | 0 | 5212 0 | 0 | 0
17.89/17.91 c #cpu_time = 0.040s
17.89/17.91 c #wall_clock_time = 0.040s
17.89/17.91 c #decision = 1750
17.89/17.91 c #random_decision = 0
17.89/17.91 c #conflict = 0
17.89/17.91 c #restart = 0
17.89/17.91 c BCD2: found a new core of size 140: cost of the new core is >=1
17.89/17.91 c lower bound updated to 10
17.89/17.91 c BCD2: 10 <= obj <= 505296
17.89/17.91 c BCD2: #cores=10, #unrelaxed=2622, #relaxed=802, #hardened=0
17.89/17.91 c BCD2: #sat=1 #unsat=11 bias=11/12
17.89/17.91 c Solving starts ...
17.89/17.91 c ============================[ Search Statistics ]============================
17.89/17.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.89/17.91 c | | | | Limit GC | Var | Constra
17.89/17.91 c =============================================================================
17.89/17.91 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
17.89/17.95 c 0.0s | 0 | 1688 | 0 | 5212 0 | 0 | 0
17.89/17.95 c #cpu_time = 0.040s
17.89/17.95 c #wall_clock_time = 0.040s
17.89/17.95 c #decision = 1688
17.89/17.95 c #random_decision = 0
17.89/17.95 c #conflict = 0
17.89/17.95 c #restart = 0
17.89/17.95 c BCD2: found a new core of size 96: cost of the new core is >=1
17.89/17.95 c lower bound updated to 11
17.89/17.96 c BCD2: 11 <= obj <= 505296
17.89/17.96 c BCD2: #cores=11, #unrelaxed=2526, #relaxed=898, #hardened=0
17.89/17.96 c BCD2: #sat=1 #unsat=12 bias=12/13
17.89/17.96 c Solving starts ...
17.89/17.96 c ============================[ Search Statistics ]============================
17.89/17.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.89/17.96 c | | | | Limit GC | Var | Constra
17.89/17.96 c =============================================================================
17.89/17.96 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
17.99/18.00 c 0.0s | 0 | 1597 | 0 | 5212 0 | 0 | 0
17.99/18.00 c #cpu_time = 0.039s
17.99/18.00 c #wall_clock_time = 0.039s
17.99/18.00 c #decision = 1597
17.99/18.00 c #random_decision = 0
17.99/18.00 c #conflict = 0
17.99/18.00 c #restart = 0
17.99/18.00 c BCD2: found a new core of size 17: cost of the new core is >=1
17.99/18.00 c lower bound updated to 12
17.99/18.00 c BCD2: 12 <= obj <= 505296
17.99/18.00 c BCD2: #cores=12, #unrelaxed=2509, #relaxed=915, #hardened=0
17.99/18.00 c BCD2: #sat=1 #unsat=13 bias=13/14
17.99/18.01 c Solving starts ...
17.99/18.01 c ============================[ Search Statistics ]============================
17.99/18.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.99/18.01 c | | | | Limit GC | Var | Constra
17.99/18.01 c =============================================================================
17.99/18.01 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
17.99/18.05 c 0.0s | 0 | 1634 | 0 | 5212 0 | 0 | 0
17.99/18.05 c #cpu_time = 0.040s
17.99/18.05 c #wall_clock_time = 0.040s
17.99/18.05 c #decision = 1634
17.99/18.05 c #random_decision = 0
17.99/18.05 c #conflict = 0
17.99/18.05 c #restart = 0
17.99/18.05 c BCD2: found a new core of size 17: cost of the new core is >=1
17.99/18.05 c lower bound updated to 13
17.99/18.05 c BCD2: 13 <= obj <= 505296
17.99/18.05 c BCD2: #cores=13, #unrelaxed=2492, #relaxed=932, #hardened=0
17.99/18.05 c BCD2: #sat=1 #unsat=14 bias=14/15
17.99/18.06 c Solving starts ...
17.99/18.06 c ============================[ Search Statistics ]============================
17.99/18.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.99/18.06 c | | | | Limit GC | Var | Constra
17.99/18.06 c =============================================================================
17.99/18.06 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.08/18.10 c 0.0s | 0 | 1623 | 0 | 5212 0 | 0 | 0
18.08/18.10 c #cpu_time = 0.039s
18.08/18.10 c #wall_clock_time = 0.039s
18.08/18.10 c #decision = 1623
18.08/18.10 c #random_decision = 0
18.08/18.10 c #conflict = 0
18.08/18.10 c #restart = 0
18.08/18.10 c BCD2: found a new core of size 102: cost of the new core is >=1
18.08/18.10 c lower bound updated to 14
18.08/18.10 c BCD2: 14 <= obj <= 505296
18.08/18.10 c BCD2: #cores=14, #unrelaxed=2390, #relaxed=1034, #hardened=0
18.08/18.10 c BCD2: #sat=1 #unsat=15 bias=15/16
18.08/18.11 c Solving starts ...
18.08/18.11 c ============================[ Search Statistics ]============================
18.08/18.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.08/18.11 c | | | | Limit GC | Var | Constra
18.08/18.11 c =============================================================================
18.08/18.11 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.08/18.15 c 0.0s | 0 | 1565 | 0 | 5212 0 | 0 | 0
18.08/18.15 c #cpu_time = 0.040s
18.08/18.15 c #wall_clock_time = 0.040s
18.08/18.15 c #decision = 1565
18.08/18.15 c #random_decision = 0
18.08/18.15 c #conflict = 0
18.08/18.15 c #restart = 0
18.08/18.15 c BCD2: found a new core of size 49: cost of the new core is >=1
18.08/18.15 c lower bound updated to 15
18.08/18.15 c BCD2: 15 <= obj <= 505296
18.08/18.15 c BCD2: #cores=15, #unrelaxed=2341, #relaxed=1083, #hardened=0
18.08/18.15 c BCD2: #sat=1 #unsat=16 bias=16/17
18.08/18.15 c Solving starts ...
18.08/18.15 c ============================[ Search Statistics ]============================
18.08/18.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.08/18.15 c | | | | Limit GC | Var | Constra
18.08/18.15 c =============================================================================
18.08/18.15 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.08/18.19 c 0.0s | 0 | 1530 | 0 | 5212 0 | 0 | 0
18.08/18.19 c #cpu_time = 0.039s
18.08/18.19 c #wall_clock_time = 0.039s
18.08/18.19 c #decision = 1530
18.08/18.19 c #random_decision = 0
18.08/18.19 c #conflict = 0
18.08/18.19 c #restart = 0
18.08/18.19 c BCD2: found a new core of size 52: cost of the new core is >=1
18.08/18.19 c lower bound updated to 16
18.18/18.20 c BCD2: 16 <= obj <= 505296
18.18/18.20 c BCD2: #cores=16, #unrelaxed=2289, #relaxed=1135, #hardened=0
18.18/18.20 c BCD2: #sat=1 #unsat=17 bias=17/18
18.18/18.21 c Solving starts ...
18.18/18.21 c ============================[ Search Statistics ]============================
18.18/18.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.18/18.21 c | | | | Limit GC | Var | Constra
18.18/18.21 c =============================================================================
18.18/18.21 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.18/18.25 c 0.0s | 0 | 1495 | 0 | 5212 0 | 0 | 0
18.18/18.25 c #cpu_time = 0.039s
18.18/18.25 c #wall_clock_time = 0.039s
18.18/18.25 c #decision = 1495
18.18/18.25 c #random_decision = 0
18.18/18.25 c #conflict = 0
18.18/18.25 c #restart = 0
18.18/18.25 c BCD2: found a new core of size 22: cost of the new core is >=1
18.18/18.25 c lower bound updated to 17
18.18/18.25 c BCD2: 17 <= obj <= 505296
18.18/18.25 c BCD2: #cores=17, #unrelaxed=2267, #relaxed=1157, #hardened=0
18.18/18.25 c BCD2: #sat=1 #unsat=18 bias=18/19
18.18/18.25 c Solving starts ...
18.18/18.25 c ============================[ Search Statistics ]============================
18.18/18.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.18/18.25 c | | | | Limit GC | Var | Constra
18.18/18.25 c =============================================================================
18.18/18.25 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.18/18.29 c 0.0s | 0 | 1475 | 0 | 5212 0 | 0 | 0
18.18/18.29 c #cpu_time = 0.040s
18.18/18.29 c #wall_clock_time = 0.040s
18.18/18.29 c #decision = 1475
18.18/18.29 c #random_decision = 0
18.18/18.29 c #conflict = 0
18.18/18.29 c #restart = 0
18.18/18.29 c BCD2: found a new core of size 15: cost of the new core is >=1
18.18/18.29 c lower bound updated to 18
18.18/18.30 c BCD2: 18 <= obj <= 505296
18.18/18.30 c BCD2: #cores=18, #unrelaxed=2252, #relaxed=1172, #hardened=0
18.18/18.30 c BCD2: #sat=1 #unsat=19 bias=19/20
18.28/18.30 c Solving starts ...
18.28/18.30 c ============================[ Search Statistics ]============================
18.28/18.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.28/18.30 c | | | | Limit GC | Var | Constra
18.28/18.30 c =============================================================================
18.28/18.30 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.28/18.34 c 0.0s | 0 | 1491 | 0 | 5212 0 | 0 | 0
18.28/18.34 c #cpu_time = 0.040s
18.28/18.34 c #wall_clock_time = 0.040s
18.28/18.34 c #decision = 1491
18.28/18.34 c #random_decision = 0
18.28/18.34 c #conflict = 0
18.28/18.34 c #restart = 0
18.28/18.34 c BCD2: found a new core of size 115: cost of the new core is >=1
18.28/18.34 c lower bound updated to 19
18.28/18.34 c BCD2: 19 <= obj <= 505296
18.28/18.34 c BCD2: #cores=19, #unrelaxed=2137, #relaxed=1287, #hardened=0
18.28/18.34 c BCD2: #sat=1 #unsat=20 bias=20/21
18.28/18.35 c Solving starts ...
18.28/18.35 c ============================[ Search Statistics ]============================
18.28/18.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.28/18.35 c | | | | Limit GC | Var | Constra
18.28/18.35 c =============================================================================
18.28/18.35 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.28/18.39 c 0.0s | 0 | 1407 | 0 | 5212 0 | 0 | 0
18.28/18.39 c #cpu_time = 0.039s
18.28/18.39 c #wall_clock_time = 0.039s
18.28/18.39 c #decision = 1407
18.28/18.39 c #random_decision = 0
18.28/18.39 c #conflict = 0
18.28/18.39 c #restart = 0
18.28/18.39 c BCD2: found a new core of size 130: cost of the new core is >=1
18.28/18.39 c lower bound updated to 20
18.38/18.40 c BCD2: 20 <= obj <= 505296
18.38/18.40 c BCD2: #cores=20, #unrelaxed=2007, #relaxed=1417, #hardened=0
18.38/18.40 c BCD2: #sat=1 #unsat=21 bias=21/22
18.38/18.40 c Solving starts ...
18.38/18.40 c ============================[ Search Statistics ]============================
18.38/18.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.38/18.40 c | | | | Limit GC | Var | Constra
18.38/18.40 c =============================================================================
18.38/18.40 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.38/18.44 c 0.0s | 0 | 1341 | 0 | 5212 0 | 0 | 0
18.38/18.44 c #cpu_time = 0.038s
18.38/18.44 c #wall_clock_time = 0.038s
18.38/18.44 c #decision = 1341
18.38/18.44 c #random_decision = 0
18.38/18.44 c #conflict = 0
18.38/18.44 c #restart = 0
18.38/18.44 c BCD2: found a new core of size 93: cost of the new core is >=1
18.38/18.44 c lower bound updated to 21
18.38/18.45 c BCD2: 21 <= obj <= 505296
18.38/18.45 c BCD2: #cores=21, #unrelaxed=1914, #relaxed=1510, #hardened=0
18.38/18.45 c BCD2: #sat=1 #unsat=22 bias=22/23
18.38/18.45 c Solving starts ...
18.38/18.45 c ============================[ Search Statistics ]============================
18.38/18.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.38/18.45 c | | | | Limit GC | Var | Constra
18.38/18.45 c =============================================================================
18.38/18.45 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.38/18.49 c 0.0s | 0 | 1324 | 0 | 5212 0 | 0 | 0
18.38/18.49 c #cpu_time = 0.038s
18.38/18.49 c #wall_clock_time = 0.038s
18.38/18.49 c #decision = 1324
18.38/18.49 c #random_decision = 0
18.38/18.49 c #conflict = 0
18.38/18.49 c #restart = 0
18.38/18.49 c BCD2: found a new core of size 49: cost of the new core is >=1
18.38/18.49 c lower bound updated to 22
18.38/18.49 c BCD2: 22 <= obj <= 505296
18.38/18.49 c BCD2: #cores=22, #unrelaxed=1865, #relaxed=1559, #hardened=0
18.38/18.49 c BCD2: #sat=1 #unsat=23 bias=23/24
18.48/18.50 c Solving starts ...
18.48/18.50 c ============================[ Search Statistics ]============================
18.48/18.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.48/18.50 c | | | | Limit GC | Var | Constra
18.48/18.50 c =============================================================================
18.48/18.50 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.48/18.54 c 0.0s | 0 | 1303 | 0 | 5212 0 | 0 | 0
18.48/18.54 c #cpu_time = 0.039s
18.48/18.54 c #wall_clock_time = 0.039s
18.48/18.54 c #decision = 1303
18.48/18.54 c #random_decision = 0
18.48/18.54 c #conflict = 0
18.48/18.54 c #restart = 0
18.48/18.54 c BCD2: found a new core of size 31: cost of the new core is >=1
18.48/18.54 c lower bound updated to 23
18.48/18.55 c BCD2: 23 <= obj <= 505296
18.48/18.55 c BCD2: #cores=23, #unrelaxed=1834, #relaxed=1590, #hardened=0
18.48/18.55 c BCD2: #sat=1 #unsat=24 bias=24/25
18.48/18.55 c Solving starts ...
18.48/18.55 c ============================[ Search Statistics ]============================
18.48/18.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.48/18.55 c | | | | Limit GC | Var | Constra
18.48/18.55 c =============================================================================
18.48/18.55 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.48/18.60 c 0.0s | 0 | 1344 | 0 | 5212 0 | 0 | 0
18.48/18.60 c #cpu_time = 0.039s
18.48/18.60 c #wall_clock_time = 0.039s
18.48/18.60 c #decision = 1344
18.48/18.60 c #random_decision = 0
18.48/18.60 c #conflict = 0
18.48/18.60 c #restart = 0
18.48/18.60 c BCD2: found a new core of size 57: cost of the new core is >=1
18.48/18.60 c lower bound updated to 24
18.58/18.60 c BCD2: 24 <= obj <= 505296
18.58/18.60 c BCD2: #cores=24, #unrelaxed=1777, #relaxed=1647, #hardened=0
18.58/18.60 c BCD2: #sat=1 #unsat=25 bias=25/26
18.58/18.60 c Solving starts ...
18.58/18.60 c ============================[ Search Statistics ]============================
18.58/18.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.58/18.60 c | | | | Limit GC | Var | Constra
18.58/18.60 c =============================================================================
18.58/18.60 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.58/18.64 c 0.0s | 0 | 1320 | 0 | 5212 0 | 0 | 0
18.58/18.64 c #cpu_time = 0.039s
18.58/18.64 c #wall_clock_time = 0.039s
18.58/18.64 c #decision = 1320
18.58/18.64 c #random_decision = 0
18.58/18.64 c #conflict = 0
18.58/18.64 c #restart = 0
18.58/18.64 c BCD2: found a new core of size 59: cost of the new core is >=1
18.58/18.64 c lower bound updated to 25
18.58/18.65 c BCD2: 25 <= obj <= 505296
18.58/18.65 c BCD2: #cores=25, #unrelaxed=1718, #relaxed=1706, #hardened=0
18.58/18.65 c BCD2: #sat=1 #unsat=26 bias=26/27
18.58/18.65 c Solving starts ...
18.58/18.65 c ============================[ Search Statistics ]============================
18.58/18.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.58/18.65 c | | | | Limit GC | Var | Constra
18.58/18.65 c =============================================================================
18.58/18.65 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.58/18.69 c 0.0s | 0 | 1292 | 0 | 5212 0 | 0 | 0
18.58/18.69 c #cpu_time = 0.039s
18.58/18.69 c #wall_clock_time = 0.039s
18.58/18.69 c #decision = 1292
18.58/18.69 c #random_decision = 0
18.58/18.69 c #conflict = 0
18.58/18.69 c #restart = 0
18.58/18.69 c BCD2: found a new core of size 59: cost of the new core is >=1
18.58/18.69 c lower bound updated to 26
18.58/18.69 c BCD2: 26 <= obj <= 505296
18.58/18.69 c BCD2: #cores=26, #unrelaxed=1659, #relaxed=1765, #hardened=0
18.58/18.69 c BCD2: #sat=1 #unsat=27 bias=27/28
18.58/18.70 c Solving starts ...
18.58/18.70 c ============================[ Search Statistics ]============================
18.58/18.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.58/18.70 c | | | | Limit GC | Var | Constra
18.58/18.70 c =============================================================================
18.69/18.71 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.69/18.75 c 0.0s | 0 | 1245 | 1 | 5212 0 | 0 | 0
18.69/18.75 c #cpu_time = 0.039s
18.69/18.75 c #wall_clock_time = 0.039s
18.69/18.75 c #decision = 1245
18.69/18.75 c #random_decision = 0
18.69/18.75 c #conflict = 1
18.69/18.75 c #restart = 0
18.69/18.75 c BCD2: found a new core of size 140: cost of the new core is >=1
18.69/18.75 c lower bound updated to 27
18.69/18.75 c BCD2: 27 <= obj <= 505296
18.69/18.75 c BCD2: #cores=27, #unrelaxed=1519, #relaxed=1905, #hardened=0
18.69/18.75 c BCD2: #sat=1 #unsat=28 bias=28/29
18.69/18.76 c Solving starts ...
18.69/18.76 c ============================[ Search Statistics ]============================
18.69/18.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.69/18.76 c | | | | Limit GC | Var | Constra
18.69/18.76 c =============================================================================
18.69/18.76 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.79/18.80 c 0.0s | 0 | 1201 | 1 | 5212 0 | 0 | 0
18.79/18.80 c #cpu_time = 0.041s
18.79/18.80 c #wall_clock_time = 0.041s
18.79/18.80 c #decision = 1201
18.79/18.80 c #random_decision = 0
18.79/18.80 c #conflict = 1
18.79/18.80 c #restart = 0
18.79/18.80 c BCD2: found a new core of size 123: cost of the new core is >=1
18.79/18.80 c lower bound updated to 28
18.79/18.81 c BCD2: 28 <= obj <= 505296
18.79/18.81 c BCD2: #cores=28, #unrelaxed=1396, #relaxed=2028, #hardened=0
18.79/18.81 c BCD2: #sat=1 #unsat=29 bias=29/30
18.79/18.81 c Solving starts ...
18.79/18.81 c ============================[ Search Statistics ]============================
18.79/18.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.79/18.81 c | | | | Limit GC | Var | Constra
18.79/18.81 c =============================================================================
18.79/18.81 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.79/18.85 c 0.0s | 0 | 1164 | 0 | 5212 0 | 0 | 0
18.79/18.85 c #cpu_time = 0.039s
18.79/18.85 c #wall_clock_time = 0.039s
18.79/18.85 c #decision = 1164
18.79/18.85 c #random_decision = 0
18.79/18.85 c #conflict = 0
18.79/18.85 c #restart = 0
18.79/18.85 c BCD2: found a new core of size 27: cost of the new core is >=1
18.79/18.85 c lower bound updated to 29
18.79/18.85 c BCD2: 29 <= obj <= 505296
18.79/18.85 c BCD2: #cores=29, #unrelaxed=1369, #relaxed=2055, #hardened=0
18.79/18.85 c BCD2: #sat=1 #unsat=30 bias=30/31
18.79/18.86 c Solving starts ...
18.79/18.86 c ============================[ Search Statistics ]============================
18.79/18.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.79/18.86 c | | | | Limit GC | Var | Constra
18.79/18.86 c =============================================================================
18.79/18.86 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.88/18.90 c 0.0s | 0 | 1163 | 0 | 5212 0 | 0 | 0
18.88/18.90 c #cpu_time = 0.039s
18.88/18.90 c #wall_clock_time = 0.039s
18.88/18.90 c #decision = 1163
18.88/18.90 c #random_decision = 0
18.88/18.90 c #conflict = 0
18.88/18.90 c #restart = 0
18.88/18.90 c BCD2: found a new core of size 52: cost of the new core is >=1
18.88/18.90 c lower bound updated to 30
18.88/18.92 c BCD2: 30 <= obj <= 505296
18.88/18.92 c BCD2: #cores=30, #unrelaxed=1317, #relaxed=2107, #hardened=0
18.88/18.92 c BCD2: #sat=1 #unsat=31 bias=31/32
18.88/18.92 c Solving starts ...
18.88/18.92 c ============================[ Search Statistics ]============================
18.88/18.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.88/18.92 c | | | | Limit GC | Var | Constra
18.88/18.92 c =============================================================================
18.88/18.92 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.88/18.96 c 0.0s | 0 | 1138 | 0 | 5212 0 | 0 | 0
18.88/18.96 c #cpu_time = 0.039s
18.88/18.96 c #wall_clock_time = 0.039s
18.88/18.96 c #decision = 1138
18.88/18.96 c #random_decision = 0
18.88/18.96 c #conflict = 0
18.88/18.96 c #restart = 0
18.88/18.96 c BCD2: found a new core of size 47: cost of the new core is >=1
18.88/18.96 c lower bound updated to 31
18.88/18.96 c BCD2: 31 <= obj <= 505296
18.88/18.96 c BCD2: #cores=31, #unrelaxed=1270, #relaxed=2154, #hardened=0
18.88/18.96 c BCD2: #sat=1 #unsat=32 bias=32/33
18.88/18.97 c Solving starts ...
18.88/18.97 c ============================[ Search Statistics ]============================
18.88/18.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.88/18.97 c | | | | Limit GC | Var | Constra
18.88/18.97 c =============================================================================
18.88/18.97 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.98/19.01 c 0.0s | 0 | 1131 | 0 | 5212 0 | 0 | 0
18.98/19.01 c #cpu_time = 0.039s
18.98/19.01 c #wall_clock_time = 0.039s
18.98/19.01 c #decision = 1131
18.98/19.01 c #random_decision = 0
18.98/19.01 c #conflict = 0
18.98/19.01 c #restart = 0
18.98/19.01 c BCD2: found a new core of size 57: cost of the new core is >=1
18.98/19.01 c lower bound updated to 32
18.98/19.01 c BCD2: 32 <= obj <= 505296
18.98/19.01 c BCD2: #cores=32, #unrelaxed=1213, #relaxed=2211, #hardened=0
18.98/19.01 c BCD2: #sat=1 #unsat=33 bias=33/34
18.98/19.02 c Solving starts ...
18.98/19.02 c ============================[ Search Statistics ]============================
18.98/19.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.98/19.02 c | | | | Limit GC | Var | Constra
18.98/19.02 c =============================================================================
18.98/19.02 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
18.98/19.06 c 0.0s | 0 | 1107 | 0 | 5212 0 | 0 | 0
18.98/19.06 c #cpu_time = 0.039s
18.98/19.06 c #wall_clock_time = 0.039s
18.98/19.06 c #decision = 1107
18.98/19.06 c #random_decision = 0
18.98/19.06 c #conflict = 0
18.98/19.06 c #restart = 0
18.98/19.06 c BCD2: found a new core of size 59: cost of the new core is >=1
18.98/19.06 c lower bound updated to 33
18.98/19.07 c BCD2: 33 <= obj <= 505296
18.98/19.07 c BCD2: #cores=33, #unrelaxed=1154, #relaxed=2270, #hardened=0
18.98/19.07 c BCD2: #sat=1 #unsat=34 bias=34/35
18.98/19.08 c Solving starts ...
18.98/19.08 c ============================[ Search Statistics ]============================
18.98/19.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.98/19.08 c | | | | Limit GC | Var | Constra
18.98/19.08 c =============================================================================
18.98/19.08 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
19.08/19.12 c 0.0s | 0 | 1069 | 0 | 5212 0 | 0 | 0
19.08/19.12 c #cpu_time = 0.039s
19.08/19.12 c #wall_clock_time = 0.039s
19.08/19.12 c #decision = 1069
19.08/19.12 c #random_decision = 0
19.08/19.12 c #conflict = 0
19.08/19.12 c #restart = 0
19.08/19.12 c BCD2: found a new core of size 49: cost of the new core is >=1
19.08/19.12 c lower bound updated to 34
19.08/19.12 c BCD2: 34 <= obj <= 505296
19.08/19.12 c BCD2: #cores=34, #unrelaxed=1105, #relaxed=2319, #hardened=0
19.08/19.12 c BCD2: #sat=1 #unsat=35 bias=35/36
19.08/19.13 c Solving starts ...
19.08/19.13 c ============================[ Search Statistics ]============================
19.08/19.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
19.08/19.13 c | | | | Limit GC | Var | Constra
19.08/19.13 c =============================================================================
19.08/19.13 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
19.08/19.17 c 0.0s | 0 | 1063 | 0 | 5212 0 | 0 | 0
19.08/19.17 c #cpu_time = 0.039s
19.08/19.17 c #wall_clock_time = 0.039s
19.08/19.17 c #decision = 1063
19.08/19.17 c #random_decision = 0
19.08/19.17 c #conflict = 0
19.08/19.17 c #restart = 0
19.08/19.17 c BCD2: found a new core of size 59: cost of the new core is >=1
19.08/19.17 c lower bound updated to 35
19.08/19.17 c BCD2: 35 <= obj <= 505296
19.08/19.17 c BCD2: #cores=35, #unrelaxed=1046, #relaxed=2378, #hardened=0
19.08/19.17 c BCD2: #sat=1 #unsat=36 bias=36/37
19.08/19.18 c Solving starts ...
19.08/19.18 c ============================[ Search Statistics ]============================
19.08/19.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
19.08/19.18 c | | | | Limit GC | Var | Constra
19.08/19.18 c =============================================================================
19.08/19.18 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
19.18/19.22 c 0.0s | 0 | 1064 | 1 | 5212 0 | 0 | 0
19.18/19.22 c #cpu_time = 0.040s
19.18/19.22 c #wall_clock_time = 0.040s
19.18/19.22 c #decision = 1064
19.18/19.22 c #random_decision = 0
19.18/19.22 c #conflict = 1
19.18/19.22 c #restart = 0
19.18/19.22 c BCD2: found a new core of size 63: cost of the new core is >=1
19.18/19.22 c lower bound updated to 36
19.18/19.23 c BCD2: 36 <= obj <= 505296
19.18/19.23 c BCD2: #cores=36, #unrelaxed=983, #relaxed=2441, #hardened=0
19.18/19.23 c BCD2: #sat=1 #unsat=37 bias=37/38
19.18/19.23 c Solving starts ...
19.18/19.23 c ============================[ Search Statistics ]============================
19.18/19.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
19.18/19.23 c | | | | Limit GC | Var | Constra
19.18/19.23 c =============================================================================
19.18/19.23 c 0.0s | 0 | 0 | 0 | 5212 0 | 0 | 0
19.28/19.32 c 0.1s | 1 | 1489 | 100 | 5212 0 | 0 | 0
19.38/19.40 c 0.2s | 2 | 2725 | 250 | 5212 0 | 0 | 0
19.48/19.52 c 0.3s | 3 | 4037 | 475 | 5212 0 | 0 | 0
19.68/19.70 c 0.5s | 4 | 6435 | 813 | 5212 0 | 0 | 0
19.98/20.00 c 0.8s | 5 | 9098 | 1320 | 5212 0 | 0 | 0
20.38/20.43 c 1.2s | 6 | 12224 | 2081 | 5212 0 | 0 | 0
20.99/21.05 c 1.8s | 7 | 14672 | 3223 | 5212 1 | 0 | 0
21.78/21.87 c 2.6s | 8 | 17983 | 4936 | 5212 1 | 0 | 0
23.09/23.14 c 3.9s | 9 | 21948 | 7506 | 5734 2 | 0 | 0
24.88/24.99 c 5.8s | 10 | 26902 | 11361 | 5734 3 | 0 | 0
26.98/27.00 c 7.8s | 10 | 33011 | 16361 | 5734 4 | 0 | 0
27.28/27.38 c 8.1s | 11 | 33801 | 17144 | 5734 5 | 0 | 0
29.38/29.40 c 10.2s | 11 | 42178 | 22844 | 5734 6 | 0 | 0
30.58/30.68 c 11.4s | 12 | 45214 | 25819 | 6308 7 | 0 | 0
32.68/32.71 c 13.5s | 12 | 58187 | 30019 | 6308 7 | 0 | 0
34.68/34.78 c 15.5s | 12 | 62668 | 33519 | 6308 8 | 0 | 0
36.68/36.79 c 17.6s | 12 | 66062 | 36519 | 6308 8 | 0 | 0
38.38/38.49 c 19.3s | 13 | 68509 | 38832 | 6308 9 | 0 | 0
40.48/40.52 c 21.3s | 13 | 75017 | 42332 | 6308 10 | 0 | 0
42.48/42.53 c 23.3s | 13 | 77927 | 45232 | 6308 11 | 0 | 0
44.58/44.60 c 25.4s | 13 | 80763 | 48032 | 6308 11 | 0 | 0
46.58/46.65 c 27.4s | 13 | 82671 | 49932 | 6308 12 | 0 | 0
48.68/48.75 c 29.5s | 13 | 84681 | 51932 | 6308 12 | 0 | 0
50.68/50.77 c 31.5s | 13 | 86608 | 53832 | 6939 13 | 0 | 0
52.78/52.85 c 33.6s | 13 | 89015 | 56232 | 6939 13 | 0 | 0
54.89/54.90 c 35.7s | 13 | 90719 | 57932 | 6939 14 | 0 | 0
55.29/55.32 c 36.1s | 14 | 91147 | 58352 | 6939 14 | 0 | 0
57.29/57.35 c 38.1s | 14 | 96077 | 61252 | 6939 14 | 0 | 0
59.28/59.39 c 40.2s | 14 | 99871 | 64152 | 6939 15 | 0 | 0
61.38/61.43 c 42.2s | 14 | 102768 | 66952 | 6939 15 | 0 | 0
63.38/63.43 c 44.2s | 14 | 105716 | 69652 | 6939 16 | 0 | 0
65.48/65.51 c 46.3s | 14 | 108522 | 72152 | 6939 16 | 0 | 0
67.48/67.55 c 48.3s | 14 | 111499 | 74952 | 6939 17 | 0 | 0
69.58/69.63 c 50.4s | 14 | 113729 | 77052 | 6939 18 | 0 | 0
71.59/71.67 c 52.4s | 14 | 116273 | 79452 | 6939 18 | 0 | 0
73.58/73.70 c 54.5s | 14 | 118676 | 81752 | 6939 18 | 0 | 0
75.68/75.72 c 56.5s | 14 | 121217 | 84152 | 6939 19 | 0 | 0
77.68/77.76 c 58.5s | 14 | 123741 | 86352 | 6939 19 | 0 | 0
78.68/78.70 c 59.5s | 15 | 125079 | 87632 | 6939 20 | 0 | 0
80.68/80.76 c 61.5s | 15 | 130726 | 91132 | 6939 20 | 0 | 0
82.78/82.80 c 63.6s | 15 | 134639 | 95032 | 6939 21 | 0 | 0
84.78/84.84 c 65.6s | 15 | 137256 | 97632 | 7633 21 | 0 | 0
86.88/86.92 c 67.7s | 15 | 139668 | 100032 | 7633 22 | 0 | 0
88.88/88.96 c 69.7s | 15 | 141777 | 102132 | 7633 22 | 0 | 0
90.98/91.01 c 71.8s | 15 | 143582 | 103932 | 7633 23 | 0 | 0
92.98/93.05 c 73.8s | 15 | 146419 | 106532 | 7633 23 | 0 | 0
95.08/95.11 c 75.9s | 15 | 149073 | 108932 | 7633 23 | 0 | 0
97.08/97.17 c 77.9s | 15 | 152038 | 111632 | 7633 24 | 0 | 0
99.17/99.24 c 80.0s | 15 | 155075 | 114332 | 7633 24 | 0 | 0
101.18/101.26 c 82.0s | 15 | 157711 | 116732 | 7633 25 | 0 | 0
103.17/103.30 c 84.1s | 15 | 160474 | 119232 | 7633 25 | 0 | 0
105.27/105.30 c 86.1s | 15 | 163251 | 121732 | 7633 26 | 0 | 0
107.27/107.37 c 88.1s | 15 | 166274 | 124432 | 7633 26 | 0 | 0
109.47/109.57 c 90.3s | 15 | 168345 | 126332 | 7633 27 | 0 | 0
111.57/111.60 c 92.4s | 15 | 171635 | 129232 | 7633 27 | 0 | 0
113.57/113.63 c 94.4s | 15 | 174153 | 131432 | 7633 27 | 0 | 0
113.67/113.77 c 94.5s | 16 | 174268 | 131552 | 7633 27 | 0 | 0
115.67/115.77 c 96.5s | 16 | 181593 | 135052 | 7633 28 | 0 | 0
117.78/117.82 c 98.6s | 16 | 188170 | 138752 | 7633 29 | 0 | 0
119.77/119.85 c 100s | 16 | 192975 | 142052 | 7633 29 | 0 | 0
121.77/121.88 c 102s | 16 | 197159 | 144752 | 7633 30 | 0 | 0
123.87/123.93 c 104s | 16 | 201895 | 148052 | 7633 30 | 0 | 0
125.87/125.97 c 106s | 16 | 206354 | 150852 | 7633 31 | 0 | 0
127.87/127.99 c 108s | 16 | 210913 | 154052 | 7633 31 | 0 | 0
129.97/130.00 c 110s | 16 | 216094 | 157452 | 7633 32 | 0 | 0
131.97/132.05 c 112s | 16 | 220070 | 159952 | 7633 32 | 0 | 0
133.97/134.06 c 114s | 16 | 223828 | 162952 | 8397 33 | 0 | 0
136.07/136.13 c 116s | 16 | 227804 | 165752 | 8397 33 | 0 | 0
138.07/138.16 c 118s | 16 | 231952 | 168452 | 8397 34 | 0 | 0
140.17/140.22 c 120s | 16 | 237109 | 171752 | 8397 34 | 0 | 0
142.17/142.25 c 123s | 16 | 241243 | 174352 | 8397 35 | 0 | 0
144.17/144.28 c 125s | 16 | 245594 | 177352 | 8397 35 | 0 | 0
146.16/146.29 c 127s | 16 | 250809 | 180352 | 8397 35 | 0 | 0
148.16/148.29 c 129s | 16 | 255996 | 183652 | 8397 36 | 0 | 0
150.26/150.36 c 131s | 16 | 260263 | 186452 | 8397 36 | 0 | 0
152.37/152.42 c 133s | 16 | 264881 | 189352 | 8397 37 | 0 | 0
154.37/154.47 c 135s | 16 | 269416 | 192552 | 8397 37 | 0 | 0
156.47/156.52 c 137s | 16 | 273323 | 195352 | 8397 38 | 0 | 0
157.87/157.90 c 138s | 17 | 276150 | 197432 | 8397 38 | 0 | 0
159.87/159.91 c 140s | 17 | 284290 | 200932 | 8397 39 | 0 | 0
161.87/161.91 c 142s | 17 | 288498 | 204832 | 8397 40 | 0 | 0
163.88/163.96 c 144s | 17 | 292162 | 208132 | 8397 40 | 0 | 0
165.87/165.98 c 146s | 17 | 294894 | 210632 | 8397 41 | 0 | 0
167.97/168.00 c 148s | 17 | 297804 | 213332 | 8397 41 | 0 | 0
169.97/170.08 c 150s | 17 | 300400 | 215732 | 8397 41 | 0 | 0
172.17/172.21 c 152s | 17 | 302687 | 217832 | 8397 42 | 0 | 0
174.17/174.23 c 154s | 17 | 305535 | 220432 | 8397 42 | 0 | 0
176.17/176.27 c 157s | 17 | 307917 | 222632 | 8397 43 | 0 | 0
178.27/178.31 c 159s | 17 | 310314 | 224832 | 8397 43 | 0 | 0
180.26/180.32 c 161s | 17 | 312915 | 227232 | 8397 43 | 0 | 0
182.26/182.37 c 163s | 17 | 315214 | 229332 | 8397 44 | 0 | 0
184.36/184.43 c 165s | 17 | 318052 | 231932 | 8397 44 | 0 | 0
186.36/186.48 c 167s | 17 | 320569 | 234232 | 8397 44 | 0 | 0
188.46/188.53 c 169s | 17 | 322663 | 236132 | 8397 45 | 0 | 0
190.46/190.56 c 171s | 17 | 325495 | 238732 | 8397 45 | 0 | 0
192.57/192.61 c 173s | 17 | 328014 | 241032 | 8397 46 | 0 | 0
194.56/194.64 c 175s | 17 | 330733 | 243532 | 8397 46 | 0 | 0
196.56/196.66 c 177s | 17 | 333350 | 245932 | 8397 46 | 0 | 0
198.66/198.73 c 179s | 17 | 335303 | 247732 | 8397 47 | 0 | 0
200.66/200.74 c 181s | 17 | 338144 | 250332 | 8397 47 | 0 | 0
202.66/202.76 c 183s | 17 | 340670 | 252632 | 8397 48 | 0 | 0
204.76/204.81 c 185s | 17 | 343509 | 255232 | 8397 48 | 0 | 0
206.76/206.86 c 187s | 17 | 346158 | 257632 | 8397 48 | 0 | 0
208.86/208.92 c 189s | 17 | 348262 | 259532 | 8397 49 | 0 | 0
210.96/211.00 c 191s | 17 | 351006 | 262032 | 9237 49 | 0 | 0
212.96/213.04 c 193s | 17 | 353413 | 264232 | 9237 49 | 0 | 0
214.96/215.08 c 195s | 17 | 355787 | 266432 | 9237 50 | 0 | 0
217.45/217.51 c 198s | 17 | 358321 | 268732 | 9237 50 | 0 | 0
219.45/219.56 c 200s | 17 | 360727 | 270932 | 9237 51 | 0 | 0
221.45/221.60 c 202s | 17 | 363668 | 273632 | 9237 51 | 0 | 0
223.55/223.64 c 204s | 17 | 366096 | 275832 | 9237 51 | 0 | 0
225.56/225.65 c 206s | 17 | 368453 | 278032 | 9237 52 | 0 | 0
227.66/227.72 c 208s | 17 | 371298 | 280632 | 9237 52 | 0 | 0
229.65/229.74 c 210s | 17 | 373604 | 282732 | 9237 52 | 0 | 0
231.65/231.76 c 212s | 17 | 375396 | 284332 | 9237 53 | 0 | 0
233.75/233.83 c 214s | 17 | 377952 | 286632 | 9237 53 | 0 | 0
235.85/235.91 c 216s | 17 | 380507 | 288932 | 9237 53 | 0 | 0
237.85/237.97 c 218s | 17 | 383028 | 291232 | 9237 54 | 0 | 0
239.86/239.99 c 220s | 17 | 385865 | 293832 | 9237 54 | 0 | 0
241.75/241.88 c 222s | 18 | 388514 | 296252 | 9237 55 | 0 | 0
243.85/243.93 c 224s | 18 | 393537 | 299152 | 9237 55 | 0 | 0
245.95/246.00 c 226s | 18 | 396307 | 301852 | 9237 56 | 0 | 0
247.95/248.05 c 228s | 18 | 398794 | 304252 | 9237 56 | 0 | 0
250.05/250.10 c 230s | 18 | 400699 | 306152 | 9237 56 | 0 | 0
252.05/252.11 c 232s | 18 | 402212 | 307652 | 9237 57 | 0 | 0
254.06/254.13 c 234s | 18 | 404514 | 309852 | 9237 57 | 0 | 0
256.05/256.14 c 236s | 18 | 406632 | 311952 | 9237 57 | 0 | 0
258.05/258.17 c 238s | 18 | 408655 | 313952 | 9237 58 | 0 | 0
260.15/260.22 c 240s | 18 | 410660 | 315952 | 9237 58 | 0 | 0
262.15/262.26 c 243s | 18 | 412776 | 318052 | 9237 58 | 0 | 0
264.15/264.28 c 245s | 18 | 414690 | 319952 | 9237 59 | 0 | 0
266.25/266.32 c 247s | 18 | 416954 | 322152 | 9237 59 | 0 | 0
268.25/268.34 c 249s | 18 | 419275 | 324452 | 9237 59 | 0 | 0
270.24/270.38 c 251s | 18 | 421400 | 326552 | 9237 60 | 0 | 0
272.34/272.46 c 253s | 18 | 423521 | 328652 | 9237 60 | 0 | 0
274.44/274.55 c 255s | 18 | 425584 | 330652 | 9237 60 | 0 | 0
276.54/276.63 c 257s | 18 | 427606 | 332652 | 9237 61 | 0 | 0
278.64/278.72 c 259s | 18 | 429220 | 334252 | 9237 61 | 0 | 0
280.64/280.76 c 261s | 18 | 431176 | 336152 | 9237 61 | 0 | 0
282.65/282.80 c 263s | 18 | 432909 | 337852 | 9237 62 | 0 | 0
284.74/284.81 c 265s | 18 | 434934 | 339852 | 9237 62 | 0 | 0
286.74/286.89 c 267s | 18 | 436854 | 341752 | 9237 62 | 0 | 0
288.84/288.93 c 269s | 18 | 438588 | 343452 | 9237 63 | 0 | 0
291.04/291.12 c 271s | 18 | 440521 | 345352 | 9237 63 | 0 | 0
293.04/293.12 c 273s | 18 | 442948 | 347752 | 9237 63 | 0 | 0
295.14/295.20 c 275s | 18 | 445076 | 349852 | 9237 64 | 0 | 0
297.24/297.31 c 278s | 18 | 447278 | 352052 | 9237 64 | 0 | 0
299.26/299.39 c 280s | 18 | 449509 | 354252 | 9237 64 | 0 | 0
301.36/301.45 c 282s | 18 | 451771 | 356452 | 9237 65 | 0 | 0
303.35/303.45 c 284s | 18 | 454215 | 358852 | 9237 65 | 0 | 0
305.55/305.60 c 286s | 18 | 456055 | 360652 | 9237 66 | 0 | 0
307.55/307.66 c 288s | 18 | 458401 | 362952 | 9237 66 | 0 | 0
309.65/309.75 c 290s | 18 | 460345 | 364852 | 9237 66 | 0 | 0
311.75/311.83 c 292s | 18 | 462189 | 366652 | 9237 67 | 0 | 0
313.85/313.90 c 294s | 18 | 464327 | 368752 | 9237 67 | 0 | 0
315.95/316.03 c 296s | 18 | 466462 | 370852 | 9237 67 | 0 | 0
318.04/318.10 c 298s | 18 | 468125 | 372452 | 9237 67 | 0 | 0
320.05/320.10 c 300s | 18 | 470194 | 374452 | 9237 68 | 0 | 0
322.04/322.17 c 302s | 18 | 472346 | 376552 | 9237 68 | 0 | 0
324.14/324.24 c 305s | 18 | 474279 | 378452 | 9237 69 | 0 | 0
326.14/326.28 c 307s | 18 | 476803 | 380952 | 9237 69 | 0 | 0
328.24/328.33 c 309s | 18 | 479547 | 383652 | 9237 69 | 0 | 0
330.24/330.35 c 311s | 18 | 481794 | 385852 | 9237 70 | 0 | 0
332.34/332.43 c 313s | 18 | 484233 | 388252 | 9237 70 | 0 | 0
334.34/334.50 c 315s | 18 | 486474 | 390452 | 9237 71 | 0 | 0
336.44/336.55 c 317s | 18 | 488519 | 392452 | 9237 71 | 0 | 0
338.54/338.65 c 319s | 18 | 490560 | 394452 | 9237 71 | 0 | 0
340.84/340.90 c 321s | 18 | 492400 | 396252 | 9237 72 | 0 | 0
342.84/342.93 c 323s | 18 | 494554 | 398352 | 9237 72 | 0 | 0
344.84/344.96 c 325s | 18 | 496593 | 400352 | 9237 72 | 0 | 0
346.93/347.01 c 327s | 18 | 498123 | 401852 | 9237 72 | 0 | 0
348.93/349.09 c 329s | 18 | 500063 | 403752 | 9237 73 | 0 | 0
350.94/351.09 c 331s | 18 | 502329 | 405952 | 9237 73 | 0 | 0
353.04/353.15 c 333s | 18 | 504574 | 408152 | 10161 73 | 0 | 0
355.13/355.23 c 335s | 18 | 506009 | 409552 | 10161 74 | 0 | 0
357.13/357.27 c 338s | 18 | 507949 | 411452 | 10161 74 | 0 | 0
359.23/359.31 c 340s | 18 | 509799 | 413252 | 10161 74 | 0 | 0
361.23/361.39 c 342s | 18 | 511533 | 414952 | 10161 74 | 0 | 0
363.33/363.49 c 344s | 18 | 513290 | 416652 | 10161 75 | 0 | 0
365.43/365.54 c 346s | 18 | 515235 | 418552 | 10161 75 | 0 | 0
367.63/367.74 c 348s | 18 | 516980 | 420252 | 10161 75 | 0 | 0
369.73/369.88 c 350s | 18 | 518608 | 421852 | 10161 76 | 0 | 0
371.84/371.97 c 352s | 18 | 520652 | 423852 | 10161 76 | 0 | 0
373.94/374.09 c 354s | 18 | 522495 | 425652 | 10161 76 | 0 | 0
376.13/376.22 c 356s | 18 | 524239 | 427352 | 10161 76 | 0 | 0
378.13/378.27 c 359s | 18 | 525872 | 428952 | 10161 77 | 0 | 0
380.23/380.31 c 361s | 18 | 527933 | 430952 | 10161 77 | 0 | 0
382.23/382.35 c 363s | 18 | 529661 | 432652 | 10161 77 | 0 | 0
384.33/384.40 c 365s | 18 | 531391 | 434352 | 10161 77 | 0 | 0
386.33/386.40 c 367s | 18 | 533010 | 435952 | 10161 78 | 0 | 0
388.33/388.48 c 369s | 18 | 535066 | 437952 | 10161 78 | 0 | 0
390.43/390.54 c 371s | 18 | 536810 | 439652 | 10161 78 | 0 | 0
392.73/392.83 c 373s | 18 | 538227 | 441052 | 10161 79 | 0 | 0
394.73/394.90 c 375s | 18 | 540206 | 442952 | 10161 79 | 0 | 0
396.32/396.41 c 377s | 19 | 541883 | 444482 | 10161 79 | 0 | 0
398.32/398.45 c 379s | 19 | 549720 | 447182 | 10161 79 | 0 | 0
400.33/400.46 c 381s | 19 | 552880 | 449582 | 10161 80 | 0 | 0
402.42/402.51 c 383s | 19 | 556236 | 452082 | 10161 80 | 0 | 0
404.42/404.58 c 385s | 19 | 559443 | 454482 | 10161 80 | 0 | 0
406.52/406.68 c 387s | 19 | 562406 | 456682 | 10161 81 | 0 | 0
408.52/408.68 c 389s | 19 | 564987 | 459082 | 10161 81 | 0 | 0
410.62/410.74 c 391s | 19 | 567789 | 461782 | 10161 81 | 0 | 0
412.72/412.82 c 393s | 19 | 570164 | 464082 | 10161 82 | 0 | 0
414.73/414.85 c 395s | 19 | 572825 | 466182 | 10161 82 | 0 | 0
416.83/416.92 c 397s | 19 | 575462 | 467982 | 10161 82 | 0 | 0
418.92/419.04 c 399s | 19 | 577604 | 469682 | 10161 82 | 0 | 0
421.02/421.16 c 401s | 19 | 579627 | 471282 | 10161 82 | 0 | 0
423.12/423.21 c 403s | 19 | 581647 | 472882 | 10161 83 | 0 | 0
425.12/425.24 c 406s | 19 | 583915 | 474682 | 10161 83 | 0 | 0
427.12/427.25 c 408s | 19 | 585970 | 476282 | 10161 83 | 0 | 0
429.22/429.34 c 410s | 19 | 588025 | 477882 | 10161 83 | 0 | 0
431.32/431.41 c 412s | 19 | 589782 | 479282 | 10161 84 | 0 | 0
433.33/433.42 c 414s | 19 | 590625 | 479982 | 10161 84 | 0 | 0
435.33/435.45 c 416s | 19 | 593184 | 481782 | 10161 84 | 0 | 0
437.33/437.45 c 418s | 19 | 596363 | 484482 | 10161 84 | 0 | 0
439.33/439.48 c 420s | 19 | 598193 | 486182 | 10161 85 | 0 | 0
441.43/441.51 c 422s | 19 | 600899 | 488382 | 10161 85 | 0 | 0
443.52/443.61 c 424s | 19 | 603752 | 490582 | 10161 85 | 0 | 0
445.53/445.61 c 426s | 19 | 605738 | 492182 | 10161 85 | 0 | 0
447.52/447.62 c 428s | 19 | 608005 | 493982 | 10161 86 | 0 | 0
449.52/449.68 c 430s | 19 | 610704 | 496082 | 10161 86 | 0 | 0
451.62/451.76 c 432s | 19 | 614124 | 498682 | 10161 86 | 0 | 0
453.72/453.84 c 434s | 19 | 616908 | 500882 | 10161 87 | 0 | 0
455.72/455.89 c 436s | 19 | 619528 | 502882 | 10161 87 | 0 | 0
457.82/457.92 c 438s | 19 | 622244 | 504782 | 10161 87 | 0 | 0
459.83/459.92 c 440s | 19 | 624395 | 506382 | 10161 87 | 0 | 0
461.93/462.05 c 442s | 19 | 626345 | 507782 | 10161 87 | 0 | 0
463.92/464.06 c 444s | 19 | 628589 | 509482 | 10161 88 | 0 | 0
466.02/466.16 c 446s | 19 | 631032 | 511382 | 10161 88 | 0 | 0
468.12/468.25 c 449s | 19 | 633336 | 513182 | 10161 88 | 0 | 0
470.22/470.35 c 451s | 19 | 635736 | 514882 | 10161 88 | 0 | 0
472.32/472.47 c 453s | 19 | 637455 | 516282 | 10161 89 | 0 | 0
474.42/474.51 c 455s | 19 | 639795 | 518082 | 10161 89 | 0 | 0
476.42/476.58 c 457s | 19 | 641418 | 519382 | 10161 89 | 0 | 0
478.52/478.65 c 459s | 19 | 643605 | 521082 | 10161 89 | 0 | 0
480.72/480.85 c 461s | 19 | 645699 | 522682 | 10161 90 | 0 | 0
482.82/482.92 c 463s | 19 | 647398 | 523982 | 10161 90 | 0 | 0
484.81/484.97 c 465s | 19 | 649866 | 525882 | 10161 90 | 0 | 0
486.91/487.05 c 467s | 19 | 652158 | 527682 | 10161 90 | 0 | 0
489.01/489.19 c 469s | 19 | 654330 | 529382 | 10161 90 | 0 | 0
491.11/491.27 c 472s | 19 | 655956 | 530682 | 10161 91 | 0 | 0
493.11/493.28 c 474s | 19 | 658201 | 532482 | 10161 91 | 0 | 0
495.21/495.38 c 476s | 19 | 660667 | 534282 | 10161 91 | 0 | 0
497.31/497.49 c 478s | 19 | 662165 | 535382 | 10161 91 | 0 | 0
499.42/499.51 c 480s | 19 | 664370 | 537082 | 10161 91 | 0 | 0
501.41/501.57 c 482s | 19 | 667977 | 539482 | 10161 92 | 0 | 0
503.51/503.64 c 484s | 19 | 671886 | 542182 | 10161 92 | 0 | 0
505.51/505.67 c 486s | 19 | 674585 | 544482 | 10161 92 | 0 | 0
507.61/507.73 c 488s | 19 | 677368 | 546582 | 10161 93 | 0 | 0
509.71/509.80 c 490s | 19 | 680459 | 548882 | 10161 93 | 0 | 0
511.71/511.80 c 492s | 19 | 683212 | 550682 | 10161 93 | 0 | 0
513.91/514.07 c 494s | 19 | 684838 | 552082 | 10161 94 | 0 | 0
516.01/516.11 c 496s | 19 | 688152 | 554682 | 10161 94 | 0 | 0
518.02/518.14 c 498s | 19 | 690513 | 556482 | 10161 94 | 0 | 0
520.01/520.17 c 500s | 19 | 693453 | 558582 | 10161 94 | 0 | 0
522.11/522.29 c 503s | 19 | 695465 | 560382 | 10161 95 | 0 | 0
524.21/524.35 c 505s | 19 | 697849 | 562282 | 10161 95 | 0 | 0
526.31/526.41 c 507s | 19 | 700275 | 564182 | 10161 95 | 0 | 0
528.31/528.42 c 509s | 19 | 701892 | 565582 | 10161 95 | 0 | 0
530.71/530.87 c 511s | 19 | 703752 | 567082 | 10161 96 | 0 | 0
532.81/532.94 c 513s | 19 | 705840 | 568682 | 10161 96 | 0 | 0
534.81/534.98 c 515s | 19 | 708191 | 570382 | 10161 96 | 0 | 0
536.91/537.03 c 517s | 19 | 710391 | 572082 | 10161 96 | 0 | 0
539.02/539.11 c 519s | 19 | 712337 | 573682 | 10161 96 | 0 | 0
541.01/541.17 c 521s | 19 | 714460 | 575282 | 10161 97 | 0 | 0
543.11/543.29 c 524s | 19 | 716991 | 577182 | 10161 97 | 0 | 0
545.11/545.29 c 526s | 19 | 719079 | 578782 | 10161 97 | 0 | 0
547.31/547.40 c 528s | 19 | 721192 | 580482 | 10161 97 | 0 | 0
549.61/549.74 c 530s | 19 | 722558 | 581682 | 10161 98 | 0 | 0
551.71/551.82 c 532s | 19 | 725500 | 583782 | 10161 98 | 0 | 0
553.71/553.83 c 534s | 19 | 727847 | 585582 | 10161 98 | 0 | 0
555.81/555.93 c 536s | 19 | 730146 | 587282 | 10161 98 | 0 | 0
557.81/557.95 c 538s | 19 | 732008 | 588682 | 10161 99 | 0 | 0
560.20/560.37 c 541s | 19 | 733592 | 589982 | 10161 99 | 0 | 0
562.50/562.66 c 543s | 19 | 735822 | 591682 | 10161 99 | 0 | 0
564.60/564.78 c 545s | 19 | 738219 | 593482 | 10161 99 | 0 | 0
566.70/566.89 c 547s | 19 | 740522 | 595182 | 10161 99 | 0 | 0
568.80/568.94 c 549s | 19 | 743111 | 596782 | 10161 100 | 0 | 0
570.91/571.01 c 551s | 19 | 745255 | 598682 | 10161 100 | 0 | 0
572.90/573.05 c 553s | 19 | 747219 | 600182 | 10161 100 | 0 | 0
574.90/575.05 c 555s | 19 | 749140 | 601682 | 10161 100 | 0 | 0
576.90/577.09 c 557s | 19 | 751760 | 603482 | 10161 101 | 0 | 0
579.00/579.18 c 559s | 19 | 754701 | 605582 | 10161 101 | 0 | 0
581.01/581.19 c 561s | 19 | 756874 | 607582 | 10161 101 | 0 | 0
583.21/583.31 c 564s | 19 | 758992 | 609482 | 10161 101 | 0 | 0
585.21/585.35 c 566s | 19 | 761633 | 611182 | 10161 102 | 0 | 0
587.20/587.37 c 568s | 19 | 764208 | 613182 | 10161 102 | 0 | 0
589.30/589.44 c 570s | 19 | 767559 | 615682 | 10161 102 | 0 | 0
591.30/591.45 c 572s | 19 | 770113 | 617782 | 10161 102 | 0 | 0
593.30/593.47 c 574s | 19 | 772555 | 619782 | 10161 103 | 0 | 0
595.30/595.47 c 576s | 19 | 775318 | 621882 | 10161 103 | 0 | 0
597.40/597.53 c 578s | 19 | 777568 | 623482 | 10161 103 | 0 | 0
599.41/599.56 c 580s | 19 | 780396 | 625482 | 10161 104 | 0 | 0
601.40/601.56 c 582s | 19 | 782923 | 627282 | 10161 104 | 0 | 0
603.40/603.57 c 584s | 19 | 785664 | 629582 | 11178 104 | 0 | 0
605.40/605.58 c 586s | 19 | 788496 | 631882 | 11178 104 | 0 | 0
607.50/607.65 c 588s | 19 | 790757 | 633782 | 11178 105 | 0 | 0
609.80/609.90 c 590s | 19 | 793302 | 635582 | 11178 105 | 0 | 0
611.80/611.91 c 592s | 19 | 796414 | 637882 | 11178 105 | 0 | 0
613.80/613.95 c 594s | 19 | 799390 | 640182 | 11178 105 | 0 | 0
615.80/615.98 c 596s | 19 | 801711 | 641782 | 11178 106 | 0 | 0
617.90/618.04 c 598s | 19 | 804815 | 644182 | 11178 106 | 0 | 0
619.89/620.07 c 600s | 19 | 807592 | 646482 | 11178 106 | 0 | 0
621.89/622.09 c 602s | 19 | 810160 | 648382 | 11178 106 | 0 | 0
623.89/624.09 c 604s | 19 | 812414 | 649982 | 11178 107 | 0 | 0
625.99/626.17 c 606s | 19 | 815330 | 652182 | 11178 107 | 0 | 0
628.10/628.24 c 609s | 19 | 818163 | 654382 | 11178 107 | 0 | 0
630.09/630.27 c 611s | 19 | 820978 | 656582 | 11178 107 | 0 | 0
632.19/632.30 c 613s | 19 | 823213 | 658482 | 11178 108 | 0 | 0
634.19/634.33 c 615s | 19 | 826024 | 660882 | 11178 108 | 0 | 0
636.19/636.39 c 617s | 19 | 828824 | 663182 | 11178 108 | 0 | 0
638.39/638.50 c 619s | 19 | 831157 | 665082 | 11178 109 | 0 | 0
640.10/640.30 c 621s | 20 | 833331 | 666827 | 11178 109 | 0 | 0
642.19/642.37 c 623s | 20 | 839082 | 669327 | 11178 109 | 0 | 0
644.19/644.39 c 625s | 20 | 841337 | 671527 | 11178 109 | 0 | 0
646.29/646.45 c 627s | 20 | 843278 | 673427 | 11178 110 | 0 | 0
648.39/648.56 c 629s | 20 | 845209 | 675327 | 11178 110 | 0 | 0
650.49/650.64 c 631s | 20 | 847118 | 677227 | 11178 110 | 0 | 0
652.49/652.65 c 633s | 20 | 848720 | 678827 | 11178 110 | 0 | 0
654.49/654.67 c 635s | 20 | 850128 | 680227 | 11178 110 | 0 | 0
656.49/656.69 c 637s | 20 | 851551 | 681627 | 11178 111 | 0 | 0
658.59/658.73 c 639s | 20 | 853354 | 683427 | 11178 111 | 0 | 0
660.58/660.76 c 641s | 20 | 854956 | 685027 | 11178 111 | 0 | 0
662.68/662.84 c 643s | 20 | 856078 | 686127 | 11178 111 | 0 | 0
664.78/664.95 c 645s | 20 | 857577 | 687627 | 11178 111 | 0 | 0
666.79/666.99 c 647s | 20 | 858875 | 688927 | 11178 112 | 0 | 0
668.89/669.04 c 649s | 20 | 860379 | 690427 | 11178 112 | 0 | 0
671.09/671.21 c 651s | 20 | 861987 | 692027 | 11178 112 | 0 | 0
673.10/673.27 c 654s | 20 | 864318 | 694227 | 11178 112 | 0 | 0
675.19/675.32 c 656s | 20 | 867246 | 697127 | 11178 113 | 0 | 0
677.19/677.33 c 658s | 20 | 870082 | 699727 | 11178 113 | 0 | 0
679.19/679.38 c 660s | 20 | 872707 | 702027 | 11178 113 | 0 | 0
681.29/681.42 c 662s | 20 | 874622 | 703827 | 11178 114 | 0 | 0
683.29/683.48 c 664s | 20 | 876769 | 705927 | 11178 114 | 0 | 0
685.39/685.54 c 666s | 20 | 879110 | 708027 | 11178 114 | 0 | 0
687.40/687.59 c 668s | 20 | 881044 | 709827 | 11178 114 | 0 | 0
689.49/689.67 c 670s | 20 | 882911 | 711527 | 11178 115 | 0 | 0
691.49/691.69 c 672s | 20 | 885214 | 713627 | 11178 115 | 0 | 0
693.59/693.76 c 674s | 20 | 887579 | 715727 | 11178 115 | 0 | 0
695.69/695.81 c 676s | 20 | 889660 | 717627 | 11178 115 | 0 | 0
697.69/697.83 c 678s | 20 | 891752 | 719527 | 11178 116 | 0 | 0
699.69/699.87 c 680s | 20 | 894105 | 721627 | 11178 116 | 0 | 0
701.79/701.92 c 682s | 20 | 896292 | 723627 | 11178 116 | 0 | 0
703.79/703.96 c 684s | 20 | 898388 | 725527 | 11178 116 | 0 | 0
705.79/705.97 c 686s | 20 | 899935 | 726927 | 11178 117 | 0 | 0
707.89/708.03 c 688s | 20 | 901958 | 728727 | 11178 117 | 0 | 0
710.38/710.50 c 691s | 20 | 903587 | 730127 | 11178 117 | 0 | 0
712.38/712.50 c 693s | 20 | 905738 | 731827 | 11178 117 | 0 | 0
714.38/714.51 c 695s | 20 | 907872 | 733527 | 11178 117 | 0 | 0
719.68/719.84 c 700s | 20 | 909149 | 734427 | 11178 117 | 0 | 0
721.68/721.88 c 702s | 20 | 910614 | 735427 | 11178 118 | 0 | 0
723.88/724.00 c 704s | 20 | 912955 | 737327 | 11178 118 | 0 | 0
725.88/726.06 c 706s | 20 | 914954 | 739227 | 11178 118 | 0 | 0
727.98/728.15 c 708s | 20 | 916332 | 740527 | 11178 118 | 0 | 0
730.07/730.27 c 711s | 20 | 918302 | 742427 | 11178 119 | 0 | 0
732.07/732.29 c 713s | 20 | 920253 | 744327 | 11178 119 | 0 | 0
734.17/734.36 c 715s | 20 | 922071 | 746027 | 11178 119 | 0 | 0
736.27/736.43 c 717s | 20 | 923949 | 747727 | 11178 119 | 0 | 0
738.68/738.80 c 719s | 20 | 924923 | 748627 | 11178 119 | 0 | 0
742.78/742.90 c 723s | 20 | 925318 | 748927 | 11178 119 | 0 | 0
744.77/744.91 c 725s | 20 | 927130 | 750127 | 11178 120 | 0 | 0
746.88/747.02 c 727s | 20 | 928969 | 751727 | 11178 120 | 0 | 0
748.87/749.09 c 729s | 20 | 930604 | 753127 | 11178 120 | 0 | 0
750.97/751.13 c 731s | 20 | 932730 | 754927 | 11178 120 | 0 | 0
753.07/753.20 c 733s | 20 | 935609 | 757127 | 11178 120 | 0 | 0
755.07/755.22 c 735s | 20 | 938224 | 759027 | 11178 121 | 0 | 0
757.07/757.28 c 738s | 20 | 941801 | 761127 | 11178 121 | 0 | 0
759.17/759.35 c 740s | 20 | 944845 | 763027 | 11178 121 | 0 | 0
761.27/761.48 c 742s | 20 | 947911 | 764927 | 11178 121 | 0 | 0
763.39/763.56 c 744s | 20 | 949797 | 766227 | 11178 122 | 0 | 0
765.48/765.67 c 746s | 20 | 952106 | 768127 | 11178 122 | 0 | 0
767.58/767.70 c 748s | 20 | 953824 | 769727 | 11178 122 | 0 | 0
769.58/769.73 c 750s | 20 | 957363 | 771627 | 11178 122 | 0 | 0
772.38/772.57 c 753s | 20 | 960651 | 773427 | 11178 123 | 0 | 0
774.48/774.66 c 755s | 20 | 963717 | 775227 | 11178 123 | 0 | 0
776.48/776.69 c 757s | 20 | 966828 | 777227 | 11178 123 | 0 | 0
778.57/778.70 c 759s | 20 | 969899 | 779027 | 11178 123 | 0 | 0
780.67/780.80 c 761s | 20 | 972543 | 780727 | 11178 123 | 0 | 0
782.67/782.80 c 763s | 20 | 974194 | 781927 | 11178 124 | 0 | 0
786.27/786.50 c 767s | 20 | 975542 | 782927 | 11178 124 | 0 | 0
788.37/788.57 c 769s | 20 | 979379 | 784927 | 11178 124 | 0 | 0
790.47/790.61 c 771s | 20 | 982465 | 786727 | 11178 124 | 0 | 0
792.47/792.68 c 773s | 20 | 985255 | 788427 | 11178 124 | 0 | 0
794.56/794.74 c 775s | 20 | 987478 | 789827 | 11178 125 | 0 | 0
796.66/796.81 c 777s | 20 | 990035 | 791427 | 11178 125 | 0 | 0
798.66/798.86 c 779s | 20 | 992975 | 793227 | 11178 125 | 0 | 0
800.77/800.95 c 781s | 20 | 995284 | 794827 | 11178 125 | 0 | 0
802.87/803.03 c 783s | 20 | 997620 | 796327 | 11178 125 | 0 | 0
804.96/805.10 c 785s | 20 | 998898 | 797027 | 11178 126 | 0 | 0
806.95/807.19 c 787s | 20 | 1002402 | 799027 | 11178 126 | 0 | 0
809.06/809.22 c 789s | 20 | 1005391 | 800827 | 11178 126 | 0 | 0
811.06/811.26 c 792s | 20 | 1008025 | 802527 | 11178 126 | 0 | 0
813.16/813.30 c 794s | 20 | 1010354 | 804027 | 11178 126 | 0 | 0
815.16/815.32 c 796s | 20 | 1012023 | 805027 | 11178 127 | 0 | 0
817.17/817.35 c 798s | 20 | 1014529 | 806727 | 11178 127 | 0 | 0
819.26/819.43 c 800s | 20 | 1016722 | 808327 | 11178 127 | 0 | 0
821.36/821.54 c 802s | 20 | 1018432 | 809327 | 11178 127 | 0 | 0
823.46/823.60 c 804s | 20 | 1021707 | 811127 | 11178 127 | 0 | 0
825.65/825.83 c 806s | 20 | 1023308 | 812127 | 11178 128 | 0 | 0
827.65/827.83 c 808s | 20 | 1025606 | 813527 | 11178 128 | 0 | 0
829.65/829.86 c 810s | 20 | 1028561 | 815327 | 11178 128 | 0 | 0
831.65/831.86 c 812s | 20 | 1031089 | 816927 | 11178 128 | 0 | 0
833.76/833.91 c 814s | 20 | 1033703 | 818527 | 11178 128 | 0 | 0
835.95/836.13 c 816s | 20 | 1035544 | 819827 | 11178 129 | 0 | 0
838.05/838.23 c 818s | 20 | 1038048 | 821627 | 11178 129 | 0 | 0
840.04/840.27 c 821s | 20 | 1039976 | 822727 | 11178 129 | 0 | 0
842.24/842.40 c 823s | 20 | 1042483 | 824327 | 11178 129 | 0 | 0
844.24/844.46 c 825s | 20 | 1044420 | 825627 | 11178 129 | 0 | 0
846.34/846.57 c 827s | 20 | 1045917 | 826827 | 11178 129 | 0 | 0
848.44/848.65 c 829s | 20 | 1047588 | 827927 | 11178 130 | 0 | 0
851.04/851.27 c 832s | 20 | 1049115 | 829227 | 11178 130 | 0 | 0
853.14/853.36 c 834s | 20 | 1052241 | 831027 | 11178 130 | 0 | 0
855.24/855.41 c 836s | 20 | 1054333 | 832527 | 11178 130 | 0 | 0
857.33/857.55 c 838s | 20 | 1056406 | 833927 | 11178 130 | 0 | 0
859.43/859.62 c 840s | 20 | 1058100 | 835127 | 11178 130 | 0 | 0
861.53/861.71 c 842s | 20 | 1059634 | 836327 | 11178 131 | 0 | 0
866.64/866.86 c 847s | 20 | 1060275 | 836827 | 11178 131 | 0 | 0
868.73/868.93 c 849s | 20 | 1063962 | 838827 | 11178 131 | 0 | 0
870.73/870.94 c 851s | 20 | 1067026 | 840627 | 11178 131 | 0 | 0
872.73/872.99 c 853s | 20 | 1069899 | 842327 | 11178 131 | 0 | 0
874.82/875.00 c 855s | 20 | 1071843 | 843527 | 11178 132 | 0 | 0
876.82/877.05 c 857s | 20 | 1073793 | 844827 | 11178 132 | 0 | 0
878.92/879.12 c 859s | 20 | 1076882 | 846727 | 11178 132 | 0 | 0
880.93/881.17 c 861s | 20 | 1079281 | 848327 | 11178 132 | 0 | 0
883.02/883.29 c 864s | 20 | 1081326 | 849827 | 11178 132 | 0 | 0
885.43/885.63 c 866s | 20 | 1083384 | 851027 | 11178 133 | 0 | 0
887.53/887.74 c 868s | 20 | 1086234 | 852927 | 11178 133 | 0 | 0
889.62/889.83 c 870s | 20 | 1088538 | 854527 | 11178 133 | 0 | 0
891.72/891.92 c 872s | 20 | 1090656 | 856027 | 11178 133 | 0 | 0
894.42/894.63 c 875s | 20 | 1092243 | 857327 | 11178 133 | 0 | 0
896.82/897.03 c 877s | 20 | 1093994 | 858527 | 11178 134 | 0 | 0
898.82/899.09 c 879s | 20 | 1095544 | 859427 | 11178 134 | 0 | 0
900.92/901.18 c 881s | 20 | 1098485 | 861327 | 11178 134 | 0 | 0
903.02/903.26 c 884s | 20 | 1101211 | 863027 | 11178 134 | 0 | 0
905.12/905.37 c 886s | 20 | 1103486 | 864627 | 11178 134 | 0 | 0
907.21/907.44 c 888s | 20 | 1105240 | 866027 | 11178 134 | 0 | 0
909.71/909.97 c 890s | 20 | 1106518 | 867027 | 11178 135 | 0 | 0
911.81/912.01 c 892s | 20 | 1109330 | 868627 | 11178 135 | 0 | 0
913.81/914.05 c 894s | 20 | 1111388 | 870027 | 11178 135 | 0 | 0
915.90/916.15 c 896s | 20 | 1112377 | 870827 | 11178 135 | 0 | 0
918.00/918.26 c 899s | 20 | 1114398 | 872127 | 11178 135 | 0 | 0
920.10/920.34 c 901s | 20 | 1116598 | 873427 | 11178 135 | 0 | 0
922.20/922.44 c 903s | 20 | 1118011 | 874527 | 11178 136 | 0 | 0
924.30/924.51 c 905s | 20 | 1120319 | 876227 | 11178 136 | 0 | 0
929.50/929.75 c 910s | 20 | 1122273 | 877827 | 11178 136 | 0 | 0
931.61/931.84 c 912s | 20 | 1124588 | 879427 | 11178 136 | 0 | 0
933.71/933.93 c 914s | 20 | 1126512 | 880827 | 11178 136 | 0 | 0
935.69/935.95 c 916s | 20 | 1127904 | 881927 | 11178 137 | 0 | 0
937.69/937.97 c 918s | 20 | 1130653 | 883727 | 11178 137 | 0 | 0
939.89/940.11 c 920s | 20 | 1132521 | 885127 | 11178 137 | 0 | 0
941.89/942.15 c 922s | 20 | 1134060 | 886427 | 11178 137 | 0 | 0
943.99/944.23 c 924s | 20 | 1135773 | 887727 | 11178 137 | 0 | 0
946.09/946.31 c 927s | 20 | 1137381 | 888927 | 11178 137 | 0 | 0
948.19/948.45 c 929s | 20 | 1138620 | 890027 | 11178 138 | 0 | 0
950.29/950.54 c 931s | 20 | 1140593 | 891427 | 11178 138 | 0 | 0
953.59/953.82 c 934s | 20 | 1141827 | 892527 | 11178 138 | 0 | 0
955.58/955.84 c 936s | 20 | 1143700 | 893827 | 11178 138 | 0 | 0
957.68/957.98 c 938s | 20 | 1145370 | 895127 | 11178 138 | 0 | 0
959.78/960.04 c 940s | 20 | 1146645 | 896127 | 11178 138 | 0 | 0
961.87/962.12 c 942s | 20 | 1148071 | 897227 | 11178 138 | 0 | 0
963.88/964.12 c 944s | 20 | 1149883 | 898327 | 11178 139 | 0 | 0
965.98/966.25 c 947s | 20 | 1152612 | 900127 | 11178 139 | 0 | 0
967.98/968.27 c 949s | 20 | 1154865 | 901727 | 11178 139 | 0 | 0
969.98/970.30 c 951s | 20 | 1156430 | 902927 | 11178 139 | 0 | 0
972.18/972.42 c 953s | 20 | 1158204 | 904227 | 11178 139 | 0 | 0
974.27/974.52 c 955s | 20 | 1159605 | 905127 | 11178 140 | 0 | 0
976.37/976.61 c 957s | 20 | 1161309 | 906327 | 11178 140 | 0 | 0
978.37/978.65 c 959s | 20 | 1163025 | 907727 | 11178 140 | 0 | 0
980.47/980.72 c 961s | 20 | 1165906 | 909327 | 11178 140 | 0 | 0
982.46/982.79 c 963s | 20 | 1167514 | 910327 | 11178 140 | 0 | 0
984.66/984.90 c 965s | 20 | 1169627 | 911727 | 11178 140 | 0 | 0
986.96/987.22 c 967s | 20 | 1171571 | 912827 | 11178 141 | 0 | 0
988.96/989.23 c 969s | 20 | 1174098 | 914427 | 11178 141 | 0 | 0
990.97/991.29 c 972s | 20 | 1175418 | 915427 | 11178 141 | 0 | 0
993.16/993.41 c 974s | 20 | 1177865 | 916927 | 11178 141 | 0 | 0
995.26/995.51 c 976s | 20 | 1179987 | 918327 | 11178 141 | 0 | 0
997.25/997.55 c 978s | 20 | 1181933 | 919627 | 11178 141 | 0 | 0
999.35/999.61 c 980s | 20 | 1183454 | 920727 | 11178 142 | 0 | 0
1001.35/1001.62 c 982s | 20 | 1186064 | 922327 | 11178 142 | 0 | 0
1003.35/1003.64 c 984s | 20 | 1188562 | 923927 | 11178 142 | 0 | 0
1005.44/1005.73 c 986s | 20 | 1190609 | 925427 | 11178 142 | 0 | 0
1007.54/1007.89 c 988s | 20 | 1192090 | 926427 | 11178 142 | 0 | 0
1009.74/1010.01 c 990s | 20 | 1193768 | 927627 | 11178 142 | 0 | 0
1011.86/1012.16 c 992s | 20 | 1195215 | 928727 | 11178 143 | 0 | 0
1013.96/1014.23 c 994s | 20 | 1197564 | 930327 | 11178 143 | 0 | 0
1016.05/1016.33 c 997s | 20 | 1200607 | 932027 | 11178 143 | 0 | 0
1018.15/1018.43 c 999s | 20 | 1203087 | 933527 | 11178 143 | 0 | 0
1020.25/1020.53 c 1001s | 20 | 1205242 | 934927 | 11178 143 | 0 | 0
1022.35/1022.69 c 1003s | 20 | 1206743 | 936027 | 11178 144 | 0 | 0
1024.44/1024.76 c 1005s | 20 | 1209397 | 937727 | 11178 144 | 0 | 0
1026.54/1026.83 c 1007s | 20 | 1212409 | 939627 | 11178 144 | 0 | 0
1029.14/1029.40 c 1010s | 20 | 1214190 | 940927 | 11178 144 | 0 | 0
1031.14/1031.47 c 1012s | 20 | 1216199 | 942327 | 11178 144 | 0 | 0
1033.24/1033.59 c 1014s | 20 | 1217955 | 943627 | 11178 144 | 0 | 0
1035.43/1035.70 c 1016s | 20 | 1219215 | 944527 | 11178 145 | 0 | 0
1037.43/1037.76 c 1018s | 20 | 1221596 | 946027 | 11178 145 | 0 | 0
1039.63/1039.93 c 1020s | 20 | 1223500 | 947427 | 11178 145 | 0 | 0
1041.73/1042.04 c 1022s | 20 | 1225194 | 948627 | 11178 145 | 0 | 0
1043.83/1044.11 c 1024s | 20 | 1226540 | 949727 | 11178 145 | 0 | 0
1046.02/1046.31 c 1027s | 20 | 1228607 | 950927 | 11178 145 | 0 | 0
1048.32/1048.67 c 1029s | 20 | 1229571 | 951627 | 11178 146 | 0 | 0
1050.42/1050.77 c 1031s | 20 | 1231943 | 953227 | 11178 146 | 0 | 0
1052.43/1052.77 c 1033s | 20 | 1233819 | 954627 | 11178 146 | 0 | 0
1054.52/1054.88 c 1035s | 20 | 1235541 | 955627 | 11178 146 | 0 | 0
1056.62/1056.91 c 1037s | 20 | 1237308 | 956827 | 11178 146 | 0 | 0
1058.62/1058.94 c 1039s | 20 | 1238930 | 957927 | 11178 146 | 0 | 0
1060.81/1061.11 c 1041s | 20 | 1240279 | 959027 | 11178 146 | 0 | 0
1062.81/1063.16 c 1043s | 20 | 1242363 | 960227 | 12296 147 | 0 | 0
1064.81/1065.17 c 1045s | 20 | 1244096 | 961627 | 12296 147 | 0 | 0
1066.91/1067.21 c 1047s | 20 | 1245812 | 962927 | 12296 147 | 0 | 0
1069.02/1069.37 c 1050s | 20 | 1247390 | 964227 | 12296 147 | 0 | 0
1071.01/1071.38 c 1052s | 20 | 1248813 | 965427 | 12296 147 | 0 | 0
1073.21/1073.50 c 1054s | 20 | 1250145 | 966627 | 12296 147 | 0 | 0
1075.21/1075.54 c 1056s | 20 | 1251796 | 967727 | 12296 147 | 0 | 0
1080.61/1080.93 c 1061s | 20 | 1252645 | 968427 | 12296 148 | 0 | 0
1082.61/1082.98 c 1063s | 20 | 1254470 | 969927 | 12296 148 | 0 | 0
1084.70/1085.01 c 1065s | 20 | 1256617 | 971427 | 12296 148 | 0 | 0
1086.70/1087.04 c 1067s | 20 | 1257955 | 972727 | 12296 148 | 0 | 0
1088.81/1089.17 c 1069s | 20 | 1259599 | 974027 | 12296 148 | 0 | 0
1090.91/1091.24 c 1072s | 20 | 1261122 | 975227 | 12296 148 | 0 | 0
1092.90/1093.24 c 1074s | 20 | 1262270 | 976327 | 12296 148 | 0 | 0
1094.99/1095.30 c 1076s | 20 | 1263378 | 977427 | 12296 149 | 0 | 0
1096.99/1097.34 c 1078s | 20 | 1264929 | 978427 | 12296 149 | 0 | 0
1098.99/1099.39 c 1080s | 20 | 1266651 | 979727 | 12296 149 | 0 | 0
1101.19/1101.52 c 1082s | 20 | 1268317 | 981027 | 12296 149 | 0 | 0
1103.29/1103.60 c 1084s | 20 | 1270120 | 982327 | 12296 149 | 0 | 0
1105.29/1105.62 c 1086s | 20 | 1271641 | 983527 | 12296 149 | 0 | 0
1107.99/1108.30 c 1089s | 20 | 1273189 | 984727 | 12296 150 | 0 | 0
1109.98/1110.37 c 1091s | 20 | 1274981 | 985927 | 12296 150 | 0 | 0
1112.08/1112.43 c 1093s | 20 | 1276832 | 987327 | 12296 150 | 0 | 0
1114.19/1114.50 c 1095s | 20 | 1279080 | 988727 | 12296 150 | 0 | 0
1116.08/1116.50 c 1097s | 20 | 1281205 | 990127 | 12296 150 | 0 | 0
1118.18/1118.54 c 1099s | 20 | 1282696 | 991327 | 12296 150 | 0 | 0
1120.38/1120.72 c 1101s | 20 | 1284178 | 992427 | 12296 150 | 0 | 0
1122.68/1123.05 c 1103s | 20 | 1285059 | 993027 | 12296 151 | 0 | 0
1124.77/1125.11 c 1105s | 20 | 1286368 | 993827 | 12296 151 | 0 | 0
1126.77/1127.13 c 1107s | 20 | 1288896 | 995427 | 12296 151 | 0 | 0
1128.77/1129.15 c 1109s | 20 | 1290887 | 996827 | 12296 151 | 0 | 0
1130.87/1131.21 c 1111s | 20 | 1292623 | 998127 | 12296 151 | 0 | 0
1132.87/1133.26 c 1114s | 20 | 1294500 | 999427 | 12296 151 | 0 | 0
1134.47/1134.85 c 1115s | 21 | 1295602 | 1000345 | 12296 151 | 0 | 0
1136.57/1136.91 c 1117s | 21 | 1299433 | 1002445 | 12296 152 | 0 | 0
1138.57/1138.97 c 1119s | 21 | 1302441 | 1005445 | 12296 152 | 0 | 0
1140.67/1141.04 c 1121s | 21 | 1304749 | 1007745 | 12296 153 | 0 | 0
1142.77/1143.10 c 1123s | 21 | 1307364 | 1010345 | 12296 153 | 0 | 0
1144.77/1145.17 c 1125s | 21 | 1309669 | 1012645 | 12296 153 | 0 | 0
1146.86/1147.25 c 1128s | 21 | 1311772 | 1014745 | 12296 153 | 0 | 0
1148.96/1149.30 c 1130s | 21 | 1313284 | 1016245 | 12296 154 | 0 | 0
1150.96/1151.32 c 1132s | 21 | 1315289 | 1018245 | 12296 154 | 0 | 0
1152.96/1153.38 c 1134s | 21 | 1317390 | 1020345 | 12296 154 | 0 | 0
1155.05/1155.43 c 1136s | 21 | 1319300 | 1022245 | 12296 154 | 0 | 0
1157.15/1157.51 c 1138s | 21 | 1321208 | 1024145 | 12296 155 | 0 | 0
1159.16/1159.58 c 1140s | 21 | 1323613 | 1026545 | 12296 155 | 0 | 0
1161.26/1161.63 c 1142s | 21 | 1325519 | 1028445 | 12296 155 | 0 | 0
1163.46/1163.90 c 1144s | 21 | 1327630 | 1030545 | 12296 156 | 0 | 0
1165.55/1165.94 c 1146s | 21 | 1329535 | 1032445 | 12296 156 | 0 | 0
1167.55/1167.95 c 1148s | 21 | 1331740 | 1034645 | 12296 156 | 0 | 0
1169.55/1169.99 c 1150s | 21 | 1333052 | 1035945 | 12296 156 | 0 | 0
1171.65/1172.00 c 1152s | 21 | 1335056 | 1037945 | 12296 156 | 0 | 0
1173.65/1174.09 c 1154s | 21 | 1337262 | 1040145 | 12296 157 | 0 | 0
1175.74/1176.14 c 1156s | 21 | 1339567 | 1042445 | 12296 157 | 0 | 0
1177.75/1178.16 c 1158s | 21 | 1341375 | 1044245 | 12296 157 | 0 | 0
1179.84/1180.24 c 1161s | 21 | 1343274 | 1046145 | 12296 158 | 0 | 0
1181.84/1182.29 c 1163s | 21 | 1345385 | 1048245 | 12296 158 | 0 | 0
1184.04/1184.40 c 1165s | 21 | 1347491 | 1050345 | 12296 158 | 0 | 0
1186.03/1186.42 c 1167s | 21 | 1349402 | 1052245 | 12296 158 | 0 | 0
1188.13/1188.50 c 1169s | 21 | 1351305 | 1054145 | 12296 159 | 0 | 0
1191.64/1192.05 c 1172s | 21 | 1353419 | 1056245 | 12296 159 | 0 | 0
1193.74/1194.14 c 1174s | 21 | 1355420 | 1058245 | 12296 159 | 0 | 0
1195.94/1196.39 c 1177s | 21 | 1356430 | 1059245 | 12296 159 | 0 | 0
1198.03/1198.40 c 1179s | 21 | 1358235 | 1061045 | 12296 160 | 0 | 0
1200.03/1200.43 c 1181s | 21 | 1360244 | 1063045 | 12296 160 | 0 | 0
1202.04/1202.45 c 1183s | 21 | 1362450 | 1065245 | 12296 160 | 0 | 0
1204.03/1204.46 c 1185s | 21 | 1364569 | 1067345 | 12296 160 | 0 | 0
1206.13/1206.56 c 1187s | 21 | 1366473 | 1069245 | 12296 161 | 0 | 0
1208.23/1208.61 c 1189s | 21 | 1368580 | 1071345 | 12296 161 | 0 | 0
1210.23/1210.66 c 1191s | 21 | 1370883 | 1073645 | 12296 161 | 0 | 0
1212.23/1212.67 c 1193s | 21 | 1372794 | 1075545 | 12296 161 | 0 | 0
1214.33/1214.76 c 1195s | 21 | 1374802 | 1077545 | 12296 162 | 0 | 0
1216.43/1216.82 c 1197s | 21 | 1377001 | 1079745 | 12296 162 | 0 | 0
1218.43/1218.88 c 1199s | 21 | 1378708 | 1081445 | 12296 162 | 0 | 0
1220.52/1220.92 c 1201s | 21 | 1380616 | 1083345 | 12296 162 | 0 | 0
1222.52/1222.93 c 1203s | 21 | 1382427 | 1085145 | 12296 163 | 0 | 0
1224.93/1225.30 c 1206s | 21 | 1383329 | 1086045 | 12296 163 | 0 | 0
1226.92/1227.30 c 1208s | 21 | 1384939 | 1087645 | 12296 163 | 0 | 0
1229.33/1229.77 c 1210s | 21 | 1386340 | 1089045 | 12296 163 | 0 | 0
1231.43/1231.84 c 1212s | 21 | 1388354 | 1091045 | 12296 163 | 0 | 0
1233.63/1234.06 c 1214s | 21 | 1390162 | 1092845 | 12296 164 | 0 | 0
1235.72/1236.16 c 1216s | 21 | 1392271 | 1094945 | 12296 164 | 0 | 0
1237.72/1238.17 c 1218s | 21 | 1394276 | 1096945 | 12296 164 | 0 | 0
1239.82/1240.27 c 1221s | 21 | 1396085 | 1098745 | 12296 165 | 0 | 0
1242.02/1242.44 c 1223s | 21 | 1397595 | 1100245 | 12296 165 | 0 | 0
1244.12/1244.51 c 1225s | 21 | 1399500 | 1102145 | 12296 165 | 0 | 0
1246.12/1246.51 c 1227s | 21 | 1401501 | 1104145 | 12296 165 | 0 | 0
1248.12/1248.55 c 1229s | 21 | 1403206 | 1105845 | 12296 165 | 0 | 0
1250.12/1250.59 c 1231s | 21 | 1405009 | 1107645 | 12296 166 | 0 | 0
1252.22/1252.63 c 1233s | 21 | 1406120 | 1108745 | 12296 166 | 0 | 0
1254.22/1254.63 c 1235s | 21 | 1408428 | 1111045 | 12296 166 | 0 | 0
1256.21/1256.68 c 1237s | 21 | 1410634 | 1113245 | 12296 166 | 0 | 0
1258.41/1258.80 c 1239s | 21 | 1412536 | 1115145 | 12296 167 | 0 | 0
1260.41/1260.83 c 1241s | 21 | 1414846 | 1117445 | 12296 167 | 0 | 0
1262.52/1262.93 c 1243s | 21 | 1416958 | 1119545 | 12296 167 | 0 | 0
1264.61/1265.07 c 1245s | 21 | 1418959 | 1121545 | 12296 168 | 0 | 0
1266.71/1267.15 c 1247s | 21 | 1419366 | 1121945 | 12296 168 | 0 | 0
1268.71/1269.16 c 1249s | 21 | 1421578 | 1124145 | 12296 168 | 0 | 0
1270.70/1271.19 c 1251s | 21 | 1423786 | 1126345 | 12296 168 | 0 | 0
1272.80/1273.23 c 1253s | 21 | 1425786 | 1128345 | 12296 168 | 0 | 0
1274.80/1275.27 c 1256s | 21 | 1427695 | 1130245 | 12296 169 | 0 | 0
1276.81/1277.29 c 1258s | 21 | 1429405 | 1131945 | 12296 169 | 0 | 0
1278.91/1279.35 c 1260s | 21 | 1431612 | 1134145 | 12296 169 | 0 | 0
1280.90/1281.36 c 1262s | 21 | 1433718 | 1136245 | 12296 169 | 0 | 0
1284.30/1284.77 c 1265s | 21 | 1435633 | 1138145 | 12296 170 | 0 | 0
1286.40/1286.85 c 1267s | 21 | 1437736 | 1140245 | 12296 170 | 0 | 0
1288.40/1288.86 c 1269s | 21 | 1439842 | 1142345 | 12296 170 | 0 | 0
1290.70/1291.16 c 1271s | 21 | 1441848 | 1144345 | 12296 171 | 0 | 0
1292.70/1293.17 c 1273s | 21 | 1444147 | 1146645 | 12296 171 | 0 | 0
1294.69/1295.19 c 1275s | 21 | 1446359 | 1148845 | 12296 171 | 0 | 0
1296.79/1297.23 c 1277s | 21 | 1448372 | 1150845 | 12296 171 | 0 | 0
1299.70/1300.20 c 1280s | 21 | 1449375 | 1151845 | 12296 172 | 0 | 0
1301.90/1302.37 c 1283s | 21 | 1451490 | 1153945 | 12296 172 | 0 | 0
1304.00/1304.42 c 1285s | 21 | 1453689 | 1156145 | 12296 172 | 0 | 0
1306.00/1306.49 c 1287s | 21 | 1455792 | 1158245 | 12296 172 | 0 | 0
1308.10/1308.56 c 1289s | 21 | 1457296 | 1159745 | 12296 173 | 0 | 0
1310.19/1310.61 c 1291s | 21 | 1459603 | 1162045 | 12296 173 | 0 | 0
1312.19/1312.65 c 1293s | 21 | 1461811 | 1164245 | 12296 173 | 0 | 0
1314.20/1314.67 c 1295s | 21 | 1463922 | 1166345 | 12296 173 | 0 | 0
1316.19/1316.68 c 1297s | 21 | 1465930 | 1168345 | 12296 174 | 0 | 0
1318.29/1318.77 c 1299s | 21 | 1468240 | 1170645 | 12296 174 | 0 | 0
1320.39/1320.84 c 1301s | 21 | 1469142 | 1171545 | 12296 174 | 0 | 0
1322.39/1322.89 c 1303s | 21 | 1471242 | 1173645 | 12296 174 | 0 | 0
1324.49/1324.95 c 1305s | 21 | 1473154 | 1175545 | 12296 175 | 0 | 0
1326.49/1326.97 c 1307s | 21 | 1475456 | 1177845 | 12296 175 | 0 | 0
1328.49/1328.98 c 1309s | 21 | 1477769 | 1180145 | 12296 175 | 0 | 0
1330.98/1331.48 c 1312s | 21 | 1479570 | 1181945 | 12296 175 | 0 | 0
1333.08/1333.52 c 1314s | 21 | 1481675 | 1184045 | 12296 176 | 0 | 0
1335.09/1335.53 c 1316s | 21 | 1483487 | 1185845 | 12296 176 | 0 | 0
1337.08/1337.54 c 1318s | 21 | 1485591 | 1187945 | 12296 176 | 0 | 0
1339.28/1339.73 c 1320s | 21 | 1487499 | 1189845 | 12296 177 | 0 | 0
1341.28/1341.73 c 1322s | 21 | 1489511 | 1191845 | 12296 177 | 0 | 0
1343.28/1343.77 c 1324s | 21 | 1491619 | 1193945 | 12296 177 | 0 | 0
1345.38/1345.82 c 1326s | 21 | 1493317 | 1195645 | 12296 177 | 0 | 0
1347.58/1348.02 c 1328s | 21 | 1495129 | 1197445 | 12296 178 | 0 | 0
1349.57/1350.08 c 1330s | 21 | 1497336 | 1199645 | 12296 178 | 0 | 0
1351.87/1352.33 c 1333s | 21 | 1499051 | 1201345 | 12296 178 | 0 | 0
1353.88/1354.39 c 1335s | 21 | 1500456 | 1202745 | 12296 178 | 0 | 0
1355.88/1356.39 c 1337s | 21 | 1502363 | 1204645 | 12296 178 | 0 | 0
1357.98/1358.44 c 1339s | 21 | 1504368 | 1206645 | 12296 179 | 0 | 0
1360.87/1361.37 c 1342s | 21 | 1506275 | 1208545 | 12296 179 | 0 | 0
1362.87/1363.37 c 1344s | 21 | 1508381 | 1210645 | 12296 179 | 0 | 0
1364.97/1365.49 c 1346s | 21 | 1510284 | 1212545 | 12296 180 | 0 | 0
1367.07/1367.53 c 1348s | 21 | 1512392 | 1214645 | 12296 180 | 0 | 0
1369.18/1369.65 c 1350s | 21 | 1514500 | 1216745 | 12296 180 | 0 | 0
1371.28/1371.74 c 1352s | 21 | 1516502 | 1218745 | 12296 180 | 0 | 0
1373.37/1373.87 c 1354s | 21 | 1518409 | 1220645 | 12296 181 | 0 | 0
1375.47/1375.91 c 1356s | 21 | 1520213 | 1222445 | 12296 181 | 0 | 0
1377.47/1377.98 c 1358s | 21 | 1522422 | 1224645 | 12296 181 | 0 | 0
1379.46/1379.99 c 1360s | 21 | 1524131 | 1226345 | 12296 181 | 0 | 0
1381.56/1382.06 c 1362s | 21 | 1526036 | 1228245 | 12296 182 | 0 | 0
1383.66/1384.13 c 1364s | 21 | 1528344 | 1230545 | 12296 182 | 0 | 0
1385.67/1386.19 c 1366s | 21 | 1530446 | 1232645 | 12296 182 | 0 | 0
1387.77/1388.22 c 1368s | 21 | 1531054 | 1233245 | 12296 182 | 0 | 0
1389.86/1390.30 c 1371s | 21 | 1533066 | 1235245 | 12296 182 | 0 | 0
1391.86/1392.32 c 1373s | 21 | 1534873 | 1237045 | 12296 183 | 0 | 0
1393.86/1394.36 c 1375s | 21 | 1536973 | 1239145 | 12296 183 | 0 | 0
1395.96/1396.46 c 1377s | 21 | 1539090 | 1241245 | 12296 183 | 0 | 0
1398.06/1398.54 c 1379s | 21 | 1540892 | 1243045 | 12296 184 | 0 | 0
1400.16/1400.61 c 1381s | 21 | 1542097 | 1244245 | 12296 184 | 0 | 0
1402.17/1402.67 c 1383s | 21 | 1544114 | 1246245 | 12296 184 | 0 | 0
1404.16/1404.69 c 1385s | 21 | 1546116 | 1248245 | 12296 184 | 0 | 0
1406.26/1406.75 c 1387s | 21 | 1547722 | 1249845 | 12296 184 | 0 | 0
1408.35/1408.82 c 1389s | 21 | 1549023 | 1251145 | 12296 185 | 0 | 0
1410.35/1410.83 c 1391s | 21 | 1550635 | 1252745 | 12296 185 | 0 | 0
1412.35/1412.85 c 1393s | 21 | 1552935 | 1255045 | 12296 185 | 0 | 0
1414.35/1414.85 c 1395s | 21 | 1555046 | 1257145 | 12296 185 | 0 | 0
1416.46/1416.92 c 1397s | 21 | 1556947 | 1259045 | 12296 186 | 0 | 0
1418.56/1419.02 c 1399s | 21 | 1559060 | 1261145 | 12296 186 | 0 | 0
1420.66/1421.11 c 1401s | 21 | 1561164 | 1263245 | 12296 186 | 0 | 0
1422.66/1423.17 c 1403s | 21 | 1563067 | 1265145 | 12296 186 | 0 | 0
1424.65/1425.18 c 1405s | 21 | 1564076 | 1266145 | 12296 187 | 0 | 0
1426.75/1427.26 c 1408s | 21 | 1566586 | 1268645 | 12296 187 | 0 | 0
1428.85/1429.35 c 1410s | 21 | 1567792 | 1269845 | 12296 187 | 0 | 0
1430.85/1431.36 c 1412s | 21 | 1569690 | 1271745 | 12296 187 | 0 | 0
1432.86/1433.38 c 1414s | 21 | 1571399 | 1273445 | 12296 188 | 0 | 0
1434.94/1435.40 c 1416s | 21 | 1573308 | 1275345 | 12296 188 | 0 | 0
1436.94/1437.44 c 1418s | 21 | 1575417 | 1277445 | 12296 188 | 0 | 0
1438.94/1439.46 c 1420s | 21 | 1577326 | 1279345 | 12296 188 | 0 | 0
1440.94/1441.48 c 1422s | 21 | 1578930 | 1280945 | 12296 189 | 0 | 0
1443.04/1443.54 c 1424s | 21 | 1580433 | 1282445 | 12296 189 | 0 | 0
1445.05/1445.54 c 1426s | 21 | 1582540 | 1284545 | 12296 189 | 0 | 0
1447.15/1447.63 c 1428s | 21 | 1584553 | 1286545 | 12296 189 | 0 | 0
1449.45/1449.90 c 1430s | 21 | 1586460 | 1288445 | 12296 190 | 0 | 0
1451.44/1451.94 c 1432s | 21 | 1588671 | 1290645 | 12296 190 | 0 | 0
1453.54/1454.00 c 1434s | 21 | 1590869 | 1292845 | 12296 190 | 0 | 0
1455.54/1456.08 c 1436s | 21 | 1592976 | 1294945 | 12296 190 | 0 | 0
1457.54/1458.09 c 1438s | 21 | 1594481 | 1296445 | 12296 191 | 0 | 0
1459.64/1460.18 c 1440s | 21 | 1596585 | 1298545 | 12296 191 | 0 | 0
1461.73/1462.22 c 1442s | 21 | 1597890 | 1299845 | 12296 191 | 0 | 0
1463.83/1464.33 c 1445s | 21 | 1600003 | 1301945 | 12296 191 | 0 | 0
1465.84/1466.39 c 1447s | 21 | 1601912 | 1303845 | 12296 192 | 0 | 0
1467.93/1468.41 c 1449s | 21 | 1603518 | 1305445 | 12296 192 | 0 | 0
1469.93/1470.49 c 1451s | 21 | 1605623 | 1307545 | 12296 192 | 0 | 0
1472.03/1472.57 c 1453s | 21 | 1607731 | 1309645 | 12296 192 | 0 | 0
1474.03/1474.57 c 1455s | 21 | 1609433 | 1311345 | 12296 193 | 0 | 0
1476.03/1476.59 c 1457s | 21 | 1611540 | 1313445 | 12296 193 | 0 | 0
1478.13/1478.68 c 1459s | 21 | 1613340 | 1315245 | 12296 193 | 0 | 0
1480.14/1480.69 c 1461s | 21 | 1615254 | 1317145 | 12296 193 | 0 | 0
1482.34/1482.84 c 1463s | 21 | 1616961 | 1318845 | 12296 194 | 0 | 0
1484.54/1485.06 c 1465s | 21 | 1618969 | 1320845 | 12296 194 | 0 | 0
1486.64/1487.11 c 1467s | 21 | 1621173 | 1323045 | 12296 194 | 0 | 0
1489.04/1489.58 c 1470s | 21 | 1622778 | 1324645 | 12296 194 | 0 | 0
1491.43/1491.93 c 1472s | 21 | 1624485 | 1326345 | 12296 195 | 0 | 0
1493.44/1493.98 c 1474s | 21 | 1626394 | 1328245 | 12296 195 | 0 | 0
1495.54/1496.06 c 1476s | 21 | 1628398 | 1330245 | 12296 195 | 0 | 0
1497.63/1498.16 c 1478s | 21 | 1629808 | 1331645 | 12296 195 | 0 | 0
1499.63/1500.19 c 1480s | 21 | 1631718 | 1333545 | 12296 195 | 0 | 0
1501.73/1502.25 c 1483s | 21 | 1633221 | 1335045 | 12296 196 | 0 | 0
1503.73/1504.27 c 1485s | 21 | 1635222 | 1337045 | 12296 196 | 0 | 0
1505.83/1506.30 c 1487s | 21 | 1637225 | 1339045 | 12296 196 | 0 | 0
1507.83/1508.35 c 1489s | 21 | 1639028 | 1340845 | 12296 196 | 0 | 0
1509.94/1510.43 c 1491s | 21 | 1640831 | 1342645 | 12296 197 | 0 | 0
1511.93/1512.43 c 1493s | 21 | 1642843 | 1344645 | 12296 197 | 0 | 0
1513.93/1514.45 c 1495s | 21 | 1644953 | 1346745 | 12296 197 | 0 | 0
1516.03/1516.52 c 1497s | 21 | 1645457 | 1347245 | 12296 197 | 0 | 0
1518.03/1518.53 c 1499s | 21 | 1647069 | 1348845 | 12296 197 | 0 | 0
1520.03/1520.58 c 1501s | 21 | 1648370 | 1350145 | 12296 198 | 0 | 0
1522.12/1522.67 c 1503s | 21 | 1650483 | 1352245 | 12296 198 | 0 | 0
1524.23/1524.74 c 1505s | 21 | 1652589 | 1354345 | 12296 198 | 0 | 0
1526.22/1526.79 c 1507s | 21 | 1654391 | 1356145 | 12296 198 | 0 | 0
1528.32/1528.83 c 1509s | 21 | 1656402 | 1358145 | 12296 199 | 0 | 0
1530.32/1530.86 c 1511s | 21 | 1658500 | 1360245 | 12296 199 | 0 | 0
1532.32/1532.87 c 1513s | 21 | 1660709 | 1362445 | 12296 199 | 0 | 0
1535.62/1536.11 c 1516s | 21 | 1662318 | 1364045 | 12296 199 | 0 | 0
1537.62/1538.15 c 1518s | 21 | 1664021 | 1365745 | 12296 200 | 0 | 0
1539.72/1540.20 c 1520s | 21 | 1666221 | 1367945 | 12296 200 | 0 | 0
1541.73/1542.21 c 1522s | 21 | 1668235 | 1369945 | 12296 200 | 0 | 0
1543.93/1544.40 c 1525s | 21 | 1670139 | 1371845 | 12296 201 | 0 | 0
1545.92/1546.46 c 1527s | 21 | 1672144 | 1373845 | 12296 201 | 0 | 0
1547.92/1548.47 c 1529s | 21 | 1674250 | 1375945 | 12296 201 | 0 | 0
1550.02/1550.51 c 1531s | 21 | 1676258 | 1377945 | 12296 201 | 0 | 0
1552.22/1552.79 c 1533s | 21 | 1677865 | 1379545 | 12296 202 | 0 | 0
1554.83/1555.32 c 1536s | 21 | 1678668 | 1380345 | 12296 202 | 0 | 0
1556.83/1557.32 c 1538s | 21 | 1680675 | 1382345 | 12296 202 | 0 | 0
1558.83/1559.33 c 1540s | 21 | 1682585 | 1384245 | 12296 202 | 0 | 0
1560.92/1561.42 c 1542s | 21 | 1684490 | 1386145 | 12296 202 | 0 | 0
1563.12/1563.62 c 1544s | 21 | 1686404 | 1388045 | 12296 203 | 0 | 0
1565.12/1565.64 c 1546s | 21 | 1688412 | 1390045 | 12296 203 | 0 | 0
1567.13/1567.69 c 1548s | 21 | 1690519 | 1392145 | 12296 203 | 0 | 0
1569.23/1569.74 c 1550s | 21 | 1692528 | 1394145 | 12296 203 | 0 | 0
1571.22/1571.78 c 1552s | 21 | 1694426 | 1396045 | 12296 204 | 0 | 0
1573.92/1574.49 c 1555s | 21 | 1694637 | 1396245 | 12296 204 | 0 | 0
1576.02/1576.50 c 1557s | 21 | 1696648 | 1398245 | 12296 204 | 0 | 0
1578.03/1578.59 c 1559s | 21 | 1698649 | 1400245 | 12296 204 | 0 | 0
1580.12/1580.62 c 1561s | 21 | 1700461 | 1402045 | 12296 204 | 0 | 0
1582.12/1582.64 c 1563s | 21 | 1702271 | 1403845 | 12296 205 | 0 | 0
1584.12/1584.65 c 1565s | 21 | 1704275 | 1405845 | 12296 205 | 0 | 0
1586.42/1586.96 c 1567s | 21 | 1706279 | 1407845 | 12296 205 | 0 | 0
1588.42/1588.99 c 1569s | 21 | 1707994 | 1409545 | 12296 205 | 0 | 0
1590.52/1591.08 c 1571s | 21 | 1709894 | 1411445 | 12296 206 | 0 | 0
1592.62/1593.19 c 1573s | 21 | 1711907 | 1413445 | 12296 206 | 0 | 0
1594.72/1595.28 c 1576s | 21 | 1713915 | 1415445 | 12296 206 | 0 | 0
1596.92/1597.48 c 1578s | 21 | 1715822 | 1417345 | 12296 207 | 0 | 0
1598.92/1599.50 c 1580s | 21 | 1717929 | 1419445 | 12296 207 | 0 | 0
1601.41/1601.95 c 1582s | 21 | 1719334 | 1420845 | 12296 207 | 0 | 0
1603.42/1603.98 c 1584s | 21 | 1721036 | 1422545 | 12296 207 | 0 | 0
1605.52/1606.10 c 1586s | 21 | 1722743 | 1424245 | 12296 207 | 0 | 0
1607.62/1608.11 c 1588s | 21 | 1724250 | 1425745 | 12296 208 | 0 | 0
1609.62/1610.18 c 1590s | 21 | 1726262 | 1427745 | 12296 208 | 0 | 0
1611.72/1612.20 c 1592s | 21 | 1727767 | 1429245 | 12296 208 | 0 | 0
1613.72/1614.21 c 1594s | 21 | 1729572 | 1431045 | 12296 208 | 0 | 0
1615.81/1616.31 c 1597s | 21 | 1730275 | 1431745 | 12296 208 | 0 | 0
1617.81/1618.34 c 1599s | 21 | 1731682 | 1433145 | 12296 209 | 0 | 0
1619.92/1620.45 c 1601s | 21 | 1733787 | 1435245 | 12296 209 | 0 | 0
1621.91/1622.49 c 1603s | 21 | 1735695 | 1437145 | 12296 209 | 0 | 0
1624.01/1624.55 c 1605s | 21 | 1737800 | 1439245 | 12296 209 | 0 | 0
1626.01/1626.57 c 1607s | 21 | 1739508 | 1440945 | 12296 210 | 0 | 0
1628.01/1628.58 c 1609s | 21 | 1741709 | 1443145 | 12296 210 | 0 | 0
1630.11/1630.65 c 1611s | 21 | 1743022 | 1444445 | 12296 210 | 0 | 0
1632.21/1632.75 c 1613s | 21 | 1744922 | 1446345 | 12296 210 | 0 | 0
1634.22/1634.76 c 1615s | 21 | 1746530 | 1447945 | 12296 211 | 0 | 0
1636.21/1636.80 c 1617s | 21 | 1748541 | 1449945 | 12296 211 | 0 | 0
1638.31/1638.86 c 1619s | 21 | 1750649 | 1452045 | 12296 211 | 0 | 0
1640.41/1640.96 c 1621s | 21 | 1752551 | 1453945 | 12296 211 | 0 | 0
1642.41/1642.98 c 1623s | 21 | 1754158 | 1455545 | 12296 212 | 0 | 0
1644.51/1645.00 c 1625s | 21 | 1756164 | 1457545 | 13526 212 | 0 | 0
1646.51/1647.09 c 1627s | 21 | 1758172 | 1459545 | 13526 212 | 0 | 0
1648.61/1649.18 c 1629s | 21 | 1760181 | 1461545 | 13526 212 | 0 | 0
1650.72/1651.28 c 1632s | 21 | 1760887 | 1462245 | 13526 212 | 0 | 0
1652.71/1653.29 c 1634s | 21 | 1761996 | 1463345 | 13526 212 | 0 | 0
1654.81/1655.32 c 1636s | 21 | 1764200 | 1465545 | 13526 213 | 0 | 0
1656.91/1657.40 c 1638s | 21 | 1766412 | 1467745 | 13526 213 | 0 | 0
1658.91/1659.45 c 1640s | 21 | 1768515 | 1469845 | 13526 213 | 0 | 0
1661.00/1661.53 c 1642s | 21 | 1770217 | 1471545 | 13526 213 | 0 | 0
1663.00/1663.54 c 1644s | 21 | 1771825 | 1473145 | 13526 214 | 0 | 0
1665.10/1665.63 c 1646s | 21 | 1773933 | 1475245 | 13526 214 | 0 | 0
1667.11/1667.66 c 1648s | 21 | 1776042 | 1477345 | 13526 214 | 0 | 0
1669.10/1669.66 c 1650s | 21 | 1777040 | 1478345 | 13526 214 | 0 | 0
1671.20/1671.78 c 1652s | 21 | 1778551 | 1479845 | 13526 214 | 0 | 0
1673.30/1673.82 c 1654s | 21 | 1780260 | 1481545 | 13526 215 | 0 | 0
1675.30/1675.89 c 1656s | 21 | 1782466 | 1483745 | 13526 215 | 0 | 0
1677.40/1677.95 c 1658s | 21 | 1784571 | 1485845 | 13526 215 | 0 | 0
1679.50/1680.03 c 1660s | 21 | 1786377 | 1487645 | 13526 215 | 0 | 0
1681.60/1682.11 c 1662s | 21 | 1788289 | 1489545 | 13526 216 | 0 | 0
1683.61/1684.15 c 1664s | 21 | 1790194 | 1491445 | 13526 216 | 0 | 0
1685.60/1686.17 c 1666s | 21 | 1792306 | 1493545 | 13526 216 | 0 | 0
1690.51/1691.07 c 1671s | 21 | 1793712 | 1494945 | 13526 216 | 0 | 0
1692.61/1693.11 c 1673s | 21 | 1795521 | 1496745 | 13526 216 | 0 | 0
1694.61/1695.11 c 1675s | 21 | 1797226 | 1498445 | 13526 217 | 0 | 0
1696.60/1697.16 c 1677s | 21 | 1799033 | 1500245 | 13526 217 | 0 | 0
1697.00/1697.57 c 1678s | 22 | 1799418 | 1500622 | 13526 217 | 0 | 0
1699.11/1699.62 c 1680s | 22 | 1802009 | 1502122 | 13526 217 | 0 | 0
1701.10/1701.66 c 1682s | 22 | 1804326 | 1504422 | 13526 218 | 0 | 0
1703.10/1703.69 c 1684s | 22 | 1806946 | 1506922 | 13526 218 | 0 | 0
1705.20/1705.77 c 1686s | 22 | 1809628 | 1509522 | 13526 218 | 0 | 0
1707.30/1707.90 c 1688s | 22 | 1811537 | 1511422 | 13526 219 | 0 | 0
1709.40/1709.93 c 1690s | 22 | 1813555 | 1513422 | 13526 219 | 0 | 0
1711.40/1711.96 c 1692s | 22 | 1815110 | 1514922 | 13526 219 | 0 | 0
1713.50/1714.01 c 1694s | 22 | 1817221 | 1517022 | 13526 219 | 0 | 0
1715.61/1716.14 c 1696s | 22 | 1818751 | 1518522 | 13526 219 | 0 | 0
1717.60/1718.15 c 1698s | 22 | 1819491 | 1519222 | 13526 220 | 0 | 0
1719.60/1720.16 c 1700s | 22 | 1822142 | 1521822 | 13526 220 | 0 | 0
1722.30/1722.85 c 1703s | 22 | 1824536 | 1524122 | 13526 220 | 0 | 0
1724.30/1724.86 c 1705s | 22 | 1825643 | 1525222 | 13526 220 | 0 | 0
1726.39/1726.96 c 1707s | 22 | 1826759 | 1526322 | 13526 220 | 0 | 0
1728.49/1729.07 c 1709s | 22 | 1827569 | 1527122 | 13526 221 | 0 | 0
1730.59/1731.19 c 1711s | 22 | 1829003 | 1528522 | 13526 221 | 0 | 0
1732.79/1733.32 c 1714s | 22 | 1830307 | 1529822 | 13526 221 | 0 | 0
1734.79/1735.38 c 1716s | 22 | 1831847 | 1531322 | 13526 221 | 0 | 0
1736.89/1737.43 c 1718s | 22 | 1833367 | 1532822 | 13526 221 | 0 | 0
1739.09/1739.62 c 1720s | 22 | 1834690 | 1534122 | 13526 222 | 0 | 0
1741.90/1742.43 c 1723s | 22 | 1836424 | 1535822 | 13526 222 | 0 | 0
1743.90/1744.45 c 1725s | 22 | 1839737 | 1539022 | 13526 222 | 0 | 0
1745.90/1746.47 c 1727s | 22 | 1842349 | 1541622 | 13526 222 | 0 | 0
1748.00/1748.56 c 1729s | 22 | 1844596 | 1543822 | 13526 223 | 0 | 0
1750.10/1750.62 c 1731s | 22 | 1846510 | 1545722 | 13526 223 | 0 | 0
1752.09/1752.63 c 1733s | 22 | 1847513 | 1546722 | 13526 223 | 0 | 0
1754.29/1754.81 c 1735s | 22 | 1850042 | 1549222 | 13526 224 | 0 | 0
1756.30/1756.82 c 1737s | 22 | 1851052 | 1550222 | 13526 224 | 0 | 0
1758.40/1758.91 c 1739s | 22 | 1853067 | 1552222 | 13526 224 | 0 | 0
1760.39/1760.98 c 1741s | 22 | 1854666 | 1553822 | 13526 224 | 0 | 0
1762.39/1763.00 c 1743s | 22 | 1855873 | 1555022 | 13526 224 | 0 | 0
1764.49/1765.07 c 1745s | 22 | 1857080 | 1556222 | 13526 224 | 0 | 0
1766.59/1767.15 c 1747s | 22 | 1858287 | 1557422 | 13526 225 | 0 | 0
1768.69/1769.21 c 1749s | 22 | 1860392 | 1559522 | 13526 225 | 0 | 0
1770.69/1771.22 c 1751s | 22 | 1862965 | 1562022 | 13526 225 | 0 | 0
1772.70/1773.30 c 1754s | 22 | 1865112 | 1564122 | 13526 225 | 0 | 0
1775.39/1775.95 c 1756s | 22 | 1866228 | 1565222 | 13526 226 | 0 | 0
1777.39/1777.97 c 1758s | 22 | 1868132 | 1567122 | 13526 226 | 0 | 0
1780.19/1780.72 c 1761s | 22 | 1869236 | 1568222 | 13526 226 | 0 | 0
1782.29/1782.81 c 1763s | 22 | 1871370 | 1570322 | 13526 226 | 0 | 0
1784.29/1784.84 c 1765s | 22 | 1872971 | 1571922 | 13526 226 | 0 | 0
1786.88/1787.45 c 1768s | 22 | 1873081 | 1572022 | 13526 227 | 0 | 0
1788.98/1789.57 c 1770s | 22 | 1874983 | 1573922 | 13526 227 | 0 | 0
1791.08/1791.64 c 1772s | 22 | 1876796 | 1575722 | 13526 227 | 0 | 0
1793.08/1793.65 c 1774s | 22 | 1878628 | 1577522 | 13526 227 | 0 | 0
1795.08/1795.65 c 1776s | 22 | 1880441 | 1579322 | 13526 227 | 0 | 0
1797.08/1797.70 c 1778s | 22 | 1882573 | 1581422 | 13526 228 | 0 | 0
1799.19/1799.74 c 1780s | 22 | 1884808 | 1583622 | 13526 228 | 0 | 0
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-4101769-1466226388/watcher-4101769-1466226388 -o /tmp/evaluation-result-4101769-1466226388/solver-4101769-1466226388 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101769-1466226388.opb
pid=13826
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.10 2.08 2.01 3/179 13829
/proc/meminfo: memFree=30518300/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 2634 0 0 0 0 0 0 0 20 0 4 0 24689241 722923520 2484 33554432000 4194304 16246674 140733300442704 140733300442128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 177263 2492 441 2943 0 174157 0
[pid=13829/tid=13830] ppid=13826 vsize=722500 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 739840000 2549 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=726596 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 744034304 2565 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=730692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24689241 748228608 2582 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.10018 s]
/proc/loadavg: 2.10 2.08 2.01 3/179 13829
/proc/meminfo: memFree=30518300/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 24854 0 0 0 6 3 0 0 20 0 4 0 24689241 1249447936 24642 33554432000 4194304 16246674 140733300442704 140733300442016 12449273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 305041 24655 820 2943 0 301935 0
[pid=13829/tid=13830] ppid=13826 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1249447936 24664 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1249447936 24673 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24689241 1249447936 24682 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164
[startup+0.200536 s]
/proc/loadavg: 2.10 2.08 2.01 3/179 13829
/proc/meminfo: memFree=30518300/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 48860 0 0 0 13 6 0 0 20 0 4 0 24689241 1249447936 48647 33554432000 4194304 16246674 140733300442704 140733300442016 12371445 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 305041 48660 831 2943 0 301935 0
[pid=13829/tid=13830] ppid=13826 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1249447936 48669 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1249447936 48678 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24689241 1249447936 48687 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164
[startup+0.300498 s]
/proc/loadavg: 2.10 2.08 2.01 3/179 13829
/proc/meminfo: memFree=30518300/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 73466 0 0 0 20 9 0 0 20 0 4 0 24689241 1249447936 73253 33554432000 4194304 16246674 140733300442704 140733300424576 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 305041 73262 831 2943 0 301935 0
[pid=13829/tid=13830] ppid=13826 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1249447936 73268 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1249447936 73273 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24689241 1249447936 73279 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164
[startup+0.700414 s]
/proc/loadavg: 2.10 2.08 2.01 3/179 13829
/proc/meminfo: memFree=30518300/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 171238 0 0 0 48 21 0 0 20 0 4 0 24689241 1249447936 171025 33554432000 4194304 16246674 140733300442704 140733300424576 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 305041 171031 831 2943 0 301935 0
[pid=13829/tid=13830] ppid=13826 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1249447936 171035 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1249447936 171038 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24689241 1249447936 171042 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164
[startup+1.50043 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 13833
/proc/meminfo: memFree=29476560/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1279556 CPUtime=1.49 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 260930 0 0 0 117 32 0 0 20 0 4 0 24689241 1310265344 260717 33554432000 4194304 16246674 140733300442704 140733300424576 12654401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 319889 260717 832 2943 0 316783 0
[pid=13829/tid=13830] ppid=13826 vsize=1279556 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1310265344 260717 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1279556 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1310265344 260717 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1279556 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1310265344 260717 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1279556
[startup+3.10042 s]
/proc/loadavg: 2.09 2.08 2.01 3/183 13833
/proc/meminfo: memFree=29462300/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1302084 CPUtime=3.09 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 266528 0 0 0 276 33 0 0 20 0 4 0 24689241 1333334016 266315 33554432000 4194304 16246674 140733300442704 140733300424576 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 325521 266315 891 2943 0 322415 0
[pid=13829/tid=13830] ppid=13826 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1333334016 266315 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1333334016 266315 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1333334016 266315 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1302084
[startup+6.30042 s]
/proc/loadavg: 2.09 2.08 2.01 3/183 13833
/proc/meminfo: memFree=29444524/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 268751 0 0 0 596 33 0 0 20 0 4 0 24689241 1341722624 268538 33554432000 4194304 16246674 140733300442704 140733300424576 5723421 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 327569 268538 897 2943 0 324463 0
[pid=13829/tid=13830] ppid=13826 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1341722624 268538 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1341722624 268538 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1341722624 268538 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276
[startup+12.7003 s]
/proc/loadavg: 2.08 2.08 2.01 3/183 13833
/proc/meminfo: memFree=29442568/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 269280 0 0 0 1236 33 0 0 20 0 4 0 24689241 1343819776 269067 33554432000 4194304 16246674 140733300442704 140733300424576 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 328081 269067 898 2943 0 324975 0
[pid=13829/tid=13830] ppid=13826 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1343819776 269067 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1343819776 269067 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1343819776 269067 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324
[startup+25.5005 s]
/proc/loadavg: 2.06 2.08 2.01 3/183 13833
/proc/meminfo: memFree=29427076/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1326660 CPUtime=25.48 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 272887 0 0 0 2515 33 0 0 20 0 4 0 24689241 1358499840 272674 33554432000 4194304 16246674 140733300442704 140733300424576 5672955 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 331665 272674 920 2943 0 328559 0
[pid=13829/tid=13830] ppid=13826 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1358499840 272674 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1358499840 272674 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1358499840 272674 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1326660
[startup+51.1005 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 13834
/proc/meminfo: memFree=29426676/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1326660 CPUtime=51.08 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 272887 0 0 0 5075 33 0 0 20 0 4 0 24689241 1358499840 272674 33554432000 4194304 16246674 140733300442704 140733300424576 13943608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 331665 272674 920 2943 0 328559 0
[pid=13829/tid=13830] ppid=13826 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1358499840 272674 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1358499840 272674 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1358499840 272674 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1326660
[startup+102.301 s]
/proc/loadavg: 2.04 2.07 2.01 3/183 13835
/proc/meminfo: memFree=29416180/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1336900 CPUtime=102.28 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 275447 0 0 0 10194 34 0 0 20 0 4 0 24689241 1368985600 275234 33554432000 4194304 16246674 140733300442704 140733300424576 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 334225 275234 920 2943 0 331119 0
[pid=13829/tid=13830] ppid=13826 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1368985600 275234 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1368985600 275234 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1368985600 275234 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1336900
################
# More data... #
################
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283938 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1370692
[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 13865
/proc/meminfo: memFree=29294080/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1370692 CPUtime=1301.9 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 284221 0 0 0 130136 54 0 0 20 0 4 0 24689241 1403588608 283938 33554432000 4194304 16246674 140733300442704 140733300441880 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 342673 283938 920 2943 0 339567 0
[pid=13829/tid=13830] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283938 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283938 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283938 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1370692
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13866
/proc/meminfo: memFree=29294104/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1370692 CPUtime=1361.87 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 284246 0 0 0 136132 55 0 0 20 0 4 0 24689241 1403588608 283938 33554432000 4194304 16246674 140733300442704 140733300424576 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 342673 283938 920 2943 0 339567 0
[pid=13829/tid=13830] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283938 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283938 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283938 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1370692
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/184 13870
/proc/meminfo: memFree=29293864/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1370692 CPUtime=1421.86 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 284274 0 0 0 142129 57 0 0 20 0 4 0 24689241 1403588608 283938 33554432000 4194304 16246674 140733300442704 140733300424576 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 342673 283938 920 2943 0 339567 0
[pid=13829/tid=13830] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283938 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283938 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283938 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1370692
[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 13919
/proc/meminfo: memFree=29420424/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1370692 CPUtime=1481.83 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 284292 0 0 0 148126 57 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140733300424576 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 342673 283939 920 2943 0 339567 0
[pid=13829/tid=13830] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1370692
[startup+1542.31 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 13920
/proc/meminfo: memFree=29419880/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1370692 CPUtime=1541.83 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 284292 0 0 0 154125 58 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140733300424576 12415665 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 342673 283939 920 2943 0 339567 0
[pid=13829/tid=13830] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1370692
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 13922
/proc/meminfo: memFree=29419420/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1370692 CPUtime=1601.81 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 284292 0 0 0 160122 59 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140733300424576 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 342673 283939 920 2943 0 339567 0
[pid=13829/tid=13830] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1370692
[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 13923
/proc/meminfo: memFree=29419200/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1370692 CPUtime=1661.8 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 284292 0 0 0 166119 61 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140733300424576 5973972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 342673 283939 920 2943 0 339567 0
[pid=13829/tid=13830] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1403588608 283939 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1370692
[startup+1722.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/183 13924
/proc/meminfo: memFree=29414892/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1374788 CPUtime=1721.8 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 285316 0 0 0 172118 62 0 0 20 0 4 0 24689241 1407782912 284963 33554432000 4194304 16246674 140733300442704 140733300441880 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 343697 284963 920 2943 0 340591 0
[pid=13829/tid=13830] ppid=13826 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1407782912 284963 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1407782912 284963 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1407782912 284963 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1374788
[startup+1782.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 13925
/proc/meminfo: memFree=29396196/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1393220 CPUtime=1781.79 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 289924 0 0 0 178115 64 0 0 20 0 4 0 24689241 1426657280 289571 33554432000 4194304 16246674 140733300442704 140733300424576 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 348305 289571 920 2943 0 345199 0
[pid=13829/tid=13830] ppid=13826 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1426657280 289571 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1426657280 289571 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1426657280 289571 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1393220
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.10 2.07 2.01 4/183 13926
/proc/meminfo: memFree=29396044/32872528 swapFree=249320/249320
[pid=13829] ppid=13826 vsize=1393220 CPUtime=1800.08 cores=1,3,5,7
/proc/13829/stat : 13829 (toysat) R 13826 13829 11324 0 -1 4202496 289924 0 0 0 179944 64 0 0 20 0 4 0 24689241 1426657280 289571 33554432000 4194304 16246674 140733300442704 140733300424576 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 348305 289571 920 2943 0 345199 0
[pid=13829/tid=13830] ppid=13826 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13830/stat : 13830 (toysat) S 13826 13829 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24689241 1426657280 289571 33554432000 4194304 16246674 140733300442704 140084167814384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13829/tid=13831] ppid=13826 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13831/stat : 13831 (toysat) S 13826 13829 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24689241 1426657280 289571 33554432000 4194304 16246674 140733300442704 140084157324528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13829/tid=13832] ppid=13826 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13829/task/13832/stat : 13832 (toysat) S 13826 13829 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24689241 1426657280 289571 33554432000 4194304 16246674 140733300442704 140084146850992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1393220
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 13829 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.45
CPU system time (s): 0.646901
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1393220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.646901
maximum resident set size= 1158284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289924
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= 412
involuntary context switches= 1960
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.63629 second user time and 6.92395 second system time
The end