0.00/0.00 c 2016-06-18T06:39:04+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-4101617-1466224744.opb"]
0.00/0.01 c use --random-gen="814613019 2338095850 3290868752 3712217918 841346316 4281854752 1769058138 825972972 3321111389 787691025 2219062970 3478446310 4103317636 1734577318 2455766083 397637984 3128638548 3568996622 3777827586 3167037886 3295394843 1512284546 1718737880 2909256895 3162359061 3248726089 3841386788 3877703700 724116384 2708575022 2689057849 2689451853 1509454111 2486678684 3117115734 3792606604 2306630084 2485781671 1078688296 1643606743 2498009992 2632496587 60135080 2824929807 277316024 3681328451 3328075390 3264949211 3094956381 3594467734 4170092807 1581150850 3207921264 1274536849 3991153552 2678458076 2935891524 2729218028 2627417681 1126869397 841199322 2645688662 892048680 2552876405 571939690 1228197569 982182397 3850232082 821175010 4200377887 2853801492 369328772 4277609314 2832552614 733891865 3816191720 2606840922 1428282280 3386740068 1915980014 77968207 1503545731 1828318777 2060271711 3083869087 2133250575 3893208394 4098790223 2523234157 3680552917 2216892255 1656366386 1769139267 2101836104 2999285769 538212879 446102714 2200568693 2139343734 1950721846 3190481887 1873858433 1260658330 3487353308 3910580627 1727546111 2920582286 3983962043 1140889511 2911456823 2828232032 3874427644 3512688709 2779976640 1413091921 3322976287 2031083222 2776841932 1452708506 62163831 3368553352 3625245816 2050279956 2987632829 417145611 508649490 713146418 14642880 321514595 1299354722 89645367 3380799930 2871401658 2349358236 1145709934 3753283703 2791132817 1978350345 2929754311 1649824903 2730470973 1708371350 1480079579 119851676 402728837 3682437093 139612564 489366511 3348303635 856045544 1358759927 534503957 1951676413 1160226994 3356308513 2003808073 3729446766 2405227883 3065823460 3529238502 156412644 376821117 668869121 3818843234 747658824 125346376 1152857918 3525260028 860938974 3455931182 2877249200 2214962406 4126581030 889568325 3790152435 1008369443 55403200 1063496911 1677583873 1173470313 1665907486 3030884373 4102227357 4009167122 1818668264 2380210896 2145281121 4044654512 960001518 3946566372 208817401 2122728906 2471221276 4176008126 343842149 2220954289 1773951766 1113830594 2427738700 424603024 2147469904 1434758127 3388766591 647428977 2392494971 120062384 1697445882 1407838257 3468313408 2207111785 132653881 3677803621 4026064452 3756764773 3432614224 3628438552 4261426461 3538796523 1158771118 421198753 3366325001 2105837958 1734633176 1601667456 916753275 431009645 2425124505 3147722531 1111208718 134425940 2900444143 340041104 3613574399 3922318253 1087068821 94996641 2136807083 1303090106 3272905213 4084560764 3737070984 3351967283 3310957227 1050170589 3477333195 3232349596 1078017518 3067779411 3908813842 914432551 1929089800 460462780 48006318 1483940905 3724991770 4109559170 255 362436" option to reproduce the execution
0.00/0.05 c #vars 3763
0.00/0.05 c #constraints 453
2.49/2.51 c BCD2: Hardening is enabled.
2.49/2.51 c BCD2: BiasedSearch is enabled.
2.49/2.51 c Solving starts ...
2.49/2.51 c ============================[ Search Statistics ]============================
2.49/2.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.49/2.51 c | | | | Limit GC | Var | Constra
2.49/2.51 c =============================================================================
2.49/2.51 c 0.0s | 0 | 0 | 0 | 1462 0 | 0 | 0
2.49/2.53 c 0.0s | 1 | 168 | 100 | 1462 0 | 0 | 0
2.49/2.56 c 0.1s | 2 | 592 | 250 | 1609 0 | 0 | 0
2.69/2.71 c 0.2s | 3 | 3326 | 475 | 1770 0 | 0 | 0
2.79/2.88 c 0.4s | 4 | 3734 | 813 | 1948 0 | 0 | 0
3.19/3.20 c 0.7s | 5 | 4307 | 1320 | 2143 0 | 0 | 0
3.49/3.52 c 1.0s | 6 | 6570 | 2081 | 2594 0 | 0 | 0
3.49/3.55 c 1.0s | 6 | 7126 | 2083 | 2594 0 | 0 | 0
3.49/3.55 c #cpu_time = 1.037s
3.49/3.55 c #wall_clock_time = 1.040s
3.49/3.55 c #decision = 7126
3.49/3.55 c #random_decision = 31
3.49/3.55 c #conflict = 2083
3.49/3.55 c #restart = 6
3.49/3.55 o 212697
3.49/3.55 c BCD2: updating upper bound: 525309 -> 212696
3.49/3.56 c BCD2: 0 <= obj <= 212696
3.49/3.56 c BCD2: #cores=0, #unrelaxed=1925, #relaxed=0, #hardened=0
3.49/3.56 c BCD2: #sat=1 #unsat=1 bias=1/2
3.49/3.56 c Solving starts ...
3.49/3.56 c ============================[ Search Statistics ]============================
3.49/3.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.49/3.56 c | | | | Limit GC | Var | Constra
3.49/3.56 c =============================================================================
3.49/3.56 c 0.0s | 0 | 0 | 0 | 2594 0 | 0 | 0
3.49/3.57 c 0.0s | 0 | 208 | 0 | 2594 0 | 0 | 0
3.49/3.57 c #cpu_time = 0.010s
3.49/3.57 c #wall_clock_time = 0.010s
3.49/3.57 c #decision = 208
3.49/3.57 c #random_decision = 0
3.49/3.57 c #conflict = 0
3.49/3.57 c #restart = 0
3.49/3.57 c BCD2: found a new core of size 7: cost of the new core is >=73
3.49/3.57 c lower bound updated to 73
3.49/3.57 c BCD2: 73 <= obj <= 212696
3.49/3.57 c BCD2: #cores=1, #unrelaxed=1918, #relaxed=7, #hardened=0
3.49/3.57 c BCD2: #sat=1 #unsat=2 bias=2/3
3.49/3.58 c Solving starts ...
3.49/3.58 c ============================[ Search Statistics ]============================
3.49/3.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.49/3.58 c | | | | Limit GC | Var | Constra
3.49/3.58 c =============================================================================
3.49/3.58 c 0.0s | 0 | 0 | 0 | 2594 0 | 0 | 0
3.49/3.59 c 0.0s | 0 | 336 | 3 | 2594 0 | 0 | 0
3.49/3.59 c #cpu_time = 0.010s
3.49/3.59 c #wall_clock_time = 0.010s
3.49/3.59 c #decision = 336
3.49/3.59 c #random_decision = 0
3.49/3.59 c #conflict = 3
3.49/3.59 c #restart = 0
3.49/3.59 c BCD2: found a new core of size 31: cost of the new core is >=1
3.49/3.59 c lower bound updated to 74
3.49/3.59 c BCD2: 74 <= obj <= 212696
3.49/3.59 c BCD2: #cores=2, #unrelaxed=1887, #relaxed=38, #hardened=0
3.49/3.59 c BCD2: #sat=1 #unsat=3 bias=3/4
3.49/3.59 c Solving starts ...
3.49/3.59 c ============================[ Search Statistics ]============================
3.49/3.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.49/3.59 c | | | | Limit GC | Var | Constra
3.49/3.59 c =============================================================================
3.49/3.59 c 0.0s | 0 | 0 | 0 | 2594 0 | 0 | 0
3.59/3.60 c 0.0s | 0 | 335 | 1 | 2594 0 | 0 | 0
3.59/3.60 c #cpu_time = 0.010s
3.59/3.60 c #wall_clock_time = 0.010s
3.59/3.60 c #decision = 335
3.59/3.60 c #random_decision = 0
3.59/3.60 c #conflict = 1
3.59/3.60 c #restart = 0
3.59/3.60 c BCD2: found a new core of size 17: cost of the new core is >=1
3.59/3.60 c lower bound updated to 75
3.59/3.60 c BCD2: 75 <= obj <= 212696
3.59/3.60 c BCD2: #cores=3, #unrelaxed=1870, #relaxed=55, #hardened=0
3.59/3.60 c BCD2: #sat=1 #unsat=4 bias=4/5
3.59/3.60 c Solving starts ...
3.59/3.60 c ============================[ Search Statistics ]============================
3.59/3.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.59/3.60 c | | | | Limit GC | Var | Constra
3.59/3.60 c =============================================================================
3.59/3.60 c 0.0s | 0 | 0 | 0 | 2594 0 | 0 | 0
3.59/3.61 c 0.0s | 0 | 349 | 0 | 2594 0 | 0 | 0
3.59/3.61 c #cpu_time = 0.010s
3.59/3.61 c #wall_clock_time = 0.010s
3.59/3.61 c #decision = 349
3.59/3.61 c #random_decision = 0
3.59/3.61 c #conflict = 0
3.59/3.61 c #restart = 0
3.59/3.61 c BCD2: found a new core of size 6: cost of the new core is >=136
3.59/3.61 c lower bound updated to 211
3.59/3.61 c BCD2: 211 <= obj <= 212696
3.59/3.61 c BCD2: #cores=4, #unrelaxed=1864, #relaxed=61, #hardened=0
3.59/3.61 c BCD2: #sat=1 #unsat=5 bias=5/6
3.59/3.61 c Solving starts ...
3.59/3.61 c ============================[ Search Statistics ]============================
3.59/3.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.59/3.61 c | | | | Limit GC | Var | Constra
3.59/3.61 c =============================================================================
3.59/3.61 c 0.0s | 0 | 0 | 0 | 2594 0 | 0 | 0
3.59/3.63 c 0.0s | 0 | 402 | 0 | 2594 0 | 0 | 0
3.59/3.63 c #cpu_time = 0.010s
3.59/3.63 c #wall_clock_time = 0.010s
3.59/3.63 c #decision = 402
3.59/3.63 c #random_decision = 0
3.59/3.63 c #conflict = 0
3.59/3.63 c #restart = 0
3.59/3.63 c BCD2: found a new core of size 6: cost of the new core is >=103
3.59/3.63 c lower bound updated to 314
3.59/3.63 c BCD2: 314 <= obj <= 212696
3.59/3.63 c BCD2: #cores=5, #unrelaxed=1858, #relaxed=67, #hardened=0
3.59/3.63 c BCD2: #sat=1 #unsat=6 bias=6/7
3.59/3.63 c Solving starts ...
3.59/3.63 c ============================[ Search Statistics ]============================
3.59/3.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.59/3.63 c | | | | Limit GC | Var | Constra
3.59/3.63 c =============================================================================
3.59/3.63 c 0.0s | 0 | 0 | 0 | 2594 0 | 0 | 0
3.59/3.64 c 0.0s | 0 | 519 | 0 | 2594 0 | 0 | 0
3.59/3.64 c #cpu_time = 0.011s
3.59/3.64 c #wall_clock_time = 0.011s
3.59/3.64 c #decision = 519
3.59/3.64 c #random_decision = 0
3.59/3.64 c #conflict = 0
3.59/3.64 c #restart = 0
3.59/3.64 c BCD2: found a new core of size 7: cost of the new core is >=147
3.59/3.64 c lower bound updated to 461
3.59/3.64 c BCD2: 461 <= obj <= 212696
3.59/3.64 c BCD2: #cores=6, #unrelaxed=1851, #relaxed=74, #hardened=0
3.59/3.64 c BCD2: #sat=1 #unsat=7 bias=7/8
3.59/3.64 c Solving starts ...
3.59/3.64 c ============================[ Search Statistics ]============================
3.59/3.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.59/3.64 c | | | | Limit GC | Var | Constra
3.59/3.64 c =============================================================================
3.59/3.64 c 0.0s | 0 | 0 | 0 | 2594 0 | 0 | 0
3.59/3.65 c 0.0s | 0 | 1028 | 1 | 2594 0 | 0 | 0
3.59/3.65 c #cpu_time = 0.011s
3.59/3.65 c #wall_clock_time = 0.011s
3.59/3.65 c #decision = 1028
3.59/3.65 c #random_decision = 0
3.59/3.65 c #conflict = 1
3.59/3.65 c #restart = 0
3.59/3.65 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 8: cost of the new core is >=733
3.59/3.65 c BCD2: refineLB: 660 -> 733
3.59/3.65 c lower bound updated to 1047
3.59/3.65 c BCD2: 1047 <= obj <= 212696
3.59/3.65 c BCD2: #cores=6, #unrelaxed=1850, #relaxed=75, #hardened=0
3.59/3.65 c BCD2: #sat=1 #unsat=8 bias=8/9
3.59/3.66 c Solving starts ...
3.59/3.66 c ============================[ Search Statistics ]============================
3.59/3.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.59/3.66 c | | | | Limit GC | Var | Constra
3.59/3.66 c =============================================================================
3.59/3.66 c 0.0s | 0 | 0 | 0 | 2594 0 | 1 | 0
3.59/3.67 c 0.0s | 0 | 611 | 4 | 2594 0 | 1 | 1
3.59/3.67 c #cpu_time = 0.011s
3.59/3.67 c #wall_clock_time = 0.011s
3.59/3.67 c #decision = 611
3.59/3.67 c #random_decision = 0
3.59/3.67 c #conflict = 4
3.59/3.67 c #restart = 0
3.59/3.67 c BCD2: relaxing 13 and merging with 1 cores into a new core of size 21: cost of the new core is >=986
3.59/3.67 c lower bound updated to 1300
3.59/3.67 c BCD2: 1300 <= obj <= 212696
3.59/3.67 c BCD2: #cores=6, #unrelaxed=1837, #relaxed=88, #hardened=0
3.59/3.67 c BCD2: #sat=1 #unsat=9 bias=9/10
3.59/3.67 c Solving starts ...
3.59/3.67 c ============================[ Search Statistics ]============================
3.59/3.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.59/3.67 c | | | | Limit GC | Var | Constra
3.59/3.67 c =============================================================================
3.59/3.67 c 0.0s | 0 | 0 | 0 | 2594 0 | 2 | 1
3.59/3.68 c 0.0s | 0 | 518 | 0 | 2594 0 | 2 | 2
3.59/3.68 c #cpu_time = 0.011s
3.59/3.68 c #wall_clock_time = 0.011s
3.59/3.68 c #decision = 518
3.59/3.68 c #random_decision = 0
3.59/3.68 c #conflict = 0
3.59/3.68 c #restart = 0
3.59/3.68 c BCD2: found a new core of size 7: cost of the new core is >=35
3.59/3.68 c lower bound updated to 1335
3.59/3.68 c BCD2: 1335 <= obj <= 212696
3.59/3.68 c BCD2: #cores=7, #unrelaxed=1830, #relaxed=95, #hardened=0
3.59/3.68 c BCD2: #sat=1 #unsat=10 bias=10/11
3.59/3.69 c Solving starts ...
3.59/3.69 c ============================[ Search Statistics ]============================
3.59/3.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.59/3.69 c | | | | Limit GC | Var | Constra
3.59/3.69 c =============================================================================
3.59/3.69 c 0.0s | 0 | 0 | 0 | 2594 0 | 2 | 2
3.69/3.70 c 0.0s | 0 | 619 | 1 | 2594 0 | 2 | 2
3.69/3.70 c #cpu_time = 0.011s
3.69/3.70 c #wall_clock_time = 0.011s
3.69/3.70 c #decision = 619
3.69/3.70 c #random_decision = 0
3.69/3.70 c #conflict = 1
3.69/3.70 c #restart = 0
3.69/3.70 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 24: cost of the new core is >=309
3.69/3.70 c lower bound updated to 1643
3.69/3.70 c BCD2: 1643 <= obj <= 212696
3.69/3.70 c BCD2: #cores=7, #unrelaxed=1823, #relaxed=102, #hardened=0
3.69/3.70 c BCD2: #sat=1 #unsat=11 bias=11/12
3.69/3.70 c Solving starts ...
3.69/3.70 c ============================[ Search Statistics ]============================
3.69/3.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.69/3.70 c | | | | Limit GC | Var | Constra
3.69/3.70 c =============================================================================
3.69/3.70 c 0.0s | 0 | 0 | 0 | 2594 0 | 9 | 2
3.69/3.72 c 0.0s | 0 | 611 | 0 | 2594 0 | 9 | 15
3.69/3.72 c #cpu_time = 0.011s
3.69/3.72 c #wall_clock_time = 0.011s
3.69/3.72 c #decision = 611
3.69/3.72 c #random_decision = 0
3.69/3.72 c #conflict = 0
3.69/3.72 c #restart = 0
3.69/3.72 c BCD2: found a new core of size 6: cost of the new core is >=160
3.69/3.72 c lower bound updated to 1803
3.69/3.72 c BCD2: 1803 <= obj <= 212696
3.69/3.72 c BCD2: #cores=8, #unrelaxed=1817, #relaxed=108, #hardened=0
3.69/3.72 c BCD2: #sat=1 #unsat=12 bias=12/13
3.69/3.72 c Solving starts ...
3.69/3.72 c ============================[ Search Statistics ]============================
3.69/3.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.69/3.72 c | | | | Limit GC | Var | Constra
3.69/3.72 c =============================================================================
3.69/3.72 c 0.0s | 0 | 0 | 0 | 2594 0 | 9 | 15
3.69/3.73 c 0.0s | 0 | 609 | 0 | 2594 0 | 9 | 15
3.69/3.73 c #cpu_time = 0.011s
3.69/3.73 c #wall_clock_time = 0.011s
3.69/3.73 c #decision = 609
3.69/3.73 c #random_decision = 0
3.69/3.73 c #conflict = 0
3.69/3.73 c #restart = 0
3.89/3.94 c BCD2: found a new core of size 6: cost of the new core is >=200
3.89/3.94 c lower bound updated to 2003
3.89/3.94 c BCD2: 2003 <= obj <= 212696
3.89/3.94 c BCD2: #cores=9, #unrelaxed=1811, #relaxed=114, #hardened=0
3.89/3.94 c BCD2: #sat=1 #unsat=13 bias=13/14
3.89/3.94 c Solving starts ...
3.89/3.94 c ============================[ Search Statistics ]============================
3.89/3.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.89/3.94 c | | | | Limit GC | Var | Constra
3.89/3.94 c =============================================================================
3.89/3.94 c 0.0s | 0 | 0 | 0 | 2594 0 | 9 | 15
3.89/3.94 c 0.0s | 0 | 636 | 1 | 2594 0 | 9 | 15
3.89/3.94 c #cpu_time = 0.012s
3.89/3.94 c #wall_clock_time = 0.012s
3.89/3.94 c #decision = 636
3.89/3.94 c #random_decision = 0
3.89/3.94 c #conflict = 1
3.89/3.94 c #restart = 0
3.89/3.94 c BCD2: found a new core of size 4: cost of the new core is >=591
3.89/3.94 c lower bound updated to 2594
3.89/3.94 c BCD2: 2594 <= obj <= 212696
3.89/3.94 c BCD2: #cores=10, #unrelaxed=1807, #relaxed=118, #hardened=0
3.89/3.94 c BCD2: #sat=1 #unsat=14 bias=14/15
3.89/3.94 c Solving starts ...
3.89/3.94 c ============================[ Search Statistics ]============================
3.89/3.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.89/3.94 c | | | | Limit GC | Var | Constra
3.89/3.94 c =============================================================================
3.89/3.94 c 0.0s | 0 | 0 | 0 | 2594 0 | 9 | 15
3.89/3.94 c 0.0s | 0 | 636 | 2 | 2594 0 | 9 | 15
3.89/3.94 c #cpu_time = 0.012s
3.89/3.94 c #wall_clock_time = 0.012s
3.89/3.94 c #decision = 636
3.89/3.94 c #random_decision = 0
3.89/3.94 c #conflict = 2
3.89/3.94 c #restart = 0
3.89/3.94 c BCD2: found a new core of size 10: cost of the new core is >=26
3.89/3.94 c lower bound updated to 2620
3.89/3.94 c BCD2: 2620 <= obj <= 212696
3.89/3.94 c BCD2: #cores=11, #unrelaxed=1797, #relaxed=128, #hardened=0
3.89/3.94 c BCD2: #sat=1 #unsat=15 bias=15/16
3.89/3.94 c Solving starts ...
3.89/3.94 c ============================[ Search Statistics ]============================
3.89/3.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.89/3.94 c | | | | Limit GC | Var | Constra
3.89/3.94 c =============================================================================
3.89/3.94 c 0.0s | 0 | 0 | 0 | 2594 0 | 9 | 15
3.89/3.94 c 0.0s | 0 | 806 | 0 | 2594 0 | 9 | 15
3.89/3.94 c #cpu_time = 0.012s
3.89/3.94 c #wall_clock_time = 0.012s
3.89/3.94 c #decision = 806
3.89/3.94 c #random_decision = 0
3.89/3.94 c #conflict = 0
3.89/3.94 c #restart = 0
3.89/3.94 c BCD2: found a new core of size 6: cost of the new core is >=51
3.89/3.94 c lower bound updated to 2671
3.89/3.94 c BCD2: 2671 <= obj <= 212696
3.89/3.94 c BCD2: #cores=12, #unrelaxed=1791, #relaxed=134, #hardened=0
3.89/3.94 c BCD2: #sat=1 #unsat=16 bias=16/17
3.89/3.94 c Solving starts ...
3.89/3.94 c ============================[ Search Statistics ]============================
3.89/3.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.89/3.94 c | | | | Limit GC | Var | Constra
3.89/3.94 c =============================================================================
3.89/3.94 c 0.0s | 0 | 0 | 0 | 2594 0 | 9 | 15
3.89/3.94 c 0.0s | 0 | 830 | 2 | 2594 0 | 9 | 15
3.89/3.94 c #cpu_time = 0.012s
3.89/3.94 c #wall_clock_time = 0.012s
3.89/3.94 c #decision = 830
3.89/3.94 c #random_decision = 0
3.89/3.94 c #conflict = 2
3.89/3.94 c #restart = 0
3.89/3.94 c BCD2: found a new core of size 20: cost of the new core is >=1
3.89/3.94 c lower bound updated to 2672
3.89/3.94 c BCD2: 2672 <= obj <= 212696
3.89/3.94 c BCD2: #cores=13, #unrelaxed=1771, #relaxed=154, #hardened=0
3.89/3.94 c BCD2: #sat=1 #unsat=17 bias=17/18
3.89/3.94 c Solving starts ...
3.89/3.94 c ============================[ Search Statistics ]============================
3.89/3.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.89/3.94 c | | | | Limit GC | Var | Constra
3.89/3.94 c =============================================================================
3.89/3.94 c 0.0s | 0 | 0 | 0 | 2594 0 | 9 | 15
3.89/3.94 c 0.0s | 0 | 924 | 1 | 2594 0 | 9 | 15
3.89/3.94 c #cpu_time = 0.013s
3.89/3.94 c #wall_clock_time = 0.013s
3.89/3.94 c #decision = 924
3.89/3.94 c #random_decision = 0
3.89/3.94 c #conflict = 1
3.89/3.94 c #restart = 0
3.89/3.94 c BCD2: relaxing 14 and merging with 1 cores into a new core of size 21: cost of the new core is >=105
3.89/3.94 c lower bound updated to 2742
3.89/3.94 c BCD2: 2742 <= obj <= 212696
3.89/3.94 c BCD2: #cores=13, #unrelaxed=1757, #relaxed=168, #hardened=0
3.89/3.94 c BCD2: #sat=1 #unsat=18 bias=18/19
3.89/3.94 c Solving starts ...
3.89/3.94 c ============================[ Search Statistics ]============================
3.89/3.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.89/3.94 c | | | | Limit GC | Var | Constra
3.89/3.94 c =============================================================================
3.89/3.94 c 0.0s | 0 | 0 | 0 | 2594 0 | 17 | 15
3.89/3.94 c 0.0s | 0 | 977 | 2 | 2594 0 | 17 | 30
3.89/3.94 c #cpu_time = 0.013s
3.89/3.94 c #wall_clock_time = 0.013s
3.89/3.94 c #decision = 977
3.89/3.94 c #random_decision = 0
3.89/3.94 c #conflict = 2
3.89/3.94 c #restart = 0
3.89/3.94 c BCD2: found a new core of size 27: cost of the new core is >=1
3.89/3.94 c lower bound updated to 2743
3.89/3.94 c BCD2: 2743 <= obj <= 212696
3.89/3.94 c BCD2: #cores=14, #unrelaxed=1730, #relaxed=195, #hardened=0
3.89/3.94 c BCD2: #sat=1 #unsat=19 bias=19/20
3.89/3.94 c Solving starts ...
3.89/3.94 c ============================[ Search Statistics ]============================
3.89/3.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.89/3.94 c | | | | Limit GC | Var | Constra
3.89/3.94 c =============================================================================
3.89/3.94 c 0.0s | 0 | 0 | 0 | 2594 0 | 17 | 30
3.89/3.94 c 0.0s | 0 | 1782 | 2 | 2594 0 | 17 | 30
3.89/3.94 c #cpu_time = 0.015s
3.89/3.94 c #wall_clock_time = 0.015s
3.89/3.94 c #decision = 1782
3.89/3.94 c #random_decision = 0
3.89/3.94 c #conflict = 2
3.89/3.94 c #restart = 0
3.89/3.94 c BCD2: relaxing 18 and merging with 2 cores into a new core of size 48: cost of the new core is >=509
3.89/3.94 c lower bound updated to 2783
3.89/3.94 c BCD2: 2783 <= obj <= 212696
3.89/3.94 c BCD2: #cores=13, #unrelaxed=1712, #relaxed=213, #hardened=0
3.89/3.94 c BCD2: #sat=1 #unsat=20 bias=20/21
3.89/3.94 c Solving starts ...
3.89/3.94 c ============================[ Search Statistics ]============================
3.89/3.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.89/3.94 c | | | | Limit GC | Var | Constra
3.89/3.94 c =============================================================================
3.89/3.94 c 0.0s | 0 | 0 | 0 | 2594 0 | 34 | 30
3.89/3.94 c 0.0s | 0 | 1526 | 1 | 2594 0 | 34 | 62
3.89/3.94 c #cpu_time = 0.013s
3.89/3.94 c #wall_clock_time = 0.013s
3.89/3.94 c #decision = 1526
3.89/3.94 c #random_decision = 0
3.89/3.94 c #conflict = 1
3.89/3.94 c #restart = 0
3.89/3.94 c BCD2: found a new core of size 11: cost of the new core is >=77
3.89/3.94 c lower bound updated to 2860
3.89/3.94 c BCD2: 2860 <= obj <= 212696
3.89/3.94 c BCD2: #cores=14, #unrelaxed=1701, #relaxed=224, #hardened=0
3.89/3.94 c BCD2: #sat=1 #unsat=21 bias=21/22
3.89/3.94 c Solving starts ...
3.89/3.94 c ============================[ Search Statistics ]============================
3.89/3.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.89/3.94 c | | | | Limit GC | Var | Constra
3.89/3.94 c =============================================================================
3.89/3.94 c 0.0s | 0 | 0 | 0 | 2594 0 | 34 | 62
3.89/3.94 c 0.0s | 0 | 1107 | 0 | 2594 0 | 34 | 62
3.89/3.94 c #cpu_time = 0.012s
3.89/3.94 c #wall_clock_time = 0.012s
3.89/3.94 c #decision = 1107
3.89/3.94 c #random_decision = 0
3.89/3.94 c #conflict = 0
3.89/3.94 c #restart = 0
3.89/3.94 c BCD2: found a new core of size 6: cost of the new core is >=185
3.89/3.94 c lower bound updated to 3045
3.89/3.94 c BCD2: 3045 <= obj <= 212696
3.89/3.94 c BCD2: #cores=15, #unrelaxed=1695, #relaxed=230, #hardened=0
3.89/3.94 c BCD2: #sat=1 #unsat=22 bias=22/23
3.89/3.94 c Solving starts ...
3.89/3.94 c ============================[ Search Statistics ]============================
3.89/3.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.89/3.94 c | | | | Limit GC | Var | Constra
3.89/3.94 c =============================================================================
3.89/3.94 c 0.0s | 0 | 0 | 0 | 2594 0 | 34 | 62
3.89/3.94 c 0.0s | 0 | 1123 | 1 | 2594 0 | 34 | 62
3.89/3.94 c #cpu_time = 0.012s
3.89/3.94 c #wall_clock_time = 0.012s
3.89/3.94 c #decision = 1123
3.89/3.94 c #random_decision = 0
3.89/3.94 c #conflict = 1
3.89/3.94 c #restart = 0
3.89/3.94 c BCD2: found a new core of size 13: cost of the new core is >=77
3.89/3.94 c lower bound updated to 3122
3.89/3.94 c BCD2: 3122 <= obj <= 212696
3.89/3.94 c BCD2: #cores=16, #unrelaxed=1682, #relaxed=243, #hardened=0
3.89/3.94 c BCD2: #sat=1 #unsat=23 bias=23/24
3.89/3.94 c Solving starts ...
3.89/3.94 c ============================[ Search Statistics ]============================
3.89/3.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.89/3.94 c | | | | Limit GC | Var | Constra
3.89/3.94 c =============================================================================
3.89/3.94 c 0.0s | 0 | 0 | 0 | 2594 0 | 34 | 62
3.89/3.94 c 0.0s | 0 | 1196 | 0 | 2594 0 | 34 | 62
3.89/3.94 c #cpu_time = 0.012s
3.89/3.94 c #wall_clock_time = 0.013s
3.89/3.94 c #decision = 1196
3.89/3.94 c #random_decision = 0
3.89/3.94 c #conflict = 0
3.89/3.94 c #restart = 0
3.89/3.94 c BCD2: found a new core of size 6: cost of the new core is >=223
3.89/3.94 c lower bound updated to 3345
3.89/3.95 c BCD2: 3345 <= obj <= 212696
3.89/3.95 c BCD2: #cores=17, #unrelaxed=1676, #relaxed=249, #hardened=0
3.89/3.95 c BCD2: #sat=1 #unsat=24 bias=24/25
3.89/3.95 c Solving starts ...
3.89/3.95 c ============================[ Search Statistics ]============================
3.89/3.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.89/3.95 c | | | | Limit GC | Var | Constra
3.89/3.95 c =============================================================================
3.89/3.95 c 0.0s | 0 | 0 | 0 | 2594 0 | 34 | 62
3.89/3.96 c 0.0s | 0 | 1193 | 0 | 2594 0 | 34 | 62
3.89/3.96 c #cpu_time = 0.013s
3.89/3.96 c #wall_clock_time = 0.013s
3.89/3.96 c #decision = 1193
3.89/3.96 c #random_decision = 0
3.89/3.96 c #conflict = 0
3.89/3.96 c #restart = 0
3.89/3.96 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 8: cost of the new core is >=760
3.89/3.96 c lower bound updated to 3882
3.89/3.97 c BCD2: 3882 <= obj <= 212696
3.89/3.97 c BCD2: #cores=17, #unrelaxed=1674, #relaxed=251, #hardened=0
3.89/3.97 c BCD2: #sat=1 #unsat=25 bias=25/26
3.89/3.97 c Solving starts ...
3.89/3.97 c ============================[ Search Statistics ]============================
3.89/3.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.89/3.97 c | | | | Limit GC | Var | Constra
3.89/3.97 c =============================================================================
3.89/3.97 c 0.0s | 0 | 0 | 0 | 2594 0 | 35 | 62
3.89/3.99 c 0.0s | 0 | 1248 | 1 | 2594 0 | 35 | 63
3.89/3.99 c #cpu_time = 0.012s
3.89/3.99 c #wall_clock_time = 0.012s
3.89/3.99 c #decision = 1248
3.89/3.99 c #random_decision = 0
3.89/3.99 c #conflict = 1
3.89/3.99 c #restart = 0
3.89/3.99 c BCD2: relaxing 12 and merging with 1 cores into a new core of size 25: cost of the new core is >=115
3.89/3.99 c lower bound updated to 3920
3.89/3.99 c BCD2: 3920 <= obj <= 212696
3.89/3.99 c BCD2: #cores=17, #unrelaxed=1662, #relaxed=263, #hardened=0
3.89/3.99 c BCD2: #sat=1 #unsat=26 bias=26/27
3.99/4.00 c Solving starts ...
3.99/4.00 c ============================[ Search Statistics ]============================
3.99/4.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.99/4.00 c | | | | Limit GC | Var | Constra
3.99/4.00 c =============================================================================
3.99/4.00 c 0.0s | 0 | 0 | 0 | 2594 0 | 38 | 63
3.99/4.01 c 0.0s | 0 | 1341 | 0 | 2594 0 | 38 | 68
3.99/4.01 c #cpu_time = 0.013s
3.99/4.01 c #wall_clock_time = 0.013s
3.99/4.01 c #decision = 1341
3.99/4.01 c #random_decision = 0
3.99/4.01 c #conflict = 0
3.99/4.01 c #restart = 0
3.99/4.01 c BCD2: found a new core of size 6: cost of the new core is >=279
3.99/4.01 c lower bound updated to 4199
3.99/4.01 c BCD2: 4199 <= obj <= 212696
3.99/4.01 c BCD2: #cores=18, #unrelaxed=1656, #relaxed=269, #hardened=0
3.99/4.01 c BCD2: #sat=1 #unsat=27 bias=27/28
3.99/4.02 c Solving starts ...
3.99/4.02 c ============================[ Search Statistics ]============================
3.99/4.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.99/4.02 c | | | | Limit GC | Var | Constra
3.99/4.02 c =============================================================================
3.99/4.02 c 0.0s | 0 | 0 | 0 | 2594 0 | 38 | 68
3.99/4.04 c 0.0s | 0 | 1465 | 1 | 2594 0 | 38 | 68
3.99/4.04 c #cpu_time = 0.013s
3.99/4.04 c #wall_clock_time = 0.013s
3.99/4.04 c #decision = 1465
3.99/4.04 c #random_decision = 0
3.99/4.04 c #conflict = 1
3.99/4.04 c #restart = 0
3.99/4.04 c BCD2: found a new core of size 11: cost of the new core is >=77
3.99/4.04 c lower bound updated to 4276
3.99/4.04 c BCD2: 4276 <= obj <= 212696
3.99/4.04 c BCD2: #cores=19, #unrelaxed=1645, #relaxed=280, #hardened=0
3.99/4.04 c BCD2: #sat=1 #unsat=28 bias=28/29
3.99/4.05 c Solving starts ...
3.99/4.05 c ============================[ Search Statistics ]============================
3.99/4.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.99/4.05 c | | | | Limit GC | Var | Constra
3.99/4.05 c =============================================================================
3.99/4.05 c 0.0s | 0 | 0 | 0 | 2594 0 | 38 | 68
3.99/4.06 c 0.0s | 0 | 1562 | 0 | 2594 0 | 38 | 68
3.99/4.06 c #cpu_time = 0.014s
3.99/4.06 c #wall_clock_time = 0.014s
3.99/4.06 c #decision = 1562
3.99/4.06 c #random_decision = 0
3.99/4.06 c #conflict = 0
3.99/4.06 c #restart = 0
3.99/4.06 c BCD2: found a new core of size 5: cost of the new core is >=384
3.99/4.06 c lower bound updated to 4660
3.99/4.06 c BCD2: 4660 <= obj <= 212696
3.99/4.06 c BCD2: #cores=20, #unrelaxed=1640, #relaxed=285, #hardened=0
3.99/4.06 c BCD2: #sat=1 #unsat=29 bias=29/30
3.99/4.06 c Solving starts ...
3.99/4.06 c ============================[ Search Statistics ]============================
3.99/4.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.99/4.06 c | | | | Limit GC | Var | Constra
3.99/4.06 c =============================================================================
3.99/4.06 c 0.0s | 0 | 0 | 0 | 2594 0 | 38 | 68
3.99/4.08 c 0.0s | 0 | 1576 | 0 | 2594 0 | 38 | 68
3.99/4.08 c #cpu_time = 0.014s
3.99/4.08 c #wall_clock_time = 0.014s
3.99/4.08 c #decision = 1576
3.99/4.08 c #random_decision = 0
3.99/4.08 c #conflict = 0
3.99/4.08 c #restart = 0
3.99/4.08 c BCD2: found a new core of size 8: cost of the new core is >=80
3.99/4.08 c lower bound updated to 4740
3.99/4.08 c BCD2: 4740 <= obj <= 212696
3.99/4.08 c BCD2: #cores=21, #unrelaxed=1632, #relaxed=293, #hardened=0
3.99/4.08 c BCD2: #sat=1 #unsat=30 bias=30/31
3.99/4.09 c Solving starts ...
3.99/4.09 c ============================[ Search Statistics ]============================
3.99/4.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.99/4.09 c | | | | Limit GC | Var | Constra
3.99/4.09 c =============================================================================
3.99/4.09 c 0.0s | 0 | 0 | 0 | 2594 0 | 38 | 68
4.09/4.10 c 0.0s | 0 | 1616 | 2 | 2594 0 | 38 | 68
4.09/4.10 c #cpu_time = 0.015s
4.09/4.10 c #wall_clock_time = 0.015s
4.09/4.10 c #decision = 1616
4.09/4.10 c #random_decision = 0
4.09/4.10 c #conflict = 2
4.09/4.10 c #restart = 0
4.09/4.10 c BCD2: found a new core of size 25: cost of the new core is >=20
4.09/4.10 c lower bound updated to 4760
4.09/4.11 c BCD2: 4760 <= obj <= 212696
4.09/4.11 c BCD2: #cores=22, #unrelaxed=1607, #relaxed=318, #hardened=0
4.09/4.11 c BCD2: #sat=1 #unsat=31 bias=31/32
4.09/4.12 c Solving starts ...
4.09/4.12 c ============================[ Search Statistics ]============================
4.09/4.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.09/4.12 c | | | | Limit GC | Var | Constra
4.09/4.12 c =============================================================================
4.09/4.12 c 0.0s | 0 | 0 | 0 | 2594 0 | 38 | 68
4.09/4.15 c 0.0s | 0 | 2088 | 43 | 2594 0 | 38 | 68
4.09/4.15 c #cpu_time = 0.024s
4.09/4.15 c #wall_clock_time = 0.024s
4.09/4.15 c #decision = 2088
4.09/4.15 c #random_decision = 0
4.09/4.15 c #conflict = 43
4.09/4.15 c #restart = 0
4.09/4.15 c BCD2: relaxing 65 and merging with 1 cores into a new core of size 90: cost of the new core is >=21
4.09/4.15 c lower bound updated to 4761
4.09/4.15 c BCD2: 4761 <= obj <= 212696
4.09/4.15 c BCD2: #cores=22, #unrelaxed=1542, #relaxed=383, #hardened=0
4.09/4.15 c BCD2: #sat=1 #unsat=32 bias=32/33
4.09/4.16 c Solving starts ...
4.09/4.16 c ============================[ Search Statistics ]============================
4.09/4.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.09/4.16 c | | | | Limit GC | Var | Constra
4.09/4.16 c =============================================================================
4.09/4.16 c 0.0s | 0 | 0 | 0 | 2594 0 | 39 | 68
4.19/4.20 c 0.0s | 1 | 2564 | 100 | 2594 0 | 39 | 69
4.19/4.22 c 0.1s | 1 | 5002 | 122 | 2594 0 | 39 | 69
4.19/4.22 c #cpu_time = 0.060s
4.19/4.22 c #wall_clock_time = 0.060s
4.19/4.22 c #decision = 5002
4.19/4.22 c #random_decision = 1
4.19/4.22 c #conflict = 122
4.19/4.22 c #restart = 1
4.19/4.22 c BCD2: relaxing 112 and merging with 3 cores into a new core of size 151: cost of the new core is >=927
4.19/4.22 c lower bound updated to 4762
4.19/4.22 c BCD2: 4762 <= obj <= 212696
4.19/4.22 c BCD2: #cores=20, #unrelaxed=1430, #relaxed=495, #hardened=0
4.19/4.22 c BCD2: #sat=1 #unsat=33 bias=33/34
4.19/4.23 c Solving starts ...
4.19/4.23 c ============================[ Search Statistics ]============================
4.19/4.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.19/4.23 c | | | | Limit GC | Var | Constra
4.19/4.23 c =============================================================================
4.19/4.23 c 0.0s | 0 | 0 | 0 | 2594 0 | 71 | 69
4.19/4.27 c 0.0s | 1 | 1628 | 100 | 2594 0 | 71 | 130
4.29/4.32 c 0.1s | 2 | 4450 | 250 | 2594 0 | 71 | 130
4.29/4.37 c 0.1s | 2 | 7143 | 322 | 2594 0 | 71 | 130
4.29/4.37 c #cpu_time = 0.136s
4.29/4.37 c #wall_clock_time = 0.137s
4.29/4.37 c #decision = 7143
4.29/4.37 c #random_decision = 1
4.29/4.37 c #conflict = 322
4.29/4.37 c #restart = 2
4.29/4.37 c BCD2: relaxing 66 and merging with 1 cores into a new core of size 93: cost of the new core is >=2
4.29/4.37 c lower bound updated to 4763
4.29/4.37 c BCD2: 4763 <= obj <= 212696
4.29/4.37 c BCD2: #cores=20, #unrelaxed=1364, #relaxed=561, #hardened=0
4.29/4.37 c BCD2: #sat=1 #unsat=34 bias=34/35
4.29/4.37 c Solving starts ...
4.29/4.37 c ============================[ Search Statistics ]============================
4.29/4.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.29/4.37 c | | | | Limit GC | Var | Constra
4.29/4.37 c =============================================================================
4.29/4.37 c 0.0s | 0 | 0 | 0 | 2594 0 | 86 | 130
4.39/4.41 c 0.0s | 1 | 1598 | 100 | 2594 0 | 86 | 159
4.39/4.47 c 0.1s | 2 | 4009 | 250 | 2594 0 | 86 | 159
4.49/4.54 c 0.2s | 3 | 5642 | 475 | 2594 0 | 86 | 159
4.69/4.70 c 0.3s | 4 | 7443 | 813 | 2854 1 | 86 | 159
4.89/4.92 c 0.5s | 5 | 9373 | 1320 | 2854 1 | 86 | 159
5.19/5.26 c 0.9s | 6 | 11585 | 2081 | 2854 1 | 86 | 159
5.79/5.83 c 1.5s | 7 | 14856 | 3223 | 3140 2 | 86 | 159
6.09/6.16 c 1.8s | 7 | 16922 | 3878 | 3140 2 | 86 | 159
6.09/6.16 c #cpu_time = 1.786s
6.09/6.16 c #wall_clock_time = 1.791s
6.09/6.16 c #decision = 16922
6.09/6.16 c #random_decision = 13
6.09/6.16 c #conflict = 3878
6.09/6.16 c #restart = 7
6.09/6.16 c BCD2: relaxing 218 and merging with 2 cores into a new core of size 245: cost of the new core is >=1172
6.09/6.16 c lower bound updated to 4764
6.09/6.16 c BCD2: 4764 <= obj <= 212696
6.09/6.16 c BCD2: #cores=19, #unrelaxed=1146, #relaxed=779, #hardened=0
6.09/6.16 c BCD2: #sat=1 #unsat=35 bias=35/36
6.09/6.17 c Solving starts ...
6.09/6.17 c ============================[ Search Statistics ]============================
6.09/6.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
6.09/6.17 c | | | | Limit GC | Var | Constra
6.09/6.17 c =============================================================================
6.09/6.17 c 0.0s | 0 | 0 | 0 | 3140 0 | 125 | 159
6.19/6.24 c 0.1s | 1 | 1503 | 100 | 3140 0 | 125 | 235
6.19/6.29 c 0.1s | 1 | 3825 | 195 | 3140 0 | 125 | 235
6.19/6.29 c #cpu_time = 0.122s
6.19/6.29 c #wall_clock_time = 0.122s
6.19/6.29 c #decision = 3825
6.19/6.29 c #random_decision = 1
6.19/6.29 c #conflict = 195
6.19/6.29 c #restart = 1
6.19/6.29 c BCD2: relaxing 73 and merging with 2 cores into a new core of size 112: cost of the new core is >=82
6.19/6.29 c lower bound updated to 4765
6.19/6.29 c BCD2: 4765 <= obj <= 212696
6.19/6.29 c BCD2: #cores=18, #unrelaxed=1073, #relaxed=852, #hardened=0
6.19/6.29 c BCD2: #sat=1 #unsat=36 bias=36/37
6.29/6.30 c Solving starts ...
6.29/6.30 c ============================[ Search Statistics ]============================
6.29/6.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
6.29/6.30 c | | | | Limit GC | Var | Constra
6.29/6.30 c =============================================================================
6.29/6.30 c 0.0s | 0 | 0 | 0 | 3140 0 | 164 | 235
6.29/6.32 c 0.0s | 0 | 1127 | 10 | 3140 0 | 164 | 311
6.29/6.32 c #cpu_time = 0.023s
6.29/6.32 c #wall_clock_time = 0.023s
6.29/6.32 c #decision = 1127
6.29/6.32 c #random_decision = 0
6.29/6.32 c #conflict = 10
6.29/6.32 c #restart = 0
6.29/6.32 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 12: cost of the new core is >=336
6.29/6.32 c lower bound updated to 4822
6.29/6.33 c BCD2: 4822 <= obj <= 212696
6.29/6.33 c BCD2: #cores=18, #unrelaxed=1067, #relaxed=858, #hardened=0
6.29/6.33 c BCD2: #sat=1 #unsat=37 bias=37/38
6.29/6.34 c Solving starts ...
6.29/6.34 c ============================[ Search Statistics ]============================
6.29/6.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
6.29/6.34 c | | | | Limit GC | Var | Constra
6.29/6.34 c =============================================================================
6.29/6.34 c 0.0s | 0 | 0 | 0 | 3140 0 | 174 | 311
6.29/6.37 c 0.0s | 0 | 1187 | 23 | 3140 0 | 174 | 330
6.29/6.37 c #cpu_time = 0.027s
6.29/6.37 c #wall_clock_time = 0.027s
6.29/6.37 c #decision = 1187
6.29/6.37 c #random_decision = 0
6.29/6.37 c #conflict = 23
6.29/6.37 c #restart = 0
6.29/6.37 c BCD2: relaxing 28 and merging with 1 cores into a new core of size 38: cost of the new core is >=27
6.29/6.37 c lower bound updated to 4823
6.29/6.37 c BCD2: 4823 <= obj <= 212696
6.29/6.37 c BCD2: #cores=18, #unrelaxed=1039, #relaxed=886, #hardened=0
6.29/6.37 c BCD2: #sat=1 #unsat=38 bias=38/39
6.29/6.38 c Solving starts ...
6.29/6.38 c ============================[ Search Statistics ]============================
6.29/6.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
6.29/6.38 c | | | | Limit GC | Var | Constra
6.29/6.38 c =============================================================================
6.29/6.38 c 0.0s | 0 | 0 | 0 | 3140 0 | 195 | 330
6.39/6.42 c 0.0s | 1 | 1708 | 100 | 3140 0 | 195 | 371
6.39/6.46 c 0.1s | 1 | 3043 | 117 | 3140 1 | 195 | 371
6.39/6.46 c #cpu_time = 0.084s
6.39/6.46 c #wall_clock_time = 0.084s
6.39/6.46 c #decision = 3043
6.39/6.46 c #random_decision = 0
6.39/6.46 c #conflict = 117
6.39/6.46 c #restart = 1
6.39/6.46 c BCD2: relaxing 73 and merging with 3 cores into a new core of size 127: cost of the new core is >=955
6.39/6.46 c lower bound updated to 4824
6.39/6.47 c BCD2: 4824 <= obj <= 212696
6.39/6.47 c BCD2: #cores=16, #unrelaxed=966, #relaxed=959, #hardened=0
6.39/6.47 c BCD2: #sat=1 #unsat=39 bias=39/40
6.39/6.47 c Solving starts ...
6.39/6.47 c ============================[ Search Statistics ]============================
6.39/6.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
6.39/6.47 c | | | | Limit GC | Var | Constra
6.39/6.47 c =============================================================================
6.39/6.47 c 0.0s | 0 | 0 | 0 | 3140 0 | 223 | 371
6.49/6.52 c 0.0s | 1 | 1221 | 100 | 3140 0 | 223 | 424
6.49/6.57 c 0.1s | 2 | 2380 | 250 | 3140 0 | 223 | 424
6.59/6.65 c 0.2s | 3 | 3650 | 475 | 3140 0 | 223 | 424
6.59/6.69 c 0.2s | 3 | 6731 | 548 | 3140 0 | 223 | 424
6.59/6.69 c #cpu_time = 0.219s
6.59/6.69 c #wall_clock_time = 0.219s
6.59/6.69 c #decision = 6731
6.59/6.69 c #random_decision = 0
6.59/6.69 c #conflict = 548
6.59/6.69 c #restart = 3
6.59/6.69 c BCD2: relaxing 106 and merging with 1 cores into a new core of size 113: cost of the new core is >=74
6.59/6.69 c lower bound updated to 4825
6.59/6.69 c BCD2: 4825 <= obj <= 212696
6.59/6.69 c BCD2: #cores=16, #unrelaxed=860, #relaxed=1065, #hardened=0
6.59/6.69 c BCD2: #sat=1 #unsat=40 bias=40/41
6.59/6.70 c Solving starts ...
6.59/6.70 c ============================[ Search Statistics ]============================
6.59/6.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
6.59/6.70 c | | | | Limit GC | Var | Constra
6.59/6.70 c =============================================================================
6.59/6.70 c 0.0s | 0 | 0 | 0 | 3140 0 | 261 | 424
6.69/6.77 c 0.1s | 1 | 1030 | 100 | 3140 0 | 261 | 499
6.78/6.86 c 0.2s | 2 | 2077 | 250 | 3455 0 | 261 | 499
6.88/6.96 c 0.3s | 3 | 3203 | 475 | 3455 0 | 261 | 499
7.08/7.12 c 0.4s | 4 | 4478 | 813 | 3455 0 | 261 | 499
7.28/7.36 c 0.7s | 5 | 5922 | 1320 | 3455 0 | 261 | 499
7.69/7.74 c 1.0s | 6 | 7615 | 2081 | 3455 0 | 261 | 499
8.28/8.38 c 1.7s | 7 | 9850 | 3223 | 3455 1 | 261 | 499
9.28/9.39 c 2.7s | 8 | 12704 | 4936 | 3801 1 | 261 | 499
10.38/10.43 c 3.7s | 8 | 15897 | 6664 | 3801 2 | 261 | 499
10.38/10.43 c #cpu_time = 3.717s
10.38/10.43 c #wall_clock_time = 3.727s
10.38/10.43 c #decision = 15897
10.38/10.43 c #random_decision = 26
10.38/10.43 c #conflict = 6664
10.38/10.43 c #restart = 8
10.38/10.43 c BCD2: relaxing 122 and merging with 3 cores into a new core of size 288: cost of the new core is >=968
10.38/10.43 c lower bound updated to 4826
10.38/10.43 c BCD2: 4826 <= obj <= 212696
10.38/10.43 c BCD2: #cores=14, #unrelaxed=738, #relaxed=1187, #hardened=0
10.38/10.43 c BCD2: #sat=1 #unsat=41 bias=41/42
10.38/10.43 c Solving starts ...
10.38/10.43 c ============================[ Search Statistics ]============================
10.38/10.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
10.38/10.43 c | | | | Limit GC | Var | Constra
10.38/10.43 c =============================================================================
10.38/10.43 c 0.0s | 0 | 0 | 0 | 3801 0 | 295 | 499
10.38/10.49 c 0.1s | 1 | 989 | 100 | 3801 0 | 295 | 564
10.48/10.57 c 0.1s | 2 | 2090 | 250 | 3801 0 | 295 | 564
10.58/10.69 c 0.3s | 3 | 3110 | 475 | 3801 1 | 295 | 564
10.78/10.85 c 0.4s | 4 | 4276 | 813 | 3801 1 | 295 | 564
10.99/11.09 c 0.7s | 5 | 5614 | 1320 | 3801 1 | 295 | 564
11.39/11.45 c 1.0s | 6 | 7222 | 2081 | 3801 1 | 295 | 564
11.89/11.94 c 1.5s | 7 | 9282 | 3223 | 4182 1 | 295 | 564
12.89/12.93 c 2.5s | 8 | 11865 | 4936 | 4182 2 | 295 | 564
14.30/14.33 c 3.9s | 9 | 15473 | 7506 | 4182 3 | 295 | 564
16.29/16.37 c 5.9s | 9 | 20147 | 11006 | 4182 4 | 295 | 564
16.50/16.59 c 6.2s | 10 | 20539 | 11361 | 4182 4 | 295 | 564
18.59/18.61 c 8.2s | 10 | 24746 | 14661 | 4601 6 | 295 | 564
19.99/20.07 c 9.6s | 11 | 27320 | 17144 | 4601 6 | 295 | 564
22.00/22.09 c 11.7s | 11 | 31595 | 20444 | 4601 8 | 295 | 564
24.09/24.14 c 13.7s | 11 | 35020 | 23744 | 4601 9 | 295 | 564
25.40/25.47 c 15.0s | 12 | 37212 | 25819 | 5062 9 | 295 | 564
27.50/27.50 c 17.1s | 12 | 41611 | 29119 | 5062 10 | 295 | 564
29.59/29.62 c 19.2s | 12 | 45156 | 32319 | 5062 12 | 295 | 564
31.59/31.67 c 21.2s | 12 | 48613 | 35519 | 5062 13 | 295 | 564
33.69/33.70 c 23.3s | 12 | 52038 | 38719 | 5062 14 | 295 | 564
33.69/33.77 c 23.3s | 13 | 52156 | 38832 | 5062 14 | 295 | 564
35.69/35.79 c 25.4s | 13 | 56419 | 42032 | 5062 15 | 295 | 564
37.79/37.82 c 27.4s | 13 | 59951 | 45232 | 5569 16 | 295 | 564
39.89/39.91 c 29.5s | 13 | 63609 | 48532 | 5569 16 | 295 | 564
41.89/41.94 c 31.5s | 13 | 67184 | 51732 | 5569 17 | 295 | 564
43.89/44.00 c 33.6s | 13 | 70724 | 54932 | 5569 18 | 295 | 564
45.98/46.01 c 35.6s | 13 | 74248 | 58132 | 5569 19 | 295 | 564
46.08/46.15 c 35.7s | 14 | 74481 | 58352 | 5569 19 | 295 | 564
48.08/48.19 c 37.8s | 14 | 78911 | 61652 | 5569 20 | 295 | 564
50.18/50.20 c 39.8s | 14 | 82454 | 64852 | 5569 21 | 295 | 564
52.18/52.25 c 41.8s | 14 | 85631 | 67852 | 5569 22 | 295 | 564
54.18/54.27 c 43.8s | 14 | 88861 | 70852 | 5569 23 | 295 | 564
56.28/56.30 c 45.9s | 14 | 91944 | 73652 | 6126 24 | 295 | 564
58.29/58.32 c 47.9s | 14 | 95424 | 76852 | 6126 25 | 295 | 564
60.28/60.34 c 49.9s | 14 | 98437 | 79652 | 6126 26 | 295 | 564
62.28/62.39 c 52.0s | 14 | 101873 | 82852 | 6126 26 | 295 | 564
64.38/64.40 c 54.0s | 14 | 105075 | 85852 | 6126 27 | 295 | 564
65.58/65.67 c 55.2s | 15 | 106993 | 87632 | 6126 28 | 295 | 564
67.58/67.69 c 57.3s | 15 | 111214 | 90732 | 6126 29 | 295 | 564
69.68/69.71 c 59.3s | 15 | 114831 | 94032 | 6126 29 | 295 | 564
71.68/71.77 c 61.3s | 15 | 118324 | 97232 | 6126 30 | 295 | 564
73.68/73.80 c 63.4s | 15 | 121760 | 100332 | 6126 31 | 295 | 564
75.78/75.80 c 65.4s | 15 | 125040 | 103332 | 6126 32 | 295 | 564
77.78/77.85 c 67.4s | 15 | 128439 | 106432 | 6126 33 | 295 | 564
79.77/79.87 c 69.4s | 15 | 131832 | 109532 | 6126 34 | 295 | 564
81.87/81.92 c 71.5s | 15 | 135167 | 112632 | 6126 35 | 295 | 564
83.87/83.96 c 73.5s | 15 | 138600 | 115732 | 6126 35 | 295 | 564
85.97/86.02 c 75.6s | 15 | 141758 | 118632 | 6739 36 | 295 | 564
87.98/88.07 c 77.6s | 15 | 144872 | 121532 | 6739 37 | 295 | 564
90.07/90.13 c 79.7s | 15 | 147786 | 124232 | 6739 38 | 295 | 564
92.07/92.15 c 81.7s | 15 | 151228 | 127232 | 6739 38 | 295 | 564
94.17/94.20 c 83.8s | 15 | 154339 | 130032 | 6739 39 | 295 | 564
95.17/95.25 c 84.8s | 16 | 156048 | 131552 | 6739 39 | 295 | 564
97.17/97.25 c 86.8s | 16 | 160117 | 134552 | 6739 40 | 295 | 564
99.17/99.27 c 88.8s | 16 | 163412 | 137552 | 6739 41 | 295 | 564
101.18/101.29 c 90.9s | 16 | 166876 | 140652 | 6739 42 | 295 | 564
103.27/103.31 c 92.9s | 16 | 170059 | 143552 | 6739 42 | 295 | 564
105.27/105.34 c 94.9s | 16 | 173353 | 146552 | 6739 43 | 295 | 564
107.37/107.43 c 97.0s | 16 | 176518 | 149452 | 6739 44 | 295 | 564
109.37/109.47 c 99.0s | 16 | 179692 | 152352 | 6739 45 | 295 | 564
111.47/111.50 c 101s | 16 | 182868 | 155252 | 6739 45 | 295 | 564
113.47/113.53 c 103s | 16 | 186062 | 158152 | 6739 46 | 295 | 564
115.47/115.58 c 105s | 16 | 189190 | 161052 | 6739 47 | 295 | 564
117.57/117.63 c 107s | 16 | 192513 | 164052 | 6739 48 | 295 | 564
119.57/119.68 c 109s | 16 | 195745 | 167052 | 6739 48 | 295 | 564
121.67/121.72 c 111s | 16 | 198750 | 169852 | 6739 49 | 295 | 564
123.67/123.77 c 113s | 16 | 201749 | 172552 | 6739 50 | 295 | 564
125.67/125.79 c 115s | 16 | 204840 | 175352 | 6739 51 | 295 | 564
127.77/127.84 c 117s | 16 | 208043 | 178252 | 6739 51 | 295 | 564
129.77/129.85 c 119s | 16 | 211217 | 181152 | 6739 52 | 295 | 564
131.77/131.87 c 121s | 16 | 214218 | 183952 | 7413 53 | 295 | 564
133.86/133.93 c 123s | 16 | 217367 | 186852 | 7413 53 | 295 | 564
135.87/135.97 c 125s | 16 | 220609 | 189852 | 7413 54 | 295 | 564
137.87/137.99 c 127s | 16 | 223662 | 192652 | 7413 55 | 295 | 564
139.97/140.02 c 129s | 16 | 226789 | 195552 | 7413 55 | 295 | 564
141.37/141.50 c 131s | 17 | 228802 | 197432 | 7413 56 | 295 | 564
143.47/143.54 c 133s | 17 | 232876 | 200432 | 7413 56 | 295 | 564
145.47/145.58 c 135s | 17 | 236125 | 203432 | 7413 57 | 295 | 564
147.57/147.63 c 137s | 17 | 239379 | 206432 | 7413 58 | 295 | 564
149.58/149.69 c 139s | 17 | 242528 | 209332 | 7413 58 | 295 | 564
151.67/151.71 c 141s | 17 | 245442 | 212032 | 7413 59 | 295 | 564
153.67/153.76 c 143s | 17 | 248428 | 214632 | 7413 60 | 295 | 564
155.77/155.81 c 145s | 17 | 251606 | 217632 | 7413 60 | 295 | 564
157.77/157.81 c 147s | 17 | 254551 | 220432 | 7413 61 | 295 | 564
159.77/159.85 c 149s | 17 | 257706 | 223332 | 7413 62 | 295 | 564
161.77/161.86 c 151s | 17 | 260748 | 226132 | 7413 62 | 295 | 564
163.77/163.87 c 153s | 17 | 263552 | 228732 | 7413 63 | 295 | 564
165.87/165.93 c 155s | 17 | 266272 | 231332 | 7413 64 | 295 | 564
167.87/167.99 c 157s | 17 | 269410 | 234232 | 7413 64 | 295 | 564
169.97/170.04 c 159s | 17 | 272116 | 236732 | 7413 65 | 295 | 564
171.96/172.08 c 161s | 17 | 275010 | 239432 | 7413 65 | 295 | 564
174.06/174.15 c 163s | 17 | 277896 | 242132 | 7413 66 | 295 | 564
176.07/176.19 c 165s | 17 | 280702 | 244732 | 7413 67 | 295 | 564
178.17/178.24 c 167s | 17 | 283644 | 247432 | 7413 67 | 295 | 564
180.16/180.27 c 169s | 17 | 286910 | 250432 | 7413 68 | 295 | 564
182.26/182.30 c 171s | 17 | 289728 | 253032 | 7413 69 | 295 | 564
184.26/184.37 c 173s | 17 | 292781 | 255832 | 7413 69 | 295 | 564
186.26/186.38 c 175s | 17 | 295538 | 258432 | 7413 70 | 295 | 564
188.26/188.38 c 177s | 17 | 298390 | 261132 | 7413 70 | 295 | 564
190.27/190.39 c 179s | 17 | 301213 | 263732 | 7413 71 | 295 | 564
192.36/192.40 c 181s | 17 | 304016 | 266332 | 7413 72 | 295 | 564
194.36/194.42 c 183s | 17 | 306891 | 269032 | 7413 72 | 295 | 564
196.36/196.48 c 186s | 17 | 309903 | 271832 | 7413 73 | 295 | 564
198.46/198.53 c 188s | 17 | 312840 | 274532 | 7413 74 | 295 | 564
200.46/200.56 c 190s | 17 | 315775 | 277232 | 7413 74 | 295 | 564
202.56/202.62 c 192s | 17 | 318657 | 279932 | 7413 75 | 295 | 564
204.57/204.65 c 194s | 17 | 321606 | 282632 | 8155 75 | 295 | 564
206.56/206.66 c 196s | 17 | 324654 | 285432 | 8155 76 | 295 | 564
208.66/208.79 c 198s | 17 | 327500 | 288032 | 8155 77 | 295 | 564
210.76/210.82 c 200s | 17 | 330421 | 290732 | 8155 77 | 295 | 564
212.76/212.85 c 202s | 17 | 333024 | 293132 | 8155 78 | 295 | 564
214.86/214.90 c 204s | 17 | 335747 | 295632 | 8155 78 | 295 | 564
215.26/215.39 c 204s | 18 | 336423 | 296252 | 8155 78 | 295 | 564
217.36/217.46 c 207s | 18 | 339697 | 298652 | 8155 79 | 295 | 564
219.46/219.53 c 209s | 18 | 342297 | 301152 | 8155 79 | 295 | 564
221.46/221.54 c 211s | 18 | 344992 | 303752 | 8155 80 | 295 | 564
223.56/223.62 c 213s | 18 | 347763 | 306352 | 8155 80 | 295 | 564
225.56/225.63 c 215s | 18 | 350202 | 308652 | 8155 81 | 295 | 564
227.55/227.66 c 217s | 18 | 352857 | 311152 | 8155 81 | 295 | 564
229.65/229.70 c 219s | 18 | 355653 | 313752 | 8155 82 | 295 | 564
231.75/231.83 c 221s | 18 | 358220 | 316152 | 8155 83 | 295 | 564
233.75/233.84 c 223s | 18 | 361417 | 319052 | 8155 83 | 295 | 564
235.85/235.90 c 225s | 18 | 364232 | 321652 | 8155 84 | 295 | 564
237.85/237.94 c 227s | 18 | 367207 | 324452 | 8155 84 | 295 | 564
239.86/239.98 c 229s | 18 | 370188 | 327252 | 8155 85 | 295 | 564
241.96/242.07 c 231s | 18 | 372921 | 329852 | 8155 86 | 295 | 564
243.95/244.08 c 233s | 18 | 375777 | 332552 | 8155 86 | 295 | 564
245.95/246.09 c 235s | 18 | 378291 | 334952 | 8155 87 | 295 | 564
248.05/248.13 c 237s | 18 | 381058 | 337552 | 8155 87 | 295 | 564
250.05/250.18 c 239s | 18 | 383704 | 340052 | 8155 88 | 295 | 564
252.15/252.23 c 241s | 18 | 386589 | 342752 | 8155 88 | 295 | 564
254.15/254.27 c 243s | 18 | 389614 | 345552 | 8155 89 | 295 | 564
256.15/256.28 c 245s | 18 | 392469 | 348152 | 8155 89 | 295 | 564
258.25/258.33 c 247s | 18 | 395458 | 350952 | 8155 90 | 295 | 564
260.25/260.33 c 249s | 18 | 397912 | 353252 | 8155 91 | 295 | 564
262.25/262.34 c 251s | 18 | 400565 | 355752 | 8155 91 | 295 | 564
264.25/264.39 c 253s | 18 | 403150 | 358152 | 8155 92 | 295 | 564
266.35/266.40 c 255s | 18 | 406002 | 360852 | 8155 92 | 295 | 564
268.35/268.44 c 258s | 18 | 408796 | 363452 | 8155 93 | 295 | 564
270.34/270.47 c 260s | 18 | 411550 | 366052 | 8155 93 | 295 | 564
272.44/272.50 c 262s | 18 | 414191 | 368552 | 8155 94 | 295 | 564
274.44/274.54 c 264s | 18 | 416953 | 371152 | 8155 94 | 295 | 564
276.44/276.58 c 266s | 18 | 419626 | 373652 | 8155 95 | 295 | 564
278.45/278.58 c 268s | 18 | 422072 | 375952 | 8155 95 | 295 | 564
280.46/280.59 c 270s | 18 | 424684 | 378452 | 8155 96 | 295 | 564
282.55/282.62 c 272s | 18 | 427259 | 380852 | 8155 96 | 295 | 564
284.55/284.68 c 274s | 18 | 430095 | 383552 | 8155 97 | 295 | 564
286.65/286.72 c 276s | 18 | 432683 | 385952 | 8155 98 | 295 | 564
288.65/288.79 c 278s | 18 | 435685 | 388752 | 8155 98 | 295 | 564
290.75/290.82 c 280s | 18 | 438372 | 391252 | 8155 99 | 295 | 564
292.75/292.87 c 282s | 18 | 441259 | 393952 | 8155 99 | 295 | 564
294.85/294.94 c 284s | 18 | 444023 | 396552 | 8155 100 | 295 | 564
296.85/296.98 c 286s | 18 | 446789 | 399152 | 8155 100 | 295 | 564
298.85/299.00 c 288s | 18 | 449552 | 401752 | 8155 101 | 295 | 564
300.95/301.06 c 290s | 18 | 452177 | 404252 | 8155 102 | 295 | 564
302.95/303.08 c 292s | 18 | 455017 | 406952 | 8155 102 | 295 | 564
305.04/305.11 c 294s | 18 | 457864 | 409552 | 8155 103 | 295 | 564
307.04/307.14 c 296s | 18 | 460750 | 412252 | 8155 103 | 295 | 564
309.05/309.16 c 298s | 18 | 463492 | 414852 | 8155 104 | 295 | 564
311.14/311.20 c 300s | 18 | 466477 | 417552 | 8155 104 | 295 | 564
313.14/313.21 c 302s | 18 | 469455 | 420252 | 8155 105 | 295 | 564
315.14/315.23 c 304s | 18 | 472037 | 422652 | 8155 105 | 295 | 564
317.14/317.25 c 306s | 18 | 474826 | 425252 | 8155 106 | 295 | 564
319.24/319.31 c 308s | 18 | 477511 | 427752 | 8971 106 | 295 | 564
321.25/321.38 c 310s | 18 | 480264 | 430352 | 8971 107 | 295 | 564
323.35/323.41 c 312s | 18 | 482782 | 432752 | 8971 107 | 295 | 564
325.34/325.44 c 315s | 18 | 485558 | 435352 | 8971 108 | 295 | 564
327.34/327.46 c 317s | 18 | 488196 | 437852 | 8971 108 | 295 | 564
329.34/329.49 c 319s | 18 | 490835 | 440352 | 8971 109 | 295 | 564
331.44/331.52 c 321s | 18 | 493366 | 442752 | 8971 109 | 295 | 564
332.94/333.04 c 322s | 19 | 495190 | 444482 | 8971 110 | 295 | 564
334.94/335.09 c 324s | 19 | 499198 | 447382 | 8971 110 | 295 | 564
337.04/337.10 c 326s | 19 | 502228 | 450182 | 8971 111 | 295 | 564
339.04/339.15 c 328s | 19 | 505152 | 452882 | 8971 111 | 295 | 564
341.04/341.17 c 330s | 19 | 508066 | 455582 | 8971 112 | 295 | 564
343.04/343.20 c 332s | 19 | 510814 | 458082 | 8971 112 | 295 | 564
345.14/345.25 c 334s | 19 | 513879 | 460882 | 8971 113 | 295 | 564
347.14/347.28 c 336s | 19 | 516784 | 463582 | 8971 113 | 295 | 564
349.23/349.33 c 338s | 19 | 519889 | 466482 | 8971 114 | 295 | 564
351.23/351.35 c 340s | 19 | 522588 | 468982 | 8971 115 | 295 | 564
353.23/353.37 c 342s | 19 | 525612 | 471782 | 8971 115 | 295 | 564
355.24/355.40 c 344s | 19 | 528116 | 474082 | 8971 116 | 295 | 564
357.33/357.41 c 346s | 19 | 531217 | 476982 | 8971 116 | 295 | 564
359.33/359.44 c 349s | 19 | 534012 | 479582 | 8971 117 | 295 | 564
361.43/361.52 c 351s | 19 | 537015 | 482382 | 8971 117 | 295 | 564
363.43/363.55 c 353s | 19 | 539571 | 484782 | 8971 118 | 295 | 564
365.43/365.59 c 355s | 19 | 542467 | 487482 | 8971 118 | 295 | 564
367.53/367.65 c 357s | 19 | 545342 | 490082 | 8971 119 | 295 | 564
369.54/369.66 c 359s | 19 | 548262 | 492682 | 8971 119 | 295 | 564
371.53/371.67 c 361s | 19 | 551126 | 495282 | 8971 120 | 295 | 564
373.63/373.72 c 363s | 19 | 554026 | 497982 | 8971 120 | 295 | 564
375.63/375.75 c 365s | 19 | 556708 | 500482 | 8971 121 | 295 | 564
377.73/377.80 c 367s | 19 | 559367 | 502882 | 8971 121 | 295 | 564
379.73/379.86 c 369s | 19 | 562159 | 505482 | 8971 122 | 295 | 564
381.83/381.94 c 371s | 19 | 565068 | 508182 | 8971 122 | 295 | 564
383.83/384.00 c 373s | 19 | 567938 | 510882 | 8971 123 | 295 | 564
385.93/386.02 c 375s | 19 | 570913 | 513582 | 8971 123 | 295 | 564
387.93/388.02 c 377s | 19 | 573830 | 516282 | 8971 124 | 295 | 564
389.93/390.09 c 379s | 19 | 576715 | 518982 | 8971 124 | 295 | 564
392.03/392.10 c 381s | 19 | 579398 | 521482 | 8971 125 | 295 | 564
394.03/394.17 c 383s | 19 | 582047 | 523982 | 8971 125 | 295 | 564
396.13/396.22 c 385s | 19 | 585026 | 526782 | 8971 126 | 295 | 564
398.13/398.23 c 387s | 19 | 587656 | 529282 | 8971 126 | 295 | 564
400.13/400.24 c 389s | 19 | 590427 | 531882 | 8971 127 | 295 | 564
402.22/402.31 c 391s | 19 | 593218 | 534482 | 8971 128 | 295 | 564
404.22/404.36 c 393s | 19 | 596228 | 537182 | 8971 128 | 295 | 564
406.22/406.39 c 395s | 19 | 599001 | 539782 | 8971 129 | 295 | 564
408.32/408.47 c 398s | 19 | 602001 | 542582 | 8971 129 | 295 | 564
410.42/410.51 c 400s | 19 | 604518 | 544982 | 8971 130 | 295 | 564
412.43/412.58 c 402s | 19 | 607419 | 547682 | 8971 130 | 295 | 564
414.52/414.63 c 404s | 19 | 610085 | 550182 | 8971 131 | 295 | 564
416.52/416.66 c 406s | 19 | 613148 | 553082 | 8971 131 | 295 | 564
418.62/418.70 c 408s | 19 | 616069 | 555782 | 8971 132 | 295 | 564
420.62/420.71 c 410s | 19 | 618941 | 558382 | 8971 132 | 295 | 564
422.62/422.73 c 412s | 19 | 621519 | 560782 | 8971 133 | 295 | 564
424.63/424.75 c 414s | 19 | 624529 | 563582 | 8971 133 | 295 | 564
426.62/426.80 c 416s | 19 | 627467 | 566382 | 8971 134 | 295 | 564
428.72/428.83 c 418s | 19 | 630449 | 569182 | 8971 134 | 295 | 564
430.72/430.84 c 420s | 19 | 633427 | 571982 | 8971 135 | 295 | 564
432.73/432.85 c 422s | 19 | 636056 | 574382 | 8971 135 | 295 | 564
434.73/434.85 c 424s | 19 | 638790 | 576882 | 8971 136 | 295 | 564
436.83/436.92 c 426s | 19 | 641939 | 579782 | 8971 136 | 295 | 564
438.83/438.98 c 428s | 19 | 645107 | 582782 | 8971 137 | 295 | 564
440.93/441.01 c 430s | 19 | 647848 | 585382 | 8971 138 | 295 | 564
443.03/443.10 c 432s | 19 | 650734 | 588082 | 8971 138 | 295 | 564
445.03/445.12 c 434s | 19 | 653625 | 590782 | 8971 139 | 295 | 564
447.03/447.15 c 436s | 19 | 656658 | 593582 | 8971 139 | 295 | 564
449.12/449.22 c 438s | 19 | 659533 | 596282 | 8971 140 | 295 | 564
451.12/451.28 c 440s | 19 | 662440 | 598982 | 8971 140 | 295 | 564
453.23/453.31 c 442s | 19 | 665093 | 601482 | 8971 141 | 295 | 564
455.22/455.38 c 444s | 19 | 667996 | 604182 | 8971 141 | 295 | 564
457.32/457.49 c 447s | 19 | 670757 | 606782 | 8971 142 | 295 | 564
459.42/459.54 c 449s | 19 | 673596 | 609482 | 8971 142 | 295 | 564
461.42/461.56 c 451s | 19 | 676639 | 612282 | 8971 143 | 295 | 564
463.52/463.64 c 453s | 19 | 679511 | 614982 | 8971 143 | 295 | 564
465.52/465.68 c 455s | 19 | 682481 | 617682 | 8971 144 | 295 | 564
467.62/467.70 c 457s | 19 | 685115 | 620082 | 8971 144 | 295 | 564
469.63/469.71 c 459s | 19 | 688268 | 622982 | 8971 145 | 295 | 564
471.62/471.75 c 461s | 19 | 691165 | 625682 | 8971 146 | 295 | 564
473.62/473.75 c 463s | 19 | 694220 | 628582 | 8971 146 | 295 | 564
475.72/475.87 c 465s | 19 | 696791 | 630982 | 8971 147 | 295 | 564
477.82/477.93 c 467s | 19 | 699519 | 633582 | 8971 147 | 295 | 564
479.82/479.98 c 469s | 19 | 702033 | 635982 | 8971 148 | 295 | 564
481.92/482.03 c 471s | 19 | 704893 | 638682 | 8971 148 | 295 | 564
483.92/484.03 c 473s | 19 | 707488 | 641082 | 8971 149 | 295 | 564
486.02/486.10 c 475s | 19 | 710510 | 643882 | 8971 149 | 295 | 564
488.01/488.15 c 477s | 19 | 713047 | 646282 | 8971 150 | 295 | 564
490.01/490.19 c 479s | 19 | 715907 | 648982 | 9869 150 | 295 | 564
492.11/492.27 c 481s | 19 | 718610 | 651482 | 9869 150 | 295 | 564
494.21/494.30 c 483s | 19 | 721345 | 653982 | 9869 151 | 295 | 564
496.21/496.30 c 485s | 19 | 724014 | 656482 | 9869 151 | 295 | 564
498.22/498.34 c 487s | 19 | 726815 | 659082 | 9869 152 | 295 | 564
500.21/500.37 c 489s | 19 | 729595 | 661682 | 9869 152 | 295 | 564
502.21/502.38 c 491s | 19 | 732356 | 664282 | 9869 153 | 295 | 564
504.31/504.44 c 494s | 19 | 734988 | 666782 | 9869 153 | 295 | 564
504.31/504.48 c 494s | 20 | 735032 | 666827 | 9869 153 | 295 | 564
506.31/506.49 c 496s | 20 | 738543 | 669327 | 9869 154 | 295 | 564
508.31/508.49 c 498s | 20 | 741462 | 672027 | 9869 154 | 295 | 564
510.42/510.54 c 500s | 20 | 744095 | 674527 | 9869 155 | 295 | 564
512.41/512.59 c 502s | 20 | 746958 | 677227 | 9869 155 | 295 | 564
514.51/514.65 c 504s | 20 | 749501 | 679627 | 9869 156 | 295 | 564
516.61/516.70 c 506s | 20 | 752230 | 682227 | 9869 156 | 295 | 564
518.71/518.80 c 508s | 20 | 754857 | 684727 | 9869 157 | 295 | 564
520.71/520.80 c 510s | 20 | 757694 | 687427 | 9869 157 | 295 | 564
522.71/522.82 c 512s | 20 | 760266 | 689827 | 9869 157 | 295 | 564
524.71/524.86 c 514s | 20 | 762889 | 692327 | 9869 158 | 295 | 564
526.71/526.87 c 516s | 20 | 765371 | 694727 | 9869 158 | 295 | 564
528.71/528.90 c 518s | 20 | 768081 | 697327 | 9869 159 | 295 | 564
530.81/530.97 c 520s | 20 | 770849 | 699927 | 9869 159 | 295 | 564
532.91/533.00 c 522s | 20 | 773428 | 702327 | 9869 160 | 295 | 564
534.90/535.03 c 524s | 20 | 776173 | 704927 | 9869 160 | 295 | 564
536.90/537.04 c 526s | 20 | 778696 | 707327 | 9869 161 | 295 | 564
538.91/539.06 c 528s | 20 | 781413 | 709927 | 9869 161 | 295 | 564
541.00/541.14 c 530s | 20 | 783896 | 712227 | 9869 162 | 295 | 564
543.00/543.16 c 532s | 20 | 786723 | 714927 | 9869 162 | 295 | 564
545.00/545.18 c 534s | 20 | 789138 | 717227 | 9869 162 | 295 | 564
547.10/547.21 c 536s | 20 | 791561 | 719527 | 9869 163 | 295 | 564
549.10/549.27 c 538s | 20 | 794342 | 722127 | 9869 163 | 295 | 564
551.20/551.32 c 540s | 20 | 796987 | 724627 | 9869 164 | 295 | 564
553.21/553.36 c 542s | 20 | 799841 | 727327 | 9869 164 | 295 | 564
555.30/555.41 c 544s | 20 | 802396 | 729727 | 9869 165 | 295 | 564
557.30/557.50 c 547s | 20 | 805156 | 732327 | 9869 165 | 295 | 564
559.40/559.51 c 549s | 20 | 807585 | 734627 | 9869 166 | 295 | 564
561.40/561.51 c 551s | 20 | 810342 | 737227 | 9869 166 | 295 | 564
563.40/563.52 c 553s | 20 | 812989 | 739727 | 9869 166 | 295 | 564
565.41/565.59 c 555s | 20 | 816032 | 742527 | 9869 167 | 295 | 564
567.51/567.67 c 557s | 20 | 818732 | 745027 | 9869 167 | 295 | 564
569.50/569.67 c 559s | 20 | 821379 | 747527 | 9869 168 | 295 | 564
571.60/571.74 c 561s | 20 | 824042 | 750027 | 9869 168 | 295 | 564
573.70/573.80 c 563s | 20 | 826580 | 752427 | 9869 169 | 295 | 564
575.70/575.86 c 565s | 20 | 829422 | 755127 | 9869 169 | 295 | 564
577.70/577.86 c 567s | 20 | 831744 | 757327 | 9869 170 | 295 | 564
579.80/579.91 c 569s | 20 | 834687 | 760127 | 9869 170 | 295 | 564
581.80/581.93 c 571s | 20 | 837316 | 762627 | 9869 171 | 295 | 564
583.80/583.96 c 573s | 20 | 840198 | 765327 | 9869 171 | 295 | 564
585.90/586.02 c 575s | 20 | 842607 | 767627 | 9869 172 | 295 | 564
587.90/588.04 c 577s | 20 | 845445 | 770327 | 9869 172 | 295 | 564
589.90/590.07 c 579s | 20 | 848174 | 772927 | 9869 173 | 295 | 564
592.00/592.14 c 581s | 20 | 851251 | 775827 | 9869 173 | 295 | 564
594.09/594.20 c 583s | 20 | 853935 | 778327 | 9869 174 | 295 | 564
596.10/596.20 c 585s | 20 | 856855 | 781027 | 9869 174 | 295 | 564
598.09/598.23 c 587s | 20 | 859386 | 783427 | 9869 174 | 295 | 564
600.09/600.27 c 589s | 20 | 862286 | 786127 | 9869 175 | 295 | 564
602.09/602.28 c 591s | 20 | 865040 | 788727 | 9869 175 | 295 | 564
604.19/604.39 c 593s | 20 | 867648 | 791227 | 9869 176 | 295 | 564
606.29/606.41 c 595s | 20 | 870286 | 793727 | 9869 176 | 295 | 564
608.30/608.42 c 597s | 20 | 872838 | 796127 | 9869 177 | 295 | 564
610.29/610.46 c 600s | 20 | 875623 | 798727 | 9869 177 | 295 | 564
612.39/612.51 c 602s | 20 | 878311 | 801227 | 9869 178 | 295 | 564
614.39/614.58 c 604s | 20 | 881407 | 804127 | 9869 178 | 295 | 564
616.50/616.65 c 606s | 20 | 883847 | 806427 | 9869 179 | 295 | 564
618.60/618.73 c 608s | 20 | 886705 | 809127 | 9869 179 | 295 | 564
620.70/620.84 c 610s | 20 | 889149 | 811427 | 9869 180 | 295 | 564
622.70/622.88 c 612s | 20 | 892176 | 814227 | 9869 180 | 295 | 564
624.81/624.93 c 614s | 20 | 894902 | 816827 | 9869 180 | 295 | 564
626.80/626.97 c 616s | 20 | 897555 | 819327 | 9869 181 | 295 | 564
628.90/629.01 c 618s | 20 | 900073 | 821727 | 9869 181 | 295 | 564
630.90/631.01 c 620s | 20 | 902614 | 824127 | 9869 182 | 295 | 564
632.89/633.09 c 622s | 20 | 905304 | 826627 | 9869 182 | 295 | 564
634.99/635.16 c 624s | 20 | 907874 | 829027 | 9869 183 | 295 | 564
637.09/637.21 c 626s | 20 | 910520 | 831527 | 9869 183 | 295 | 564
639.10/639.27 c 628s | 20 | 913028 | 833927 | 9869 184 | 295 | 564
641.09/641.27 c 630s | 20 | 915777 | 836527 | 9869 184 | 295 | 564
643.29/643.41 c 632s | 20 | 918288 | 838927 | 9869 185 | 295 | 564
645.28/645.43 c 634s | 20 | 921231 | 841627 | 9869 185 | 295 | 564
647.28/647.49 c 637s | 20 | 923879 | 844127 | 9869 185 | 295 | 564
649.38/649.54 c 639s | 20 | 926538 | 846627 | 9869 186 | 295 | 564
651.48/651.60 c 641s | 20 | 928947 | 848927 | 9869 186 | 295 | 564
653.48/653.64 c 643s | 20 | 931671 | 851527 | 9869 187 | 295 | 564
655.48/655.67 c 645s | 20 | 934523 | 854227 | 9869 187 | 295 | 564
657.58/657.72 c 647s | 20 | 937282 | 856827 | 9869 188 | 295 | 564
659.57/659.77 c 649s | 20 | 940085 | 859427 | 9869 188 | 295 | 564
661.57/661.77 c 651s | 20 | 942631 | 861827 | 9869 189 | 295 | 564
663.67/663.82 c 653s | 20 | 945265 | 864327 | 9869 189 | 295 | 564
665.67/665.87 c 655s | 20 | 947761 | 866627 | 9869 190 | 295 | 564
667.77/667.93 c 657s | 20 | 950670 | 869427 | 9869 190 | 295 | 564
669.78/669.98 c 659s | 20 | 953101 | 871727 | 9869 190 | 295 | 564
671.86/672.08 c 661s | 20 | 955820 | 874327 | 9869 191 | 295 | 564
673.86/674.08 c 663s | 20 | 958245 | 876627 | 9869 191 | 295 | 564
675.96/676.15 c 665s | 20 | 960661 | 878927 | 9869 192 | 295 | 564
677.96/678.17 c 667s | 20 | 963327 | 881427 | 9869 192 | 295 | 564
680.06/680.20 c 669s | 20 | 965895 | 883827 | 9869 193 | 295 | 564
682.07/682.23 c 671s | 20 | 968667 | 886427 | 9869 193 | 295 | 564
684.07/684.26 c 673s | 20 | 971406 | 889027 | 9869 194 | 295 | 564
686.17/686.31 c 675s | 20 | 974223 | 891727 | 9869 194 | 295 | 564
688.17/688.33 c 677s | 20 | 976750 | 894127 | 9869 195 | 295 | 564
690.17/690.35 c 679s | 20 | 979807 | 897027 | 9869 195 | 295 | 564
692.16/692.37 c 681s | 20 | 982862 | 899827 | 9869 196 | 295 | 564
694.16/694.38 c 683s | 20 | 986095 | 902927 | 9869 196 | 295 | 564
696.17/696.39 c 685s | 20 | 988956 | 905627 | 9869 197 | 295 | 564
698.26/698.40 c 687s | 20 | 992185 | 908627 | 9869 197 | 295 | 564
700.26/700.41 c 689s | 20 | 995196 | 911427 | 9869 198 | 295 | 564
702.25/702.43 c 692s | 20 | 998280 | 914327 | 9869 198 | 295 | 564
704.25/704.49 c 694s | 20 | 1001170 | 917027 | 9869 199 | 295 | 564
706.35/706.55 c 696s | 20 | 1003953 | 919627 | 9869 199 | 295 | 564
708.36/708.58 c 698s | 20 | 1006847 | 922327 | 9869 200 | 295 | 564
710.35/710.60 c 700s | 20 | 1009828 | 925127 | 9869 200 | 295 | 564
712.44/712.62 c 702s | 20 | 1012867 | 927927 | 9869 201 | 295 | 564
714.44/714.69 c 704s | 20 | 1015973 | 930827 | 9869 201 | 295 | 564
716.54/716.79 c 706s | 20 | 1018178 | 932827 | 9869 202 | 295 | 564
718.64/718.87 c 708s | 20 | 1020956 | 935427 | 9869 202 | 295 | 564
720.74/720.96 c 710s | 20 | 1023380 | 937727 | 9869 202 | 295 | 564
722.73/722.99 c 712s | 20 | 1025797 | 940027 | 9869 203 | 295 | 564
724.84/725.06 c 714s | 20 | 1028721 | 942727 | 9869 203 | 295 | 564
726.94/727.10 c 716s | 20 | 1031442 | 945327 | 9869 204 | 295 | 564
728.93/729.12 c 718s | 20 | 1034020 | 947727 | 9869 204 | 295 | 564
730.93/731.19 c 720s | 20 | 1036677 | 950227 | 9869 205 | 295 | 564
732.93/733.19 c 722s | 20 | 1039308 | 952727 | 9869 205 | 295 | 564
735.03/735.20 c 724s | 20 | 1041737 | 955027 | 9869 206 | 295 | 564
737.03/737.25 c 726s | 20 | 1044636 | 957727 | 9869 206 | 295 | 564
739.03/739.27 c 728s | 20 | 1047045 | 960027 | 9869 206 | 295 | 564
741.12/741.34 c 730s | 20 | 1049907 | 962727 | 9869 207 | 295 | 564
743.12/743.35 c 732s | 20 | 1052469 | 965127 | 9869 207 | 295 | 564
745.22/745.41 c 734s | 20 | 1055009 | 967527 | 9869 208 | 295 | 564
747.22/747.45 c 737s | 20 | 1057815 | 970127 | 9869 208 | 295 | 564
749.32/749.50 c 739s | 20 | 1060567 | 972727 | 9869 209 | 295 | 564
751.31/751.56 c 741s | 20 | 1063411 | 975427 | 9869 209 | 295 | 564
753.42/753.62 c 743s | 20 | 1066062 | 977927 | 9869 210 | 295 | 564
755.41/755.66 c 745s | 20 | 1068675 | 980427 | 10856 210 | 295 | 564
757.51/757.73 c 747s | 20 | 1071120 | 982727 | 10856 210 | 295 | 564
759.51/759.75 c 749s | 20 | 1073587 | 985027 | 10856 211 | 295 | 564
761.51/761.75 c 751s | 20 | 1076095 | 987427 | 10856 211 | 295 | 564
763.61/763.83 c 753s | 20 | 1078435 | 989627 | 10856 212 | 295 | 564
765.61/765.89 c 755s | 20 | 1081168 | 992227 | 10856 212 | 295 | 564
767.71/767.95 c 757s | 20 | 1083381 | 994327 | 10856 212 | 295 | 564
769.81/770.00 c 759s | 20 | 1085904 | 996727 | 10856 213 | 295 | 564
771.80/772.06 c 761s | 20 | 1088537 | 999227 | 10856 213 | 295 | 564
772.80/773.09 c 762s | 21 | 1089703 | 1000345 | 10856 213 | 295 | 564
774.91/775.15 c 764s | 21 | 1093209 | 1002845 | 10856 214 | 295 | 564
776.90/777.16 c 766s | 21 | 1096036 | 1005445 | 10856 214 | 295 | 564
778.90/779.18 c 768s | 21 | 1098631 | 1007845 | 10856 215 | 295 | 564
781.00/781.23 c 770s | 21 | 1101441 | 1010445 | 10856 215 | 295 | 564
783.01/783.30 c 772s | 21 | 1103876 | 1012745 | 10856 216 | 295 | 564
785.10/785.35 c 774s | 21 | 1106902 | 1015545 | 10856 216 | 295 | 564
787.10/787.38 c 776s | 21 | 1109420 | 1017845 | 10856 216 | 295 | 564
789.30/789.52 c 779s | 21 | 1112219 | 1020445 | 10856 217 | 295 | 564
791.29/791.55 c 781s | 21 | 1115162 | 1023145 | 10856 217 | 295 | 564
793.29/793.55 c 783s | 21 | 1117697 | 1025445 | 10856 218 | 295 | 564
795.29/795.55 c 785s | 21 | 1120237 | 1027745 | 10856 218 | 295 | 564
797.30/797.58 c 787s | 21 | 1122918 | 1030145 | 10856 218 | 295 | 564
799.39/799.63 c 789s | 21 | 1125693 | 1032745 | 10856 219 | 295 | 564
801.39/801.68 c 791s | 21 | 1128389 | 1035245 | 10856 219 | 295 | 564
803.49/803.73 c 793s | 21 | 1130655 | 1037345 | 10856 220 | 295 | 564
805.49/805.74 c 795s | 21 | 1133615 | 1040045 | 10856 220 | 295 | 564
807.49/807.77 c 797s | 21 | 1136237 | 1042445 | 10856 220 | 295 | 564
809.49/809.78 c 799s | 21 | 1138862 | 1044845 | 10856 221 | 295 | 564
811.48/811.79 c 801s | 21 | 1141361 | 1047145 | 10856 221 | 295 | 564
813.58/813.85 c 803s | 21 | 1143669 | 1049345 | 10856 222 | 295 | 564
815.58/815.89 c 805s | 21 | 1146455 | 1051945 | 10856 222 | 295 | 564
817.68/817.95 c 807s | 21 | 1148977 | 1054245 | 10856 222 | 295 | 564
819.78/820.00 c 809s | 21 | 1151723 | 1056745 | 10856 223 | 295 | 564
821.77/822.01 c 811s | 21 | 1154303 | 1059045 | 10856 223 | 295 | 564
823.78/824.07 c 813s | 21 | 1156833 | 1061345 | 10856 224 | 295 | 564
825.77/826.09 c 815s | 21 | 1159593 | 1063845 | 10856 224 | 295 | 564
827.87/828.12 c 817s | 21 | 1162339 | 1066345 | 10856 224 | 295 | 564
829.87/830.16 c 819s | 21 | 1165189 | 1068945 | 10856 225 | 295 | 564
831.97/832.24 c 821s | 21 | 1168059 | 1071645 | 10856 225 | 295 | 564
833.97/834.29 c 823s | 21 | 1170780 | 1074145 | 10856 226 | 295 | 564
836.07/836.32 c 825s | 21 | 1173507 | 1076645 | 10856 226 | 295 | 564
838.17/838.45 c 828s | 21 | 1175855 | 1078845 | 10856 227 | 295 | 564
840.18/840.47 c 830s | 21 | 1178821 | 1081545 | 10856 227 | 295 | 564
842.17/842.48 c 832s | 21 | 1181364 | 1083845 | 10856 227 | 295 | 564
844.26/844.52 c 834s | 21 | 1183701 | 1086045 | 10856 228 | 295 | 564
846.26/846.58 c 836s | 21 | 1186371 | 1088445 | 10856 228 | 295 | 564
848.36/848.60 c 838s | 21 | 1188617 | 1090545 | 10856 228 | 295 | 564
850.36/850.68 c 840s | 21 | 1191365 | 1093045 | 10856 229 | 295 | 564
852.46/852.70 c 842s | 21 | 1193970 | 1095445 | 10856 229 | 295 | 564
854.47/854.73 c 844s | 21 | 1196361 | 1097645 | 10856 230 | 295 | 564
856.56/856.81 c 846s | 21 | 1199181 | 1100245 | 10856 230 | 295 | 564
858.56/858.84 c 848s | 21 | 1201613 | 1102545 | 10856 230 | 295 | 564
860.66/860.90 c 850s | 21 | 1204260 | 1104945 | 10856 231 | 295 | 564
862.76/863.00 c 852s | 21 | 1207051 | 1107445 | 10856 231 | 295 | 564
864.76/865.03 c 854s | 21 | 1209468 | 1109645 | 10856 232 | 295 | 564
866.76/867.04 c 856s | 21 | 1212025 | 1112045 | 10856 232 | 295 | 564
868.87/869.11 c 858s | 21 | 1214588 | 1114445 | 10856 232 | 295 | 564
870.86/871.18 c 860s | 21 | 1217341 | 1117045 | 10856 233 | 295 | 564
872.95/873.24 c 862s | 21 | 1219759 | 1119345 | 10856 233 | 295 | 564
874.95/875.28 c 864s | 21 | 1222077 | 1121545 | 10856 234 | 295 | 564
876.95/877.28 c 866s | 21 | 1224838 | 1124145 | 10856 234 | 295 | 564
879.05/879.35 c 868s | 21 | 1227607 | 1126645 | 10856 234 | 295 | 564
881.05/881.37 c 870s | 21 | 1230315 | 1129145 | 10856 235 | 295 | 564
883.05/883.38 c 872s | 21 | 1232810 | 1131445 | 10856 235 | 295 | 564
885.14/885.43 c 874s | 21 | 1235305 | 1133745 | 10856 236 | 295 | 564
887.14/887.44 c 877s | 21 | 1237817 | 1136045 | 10856 236 | 295 | 564
889.24/889.50 c 879s | 21 | 1240298 | 1138345 | 10856 236 | 295 | 564
891.24/891.56 c 881s | 21 | 1242695 | 1140545 | 10856 237 | 295 | 564
893.34/893.60 c 883s | 21 | 1245415 | 1143045 | 10856 237 | 295 | 564
895.34/895.65 c 885s | 21 | 1248047 | 1145445 | 10856 238 | 295 | 564
897.34/897.69 c 887s | 21 | 1251127 | 1148245 | 10856 238 | 295 | 564
899.44/899.72 c 889s | 21 | 1253742 | 1150645 | 10856 238 | 295 | 564
901.43/901.79 c 891s | 21 | 1256324 | 1153045 | 10856 239 | 295 | 564
903.53/903.82 c 893s | 21 | 1258858 | 1155345 | 10856 239 | 295 | 564
905.53/905.88 c 895s | 21 | 1261327 | 1157645 | 10856 240 | 295 | 564
907.53/907.88 c 897s | 21 | 1264031 | 1160145 | 10856 240 | 295 | 564
909.63/909.96 c 899s | 21 | 1266268 | 1162245 | 10856 240 | 295 | 564
911.73/912.02 c 901s | 21 | 1268896 | 1164745 | 10856 241 | 295 | 564
913.72/914.04 c 903s | 21 | 1271334 | 1167045 | 10856 241 | 295 | 564
915.72/916.06 c 905s | 21 | 1273640 | 1169145 | 10856 242 | 295 | 564
917.82/918.13 c 907s | 21 | 1276787 | 1172045 | 10856 242 | 295 | 564
919.92/920.20 c 909s | 21 | 1279457 | 1174545 | 10856 242 | 295 | 564
921.92/922.28 c 911s | 21 | 1282151 | 1177045 | 10856 243 | 295 | 564
924.02/924.32 c 913s | 21 | 1284837 | 1179545 | 10856 243 | 295 | 564
926.02/926.38 c 915s | 21 | 1287319 | 1181845 | 10856 244 | 295 | 564
928.02/928.40 c 917s | 21 | 1290011 | 1184345 | 10856 244 | 295 | 564
930.12/930.47 c 920s | 21 | 1292345 | 1186545 | 10856 244 | 295 | 564
932.22/932.50 c 922s | 21 | 1295111 | 1189145 | 10856 245 | 295 | 564
934.22/934.51 c 924s | 21 | 1297657 | 1191545 | 10856 245 | 295 | 564
936.21/936.59 c 926s | 21 | 1299920 | 1193645 | 10856 246 | 295 | 564
938.31/938.61 c 928s | 21 | 1302618 | 1196145 | 10856 246 | 295 | 564
940.32/940.62 c 930s | 21 | 1305262 | 1198545 | 10856 246 | 295 | 564
942.31/942.66 c 932s | 21 | 1307871 | 1200945 | 10856 247 | 295 | 564
944.40/944.73 c 934s | 21 | 1310383 | 1203345 | 10856 247 | 295 | 564
946.50/946.80 c 936s | 21 | 1313008 | 1205845 | 10856 248 | 295 | 564
948.50/948.85 c 938s | 21 | 1315790 | 1208445 | 10856 248 | 295 | 564
950.60/950.98 c 940s | 21 | 1318493 | 1210945 | 10856 249 | 295 | 564
952.60/952.99 c 942s | 21 | 1321423 | 1213645 | 10856 249 | 295 | 564
954.70/955.04 c 944s | 21 | 1324114 | 1216145 | 10856 249 | 295 | 564
956.71/957.09 c 946s | 21 | 1326370 | 1218245 | 10856 250 | 295 | 564
958.81/959.10 c 948s | 21 | 1329177 | 1220845 | 10856 250 | 295 | 564
960.81/961.15 c 950s | 21 | 1331665 | 1223145 | 10856 251 | 295 | 564
962.90/963.20 c 952s | 21 | 1334606 | 1225845 | 10856 251 | 295 | 564
964.90/965.20 c 954s | 21 | 1337197 | 1228245 | 10856 251 | 295 | 564
966.90/967.23 c 956s | 21 | 1339484 | 1230445 | 10856 252 | 295 | 564
968.99/969.30 c 958s | 21 | 1342205 | 1233045 | 10856 252 | 295 | 564
971.00/971.35 c 960s | 21 | 1344508 | 1235245 | 10856 253 | 295 | 564
972.99/973.36 c 962s | 21 | 1347160 | 1237745 | 10856 253 | 295 | 564
975.09/975.43 c 964s | 21 | 1349796 | 1240245 | 10856 253 | 295 | 564
977.09/977.46 c 967s | 21 | 1352412 | 1242745 | 10856 254 | 295 | 564
979.09/979.49 c 969s | 21 | 1355124 | 1245245 | 10856 254 | 295 | 564
981.19/981.56 c 971s | 21 | 1357688 | 1247645 | 10856 255 | 295 | 564
983.19/983.58 c 973s | 21 | 1360519 | 1250345 | 10856 255 | 295 | 564
985.19/985.58 c 975s | 21 | 1363067 | 1252745 | 10856 255 | 295 | 564
987.18/987.58 c 977s | 21 | 1365655 | 1255145 | 10856 256 | 295 | 564
989.18/989.58 c 979s | 21 | 1368038 | 1257445 | 10856 256 | 295 | 564
991.28/991.62 c 981s | 21 | 1370165 | 1259445 | 10856 257 | 295 | 564
993.38/993.70 c 983s | 21 | 1372914 | 1262045 | 10856 257 | 295 | 564
995.38/995.75 c 985s | 21 | 1375515 | 1264445 | 10856 257 | 295 | 564
997.49/997.81 c 987s | 21 | 1378306 | 1267045 | 10856 258 | 295 | 564
999.48/999.82 c 989s | 21 | 1380843 | 1269445 | 10856 258 | 295 | 564
1001.47/1001.88 c 991s | 21 | 1383244 | 1271745 | 10856 259 | 295 | 564
1003.57/1003.92 c 993s | 21 | 1385997 | 1274345 | 10856 259 | 295 | 564
1005.67/1006.08 c 995s | 21 | 1388671 | 1276745 | 10856 259 | 295 | 564
1007.77/1008.15 c 997s | 21 | 1391600 | 1279445 | 10856 260 | 295 | 564
1009.77/1010.15 c 999s | 21 | 1394121 | 1281845 | 10856 260 | 295 | 564
1011.87/1012.22 c 1001s | 21 | 1396148 | 1283745 | 10856 261 | 295 | 564
1013.88/1014.24 c 1003s | 21 | 1398637 | 1286045 | 10856 261 | 295 | 564
1015.87/1016.29 c 1005s | 21 | 1401304 | 1288445 | 10856 261 | 295 | 564
1017.87/1018.29 c 1007s | 21 | 1404033 | 1290945 | 10856 262 | 295 | 564
1019.97/1020.35 c 1009s | 21 | 1406918 | 1293545 | 10856 262 | 295 | 564
1022.06/1022.42 c 1011s | 21 | 1409457 | 1295845 | 10856 263 | 295 | 564
1024.06/1024.46 c 1014s | 21 | 1412237 | 1298445 | 10856 263 | 295 | 564
1026.16/1026.55 c 1016s | 21 | 1414681 | 1300745 | 10856 263 | 295 | 564
1028.17/1028.58 c 1018s | 21 | 1417386 | 1303345 | 10856 264 | 295 | 564
1030.26/1030.62 c 1020s | 21 | 1420117 | 1305845 | 10856 264 | 295 | 564
1032.26/1032.63 c 1022s | 21 | 1422645 | 1308145 | 10856 265 | 295 | 564
1034.26/1034.64 c 1024s | 21 | 1425163 | 1310445 | 10856 265 | 295 | 564
1036.36/1036.72 c 1026s | 21 | 1427722 | 1312845 | 10856 265 | 295 | 564
1038.36/1038.74 c 1028s | 21 | 1430431 | 1315345 | 10856 266 | 295 | 564
1040.36/1040.78 c 1030s | 21 | 1432781 | 1317545 | 10856 266 | 295 | 564
1042.46/1042.82 c 1032s | 21 | 1435194 | 1319845 | 10856 267 | 295 | 564
1044.46/1044.83 c 1034s | 21 | 1437862 | 1322345 | 10856 267 | 295 | 564
1046.46/1046.87 c 1036s | 21 | 1440476 | 1324745 | 10856 267 | 295 | 564
1048.56/1048.92 c 1038s | 21 | 1443177 | 1327245 | 10856 268 | 295 | 564
1050.56/1050.95 c 1040s | 21 | 1445819 | 1329645 | 10856 268 | 295 | 564
1052.65/1053.00 c 1042s | 21 | 1448239 | 1331845 | 10856 269 | 295 | 564
1054.66/1055.03 c 1044s | 21 | 1450885 | 1334245 | 10856 269 | 295 | 564
1056.65/1057.08 c 1046s | 21 | 1453375 | 1336545 | 10856 269 | 295 | 564
1058.75/1059.12 c 1048s | 21 | 1455951 | 1338945 | 10856 270 | 295 | 564
1060.85/1061.20 c 1050s | 21 | 1458548 | 1341345 | 10856 270 | 295 | 564
1062.84/1063.22 c 1052s | 21 | 1461120 | 1343745 | 10856 271 | 295 | 564
1064.84/1065.24 c 1054s | 21 | 1463917 | 1346345 | 10856 271 | 295 | 564
1066.94/1067.30 c 1056s | 21 | 1466263 | 1348545 | 10856 271 | 295 | 564
1068.95/1069.34 c 1058s | 21 | 1468956 | 1351045 | 10856 272 | 295 | 564
1070.94/1071.39 c 1060s | 21 | 1471652 | 1353545 | 10856 272 | 295 | 564
1073.03/1073.47 c 1063s | 21 | 1474119 | 1355845 | 10856 273 | 295 | 564
1075.13/1075.53 c 1065s | 21 | 1476849 | 1358345 | 10856 273 | 295 | 564
1077.23/1077.62 c 1067s | 21 | 1479154 | 1360545 | 10856 273 | 295 | 564
1079.23/1079.67 c 1069s | 21 | 1481519 | 1362745 | 10856 274 | 295 | 564
1081.33/1081.75 c 1071s | 21 | 1484134 | 1365145 | 10856 274 | 295 | 564
1083.43/1083.80 c 1073s | 21 | 1486200 | 1367045 | 10856 275 | 295 | 564
1085.43/1085.88 c 1075s | 21 | 1488971 | 1369645 | 10856 275 | 295 | 564
1087.53/1087.95 c 1077s | 21 | 1491653 | 1372145 | 10856 275 | 295 | 564
1089.62/1090.01 c 1079s | 21 | 1494323 | 1374645 | 10856 276 | 295 | 564
1091.62/1092.02 c 1081s | 21 | 1496740 | 1376945 | 10856 276 | 295 | 564
1093.62/1094.02 c 1083s | 21 | 1499085 | 1379145 | 10856 277 | 295 | 564
1095.72/1096.11 c 1085s | 21 | 1502118 | 1381945 | 10856 277 | 295 | 564
1097.72/1098.13 c 1087s | 21 | 1504600 | 1384245 | 10856 277 | 295 | 564
1099.73/1100.18 c 1089s | 21 | 1507170 | 1386645 | 10856 278 | 295 | 564
1101.82/1102.26 c 1091s | 21 | 1509719 | 1389045 | 10856 278 | 295 | 564
1103.81/1104.29 c 1093s | 21 | 1511982 | 1391145 | 10856 279 | 295 | 564
1105.91/1106.34 c 1095s | 21 | 1514561 | 1393545 | 10856 279 | 295 | 564
1107.91/1108.38 c 1097s | 21 | 1516985 | 1395845 | 10856 279 | 295 | 564
1109.91/1110.38 c 1099s | 21 | 1519358 | 1398045 | 10856 280 | 295 | 564
1112.00/1112.41 c 1101s | 21 | 1522029 | 1400545 | 10856 280 | 295 | 564
1114.01/1114.42 c 1103s | 21 | 1524670 | 1402945 | 10856 280 | 295 | 564
1116.00/1116.49 c 1106s | 21 | 1527521 | 1405545 | 10856 281 | 295 | 564
1118.00/1118.49 c 1108s | 21 | 1530059 | 1407845 | 10856 281 | 295 | 564
1120.10/1120.54 c 1110s | 21 | 1532525 | 1410145 | 10856 282 | 295 | 564
1122.10/1122.54 c 1112s | 21 | 1535145 | 1412545 | 10856 282 | 295 | 564
1124.20/1124.61 c 1114s | 21 | 1537509 | 1414745 | 10856 282 | 295 | 564
1126.20/1126.61 c 1116s | 21 | 1540079 | 1417145 | 10856 283 | 295 | 564
1128.20/1128.61 c 1118s | 21 | 1542650 | 1419545 | 10856 283 | 295 | 564
1130.20/1130.63 c 1120s | 21 | 1545041 | 1421745 | 10856 284 | 295 | 564
1132.19/1132.64 c 1122s | 21 | 1547866 | 1424345 | 10856 284 | 295 | 564
1134.19/1134.69 c 1124s | 21 | 1550350 | 1426645 | 10856 284 | 295 | 564
1136.29/1136.72 c 1126s | 21 | 1552873 | 1428945 | 10856 285 | 295 | 564
1138.29/1138.79 c 1128s | 21 | 1555394 | 1431245 | 10856 285 | 295 | 564
1140.40/1140.87 c 1130s | 21 | 1557648 | 1433345 | 10856 286 | 295 | 564
1142.49/1142.91 c 1132s | 21 | 1560244 | 1435745 | 10856 286 | 295 | 564
1144.49/1144.95 c 1134s | 21 | 1562783 | 1438145 | 10856 286 | 295 | 564
1146.49/1146.96 c 1136s | 21 | 1565130 | 1440345 | 10856 287 | 295 | 564
1148.59/1149.00 c 1138s | 21 | 1567913 | 1442845 | 10856 287 | 295 | 564
1150.69/1151.11 c 1140s | 21 | 1570354 | 1445045 | 10856 288 | 295 | 564
1152.68/1153.16 c 1142s | 21 | 1573023 | 1447545 | 10856 288 | 295 | 564
1154.78/1155.21 c 1144s | 21 | 1575683 | 1449945 | 10856 288 | 295 | 564
1156.79/1157.26 c 1146s | 21 | 1579050 | 1452945 | 10856 289 | 295 | 564
1158.88/1159.34 c 1148s | 21 | 1582079 | 1455745 | 10856 289 | 295 | 564
1160.88/1161.39 c 1150s | 21 | 1584796 | 1458245 | 10856 290 | 295 | 564
1162.98/1163.41 c 1152s | 21 | 1587895 | 1461145 | 10856 290 | 295 | 564
1164.98/1165.46 c 1155s | 21 | 1590762 | 1463845 | 10856 291 | 295 | 564
1167.08/1167.50 c 1157s | 21 | 1593594 | 1466545 | 10856 291 | 295 | 564
1169.08/1169.59 c 1159s | 21 | 1596112 | 1468945 | 10856 291 | 295 | 564
1171.19/1171.65 c 1161s | 21 | 1598669 | 1471345 | 10856 292 | 295 | 564
1173.28/1173.73 c 1163s | 21 | 1601418 | 1473945 | 10856 292 | 295 | 564
1175.28/1175.74 c 1165s | 21 | 1604120 | 1476545 | 11942 293 | 295 | 564
1177.38/1177.80 c 1167s | 21 | 1606921 | 1479045 | 11942 293 | 295 | 564
1179.38/1179.84 c 1169s | 21 | 1609132 | 1481145 | 11942 293 | 295 | 564
1181.37/1181.86 c 1171s | 21 | 1611577 | 1483445 | 11942 294 | 295 | 564
1183.37/1183.88 c 1173s | 21 | 1614678 | 1486345 | 11942 294 | 295 | 564
1185.48/1185.95 c 1175s | 21 | 1617205 | 1488745 | 11942 295 | 295 | 564
1187.47/1187.99 c 1177s | 21 | 1620120 | 1491545 | 11942 295 | 295 | 564
1189.57/1190.01 c 1179s | 21 | 1622527 | 1493845 | 11942 295 | 295 | 564
1191.66/1192.10 c 1181s | 21 | 1624816 | 1496045 | 11942 296 | 295 | 564
1193.66/1194.13 c 1183s | 21 | 1627548 | 1498645 | 11942 296 | 295 | 564
1195.66/1196.17 c 1185s | 22 | 1629668 | 1500622 | 11942 296 | 295 | 564
1197.76/1198.22 c 1187s | 22 | 1632727 | 1502722 | 11942 297 | 295 | 564
1199.77/1200.25 c 1189s | 22 | 1635952 | 1505722 | 11942 297 | 295 | 564
1201.76/1202.29 c 1191s | 22 | 1638522 | 1508122 | 11942 297 | 295 | 564
1203.86/1204.31 c 1193s | 22 | 1641408 | 1510822 | 11942 298 | 295 | 564
1205.85/1206.36 c 1195s | 22 | 1643934 | 1513222 | 11942 298 | 295 | 564
1207.85/1208.37 c 1197s | 22 | 1646191 | 1515222 | 11942 299 | 295 | 564
1209.95/1210.40 c 1199s | 22 | 1649146 | 1517922 | 11942 299 | 295 | 564
1211.95/1212.48 c 1202s | 22 | 1651916 | 1520522 | 11942 299 | 295 | 564
1213.96/1214.49 c 1204s | 22 | 1654463 | 1522922 | 11942 300 | 295 | 564
1216.05/1216.50 c 1206s | 22 | 1657000 | 1525222 | 11942 300 | 295 | 564
1218.05/1218.54 c 1208s | 22 | 1659063 | 1527122 | 11942 300 | 295 | 564
1220.05/1220.56 c 1210s | 22 | 1661396 | 1529222 | 11942 301 | 295 | 564
1222.04/1222.59 c 1212s | 22 | 1663899 | 1531522 | 11942 301 | 295 | 564
1224.14/1224.63 c 1214s | 22 | 1666304 | 1533722 | 11942 301 | 295 | 564
1226.15/1226.66 c 1216s | 22 | 1668920 | 1536122 | 11942 302 | 295 | 564
1228.14/1228.70 c 1218s | 22 | 1671580 | 1538522 | 11942 302 | 295 | 564
1230.24/1230.73 c 1220s | 22 | 1673950 | 1540722 | 11942 302 | 295 | 564
1232.24/1232.76 c 1222s | 22 | 1676628 | 1543222 | 11942 303 | 295 | 564
1234.24/1234.78 c 1224s | 22 | 1679133 | 1545522 | 11942 303 | 295 | 564
1236.44/1236.92 c 1226s | 22 | 1681416 | 1547622 | 11942 304 | 295 | 564
1238.44/1238.94 c 1228s | 22 | 1684076 | 1550122 | 11942 304 | 295 | 564
1240.44/1240.97 c 1230s | 22 | 1686464 | 1552322 | 11942 304 | 295 | 564
1242.43/1242.97 c 1232s | 22 | 1688630 | 1554322 | 11942 305 | 295 | 564
1244.53/1245.03 c 1234s | 22 | 1691262 | 1556722 | 11942 305 | 295 | 564
1246.53/1247.07 c 1236s | 22 | 1693715 | 1559022 | 11942 305 | 295 | 564
1248.53/1249.07 c 1238s | 22 | 1695733 | 1560922 | 11942 306 | 295 | 564
1250.53/1251.08 c 1240s | 22 | 1698300 | 1563322 | 11942 306 | 295 | 564
1252.53/1253.09 c 1242s | 22 | 1700632 | 1565522 | 11942 306 | 295 | 564
1254.63/1255.15 c 1244s | 22 | 1702745 | 1567522 | 11942 307 | 295 | 564
1256.72/1257.22 c 1246s | 22 | 1705406 | 1570022 | 11942 307 | 295 | 564
1258.72/1259.28 c 1248s | 22 | 1707552 | 1572022 | 11942 307 | 295 | 564
1260.82/1261.32 c 1250s | 22 | 1709650 | 1574022 | 11942 308 | 295 | 564
1262.82/1263.36 c 1252s | 22 | 1712320 | 1576522 | 11942 308 | 295 | 564
1264.82/1265.39 c 1254s | 22 | 1714817 | 1578822 | 11942 308 | 295 | 564
1266.92/1267.42 c 1256s | 22 | 1716976 | 1580822 | 11942 309 | 295 | 564
1268.92/1269.46 c 1259s | 22 | 1719688 | 1583322 | 11942 309 | 295 | 564
1271.01/1271.50 c 1261s | 22 | 1722296 | 1585722 | 11942 309 | 295 | 564
1273.11/1273.65 c 1263s | 22 | 1724452 | 1587722 | 11942 310 | 295 | 564
1275.11/1275.68 c 1265s | 22 | 1727323 | 1590422 | 11942 310 | 295 | 564
1277.21/1277.72 c 1267s | 22 | 1729755 | 1592722 | 11942 310 | 295 | 564
1279.21/1279.74 c 1269s | 22 | 1732485 | 1595222 | 11942 311 | 295 | 564
1281.21/1281.78 c 1271s | 22 | 1735023 | 1597622 | 11942 311 | 295 | 564
1283.31/1283.85 c 1273s | 22 | 1737522 | 1599922 | 11942 311 | 295 | 564
1285.41/1285.91 c 1275s | 22 | 1740060 | 1602322 | 11942 312 | 295 | 564
1287.41/1287.92 c 1277s | 22 | 1742492 | 1604622 | 11942 312 | 295 | 564
1289.41/1289.96 c 1279s | 22 | 1744476 | 1606522 | 11942 313 | 295 | 564
1291.41/1291.96 c 1281s | 22 | 1746969 | 1608922 | 11942 313 | 295 | 564
1293.41/1293.99 c 1283s | 22 | 1749137 | 1611022 | 11942 313 | 295 | 564
1295.51/1296.01 c 1285s | 22 | 1750918 | 1612722 | 11942 313 | 295 | 564
1297.51/1298.03 c 1287s | 22 | 1753459 | 1615122 | 11942 314 | 295 | 564
1299.61/1300.10 c 1289s | 22 | 1756018 | 1617522 | 11942 314 | 295 | 564
1301.61/1302.10 c 1291s | 22 | 1758310 | 1619622 | 11942 315 | 295 | 564
1303.60/1304.17 c 1293s | 22 | 1761390 | 1622422 | 11942 315 | 295 | 564
1305.70/1306.23 c 1295s | 22 | 1763775 | 1624622 | 11942 315 | 295 | 564
1308.00/1308.54 c 1298s | 22 | 1765806 | 1626522 | 11942 316 | 295 | 564
1310.00/1310.54 c 1300s | 22 | 1768266 | 1628822 | 11942 316 | 295 | 564
1312.10/1312.63 c 1302s | 22 | 1770673 | 1631122 | 11942 316 | 295 | 564
1314.21/1314.77 c 1304s | 22 | 1772765 | 1633122 | 11942 317 | 295 | 564
1316.22/1316.77 c 1306s | 22 | 1775465 | 1635622 | 11942 317 | 295 | 564
1318.21/1318.77 c 1308s | 22 | 1777745 | 1637722 | 11942 317 | 295 | 564
1320.21/1320.77 c 1310s | 22 | 1779719 | 1639522 | 11942 318 | 295 | 564
1322.31/1322.82 c 1312s | 22 | 1782392 | 1642022 | 11942 318 | 295 | 564
1324.31/1324.86 c 1314s | 22 | 1784684 | 1644222 | 11942 318 | 295 | 564
1326.41/1326.96 c 1316s | 22 | 1786804 | 1646222 | 11942 319 | 295 | 564
1328.51/1329.01 c 1318s | 22 | 1789276 | 1648522 | 11942 319 | 295 | 564
1330.51/1331.03 c 1320s | 22 | 1791635 | 1650722 | 11942 319 | 295 | 564
1332.51/1333.05 c 1322s | 22 | 1793733 | 1652622 | 11942 320 | 295 | 564
1334.61/1335.12 c 1324s | 22 | 1796474 | 1655122 | 11942 320 | 295 | 564
1336.61/1337.18 c 1326s | 22 | 1798882 | 1657322 | 11942 320 | 295 | 564
1338.71/1339.23 c 1328s | 22 | 1801147 | 1659422 | 11942 321 | 295 | 564
1340.71/1341.28 c 1330s | 22 | 1803673 | 1661822 | 11942 321 | 295 | 564
1342.80/1343.39 c 1332s | 22 | 1805999 | 1664022 | 11942 321 | 295 | 564
1344.91/1345.42 c 1334s | 22 | 1808260 | 1666022 | 11942 322 | 295 | 564
1346.90/1347.47 c 1337s | 22 | 1811185 | 1668722 | 11942 322 | 295 | 564
1348.90/1349.49 c 1339s | 22 | 1813978 | 1671222 | 11942 322 | 295 | 564
1351.00/1351.53 c 1341s | 22 | 1817091 | 1674022 | 11942 323 | 295 | 564
1353.00/1353.54 c 1343s | 22 | 1820711 | 1677322 | 11942 323 | 295 | 564
1355.00/1355.57 c 1345s | 22 | 1824088 | 1680422 | 11942 324 | 295 | 564
1357.01/1357.58 c 1347s | 22 | 1827223 | 1683222 | 11942 324 | 295 | 564
1359.00/1359.60 c 1349s | 22 | 1830173 | 1685922 | 11942 325 | 295 | 564
1361.10/1361.67 c 1351s | 22 | 1833362 | 1688822 | 11942 325 | 295 | 564
1363.10/1363.68 c 1353s | 22 | 1835762 | 1691022 | 11942 325 | 295 | 564
1365.10/1365.70 c 1355s | 22 | 1838272 | 1693422 | 11942 326 | 295 | 564
1367.20/1367.74 c 1357s | 22 | 1840745 | 1695722 | 11942 326 | 295 | 564
1369.20/1369.79 c 1359s | 22 | 1842951 | 1697822 | 11942 326 | 295 | 564
1371.31/1371.84 c 1361s | 22 | 1845344 | 1700022 | 11942 327 | 295 | 564
1373.30/1373.90 c 1363s | 22 | 1847830 | 1702322 | 11942 327 | 295 | 564
1375.40/1375.98 c 1365s | 22 | 1850126 | 1704422 | 11942 327 | 295 | 564
1377.50/1378.02 c 1367s | 22 | 1852396 | 1706522 | 11942 328 | 295 | 564
1379.50/1380.03 c 1369s | 22 | 1854922 | 1708822 | 11942 328 | 295 | 564
1381.50/1382.07 c 1371s | 22 | 1857203 | 1710922 | 11942 328 | 295 | 564
1383.50/1384.07 c 1373s | 22 | 1859591 | 1713122 | 11942 329 | 295 | 564
1385.60/1386.12 c 1375s | 22 | 1861832 | 1715222 | 11942 329 | 295 | 564
1387.60/1388.13 c 1377s | 22 | 1864078 | 1717322 | 11942 329 | 295 | 564
1389.59/1390.17 c 1379s | 22 | 1866598 | 1719722 | 11942 330 | 295 | 564
1391.69/1392.27 c 1381s | 22 | 1869317 | 1722222 | 11942 330 | 295 | 564
1393.79/1394.32 c 1383s | 22 | 1871643 | 1724422 | 11942 331 | 295 | 564
1395.79/1396.34 c 1385s | 22 | 1874244 | 1726822 | 11942 331 | 295 | 564
1397.79/1398.39 c 1387s | 22 | 1876417 | 1728822 | 11942 331 | 295 | 564
1399.99/1400.52 c 1390s | 22 | 1878681 | 1730922 | 11942 332 | 295 | 564
1402.00/1402.60 c 1392s | 22 | 1881387 | 1733422 | 11942 332 | 295 | 564
1404.09/1404.65 c 1394s | 22 | 1883713 | 1735622 | 11942 332 | 295 | 564
1406.19/1406.71 c 1396s | 22 | 1885832 | 1737622 | 11942 333 | 295 | 564
1408.19/1408.77 c 1398s | 22 | 1888446 | 1740022 | 11942 333 | 295 | 564
1410.19/1410.78 c 1400s | 22 | 1890705 | 1742122 | 11942 333 | 295 | 564
1412.39/1412.93 c 1402s | 22 | 1892985 | 1744222 | 11942 334 | 295 | 564
1414.59/1415.10 c 1404s | 22 | 1895487 | 1746622 | 11942 334 | 295 | 564
1416.59/1417.12 c 1406s | 22 | 1897620 | 1748622 | 11942 334 | 295 | 564
1418.60/1419.13 c 1408s | 22 | 1899770 | 1750622 | 11942 335 | 295 | 564
1420.70/1421.21 c 1410s | 22 | 1902432 | 1753122 | 11942 335 | 295 | 564
1422.69/1423.22 c 1412s | 22 | 1904702 | 1755222 | 11942 335 | 295 | 564
1424.79/1425.38 c 1414s | 22 | 1906703 | 1757122 | 11942 336 | 295 | 564
1426.89/1427.42 c 1416s | 22 | 1909333 | 1759622 | 11942 336 | 295 | 564
1428.89/1429.44 c 1419s | 22 | 1911729 | 1761822 | 11942 336 | 295 | 564
1431.19/1431.73 c 1421s | 22 | 1913863 | 1763822 | 11942 337 | 295 | 564
1433.29/1433.82 c 1423s | 22 | 1916824 | 1766522 | 11942 337 | 295 | 564
1435.29/1435.89 c 1425s | 22 | 1919285 | 1768822 | 11942 337 | 295 | 564
1437.39/1437.96 c 1427s | 22 | 1921425 | 1770822 | 11942 338 | 295 | 564
1439.49/1440.04 c 1429s | 22 | 1924006 | 1773222 | 11942 338 | 295 | 564
1441.49/1442.04 c 1431s | 22 | 1926182 | 1775222 | 11942 338 | 295 | 564
1443.49/1444.05 c 1433s | 22 | 1927952 | 1776922 | 11942 339 | 295 | 564
1445.49/1446.08 c 1435s | 22 | 1930017 | 1778822 | 11942 339 | 295 | 564
1447.59/1448.11 c 1437s | 22 | 1932725 | 1781322 | 11942 339 | 295 | 564
1449.58/1450.17 c 1439s | 22 | 1935233 | 1783622 | 11942 340 | 295 | 564
1451.59/1452.18 c 1441s | 22 | 1938063 | 1786222 | 11942 340 | 295 | 564
1453.69/1454.26 c 1443s | 22 | 1940387 | 1788322 | 11942 340 | 295 | 564
1455.68/1456.29 c 1445s | 22 | 1943597 | 1791222 | 11942 341 | 295 | 564
1457.68/1458.30 c 1447s | 22 | 1946490 | 1793722 | 11942 341 | 295 | 564
1459.78/1460.35 c 1449s | 22 | 1948932 | 1795922 | 11942 341 | 295 | 564
1461.88/1462.40 c 1451s | 22 | 1951687 | 1798422 | 11942 342 | 295 | 564
1463.88/1464.47 c 1454s | 22 | 1954534 | 1800922 | 11942 342 | 295 | 564
1465.98/1466.52 c 1456s | 22 | 1956892 | 1803022 | 11942 343 | 295 | 564
1467.99/1468.53 c 1458s | 22 | 1960373 | 1806122 | 11942 343 | 295 | 564
1469.98/1470.58 c 1460s | 22 | 1963993 | 1809622 | 11942 344 | 295 | 564
1472.08/1472.62 c 1462s | 22 | 1967107 | 1812622 | 11942 344 | 295 | 564
1474.08/1474.66 c 1464s | 22 | 1969553 | 1814822 | 11942 344 | 295 | 564
1476.08/1476.69 c 1466s | 22 | 1971991 | 1816922 | 11942 345 | 295 | 564
1478.18/1478.74 c 1468s | 22 | 1974989 | 1819822 | 11942 345 | 295 | 564
1480.18/1480.79 c 1470s | 22 | 1978039 | 1822322 | 11942 345 | 295 | 564
1482.18/1482.79 c 1472s | 22 | 1980681 | 1824822 | 11942 346 | 295 | 564
1484.28/1484.85 c 1474s | 22 | 1983647 | 1827622 | 11942 346 | 295 | 564
1486.28/1486.88 c 1476s | 22 | 1986112 | 1829922 | 11942 347 | 295 | 564
1488.37/1488.97 c 1478s | 22 | 1988876 | 1832422 | 11942 347 | 295 | 564
1490.48/1491.05 c 1480s | 22 | 1991593 | 1834722 | 11942 347 | 295 | 564
1492.48/1493.07 c 1482s | 22 | 1994496 | 1837222 | 11942 348 | 295 | 564
1494.58/1495.15 c 1484s | 22 | 1997486 | 1839922 | 11942 348 | 295 | 564
1496.59/1497.17 c 1486s | 22 | 2000552 | 1842522 | 11942 349 | 295 | 564
1498.68/1499.24 c 1488s | 22 | 2003822 | 1845422 | 11942 349 | 295 | 564
1500.68/1501.25 c 1490s | 22 | 2007481 | 1848722 | 11942 349 | 295 | 564
1502.78/1503.30 c 1492s | 22 | 2010737 | 1851722 | 11942 350 | 295 | 564
1504.78/1505.34 c 1494s | 22 | 2013490 | 1854322 | 11942 350 | 295 | 564
1506.88/1507.40 c 1496s | 22 | 2016169 | 1856822 | 11942 351 | 295 | 564
1508.88/1509.49 c 1499s | 22 | 2018879 | 1859322 | 11942 351 | 295 | 564
1510.99/1511.51 c 1501s | 22 | 2021027 | 1861322 | 11942 351 | 295 | 564
1512.98/1513.55 c 1503s | 22 | 2023139 | 1863322 | 11942 352 | 295 | 564
1515.08/1515.63 c 1505s | 22 | 2025795 | 1865822 | 11942 352 | 295 | 564
1517.08/1517.65 c 1507s | 22 | 2028068 | 1867922 | 11942 352 | 295 | 564
1519.08/1519.67 c 1509s | 22 | 2030411 | 1870122 | 11942 353 | 295 | 564
1521.18/1521.74 c 1511s | 22 | 2032748 | 1872322 | 11942 353 | 295 | 564
1523.28/1523.80 c 1513s | 22 | 2035209 | 1874622 | 11942 353 | 295 | 564
1525.28/1525.86 c 1515s | 22 | 2037627 | 1876922 | 11942 354 | 295 | 564
1527.38/1527.92 c 1517s | 22 | 2040221 | 1879322 | 11942 354 | 295 | 564
1529.58/1530.16 c 1519s | 22 | 2043014 | 1881822 | 11942 355 | 295 | 564
1531.68/1532.24 c 1521s | 22 | 2046285 | 1884722 | 11942 355 | 295 | 564
1533.67/1534.29 c 1523s | 22 | 2049253 | 1887522 | 11942 355 | 295 | 564
1535.77/1536.35 c 1525s | 22 | 2052417 | 1890422 | 11942 356 | 295 | 564
1537.77/1538.38 c 1527s | 22 | 2055414 | 1893222 | 11942 356 | 295 | 564
1539.87/1540.45 c 1530s | 22 | 2057666 | 1895322 | 11942 357 | 295 | 564
1541.87/1542.48 c 1532s | 22 | 2060223 | 1897722 | 11942 357 | 295 | 564
1543.98/1544.56 c 1534s | 22 | 2062600 | 1899922 | 11942 357 | 295 | 564
1545.97/1546.59 c 1536s | 22 | 2064400 | 1901622 | 11942 358 | 295 | 564
1548.07/1548.67 c 1538s | 22 | 2066880 | 1903922 | 11942 358 | 295 | 564
1550.17/1550.71 c 1540s | 22 | 2069458 | 1906322 | 11942 358 | 295 | 564
1552.17/1552.76 c 1542s | 22 | 2072157 | 1908822 | 11942 359 | 295 | 564
1554.27/1554.83 c 1544s | 22 | 2074981 | 1911522 | 11942 359 | 295 | 564
1556.27/1556.84 c 1546s | 22 | 2077285 | 1913722 | 11942 359 | 295 | 564
1558.37/1558.92 c 1548s | 22 | 2079683 | 1916022 | 11942 360 | 295 | 564
1560.37/1561.00 c 1550s | 22 | 2082009 | 1918222 | 11942 360 | 295 | 564
1562.47/1563.02 c 1552s | 22 | 2084319 | 1920422 | 11942 360 | 295 | 564
1564.46/1565.05 c 1554s | 22 | 2086518 | 1922522 | 11942 361 | 295 | 564
1566.56/1567.12 c 1556s | 22 | 2088959 | 1924822 | 11942 361 | 295 | 564
1568.56/1569.14 c 1558s | 22 | 2091275 | 1927022 | 11942 361 | 295 | 564
1570.66/1571.20 c 1560s | 22 | 2093475 | 1929122 | 11942 362 | 295 | 564
1572.76/1573.35 c 1562s | 22 | 2096236 | 1931722 | 11942 362 | 295 | 564
1574.86/1575.40 c 1564s | 22 | 2098533 | 1933922 | 11942 363 | 295 | 564
1576.87/1577.45 c 1567s | 22 | 2101253 | 1936522 | 11942 363 | 295 | 564
1578.96/1579.52 c 1569s | 22 | 2103596 | 1938722 | 11942 363 | 295 | 564
1580.96/1581.59 c 1571s | 22 | 2105124 | 1940122 | 11942 363 | 295 | 564
1583.06/1583.67 c 1573s | 22 | 2107655 | 1942522 | 11942 364 | 295 | 564
1585.16/1585.74 c 1575s | 22 | 2109978 | 1944722 | 11942 364 | 295 | 564
1587.26/1587.82 c 1577s | 22 | 2112170 | 1946822 | 11942 364 | 295 | 564
1589.26/1589.85 c 1579s | 22 | 2114516 | 1949022 | 11942 365 | 295 | 564
1591.27/1591.87 c 1581s | 22 | 2116827 | 1951222 | 11942 365 | 295 | 564
1593.37/1593.92 c 1583s | 22 | 2119175 | 1953422 | 11942 365 | 295 | 564
1595.36/1595.94 c 1585s | 22 | 2121705 | 1955722 | 11942 366 | 295 | 564
1597.36/1597.98 c 1587s | 22 | 2124165 | 1958022 | 11942 366 | 295 | 564
1599.46/1600.07 c 1589s | 22 | 2126430 | 1960122 | 11942 367 | 295 | 564
1601.57/1602.10 c 1591s | 22 | 2129161 | 1962722 | 11942 367 | 295 | 564
1603.57/1604.11 c 1593s | 22 | 2131465 | 1964922 | 11942 367 | 295 | 564
1605.57/1606.15 c 1595s | 22 | 2133466 | 1966822 | 11942 368 | 295 | 564
1607.57/1608.17 c 1597s | 22 | 2135910 | 1969122 | 11942 368 | 295 | 564
1609.57/1610.19 c 1599s | 22 | 2138238 | 1971322 | 11942 368 | 295 | 564
1611.67/1612.26 c 1601s | 22 | 2140372 | 1973322 | 11942 369 | 295 | 564
1613.76/1614.33 c 1603s | 22 | 2142767 | 1975622 | 11942 369 | 295 | 564
1615.76/1616.35 c 1605s | 22 | 2145274 | 1978022 | 11942 369 | 295 | 564
1617.86/1618.41 c 1607s | 22 | 2147371 | 1980022 | 11942 370 | 295 | 564
1619.87/1620.41 c 1609s | 22 | 2149698 | 1982222 | 11942 370 | 295 | 564
1621.86/1622.44 c 1612s | 22 | 2152080 | 1984422 | 11942 370 | 295 | 564
1623.86/1624.46 c 1614s | 22 | 2154011 | 1986222 | 11942 370 | 295 | 564
1625.86/1626.49 c 1616s | 22 | 2156363 | 1988422 | 11942 371 | 295 | 564
1627.96/1628.53 c 1618s | 22 | 2158767 | 1990722 | 11942 371 | 295 | 564
1630.06/1630.63 c 1620s | 22 | 2160989 | 1992822 | 11942 371 | 295 | 564
1632.06/1632.66 c 1622s | 22 | 2163069 | 1994822 | 11942 372 | 295 | 564
1634.07/1634.68 c 1624s | 22 | 2165244 | 1996922 | 11942 372 | 295 | 564
1636.16/1636.78 c 1626s | 22 | 2167525 | 1999122 | 11942 372 | 295 | 564
1638.26/1638.80 c 1628s | 22 | 2169861 | 2001322 | 11942 373 | 295 | 564
1640.26/1640.82 c 1630s | 22 | 2172168 | 2003522 | 11942 373 | 295 | 564
1642.36/1642.90 c 1632s | 22 | 2174575 | 2005822 | 11942 373 | 295 | 564
1644.36/1644.94 c 1634s | 22 | 2176985 | 2008122 | 11942 374 | 295 | 564
1646.46/1647.01 c 1636s | 22 | 2179357 | 2010422 | 11942 374 | 295 | 564
1648.47/1649.04 c 1638s | 22 | 2181358 | 2012322 | 11942 374 | 295 | 564
1650.56/1651.14 c 1640s | 22 | 2183740 | 2014622 | 11942 375 | 295 | 564
1652.66/1653.22 c 1642s | 22 | 2186281 | 2017022 | 11942 375 | 295 | 564
1654.66/1655.24 c 1644s | 22 | 2188372 | 2019022 | 11942 376 | 295 | 564
1656.66/1657.26 c 1646s | 22 | 2191187 | 2021622 | 11942 376 | 295 | 564
1658.75/1659.30 c 1648s | 22 | 2193759 | 2024022 | 11942 376 | 295 | 564
1660.75/1661.36 c 1650s | 22 | 2196042 | 2026222 | 11942 377 | 295 | 564
1662.85/1663.44 c 1653s | 22 | 2198784 | 2028822 | 11942 377 | 295 | 564
1664.86/1665.48 c 1655s | 22 | 2201104 | 2031022 | 11942 377 | 295 | 564
1666.85/1667.48 c 1657s | 22 | 2203116 | 2032922 | 11942 378 | 295 | 564
1668.95/1669.52 c 1659s | 22 | 2205437 | 2035122 | 11942 378 | 295 | 564
1670.95/1671.56 c 1661s | 22 | 2207898 | 2037422 | 11942 378 | 295 | 564
1673.05/1673.62 c 1663s | 22 | 2210237 | 2039622 | 11942 379 | 295 | 564
1675.15/1675.71 c 1665s | 22 | 2212943 | 2042122 | 11942 379 | 295 | 564
1677.15/1677.79 c 1667s | 22 | 2214870 | 2043922 | 11942 379 | 295 | 564
1679.25/1679.83 c 1669s | 22 | 2216967 | 2045922 | 11942 380 | 295 | 564
1681.25/1681.88 c 1671s | 22 | 2220275 | 2048922 | 11942 380 | 295 | 564
1683.35/1683.92 c 1673s | 22 | 2222547 | 2051022 | 11942 380 | 295 | 564
1685.35/1685.99 c 1675s | 22 | 2225284 | 2053622 | 11942 381 | 295 | 564
1687.45/1688.01 c 1677s | 22 | 2227910 | 2056122 | 11942 381 | 295 | 564
1689.55/1690.14 c 1679s | 22 | 2230333 | 2058422 | 11942 382 | 295 | 564
1691.65/1692.20 c 1681s | 22 | 2232997 | 2060922 | 11942 382 | 295 | 564
1693.64/1694.27 c 1683s | 22 | 2235399 | 2063222 | 11942 382 | 295 | 564
1695.75/1696.34 c 1685s | 22 | 2237670 | 2065322 | 11942 383 | 295 | 564
1697.85/1698.44 c 1688s | 22 | 2239935 | 2067422 | 11942 383 | 295 | 564
1699.84/1700.46 c 1690s | 22 | 2242444 | 2069822 | 11942 383 | 295 | 564
1701.84/1702.49 c 1692s | 22 | 2244411 | 2071722 | 11942 384 | 295 | 564
1703.94/1704.56 c 1694s | 22 | 2246827 | 2074022 | 11942 384 | 295 | 564
1706.04/1706.62 c 1696s | 22 | 2249146 | 2076222 | 11942 384 | 295 | 564
1708.04/1708.66 c 1698s | 22 | 2251474 | 2078322 | 11942 385 | 295 | 564
1710.05/1710.66 c 1700s | 22 | 2254468 | 2080922 | 11942 385 | 295 | 564
1712.04/1712.66 c 1702s | 22 | 2257267 | 2083322 | 11942 385 | 295 | 564
1714.14/1714.70 c 1704s | 22 | 2260205 | 2085922 | 11942 386 | 295 | 564
1716.14/1716.74 c 1706s | 22 | 2263398 | 2088822 | 11942 386 | 295 | 564
1718.14/1718.76 c 1708s | 22 | 2266562 | 2091722 | 11942 387 | 295 | 564
1720.24/1720.81 c 1710s | 22 | 2269654 | 2094422 | 11942 387 | 295 | 564
1722.24/1722.85 c 1712s | 22 | 2272248 | 2096722 | 11942 387 | 295 | 564
1724.25/1724.87 c 1714s | 22 | 2274592 | 2098922 | 11942 388 | 295 | 564
1726.34/1726.95 c 1716s | 22 | 2277139 | 2101322 | 11942 388 | 295 | 564
1728.34/1728.96 c 1718s | 22 | 2279347 | 2103422 | 11942 388 | 295 | 564
1730.44/1731.00 c 1720s | 22 | 2281847 | 2105722 | 11942 389 | 295 | 564
1732.45/1733.02 c 1722s | 22 | 2284367 | 2108022 | 11942 389 | 295 | 564
1734.45/1735.06 c 1724s | 22 | 2286793 | 2110222 | 11942 389 | 295 | 564
1736.55/1737.10 c 1726s | 22 | 2288964 | 2112222 | 11942 390 | 295 | 564
1738.55/1739.14 c 1728s | 22 | 2291395 | 2114522 | 11942 390 | 295 | 564
1740.65/1741.20 c 1730s | 22 | 2293706 | 2116622 | 11942 390 | 295 | 564
1742.65/1743.21 c 1732s | 22 | 2296305 | 2119022 | 11942 391 | 295 | 564
1744.64/1745.25 c 1734s | 22 | 2298917 | 2121522 | 11942 391 | 295 | 564
1746.74/1747.33 c 1736s | 22 | 2301092 | 2123622 | 11942 391 | 295 | 564
1748.84/1749.43 c 1738s | 22 | 2303485 | 2125922 | 11942 392 | 295 | 564
1750.94/1751.56 c 1741s | 22 | 2305665 | 2128022 | 11942 392 | 295 | 564
1752.95/1753.58 c 1743s | 22 | 2307903 | 2130122 | 11942 392 | 295 | 564
1755.05/1755.63 c 1745s | 22 | 2310322 | 2132422 | 11942 393 | 295 | 564
1757.04/1757.65 c 1747s | 22 | 2312651 | 2134622 | 11942 393 | 295 | 564
1759.04/1759.69 c 1749s | 22 | 2314932 | 2136822 | 11942 393 | 295 | 564
1761.14/1761.77 c 1751s | 22 | 2317197 | 2138922 | 11942 394 | 295 | 564
1763.24/1763.80 c 1753s | 22 | 2319393 | 2140922 | 11942 394 | 295 | 564
1765.24/1765.88 c 1755s | 22 | 2321435 | 2142822 | 11942 394 | 295 | 564
1767.34/1767.95 c 1757s | 22 | 2323560 | 2144822 | 11942 395 | 295 | 564
1769.35/1769.96 c 1759s | 22 | 2326016 | 2147122 | 11942 395 | 295 | 564
1771.44/1772.01 c 1761s | 22 | 2328219 | 2149222 | 11942 395 | 295 | 564
1773.44/1774.08 c 1763s | 22 | 2330384 | 2151322 | 11942 396 | 295 | 564
1775.64/1776.27 c 1765s | 22 | 2332720 | 2153522 | 11942 396 | 295 | 564
1777.74/1778.35 c 1767s | 22 | 2334928 | 2155622 | 11942 396 | 295 | 564
1779.84/1780.41 c 1769s | 22 | 2336878 | 2157522 | 11942 397 | 295 | 564
1781.84/1782.44 c 1772s | 22 | 2339201 | 2159722 | 11942 397 | 295 | 564
1783.84/1784.45 c 1774s | 22 | 2341247 | 2161722 | 11942 397 | 295 | 564
1785.84/1786.50 c 1776s | 22 | 2343021 | 2163422 | 11942 398 | 295 | 564
1787.94/1788.54 c 1778s | 22 | 2345347 | 2165622 | 11942 398 | 295 | 564
1790.03/1790.61 c 1780s | 22 | 2347543 | 2167722 | 11942 398 | 295 | 564
1792.03/1792.68 c 1782s | 22 | 2349639 | 2169722 | 11942 399 | 295 | 564
1794.03/1794.69 c 1784s | 22 | 2352147 | 2172122 | 11942 399 | 295 | 564
1796.13/1796.74 c 1786s | 22 | 2354425 | 2174322 | 11942 399 | 295 | 564
1798.13/1798.75 c 1788s | 22 | 2356413 | 2176222 | 11942 400 | 295 | 564
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-4101617-1466224744/watcher-4101617-1466224744 -o /tmp/evaluation-result-4101617-1466224744/solver-4101617-1466224744 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101617-1466224744.opb
pid=18008
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.36 2.27 2.23 4/179 18011
/proc/meminfo: memFree=29245028/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 2661 0 0 0 0 0 0 0 20 0 4 0 24523169 731312128 3534 33554432000 4194304 16246674 140736253771312 140736253770736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 179311 3542 441 2943 0 176205 0
[pid=18011/tid=18012] ppid=18008 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 749137920 3602 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 754380800 3622 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24523169 758575104 3637 33554432000 4194304 16246674 140736253771312 139848631446704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100179 s]
/proc/loadavg: 2.36 2.27 2.23 4/179 18011
/proc/meminfo: memFree=29245028/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 25770 0 0 0 6 3 0 0 20 0 4 0 24523169 1249447936 26581 33554432000 4194304 16246674 140736253771312 140736253770624 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 305041 26598 841 2943 0 301935 0
[pid=18011/tid=18012] ppid=18008 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1249447936 26610 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1249447936 26620 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24523169 1249447936 26630 33554432000 4194304 16246674 140736253771312 139848631446704 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.200539 s]
/proc/loadavg: 2.36 2.27 2.23 4/179 18011
/proc/meminfo: memFree=29245028/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 54562 0 0 0 12 7 0 0 20 0 4 0 24523169 1249447936 55373 33554432000 4194304 16246674 140736253771312 140736253770624 6958849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 305041 55388 841 2943 0 301935 0
[pid=18011/tid=18012] ppid=18008 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1249447936 55396 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1249447936 55404 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24523169 1249447936 55412 33554432000 4194304 16246674 140736253771312 139848631446704 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.300504 s]
/proc/loadavg: 2.36 2.27 2.23 4/179 18011
/proc/meminfo: memFree=29245028/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 80128 0 0 0 19 10 0 0 20 0 4 0 24523169 1249447936 80939 33554432000 4194304 16246674 140736253771312 140736253770624 13007928 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 305041 80956 841 2943 0 301935 0
[pid=18011/tid=18012] ppid=18008 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1249447936 80965 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1249447936 80974 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24523169 1249447936 80983 33554432000 4194304 16246674 140736253771312 139848631446704 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.700421 s]
/proc/loadavg: 2.36 2.27 2.23 4/179 18011
/proc/meminfo: memFree=29245028/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 193443 0 0 0 43 26 0 0 20 0 4 0 24523169 1249447936 194253 33554432000 4194304 16246674 140736253771312 140736253770624 12449130 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 305041 194271 842 2943 0 301935 0
[pid=18011/tid=18012] ppid=18008 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1249447936 194282 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1249447936 194292 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24523169 1249447936 194302 33554432000 4194304 16246674 140736253771312 139848631446704 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.36 2.27 2.23 4/183 18015
/proc/meminfo: memFree=28180800/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1297988 CPUtime=1.49 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 265449 0 0 0 114 35 0 0 20 0 4 0 24523169 1329139712 266259 33554432000 4194304 16246674 140736253771312 140736253753216 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 324497 266259 842 2943 0 321391 0
[pid=18011/tid=18012] ppid=18008 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1329139712 266259 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1329139712 266259 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1329139712 266259 33554432000 4194304 16246674 140736253771312 139848631446704 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) 1297988
[startup+3.10043 s]
/proc/loadavg: 2.36 2.27 2.23 3/183 18015
/proc/meminfo: memFree=28165548/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 269263 0 0 0 273 36 0 0 20 0 4 0 24523169 1343819776 270073 33554432000 4194304 16246674 140736253771312 140736253753216 13781198 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 328081 270073 889 2943 0 324975 0
[pid=18011/tid=18012] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1343819776 270073 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1343819776 270073 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1343819776 270073 33554432000 4194304 16246674 140736253771312 139848631446704 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) 1312324
[startup+6.30042 s]
/proc/loadavg: 2.33 2.26 2.23 3/183 18015
/proc/meminfo: memFree=28165920/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 269291 0 0 0 593 36 0 0 20 0 4 0 24523169 1343819776 270101 33554432000 4194304 16246674 140736253771312 140736253753216 12414114 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 328081 270101 914 2943 0 324975 0
[pid=18011/tid=18012] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1343819776 270101 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1343819776 270101 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1343819776 270101 33554432000 4194304 16246674 140736253771312 139848631446704 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) 1312324
[startup+12.7004 s]
/proc/loadavg: 2.30 2.26 2.23 3/183 18015
/proc/meminfo: memFree=28166480/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 269297 0 0 0 1232 37 0 0 20 0 4 0 24523169 1343819776 270107 33554432000 4194304 16246674 140736253771312 140736253753216 5721787 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 328081 270107 920 2943 0 324975 0
[pid=18011/tid=18012] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1343819776 270107 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1343819776 270107 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1343819776 270107 33554432000 4194304 16246674 140736253771312 139848631446704 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.24 2.24 2.22 3/183 18015
/proc/meminfo: memFree=28166740/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 269297 0 0 0 2512 37 0 0 20 0 4 0 24523169 1343819776 270107 33554432000 4194304 16246674 140736253771312 140736253753216 7249976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 328081 270107 920 2943 0 324975 0
[pid=18011/tid=18012] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1343819776 270107 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1343819776 270107 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1343819776 270107 33554432000 4194304 16246674 140736253771312 139848631446704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324
[startup+51.1005 s]
/proc/loadavg: 2.23 2.24 2.22 4/183 18015
/proc/meminfo: memFree=28153448/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1325636 CPUtime=51.08 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 272570 0 0 0 5071 37 0 0 20 0 4 0 24523169 1357451264 273380 33554432000 4194304 16246674 140736253771312 140736253753216 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 331409 273380 921 2943 0 328303 0
[pid=18011/tid=18012] ppid=18008 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1357451264 273380 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1357451264 273380 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1357451264 273380 33554432000 4194304 16246674 140736253771312 139848631446704 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) 1325636
[startup+102.301 s]
/proc/loadavg: 2.33 2.26 2.23 4/184 18019
/proc/meminfo: memFree=28153276/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1325636 CPUtime=102.28 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 272626 0 0 0 10191 37 0 0 20 0 4 0 24523169 1357451264 273436 33554432000 4194304 16246674 140736253771312 140736253770488 5673882 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 331409 273436 921 2943 0 328303 0
[pid=18011/tid=18012] ppid=18008 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1357451264 273436 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1357451264 273436 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1357451264 273436 33554432000 4194304 16246674 140736253771312 139848631446704 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) 1325636
################
# More data... #
################
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848631446704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1343044
[startup+1302.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/184 18099
/proc/meminfo: memFree=28145292/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1343044 CPUtime=1301.81 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 277419 0 0 0 130135 46 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 140736253753216 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 335761 277792 922 2943 0 332655 0
[pid=18011/tid=18012] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848631446704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1343044
[startup+1362.3 s]
/proc/loadavg: 2.39 2.25 2.20 3/184 18122
/proc/meminfo: memFree=28144696/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1343044 CPUtime=1361.8 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 277419 0 0 0 136133 47 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 140736253753216 12415766 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 335761 277792 922 2943 0 332655 0
[pid=18011/tid=18012] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848631446704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1343044
[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.18 4/183 18123
/proc/meminfo: memFree=28144492/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1343044 CPUtime=1421.8 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 277419 0 0 0 142132 48 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 140736253754312 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 335761 277792 922 2943 0 332655 0
[pid=18011/tid=18012] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848631446704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1343044
[startup+1482.3 s]
/proc/loadavg: 2.12 2.19 2.18 3/183 18124
/proc/meminfo: memFree=28144280/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1343044 CPUtime=1481.78 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 277419 0 0 0 148130 48 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 140736253754312 12861145 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 335761 277792 922 2943 0 332655 0
[pid=18011/tid=18012] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848631446704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1343044
[startup+1542.31 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 18126
/proc/meminfo: memFree=28144068/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1343044 CPUtime=1541.78 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 277419 0 0 0 154129 49 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 140736253769152 5823262 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 335761 277792 922 2943 0 332655 0
[pid=18011/tid=18012] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1375277056 277792 33554432000 4194304 16246674 140736253771312 139848631446704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1343044
[startup+1602.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 18127
/proc/meminfo: memFree=28134808/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1352260 CPUtime=1601.77 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 279723 0 0 0 160127 50 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 140736253753216 5600136 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 338065 280096 922 2943 0 334959 0
[pid=18011/tid=18012] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848631446704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1352260
[startup+1662.3 s]
/proc/loadavg: 2.12 2.18 2.17 3/183 18128
/proc/meminfo: memFree=28134636/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1352260 CPUtime=1661.75 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 279723 0 0 0 166125 50 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 140736253753216 5827784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 338065 280096 922 2943 0 334959 0
[pid=18011/tid=18012] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848631446704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1352260
[startup+1722.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 18129
/proc/meminfo: memFree=28134544/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1352260 CPUtime=1721.74 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 279723 0 0 0 172124 50 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 140736253753216 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 338065 280096 922 2943 0 334959 0
[pid=18011/tid=18012] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848631446704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1352260
[startup+1782.3 s]
/proc/loadavg: 2.35 2.23 2.19 3/183 18130
/proc/meminfo: memFree=28133692/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1352260 CPUtime=1781.74 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 279723 0 0 0 178123 51 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 140736253770488 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 338065 280096 922 2943 0 334959 0
[pid=18011/tid=18012] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848631446704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1352260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 18130
/proc/meminfo: memFree=28133800/32872528 swapFree=1431120/1543540
[pid=18011] ppid=18008 vsize=1352260 CPUtime=1800.03 cores=1,3,5,7
/proc/18011/stat : 18011 (toysat) R 18008 18011 15180 0 -1 4202496 279723 0 0 0 179952 51 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 140736253753216 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18011/statm: 338065 280096 922 2943 0 334959 0
[pid=18011/tid=18012] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18012/stat : 18012 (toysat) S 18008 18011 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848721607920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18011/tid=18013] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18013/stat : 18013 (toysat) S 18008 18011 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848711118064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18011/tid=18014] ppid=18008 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/18011/task/18014/stat : 18014 (toysat) S 18008 18011 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24523169 1384714240 280096 33554432000 4194304 16246674 140736253771312 139848631446704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1352260
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 18011 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.05
CPU user time (s): 1799.53
CPU system time (s): 0.515921
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 1352260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.515921
maximum resident set size= 1120384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279723
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= 458
involuntary context switches= 1869
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45632 second user time and 7.10792 second system time
The end