0.00/0.00 c 2016-06-29T23:56:03+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-4117897-1467237362.opb"]
0.00/0.01 c use --random-gen="1181311617 1956674423 2860895550 243001555 2171824747 2057909215 1716438162 480883599 2842788505 3302221408 199272985 3282098915 3226809539 1002567403 2472074977 3935611499 2347331461 1483271576 626673407 2615655383 2196194581 2800201995 3423098369 1283866591 2358373868 2177000546 4248611804 2826990248 4285485267 2224361527 187949263 3403526250 2591970780 89646927 1162884920 1311896215 2269998204 3047649291 3797308888 1417404904 3234607147 1308632857 800266557 467562399 2654046812 2680543514 2441158823 2605871545 876020703 3880351206 3283776238 3850646629 1094925210 2339308664 3619989548 1279966805 2783389429 1063996012 11629186 2691416173 1316501044 920951668 1448315782 984736738 1416489390 2683929301 38681530 2167893874 1347150248 594458609 984972211 3470311786 2758507374 3563013870 33634777 790154231 432529229 3087793419 4068475800 3317599301 1238507407 1545666985 2587259617 946620313 4069490986 3626601485 3713791837 2175821444 817737436 3614808561 4046179244 2138197366 3191559063 3568454683 197582093 3247896224 545725003 2368113020 1574355697 1004709296 3786501423 1668820443 2297810676 303411416 2340560441 471669697 635936935 781248486 2360947485 2557619730 2191091684 2703992642 3526306133 2350588900 1440788409 3258229624 2487453540 3473155529 1613042735 2584598754 1334379468 3021604802 2343408888 1642526624 1917040330 3669048845 2426036911 3251402329 1891751253 2126303779 1876833170 3888330726 3064088313 4160791110 692026320 1738882903 1263501247 1565597692 1972503514 1529898262 1670632316 3832607681 2009657024 2010854829 848338213 956791979 1811829461 1353299882 490640247 4260317611 3940170606 486009235 2071962164 321209014 1635867612 2887656420 3932249045 619884788 3613407140 1078316387 2231774328 1620051578 1454104619 1583025288 4086283896 3156672175 438426241 4120895277 163080044 2757195243 1753354252 2763787727 1960362953 350815064 3228740212 3694084517 1340811838 3412061705 378316427 3973747142 324711312 1619134953 3138514320 1155013216 2004363026 27641402 2318308335 3794163175 1359455070 2058732471 419031585 1116326480 2510649741 3525686308 263054534 3305173437 4263530503 4022019233 1666275676 601978587 2507563255 355071225 4293048242 646775719 2263854348 135854135 147284375 825145112 961799776 2453180498 3641916130 551095920 2635705505 2695789249 1592923479 3340704758 1734997744 2334987088 1244056027 2235703004 2503772401 3530215392 2312315013 426314935 2717673553 4044572231 364971429 1086792717 3643728697 3272032649 2859030786 558474573 339286584 3159313703 3901774684 915279228 2920062606 3120050894 2190493471 141973159 4216690286 3932750206 350827581 3629062721 1960274774 2418514261 4128749181 4060917257 3220772929 602959544 3008553253 2841400620 1035604038 1122904170 3219574198 1843990517 255 362436" option to reproduce the execution
0.00/0.02 c #vars 196
0.00/0.02 c #constraints 82
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 | 114 0 | 21 | 0
0.00/0.03 c 0.0s | 1 | 128 | 100 | 114 0 | 21 | 0
0.00/0.06 c 0.0s | 2 | 340 | 250 | 126 1 | 21 | 0
0.00/0.09 c 0.1s | 3 | 644 | 475 | 139 3 | 21 | 0
0.08/0.14 c 0.1s | 4 | 1051 | 813 | 153 6 | 21 | 0
0.38/0.45 c 0.2s | 5 | 1651 | 1320 | 169 10 | 21 | 0
0.38/0.45 c 0.3s | 6 | 2545 | 2081 | 205 15 | 21 | 0
0.48/0.52 c 0.5s | 6 | 3752 | 3103 | 205 23 | 21 | 0
0.48/0.52 c #cpu_time = 0.495s
0.48/0.52 c #wall_clock_time = 0.496s
0.48/0.52 c #decision = 3752
0.48/0.52 c #random_decision = 15
0.48/0.52 c #conflict = 3103
0.48/0.52 c #restart = 6
0.48/0.52 o 95
0.48/0.52 c BCD2: updating upper bound: 196 -> 94
0.48/0.52 c BCD2: 0 <= obj <= 94
0.48/0.52 c BCD2: #cores=0, #unrelaxed=196, #relaxed=0, #hardened=0
0.48/0.52 c BCD2: #sat=1 #unsat=1 bias=1/2
0.48/0.52 c Solving starts ...
0.48/0.52 c ============================[ Search Statistics ]============================
0.48/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.52 c | | | | Limit GC | Var | Constra
0.48/0.52 c =============================================================================
0.48/0.52 c 0.0s | 0 | 0 | 0 | 205 0 | 21 | 0
0.48/0.52 c 0.0s | 0 | 0 | 0 | 205 0 | 21 | 0
0.48/0.52 c #cpu_time = 0.001s
0.48/0.52 c #wall_clock_time = 0.001s
0.48/0.52 c #decision = 0
0.48/0.52 c #random_decision = 0
0.48/0.52 c #conflict = 0
0.48/0.52 c #restart = 0
0.48/0.52 c BCD2: found a new core of size 1: cost of the new core is >=1
0.48/0.52 c lower bound updated to 1
0.48/0.52 c BCD2: 1 <= obj <= 94
0.48/0.52 c BCD2: #cores=1, #unrelaxed=195, #relaxed=1, #hardened=0
0.48/0.52 c BCD2: #sat=1 #unsat=2 bias=2/3
0.48/0.52 c Solving starts ...
0.48/0.52 c ============================[ Search Statistics ]============================
0.48/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.52 c | | | | Limit GC | Var | Constra
0.48/0.52 c =============================================================================
0.48/0.52 c 0.0s | 0 | 0 | 0 | 205 0 | 21 | 0
0.48/0.52 c 0.0s | 0 | 4 | 0 | 205 0 | 21 | 0
0.48/0.52 c #cpu_time = 0.001s
0.48/0.52 c #wall_clock_time = 0.001s
0.48/0.52 c #decision = 4
0.48/0.52 c #random_decision = 0
0.48/0.52 c #conflict = 0
0.48/0.52 c #restart = 0
0.48/0.52 c BCD2: found a new core of size 1: cost of the new core is >=1
0.48/0.52 c lower bound updated to 2
0.48/0.52 c BCD2: 2 <= obj <= 94
0.48/0.52 c BCD2: #cores=2, #unrelaxed=194, #relaxed=2, #hardened=0
0.48/0.52 c BCD2: #sat=1 #unsat=3 bias=3/4
0.48/0.52 c Solving starts ...
0.48/0.52 c ============================[ Search Statistics ]============================
0.48/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.52 c | | | | Limit GC | Var | Constra
0.48/0.52 c =============================================================================
0.48/0.52 c 0.0s | 0 | 0 | 0 | 205 0 | 21 | 0
0.48/0.52 c 0.0s | 0 | 6 | 0 | 205 0 | 21 | 0
0.48/0.52 c #cpu_time = 0.001s
0.48/0.52 c #wall_clock_time = 0.001s
0.48/0.52 c #decision = 6
0.48/0.52 c #random_decision = 0
0.48/0.52 c #conflict = 0
0.48/0.52 c #restart = 0
0.48/0.52 c BCD2: found a new core of size 5: cost of the new core is >=1
0.48/0.52 c lower bound updated to 3
0.48/0.52 c BCD2: 3 <= obj <= 94
0.48/0.52 c BCD2: #cores=3, #unrelaxed=189, #relaxed=7, #hardened=0
0.48/0.52 c BCD2: #sat=1 #unsat=4 bias=4/5
0.48/0.52 c Solving starts ...
0.48/0.52 c ============================[ Search Statistics ]============================
0.48/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.52 c | | | | Limit GC | Var | Constra
0.48/0.52 c =============================================================================
0.48/0.52 c 0.0s | 0 | 0 | 0 | 205 0 | 21 | 0
0.48/0.52 c 0.0s | 0 | 7 | 1 | 205 0 | 21 | 0
0.48/0.52 c #cpu_time = 0.001s
0.48/0.52 c #wall_clock_time = 0.001s
0.48/0.52 c #decision = 7
0.48/0.52 c #random_decision = 0
0.48/0.52 c #conflict = 1
0.48/0.52 c #restart = 0
0.48/0.52 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.48/0.52 c lower bound updated to 4
0.48/0.52 c BCD2: 4 <= obj <= 94
0.48/0.52 c BCD2: #cores=3, #unrelaxed=185, #relaxed=11, #hardened=0
0.48/0.52 c BCD2: #sat=1 #unsat=5 bias=5/6
0.48/0.52 c Solving starts ...
0.48/0.52 c ============================[ Search Statistics ]============================
0.48/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.52 c | | | | Limit GC | Var | Constra
0.48/0.52 c =============================================================================
0.48/0.52 c 0.0s | 0 | 0 | 0 | 205 0 | 22 | 0
0.48/0.52 c 0.0s | 0 | 3 | 0 | 205 0 | 22 | 1
0.48/0.52 c #cpu_time = 0.001s
0.48/0.52 c #wall_clock_time = 0.001s
0.48/0.52 c #decision = 3
0.48/0.52 c #random_decision = 0
0.48/0.52 c #conflict = 0
0.48/0.52 c #restart = 0
0.48/0.52 c BCD2: found a new core of size 1: cost of the new core is >=1
0.48/0.52 c lower bound updated to 5
0.48/0.52 c BCD2: 5 <= obj <= 94
0.48/0.52 c BCD2: #cores=4, #unrelaxed=184, #relaxed=12, #hardened=0
0.48/0.52 c BCD2: #sat=1 #unsat=6 bias=6/7
0.48/0.52 c Solving starts ...
0.48/0.52 c ============================[ Search Statistics ]============================
0.48/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.52 c | | | | Limit GC | Var | Constra
0.48/0.52 c =============================================================================
0.48/0.52 c 0.0s | 0 | 0 | 0 | 205 0 | 22 | 1
0.48/0.53 c 0.0s | 0 | 4 | 0 | 205 0 | 22 | 1
0.48/0.53 c #cpu_time = 0.001s
0.48/0.53 c #wall_clock_time = 0.001s
0.48/0.53 c #decision = 4
0.48/0.53 c #random_decision = 0
0.48/0.53 c #conflict = 0
0.48/0.53 c #restart = 0
0.48/0.53 c BCD2: found a new core of size 1: cost of the new core is >=1
0.48/0.53 c lower bound updated to 6
0.48/0.53 c BCD2: 6 <= obj <= 94
0.48/0.53 c BCD2: #cores=5, #unrelaxed=183, #relaxed=13, #hardened=0
0.48/0.53 c BCD2: #sat=1 #unsat=7 bias=7/8
0.48/0.53 c Solving starts ...
0.48/0.53 c ============================[ Search Statistics ]============================
0.48/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.53 c | | | | Limit GC | Var | Constra
0.48/0.53 c =============================================================================
0.48/0.53 c 0.0s | 0 | 0 | 0 | 205 0 | 22 | 1
0.48/0.53 c 0.0s | 0 | 8 | 0 | 205 0 | 22 | 1
0.48/0.53 c #cpu_time = 0.001s
0.48/0.53 c #wall_clock_time = 0.001s
0.48/0.53 c #decision = 8
0.48/0.53 c #random_decision = 0
0.48/0.53 c #conflict = 0
0.48/0.53 c #restart = 0
0.48/0.53 c BCD2: found a new core of size 1: cost of the new core is >=1
0.48/0.53 c lower bound updated to 7
0.48/0.53 c BCD2: 7 <= obj <= 94
0.48/0.53 c BCD2: #cores=6, #unrelaxed=182, #relaxed=14, #hardened=0
0.48/0.53 c BCD2: #sat=1 #unsat=8 bias=8/9
0.48/0.53 c Solving starts ...
0.48/0.53 c ============================[ Search Statistics ]============================
0.48/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.53 c | | | | Limit GC | Var | Constra
0.48/0.53 c =============================================================================
0.48/0.53 c 0.0s | 0 | 0 | 0 | 205 0 | 22 | 1
0.48/0.53 c 0.0s | 0 | 11 | 0 | 205 0 | 22 | 1
0.48/0.53 c #cpu_time = 0.001s
0.48/0.53 c #wall_clock_time = 0.001s
0.48/0.53 c #decision = 11
0.48/0.53 c #random_decision = 0
0.48/0.53 c #conflict = 0
0.48/0.53 c #restart = 0
0.48/0.53 c BCD2: found a new core of size 6: cost of the new core is >=1
0.48/0.53 c lower bound updated to 8
0.48/0.53 c BCD2: 8 <= obj <= 94
0.48/0.53 c BCD2: #cores=7, #unrelaxed=176, #relaxed=20, #hardened=0
0.48/0.53 c BCD2: #sat=1 #unsat=9 bias=9/10
0.48/0.53 c Solving starts ...
0.48/0.53 c ============================[ Search Statistics ]============================
0.48/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.53 c | | | | Limit GC | Var | Constra
0.48/0.53 c =============================================================================
0.48/0.53 c 0.0s | 0 | 0 | 0 | 205 0 | 22 | 1
0.48/0.53 c 0.0s | 0 | 12 | 1 | 205 0 | 22 | 1
0.48/0.53 c #cpu_time = 0.001s
0.48/0.53 c #wall_clock_time = 0.001s
0.48/0.53 c #decision = 12
0.48/0.53 c #random_decision = 0
0.48/0.53 c #conflict = 1
0.48/0.53 c #restart = 0
0.48/0.53 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.48/0.53 c lower bound updated to 9
0.48/0.53 c BCD2: 9 <= obj <= 94
0.48/0.53 c BCD2: #cores=7, #unrelaxed=171, #relaxed=25, #hardened=0
0.48/0.53 c BCD2: #sat=1 #unsat=10 bias=10/11
0.48/0.53 c Solving starts ...
0.48/0.53 c ============================[ Search Statistics ]============================
0.48/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.53 c | | | | Limit GC | Var | Constra
0.48/0.53 c =============================================================================
0.48/0.53 c 0.0s | 0 | 0 | 0 | 205 0 | 23 | 1
0.48/0.53 c 0.0s | 0 | 7 | 0 | 205 0 | 23 | 2
0.48/0.53 c #cpu_time = 0.001s
0.48/0.53 c #wall_clock_time = 0.001s
0.48/0.53 c #decision = 7
0.48/0.53 c #random_decision = 0
0.48/0.53 c #conflict = 0
0.48/0.53 c #restart = 0
0.48/0.53 c BCD2: found a new core of size 1: cost of the new core is >=1
0.48/0.53 c lower bound updated to 10
0.48/0.53 c BCD2: 10 <= obj <= 94
0.48/0.53 c BCD2: #cores=8, #unrelaxed=170, #relaxed=26, #hardened=0
0.48/0.53 c BCD2: #sat=1 #unsat=11 bias=11/12
0.48/0.53 c Solving starts ...
0.48/0.53 c ============================[ Search Statistics ]============================
0.48/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.53 c | | | | Limit GC | Var | Constra
0.48/0.53 c =============================================================================
0.48/0.53 c 0.0s | 0 | 0 | 0 | 205 0 | 23 | 2
0.48/0.53 c 0.0s | 0 | 11 | 0 | 205 0 | 23 | 2
0.48/0.53 c #cpu_time = 0.001s
0.48/0.53 c #wall_clock_time = 0.001s
0.48/0.53 c #decision = 11
0.48/0.53 c #random_decision = 0
0.48/0.53 c #conflict = 0
0.48/0.53 c #restart = 0
0.48/0.53 c BCD2: found a new core of size 1: cost of the new core is >=1
0.48/0.53 c lower bound updated to 11
0.48/0.53 c BCD2: 11 <= obj <= 94
0.48/0.53 c BCD2: #cores=9, #unrelaxed=169, #relaxed=27, #hardened=0
0.48/0.53 c BCD2: #sat=1 #unsat=12 bias=12/13
0.48/0.53 c Solving starts ...
0.48/0.53 c ============================[ Search Statistics ]============================
0.48/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.53 c | | | | Limit GC | Var | Constra
0.48/0.53 c =============================================================================
0.48/0.53 c 0.0s | 0 | 0 | 0 | 205 0 | 23 | 2
0.48/0.53 c 0.0s | 0 | 16 | 0 | 205 0 | 23 | 2
0.48/0.53 c #cpu_time = 0.001s
0.48/0.53 c #wall_clock_time = 0.001s
0.48/0.53 c #decision = 16
0.48/0.53 c #random_decision = 0
0.48/0.53 c #conflict = 0
0.48/0.53 c #restart = 0
0.48/0.53 c BCD2: found a new core of size 8: cost of the new core is >=1
0.48/0.53 c lower bound updated to 12
0.48/0.53 c BCD2: 12 <= obj <= 94
0.48/0.53 c BCD2: #cores=10, #unrelaxed=161, #relaxed=35, #hardened=0
0.48/0.53 c BCD2: #sat=1 #unsat=13 bias=13/14
0.48/0.53 c Solving starts ...
0.48/0.53 c ============================[ Search Statistics ]============================
0.48/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.53 c | | | | Limit GC | Var | Constra
0.48/0.53 c =============================================================================
0.48/0.53 c 0.0s | 0 | 0 | 0 | 205 0 | 23 | 2
0.48/0.53 c 0.0s | 0 | 17 | 0 | 205 0 | 23 | 2
0.48/0.53 c #cpu_time = 0.001s
0.48/0.53 c #wall_clock_time = 0.001s
0.48/0.53 c #decision = 17
0.48/0.53 c #random_decision = 0
0.48/0.53 c #conflict = 0
0.48/0.53 c #restart = 0
0.48/0.53 c BCD2: found a new core of size 1: cost of the new core is >=1
0.48/0.53 c lower bound updated to 13
0.48/0.53 c BCD2: 13 <= obj <= 94
0.48/0.53 c BCD2: #cores=11, #unrelaxed=160, #relaxed=36, #hardened=0
0.48/0.53 c BCD2: #sat=1 #unsat=14 bias=14/15
0.48/0.53 c Solving starts ...
0.48/0.53 c ============================[ Search Statistics ]============================
0.48/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.53 c | | | | Limit GC | Var | Constra
0.48/0.53 c =============================================================================
0.48/0.53 c 0.0s | 0 | 0 | 0 | 205 0 | 23 | 2
0.48/0.54 c 0.0s | 0 | 26 | 0 | 205 0 | 23 | 2
0.48/0.54 c #cpu_time = 0.001s
0.48/0.54 c #wall_clock_time = 0.001s
0.48/0.54 c #decision = 26
0.48/0.54 c #random_decision = 0
0.48/0.54 c #conflict = 0
0.48/0.54 c #restart = 0
0.48/0.54 c BCD2: found a new core of size 11: cost of the new core is >=1
0.48/0.54 c lower bound updated to 14
0.48/0.54 c BCD2: 14 <= obj <= 94
0.48/0.54 c BCD2: #cores=12, #unrelaxed=149, #relaxed=47, #hardened=0
0.48/0.54 c BCD2: #sat=1 #unsat=15 bias=15/16
0.48/0.54 c Solving starts ...
0.48/0.54 c ============================[ Search Statistics ]============================
0.48/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.54 c | | | | Limit GC | Var | Constra
0.48/0.54 c =============================================================================
0.48/0.54 c 0.0s | 0 | 0 | 0 | 205 0 | 23 | 2
0.48/0.54 c 0.0s | 0 | 17 | 0 | 205 0 | 23 | 2
0.48/0.54 c #cpu_time = 0.001s
0.48/0.54 c #wall_clock_time = 0.001s
0.48/0.54 c #decision = 17
0.48/0.54 c #random_decision = 0
0.48/0.54 c #conflict = 0
0.48/0.54 c #restart = 0
0.48/0.54 c BCD2: found a new core of size 2: cost of the new core is >=1
0.48/0.54 c lower bound updated to 15
0.48/0.54 c BCD2: 15 <= obj <= 94
0.48/0.54 c BCD2: #cores=13, #unrelaxed=147, #relaxed=49, #hardened=0
0.48/0.54 c BCD2: #sat=1 #unsat=16 bias=16/17
0.48/0.54 c Solving starts ...
0.48/0.54 c ============================[ Search Statistics ]============================
0.48/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.54 c | | | | Limit GC | Var | Constra
0.48/0.54 c =============================================================================
0.48/0.54 c 0.0s | 0 | 0 | 0 | 205 0 | 23 | 2
0.48/0.54 c 0.0s | 0 | 19 | 0 | 205 0 | 23 | 2
0.48/0.54 c #cpu_time = 0.001s
0.48/0.54 c #wall_clock_time = 0.001s
0.48/0.54 c #decision = 19
0.48/0.54 c #random_decision = 0
0.48/0.54 c #conflict = 0
0.48/0.54 c #restart = 0
0.48/0.54 c BCD2: found a new core of size 1: cost of the new core is >=1
0.48/0.54 c lower bound updated to 16
0.48/0.54 c BCD2: 16 <= obj <= 94
0.48/0.54 c BCD2: #cores=14, #unrelaxed=146, #relaxed=50, #hardened=0
0.48/0.54 c BCD2: #sat=1 #unsat=17 bias=17/18
0.48/0.54 c Solving starts ...
0.48/0.54 c ============================[ Search Statistics ]============================
0.48/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.54 c | | | | Limit GC | Var | Constra
0.48/0.54 c =============================================================================
0.48/0.54 c 0.0s | 0 | 0 | 0 | 205 0 | 23 | 2
0.48/0.54 c 0.0s | 0 | 26 | 0 | 205 0 | 23 | 2
0.48/0.54 c #cpu_time = 0.001s
0.48/0.54 c #wall_clock_time = 0.001s
0.48/0.54 c #decision = 26
0.48/0.54 c #random_decision = 0
0.48/0.54 c #conflict = 0
0.48/0.54 c #restart = 0
0.48/0.54 c BCD2: found a new core of size 8: cost of the new core is >=1
0.48/0.54 c lower bound updated to 17
0.48/0.54 c BCD2: 17 <= obj <= 94
0.48/0.54 c BCD2: #cores=15, #unrelaxed=138, #relaxed=58, #hardened=0
0.48/0.54 c BCD2: #sat=1 #unsat=18 bias=18/19
0.48/0.54 c Solving starts ...
0.48/0.54 c ============================[ Search Statistics ]============================
0.48/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.54 c | | | | Limit GC | Var | Constra
0.48/0.54 c =============================================================================
0.48/0.54 c 0.0s | 0 | 0 | 0 | 205 0 | 23 | 2
0.48/0.54 c 0.0s | 0 | 36 | 1 | 205 0 | 23 | 2
0.48/0.54 c #cpu_time = 0.001s
0.48/0.54 c #wall_clock_time = 0.001s
0.48/0.54 c #decision = 36
0.48/0.54 c #random_decision = 0
0.48/0.54 c #conflict = 1
0.48/0.54 c #restart = 0
0.48/0.54 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.48/0.54 c lower bound updated to 18
0.48/0.54 c BCD2: 18 <= obj <= 94
0.48/0.54 c BCD2: #cores=15, #unrelaxed=137, #relaxed=59, #hardened=0
0.48/0.54 c BCD2: #sat=1 #unsat=19 bias=19/20
0.48/0.54 c Solving starts ...
0.48/0.54 c ============================[ Search Statistics ]============================
0.48/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.54 c | | | | Limit GC | Var | Constra
0.48/0.54 c =============================================================================
0.48/0.54 c 0.0s | 0 | 0 | 0 | 205 0 | 24 | 2
0.48/0.54 c 0.0s | 0 | 24 | 0 | 205 0 | 24 | 3
0.48/0.54 c #cpu_time = 0.001s
0.48/0.54 c #wall_clock_time = 0.001s
0.48/0.54 c #decision = 24
0.48/0.54 c #random_decision = 0
0.48/0.54 c #conflict = 0
0.48/0.54 c #restart = 0
0.48/0.54 c BCD2: found a new core of size 1: cost of the new core is >=1
0.48/0.54 c lower bound updated to 19
0.48/0.54 c BCD2: 19 <= obj <= 94
0.48/0.54 c BCD2: #cores=16, #unrelaxed=136, #relaxed=60, #hardened=0
0.48/0.54 c BCD2: #sat=1 #unsat=20 bias=20/21
0.48/0.54 c Solving starts ...
0.48/0.54 c ============================[ Search Statistics ]============================
0.48/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.54 c | | | | Limit GC | Var | Constra
0.48/0.54 c =============================================================================
0.48/0.54 c 0.0s | 0 | 0 | 0 | 205 0 | 24 | 3
0.48/0.54 c 0.0s | 0 | 32 | 0 | 205 0 | 24 | 3
0.48/0.54 c #cpu_time = 0.001s
0.48/0.54 c #wall_clock_time = 0.001s
0.48/0.54 c #decision = 32
0.48/0.54 c #random_decision = 0
0.48/0.54 c #conflict = 0
0.48/0.54 c #restart = 0
0.48/0.54 c BCD2: found a new core of size 8: cost of the new core is >=1
0.48/0.54 c lower bound updated to 20
0.48/0.54 c BCD2: 20 <= obj <= 94
0.48/0.54 c BCD2: #cores=17, #unrelaxed=128, #relaxed=68, #hardened=0
0.48/0.54 c BCD2: #sat=1 #unsat=21 bias=21/22
0.48/0.54 c Solving starts ...
0.48/0.54 c ============================[ Search Statistics ]============================
0.48/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.54 c | | | | Limit GC | Var | Constra
0.48/0.54 c =============================================================================
0.48/0.54 c 0.0s | 0 | 0 | 0 | 205 0 | 24 | 3
0.48/0.55 c 0.0s | 0 | 40 | 2 | 205 0 | 24 | 3
0.48/0.55 c #cpu_time = 0.001s
0.48/0.55 c #wall_clock_time = 0.001s
0.48/0.55 c #decision = 40
0.48/0.55 c #random_decision = 0
0.48/0.55 c #conflict = 2
0.48/0.55 c #restart = 0
0.48/0.55 c BCD2: relaxing 8 and merging with 1 cores into a new core of size 19: cost of the new core is >=2
0.48/0.55 c lower bound updated to 21
0.48/0.55 c BCD2: 21 <= obj <= 94
0.48/0.55 c BCD2: #cores=17, #unrelaxed=120, #relaxed=76, #hardened=0
0.48/0.55 c BCD2: #sat=1 #unsat=22 bias=22/23
0.48/0.55 c Solving starts ...
0.48/0.55 c ============================[ Search Statistics ]============================
0.48/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.55 c | | | | Limit GC | Var | Constra
0.48/0.55 c =============================================================================
0.48/0.55 c 0.0s | 0 | 0 | 0 | 205 0 | 25 | 3
0.48/0.55 c 0.0s | 0 | 30 | 0 | 205 0 | 25 | 4
0.48/0.55 c #cpu_time = 0.001s
0.48/0.55 c #wall_clock_time = 0.001s
0.48/0.55 c #decision = 30
0.48/0.55 c #random_decision = 0
0.48/0.55 c #conflict = 0
0.48/0.55 c #restart = 0
0.48/0.55 c BCD2: found a new core of size 8: cost of the new core is >=1
0.48/0.55 c lower bound updated to 22
0.48/0.55 c BCD2: 22 <= obj <= 94
0.48/0.55 c BCD2: #cores=18, #unrelaxed=112, #relaxed=84, #hardened=0
0.48/0.55 c BCD2: #sat=1 #unsat=23 bias=23/24
0.48/0.55 c Solving starts ...
0.48/0.55 c ============================[ Search Statistics ]============================
0.48/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.55 c | | | | Limit GC | Var | Constra
0.48/0.55 c =============================================================================
0.48/0.55 c 0.0s | 0 | 0 | 0 | 205 0 | 25 | 4
0.48/0.55 c 0.0s | 0 | 39 | 1 | 205 0 | 25 | 4
0.48/0.55 c #cpu_time = 0.001s
0.48/0.55 c #wall_clock_time = 0.001s
0.48/0.55 c #decision = 39
0.48/0.55 c #random_decision = 0
0.48/0.55 c #conflict = 1
0.48/0.55 c #restart = 0
0.48/0.55 c BCD2: relaxing 11 and merging with 1 cores into a new core of size 19: cost of the new core is >=2
0.48/0.55 c lower bound updated to 23
0.48/0.55 c BCD2: 23 <= obj <= 94
0.48/0.55 c BCD2: #cores=18, #unrelaxed=101, #relaxed=95, #hardened=0
0.48/0.55 c BCD2: #sat=1 #unsat=24 bias=24/25
0.48/0.55 c Solving starts ...
0.48/0.55 c ============================[ Search Statistics ]============================
0.48/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.55 c | | | | Limit GC | Var | Constra
0.48/0.55 c =============================================================================
0.48/0.55 c 0.0s | 0 | 0 | 0 | 205 0 | 26 | 4
0.48/0.55 c 0.0s | 0 | 29 | 0 | 205 0 | 26 | 5
0.48/0.55 c #cpu_time = 0.001s
0.48/0.55 c #wall_clock_time = 0.001s
0.48/0.55 c #decision = 29
0.48/0.55 c #random_decision = 0
0.48/0.55 c #conflict = 0
0.48/0.55 c #restart = 0
0.48/0.55 c BCD2: found a new core of size 6: cost of the new core is >=1
0.48/0.55 c lower bound updated to 24
0.48/0.55 c BCD2: 24 <= obj <= 94
0.48/0.55 c BCD2: #cores=19, #unrelaxed=95, #relaxed=101, #hardened=0
0.48/0.55 c BCD2: #sat=1 #unsat=25 bias=25/26
0.48/0.55 c Solving starts ...
0.48/0.55 c ============================[ Search Statistics ]============================
0.48/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.55 c | | | | Limit GC | Var | Constra
0.48/0.55 c =============================================================================
0.48/0.55 c 0.0s | 0 | 0 | 0 | 205 0 | 26 | 5
0.48/0.55 c 0.0s | 0 | 36 | 0 | 205 0 | 26 | 5
0.48/0.55 c #cpu_time = 0.001s
0.48/0.55 c #wall_clock_time = 0.001s
0.48/0.55 c #decision = 36
0.48/0.55 c #random_decision = 0
0.48/0.55 c #conflict = 0
0.48/0.55 c #restart = 0
0.48/0.55 c BCD2: found a new core of size 9: cost of the new core is >=1
0.48/0.55 c lower bound updated to 25
0.48/0.55 c BCD2: 25 <= obj <= 94
0.48/0.55 c BCD2: #cores=20, #unrelaxed=86, #relaxed=110, #hardened=0
0.48/0.55 c BCD2: #sat=1 #unsat=26 bias=26/27
0.48/0.55 c Solving starts ...
0.48/0.55 c ============================[ Search Statistics ]============================
0.48/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.55 c | | | | Limit GC | Var | Constra
0.48/0.55 c =============================================================================
0.48/0.55 c 0.0s | 0 | 0 | 0 | 205 0 | 26 | 5
0.48/0.55 c 0.0s | 0 | 34 | 1 | 205 0 | 26 | 5
0.48/0.55 c #cpu_time = 0.001s
0.48/0.55 c #wall_clock_time = 0.001s
0.48/0.55 c #decision = 34
0.48/0.55 c #random_decision = 0
0.48/0.55 c #conflict = 1
0.48/0.55 c #restart = 0
0.48/0.55 c BCD2: found a new core of size 5: cost of the new core is >=1
0.48/0.55 c lower bound updated to 26
0.48/0.55 c BCD2: 26 <= obj <= 94
0.48/0.55 c BCD2: #cores=21, #unrelaxed=81, #relaxed=115, #hardened=0
0.48/0.55 c BCD2: #sat=1 #unsat=27 bias=27/28
0.48/0.55 c Solving starts ...
0.48/0.55 c ============================[ Search Statistics ]============================
0.48/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.55 c | | | | Limit GC | Var | Constra
0.48/0.55 c =============================================================================
0.48/0.55 c 0.0s | 0 | 0 | 0 | 205 0 | 26 | 5
0.48/0.55 c 0.0s | 0 | 35 | 0 | 205 0 | 26 | 5
0.48/0.55 c #cpu_time = 0.001s
0.48/0.55 c #wall_clock_time = 0.001s
0.48/0.55 c #decision = 35
0.48/0.55 c #random_decision = 0
0.48/0.55 c #conflict = 0
0.48/0.55 c #restart = 0
0.48/0.55 c BCD2: found a new core of size 6: cost of the new core is >=1
0.48/0.55 c lower bound updated to 27
0.48/0.55 c BCD2: 27 <= obj <= 94
0.48/0.55 c BCD2: #cores=22, #unrelaxed=75, #relaxed=121, #hardened=0
0.48/0.55 c BCD2: #sat=1 #unsat=28 bias=28/29
0.48/0.55 c Solving starts ...
0.48/0.55 c ============================[ Search Statistics ]============================
0.48/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.55 c | | | | Limit GC | Var | Constra
0.48/0.55 c =============================================================================
0.48/0.55 c 0.0s | 0 | 0 | 0 | 205 0 | 26 | 5
0.48/0.56 c 0.0s | 0 | 36 | 1 | 205 0 | 26 | 5
0.48/0.56 c #cpu_time = 0.001s
0.48/0.56 c #wall_clock_time = 0.001s
0.48/0.56 c #decision = 36
0.48/0.56 c #random_decision = 0
0.48/0.56 c #conflict = 1
0.48/0.56 c #restart = 0
0.48/0.56 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.48/0.56 c lower bound updated to 28
0.48/0.56 c BCD2: 28 <= obj <= 94
0.48/0.56 c BCD2: #cores=22, #unrelaxed=70, #relaxed=126, #hardened=0
0.48/0.56 c BCD2: #sat=1 #unsat=29 bias=29/30
0.48/0.56 c Solving starts ...
0.48/0.56 c ============================[ Search Statistics ]============================
0.48/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.56 c | | | | Limit GC | Var | Constra
0.48/0.56 c =============================================================================
0.48/0.56 c 0.0s | 0 | 0 | 0 | 205 0 | 27 | 5
0.48/0.56 c 0.0s | 0 | 44 | 0 | 205 0 | 27 | 6
0.48/0.56 c #cpu_time = 0.001s
0.48/0.56 c #wall_clock_time = 0.001s
0.48/0.56 c #decision = 44
0.48/0.56 c #random_decision = 0
0.48/0.56 c #conflict = 0
0.48/0.56 c #restart = 0
0.48/0.56 c BCD2: found a new core of size 11: cost of the new core is >=1
0.48/0.56 c lower bound updated to 29
0.48/0.56 c BCD2: 29 <= obj <= 94
0.48/0.56 c BCD2: #cores=23, #unrelaxed=59, #relaxed=137, #hardened=0
0.48/0.56 c BCD2: #sat=1 #unsat=30 bias=30/31
0.48/0.56 c Solving starts ...
0.48/0.56 c ============================[ Search Statistics ]============================
0.48/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.56 c | | | | Limit GC | Var | Constra
0.48/0.56 c =============================================================================
0.48/0.56 c 0.0s | 0 | 0 | 0 | 205 0 | 27 | 6
0.48/0.56 c 0.0s | 0 | 37 | 0 | 205 0 | 27 | 6
0.48/0.56 c #cpu_time = 0.001s
0.48/0.56 c #wall_clock_time = 0.001s
0.48/0.56 c #decision = 37
0.48/0.56 c #random_decision = 0
0.48/0.56 c #conflict = 0
0.48/0.56 c #restart = 0
0.48/0.56 c BCD2: found a new core of size 1: cost of the new core is >=1
0.48/0.56 c lower bound updated to 30
0.48/0.56 c BCD2: 30 <= obj <= 94
0.48/0.56 c BCD2: #cores=24, #unrelaxed=58, #relaxed=138, #hardened=0
0.48/0.56 c BCD2: #sat=1 #unsat=31 bias=31/32
0.48/0.56 c Solving starts ...
0.48/0.56 c ============================[ Search Statistics ]============================
0.48/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.56 c | | | | Limit GC | Var | Constra
0.48/0.56 c =============================================================================
0.48/0.56 c 0.0s | 0 | 0 | 0 | 205 0 | 27 | 6
0.48/0.56 c 0.0s | 0 | 49 | 1 | 205 0 | 27 | 6
0.48/0.56 c #cpu_time = 0.001s
0.48/0.56 c #wall_clock_time = 0.001s
0.48/0.56 c #decision = 49
0.48/0.56 c #random_decision = 0
0.48/0.56 c #conflict = 1
0.48/0.56 c #restart = 0
0.48/0.56 c BCD2: relaxing 9 and merging with 1 cores into a new core of size 20: cost of the new core is >=2
0.48/0.56 c lower bound updated to 31
0.48/0.56 c BCD2: 31 <= obj <= 94
0.48/0.56 c BCD2: #cores=24, #unrelaxed=49, #relaxed=147, #hardened=0
0.48/0.56 c BCD2: #sat=1 #unsat=32 bias=32/33
0.48/0.56 c Solving starts ...
0.48/0.56 c ============================[ Search Statistics ]============================
0.48/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.56 c | | | | Limit GC | Var | Constra
0.48/0.56 c =============================================================================
0.48/0.56 c 0.0s | 0 | 0 | 0 | 205 0 | 28 | 6
0.48/0.56 c 0.0s | 0 | 42 | 0 | 205 0 | 28 | 7
0.48/0.56 c #cpu_time = 0.001s
0.48/0.56 c #wall_clock_time = 0.001s
0.48/0.56 c #decision = 42
0.48/0.56 c #random_decision = 0
0.48/0.56 c #conflict = 0
0.48/0.56 c #restart = 0
0.48/0.56 c BCD2: found a new core of size 1: cost of the new core is >=1
0.48/0.56 c lower bound updated to 32
0.48/0.56 c BCD2: 32 <= obj <= 94
0.48/0.56 c BCD2: #cores=25, #unrelaxed=48, #relaxed=148, #hardened=0
0.48/0.56 c BCD2: #sat=1 #unsat=33 bias=33/34
0.48/0.56 c Solving starts ...
0.48/0.56 c ============================[ Search Statistics ]============================
0.48/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.56 c | | | | Limit GC | Var | Constra
0.48/0.56 c =============================================================================
0.48/0.56 c 0.0s | 0 | 0 | 0 | 205 0 | 28 | 7
0.48/0.56 c 0.0s | 0 | 45 | 1 | 205 0 | 28 | 7
0.48/0.56 c #cpu_time = 0.001s
0.48/0.56 c #wall_clock_time = 0.001s
0.48/0.56 c #decision = 45
0.48/0.56 c #random_decision = 0
0.48/0.56 c #conflict = 1
0.48/0.56 c #restart = 0
0.48/0.56 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 14: cost of the new core is >=2
0.48/0.56 c lower bound updated to 33
0.48/0.56 c BCD2: 33 <= obj <= 94
0.48/0.56 c BCD2: #cores=25, #unrelaxed=42, #relaxed=154, #hardened=0
0.48/0.56 c BCD2: #sat=1 #unsat=34 bias=34/35
0.48/0.56 c Solving starts ...
0.48/0.56 c ============================[ Search Statistics ]============================
0.48/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.56 c | | | | Limit GC | Var | Constra
0.48/0.56 c =============================================================================
0.48/0.56 c 0.0s | 0 | 0 | 0 | 205 0 | 29 | 7
0.48/0.56 c 0.0s | 0 | 44 | 0 | 205 0 | 29 | 8
0.48/0.56 c #cpu_time = 0.001s
0.48/0.56 c #wall_clock_time = 0.001s
0.48/0.56 c #decision = 44
0.48/0.56 c #random_decision = 0
0.48/0.56 c #conflict = 0
0.48/0.56 c #restart = 0
0.48/0.56 c BCD2: found a new core of size 8: cost of the new core is >=1
0.48/0.56 c lower bound updated to 34
0.48/0.57 c BCD2: 34 <= obj <= 94
0.48/0.57 c BCD2: #cores=26, #unrelaxed=34, #relaxed=162, #hardened=0
0.48/0.57 c BCD2: #sat=1 #unsat=35 bias=35/36
0.48/0.57 c Solving starts ...
0.48/0.57 c ============================[ Search Statistics ]============================
0.48/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.57 c | | | | Limit GC | Var | Constra
0.48/0.57 c =============================================================================
0.48/0.57 c 0.0s | 0 | 0 | 0 | 205 0 | 29 | 8
0.48/0.57 c 0.0s | 0 | 42 | 1 | 205 0 | 29 | 8
0.48/0.57 c #cpu_time = 0.001s
0.48/0.57 c #wall_clock_time = 0.001s
0.48/0.57 c #decision = 42
0.48/0.57 c #random_decision = 0
0.48/0.57 c #conflict = 1
0.48/0.57 c #restart = 0
0.48/0.57 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 12: cost of the new core is >=2
0.48/0.57 c lower bound updated to 35
0.48/0.57 c BCD2: 35 <= obj <= 94
0.48/0.57 c BCD2: #cores=26, #unrelaxed=30, #relaxed=166, #hardened=0
0.48/0.57 c BCD2: #sat=1 #unsat=36 bias=36/37
0.48/0.57 c Solving starts ...
0.48/0.57 c ============================[ Search Statistics ]============================
0.48/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.57 c | | | | Limit GC | Var | Constra
0.48/0.57 c =============================================================================
0.48/0.57 c 0.0s | 0 | 0 | 0 | 205 0 | 30 | 8
0.48/0.57 c 0.0s | 0 | 38 | 0 | 205 0 | 30 | 9
0.48/0.57 c #cpu_time = 0.001s
0.48/0.57 c #wall_clock_time = 0.001s
0.48/0.57 c #decision = 38
0.48/0.57 c #random_decision = 0
0.48/0.57 c #conflict = 0
0.48/0.57 c #restart = 0
0.48/0.57 c BCD2: found a new core of size 1: cost of the new core is >=1
0.48/0.57 c lower bound updated to 36
0.48/0.57 c BCD2: 36 <= obj <= 94
0.48/0.57 c BCD2: #cores=27, #unrelaxed=29, #relaxed=167, #hardened=0
0.48/0.57 c BCD2: #sat=1 #unsat=37 bias=37/38
0.48/0.57 c Solving starts ...
0.48/0.57 c ============================[ Search Statistics ]============================
0.48/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.57 c | | | | Limit GC | Var | Constra
0.48/0.57 c =============================================================================
0.48/0.57 c 0.0s | 0 | 0 | 0 | 205 0 | 30 | 9
0.48/0.57 c 0.0s | 0 | 43 | 1 | 205 0 | 30 | 9
0.48/0.57 c #cpu_time = 0.001s
0.48/0.57 c #wall_clock_time = 0.001s
0.48/0.57 c #decision = 43
0.48/0.57 c #random_decision = 0
0.48/0.57 c #conflict = 1
0.48/0.57 c #restart = 0
0.48/0.57 c BCD2: relaxing 8 and merging with 1 cores into a new core of size 28: cost of the new core is >=3
0.48/0.57 c lower bound updated to 37
0.48/0.57 c BCD2: 37 <= obj <= 94
0.48/0.57 c BCD2: #cores=27, #unrelaxed=21, #relaxed=175, #hardened=0
0.48/0.57 c BCD2: #sat=1 #unsat=38 bias=38/39
0.48/0.57 c Solving starts ...
0.48/0.57 c ============================[ Search Statistics ]============================
0.48/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.57 c | | | | Limit GC | Var | Constra
0.48/0.57 c =============================================================================
0.48/0.57 c 0.0s | 0 | 0 | 0 | 205 0 | 31 | 9
0.48/0.57 c 0.0s | 0 | 39 | 0 | 205 0 | 31 | 10
0.48/0.57 c #cpu_time = 0.001s
0.48/0.57 c #wall_clock_time = 0.001s
0.48/0.57 c #decision = 39
0.48/0.57 c #random_decision = 0
0.48/0.57 c #conflict = 0
0.48/0.57 c #restart = 0
0.48/0.57 c BCD2: found a new core of size 5: cost of the new core is >=1
0.48/0.57 c lower bound updated to 38
0.48/0.57 c BCD2: 38 <= obj <= 94
0.48/0.57 c BCD2: #cores=28, #unrelaxed=16, #relaxed=180, #hardened=0
0.48/0.57 c BCD2: #sat=1 #unsat=39 bias=39/40
0.48/0.57 c Solving starts ...
0.48/0.57 c ============================[ Search Statistics ]============================
0.48/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.57 c | | | | Limit GC | Var | Constra
0.48/0.57 c =============================================================================
0.48/0.57 c 0.0s | 0 | 0 | 0 | 205 0 | 31 | 10
0.48/0.58 c 0.0s | 1 | 191 | 100 | 205 0 | 31 | 10
0.59/0.60 c 0.0s | 2 | 466 | 250 | 226 1 | 31 | 10
0.59/0.62 c 0.0s | 3 | 891 | 475 | 226 3 | 31 | 10
0.59/0.63 c 0.1s | 3 | 1031 | 528 | 226 3 | 31 | 10
0.59/0.63 c #cpu_time = 0.054s
0.59/0.63 c #wall_clock_time = 0.054s
0.59/0.63 c #decision = 1031
0.59/0.63 c #random_decision = 5
0.59/0.63 c #conflict = 528
0.59/0.63 c #restart = 3
0.59/0.63 c BCD2: relaxing 5 and merging with 4 cores into a new core of size 49: cost of the new core is >=7
0.59/0.63 c lower bound updated to 39
0.59/0.63 c BCD2: 39 <= obj <= 94
0.59/0.63 c BCD2: #cores=25, #unrelaxed=11, #relaxed=185, #hardened=0
0.59/0.63 c BCD2: #sat=1 #unsat=40 bias=40/41
0.59/0.63 c Solving starts ...
0.59/0.63 c ============================[ Search Statistics ]============================
0.59/0.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.63 c | | | | Limit GC | Var | Constra
0.59/0.63 c =============================================================================
0.59/0.63 c 0.0s | 0 | 0 | 0 | 226 0 | 35 | 10
0.59/0.63 c 0.0s | 1 | 144 | 100 | 226 0 | 35 | 14
0.59/0.64 c 0.0s | 1 | 213 | 136 | 226 0 | 35 | 14
0.59/0.64 c #cpu_time = 0.008s
0.59/0.64 c #wall_clock_time = 0.009s
0.59/0.64 c #decision = 213
0.59/0.64 c #random_decision = 0
0.59/0.64 c #conflict = 136
0.59/0.64 c #restart = 1
0.59/0.64 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 12: cost of the new core is >=3
0.59/0.64 c lower bound updated to 40
0.59/0.64 c BCD2: 40 <= obj <= 94
0.59/0.64 c BCD2: #cores=25, #unrelaxed=10, #relaxed=186, #hardened=0
0.59/0.64 c BCD2: #sat=1 #unsat=41 bias=41/42
0.59/0.64 c Solving starts ...
0.59/0.64 c ============================[ Search Statistics ]============================
0.59/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.64 c | | | | Limit GC | Var | Constra
0.59/0.64 c =============================================================================
0.59/0.64 c 0.0s | 0 | 0 | 0 | 226 0 | 36 | 14
0.59/0.64 c 0.0s | 1 | 132 | 100 | 226 0 | 36 | 15
0.59/0.65 c 0.0s | 2 | 318 | 250 | 226 1 | 36 | 15
0.59/0.66 c 0.0s | 2 | 598 | 466 | 226 3 | 37 | 16
0.59/0.66 c #cpu_time = 0.026s
0.59/0.66 c #wall_clock_time = 0.026s
0.59/0.66 c #decision = 598
0.59/0.66 c #random_decision = 3
0.59/0.66 c #conflict = 466
0.59/0.66 c #restart = 2
0.59/0.66 c BCD2: updating lower bound of a core
0.59/0.66 c lower bound updated to 44
0.59/0.66 c BCD2: 44 <= obj <= 94
0.59/0.66 c BCD2: #cores=25, #unrelaxed=10, #relaxed=186, #hardened=0
0.59/0.66 c BCD2: #sat=1 #unsat=42 bias=42/43
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 226 0 | 37 | 17
0.59/0.67 c 0.0s | 0 | 180 | 43 | 226 0 | 37 | 17
0.59/0.67 c #cpu_time = 0.003s
0.59/0.67 c #wall_clock_time = 0.003s
0.59/0.67 c #decision = 180
0.59/0.67 c #random_decision = 1
0.59/0.67 c #conflict = 43
0.59/0.67 c #restart = 0
0.59/0.67 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 12: cost of the new core is >=5
0.59/0.67 c lower bound updated to 45
0.59/0.67 c BCD2: 45 <= obj <= 94
0.59/0.67 c BCD2: #cores=24, #unrelaxed=10, #relaxed=186, #hardened=0
0.59/0.67 c BCD2: #sat=1 #unsat=43 bias=43/44
0.59/0.67 c Solving starts ...
0.59/0.67 c ============================[ Search Statistics ]============================
0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.67 c | | | | Limit GC | Var | Constra
0.59/0.67 c =============================================================================
0.59/0.67 c 0.0s | 0 | 0 | 0 | 226 0 | 39 | 17
0.59/0.67 c 0.0s | 1 | 175 | 100 | 226 0 | 39 | 19
0.59/0.69 c 0.0s | 2 | 408 | 250 | 226 0 | 39 | 19
0.59/0.69 c 0.0s | 2 | 467 | 279 | 226 1 | 39 | 19
0.59/0.69 c #cpu_time = 0.022s
0.59/0.69 c #wall_clock_time = 0.022s
0.59/0.69 c #decision = 467
0.59/0.69 c #random_decision = 2
0.59/0.69 c #conflict = 279
0.59/0.69 c #restart = 2
0.59/0.69 c BCD2: relaxing 1 and merging with 4 cores into a new core of size 37: cost of the new core is >=10
0.59/0.69 c lower bound updated to 46
0.59/0.69 c BCD2: 46 <= obj <= 94
0.59/0.69 c BCD2: #cores=21, #unrelaxed=9, #relaxed=187, #hardened=0
0.59/0.69 c BCD2: #sat=1 #unsat=44 bias=44/45
0.59/0.69 c Solving starts ...
0.59/0.69 c ============================[ Search Statistics ]============================
0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.69 c | | | | Limit GC | Var | Constra
0.59/0.69 c =============================================================================
0.59/0.69 c 0.0s | 0 | 0 | 0 | 226 0 | 43 | 19
0.69/0.70 c 0.0s | 1 | 149 | 100 | 226 0 | 43 | 23
0.69/0.72 c 0.0s | 2 | 339 | 250 | 226 0 | 43 | 23
0.69/0.74 c 0.0s | 3 | 638 | 475 | 249 1 | 43 | 23
0.69/0.78 c 0.1s | 4 | 1067 | 813 | 249 3 | 43 | 23
0.79/0.84 c 0.2s | 5 | 1670 | 1320 | 249 7 | 43 | 23
0.89/0.94 c 0.2s | 6 | 2584 | 2081 | 249 11 | 43 | 23
0.99/1.09 c 0.4s | 7 | 3948 | 3223 | 274 17 | 43 | 23
1.19/1.25 c 0.6s | 8 | 5925 | 4936 | 274 26 | 43 | 23
1.38/1.47 c 0.8s | 9 | 9042 | 7506 | 302 40 | 43 | 23
1.88/1.96 c 1.3s | 10 | 13773 | 11361 | 302 58 | 43 | 23
2.48/2.58 c 1.9s | 11 | 20692 | 17144 | 333 85 | 43 | 23
3.68/3.73 c 3.0s | 12 | 31029 | 25819 | 367 123 | 43 | 23
5.18/5.27 c 4.6s | 13 | 46843 | 38832 | 404 178 | 43 | 23
7.18/7.27 c 6.6s | 13 | 63359 | 52932 | 404 234 | 43 | 23
7.98/8.07 c 7.4s | 14 | 69798 | 58352 | 445 254 | 43 | 23
9.99/10.09 c 9.4s | 14 | 87920 | 73452 | 445 311 | 43 | 23
11.98/12.01 c 11.3s | 15 | 105168 | 87632 | 490 362 | 43 | 23
13.98/14.02 c 13.3s | 15 | 122722 | 101732 | 490 410 | 43 | 23
15.98/16.02 c 15.3s | 15 | 137800 | 114632 | 490 453 | 43 | 23
17.99/18.03 c 17.3s | 15 | 153095 | 127732 | 539 497 | 43 | 23
18.59/18.67 c 18.0s | 16 | 157450 | 131552 | 539 509 | 43 | 23
20.58/20.68 c 20.0s | 16 | 174901 | 145752 | 539 553 | 43 | 23
22.58/22.69 c 22.0s | 16 | 194706 | 163052 | 539 607 | 43 | 23
24.58/24.69 c 24.0s | 16 | 213901 | 178552 | 539 655 | 43 | 23
26.68/26.71 c 26.0s | 16 | 231283 | 193152 | 593 701 | 43 | 23
27.18/27.24 c 26.6s | 17 | 236344 | 197432 | 593 713 | 43 | 23
29.18/29.25 c 28.6s | 17 | 253248 | 211732 | 593 754 | 43 | 23
31.18/31.25 c 30.6s | 17 | 273307 | 229432 | 593 805 | 43 | 23
33.19/33.26 c 32.6s | 17 | 289304 | 242932 | 593 844 | 43 | 23
35.18/35.27 c 34.6s | 17 | 307436 | 258332 | 593 888 | 43 | 23
37.18/37.27 c 36.6s | 17 | 327207 | 275032 | 593 936 | 43 | 23
39.18/39.27 c 38.6s | 17 | 347123 | 291832 | 653 985 | 43 | 23
39.79/39.85 c 39.2s | 18 | 352621 | 296252 | 653 997 | 43 | 23
41.78/41.85 c 41.2s | 18 | 369690 | 310552 | 653 1035 | 43 | 23
43.78/43.86 c 43.2s | 18 | 391094 | 329352 | 653 1086 | 43 | 23
45.78/45.86 c 45.2s | 18 | 406718 | 342352 | 653 1120 | 43 | 23
47.78/47.87 c 47.2s | 18 | 424525 | 357452 | 653 1161 | 43 | 23
49.78/49.88 c 49.2s | 18 | 443741 | 373652 | 653 1204 | 43 | 23
51.78/51.88 c 51.2s | 18 | 459551 | 387052 | 653 1240 | 43 | 23
53.77/53.89 c 53.2s | 18 | 475680 | 400452 | 653 1276 | 43 | 23
55.87/55.90 c 55.2s | 18 | 492274 | 414052 | 653 1312 | 43 | 23
57.88/57.90 c 57.2s | 18 | 510146 | 428552 | 653 1351 | 43 | 23
59.88/59.91 c 59.2s | 18 | 525851 | 441852 | 719 1385 | 43 | 23
60.28/60.34 c 59.6s | 19 | 528964 | 444482 | 719 1391 | 43 | 23
62.28/62.35 c 61.7s | 19 | 547436 | 460182 | 719 1430 | 43 | 23
64.28/64.36 c 63.7s | 19 | 564079 | 474282 | 719 1464 | 43 | 23
66.28/66.37 c 65.7s | 19 | 580371 | 488182 | 719 1499 | 43 | 23
68.28/68.39 c 67.7s | 19 | 595902 | 501182 | 719 1531 | 43 | 23
70.38/70.40 c 69.7s | 19 | 611029 | 513882 | 719 1562 | 43 | 23
72.38/72.41 c 71.7s | 19 | 626537 | 527082 | 719 1594 | 43 | 23
74.38/74.41 c 73.7s | 19 | 642648 | 540682 | 719 1627 | 43 | 23
76.38/76.41 c 75.7s | 19 | 656921 | 553082 | 719 1657 | 43 | 23
78.37/78.41 c 77.7s | 19 | 673663 | 567382 | 719 1693 | 43 | 23
80.38/80.42 c 79.7s | 19 | 688367 | 580182 | 719 1724 | 43 | 23
82.37/82.43 c 81.7s | 19 | 703186 | 592782 | 719 1754 | 43 | 23
84.37/84.45 c 83.8s | 19 | 719322 | 606782 | 719 1789 | 43 | 23
86.37/86.46 c 85.8s | 19 | 737576 | 622582 | 719 1828 | 43 | 23
88.37/88.48 c 87.8s | 19 | 750956 | 634082 | 719 1856 | 43 | 23
90.38/90.48 c 89.8s | 19 | 764077 | 645382 | 719 1884 | 43 | 23
92.37/92.49 c 91.8s | 19 | 782065 | 661182 | 791 1922 | 43 | 23
93.37/93.48 c 92.8s | 20 | 788679 | 666827 | 791 1935 | 43 | 23
95.37/95.48 c 94.8s | 20 | 805451 | 680327 | 791 1965 | 43 | 23
97.37/97.49 c 96.8s | 20 | 821812 | 693727 | 791 1995 | 43 | 23
99.36/99.50 c 98.8s | 20 | 839205 | 708327 | 791 2028 | 43 | 23
101.46/101.50 c 100s | 20 | 856867 | 723527 | 791 2062 | 43 | 23
103.48/103.51 c 102s | 20 | 871843 | 736327 | 791 2091 | 43 | 23
105.47/105.53 c 104s | 20 | 887385 | 749527 | 791 2121 | 43 | 23
107.47/107.53 c 106s | 20 | 909172 | 768127 | 791 2163 | 43 | 23
109.47/109.54 c 108s | 20 | 924294 | 781027 | 791 2192 | 43 | 23
111.47/111.55 c 110s | 20 | 940638 | 794827 | 791 2224 | 43 | 23
113.47/113.57 c 112s | 20 | 957267 | 808227 | 791 2254 | 43 | 23
115.46/115.57 c 114s | 20 | 975164 | 822727 | 791 2287 | 43 | 23
117.46/117.58 c 116s | 20 | 989279 | 834827 | 791 2314 | 43 | 23
119.46/119.58 c 118s | 20 | 1004607 | 848127 | 791 2345 | 43 | 23
121.46/121.58 c 120s | 20 | 1019039 | 860327 | 791 2372 | 43 | 23
123.46/123.59 c 122s | 20 | 1033195 | 872227 | 791 2399 | 43 | 23
125.48/125.60 c 124s | 20 | 1049651 | 885927 | 791 2430 | 43 | 23
127.57/127.60 c 126s | 20 | 1064193 | 898327 | 791 2458 | 43 | 23
129.57/129.62 c 128s | 20 | 1079751 | 911427 | 791 2487 | 43 | 23
131.57/131.63 c 130s | 20 | 1096240 | 925327 | 791 2519 | 43 | 23
133.57/133.64 c 132s | 20 | 1111365 | 938227 | 791 2548 | 43 | 23
135.56/135.64 c 134s | 20 | 1127057 | 951227 | 791 2577 | 43 | 23
137.57/137.65 c 136s | 20 | 1142309 | 964027 | 791 2606 | 43 | 23
139.56/139.66 c 138s | 20 | 1158422 | 977427 | 791 2636 | 43 | 23
141.56/141.66 c 140s | 20 | 1177551 | 994027 | 871 2673 | 43 | 23
142.56/142.60 c 141s | 21 | 1185238 | 1000345 | 871 2686 | 43 | 23
144.56/144.60 c 143s | 21 | 1201171 | 1013445 | 871 2713 | 43 | 23
145.26/145.33 c 144s | 21 | 1209794 | 1021034 | 871 2729 | 43 | 23
145.26/145.33 c #cpu_time = 144.256s
145.26/145.33 c #wall_clock_time = 144.636s
145.26/145.33 c #decision = 1209794
145.26/145.33 c #random_decision = 3923
145.26/145.33 c #conflict = 1021034
145.26/145.33 c #restart = 21
145.26/145.33 c BCD2: relaxing 1 and merging with 8 cores into a new core of size 175: cost of the new core is >=34
145.26/145.33 c lower bound updated to 47
145.26/145.33 c BCD2: 47 <= obj <= 94
145.26/145.33 c BCD2: #cores=14, #unrelaxed=8, #relaxed=188, #hardened=0
145.26/145.33 c BCD2: #sat=1 #unsat=45 bias=45/46
145.26/145.33 c Solving starts ...
145.26/145.33 c ============================[ Search Statistics ]============================
145.26/145.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
145.26/145.33 c | | | | Limit GC | Var | Constra
145.26/145.33 c =============================================================================
145.26/145.33 c 0.0s | 0 | 0 | 0 | 871 0 | 51 | 23
145.26/145.34 c 0.0s | 1 | 164 | 100 | 871 0 | 51 | 31
145.26/145.36 c 0.0s | 2 | 378 | 250 | 871 0 | 51 | 31
145.26/145.39 c 0.1s | 3 | 671 | 475 | 871 0 | 51 | 31
145.36/145.43 c 0.1s | 4 | 1095 | 813 | 871 0 | 51 | 31
145.46/145.51 c 0.2s | 5 | 1726 | 1320 | 871 1 | 51 | 31
145.56/145.64 c 0.3s | 6 | 2639 | 2081 | 871 3 | 51 | 31
145.76/145.84 c 0.5s | 7 | 4005 | 3223 | 871 5 | 51 | 31
146.06/146.14 c 0.8s | 8 | 6060 | 4936 | 871 8 | 51 | 31
146.46/146.55 c 1.2s | 9 | 9015 | 7506 | 871 14 | 51 | 31
147.16/147.20 c 1.9s | 10 | 13409 | 11361 | 871 22 | 51 | 31
148.16/148.23 c 2.9s | 11 | 19975 | 17144 | 871 33 | 51 | 31
149.76/149.82 c 4.5s | 12 | 29843 | 25819 | 871 51 | 51 | 31
151.76/151.83 c 6.5s | 12 | 43109 | 37319 | 871 74 | 51 | 31
152.06/152.10 c 6.8s | 13 | 44841 | 38832 | 871 78 | 51 | 31
154.07/154.12 c 8.8s | 13 | 57794 | 50132 | 871 101 | 51 | 31
155.56/155.61 c 10.3s | 14 | 67032 | 58352 | 871 118 | 51 | 31
157.56/157.63 c 12.3s | 14 | 80547 | 69952 | 871 142 | 51 | 31
159.57/159.63 c 14.3s | 14 | 92938 | 80952 | 871 164 | 51 | 31
160.77/160.83 c 15.5s | 15 | 100375 | 87632 | 871 178 | 51 | 31
162.76/162.84 c 17.5s | 15 | 114375 | 99732 | 871 203 | 51 | 31
164.76/164.86 c 19.5s | 15 | 127693 | 111332 | 871 227 | 51 | 31
166.76/166.87 c 21.5s | 15 | 140684 | 122732 | 871 250 | 51 | 31
168.26/168.37 c 23.0s | 16 | 150743 | 131552 | 871 268 | 51 | 31
170.26/170.39 c 25.1s | 16 | 163863 | 142952 | 871 292 | 51 | 31
172.36/172.40 c 27.1s | 16 | 176559 | 154052 | 871 314 | 51 | 31
174.36/174.41 c 29.1s | 16 | 188760 | 164752 | 871 336 | 51 | 31
176.36/176.43 c 31.1s | 16 | 200895 | 175552 | 871 359 | 51 | 31
178.36/178.44 c 33.1s | 16 | 213121 | 186252 | 871 380 | 51 | 31
180.36/180.46 c 35.1s | 16 | 225308 | 197052 | 871 403 | 51 | 31
180.46/180.53 c 35.2s | 17 | 225773 | 197432 | 871 403 | 51 | 31
182.46/182.54 c 37.2s | 17 | 238741 | 208832 | 871 427 | 51 | 31
184.46/184.55 c 39.2s | 17 | 251653 | 220332 | 871 450 | 51 | 31
186.45/186.57 c 41.2s | 17 | 264627 | 231632 | 871 474 | 51 | 31
188.45/188.57 c 43.2s | 17 | 278033 | 243232 | 871 498 | 51 | 31
190.46/190.58 c 45.3s | 17 | 290888 | 254432 | 871 521 | 51 | 31
192.45/192.60 c 47.3s | 17 | 303851 | 265932 | 871 545 | 51 | 31
194.55/194.61 c 49.3s | 17 | 315848 | 276532 | 871 566 | 51 | 31
196.55/196.62 c 51.3s | 17 | 328626 | 287832 | 871 590 | 51 | 31
198.06/198.13 c 52.8s | 18 | 338278 | 296252 | 871 607 | 51 | 31
200.05/200.15 c 54.8s | 18 | 351524 | 307652 | 871 631 | 51 | 31
202.05/202.16 c 56.8s | 18 | 364615 | 319152 | 871 654 | 51 | 31
204.05/204.17 c 58.8s | 18 | 377927 | 330652 | 871 678 | 51 | 31
206.05/206.18 c 60.9s | 18 | 390694 | 341952 | 871 701 | 51 | 31
208.15/208.20 c 62.9s | 18 | 403956 | 353252 | 871 725 | 51 | 31
210.05/210.20 c 64.9s | 18 | 416550 | 364152 | 871 747 | 51 | 31
212.15/212.21 c 66.9s | 18 | 429525 | 375452 | 871 771 | 51 | 31
214.15/214.22 c 68.9s | 18 | 442512 | 386852 | 871 794 | 51 | 31
216.15/216.23 c 70.9s | 18 | 454970 | 397852 | 871 817 | 51 | 31
218.14/218.24 c 72.9s | 18 | 467350 | 408652 | 871 839 | 51 | 31
220.15/220.26 c 74.9s | 18 | 479759 | 419752 | 871 862 | 51 | 31
222.14/222.27 c 76.9s | 18 | 491988 | 430552 | 871 884 | 51 | 31
224.14/224.28 c 78.9s | 18 | 504361 | 441452 | 871 906 | 51 | 31
224.74/224.83 c 79.5s | 19 | 507798 | 444482 | 871 913 | 51 | 31
226.75/226.84 c 81.5s | 19 | 520533 | 455682 | 871 936 | 51 | 31
228.74/228.85 c 83.5s | 19 | 533202 | 466882 | 959 958 | 51 | 31
230.74/230.86 c 85.5s | 19 | 545371 | 477782 | 959 979 | 51 | 31
232.74/232.87 c 87.5s | 19 | 557531 | 488382 | 959 999 | 51 | 31
234.74/234.89 c 89.6s | 19 | 569894 | 499182 | 959 1019 | 51 | 31
236.84/236.90 c 91.6s | 19 | 582943 | 510482 | 959 1041 | 51 | 31
238.85/238.91 c 93.6s | 19 | 595161 | 521282 | 959 1061 | 51 | 31
240.84/240.92 c 95.6s | 19 | 606945 | 531682 | 959 1081 | 51 | 31
242.84/242.93 c 97.6s | 19 | 620162 | 543082 | 959 1103 | 51 | 31
244.85/244.94 c 99.6s | 19 | 632772 | 553982 | 959 1123 | 51 | 31
246.85/246.96 c 101s | 19 | 645474 | 564982 | 959 1144 | 51 | 31
248.85/248.97 c 103s | 19 | 658025 | 575882 | 959 1165 | 51 | 31
250.86/250.98 c 105s | 19 | 670024 | 586582 | 959 1185 | 51 | 31
252.85/252.99 c 107s | 19 | 681993 | 597182 | 959 1205 | 51 | 31
254.85/254.99 c 109s | 19 | 693625 | 607482 | 959 1224 | 51 | 31
256.85/256.99 c 111s | 19 | 706500 | 618682 | 959 1246 | 51 | 31
258.85/258.99 c 113s | 19 | 718990 | 629582 | 959 1266 | 51 | 31
260.95/261.01 c 115s | 19 | 731088 | 640282 | 959 1286 | 51 | 31
262.95/263.03 c 117s | 19 | 742368 | 650282 | 959 1305 | 51 | 31
264.94/265.03 c 119s | 19 | 754069 | 660582 | 959 1325 | 51 | 31
266.14/266.30 c 120s | 20 | 761261 | 666827 | 959 1337 | 51 | 31
268.24/268.30 c 122s | 20 | 773763 | 677727 | 959 1357 | 51 | 31
270.24/270.32 c 124s | 20 | 786093 | 688427 | 959 1377 | 51 | 31
272.24/272.32 c 126s | 20 | 797476 | 698527 | 959 1396 | 51 | 31
274.24/274.32 c 128s | 20 | 809428 | 709027 | 959 1416 | 51 | 31
276.25/276.34 c 131s | 20 | 821374 | 719627 | 959 1436 | 51 | 31
278.24/278.35 c 133s | 20 | 833127 | 730027 | 959 1455 | 51 | 31
280.24/280.36 c 135s | 20 | 844934 | 740527 | 959 1475 | 51 | 31
282.24/282.37 c 137s | 20 | 857152 | 751227 | 959 1495 | 51 | 31
284.24/284.38 c 139s | 20 | 869290 | 761827 | 959 1515 | 51 | 31
286.24/286.39 c 141s | 20 | 881405 | 772527 | 959 1535 | 51 | 31
288.24/288.40 c 143s | 20 | 893372 | 783127 | 959 1555 | 51 | 31
290.34/290.41 c 145s | 20 | 905693 | 793727 | 959 1575 | 51 | 31
292.33/292.41 c 147s | 20 | 917505 | 803827 | 959 1595 | 51 | 31
294.34/294.43 c 149s | 20 | 929243 | 814027 | 959 1614 | 51 | 31
296.34/296.44 c 151s | 20 | 941358 | 824427 | 959 1633 | 51 | 31
298.34/298.44 c 153s | 20 | 953062 | 834627 | 959 1652 | 51 | 31
300.35/300.46 c 155s | 20 | 964294 | 844527 | 959 1671 | 51 | 31
302.34/302.47 c 157s | 20 | 976556 | 855127 | 959 1690 | 51 | 31
304.34/304.48 c 159s | 20 | 988225 | 865527 | 959 1710 | 51 | 31
306.34/306.48 c 161s | 20 | 1000139 | 875927 | 959 1730 | 51 | 31
308.34/308.49 c 163s | 20 | 1011815 | 886227 | 959 1749 | 51 | 31
310.44/310.51 c 165s | 20 | 1023300 | 896427 | 959 1769 | 51 | 31
312.44/312.53 c 167s | 20 | 1034739 | 906527 | 959 1788 | 51 | 31
314.44/314.53 c 169s | 20 | 1047149 | 917427 | 959 1808 | 51 | 31
316.43/316.53 c 171s | 20 | 1059030 | 927927 | 959 1828 | 51 | 31
318.43/318.54 c 173s | 20 | 1070619 | 938227 | 959 1848 | 51 | 31
320.43/320.55 c 175s | 20 | 1081793 | 948127 | 959 1866 | 51 | 31
322.44/322.56 c 177s | 20 | 1093624 | 958627 | 959 1886 | 51 | 31
324.43/324.58 c 179s | 20 | 1105130 | 968827 | 959 1905 | 51 | 31
326.43/326.58 c 181s | 20 | 1116703 | 979127 | 959 1925 | 51 | 31
328.43/328.59 c 183s | 20 | 1128946 | 989727 | 959 1944 | 51 | 31
330.54/330.60 c 185s | 20 | 1140799 | 1000227 | 959 1964 | 51 | 31
330.54/330.62 c 185s | 21 | 1140938 | 1000345 | 959 1964 | 51 | 31
332.54/332.64 c 187s | 21 | 1153523 | 1011245 | 959 1985 | 51 | 31
334.54/334.64 c 189s | 21 | 1165959 | 1022145 | 959 2005 | 51 | 31
336.54/336.65 c 191s | 21 | 1178482 | 1032945 | 959 2025 | 51 | 31
338.53/338.66 c 193s | 21 | 1190833 | 1043645 | 959 2045 | 51 | 31
340.53/340.66 c 195s | 21 | 1202953 | 1054245 | 959 2065 | 51 | 31
342.53/342.67 c 197s | 21 | 1215030 | 1064845 | 959 2085 | 51 | 31
344.53/344.67 c 199s | 21 | 1227082 | 1075245 | 959 2105 | 51 | 31
346.54/346.67 c 201s | 21 | 1239051 | 1085645 | 959 2124 | 51 | 31
348.53/348.68 c 203s | 21 | 1250525 | 1095645 | 959 2143 | 51 | 31
350.53/350.70 c 205s | 21 | 1262753 | 1106345 | 959 2163 | 51 | 31
352.63/352.71 c 207s | 21 | 1274507 | 1116745 | 959 2183 | 51 | 31
354.63/354.71 c 209s | 21 | 1286660 | 1127445 | 959 2203 | 51 | 31
356.63/356.72 c 211s | 21 | 1298719 | 1137945 | 959 2223 | 51 | 31
358.63/358.73 c 213s | 21 | 1310261 | 1148145 | 959 2242 | 51 | 31
360.63/360.73 c 215s | 21 | 1321838 | 1158245 | 959 2261 | 51 | 31
362.63/362.73 c 217s | 21 | 1333222 | 1168345 | 959 2280 | 51 | 31
364.63/364.75 c 219s | 21 | 1345297 | 1178845 | 959 2300 | 51 | 31
366.63/366.76 c 221s | 21 | 1357197 | 1189245 | 959 2319 | 51 | 31
368.63/368.78 c 223s | 21 | 1368576 | 1199345 | 959 2338 | 51 | 31
370.63/370.79 c 225s | 21 | 1380409 | 1209845 | 1055 2358 | 51 | 31
372.72/372.80 c 227s | 21 | 1391788 | 1219845 | 1055 2375 | 51 | 31
374.72/374.80 c 229s | 21 | 1403199 | 1229745 | 1055 2392 | 51 | 31
376.72/376.81 c 231s | 21 | 1414332 | 1239445 | 1055 2409 | 51 | 31
378.72/378.83 c 233s | 21 | 1426124 | 1249645 | 1055 2426 | 51 | 31
380.73/380.84 c 235s | 21 | 1437674 | 1259845 | 1055 2444 | 51 | 31
382.73/382.84 c 237s | 21 | 1449264 | 1270045 | 1055 2461 | 51 | 31
384.73/384.85 c 239s | 21 | 1460940 | 1280345 | 1055 2479 | 51 | 31
386.73/386.86 c 241s | 21 | 1472772 | 1290745 | 1055 2497 | 51 | 31
388.73/388.87 c 243s | 21 | 1484072 | 1300845 | 1055 2515 | 51 | 31
390.73/390.88 c 245s | 21 | 1495733 | 1311045 | 1055 2532 | 51 | 31
392.73/392.90 c 247s | 21 | 1507221 | 1321045 | 1055 2550 | 51 | 31
394.82/394.91 c 249s | 21 | 1518655 | 1331045 | 1055 2567 | 51 | 31
396.82/396.91 c 251s | 21 | 1530865 | 1341545 | 1055 2585 | 51 | 31
398.82/398.93 c 253s | 21 | 1542849 | 1351745 | 1055 2603 | 51 | 31
400.82/400.94 c 255s | 21 | 1554346 | 1361745 | 1055 2620 | 51 | 31
402.82/402.95 c 257s | 21 | 1565057 | 1371245 | 1055 2636 | 51 | 31
404.83/404.96 c 259s | 21 | 1576135 | 1380945 | 1055 2653 | 51 | 31
406.82/406.98 c 261s | 21 | 1588165 | 1391445 | 1055 2671 | 51 | 31
408.82/408.98 c 263s | 21 | 1599152 | 1401245 | 1055 2688 | 51 | 31
410.92/411.00 c 265s | 21 | 1610575 | 1411345 | 1055 2705 | 51 | 31
412.92/413.01 c 267s | 21 | 1622040 | 1421345 | 1055 2723 | 51 | 31
414.92/415.01 c 269s | 21 | 1633390 | 1431145 | 1055 2740 | 51 | 31
416.92/417.02 c 271s | 21 | 1643710 | 1440345 | 1055 2755 | 51 | 31
418.91/419.04 c 273s | 21 | 1655202 | 1450445 | 1055 2773 | 51 | 31
420.91/421.06 c 275s | 21 | 1666484 | 1460245 | 1055 2790 | 51 | 31
422.91/423.07 c 277s | 21 | 1677360 | 1469745 | 1055 2806 | 51 | 31
424.91/425.09 c 279s | 21 | 1688808 | 1479745 | 1055 2823 | 51 | 31
426.93/427.09 c 281s | 21 | 1700147 | 1489545 | 1055 2840 | 51 | 31
428.92/429.10 c 283s | 21 | 1711526 | 1499545 | 1055 2857 | 51 | 31
429.22/429.32 c 283s | 22 | 1712728 | 1500622 | 1055 2859 | 51 | 31
431.23/431.33 c 286s | 22 | 1725276 | 1511622 | 1055 2878 | 51 | 31
433.22/433.34 c 288s | 22 | 1737765 | 1522522 | 1055 2897 | 51 | 31
435.22/435.35 c 290s | 22 | 1750664 | 1533622 | 1055 2916 | 51 | 31
437.22/437.37 c 292s | 22 | 1763214 | 1544422 | 1055 2935 | 51 | 31
439.22/439.37 c 294s | 22 | 1775288 | 1555122 | 1055 2953 | 51 | 31
441.22/441.39 c 296s | 22 | 1787010 | 1565422 | 1055 2971 | 51 | 31
443.22/443.39 c 298s | 22 | 1798783 | 1575722 | 1055 2989 | 51 | 31
445.31/445.41 c 300s | 22 | 1810333 | 1585822 | 1055 3006 | 51 | 31
447.31/447.41 c 302s | 22 | 1822246 | 1596122 | 1055 3024 | 51 | 31
449.31/449.42 c 304s | 22 | 1833922 | 1606222 | 1055 3042 | 51 | 31
451.31/451.42 c 306s | 22 | 1845483 | 1616322 | 1055 3059 | 51 | 31
453.32/453.43 c 308s | 22 | 1857784 | 1627222 | 1055 3078 | 51 | 31
455.31/455.43 c 310s | 22 | 1870063 | 1637922 | 1055 3096 | 51 | 31
457.31/457.44 c 312s | 22 | 1882522 | 1648722 | 1055 3115 | 51 | 31
459.31/459.44 c 314s | 22 | 1894746 | 1659422 | 1055 3133 | 51 | 31
461.31/461.45 c 316s | 22 | 1906824 | 1669922 | 1055 3152 | 51 | 31
463.31/463.45 c 318s | 22 | 1918721 | 1680322 | 1055 3170 | 51 | 31
465.31/465.46 c 320s | 22 | 1931104 | 1690922 | 1055 3188 | 51 | 31
467.31/467.47 c 322s | 22 | 1943139 | 1701222 | 1055 3206 | 51 | 31
469.31/469.49 c 324s | 22 | 1954910 | 1711422 | 1055 3223 | 51 | 31
471.41/471.50 c 326s | 22 | 1966795 | 1721822 | 1055 3241 | 51 | 31
473.41/473.50 c 328s | 22 | 1978939 | 1732422 | 1055 3259 | 51 | 31
475.41/475.51 c 330s | 22 | 1991541 | 1743322 | 1055 3278 | 51 | 31
477.42/477.52 c 332s | 22 | 2003762 | 1754122 | 1055 3297 | 51 | 31
479.41/479.54 c 334s | 22 | 2015424 | 1764422 | 1055 3315 | 51 | 31
481.41/481.55 c 336s | 22 | 2027025 | 1774622 | 1055 3333 | 51 | 31
483.41/483.56 c 338s | 22 | 2039430 | 1785322 | 1055 3351 | 51 | 31
485.41/485.56 c 340s | 22 | 2052120 | 1796122 | 1055 3370 | 51 | 31
487.41/487.57 c 342s | 22 | 2064353 | 1806722 | 1055 3389 | 51 | 31
489.40/489.59 c 344s | 22 | 2076491 | 1817322 | 1055 3407 | 51 | 31
491.41/491.59 c 346s | 22 | 2088826 | 1828222 | 1055 3426 | 51 | 31
493.41/493.59 c 348s | 22 | 2100808 | 1838722 | 1055 3444 | 51 | 31
495.41/495.59 c 350s | 22 | 2113070 | 1849522 | 1055 3462 | 51 | 31
497.51/497.61 c 352s | 22 | 2124968 | 1859922 | 1055 3480 | 51 | 31
499.51/499.62 c 354s | 22 | 2137353 | 1870722 | 1055 3499 | 51 | 31
501.51/501.63 c 356s | 22 | 2149058 | 1881022 | 1055 3517 | 51 | 31
503.51/503.64 c 358s | 22 | 2160368 | 1891022 | 1055 3534 | 51 | 31
505.51/505.66 c 360s | 22 | 2171519 | 1900822 | 1055 3551 | 51 | 31
507.51/507.67 c 362s | 22 | 2182996 | 1911022 | 1055 3568 | 51 | 31
509.51/509.68 c 364s | 22 | 2195314 | 1921822 | 1055 3587 | 51 | 31
511.51/511.69 c 366s | 22 | 2207798 | 1932522 | 1055 3606 | 51 | 31
513.50/513.69 c 368s | 22 | 2220284 | 1943322 | 1055 3625 | 51 | 31
515.60/515.71 c 370s | 22 | 2232422 | 1953922 | 1055 3643 | 51 | 31
517.60/517.71 c 372s | 22 | 2243540 | 1963722 | 1055 3660 | 51 | 31
519.60/519.73 c 374s | 22 | 2255608 | 1974122 | 1055 3678 | 51 | 31
521.60/521.74 c 376s | 22 | 2267285 | 1984122 | 1055 3695 | 51 | 31
523.61/523.74 c 378s | 22 | 2278936 | 1994322 | 1055 3712 | 51 | 31
525.60/525.76 c 380s | 22 | 2290357 | 2004322 | 1055 3729 | 51 | 31
527.60/527.77 c 382s | 22 | 2302093 | 2014322 | 1055 3747 | 51 | 31
529.60/529.77 c 384s | 22 | 2314074 | 2024522 | 1055 3764 | 51 | 31
531.60/531.78 c 386s | 22 | 2326553 | 2035122 | 1055 3783 | 51 | 31
533.60/533.79 c 388s | 22 | 2338077 | 2045222 | 1055 3800 | 51 | 31
535.70/535.80 c 390s | 22 | 2350130 | 2055622 | 1055 3818 | 51 | 31
537.70/537.81 c 392s | 22 | 2361403 | 2065522 | 1055 3836 | 51 | 31
539.70/539.81 c 394s | 22 | 2372774 | 2075422 | 1055 3853 | 51 | 31
541.70/541.81 c 396s | 22 | 2383446 | 2084822 | 1055 3869 | 51 | 31
543.70/543.83 c 398s | 22 | 2394267 | 2094222 | 1055 3885 | 51 | 31
545.71/545.84 c 400s | 22 | 2405697 | 2104222 | 1055 3902 | 51 | 31
547.70/547.84 c 402s | 22 | 2416350 | 2113622 | 1055 3918 | 51 | 31
549.70/549.86 c 404s | 22 | 2426595 | 2122822 | 1055 3934 | 51 | 31
551.70/551.88 c 406s | 22 | 2437300 | 2132222 | 1055 3950 | 51 | 31
553.80/553.90 c 408s | 22 | 2447576 | 2141222 | 1055 3965 | 51 | 31
555.80/555.92 c 410s | 22 | 2457973 | 2150422 | 1055 3980 | 51 | 31
557.81/557.92 c 412s | 22 | 2469253 | 2160222 | 1055 3997 | 51 | 31
559.80/559.92 c 414s | 22 | 2480235 | 2169822 | 1055 4014 | 51 | 31
561.80/561.93 c 416s | 22 | 2491229 | 2179322 | 1055 4030 | 51 | 31
563.79/563.95 c 418s | 22 | 2501990 | 2188622 | 1055 4046 | 51 | 31
565.79/565.96 c 420s | 22 | 2512670 | 2198022 | 1055 4062 | 51 | 31
567.79/567.96 c 422s | 22 | 2523293 | 2207422 | 1055 4078 | 51 | 31
569.81/569.98 c 424s | 22 | 2534627 | 2217222 | 1055 4095 | 51 | 31
571.80/571.99 c 426s | 22 | 2546332 | 2227322 | 1055 4113 | 51 | 31
573.90/574.00 c 428s | 22 | 2558367 | 2237722 | 1055 4131 | 51 | 31
575.90/576.00 c 430s | 22 | 2570172 | 2248022 | 1055 4148 | 51 | 31
576.50/576.63 c 431s | 23 | 2573637 | 2251038 | 1055 4154 | 51 | 31
578.50/578.65 c 433s | 23 | 2585576 | 2261638 | 1055 4172 | 51 | 31
580.50/580.66 c 435s | 23 | 2597184 | 2271738 | 1055 4189 | 51 | 31
582.49/582.67 c 437s | 23 | 2608498 | 2281838 | 1055 4206 | 51 | 31
584.49/584.69 c 439s | 23 | 2619934 | 2291738 | 1055 4223 | 51 | 31
586.59/586.70 c 441s | 23 | 2630959 | 2301438 | 1055 4239 | 51 | 31
588.60/588.71 c 443s | 23 | 2642169 | 2311338 | 1055 4256 | 51 | 31
590.59/590.72 c 445s | 23 | 2653875 | 2321638 | 1055 4274 | 51 | 31
592.59/592.74 c 447s | 23 | 2665279 | 2331738 | 1161 4290 | 51 | 31
594.59/594.75 c 449s | 23 | 2675567 | 2340938 | 1161 4305 | 51 | 31
596.59/596.76 c 451s | 23 | 2686446 | 2350438 | 1161 4319 | 51 | 31
598.59/598.77 c 453s | 23 | 2697708 | 2360238 | 1161 4335 | 51 | 31
600.60/600.78 c 455s | 23 | 2709243 | 2370338 | 1161 4351 | 51 | 31
602.59/602.79 c 457s | 23 | 2720219 | 2380038 | 1161 4366 | 51 | 31
604.69/604.81 c 459s | 23 | 2730715 | 2389338 | 1161 4380 | 51 | 31
606.68/606.83 c 461s | 23 | 2742021 | 2399138 | 1161 4396 | 51 | 31
608.68/608.85 c 463s | 23 | 2752744 | 2408638 | 1161 4410 | 51 | 31
610.68/610.87 c 465s | 23 | 2763810 | 2418338 | 1161 4426 | 51 | 31
612.70/612.87 c 467s | 23 | 2775634 | 2428438 | 1161 4441 | 51 | 31
614.69/614.88 c 469s | 23 | 2786234 | 2437838 | 1161 4456 | 51 | 31
616.69/616.89 c 471s | 23 | 2797500 | 2447738 | 1161 4472 | 51 | 31
618.79/618.90 c 473s | 23 | 2808571 | 2457338 | 1161 4487 | 51 | 31
620.79/620.92 c 475s | 23 | 2819965 | 2467138 | 1161 4502 | 51 | 31
622.79/622.93 c 477s | 23 | 2830744 | 2476638 | 1161 4517 | 51 | 31
624.80/624.94 c 479s | 23 | 2841998 | 2486438 | 1161 4532 | 51 | 31
626.79/626.97 c 481s | 23 | 2852751 | 2495938 | 1161 4547 | 51 | 31
628.79/628.98 c 483s | 23 | 2863164 | 2505238 | 1161 4561 | 51 | 31
630.79/630.99 c 485s | 23 | 2873516 | 2514438 | 1161 4576 | 51 | 31
632.89/633.00 c 487s | 23 | 2884103 | 2523738 | 1161 4590 | 51 | 31
634.89/635.00 c 489s | 23 | 2894494 | 2532938 | 1161 4605 | 51 | 31
636.89/637.01 c 491s | 23 | 2904933 | 2542238 | 1161 4619 | 51 | 31
638.88/639.03 c 493s | 23 | 2915879 | 2552038 | 1161 4635 | 51 | 31
640.88/641.04 c 495s | 23 | 2926429 | 2561338 | 1161 4649 | 51 | 31
642.88/643.04 c 497s | 23 | 2937692 | 2571238 | 1161 4665 | 51 | 31
644.88/645.06 c 499s | 23 | 2948244 | 2580638 | 1161 4680 | 51 | 31
646.89/647.07 c 501s | 23 | 2958555 | 2589838 | 1161 4694 | 51 | 31
648.88/649.08 c 503s | 23 | 2969307 | 2599338 | 1161 4709 | 51 | 31
650.88/651.09 c 505s | 23 | 2980254 | 2609038 | 1161 4724 | 51 | 31
652.88/653.10 c 507s | 23 | 2990807 | 2618338 | 1161 4739 | 51 | 31
654.98/655.10 c 509s | 23 | 3001671 | 2627938 | 1161 4754 | 51 | 31
656.98/657.11 c 511s | 23 | 3012698 | 2637538 | 1161 4769 | 51 | 31
658.98/659.13 c 513s | 23 | 3023194 | 2646838 | 1161 4784 | 51 | 31
660.98/661.14 c 515s | 23 | 3034379 | 2656638 | 1161 4799 | 51 | 31
662.98/663.16 c 517s | 23 | 3045225 | 2666138 | 1161 4814 | 51 | 31
664.98/665.16 c 519s | 23 | 3055499 | 2675238 | 1161 4828 | 51 | 31
666.98/667.18 c 521s | 23 | 3066110 | 2684538 | 1161 4842 | 51 | 31
668.98/669.19 c 523s | 23 | 3076221 | 2693638 | 1161 4857 | 51 | 31
670.99/671.20 c 525s | 23 | 3087251 | 2703338 | 1161 4872 | 51 | 31
673.08/673.21 c 527s | 23 | 3098640 | 2713238 | 1161 4888 | 51 | 31
675.08/675.21 c 529s | 23 | 3110824 | 2723738 | 1161 4904 | 51 | 31
677.08/677.23 c 531s | 23 | 3121935 | 2733538 | 1161 4919 | 51 | 31
679.08/679.24 c 533s | 23 | 3133089 | 2743338 | 1161 4935 | 51 | 31
681.08/681.25 c 535s | 23 | 3143963 | 2752938 | 1161 4950 | 51 | 31
683.09/683.27 c 537s | 23 | 3154487 | 2762138 | 1161 4965 | 51 | 31
685.08/685.29 c 539s | 23 | 3165123 | 2771538 | 1161 4979 | 51 | 31
687.18/687.30 c 541s | 23 | 3176033 | 2781138 | 1161 4995 | 51 | 31
689.18/689.32 c 543s | 23 | 3187212 | 2790938 | 1161 5010 | 51 | 31
691.18/691.34 c 546s | 23 | 3198212 | 2800538 | 1161 5025 | 51 | 31
693.18/693.35 c 548s | 23 | 3208921 | 2810038 | 1161 5040 | 51 | 31
695.18/695.36 c 550s | 23 | 3219479 | 2819438 | 1161 5055 | 51 | 31
697.18/697.37 c 552s | 23 | 3230358 | 2828938 | 1161 5070 | 51 | 31
699.18/699.39 c 554s | 23 | 3241380 | 2838538 | 1161 5085 | 51 | 31
701.18/701.39 c 556s | 23 | 3252388 | 2848138 | 1161 5100 | 51 | 31
703.28/703.41 c 558s | 23 | 3263831 | 2858038 | 1161 5116 | 51 | 31
705.27/705.41 c 560s | 23 | 3275693 | 2868038 | 1161 5132 | 51 | 31
707.28/707.41 c 562s | 23 | 3286206 | 2877138 | 1161 5146 | 51 | 31
709.27/709.43 c 564s | 23 | 3297325 | 2886738 | 1161 5161 | 51 | 31
711.27/711.44 c 566s | 23 | 3307947 | 2896138 | 1161 5176 | 51 | 31
713.27/713.46 c 568s | 23 | 3318704 | 2905538 | 1161 5191 | 51 | 31
715.27/715.47 c 570s | 23 | 3328777 | 2914338 | 1161 5204 | 51 | 31
717.28/717.47 c 572s | 23 | 3338747 | 2923138 | 1161 5218 | 51 | 31
719.27/719.47 c 574s | 23 | 3349356 | 2932338 | 1161 5233 | 51 | 31
721.27/721.49 c 576s | 23 | 3360228 | 2941938 | 1161 5248 | 51 | 31
723.37/723.50 c 578s | 23 | 3370663 | 2951138 | 1161 5262 | 51 | 31
725.37/725.50 c 580s | 23 | 3380844 | 2960238 | 1161 5277 | 51 | 31
727.37/727.51 c 582s | 23 | 3391018 | 2969238 | 1161 5291 | 51 | 31
729.37/729.52 c 584s | 23 | 3402259 | 2978938 | 1161 5307 | 51 | 31
731.37/731.53 c 586s | 23 | 3412737 | 2988138 | 1161 5321 | 51 | 31
733.37/733.53 c 588s | 23 | 3423115 | 2997338 | 1161 5336 | 51 | 31
735.37/735.54 c 590s | 23 | 3433475 | 3006438 | 1161 5350 | 51 | 31
737.36/737.56 c 592s | 23 | 3444642 | 3016238 | 1161 5366 | 51 | 31
739.36/739.56 c 594s | 23 | 3455128 | 3025438 | 1161 5380 | 51 | 31
741.37/741.57 c 596s | 23 | 3466175 | 3035138 | 1161 5395 | 51 | 31
743.36/743.59 c 598s | 23 | 3477330 | 3044838 | 1161 5411 | 51 | 31
745.46/745.60 c 600s | 23 | 3488029 | 3054238 | 1161 5425 | 51 | 31
747.46/747.61 c 602s | 23 | 3498884 | 3063738 | 1161 5441 | 51 | 31
749.46/749.62 c 604s | 23 | 3509477 | 3072938 | 1161 5455 | 51 | 31
751.47/751.62 c 606s | 23 | 3520876 | 3082738 | 1161 5470 | 51 | 31
753.48/753.63 c 608s | 23 | 3531515 | 3092138 | 1161 5485 | 51 | 31
755.47/755.63 c 610s | 23 | 3542784 | 3101838 | 1161 5500 | 51 | 31
757.47/757.64 c 612s | 23 | 3554487 | 3111838 | 1161 5516 | 51 | 31
759.47/759.65 c 614s | 23 | 3565715 | 3121538 | 1161 5532 | 51 | 31
761.47/761.67 c 616s | 23 | 3577052 | 3131438 | 1161 5548 | 51 | 31
763.48/763.68 c 618s | 23 | 3587889 | 3140938 | 1161 5563 | 51 | 31
765.47/765.70 c 620s | 23 | 3599263 | 3150938 | 1161 5578 | 51 | 31
767.57/767.71 c 622s | 23 | 3609907 | 3160338 | 1161 5593 | 51 | 31
769.57/769.71 c 624s | 23 | 3620104 | 3169238 | 1161 5607 | 51 | 31
771.57/771.73 c 626s | 23 | 3631199 | 3178738 | 1161 5622 | 51 | 31
773.57/773.74 c 628s | 23 | 3641781 | 3188038 | 1161 5637 | 51 | 31
775.57/775.75 c 630s | 23 | 3652408 | 3197538 | 1161 5652 | 51 | 31
777.56/777.77 c 632s | 23 | 3663560 | 3207338 | 1161 5667 | 51 | 31
779.56/779.78 c 634s | 23 | 3674603 | 3217038 | 1161 5683 | 51 | 31
781.56/781.78 c 636s | 23 | 3686131 | 3227038 | 1161 5699 | 51 | 31
783.56/783.79 c 638s | 23 | 3697121 | 3236638 | 1161 5714 | 51 | 31
785.66/785.81 c 640s | 23 | 3707900 | 3246138 | 1161 5729 | 51 | 31
787.67/787.81 c 642s | 23 | 3718726 | 3255738 | 1161 5744 | 51 | 31
789.66/789.84 c 644s | 23 | 3729241 | 3265038 | 1161 5759 | 51 | 31
791.66/791.84 c 646s | 23 | 3739792 | 3274338 | 1161 5773 | 51 | 31
793.66/793.85 c 648s | 23 | 3750460 | 3283738 | 1161 5788 | 51 | 31
795.66/795.86 c 650s | 23 | 3760622 | 3292838 | 1161 5802 | 51 | 31
797.66/797.88 c 652s | 23 | 3771083 | 3302138 | 1161 5817 | 51 | 31
799.66/799.88 c 654s | 23 | 3781344 | 3311238 | 1161 5831 | 51 | 31
801.76/801.90 c 656s | 23 | 3791522 | 3320238 | 1161 5845 | 51 | 31
803.76/803.91 c 658s | 23 | 3801514 | 3329038 | 1161 5859 | 51 | 31
805.75/805.93 c 660s | 23 | 3812450 | 3338638 | 1161 5874 | 51 | 31
807.75/807.94 c 662s | 23 | 3823471 | 3348138 | 1161 5890 | 51 | 31
809.75/809.96 c 664s | 23 | 3834307 | 3357538 | 1161 5904 | 51 | 31
811.76/811.96 c 666s | 23 | 3845175 | 3367038 | 1161 5919 | 51 | 31
813.75/813.98 c 668s | 23 | 3856013 | 3376538 | 1161 5934 | 51 | 31
813.85/814.01 c 668s | 24 | 3856145 | 3376662 | 1161 5934 | 51 | 31
815.85/816.03 c 670s | 24 | 3866918 | 3386262 | 1161 5950 | 51 | 31
817.85/818.04 c 672s | 24 | 3877327 | 3395562 | 1161 5964 | 51 | 31
819.86/820.06 c 674s | 24 | 3887600 | 3404762 | 1161 5979 | 51 | 31
821.86/822.07 c 676s | 24 | 3898375 | 3414262 | 1161 5994 | 51 | 31
823.87/824.08 c 678s | 24 | 3908561 | 3423362 | 1161 6008 | 51 | 31
825.86/826.09 c 680s | 24 | 3919493 | 3432962 | 1161 6023 | 51 | 31
827.96/828.11 c 682s | 24 | 3930427 | 3442562 | 1161 6038 | 51 | 31
829.96/830.11 c 684s | 24 | 3941688 | 3452462 | 1161 6054 | 51 | 31
831.96/832.12 c 686s | 24 | 3952501 | 3461962 | 1161 6069 | 51 | 31
833.96/834.14 c 688s | 24 | 3963245 | 3471562 | 1161 6084 | 51 | 31
835.96/836.15 c 690s | 24 | 3973410 | 3480662 | 1161 6098 | 51 | 31
837.95/838.16 c 692s | 24 | 3983851 | 3489962 | 1161 6113 | 51 | 31
839.95/840.18 c 694s | 24 | 3993972 | 3498962 | 1161 6127 | 51 | 31
841.95/842.18 c 696s | 24 | 4004311 | 3508162 | 1161 6142 | 51 | 31
844.05/844.20 c 698s | 24 | 4014450 | 3517162 | 1161 6156 | 51 | 31
846.05/846.22 c 700s | 24 | 4025067 | 3526562 | 1161 6171 | 51 | 31
848.05/848.23 c 702s | 24 | 4034792 | 3535262 | 1161 6185 | 51 | 31
850.04/850.23 c 704s | 24 | 4045245 | 3544462 | 1161 6199 | 51 | 31
852.04/852.24 c 706s | 24 | 4055557 | 3553562 | 1161 6214 | 51 | 31
854.05/854.24 c 708s | 24 | 4065644 | 3562462 | 1161 6228 | 51 | 31
856.05/856.25 c 710s | 24 | 4075848 | 3571362 | 1161 6242 | 51 | 31
858.06/858.25 c 712s | 24 | 4085999 | 3580462 | 1161 6256 | 51 | 31
860.05/860.27 c 714s | 24 | 4095571 | 3589162 | 1161 6270 | 51 | 31
862.05/862.27 c 716s | 24 | 4105252 | 3597762 | 1161 6284 | 51 | 31
864.05/864.28 c 718s | 24 | 4114900 | 3606362 | 1161 6297 | 51 | 31
866.04/866.29 c 720s | 24 | 4125164 | 3615262 | 1161 6311 | 51 | 31
868.14/868.31 c 722s | 24 | 4135753 | 3624662 | 1161 6326 | 51 | 31
870.15/870.32 c 724s | 24 | 4145758 | 3633562 | 1161 6340 | 51 | 31
872.14/872.33 c 727s | 24 | 4155724 | 3642462 | 1161 6354 | 51 | 31
874.14/874.34 c 729s | 24 | 4165758 | 3651462 | 1161 6368 | 51 | 31
876.14/876.34 c 731s | 24 | 4175906 | 3660362 | 1161 6382 | 51 | 31
878.14/878.36 c 733s | 24 | 4186648 | 3669862 | 1161 6397 | 51 | 31
880.14/880.37 c 735s | 24 | 4197066 | 3679162 | 1161 6412 | 51 | 31
882.15/882.39 c 737s | 24 | 4207731 | 3688562 | 1161 6427 | 51 | 31
884.24/884.40 c 739s | 24 | 4218100 | 3697762 | 1161 6441 | 51 | 31
886.24/886.40 c 741s | 24 | 4228156 | 3706762 | 1161 6455 | 51 | 31
888.24/888.41 c 743s | 24 | 4237942 | 3715562 | 1161 6469 | 51 | 31
890.23/890.42 c 745s | 24 | 4247866 | 3724362 | 1161 6483 | 51 | 31
892.23/892.43 c 747s | 24 | 4257805 | 3733162 | 1161 6497 | 51 | 31
894.24/894.43 c 749s | 24 | 4267426 | 3741762 | 1161 6510 | 51 | 31
896.22/896.44 c 751s | 24 | 4277083 | 3750462 | 1161 6524 | 51 | 31
898.22/898.44 c 753s | 24 | 4286978 | 3759262 | 1161 6538 | 51 | 31
900.22/900.45 c 755s | 24 | 4296562 | 3767862 | 1161 6552 | 51 | 31
902.22/902.45 c 757s | 24 | 4305960 | 3776362 | 1161 6565 | 51 | 31
904.23/904.46 c 759s | 24 | 4317141 | 3786162 | 1161 6581 | 51 | 31
906.22/906.46 c 761s | 24 | 4327780 | 3795562 | 1161 6596 | 51 | 31
908.22/908.48 c 763s | 24 | 4339313 | 3805562 | 1161 6612 | 51 | 31
910.22/910.49 c 765s | 24 | 4349337 | 3814462 | 1161 6626 | 51 | 31
912.32/912.50 c 767s | 24 | 4360328 | 3824162 | 1161 6641 | 51 | 31
914.31/914.52 c 769s | 24 | 4370542 | 3833162 | 1161 6655 | 51 | 31
916.32/916.52 c 771s | 24 | 4381493 | 3842762 | 1161 6670 | 51 | 31
918.31/918.53 c 773s | 24 | 4391896 | 3851962 | 1161 6685 | 51 | 31
920.31/920.53 c 775s | 24 | 4402865 | 3861762 | 1161 6700 | 51 | 31
922.31/922.55 c 777s | 24 | 4413981 | 3871662 | 1161 6716 | 51 | 31
924.31/924.57 c 779s | 24 | 4424990 | 3881362 | 1161 6731 | 51 | 31
926.32/926.59 c 781s | 24 | 4435914 | 3891062 | 1161 6746 | 51 | 31
928.42/928.60 c 783s | 24 | 4446874 | 3900862 | 1161 6761 | 51 | 31
930.42/930.61 c 785s | 24 | 4457882 | 3910462 | 1161 6777 | 51 | 31
932.42/932.62 c 787s | 24 | 4469180 | 3920362 | 1161 6792 | 51 | 31
934.42/934.63 c 789s | 24 | 4480313 | 3930062 | 1161 6808 | 51 | 31
936.41/936.64 c 791s | 24 | 4491700 | 3940062 | 1161 6823 | 51 | 31
938.41/938.64 c 793s | 24 | 4502591 | 3949662 | 1161 6839 | 51 | 31
940.42/940.64 c 795s | 24 | 4513235 | 3959062 | 1161 6854 | 51 | 31
942.41/942.65 c 797s | 24 | 4524244 | 3968762 | 1161 6869 | 51 | 31
944.41/944.67 c 799s | 24 | 4534941 | 3978362 | 1161 6884 | 51 | 31
946.40/946.68 c 801s | 24 | 4545864 | 3988062 | 1161 6900 | 51 | 31
948.40/948.69 c 803s | 24 | 4557084 | 3997762 | 1161 6915 | 51 | 31
950.50/950.70 c 805s | 24 | 4567322 | 4006762 | 1278 6929 | 51 | 31
952.40/952.70 c 807s | 24 | 4577414 | 4015662 | 1278 6942 | 51 | 31
954.50/954.71 c 809s | 24 | 4588430 | 4025262 | 1278 6955 | 51 | 31
956.49/956.71 c 811s | 24 | 4599176 | 4034762 | 1278 6969 | 51 | 31
958.49/958.72 c 813s | 24 | 4610274 | 4044462 | 1278 6983 | 51 | 31
960.49/960.74 c 815s | 24 | 4620631 | 4053662 | 1278 6996 | 51 | 31
962.50/962.75 c 817s | 24 | 4631066 | 4062862 | 1278 7010 | 51 | 31
964.49/964.76 c 819s | 24 | 4641306 | 4072062 | 1278 7023 | 51 | 31
966.49/966.77 c 821s | 24 | 4651365 | 4080962 | 1278 7036 | 51 | 31
968.49/968.79 c 823s | 24 | 4661740 | 4090162 | 1278 7049 | 51 | 31
970.59/970.81 c 825s | 24 | 4671894 | 4099162 | 1278 7062 | 51 | 31
972.59/972.83 c 827s | 24 | 4681536 | 4107762 | 1278 7075 | 51 | 31
974.60/974.83 c 829s | 24 | 4691502 | 4116662 | 1278 7087 | 51 | 31
976.59/976.84 c 831s | 24 | 4702114 | 4126062 | 1278 7101 | 51 | 31
978.59/978.85 c 833s | 24 | 4712859 | 4135462 | 1278 7115 | 51 | 31
980.59/980.86 c 835s | 24 | 4722869 | 4144362 | 1278 7127 | 51 | 31
982.59/982.88 c 837s | 24 | 4732775 | 4153162 | 1278 7140 | 51 | 31
984.59/984.89 c 839s | 24 | 4743129 | 4162262 | 1278 7153 | 51 | 31
986.69/986.91 c 841s | 24 | 4753427 | 4171362 | 1278 7167 | 51 | 31
988.68/988.92 c 843s | 24 | 4763429 | 4180162 | 1278 7179 | 51 | 31
990.68/990.92 c 845s | 24 | 4773734 | 4189162 | 1278 7192 | 51 | 31
992.68/992.94 c 847s | 24 | 4784338 | 4198462 | 1278 7206 | 51 | 31
994.68/994.95 c 849s | 24 | 4794294 | 4207362 | 1278 7219 | 51 | 31
996.67/996.97 c 851s | 24 | 4803875 | 4215962 | 1278 7231 | 51 | 31
998.68/998.99 c 853s | 24 | 4814042 | 4224862 | 1278 7244 | 51 | 31
1000.77/1001.00 c 855s | 24 | 4824243 | 4233762 | 1278 7257 | 51 | 31
1002.77/1003.01 c 857s | 24 | 4834900 | 4242962 | 1278 7270 | 51 | 31
1004.77/1005.02 c 859s | 24 | 4845327 | 4252062 | 1278 7284 | 51 | 31
1006.77/1007.02 c 861s | 24 | 4855717 | 4261262 | 1278 7297 | 51 | 31
1008.77/1009.03 c 863s | 24 | 4866646 | 4270762 | 1278 7311 | 51 | 31
1010.77/1011.04 c 865s | 24 | 4877400 | 4280262 | 1278 7324 | 51 | 31
1012.77/1013.06 c 867s | 24 | 4888231 | 4289862 | 1278 7338 | 51 | 31
1014.77/1015.06 c 869s | 24 | 4898701 | 4299062 | 1278 7352 | 51 | 31
1016.76/1017.06 c 871s | 24 | 4908744 | 4307962 | 1278 7365 | 51 | 31
1018.76/1019.08 c 873s | 24 | 4918686 | 4316862 | 1278 7378 | 51 | 31
1020.86/1021.10 c 875s | 24 | 4928957 | 4326062 | 1278 7391 | 51 | 31
1022.87/1023.11 c 877s | 24 | 4939321 | 4335162 | 1278 7404 | 51 | 31
1024.86/1025.11 c 879s | 24 | 4949698 | 4344362 | 1278 7417 | 51 | 31
1026.86/1027.14 c 881s | 24 | 4959928 | 4353462 | 1278 7431 | 51 | 31
1028.86/1029.15 c 883s | 24 | 4969995 | 4362362 | 1278 7444 | 51 | 31
1030.86/1031.16 c 885s | 24 | 4980174 | 4371462 | 1278 7457 | 51 | 31
1032.87/1033.17 c 887s | 24 | 4990505 | 4380562 | 1278 7470 | 51 | 31
1034.86/1035.19 c 889s | 24 | 5000935 | 4389762 | 1278 7483 | 51 | 31
1036.95/1037.20 c 891s | 24 | 5011045 | 4398762 | 1278 7496 | 51 | 31
1038.95/1039.22 c 893s | 24 | 5021208 | 4407862 | 1278 7510 | 51 | 31
1040.95/1041.22 c 895s | 24 | 5030901 | 4416562 | 1278 7522 | 51 | 31
1042.95/1043.23 c 897s | 24 | 5041892 | 4426162 | 1278 7536 | 51 | 31
1044.96/1045.25 c 899s | 24 | 5052444 | 4435362 | 1278 7550 | 51 | 31
1046.94/1047.26 c 901s | 24 | 5062805 | 4444662 | 1278 7563 | 51 | 31
1048.94/1049.27 c 903s | 24 | 5073071 | 4453762 | 1278 7576 | 51 | 31
1050.94/1051.28 c 905s | 24 | 5083243 | 4462862 | 1278 7589 | 51 | 31
1053.04/1053.30 c 907s | 24 | 5093426 | 4471962 | 1278 7603 | 51 | 31
1055.04/1055.30 c 909s | 24 | 5102917 | 4480562 | 1278 7615 | 51 | 31
1057.04/1057.30 c 911s | 24 | 5112810 | 4489362 | 1278 7628 | 51 | 31
1059.03/1059.31 c 913s | 24 | 5122917 | 4498162 | 1278 7641 | 51 | 31
1061.03/1061.32 c 915s | 24 | 5132885 | 4507062 | 1278 7653 | 51 | 31
1063.03/1063.32 c 917s | 24 | 5142767 | 4515862 | 1278 7666 | 51 | 31
1065.03/1065.34 c 920s | 24 | 5152155 | 4524362 | 1278 7679 | 51 | 31
1067.03/1067.35 c 922s | 24 | 5161950 | 4533062 | 1278 7691 | 51 | 31
1069.03/1069.36 c 924s | 24 | 5171364 | 4541462 | 1278 7703 | 51 | 31
1071.03/1071.38 c 926s | 24 | 5180998 | 4549962 | 1278 7716 | 51 | 31
1073.03/1073.39 c 928s | 24 | 5190285 | 4558362 | 1278 7728 | 51 | 31
1075.12/1075.41 c 930s | 24 | 5199427 | 4566662 | 1278 7740 | 51 | 31
1077.12/1077.43 c 932s | 24 | 5208927 | 4575062 | 1278 7752 | 51 | 31
1079.13/1079.45 c 934s | 24 | 5219185 | 4584162 | 1278 7765 | 51 | 31
1081.14/1081.46 c 936s | 24 | 5229037 | 4592962 | 1278 7778 | 51 | 31
1083.13/1083.48 c 938s | 24 | 5239039 | 4601862 | 1278 7791 | 51 | 31
1085.23/1085.50 c 940s | 24 | 5248973 | 4610662 | 1278 7804 | 51 | 31
1087.22/1087.52 c 942s | 24 | 5258963 | 4619462 | 1278 7816 | 51 | 31
1089.22/1089.53 c 944s | 24 | 5269070 | 4628462 | 1278 7830 | 51 | 31
1091.22/1091.55 c 946s | 24 | 5278803 | 4637162 | 1278 7842 | 51 | 31
1093.23/1093.57 c 948s | 24 | 5288826 | 4645962 | 1278 7855 | 51 | 31
1095.22/1095.59 c 950s | 24 | 5298783 | 4654762 | 1278 7868 | 51 | 31
1097.31/1097.60 c 952s | 24 | 5308686 | 4663562 | 1278 7881 | 51 | 31
1099.31/1099.62 c 954s | 24 | 5318509 | 4672262 | 1278 7893 | 51 | 31
1101.31/1101.62 c 956s | 24 | 5328329 | 4681062 | 1278 7906 | 51 | 31
1103.31/1103.64 c 958s | 24 | 5338581 | 4690162 | 1278 7919 | 51 | 31
1105.32/1105.67 c 960s | 24 | 5349057 | 4699262 | 1278 7933 | 51 | 31
1107.30/1107.69 c 962s | 24 | 5358948 | 4707962 | 1278 7945 | 51 | 31
1109.30/1109.69 c 964s | 24 | 5368562 | 4716562 | 1278 7958 | 51 | 31
1111.40/1111.70 c 966s | 24 | 5378550 | 4725362 | 1278 7971 | 51 | 31
1113.40/1113.72 c 968s | 24 | 5389286 | 4734762 | 1278 7984 | 51 | 31
1115.40/1115.73 c 970s | 24 | 5399583 | 4743762 | 1278 7997 | 51 | 31
1117.40/1117.73 c 972s | 24 | 5409479 | 4752562 | 1278 8010 | 51 | 31
1119.40/1119.73 c 974s | 24 | 5419589 | 4761362 | 1278 8023 | 51 | 31
1121.40/1121.75 c 976s | 24 | 5429644 | 4770262 | 1278 8036 | 51 | 31
1123.40/1123.76 c 978s | 24 | 5439697 | 4779262 | 1278 8049 | 51 | 31
1125.39/1125.78 c 980s | 24 | 5450242 | 4788662 | 1278 8062 | 51 | 31
1127.40/1127.78 c 982s | 24 | 5460309 | 4797562 | 1278 8075 | 51 | 31
1129.40/1129.80 c 984s | 24 | 5470645 | 4806662 | 1278 8088 | 51 | 31
1131.50/1131.82 c 986s | 24 | 5481482 | 4816362 | 1278 8102 | 51 | 31
1133.50/1133.83 c 988s | 24 | 5491423 | 4825162 | 1278 8115 | 51 | 31
1135.50/1135.84 c 990s | 24 | 5501653 | 4834262 | 1278 8128 | 51 | 31
1137.49/1137.86 c 992s | 24 | 5511520 | 4843062 | 1278 8141 | 51 | 31
1139.50/1139.88 c 994s | 24 | 5521231 | 4851762 | 1278 8154 | 51 | 31
1141.49/1141.89 c 996s | 24 | 5530833 | 4860362 | 1278 8166 | 51 | 31
1143.49/1143.89 c 998s | 24 | 5540427 | 4868962 | 1278 8178 | 51 | 31
1145.49/1145.89 c 1000s | 24 | 5550390 | 4877862 | 1278 8191 | 51 | 31
1147.58/1147.90 c 1002s | 24 | 5560149 | 4886462 | 1278 8204 | 51 | 31
1149.58/1149.91 c 1004s | 24 | 5569785 | 4895062 | 1278 8216 | 51 | 31
1151.59/1151.93 c 1006s | 24 | 5579669 | 4903862 | 1278 8229 | 51 | 31
1153.58/1153.93 c 1008s | 24 | 5589967 | 4912862 | 1278 8242 | 51 | 31
1155.58/1155.94 c 1010s | 24 | 5599634 | 4921362 | 1278 8254 | 51 | 31
1157.57/1157.94 c 1012s | 24 | 5609492 | 4930062 | 1278 8267 | 51 | 31
1159.57/1159.96 c 1014s | 24 | 5619761 | 4939262 | 1278 8280 | 51 | 31
1161.57/1161.98 c 1016s | 24 | 5630230 | 4948662 | 1278 8294 | 51 | 31
1163.58/1163.98 c 1018s | 24 | 5640859 | 4958062 | 1278 8307 | 51 | 31
1165.57/1165.99 c 1020s | 24 | 5651037 | 4967062 | 1278 8320 | 51 | 31
1167.56/1168.00 c 1022s | 24 | 5661683 | 4976362 | 1278 8334 | 51 | 31
1169.66/1170.01 c 1024s | 24 | 5672042 | 4985362 | 1278 8347 | 51 | 31
1171.66/1172.01 c 1026s | 24 | 5681952 | 4994162 | 1278 8360 | 51 | 31
1173.66/1174.03 c 1028s | 24 | 5691910 | 5002962 | 1278 8372 | 51 | 31
1175.67/1176.04 c 1030s | 24 | 5702050 | 5011962 | 1278 8385 | 51 | 31
1177.66/1178.05 c 1032s | 24 | 5711567 | 5020462 | 1278 8398 | 51 | 31
1179.65/1180.07 c 1034s | 24 | 5721435 | 5029262 | 1278 8410 | 51 | 31
1181.65/1182.08 c 1036s | 24 | 5731252 | 5037962 | 1278 8423 | 51 | 31
1183.65/1184.09 c 1038s | 24 | 5741121 | 5046762 | 1278 8436 | 51 | 31
1185.76/1186.10 c 1040s | 24 | 5750683 | 5055362 | 1278 8448 | 51 | 31
1187.76/1188.11 c 1042s | 24 | 5760370 | 5064062 | 1278 8461 | 51 | 31
1187.96/1188.33 c 1043s | 25 | 5761509 | 5065098 | 1278 8462 | 51 | 31
1189.96/1190.33 c 1045s | 25 | 5772459 | 5074698 | 1278 8476 | 51 | 31
1191.95/1192.34 c 1047s | 25 | 5783266 | 5084198 | 1278 8490 | 51 | 31
1193.95/1194.35 c 1049s | 25 | 5794054 | 5093598 | 1278 8503 | 51 | 31
1195.95/1196.35 c 1051s | 25 | 5804480 | 5102798 | 1278 8516 | 51 | 31
1197.95/1198.35 c 1053s | 25 | 5814833 | 5111998 | 1278 8530 | 51 | 31
1199.95/1200.36 c 1055s | 25 | 5825154 | 5120998 | 1278 8543 | 51 | 31
1201.95/1202.38 c 1057s | 25 | 5835935 | 5130398 | 1278 8556 | 51 | 31
1203.95/1204.38 c 1059s | 25 | 5846421 | 5139598 | 1278 8570 | 51 | 31
1206.04/1206.40 c 1061s | 25 | 5856617 | 5148498 | 1278 8582 | 51 | 31
1208.04/1208.41 c 1063s | 25 | 5867008 | 5157498 | 1278 8595 | 51 | 31
1210.04/1210.42 c 1065s | 25 | 5877362 | 5166598 | 1278 8609 | 51 | 31
1212.05/1212.43 c 1067s | 25 | 5887073 | 5175198 | 1278 8621 | 51 | 31
1214.04/1214.44 c 1069s | 25 | 5897433 | 5184398 | 1278 8634 | 51 | 31
1216.03/1216.45 c 1071s | 25 | 5907316 | 5193098 | 1278 8647 | 51 | 31
1218.03/1218.47 c 1073s | 25 | 5917464 | 5201998 | 1278 8660 | 51 | 31
1220.03/1220.49 c 1075s | 25 | 5927668 | 5210898 | 1278 8672 | 51 | 31
1222.13/1222.50 c 1077s | 25 | 5937880 | 5219898 | 1278 8685 | 51 | 31
1224.14/1224.51 c 1079s | 25 | 5948323 | 5228998 | 1278 8698 | 51 | 31
1226.13/1226.53 c 1081s | 25 | 5958427 | 5237898 | 1278 8711 | 51 | 31
1228.13/1228.54 c 1083s | 25 | 5968292 | 5246698 | 1278 8724 | 51 | 31
1230.13/1230.57 c 1085s | 25 | 5978325 | 5255498 | 1278 8737 | 51 | 31
1232.12/1232.58 c 1087s | 25 | 5988310 | 5264298 | 1278 8749 | 51 | 31
1234.12/1234.58 c 1089s | 25 | 5998243 | 5272998 | 1278 8762 | 51 | 31
1236.13/1236.58 c 1091s | 25 | 6008460 | 5281898 | 1278 8774 | 51 | 31
1238.13/1238.59 c 1093s | 25 | 6018325 | 5290498 | 1278 8786 | 51 | 31
1240.23/1240.61 c 1095s | 25 | 6027803 | 5298998 | 1278 8799 | 51 | 31
1242.23/1242.62 c 1097s | 25 | 6037453 | 5307598 | 1278 8811 | 51 | 31
1244.23/1244.62 c 1099s | 25 | 6047358 | 5316398 | 1278 8824 | 51 | 31
1246.22/1246.62 c 1101s | 25 | 6056843 | 5324798 | 1278 8836 | 51 | 31
1248.23/1248.63 c 1103s | 25 | 6066694 | 5333398 | 1278 8848 | 51 | 31
1250.22/1250.64 c 1105s | 25 | 6076401 | 5341898 | 1278 8860 | 51 | 31
1252.22/1252.66 c 1107s | 25 | 6085902 | 5350398 | 1278 8872 | 51 | 31
1254.22/1254.67 c 1109s | 25 | 6095303 | 5358898 | 1278 8884 | 51 | 31
1256.22/1256.69 c 1111s | 25 | 6105393 | 5367898 | 1278 8897 | 51 | 31
1258.31/1258.70 c 1113s | 25 | 6116033 | 5377298 | 1278 8911 | 51 | 31
1260.21/1260.70 c 1115s | 25 | 6126635 | 5386598 | 1278 8924 | 51 | 31
1262.31/1262.71 c 1117s | 25 | 6136689 | 5395398 | 1278 8937 | 51 | 31
1264.31/1264.72 c 1119s | 25 | 6146832 | 5404398 | 1278 8950 | 51 | 31
1266.31/1266.74 c 1121s | 25 | 6156723 | 5413198 | 1278 8962 | 51 | 31
1268.30/1268.75 c 1123s | 25 | 6166485 | 5421898 | 1278 8975 | 51 | 31
1270.31/1270.76 c 1125s | 25 | 6176662 | 5430798 | 1278 8988 | 51 | 31
1272.30/1272.78 c 1127s | 25 | 6187010 | 5439798 | 1278 9001 | 51 | 31
1274.30/1274.78 c 1129s | 25 | 6197162 | 5448698 | 1278 9013 | 51 | 31
1276.30/1276.79 c 1131s | 25 | 6206854 | 5457198 | 1278 9026 | 51 | 31
1278.39/1278.80 c 1133s | 25 | 6216602 | 5465798 | 1278 9038 | 51 | 31
1280.39/1280.82 c 1135s | 25 | 6226506 | 5474598 | 1278 9051 | 51 | 31
1282.40/1282.83 c 1137s | 25 | 6236938 | 5483798 | 1278 9064 | 51 | 31
1284.40/1284.85 c 1139s | 25 | 6247008 | 5492698 | 1278 9077 | 51 | 31
1286.40/1286.86 c 1141s | 25 | 6257047 | 5501598 | 1278 9089 | 51 | 31
1288.40/1288.86 c 1143s | 25 | 6266854 | 5510298 | 1278 9102 | 51 | 31
1290.40/1290.89 c 1145s | 25 | 6276112 | 5518498 | 1278 9114 | 51 | 31
1292.40/1292.89 c 1147s | 25 | 6285909 | 5527098 | 1278 9126 | 51 | 31
1294.40/1294.90 c 1149s | 25 | 6295543 | 5535598 | 1278 9138 | 51 | 31
1296.49/1296.92 c 1151s | 25 | 6305541 | 5544498 | 1278 9151 | 51 | 31
1298.49/1298.94 c 1153s | 25 | 6315992 | 5553598 | 1278 9164 | 51 | 31
1300.49/1300.94 c 1155s | 25 | 6326379 | 5562798 | 1278 9177 | 51 | 31
1302.49/1302.96 c 1157s | 25 | 6335947 | 5571398 | 1278 9190 | 51 | 31
1304.48/1304.97 c 1159s | 25 | 6346050 | 5580298 | 1278 9202 | 51 | 31
1306.49/1306.98 c 1161s | 25 | 6356128 | 5589098 | 1278 9215 | 51 | 31
1308.48/1308.99 c 1163s | 25 | 6366027 | 5597798 | 1278 9227 | 51 | 31
1310.58/1311.00 c 1165s | 25 | 6375440 | 5606198 | 1278 9240 | 51 | 31
1312.58/1313.02 c 1167s | 25 | 6385129 | 5614798 | 1278 9252 | 51 | 31
1314.58/1315.02 c 1169s | 25 | 6394913 | 5623398 | 1278 9264 | 51 | 31
1316.57/1317.02 c 1171s | 25 | 6405243 | 5632498 | 1278 9277 | 51 | 31
1318.58/1319.03 c 1173s | 25 | 6415446 | 5641598 | 1278 9290 | 51 | 31
1320.57/1321.04 c 1175s | 25 | 6425684 | 5650598 | 1278 9303 | 51 | 31
1322.57/1323.05 c 1177s | 25 | 6435542 | 5659298 | 1278 9316 | 51 | 31
1324.57/1325.06 c 1179s | 25 | 6445793 | 5668198 | 1278 9328 | 51 | 31
1326.57/1327.08 c 1181s | 25 | 6455829 | 5676998 | 1278 9341 | 51 | 31
1328.58/1329.09 c 1183s | 25 | 6465397 | 5685498 | 1278 9353 | 51 | 31
1330.57/1331.10 c 1185s | 25 | 6474919 | 5693998 | 1278 9366 | 51 | 31
1332.67/1333.11 c 1187s | 25 | 6485261 | 5703098 | 1278 9379 | 51 | 31
1334.67/1335.13 c 1189s | 25 | 6494962 | 5711698 | 1278 9391 | 51 | 31
1336.67/1337.14 c 1191s | 25 | 6504454 | 5720098 | 1278 9403 | 51 | 31
1338.67/1339.15 c 1193s | 25 | 6513864 | 5728498 | 1278 9415 | 51 | 31
1340.67/1341.17 c 1195s | 25 | 6523634 | 5737098 | 1278 9427 | 51 | 31
1342.67/1343.19 c 1197s | 25 | 6533320 | 5745698 | 1278 9440 | 51 | 31
1344.77/1345.20 c 1199s | 25 | 6543157 | 5754398 | 1278 9452 | 51 | 31
1346.76/1347.21 c 1201s | 25 | 6553057 | 5763198 | 1278 9465 | 51 | 31
1348.76/1349.23 c 1203s | 25 | 6563003 | 5771998 | 1278 9478 | 51 | 31
1350.76/1351.24 c 1205s | 25 | 6573046 | 5780798 | 1278 9490 | 51 | 31
1352.77/1353.25 c 1207s | 25 | 6583234 | 5789598 | 1278 9503 | 51 | 31
1354.76/1355.26 c 1209s | 25 | 6593336 | 5798398 | 1278 9515 | 51 | 31
1356.76/1357.26 c 1211s | 25 | 6602727 | 5806598 | 1278 9527 | 51 | 31
1358.75/1359.27 c 1213s | 25 | 6612268 | 5814998 | 1278 9539 | 51 | 31
1360.75/1361.28 c 1215s | 25 | 6621651 | 5823398 | 1278 9551 | 51 | 31
1362.75/1363.29 c 1217s | 25 | 6631183 | 5831698 | 1278 9563 | 51 | 31
1364.76/1365.30 c 1219s | 25 | 6640091 | 5839598 | 1278 9575 | 51 | 31
1366.85/1367.30 c 1221s | 25 | 6649784 | 5847998 | 1278 9587 | 51 | 31
1368.85/1369.31 c 1223s | 25 | 6659103 | 5856198 | 1278 9598 | 51 | 31
1370.85/1371.31 c 1225s | 25 | 6668266 | 5864298 | 1278 9610 | 51 | 31
1372.85/1373.33 c 1228s | 25 | 6677469 | 5872498 | 1278 9622 | 51 | 31
1374.85/1375.34 c 1230s | 25 | 6687401 | 5881198 | 1278 9634 | 51 | 31
1376.86/1377.34 c 1232s | 25 | 6696872 | 5889598 | 1278 9646 | 51 | 31
1378.85/1379.35 c 1234s | 25 | 6706675 | 5898198 | 1278 9659 | 51 | 31
1380.85/1381.38 c 1236s | 25 | 6716771 | 5906998 | 1278 9672 | 51 | 31
1382.85/1383.39 c 1238s | 25 | 6726716 | 5915698 | 1278 9684 | 51 | 31
1384.85/1385.39 c 1240s | 25 | 6737109 | 5924698 | 1278 9697 | 51 | 31
1386.94/1387.40 c 1242s | 25 | 6746958 | 5933398 | 1278 9710 | 51 | 31
1388.84/1389.40 c 1244s | 25 | 6756610 | 5941798 | 1278 9722 | 51 | 31
1390.94/1391.41 c 1246s | 25 | 6766405 | 5950398 | 1278 9734 | 51 | 31
1392.94/1393.42 c 1248s | 25 | 6776183 | 5958998 | 1278 9746 | 51 | 31
1394.93/1395.43 c 1250s | 25 | 6785965 | 5967598 | 1278 9759 | 51 | 31
1396.94/1397.45 c 1252s | 25 | 6796129 | 5976498 | 1278 9772 | 51 | 31
1398.94/1399.46 c 1254s | 25 | 6806899 | 5985798 | 1278 9785 | 51 | 31
1400.93/1401.48 c 1256s | 25 | 6816917 | 5994598 | 1278 9798 | 51 | 31
1403.03/1403.50 c 1258s | 25 | 6826743 | 6003198 | 1278 9810 | 51 | 31
1405.03/1405.52 c 1260s | 25 | 6836956 | 6012198 | 1278 9823 | 51 | 31
1407.03/1407.53 c 1262s | 25 | 6847039 | 6021098 | 1278 9836 | 51 | 31
1409.03/1409.53 c 1264s | 25 | 6857111 | 6029898 | 1278 9849 | 51 | 31
1411.03/1411.55 c 1266s | 25 | 6867431 | 6038798 | 1278 9861 | 51 | 31
1413.03/1413.56 c 1268s | 25 | 6877242 | 6047398 | 1278 9874 | 51 | 31
1415.03/1415.56 c 1270s | 25 | 6887441 | 6056298 | 1278 9887 | 51 | 31
1417.02/1417.57 c 1272s | 25 | 6897400 | 6065098 | 1278 9899 | 51 | 31
1419.02/1419.58 c 1274s | 25 | 6907086 | 6073698 | 1278 9912 | 51 | 31
1421.02/1421.59 c 1276s | 25 | 6916489 | 6081898 | 1278 9924 | 51 | 31
1423.02/1423.60 c 1278s | 25 | 6925963 | 6090298 | 1278 9936 | 51 | 31
1425.11/1425.60 c 1280s | 25 | 6935824 | 6098798 | 1278 9948 | 51 | 31
1427.11/1427.62 c 1282s | 25 | 6945035 | 6106998 | 1278 9960 | 51 | 31
1429.11/1429.63 c 1284s | 25 | 6954654 | 6115498 | 1278 9972 | 51 | 31
1431.11/1431.63 c 1286s | 25 | 6964196 | 6123998 | 1278 9984 | 51 | 31
1433.11/1433.64 c 1288s | 25 | 6974022 | 6132598 | 1278 9996 | 51 | 31
1435.11/1435.66 c 1290s | 25 | 6983838 | 6141298 | 1278 10009 | 51 | 31
1437.10/1437.66 c 1292s | 25 | 6993418 | 6149798 | 1278 10021 | 51 | 31
1439.11/1439.66 c 1294s | 25 | 7003115 | 6158298 | 1278 10033 | 51 | 31
1441.11/1441.67 c 1296s | 25 | 7012464 | 6166598 | 1278 10045 | 51 | 31
1443.11/1443.69 c 1298s | 25 | 7022602 | 6175498 | 1278 10058 | 51 | 31
1445.21/1445.71 c 1300s | 25 | 7032357 | 6184198 | 1278 10071 | 51 | 31
1447.21/1447.73 c 1302s | 25 | 7041852 | 6192598 | 1278 10083 | 51 | 31
1449.20/1449.75 c 1304s | 25 | 7051360 | 6200998 | 1278 10095 | 51 | 31
1451.20/1451.77 c 1306s | 25 | 7060906 | 6209398 | 1278 10107 | 51 | 31
1453.20/1453.78 c 1308s | 25 | 7070234 | 6217598 | 1278 10119 | 51 | 31
1455.20/1455.80 c 1310s | 25 | 7079622 | 6225898 | 1278 10131 | 51 | 31
1457.30/1457.80 c 1312s | 25 | 7088898 | 6234098 | 1278 10143 | 51 | 31
1459.20/1459.80 c 1314s | 25 | 7097931 | 6242198 | 1278 10154 | 51 | 31
1461.30/1461.82 c 1316s | 25 | 7107552 | 6250598 | 1278 10167 | 51 | 31
1463.30/1463.82 c 1318s | 25 | 7116860 | 6258798 | 1278 10178 | 51 | 31
1465.29/1465.83 c 1320s | 25 | 7125998 | 6266898 | 1278 10190 | 51 | 31
1467.29/1467.84 c 1322s | 25 | 7135180 | 6274998 | 1278 10202 | 51 | 31
1469.29/1469.85 c 1324s | 25 | 7145039 | 6283698 | 1278 10214 | 51 | 31
1471.29/1471.87 c 1326s | 25 | 7154563 | 6291998 | 1278 10226 | 51 | 31
1473.28/1473.90 c 1328s | 25 | 7163847 | 6300098 | 1278 10238 | 51 | 31
1475.38/1475.91 c 1330s | 25 | 7173168 | 6308198 | 1278 10250 | 51 | 31
1477.38/1477.93 c 1332s | 25 | 7182924 | 6316798 | 1278 10262 | 51 | 31
1479.38/1479.94 c 1334s | 25 | 7192385 | 6325098 | 1278 10274 | 51 | 31
1481.38/1481.95 c 1336s | 25 | 7201814 | 6333398 | 1278 10286 | 51 | 31
1483.38/1483.95 c 1338s | 25 | 7211158 | 6341598 | 1278 10297 | 51 | 31
1485.38/1485.98 c 1340s | 25 | 7220377 | 6349798 | 1278 10309 | 51 | 31
1487.38/1487.99 c 1342s | 25 | 7229868 | 6358198 | 1278 10321 | 51 | 31
1489.48/1490.01 c 1344s | 25 | 7239226 | 6366398 | 1278 10333 | 51 | 31
1491.48/1492.01 c 1346s | 25 | 7248413 | 6374498 | 1278 10345 | 51 | 31
1493.49/1494.03 c 1348s | 25 | 7257510 | 6382598 | 1278 10356 | 51 | 31
1495.48/1496.04 c 1350s | 25 | 7266757 | 6390798 | 1278 10368 | 51 | 31
1497.48/1498.04 c 1352s | 25 | 7275809 | 6398798 | 1278 10380 | 51 | 31
1499.48/1500.06 c 1354s | 25 | 7285709 | 6407298 | 1278 10392 | 51 | 31
1501.48/1502.07 c 1356s | 25 | 7295347 | 6415498 | 1278 10404 | 51 | 31
1503.48/1504.07 c 1358s | 25 | 7304656 | 6423598 | 1278 10416 | 51 | 31
1505.48/1506.08 c 1360s | 25 | 7313847 | 6431698 | 1278 10427 | 51 | 31
1507.57/1508.10 c 1362s | 25 | 7323605 | 6440298 | 1278 10440 | 51 | 31
1509.57/1510.11 c 1364s | 25 | 7332860 | 6448498 | 1278 10451 | 51 | 31
1511.57/1512.12 c 1366s | 25 | 7342228 | 6456698 | 1278 10463 | 51 | 31
1513.57/1514.13 c 1368s | 25 | 7351657 | 6464898 | 1278 10475 | 51 | 31
1515.57/1516.13 c 1370s | 25 | 7360909 | 6472998 | 1278 10487 | 51 | 31
1517.58/1518.14 c 1372s | 25 | 7370332 | 6481198 | 1278 10499 | 51 | 31
1519.57/1520.16 c 1374s | 25 | 7379672 | 6489398 | 1278 10511 | 51 | 31
1521.57/1522.16 c 1376s | 25 | 7389074 | 6497698 | 1278 10523 | 51 | 31
1523.57/1524.17 c 1378s | 25 | 7397877 | 6505598 | 1278 10534 | 51 | 31
1525.57/1526.18 c 1380s | 25 | 7407560 | 6514098 | 1278 10546 | 51 | 31
1527.67/1528.20 c 1382s | 25 | 7417030 | 6522498 | 1406 10558 | 51 | 31
1529.57/1530.20 c 1384s | 25 | 7425987 | 6530498 | 1406 10568 | 51 | 31
1531.67/1532.21 c 1386s | 25 | 7435272 | 6538698 | 1406 10579 | 51 | 31
1533.67/1534.21 c 1388s | 25 | 7444749 | 6547098 | 1406 10590 | 51 | 31
1535.66/1536.21 c 1390s | 25 | 7454006 | 6555298 | 1406 10601 | 51 | 31
1537.66/1538.22 c 1392s | 25 | 7462891 | 6563198 | 1406 10611 | 51 | 31
1539.68/1540.23 c 1394s | 25 | 7471935 | 6571298 | 1406 10622 | 51 | 31
1541.67/1542.26 c 1396s | 25 | 7481559 | 6579698 | 1406 10633 | 51 | 31
1543.67/1544.27 c 1398s | 25 | 7490771 | 6587898 | 1406 10644 | 51 | 31
1545.67/1546.28 c 1400s | 25 | 7500316 | 6596298 | 1406 10655 | 51 | 31
1547.77/1548.30 c 1402s | 25 | 7509702 | 6604598 | 1406 10666 | 51 | 31
1549.77/1550.32 c 1404s | 25 | 7518964 | 6612798 | 1406 10677 | 51 | 31
1551.78/1552.34 c 1407s | 25 | 7527898 | 6620798 | 1406 10688 | 51 | 31
1553.77/1554.36 c 1409s | 25 | 7537272 | 6629098 | 1406 10698 | 51 | 31
1555.77/1556.37 c 1411s | 25 | 7546256 | 6637098 | 1406 10709 | 51 | 31
1557.77/1558.39 c 1413s | 25 | 7555204 | 6644998 | 1406 10719 | 51 | 31
1559.87/1560.40 c 1415s | 25 | 7565064 | 6653598 | 1406 10731 | 51 | 31
1561.87/1562.41 c 1417s | 25 | 7574463 | 6661898 | 1406 10742 | 51 | 31
1563.87/1564.42 c 1419s | 25 | 7583423 | 6669798 | 1406 10752 | 51 | 31
1565.87/1566.44 c 1421s | 25 | 7592647 | 6677998 | 1406 10763 | 51 | 31
1567.87/1568.45 c 1423s | 25 | 7601717 | 6685998 | 1406 10774 | 51 | 31
1569.87/1570.46 c 1425s | 25 | 7610918 | 6694098 | 1406 10784 | 51 | 31
1571.87/1572.47 c 1427s | 25 | 7619892 | 6702098 | 1406 10795 | 51 | 31
1573.86/1574.47 c 1429s | 25 | 7629141 | 6710298 | 1406 10806 | 51 | 31
1575.87/1576.49 c 1431s | 25 | 7638283 | 6718398 | 1406 10817 | 51 | 31
1577.96/1578.51 c 1433s | 25 | 7647985 | 6726898 | 1406 10828 | 51 | 31
1579.96/1580.51 c 1435s | 25 | 7657408 | 6735198 | 1406 10839 | 51 | 31
1581.96/1582.52 c 1437s | 25 | 7667172 | 6743798 | 1406 10850 | 51 | 31
1583.96/1584.54 c 1439s | 25 | 7676420 | 6751998 | 1406 10861 | 51 | 31
1585.96/1586.55 c 1441s | 25 | 7685538 | 6759998 | 1406 10872 | 51 | 31
1587.97/1588.56 c 1443s | 25 | 7694511 | 6767998 | 1406 10882 | 51 | 31
1589.96/1590.56 c 1445s | 25 | 7703164 | 6775798 | 1406 10893 | 51 | 31
1591.96/1592.58 c 1447s | 25 | 7712440 | 6783998 | 1406 10903 | 51 | 31
1593.96/1594.59 c 1449s | 25 | 7721536 | 6792098 | 1406 10914 | 51 | 31
1595.96/1596.59 c 1451s | 25 | 7730440 | 6799998 | 1406 10925 | 51 | 31
1598.06/1598.61 c 1453s | 25 | 7739233 | 6807798 | 1406 10935 | 51 | 31
1600.07/1600.62 c 1455s | 25 | 7748195 | 6815698 | 1406 10945 | 51 | 31
1602.06/1602.63 c 1457s | 25 | 7757069 | 6823598 | 1406 10956 | 51 | 31
1604.06/1604.65 c 1459s | 25 | 7765838 | 6831398 | 1406 10966 | 51 | 31
1606.06/1606.65 c 1461s | 25 | 7774716 | 6839298 | 1406 10977 | 51 | 31
1608.06/1608.66 c 1463s | 25 | 7783429 | 6847098 | 1406 10987 | 51 | 31
1610.07/1610.69 c 1465s | 25 | 7792811 | 6855298 | 1406 10998 | 51 | 31
1612.06/1612.70 c 1467s | 25 | 7801719 | 6863198 | 1406 11008 | 51 | 31
1614.16/1614.71 c 1469s | 25 | 7810637 | 6871098 | 1406 11019 | 51 | 31
1616.16/1616.73 c 1471s | 25 | 7820020 | 6879298 | 1406 11029 | 51 | 31
1618.16/1618.73 c 1473s | 25 | 7829079 | 6887298 | 1406 11040 | 51 | 31
1620.16/1620.75 c 1475s | 25 | 7837759 | 6895098 | 1406 11050 | 51 | 31
1622.17/1622.75 c 1477s | 25 | 7846782 | 6903098 | 1406 11060 | 51 | 31
1624.16/1624.77 c 1479s | 25 | 7855938 | 6911098 | 1406 11071 | 51 | 31
1626.16/1626.79 c 1481s | 25 | 7864858 | 6919098 | 1406 11081 | 51 | 31
1628.26/1628.81 c 1483s | 25 | 7873942 | 6927198 | 1406 11092 | 51 | 31
1630.26/1630.81 c 1485s | 25 | 7882546 | 6934898 | 1406 11102 | 51 | 31
1632.25/1632.82 c 1487s | 25 | 7891257 | 6942698 | 1406 11112 | 51 | 31
1634.26/1634.82 c 1489s | 25 | 7900145 | 6950598 | 1406 11123 | 51 | 31
1636.25/1636.84 c 1491s | 25 | 7908913 | 6958398 | 1406 11133 | 51 | 31
1638.25/1638.84 c 1493s | 25 | 7918149 | 6966498 | 1406 11144 | 51 | 31
1640.25/1640.85 c 1495s | 25 | 7927103 | 6974498 | 1406 11154 | 51 | 31
1642.25/1642.85 c 1497s | 25 | 7936138 | 6982498 | 1406 11165 | 51 | 31
1644.25/1644.87 c 1499s | 25 | 7945738 | 6990798 | 1406 11176 | 51 | 31
1646.26/1646.89 c 1501s | 25 | 7955527 | 6999398 | 1406 11187 | 51 | 31
1648.35/1648.90 c 1503s | 25 | 7965128 | 7007798 | 1406 11198 | 51 | 31
1650.35/1650.91 c 1505s | 25 | 7974265 | 7015898 | 1406 11209 | 51 | 31
1652.35/1652.93 c 1507s | 25 | 7983373 | 7023998 | 1406 11220 | 51 | 31
1654.36/1654.94 c 1509s | 25 | 7992672 | 7032198 | 1406 11231 | 51 | 31
1656.35/1656.95 c 1511s | 25 | 8002223 | 7040498 | 1406 11242 | 51 | 31
1658.36/1658.96 c 1513s | 25 | 8011422 | 7048598 | 1406 11252 | 51 | 31
1660.35/1660.98 c 1515s | 25 | 8020630 | 7056698 | 1406 11263 | 51 | 31
1662.45/1663.00 c 1517s | 25 | 8030413 | 7065198 | 1406 11274 | 51 | 31
1664.45/1665.02 c 1519s | 25 | 8040323 | 7073898 | 1406 11286 | 51 | 31
1666.45/1667.03 c 1521s | 25 | 8049551 | 7082098 | 1406 11297 | 51 | 31
1668.45/1669.04 c 1523s | 25 | 8058620 | 7090098 | 1406 11307 | 51 | 31
1670.46/1671.05 c 1525s | 25 | 8067910 | 7098298 | 1406 11318 | 51 | 31
1672.45/1673.07 c 1527s | 25 | 8077365 | 7106598 | 1406 11329 | 51 | 31
1674.55/1675.10 c 1529s | 25 | 8086446 | 7114598 | 1406 11340 | 51 | 31
1676.54/1677.11 c 1531s | 25 | 8095725 | 7122798 | 1406 11350 | 51 | 31
1678.54/1679.12 c 1533s | 25 | 8105010 | 7130998 | 1406 11361 | 51 | 31
1680.54/1681.13 c 1535s | 25 | 8114394 | 7139298 | 1406 11372 | 51 | 31
1682.56/1683.13 c 1537s | 25 | 8124047 | 7147798 | 1406 11384 | 51 | 31
1684.55/1685.15 c 1539s | 25 | 8134073 | 7156498 | 1406 11395 | 51 | 31
1686.55/1687.17 c 1541s | 25 | 8143273 | 7164598 | 1406 11406 | 51 | 31
1688.55/1689.18 c 1543s | 25 | 8152553 | 7172798 | 1406 11417 | 51 | 31
1690.65/1691.20 c 1545s | 25 | 8162196 | 7181198 | 1406 11428 | 51 | 31
1692.65/1693.21 c 1547s | 25 | 8171017 | 7189098 | 1406 11438 | 51 | 31
1694.66/1695.23 c 1549s | 25 | 8180110 | 7197098 | 1406 11449 | 51 | 31
1696.65/1697.25 c 1551s | 25 | 8189994 | 7205598 | 1406 11460 | 51 | 31
1698.65/1699.27 c 1553s | 25 | 8199279 | 7213698 | 1406 11471 | 51 | 31
1700.65/1701.27 c 1555s | 25 | 8208348 | 7221698 | 1406 11481 | 51 | 31
1702.65/1703.29 c 1557s | 25 | 8217437 | 7229698 | 1406 11492 | 51 | 31
1704.74/1705.31 c 1559s | 25 | 8226294 | 7237598 | 1406 11502 | 51 | 31
1706.75/1707.33 c 1562s | 25 | 8235398 | 7245698 | 1406 11513 | 51 | 31
1708.74/1709.34 c 1564s | 25 | 8244369 | 7253698 | 1406 11523 | 51 | 31
1710.74/1711.36 c 1566s | 25 | 8253258 | 7261698 | 1406 11534 | 51 | 31
1712.74/1713.37 c 1568s | 25 | 8262520 | 7269898 | 1406 11545 | 51 | 31
1714.74/1715.38 c 1570s | 25 | 8272247 | 7278498 | 1406 11556 | 51 | 31
1716.75/1717.38 c 1572s | 25 | 8281716 | 7286798 | 1406 11567 | 51 | 31
1718.74/1719.39 c 1574s | 25 | 8291021 | 7294998 | 1406 11578 | 51 | 31
1720.84/1721.41 c 1576s | 25 | 8300712 | 7303498 | 1406 11589 | 51 | 31
1722.84/1723.42 c 1578s | 25 | 8309675 | 7311398 | 1406 11600 | 51 | 31
1724.84/1725.43 c 1580s | 25 | 8318779 | 7319498 | 1406 11610 | 51 | 31
1726.84/1727.45 c 1582s | 25 | 8328180 | 7327698 | 1406 11621 | 51 | 31
1728.85/1729.47 c 1584s | 25 | 8337349 | 7335698 | 1406 11632 | 51 | 31
1730.84/1731.47 c 1586s | 25 | 8346564 | 7343798 | 1406 11643 | 51 | 31
1732.84/1733.48 c 1588s | 25 | 8356305 | 7352498 | 1406 11654 | 51 | 31
1734.94/1735.50 c 1590s | 25 | 8366140 | 7361198 | 1406 11666 | 51 | 31
1736.94/1737.52 c 1592s | 25 | 8375731 | 7369698 | 1406 11677 | 51 | 31
1738.94/1739.52 c 1594s | 25 | 8385539 | 7378398 | 1406 11688 | 51 | 31
1740.94/1741.53 c 1596s | 25 | 8395047 | 7386898 | 1406 11699 | 51 | 31
1742.94/1743.54 c 1598s | 25 | 8404451 | 7395298 | 1406 11710 | 51 | 31
1744.94/1745.55 c 1600s | 25 | 8414304 | 7403998 | 1406 11722 | 51 | 31
1746.93/1747.55 c 1602s | 25 | 8423979 | 7412598 | 1406 11733 | 51 | 31
1748.93/1749.56 c 1604s | 25 | 8433611 | 7421198 | 1406 11745 | 51 | 31
1750.93/1751.57 c 1606s | 25 | 8443027 | 7429598 | 1406 11756 | 51 | 31
1752.94/1753.58 c 1608s | 25 | 8452728 | 7438198 | 1406 11767 | 51 | 31
1754.93/1755.60 c 1610s | 25 | 8462288 | 7446598 | 1406 11778 | 51 | 31
1757.03/1757.60 c 1612s | 25 | 8471853 | 7454898 | 1406 11789 | 51 | 31
1759.03/1759.62 c 1614s | 25 | 8481322 | 7463198 | 1406 11800 | 51 | 31
1761.03/1761.63 c 1616s | 25 | 8490740 | 7471498 | 1406 11811 | 51 | 31
1763.04/1763.63 c 1618s | 25 | 8500242 | 7479798 | 1406 11822 | 51 | 31
1765.05/1765.63 c 1620s | 25 | 8509502 | 7487998 | 1406 11833 | 51 | 31
1767.04/1767.66 c 1622s | 25 | 8518683 | 7496198 | 1406 11844 | 51 | 31
1769.04/1769.67 c 1624s | 25 | 8527737 | 7504198 | 1406 11854 | 51 | 31
1771.04/1771.69 c 1626s | 25 | 8536594 | 7512098 | 1406 11865 | 51 | 31
1773.14/1773.71 c 1628s | 25 | 8545409 | 7519898 | 1406 11875 | 51 | 31
1775.14/1775.73 c 1630s | 25 | 8554332 | 7527798 | 1406 11886 | 51 | 31
1777.14/1777.74 c 1632s | 25 | 8563325 | 7535798 | 1406 11896 | 51 | 31
1779.13/1779.75 c 1634s | 25 | 8572039 | 7543598 | 1406 11906 | 51 | 31
1781.13/1781.76 c 1636s | 25 | 8581377 | 7551798 | 1406 11917 | 51 | 31
1783.13/1783.77 c 1638s | 25 | 8590036 | 7559598 | 1406 11928 | 51 | 31
1785.13/1785.78 c 1640s | 25 | 8598980 | 7567598 | 1406 11938 | 51 | 31
1787.23/1787.80 c 1642s | 25 | 8607837 | 7575498 | 1406 11949 | 51 | 31
1789.24/1789.81 c 1644s | 25 | 8617047 | 7583698 | 1406 11960 | 51 | 31
1791.23/1791.81 c 1646s | 25 | 8626107 | 7591798 | 1406 11970 | 51 | 31
1792.64/1793.24 c 1647s | 26 | 8632809 | 7597752 | 1406 11978 | 51 | 31
1794.63/1795.26 c 1649s | 26 | 8642309 | 7606152 | 1406 11989 | 51 | 31
1796.63/1797.28 c 1651s | 26 | 8651817 | 7614452 | 1406 12000 | 51 | 31
1798.63/1799.30 c 1653s | 26 | 8660570 | 7622352 | 1406 12010 | 51 | 31
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-4117897-1467237362/watcher-4117897-1467237362 -o /tmp/evaluation-result-4117897-1467237362/solver-4117897-1467237362 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2001 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117897-1467237362.opb
pid=4719
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.26 2.25 2.25 3/179 4722
/proc/meminfo: memFree=27526220/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 486 0 0 0 0 0 0 0 20 0 4 0 2763864 246870016 350 33554432000 4194304 16246674 140735229423504 140735229422928 13780488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 60271 364 288 2943 0 57165 0
[pid=4722/tid=4723] ppid=4719 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 246870016 415 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 246870016 430 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2763865 246870016 448 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100172 s]
/proc/loadavg: 2.26 2.25 2.25 3/179 4722
/proc/meminfo: memFree=27526220/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 23346 0 0 0 5 3 0 0 20 0 4 0 2763864 1247350784 23184 33554432000 4194304 16246674 140735229423504 140735229406496 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 304529 23191 736 2943 0 301423 0
[pid=4722/tid=4723] ppid=4719 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1247350784 23195 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1247350784 23200 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2763865 1247350784 23206 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116
[startup+0.315428 s]
/proc/loadavg: 2.26 2.25 2.25 3/179 4722
/proc/meminfo: memFree=27526220/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1218116 CPUtime=0.3 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 68517 0 0 0 19 11 0 0 20 0 4 0 2763864 1247350784 68355 33554432000 4194304 16246674 140735229423504 140735229406504 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 304529 68364 736 2943 0 301423 0
[pid=4722/tid=4723] ppid=4719 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1247350784 68375 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1247350784 68386 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2763865 1247350784 68394 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1218116
[startup+0.400486 s]
/proc/loadavg: 2.26 2.25 2.25 3/179 4722
/proc/meminfo: memFree=27526220/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1218116 CPUtime=0.38 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 86918 0 0 0 25 13 0 0 20 0 4 0 2763864 1247350784 86756 33554432000 4194304 16246674 140735229423504 140735229406504 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 304529 86772 736 2943 0 301423 0
[pid=4722/tid=4723] ppid=4719 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1247350784 86780 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1247350784 86785 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2763865 1247350784 86789 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 1218116
[startup+0.700402 s]
/proc/loadavg: 2.26 2.25 2.25 3/179 4722
/proc/meminfo: memFree=27526220/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 148595 0 0 0 47 22 0 0 20 0 4 0 2763864 1247350784 148432 33554432000 4194304 16246674 140735229423504 140735229406504 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 304529 148444 786 2943 0 301423 0
[pid=4722/tid=4723] ppid=4719 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1247350784 148450 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1247350784 148457 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2763865 1247350784 148463 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50044 s]
/proc/loadavg: 2.26 2.25 2.25 3/183 4726
/proc/meminfo: memFree=26545108/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 245689 0 0 0 114 34 0 0 20 0 4 0 2763864 1248399360 245504 33554432000 4194304 16246674 140735229423504 140735229422816 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 304785 245504 846 2943 0 301679 0
[pid=4722/tid=4723] ppid=4719 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1248399360 245504 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1248399360 245504 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1248399360 245504 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140
[startup+3.10041 s]
/proc/loadavg: 2.32 2.26 2.26 3/183 4726
/proc/meminfo: memFree=26458060/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 267486 0 0 0 271 37 0 0 20 0 4 0 2763864 1337528320 267301 33554432000 4194304 16246674 140735229423504 140735229406504 5754961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326545 267301 846 2943 0 323439 0
[pid=4722/tid=4723] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267301 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267301 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267301 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180
[startup+6.30035 s]
/proc/loadavg: 2.32 2.26 2.26 3/183 4726
/proc/meminfo: memFree=26457324/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 267489 0 0 0 591 37 0 0 20 0 4 0 2763864 1337528320 267304 33554432000 4194304 16246674 140735229423504 140735229406504 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326545 267304 846 2943 0 323439 0
[pid=4722/tid=4723] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267304 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267304 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267304 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180
[startup+12.7004 s]
/proc/loadavg: 2.27 2.25 2.25 3/183 4726
/proc/meminfo: memFree=26457124/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 267507 0 0 0 1231 37 0 0 20 0 4 0 2763864 1337528320 267322 33554432000 4194304 16246674 140735229423504 140735229406504 5823631 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326545 267322 847 2943 0 323439 0
[pid=4722/tid=4723] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267322 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267322 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267322 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180
[startup+25.5074 s]
/proc/loadavg: 2.23 2.25 2.25 4/183 4726
/proc/meminfo: memFree=26457140/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 267537 0 0 0 2511 38 0 0 20 0 4 0 2763864 1337528320 267352 33554432000 4194304 16246674 140735229423504 140735229406504 5717458 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326545 267352 849 2943 0 323439 0
[pid=4722/tid=4723] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267352 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267352 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267352 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180
[startup+51.1004 s]
/proc/loadavg: 2.34 2.27 2.26 3/183 4726
/proc/meminfo: memFree=26456788/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1306180 CPUtime=51.07 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 267599 0 0 0 5068 39 0 0 20 0 4 0 2763864 1337528320 267414 33554432000 4194304 16246674 140735229423504 140735229405376 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326545 267414 849 2943 0 323439 0
[pid=4722/tid=4723] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267414 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267414 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267414 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1306180
[startup+102.3 s]
/proc/loadavg: 2.41 2.29 2.27 3/183 4728
/proc/meminfo: memFree=26444884/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1306180 CPUtime=102.26 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 267600 0 0 0 10186 40 0 0 20 0 4 0 2763864 1337528320 267415 33554432000 4194304 16246674 140735229423504 140735229406504 13191844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326545 267415 850 2943 0 323439 0
[pid=4722/tid=4723] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267415 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267415 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1337528320 267415 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1306180
################
# More data... #
################
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267854 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1307204
[startup+1362.3 s]
/proc/loadavg: 2.16 2.22 2.21 3/183 4929
/proc/meminfo: memFree=26459196/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1307204 CPUtime=1361.85 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 268143 0 0 0 136119 66 0 0 20 0 4 0 2763864 1338576896 267854 33554432000 4194304 16246674 140735229423504 140735229406504 5828996 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326801 267854 851 2943 0 323695 0
[pid=4722/tid=4723] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267854 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267854 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267854 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1307204
[startup+1422.3 s]
/proc/loadavg: 2.16 2.21 2.21 3/183 4930
/proc/meminfo: memFree=26458928/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1307204 CPUtime=1421.82 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 268190 0 0 0 142114 68 0 0 20 0 4 0 2763864 1338576896 267854 33554432000 4194304 16246674 140735229423504 140735229405376 6861768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326801 267854 851 2943 0 323695 0
[pid=4722/tid=4723] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267854 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267854 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267854 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1307204
[startup+1482.3 s]
/proc/loadavg: 2.32 2.24 2.22 3/184 4934
/proc/meminfo: memFree=26458568/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1307204 CPUtime=1481.78 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 268287 0 0 0 148109 69 0 0 20 0 4 0 2763864 1338576896 267905 33554432000 4194304 16246674 140735229423504 140735229405376 5667355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326801 267905 851 2943 0 323695 0
[pid=4722/tid=4723] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1307204
[startup+1542.3 s]
/proc/loadavg: 2.23 2.24 2.21 3/183 4935
/proc/meminfo: memFree=26458936/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1307204 CPUtime=1541.78 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 268294 0 0 0 154107 71 0 0 20 0 4 0 2763864 1338576896 267905 33554432000 4194304 16246674 140735229423504 140735229405376 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326801 267905 851 2943 0 323695 0
[pid=4722/tid=4723] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1307204
[startup+1602.3 s]
/proc/loadavg: 2.19 2.22 2.21 3/183 4937
/proc/meminfo: memFree=26458348/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1307204 CPUtime=1601.76 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 268294 0 0 0 160104 72 0 0 20 0 4 0 2763864 1338576896 267905 33554432000 4194304 16246674 140735229423504 140735229405376 6026754 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326801 267905 851 2943 0 323695 0
[pid=4722/tid=4723] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1307204
[startup+1662.31 s]
/proc/loadavg: 2.17 2.21 2.20 3/183 4938
/proc/meminfo: memFree=26458248/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1307204 CPUtime=1661.76 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 268294 0 0 0 166103 73 0 0 20 0 4 0 2763864 1338576896 267905 33554432000 4194304 16246674 140735229423504 140735229405376 5828719 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326801 267905 851 2943 0 323695 0
[pid=4722/tid=4723] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1307204
[startup+1722.3 s]
/proc/loadavg: 2.19 2.20 2.19 4/183 4939
/proc/meminfo: memFree=26458616/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1307204 CPUtime=1721.74 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 268294 0 0 0 172100 74 0 0 20 0 4 0 2763864 1338576896 267905 33554432000 4194304 16246674 140735229423504 140735229406504 6842450 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326801 267905 851 2943 0 323695 0
[pid=4722/tid=4723] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1307204
[startup+1782.3 s]
/proc/loadavg: 2.22 2.21 2.19 3/183 4940
/proc/meminfo: memFree=26457528/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1307204 CPUtime=1781.73 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 268294 0 0 0 178098 75 0 0 20 0 4 0 2763864 1338576896 267905 33554432000 4194304 16246674 140735229423504 140735229405376 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326801 267905 851 2943 0 323695 0
[pid=4722/tid=4723] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1307204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.22 2.21 2.19 3/183 4940
/proc/meminfo: memFree=26457636/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1307204 CPUtime=1800.03 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 268294 0 0 0 179928 75 0 0 20 0 4 0 2763864 1338576896 267905 33554432000 4194304 16246674 140735229423504 140735229405376 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326801 267905 851 2943 0 323695 0
[pid=4722/tid=4723] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1307204
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 4722 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.22 2.21 2.19 3/183 4940
/proc/meminfo: memFree=26457636/32872528 swapFree=1553660/1717180
[pid=4722] ppid=4719 vsize=1307204 CPUtime=1800.03 cores=1,3,5,7
/proc/4722/stat : 4722 (toysat) R 4719 4722 1984 0 -1 4202496 268294 0 0 0 179928 75 0 0 20 0 4 0 2763864 1338576896 267905 33554432000 4194304 16246674 140735229423504 140735229405376 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4722/statm: 326801 267905 851 2943 0 323695 0
[pid=4722/tid=4723] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4723/stat : 4723 (toysat) S 4719 4722 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459627228400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4722/tid=4724] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4724/stat : 4724 (toysat) S 4719 4722 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459616738544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4722/tid=4725] ppid=4719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4722/task/4725/stat : 4725 (toysat) S 4719 4722 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2763865 1338576896 267905 33554432000 4194304 16246674 140735229423504 140459606265008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1307204
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.04
CPU user time (s): 1799.29
CPU system time (s): 0.755885
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 1307204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.755885
maximum resident set size= 1071620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268294
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= 474
involuntary context switches= 2552
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.85826 second user time and 6.68398 second system time
The end