0.00/0.00 c 2016-06-07T02:11:07+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-4080153-1465258267.opb"]
0.00/0.01 c use --random-gen="718117672 640300369 2541550390 282746202 2598432765 3002353578 519299641 982195929 2404500754 2627236626 4292160934 689868854 1498861112 3486295849 3846261367 2745718586 1042349040 2104067907 1097623784 743726389 2478941104 601093658 824100815 2726910733 144946177 2438696235 3593528051 2431275240 104498780 1332212068 3046756280 1282075919 1928043792 3186849727 507781175 999237793 3825740136 569122596 4088373088 1147901813 1016640825 4065027881 3597269417 2968727454 511328419 3338482234 652434990 1910802745 2287724177 811631039 2984825648 2296342055 147426411 3116451685 1858921559 3674955672 3453004017 105770177 528470884 3413759316 4293178390 540059776 2174239634 941325713 3063835751 1823712035 1982929747 3388696358 3812142670 262781880 1021052704 3814019999 2143733039 1579083835 2474616595 1207512114 22115988 3870138157 1369325037 2371413574 3321430343 1095394463 2899006245 975506230 1875512869 2355337736 3305217717 499423321 477549231 444603748 1184038668 1044659601 3150572954 1392588220 1507856044 4233438744 1566213179 3080255778 2962811456 2847234330 2199129277 3265372403 3822470144 4124171945 2205048765 137285383 1935752981 1674287093 2227336156 548126957 74463329 3572983002 278558100 2666966665 3921804774 2685431755 3809608747 2767555597 894650387 1340107472 2345022345 3816382085 3814441206 3821443953 2454400331 2782999414 167446686 431488582 3395268367 2775138382 576241444 3214748200 2446036236 1613548889 3054543607 1867222736 709513860 2496493277 2693258357 757774508 3756076511 1184697283 272460690 780714793 1308232408 3893881675 351182497 2127865118 791293634 3954733712 1873734523 1859560895 734070761 1281709971 2842021216 1534942359 3282667919 459377570 1201718244 8357403 2515326967 3849429591 1162956918 1655759857 2066560720 275280446 978189254 3105228755 823921840 2434911581 1569565025 1738700186 503210185 615012168 2549501520 3587724639 815567389 239063828 1959469363 3026280546 2217679448 4239649388 1229015558 3563303942 1984918852 3961491855 379614348 3991901528 2328814339 3452221249 375534942 3318432214 2387394495 1962758687 2093653754 2865105335 501906384 1796678268 1256843695 2928207509 861781481 4251436202 1588633905 1771925880 1456806218 1589174703 4164017792 3174587124 2886623064 445732556 3970982931 1799559557 2641019162 4274306449 2703025039 3019622162 964992865 3292714605 2459742045 1781593498 2284856521 4180180262 2036910797 1411277935 1747228610 939195073 2272209163 3423441531 3158889667 1314750147 360075311 4202012171 3969921541 3586365471 3220364333 1471248806 3923915957 524345746 3828332428 4008518987 4062185642 3910806132 2587886680 1242289711 1113655570 953322124 2081963939 2181503241 970036480 3989878348 3601650620 3326813162 2140605143 3978358953 202332228 2001776660 255 362436" option to reproduce the execution
0.00/0.01 c #vars 100
0.00/0.01 c #constraints 100
0.00/0.03 c BCD2: Hardening is enabled.
0.00/0.03 c BCD2: BiasedSearch is enabled.
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 868 0 | 626 | 0
0.00/0.03 c 0.0s | 0 | 22 | 0 | 868 0 | 626 | 1252
0.00/0.03 c #cpu_time = 0.003s
0.00/0.03 c #wall_clock_time = 0.003s
0.00/0.03 c #decision = 22
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 o -22
0.00/0.04 c BCD2: updating upper bound: 100 -> 77
0.00/0.04 c BCD2: 0 <= obj <= 77
0.00/0.04 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 868 0 | 626 | 1252
0.00/0.04 c 0.0s | 0 | 4 | 0 | 868 0 | 626 | 1252
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 4
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -99
0.00/0.04 c BCD2: 1 <= obj <= 77
0.00/0.04 c BCD2: #cores=1, #unrelaxed=98, #relaxed=2, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 868 0 | 626 | 1253
0.00/0.04 c 0.0s | 0 | 6 | 0 | 868 0 | 626 | 1253
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 6
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -98
0.00/0.04 c BCD2: 2 <= obj <= 77
0.00/0.04 c BCD2: #cores=2, #unrelaxed=96, #relaxed=4, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 868 0 | 626 | 1254
0.00/0.04 c 0.0s | 0 | 6 | 0 | 868 0 | 626 | 1254
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 6
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 6: cost of the new core is >=3
0.00/0.04 c lower bound updated to -97
0.00/0.04 c BCD2: 3 <= obj <= 77
0.00/0.04 c BCD2: #cores=1, #unrelaxed=94, #relaxed=6, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 868 0 | 628 | 1254
0.00/0.04 c 0.0s | 0 | 4 | 0 | 868 0 | 628 | 1256
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 4
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -96
0.00/0.04 c BCD2: 4 <= obj <= 77
0.00/0.04 c BCD2: #cores=2, #unrelaxed=92, #relaxed=8, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 868 0 | 628 | 1257
0.00/0.04 c 0.0s | 0 | 4 | 0 | 868 0 | 628 | 1257
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 4
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -95
0.00/0.04 c BCD2: 5 <= obj <= 77
0.00/0.04 c BCD2: #cores=3, #unrelaxed=90, #relaxed=10, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 868 0 | 628 | 1258
0.00/0.04 c 0.0s | 0 | 5 | 0 | 868 0 | 628 | 1258
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 5
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.04 c lower bound updated to -94
0.00/0.04 c BCD2: 6 <= obj <= 77
0.00/0.04 c BCD2: #cores=3, #unrelaxed=88, #relaxed=12, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 868 0 | 629 | 1258
0.00/0.04 c 0.0s | 0 | 7 | 0 | 868 0 | 629 | 1259
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 7
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -93
0.00/0.04 c BCD2: 7 <= obj <= 77
0.00/0.04 c BCD2: #cores=4, #unrelaxed=86, #relaxed=14, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 868 0 | 629 | 1260
0.00/0.04 c 0.0s | 0 | 7 | 0 | 868 0 | 629 | 1260
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 7
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 6: cost of the new core is >=3
0.00/0.04 c lower bound updated to -92
0.00/0.04 c BCD2: 8 <= obj <= 77
0.00/0.04 c BCD2: #cores=3, #unrelaxed=84, #relaxed=16, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 868 0 | 631 | 1260
0.00/0.04 c 0.0s | 0 | 8 | 0 | 868 0 | 631 | 1262
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 8
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -91
0.00/0.04 c BCD2: 9 <= obj <= 77
0.00/0.04 c BCD2: #cores=4, #unrelaxed=82, #relaxed=18, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 868 0 | 631 | 1263
0.00/0.05 c 0.0s | 0 | 8 | 0 | 868 0 | 631 | 1263
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 8
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 9: cost of the new core is >=4
0.00/0.05 c lower bound updated to -90
0.00/0.05 c BCD2: 10 <= obj <= 77
0.00/0.05 c BCD2: #cores=3, #unrelaxed=79, #relaxed=21, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 868 0 | 633 | 1263
0.00/0.05 c 0.0s | 0 | 7 | 0 | 868 0 | 633 | 1265
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 7
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -89
0.00/0.05 c BCD2: 11 <= obj <= 77
0.00/0.05 c BCD2: #cores=4, #unrelaxed=77, #relaxed=23, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 868 0 | 633 | 1266
0.00/0.05 c 0.0s | 0 | 8 | 0 | 868 0 | 633 | 1266
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 8
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -88
0.00/0.05 c BCD2: 12 <= obj <= 77
0.00/0.05 c BCD2: #cores=5, #unrelaxed=75, #relaxed=25, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 868 0 | 633 | 1267
0.00/0.05 c 0.0s | 0 | 10 | 0 | 868 0 | 633 | 1267
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 10
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -87
0.00/0.05 c BCD2: 13 <= obj <= 77
0.00/0.05 c BCD2: #cores=6, #unrelaxed=73, #relaxed=27, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 868 0 | 633 | 1268
0.00/0.05 c 0.0s | 0 | 11 | 1 | 868 0 | 633 | 1268
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 11
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 4 and merging with 2 cores into a new core of size 12: cost of the new core is >=5
0.00/0.05 c lower bound updated to -86
0.00/0.05 c BCD2: 14 <= obj <= 77
0.00/0.05 c BCD2: #cores=5, #unrelaxed=69, #relaxed=31, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 868 0 | 635 | 1268
0.00/0.05 c 0.0s | 0 | 9 | 0 | 868 0 | 635 | 1270
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 9
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -85
0.00/0.05 c BCD2: 15 <= obj <= 77
0.00/0.05 c BCD2: #cores=6, #unrelaxed=67, #relaxed=33, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 868 0 | 635 | 1271
0.00/0.05 c 0.0s | 0 | 10 | 0 | 868 0 | 635 | 1271
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 10
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.05 c lower bound updated to -84
0.00/0.05 c BCD2: 16 <= obj <= 77
0.00/0.05 c BCD2: #cores=6, #unrelaxed=65, #relaxed=35, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 868 0 | 636 | 1271
0.00/0.05 c 0.0s | 0 | 9 | 0 | 868 0 | 636 | 1272
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 9
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -83
0.00/0.05 c BCD2: 17 <= obj <= 77
0.00/0.05 c BCD2: #cores=7, #unrelaxed=63, #relaxed=37, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 868 0 | 636 | 1273
0.00/0.05 c 0.0s | 0 | 9 | 0 | 868 0 | 636 | 1273
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 9
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -82
0.00/0.05 c BCD2: 18 <= obj <= 77
0.00/0.05 c BCD2: #cores=8, #unrelaxed=61, #relaxed=39, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=19 bias=19/20
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 868 0 | 636 | 1274
0.00/0.05 c 0.0s | 0 | 10 | 0 | 868 0 | 636 | 1274
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 10
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 7: cost of the new core is >=3
0.00/0.05 c lower bound updated to -81
0.00/0.05 c BCD2: 19 <= obj <= 77
0.00/0.05 c BCD2: #cores=8, #unrelaxed=58, #relaxed=42, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 868 0 | 637 | 1274
0.00/0.06 c 0.0s | 0 | 11 | 0 | 868 0 | 637 | 1275
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 11
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -80
0.00/0.06 c BCD2: 20 <= obj <= 77
0.00/0.06 c BCD2: #cores=9, #unrelaxed=56, #relaxed=44, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 868 0 | 637 | 1276
0.00/0.06 c 0.0s | 0 | 11 | 0 | 868 0 | 637 | 1276
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 11
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 6: cost of the new core is >=3
0.00/0.06 c lower bound updated to -79
0.00/0.06 c BCD2: 21 <= obj <= 77
0.00/0.06 c BCD2: #cores=8, #unrelaxed=54, #relaxed=46, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=22 bias=22/23
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 868 0 | 639 | 1276
0.00/0.06 c 0.0s | 0 | 9 | 0 | 868 0 | 639 | 1278
0.00/0.06 c #cpu_time = 0.000s
0.00/0.06 c #wall_clock_time = 0.000s
0.00/0.06 c #decision = 9
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -78
0.00/0.06 c BCD2: 22 <= obj <= 77
0.00/0.06 c BCD2: #cores=9, #unrelaxed=52, #relaxed=48, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=23 bias=23/24
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 868 0 | 639 | 1279
0.00/0.06 c 0.0s | 0 | 11 | 0 | 868 0 | 639 | 1279
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 11
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.06 c lower bound updated to -77
0.00/0.06 c BCD2: 23 <= obj <= 77
0.00/0.06 c BCD2: #cores=9, #unrelaxed=50, #relaxed=50, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=24 bias=24/25
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 868 0 | 640 | 1279
0.00/0.06 c 0.0s | 0 | 12 | 1 | 868 0 | 640 | 1280
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 12
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 7: cost of the new core is >=4
0.00/0.06 c lower bound updated to -76
0.00/0.06 c BCD2: 24 <= obj <= 77
0.00/0.06 c BCD2: #cores=8, #unrelaxed=49, #relaxed=51, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=25 bias=25/26
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 868 0 | 642 | 1280
0.00/0.06 c 0.0s | 0 | 9 | 0 | 868 0 | 642 | 1282
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 9
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.06 c lower bound updated to -75
0.00/0.06 c BCD2: 25 <= obj <= 77
0.00/0.06 c BCD2: #cores=8, #unrelaxed=47, #relaxed=53, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=26 bias=26/27
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 868 0 | 643 | 1282
0.00/0.06 c 0.0s | 0 | 11 | 1 | 868 0 | 643 | 1283
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 11
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 3 and merging with 3 cores into a new core of size 16: cost of the new core is >=8
0.00/0.06 c lower bound updated to -74
0.00/0.06 c BCD2: 26 <= obj <= 77
0.00/0.06 c BCD2: #cores=6, #unrelaxed=44, #relaxed=56, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=27 bias=27/28
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 868 0 | 646 | 1283
0.00/0.06 c 0.0s | 0 | 10 | 0 | 868 0 | 646 | 1286
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 10
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -73
0.00/0.06 c BCD2: 27 <= obj <= 77
0.00/0.06 c BCD2: #cores=7, #unrelaxed=42, #relaxed=58, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=28 bias=28/29
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 868 0 | 646 | 1287
0.00/0.06 c 0.0s | 0 | 11 | 0 | 868 0 | 646 | 1287
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 11
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -72
0.00/0.06 c BCD2: 28 <= obj <= 77
0.00/0.06 c BCD2: #cores=8, #unrelaxed=40, #relaxed=60, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 868 0 | 646 | 1288
0.00/0.07 c 0.0s | 0 | 12 | 0 | 868 0 | 646 | 1288
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 12
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -71
0.00/0.07 c BCD2: 29 <= obj <= 77
0.00/0.07 c BCD2: #cores=9, #unrelaxed=38, #relaxed=62, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=30 bias=30/31
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 868 0 | 646 | 1289
0.00/0.07 c 0.0s | 0 | 14 | 0 | 868 0 | 646 | 1289
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 14
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -70
0.00/0.07 c BCD2: 30 <= obj <= 77
0.00/0.07 c BCD2: #cores=10, #unrelaxed=36, #relaxed=64, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=31 bias=31/32
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 868 0 | 646 | 1290
0.00/0.07 c 0.0s | 0 | 14 | 0 | 868 0 | 646 | 1290
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 14
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -69
0.00/0.07 c BCD2: 31 <= obj <= 77
0.00/0.07 c BCD2: #cores=11, #unrelaxed=34, #relaxed=66, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=32 bias=32/33
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 868 0 | 646 | 1291
0.00/0.07 c 0.0s | 0 | 14 | 0 | 868 0 | 646 | 1291
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 14
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -68
0.00/0.07 c BCD2: 32 <= obj <= 77
0.00/0.07 c BCD2: #cores=12, #unrelaxed=32, #relaxed=68, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=33 bias=33/34
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 868 0 | 646 | 1292
0.00/0.07 c 0.0s | 0 | 15 | 0 | 868 0 | 646 | 1292
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 15
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 6: cost of the new core is >=3
0.00/0.07 c lower bound updated to -67
0.00/0.07 c BCD2: 33 <= obj <= 77
0.00/0.07 c BCD2: #cores=11, #unrelaxed=30, #relaxed=70, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=34 bias=34/35
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 868 0 | 648 | 1292
0.00/0.07 c 0.0s | 0 | 13 | 0 | 868 0 | 648 | 1294
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 13
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -66
0.00/0.07 c BCD2: 34 <= obj <= 77
0.00/0.07 c BCD2: #cores=12, #unrelaxed=28, #relaxed=72, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=35 bias=35/36
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 868 0 | 648 | 1295
0.00/0.07 c 0.0s | 0 | 14 | 0 | 868 0 | 648 | 1295
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 14
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 6: cost of the new core is >=3
0.00/0.07 c lower bound updated to -65
0.00/0.07 c BCD2: 35 <= obj <= 77
0.00/0.07 c BCD2: #cores=11, #unrelaxed=26, #relaxed=74, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=36 bias=36/37
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 868 0 | 650 | 1295
0.00/0.07 c 0.0s | 0 | 13 | 0 | 868 0 | 650 | 1297
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 13
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -64
0.00/0.07 c BCD2: 36 <= obj <= 77
0.00/0.07 c BCD2: #cores=12, #unrelaxed=24, #relaxed=76, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=37 bias=37/38
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 868 0 | 650 | 1298
0.00/0.07 c 0.0s | 0 | 14 | 0 | 868 0 | 650 | 1298
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 14
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.07 c lower bound updated to -63
0.00/0.07 c BCD2: 37 <= obj <= 77
0.00/0.07 c BCD2: #cores=12, #unrelaxed=22, #relaxed=78, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=38 bias=38/39
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 868 0 | 651 | 1298
0.00/0.07 c 0.0s | 0 | 23 | 2 | 868 0 | 651 | 1299
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 23
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 2
0.00/0.07 c #restart = 0
0.00/0.08 c BCD2: relaxing 3 and merging with 4 cores into a new core of size 20: cost of the new core is >=9
0.00/0.08 c lower bound updated to -62
0.00/0.08 c BCD2: 38 <= obj <= 77
0.00/0.08 c BCD2: #cores=9, #unrelaxed=19, #relaxed=81, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=39 bias=39/40
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 868 0 | 655 | 1299
0.00/0.08 c 0.0s | 0 | 12 | 0 | 868 0 | 655 | 1303
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 12
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -61
0.00/0.08 c BCD2: 39 <= obj <= 77
0.00/0.08 c BCD2: #cores=10, #unrelaxed=17, #relaxed=83, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=40 bias=40/41
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 868 0 | 655 | 1304
0.00/0.08 c 0.0s | 0 | 12 | 0 | 868 0 | 655 | 1304
0.00/0.08 c #cpu_time = 0.000s
0.00/0.08 c #wall_clock_time = 0.000s
0.00/0.08 c #decision = 12
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -60
0.00/0.08 c BCD2: 40 <= obj <= 77
0.00/0.08 c BCD2: #cores=11, #unrelaxed=15, #relaxed=85, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=41 bias=41/42
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 868 0 | 655 | 1305
0.00/0.08 c 0.0s | 0 | 13 | 0 | 868 0 | 655 | 1305
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 13
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -59
0.00/0.08 c BCD2: 41 <= obj <= 77
0.00/0.08 c BCD2: #cores=12, #unrelaxed=13, #relaxed=87, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=42 bias=42/43
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 868 0 | 655 | 1306
0.00/0.08 c 0.0s | 0 | 15 | 0 | 868 0 | 655 | 1306
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 15
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -58
0.00/0.08 c BCD2: 42 <= obj <= 77
0.00/0.08 c BCD2: #cores=13, #unrelaxed=11, #relaxed=89, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=43 bias=43/44
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 868 0 | 655 | 1307
0.00/0.08 c 0.0s | 0 | 16 | 1 | 868 0 | 655 | 1307
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 16
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 3 and merging with 8 cores into a new core of size 32: cost of the new core is >=15
0.00/0.08 c lower bound updated to -57
0.00/0.08 c BCD2: 43 <= obj <= 77
0.00/0.08 c BCD2: #cores=6, #unrelaxed=8, #relaxed=92, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=44 bias=44/45
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 868 0 | 663 | 1307
0.00/0.08 c 0.0s | 0 | 10 | 0 | 868 0 | 663 | 1315
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 10
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -56
0.00/0.08 c BCD2: 44 <= obj <= 77
0.00/0.08 c BCD2: #cores=7, #unrelaxed=6, #relaxed=94, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=45 bias=45/46
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 868 0 | 663 | 1316
0.00/0.08 c 0.0s | 0 | 24 | 8 | 868 0 | 663 | 1316
0.00/0.08 c #cpu_time = 0.002s
0.00/0.08 c #wall_clock_time = 0.002s
0.00/0.08 c #decision = 24
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 8
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 6 and merging with 6 cores into a new core of size 68: cost of the new core is >=30
0.00/0.08 c lower bound updated to -55
0.00/0.08 c BCD2: 45 <= obj <= 77
0.00/0.08 c BCD2: #cores=2, #unrelaxed=0, #relaxed=100, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=46 bias=46/47
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 868 0 | 669 | 1316
0.09/0.11 c 0.0s | 1 | 169 | 100 | 955 0 | 669 | 1322
0.09/0.14 c 0.1s | 2 | 463 | 250 | 1051 0 | 669 | 1322
0.19/0.20 c 0.1s | 3 | 824 | 475 | 1157 0 | 669 | 1322
0.19/0.28 c 0.2s | 4 | 1218 | 813 | 1273 0 | 669 | 1322
0.39/0.40 c 0.3s | 5 | 1793 | 1320 | 1401 0 | 669 | 1322
0.48/0.56 c 0.5s | 5 | 2364 | 1811 | 1401 0 | 669 | 1322
0.48/0.56 c #cpu_time = 0.478s
0.48/0.56 c #wall_clock_time = 0.478s
0.48/0.56 c #decision = 2364
0.48/0.56 c #random_decision = 3
0.48/0.56 c #conflict = 1811
0.48/0.56 c #restart = 5
0.48/0.56 o -24
0.48/0.56 c BCD2: updating upper bound: 77 -> 75
0.48/0.56 c BCD2: 45 <= obj <= 75
0.48/0.56 c BCD2: #cores=2, #unrelaxed=0, #relaxed=100, #hardened=0
0.48/0.56 c BCD2: #sat=2 #unsat=46 bias=46/48
0.48/0.56 c Solving starts ...
0.48/0.56 c ============================[ Search Statistics ]============================
0.48/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.56 c | | | | Limit GC | Var | Constra
0.48/0.56 c =============================================================================
0.48/0.56 c 0.0s | 0 | 0 | 0 | 1401 0 | 669 | 1323
0.58/0.61 c 0.0s | 1 | 146 | 100 | 1401 0 | 669 | 1323
0.58/0.67 c 0.1s | 2 | 337 | 250 | 1401 0 | 669 | 1323
0.69/0.75 c 0.2s | 3 | 619 | 475 | 1542 0 | 669 | 1323
0.79/0.84 c 0.3s | 4 | 1016 | 813 | 1542 1 | 669 | 1323
0.89/0.94 c 0.4s | 5 | 1600 | 1320 | 1542 1 | 669 | 1323
1.10/1.13 c 0.6s | 6 | 2445 | 2081 | 1697 2 | 669 | 1323
1.38/1.41 c 0.8s | 7 | 3711 | 3223 | 1867 3 | 669 | 1323
1.79/1.85 c 1.3s | 8 | 5599 | 4936 | 1867 4 | 669 | 1323
2.39/2.40 c 1.8s | 9 | 8351 | 7506 | 2054 6 | 669 | 1323
3.19/3.21 c 2.7s | 10 | 12530 | 11361 | 2260 8 | 669 | 1323
4.49/4.54 c 4.0s | 11 | 18731 | 17144 | 2486 12 | 669 | 1323
6.38/6.42 c 5.9s | 12 | 27968 | 25819 | 2735 17 | 669 | 1323
8.38/8.42 c 7.9s | 12 | 35890 | 33119 | 2735 21 | 669 | 1323
9.78/9.85 c 9.3s | 13 | 42031 | 38832 | 3009 24 | 669 | 1323
11.78/11.86 c 11.3s | 13 | 51129 | 47432 | 3009 29 | 669 | 1323
13.79/13.88 c 13.3s | 13 | 60627 | 56232 | 3310 34 | 669 | 1323
14.30/14.40 c 13.8s | 14 | 62915 | 58352 | 3310 35 | 669 | 1323
16.39/16.42 c 15.9s | 14 | 71862 | 66652 | 3310 39 | 669 | 1323
18.39/18.42 c 17.9s | 14 | 79771 | 74052 | 3310 42 | 669 | 1323
20.39/20.44 c 19.9s | 14 | 88445 | 82052 | 3310 46 | 669 | 1323
21.79/21.85 c 21.3s | 15 | 94295 | 87632 | 3642 49 | 669 | 1323
23.79/23.85 c 23.3s | 15 | 101740 | 94632 | 3642 52 | 669 | 1323
25.79/25.85 c 25.3s | 15 | 109626 | 101932 | 3642 55 | 669 | 1323
27.79/27.88 c 27.3s | 15 | 117888 | 109632 | 3642 59 | 669 | 1323
29.79/29.88 c 29.3s | 15 | 125582 | 116832 | 3642 62 | 669 | 1323
31.89/31.92 c 31.4s | 15 | 133101 | 124032 | 3642 66 | 669 | 1323
33.88/33.94 c 33.4s | 15 | 140465 | 131132 | 4007 69 | 669 | 1323
33.98/34.03 c 33.5s | 16 | 140907 | 131552 | 4007 69 | 669 | 1323
35.98/36.05 c 35.5s | 16 | 149083 | 139252 | 4007 72 | 669 | 1323
37.98/38.06 c 37.5s | 16 | 156545 | 146252 | 4007 75 | 669 | 1323
40.08/40.12 c 39.6s | 16 | 164374 | 153752 | 4007 78 | 669 | 1323
42.08/42.14 c 41.6s | 16 | 172051 | 161152 | 4007 81 | 669 | 1323
44.08/44.14 c 43.6s | 16 | 179748 | 168352 | 4007 84 | 669 | 1323
46.08/46.14 c 45.6s | 16 | 187337 | 175552 | 4007 87 | 669 | 1323
48.08/48.15 c 47.6s | 16 | 194215 | 182052 | 4007 90 | 669 | 1323
50.08/50.16 c 49.6s | 16 | 201062 | 188652 | 4007 93 | 669 | 1323
52.08/52.16 c 51.6s | 16 | 208346 | 195552 | 4408 96 | 669 | 1323
52.68/52.70 c 52.1s | 17 | 210301 | 197432 | 4408 96 | 669 | 1323
54.68/54.71 c 54.1s | 17 | 217043 | 203932 | 4408 99 | 669 | 1323
56.78/56.83 c 56.3s | 17 | 224340 | 210932 | 4408 102 | 669 | 1323
58.78/58.83 c 58.3s | 17 | 231446 | 217732 | 4408 104 | 669 | 1323
60.78/60.84 c 60.3s | 17 | 238547 | 224332 | 4408 107 | 669 | 1323
62.78/62.88 c 62.3s | 17 | 245271 | 230632 | 4408 109 | 669 | 1323
64.88/64.91 c 64.3s | 17 | 252368 | 237432 | 4408 112 | 669 | 1323
66.87/66.93 c 66.4s | 17 | 259462 | 244232 | 4408 115 | 669 | 1323
68.88/68.96 c 68.4s | 17 | 266498 | 250932 | 4408 117 | 669 | 1323
70.98/71.00 c 70.4s | 17 | 272928 | 257032 | 4408 120 | 669 | 1323
72.98/73.01 c 72.4s | 17 | 280750 | 264332 | 4408 122 | 669 | 1323
74.98/75.02 c 74.5s | 17 | 288021 | 270932 | 4408 125 | 669 | 1323
76.99/77.05 c 76.5s | 17 | 295050 | 277432 | 4408 127 | 669 | 1323
78.98/79.07 c 78.5s | 17 | 301893 | 283732 | 4408 130 | 669 | 1323
81.08/81.10 c 80.5s | 17 | 308280 | 289832 | 4408 132 | 669 | 1323
82.98/83.06 c 82.5s | 18 | 315085 | 296252 | 4849 135 | 669 | 1323
84.98/85.08 c 84.5s | 18 | 321733 | 302452 | 4849 137 | 669 | 1323
86.98/87.09 c 86.5s | 18 | 328987 | 309252 | 4849 139 | 669 | 1323
89.08/89.12 c 88.6s | 18 | 335514 | 315352 | 4849 141 | 669 | 1323
91.07/91.13 c 90.6s | 18 | 341944 | 321452 | 4849 144 | 669 | 1323
93.07/93.15 c 92.6s | 18 | 348703 | 327952 | 4849 146 | 669 | 1323
95.07/95.16 c 94.6s | 18 | 356047 | 334952 | 4849 148 | 669 | 1323
97.07/97.16 c 96.6s | 18 | 362154 | 340852 | 4849 150 | 669 | 1323
99.17/99.21 c 98.6s | 18 | 368422 | 346852 | 4849 153 | 669 | 1323
101.18/101.22 c 100s | 18 | 375270 | 353352 | 4849 155 | 669 | 1323
103.17/103.23 c 102s | 18 | 381856 | 359652 | 4849 157 | 669 | 1323
105.18/105.24 c 104s | 18 | 388115 | 365652 | 4849 159 | 669 | 1323
107.17/107.24 c 106s | 18 | 394342 | 371652 | 4849 162 | 669 | 1323
109.17/109.26 c 108s | 18 | 400788 | 377852 | 4849 164 | 669 | 1323
111.18/111.27 c 110s | 18 | 407340 | 384052 | 4849 166 | 669 | 1323
113.17/113.29 c 112s | 18 | 413924 | 390252 | 4849 168 | 669 | 1323
115.27/115.31 c 114s | 18 | 420026 | 396052 | 4849 170 | 669 | 1323
117.27/117.33 c 116s | 18 | 427124 | 402752 | 4849 173 | 669 | 1323
119.27/119.34 c 118s | 18 | 433868 | 409152 | 4849 175 | 669 | 1323
121.27/121.36 c 120s | 18 | 440858 | 415852 | 4849 177 | 669 | 1323
123.28/123.39 c 122s | 18 | 447105 | 421752 | 4849 179 | 669 | 1323
125.37/125.41 c 124s | 18 | 454278 | 428352 | 4849 182 | 669 | 1323
127.37/127.44 c 126s | 18 | 460819 | 434552 | 4849 184 | 669 | 1323
129.37/129.45 c 128s | 18 | 467774 | 441152 | 5334 186 | 669 | 1323
130.57/130.68 c 130s | 19 | 471352 | 444482 | 5334 187 | 669 | 1323
132.67/132.70 c 132s | 19 | 476816 | 449682 | 5334 189 | 669 | 1323
134.67/134.71 c 134s | 19 | 482587 | 455182 | 5334 191 | 669 | 1323
136.67/136.77 c 136s | 19 | 488651 | 460882 | 5334 193 | 669 | 1323
138.67/138.78 c 138s | 19 | 494249 | 466282 | 5334 195 | 669 | 1323
140.66/140.79 c 140s | 19 | 500220 | 471882 | 5334 196 | 669 | 1323
142.66/142.79 c 142s | 19 | 506100 | 477582 | 5334 198 | 669 | 1323
144.76/144.82 c 144s | 19 | 511926 | 483182 | 5334 200 | 669 | 1323
146.76/146.85 c 146s | 19 | 518088 | 489082 | 5334 202 | 669 | 1323
148.76/148.87 c 148s | 19 | 523745 | 494482 | 5334 204 | 669 | 1323
150.77/150.87 c 150s | 19 | 530692 | 500982 | 5334 206 | 669 | 1323
152.76/152.88 c 152s | 19 | 536176 | 506182 | 5334 208 | 669 | 1323
154.86/154.90 c 154s | 19 | 541901 | 511682 | 5334 210 | 669 | 1323
156.86/156.94 c 156s | 19 | 547927 | 517482 | 5334 211 | 669 | 1323
158.86/158.96 c 158s | 19 | 554169 | 523482 | 5334 213 | 669 | 1323
160.86/160.99 c 160s | 19 | 560030 | 529082 | 5334 215 | 669 | 1323
162.96/163.01 c 162s | 19 | 565406 | 534182 | 5334 217 | 669 | 1323
164.97/165.03 c 164s | 19 | 572031 | 540482 | 5334 219 | 669 | 1323
166.96/167.05 c 166s | 19 | 577420 | 545682 | 5334 221 | 669 | 1323
168.96/169.06 c 168s | 19 | 583640 | 551582 | 5334 223 | 669 | 1323
170.96/171.06 c 170s | 19 | 589859 | 557482 | 5334 225 | 669 | 1323
172.96/173.07 c 172s | 19 | 595452 | 562782 | 5334 226 | 669 | 1323
175.06/175.10 c 174s | 19 | 601489 | 568582 | 5334 228 | 669 | 1323
177.07/177.10 c 176s | 19 | 607222 | 574082 | 5334 230 | 669 | 1323
179.06/179.13 c 178s | 19 | 613228 | 579682 | 5334 232 | 669 | 1323
181.06/181.13 c 180s | 19 | 618809 | 584982 | 5334 234 | 669 | 1323
183.06/183.15 c 182s | 19 | 625053 | 590882 | 5334 236 | 669 | 1323
185.06/185.17 c 184s | 19 | 631212 | 596582 | 5334 237 | 669 | 1323
187.07/187.18 c 186s | 19 | 636880 | 601882 | 5334 239 | 669 | 1323
189.06/189.19 c 188s | 19 | 642823 | 607582 | 5334 241 | 669 | 1323
191.16/191.21 c 190s | 19 | 649055 | 613582 | 5334 243 | 669 | 1323
193.16/193.24 c 192s | 19 | 655765 | 619982 | 5334 245 | 669 | 1323
195.16/195.26 c 194s | 19 | 662076 | 625982 | 5334 247 | 669 | 1323
197.16/197.27 c 196s | 19 | 668230 | 631882 | 5334 249 | 669 | 1323
199.16/199.28 c 198s | 19 | 675069 | 638382 | 5334 251 | 669 | 1323
201.15/201.29 c 200s | 19 | 681462 | 644382 | 5334 253 | 669 | 1323
203.25/203.31 c 202s | 19 | 687145 | 649782 | 5334 255 | 669 | 1323
205.25/205.31 c 204s | 19 | 692968 | 655282 | 5334 257 | 669 | 1323
207.25/207.32 c 206s | 19 | 699226 | 661282 | 5868 259 | 669 | 1323
209.06/209.14 c 208s | 20 | 704958 | 666827 | 5868 260 | 669 | 1323
211.06/211.15 c 210s | 20 | 710602 | 672227 | 5868 262 | 669 | 1323
213.06/213.18 c 212s | 20 | 716080 | 677527 | 5868 264 | 669 | 1323
215.16/215.21 c 214s | 20 | 721398 | 682327 | 5868 265 | 669 | 1323
217.16/217.27 c 216s | 20 | 726715 | 687427 | 5868 267 | 669 | 1323
219.16/219.28 c 218s | 20 | 732007 | 692527 | 5868 268 | 669 | 1323
221.26/221.30 c 220s | 20 | 737730 | 698027 | 5868 270 | 669 | 1323
223.26/223.33 c 222s | 20 | 743367 | 703427 | 5868 271 | 669 | 1323
225.26/225.34 c 224s | 20 | 749003 | 708727 | 5868 273 | 669 | 1323
227.25/227.35 c 226s | 20 | 754709 | 714127 | 5868 275 | 669 | 1323
229.25/229.37 c 228s | 20 | 761181 | 720227 | 5868 276 | 669 | 1323
231.25/231.38 c 230s | 20 | 767305 | 726027 | 5868 278 | 669 | 1323
233.26/233.39 c 232s | 20 | 773273 | 731727 | 5868 280 | 669 | 1323
235.36/235.41 c 234s | 20 | 778917 | 737127 | 5868 282 | 669 | 1323
237.35/237.42 c 236s | 20 | 785200 | 743127 | 5868 283 | 669 | 1323
239.35/239.43 c 238s | 20 | 790616 | 748327 | 5868 285 | 669 | 1323
241.35/241.45 c 240s | 20 | 796147 | 753627 | 5868 287 | 669 | 1323
243.35/243.48 c 242s | 20 | 802903 | 760027 | 5868 289 | 669 | 1323
245.36/245.49 c 244s | 20 | 809687 | 766427 | 5868 290 | 669 | 1323
247.35/247.50 c 246s | 20 | 815663 | 772027 | 5868 292 | 669 | 1323
249.45/249.53 c 248s | 20 | 821097 | 777127 | 5868 294 | 669 | 1323
251.45/251.55 c 250s | 20 | 826742 | 782527 | 5868 295 | 669 | 1323
253.45/253.57 c 253s | 20 | 832887 | 788327 | 5868 297 | 669 | 1323
255.45/255.57 c 255s | 20 | 838369 | 793527 | 5868 299 | 669 | 1323
257.45/257.58 c 257s | 20 | 843674 | 798527 | 5868 300 | 669 | 1323
259.44/259.59 c 259s | 20 | 849289 | 803827 | 5868 302 | 669 | 1323
261.54/261.61 c 261s | 20 | 854706 | 809027 | 5868 303 | 669 | 1323
263.54/263.64 c 263s | 20 | 860246 | 814327 | 5868 305 | 669 | 1323
265.54/265.67 c 265s | 20 | 866021 | 819827 | 5868 307 | 669 | 1323
267.64/267.70 c 267s | 20 | 872382 | 825827 | 5868 308 | 669 | 1323
269.64/269.73 c 269s | 20 | 878794 | 831827 | 5868 310 | 669 | 1323
271.65/271.75 c 271s | 20 | 884970 | 837727 | 5868 312 | 669 | 1323
273.65/273.78 c 273s | 20 | 891002 | 843427 | 5868 314 | 669 | 1323
275.75/275.82 c 275s | 20 | 896657 | 848727 | 5868 315 | 669 | 1323
277.75/277.83 c 277s | 20 | 902204 | 853927 | 5868 317 | 669 | 1323
279.75/279.85 c 279s | 20 | 907552 | 858927 | 5868 318 | 669 | 1323
281.75/281.88 c 281s | 20 | 913430 | 864427 | 5868 320 | 669 | 1323
283.85/283.91 c 283s | 20 | 920029 | 870627 | 5868 322 | 669 | 1323
285.84/285.93 c 285s | 20 | 925241 | 875527 | 5868 324 | 669 | 1323
287.84/287.96 c 287s | 20 | 931527 | 881427 | 5868 325 | 669 | 1323
289.84/289.98 c 289s | 20 | 936588 | 886127 | 5868 327 | 669 | 1323
291.94/292.01 c 291s | 20 | 941783 | 891027 | 5868 328 | 669 | 1323
293.94/294.02 c 293s | 20 | 946838 | 895827 | 5868 330 | 669 | 1323
295.95/296.03 c 295s | 20 | 952892 | 901527 | 5868 331 | 669 | 1323
297.94/298.06 c 297s | 20 | 959198 | 907527 | 5868 333 | 669 | 1323
299.94/300.08 c 299s | 20 | 965283 | 913327 | 5868 335 | 669 | 1323
302.04/302.10 c 301s | 20 | 971299 | 919027 | 5868 337 | 669 | 1323
304.03/304.12 c 303s | 20 | 976868 | 924327 | 5868 338 | 669 | 1323
306.03/306.13 c 305s | 20 | 982395 | 929527 | 5868 340 | 669 | 1323
308.13/308.21 c 307s | 20 | 988113 | 935027 | 5868 342 | 669 | 1323
310.14/310.24 c 309s | 20 | 994658 | 941227 | 5868 343 | 669 | 1323
312.13/312.26 c 311s | 20 | 1000278 | 946627 | 5868 345 | 669 | 1323
314.13/314.26 c 313s | 20 | 1006646 | 952627 | 5868 347 | 669 | 1323
316.13/316.28 c 315s | 20 | 1012271 | 957927 | 5868 348 | 669 | 1323
318.23/318.31 c 317s | 20 | 1017802 | 963227 | 5868 350 | 669 | 1323
320.33/320.44 c 319s | 20 | 1024084 | 969227 | 5868 352 | 669 | 1323
322.33/322.49 c 321s | 20 | 1029961 | 974927 | 5868 354 | 669 | 1323
324.44/324.52 c 323s | 20 | 1036037 | 980727 | 5868 355 | 669 | 1323
326.43/326.53 c 325s | 20 | 1041777 | 986127 | 5868 357 | 669 | 1323
328.43/328.54 c 327s | 20 | 1047085 | 991127 | 5868 359 | 669 | 1323
330.43/330.54 c 329s | 20 | 1052114 | 995927 | 6455 360 | 669 | 1323
331.93/332.05 c 331s | 21 | 1056643 | 1000345 | 6455 361 | 669 | 1323
333.92/334.05 c 333s | 21 | 1062395 | 1005845 | 6455 363 | 669 | 1323
335.92/336.07 c 335s | 21 | 1069177 | 1012345 | 6455 364 | 669 | 1323
337.92/338.08 c 337s | 21 | 1074442 | 1017345 | 6455 366 | 669 | 1323
339.93/340.09 c 339s | 21 | 1080112 | 1022645 | 6455 367 | 669 | 1323
341.92/342.09 c 341s | 21 | 1086186 | 1028345 | 6455 369 | 669 | 1323
344.02/344.18 c 343s | 21 | 1091072 | 1032945 | 6455 370 | 669 | 1323
346.12/346.20 c 345s | 21 | 1096663 | 1038245 | 6455 372 | 669 | 1323
348.12/348.22 c 347s | 21 | 1101577 | 1042945 | 6455 373 | 669 | 1323
350.12/350.22 c 349s | 21 | 1107882 | 1048745 | 6455 374 | 669 | 1323
352.12/352.23 c 351s | 21 | 1113340 | 1053945 | 6455 376 | 669 | 1323
354.12/354.25 c 353s | 21 | 1119198 | 1059445 | 6455 377 | 669 | 1323
356.12/356.27 c 355s | 21 | 1125299 | 1065045 | 6455 379 | 669 | 1323
358.12/358.28 c 357s | 21 | 1130745 | 1070145 | 6455 380 | 669 | 1323
360.21/360.30 c 359s | 21 | 1135160 | 1074345 | 6455 382 | 669 | 1323
362.21/362.32 c 361s | 21 | 1140856 | 1079845 | 6455 383 | 669 | 1323
364.21/364.35 c 363s | 21 | 1146276 | 1084945 | 6455 385 | 669 | 1323
366.21/366.36 c 365s | 21 | 1151049 | 1089545 | 6455 386 | 669 | 1323
368.21/368.36 c 367s | 21 | 1156705 | 1095045 | 6455 387 | 669 | 1323
370.31/370.42 c 369s | 21 | 1162352 | 1100445 | 6455 389 | 669 | 1323
372.31/372.45 c 371s | 21 | 1167340 | 1105245 | 6455 390 | 669 | 1323
374.41/374.55 c 373s | 21 | 1172530 | 1110145 | 6455 392 | 669 | 1323
376.40/376.58 c 376s | 21 | 1177290 | 1114745 | 6455 393 | 669 | 1323
378.41/378.58 c 378s | 21 | 1182851 | 1120145 | 6455 394 | 669 | 1323
380.41/380.58 c 380s | 21 | 1187776 | 1124945 | 6455 396 | 669 | 1323
382.51/382.61 c 382s | 21 | 1193317 | 1130245 | 6455 397 | 669 | 1323
384.51/384.64 c 384s | 21 | 1199312 | 1136045 | 6455 399 | 669 | 1323
386.61/386.72 c 386s | 21 | 1204880 | 1141245 | 6455 400 | 669 | 1323
388.61/388.76 c 388s | 21 | 1209433 | 1145545 | 6455 401 | 669 | 1323
390.61/390.79 c 390s | 21 | 1215375 | 1151245 | 6455 403 | 669 | 1323
392.61/392.79 c 392s | 21 | 1220636 | 1156245 | 6455 404 | 669 | 1323
394.70/394.80 c 394s | 21 | 1226017 | 1161445 | 6455 406 | 669 | 1323
396.70/396.80 c 396s | 21 | 1230915 | 1166045 | 6455 407 | 669 | 1323
398.70/398.81 c 398s | 21 | 1236109 | 1170945 | 6455 408 | 669 | 1323
400.70/400.83 c 400s | 21 | 1241406 | 1175945 | 6455 410 | 669 | 1323
402.69/402.84 c 402s | 21 | 1247170 | 1181345 | 6455 411 | 669 | 1323
404.70/404.85 c 404s | 21 | 1251773 | 1185645 | 6455 413 | 669 | 1323
406.69/406.86 c 406s | 21 | 1257328 | 1190945 | 6455 414 | 669 | 1323
408.69/408.88 c 408s | 21 | 1262343 | 1195445 | 6455 415 | 669 | 1323
410.79/410.90 c 410s | 21 | 1267084 | 1199945 | 6455 417 | 669 | 1323
412.79/412.93 c 412s | 21 | 1272879 | 1205445 | 6455 418 | 669 | 1323
414.79/414.96 c 414s | 21 | 1278605 | 1210945 | 6455 420 | 669 | 1323
416.89/417.02 c 416s | 21 | 1284354 | 1216245 | 6455 421 | 669 | 1323
418.88/419.05 c 418s | 21 | 1289755 | 1221345 | 6455 422 | 669 | 1323
420.88/421.10 c 420s | 21 | 1294943 | 1226245 | 6455 424 | 669 | 1323
422.98/423.12 c 422s | 21 | 1300099 | 1231145 | 6455 425 | 669 | 1323
424.98/425.13 c 424s | 21 | 1304986 | 1235845 | 6455 426 | 669 | 1323
426.98/427.15 c 426s | 21 | 1310534 | 1241045 | 6455 428 | 669 | 1323
428.98/429.16 c 428s | 21 | 1315784 | 1245245 | 6455 429 | 669 | 1323
430.98/431.17 c 430s | 21 | 1321423 | 1249645 | 6455 430 | 669 | 1323
432.97/433.19 c 432s | 21 | 1326588 | 1253845 | 6455 431 | 669 | 1323
435.07/435.23 c 434s | 21 | 1331637 | 1258645 | 6455 433 | 669 | 1323
437.08/437.27 c 436s | 21 | 1336741 | 1263345 | 6455 434 | 669 | 1323
439.18/439.30 c 438s | 21 | 1341465 | 1267845 | 6455 435 | 669 | 1323
441.18/441.31 c 440s | 21 | 1346336 | 1271945 | 6455 437 | 669 | 1323
443.18/443.32 c 442s | 21 | 1352063 | 1277145 | 6455 438 | 669 | 1323
445.18/445.33 c 444s | 21 | 1356974 | 1281845 | 6455 439 | 669 | 1323
447.28/447.42 c 446s | 21 | 1361783 | 1286345 | 6455 441 | 669 | 1323
449.27/449.45 c 448s | 21 | 1366559 | 1290845 | 6455 442 | 669 | 1323
451.27/451.49 c 450s | 21 | 1371648 | 1295645 | 6455 443 | 669 | 1323
453.37/453.52 c 452s | 21 | 1376617 | 1300445 | 6455 444 | 669 | 1323
455.37/455.55 c 454s | 21 | 1381761 | 1305345 | 6455 446 | 669 | 1323
457.37/457.60 c 457s | 21 | 1386860 | 1310245 | 6455 447 | 669 | 1323
459.47/459.60 c 459s | 21 | 1392154 | 1315245 | 6455 449 | 669 | 1323
461.46/461.62 c 461s | 21 | 1396968 | 1319845 | 6455 450 | 669 | 1323
463.46/463.65 c 463s | 21 | 1402079 | 1324745 | 6455 451 | 669 | 1323
465.46/465.68 c 465s | 21 | 1407159 | 1329645 | 6455 453 | 669 | 1323
467.47/467.68 c 467s | 21 | 1412743 | 1335045 | 6455 454 | 669 | 1323
469.67/469.85 c 469s | 21 | 1418171 | 1340245 | 6455 456 | 669 | 1323
471.66/471.88 c 471s | 21 | 1423945 | 1345845 | 6455 457 | 669 | 1323
473.75/473.91 c 473s | 21 | 1429016 | 1350745 | 6455 458 | 669 | 1323
475.75/475.91 c 475s | 21 | 1433805 | 1355345 | 6455 460 | 669 | 1323
477.75/477.92 c 477s | 21 | 1439214 | 1360545 | 6455 461 | 669 | 1323
479.75/479.94 c 479s | 21 | 1444279 | 1365445 | 6455 463 | 669 | 1323
481.76/481.97 c 481s | 21 | 1449408 | 1370445 | 6455 464 | 669 | 1323
483.85/484.01 c 483s | 21 | 1454721 | 1375545 | 6455 465 | 669 | 1323
485.85/486.07 c 485s | 21 | 1459203 | 1379745 | 6455 467 | 669 | 1323
487.85/488.08 c 487s | 21 | 1464438 | 1384745 | 6455 468 | 669 | 1323
489.95/490.10 c 489s | 21 | 1469508 | 1389545 | 6455 469 | 669 | 1323
491.95/492.14 c 491s | 21 | 1474350 | 1394145 | 6455 471 | 669 | 1323
493.34/493.58 c 493s | 21 | 1477889 | 1397526 | 6455 471 | 669 | 1323
493.34/493.58 c #cpu_time = 492.956s
493.34/493.58 c #wall_clock_time = 493.017s
493.34/493.58 c #decision = 1477889
493.34/493.58 c #random_decision = 4757
493.34/493.58 c #conflict = 1397526
493.34/493.58 c #restart = 21
493.34/493.58 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 100: cost of the new core is >=55
493.34/493.58 c lower bound updated to -45
493.34/493.58 c BCD2: 55 <= obj <= 75
493.34/493.58 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0
493.34/493.58 c BCD2: #sat=2 #unsat=47 bias=47/49
493.34/493.58 c Solving starts ...
493.34/493.58 c ============================[ Search Statistics ]============================
493.34/493.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
493.34/493.58 c | | | | Limit GC | Var | Constra
493.34/493.58 c =============================================================================
493.34/493.58 c 0.0s | 0 | 0 | 0 | 6455 0 | 673 | 1323
493.64/493.86 c 0.3s | 1 | 153 | 100 | 6455 0 | 673 | 1329
493.64/493.89 c 0.3s | 2 | 357 | 250 | 6455 0 | 673 | 1329
493.75/493.93 c 0.4s | 3 | 646 | 475 | 6455 0 | 673 | 1329
493.75/494.00 c 0.4s | 4 | 1059 | 813 | 6455 0 | 673 | 1329
493.94/494.10 c 0.5s | 5 | 1629 | 1320 | 6455 0 | 673 | 1329
494.04/494.29 c 0.7s | 6 | 2468 | 2081 | 6455 0 | 673 | 1329
494.44/494.67 c 1.1s | 7 | 3687 | 3223 | 6455 0 | 673 | 1329
495.05/495.25 c 1.7s | 8 | 5522 | 4936 | 6455 0 | 673 | 1329
496.25/496.42 c 2.8s | 9 | 8192 | 7506 | 6455 1 | 673 | 1329
497.95/498.15 c 4.6s | 10 | 12183 | 11361 | 6455 2 | 673 | 1329
499.95/500.18 c 6.6s | 10 | 17021 | 16061 | 6455 3 | 673 | 1329
500.45/500.67 c 7.1s | 11 | 18108 | 17144 | 6455 3 | 673 | 1329
502.55/502.71 c 9.1s | 11 | 22829 | 21744 | 6455 5 | 673 | 1329
504.24/504.41 c 10.8s | 12 | 26954 | 25819 | 6455 6 | 673 | 1329
506.24/506.45 c 12.9s | 12 | 32115 | 30819 | 6455 7 | 673 | 1329
508.24/508.49 c 14.9s | 12 | 37083 | 35719 | 6455 8 | 673 | 1329
509.64/509.81 c 16.2s | 13 | 40231 | 38832 | 6455 9 | 673 | 1329
511.64/511.83 c 18.2s | 13 | 45042 | 43532 | 6455 11 | 673 | 1329
513.64/513.84 c 20.3s | 13 | 49917 | 48332 | 6455 12 | 673 | 1329
515.63/515.90 c 22.3s | 13 | 54412 | 52732 | 6455 13 | 673 | 1329
517.73/517.91 c 24.3s | 13 | 58840 | 57132 | 6455 14 | 673 | 1329
518.33/518.52 c 24.9s | 14 | 60084 | 58352 | 6455 15 | 673 | 1329
520.33/520.53 c 26.9s | 14 | 65527 | 63552 | 6455 16 | 673 | 1329
522.34/522.56 c 29.0s | 14 | 70147 | 68052 | 6455 17 | 673 | 1329
524.33/524.56 c 31.0s | 14 | 74877 | 72652 | 6455 19 | 673 | 1329
526.33/526.58 c 33.0s | 14 | 79745 | 77452 | 6455 20 | 673 | 1329
528.43/528.60 c 35.0s | 14 | 84211 | 81852 | 6455 21 | 673 | 1329
530.43/530.64 c 37.1s | 14 | 88902 | 86452 | 6455 23 | 673 | 1329
530.83/531.08 c 37.5s | 15 | 90120 | 87632 | 6455 23 | 673 | 1329
532.82/533.08 c 39.5s | 15 | 94770 | 92132 | 7101 24 | 673 | 1329
534.82/535.09 c 41.5s | 15 | 99422 | 96732 | 7101 25 | 673 | 1329
536.92/537.10 c 43.5s | 15 | 103976 | 101232 | 7101 26 | 673 | 1329
538.93/539.15 c 45.6s | 15 | 108358 | 105532 | 7101 27 | 673 | 1329
540.92/541.18 c 47.6s | 15 | 112615 | 109732 | 7101 28 | 673 | 1329
543.01/543.22 c 49.6s | 15 | 117181 | 114232 | 7101 30 | 673 | 1329
545.01/545.24 c 51.7s | 15 | 121925 | 118932 | 7101 31 | 673 | 1329
547.01/547.27 c 53.7s | 15 | 126740 | 123632 | 7101 32 | 673 | 1329
549.01/549.29 c 55.7s | 15 | 131426 | 128232 | 7101 33 | 673 | 1329
550.61/550.85 c 57.3s | 16 | 134797 | 131552 | 7101 34 | 673 | 1329
552.60/552.88 c 59.3s | 16 | 139394 | 136052 | 7101 35 | 673 | 1329
554.70/554.90 c 61.3s | 16 | 143966 | 140552 | 7101 36 | 673 | 1329
556.70/556.93 c 63.4s | 16 | 148550 | 145052 | 7101 37 | 673 | 1329
558.71/558.96 c 65.4s | 16 | 153165 | 149552 | 7101 39 | 673 | 1329
560.70/560.99 c 67.4s | 16 | 157947 | 154252 | 7101 40 | 673 | 1329
562.71/562.99 c 69.4s | 16 | 162408 | 158652 | 7101 41 | 673 | 1329
564.81/565.00 c 71.4s | 16 | 166851 | 163052 | 7101 42 | 673 | 1329
566.81/567.04 c 73.5s | 16 | 171437 | 167552 | 7101 43 | 673 | 1329
568.81/569.05 c 75.5s | 16 | 175884 | 171952 | 7101 44 | 673 | 1329
570.82/571.05 c 77.5s | 16 | 179841 | 175852 | 7101 45 | 673 | 1329
572.80/573.08 c 79.5s | 16 | 184016 | 179952 | 7101 46 | 673 | 1329
574.80/575.09 c 81.5s | 16 | 188681 | 184552 | 7101 48 | 673 | 1329
576.90/577.12 c 83.5s | 16 | 193045 | 188852 | 7101 49 | 673 | 1329
578.90/579.14 c 85.6s | 16 | 197606 | 193352 | 7101 50 | 673 | 1329
580.61/580.90 c 87.3s | 17 | 201776 | 197432 | 7101 51 | 673 | 1329
582.70/582.92 c 89.3s | 17 | 206226 | 201732 | 7101 52 | 673 | 1329
584.70/584.93 c 91.3s | 17 | 210490 | 205932 | 7101 53 | 673 | 1329
586.70/586.97 c 93.4s | 17 | 215068 | 210432 | 7101 54 | 673 | 1329
588.70/588.97 c 95.4s | 17 | 219302 | 214632 | 7101 55 | 673 | 1329
590.70/590.97 c 97.4s | 17 | 223756 | 219032 | 7101 56 | 673 | 1329
592.70/592.99 c 99.4s | 17 | 227893 | 223132 | 7101 57 | 673 | 1329
594.79/595.02 c 101s | 17 | 232571 | 227732 | 7101 59 | 673 | 1329
596.79/597.07 c 103s | 17 | 236630 | 231732 | 7101 60 | 673 | 1329
598.89/599.12 c 105s | 17 | 241193 | 236232 | 7101 61 | 673 | 1329
600.89/601.12 c 107s | 17 | 245564 | 240532 | 7101 62 | 673 | 1329
602.89/603.16 c 109s | 17 | 249856 | 244732 | 7101 63 | 673 | 1329
604.90/605.19 c 111s | 17 | 254127 | 248932 | 7101 64 | 673 | 1329
607.00/607.22 c 113s | 17 | 258471 | 253232 | 7101 65 | 673 | 1329
608.99/609.23 c 115s | 17 | 262753 | 257432 | 7101 66 | 673 | 1329
610.99/611.25 c 117s | 17 | 267003 | 261632 | 7101 67 | 673 | 1329
612.98/613.28 c 119s | 17 | 271258 | 265832 | 7101 68 | 673 | 1329
615.08/615.33 c 121s | 17 | 275413 | 269932 | 7101 69 | 673 | 1329
617.08/617.37 c 123s | 17 | 279577 | 274032 | 7101 70 | 673 | 1329
619.19/619.43 c 125s | 17 | 283720 | 278132 | 7101 71 | 673 | 1329
621.18/621.44 c 127s | 17 | 287759 | 282132 | 7101 72 | 673 | 1329
623.18/623.45 c 129s | 17 | 291803 | 286132 | 7101 73 | 673 | 1329
625.17/625.46 c 131s | 17 | 296166 | 290432 | 7101 74 | 673 | 1329
627.27/627.53 c 133s | 17 | 300110 | 294332 | 7101 75 | 673 | 1329
628.07/628.37 c 134s | 18 | 302054 | 296252 | 7101 76 | 673 | 1329
630.08/630.39 c 136s | 18 | 306266 | 300352 | 7101 77 | 673 | 1329
632.17/632.40 c 138s | 18 | 310424 | 304452 | 7101 78 | 673 | 1329
634.17/634.40 c 140s | 18 | 314775 | 308752 | 7101 79 | 673 | 1329
636.17/636.41 c 142s | 18 | 318953 | 312852 | 7101 80 | 673 | 1329
638.17/638.45 c 144s | 18 | 323224 | 317052 | 7101 81 | 673 | 1329
640.27/640.50 c 146s | 18 | 327521 | 321252 | 7101 82 | 673 | 1329
642.27/642.54 c 148s | 18 | 332009 | 325652 | 7101 83 | 673 | 1329
644.37/644.61 c 151s | 18 | 336161 | 329752 | 7101 85 | 673 | 1329
646.36/646.64 c 153s | 18 | 340726 | 334252 | 7101 86 | 673 | 1329
648.36/648.65 c 155s | 18 | 345210 | 338652 | 7101 87 | 673 | 1329
650.36/650.68 c 157s | 18 | 349482 | 342852 | 7101 88 | 673 | 1329
652.46/652.74 c 159s | 18 | 354204 | 347452 | 7101 89 | 673 | 1329
654.46/654.75 c 161s | 18 | 358607 | 351752 | 7101 90 | 673 | 1329
656.46/656.78 c 163s | 18 | 362760 | 355852 | 7101 91 | 673 | 1329
658.55/658.80 c 165s | 18 | 367239 | 360252 | 7101 92 | 673 | 1329
660.55/660.80 c 167s | 18 | 371830 | 364752 | 7101 93 | 673 | 1329
662.55/662.85 c 169s | 18 | 376132 | 368952 | 7101 94 | 673 | 1329
664.55/664.86 c 171s | 18 | 380313 | 373052 | 7101 96 | 673 | 1329
666.55/666.88 c 173s | 18 | 384479 | 377152 | 7101 97 | 673 | 1329
668.66/668.91 c 175s | 18 | 388977 | 381552 | 7101 98 | 673 | 1329
670.66/670.94 c 177s | 18 | 393152 | 385652 | 7101 99 | 673 | 1329
672.65/672.96 c 179s | 18 | 397122 | 389552 | 7101 100 | 673 | 1329
674.65/674.98 c 181s | 18 | 401483 | 393852 | 7101 101 | 673 | 1329
676.65/676.98 c 183s | 18 | 405759 | 398052 | 7101 102 | 673 | 1329
678.65/678.99 c 185s | 18 | 410630 | 402752 | 7101 103 | 673 | 1329
680.76/681.04 c 187s | 18 | 415219 | 407252 | 7101 104 | 673 | 1329
682.75/683.09 c 189s | 18 | 419500 | 411452 | 7101 105 | 673 | 1329
684.85/685.14 c 191s | 18 | 423907 | 415752 | 7101 106 | 673 | 1329
686.95/687.20 c 193s | 18 | 428314 | 420052 | 7101 108 | 673 | 1329
688.95/689.22 c 195s | 18 | 433053 | 424652 | 7101 109 | 673 | 1329
690.95/691.25 c 197s | 18 | 437582 | 429052 | 7101 110 | 673 | 1329
692.94/693.26 c 199s | 18 | 441871 | 433252 | 7101 111 | 673 | 1329
694.95/695.27 c 201s | 18 | 446270 | 437552 | 7101 112 | 673 | 1329
696.94/697.29 c 203s | 18 | 450439 | 441652 | 7101 113 | 673 | 1329
698.35/698.62 c 205s | 19 | 453351 | 444482 | 7101 114 | 673 | 1329
700.34/700.66 c 207s | 19 | 458108 | 449082 | 7101 115 | 673 | 1329
702.33/702.70 c 209s | 19 | 462691 | 453582 | 7101 116 | 673 | 1329
704.43/704.74 c 211s | 19 | 467504 | 458282 | 7101 117 | 673 | 1329
706.43/706.78 c 213s | 19 | 471981 | 462682 | 7101 118 | 673 | 1329
708.53/708.80 c 215s | 19 | 476344 | 466982 | 7101 119 | 673 | 1329
710.53/710.82 c 217s | 19 | 480866 | 471382 | 7101 121 | 673 | 1329
712.53/712.84 c 219s | 19 | 485475 | 475882 | 7101 122 | 673 | 1329
714.53/714.88 c 221s | 19 | 489883 | 480182 | 7101 123 | 673 | 1329
716.63/716.90 c 223s | 19 | 494739 | 484882 | 7101 124 | 673 | 1329
718.62/718.93 c 225s | 19 | 499178 | 489182 | 7101 125 | 673 | 1329
720.62/720.94 c 227s | 19 | 503475 | 493382 | 7101 126 | 673 | 1329
722.62/722.94 c 229s | 19 | 508080 | 497882 | 7101 127 | 673 | 1329
724.63/724.95 c 231s | 19 | 512483 | 502182 | 7101 128 | 673 | 1329
726.62/726.96 c 233s | 19 | 516805 | 506382 | 7101 130 | 673 | 1329
728.62/728.97 c 235s | 19 | 521375 | 510882 | 7101 131 | 673 | 1329
730.62/730.98 c 237s | 19 | 525883 | 515282 | 7101 132 | 673 | 1329
732.71/733.01 c 239s | 19 | 530296 | 519582 | 7101 133 | 673 | 1329
734.71/735.02 c 241s | 19 | 535229 | 524382 | 7101 134 | 673 | 1329
736.72/737.05 c 243s | 19 | 540031 | 529082 | 7101 135 | 673 | 1329
738.71/739.08 c 245s | 19 | 544539 | 533482 | 7101 136 | 673 | 1329
740.81/741.10 c 247s | 19 | 549441 | 538282 | 7101 138 | 673 | 1329
742.81/743.12 c 249s | 19 | 554385 | 543082 | 7101 139 | 673 | 1329
744.80/745.12 c 251s | 19 | 558661 | 547282 | 7101 140 | 673 | 1329
746.80/747.16 c 253s | 19 | 563043 | 551582 | 7101 141 | 673 | 1329
748.81/749.17 c 255s | 19 | 567567 | 555982 | 7101 142 | 673 | 1329
750.90/751.21 c 257s | 19 | 572164 | 560482 | 7101 143 | 673 | 1329
752.90/753.25 c 259s | 19 | 576607 | 564782 | 7101 144 | 673 | 1329
754.90/755.29 c 261s | 19 | 580777 | 568882 | 7101 145 | 673 | 1329
756.99/757.34 c 263s | 19 | 584935 | 572982 | 7101 147 | 673 | 1329
758.99/759.37 c 265s | 19 | 589282 | 577282 | 7101 148 | 673 | 1329
761.00/761.39 c 267s | 19 | 593491 | 581382 | 7101 149 | 673 | 1329
763.10/763.41 c 269s | 19 | 597817 | 585582 | 7101 150 | 673 | 1329
765.09/765.41 c 271s | 19 | 602541 | 590182 | 7101 151 | 673 | 1329
767.10/767.42 c 273s | 19 | 607165 | 594682 | 7101 152 | 673 | 1329
769.10/769.43 c 275s | 19 | 611677 | 599082 | 7101 153 | 673 | 1329
771.10/771.43 c 277s | 19 | 615857 | 603182 | 7101 154 | 673 | 1329
773.10/773.44 c 279s | 19 | 620143 | 607382 | 7101 155 | 673 | 1329
775.09/775.46 c 281s | 19 | 624418 | 611582 | 7101 156 | 673 | 1329
777.09/777.46 c 283s | 19 | 628570 | 615682 | 7101 157 | 673 | 1329
779.09/779.46 c 285s | 19 | 632820 | 619882 | 7101 158 | 673 | 1329
781.19/781.52 c 287s | 19 | 637090 | 624082 | 7101 160 | 673 | 1329
783.18/783.55 c 289s | 19 | 641484 | 628382 | 7101 161 | 673 | 1329
785.19/785.59 c 292s | 19 | 645774 | 632582 | 7101 162 | 673 | 1329
787.18/787.59 c 294s | 19 | 649823 | 636582 | 7101 163 | 673 | 1329
789.28/789.60 c 296s | 19 | 653905 | 640582 | 7101 164 | 673 | 1329
791.28/791.64 c 298s | 19 | 658100 | 644682 | 7101 165 | 673 | 1329
793.27/793.68 c 300s | 19 | 662163 | 648682 | 7101 166 | 673 | 1329
795.27/795.69 c 302s | 19 | 666126 | 652582 | 7101 167 | 673 | 1329
797.37/797.72 c 304s | 19 | 670198 | 656582 | 7101 168 | 673 | 1329
799.38/799.73 c 306s | 19 | 674370 | 660682 | 7101 169 | 673 | 1329
801.37/801.75 c 308s | 19 | 678536 | 664782 | 7101 170 | 673 | 1329
802.27/802.68 c 309s | 20 | 680650 | 666827 | 7101 170 | 673 | 1329
804.37/804.72 c 311s | 20 | 684645 | 670727 | 7101 171 | 673 | 1329
806.37/806.78 c 313s | 20 | 689036 | 675027 | 7101 173 | 673 | 1329
808.47/808.80 c 315s | 20 | 693339 | 679227 | 7101 174 | 673 | 1329
810.47/810.81 c 317s | 20 | 697402 | 683227 | 7101 175 | 673 | 1329
812.46/812.81 c 319s | 20 | 701868 | 687627 | 7101 176 | 673 | 1329
814.46/814.83 c 321s | 20 | 706644 | 692327 | 7101 177 | 673 | 1329
816.46/816.85 c 323s | 20 | 710599 | 696227 | 7101 178 | 673 | 1329
818.46/818.87 c 325s | 20 | 714645 | 700227 | 7101 179 | 673 | 1329
820.56/820.91 c 327s | 20 | 718906 | 704427 | 7101 180 | 673 | 1329
822.56/822.96 c 329s | 20 | 723191 | 708627 | 7101 181 | 673 | 1329
824.55/825.00 c 331s | 20 | 727453 | 712827 | 7101 182 | 673 | 1329
826.65/827.02 c 333s | 20 | 731614 | 716927 | 7101 183 | 673 | 1329
828.65/829.05 c 335s | 20 | 735960 | 721227 | 7101 184 | 673 | 1329
830.65/831.05 c 337s | 20 | 740268 | 725427 | 7101 185 | 673 | 1329
832.75/833.10 c 339s | 20 | 744474 | 729527 | 7101 186 | 673 | 1329
834.75/835.13 c 341s | 20 | 748687 | 733627 | 7101 187 | 673 | 1329
836.75/837.17 c 343s | 20 | 752966 | 737827 | 7101 189 | 673 | 1329
838.74/839.18 c 345s | 20 | 757233 | 742027 | 7101 190 | 673 | 1329
840.84/841.20 c 347s | 20 | 761325 | 746027 | 7101 191 | 673 | 1329
842.84/843.22 c 349s | 20 | 765904 | 750527 | 7101 192 | 673 | 1329
844.84/845.24 c 351s | 20 | 769881 | 754427 | 7101 193 | 673 | 1329
846.84/847.28 c 353s | 20 | 773871 | 758327 | 7101 194 | 673 | 1329
848.95/849.33 c 355s | 20 | 777944 | 762327 | 7101 195 | 673 | 1329
850.94/851.36 c 357s | 20 | 782622 | 766927 | 7101 196 | 673 | 1329
852.93/853.39 c 359s | 20 | 786778 | 771027 | 7101 197 | 673 | 1329
855.03/855.43 c 361s | 20 | 790906 | 775127 | 7101 198 | 673 | 1329
857.03/857.44 c 363s | 20 | 794965 | 779127 | 7101 199 | 673 | 1329
859.03/859.48 c 365s | 20 | 799114 | 783227 | 7101 200 | 673 | 1329
861.13/861.52 c 367s | 20 | 803476 | 787527 | 7101 201 | 673 | 1329
863.13/863.57 c 369s | 20 | 807711 | 791727 | 7101 202 | 673 | 1329
865.23/865.60 c 372s | 20 | 811854 | 795827 | 7101 203 | 673 | 1329
867.23/867.65 c 374s | 20 | 816097 | 800027 | 7101 204 | 673 | 1329
869.32/869.70 c 376s | 20 | 820144 | 804027 | 7101 205 | 673 | 1329
871.32/871.72 c 378s | 20 | 823969 | 807827 | 7101 206 | 673 | 1329
873.32/873.74 c 380s | 20 | 827818 | 811627 | 7101 207 | 673 | 1329
875.33/875.76 c 382s | 20 | 832561 | 816227 | 7101 208 | 673 | 1329
877.32/877.79 c 384s | 20 | 837104 | 820527 | 7101 210 | 673 | 1329
879.42/879.81 c 386s | 20 | 840939 | 824227 | 7101 211 | 673 | 1329
881.42/881.84 c 388s | 20 | 845242 | 828427 | 7101 212 | 673 | 1329
883.41/883.87 c 390s | 20 | 849706 | 832727 | 7101 213 | 673 | 1329
885.51/885.90 c 392s | 20 | 854363 | 837227 | 7812 214 | 673 | 1329
887.51/887.91 c 394s | 20 | 858682 | 841427 | 7812 215 | 673 | 1329
889.52/889.92 c 396s | 20 | 863100 | 845727 | 7812 216 | 673 | 1329
891.51/891.96 c 398s | 20 | 867189 | 849727 | 7812 217 | 673 | 1329
893.51/893.99 c 400s | 20 | 871252 | 853727 | 7812 217 | 673 | 1329
895.60/896.02 c 402s | 20 | 875512 | 857927 | 7812 218 | 673 | 1329
897.60/898.07 c 404s | 20 | 879897 | 862227 | 7812 219 | 673 | 1329
899.61/900.09 c 406s | 20 | 884320 | 866527 | 7812 220 | 673 | 1329
901.72/902.11 c 408s | 20 | 888670 | 870827 | 7812 221 | 673 | 1329
903.71/904.13 c 410s | 20 | 892864 | 874927 | 7812 222 | 673 | 1329
905.71/906.16 c 412s | 20 | 896922 | 878927 | 7812 223 | 673 | 1329
907.71/908.17 c 414s | 20 | 900981 | 882927 | 7812 224 | 673 | 1329
909.71/910.17 c 416s | 20 | 905006 | 886827 | 7812 225 | 673 | 1329
911.81/912.23 c 418s | 20 | 909138 | 890827 | 7812 226 | 673 | 1329
913.81/914.24 c 420s | 20 | 913278 | 894827 | 7812 227 | 673 | 1329
915.81/916.25 c 422s | 20 | 917470 | 898927 | 7812 228 | 673 | 1329
917.81/918.30 c 424s | 20 | 921634 | 902927 | 7812 229 | 673 | 1329
919.91/920.32 c 426s | 20 | 925684 | 906827 | 7812 230 | 673 | 1329
921.90/922.33 c 428s | 20 | 929582 | 910627 | 7812 231 | 673 | 1329
923.90/924.36 c 430s | 20 | 933472 | 914427 | 7812 232 | 673 | 1329
926.00/926.40 c 432s | 20 | 937357 | 918227 | 7812 233 | 673 | 1329
928.01/928.47 c 434s | 20 | 941451 | 922227 | 7812 234 | 673 | 1329
930.10/930.52 c 436s | 20 | 945636 | 926327 | 7812 234 | 673 | 1329
932.10/932.57 c 438s | 20 | 949545 | 930127 | 7812 235 | 673 | 1329
934.19/934.61 c 441s | 20 | 953527 | 934027 | 7812 236 | 673 | 1329
936.19/936.64 c 443s | 20 | 957516 | 937927 | 7812 237 | 673 | 1329
938.19/938.67 c 445s | 20 | 961089 | 941427 | 7812 238 | 673 | 1329
940.29/940.71 c 447s | 20 | 964957 | 945227 | 7812 239 | 673 | 1329
942.30/942.74 c 449s | 20 | 969257 | 949427 | 7812 240 | 673 | 1329
944.29/944.78 c 451s | 20 | 973292 | 953327 | 7812 241 | 673 | 1329
946.29/946.79 c 453s | 20 | 976961 | 956927 | 7812 242 | 673 | 1329
948.39/948.83 c 455s | 20 | 980764 | 960627 | 7812 242 | 673 | 1329
950.39/950.88 c 457s | 20 | 984683 | 964427 | 7812 243 | 673 | 1329
952.39/952.89 c 459s | 20 | 988444 | 968127 | 7812 244 | 673 | 1329
954.59/955.04 c 461s | 20 | 992443 | 972027 | 7812 245 | 673 | 1329
956.59/957.08 c 463s | 20 | 996759 | 976227 | 7812 246 | 673 | 1329
958.68/959.12 c 465s | 20 | 1000555 | 979927 | 7812 247 | 673 | 1329
960.68/961.13 c 467s | 20 | 1004426 | 983727 | 7812 248 | 673 | 1329
962.78/963.25 c 469s | 20 | 1007897 | 987127 | 7812 249 | 673 | 1329
964.78/965.25 c 471s | 20 | 1012229 | 991327 | 7812 250 | 673 | 1329
966.78/967.28 c 473s | 20 | 1015909 | 994927 | 7812 250 | 673 | 1329
968.79/969.29 c 475s | 20 | 1019703 | 998627 | 7812 251 | 673 | 1329
969.79/970.29 c 476s | 21 | 1021446 | 1000345 | 7812 252 | 673 | 1329
971.88/972.32 c 478s | 21 | 1025396 | 1004145 | 7812 253 | 673 | 1329
973.98/974.40 c 480s | 21 | 1029167 | 1007845 | 7812 254 | 673 | 1329
975.98/976.42 c 482s | 21 | 1033055 | 1011645 | 7812 254 | 673 | 1329
977.98/978.44 c 484s | 21 | 1036709 | 1015245 | 7812 255 | 673 | 1329
979.98/980.45 c 486s | 21 | 1040676 | 1019145 | 7812 256 | 673 | 1329
981.99/982.46 c 488s | 21 | 1044583 | 1022945 | 7812 257 | 673 | 1329
983.98/984.47 c 490s | 21 | 1048167 | 1026445 | 7812 258 | 673 | 1329
985.98/986.48 c 492s | 21 | 1052112 | 1030345 | 7812 259 | 673 | 1329
988.08/988.51 c 494s | 21 | 1055679 | 1033845 | 7812 260 | 673 | 1329
990.08/990.57 c 496s | 21 | 1059400 | 1037545 | 7812 260 | 673 | 1329
992.17/992.63 c 499s | 21 | 1063171 | 1041245 | 7812 261 | 673 | 1329
994.17/994.66 c 501s | 21 | 1066766 | 1044745 | 7812 262 | 673 | 1329
996.18/996.70 c 503s | 21 | 1070757 | 1048645 | 7812 263 | 673 | 1329
998.27/998.75 c 505s | 21 | 1074422 | 1052245 | 7812 264 | 673 | 1329
1000.28/1000.75 c 507s | 21 | 1077873 | 1055645 | 7812 265 | 673 | 1329
1002.28/1002.76 c 509s | 21 | 1081513 | 1059245 | 7812 266 | 673 | 1329
1004.38/1004.81 c 511s | 21 | 1085363 | 1063045 | 7812 266 | 673 | 1329
1006.38/1006.83 c 513s | 21 | 1089143 | 1066745 | 7812 267 | 673 | 1329
1008.39/1008.85 c 515s | 21 | 1092898 | 1070445 | 7812 268 | 673 | 1329
1010.38/1010.86 c 517s | 21 | 1096471 | 1073945 | 7812 269 | 673 | 1329
1012.38/1012.88 c 519s | 21 | 1100219 | 1077645 | 7812 270 | 673 | 1329
1014.38/1014.89 c 521s | 21 | 1103555 | 1080945 | 7812 271 | 673 | 1329
1016.48/1016.91 c 523s | 21 | 1107418 | 1084745 | 7812 271 | 673 | 1329
1018.48/1018.93 c 525s | 21 | 1111406 | 1088645 | 7812 272 | 673 | 1329
1020.49/1020.94 c 527s | 21 | 1115188 | 1092345 | 7812 273 | 673 | 1329
1022.48/1022.98 c 529s | 21 | 1119023 | 1096145 | 7812 274 | 673 | 1329
1024.58/1025.02 c 531s | 21 | 1122982 | 1100045 | 7812 275 | 673 | 1329
1026.68/1027.10 c 533s | 21 | 1127094 | 1104045 | 7812 276 | 673 | 1329
1028.68/1029.13 c 535s | 21 | 1131119 | 1107945 | 7812 277 | 673 | 1329
1030.67/1031.14 c 537s | 21 | 1134817 | 1111545 | 7812 278 | 673 | 1329
1032.67/1033.18 c 539s | 21 | 1138826 | 1115445 | 7812 279 | 673 | 1329
1034.78/1035.21 c 541s | 21 | 1142524 | 1119045 | 7812 279 | 673 | 1329
1036.77/1037.24 c 543s | 21 | 1146337 | 1122745 | 7812 280 | 673 | 1329
1038.77/1039.29 c 545s | 21 | 1150416 | 1126745 | 7812 281 | 673 | 1329
1040.87/1041.32 c 547s | 21 | 1154275 | 1130545 | 7812 282 | 673 | 1329
1042.97/1043.41 c 549s | 21 | 1158569 | 1134745 | 7812 283 | 673 | 1329
1044.97/1045.46 c 551s | 21 | 1162837 | 1138945 | 7812 284 | 673 | 1329
1046.97/1047.48 c 553s | 21 | 1166817 | 1142845 | 7812 285 | 673 | 1329
1049.08/1049.52 c 555s | 21 | 1170842 | 1146745 | 7812 286 | 673 | 1329
1051.07/1051.55 c 557s | 21 | 1174793 | 1150645 | 7812 287 | 673 | 1329
1053.07/1053.59 c 560s | 21 | 1178568 | 1154345 | 7812 288 | 673 | 1329
1055.07/1055.59 c 562s | 21 | 1182121 | 1157845 | 7812 289 | 673 | 1329
1057.17/1057.66 c 564s | 21 | 1186098 | 1161745 | 7812 289 | 673 | 1329
1059.17/1059.66 c 566s | 21 | 1190282 | 1165845 | 7812 290 | 673 | 1329
1061.17/1061.68 c 568s | 21 | 1194067 | 1169545 | 7812 291 | 673 | 1329
1063.27/1063.72 c 570s | 21 | 1197855 | 1173245 | 7812 292 | 673 | 1329
1065.27/1065.72 c 572s | 21 | 1201436 | 1176745 | 7812 293 | 673 | 1329
1067.27/1067.76 c 574s | 21 | 1205112 | 1180345 | 7812 294 | 673 | 1329
1069.27/1069.76 c 576s | 21 | 1208890 | 1184045 | 7812 295 | 673 | 1329
1071.26/1071.78 c 578s | 21 | 1212705 | 1187745 | 7812 296 | 673 | 1329
1073.36/1073.81 c 580s | 21 | 1216754 | 1191645 | 7812 296 | 673 | 1329
1075.37/1075.84 c 582s | 21 | 1220524 | 1195345 | 7812 297 | 673 | 1329
1077.46/1077.90 c 584s | 21 | 1224345 | 1199045 | 7812 298 | 673 | 1329
1079.46/1079.92 c 586s | 21 | 1228380 | 1202945 | 7812 299 | 673 | 1329
1081.46/1081.93 c 588s | 21 | 1232264 | 1206645 | 7812 300 | 673 | 1329
1083.46/1083.94 c 590s | 21 | 1236292 | 1210545 | 7812 301 | 673 | 1329
1085.46/1085.98 c 592s | 21 | 1240116 | 1214245 | 7812 302 | 673 | 1329
1087.57/1088.01 c 594s | 21 | 1244246 | 1218245 | 7812 303 | 673 | 1329
1089.67/1090.13 c 596s | 21 | 1247934 | 1221845 | 7812 304 | 673 | 1329
1091.76/1092.27 c 598s | 21 | 1251716 | 1225545 | 7812 304 | 673 | 1329
1093.86/1094.32 c 600s | 21 | 1255709 | 1229445 | 7812 305 | 673 | 1329
1095.86/1096.33 c 602s | 21 | 1259704 | 1233345 | 7812 306 | 673 | 1329
1097.86/1098.37 c 604s | 21 | 1263301 | 1236845 | 7812 307 | 673 | 1329
1099.86/1100.37 c 606s | 21 | 1266885 | 1240345 | 7812 308 | 673 | 1329
1101.86/1102.39 c 608s | 21 | 1270754 | 1244145 | 7812 309 | 673 | 1329
1103.86/1104.40 c 610s | 21 | 1274525 | 1247845 | 7812 310 | 673 | 1329
1105.96/1106.44 c 612s | 21 | 1278195 | 1251445 | 7812 310 | 673 | 1329
1107.96/1108.45 c 614s | 21 | 1282177 | 1255345 | 7812 311 | 673 | 1329
1110.06/1110.50 c 616s | 21 | 1286703 | 1259745 | 7812 312 | 673 | 1329
1112.06/1112.53 c 618s | 21 | 1290087 | 1263045 | 7812 313 | 673 | 1329
1114.06/1114.57 c 620s | 21 | 1294058 | 1266945 | 7812 314 | 673 | 1329
1116.06/1116.58 c 622s | 21 | 1297521 | 1270345 | 7812 315 | 673 | 1329
1118.06/1118.59 c 625s | 21 | 1301081 | 1273845 | 7812 316 | 673 | 1329
1120.16/1120.65 c 627s | 21 | 1304863 | 1277545 | 7812 317 | 673 | 1329
1122.26/1122.70 c 629s | 21 | 1308806 | 1281445 | 7812 317 | 673 | 1329
1124.26/1124.71 c 631s | 21 | 1312682 | 1285245 | 7812 318 | 673 | 1329
1126.26/1126.76 c 633s | 21 | 1316491 | 1288945 | 7812 319 | 673 | 1329
1128.27/1128.79 c 635s | 21 | 1320467 | 1292845 | 7812 320 | 673 | 1329
1130.37/1130.83 c 637s | 21 | 1324025 | 1296345 | 7812 321 | 673 | 1329
1132.36/1132.85 c 639s | 21 | 1328111 | 1300345 | 7812 322 | 673 | 1329
1134.36/1134.87 c 641s | 21 | 1331898 | 1304045 | 7812 323 | 673 | 1329
1136.36/1136.87 c 643s | 21 | 1336129 | 1308145 | 7812 324 | 673 | 1329
1138.36/1138.90 c 645s | 21 | 1340249 | 1312145 | 7812 325 | 673 | 1329
1140.46/1140.91 c 647s | 21 | 1344059 | 1315845 | 7812 325 | 673 | 1329
1142.47/1142.94 c 649s | 21 | 1348175 | 1319845 | 7812 326 | 673 | 1329
1144.46/1144.94 c 651s | 21 | 1352027 | 1323545 | 7812 327 | 673 | 1329
1146.46/1146.97 c 653s | 21 | 1355808 | 1327245 | 7812 328 | 673 | 1329
1148.46/1148.97 c 655s | 21 | 1359547 | 1330945 | 7812 329 | 673 | 1329
1150.46/1150.97 c 657s | 21 | 1362971 | 1334345 | 7812 330 | 673 | 1329
1152.46/1152.98 c 659s | 21 | 1366530 | 1337845 | 7812 331 | 673 | 1329
1154.45/1155.00 c 661s | 21 | 1370279 | 1341545 | 7812 331 | 673 | 1329
1156.55/1157.02 c 663s | 21 | 1373951 | 1345145 | 7812 332 | 673 | 1329
1158.55/1159.02 c 665s | 21 | 1377304 | 1348445 | 7812 333 | 673 | 1329
1160.55/1161.07 c 667s | 21 | 1380834 | 1351945 | 7812 334 | 673 | 1329
1162.65/1163.11 c 669s | 21 | 1384630 | 1355645 | 7812 335 | 673 | 1329
1164.65/1165.14 c 671s | 21 | 1388689 | 1359645 | 7812 336 | 673 | 1329
1166.66/1167.16 c 673s | 21 | 1392269 | 1363145 | 7812 337 | 673 | 1329
1168.75/1169.24 c 675s | 21 | 1396585 | 1367345 | 7812 338 | 673 | 1329
1170.85/1171.33 c 677s | 21 | 1400854 | 1371545 | 7812 339 | 673 | 1329
1172.85/1173.36 c 679s | 21 | 1404716 | 1375345 | 7812 339 | 673 | 1329
1174.85/1175.36 c 681s | 21 | 1408272 | 1378845 | 7812 340 | 673 | 1329
1176.95/1177.41 c 683s | 21 | 1412138 | 1382645 | 7812 341 | 673 | 1329
1178.95/1179.45 c 685s | 21 | 1415803 | 1386245 | 7812 342 | 673 | 1329
1180.96/1181.48 c 687s | 21 | 1419455 | 1389845 | 7812 343 | 673 | 1329
1183.05/1183.53 c 689s | 21 | 1423342 | 1393645 | 7812 344 | 673 | 1329
1185.05/1185.58 c 692s | 21 | 1426988 | 1397245 | 7812 345 | 673 | 1329
1187.15/1187.60 c 694s | 21 | 1430610 | 1400845 | 7812 345 | 673 | 1329
1189.15/1189.64 c 696s | 21 | 1434556 | 1404745 | 7812 346 | 673 | 1329
1191.15/1191.65 c 698s | 21 | 1438138 | 1408245 | 7812 347 | 673 | 1329
1193.15/1193.69 c 700s | 21 | 1441904 | 1411945 | 7812 348 | 673 | 1329
1195.25/1195.72 c 702s | 21 | 1445367 | 1415345 | 7812 349 | 673 | 1329
1197.25/1197.75 c 704s | 21 | 1448703 | 1418645 | 7812 350 | 673 | 1329
1199.24/1199.75 c 706s | 21 | 1452346 | 1422245 | 7812 350 | 673 | 1329
1201.24/1201.79 c 708s | 21 | 1456017 | 1425845 | 7812 351 | 673 | 1329
1203.34/1203.83 c 710s | 21 | 1459876 | 1429645 | 7812 352 | 673 | 1329
1205.34/1205.86 c 712s | 21 | 1463733 | 1433445 | 7812 353 | 673 | 1329
1207.35/1207.88 c 714s | 21 | 1467416 | 1437045 | 7812 354 | 673 | 1329
1209.44/1209.92 c 716s | 21 | 1470971 | 1440545 | 7812 355 | 673 | 1329
1211.54/1212.05 c 718s | 21 | 1474844 | 1444345 | 7812 356 | 673 | 1329
1213.64/1214.10 c 720s | 21 | 1478802 | 1448245 | 7812 356 | 673 | 1329
1215.64/1216.15 c 722s | 21 | 1482620 | 1451945 | 7812 357 | 673 | 1329
1217.64/1218.16 c 724s | 21 | 1486282 | 1455545 | 7812 358 | 673 | 1329
1219.64/1220.17 c 726s | 21 | 1489940 | 1459145 | 7812 359 | 673 | 1329
1221.75/1222.21 c 728s | 21 | 1492999 | 1462145 | 7812 360 | 673 | 1329
1223.74/1224.22 c 730s | 21 | 1496448 | 1465545 | 7812 360 | 673 | 1329
1225.74/1226.28 c 732s | 21 | 1500537 | 1469545 | 7812 361 | 673 | 1329
1227.84/1228.31 c 734s | 21 | 1504181 | 1473145 | 7812 362 | 673 | 1329
1229.84/1230.32 c 736s | 21 | 1507826 | 1476745 | 7812 363 | 673 | 1329
1231.84/1232.35 c 738s | 21 | 1511605 | 1480445 | 7812 364 | 673 | 1329
1233.84/1234.38 c 740s | 21 | 1515339 | 1484145 | 7812 365 | 673 | 1329
1235.85/1236.39 c 742s | 21 | 1518474 | 1487245 | 7812 366 | 673 | 1329
1237.95/1238.45 c 744s | 21 | 1522447 | 1491145 | 7812 366 | 673 | 1329
1240.04/1240.51 c 746s | 21 | 1526207 | 1494845 | 7812 367 | 673 | 1329
1242.04/1242.52 c 748s | 21 | 1529466 | 1498045 | 7812 368 | 673 | 1329
1243.44/1244.00 c 750s | 22 | 1532119 | 1500622 | 7812 369 | 673 | 1329
1245.54/1246.04 c 752s | 22 | 1535863 | 1504222 | 7812 370 | 673 | 1329
1247.54/1248.09 c 754s | 22 | 1539855 | 1508122 | 7812 370 | 673 | 1329
1249.54/1250.09 c 756s | 22 | 1543965 | 1512122 | 7812 371 | 673 | 1329
1251.64/1252.11 c 758s | 22 | 1547732 | 1515822 | 7812 372 | 673 | 1329
1253.65/1254.12 c 760s | 22 | 1551220 | 1519222 | 7812 373 | 673 | 1329
1255.64/1256.15 c 762s | 22 | 1555060 | 1523022 | 7812 374 | 673 | 1329
1257.64/1258.18 c 764s | 22 | 1559040 | 1526922 | 7812 375 | 673 | 1329
1259.74/1260.22 c 766s | 22 | 1563233 | 1531022 | 7812 376 | 673 | 1329
1261.74/1262.24 c 768s | 22 | 1566803 | 1534522 | 7812 377 | 673 | 1329
1263.84/1264.36 c 770s | 22 | 1570826 | 1538422 | 7812 378 | 673 | 1329
1265.94/1266.41 c 772s | 22 | 1574579 | 1542122 | 7812 378 | 673 | 1329
1267.95/1268.47 c 774s | 22 | 1578357 | 1545822 | 7812 379 | 673 | 1329
1269.94/1270.47 c 776s | 22 | 1582122 | 1549522 | 7812 380 | 673 | 1329
1272.04/1272.50 c 778s | 22 | 1585810 | 1553122 | 7812 381 | 673 | 1329
1274.04/1274.54 c 780s | 22 | 1589457 | 1556722 | 7812 382 | 673 | 1329
1276.14/1276.60 c 783s | 22 | 1594220 | 1561322 | 7812 383 | 673 | 1329
1278.14/1278.63 c 785s | 22 | 1598525 | 1565522 | 7812 384 | 673 | 1329
1280.14/1280.66 c 787s | 22 | 1601890 | 1568822 | 7812 385 | 673 | 1329
1282.14/1282.69 c 789s | 22 | 1605656 | 1572522 | 7812 385 | 673 | 1329
1284.23/1284.72 c 791s | 22 | 1609239 | 1576022 | 7812 386 | 673 | 1329
1286.23/1286.77 c 793s | 22 | 1612217 | 1578922 | 7812 387 | 673 | 1329
1288.33/1288.83 c 795s | 22 | 1615778 | 1582422 | 7812 388 | 673 | 1329
1290.33/1290.85 c 797s | 22 | 1619358 | 1585922 | 7812 389 | 673 | 1329
1292.33/1292.87 c 799s | 22 | 1623149 | 1589622 | 7812 389 | 673 | 1329
1294.43/1294.91 c 801s | 22 | 1626931 | 1593322 | 7812 390 | 673 | 1329
1296.44/1296.92 c 803s | 22 | 1631012 | 1597322 | 7812 391 | 673 | 1329
1298.43/1298.93 c 805s | 22 | 1634702 | 1600922 | 7812 392 | 673 | 1329
1300.53/1301.06 c 807s | 22 | 1638276 | 1604422 | 7812 393 | 673 | 1329
1302.53/1303.09 c 809s | 22 | 1641956 | 1608022 | 7812 394 | 673 | 1329
1304.63/1305.12 c 811s | 22 | 1645200 | 1611222 | 7812 395 | 673 | 1329
1306.63/1307.13 c 813s | 22 | 1649250 | 1615122 | 7812 395 | 673 | 1329
1308.64/1309.15 c 815s | 22 | 1652720 | 1618522 | 7812 396 | 673 | 1329
1310.63/1311.15 c 817s | 22 | 1656393 | 1622122 | 7812 397 | 673 | 1329
1312.63/1313.17 c 819s | 22 | 1659768 | 1625422 | 7812 398 | 673 | 1329
1314.73/1315.21 c 821s | 22 | 1663344 | 1628922 | 7812 399 | 673 | 1329
1316.73/1317.29 c 823s | 22 | 1667093 | 1632622 | 7812 400 | 673 | 1329
1318.83/1319.35 c 825s | 22 | 1671089 | 1636522 | 7812 400 | 673 | 1329
1320.83/1321.36 c 827s | 22 | 1674984 | 1640322 | 7812 401 | 673 | 1329
1322.83/1323.38 c 829s | 22 | 1678945 | 1644222 | 7812 402 | 673 | 1329
1324.93/1325.41 c 831s | 22 | 1682719 | 1647922 | 7812 403 | 673 | 1329
1326.93/1327.46 c 833s | 22 | 1686421 | 1651522 | 7812 404 | 673 | 1329
1328.93/1329.46 c 835s | 22 | 1690005 | 1655022 | 7812 405 | 673 | 1329
1330.92/1331.49 c 837s | 22 | 1693552 | 1658522 | 7812 406 | 673 | 1329
1333.02/1333.56 c 839s | 22 | 1697636 | 1662522 | 7812 407 | 673 | 1329
1335.12/1335.60 c 842s | 22 | 1701732 | 1666522 | 7812 407 | 673 | 1329
1337.13/1337.61 c 844s | 22 | 1705619 | 1670322 | 7812 408 | 673 | 1329
1339.12/1339.66 c 846s | 22 | 1709295 | 1673922 | 7812 409 | 673 | 1329
1341.22/1341.70 c 848s | 22 | 1713189 | 1677722 | 7812 410 | 673 | 1329
1343.22/1343.70 c 850s | 22 | 1716893 | 1681322 | 7812 411 | 673 | 1329
1345.22/1345.74 c 852s | 22 | 1720671 | 1684922 | 7812 412 | 673 | 1329
1347.22/1347.76 c 854s | 22 | 1724146 | 1688322 | 7812 413 | 673 | 1329
1349.23/1349.78 c 856s | 22 | 1728130 | 1692222 | 7812 413 | 673 | 1329
1351.22/1351.79 c 858s | 22 | 1731879 | 1695922 | 7812 414 | 673 | 1329
1353.32/1353.82 c 860s | 22 | 1735444 | 1699422 | 7812 415 | 673 | 1329
1355.32/1355.86 c 862s | 22 | 1739325 | 1703222 | 7812 416 | 673 | 1329
1357.32/1357.87 c 864s | 22 | 1743309 | 1707122 | 7812 417 | 673 | 1329
1359.32/1359.88 c 866s | 22 | 1746807 | 1710522 | 7812 418 | 673 | 1329
1361.33/1361.89 c 868s | 22 | 1750906 | 1714522 | 7812 419 | 673 | 1329
1363.42/1363.95 c 870s | 22 | 1754555 | 1718122 | 7812 420 | 673 | 1329
1365.42/1365.97 c 872s | 22 | 1758538 | 1722022 | 7812 420 | 673 | 1329
1367.52/1368.00 c 874s | 22 | 1762503 | 1725922 | 7812 421 | 673 | 1329
1369.52/1370.06 c 876s | 22 | 1766399 | 1729722 | 7812 422 | 673 | 1329
1371.52/1372.09 c 878s | 22 | 1770282 | 1733522 | 7812 423 | 673 | 1329
1373.62/1374.10 c 880s | 22 | 1773973 | 1737122 | 7812 424 | 673 | 1329
1375.62/1376.14 c 882s | 22 | 1777733 | 1740822 | 7812 425 | 673 | 1329
1377.62/1378.15 c 884s | 22 | 1781301 | 1744322 | 7812 426 | 673 | 1329
1379.72/1380.21 c 886s | 22 | 1785193 | 1748122 | 7812 427 | 673 | 1329
1381.72/1382.25 c 888s | 22 | 1788964 | 1751822 | 7812 427 | 673 | 1329
1383.72/1384.25 c 890s | 22 | 1792941 | 1755722 | 7812 428 | 673 | 1329
1385.72/1386.27 c 892s | 22 | 1796897 | 1759622 | 7812 429 | 673 | 1329
1387.73/1388.28 c 894s | 22 | 1800785 | 1763422 | 7812 430 | 673 | 1329
1389.72/1390.30 c 896s | 22 | 1804782 | 1767322 | 7812 431 | 673 | 1329
1391.82/1392.30 c 898s | 22 | 1808669 | 1771122 | 7812 432 | 673 | 1329
1393.82/1394.34 c 900s | 22 | 1812223 | 1774622 | 7812 433 | 673 | 1329
1395.82/1396.37 c 902s | 22 | 1815805 | 1778122 | 7812 434 | 673 | 1329
1397.92/1398.40 c 904s | 22 | 1819676 | 1781922 | 7812 434 | 673 | 1329
1399.93/1400.44 c 906s | 22 | 1823575 | 1785722 | 7812 435 | 673 | 1329
1401.92/1402.44 c 908s | 22 | 1827454 | 1789522 | 7812 436 | 673 | 1329
1403.92/1404.48 c 910s | 22 | 1831210 | 1793222 | 7812 437 | 673 | 1329
1406.02/1406.50 c 912s | 22 | 1834881 | 1796822 | 7812 438 | 673 | 1329
1408.02/1408.52 c 914s | 22 | 1838881 | 1800722 | 7812 439 | 673 | 1329
1410.02/1410.55 c 916s | 22 | 1843198 | 1804922 | 7812 440 | 673 | 1329
1412.02/1412.57 c 918s | 22 | 1846987 | 1808622 | 7812 441 | 673 | 1329
1414.01/1414.59 c 921s | 22 | 1850770 | 1812322 | 7812 442 | 673 | 1329
1416.11/1416.63 c 923s | 22 | 1854816 | 1816322 | 7812 442 | 673 | 1329
1418.11/1418.64 c 925s | 22 | 1858899 | 1820322 | 7812 443 | 673 | 1329
1420.11/1420.69 c 927s | 22 | 1862875 | 1824222 | 7812 444 | 673 | 1329
1422.21/1422.72 c 929s | 22 | 1866518 | 1827822 | 7812 445 | 673 | 1329
1424.21/1424.73 c 931s | 22 | 1870689 | 1831922 | 7812 446 | 673 | 1329
1426.22/1426.77 c 933s | 22 | 1874481 | 1835622 | 7812 447 | 673 | 1329
1428.31/1428.80 c 935s | 22 | 1878390 | 1839422 | 7812 448 | 673 | 1329
1430.31/1430.81 c 937s | 22 | 1881841 | 1842822 | 7812 449 | 673 | 1329
1432.41/1432.90 c 939s | 22 | 1885636 | 1846522 | 7812 450 | 673 | 1329
1434.41/1434.94 c 941s | 22 | 1890085 | 1850822 | 7812 451 | 673 | 1329
1436.41/1436.97 c 943s | 22 | 1894309 | 1854922 | 7812 451 | 673 | 1329
1438.51/1439.01 c 945s | 22 | 1898260 | 1858722 | 7812 452 | 673 | 1329
1440.51/1441.06 c 947s | 22 | 1901949 | 1862322 | 7812 453 | 673 | 1329
1442.61/1443.12 c 949s | 22 | 1905583 | 1865822 | 7812 454 | 673 | 1329
1444.61/1445.12 c 951s | 22 | 1909081 | 1869222 | 7812 455 | 673 | 1329
1446.61/1447.14 c 953s | 22 | 1913067 | 1873022 | 7812 456 | 673 | 1329
1448.61/1449.18 c 955s | 22 | 1916663 | 1876522 | 7812 457 | 673 | 1329
1450.71/1451.20 c 957s | 22 | 1920912 | 1880622 | 7812 457 | 673 | 1329
1452.72/1453.27 c 959s | 22 | 1924725 | 1884322 | 7812 458 | 673 | 1329
1454.71/1455.29 c 961s | 22 | 1929226 | 1888722 | 7812 459 | 673 | 1329
1456.81/1457.34 c 963s | 22 | 1932927 | 1892322 | 7812 460 | 673 | 1329
1458.81/1459.36 c 965s | 22 | 1936531 | 1895822 | 7812 461 | 673 | 1329
1460.81/1461.38 c 967s | 22 | 1940247 | 1899422 | 7812 462 | 673 | 1329
1462.91/1463.42 c 969s | 22 | 1943820 | 1902922 | 7812 463 | 673 | 1329
1464.91/1465.46 c 971s | 22 | 1947632 | 1906622 | 7812 464 | 673 | 1329
1466.91/1467.46 c 973s | 22 | 1951236 | 1910122 | 7812 464 | 673 | 1329
1468.91/1469.49 c 975s | 22 | 1955242 | 1914022 | 7812 465 | 673 | 1329
1471.01/1471.52 c 977s | 22 | 1959079 | 1917822 | 7812 466 | 673 | 1329
1473.01/1473.55 c 979s | 22 | 1963076 | 1921722 | 7812 467 | 673 | 1329
1475.00/1475.56 c 981s | 22 | 1966653 | 1925222 | 7812 468 | 673 | 1329
1477.00/1477.56 c 983s | 22 | 1970194 | 1928722 | 7812 469 | 673 | 1329
1479.11/1479.64 c 986s | 22 | 1973677 | 1932122 | 7812 470 | 673 | 1329
1481.10/1481.65 c 988s | 22 | 1977624 | 1936022 | 7812 470 | 673 | 1329
1483.20/1483.71 c 990s | 22 | 1981614 | 1939922 | 7812 471 | 673 | 1329
1485.20/1485.72 c 992s | 22 | 1985340 | 1943522 | 7812 472 | 673 | 1329
1487.20/1487.74 c 994s | 22 | 1988911 | 1947022 | 7812 473 | 673 | 1329
1489.20/1489.78 c 996s | 22 | 1992740 | 1950722 | 7812 474 | 673 | 1329
1491.21/1491.79 c 998s | 22 | 1996386 | 1954222 | 8594 474 | 673 | 1329
1493.20/1493.80 c 1000s | 22 | 2000250 | 1958022 | 8594 475 | 673 | 1329
1495.30/1495.81 c 1002s | 22 | 2004343 | 1962022 | 8594 476 | 673 | 1329
1497.30/1497.84 c 1004s | 22 | 2008069 | 1965622 | 8594 477 | 673 | 1329
1499.30/1499.86 c 1006s | 22 | 2011888 | 1969322 | 8594 478 | 673 | 1329
1501.40/1501.94 c 1008s | 22 | 2015714 | 1973022 | 8594 479 | 673 | 1329
1503.40/1503.96 c 1010s | 22 | 2019603 | 1976822 | 8594 479 | 673 | 1329
1505.41/1505.98 c 1012s | 22 | 2023405 | 1980522 | 8594 480 | 673 | 1329
1507.60/1508.14 c 1014s | 22 | 2026881 | 1983922 | 8594 481 | 673 | 1329
1509.59/1510.18 c 1016s | 22 | 2030323 | 1987322 | 8594 482 | 673 | 1329
1511.69/1512.20 c 1018s | 22 | 2033985 | 1990922 | 8594 482 | 673 | 1329
1513.69/1514.24 c 1020s | 22 | 2037832 | 1994722 | 8594 483 | 673 | 1329
1515.70/1516.26 c 1022s | 22 | 2041410 | 1998122 | 8594 484 | 673 | 1329
1517.80/1518.31 c 1024s | 22 | 2044491 | 2001122 | 8594 485 | 673 | 1329
1519.81/1520.33 c 1026s | 22 | 2048502 | 2005022 | 8594 485 | 673 | 1329
1521.80/1522.34 c 1028s | 22 | 2052447 | 2008822 | 8594 486 | 673 | 1329
1523.80/1524.38 c 1030s | 22 | 2056269 | 2012522 | 8594 487 | 673 | 1329
1525.80/1526.39 c 1032s | 22 | 2059260 | 2015422 | 8594 488 | 673 | 1329
1527.90/1528.44 c 1034s | 22 | 2062943 | 2019022 | 8594 488 | 673 | 1329
1529.90/1530.46 c 1036s | 22 | 2066497 | 2022522 | 8594 489 | 673 | 1329
1531.91/1532.47 c 1038s | 22 | 2069640 | 2025622 | 8594 490 | 673 | 1329
1534.00/1534.52 c 1040s | 22 | 2073114 | 2029022 | 8594 491 | 673 | 1329
1536.00/1536.54 c 1042s | 22 | 2077007 | 2032822 | 8594 491 | 673 | 1329
1538.00/1538.57 c 1044s | 22 | 2080820 | 2036522 | 8594 492 | 673 | 1329
1540.00/1540.59 c 1047s | 22 | 2085024 | 2040622 | 8594 493 | 673 | 1329
1542.10/1542.63 c 1049s | 22 | 2087913 | 2043422 | 8594 494 | 673 | 1329
1544.10/1544.67 c 1051s | 22 | 2091685 | 2047122 | 8594 494 | 673 | 1329
1546.20/1546.74 c 1053s | 22 | 2095490 | 2050822 | 8594 495 | 673 | 1329
1548.20/1548.74 c 1055s | 22 | 2098737 | 2054022 | 8594 496 | 673 | 1329
1550.20/1550.79 c 1057s | 22 | 2102028 | 2057222 | 8594 497 | 673 | 1329
1552.30/1552.82 c 1059s | 22 | 2105597 | 2060722 | 8594 497 | 673 | 1329
1554.29/1554.87 c 1061s | 22 | 2109366 | 2064422 | 8594 498 | 673 | 1329
1556.29/1556.89 c 1063s | 22 | 2112944 | 2067922 | 8594 499 | 673 | 1329
1558.39/1558.98 c 1065s | 22 | 2116279 | 2071122 | 8594 500 | 673 | 1329
1560.50/1561.04 c 1067s | 22 | 2119772 | 2074522 | 8594 500 | 673 | 1329
1562.49/1563.08 c 1069s | 22 | 2123637 | 2078322 | 8594 501 | 673 | 1329
1564.59/1565.12 c 1071s | 22 | 2127314 | 2081922 | 8594 502 | 673 | 1329
1566.59/1567.15 c 1073s | 22 | 2130776 | 2085322 | 8594 503 | 673 | 1329
1568.59/1569.18 c 1075s | 22 | 2134654 | 2089122 | 8594 503 | 673 | 1329
1570.69/1571.20 c 1077s | 22 | 2137927 | 2092322 | 8594 504 | 673 | 1329
1572.69/1573.24 c 1079s | 22 | 2141488 | 2095822 | 8594 505 | 673 | 1329
1574.70/1575.27 c 1081s | 22 | 2144907 | 2099122 | 8594 506 | 673 | 1329
1576.79/1577.32 c 1083s | 22 | 2148687 | 2102822 | 8594 506 | 673 | 1329
1578.79/1579.38 c 1085s | 22 | 2152145 | 2106222 | 8594 507 | 673 | 1329
1580.89/1581.43 c 1087s | 22 | 2155782 | 2109822 | 8594 508 | 673 | 1329
1582.89/1583.50 c 1089s | 22 | 2159034 | 2113022 | 8594 509 | 673 | 1329
1584.99/1585.58 c 1091s | 22 | 2162919 | 2116822 | 8594 509 | 673 | 1329
1587.09/1587.61 c 1094s | 22 | 2166907 | 2120722 | 8594 510 | 673 | 1329
1589.10/1589.66 c 1096s | 22 | 2170569 | 2124322 | 8594 511 | 673 | 1329
1591.09/1591.66 c 1098s | 22 | 2173600 | 2127322 | 8594 512 | 673 | 1329
1593.09/1593.69 c 1100s | 22 | 2176995 | 2130622 | 8594 512 | 673 | 1329
1595.19/1595.74 c 1102s | 22 | 2180557 | 2134122 | 8594 513 | 673 | 1329
1597.19/1597.75 c 1104s | 22 | 2183606 | 2137122 | 8594 514 | 673 | 1329
1599.19/1599.79 c 1106s | 22 | 2187296 | 2140722 | 8594 514 | 673 | 1329
1601.29/1601.82 c 1108s | 22 | 2191180 | 2144522 | 8594 515 | 673 | 1329
1603.29/1603.83 c 1110s | 22 | 2194695 | 2147922 | 8594 516 | 673 | 1329
1605.29/1605.83 c 1112s | 22 | 2198056 | 2151222 | 8594 517 | 673 | 1329
1607.28/1607.89 c 1114s | 22 | 2201639 | 2154722 | 8594 517 | 673 | 1329
1609.38/1609.93 c 1116s | 22 | 2205209 | 2158222 | 8594 518 | 673 | 1329
1611.38/1611.96 c 1118s | 22 | 2208257 | 2161222 | 8594 519 | 673 | 1329
1613.38/1613.98 c 1120s | 22 | 2211714 | 2164622 | 8594 520 | 673 | 1329
1615.39/1616.00 c 1122s | 22 | 2215369 | 2168222 | 8594 520 | 673 | 1329
1617.48/1618.01 c 1124s | 22 | 2218940 | 2171722 | 8594 521 | 673 | 1329
1619.48/1620.05 c 1126s | 22 | 2222411 | 2175122 | 8594 522 | 673 | 1329
1621.58/1622.15 c 1128s | 22 | 2225790 | 2178422 | 8594 523 | 673 | 1329
1623.58/1624.17 c 1130s | 22 | 2229582 | 2182122 | 8594 523 | 673 | 1329
1625.68/1626.20 c 1132s | 22 | 2233154 | 2185622 | 8594 524 | 673 | 1329
1627.68/1628.25 c 1134s | 22 | 2236610 | 2189022 | 8594 525 | 673 | 1329
1629.69/1630.30 c 1136s | 22 | 2239970 | 2192322 | 8594 525 | 673 | 1329
1631.78/1632.34 c 1138s | 22 | 2243539 | 2195822 | 8594 526 | 673 | 1329
1633.78/1634.37 c 1140s | 22 | 2246694 | 2198922 | 8594 527 | 673 | 1329
1635.78/1636.37 c 1142s | 22 | 2249623 | 2201822 | 8594 528 | 673 | 1329
1637.78/1638.38 c 1144s | 22 | 2253190 | 2205322 | 8594 528 | 673 | 1329
1639.88/1640.46 c 1146s | 22 | 2257333 | 2209422 | 8594 529 | 673 | 1329
1641.98/1642.50 c 1148s | 22 | 2260959 | 2213022 | 8594 530 | 673 | 1329
1643.98/1644.51 c 1150s | 22 | 2263997 | 2216022 | 8594 531 | 673 | 1329
1645.98/1646.57 c 1152s | 22 | 2267148 | 2219122 | 8594 531 | 673 | 1329
1648.07/1648.60 c 1155s | 22 | 2270398 | 2222322 | 8594 532 | 673 | 1329
1650.07/1650.63 c 1157s | 22 | 2273439 | 2225322 | 8594 533 | 673 | 1329
1652.07/1652.68 c 1159s | 22 | 2277296 | 2229122 | 8594 533 | 673 | 1329
1654.17/1654.73 c 1161s | 22 | 2280738 | 2232522 | 8594 534 | 673 | 1329
1656.18/1656.76 c 1163s | 22 | 2284188 | 2235922 | 8594 535 | 673 | 1329
1658.17/1658.77 c 1165s | 22 | 2287634 | 2239322 | 8594 536 | 673 | 1329
1660.27/1660.82 c 1167s | 22 | 2291736 | 2243322 | 8594 536 | 673 | 1329
1662.27/1662.87 c 1169s | 22 | 2295400 | 2246922 | 8594 537 | 673 | 1329
1664.27/1664.88 c 1171s | 22 | 2298755 | 2250222 | 8594 538 | 673 | 1329
1664.77/1665.31 c 1171s | 23 | 2299573 | 2251038 | 8594 538 | 673 | 1329
1666.78/1667.34 c 1173s | 23 | 2303180 | 2254538 | 8594 539 | 673 | 1329
1668.88/1669.44 c 1175s | 23 | 2306533 | 2257838 | 8594 540 | 673 | 1329
1670.88/1671.45 c 1177s | 23 | 2310303 | 2261538 | 8594 540 | 673 | 1329
1672.88/1673.48 c 1179s | 23 | 2314182 | 2265338 | 8594 541 | 673 | 1329
1674.98/1675.50 c 1181s | 23 | 2317771 | 2268838 | 8594 542 | 673 | 1329
1676.98/1677.51 c 1183s | 23 | 2321521 | 2272538 | 8594 543 | 673 | 1329
1678.98/1679.52 c 1185s | 23 | 2325271 | 2276238 | 8594 543 | 673 | 1329
1680.98/1681.53 c 1187s | 23 | 2328955 | 2279838 | 8594 544 | 673 | 1329
1682.98/1683.56 c 1189s | 23 | 2332710 | 2283538 | 8594 545 | 673 | 1329
1684.97/1685.59 c 1192s | 23 | 2336334 | 2287038 | 8594 546 | 673 | 1329
1687.07/1687.63 c 1194s | 23 | 2339801 | 2290438 | 8594 546 | 673 | 1329
1689.08/1689.66 c 1196s | 23 | 2343597 | 2294138 | 8594 547 | 673 | 1329
1691.17/1691.71 c 1198s | 23 | 2347064 | 2297538 | 8594 548 | 673 | 1329
1693.17/1693.74 c 1200s | 23 | 2350421 | 2300838 | 8594 549 | 673 | 1329
1695.17/1695.78 c 1202s | 23 | 2353973 | 2304338 | 8594 549 | 673 | 1329
1697.27/1697.81 c 1204s | 23 | 2357521 | 2307838 | 8594 550 | 673 | 1329
1699.27/1699.81 c 1206s | 23 | 2361441 | 2311638 | 8594 551 | 673 | 1329
1701.28/1701.84 c 1208s | 23 | 2364995 | 2315038 | 8594 552 | 673 | 1329
1703.27/1703.85 c 1210s | 23 | 2368457 | 2318438 | 8594 552 | 673 | 1329
1705.27/1705.88 c 1212s | 23 | 2371960 | 2321838 | 8594 553 | 673 | 1329
1707.27/1707.88 c 1214s | 23 | 2375564 | 2325338 | 8594 554 | 673 | 1329
1709.27/1709.89 c 1216s | 23 | 2379245 | 2328938 | 8594 555 | 673 | 1329
1711.37/1711.90 c 1218s | 23 | 2382652 | 2332238 | 8594 555 | 673 | 1329
1713.37/1713.93 c 1220s | 23 | 2386174 | 2335638 | 8594 556 | 673 | 1329
1715.37/1715.98 c 1222s | 23 | 2389863 | 2339238 | 8594 557 | 673 | 1329
1717.47/1718.00 c 1224s | 23 | 2393445 | 2342738 | 8594 558 | 673 | 1329
1719.47/1720.04 c 1226s | 23 | 2396694 | 2345938 | 8594 558 | 673 | 1329
1721.47/1722.08 c 1228s | 23 | 2400634 | 2349838 | 8594 559 | 673 | 1329
1723.57/1724.14 c 1230s | 23 | 2404516 | 2353638 | 8594 560 | 673 | 1329
1725.56/1726.18 c 1232s | 23 | 2408079 | 2357138 | 8594 561 | 673 | 1329
1727.57/1728.19 c 1234s | 23 | 2411513 | 2360538 | 8594 562 | 673 | 1329
1729.66/1730.23 c 1236s | 23 | 2415637 | 2364538 | 8594 562 | 673 | 1329
1731.66/1732.25 c 1238s | 23 | 2418900 | 2367738 | 8594 563 | 673 | 1329
1733.66/1734.26 c 1240s | 23 | 2422687 | 2371438 | 8594 564 | 673 | 1329
1735.66/1736.29 c 1242s | 23 | 2425983 | 2374638 | 8594 565 | 673 | 1329
1737.77/1738.30 c 1244s | 23 | 2429648 | 2378238 | 8594 565 | 673 | 1329
1739.77/1740.32 c 1246s | 23 | 2433152 | 2381638 | 8594 566 | 673 | 1329
1741.77/1742.35 c 1248s | 23 | 2436834 | 2385238 | 8594 567 | 673 | 1329
1743.87/1744.44 c 1250s | 23 | 2440289 | 2388638 | 8594 568 | 673 | 1329
1745.87/1746.48 c 1252s | 23 | 2444286 | 2392538 | 8594 568 | 673 | 1329
1747.97/1748.52 c 1254s | 23 | 2448172 | 2396338 | 8594 569 | 673 | 1329
1749.97/1750.55 c 1256s | 23 | 2451567 | 2399638 | 8594 570 | 673 | 1329
1751.97/1752.55 c 1258s | 23 | 2454660 | 2402638 | 8594 571 | 673 | 1329
1753.97/1754.59 c 1261s | 23 | 2458193 | 2406138 | 8594 571 | 673 | 1329
1756.07/1756.61 c 1263s | 23 | 2461645 | 2409538 | 8594 572 | 673 | 1329
1758.06/1758.63 c 1265s | 23 | 2464813 | 2412638 | 8594 573 | 673 | 1329
1760.06/1760.67 c 1267s | 23 | 2468299 | 2416038 | 8594 573 | 673 | 1329
1762.16/1762.71 c 1269s | 23 | 2471863 | 2419538 | 8594 574 | 673 | 1329
1764.16/1764.73 c 1271s | 23 | 2475199 | 2422738 | 8594 575 | 673 | 1329
1766.17/1766.76 c 1273s | 23 | 2478629 | 2426038 | 8594 576 | 673 | 1329
1768.16/1768.78 c 1275s | 23 | 2482119 | 2429438 | 8594 576 | 673 | 1329
1770.16/1770.79 c 1277s | 23 | 2485480 | 2432738 | 8594 577 | 673 | 1329
1772.26/1772.82 c 1279s | 23 | 2488959 | 2436138 | 8594 578 | 673 | 1329
1774.26/1774.83 c 1281s | 23 | 2492729 | 2439838 | 8594 578 | 673 | 1329
1776.26/1776.83 c 1283s | 23 | 2496484 | 2443538 | 8594 579 | 673 | 1329
1778.27/1778.85 c 1285s | 23 | 2500018 | 2447038 | 8594 580 | 673 | 1329
1780.36/1780.99 c 1287s | 23 | 2502971 | 2449938 | 8594 581 | 673 | 1329
1782.46/1783.00 c 1289s | 23 | 2506501 | 2453438 | 8594 581 | 673 | 1329
1784.46/1785.05 c 1291s | 23 | 2510248 | 2457138 | 8594 582 | 673 | 1329
1786.46/1787.08 c 1293s | 23 | 2513717 | 2460538 | 8594 583 | 673 | 1329
1788.56/1789.12 c 1295s | 23 | 2516776 | 2463538 | 8594 584 | 673 | 1329
1790.55/1791.13 c 1297s | 23 | 2520304 | 2467038 | 8594 584 | 673 | 1329
1792.56/1793.16 c 1299s | 23 | 2523431 | 2470138 | 8594 585 | 673 | 1329
1794.55/1795.17 c 1301s | 23 | 2526883 | 2473538 | 8594 586 | 673 | 1329
1796.65/1797.23 c 1303s | 23 | 2530650 | 2477238 | 8594 586 | 673 | 1329
1798.65/1799.24 c 1305s | 23 | 2534217 | 2480738 | 8594 587 | 673 | 1329
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-4080153-1465258267/watcher-4080153-1465258267 -o /tmp/evaluation-result-4080153-1465258267/solver-4080153-1465258267 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080153-1465258267.opb
pid=6904
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.17 2.11 2.09 4/180 6907
/proc/meminfo: memFree=28376820/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=486844 CPUtime=0 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 1772 0 0 0 0 0 0 0 20 0 4 0 107759878 498528256 2133 33554432000 4194304 16246674 140737404001360 140737404000784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 122223 2142 441 2943 0 119117 0
[pid=6907/tid=6908] ppid=6904 vsize=504252 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 516354048 2201 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=508348 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 520548352 2219 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=512444 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 524742656 2236 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[startup+0.100178 s]
/proc/loadavg: 2.17 2.11 2.09 4/180 6907
/proc/meminfo: memFree=28376820/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 23484 0 0 0 5 4 0 0 20 0 4 0 107759878 1247350784 23831 33554432000 4194304 16246674 140737404001360 140737404000784 6021133 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 304529 23845 791 2943 0 301423 0
[pid=6907/tid=6908] ppid=6904 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1247350784 23856 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1247350784 23866 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1247350784 23874 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.20056 s]
/proc/loadavg: 2.17 2.11 2.09 4/180 6907
/proc/meminfo: memFree=28376820/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 47109 0 0 0 12 7 0 0 20 0 4 0 107759878 1247350784 47456 33554432000 4194304 16246674 140737404001360 140737404000784 6021174 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 304529 47468 791 2943 0 301423 0
[pid=6907/tid=6908] ppid=6904 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1247350784 47479 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1247350784 47487 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1247350784 47493 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300485 s]
/proc/loadavg: 2.17 2.11 2.09 4/180 6907
/proc/meminfo: memFree=28376820/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 72244 0 0 0 19 10 0 0 20 0 4 0 107759878 1247350784 72590 33554432000 4194304 16246674 140737404001360 140737404000784 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 304529 72608 791 2943 0 301423 0
[pid=6907/tid=6908] ppid=6904 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1247350784 72617 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1247350784 72623 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1247350784 72627 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700384 s]
/proc/loadavg: 2.17 2.11 2.09 4/180 6907
/proc/meminfo: memFree=28376820/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 168550 0 0 0 47 22 0 0 20 0 4 0 107759878 1247350784 168897 33554432000 4194304 16246674 140737404001360 140737404000784 5523634 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 304529 168909 792 2943 0 301423 0
[pid=6907/tid=6908] ppid=6904 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1247350784 168916 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1247350784 168923 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1247350784 168928 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50038 s]
/proc/loadavg: 2.17 2.11 2.09 4/184 6911
/proc/meminfo: memFree=27629932/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 240865 0 0 0 117 32 0 0 20 0 4 0 107759878 1250496512 241191 33554432000 4194304 16246674 140737404001360 140737403983232 12875570 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 305297 241206 851 2943 0 302191 0
[pid=6907/tid=6908] ppid=6904 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1250496512 241210 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1250496512 241214 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1250496512 241216 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188
[startup+3.10043 s]
/proc/loadavg: 2.15 2.11 2.09 3/184 6911
/proc/meminfo: memFree=27308136/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1309252 CPUtime=3.09 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 268407 0 0 0 274 35 0 0 20 0 4 0 107759878 1340674048 268732 33554432000 4194304 16246674 140737404001360 140737403983232 5823534 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 327313 268732 851 2943 0 324207 0
[pid=6907/tid=6908] ppid=6904 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1340674048 268732 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1340674048 268732 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1340674048 268732 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1309252
[startup+6.30043 s]
/proc/loadavg: 2.15 2.11 2.09 3/184 6911
/proc/meminfo: memFree=27293940/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1317444 CPUtime=6.28 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 270455 0 0 0 593 35 0 0 20 0 4 0 107759878 1349062656 270780 33554432000 4194304 16246674 140737404001360 140737403983232 5823109 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 329361 270780 851 2943 0 326255 0
[pid=6907/tid=6908] ppid=6904 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1349062656 270780 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1349062656 270780 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1349062656 270780 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1317444
[startup+12.7004 s]
/proc/loadavg: 2.13 2.11 2.09 3/184 6911
/proc/meminfo: memFree=27293608/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1317444 CPUtime=12.68 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 270457 0 0 0 1233 35 0 0 20 0 4 0 107759878 1349062656 270782 33554432000 4194304 16246674 140737404001360 140737403983232 5722908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 329361 270782 853 2943 0 326255 0
[pid=6907/tid=6908] ppid=6904 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1349062656 270782 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1349062656 270782 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1349062656 270782 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1317444
[startup+25.5005 s]
/proc/loadavg: 2.11 2.10 2.09 3/184 6911
/proc/meminfo: memFree=27289196/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1322564 CPUtime=25.49 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 271737 0 0 0 2513 36 0 0 20 0 4 0 107759878 1354305536 272062 33554432000 4194304 16246674 140737404001360 140737403984360 5677480 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 330641 272062 853 2943 0 327535 0
[pid=6907/tid=6908] ppid=6904 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1354305536 272062 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1354305536 272062 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1354305536 272062 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1322564
[startup+51.1005 s]
/proc/loadavg: 2.07 2.09 2.09 3/184 6911
/proc/meminfo: memFree=27284700/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1325636 CPUtime=51.08 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 272507 0 0 0 5071 37 0 0 20 0 4 0 107759878 1357451264 272832 33554432000 4194304 16246674 140737404001360 140737403984360 5675963 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 331409 272832 855 2943 0 328303 0
[pid=6907/tid=6908] ppid=6904 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1357451264 272832 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1357451264 272832 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1357451264 272832 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636
[startup+102.3 s]
/proc/loadavg: 2.06 2.09 2.09 3/184 6912
/proc/meminfo: memFree=27215876/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1325636 CPUtime=102.28 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 272507 0 0 0 10190 38 0 0 20 0 4 0 107759878 1357451264 272832 33554432000 4194304 16246674 140737404001360 140737403983232 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 331409 272832 855 2943 0 328303 0
[pid=6907/tid=6908] ppid=6904 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1357451264 272832 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1357451264 272832 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1357451264 272832 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636
################
# More data... #
################
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1368985600 275906 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1336900
[startup+1302.3 s]
/proc/loadavg: 2.41 2.27 2.15 3/184 6991
/proc/meminfo: memFree=28333832/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1336900 CPUtime=1301.83 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 275764 0 0 0 130130 53 0 0 20 0 4 0 107759878 1368985600 275906 33554432000 4194304 16246674 140737404001360 140737403983232 5721660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 334225 275906 856 2943 0 331119 0
[pid=6907/tid=6908] ppid=6904 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1368985600 275906 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1368985600 275906 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1368985600 275906 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1336900
[startup+1362.3 s]
/proc/loadavg: 2.22 2.23 2.14 3/184 6992
/proc/meminfo: memFree=28331348/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1338948 CPUtime=1361.82 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 276276 0 0 0 136129 53 0 0 20 0 4 0 107759878 1371082752 276418 33554432000 4194304 16246674 140737404001360 140737403984352 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 334737 276418 856 2943 0 331631 0
[pid=6907/tid=6908] ppid=6904 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1371082752 276418 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1371082752 276418 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1371082752 276418 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1338948
[startup+1422.3 s]
/proc/loadavg: 2.16 2.21 2.14 3/184 6993
/proc/meminfo: memFree=28331780/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1338948 CPUtime=1421.82 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 276276 0 0 0 142128 54 0 0 20 0 4 0 107759878 1371082752 276418 33554432000 4194304 16246674 140737404001360 140737403983232 5676080 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 334737 276418 856 2943 0 331631 0
[pid=6907/tid=6908] ppid=6904 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1371082752 276418 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1371082752 276418 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1371082752 276418 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1338948
[startup+1482.3 s]
/proc/loadavg: 2.26 2.23 2.15 3/184 6994
/proc/meminfo: memFree=28324488/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1338948 CPUtime=1481.8 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 276276 0 0 0 148125 55 0 0 20 0 4 0 107759878 1371082752 276418 33554432000 4194304 16246674 140737404001360 140737403983232 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 334737 276418 856 2943 0 331631 0
[pid=6907/tid=6908] ppid=6904 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1371082752 276418 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1371082752 276418 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1371082752 276418 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1338948
[startup+1542.31 s]
/proc/loadavg: 2.35 2.27 2.17 3/184 6996
/proc/meminfo: memFree=28317752/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1345092 CPUtime=1541.8 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 277812 0 0 0 154124 56 0 0 20 0 4 0 107759878 1377374208 277954 33554432000 4194304 16246674 140737404001360 140737403983232 6021544 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 336273 277954 856 2943 0 333167 0
[pid=6907/tid=6908] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1345092
[startup+1602.3 s]
/proc/loadavg: 2.30 2.27 2.17 4/184 6997
/proc/meminfo: memFree=28318136/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1345092 CPUtime=1601.79 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 277812 0 0 0 160123 56 0 0 20 0 4 0 107759878 1377374208 277954 33554432000 4194304 16246674 140737404001360 140737403983232 6836953 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 336273 277954 856 2943 0 333167 0
[pid=6907/tid=6908] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1345092
[startup+1662.3 s]
/proc/loadavg: 2.21 2.25 2.17 3/184 6998
/proc/meminfo: memFree=28317532/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1345092 CPUtime=1661.77 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 277812 0 0 0 166121 56 0 0 20 0 4 0 107759878 1377374208 277954 33554432000 4194304 16246674 140737404001360 140737403983232 5676480 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 336273 277954 856 2943 0 333167 0
[pid=6907/tid=6908] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1345092
[startup+1722.3 s]
/proc/loadavg: 2.33 2.28 2.19 4/184 6999
/proc/meminfo: memFree=28318212/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1345092 CPUtime=1721.77 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 277812 0 0 0 172120 57 0 0 20 0 4 0 107759878 1377374208 277954 33554432000 4194304 16246674 140737404001360 140737403983232 5676480 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 336273 277954 856 2943 0 333167 0
[pid=6907/tid=6908] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1345092
[startup+1782.3 s]
/proc/loadavg: 2.18 2.24 2.18 4/185 7003
/proc/meminfo: memFree=28317612/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1345092 CPUtime=1781.76 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 277812 0 0 0 178118 58 0 0 20 0 4 0 107759878 1377374208 277954 33554432000 4194304 16246674 140737404001360 140737403983232 5522977 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 336273 277954 856 2943 0 333167 0
[pid=6907/tid=6908] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1345092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.13 2.22 2.17 3/184 7003
/proc/meminfo: memFree=28317752/32872528 swapFree=16252/1391864
[pid=6907] ppid=6904 vsize=1345092 CPUtime=1800.05 cores=1,3,5,7
/proc/6907/stat : 6907 (toysat) R 6904 6907 5783 0 -1 4202496 277812 0 0 0 179947 58 0 0 20 0 4 0 107759878 1377374208 277954 33554432000 4194304 16246674 140737404001360 140737403983232 5822740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6907/statm: 336273 277954 856 2943 0 333167 0
[pid=6907/tid=6908] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6908/stat : 6908 (toysat) S 6904 6907 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889663257840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6907/tid=6909] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6909/stat : 6909 (toysat) S 6904 6907 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889652767984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6907/tid=6910] ppid=6904 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/6907/task/6910/stat : 6910 (toysat) S 6904 6907 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107759879 1377374208 277954 33554432000 4194304 16246674 140737404001360 139889567853744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1345092
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 6907 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.07
CPU user time (s): 1799.48
CPU system time (s): 0.58691
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1345092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.58691
maximum resident set size= 1111816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277812
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= 455
involuntary context switches= 1955
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48832 second user time and 7.04993 second system time
The end