0.00/0.00 c 2016-06-06T19:32:21+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-4079644-1465234341.opb"]
0.00/0.01 c use --random-gen="1276882821 1519872139 2616405282 1012719305 4258338690 1291946905 2163406913 1595694260 1881705903 4139699116 935897402 1570979814 434742927 1301576896 1952825283 1606244075 1648607020 112118390 1104996966 3433700127 526860338 2102283433 2258270660 615196156 2867744914 80566768 3248788216 875442951 2780253370 1945748850 280487685 312195047 537172490 1213060352 3847867743 1837523242 3217202770 949988977 1627961596 2489180968 1246287541 1691979456 3741987515 656244872 728977768 440167075 1250488008 3585430476 4202405076 3473170099 28894242 3116154552 2217078662 3852721761 273949406 4093593147 897863278 2812971803 3064507343 243094554 1205113150 3796466670 1415221282 136130945 1025330560 2688679913 1277220571 4236243190 607293713 419484637 1685098513 1897580577 2243205071 4242487762 2855852164 1253533871 613346348 1847693318 113781604 3102004459 2389336432 3586732236 913884583 1167789753 3238370876 1166585373 1515024163 2376155426 102185010 174600779 4065665908 3448590089 2408851750 588386446 2226510120 2650145961 2029260361 2923152640 2541272012 150083323 4292598046 482800340 2843722459 731125415 1721723219 2492388941 1332489791 3926357440 3360008011 2011625873 3467650210 744421637 904391491 2151052504 2136585566 482763264 3934937427 3590096227 1092072655 4013893176 2615495476 1904747105 2406106641 2612643957 1929590560 2352589045 3870688458 1919491555 1951375929 1247335402 3628324890 1101588705 2934664441 4218624882 437483777 654408243 239146432 651634959 3057415379 3611045101 1457840279 1502587362 1916736774 660737634 2476806563 1341148490 3595316878 811483026 4157213437 3492708543 72415 1195617719 4167786722 173433564 2858492465 1054183082 1803021340 1318199148 2030582582 246018118 1032192817 3887737769 288574228 1261885613 1491931197 967211619 139659079 4277798897 682549484 1033793092 2950012121 2142645482 1737361081 920497565 2924329913 1402790429 3356168082 523390162 2419414082 2692659127 2576038502 1307265425 782143336 3788979297 2307510963 498923677 14238335 923787109 1199776830 3808710661 1113330170 1624609162 3252054275 4091456846 3975014571 663788688 112248893 3589660315 4095496784 4060991620 11135782 3167115731 1428150032 1760152214 2962383986 2673874771 3534829443 3598684107 3351427340 2348646722 1047119233 2357968248 2925624075 3691922503 2082158722 3714749508 656216322 2508452072 1610837724 1780979745 682603213 2521536862 1091452806 2718645963 2734120355 1526179650 171317 3797624087 823967035 1081145546 4004083788 3416262373 3780165296 313635661 3124769720 4169792979 2654034917 3561132680 628174658 1250689736 572628124 4201873602 4177534279 1420492662 548588835 1524340203 1048855460 3151882897 2587417360 2953865576 1204623990 3210466647 4065133851 1103303707 3519236832 2287443225 255 362436" option to reproduce the execution
0.00/0.01 c #vars 435
0.00/0.01 c #constraints 501
0.00/0.02 c BCD2: Hardening is enabled.
0.00/0.02 c BCD2: BiasedSearch is enabled.
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 311 0 | 1 | 0
0.00/0.02 c 0.0s | 0 | 306 | 0 | 311 0 | 1 | 0
0.00/0.02 c #cpu_time = 0.001s
0.00/0.02 c #wall_clock_time = 0.001s
0.00/0.02 c #decision = 306
0.00/0.02 c #random_decision = 1
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 o 604
0.00/0.02 c BCD2: updating upper bound: 1168 -> 885
0.00/0.02 c BCD2: 0 <= obj <= 885
0.00/0.03 c BCD2: #cores=0, #unrelaxed=435, #relaxed=0, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=1 bias=1/2
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 | 311 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 6 | 0 | 311 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 6
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.03 c lower bound updated to -281
0.00/0.03 c BCD2: 1 <= obj <= 885
0.00/0.03 c BCD2: #cores=1, #unrelaxed=433, #relaxed=2, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3
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 | 311 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 10 | 0 | 311 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 10
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.03 c lower bound updated to -280
0.00/0.03 c BCD2: 2 <= obj <= 885
0.00/0.03 c BCD2: #cores=2, #unrelaxed=431, #relaxed=4, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=3 bias=3/4
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 | 311 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 27 | 0 | 311 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 27
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.03 c lower bound updated to -279
0.00/0.03 c BCD2: 3 <= obj <= 885
0.00/0.03 c BCD2: #cores=3, #unrelaxed=429, #relaxed=6, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=4 bias=4/5
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 | 311 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 28 | 0 | 311 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 28
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.03 c lower bound updated to -278
0.00/0.03 c BCD2: 4 <= obj <= 885
0.00/0.03 c BCD2: #cores=4, #unrelaxed=427, #relaxed=8, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=5 bias=5/6
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 | 311 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 28 | 0 | 311 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 28
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.03 c lower bound updated to -277
0.00/0.03 c BCD2: 5 <= obj <= 885
0.00/0.03 c BCD2: #cores=5, #unrelaxed=425, #relaxed=10, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=6 bias=6/7
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 | 311 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 29 | 0 | 311 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 29
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03 c lower bound updated to -276
0.00/0.03 c BCD2: 6 <= obj <= 885
0.00/0.03 c BCD2: #cores=6, #unrelaxed=422, #relaxed=13, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=7 bias=7/8
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 | 311 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 30 | 0 | 311 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 30
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=2
0.00/0.03 c lower bound updated to -274
0.00/0.03 c BCD2: 8 <= obj <= 885
0.00/0.03 c BCD2: #cores=7, #unrelaxed=419, #relaxed=16, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=8 bias=8/9
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 | 311 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 33 | 0 | 311 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 33
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.03 c lower bound updated to -273
0.00/0.03 c BCD2: 9 <= obj <= 885
0.00/0.03 c BCD2: #cores=8, #unrelaxed=417, #relaxed=18, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=9 bias=9/10
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 | 311 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 34 | 0 | 311 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 34
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=2
0.00/0.03 c lower bound updated to -271
0.00/0.04 c BCD2: 11 <= obj <= 885
0.00/0.04 c BCD2: #cores=9, #unrelaxed=414, #relaxed=21, #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 | 311 0 | 1 | 0
0.00/0.04 c 0.0s | 0 | 62 | 0 | 311 0 | 1 | 0
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 = 62
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 3: cost of the new core is >=1
0.00/0.04 c lower bound updated to -270
0.00/0.04 c BCD2: 12 <= obj <= 885
0.00/0.04 c BCD2: #cores=10, #unrelaxed=411, #relaxed=24, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=11 bias=11/12
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 | 311 0 | 1 | 0
0.00/0.04 c 0.0s | 0 | 64 | 0 | 311 0 | 1 | 0
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 = 64
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 -269
0.00/0.04 c BCD2: 13 <= obj <= 885
0.00/0.04 c BCD2: #cores=11, #unrelaxed=409, #relaxed=26, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=12 bias=12/13
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 | 311 0 | 1 | 0
0.00/0.04 c 0.0s | 0 | 65 | 0 | 311 0 | 1 | 0
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 = 65
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 -268
0.00/0.04 c BCD2: 14 <= obj <= 885
0.00/0.04 c BCD2: #cores=12, #unrelaxed=407, #relaxed=28, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=13 bias=13/14
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 | 311 0 | 1 | 0
0.00/0.04 c 0.0s | 0 | 125 | 1 | 311 0 | 1 | 0
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 = 125
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.04 c lower bound updated to -267
0.00/0.04 c BCD2: 15 <= obj <= 885
0.00/0.04 c BCD2: #cores=12, #unrelaxed=406, #relaxed=29, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=14 bias=14/15
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 | 311 0 | 2 | 0
0.00/0.04 c 0.0s | 0 | 71 | 0 | 311 0 | 2 | 1
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 = 71
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 4: cost of the new core is >=1
0.00/0.04 c lower bound updated to -266
0.00/0.04 c BCD2: 16 <= obj <= 885
0.00/0.04 c BCD2: #cores=13, #unrelaxed=402, #relaxed=33, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=15 bias=15/16
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 | 311 0 | 2 | 1
0.00/0.04 c 0.0s | 0 | 75 | 0 | 311 0 | 2 | 1
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 = 75
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 4: cost of the new core is >=1
0.00/0.04 c lower bound updated to -265
0.00/0.04 c BCD2: 17 <= obj <= 885
0.00/0.04 c BCD2: #cores=14, #unrelaxed=398, #relaxed=37, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=16 bias=16/17
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 | 311 0 | 2 | 1
0.00/0.04 c 0.0s | 0 | 83 | 0 | 311 0 | 2 | 1
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 = 83
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 7: cost of the new core is >=1
0.00/0.04 c lower bound updated to -264
0.00/0.05 c BCD2: 18 <= obj <= 885
0.00/0.05 c BCD2: #cores=15, #unrelaxed=391, #relaxed=44, #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 | 311 0 | 2 | 1
0.00/0.05 c 0.0s | 0 | 84 | 0 | 311 0 | 2 | 1
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 = 84
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 5: cost of the new core is >=1
0.00/0.05 c lower bound updated to -263
0.00/0.05 c BCD2: 19 <= obj <= 885
0.00/0.05 c BCD2: #cores=16, #unrelaxed=386, #relaxed=49, #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 | 311 0 | 2 | 1
0.00/0.05 c 0.0s | 0 | 90 | 0 | 311 0 | 2 | 1
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 = 90
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 5: cost of the new core is >=1
0.00/0.05 c lower bound updated to -262
0.00/0.05 c BCD2: 20 <= obj <= 885
0.00/0.05 c BCD2: #cores=17, #unrelaxed=381, #relaxed=54, #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 | 311 0 | 2 | 1
0.00/0.05 c 0.0s | 0 | 88 | 0 | 311 0 | 2 | 1
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 = 88
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 5: cost of the new core is >=1
0.00/0.05 c lower bound updated to -261
0.00/0.05 c BCD2: 21 <= obj <= 885
0.00/0.05 c BCD2: #cores=18, #unrelaxed=376, #relaxed=59, #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.05 c 0.0s | 0 | 0 | 0 | 311 0 | 2 | 1
0.00/0.05 c 0.0s | 0 | 91 | 0 | 311 0 | 2 | 1
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 = 91
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 4: cost of the new core is >=1
0.00/0.05 c lower bound updated to -260
0.00/0.05 c BCD2: 22 <= obj <= 885
0.00/0.05 c BCD2: #cores=19, #unrelaxed=372, #relaxed=63, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=21 bias=21/22
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 | 311 0 | 2 | 1
0.00/0.05 c 0.0s | 0 | 95 | 0 | 311 0 | 2 | 1
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 = 95
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 6 and merging with 2 cores into a new core of size 10: cost of the new core is >=3
0.00/0.05 c lower bound updated to -259
0.00/0.05 c BCD2: 23 <= obj <= 885
0.00/0.05 c BCD2: #cores=18, #unrelaxed=366, #relaxed=69, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=22 bias=22/23
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 | 311 0 | 4 | 1
0.00/0.05 c 0.0s | 0 | 94 | 0 | 311 0 | 4 | 3
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 = 94
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 7: cost of the new core is >=1
0.00/0.05 c lower bound updated to -258
0.00/0.05 c BCD2: 24 <= obj <= 885
0.00/0.05 c BCD2: #cores=19, #unrelaxed=359, #relaxed=76, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=23 bias=23/24
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 | 311 0 | 4 | 3
0.00/0.06 c 0.0s | 0 | 185 | 1 | 311 0 | 4 | 3
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 = 185
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 6 and merging with 2 cores into a new core of size 10: cost of the new core is >=3
0.00/0.06 c lower bound updated to -257
0.00/0.06 c BCD2: 25 <= obj <= 885
0.00/0.06 c BCD2: #cores=18, #unrelaxed=353, #relaxed=82, #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 | 311 0 | 6 | 3
0.00/0.06 c 0.0s | 0 | 97 | 0 | 311 0 | 6 | 5
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 = 97
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 4: cost of the new core is >=1
0.00/0.06 c lower bound updated to -256
0.00/0.06 c BCD2: 26 <= obj <= 885
0.00/0.06 c BCD2: #cores=19, #unrelaxed=349, #relaxed=86, #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 | 311 0 | 6 | 5
0.00/0.06 c 0.0s | 0 | 98 | 0 | 311 0 | 6 | 5
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 = 98
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 6: cost of the new core is >=2
0.00/0.06 c lower bound updated to -254
0.00/0.06 c BCD2: 28 <= obj <= 885
0.00/0.06 c BCD2: #cores=20, #unrelaxed=343, #relaxed=92, #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 | 311 0 | 6 | 5
0.00/0.06 c 0.0s | 0 | 104 | 0 | 311 0 | 6 | 5
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 = 104
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 5: cost of the new core is >=1
0.00/0.06 c lower bound updated to -253
0.00/0.06 c BCD2: 29 <= obj <= 885
0.00/0.06 c BCD2: #cores=21, #unrelaxed=338, #relaxed=97, #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 | 311 0 | 6 | 5
0.00/0.06 c 0.0s | 0 | 107 | 0 | 311 0 | 6 | 5
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 = 107
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 6: cost of the new core is >=1
0.00/0.06 c lower bound updated to -252
0.00/0.06 c BCD2: 30 <= obj <= 885
0.00/0.06 c BCD2: #cores=22, #unrelaxed=332, #relaxed=103, #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 | 311 0 | 6 | 5
0.00/0.06 c 0.0s | 0 | 107 | 0 | 311 0 | 6 | 5
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 = 107
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 7: cost of the new core is >=1
0.00/0.06 c lower bound updated to -251
0.00/0.06 c BCD2: 31 <= obj <= 885
0.00/0.06 c BCD2: #cores=23, #unrelaxed=325, #relaxed=110, #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 | 311 0 | 6 | 5
0.00/0.06 c 0.0s | 0 | 107 | 0 | 311 0 | 6 | 5
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 = 107
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 6: cost of the new core is >=1
0.00/0.06 c lower bound updated to -250
0.00/0.06 c BCD2: 32 <= obj <= 885
0.00/0.06 c BCD2: #cores=24, #unrelaxed=319, #relaxed=116, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=30 bias=30/31
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 | 311 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 109 | 0 | 311 0 | 6 | 5
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 = 109
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 9: cost of the new core is >=1
0.00/0.07 c lower bound updated to -249
0.00/0.07 c BCD2: 33 <= obj <= 885
0.00/0.07 c BCD2: #cores=25, #unrelaxed=310, #relaxed=125, #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 | 311 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 108 | 0 | 311 0 | 6 | 5
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 = 108
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 11: cost of the new core is >=1
0.00/0.07 c lower bound updated to -248
0.00/0.07 c BCD2: 34 <= obj <= 885
0.00/0.07 c BCD2: #cores=26, #unrelaxed=299, #relaxed=136, #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 | 311 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 117 | 0 | 311 0 | 6 | 5
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 = 117
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 7: cost of the new core is >=1
0.00/0.07 c lower bound updated to -247
0.00/0.07 c BCD2: 35 <= obj <= 885
0.00/0.07 c BCD2: #cores=27, #unrelaxed=292, #relaxed=143, #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 | 311 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 115 | 0 | 311 0 | 6 | 5
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 = 115
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 8: cost of the new core is >=1
0.00/0.07 c lower bound updated to -246
0.00/0.07 c BCD2: 36 <= obj <= 885
0.00/0.07 c BCD2: #cores=28, #unrelaxed=284, #relaxed=151, #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 | 311 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 117 | 0 | 311 0 | 6 | 5
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 117
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 3: cost of the new core is >=1
0.00/0.07 c lower bound updated to -245
0.00/0.07 c BCD2: 37 <= obj <= 885
0.00/0.07 c BCD2: #cores=29, #unrelaxed=281, #relaxed=154, #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 | 311 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 119 | 0 | 311 0 | 6 | 5
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 119
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 3: cost of the new core is >=1
0.00/0.07 c lower bound updated to -244
0.00/0.07 c BCD2: 38 <= obj <= 885
0.00/0.07 c BCD2: #cores=30, #unrelaxed=278, #relaxed=157, #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 | 311 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 120 | 0 | 311 0 | 6 | 5
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 = 120
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 3: cost of the new core is >=1
0.00/0.07 c lower bound updated to -243
0.00/0.07 c BCD2: 39 <= obj <= 885
0.00/0.07 c BCD2: #cores=31, #unrelaxed=275, #relaxed=160, #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 | 311 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 119 | 0 | 311 0 | 6 | 5
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 = 119
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 5: cost of the new core is >=1
0.00/0.07 c lower bound updated to -242
0.00/0.07 c BCD2: 40 <= obj <= 885
0.00/0.07 c BCD2: #cores=32, #unrelaxed=270, #relaxed=165, #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 | 311 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 120 | 0 | 311 0 | 6 | 5
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 = 120
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 13: cost of the new core is >=1
0.00/0.07 c lower bound updated to -241
0.00/0.07 c BCD2: 41 <= obj <= 885
0.00/0.07 c BCD2: #cores=33, #unrelaxed=257, #relaxed=178, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=39 bias=39/40
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 | 311 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 122 | 0 | 311 0 | 6 | 5
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 122
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.08 c BCD2: found a new core of size 10: cost of the new core is >=1
0.00/0.08 c lower bound updated to -240
0.00/0.08 c BCD2: 42 <= obj <= 885
0.00/0.08 c BCD2: #cores=34, #unrelaxed=247, #relaxed=188, #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 | 311 0 | 6 | 5
0.00/0.08 c 0.0s | 0 | 126 | 0 | 311 0 | 6 | 5
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 = 126
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 7: cost of the new core is >=1
0.00/0.08 c lower bound updated to -239
0.00/0.08 c BCD2: 43 <= obj <= 885
0.00/0.08 c BCD2: #cores=35, #unrelaxed=240, #relaxed=195, #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 | 311 0 | 6 | 5
0.00/0.08 c 0.0s | 0 | 128 | 0 | 311 0 | 6 | 5
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 = 128
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: relaxing 7 and merging with 1 cores into a new core of size 10: cost of the new core is >=2
0.00/0.08 c lower bound updated to -238
0.00/0.08 c BCD2: 44 <= obj <= 885
0.00/0.08 c BCD2: #cores=35, #unrelaxed=233, #relaxed=202, #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 | 311 0 | 7 | 5
0.00/0.08 c 0.0s | 0 | 125 | 0 | 311 0 | 7 | 6
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 = 125
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 6: cost of the new core is >=1
0.00/0.08 c lower bound updated to -237
0.00/0.08 c BCD2: 45 <= obj <= 885
0.00/0.08 c BCD2: #cores=36, #unrelaxed=227, #relaxed=208, #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 | 311 0 | 7 | 6
0.00/0.08 c 0.0s | 0 | 127 | 0 | 311 0 | 7 | 6
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 = 127
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 5: cost of the new core is >=1
0.00/0.08 c lower bound updated to -236
0.00/0.08 c BCD2: 46 <= obj <= 885
0.00/0.08 c BCD2: #cores=37, #unrelaxed=222, #relaxed=213, #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 | 311 0 | 7 | 6
0.00/0.08 c 0.0s | 0 | 131 | 0 | 311 0 | 7 | 6
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 = 131
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 14: cost of the new core is >=1
0.00/0.08 c lower bound updated to -235
0.00/0.08 c BCD2: 47 <= obj <= 885
0.00/0.08 c BCD2: #cores=38, #unrelaxed=208, #relaxed=227, #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 | 311 0 | 7 | 6
0.00/0.08 c 0.0s | 0 | 136 | 0 | 311 0 | 7 | 6
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 = 136
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 6: cost of the new core is >=1
0.00/0.08 c lower bound updated to -234
0.00/0.08 c BCD2: 48 <= obj <= 885
0.00/0.08 c BCD2: #cores=39, #unrelaxed=202, #relaxed=233, #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 | 311 0 | 7 | 6
0.00/0.08 c 0.0s | 0 | 134 | 0 | 311 0 | 7 | 6
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 = 134
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 3: cost of the new core is >=1
0.00/0.08 c lower bound updated to -233
0.00/0.08 c BCD2: 49 <= obj <= 885
0.00/0.08 c BCD2: #cores=40, #unrelaxed=199, #relaxed=236, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=47 bias=47/48
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 | 311 0 | 7 | 6
0.00/0.08 c 0.0s | 0 | 165 | 1 | 311 0 | 7 | 6
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 = 165
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 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.08 c lower bound updated to -232
0.00/0.08 c BCD2: 50 <= obj <= 885
0.00/0.08 c BCD2: #cores=40, #unrelaxed=197, #relaxed=238, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=48 bias=48/49
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 | 311 0 | 8 | 6
0.00/0.08 c 0.0s | 0 | 165 | 1 | 311 0 | 8 | 7
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 = 165
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 2 cores into a new core of size 8: cost of the new core is >=4
0.00/0.08 c lower bound updated to -231
0.00/0.08 c BCD2: 51 <= obj <= 885
0.00/0.08 c BCD2: #cores=39, #unrelaxed=194, #relaxed=241, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=49 bias=49/50
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 311 0 | 10 | 7
0.00/0.09 c 0.0s | 0 | 131 | 0 | 311 0 | 10 | 9
0.00/0.09 c #cpu_time = 0.000s
0.00/0.09 c #wall_clock_time = 0.000s
0.00/0.09 c #decision = 131
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.09 c lower bound updated to -230
0.00/0.09 c BCD2: 52 <= obj <= 885
0.00/0.09 c BCD2: #cores=40, #unrelaxed=189, #relaxed=246, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=50 bias=50/51
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 311 0 | 10 | 9
0.00/0.09 c 0.0s | 0 | 133 | 0 | 311 0 | 10 | 9
0.00/0.09 c #cpu_time = 0.000s
0.00/0.09 c #wall_clock_time = 0.000s
0.00/0.09 c #decision = 133
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 13: cost of the new core is >=1
0.00/0.09 c lower bound updated to -229
0.00/0.09 c BCD2: 53 <= obj <= 885
0.00/0.09 c BCD2: #cores=41, #unrelaxed=176, #relaxed=259, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=51 bias=51/52
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 311 0 | 10 | 9
0.00/0.09 c 0.0s | 0 | 151 | 1 | 311 0 | 10 | 9
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 151
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 8: cost of the new core is >=2
0.00/0.09 c lower bound updated to -228
0.00/0.09 c BCD2: 54 <= obj <= 885
0.00/0.09 c BCD2: #cores=41, #unrelaxed=171, #relaxed=264, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=52 bias=52/53
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 311 0 | 11 | 9
0.00/0.09 c 0.0s | 0 | 140 | 1 | 311 0 | 11 | 10
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 140
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.00/0.09 c lower bound updated to -227
0.00/0.09 c BCD2: 55 <= obj <= 885
0.00/0.09 c BCD2: #cores=41, #unrelaxed=165, #relaxed=270, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=53 bias=53/54
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 311 0 | 12 | 10
0.00/0.09 c 0.0s | 0 | 126 | 0 | 311 0 | 12 | 11
0.00/0.09 c #cpu_time = 0.000s
0.00/0.09 c #wall_clock_time = 0.000s
0.00/0.09 c #decision = 126
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.09 c lower bound updated to -226
0.00/0.09 c BCD2: 56 <= obj <= 885
0.00/0.09 c BCD2: #cores=42, #unrelaxed=160, #relaxed=275, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=54 bias=54/55
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 311 0 | 12 | 11
0.00/0.09 c 0.0s | 0 | 124 | 0 | 311 0 | 12 | 11
0.00/0.09 c #cpu_time = 0.000s
0.00/0.09 c #wall_clock_time = 0.000s
0.00/0.09 c #decision = 124
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 9 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.09 c lower bound updated to -225
0.00/0.09 c BCD2: 57 <= obj <= 885
0.00/0.09 c BCD2: #cores=42, #unrelaxed=151, #relaxed=284, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=55 bias=55/56
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 311 0 | 13 | 11
0.00/0.09 c 0.0s | 0 | 125 | 0 | 311 0 | 13 | 12
0.00/0.09 c #cpu_time = 0.000s
0.00/0.09 c #wall_clock_time = 0.000s
0.00/0.09 c #decision = 125
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.09 c lower bound updated to -224
0.00/0.09 c BCD2: 58 <= obj <= 885
0.00/0.09 c BCD2: #cores=43, #unrelaxed=144, #relaxed=291, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=56 bias=56/57
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 311 0 | 13 | 12
0.00/0.09 c 0.0s | 0 | 126 | 0 | 311 0 | 13 | 12
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 126
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.09 c lower bound updated to -223
0.00/0.09 c BCD2: 59 <= obj <= 885
0.00/0.09 c BCD2: #cores=44, #unrelaxed=139, #relaxed=296, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=57 bias=57/58
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 311 0 | 13 | 12
0.09/0.10 c 0.0s | 0 | 227 | 1 | 311 0 | 13 | 12
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 227
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 1
0.09/0.10 c #restart = 0
0.09/0.10 o 33
0.09/0.10 c BCD2: hardening fixes 1 literals
0.09/0.10 c BCD2: updating upper bound: 885 -> 314
0.09/0.10 c BCD2: 59 <= obj <= 314
0.09/0.10 c BCD2: #cores=44, #unrelaxed=138, #relaxed=296, #hardened=1
0.09/0.10 c BCD2: #sat=2 #unsat=57 bias=57/59
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 311 0 | 13 | 12
0.09/0.10 c 0.0s | 0 | 117 | 0 | 311 0 | 13 | 12
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 117
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 10: cost of the new core is >=2
0.09/0.10 c lower bound updated to -222
0.09/0.10 c BCD2: 60 <= obj <= 314
0.09/0.10 c BCD2: #cores=44, #unrelaxed=132, #relaxed=302, #hardened=1
0.09/0.10 c BCD2: #sat=2 #unsat=58 bias=58/60
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 311 0 | 15 | 12
0.09/0.11 c 0.0s | 0 | 180 | 2 | 311 0 | 15 | 15
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 180
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 2
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 0 and merging with 3 cores into a new core of size 9: cost of the new core is >=5
0.09/0.11 c lower bound updated to -221
0.09/0.11 c BCD2: 61 <= obj <= 314
0.09/0.11 c BCD2: #cores=42, #unrelaxed=132, #relaxed=302, #hardened=1
0.09/0.11 c BCD2: #sat=2 #unsat=59 bias=59/61
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 311 0 | 21 | 15
0.09/0.11 c 0.0s | 0 | 122 | 1 | 311 0 | 21 | 24
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 122
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 1
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 10 and merging with 1 cores into a new core of size 14: cost of the new core is >=2
0.09/0.11 c lower bound updated to -220
0.09/0.11 c BCD2: 62 <= obj <= 314
0.09/0.11 c BCD2: #cores=42, #unrelaxed=122, #relaxed=312, #hardened=1
0.09/0.11 c BCD2: #sat=2 #unsat=60 bias=60/62
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 311 0 | 23 | 24
0.09/0.11 c 0.0s | 0 | 151 | 2 | 311 0 | 23 | 27
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 151
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 2
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 17: cost of the new core is >=4
0.09/0.11 c lower bound updated to -219
0.09/0.11 c BCD2: 63 <= obj <= 314
0.09/0.11 c BCD2: #cores=41, #unrelaxed=122, #relaxed=312, #hardened=1
0.09/0.11 c BCD2: #sat=2 #unsat=61 bias=61/63
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 311 0 | 26 | 27
0.09/0.11 c 0.0s | 0 | 203 | 1 | 311 0 | 26 | 31
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 203
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 1
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=4
0.09/0.11 c lower bound updated to -217
0.09/0.11 c BCD2: 65 <= obj <= 314
0.09/0.11 c BCD2: #cores=41, #unrelaxed=121, #relaxed=313, #hardened=1
0.09/0.11 c BCD2: #sat=2 #unsat=62 bias=62/64
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 311 0 | 28 | 31
0.09/0.11 c 0.0s | 0 | 192 | 1 | 311 0 | 28 | 34
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 192
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 1
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=5
0.09/0.11 c lower bound updated to -216
0.09/0.11 c BCD2: 66 <= obj <= 314
0.09/0.11 c BCD2: #cores=41, #unrelaxed=120, #relaxed=314, #hardened=1
0.09/0.11 c BCD2: #sat=2 #unsat=63 bias=63/65
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 311 0 | 29 | 34
0.09/0.12 c 0.0s | 0 | 229 | 2 | 311 0 | 29 | 35
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 229
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 2
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
0.09/0.12 c lower bound updated to -215
0.09/0.12 c BCD2: 67 <= obj <= 314
0.09/0.12 c BCD2: #cores=41, #unrelaxed=119, #relaxed=315, #hardened=1
0.09/0.12 c BCD2: #sat=2 #unsat=64 bias=64/66
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 311 0 | 31 | 35
0.09/0.12 c 0.0s | 0 | 189 | 2 | 311 0 | 31 | 38
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 189
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 2
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 14: cost of the new core is >=9
0.09/0.12 c lower bound updated to -214
0.09/0.12 c BCD2: 68 <= obj <= 314
0.09/0.12 c BCD2: #cores=40, #unrelaxed=118, #relaxed=316, #hardened=1
0.09/0.12 c BCD2: #sat=2 #unsat=65 bias=65/67
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 311 0 | 33 | 38
0.09/0.12 c 0.0s | 0 | 117 | 1 | 311 0 | 33 | 40
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 117
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 1
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 7 and merging with 3 cores into a new core of size 24: cost of the new core is >=8
0.09/0.12 c lower bound updated to -213
0.09/0.12 c BCD2: 69 <= obj <= 314
0.09/0.12 c BCD2: #cores=38, #unrelaxed=111, #relaxed=323, #hardened=1
0.09/0.12 c BCD2: #sat=2 #unsat=66 bias=66/68
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 311 0 | 38 | 40
0.09/0.12 c 0.0s | 0 | 125 | 10 | 311 0 | 38 | 47
0.09/0.12 c #cpu_time = 0.002s
0.09/0.12 c #wall_clock_time = 0.002s
0.09/0.12 c #decision = 125
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 10
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 5 and merging with 2 cores into a new core of size 27: cost of the new core is >=6
0.09/0.12 c lower bound updated to -212
0.09/0.12 c BCD2: 70 <= obj <= 314
0.09/0.12 c BCD2: #cores=37, #unrelaxed=106, #relaxed=328, #hardened=1
0.09/0.12 c BCD2: #sat=2 #unsat=67 bias=67/69
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 311 0 | 41 | 47
0.09/0.13 c 0.0s | 0 | 170 | 47 | 311 0 | 41 | 51
0.09/0.13 c #cpu_time = 0.005s
0.09/0.13 c #wall_clock_time = 0.005s
0.09/0.13 c #decision = 170
0.09/0.13 c #random_decision = 1
0.09/0.13 c #conflict = 47
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: relaxing 19 and merging with 7 cores into a new core of size 96: cost of the new core is >=24
0.09/0.13 c lower bound updated to -211
0.09/0.13 c BCD2: 71 <= obj <= 314
0.09/0.13 c BCD2: #cores=31, #unrelaxed=87, #relaxed=347, #hardened=1
0.09/0.13 c BCD2: #sat=2 #unsat=68 bias=68/70
0.09/0.13 c Solving starts ...
0.09/0.13 c ============================[ Search Statistics ]============================
0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.13 c | | | | Limit GC | Var | Constra
0.09/0.13 c =============================================================================
0.09/0.13 c 0.0s | 0 | 0 | 0 | 311 0 | 53 | 51
0.09/0.15 c 0.0s | 1 | 231 | 100 | 343 0 | 53 | 68
0.09/0.18 c 0.1s | 2 | 565 | 250 | 378 0 | 53 | 68
0.19/0.23 c 0.1s | 3 | 1106 | 475 | 416 0 | 53 | 68
0.19/0.29 c 0.2s | 4 | 2053 | 813 | 458 1 | 53 | 68
0.28/0.32 c 0.2s | 4 | 2367 | 956 | 458 2 | 53 | 68
0.28/0.32 c #cpu_time = 0.189s
0.28/0.32 c #wall_clock_time = 0.192s
0.28/0.32 c #decision = 2367
0.28/0.32 c #random_decision = 7
0.28/0.32 c #conflict = 956
0.28/0.32 c #restart = 4
0.28/0.32 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 15: cost of the new core is >=5
0.28/0.32 c lower bound updated to -209
0.28/0.32 c BCD2: 73 <= obj <= 314
0.28/0.32 c BCD2: #cores=30, #unrelaxed=87, #relaxed=347, #hardened=1
0.28/0.32 c BCD2: #sat=2 #unsat=69 bias=69/71
0.28/0.32 c Solving starts ...
0.28/0.32 c ============================[ Search Statistics ]============================
0.28/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.28/0.32 c | | | | Limit GC | Var | Constra
0.28/0.32 c =============================================================================
0.28/0.32 c 0.0s | 0 | 0 | 0 | 458 0 | 56 | 68
0.28/0.35 c 0.0s | 1 | 357 | 100 | 458 0 | 56 | 72
0.28/0.38 c 0.1s | 2 | 665 | 250 | 458 1 | 56 | 72
0.39/0.42 c 0.1s | 2 | 995 | 400 | 504 1 | 56 | 72
0.39/0.42 c #cpu_time = 0.092s
0.39/0.42 c #wall_clock_time = 0.093s
0.39/0.42 c #decision = 995
0.39/0.42 c #random_decision = 4
0.39/0.42 c #conflict = 400
0.39/0.42 c #restart = 2
0.39/0.42 c BCD2: relaxing 4 and merging with 2 cores into a new core of size 23: cost of the new core is >=7
0.39/0.42 c lower bound updated to -208
0.39/0.42 c BCD2: 74 <= obj <= 314
0.39/0.42 c BCD2: #cores=29, #unrelaxed=83, #relaxed=351, #hardened=1
0.39/0.42 c BCD2: #sat=2 #unsat=70 bias=70/72
0.39/0.42 c Solving starts ...
0.39/0.42 c ============================[ Search Statistics ]============================
0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.42 c | | | | Limit GC | Var | Constra
0.39/0.42 c =============================================================================
0.39/0.42 c 0.0s | 0 | 0 | 0 | 504 0 | 59 | 72
0.39/0.42 c 0.0s | 0 | 154 | 5 | 504 0 | 59 | 76
0.39/0.42 c #cpu_time = 0.005s
0.39/0.42 c #wall_clock_time = 0.005s
0.39/0.42 c #decision = 154
0.39/0.42 c #random_decision = 0
0.39/0.42 c #conflict = 5
0.39/0.42 c #restart = 0
0.39/0.42 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 31: cost of the new core is >=10
0.39/0.42 c lower bound updated to -206
0.39/0.42 c BCD2: 76 <= obj <= 314
0.39/0.42 c BCD2: #cores=28, #unrelaxed=80, #relaxed=354, #hardened=1
0.39/0.42 c BCD2: #sat=2 #unsat=71 bias=71/73
0.39/0.42 c Solving starts ...
0.39/0.42 c ============================[ Search Statistics ]============================
0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.42 c | | | | Limit GC | Var | Constra
0.39/0.42 c =============================================================================
0.39/0.42 c 0.0s | 0 | 0 | 0 | 504 0 | 62 | 76
0.39/0.44 c 0.0s | 1 | 263 | 100 | 504 0 | 62 | 80
0.39/0.48 c 0.1s | 2 | 603 | 250 | 504 1 | 62 | 80
0.49/0.54 c 0.1s | 3 | 1010 | 475 | 504 1 | 62 | 80
0.59/0.62 c 0.2s | 4 | 1624 | 813 | 555 2 | 62 | 80
0.69/0.74 c 0.3s | 5 | 2397 | 1320 | 555 3 | 62 | 80
0.89/0.91 c 0.5s | 6 | 3587 | 2081 | 611 5 | 62 | 80
1.09/1.18 c 0.8s | 7 | 5473 | 3223 | 611 8 | 62 | 80
1.49/1.55 c 1.1s | 8 | 8394 | 4936 | 673 11 | 62 | 80
1.99/2.07 c 1.6s | 9 | 12223 | 7506 | 741 16 | 62 | 80
2.59/2.69 c 2.3s | 10 | 17976 | 11361 | 816 23 | 62 | 80
3.59/3.64 c 3.2s | 11 | 26933 | 17144 | 898 33 | 62 | 80
4.99/5.02 c 4.6s | 12 | 40258 | 25819 | 988 48 | 62 | 80
6.99/7.03 c 6.6s | 12 | 58355 | 37019 | 988 65 | 62 | 80
7.29/7.38 c 7.0s | 13 | 61457 | 38832 | 1087 68 | 62 | 80
9.29/9.39 c 9.0s | 13 | 79645 | 50532 | 1087 84 | 62 | 80
10.79/10.90 c 10.5s | 14 | 91386 | 58352 | 1196 95 | 62 | 80
12.89/12.91 c 12.5s | 14 | 110673 | 69652 | 1196 111 | 62 | 80
14.88/14.91 c 14.5s | 14 | 127008 | 80352 | 1196 125 | 62 | 80
16.18/16.21 c 15.8s | 15 | 139403 | 87632 | 1316 134 | 62 | 80
18.18/18.21 c 17.8s | 15 | 157345 | 98332 | 1316 148 | 62 | 80
20.18/20.23 c 19.8s | 15 | 174466 | 108632 | 1316 160 | 62 | 80
22.18/22.23 c 21.8s | 15 | 190052 | 118032 | 1316 172 | 62 | 80
24.19/24.25 c 23.8s | 15 | 205643 | 127532 | 1316 184 | 62 | 80
25.08/25.14 c 24.7s | 16 | 210731 | 131552 | 1448 188 | 62 | 80
26.49/26.55 c 26.1s | 16 | 223042 | 138965 | 1448 197 | 62 | 80
26.49/26.55 c #cpu_time = 26.064s
26.49/26.55 c #wall_clock_time = 26.131s
26.49/26.55 c #decision = 223042
26.49/26.55 c #random_decision = 667
26.49/26.55 c #conflict = 138965
26.49/26.55 c #restart = 16
26.49/26.55 c BCD2: relaxing 17 and merging with 7 cores into a new core of size 88: cost of the new core is >=19
26.49/26.55 c lower bound updated to -205
26.49/26.56 c BCD2: 77 <= obj <= 314
26.49/26.56 c BCD2: #cores=22, #unrelaxed=63, #relaxed=371, #hardened=1
26.49/26.56 c BCD2: #sat=2 #unsat=72 bias=72/74
26.49/26.56 c Solving starts ...
26.49/26.56 c ============================[ Search Statistics ]============================
26.49/26.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.49/26.56 c | | | | Limit GC | Var | Constra
26.49/26.56 c =============================================================================
26.49/26.56 c 0.0s | 0 | 0 | 0 | 1448 0 | 75 | 80
26.49/26.57 c 0.0s | 1 | 254 | 100 | 1448 0 | 75 | 99
26.58/26.60 c 0.0s | 2 | 562 | 250 | 1448 0 | 75 | 99
26.58/26.63 c 0.1s | 3 | 1155 | 475 | 1448 0 | 75 | 99
26.68/26.70 c 0.1s | 4 | 1879 | 813 | 1448 0 | 75 | 99
26.78/26.80 c 0.2s | 5 | 2867 | 1320 | 1448 1 | 75 | 99
26.88/26.90 c 0.3s | 6 | 3965 | 2081 | 1448 2 | 75 | 99
26.98/27.07 c 0.5s | 7 | 5393 | 3223 | 1448 3 | 75 | 99
27.28/27.37 c 0.8s | 8 | 7423 | 4936 | 1448 5 | 75 | 99
27.78/27.82 c 1.3s | 9 | 10683 | 7506 | 1448 8 | 75 | 99
28.38/28.49 c 1.9s | 10 | 15458 | 11361 | 1448 13 | 75 | 99
29.48/29.52 c 3.0s | 11 | 22631 | 17144 | 1448 20 | 75 | 99
31.08/31.17 c 4.6s | 12 | 32766 | 25819 | 1448 30 | 75 | 99
33.09/33.18 c 6.6s | 12 | 46980 | 36919 | 1448 43 | 75 | 99
33.48/33.54 c 7.0s | 13 | 49390 | 38832 | 1448 45 | 75 | 99
35.48/35.55 c 9.0s | 13 | 64384 | 50432 | 1448 59 | 75 | 99
36.88/36.99 c 10.4s | 14 | 74034 | 58352 | 1593 68 | 75 | 99
38.98/39.01 c 12.5s | 14 | 90204 | 70352 | 1593 80 | 75 | 99
40.98/41.02 c 14.5s | 14 | 103598 | 80752 | 1593 91 | 75 | 99
42.49/42.52 c 16.0s | 15 | 113090 | 87632 | 1593 97 | 75 | 99
44.49/44.52 c 18.0s | 15 | 130725 | 99332 | 1593 110 | 75 | 99
46.48/46.52 c 20.0s | 15 | 145131 | 109632 | 1593 121 | 75 | 99
48.49/48.53 c 22.0s | 15 | 159892 | 120232 | 1593 133 | 75 | 99
50.48/50.54 c 24.0s | 15 | 175397 | 130832 | 1593 144 | 75 | 99
50.59/50.68 c 24.1s | 16 | 176268 | 131552 | 1593 145 | 75 | 99
52.58/52.69 c 26.1s | 16 | 193587 | 143252 | 1593 158 | 75 | 99
54.68/54.71 c 28.2s | 16 | 210680 | 154652 | 1753 170 | 75 | 99
56.68/56.72 c 30.2s | 16 | 223395 | 164552 | 1753 180 | 75 | 99
58.68/58.72 c 32.2s | 16 | 238017 | 175252 | 1753 191 | 75 | 99
60.68/60.74 c 34.2s | 16 | 253343 | 185852 | 1753 201 | 75 | 99
62.69/62.76 c 36.2s | 16 | 268000 | 195952 | 1753 212 | 75 | 99
62.98/63.07 c 36.5s | 17 | 270369 | 197432 | 1753 213 | 75 | 99
64.99/65.08 c 38.5s | 17 | 286593 | 207832 | 1753 223 | 75 | 99
66.98/67.09 c 40.5s | 17 | 299428 | 217732 | 1753 233 | 75 | 99
69.08/69.11 c 42.6s | 17 | 312147 | 227232 | 1753 243 | 75 | 99
71.08/71.13 c 44.6s | 17 | 326804 | 237132 | 1753 253 | 75 | 99
73.08/73.14 c 46.6s | 17 | 342202 | 247032 | 1753 263 | 75 | 99
75.08/75.15 c 48.6s | 17 | 355768 | 256332 | 1753 272 | 75 | 99
77.08/77.17 c 50.6s | 17 | 371344 | 266032 | 1753 282 | 75 | 99
79.07/79.18 c 52.6s | 17 | 385456 | 276432 | 1753 291 | 75 | 99
81.17/81.20 c 54.6s | 17 | 397046 | 285432 | 1753 300 | 75 | 99
83.17/83.20 c 56.6s | 17 | 409542 | 294132 | 1753 308 | 75 | 99
83.68/83.77 c 57.2s | 18 | 412441 | 296252 | 1753 310 | 75 | 99
85.67/85.78 c 59.2s | 18 | 428774 | 307052 | 1929 320 | 75 | 99
87.67/87.79 c 61.2s | 18 | 443380 | 317152 | 1929 329 | 75 | 99
89.77/89.80 c 63.2s | 18 | 460361 | 328752 | 1929 340 | 75 | 99
91.77/91.81 c 65.3s | 18 | 475475 | 339352 | 1929 349 | 75 | 99
93.78/93.83 c 67.3s | 18 | 490842 | 349452 | 1929 358 | 75 | 99
95.79/95.84 c 69.3s | 18 | 506786 | 359552 | 1929 367 | 75 | 99
97.78/97.85 c 71.3s | 18 | 517951 | 368052 | 1929 374 | 75 | 99
99.78/99.86 c 73.3s | 18 | 527840 | 375952 | 1929 381 | 75 | 99
101.78/101.87 c 75.3s | 18 | 538052 | 383952 | 1929 388 | 75 | 99
103.78/103.89 c 77.3s | 18 | 547881 | 391752 | 1929 395 | 75 | 99
105.87/105.90 c 79.3s | 18 | 561315 | 402152 | 1929 404 | 75 | 99
107.78/107.90 c 81.3s | 18 | 574121 | 411552 | 1929 412 | 75 | 99
109.87/109.90 c 83.3s | 18 | 587288 | 421352 | 1929 421 | 75 | 99
111.87/111.91 c 85.4s | 18 | 599861 | 430452 | 1929 429 | 75 | 99
113.87/113.93 c 87.4s | 18 | 612034 | 439152 | 1929 437 | 75 | 99
114.97/115.07 c 88.5s | 19 | 619123 | 444482 | 1929 442 | 75 | 99
117.07/117.10 c 90.5s | 19 | 631716 | 454182 | 1929 451 | 75 | 99
119.07/119.12 c 92.6s | 19 | 642613 | 461382 | 1929 457 | 75 | 99
121.08/121.13 c 94.6s | 19 | 652580 | 468282 | 1929 463 | 75 | 99
123.07/123.14 c 96.6s | 19 | 667020 | 479082 | 1929 473 | 75 | 99
125.07/125.15 c 98.6s | 19 | 681221 | 489682 | 1929 483 | 75 | 99
127.07/127.16 c 100s | 19 | 694175 | 499682 | 1929 492 | 75 | 99
129.07/129.16 c 102s | 19 | 704777 | 507782 | 1929 498 | 75 | 99
131.07/131.18 c 104s | 19 | 716235 | 516382 | 1929 506 | 75 | 99
133.07/133.19 c 106s | 19 | 728640 | 525882 | 2122 514 | 75 | 99
135.17/135.20 c 108s | 19 | 740279 | 534982 | 2122 521 | 75 | 99
137.17/137.21 c 110s | 19 | 752872 | 544282 | 2122 528 | 75 | 99
139.17/139.23 c 112s | 19 | 765549 | 553782 | 2122 536 | 75 | 99
141.17/141.24 c 114s | 19 | 777728 | 562882 | 2122 543 | 75 | 99
143.17/143.25 c 116s | 19 | 789451 | 571382 | 2122 550 | 75 | 99
145.17/145.26 c 118s | 19 | 800588 | 579682 | 2122 556 | 75 | 99
147.16/147.27 c 120s | 19 | 812966 | 588682 | 2122 564 | 75 | 99
149.16/149.27 c 122s | 19 | 825010 | 597182 | 2122 570 | 75 | 99
151.16/151.30 c 124s | 19 | 836647 | 606182 | 2122 578 | 75 | 99
153.26/153.30 c 126s | 19 | 848547 | 615282 | 2122 585 | 75 | 99
155.26/155.30 c 128s | 19 | 863122 | 625482 | 2122 594 | 75 | 99
157.27/157.31 c 130s | 19 | 875094 | 634082 | 2122 601 | 75 | 99
159.26/159.32 c 132s | 19 | 887882 | 642782 | 2122 608 | 75 | 99
161.26/161.35 c 134s | 19 | 899883 | 651382 | 2122 615 | 75 | 99
163.26/163.38 c 136s | 19 | 914248 | 660982 | 2122 624 | 75 | 99
164.57/164.66 c 138s | 20 | 923237 | 666827 | 2122 628 | 75 | 99
166.57/166.66 c 140s | 20 | 940150 | 677627 | 2122 638 | 75 | 99
168.57/168.66 c 142s | 20 | 956355 | 688227 | 2122 647 | 75 | 99
170.57/170.67 c 144s | 20 | 972101 | 698327 | 2122 655 | 75 | 99
172.57/172.67 c 146s | 20 | 985532 | 707427 | 2122 663 | 75 | 99
174.56/174.69 c 148s | 20 | 999161 | 717227 | 2122 671 | 75 | 99
176.66/176.70 c 150s | 20 | 1016026 | 728227 | 2122 680 | 75 | 99
178.66/178.71 c 152s | 20 | 1032404 | 738427 | 2122 689 | 75 | 99
180.66/180.71 c 154s | 20 | 1049691 | 748927 | 2122 698 | 75 | 99
182.67/182.72 c 156s | 20 | 1063874 | 758527 | 2122 706 | 75 | 99
184.66/184.74 c 158s | 20 | 1078992 | 768527 | 2122 715 | 75 | 99
186.66/186.75 c 160s | 20 | 1097295 | 779427 | 2122 724 | 75 | 99
188.66/188.77 c 162s | 20 | 1113073 | 789427 | 2122 732 | 75 | 99
190.66/190.78 c 164s | 20 | 1129269 | 800827 | 2122 742 | 75 | 99
192.66/192.79 c 166s | 20 | 1144654 | 810727 | 2122 749 | 75 | 99
194.76/194.81 c 168s | 20 | 1158692 | 820327 | 2122 757 | 75 | 99
196.76/196.82 c 170s | 20 | 1171433 | 829027 | 2122 764 | 75 | 99
198.75/198.82 c 172s | 20 | 1182150 | 836427 | 2122 770 | 75 | 99
200.75/200.86 c 174s | 20 | 1192267 | 843027 | 2122 775 | 75 | 99
202.75/202.88 c 176s | 20 | 1204533 | 850427 | 2122 781 | 75 | 99
204.85/204.90 c 178s | 20 | 1215323 | 857027 | 2335 786 | 75 | 99
206.86/206.93 c 180s | 20 | 1225614 | 863327 | 2335 791 | 75 | 99
208.85/208.94 c 182s | 20 | 1235789 | 869427 | 2335 795 | 75 | 99
210.85/210.94 c 184s | 20 | 1245237 | 875627 | 2335 800 | 75 | 99
212.85/212.96 c 186s | 20 | 1255361 | 881727 | 2335 804 | 75 | 99
214.85/214.97 c 188s | 20 | 1262618 | 887027 | 2335 808 | 75 | 99
216.85/216.98 c 190s | 20 | 1270777 | 893227 | 2335 813 | 75 | 99
218.86/219.00 c 192s | 20 | 1279541 | 899527 | 2335 817 | 75 | 99
220.95/221.02 c 194s | 20 | 1288742 | 905627 | 2335 822 | 75 | 99
222.95/223.05 c 196s | 20 | 1300026 | 912927 | 2335 827 | 75 | 99
224.95/225.07 c 198s | 20 | 1309617 | 919227 | 2335 832 | 75 | 99
226.95/227.08 c 200s | 20 | 1318496 | 925027 | 2335 836 | 75 | 99
229.05/229.10 c 202s | 20 | 1327585 | 930927 | 2335 841 | 75 | 99
231.06/231.13 c 204s | 20 | 1336251 | 937127 | 2335 845 | 75 | 99
233.06/233.14 c 206s | 20 | 1345342 | 943127 | 2335 850 | 75 | 99
235.06/235.18 c 208s | 20 | 1355293 | 949427 | 2335 854 | 75 | 99
237.06/237.19 c 210s | 20 | 1364377 | 955527 | 2335 859 | 75 | 99
239.16/239.21 c 212s | 20 | 1371597 | 960927 | 2335 863 | 75 | 99
241.16/241.22 c 214s | 20 | 1381532 | 967627 | 2335 868 | 75 | 99
243.16/243.25 c 216s | 20 | 1390532 | 974027 | 2335 872 | 75 | 99
245.16/245.26 c 218s | 20 | 1399338 | 980627 | 2335 877 | 75 | 99
247.16/247.27 c 220s | 20 | 1406955 | 986627 | 2335 882 | 75 | 99
249.16/249.28 c 222s | 20 | 1414732 | 992127 | 2335 886 | 75 | 99
251.25/251.31 c 224s | 20 | 1423892 | 998127 | 2335 890 | 75 | 99
251.86/251.96 c 225s | 21 | 1426821 | 1000345 | 2335 892 | 75 | 99
253.85/253.97 c 227s | 21 | 1444041 | 1011345 | 2335 900 | 75 | 99
255.85/255.99 c 229s | 21 | 1461930 | 1022545 | 2335 909 | 75 | 99
257.95/258.00 c 231s | 21 | 1478647 | 1033245 | 2335 917 | 75 | 99
259.95/260.02 c 233s | 21 | 1495209 | 1043845 | 2335 926 | 75 | 99
261.95/262.03 c 235s | 21 | 1512326 | 1054345 | 2335 934 | 75 | 99
263.96/264.04 c 237s | 21 | 1528930 | 1064545 | 2335 942 | 75 | 99
265.95/266.04 c 239s | 21 | 1543604 | 1074745 | 2335 949 | 75 | 99
267.95/268.04 c 241s | 21 | 1557987 | 1084345 | 2335 957 | 75 | 99
269.95/270.05 c 243s | 21 | 1575138 | 1094745 | 2335 965 | 75 | 99
271.95/272.05 c 245s | 21 | 1592427 | 1105345 | 2335 973 | 75 | 99
273.96/274.06 c 247s | 21 | 1609523 | 1116145 | 2335 981 | 75 | 99
275.95/276.08 c 249s | 21 | 1623287 | 1126045 | 2335 989 | 75 | 99
277.95/278.08 c 251s | 21 | 1636598 | 1135745 | 2335 996 | 75 | 99
279.95/280.08 c 253s | 21 | 1649447 | 1144945 | 2335 1003 | 75 | 99
282.05/282.11 c 255s | 21 | 1663640 | 1155345 | 2335 1011 | 75 | 99
284.04/284.12 c 257s | 21 | 1676538 | 1164445 | 2335 1017 | 75 | 99
286.05/286.14 c 259s | 21 | 1689465 | 1173445 | 2335 1024 | 75 | 99
288.04/288.14 c 261s | 21 | 1701366 | 1181245 | 2335 1030 | 75 | 99
290.04/290.15 c 263s | 21 | 1713239 | 1189245 | 2335 1036 | 75 | 99
292.04/292.16 c 265s | 21 | 1723933 | 1196845 | 2335 1041 | 75 | 99
294.04/294.17 c 267s | 21 | 1734736 | 1204145 | 2335 1047 | 75 | 99
296.04/296.18 c 269s | 21 | 1746903 | 1211945 | 2335 1052 | 75 | 99
298.05/298.18 c 271s | 21 | 1757791 | 1219345 | 2335 1058 | 75 | 99
300.04/300.18 c 273s | 21 | 1769663 | 1226845 | 2335 1063 | 75 | 99
302.14/302.21 c 275s | 21 | 1780457 | 1234045 | 2335 1069 | 75 | 99
304.14/304.22 c 277s | 21 | 1792909 | 1242245 | 2335 1075 | 75 | 99
306.14/306.23 c 279s | 21 | 1804158 | 1249545 | 2335 1080 | 75 | 99
308.14/308.24 c 281s | 21 | 1815952 | 1257645 | 2335 1086 | 75 | 99
310.14/310.25 c 283s | 21 | 1827405 | 1265645 | 2335 1092 | 75 | 99
312.15/312.29 c 285s | 21 | 1842472 | 1274345 | 2335 1098 | 75 | 99
314.24/314.30 c 287s | 21 | 1853324 | 1282145 | 2335 1104 | 75 | 99
316.24/316.31 c 289s | 21 | 1866498 | 1291545 | 2335 1111 | 75 | 99
318.24/318.33 c 291s | 21 | 1877940 | 1300645 | 2335 1118 | 75 | 99
320.24/320.34 c 293s | 21 | 1891576 | 1310745 | 2335 1126 | 75 | 99
322.25/322.35 c 295s | 21 | 1905591 | 1320645 | 2335 1134 | 75 | 99
324.24/324.37 c 297s | 21 | 1920501 | 1330445 | 2335 1141 | 75 | 99
326.24/326.37 c 299s | 21 | 1935323 | 1340445 | 2335 1149 | 75 | 99
328.24/328.39 c 301s | 21 | 1950061 | 1350645 | 2569 1157 | 75 | 99
330.24/330.39 c 303s | 21 | 1963911 | 1360345 | 2569 1164 | 75 | 99
332.24/332.40 c 305s | 21 | 1977057 | 1369345 | 2569 1170 | 75 | 99
334.34/334.40 c 307s | 21 | 1991347 | 1379345 | 2569 1177 | 75 | 99
336.34/336.41 c 309s | 21 | 2004353 | 1389045 | 2569 1184 | 75 | 99
338.34/338.43 c 311s | 21 | 2017550 | 1398745 | 2569 1191 | 75 | 99
340.34/340.44 c 313s | 21 | 2031624 | 1408345 | 2569 1198 | 75 | 99
342.34/342.44 c 315s | 21 | 2045758 | 1418145 | 2569 1205 | 75 | 99
344.34/344.45 c 317s | 21 | 2060026 | 1427945 | 2569 1211 | 75 | 99
346.33/346.45 c 319s | 21 | 2073614 | 1437045 | 2569 1218 | 75 | 99
348.33/348.46 c 321s | 21 | 2087295 | 1446745 | 2569 1225 | 75 | 99
350.33/350.47 c 323s | 21 | 2101916 | 1456145 | 2569 1231 | 75 | 99
352.33/352.47 c 325s | 21 | 2116965 | 1465845 | 2569 1238 | 75 | 99
354.33/354.49 c 327s | 21 | 2132660 | 1476045 | 2569 1246 | 75 | 99
356.34/356.50 c 329s | 21 | 2147792 | 1485545 | 2569 1252 | 75 | 99
358.43/358.50 c 331s | 21 | 2161661 | 1495145 | 2569 1259 | 75 | 99
359.64/359.73 c 333s | 22 | 2168854 | 1500622 | 2569 1263 | 75 | 99
361.63/361.73 c 335s | 22 | 2181648 | 1509222 | 2569 1268 | 75 | 99
363.63/363.74 c 337s | 22 | 2192032 | 1516922 | 2569 1274 | 75 | 99
365.63/365.74 c 339s | 22 | 2201995 | 1524222 | 2569 1278 | 75 | 99
367.63/367.76 c 341s | 22 | 2211886 | 1531522 | 2569 1283 | 75 | 99
369.64/369.78 c 343s | 22 | 2221145 | 1538622 | 2569 1288 | 75 | 99
371.63/371.79 c 345s | 22 | 2231000 | 1546022 | 2569 1293 | 75 | 99
373.73/373.80 c 347s | 22 | 2240128 | 1552722 | 2569 1298 | 75 | 99
375.73/375.80 c 349s | 22 | 2250750 | 1560322 | 2569 1303 | 75 | 99
377.73/377.84 c 351s | 22 | 2260602 | 1567622 | 2569 1308 | 75 | 99
379.73/379.87 c 353s | 22 | 2269704 | 1574522 | 2569 1312 | 75 | 99
381.83/381.92 c 355s | 22 | 2278601 | 1581422 | 2569 1317 | 75 | 99
383.83/383.95 c 357s | 22 | 2287140 | 1587922 | 2569 1321 | 75 | 99
385.83/385.96 c 359s | 22 | 2296235 | 1594722 | 2569 1326 | 75 | 99
387.83/387.98 c 361s | 22 | 2306012 | 1601922 | 2569 1331 | 75 | 99
389.93/390.00 c 363s | 22 | 2315808 | 1609122 | 2569 1335 | 75 | 99
391.93/392.02 c 365s | 22 | 2324898 | 1615722 | 2569 1340 | 75 | 99
393.93/394.04 c 367s | 22 | 2333620 | 1622422 | 2569 1344 | 75 | 99
395.94/396.05 c 369s | 22 | 2341736 | 1628722 | 2569 1348 | 75 | 99
397.93/398.06 c 371s | 22 | 2350149 | 1635222 | 2569 1353 | 75 | 99
399.93/400.06 c 373s | 22 | 2359429 | 1642422 | 2569 1358 | 75 | 99
401.93/402.09 c 375s | 22 | 2368574 | 1649722 | 2569 1363 | 75 | 99
403.93/404.09 c 377s | 22 | 2378871 | 1657522 | 2569 1368 | 75 | 99
406.02/406.10 c 379s | 22 | 2389671 | 1665722 | 2569 1373 | 75 | 99
408.03/408.11 c 381s | 22 | 2400023 | 1673522 | 2569 1379 | 75 | 99
410.02/410.12 c 383s | 22 | 2410417 | 1681722 | 2569 1384 | 75 | 99
412.02/412.13 c 385s | 22 | 2422639 | 1690422 | 2569 1390 | 75 | 99
414.02/414.13 c 387s | 22 | 2433330 | 1698322 | 2569 1395 | 75 | 99
416.02/416.15 c 389s | 22 | 2444360 | 1705722 | 2569 1400 | 75 | 99
418.03/418.15 c 391s | 22 | 2455217 | 1714322 | 2569 1406 | 75 | 99
420.02/420.16 c 393s | 22 | 2465215 | 1721822 | 2569 1411 | 75 | 99
422.02/422.17 c 395s | 22 | 2474824 | 1728922 | 2569 1416 | 75 | 99
424.12/424.20 c 397s | 22 | 2484467 | 1736022 | 2569 1421 | 75 | 99
426.12/426.23 c 399s | 22 | 2493982 | 1743022 | 2569 1425 | 75 | 99
428.12/428.25 c 401s | 22 | 2503923 | 1750122 | 2569 1430 | 75 | 99
430.13/430.26 c 403s | 22 | 2513677 | 1757122 | 2569 1435 | 75 | 99
432.12/432.29 c 405s | 22 | 2522791 | 1764122 | 2569 1439 | 75 | 99
434.22/434.32 c 407s | 22 | 2532008 | 1771222 | 2569 1444 | 75 | 99
436.22/436.32 c 409s | 22 | 2540852 | 1777922 | 2569 1449 | 75 | 99
438.22/438.33 c 411s | 22 | 2549655 | 1784822 | 2569 1453 | 75 | 99
440.22/440.35 c 413s | 22 | 2559582 | 1792022 | 2569 1458 | 75 | 99
442.22/442.35 c 415s | 22 | 2568007 | 1798622 | 2569 1463 | 75 | 99
444.23/444.37 c 417s | 22 | 2576918 | 1805322 | 2569 1467 | 75 | 99
446.33/446.40 c 419s | 22 | 2585337 | 1811922 | 2569 1472 | 75 | 99
448.32/448.41 c 421s | 22 | 2593494 | 1818322 | 2569 1476 | 75 | 99
450.32/450.43 c 423s | 22 | 2602296 | 1825022 | 2569 1480 | 75 | 99
452.32/452.43 c 425s | 22 | 2610535 | 1831422 | 2569 1485 | 75 | 99
454.33/454.46 c 427s | 22 | 2618928 | 1837722 | 2569 1489 | 75 | 99
456.32/456.48 c 429s | 22 | 2627169 | 1844022 | 2569 1493 | 75 | 99
458.42/458.51 c 431s | 22 | 2634875 | 1850122 | 2569 1497 | 75 | 99
460.42/460.51 c 433s | 22 | 2643843 | 1856822 | 2569 1502 | 75 | 99
462.42/462.51 c 435s | 22 | 2652180 | 1863322 | 2569 1506 | 75 | 99
464.42/464.53 c 437s | 22 | 2661177 | 1870122 | 2569 1511 | 75 | 99
466.43/466.53 c 439s | 22 | 2670392 | 1877022 | 2569 1515 | 75 | 99
468.42/468.54 c 441s | 22 | 2678969 | 1883722 | 2569 1520 | 75 | 99
470.42/470.55 c 443s | 22 | 2687451 | 1890222 | 2569 1524 | 75 | 99
472.42/472.55 c 445s | 22 | 2695749 | 1896422 | 2569 1528 | 75 | 99
474.41/474.57 c 448s | 22 | 2704406 | 1903022 | 2569 1533 | 75 | 99
476.41/476.57 c 450s | 22 | 2713210 | 1909622 | 2569 1537 | 75 | 99
478.42/478.57 c 452s | 22 | 2730364 | 1918922 | 2569 1544 | 75 | 99
480.41/480.57 c 454s | 22 | 2745862 | 1928422 | 2569 1551 | 75 | 99
482.41/482.60 c 456s | 22 | 2759442 | 1936822 | 2569 1557 | 75 | 99
484.51/484.60 c 458s | 22 | 2774037 | 1946222 | 2569 1563 | 75 | 99
486.51/486.60 c 460s | 22 | 2788285 | 1954822 | 2569 1569 | 75 | 99
488.51/488.61 c 462s | 22 | 2801156 | 1963222 | 2569 1575 | 75 | 99
490.52/490.62 c 464s | 22 | 2814737 | 1971822 | 2569 1581 | 75 | 99
492.51/492.63 c 466s | 22 | 2827998 | 1981322 | 2569 1588 | 75 | 99
494.51/494.65 c 468s | 22 | 2840692 | 1991422 | 2569 1595 | 75 | 99
496.51/496.66 c 470s | 22 | 2854192 | 2001922 | 2569 1602 | 75 | 99
498.51/498.66 c 472s | 22 | 2865871 | 2011222 | 2569 1608 | 75 | 99
500.52/500.67 c 474s | 22 | 2876516 | 2019922 | 2569 1614 | 75 | 99
502.51/502.70 c 476s | 22 | 2888024 | 2029422 | 2569 1620 | 75 | 99
504.61/504.70 c 478s | 22 | 2899583 | 2038822 | 2569 1627 | 75 | 99
506.61/506.73 c 480s | 22 | 2911624 | 2048422 | 2569 1633 | 75 | 99
508.61/508.74 c 482s | 22 | 2922274 | 2057122 | 2569 1639 | 75 | 99
510.61/510.75 c 484s | 22 | 2934689 | 2066922 | 2569 1646 | 75 | 99
512.61/512.77 c 486s | 22 | 2946698 | 2076322 | 2569 1652 | 75 | 99
514.61/514.78 c 488s | 22 | 2956988 | 2084522 | 2569 1657 | 75 | 99
516.61/516.78 c 490s | 22 | 2968352 | 2093522 | 2569 1664 | 75 | 99
518.61/518.79 c 492s | 22 | 2977891 | 2101222 | 2826 1668 | 75 | 99
520.71/520.80 c 494s | 22 | 2987081 | 2108722 | 2826 1673 | 75 | 99
522.71/522.82 c 496s | 22 | 2995961 | 2116022 | 2826 1677 | 75 | 99
524.72/524.84 c 498s | 22 | 3005174 | 2123222 | 2826 1682 | 75 | 99
526.71/526.84 c 500s | 22 | 3015224 | 2131022 | 2826 1687 | 75 | 99
528.71/528.85 c 502s | 22 | 3028430 | 2140522 | 2826 1693 | 75 | 99
530.71/530.86 c 504s | 22 | 3039498 | 2149022 | 2826 1698 | 75 | 99
532.71/532.87 c 506s | 22 | 3049256 | 2156522 | 2826 1703 | 75 | 99
534.71/534.87 c 508s | 22 | 3059632 | 2164122 | 2826 1708 | 75 | 99
536.72/536.88 c 510s | 22 | 3070483 | 2171822 | 2826 1713 | 75 | 99
538.81/538.91 c 512s | 22 | 3078565 | 2178122 | 2826 1717 | 75 | 99
540.81/540.93 c 514s | 22 | 3087414 | 2185022 | 2826 1721 | 75 | 99
542.81/542.94 c 516s | 22 | 3100204 | 2194522 | 2826 1727 | 75 | 99
544.81/544.95 c 518s | 22 | 3111665 | 2203822 | 2826 1733 | 75 | 99
546.81/546.96 c 520s | 22 | 3122752 | 2212922 | 2826 1739 | 75 | 99
548.82/548.97 c 522s | 22 | 3133836 | 2221822 | 2826 1744 | 75 | 99
550.81/551.00 c 524s | 22 | 3143962 | 2230022 | 2826 1749 | 75 | 99
552.91/553.01 c 526s | 22 | 3154633 | 2238422 | 2826 1755 | 75 | 99
554.91/555.01 c 528s | 22 | 3165243 | 2246822 | 2826 1760 | 75 | 99
556.01/556.14 c 529s | 23 | 3170425 | 2251038 | 2826 1763 | 75 | 99
558.01/558.16 c 531s | 23 | 3183465 | 2261038 | 2826 1769 | 75 | 99
560.01/560.16 c 533s | 23 | 3194172 | 2270038 | 2826 1775 | 75 | 99
562.01/562.17 c 535s | 23 | 3204328 | 2278338 | 2826 1780 | 75 | 99
564.01/564.18 c 537s | 23 | 3213477 | 2285938 | 2826 1784 | 75 | 99
566.01/566.19 c 539s | 23 | 3222360 | 2293238 | 2826 1789 | 75 | 99
568.10/568.20 c 541s | 23 | 3230899 | 2300238 | 2826 1793 | 75 | 99
570.10/570.24 c 543s | 23 | 3239936 | 2307838 | 2826 1798 | 75 | 99
572.10/572.25 c 545s | 23 | 3248370 | 2315038 | 2826 1802 | 75 | 99
574.11/574.27 c 547s | 23 | 3256654 | 2322138 | 2826 1807 | 75 | 99
576.20/576.31 c 549s | 23 | 3264911 | 2329138 | 2826 1811 | 75 | 99
578.20/578.31 c 551s | 23 | 3273716 | 2336638 | 2826 1816 | 75 | 99
580.20/580.31 c 553s | 23 | 3283088 | 2344138 | 2826 1820 | 75 | 99
582.20/582.32 c 555s | 23 | 3292930 | 2352038 | 2826 1825 | 75 | 99
584.20/584.33 c 557s | 23 | 3302772 | 2359838 | 2826 1830 | 75 | 99
586.21/586.34 c 559s | 23 | 3311075 | 2366638 | 2826 1834 | 75 | 99
588.20/588.35 c 561s | 23 | 3319663 | 2373638 | 2826 1838 | 75 | 99
590.20/590.37 c 563s | 23 | 3328620 | 2380838 | 2826 1843 | 75 | 99
592.20/592.39 c 565s | 23 | 3337433 | 2387938 | 2826 1847 | 75 | 99
594.30/594.40 c 567s | 23 | 3345682 | 2394838 | 2826 1852 | 75 | 99
596.29/596.40 c 569s | 23 | 3353882 | 2401938 | 2826 1856 | 75 | 99
598.30/598.41 c 571s | 23 | 3363840 | 2410538 | 2826 1861 | 75 | 99
600.29/600.43 c 573s | 23 | 3374409 | 2419238 | 2826 1867 | 75 | 99
602.29/602.44 c 575s | 23 | 3384911 | 2427938 | 2826 1872 | 75 | 99
604.29/604.44 c 577s | 23 | 3394778 | 2436238 | 2826 1877 | 75 | 99
606.29/606.46 c 579s | 23 | 3404991 | 2444738 | 2826 1882 | 75 | 99
608.30/608.47 c 581s | 23 | 3414799 | 2452738 | 2826 1887 | 75 | 99
610.29/610.47 c 583s | 23 | 3423858 | 2460338 | 2826 1892 | 75 | 99
612.30/612.48 c 585s | 23 | 3431342 | 2466838 | 2826 1896 | 75 | 99
614.40/614.50 c 587s | 23 | 3441285 | 2475238 | 2826 1901 | 75 | 99
616.40/616.51 c 589s | 23 | 3450516 | 2483138 | 2826 1906 | 75 | 99
618.40/618.51 c 591s | 23 | 3458749 | 2490238 | 2826 1910 | 75 | 99
620.40/620.52 c 593s | 23 | 3468205 | 2498138 | 2826 1915 | 75 | 99
622.40/622.52 c 595s | 23 | 3478052 | 2506338 | 2826 1920 | 75 | 99
624.40/624.55 c 597s | 23 | 3488042 | 2514538 | 2826 1926 | 75 | 99
626.39/626.56 c 600s | 23 | 3498427 | 2522838 | 2826 1931 | 75 | 99
628.39/628.57 c 602s | 23 | 3507411 | 2530238 | 2826 1935 | 75 | 99
630.39/630.58 c 604s | 23 | 3517498 | 2538538 | 2826 1940 | 75 | 99
632.40/632.59 c 606s | 23 | 3527972 | 2546638 | 2826 1945 | 75 | 99
634.49/634.60 c 608s | 23 | 3537288 | 2554438 | 2826 1950 | 75 | 99
636.49/636.62 c 610s | 23 | 3546933 | 2562638 | 2826 1955 | 75 | 99
638.49/638.63 c 612s | 23 | 3555225 | 2569638 | 2826 1960 | 75 | 99
640.49/640.63 c 614s | 23 | 3563751 | 2576938 | 2826 1964 | 75 | 99
642.49/642.64 c 616s | 23 | 3572296 | 2584138 | 2826 1969 | 75 | 99
644.50/644.65 c 618s | 23 | 3580805 | 2591238 | 2826 1973 | 75 | 99
646.49/646.67 c 620s | 23 | 3588985 | 2598038 | 2826 1977 | 75 | 99
648.49/648.68 c 622s | 23 | 3597142 | 2604938 | 2826 1981 | 75 | 99
650.59/650.70 c 624s | 23 | 3606437 | 2612838 | 2826 1986 | 75 | 99
652.59/652.72 c 626s | 23 | 3616041 | 2621138 | 2826 1992 | 75 | 99
654.59/654.73 c 628s | 23 | 3625608 | 2629138 | 2826 1996 | 75 | 99
656.60/656.75 c 630s | 23 | 3636683 | 2637638 | 2826 2002 | 75 | 99
658.59/658.77 c 632s | 23 | 3648476 | 2646438 | 2826 2007 | 75 | 99
660.59/660.79 c 634s | 23 | 3660517 | 2654938 | 2826 2013 | 75 | 99
662.59/662.79 c 636s | 23 | 3670587 | 2662238 | 2826 2017 | 75 | 99
664.59/664.79 c 638s | 23 | 3681399 | 2669938 | 2826 2022 | 75 | 99
666.69/666.81 c 640s | 23 | 3693254 | 2677938 | 2826 2027 | 75 | 99
668.69/668.82 c 642s | 23 | 3705471 | 2686338 | 2826 2032 | 75 | 99
670.69/670.83 c 644s | 23 | 3717191 | 2694738 | 2826 2037 | 75 | 99
672.69/672.83 c 646s | 23 | 3727145 | 2702538 | 2826 2042 | 75 | 99
674.69/674.85 c 648s | 23 | 3736573 | 2709638 | 2826 2047 | 75 | 99
676.69/676.86 c 650s | 23 | 3747644 | 2717838 | 2826 2052 | 75 | 99
678.69/678.87 c 652s | 23 | 3758340 | 2725838 | 2826 2057 | 75 | 99
680.68/680.88 c 654s | 23 | 3769376 | 2733638 | 2826 2061 | 75 | 99
682.78/682.90 c 656s | 23 | 3779853 | 2741138 | 2826 2066 | 75 | 99
684.78/684.92 c 658s | 23 | 3790473 | 2748638 | 2826 2071 | 75 | 99
686.78/686.94 c 660s | 23 | 3800273 | 2755738 | 2826 2075 | 75 | 99
688.78/688.96 c 662s | 23 | 3809195 | 2762338 | 2826 2079 | 75 | 99
690.79/690.97 c 664s | 23 | 3820402 | 2769638 | 2826 2084 | 75 | 99
692.78/692.98 c 666s | 23 | 3830792 | 2777338 | 2826 2089 | 75 | 99
694.78/694.98 c 668s | 23 | 3841717 | 2785038 | 2826 2093 | 75 | 99
696.78/696.99 c 670s | 23 | 3851769 | 2792338 | 2826 2098 | 75 | 99
698.88/699.00 c 672s | 23 | 3862005 | 2799438 | 2826 2102 | 75 | 99
700.88/701.00 c 674s | 23 | 3871534 | 2806138 | 2826 2106 | 75 | 99
702.89/703.02 c 676s | 23 | 3879971 | 2812538 | 2826 2110 | 75 | 99
704.88/705.04 c 678s | 23 | 3888761 | 2819038 | 2826 2114 | 75 | 99
706.88/707.04 c 680s | 23 | 3897777 | 2825738 | 2826 2119 | 75 | 99
708.88/709.06 c 682s | 23 | 3908278 | 2833438 | 2826 2123 | 75 | 99
710.88/711.07 c 684s | 23 | 3918055 | 2841038 | 2826 2128 | 75 | 99
712.88/713.09 c 686s | 23 | 3926821 | 2848338 | 2826 2133 | 75 | 99
714.98/715.11 c 688s | 23 | 3935746 | 2855438 | 2826 2137 | 75 | 99
716.98/717.12 c 690s | 23 | 3944865 | 2862838 | 2826 2142 | 75 | 99
718.97/719.13 c 692s | 23 | 3954536 | 2870438 | 2826 2146 | 75 | 99
720.97/721.16 c 694s | 23 | 3964084 | 2877538 | 2826 2151 | 75 | 99
722.97/723.18 c 696s | 23 | 3974192 | 2885038 | 2826 2155 | 75 | 99
725.07/725.20 c 698s | 23 | 3983803 | 2892338 | 2826 2160 | 75 | 99
727.08/727.22 c 700s | 23 | 3992348 | 2899438 | 2826 2164 | 75 | 99
729.07/729.25 c 702s | 23 | 3999527 | 2905138 | 2826 2168 | 75 | 99
731.07/731.28 c 704s | 23 | 4008587 | 2911938 | 2826 2172 | 75 | 99
733.17/733.31 c 706s | 23 | 4017025 | 2918638 | 2826 2176 | 75 | 99
735.17/735.31 c 708s | 23 | 4025624 | 2925638 | 2826 2181 | 75 | 99
737.17/737.32 c 710s | 23 | 4034443 | 2933138 | 2826 2185 | 75 | 99
739.18/739.32 c 712s | 23 | 4043604 | 2940738 | 2826 2190 | 75 | 99
741.17/741.34 c 714s | 23 | 4053948 | 2948638 | 2826 2195 | 75 | 99
743.17/743.36 c 716s | 23 | 4062787 | 2956138 | 2826 2200 | 75 | 99
745.17/745.37 c 718s | 23 | 4072202 | 2963438 | 2826 2204 | 75 | 99
747.17/747.39 c 720s | 23 | 4081572 | 2970938 | 2826 2209 | 75 | 99
749.17/749.39 c 722s | 23 | 4090839 | 2977938 | 2826 2213 | 75 | 99
751.17/751.39 c 724s | 23 | 4098982 | 2984338 | 2826 2217 | 75 | 99
753.27/753.42 c 726s | 23 | 4107873 | 2991238 | 2826 2221 | 75 | 99
755.26/755.42 c 728s | 23 | 4118187 | 2998638 | 2826 2226 | 75 | 99
757.26/757.43 c 730s | 23 | 4127179 | 3005838 | 2826 2230 | 75 | 99
759.26/759.46 c 732s | 23 | 4136739 | 3013438 | 2826 2235 | 75 | 99
761.26/761.46 c 734s | 23 | 4145214 | 3020138 | 2826 2239 | 75 | 99
763.27/763.48 c 736s | 23 | 4153926 | 3027138 | 2826 2244 | 75 | 99
765.25/765.48 c 738s | 23 | 4163976 | 3035138 | 2826 2249 | 75 | 99
767.25/767.48 c 740s | 23 | 4174773 | 3043338 | 2826 2254 | 75 | 99
769.25/769.48 c 742s | 23 | 4184193 | 3050738 | 2826 2258 | 75 | 99
771.25/771.49 c 744s | 23 | 4194472 | 3058438 | 2826 2263 | 75 | 99
773.35/773.50 c 746s | 23 | 4203632 | 3065538 | 2826 2268 | 75 | 99
775.25/775.50 c 748s | 23 | 4212585 | 3072538 | 2826 2272 | 75 | 99
777.35/777.52 c 750s | 23 | 4221395 | 3079538 | 2826 2276 | 75 | 99
779.35/779.55 c 752s | 23 | 4229917 | 3086638 | 2826 2281 | 75 | 99
781.35/781.59 c 755s | 23 | 4238178 | 3093638 | 2826 2285 | 75 | 99
783.45/783.60 c 757s | 23 | 4245876 | 3099838 | 2826 2289 | 75 | 99
785.44/785.63 c 759s | 23 | 4253386 | 3106038 | 2826 2293 | 75 | 99
787.45/787.64 c 761s | 23 | 4261296 | 3112538 | 2826 2297 | 75 | 99
789.44/789.65 c 763s | 23 | 4273283 | 3121038 | 2826 2302 | 75 | 99
791.44/791.66 c 765s | 23 | 4285400 | 3129438 | 2826 2307 | 75 | 99
793.44/793.66 c 767s | 23 | 4297406 | 3137538 | 2826 2312 | 75 | 99
795.44/795.69 c 769s | 23 | 4309099 | 3145938 | 2826 2318 | 75 | 99
797.45/797.69 c 771s | 23 | 4322071 | 3155038 | 2826 2323 | 75 | 99
799.44/799.70 c 773s | 23 | 4334826 | 3163438 | 2826 2329 | 75 | 99
801.54/801.71 c 775s | 23 | 4346347 | 3171438 | 2826 2333 | 75 | 99
803.54/803.71 c 777s | 23 | 4357040 | 3179538 | 2826 2339 | 75 | 99
805.53/805.74 c 779s | 23 | 4368786 | 3187738 | 2826 2344 | 75 | 99
807.53/807.74 c 781s | 23 | 4377950 | 3194438 | 2826 2348 | 75 | 99
809.54/809.75 c 783s | 23 | 4389138 | 3202438 | 2826 2353 | 75 | 99
811.53/811.77 c 785s | 23 | 4400600 | 3210938 | 2826 2358 | 75 | 99
813.53/813.78 c 787s | 23 | 4411087 | 3219138 | 3109 2363 | 75 | 99
815.63/815.80 c 789s | 23 | 4422658 | 3227438 | 3109 2368 | 75 | 99
817.63/817.82 c 791s | 23 | 4433201 | 3235338 | 3109 2372 | 75 | 99
819.63/819.83 c 793s | 23 | 4443420 | 3242938 | 3109 2376 | 75 | 99
821.63/821.85 c 795s | 23 | 4454825 | 3250938 | 3109 2381 | 75 | 99
823.63/823.86 c 797s | 23 | 4465329 | 3258838 | 3109 2386 | 75 | 99
825.62/825.86 c 799s | 23 | 4477602 | 3267138 | 3109 2390 | 75 | 99
827.62/827.89 c 801s | 23 | 4486995 | 3274238 | 3109 2394 | 75 | 99
829.72/829.92 c 803s | 23 | 4497556 | 3281538 | 3109 2399 | 75 | 99
831.72/831.92 c 805s | 23 | 4505788 | 3288038 | 3109 2402 | 75 | 99
833.73/833.94 c 807s | 23 | 4516489 | 3295738 | 3109 2407 | 75 | 99
835.72/835.95 c 809s | 23 | 4525994 | 3302738 | 3109 2411 | 75 | 99
837.72/837.97 c 811s | 23 | 4534610 | 3309438 | 3109 2414 | 75 | 99
839.72/839.98 c 813s | 23 | 4545343 | 3317038 | 3109 2419 | 75 | 99
841.82/842.00 c 815s | 23 | 4555253 | 3324438 | 3109 2423 | 75 | 99
843.82/844.01 c 817s | 23 | 4564789 | 3331538 | 3109 2427 | 75 | 99
845.82/846.03 c 819s | 23 | 4574093 | 3338838 | 3109 2431 | 75 | 99
847.82/848.04 c 821s | 23 | 4584285 | 3346338 | 3109 2436 | 75 | 99
849.82/850.06 c 823s | 23 | 4593659 | 3353338 | 3109 2440 | 75 | 99
851.82/852.07 c 825s | 23 | 4603304 | 3360238 | 3109 2444 | 75 | 99
853.82/854.07 c 827s | 23 | 4613228 | 3367538 | 3109 2448 | 75 | 99
855.81/856.08 c 829s | 23 | 4622576 | 3374638 | 3109 2452 | 75 | 99
856.41/856.66 c 830s | 24 | 4625071 | 3376662 | 3109 2453 | 75 | 99
858.41/858.69 c 832s | 24 | 4638646 | 3385862 | 3109 2459 | 75 | 99
860.51/860.70 c 834s | 24 | 4652136 | 3395162 | 3109 2464 | 75 | 99
862.51/862.70 c 836s | 24 | 4665777 | 3404062 | 3109 2469 | 75 | 99
864.51/864.70 c 838s | 24 | 4677543 | 3412662 | 3109 2474 | 75 | 99
866.50/866.72 c 840s | 24 | 4691323 | 3422262 | 3109 2480 | 75 | 99
868.50/868.72 c 842s | 24 | 4704392 | 3431262 | 3109 2486 | 75 | 99
870.50/870.72 c 844s | 24 | 4717653 | 3440262 | 3109 2491 | 75 | 99
872.50/872.73 c 846s | 24 | 4730550 | 3448962 | 3109 2496 | 75 | 99
874.50/874.74 c 848s | 24 | 4743711 | 3457562 | 3109 2501 | 75 | 99
876.50/876.75 c 850s | 24 | 4756295 | 3465862 | 3109 2506 | 75 | 99
878.50/878.75 c 852s | 24 | 4767762 | 3474362 | 3109 2511 | 75 | 99
880.50/880.76 c 854s | 24 | 4779838 | 3483162 | 3109 2516 | 75 | 99
882.49/882.76 c 856s | 24 | 4792680 | 3492462 | 3109 2521 | 75 | 99
884.49/884.77 c 858s | 24 | 4804628 | 3501162 | 3109 2526 | 75 | 99
886.50/886.78 c 860s | 24 | 4816236 | 3509862 | 3109 2531 | 75 | 99
888.49/888.79 c 862s | 24 | 4830186 | 3519862 | 3109 2537 | 75 | 99
890.59/890.80 c 864s | 24 | 4842978 | 3529162 | 3109 2542 | 75 | 99
892.59/892.81 c 866s | 24 | 4854147 | 3537362 | 3109 2547 | 75 | 99
894.59/894.84 c 868s | 24 | 4864553 | 3545462 | 3109 2552 | 75 | 99
896.58/896.84 c 870s | 24 | 4877300 | 3554762 | 3109 2558 | 75 | 99
898.59/898.86 c 872s | 24 | 4891725 | 3564862 | 3109 2563 | 75 | 99
900.58/900.87 c 874s | 24 | 4904357 | 3573862 | 3109 2569 | 75 | 99
902.58/902.88 c 876s | 24 | 4915999 | 3583162 | 3109 2574 | 75 | 99
904.58/904.89 c 878s | 24 | 4928656 | 3592862 | 3109 2580 | 75 | 99
906.68/906.91 c 880s | 24 | 4940528 | 3601962 | 3109 2585 | 75 | 99
908.68/908.91 c 882s | 24 | 4951892 | 3610762 | 3109 2590 | 75 | 99
910.69/910.92 c 884s | 24 | 4964330 | 3619862 | 3109 2596 | 75 | 99
912.69/912.95 c 886s | 24 | 4977163 | 3628862 | 3109 2601 | 75 | 99
914.68/914.95 c 888s | 24 | 4988333 | 3637262 | 3109 2606 | 75 | 99
916.68/916.97 c 890s | 24 | 4999614 | 3645962 | 3109 2611 | 75 | 99
918.68/918.99 c 892s | 24 | 5010780 | 3654162 | 3109 2616 | 75 | 99
920.78/921.01 c 894s | 24 | 5022174 | 3662762 | 3109 2621 | 75 | 99
922.79/923.01 c 896s | 24 | 5032603 | 3670762 | 3109 2626 | 75 | 99
924.78/925.03 c 898s | 24 | 5044849 | 3680262 | 3109 2631 | 75 | 99
926.78/927.03 c 900s | 24 | 5056937 | 3689562 | 3109 2637 | 75 | 99
928.77/929.06 c 902s | 24 | 5068180 | 3698262 | 3109 2642 | 75 | 99
930.77/931.06 c 904s | 24 | 5081042 | 3707962 | 3109 2647 | 75 | 99
932.77/933.07 c 906s | 24 | 5094638 | 3717462 | 3109 2653 | 75 | 99
934.78/935.07 c 908s | 24 | 5107146 | 3726762 | 3109 2658 | 75 | 99
936.77/937.07 c 910s | 24 | 5121522 | 3737362 | 3109 2664 | 75 | 99
938.77/939.09 c 912s | 24 | 5134759 | 3747262 | 3109 2670 | 75 | 99
940.87/941.11 c 914s | 24 | 5147562 | 3756362 | 3109 2676 | 75 | 99
942.87/943.11 c 916s | 24 | 5156972 | 3762962 | 3109 2679 | 75 | 99
944.86/945.12 c 918s | 24 | 5167268 | 3770862 | 3109 2684 | 75 | 99
946.87/947.13 c 920s | 24 | 5178215 | 3779062 | 3109 2689 | 75 | 99
948.86/949.13 c 922s | 24 | 5188721 | 3787462 | 3109 2694 | 75 | 99
950.86/951.14 c 924s | 24 | 5199503 | 3795662 | 3109 2698 | 75 | 99
952.86/953.16 c 926s | 24 | 5210121 | 3803762 | 3109 2703 | 75 | 99
954.86/955.16 c 928s | 24 | 5220835 | 3811862 | 3109 2708 | 75 | 99
956.87/957.16 c 930s | 24 | 5231946 | 3820062 | 3109 2713 | 75 | 99
958.86/959.19 c 932s | 24 | 5242852 | 3827962 | 3109 2717 | 75 | 99
960.96/961.20 c 934s | 24 | 5254336 | 3836462 | 3109 2722 | 75 | 99
962.96/963.21 c 936s | 24 | 5267377 | 3846562 | 3109 2728 | 75 | 99
964.95/965.22 c 938s | 24 | 5280433 | 3855762 | 3109 2734 | 75 | 99
966.95/967.24 c 940s | 24 | 5291835 | 3864162 | 3109 2738 | 75 | 99
968.96/969.25 c 942s | 24 | 5303781 | 3872962 | 3109 2744 | 75 | 99
970.95/971.25 c 944s | 24 | 5314521 | 3880662 | 3109 2748 | 75 | 99
972.95/973.26 c 946s | 24 | 5325093 | 3888362 | 3109 2753 | 75 | 99
974.95/975.27 c 948s | 24 | 5336740 | 3896362 | 3109 2757 | 75 | 99
976.95/977.28 c 950s | 24 | 5346792 | 3903362 | 3109 2761 | 75 | 99
978.95/979.29 c 952s | 24 | 5356303 | 3910162 | 3109 2765 | 75 | 99
981.05/981.31 c 954s | 24 | 5367631 | 3918062 | 3109 2770 | 75 | 99
983.04/983.33 c 956s | 24 | 5378700 | 3925562 | 3109 2774 | 75 | 99
985.04/985.34 c 958s | 24 | 5388881 | 3932762 | 3109 2778 | 75 | 99
987.04/987.36 c 960s | 24 | 5398644 | 3939962 | 3109 2783 | 75 | 99
989.04/989.38 c 962s | 24 | 5408414 | 3947362 | 3109 2787 | 75 | 99
991.14/991.40 c 964s | 24 | 5419813 | 3955962 | 3109 2792 | 75 | 99
993.14/993.41 c 966s | 24 | 5429865 | 3963262 | 3109 2796 | 75 | 99
995.13/995.43 c 968s | 24 | 5441345 | 3971562 | 3109 2801 | 75 | 99
997.13/997.44 c 970s | 24 | 5453461 | 3980462 | 3109 2806 | 75 | 99
999.14/999.44 c 972s | 24 | 5464228 | 3988562 | 3109 2811 | 75 | 99
1001.14/1001.45 c 974s | 24 | 5474948 | 3996362 | 3109 2815 | 75 | 99
1003.14/1003.46 c 976s | 24 | 5485763 | 4004362 | 3109 2820 | 75 | 99
1005.14/1005.47 c 978s | 24 | 5495889 | 4012162 | 3109 2825 | 75 | 99
1007.24/1007.50 c 980s | 24 | 5506087 | 4019962 | 3109 2829 | 75 | 99
1009.24/1009.51 c 982s | 24 | 5516218 | 4027762 | 3109 2834 | 75 | 99
1011.24/1011.53 c 984s | 24 | 5526225 | 4035562 | 3109 2838 | 75 | 99
1013.24/1013.54 c 986s | 24 | 5538125 | 4044062 | 3109 2843 | 75 | 99
1015.23/1015.55 c 988s | 24 | 5548417 | 4051362 | 3109 2848 | 75 | 99
1017.24/1017.56 c 990s | 24 | 5558999 | 4058862 | 3109 2852 | 75 | 99
1019.23/1019.56 c 993s | 24 | 5569234 | 4066562 | 3109 2857 | 75 | 99
1021.23/1021.59 c 995s | 24 | 5580522 | 4075162 | 3109 2862 | 75 | 99
1023.33/1023.61 c 997s | 24 | 5589954 | 4082262 | 3109 2866 | 75 | 99
1025.32/1025.63 c 999s | 24 | 5599629 | 4089862 | 3109 2870 | 75 | 99
1027.32/1027.66 c 1001s | 24 | 5611658 | 4098362 | 3109 2875 | 75 | 99
1029.33/1029.66 c 1003s | 24 | 5622092 | 4106162 | 3109 2880 | 75 | 99
1031.32/1031.68 c 1005s | 24 | 5633064 | 4114162 | 3109 2885 | 75 | 99
1033.32/1033.69 c 1007s | 24 | 5645947 | 4123162 | 3109 2890 | 75 | 99
1035.31/1035.69 c 1009s | 24 | 5659515 | 4132962 | 3109 2895 | 75 | 99
1037.31/1037.69 c 1011s | 24 | 5671748 | 4141662 | 3109 2900 | 75 | 99
1039.41/1039.70 c 1013s | 24 | 5682314 | 4149362 | 3109 2905 | 75 | 99
1041.42/1041.71 c 1015s | 24 | 5694446 | 4158062 | 3109 2910 | 75 | 99
1043.41/1043.72 c 1017s | 24 | 5708626 | 4167462 | 3109 2915 | 75 | 99
1045.41/1045.74 c 1019s | 24 | 5721365 | 4176362 | 3109 2920 | 75 | 99
1047.41/1047.74 c 1021s | 24 | 5733198 | 4185862 | 3109 2926 | 75 | 99
1049.41/1049.74 c 1023s | 24 | 5746159 | 4195862 | 3109 2932 | 75 | 99
1051.41/1051.76 c 1025s | 24 | 5758837 | 4205762 | 3109 2937 | 75 | 99
1053.41/1053.78 c 1027s | 24 | 5771107 | 4215162 | 3109 2943 | 75 | 99
1053.51/1053.88 c 1027s | 24 | 5771825 | 4215653 | 3109 2943 | 75 | 99
1053.51/1053.88 c #cpu_time = 1024.561s
1053.51/1053.88 c #wall_clock_time = 1027.321s
1053.51/1053.88 c #decision = 5771825
1053.51/1053.88 c #random_decision = 19449
1053.51/1053.88 c #conflict = 4215653
1053.51/1053.88 c #restart = 24
1053.51/1053.88 o 6
1053.51/1053.88 c BCD2: updating upper bound: 314 -> 287
1053.51/1053.88 c BCD2: 77 <= obj <= 287
1053.51/1053.88 c BCD2: #cores=22, #unrelaxed=63, #relaxed=371, #hardened=1
1053.51/1053.88 c BCD2: #sat=3 #unsat=72 bias=72/75
1053.51/1053.88 c Solving starts ...
1053.51/1053.88 c ============================[ Search Statistics ]============================
1053.51/1053.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1053.51/1053.88 c | | | | Limit GC | Var | Constra
1053.51/1053.88 c =============================================================================
1053.51/1053.88 c 0.0s | 0 | 0 | 0 | 3109 0 | 75 | 100
1053.51/1053.89 c 0.0s | 0 | 112 | 1 | 3109 0 | 75 | 100
1053.51/1053.89 c #cpu_time = 0.006s
1053.51/1053.89 c #wall_clock_time = 0.006s
1053.51/1053.89 c #decision = 112
1053.51/1053.89 c #random_decision = 0
1053.51/1053.89 c #conflict = 1
1053.51/1053.89 c #restart = 0
1053.51/1053.89 c BCD2: relaxing 6 and merging with 3 cores into a new core of size 44: cost of the new core is >=14
1053.51/1053.89 c lower bound updated to -204
1053.51/1053.89 c BCD2: 78 <= obj <= 287
1053.51/1053.89 c BCD2: #cores=20, #unrelaxed=57, #relaxed=377, #hardened=1
1053.51/1053.89 c BCD2: #sat=3 #unsat=73 bias=73/76
1053.51/1053.89 c Solving starts ...
1053.51/1053.89 c ============================[ Search Statistics ]============================
1053.51/1053.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1053.51/1053.89 c | | | | Limit GC | Var | Constra
1053.51/1053.89 c =============================================================================
1053.51/1053.89 c 0.0s | 0 | 0 | 0 | 3109 0 | 83 | 100
1053.61/1053.91 c 0.0s | 1 | 270 | 100 | 3109 0 | 83 | 113
1053.61/1053.94 c 0.1s | 2 | 595 | 250 | 3109 0 | 83 | 113
1053.61/1053.98 c 0.1s | 3 | 1010 | 475 | 3109 0 | 83 | 113
1053.71/1054.00 c 0.1s | 3 | 1255 | 552 | 3109 0 | 83 | 113
1053.71/1054.00 c #cpu_time = 0.112s
1053.71/1054.00 c #wall_clock_time = 0.112s
1053.71/1054.00 c #decision = 1255
1053.71/1054.00 c #random_decision = 3
1053.71/1054.00 c #conflict = 552
1053.71/1054.00 c #restart = 3
1053.71/1054.00 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=2
1053.71/1054.00 c lower bound updated to -203
1053.71/1054.00 c BCD2: 79 <= obj <= 287
1053.71/1054.00 c BCD2: #cores=20, #unrelaxed=56, #relaxed=378, #hardened=1
1053.71/1054.00 c BCD2: #sat=3 #unsat=74 bias=74/77
1053.71/1054.00 c Solving starts ...
1053.71/1054.00 c ============================[ Search Statistics ]============================
1053.71/1054.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1053.71/1054.00 c | | | | Limit GC | Var | Constra
1053.71/1054.00 c =============================================================================
1053.71/1054.00 c 0.0s | 0 | 0 | 0 | 3109 0 | 86 | 113
1053.71/1054.02 c 0.0s | 1 | 264 | 100 | 3109 0 | 86 | 118
1053.71/1054.05 c 0.1s | 2 | 541 | 250 | 3109 0 | 86 | 118
1053.81/1054.10 c 0.1s | 3 | 917 | 475 | 3109 0 | 86 | 118
1053.81/1054.18 c 0.2s | 4 | 1450 | 813 | 3109 1 | 86 | 118
1053.91/1054.27 c 0.3s | 5 | 2213 | 1320 | 3109 1 | 86 | 118
1054.10/1054.41 c 0.4s | 6 | 3226 | 2081 | 3109 1 | 86 | 118
1054.30/1054.65 c 0.6s | 7 | 4870 | 3223 | 3109 2 | 86 | 118
1054.61/1054.96 c 1.0s | 8 | 7224 | 4936 | 3109 3 | 86 | 118
1055.10/1055.46 c 1.5s | 9 | 11061 | 7506 | 3109 5 | 86 | 118
1055.81/1056.17 c 2.2s | 10 | 16132 | 11361 | 3109 7 | 86 | 118
1056.91/1057.26 c 3.3s | 11 | 23812 | 17144 | 3109 10 | 86 | 118
1058.50/1058.88 c 4.9s | 12 | 35735 | 25819 | 3109 16 | 86 | 118
1060.50/1060.88 c 6.9s | 12 | 48450 | 35519 | 3109 21 | 86 | 118
1061.21/1061.57 c 7.6s | 13 | 52560 | 38832 | 3109 23 | 86 | 118
1063.20/1063.57 c 9.6s | 13 | 65865 | 48732 | 3109 29 | 86 | 118
1063.41/1063.80 c 9.8s | 13 | 67553 | 49904 | 3109 30 | 86 | 118
1063.41/1063.80 c #cpu_time = 9.768s
1063.41/1063.80 c #wall_clock_time = 9.798s
1063.41/1063.80 c #decision = 67553
1063.41/1063.80 c #random_decision = 236
1063.41/1063.80 c #conflict = 49904
1063.41/1063.80 c #restart = 13
1063.41/1063.80 c BCD2: relaxing 26 and merging with 10 cores into a new core of size 184: cost of the new core is >=31
1063.41/1063.80 c lower bound updated to -202
1063.41/1063.80 c BCD2: 80 <= obj <= 287
1063.41/1063.80 c BCD2: #cores=11, #unrelaxed=30, #relaxed=404, #hardened=1
1063.41/1063.80 c BCD2: #sat=3 #unsat=75 bias=75/78
1063.41/1063.80 c Solving starts ...
1063.41/1063.80 c ============================[ Search Statistics ]============================
1063.41/1063.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1063.41/1063.80 c | | | | Limit GC | Var | Constra
1063.41/1063.80 c =============================================================================
1063.41/1063.80 c 0.0s | 0 | 0 | 0 | 3109 0 | 113 | 118
1063.51/1063.87 c 0.1s | 1 | 289 | 100 | 3109 0 | 113 | 162
1063.51/1063.89 c 0.1s | 2 | 690 | 250 | 3109 0 | 113 | 162
1063.60/1063.95 c 0.1s | 3 | 1170 | 475 | 3109 0 | 113 | 162
1063.70/1064.02 c 0.2s | 4 | 1748 | 813 | 3109 0 | 113 | 162
1063.70/1064.09 c 0.3s | 5 | 2456 | 1320 | 3109 0 | 113 | 162
1063.90/1064.21 c 0.4s | 6 | 3567 | 2081 | 3109 0 | 113 | 162
1064.09/1064.42 c 0.6s | 7 | 5010 | 3223 | 3109 0 | 113 | 162
1064.39/1064.73 c 0.9s | 8 | 7427 | 4936 | 3109 1 | 113 | 162
1064.89/1065.25 c 1.4s | 9 | 10934 | 7506 | 3109 3 | 113 | 162
1065.70/1066.03 c 2.2s | 10 | 16170 | 11361 | 3109 5 | 113 | 162
1066.89/1067.25 c 3.5s | 11 | 23879 | 17144 | 3109 9 | 113 | 162
1068.50/1068.85 c 5.0s | 12 | 36719 | 25819 | 3109 14 | 113 | 162
1070.50/1070.86 c 7.1s | 12 | 51573 | 36319 | 3109 20 | 113 | 162
1071.00/1071.34 c 7.5s | 13 | 55237 | 38832 | 3109 22 | 113 | 162
1073.00/1073.34 c 9.5s | 13 | 69164 | 48932 | 3109 28 | 113 | 162
1075.00/1075.31 c 11.5s | 14 | 82765 | 58352 | 3109 33 | 113 | 162
1077.00/1077.31 c 13.5s | 14 | 96729 | 68452 | 3109 39 | 113 | 162
1079.00/1079.32 c 15.5s | 14 | 106632 | 76252 | 3109 44 | 113 | 162
1081.00/1081.34 c 17.5s | 14 | 115203 | 83252 | 3109 48 | 113 | 162
1081.99/1082.36 c 18.6s | 15 | 121222 | 87632 | 3109 50 | 113 | 162
1083.99/1084.38 c 20.6s | 15 | 134392 | 96632 | 3109 56 | 113 | 162
1086.09/1086.40 c 22.6s | 15 | 147961 | 105732 | 3109 61 | 113 | 162
1088.09/1088.42 c 24.6s | 15 | 161142 | 114532 | 3109 66 | 113 | 162
1090.09/1090.43 c 26.6s | 15 | 173524 | 123132 | 3109 71 | 113 | 162
1091.89/1092.30 c 28.5s | 16 | 185757 | 131552 | 3109 76 | 113 | 162
1093.99/1094.31 c 30.5s | 16 | 201789 | 141052 | 3109 82 | 113 | 162
1095.98/1096.33 c 32.5s | 16 | 215633 | 150052 | 3109 87 | 113 | 162
1097.98/1098.34 c 34.5s | 16 | 230895 | 159252 | 3109 93 | 113 | 162
1099.98/1100.36 c 36.6s | 16 | 245285 | 167752 | 3109 98 | 113 | 162
1101.99/1102.37 c 38.6s | 16 | 261209 | 176952 | 3109 103 | 113 | 162
1103.98/1104.38 c 40.6s | 16 | 276742 | 185852 | 3109 109 | 113 | 162
1105.98/1106.39 c 42.6s | 16 | 290948 | 194652 | 3109 114 | 113 | 162
1106.58/1106.98 c 43.2s | 17 | 296116 | 197432 | 3109 116 | 113 | 162
1108.58/1108.98 c 45.2s | 17 | 314426 | 206532 | 3109 121 | 113 | 162
1110.57/1110.99 c 47.2s | 17 | 331794 | 215432 | 3109 126 | 113 | 162
1112.57/1112.99 c 49.2s | 17 | 347254 | 223932 | 3109 131 | 113 | 162
1114.68/1115.03 c 51.2s | 17 | 362138 | 232732 | 3109 137 | 113 | 162
1116.68/1117.03 c 53.2s | 17 | 377658 | 241932 | 3109 142 | 113 | 162
1118.68/1119.05 c 55.2s | 17 | 393216 | 250932 | 3109 147 | 113 | 162
1120.68/1121.07 c 57.3s | 17 | 409816 | 260132 | 3109 153 | 113 | 162
1122.67/1123.08 c 59.3s | 17 | 423766 | 268632 | 3109 158 | 113 | 162
1124.67/1125.09 c 61.3s | 17 | 438980 | 277532 | 3109 163 | 113 | 162
1126.77/1127.10 c 63.3s | 17 | 454290 | 286432 | 3109 168 | 113 | 162
1128.77/1129.11 c 65.3s | 17 | 469331 | 295032 | 3109 174 | 113 | 162
1129.07/1129.40 c 65.6s | 18 | 471230 | 296252 | 3109 174 | 113 | 162
1131.07/1131.40 c 67.6s | 18 | 489030 | 305952 | 3109 180 | 113 | 162
1133.07/1133.42 c 69.6s | 18 | 505963 | 315852 | 3109 186 | 113 | 162
1135.06/1135.42 c 71.6s | 18 | 522504 | 325152 | 3109 191 | 113 | 162
1137.07/1137.43 c 73.6s | 18 | 537209 | 333652 | 3109 196 | 113 | 162
1139.06/1139.43 c 75.6s | 18 | 552352 | 342252 | 3109 202 | 113 | 162
1141.06/1141.45 c 77.6s | 18 | 570541 | 351752 | 3109 207 | 113 | 162
1143.06/1143.45 c 79.6s | 18 | 587234 | 361152 | 3109 213 | 113 | 162
1145.06/1145.45 c 81.7s | 18 | 602604 | 370252 | 3109 218 | 113 | 162
1147.06/1147.46 c 83.7s | 18 | 620125 | 380652 | 3109 224 | 113 | 162
1149.06/1149.48 c 85.7s | 18 | 635521 | 389952 | 3109 230 | 113 | 162
1151.06/1151.49 c 87.7s | 18 | 650806 | 399152 | 3109 235 | 113 | 162
1153.05/1153.49 c 89.7s | 18 | 664986 | 408152 | 3109 241 | 113 | 162
1155.05/1155.49 c 91.7s | 18 | 679462 | 416952 | 3109 246 | 113 | 162
1157.05/1157.49 c 93.7s | 18 | 694358 | 425952 | 3109 251 | 113 | 162
1159.16/1159.50 c 95.7s | 18 | 708271 | 434752 | 3109 256 | 113 | 162
1161.16/1161.51 c 97.7s | 18 | 722038 | 443152 | 3109 261 | 113 | 162
1161.46/1161.85 c 98.1s | 19 | 724391 | 444482 | 3109 262 | 113 | 162
1163.46/1163.85 c 100s | 19 | 738835 | 452782 | 3109 267 | 113 | 162
1165.45/1165.87 c 102s | 19 | 753444 | 461582 | 3109 272 | 113 | 162
1167.45/1167.89 c 104s | 19 | 768578 | 469882 | 3109 277 | 113 | 162
1169.55/1169.90 c 106s | 19 | 782641 | 477882 | 3109 282 | 113 | 162
1171.55/1171.90 c 108s | 19 | 797594 | 485882 | 3109 287 | 113 | 162
1173.55/1173.90 c 110s | 19 | 812694 | 494482 | 3109 292 | 113 | 162
1175.56/1175.92 c 112s | 19 | 826293 | 502582 | 3109 297 | 113 | 162
1177.55/1177.92 c 114s | 19 | 840232 | 510782 | 3109 302 | 113 | 162
1179.55/1179.94 c 116s | 19 | 854956 | 519282 | 3109 307 | 113 | 162
1181.55/1181.96 c 118s | 19 | 869556 | 528082 | 3109 312 | 113 | 162
1183.55/1183.98 c 120s | 19 | 886012 | 537182 | 3109 317 | 113 | 162
1185.64/1186.01 c 122s | 19 | 901041 | 545982 | 3109 323 | 113 | 162
1187.65/1188.02 c 124s | 19 | 915576 | 554382 | 3109 328 | 113 | 162
1189.64/1190.06 c 126s | 19 | 931018 | 562882 | 3109 333 | 113 | 162
1191.64/1192.08 c 128s | 19 | 948950 | 572282 | 3109 338 | 113 | 162
1193.74/1194.10 c 130s | 19 | 966112 | 581382 | 3109 344 | 113 | 162
1195.74/1196.11 c 132s | 19 | 980604 | 589782 | 3109 349 | 113 | 162
1197.73/1198.11 c 134s | 19 | 994906 | 598382 | 3109 354 | 113 | 162
1199.74/1200.13 c 136s | 19 | 1011242 | 607082 | 3109 359 | 113 | 162
1201.73/1202.15 c 138s | 19 | 1025350 | 615482 | 3109 364 | 113 | 162
1203.73/1204.15 c 140s | 19 | 1038318 | 623382 | 3420 368 | 113 | 162
1205.73/1206.18 c 142s | 19 | 1053918 | 631782 | 3420 373 | 113 | 162
1207.73/1208.18 c 144s | 19 | 1068218 | 639882 | 3420 377 | 113 | 162
1209.74/1210.19 c 146s | 19 | 1080723 | 647682 | 3420 381 | 113 | 162
1211.84/1212.21 c 148s | 19 | 1095611 | 655982 | 3420 386 | 113 | 162
1213.83/1214.22 c 150s | 19 | 1109862 | 664082 | 3420 390 | 113 | 162
1214.52/1214.95 c 151s | 20 | 1114155 | 666827 | 3420 392 | 113 | 162
1216.52/1216.96 c 153s | 20 | 1127864 | 675027 | 3420 396 | 113 | 162
1218.53/1218.98 c 155s | 20 | 1142676 | 683427 | 3420 401 | 113 | 162
1220.52/1220.99 c 157s | 20 | 1157125 | 691327 | 3420 405 | 113 | 162
1222.52/1222.99 c 159s | 20 | 1171368 | 699427 | 3420 410 | 113 | 162
1224.62/1225.00 c 161s | 20 | 1188462 | 708027 | 3420 414 | 113 | 162
1226.62/1227.00 c 163s | 20 | 1202579 | 715827 | 3420 418 | 113 | 162
1228.62/1229.00 c 165s | 20 | 1213460 | 723127 | 3420 422 | 113 | 162
1230.62/1231.02 c 167s | 20 | 1225085 | 730827 | 3420 427 | 113 | 162
1232.62/1233.03 c 169s | 20 | 1237110 | 738727 | 3420 431 | 113 | 162
1234.61/1235.04 c 171s | 20 | 1249703 | 746527 | 3420 435 | 113 | 162
1236.61/1237.04 c 173s | 20 | 1261775 | 754427 | 3420 439 | 113 | 162
1238.61/1239.04 c 175s | 20 | 1274023 | 762427 | 3420 444 | 113 | 162
1240.61/1241.05 c 177s | 20 | 1287109 | 770427 | 3420 448 | 113 | 162
1242.62/1243.09 c 179s | 20 | 1300170 | 778627 | 3420 453 | 113 | 162
1244.61/1245.09 c 181s | 20 | 1314416 | 786827 | 3420 457 | 113 | 162
1246.70/1247.10 c 183s | 20 | 1328080 | 794827 | 3420 461 | 113 | 162
1248.70/1249.12 c 185s | 20 | 1340475 | 802827 | 3420 466 | 113 | 162
1250.70/1251.13 c 187s | 20 | 1355983 | 811827 | 3420 471 | 113 | 162
1252.70/1253.14 c 189s | 20 | 1372233 | 820627 | 3420 475 | 113 | 162
1254.71/1255.16 c 191s | 20 | 1386049 | 828727 | 3420 480 | 113 | 162
1256.70/1257.17 c 193s | 20 | 1399094 | 837127 | 3420 484 | 113 | 162
1258.70/1259.17 c 195s | 20 | 1412220 | 845527 | 3420 489 | 113 | 162
1260.70/1261.18 c 197s | 20 | 1425524 | 853827 | 3420 493 | 113 | 162
1262.70/1263.19 c 199s | 20 | 1437628 | 861627 | 3420 498 | 113 | 162
1264.80/1265.20 c 201s | 20 | 1449092 | 868927 | 3420 502 | 113 | 162
1266.70/1267.20 c 203s | 20 | 1462162 | 876627 | 3420 506 | 113 | 162
1268.80/1269.23 c 205s | 20 | 1476025 | 884527 | 3420 510 | 113 | 162
1270.80/1271.24 c 207s | 20 | 1490437 | 892527 | 3420 514 | 113 | 162
1272.80/1273.25 c 209s | 20 | 1503998 | 900127 | 3420 518 | 113 | 162
1274.80/1275.25 c 211s | 20 | 1517255 | 907627 | 3420 523 | 113 | 162
1276.80/1277.26 c 213s | 20 | 1530275 | 915027 | 3420 527 | 113 | 162
1278.80/1279.26 c 215s | 20 | 1544665 | 923327 | 3420 531 | 113 | 162
1280.80/1281.29 c 217s | 20 | 1558493 | 931527 | 3420 536 | 113 | 162
1282.79/1283.29 c 219s | 20 | 1574177 | 940827 | 3420 541 | 113 | 162
1284.89/1285.31 c 221s | 20 | 1589574 | 950127 | 3420 546 | 113 | 162
1286.89/1287.32 c 223s | 20 | 1603917 | 958827 | 3420 550 | 113 | 162
1288.90/1289.34 c 225s | 20 | 1617891 | 967327 | 3420 555 | 113 | 162
1290.89/1291.34 c 227s | 20 | 1632150 | 975827 | 3420 560 | 113 | 162
1292.89/1293.36 c 229s | 20 | 1645481 | 983827 | 3420 564 | 113 | 162
1294.89/1295.36 c 231s | 20 | 1658758 | 991527 | 3420 568 | 113 | 162
1296.88/1297.38 c 233s | 20 | 1670748 | 998727 | 3420 572 | 113 | 162
1297.38/1297.81 c 234s | 21 | 1673731 | 1000345 | 3420 573 | 113 | 162
1299.38/1299.82 c 236s | 21 | 1689215 | 1009145 | 3420 578 | 113 | 162
1301.38/1301.84 c 238s | 21 | 1702255 | 1017545 | 3420 582 | 113 | 162
1303.38/1303.86 c 240s | 21 | 1715755 | 1025845 | 3420 587 | 113 | 162
1305.39/1305.87 c 242s | 21 | 1730437 | 1034345 | 3420 591 | 113 | 162
1307.38/1307.87 c 244s | 21 | 1745178 | 1042945 | 3420 596 | 113 | 162
1309.38/1309.87 c 246s | 21 | 1758846 | 1051145 | 3420 600 | 113 | 162
1311.38/1311.89 c 248s | 21 | 1772686 | 1059045 | 3420 605 | 113 | 162
1313.48/1313.91 c 250s | 21 | 1786104 | 1067345 | 3420 609 | 113 | 162
1315.48/1315.93 c 252s | 21 | 1799037 | 1075045 | 3420 613 | 113 | 162
1317.48/1317.95 c 254s | 21 | 1814556 | 1083945 | 3420 618 | 113 | 162
1319.48/1319.95 c 256s | 21 | 1830228 | 1092845 | 3420 623 | 113 | 162
1321.48/1321.96 c 258s | 21 | 1846109 | 1101445 | 3420 628 | 113 | 162
1323.47/1323.98 c 260s | 21 | 1858611 | 1109245 | 3420 632 | 113 | 162
1325.47/1325.99 c 262s | 21 | 1871434 | 1117045 | 3420 636 | 113 | 162
1327.47/1327.99 c 264s | 21 | 1885289 | 1125345 | 3420 641 | 113 | 162
1329.48/1330.00 c 266s | 21 | 1900562 | 1134145 | 3420 645 | 113 | 162
1331.57/1332.01 c 268s | 21 | 1915049 | 1142645 | 3420 650 | 113 | 162
1333.57/1334.03 c 270s | 21 | 1928793 | 1151045 | 3420 655 | 113 | 162
1335.57/1336.03 c 272s | 21 | 1942190 | 1159245 | 3420 659 | 113 | 162
1337.57/1338.04 c 274s | 21 | 1955676 | 1167645 | 3420 664 | 113 | 162
1339.57/1340.07 c 276s | 21 | 1968651 | 1176045 | 3420 668 | 113 | 162
1341.58/1342.07 c 278s | 21 | 1982087 | 1184245 | 3420 673 | 113 | 162
1343.57/1344.08 c 280s | 21 | 1996124 | 1192645 | 3420 677 | 113 | 162
1345.56/1346.09 c 282s | 21 | 2011075 | 1201645 | 3420 682 | 113 | 162
1347.66/1348.10 c 284s | 21 | 2026420 | 1210345 | 3420 687 | 113 | 162
1349.66/1350.12 c 286s | 21 | 2042169 | 1219145 | 3420 692 | 113 | 162
1351.66/1352.16 c 288s | 21 | 2055968 | 1227745 | 3420 696 | 113 | 162
1353.67/1354.19 c 290s | 21 | 2069918 | 1236145 | 3420 701 | 113 | 162
1355.66/1356.19 c 292s | 21 | 2084344 | 1244445 | 3420 705 | 113 | 162
1357.76/1358.21 c 294s | 21 | 2098682 | 1252745 | 3420 710 | 113 | 162
1359.76/1360.23 c 296s | 21 | 2113125 | 1260945 | 3420 714 | 113 | 162
1361.76/1362.24 c 298s | 21 | 2127432 | 1269445 | 3420 719 | 113 | 162
1363.75/1364.27 c 300s | 21 | 2142875 | 1278345 | 3420 724 | 113 | 162
1365.76/1366.28 c 302s | 21 | 2157629 | 1286845 | 3420 728 | 113 | 162
1367.75/1368.29 c 304s | 21 | 2172489 | 1295445 | 3420 733 | 113 | 162
1369.85/1370.30 c 306s | 21 | 2186074 | 1303745 | 3420 737 | 113 | 162
1371.85/1372.31 c 308s | 21 | 2202113 | 1312245 | 3420 742 | 113 | 162
1373.86/1374.32 c 310s | 21 | 2218214 | 1320745 | 3420 747 | 113 | 162
1375.86/1376.34 c 312s | 21 | 2232520 | 1328945 | 3420 751 | 113 | 162
1377.86/1378.37 c 314s | 21 | 2247106 | 1337145 | 3420 756 | 113 | 162
1379.85/1380.38 c 316s | 21 | 2261470 | 1345545 | 3420 760 | 113 | 162
1381.95/1382.40 c 318s | 21 | 2276107 | 1354245 | 3420 765 | 113 | 162
1383.95/1384.42 c 320s | 21 | 2291248 | 1362945 | 3420 770 | 113 | 162
1385.95/1386.43 c 322s | 21 | 2307120 | 1371945 | 3420 774 | 113 | 162
1387.95/1388.43 c 324s | 21 | 2321941 | 1380245 | 3420 779 | 113 | 162
1389.96/1390.44 c 326s | 21 | 2336915 | 1388245 | 3420 783 | 113 | 162
1391.95/1392.44 c 328s | 21 | 2352818 | 1396445 | 3420 788 | 113 | 162
1393.95/1394.46 c 330s | 21 | 2366401 | 1404345 | 3420 792 | 113 | 162
1395.95/1396.47 c 332s | 21 | 2380378 | 1412245 | 3420 796 | 113 | 162
1397.95/1398.48 c 334s | 21 | 2395133 | 1420145 | 3420 801 | 113 | 162
1399.96/1400.48 c 336s | 21 | 2408622 | 1428245 | 3420 805 | 113 | 162
1402.05/1402.51 c 338s | 21 | 2422853 | 1436745 | 3420 810 | 113 | 162
1404.05/1404.52 c 340s | 21 | 2436404 | 1445145 | 3420 814 | 113 | 162
1406.05/1406.54 c 342s | 21 | 2449292 | 1453445 | 3420 819 | 113 | 162
1408.05/1408.55 c 344s | 21 | 2461566 | 1461545 | 3420 823 | 113 | 162
1410.05/1410.56 c 346s | 21 | 2473489 | 1469145 | 3420 827 | 113 | 162
1412.05/1412.58 c 348s | 21 | 2488105 | 1477445 | 3420 832 | 113 | 162
1414.05/1414.59 c 350s | 21 | 2502556 | 1486145 | 3420 836 | 113 | 162
1416.15/1416.60 c 352s | 21 | 2516167 | 1494345 | 3420 841 | 113 | 162
1417.45/1417.99 c 354s | 22 | 2527502 | 1500622 | 3420 844 | 113 | 162
1419.54/1420.01 c 356s | 22 | 2542896 | 1509122 | 3420 849 | 113 | 162
1421.54/1422.02 c 358s | 22 | 2558224 | 1517622 | 3420 853 | 113 | 162
1423.54/1424.03 c 360s | 22 | 2572828 | 1525822 | 3420 858 | 113 | 162
1425.54/1426.04 c 362s | 22 | 2585370 | 1533722 | 3420 862 | 113 | 162
1427.54/1428.05 c 364s | 22 | 2600049 | 1542322 | 3420 867 | 113 | 162
1429.55/1430.06 c 366s | 22 | 2615205 | 1550622 | 3420 871 | 113 | 162
1431.54/1432.07 c 368s | 22 | 2629517 | 1558522 | 3420 876 | 113 | 162
1433.55/1434.09 c 370s | 22 | 2643956 | 1566222 | 3420 880 | 113 | 162
1435.65/1436.11 c 372s | 22 | 2658198 | 1573822 | 3420 884 | 113 | 162
1437.65/1438.11 c 374s | 22 | 2673662 | 1582722 | 3420 889 | 113 | 162
1439.65/1440.13 c 376s | 22 | 2688735 | 1591722 | 3420 894 | 113 | 162
1441.65/1442.14 c 378s | 22 | 2705166 | 1601122 | 3420 899 | 113 | 162
1443.65/1444.14 c 380s | 22 | 2721282 | 1610022 | 3420 903 | 113 | 162
1445.65/1446.15 c 382s | 22 | 2736940 | 1619022 | 3420 908 | 113 | 162
1447.65/1448.17 c 384s | 22 | 2752904 | 1627822 | 3420 913 | 113 | 162
1449.64/1450.17 c 386s | 22 | 2769437 | 1636622 | 3420 918 | 113 | 162
1451.65/1452.17 c 388s | 22 | 2785985 | 1645322 | 3420 923 | 113 | 162
1453.64/1454.18 c 390s | 22 | 2802511 | 1654022 | 3420 927 | 113 | 162
1455.64/1456.19 c 392s | 22 | 2818690 | 1662722 | 3420 932 | 113 | 162
1457.64/1458.19 c 394s | 22 | 2833223 | 1671222 | 3420 937 | 113 | 162
1459.74/1460.21 c 396s | 22 | 2846883 | 1679522 | 3420 941 | 113 | 162
1461.74/1462.22 c 398s | 22 | 2860658 | 1687722 | 3420 946 | 113 | 162
1463.75/1464.24 c 400s | 22 | 2876771 | 1696722 | 3420 951 | 113 | 162
1465.74/1466.25 c 402s | 22 | 2890545 | 1704922 | 3420 955 | 113 | 162
1467.74/1468.26 c 404s | 22 | 2905651 | 1713622 | 3420 960 | 113 | 162
1469.74/1470.27 c 406s | 22 | 2920764 | 1722122 | 3420 964 | 113 | 162
1471.74/1472.27 c 408s | 22 | 2934835 | 1730122 | 3420 969 | 113 | 162
1473.74/1474.28 c 410s | 22 | 2950084 | 1738922 | 3420 973 | 113 | 162
1475.74/1476.29 c 412s | 22 | 2964623 | 1747222 | 3420 978 | 113 | 162
1477.84/1478.32 c 414s | 22 | 2978505 | 1755722 | 3420 983 | 113 | 162
1479.84/1480.33 c 416s | 22 | 2992237 | 1763922 | 3420 987 | 113 | 162
1481.83/1482.35 c 418s | 22 | 3006444 | 1772322 | 3420 992 | 113 | 162
1483.83/1484.35 c 420s | 22 | 3021094 | 1781122 | 3420 996 | 113 | 162
1485.83/1486.36 c 422s | 22 | 3035526 | 1789422 | 3420 1001 | 113 | 162
1487.84/1488.38 c 424s | 22 | 3050056 | 1797622 | 3420 1005 | 113 | 162
1489.83/1490.38 c 426s | 22 | 3065447 | 1806122 | 3420 1010 | 113 | 162
1491.83/1492.39 c 428s | 22 | 3080241 | 1814422 | 3420 1014 | 113 | 162
1493.93/1494.41 c 430s | 22 | 3096197 | 1823022 | 3420 1019 | 113 | 162
1495.93/1496.42 c 432s | 22 | 3109423 | 1830322 | 3420 1023 | 113 | 162
1497.93/1498.43 c 434s | 22 | 3123025 | 1837922 | 3420 1027 | 113 | 162
1499.94/1500.44 c 436s | 22 | 3137037 | 1846222 | 3420 1032 | 113 | 162
1501.93/1502.48 c 438s | 22 | 3152590 | 1854922 | 3420 1036 | 113 | 162
1503.93/1504.49 c 440s | 22 | 3167166 | 1863322 | 3420 1041 | 113 | 162
1506.03/1506.51 c 442s | 22 | 3182009 | 1871922 | 3420 1046 | 113 | 162
1508.03/1508.53 c 444s | 22 | 3196142 | 1880222 | 3420 1050 | 113 | 162
1510.03/1510.55 c 446s | 22 | 3210554 | 1888822 | 3420 1055 | 113 | 162
1512.03/1512.55 c 448s | 22 | 3224957 | 1897222 | 3420 1059 | 113 | 162
1514.03/1514.57 c 450s | 22 | 3238472 | 1905222 | 3420 1064 | 113 | 162
1516.03/1516.58 c 452s | 22 | 3251109 | 1912822 | 3420 1068 | 113 | 162
1518.13/1518.60 c 454s | 22 | 3266224 | 1921422 | 3420 1072 | 113 | 162
1520.12/1520.60 c 456s | 22 | 3281305 | 1929922 | 3420 1077 | 113 | 162
1522.12/1522.61 c 458s | 22 | 3296746 | 1938622 | 3420 1082 | 113 | 162
1524.14/1524.63 c 460s | 22 | 3311474 | 1946922 | 3420 1086 | 113 | 162
1526.13/1526.63 c 462s | 22 | 3326004 | 1955422 | 3420 1091 | 113 | 162
1528.13/1528.65 c 464s | 22 | 3340184 | 1963622 | 3420 1095 | 113 | 162
1530.13/1530.66 c 466s | 22 | 3353269 | 1971322 | 3420 1100 | 113 | 162
1532.13/1532.68 c 468s | 22 | 3367942 | 1979722 | 3420 1104 | 113 | 162
1534.23/1534.70 c 470s | 22 | 3383128 | 1988422 | 3420 1109 | 113 | 162
1536.24/1536.72 c 472s | 22 | 3398104 | 1996722 | 3420 1113 | 113 | 162
1538.23/1538.73 c 474s | 22 | 3413655 | 2004922 | 3420 1118 | 113 | 162
1540.23/1540.74 c 476s | 22 | 3430675 | 2013822 | 3420 1123 | 113 | 162
1542.23/1542.74 c 478s | 22 | 3444635 | 2022222 | 3420 1127 | 113 | 162
1544.23/1544.75 c 480s | 22 | 3457210 | 2030622 | 3420 1132 | 113 | 162
1546.24/1546.75 c 482s | 22 | 3471076 | 2038822 | 3420 1136 | 113 | 162
1548.23/1548.76 c 484s | 22 | 3485280 | 2046922 | 3420 1141 | 113 | 162
1550.23/1550.77 c 486s | 22 | 3501524 | 2055622 | 3420 1145 | 113 | 162
1552.23/1552.79 c 488s | 22 | 3516216 | 2064322 | 3420 1150 | 113 | 162
1554.33/1554.80 c 491s | 22 | 3530257 | 2073022 | 3420 1155 | 113 | 162
1556.33/1556.82 c 493s | 22 | 3544325 | 2081222 | 3420 1159 | 113 | 162
1558.33/1558.84 c 495s | 22 | 3559453 | 2089422 | 3420 1164 | 113 | 162
1560.32/1560.85 c 497s | 22 | 3573445 | 2097722 | 3420 1168 | 113 | 162
1562.32/1562.86 c 499s | 22 | 3587716 | 2106022 | 3420 1173 | 113 | 162
1564.32/1564.88 c 501s | 22 | 3603249 | 2114522 | 3420 1177 | 113 | 162
1566.32/1566.88 c 503s | 22 | 3616482 | 2122522 | 3420 1182 | 113 | 162
1568.33/1568.89 c 505s | 22 | 3631076 | 2131122 | 3420 1186 | 113 | 162
1570.33/1570.90 c 507s | 22 | 3647580 | 2140522 | 3420 1191 | 113 | 162
1572.42/1572.91 c 509s | 22 | 3663684 | 2149022 | 3420 1196 | 113 | 162
1574.42/1574.91 c 511s | 22 | 3679003 | 2157322 | 3420 1200 | 113 | 162
1576.42/1576.93 c 513s | 22 | 3693274 | 2165222 | 3420 1205 | 113 | 162
1578.42/1578.96 c 515s | 22 | 3707236 | 2173422 | 3420 1209 | 113 | 162
1580.42/1580.98 c 517s | 22 | 3721480 | 2181422 | 3420 1214 | 113 | 162
1582.43/1582.99 c 519s | 22 | 3734560 | 2188822 | 3420 1218 | 113 | 162
1584.52/1585.02 c 521s | 22 | 3749370 | 2196722 | 3420 1222 | 113 | 162
1586.52/1587.03 c 523s | 22 | 3764014 | 2204622 | 3420 1226 | 113 | 162
1588.52/1589.06 c 525s | 22 | 3777535 | 2212522 | 3420 1230 | 113 | 162
1590.52/1591.07 c 527s | 22 | 3789925 | 2219922 | 3420 1234 | 113 | 162
1592.52/1593.09 c 529s | 22 | 3804067 | 2228022 | 3420 1239 | 113 | 162
1594.53/1595.10 c 531s | 22 | 3817889 | 2235722 | 3420 1243 | 113 | 162
1596.62/1597.11 c 533s | 22 | 3832526 | 2243522 | 3420 1247 | 113 | 162
1598.62/1599.12 c 535s | 22 | 3846674 | 2251022 | 3420 1251 | 113 | 162
1598.62/1599.13 c 535s | 23 | 3846705 | 2251038 | 3420 1251 | 113 | 162
1600.62/1601.13 c 537s | 23 | 3864567 | 2260438 | 3420 1256 | 113 | 162
1602.62/1603.15 c 539s | 23 | 3879598 | 2269438 | 3420 1261 | 113 | 162
1604.62/1605.16 c 541s | 23 | 3896832 | 2278638 | 3420 1266 | 113 | 162
1606.62/1607.18 c 543s | 23 | 3911889 | 2287538 | 3420 1271 | 113 | 162
1608.71/1609.20 c 545s | 23 | 3927201 | 2296138 | 3420 1276 | 113 | 162
1610.71/1611.21 c 547s | 23 | 3943938 | 2304838 | 3420 1280 | 113 | 162
1612.71/1613.22 c 549s | 23 | 3961555 | 2313638 | 3420 1285 | 113 | 162
1614.71/1615.23 c 551s | 23 | 3978900 | 2322338 | 3420 1290 | 113 | 162
1616.71/1617.27 c 553s | 23 | 3996267 | 2331238 | 3420 1295 | 113 | 162
1618.72/1619.30 c 555s | 23 | 4009221 | 2339338 | 3420 1299 | 113 | 162
1620.81/1621.30 c 557s | 23 | 4024504 | 2347838 | 3420 1304 | 113 | 162
1622.81/1623.32 c 559s | 23 | 4039226 | 2356338 | 3420 1308 | 113 | 162
1624.81/1625.32 c 561s | 23 | 4055488 | 2364738 | 3420 1313 | 113 | 162
1626.81/1627.34 c 563s | 23 | 4072009 | 2373338 | 3420 1318 | 113 | 162
1628.81/1629.34 c 565s | 23 | 4086305 | 2381438 | 3420 1322 | 113 | 162
1630.81/1631.40 c 567s | 23 | 4102091 | 2389538 | 3420 1326 | 113 | 162
1632.92/1633.41 c 569s | 23 | 4118736 | 2398038 | 3420 1331 | 113 | 162
1634.92/1635.43 c 571s | 23 | 4135200 | 2406638 | 3420 1336 | 113 | 162
1636.92/1637.43 c 573s | 23 | 4149902 | 2414538 | 3420 1340 | 113 | 162
1638.91/1639.44 c 575s | 23 | 4164954 | 2422338 | 3420 1344 | 113 | 162
1640.91/1641.44 c 577s | 23 | 4179155 | 2429538 | 3420 1348 | 113 | 162
1642.92/1643.45 c 579s | 23 | 4194289 | 2437538 | 3420 1352 | 113 | 162
1644.91/1645.46 c 581s | 23 | 4211109 | 2446338 | 3420 1357 | 113 | 162
1646.91/1647.46 c 583s | 23 | 4226243 | 2454438 | 3420 1362 | 113 | 162
1648.91/1649.46 c 585s | 23 | 4242189 | 2462838 | 3420 1366 | 113 | 162
1650.91/1651.47 c 587s | 23 | 4260005 | 2471538 | 3420 1371 | 113 | 162
1652.92/1653.48 c 589s | 23 | 4278561 | 2480538 | 3420 1376 | 113 | 162
1654.91/1655.50 c 591s | 23 | 4298528 | 2489738 | 3420 1381 | 113 | 162
1657.01/1657.50 c 593s | 23 | 4315667 | 2498538 | 3420 1386 | 113 | 162
1659.01/1659.51 c 595s | 23 | 4330461 | 2507038 | 3420 1390 | 113 | 162
1661.01/1661.52 c 597s | 23 | 4345516 | 2515738 | 3420 1395 | 113 | 162
1663.01/1663.54 c 599s | 23 | 4360950 | 2524338 | 3420 1400 | 113 | 162
1665.01/1665.54 c 601s | 23 | 4377180 | 2532638 | 3420 1404 | 113 | 162
1667.01/1667.55 c 603s | 23 | 4393004 | 2541038 | 3420 1409 | 113 | 162
1669.01/1669.56 c 605s | 23 | 4406953 | 2549038 | 3420 1413 | 113 | 162
1671.01/1671.59 c 607s | 23 | 4422471 | 2557338 | 3420 1418 | 113 | 162
1673.11/1673.61 c 609s | 23 | 4437476 | 2565838 | 3420 1422 | 113 | 162
1675.11/1675.64 c 611s | 23 | 4451939 | 2573938 | 3420 1427 | 113 | 162
1677.11/1677.66 c 613s | 23 | 4467356 | 2582138 | 3420 1431 | 113 | 162
1679.10/1679.68 c 615s | 23 | 4487027 | 2591138 | 3420 1436 | 113 | 162
1681.10/1681.68 c 617s | 23 | 4506716 | 2600438 | 3420 1441 | 113 | 162
1683.10/1683.68 c 619s | 23 | 4523927 | 2609038 | 3420 1446 | 113 | 162
1685.10/1685.70 c 621s | 23 | 4540212 | 2617738 | 3420 1450 | 113 | 162
1687.20/1687.70 c 623s | 23 | 4557941 | 2626138 | 3420 1455 | 113 | 162
1689.21/1689.72 c 625s | 23 | 4575711 | 2634938 | 3420 1460 | 113 | 162
1691.20/1691.73 c 627s | 23 | 4592687 | 2643338 | 3420 1464 | 113 | 162
1693.20/1693.73 c 629s | 23 | 4608859 | 2651838 | 3420 1469 | 113 | 162
1695.20/1695.74 c 631s | 23 | 4625102 | 2660038 | 3420 1473 | 113 | 162
1697.20/1697.75 c 633s | 23 | 4640974 | 2668238 | 3420 1478 | 113 | 162
1699.20/1699.77 c 635s | 23 | 4656549 | 2676338 | 3420 1482 | 113 | 162
1701.21/1701.79 c 637s | 23 | 4673610 | 2684538 | 3420 1487 | 113 | 162
1703.30/1703.80 c 639s | 23 | 4687890 | 2692138 | 3420 1491 | 113 | 162
1705.30/1705.81 c 642s | 23 | 4703133 | 2699838 | 3420 1495 | 113 | 162
1707.30/1707.83 c 644s | 23 | 4719452 | 2708238 | 3420 1500 | 113 | 162
1709.30/1709.86 c 646s | 23 | 4737147 | 2716938 | 3420 1504 | 113 | 162
1711.40/1711.97 c 648s | 23 | 4755102 | 2725638 | 3420 1509 | 113 | 162
1713.40/1713.98 c 650s | 23 | 4768840 | 2733438 | 3420 1513 | 113 | 162
1715.40/1716.00 c 652s | 23 | 4784710 | 2741438 | 3420 1518 | 113 | 162
1717.49/1718.03 c 654s | 23 | 4803003 | 2749938 | 3420 1522 | 113 | 162
1719.49/1720.04 c 656s | 23 | 4818199 | 2757738 | 3420 1526 | 113 | 162
1721.49/1722.04 c 658s | 23 | 4834877 | 2766238 | 3420 1531 | 113 | 162
1723.49/1724.06 c 660s | 23 | 4850488 | 2774138 | 3420 1535 | 113 | 162
1725.50/1726.08 c 662s | 23 | 4865676 | 2782038 | 3420 1540 | 113 | 162
1727.49/1728.09 c 664s | 23 | 4881651 | 2790038 | 3420 1544 | 113 | 162
1729.49/1730.09 c 666s | 23 | 4896398 | 2798138 | 3420 1548 | 113 | 162
1731.59/1732.12 c 668s | 23 | 4911969 | 2806238 | 3420 1553 | 113 | 162
1733.59/1734.14 c 670s | 23 | 4928483 | 2814438 | 3420 1557 | 113 | 162
1735.59/1736.14 c 672s | 23 | 4943513 | 2822238 | 3420 1561 | 113 | 162
1737.60/1738.14 c 674s | 23 | 4958447 | 2830138 | 3420 1566 | 113 | 162
1739.59/1740.16 c 676s | 23 | 4974048 | 2838238 | 3420 1570 | 113 | 162
1741.59/1742.18 c 678s | 23 | 4988917 | 2846438 | 3420 1575 | 113 | 162
1743.59/1744.18 c 680s | 23 | 5003631 | 2854338 | 3420 1579 | 113 | 162
1745.69/1746.20 c 682s | 23 | 5017958 | 2862338 | 3420 1583 | 113 | 162
1747.69/1748.21 c 684s | 23 | 5032091 | 2870238 | 3420 1587 | 113 | 162
1749.69/1750.22 c 686s | 23 | 5045569 | 2877538 | 3420 1591 | 113 | 162
1751.69/1752.23 c 688s | 23 | 5059184 | 2884838 | 3420 1595 | 113 | 162
1753.69/1754.24 c 690s | 23 | 5073514 | 2892738 | 3420 1600 | 113 | 162
1755.69/1756.24 c 692s | 23 | 5086978 | 2900138 | 3420 1604 | 113 | 162
1757.68/1758.25 c 694s | 23 | 5102397 | 2908338 | 3420 1608 | 113 | 162
1759.69/1760.26 c 696s | 23 | 5116760 | 2916238 | 3420 1612 | 113 | 162
1761.70/1762.27 c 698s | 23 | 5132344 | 2924438 | 3420 1617 | 113 | 162
1763.69/1764.29 c 700s | 23 | 5148196 | 2932438 | 3420 1621 | 113 | 162
1765.79/1766.32 c 702s | 23 | 5164002 | 2940338 | 3420 1626 | 113 | 162
1767.79/1768.33 c 704s | 23 | 5179930 | 2948438 | 3420 1630 | 113 | 162
1769.79/1770.33 c 706s | 23 | 5195504 | 2956338 | 3420 1634 | 113 | 162
1771.79/1772.35 c 708s | 23 | 5210993 | 2964438 | 3420 1639 | 113 | 162
1773.79/1774.36 c 710s | 23 | 5228635 | 2973138 | 3420 1643 | 113 | 162
1775.79/1776.38 c 712s | 23 | 5243632 | 2981138 | 3420 1648 | 113 | 162
1777.79/1778.39 c 714s | 23 | 5261233 | 2989638 | 3420 1652 | 113 | 162
1779.89/1780.41 c 716s | 23 | 5279123 | 2998138 | 3420 1657 | 113 | 162
1781.89/1782.41 c 718s | 23 | 5297832 | 3007138 | 3420 1662 | 113 | 162
1783.89/1784.42 c 720s | 23 | 5315773 | 3016038 | 3420 1667 | 113 | 162
1785.89/1786.47 c 722s | 23 | 5333357 | 3024438 | 3420 1671 | 113 | 162
1787.88/1788.48 c 724s | 23 | 5351464 | 3033138 | 3420 1676 | 113 | 162
1789.98/1790.50 c 726s | 23 | 5370887 | 3042338 | 3420 1681 | 113 | 162
1791.98/1792.50 c 728s | 23 | 5388777 | 3050938 | 3420 1686 | 113 | 162
1793.98/1794.51 c 730s | 23 | 5407064 | 3059838 | 3420 1690 | 113 | 162
1795.98/1796.51 c 732s | 23 | 5425096 | 3068538 | 3420 1695 | 113 | 162
1797.99/1798.52 c 734s | 23 | 5442081 | 3077238 | 3420 1700 | 113 | 162
1799.98/1800.53 c 736s | 23 | 5458912 | 3085838 | 3420 1705 | 113 | 162
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-4079644-1465234341/watcher-4079644-1465234341 -o /tmp/evaluation-result-4079644-1465234341/solver-4079644-1465234341 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079644-1465234341.opb
pid=16019
running on 4 cores: 0,2,4,6
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.24 2.26 2.20 3/179 16022
/proc/meminfo: memFree=29386212/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 2771 0 0 0 0 0 0 0 20 0 4 0 105366459 759623680 3131 33554432000 4194304 16246674 140734535539024 140734535538448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16022/statm: 186223 3140 441 2943 0 183117 0
[pid=16022/tid=16023] ppid=16019 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 778498048 3202 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 782692352 3219 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105366460 787935232 3235 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100159 s]
/proc/loadavg: 2.24 2.26 2.20 3/179 16022
/proc/meminfo: memFree=29386212/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1219140 CPUtime=0.09 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 17323 0 0 0 6 3 0 0 20 0 4 0 105366459 1248399360 17648 33554432000 4194304 16246674 140734535539024 140734535522016 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16022/statm: 304785 17656 846 2943 0 301679 0
[pid=16022/tid=16023] ppid=16019 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1248399360 17660 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1248399360 17665 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1248399360 17671 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1219140
[startup+0.200437 s]
/proc/loadavg: 2.24 2.26 2.20 3/179 16022
/proc/meminfo: memFree=29386212/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1306180 CPUtime=0.19 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 36293 0 0 0 14 5 0 0 20 0 4 0 105366459 1337528320 36619 33554432000 4194304 16246674 140734535539024 140734535522016 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16022/statm: 326545 36631 847 2943 0 323439 0
[pid=16022/tid=16023] ppid=16019 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1337528320 36638 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1337528320 36643 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1337528320 36650 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1306180
[startup+0.300467 s]
/proc/loadavg: 2.24 2.26 2.20 3/179 16022
/proc/meminfo: memFree=29386212/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1306180 CPUtime=0.28 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 44332 0 0 0 22 6 0 0 20 0 4 0 105366459 1337528320 44657 33554432000 4194304 16246674 140734535539024 140734535520896 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16022/statm: 326545 44663 847 2943 0 323439 0
[pid=16022/tid=16023] ppid=16019 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1337528320 44666 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1337528320 44670 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1337528320 44675 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1306180
[startup+0.700392 s]
/proc/loadavg: 2.24 2.26 2.20 3/179 16022
/proc/meminfo: memFree=29386212/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 123974 0 0 0 52 17 0 0 20 0 4 0 105366459 1337528320 124299 33554432000 4194304 16246674 140734535539024 140734535520896 12874965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16022/statm: 326545 124307 847 2943 0 323439 0
[pid=16022/tid=16023] ppid=16019 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1337528320 124311 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1337528320 124314 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1337528320 124317 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180
[startup+1.50035 s]
/proc/loadavg: 2.24 2.26 2.20 3/183 16026
/proc/meminfo: memFree=28562848/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 267805 0 0 0 113 36 0 0 20 0 4 0 105366459 1338576896 268130 33554432000 4194304 16246674 140734535539024 140734535520896 5711964 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16022/statm: 326801 268130 849 2943 0 323695 0
[pid=16022/tid=16023] ppid=16019 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1338576896 268130 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1338576896 268130 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1338576896 268130 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204
[startup+3.10039 s]
/proc/loadavg: 2.30 2.27 2.21 3/183 16026
/proc/meminfo: memFree=28313980/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 267835 0 0 0 273 36 0 0 20 0 4 0 105366459 1338576896 268160 33554432000 4194304 16246674 140734535539024 140734535522024 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16022/statm: 326801 268160 853 2943 0 323695 0
[pid=16022/tid=16023] ppid=16019 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1338576896 268160 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1338576896 268160 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1338576896 268160 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204
[startup+6.3004 s]
/proc/loadavg: 2.30 2.27 2.21 3/183 16026
/proc/meminfo: memFree=28313552/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 267840 0 0 0 593 36 0 0 20 0 4 0 105366459 1338576896 268165 33554432000 4194304 16246674 140734535539024 140734535522024 5677888 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16022/statm: 326801 268165 853 2943 0 323695 0
[pid=16022/tid=16023] ppid=16019 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1338576896 268165 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1338576896 268165 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1338576896 268165 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204
[startup+12.7004 s]
/proc/loadavg: 2.33 2.28 2.21 3/183 16026
/proc/meminfo: memFree=28313576/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 267842 0 0 0 1233 36 0 0 20 0 4 0 105366459 1338576896 268167 33554432000 4194304 16246674 140734535539024 140734535520896 5722671 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16022/statm: 326801 268167 855 2943 0 323695 0
[pid=16022/tid=16023] ppid=16019 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1338576896 268167 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1338576896 268167 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1338576896 268167 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204
[startup+25.5004 s]
/proc/loadavg: 2.44 2.30 2.22 4/183 16026
/proc/meminfo: memFree=28312960/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 268155 0 0 0 2512 36 0 0 20 0 4 0 105366459 1339625472 268480 33554432000 4194304 16246674 140734535539024 140734535520896 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16022/statm: 327057 268480 855 2943 0 323951 0
[pid=16022/tid=16023] ppid=16019 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1339625472 268480 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1339625472 268480 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1339625472 268480 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228
[startup+51.1005 s]
/proc/loadavg: 2.35 2.29 2.21 3/183 16026
/proc/meminfo: memFree=28311752/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 268453 0 0 0 5071 37 0 0 20 0 4 0 105366459 1341722624 268778 33554432000 4194304 16246674 140734535539024 140734535522024 5515736 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16022/statm: 327569 268778 856 2943 0 324463 0
[pid=16022/tid=16023] ppid=16019 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1341722624 268778 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1341722624 268778 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1341722624 268778 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276
[startup+102.3 s]
/proc/loadavg: 2.37 2.31 2.22 3/183 16027
/proc/meminfo: memFree=28310228/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 268669 0 0 0 10190 38 0 0 20 0 4 0 105366459 1341722624 268994 33554432000 4194304 16246674 140734535539024 140734535520896 6016176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16022/statm: 327569 268994 856 2943 0 324463 0
[pid=16022/tid=16023] ppid=16019 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1341722624 268994 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1341722624 268994 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1341722624 268994 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276
################
# More data... #
################
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1353256960 271814 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1321540
[startup+1302.3 s]
/proc/loadavg: 2.34 2.26 2.22 3/183 16156
/proc/meminfo: memFree=28258116/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1324612 CPUtime=1301.88 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 272650 0 0 0 130135 53 0 0 20 0 4 0 105366459 1356402688 272582 33554432000 4194304 16246674 140734535539024 140734535520896 5711952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16022/statm: 331153 272582 857 2943 0 328047 0
[pid=16022/tid=16023] ppid=16019 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1356402688 272582 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1356402688 272582 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1356402688 272582 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1324612
[startup+1362.3 s]
/proc/loadavg: 2.22 2.24 2.21 3/183 16157
/proc/meminfo: memFree=28258140/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1324612 CPUtime=1361.86 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 272688 0 0 0 136133 53 0 0 20 0 4 0 105366459 1356402688 272582 33554432000 4194304 16246674 140734535539024 140734535522016 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16022/statm: 331153 272582 857 2943 0 328047 0
[pid=16022/tid=16023] ppid=16019 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1356402688 272582 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1356402688 272582 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1356402688 272582 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1324612
[startup+1422.3 s]
/proc/loadavg: 2.23 2.23 2.21 4/183 16158
/proc/meminfo: memFree=28256052/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1324612 CPUtime=1421.85 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 272693 0 0 0 142131 54 0 0 20 0 4 0 105366459 1356402688 272582 33554432000 4194304 16246674 140734535539024 140734535522024 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16022/statm: 331153 272582 857 2943 0 328047 0
[pid=16022/tid=16023] ppid=16019 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1356402688 272582 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1356402688 272582 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1356402688 272582 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1324612
[startup+1482.3 s]
/proc/loadavg: 2.30 2.25 2.21 3/183 16160
/proc/meminfo: memFree=28248680/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1332804 CPUtime=1481.83 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 274579 0 0 0 148128 55 0 0 20 0 4 0 105366459 1364791296 274468 33554432000 4194304 16246674 140734535539024 140734535522024 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16022/statm: 333201 274468 857 2943 0 330095 0
[pid=16022/tid=16023] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274468 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274468 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274468 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1332804
[startup+1542.31 s]
/proc/loadavg: 2.27 2.26 2.22 3/183 16161
/proc/meminfo: memFree=28248080/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1332804 CPUtime=1541.84 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 274686 0 0 0 154128 56 0 0 20 0 4 0 105366459 1364791296 274575 33554432000 4194304 16246674 140734535539024 140734535520896 6837232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16022/statm: 333201 274575 857 2943 0 330095 0
[pid=16022/tid=16023] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274575 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274575 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274575 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1332804
[startup+1602.3 s]
/proc/loadavg: 2.32 2.27 2.22 4/183 16162
/proc/meminfo: memFree=28248120/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1332804 CPUtime=1601.82 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 274686 0 0 0 160125 57 0 0 20 0 4 0 105366459 1364791296 274575 33554432000 4194304 16246674 140734535539024 140734535522024 5827792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16022/statm: 333201 274575 857 2943 0 330095 0
[pid=16022/tid=16023] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274575 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274575 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274575 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1332804
[startup+1662.3 s]
/proc/loadavg: 2.35 2.28 2.22 4/184 16166
/proc/meminfo: memFree=28247728/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1332804 CPUtime=1661.81 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 274741 0 0 0 166123 58 0 0 20 0 4 0 105366459 1364791296 274630 33554432000 4194304 16246674 140734535539024 140734535520896 5724451 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16022/statm: 333201 274630 857 2943 0 330095 0
[pid=16022/tid=16023] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274630 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274630 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274630 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1332804
[startup+1722.3 s]
/proc/loadavg: 2.17 2.24 2.21 3/184 16190
/proc/meminfo: memFree=28247140/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1332804 CPUtime=1721.79 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 274741 0 0 0 172121 58 0 0 20 0 4 0 105366459 1364791296 274630 33554432000 4194304 16246674 140734535539024 140734535538200 5840108 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16022/statm: 333201 274630 857 2943 0 330095 0
[pid=16022/tid=16023] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274630 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274630 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274630 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1332804
[startup+1782.3 s]
/proc/loadavg: 2.21 2.24 2.21 4/183 16192
/proc/meminfo: memFree=28247720/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1332804 CPUtime=1781.79 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 274741 0 0 0 178120 59 0 0 20 0 4 0 105366459 1364791296 274630 33554432000 4194304 16246674 140734535539024 140734535520896 5599986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16022/statm: 333201 274630 857 2943 0 330095 0
[pid=16022/tid=16023] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274630 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274630 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274630 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1332804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.17 2.23 2.21 3/183 16192
/proc/meminfo: memFree=28247688/32872528 swapFree=16636/1570076
[pid=16022] ppid=16019 vsize=1332804 CPUtime=1800.08 cores=0,2,4,6
/proc/16022/stat : 16022 (toysat) R 16019 16022 13075 0 -1 4202496 274741 0 0 0 179949 59 0 0 20 0 4 0 105366459 1364791296 274630 33554432000 4194304 16246674 140734535539024 140734535522016 13923640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16022/statm: 333201 274630 857 2943 0 330095 0
[pid=16022/tid=16023] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16023/stat : 16023 (toysat) S 16019 16022 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274630 33554432000 4194304 16246674 140734535539024 139857061981424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16022/tid=16024] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16024/stat : 16024 (toysat) S 16019 16022 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274630 33554432000 4194304 16246674 140734535539024 139857051491568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16022/tid=16025] ppid=16019 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16022/task/16025/stat : 16025 (toysat) S 16019 16022 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105366460 1364791296 274630 33554432000 4194304 16246674 140734535539024 139857041018032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1332804
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 16022 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.5
CPU system time (s): 0.596909
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1332804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.596909
maximum resident set size= 1098520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274741
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= 457
involuntary context switches= 2158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65429 second user time and 6.88495 second system time
The end