0.00/0.00 c 2016-06-30T00:33:55+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-4106721-1467239635.opb"]
0.00/0.01 c use --random-gen="3516174023 3753651540 3160463187 450760501 2797633332 3183998067 3171004867 2403234941 1363347991 2695541919 2962432018 356576544 3421445920 462724042 242941771 3035969413 1228742320 3792442785 1237834870 3811249721 3998182683 3779563421 3925744695 2012608726 2817977309 3776162939 4191199480 725213412 316764980 675842150 143878304 1939269552 643192735 677900901 3260327244 1779767541 3738765668 2358200465 2351897644 2038352158 3392131450 2678935420 191896784 3331062432 1659230365 2456171159 3940813472 2481047331 2085060118 1014221152 594198474 2561632080 158821096 1820257263 3715116186 1838415444 3360653844 161921270 1420979545 4174638588 4257459542 3895221819 1847786000 268569766 1340804352 1225385489 2805423902 3354629123 1137065456 159014846 2290488469 512031654 493280754 2606091973 2011015432 4193542891 1702302907 3572899817 3086137525 1215131333 3631705668 1819452378 646234692 2278538534 4244557793 2159934053 3050099518 2583817687 1622871178 4179383963 3117621439 504138835 3737696847 2226390090 2882526920 3329166345 1818206653 2965215921 2987987310 4098047160 4044218703 1216437238 818037889 1002074833 1757927823 1301892232 1426272345 4059078112 51971278 752996123 2874732123 1685736388 3287262678 1859240733 4250658360 2507480721 3131880028 1359905084 1070013263 2041743774 2321279684 3999189254 1888911284 744646130 3600145512 4236908339 1493071458 1317944152 361637839 3894641670 1925743071 1681753201 2280451667 816797629 1932442063 1808856147 388135941 2593663391 3711129201 3881181079 1158221945 2728207307 4128091101 1140159214 1402017540 3456074593 3320796776 1054744973 136831464 2936047736 493619630 567819044 3643227368 2279056614 2181210551 2108067666 515537090 3793380285 156488824 3516338736 4045928387 2288788364 1462549089 2610170902 1122555144 3410206839 4152603926 2517101124 3865494899 3710518080 769342793 4032487329 2856748340 930196693 3413380042 1397917265 2308308781 1655178355 1424555763 2611451309 1475073872 4080377837 648311091 1745090514 1666217209 3833040107 2816511114 3399054950 619617219 3910395323 674513077 4035192309 1755436218 3412808322 899868393 666876416 1427930950 3996554428 2108361421 665989740 2394396404 1138164045 2890611559 1704261204 1909145971 1777391554 2402607521 3212835875 2219614925 2641754179 1538805607 2378400798 258671862 1606495314 3708960201 1496450466 65268967 577162270 136751846 646772756 2464357764 55458636 1456289705 2803457371 2680487005 1953182104 292636406 501296316 789660992 2602642929 1667970142 975061281 1283090231 2232955563 163434704 1312632826 2912861583 3731347390 2080434110 2933610759 3673957803 4041845996 4015999271 3650576289 2935813841 1689703174 3075306242 694227933 4202970501 304432000 2120209906 3599291506 1358945243 593780334 3634410430 3326954232 255 362436" option to reproduce the execution
0.00/0.01 c #vars 100
0.00/0.01 c #constraints 100
0.00/0.03 c BCD2: Hardening is enabled.
0.00/0.03 c BCD2: BiasedSearch is enabled.
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 872 0 | 629 | 0
0.00/0.04 c 0.0s | 0 | 21 | 0 | 872 0 | 629 | 1258
0.00/0.04 c #cpu_time = 0.003s
0.00/0.04 c #wall_clock_time = 0.003s
0.00/0.04 c #decision = 21
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 o -21
0.00/0.04 c BCD2: updating upper bound: 100 -> 78
0.00/0.04 c BCD2: 0 <= obj <= 78
0.00/0.04 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 872 0 | 629 | 1258
0.00/0.04 c 0.0s | 0 | 1 | 0 | 872 0 | 629 | 1258
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 1
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -99
0.00/0.04 c BCD2: 1 <= obj <= 78
0.00/0.04 c BCD2: #cores=1, #unrelaxed=98, #relaxed=2, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 872 0 | 629 | 1259
0.00/0.04 c 0.0s | 0 | 3 | 0 | 872 0 | 629 | 1259
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 3
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -98
0.00/0.04 c BCD2: 2 <= obj <= 78
0.00/0.04 c BCD2: #cores=2, #unrelaxed=96, #relaxed=4, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 872 0 | 629 | 1260
0.00/0.04 c 0.0s | 0 | 4 | 0 | 872 0 | 629 | 1260
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 4
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -97
0.00/0.04 c BCD2: 3 <= obj <= 78
0.00/0.04 c BCD2: #cores=3, #unrelaxed=94, #relaxed=6, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 872 0 | 629 | 1261
0.00/0.04 c 0.0s | 0 | 4 | 0 | 872 0 | 629 | 1261
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 4
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.04 c lower bound updated to -96
0.00/0.04 c BCD2: 4 <= obj <= 78
0.00/0.04 c BCD2: #cores=3, #unrelaxed=92, #relaxed=8, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 872 0 | 630 | 1261
0.00/0.04 c 0.0s | 0 | 4 | 0 | 872 0 | 630 | 1262
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 4
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.04 c lower bound updated to -95
0.00/0.04 c BCD2: 5 <= obj <= 78
0.00/0.04 c BCD2: #cores=3, #unrelaxed=90, #relaxed=10, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 872 0 | 631 | 1262
0.00/0.04 c 0.0s | 0 | 5 | 0 | 872 0 | 631 | 1263
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 5
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -94
0.00/0.04 c BCD2: 6 <= obj <= 78
0.00/0.04 c BCD2: #cores=4, #unrelaxed=88, #relaxed=12, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 872 0 | 631 | 1264
0.00/0.04 c 0.0s | 0 | 7 | 1 | 872 0 | 631 | 1264
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 7
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 5: cost of the new core is >=3
0.00/0.04 c lower bound updated to -93
0.00/0.04 c BCD2: 7 <= obj <= 78
0.00/0.04 c BCD2: #cores=3, #unrelaxed=87, #relaxed=13, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 872 0 | 633 | 1264
0.00/0.04 c 0.0s | 0 | 6 | 0 | 872 0 | 633 | 1266
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 6
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -92
0.00/0.04 c BCD2: 8 <= obj <= 78
0.00/0.04 c BCD2: #cores=4, #unrelaxed=85, #relaxed=15, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 872 0 | 633 | 1267
0.00/0.05 c 0.0s | 0 | 7 | 0 | 872 0 | 633 | 1267
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 7
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 4 and merging with 3 cores into a new core of size 14: cost of the new core is >=6
0.00/0.05 c lower bound updated to -91
0.00/0.05 c BCD2: 9 <= obj <= 78
0.00/0.05 c BCD2: #cores=2, #unrelaxed=81, #relaxed=19, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 872 0 | 636 | 1267
0.00/0.05 c 0.0s | 0 | 4 | 0 | 872 0 | 636 | 1270
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 4
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -90
0.00/0.05 c BCD2: 10 <= obj <= 78
0.00/0.05 c BCD2: #cores=3, #unrelaxed=79, #relaxed=21, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 872 0 | 636 | 1271
0.00/0.05 c 0.0s | 0 | 6 | 0 | 872 0 | 636 | 1271
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 6
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -89
0.00/0.05 c BCD2: 11 <= obj <= 78
0.00/0.05 c BCD2: #cores=4, #unrelaxed=77, #relaxed=23, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 872 0 | 636 | 1272
0.00/0.05 c 0.0s | 0 | 10 | 0 | 872 0 | 636 | 1272
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 10
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.05 c lower bound updated to -88
0.00/0.05 c BCD2: 12 <= obj <= 78
0.00/0.05 c BCD2: #cores=4, #unrelaxed=75, #relaxed=25, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 872 0 | 637 | 1272
0.00/0.05 c 0.0s | 0 | 10 | 0 | 872 0 | 637 | 1273
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 10
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -87
0.00/0.05 c BCD2: 13 <= obj <= 78
0.00/0.05 c BCD2: #cores=5, #unrelaxed=73, #relaxed=27, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 872 0 | 637 | 1274
0.00/0.05 c 0.0s | 0 | 11 | 1 | 872 0 | 637 | 1274
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 11
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 20: cost of the new core is >=7
0.00/0.05 c lower bound updated to -86
0.00/0.05 c BCD2: 14 <= obj <= 78
0.00/0.05 c BCD2: #cores=5, #unrelaxed=67, #relaxed=33, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 872 0 | 638 | 1274
0.00/0.05 c 0.0s | 0 | 7 | 1 | 872 0 | 638 | 1275
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 7
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 6: cost of the new core is >=3
0.00/0.05 c lower bound updated to -85
0.00/0.05 c BCD2: 15 <= obj <= 78
0.00/0.05 c BCD2: #cores=5, #unrelaxed=65, #relaxed=35, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 872 0 | 639 | 1275
0.00/0.05 c 0.0s | 0 | 7 | 0 | 872 0 | 639 | 1276
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 7
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.05 c lower bound updated to -84
0.00/0.05 c BCD2: 16 <= obj <= 78
0.00/0.05 c BCD2: #cores=5, #unrelaxed=63, #relaxed=37, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 872 0 | 640 | 1276
0.00/0.05 c 0.0s | 0 | 7 | 0 | 872 0 | 640 | 1277
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 7
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -83
0.00/0.05 c BCD2: 17 <= obj <= 78
0.00/0.05 c BCD2: #cores=6, #unrelaxed=61, #relaxed=39, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 872 0 | 640 | 1278
0.00/0.05 c 0.0s | 0 | 12 | 3 | 872 0 | 640 | 1278
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 12
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 3
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 0 and merging with 4 cores into a new core of size 13: cost of the new core is >=8
0.00/0.06 c lower bound updated to -82
0.00/0.06 c BCD2: 18 <= obj <= 78
0.00/0.06 c BCD2: #cores=3, #unrelaxed=61, #relaxed=39, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=19 bias=19/20
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 872 0 | 644 | 1278
0.00/0.06 c 0.0s | 0 | 7 | 0 | 872 0 | 644 | 1282
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 7
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -81
0.00/0.06 c BCD2: 19 <= obj <= 78
0.00/0.06 c BCD2: #cores=4, #unrelaxed=59, #relaxed=41, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 872 0 | 644 | 1283
0.00/0.06 c 0.0s | 0 | 8 | 0 | 872 0 | 644 | 1283
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 8
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.06 c lower bound updated to -80
0.00/0.06 c BCD2: 20 <= obj <= 78
0.00/0.06 c BCD2: #cores=4, #unrelaxed=57, #relaxed=43, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 872 0 | 645 | 1283
0.00/0.06 c 0.0s | 0 | 8 | 0 | 872 0 | 645 | 1284
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 8
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -79
0.00/0.06 c BCD2: 21 <= obj <= 78
0.00/0.06 c BCD2: #cores=5, #unrelaxed=55, #relaxed=45, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=22 bias=22/23
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 872 0 | 645 | 1285
0.00/0.06 c 0.0s | 0 | 8 | 0 | 872 0 | 645 | 1285
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 8
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -78
0.00/0.06 c BCD2: 22 <= obj <= 78
0.00/0.06 c BCD2: #cores=6, #unrelaxed=53, #relaxed=47, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=23 bias=23/24
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 872 0 | 645 | 1286
0.00/0.06 c 0.0s | 0 | 8 | 0 | 872 0 | 645 | 1286
0.00/0.06 c #cpu_time = 0.000s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 8
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -77
0.00/0.06 c BCD2: 23 <= obj <= 78
0.00/0.06 c BCD2: #cores=7, #unrelaxed=51, #relaxed=49, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=24 bias=24/25
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 872 0 | 645 | 1287
0.00/0.06 c 0.0s | 0 | 8 | 0 | 872 0 | 645 | 1287
0.00/0.06 c #cpu_time = 0.000s
0.00/0.06 c #wall_clock_time = 0.000s
0.00/0.06 c #decision = 8
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -76
0.00/0.06 c BCD2: 24 <= obj <= 78
0.00/0.06 c BCD2: #cores=8, #unrelaxed=49, #relaxed=51, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=25 bias=25/26
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 872 0 | 645 | 1288
0.00/0.06 c 0.0s | 0 | 9 | 0 | 872 0 | 645 | 1288
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 9
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.06 c lower bound updated to -75
0.00/0.06 c BCD2: 25 <= obj <= 78
0.00/0.06 c BCD2: #cores=8, #unrelaxed=47, #relaxed=53, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=26 bias=26/27
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 872 0 | 646 | 1288
0.00/0.06 c 0.0s | 0 | 10 | 1 | 872 0 | 646 | 1289
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 10
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 5: cost of the new core is >=3
0.00/0.06 c lower bound updated to -74
0.00/0.06 c BCD2: 26 <= obj <= 78
0.00/0.06 c BCD2: #cores=7, #unrelaxed=46, #relaxed=54, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=27 bias=27/28
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 872 0 | 648 | 1289
0.00/0.06 c 0.0s | 0 | 12 | 0 | 872 0 | 648 | 1291
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 12
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -73
0.00/0.06 c BCD2: 27 <= obj <= 78
0.00/0.06 c BCD2: #cores=8, #unrelaxed=44, #relaxed=56, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=28 bias=28/29
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 872 0 | 648 | 1292
0.00/0.07 c 0.0s | 0 | 12 | 0 | 872 0 | 648 | 1292
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 12
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -72
0.00/0.07 c BCD2: 28 <= obj <= 78
0.00/0.07 c BCD2: #cores=9, #unrelaxed=42, #relaxed=58, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 872 0 | 648 | 1293
0.00/0.07 c 0.0s | 0 | 12 | 0 | 872 0 | 648 | 1293
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 12
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -71
0.00/0.07 c BCD2: 29 <= obj <= 78
0.00/0.07 c BCD2: #cores=10, #unrelaxed=40, #relaxed=60, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=30 bias=30/31
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 872 0 | 648 | 1294
0.00/0.07 c 0.0s | 0 | 12 | 0 | 872 0 | 648 | 1294
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 12
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -70
0.00/0.07 c BCD2: 30 <= obj <= 78
0.00/0.07 c BCD2: #cores=11, #unrelaxed=38, #relaxed=62, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=31 bias=31/32
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 872 0 | 648 | 1295
0.00/0.07 c 0.0s | 0 | 13 | 1 | 872 0 | 648 | 1295
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 13
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 1
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 2 and merging with 10 cores into a new core of size 59: cost of the new core is >=28
0.00/0.07 c lower bound updated to -69
0.00/0.07 c BCD2: 31 <= obj <= 78
0.00/0.07 c BCD2: #cores=2, #unrelaxed=36, #relaxed=64, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=32 bias=32/33
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 872 0 | 658 | 1295
0.00/0.07 c 0.0s | 0 | 6 | 0 | 872 0 | 658 | 1305
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 6
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -68
0.00/0.07 c BCD2: 32 <= obj <= 78
0.00/0.07 c BCD2: #cores=3, #unrelaxed=34, #relaxed=66, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=33 bias=33/34
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 872 0 | 658 | 1306
0.00/0.07 c 0.0s | 0 | 9 | 0 | 872 0 | 658 | 1306
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 9
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -67
0.00/0.07 c BCD2: 33 <= obj <= 78
0.00/0.07 c BCD2: #cores=4, #unrelaxed=32, #relaxed=68, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=34 bias=34/35
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 872 0 | 658 | 1307
0.00/0.07 c 0.0s | 0 | 10 | 0 | 872 0 | 658 | 1307
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 10
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.07 c lower bound updated to -66
0.00/0.07 c BCD2: 34 <= obj <= 78
0.00/0.07 c BCD2: #cores=4, #unrelaxed=30, #relaxed=70, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=35 bias=35/36
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 872 0 | 659 | 1307
0.00/0.07 c 0.0s | 0 | 11 | 0 | 872 0 | 659 | 1308
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 11
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 7: cost of the new core is >=3
0.00/0.07 c lower bound updated to -65
0.00/0.07 c BCD2: 35 <= obj <= 78
0.00/0.07 c BCD2: #cores=4, #unrelaxed=27, #relaxed=73, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=36 bias=36/37
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 872 0 | 660 | 1308
0.00/0.07 c 0.0s | 0 | 9 | 0 | 872 0 | 660 | 1309
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 9
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -64
0.00/0.07 c BCD2: 36 <= obj <= 78
0.00/0.07 c BCD2: #cores=5, #unrelaxed=25, #relaxed=75, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=37 bias=37/38
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 872 0 | 660 | 1310
0.00/0.08 c 0.0s | 0 | 9 | 0 | 872 0 | 660 | 1310
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 9
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -63
0.00/0.08 c BCD2: 37 <= obj <= 78
0.00/0.08 c BCD2: #cores=6, #unrelaxed=23, #relaxed=77, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=38 bias=38/39
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 872 0 | 660 | 1311
0.00/0.08 c 0.0s | 0 | 9 | 0 | 872 0 | 660 | 1311
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 9
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -62
0.00/0.08 c BCD2: 38 <= obj <= 78
0.00/0.08 c BCD2: #cores=7, #unrelaxed=21, #relaxed=79, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=39 bias=39/40
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 872 0 | 660 | 1312
0.00/0.08 c 0.0s | 0 | 9 | 0 | 872 0 | 660 | 1312
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 9
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -61
0.00/0.08 c BCD2: 39 <= obj <= 78
0.00/0.08 c BCD2: #cores=8, #unrelaxed=19, #relaxed=81, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=40 bias=40/41
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 872 0 | 660 | 1313
0.00/0.08 c 0.0s | 0 | 13 | 1 | 872 0 | 660 | 1313
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 13
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 5 and merging with 6 cores into a new core of size 74: cost of the new core is >=34
0.00/0.08 c lower bound updated to -60
0.00/0.08 c BCD2: 40 <= obj <= 78
0.00/0.08 c BCD2: #cores=3, #unrelaxed=14, #relaxed=86, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=41 bias=41/42
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 872 0 | 666 | 1313
0.00/0.08 c 0.0s | 0 | 10 | 0 | 872 0 | 666 | 1319
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 10
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -59
0.00/0.08 c BCD2: 41 <= obj <= 78
0.00/0.08 c BCD2: #cores=4, #unrelaxed=12, #relaxed=88, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=42 bias=42/43
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 872 0 | 666 | 1320
0.00/0.08 c 0.0s | 0 | 11 | 0 | 872 0 | 666 | 1320
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 11
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=4
0.00/0.08 c lower bound updated to -58
0.00/0.08 c BCD2: 42 <= obj <= 78
0.00/0.08 c BCD2: #cores=4, #unrelaxed=8, #relaxed=92, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=43 bias=43/44
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 872 0 | 667 | 1320
0.00/0.08 c 0.0s | 0 | 8 | 0 | 872 0 | 667 | 1321
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 8
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -57
0.00/0.08 c BCD2: 43 <= obj <= 78
0.00/0.08 c BCD2: #cores=5, #unrelaxed=6, #relaxed=94, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=44 bias=44/45
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 872 0 | 667 | 1322
0.00/0.08 c 0.0s | 0 | 8 | 0 | 872 0 | 667 | 1322
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 8
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -56
0.00/0.08 c BCD2: 44 <= obj <= 78
0.00/0.08 c BCD2: #cores=6, #unrelaxed=4, #relaxed=96, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=45 bias=45/46
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 872 0 | 667 | 1323
0.00/0.09 c 0.0s | 0 | 38 | 4 | 872 0 | 667 | 1323
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 38
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 4
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 10: cost of the new core is >=5
0.00/0.09 c lower bound updated to -55
0.00/0.09 c BCD2: 45 <= obj <= 78
0.00/0.09 c BCD2: #cores=6, #unrelaxed=3, #relaxed=97, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=46 bias=46/47
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 872 0 | 668 | 1323
0.09/0.11 c 0.0s | 1 | 152 | 100 | 960 0 | 668 | 1324
0.09/0.12 c 0.0s | 1 | 260 | 139 | 960 0 | 668 | 1324
0.09/0.12 c #cpu_time = 0.031s
0.09/0.12 c #wall_clock_time = 0.031s
0.09/0.12 c #decision = 260
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 139
0.09/0.12 c #restart = 1
0.09/0.12 o -23
0.09/0.12 c BCD2: updating upper bound: 78 -> 76
0.09/0.12 c BCD2: 45 <= obj <= 76
0.09/0.12 c BCD2: #cores=6, #unrelaxed=3, #relaxed=97, #hardened=0
0.09/0.12 c BCD2: #sat=2 #unsat=46 bias=46/48
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 960 0 | 668 | 1325
0.09/0.12 c 0.0s | 0 | 9 | 1 | 960 0 | 668 | 1325
0.09/0.12 c #cpu_time = 0.002s
0.09/0.12 c #wall_clock_time = 0.002s
0.09/0.12 c #decision = 9
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 1
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 3 and merging with 3 cores into a new core of size 22: cost of the new core is >=10
0.09/0.12 c lower bound updated to -54
0.09/0.12 c BCD2: 46 <= obj <= 76
0.09/0.12 c BCD2: #cores=4, #unrelaxed=0, #relaxed=100, #hardened=0
0.09/0.12 c BCD2: #sat=2 #unsat=47 bias=47/49
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 960 0 | 672 | 1325
0.09/0.14 c 0.0s | 1 | 168 | 100 | 1056 0 | 672 | 1330
0.09/0.17 c 0.1s | 2 | 375 | 250 | 1056 0 | 672 | 1330
0.18/0.23 c 0.1s | 3 | 675 | 475 | 1162 0 | 672 | 1330
0.29/0.33 c 0.2s | 4 | 1108 | 813 | 1279 0 | 672 | 1330
0.38/0.40 c 0.3s | 4 | 1455 | 1085 | 1279 0 | 672 | 1330
0.38/0.40 c #cpu_time = 0.276s
0.38/0.40 c #wall_clock_time = 0.276s
0.38/0.40 c #decision = 1455
0.38/0.40 c #random_decision = 3
0.38/0.40 c #conflict = 1085
0.38/0.40 c #restart = 4
0.38/0.40 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 24: cost of the new core is >=12
0.38/0.40 c lower bound updated to -53
0.38/0.40 c BCD2: 47 <= obj <= 76
0.38/0.40 c BCD2: #cores=3, #unrelaxed=0, #relaxed=100, #hardened=0
0.38/0.40 c BCD2: #sat=2 #unsat=48 bias=48/50
0.38/0.40 c Solving starts ...
0.38/0.40 c ============================[ Search Statistics ]============================
0.38/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.38/0.40 c | | | | Limit GC | Var | Constra
0.38/0.40 c =============================================================================
0.38/0.40 c 0.0s | 0 | 0 | 0 | 1279 0 | 674 | 1330
0.38/0.43 c 0.0s | 1 | 116 | 100 | 1407 0 | 674 | 1332
0.38/0.47 c 0.1s | 2 | 544 | 250 | 1407 0 | 674 | 1332
0.38/0.48 c 0.1s | 2 | 573 | 277 | 1407 0 | 674 | 1332
0.38/0.48 c #cpu_time = 0.085s
0.38/0.48 c #wall_clock_time = 0.086s
0.38/0.48 c #decision = 573
0.38/0.48 c #random_decision = 2
0.38/0.48 c #conflict = 277
0.38/0.48 c #restart = 2
0.38/0.48 c BCD2: relaxing 0 and merging with 3 cores into a new core of size 100: cost of the new core is >=48
0.38/0.48 c lower bound updated to -52
0.38/0.48 c BCD2: 48 <= obj <= 76
0.38/0.48 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0
0.38/0.48 c BCD2: #sat=2 #unsat=49 bias=49/51
0.38/0.48 c Solving starts ...
0.38/0.48 c ============================[ Search Statistics ]============================
0.38/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.38/0.48 c | | | | Limit GC | Var | Constra
0.38/0.48 c =============================================================================
0.38/0.48 c 0.0s | 0 | 0 | 0 | 1407 0 | 678 | 1332
0.49/0.52 c 0.0s | 1 | 123 | 100 | 1407 0 | 678 | 1337
0.49/0.56 c 0.1s | 2 | 343 | 250 | 1407 0 | 678 | 1337
0.59/0.61 c 0.1s | 3 | 640 | 475 | 1407 0 | 678 | 1337
0.68/0.71 c 0.2s | 4 | 1051 | 813 | 1548 0 | 678 | 1337
0.90/0.94 c 0.4s | 5 | 1627 | 1320 | 1548 0 | 678 | 1337
0.98/1.07 c 0.6s | 6 | 2456 | 2081 | 1703 0 | 678 | 1337
1.29/1.32 c 0.8s | 7 | 3671 | 3223 | 1703 1 | 678 | 1337
1.68/1.76 c 1.3s | 8 | 5492 | 4936 | 1874 2 | 678 | 1337
2.29/2.38 c 1.9s | 9 | 8193 | 7506 | 2062 4 | 678 | 1337
3.29/3.32 c 2.8s | 10 | 12218 | 11361 | 2269 7 | 678 | 1337
4.69/4.79 c 4.3s | 11 | 18203 | 17144 | 2496 10 | 678 | 1337
6.80/6.81 c 6.3s | 11 | 26086 | 24844 | 2746 15 | 678 | 1337
6.99/7.06 c 6.6s | 12 | 27073 | 25819 | 2746 15 | 678 | 1337
8.99/9.07 c 8.6s | 12 | 34740 | 33219 | 2746 20 | 678 | 1337
10.49/10.54 c 10.1s | 13 | 40441 | 38832 | 3021 23 | 678 | 1337
12.49/12.54 c 12.1s | 13 | 47920 | 46132 | 3021 27 | 678 | 1337
14.49/14.54 c 14.1s | 13 | 55180 | 53232 | 3021 30 | 678 | 1337
15.88/15.99 c 15.5s | 14 | 60358 | 58352 | 3324 33 | 678 | 1337
17.98/18.01 c 17.5s | 14 | 67661 | 65452 | 3324 36 | 678 | 1337
19.99/20.02 c 19.5s | 14 | 74793 | 72452 | 3324 40 | 678 | 1337
21.98/22.03 c 21.5s | 14 | 81807 | 79352 | 3324 43 | 678 | 1337
23.98/24.07 c 23.6s | 14 | 88914 | 86352 | 3657 46 | 678 | 1337
24.39/24.43 c 23.9s | 15 | 90215 | 87632 | 3657 47 | 678 | 1337
26.38/26.43 c 26.0s | 15 | 96532 | 93832 | 3657 50 | 678 | 1337
28.38/28.45 c 28.0s | 15 | 103746 | 100832 | 3657 53 | 678 | 1337
30.38/30.48 c 30.0s | 15 | 110466 | 107432 | 3657 56 | 678 | 1337
32.48/32.50 c 32.0s | 15 | 117382 | 114232 | 3657 59 | 678 | 1337
34.48/34.52 c 34.0s | 15 | 124051 | 120732 | 3657 62 | 678 | 1337
36.48/36.54 c 36.1s | 15 | 130988 | 127532 | 3657 65 | 678 | 1337
37.68/37.75 c 37.3s | 16 | 135096 | 131552 | 4023 67 | 678 | 1337
39.68/39.75 c 39.3s | 16 | 141682 | 137952 | 4023 69 | 678 | 1337
41.67/41.77 c 41.3s | 16 | 148464 | 144552 | 4023 72 | 678 | 1337
43.67/43.77 c 43.3s | 16 | 154994 | 150952 | 4023 75 | 678 | 1337
45.67/45.78 c 45.3s | 16 | 161789 | 157552 | 4023 78 | 678 | 1337
47.67/47.79 c 47.3s | 16 | 168750 | 164252 | 4023 81 | 678 | 1337
49.77/49.81 c 49.3s | 16 | 175312 | 170652 | 4023 83 | 678 | 1337
51.78/51.82 c 51.3s | 16 | 181991 | 177152 | 4023 86 | 678 | 1337
53.78/53.84 c 53.4s | 16 | 188725 | 183752 | 4023 89 | 678 | 1337
55.78/55.84 c 55.4s | 16 | 195267 | 190052 | 4023 91 | 678 | 1337
57.78/57.84 c 57.4s | 16 | 202245 | 196852 | 4426 94 | 678 | 1337
57.98/58.07 c 57.6s | 17 | 202850 | 197432 | 4426 94 | 678 | 1337
60.08/60.10 c 59.6s | 17 | 209252 | 203632 | 4426 97 | 678 | 1337
62.07/62.12 c 61.6s | 17 | 215539 | 209732 | 4426 99 | 678 | 1337
64.08/64.14 c 63.7s | 17 | 221795 | 215832 | 4426 101 | 678 | 1337
66.08/66.15 c 65.7s | 17 | 227819 | 221732 | 4426 104 | 678 | 1337
68.07/68.15 c 67.7s | 17 | 234280 | 228032 | 4426 106 | 678 | 1337
70.07/70.18 c 69.7s | 17 | 240832 | 234332 | 4426 108 | 678 | 1337
72.17/72.20 c 71.7s | 17 | 246859 | 240232 | 4426 111 | 678 | 1337
74.17/74.21 c 73.7s | 17 | 253055 | 246332 | 4426 113 | 678 | 1337
76.18/76.21 c 75.7s | 17 | 259265 | 252432 | 4426 115 | 678 | 1337
78.18/78.21 c 77.7s | 17 | 265716 | 258732 | 4426 118 | 678 | 1337
80.17/80.23 c 79.7s | 17 | 271663 | 264532 | 4426 120 | 678 | 1337
82.27/82.31 c 81.8s | 17 | 278429 | 271132 | 4426 123 | 678 | 1337
84.27/84.32 c 83.8s | 17 | 284652 | 277232 | 4426 125 | 678 | 1337
86.27/86.32 c 85.8s | 17 | 291224 | 283632 | 4426 127 | 678 | 1337
88.27/88.34 c 87.9s | 17 | 297598 | 289832 | 4426 130 | 678 | 1337
90.28/90.37 c 89.9s | 17 | 303613 | 295732 | 4869 132 | 678 | 1337
90.47/90.53 c 90.0s | 18 | 304156 | 296252 | 4869 132 | 678 | 1337
92.48/92.55 c 92.1s | 18 | 310287 | 302252 | 4869 134 | 678 | 1337
94.47/94.58 c 94.1s | 18 | 316584 | 308452 | 4869 136 | 678 | 1337
96.57/96.60 c 96.1s | 18 | 322404 | 314152 | 4869 139 | 678 | 1337
98.57/98.62 c 98.1s | 18 | 328423 | 320052 | 4869 141 | 678 | 1337
100.57/100.64 c 100s | 18 | 334941 | 326452 | 4869 143 | 678 | 1337
102.57/102.66 c 102s | 18 | 340693 | 332052 | 4869 145 | 678 | 1337
104.57/104.67 c 104s | 18 | 347023 | 338252 | 4869 147 | 678 | 1337
106.56/106.69 c 106s | 18 | 352745 | 343852 | 4869 149 | 678 | 1337
108.66/108.74 c 108s | 18 | 358923 | 349952 | 4869 151 | 678 | 1337
110.67/110.77 c 110s | 18 | 365046 | 355952 | 4869 153 | 678 | 1337
112.67/112.79 c 112s | 18 | 371827 | 362552 | 4869 156 | 678 | 1337
114.77/114.82 c 114s | 18 | 377195 | 367752 | 4869 158 | 678 | 1337
116.87/116.90 c 116s | 18 | 383238 | 373652 | 4869 160 | 678 | 1337
118.87/118.93 c 118s | 18 | 390049 | 380252 | 4869 162 | 678 | 1337
120.87/120.95 c 120s | 18 | 396069 | 386052 | 4869 164 | 678 | 1337
122.87/122.95 c 122s | 18 | 402498 | 392352 | 4869 166 | 678 | 1337
124.87/124.98 c 124s | 18 | 408738 | 398452 | 4869 169 | 678 | 1337
126.97/127.01 c 126s | 18 | 414514 | 404052 | 4869 171 | 678 | 1337
128.96/129.08 c 128s | 18 | 420077 | 409452 | 4869 172 | 678 | 1337
130.97/131.08 c 130s | 18 | 426069 | 415252 | 4869 175 | 678 | 1337
133.06/133.11 c 132s | 18 | 432377 | 421352 | 4869 177 | 678 | 1337
135.06/135.12 c 134s | 18 | 438325 | 427052 | 4869 179 | 678 | 1337
137.06/137.14 c 136s | 18 | 444390 | 432952 | 4869 181 | 678 | 1337
139.06/139.14 c 138s | 18 | 450187 | 438652 | 4869 183 | 678 | 1337
141.06/141.15 c 140s | 18 | 455909 | 444252 | 5356 185 | 678 | 1337
141.16/141.22 c 140s | 19 | 456140 | 444482 | 5356 185 | 678 | 1337
143.26/143.32 c 142s | 19 | 462255 | 450382 | 5356 187 | 678 | 1337
145.26/145.38 c 144s | 19 | 468266 | 456282 | 5356 189 | 678 | 1337
147.26/147.39 c 146s | 19 | 474575 | 462482 | 5356 191 | 678 | 1337
149.37/149.41 c 148s | 19 | 480298 | 468082 | 5356 192 | 678 | 1337
151.37/151.47 c 150s | 19 | 486089 | 473682 | 5356 194 | 678 | 1337
153.37/153.48 c 152s | 19 | 491971 | 479482 | 5356 196 | 678 | 1337
155.47/155.56 c 155s | 19 | 497664 | 485082 | 5356 198 | 678 | 1337
157.47/157.58 c 157s | 19 | 503753 | 490982 | 5356 200 | 678 | 1337
159.57/159.61 c 159s | 19 | 508856 | 495982 | 5356 202 | 678 | 1337
161.56/161.63 c 161s | 19 | 514409 | 501382 | 5356 203 | 678 | 1337
163.56/163.65 c 163s | 19 | 519965 | 506882 | 5356 205 | 678 | 1337
165.56/165.68 c 165s | 19 | 525975 | 512782 | 5356 207 | 678 | 1337
167.66/167.70 c 167s | 19 | 531571 | 518282 | 5356 209 | 678 | 1337
169.66/169.73 c 169s | 19 | 537383 | 523982 | 5356 211 | 678 | 1337
171.66/171.75 c 171s | 19 | 543051 | 529482 | 5356 212 | 678 | 1337
173.66/173.78 c 173s | 19 | 549000 | 535282 | 5356 214 | 678 | 1337
175.76/175.81 c 175s | 19 | 555141 | 541282 | 5356 216 | 678 | 1337
177.75/177.81 c 177s | 19 | 560621 | 546582 | 5356 218 | 678 | 1337
179.75/179.82 c 179s | 19 | 566758 | 552582 | 5356 220 | 678 | 1337
181.75/181.82 c 181s | 19 | 571686 | 557382 | 5356 222 | 678 | 1337
183.76/183.84 c 183s | 19 | 577620 | 563182 | 5356 224 | 678 | 1337
185.86/185.94 c 185s | 19 | 583853 | 569282 | 5356 226 | 678 | 1337
187.86/187.97 c 187s | 19 | 589772 | 575082 | 5356 227 | 678 | 1337
189.96/190.00 c 189s | 19 | 595484 | 580682 | 5356 229 | 678 | 1337
191.96/192.04 c 191s | 19 | 601501 | 586582 | 5356 231 | 678 | 1337
193.96/194.07 c 193s | 19 | 606972 | 591982 | 5356 233 | 678 | 1337
195.96/196.08 c 195s | 19 | 612694 | 597582 | 5356 235 | 678 | 1337
197.96/198.08 c 197s | 19 | 618855 | 603582 | 5356 237 | 678 | 1337
200.06/200.18 c 199s | 19 | 625190 | 609682 | 5356 239 | 678 | 1337
202.16/202.21 c 201s | 19 | 631149 | 615482 | 5356 241 | 678 | 1337
204.15/204.23 c 203s | 19 | 637368 | 621482 | 5356 243 | 678 | 1337
206.15/206.25 c 205s | 19 | 643081 | 626982 | 5356 244 | 678 | 1337
208.15/208.26 c 207s | 19 | 648913 | 632682 | 5356 246 | 678 | 1337
210.16/210.29 c 209s | 19 | 654826 | 638482 | 5356 248 | 678 | 1337
212.25/212.30 c 211s | 19 | 659990 | 643582 | 5356 250 | 678 | 1337
214.25/214.31 c 213s | 19 | 665696 | 649182 | 5356 252 | 678 | 1337
216.25/216.33 c 215s | 19 | 671478 | 654882 | 5356 254 | 678 | 1337
218.26/218.35 c 217s | 19 | 677380 | 660682 | 5892 255 | 678 | 1337
220.26/220.37 c 219s | 19 | 682543 | 665782 | 5892 257 | 678 | 1337
220.56/220.69 c 220s | 20 | 683611 | 666827 | 5892 257 | 678 | 1337
222.56/222.69 c 222s | 20 | 689045 | 672127 | 5892 259 | 678 | 1337
224.65/224.71 c 224s | 20 | 694788 | 677727 | 5892 260 | 678 | 1337
226.66/226.74 c 226s | 20 | 700517 | 683327 | 5892 262 | 678 | 1337
228.65/228.77 c 228s | 20 | 706138 | 688827 | 5892 264 | 678 | 1337
230.65/230.78 c 230s | 20 | 711703 | 694227 | 5892 265 | 678 | 1337
232.75/232.81 c 232s | 20 | 717147 | 699527 | 5892 267 | 678 | 1337
234.75/234.82 c 234s | 20 | 723118 | 705327 | 5892 269 | 678 | 1337
236.75/236.84 c 236s | 20 | 728173 | 710227 | 5892 270 | 678 | 1337
238.75/238.86 c 238s | 20 | 734025 | 716027 | 5892 272 | 678 | 1337
240.85/240.92 c 240s | 20 | 739316 | 721227 | 5892 274 | 678 | 1337
242.84/242.95 c 242s | 20 | 744872 | 726627 | 5892 275 | 678 | 1337
244.84/244.97 c 244s | 20 | 750566 | 732227 | 5892 277 | 678 | 1337
247.04/247.16 c 246s | 20 | 755619 | 737127 | 5892 278 | 678 | 1337
249.04/249.17 c 248s | 20 | 761424 | 742827 | 5892 280 | 678 | 1337
251.04/251.19 c 250s | 20 | 766755 | 748027 | 5892 282 | 678 | 1337
253.05/253.20 c 252s | 20 | 772776 | 753927 | 5892 283 | 678 | 1337
255.14/255.22 c 254s | 20 | 777727 | 758727 | 5892 285 | 678 | 1337
257.14/257.24 c 256s | 20 | 783331 | 764227 | 5892 286 | 678 | 1337
259.14/259.25 c 258s | 20 | 788994 | 769727 | 5892 288 | 678 | 1337
261.14/261.25 c 260s | 20 | 794264 | 774827 | 5892 290 | 678 | 1337
263.14/263.27 c 262s | 20 | 800347 | 780627 | 5892 291 | 678 | 1337
265.15/265.28 c 264s | 20 | 805725 | 785727 | 5892 293 | 678 | 1337
267.25/267.30 c 266s | 20 | 810829 | 790727 | 5892 294 | 678 | 1337
269.25/269.34 c 268s | 20 | 816819 | 796627 | 5892 296 | 678 | 1337
271.25/271.36 c 270s | 20 | 822210 | 801827 | 5892 298 | 678 | 1337
273.25/273.37 c 272s | 20 | 827710 | 807127 | 5892 299 | 678 | 1337
275.25/275.37 c 274s | 20 | 833421 | 812727 | 5892 301 | 678 | 1337
277.25/277.38 c 276s | 20 | 838072 | 817327 | 5892 302 | 678 | 1337
279.34/279.41 c 278s | 20 | 843556 | 822727 | 5892 304 | 678 | 1337
281.34/281.43 c 280s | 20 | 848978 | 828027 | 5892 306 | 678 | 1337
283.34/283.46 c 282s | 20 | 854517 | 833427 | 5892 307 | 678 | 1337
285.34/285.47 c 284s | 20 | 859788 | 838627 | 5892 309 | 678 | 1337
287.44/287.51 c 287s | 20 | 865283 | 844027 | 5892 311 | 678 | 1337
289.45/289.52 c 289s | 20 | 870045 | 848727 | 5892 312 | 678 | 1337
291.44/291.55 c 291s | 20 | 875488 | 854027 | 5892 314 | 678 | 1337
293.44/293.57 c 293s | 20 | 881013 | 859427 | 5892 315 | 678 | 1337
295.44/295.58 c 295s | 20 | 886533 | 864827 | 5892 317 | 678 | 1337
297.54/297.61 c 297s | 20 | 891825 | 870027 | 5892 318 | 678 | 1337
299.54/299.64 c 299s | 20 | 897050 | 875127 | 5892 320 | 678 | 1337
301.54/301.69 c 301s | 20 | 902601 | 880527 | 5892 322 | 678 | 1337
303.54/303.70 c 303s | 20 | 908370 | 886127 | 5892 323 | 678 | 1337
305.64/305.72 c 305s | 20 | 913564 | 891227 | 5892 325 | 678 | 1337
307.64/307.77 c 307s | 20 | 919077 | 896627 | 5892 326 | 678 | 1337
309.63/309.77 c 309s | 20 | 925094 | 902527 | 5892 328 | 678 | 1337
311.83/311.98 c 311s | 20 | 930619 | 907827 | 5892 330 | 678 | 1337
313.93/314.00 c 313s | 20 | 936632 | 913727 | 5892 331 | 678 | 1337
315.94/316.03 c 315s | 20 | 942591 | 919527 | 5892 333 | 678 | 1337
317.95/318.05 c 317s | 20 | 947325 | 924127 | 5892 335 | 678 | 1337
319.94/320.09 c 319s | 20 | 952894 | 929527 | 5892 336 | 678 | 1337
322.04/322.10 c 321s | 20 | 958704 | 935227 | 5892 338 | 678 | 1337
324.04/324.13 c 323s | 20 | 963721 | 940127 | 5892 339 | 678 | 1337
326.04/326.15 c 325s | 20 | 969554 | 945827 | 5892 341 | 678 | 1337
328.04/328.17 c 327s | 20 | 974339 | 950527 | 5892 343 | 678 | 1337
330.04/330.19 c 329s | 20 | 980240 | 956327 | 5892 344 | 678 | 1337
332.14/332.21 c 331s | 20 | 985476 | 961427 | 5892 346 | 678 | 1337
334.14/334.21 c 333s | 20 | 990474 | 966327 | 5892 347 | 678 | 1337
336.33/336.45 c 335s | 20 | 996092 | 971827 | 5892 349 | 678 | 1337
338.33/338.46 c 337s | 20 | 1000676 | 976327 | 5892 350 | 678 | 1337
340.33/340.48 c 339s | 20 | 1007070 | 982527 | 5892 352 | 678 | 1337
342.43/342.50 c 342s | 20 | 1012658 | 988027 | 5892 354 | 678 | 1337
344.44/344.53 c 344s | 20 | 1018175 | 993427 | 6482 355 | 678 | 1337
346.43/346.56 c 346s | 20 | 1023938 | 999027 | 6482 357 | 678 | 1337
346.93/347.02 c 346s | 21 | 1025290 | 1000345 | 6482 357 | 678 | 1337
348.94/349.03 c 348s | 21 | 1029872 | 1004745 | 6482 358 | 678 | 1337
350.94/351.06 c 350s | 21 | 1035386 | 1010145 | 6482 360 | 678 | 1337
352.93/353.09 c 352s | 21 | 1040437 | 1015045 | 6482 361 | 678 | 1337
355.03/355.11 c 354s | 21 | 1045889 | 1020345 | 6482 363 | 678 | 1337
357.03/357.11 c 356s | 21 | 1050800 | 1025145 | 6482 364 | 678 | 1337
359.03/359.12 c 358s | 21 | 1055835 | 1030045 | 6482 365 | 678 | 1337
361.03/361.13 c 360s | 21 | 1061066 | 1035145 | 6482 367 | 678 | 1337
363.03/363.13 c 362s | 21 | 1066284 | 1040245 | 6482 368 | 678 | 1337
365.12/365.20 c 364s | 21 | 1071397 | 1045245 | 6482 370 | 678 | 1337
367.13/367.21 c 366s | 21 | 1077142 | 1050845 | 6482 371 | 678 | 1337
369.13/369.26 c 368s | 21 | 1082962 | 1056445 | 6482 373 | 678 | 1337
371.13/371.28 c 370s | 21 | 1088516 | 1061845 | 6482 374 | 678 | 1337
373.23/373.30 c 372s | 21 | 1093496 | 1066645 | 6482 376 | 678 | 1337
375.24/375.32 c 374s | 21 | 1098714 | 1071745 | 6482 377 | 678 | 1337
377.23/377.33 c 376s | 21 | 1104128 | 1077045 | 6482 378 | 678 | 1337
379.23/379.35 c 378s | 21 | 1109477 | 1082245 | 6482 380 | 678 | 1337
381.23/381.37 c 380s | 21 | 1114156 | 1086845 | 6482 381 | 678 | 1337
383.23/383.38 c 382s | 21 | 1119237 | 1091845 | 6482 383 | 678 | 1337
385.32/385.41 c 384s | 21 | 1124217 | 1096745 | 6482 384 | 678 | 1337
387.33/387.42 c 386s | 21 | 1129718 | 1102145 | 6482 385 | 678 | 1337
389.32/389.43 c 388s | 21 | 1135327 | 1107645 | 6482 387 | 678 | 1337
391.32/391.46 c 390s | 21 | 1140038 | 1112245 | 6482 388 | 678 | 1337
393.32/393.46 c 392s | 21 | 1145603 | 1117645 | 6482 390 | 678 | 1337
395.32/395.47 c 394s | 21 | 1150054 | 1121945 | 6482 391 | 678 | 1337
397.42/397.51 c 397s | 21 | 1155893 | 1127545 | 6482 392 | 678 | 1337
399.43/399.52 c 399s | 21 | 1160884 | 1132345 | 6482 394 | 678 | 1337
401.42/401.53 c 401s | 21 | 1165294 | 1136645 | 6482 395 | 678 | 1337
403.42/403.54 c 403s | 21 | 1170281 | 1141545 | 6482 396 | 678 | 1337
405.42/405.54 c 405s | 21 | 1175640 | 1146745 | 6482 398 | 678 | 1337
407.42/407.57 c 407s | 21 | 1180556 | 1151545 | 6482 399 | 678 | 1337
409.42/409.58 c 409s | 21 | 1186134 | 1156945 | 6482 401 | 678 | 1337
411.42/411.58 c 411s | 21 | 1191471 | 1162145 | 6482 402 | 678 | 1337
413.53/413.69 c 413s | 21 | 1197115 | 1167645 | 6482 404 | 678 | 1337
415.63/415.71 c 415s | 21 | 1202255 | 1172645 | 6482 405 | 678 | 1337
417.62/417.73 c 417s | 21 | 1206760 | 1177045 | 6482 406 | 678 | 1337
420.02/420.13 c 419s | 21 | 1211942 | 1182145 | 6482 408 | 678 | 1337
422.02/422.17 c 421s | 21 | 1218034 | 1188045 | 6482 409 | 678 | 1337
424.02/424.18 c 423s | 21 | 1223043 | 1192945 | 6482 411 | 678 | 1337
426.02/426.19 c 425s | 21 | 1227840 | 1197645 | 6482 412 | 678 | 1337
428.03/428.19 c 427s | 21 | 1233114 | 1202845 | 6482 413 | 678 | 1337
430.13/430.21 c 429s | 21 | 1238228 | 1207845 | 6482 415 | 678 | 1337
432.12/432.24 c 431s | 21 | 1243149 | 1212645 | 6482 416 | 678 | 1337
434.12/434.24 c 433s | 21 | 1248702 | 1218045 | 6482 417 | 678 | 1337
436.12/436.25 c 435s | 21 | 1253830 | 1223045 | 6482 419 | 678 | 1337
438.12/438.27 c 437s | 21 | 1258879 | 1227945 | 6482 420 | 678 | 1337
440.13/440.28 c 439s | 21 | 1263758 | 1232745 | 6482 422 | 678 | 1337
442.12/442.30 c 441s | 21 | 1269392 | 1238245 | 6482 423 | 678 | 1337
444.22/444.33 c 443s | 21 | 1274685 | 1243445 | 6482 424 | 678 | 1337
446.22/446.36 c 445s | 21 | 1279909 | 1248545 | 6482 426 | 678 | 1337
448.21/448.38 c 447s | 21 | 1285535 | 1254045 | 6482 427 | 678 | 1337
450.31/450.42 c 449s | 21 | 1290418 | 1258845 | 6482 429 | 678 | 1337
452.31/452.42 c 451s | 21 | 1295699 | 1264045 | 6482 430 | 678 | 1337
454.32/454.44 c 453s | 21 | 1300982 | 1269245 | 6482 432 | 678 | 1337
456.31/456.46 c 455s | 21 | 1305681 | 1273845 | 6482 433 | 678 | 1337
458.31/458.47 c 457s | 21 | 1311962 | 1279845 | 6482 435 | 678 | 1337
460.31/460.47 c 459s | 21 | 1317031 | 1284745 | 6482 436 | 678 | 1337
462.41/462.51 c 462s | 21 | 1321732 | 1289345 | 6482 437 | 678 | 1337
464.41/464.54 c 464s | 21 | 1326634 | 1294145 | 6482 438 | 678 | 1337
466.42/466.57 c 466s | 21 | 1331763 | 1299145 | 6482 440 | 678 | 1337
468.51/468.60 c 468s | 21 | 1336358 | 1303645 | 6482 441 | 678 | 1337
470.51/470.62 c 470s | 21 | 1340789 | 1307945 | 6482 442 | 678 | 1337
472.51/472.64 c 472s | 21 | 1345894 | 1312945 | 6482 444 | 678 | 1337
474.51/474.66 c 474s | 21 | 1351215 | 1318145 | 6482 445 | 678 | 1337
476.71/476.88 c 476s | 21 | 1356427 | 1323245 | 6482 447 | 678 | 1337
478.81/478.91 c 478s | 21 | 1362528 | 1329245 | 6482 448 | 678 | 1337
480.81/480.92 c 480s | 21 | 1367523 | 1334145 | 6482 450 | 678 | 1337
482.81/482.94 c 482s | 21 | 1373453 | 1339945 | 6482 451 | 678 | 1337
484.81/484.95 c 484s | 21 | 1378691 | 1345045 | 6482 453 | 678 | 1337
486.82/486.96 c 486s | 21 | 1384140 | 1350245 | 6482 454 | 678 | 1337
488.81/488.97 c 488s | 21 | 1389080 | 1355045 | 6482 455 | 678 | 1337
490.81/490.97 c 490s | 21 | 1394634 | 1360445 | 6482 457 | 678 | 1337
492.82/492.98 c 492s | 21 | 1398545 | 1364245 | 6482 458 | 678 | 1337
494.91/495.06 c 494s | 21 | 1404605 | 1370145 | 6482 460 | 678 | 1337
496.91/497.07 c 496s | 21 | 1409328 | 1374745 | 6482 461 | 678 | 1337
498.91/499.09 c 498s | 21 | 1414553 | 1379845 | 6482 462 | 678 | 1337
500.91/501.10 c 500s | 21 | 1419334 | 1384545 | 6482 463 | 678 | 1337
503.01/503.12 c 502s | 21 | 1425340 | 1390345 | 6482 465 | 678 | 1337
505.01/505.12 c 504s | 21 | 1430345 | 1395245 | 6482 466 | 678 | 1337
507.11/507.28 c 506s | 21 | 1435276 | 1400045 | 6482 468 | 678 | 1337
509.10/509.28 c 508s | 21 | 1440226 | 1404845 | 6482 469 | 678 | 1337
511.62/511.73 c 511s | 21 | 1445541 | 1410045 | 6482 471 | 678 | 1337
513.61/513.75 c 513s | 21 | 1451232 | 1415645 | 6482 472 | 678 | 1337
515.60/515.76 c 515s | 21 | 1455403 | 1419745 | 6482 473 | 678 | 1337
517.60/517.76 c 517s | 21 | 1460177 | 1424445 | 6482 475 | 678 | 1337
519.60/519.77 c 519s | 21 | 1464847 | 1428945 | 6482 476 | 678 | 1337
521.61/521.78 c 521s | 21 | 1470144 | 1434145 | 6482 477 | 678 | 1337
523.61/523.79 c 523s | 21 | 1475111 | 1439045 | 6482 479 | 678 | 1337
525.71/525.81 c 525s | 21 | 1480704 | 1444545 | 6482 480 | 678 | 1337
527.71/527.83 c 527s | 21 | 1485333 | 1449045 | 6482 481 | 678 | 1337
529.71/529.83 c 529s | 21 | 1491250 | 1454745 | 6482 483 | 678 | 1337
531.71/531.86 c 531s | 21 | 1496464 | 1459845 | 6482 484 | 678 | 1337
533.70/533.88 c 533s | 21 | 1501542 | 1464845 | 6482 486 | 678 | 1337
535.71/535.89 c 535s | 21 | 1506569 | 1469645 | 6482 487 | 678 | 1337
537.80/537.90 c 537s | 21 | 1511983 | 1474745 | 6482 488 | 678 | 1337
539.80/539.92 c 539s | 21 | 1517718 | 1480245 | 6482 490 | 678 | 1337
541.80/541.95 c 541s | 21 | 1522541 | 1484945 | 6482 491 | 678 | 1337
543.80/543.97 c 543s | 21 | 1527638 | 1489945 | 7131 492 | 678 | 1337
545.80/545.97 c 545s | 21 | 1532723 | 1494945 | 7131 494 | 678 | 1337
547.80/547.99 c 547s | 21 | 1537565 | 1499645 | 7131 495 | 678 | 1337
548.20/548.35 c 547s | 22 | 1538598 | 1500622 | 7131 495 | 678 | 1337
550.30/550.46 c 549s | 22 | 1543039 | 1504922 | 7131 496 | 678 | 1337
552.50/552.60 c 552s | 22 | 1548176 | 1509922 | 7131 498 | 678 | 1337
554.50/554.61 c 554s | 22 | 1553651 | 1515222 | 7131 499 | 678 | 1337
556.50/556.62 c 556s | 22 | 1559767 | 1521222 | 7131 500 | 678 | 1337
558.50/558.67 c 558s | 22 | 1564155 | 1525522 | 7131 501 | 678 | 1337
560.50/560.69 c 560s | 22 | 1570053 | 1531322 | 7131 503 | 678 | 1337
562.60/562.72 c 562s | 22 | 1574606 | 1535822 | 7131 504 | 678 | 1337
564.60/564.75 c 564s | 22 | 1579484 | 1540622 | 7131 505 | 678 | 1337
566.61/566.77 c 566s | 22 | 1584152 | 1545222 | 7131 506 | 678 | 1337
568.60/568.80 c 568s | 22 | 1589551 | 1550522 | 7131 508 | 678 | 1337
570.70/570.82 c 570s | 22 | 1593917 | 1554822 | 7131 509 | 678 | 1337
572.70/572.84 c 572s | 22 | 1599097 | 1559922 | 7131 510 | 678 | 1337
574.70/574.85 c 574s | 22 | 1603796 | 1564522 | 7131 511 | 678 | 1337
576.70/576.87 c 576s | 22 | 1609051 | 1569622 | 7131 513 | 678 | 1337
578.80/578.91 c 578s | 22 | 1613536 | 1574022 | 7131 514 | 678 | 1337
580.80/580.93 c 580s | 22 | 1618668 | 1579022 | 7131 515 | 678 | 1337
582.79/582.94 c 582s | 22 | 1624116 | 1584322 | 7131 516 | 678 | 1337
584.79/584.94 c 584s | 22 | 1628875 | 1588922 | 7131 518 | 678 | 1337
586.79/586.96 c 586s | 22 | 1634175 | 1594022 | 7131 519 | 678 | 1337
588.79/588.99 c 588s | 22 | 1638919 | 1598622 | 7131 520 | 678 | 1337
590.89/591.03 c 590s | 22 | 1644278 | 1603822 | 7131 521 | 678 | 1337
592.90/593.06 c 592s | 22 | 1649169 | 1608522 | 7131 523 | 678 | 1337
594.90/595.06 c 594s | 22 | 1653230 | 1612422 | 7131 524 | 678 | 1337
596.90/597.08 c 596s | 22 | 1658250 | 1617322 | 7131 525 | 678 | 1337
599.00/599.12 c 598s | 22 | 1663024 | 1622022 | 7131 526 | 678 | 1337
600.99/601.15 c 600s | 22 | 1666722 | 1625622 | 7131 527 | 678 | 1337
602.99/603.16 c 602s | 22 | 1671635 | 1630422 | 7131 528 | 678 | 1337
605.00/605.18 c 604s | 22 | 1677220 | 1635822 | 7131 529 | 678 | 1337
607.09/607.21 c 606s | 22 | 1681598 | 1640122 | 7131 531 | 678 | 1337
609.09/609.23 c 608s | 22 | 1686321 | 1644722 | 7131 532 | 678 | 1337
611.09/611.28 c 610s | 22 | 1691744 | 1650022 | 7131 533 | 678 | 1337
613.10/613.29 c 612s | 22 | 1696465 | 1654622 | 7131 534 | 678 | 1337
615.20/615.31 c 614s | 22 | 1701486 | 1659522 | 7131 536 | 678 | 1337
617.20/617.33 c 616s | 22 | 1706488 | 1664422 | 7131 537 | 678 | 1337
619.19/619.34 c 618s | 22 | 1711936 | 1669822 | 7131 538 | 678 | 1337
621.19/621.35 c 620s | 22 | 1717254 | 1675022 | 7131 539 | 678 | 1337
623.29/623.42 c 622s | 22 | 1721544 | 1679222 | 7131 541 | 678 | 1337
625.29/625.44 c 624s | 22 | 1726800 | 1684322 | 7131 542 | 678 | 1337
627.29/627.47 c 626s | 22 | 1731596 | 1689022 | 7131 543 | 678 | 1337
629.30/629.48 c 628s | 22 | 1736282 | 1693622 | 7131 544 | 678 | 1337
631.40/631.56 c 631s | 22 | 1741435 | 1698622 | 7131 545 | 678 | 1337
633.39/633.58 c 633s | 22 | 1747279 | 1704322 | 7131 547 | 678 | 1337
635.59/635.72 c 635s | 22 | 1751793 | 1708722 | 7131 548 | 678 | 1337
637.59/637.74 c 637s | 22 | 1757372 | 1714222 | 7131 549 | 678 | 1337
639.69/639.84 c 639s | 22 | 1761681 | 1718422 | 7131 550 | 678 | 1337
641.69/641.85 c 641s | 22 | 1767114 | 1723722 | 7131 552 | 678 | 1337
643.69/643.87 c 643s | 22 | 1772336 | 1728822 | 7131 553 | 678 | 1337
645.69/645.88 c 645s | 22 | 1777029 | 1733422 | 7131 554 | 678 | 1337
647.79/647.91 c 647s | 22 | 1782433 | 1738722 | 7131 556 | 678 | 1337
649.79/649.97 c 649s | 22 | 1787000 | 1743122 | 7131 557 | 678 | 1337
651.79/651.98 c 651s | 22 | 1791764 | 1747822 | 7131 558 | 678 | 1337
653.89/654.01 c 653s | 22 | 1796999 | 1752922 | 7131 559 | 678 | 1337
655.89/656.02 c 655s | 22 | 1801834 | 1757622 | 7131 560 | 678 | 1337
657.89/658.06 c 657s | 22 | 1806599 | 1762222 | 7131 562 | 678 | 1337
659.88/660.07 c 659s | 22 | 1812464 | 1767922 | 7131 563 | 678 | 1337
661.88/662.09 c 661s | 22 | 1816783 | 1772022 | 7131 564 | 678 | 1337
663.98/664.12 c 663s | 22 | 1821780 | 1776922 | 7131 565 | 678 | 1337
665.98/666.13 c 665s | 22 | 1826716 | 1781722 | 7131 567 | 678 | 1337
667.98/668.15 c 667s | 22 | 1832124 | 1787022 | 7131 568 | 678 | 1337
669.99/670.18 c 669s | 22 | 1837569 | 1792322 | 7131 569 | 678 | 1337
671.99/672.18 c 671s | 22 | 1842367 | 1797022 | 7131 570 | 678 | 1337
673.99/674.19 c 673s | 22 | 1847869 | 1802322 | 7131 572 | 678 | 1337
676.09/676.23 c 675s | 22 | 1852642 | 1806922 | 7131 573 | 678 | 1337
678.08/678.26 c 677s | 22 | 1857967 | 1812122 | 7131 574 | 678 | 1337
680.08/680.28 c 679s | 22 | 1862671 | 1816722 | 7131 575 | 678 | 1337
682.18/682.30 c 681s | 22 | 1867133 | 1821122 | 7131 577 | 678 | 1337
684.19/684.32 c 683s | 22 | 1871508 | 1825422 | 7131 578 | 678 | 1337
686.18/686.35 c 685s | 22 | 1877138 | 1830922 | 7131 579 | 678 | 1337
688.18/688.37 c 687s | 22 | 1882466 | 1836122 | 7131 580 | 678 | 1337
690.28/690.40 c 689s | 22 | 1887131 | 1840622 | 7131 581 | 678 | 1337
692.28/692.43 c 691s | 22 | 1892165 | 1845522 | 7131 583 | 678 | 1337
694.28/694.45 c 693s | 22 | 1897415 | 1850522 | 7131 584 | 678 | 1337
696.28/696.45 c 695s | 22 | 1902809 | 1855722 | 7131 585 | 678 | 1337
698.38/698.54 c 698s | 22 | 1907812 | 1860522 | 7131 587 | 678 | 1337
700.37/700.58 c 700s | 22 | 1911625 | 1864222 | 7131 587 | 678 | 1337
702.37/702.59 c 702s | 22 | 1916907 | 1869422 | 7131 589 | 678 | 1337
704.47/704.61 c 704s | 22 | 1922125 | 1874522 | 7131 590 | 678 | 1337
706.47/706.62 c 706s | 22 | 1927262 | 1879522 | 7131 591 | 678 | 1337
708.48/708.65 c 708s | 22 | 1932382 | 1884522 | 7131 593 | 678 | 1337
710.48/710.68 c 710s | 22 | 1938061 | 1890122 | 7131 594 | 678 | 1337
712.79/712.97 c 712s | 22 | 1941853 | 1893822 | 7131 595 | 678 | 1337
714.78/714.99 c 714s | 22 | 1947576 | 1899322 | 7131 596 | 678 | 1337
716.88/717.00 c 716s | 22 | 1952726 | 1904322 | 7131 598 | 678 | 1337
718.88/719.01 c 718s | 22 | 1957450 | 1908822 | 7131 599 | 678 | 1337
720.88/721.01 c 720s | 22 | 1962518 | 1913722 | 7131 600 | 678 | 1337
722.88/723.03 c 722s | 22 | 1967654 | 1918722 | 7131 601 | 678 | 1337
724.88/725.06 c 724s | 22 | 1972524 | 1923422 | 7131 602 | 678 | 1337
726.87/727.06 c 726s | 22 | 1977931 | 1928622 | 7131 604 | 678 | 1337
728.87/729.09 c 728s | 22 | 1982829 | 1933322 | 7131 605 | 678 | 1337
730.97/731.10 c 730s | 22 | 1987610 | 1938022 | 7131 606 | 678 | 1337
732.97/733.11 c 732s | 22 | 1992773 | 1943122 | 7131 607 | 678 | 1337
734.97/735.18 c 734s | 22 | 1997929 | 1948222 | 7131 609 | 678 | 1337
737.08/737.21 c 736s | 22 | 2003149 | 1953322 | 7131 610 | 678 | 1337
739.07/739.22 c 738s | 22 | 2008028 | 1958122 | 7131 611 | 678 | 1337
741.07/741.25 c 740s | 22 | 2013064 | 1963122 | 7131 613 | 678 | 1337
743.07/743.26 c 742s | 22 | 2017753 | 1967722 | 7131 614 | 678 | 1337
745.07/745.29 c 744s | 22 | 2022556 | 1972422 | 7131 615 | 678 | 1337
747.07/747.29 c 746s | 22 | 2027361 | 1977122 | 7131 616 | 678 | 1337
749.18/749.31 c 748s | 22 | 2033116 | 1982722 | 7131 618 | 678 | 1337
751.47/751.67 c 751s | 22 | 2038479 | 1987922 | 7131 619 | 678 | 1337
753.47/753.70 c 753s | 22 | 2043935 | 1993222 | 7131 620 | 678 | 1337
755.57/755.70 c 755s | 22 | 2048507 | 1997522 | 7131 621 | 678 | 1337
757.57/757.74 c 757s | 22 | 2053522 | 2002322 | 7131 623 | 678 | 1337
759.66/759.80 c 759s | 22 | 2057733 | 2006422 | 7131 624 | 678 | 1337
761.67/761.82 c 761s | 22 | 2062864 | 2011422 | 7131 625 | 678 | 1337
763.67/763.84 c 763s | 22 | 2068099 | 2016522 | 7131 626 | 678 | 1337
765.68/765.86 c 765s | 22 | 2073135 | 2021422 | 7131 627 | 678 | 1337
767.97/768.10 c 767s | 22 | 2078144 | 2026322 | 7131 629 | 678 | 1337
769.98/770.14 c 769s | 22 | 2084114 | 2032122 | 7131 630 | 678 | 1337
771.97/772.14 c 771s | 22 | 2088104 | 2036022 | 7131 631 | 678 | 1337
773.97/774.15 c 773s | 22 | 2093000 | 2040822 | 7131 632 | 678 | 1337
775.97/776.17 c 775s | 22 | 2097995 | 2045722 | 7131 634 | 678 | 1337
778.17/778.34 c 777s | 22 | 2102531 | 2050122 | 7131 635 | 678 | 1337
780.17/780.36 c 779s | 22 | 2108523 | 2056022 | 7131 636 | 678 | 1337
782.17/782.39 c 781s | 22 | 2113543 | 2060922 | 7131 637 | 678 | 1337
784.27/784.41 c 783s | 22 | 2118359 | 2065622 | 7131 639 | 678 | 1337
786.26/786.44 c 785s | 22 | 2123199 | 2070322 | 7131 640 | 678 | 1337
788.26/788.47 c 787s | 22 | 2127571 | 2074622 | 7131 641 | 678 | 1337
790.36/790.50 c 790s | 22 | 2132427 | 2079422 | 7131 642 | 678 | 1337
792.36/792.53 c 792s | 22 | 2137106 | 2084022 | 7131 643 | 678 | 1337
794.36/794.54 c 794s | 22 | 2141831 | 2088622 | 7131 644 | 678 | 1337
796.36/796.55 c 796s | 22 | 2146828 | 2093522 | 7131 646 | 678 | 1337
798.56/798.75 c 798s | 22 | 2151915 | 2098522 | 7131 647 | 678 | 1337
800.56/800.78 c 800s | 22 | 2157453 | 2103922 | 7131 648 | 678 | 1337
802.66/802.80 c 802s | 22 | 2162758 | 2109022 | 7131 650 | 678 | 1337
804.76/804.92 c 804s | 22 | 2166981 | 2113122 | 7131 651 | 678 | 1337
806.76/806.95 c 806s | 22 | 2172951 | 2118822 | 7131 652 | 678 | 1337
808.76/808.97 c 808s | 22 | 2177132 | 2122922 | 7131 653 | 678 | 1337
810.86/811.00 c 810s | 22 | 2182436 | 2128122 | 7131 654 | 678 | 1337
812.86/813.01 c 812s | 22 | 2187623 | 2133222 | 7131 656 | 678 | 1337
815.46/815.60 c 815s | 22 | 2192777 | 2138222 | 7131 657 | 678 | 1337
817.46/817.63 c 817s | 22 | 2198770 | 2143922 | 7131 658 | 678 | 1337
819.46/819.63 c 819s | 22 | 2203962 | 2148922 | 7131 660 | 678 | 1337
821.45/821.63 c 821s | 22 | 2208287 | 2153122 | 7131 661 | 678 | 1337
823.45/823.66 c 823s | 22 | 2213253 | 2157922 | 7131 662 | 678 | 1337
825.45/825.68 c 825s | 22 | 2218516 | 2163022 | 7131 663 | 678 | 1337
827.55/827.71 c 827s | 22 | 2223858 | 2168222 | 7131 665 | 678 | 1337
829.55/829.74 c 829s | 22 | 2228587 | 2172822 | 7131 666 | 678 | 1337
831.96/832.12 c 831s | 22 | 2233999 | 2178022 | 7131 667 | 678 | 1337
833.96/834.14 c 833s | 22 | 2239465 | 2183322 | 7131 668 | 678 | 1337
835.96/836.17 c 835s | 22 | 2245010 | 2188722 | 7131 670 | 678 | 1337
838.05/838.24 c 837s | 22 | 2249353 | 2192922 | 7131 671 | 678 | 1337
840.05/840.24 c 839s | 22 | 2254943 | 2198322 | 7131 672 | 678 | 1337
842.25/842.42 c 841s | 22 | 2260256 | 2203422 | 7131 674 | 678 | 1337
844.45/844.66 c 844s | 22 | 2265148 | 2208122 | 7131 675 | 678 | 1337
846.45/846.69 c 846s | 22 | 2270180 | 2212922 | 7131 676 | 678 | 1337
848.55/848.73 c 848s | 22 | 2274815 | 2217422 | 7131 677 | 678 | 1337
850.75/850.98 c 850s | 22 | 2280198 | 2222622 | 7131 678 | 678 | 1337
852.75/852.99 c 852s | 22 | 2285954 | 2228122 | 7131 680 | 678 | 1337
854.85/855.01 c 854s | 22 | 2290331 | 2232322 | 7131 681 | 678 | 1337
856.85/857.05 c 856s | 22 | 2295956 | 2237622 | 7845 682 | 678 | 1337
858.84/859.05 c 858s | 22 | 2300824 | 2242222 | 7845 683 | 678 | 1337
860.84/861.06 c 860s | 22 | 2305058 | 2246322 | 7845 684 | 678 | 1337
862.54/862.79 c 862s | 23 | 2310037 | 2251038 | 7845 685 | 678 | 1337
864.56/864.79 c 864s | 23 | 2313341 | 2254238 | 7845 686 | 678 | 1337
866.65/866.82 c 866s | 23 | 2318306 | 2259138 | 7845 687 | 678 | 1337
868.65/868.84 c 868s | 23 | 2323068 | 2263838 | 7845 688 | 678 | 1337
870.65/870.87 c 870s | 23 | 2327182 | 2267838 | 7845 689 | 678 | 1337
872.65/872.88 c 872s | 23 | 2331839 | 2272438 | 7845 690 | 678 | 1337
874.75/874.91 c 874s | 23 | 2336316 | 2276838 | 7845 691 | 678 | 1337
876.75/876.93 c 876s | 23 | 2341017 | 2281438 | 7845 692 | 678 | 1337
878.75/878.95 c 878s | 23 | 2346326 | 2286638 | 7845 693 | 678 | 1337
880.75/880.98 c 880s | 23 | 2349988 | 2290238 | 7845 694 | 678 | 1337
882.84/883.00 c 882s | 23 | 2354849 | 2295038 | 7845 695 | 678 | 1337
884.84/885.01 c 884s | 23 | 2359329 | 2299438 | 7845 696 | 678 | 1337
886.84/887.02 c 886s | 23 | 2364522 | 2304538 | 7845 698 | 678 | 1337
888.85/889.02 c 888s | 23 | 2368513 | 2308438 | 7845 698 | 678 | 1337
890.84/891.04 c 890s | 23 | 2373011 | 2312838 | 7845 700 | 678 | 1337
892.84/893.09 c 892s | 23 | 2377405 | 2317138 | 7845 701 | 678 | 1337
894.94/895.16 c 894s | 23 | 2381775 | 2321438 | 7845 702 | 678 | 1337
897.34/897.57 c 897s | 23 | 2387162 | 2326738 | 7845 703 | 678 | 1337
899.44/899.60 c 899s | 23 | 2392040 | 2331538 | 7845 704 | 678 | 1337
901.44/901.63 c 901s | 23 | 2397093 | 2336538 | 7845 705 | 678 | 1337
903.44/903.65 c 903s | 23 | 2401575 | 2340938 | 7845 706 | 678 | 1337
905.44/905.67 c 905s | 23 | 2405710 | 2344938 | 7845 707 | 678 | 1337
907.45/907.67 c 907s | 23 | 2411480 | 2350438 | 7845 708 | 678 | 1337
909.54/909.78 c 909s | 23 | 2415013 | 2353838 | 7845 709 | 678 | 1337
911.54/911.78 c 911s | 23 | 2419798 | 2358438 | 7845 710 | 678 | 1337
913.54/913.79 c 913s | 23 | 2424849 | 2363238 | 7845 711 | 678 | 1337
915.54/915.79 c 915s | 23 | 2430161 | 2368438 | 7845 712 | 678 | 1337
917.64/917.81 c 917s | 23 | 2435172 | 2373338 | 7845 714 | 678 | 1337
919.65/919.83 c 919s | 23 | 2439625 | 2377638 | 7845 715 | 678 | 1337
921.85/922.04 c 921s | 23 | 2443830 | 2381738 | 7845 716 | 678 | 1337
923.84/924.05 c 923s | 23 | 2449149 | 2386938 | 7845 717 | 678 | 1337
925.84/926.07 c 925s | 23 | 2453990 | 2391638 | 7845 718 | 678 | 1337
927.84/928.07 c 927s | 23 | 2459135 | 2396638 | 7845 719 | 678 | 1337
930.14/930.31 c 929s | 23 | 2462939 | 2400338 | 7845 720 | 678 | 1337
932.14/932.35 c 931s | 23 | 2468507 | 2405838 | 7845 721 | 678 | 1337
934.14/934.36 c 933s | 23 | 2473953 | 2411138 | 7845 722 | 678 | 1337
936.14/936.37 c 935s | 23 | 2477976 | 2415038 | 7845 723 | 678 | 1337
938.34/938.54 c 938s | 23 | 2483422 | 2420338 | 7845 725 | 678 | 1337
940.33/940.56 c 940s | 23 | 2488567 | 2425338 | 7845 726 | 678 | 1337
942.34/942.60 c 942s | 23 | 2493536 | 2430138 | 7845 727 | 678 | 1337
944.44/944.62 c 944s | 23 | 2499173 | 2435638 | 7845 728 | 678 | 1337
946.44/946.65 c 946s | 23 | 2503547 | 2439838 | 7845 729 | 678 | 1337
948.44/948.65 c 948s | 23 | 2509239 | 2445338 | 7845 730 | 678 | 1337
950.44/950.66 c 950s | 23 | 2514520 | 2450338 | 7845 731 | 678 | 1337
952.44/952.68 c 952s | 23 | 2517702 | 2453438 | 7845 732 | 678 | 1337
954.53/954.72 c 954s | 23 | 2522784 | 2458438 | 7845 733 | 678 | 1337
956.53/956.77 c 956s | 23 | 2527590 | 2463138 | 7845 734 | 678 | 1337
958.73/958.98 c 958s | 23 | 2531863 | 2467338 | 7845 735 | 678 | 1337
960.83/961.00 c 960s | 23 | 2537268 | 2472638 | 7845 737 | 678 | 1337
962.83/963.02 c 962s | 23 | 2542656 | 2477938 | 7845 738 | 678 | 1337
964.82/965.03 c 964s | 23 | 2546730 | 2481938 | 7845 739 | 678 | 1337
966.83/967.03 c 966s | 23 | 2552034 | 2487138 | 7845 740 | 678 | 1337
968.82/969.06 c 968s | 23 | 2557295 | 2492238 | 7845 741 | 678 | 1337
970.82/971.08 c 970s | 23 | 2561495 | 2496338 | 7845 742 | 678 | 1337
973.12/973.35 c 972s | 23 | 2566487 | 2501138 | 7845 743 | 678 | 1337
975.21/975.41 c 974s | 23 | 2571776 | 2506238 | 7845 745 | 678 | 1337
977.21/977.45 c 976s | 23 | 2575597 | 2509938 | 7845 745 | 678 | 1337
979.21/979.46 c 978s | 23 | 2580983 | 2515138 | 7845 747 | 678 | 1337
981.22/981.47 c 980s | 23 | 2585055 | 2519138 | 7845 748 | 678 | 1337
983.21/983.49 c 983s | 23 | 2590275 | 2524238 | 7845 749 | 678 | 1337
985.31/985.50 c 985s | 23 | 2595391 | 2529138 | 7845 750 | 678 | 1337
987.31/987.51 c 987s | 23 | 2598798 | 2532438 | 7845 751 | 678 | 1337
989.31/989.52 c 989s | 23 | 2603727 | 2537238 | 7845 752 | 678 | 1337
991.31/991.55 c 991s | 23 | 2607556 | 2540938 | 7845 753 | 678 | 1337
993.51/993.70 c 993s | 23 | 2612607 | 2545838 | 7845 754 | 678 | 1337
995.51/995.72 c 995s | 23 | 2617441 | 2550538 | 7845 755 | 678 | 1337
997.50/997.74 c 997s | 23 | 2622997 | 2555938 | 7845 756 | 678 | 1337
999.50/999.75 c 999s | 23 | 2627109 | 2559938 | 7845 757 | 678 | 1337
1001.50/1001.78 c 1001s | 23 | 2632747 | 2565438 | 7845 758 | 678 | 1337
1003.60/1003.83 c 1003s | 23 | 2638214 | 2570738 | 7845 760 | 678 | 1337
1005.60/1005.85 c 1005s | 23 | 2642758 | 2575138 | 7845 761 | 678 | 1337
1007.89/1008.14 c 1007s | 23 | 2647114 | 2579338 | 7845 762 | 678 | 1337
1009.89/1010.17 c 1009s | 23 | 2652421 | 2584538 | 7845 763 | 678 | 1337
1011.90/1012.19 c 1011s | 23 | 2657846 | 2589838 | 7845 764 | 678 | 1337
1013.89/1014.20 c 1013s | 23 | 2662945 | 2594738 | 7845 765 | 678 | 1337
1015.99/1016.20 c 1015s | 23 | 2666917 | 2598638 | 7845 766 | 678 | 1337
1017.99/1018.24 c 1017s | 23 | 2672213 | 2603738 | 7845 767 | 678 | 1337
1019.99/1020.25 c 1019s | 23 | 2676919 | 2608338 | 7845 768 | 678 | 1337
1021.99/1022.28 c 1021s | 23 | 2680545 | 2611838 | 7845 769 | 678 | 1337
1023.99/1024.28 c 1023s | 23 | 2685407 | 2616538 | 7845 770 | 678 | 1337
1026.09/1026.32 c 1025s | 23 | 2689875 | 2620838 | 7845 771 | 678 | 1337
1028.09/1028.33 c 1027s | 23 | 2693737 | 2624638 | 7845 772 | 678 | 1337
1030.09/1030.35 c 1029s | 23 | 2698718 | 2629538 | 7845 773 | 678 | 1337
1032.09/1032.38 c 1031s | 23 | 2702716 | 2633438 | 7845 774 | 678 | 1337
1034.18/1034.40 c 1033s | 23 | 2708228 | 2638838 | 7845 775 | 678 | 1337
1036.19/1036.42 c 1035s | 23 | 2713233 | 2643738 | 7845 777 | 678 | 1337
1038.18/1038.42 c 1037s | 23 | 2717571 | 2647938 | 7845 777 | 678 | 1337
1040.18/1040.45 c 1039s | 23 | 2722395 | 2652638 | 7845 779 | 678 | 1337
1042.18/1042.48 c 1041s | 23 | 2726598 | 2656738 | 7845 780 | 678 | 1337
1044.27/1044.51 c 1044s | 23 | 2731833 | 2661838 | 7845 781 | 678 | 1337
1046.27/1046.53 c 1046s | 23 | 2736132 | 2666038 | 7845 782 | 678 | 1337
1048.28/1048.56 c 1048s | 23 | 2741504 | 2671238 | 7845 783 | 678 | 1337
1050.27/1050.57 c 1050s | 23 | 2746501 | 2676038 | 7845 784 | 678 | 1337
1052.27/1052.58 c 1052s | 23 | 2752047 | 2681338 | 7845 785 | 678 | 1337
1054.36/1054.64 c 1054s | 23 | 2755135 | 2684338 | 7845 786 | 678 | 1337
1056.36/1056.67 c 1056s | 23 | 2760637 | 2689738 | 7845 787 | 678 | 1337
1058.37/1058.70 c 1058s | 23 | 2764269 | 2693238 | 7845 788 | 678 | 1337
1060.47/1060.73 c 1060s | 23 | 2769784 | 2698638 | 7845 789 | 678 | 1337
1062.48/1062.75 c 1062s | 23 | 2774947 | 2703638 | 7845 790 | 678 | 1337
1064.46/1064.76 c 1064s | 23 | 2779408 | 2707938 | 7845 791 | 678 | 1337
1066.46/1066.78 c 1066s | 23 | 2785030 | 2713338 | 7845 793 | 678 | 1337
1068.56/1068.80 c 1068s | 23 | 2788890 | 2717038 | 7845 794 | 678 | 1337
1070.56/1070.82 c 1070s | 23 | 2794393 | 2722338 | 7845 795 | 678 | 1337
1073.46/1073.70 c 1073s | 23 | 2798688 | 2726438 | 7845 796 | 678 | 1337
1075.46/1075.72 c 1075s | 23 | 2803990 | 2731638 | 7845 797 | 678 | 1337
1077.46/1077.76 c 1077s | 23 | 2808778 | 2736338 | 7845 798 | 678 | 1337
1079.46/1079.79 c 1079s | 23 | 2813664 | 2741138 | 7845 799 | 678 | 1337
1081.56/1081.80 c 1081s | 23 | 2818151 | 2745538 | 7845 800 | 678 | 1337
1083.56/1083.80 c 1083s | 23 | 2823199 | 2750438 | 7845 801 | 678 | 1337
1085.57/1085.83 c 1085s | 23 | 2827894 | 2755038 | 7845 802 | 678 | 1337
1087.56/1087.85 c 1087s | 23 | 2831992 | 2759038 | 7845 803 | 678 | 1337
1089.66/1089.92 c 1089s | 23 | 2837438 | 2764338 | 7845 805 | 678 | 1337
1091.66/1091.97 c 1091s | 23 | 2842520 | 2769238 | 7845 806 | 678 | 1337
1093.65/1093.98 c 1093s | 23 | 2846227 | 2772838 | 7845 807 | 678 | 1337
1095.75/1096.00 c 1095s | 23 | 2850830 | 2777338 | 7845 808 | 678 | 1337
1097.75/1098.01 c 1097s | 23 | 2856019 | 2782438 | 7845 809 | 678 | 1337
1099.74/1100.03 c 1099s | 23 | 2860419 | 2786738 | 7845 810 | 678 | 1337
1101.74/1102.04 c 1101s | 23 | 2865797 | 2791938 | 7845 811 | 678 | 1337
1103.74/1104.08 c 1103s | 23 | 2870530 | 2796438 | 7845 812 | 678 | 1337
1105.83/1106.11 c 1105s | 23 | 2875563 | 2801238 | 7845 813 | 678 | 1337
1107.83/1108.12 c 1107s | 23 | 2879768 | 2805338 | 7845 814 | 678 | 1337
1109.84/1110.13 c 1109s | 23 | 2885320 | 2810738 | 7845 815 | 678 | 1337
1111.83/1112.13 c 1111s | 23 | 2889043 | 2814338 | 7845 816 | 678 | 1337
1113.83/1114.14 c 1113s | 23 | 2893371 | 2818538 | 7845 817 | 678 | 1337
1115.83/1116.18 c 1115s | 23 | 2898049 | 2823138 | 7845 818 | 678 | 1337
1117.93/1118.23 c 1117s | 23 | 2903058 | 2828038 | 7845 819 | 678 | 1337
1120.04/1120.30 c 1119s | 23 | 2908030 | 2832838 | 7845 821 | 678 | 1337
1122.03/1122.31 c 1121s | 23 | 2913440 | 2838038 | 7845 822 | 678 | 1337
1124.03/1124.31 c 1123s | 23 | 2917785 | 2842238 | 7845 823 | 678 | 1337
1126.03/1126.33 c 1125s | 23 | 2923557 | 2847838 | 7845 824 | 678 | 1337
1128.03/1128.35 c 1127s | 23 | 2928383 | 2852438 | 7845 825 | 678 | 1337
1130.02/1130.35 c 1129s | 23 | 2931472 | 2855338 | 7845 826 | 678 | 1337
1132.02/1132.36 c 1131s | 23 | 2937328 | 2861038 | 7845 827 | 678 | 1337
1134.02/1134.37 c 1133s | 23 | 2941344 | 2864938 | 7845 828 | 678 | 1337
1136.02/1136.40 c 1135s | 23 | 2945770 | 2869238 | 7845 829 | 678 | 1337
1138.12/1138.41 c 1137s | 23 | 2950609 | 2873938 | 7845 830 | 678 | 1337
1140.12/1140.41 c 1139s | 23 | 2955074 | 2878338 | 7845 831 | 678 | 1337
1142.12/1142.43 c 1141s | 23 | 2960275 | 2883438 | 7845 832 | 678 | 1337
1144.11/1144.44 c 1143s | 23 | 2965223 | 2888238 | 7845 833 | 678 | 1337
1146.12/1146.46 c 1145s | 23 | 2970205 | 2893138 | 7845 835 | 678 | 1337
1148.12/1148.49 c 1148s | 23 | 2973990 | 2896838 | 7845 835 | 678 | 1337
1150.22/1150.50 c 1150s | 23 | 2979162 | 2901838 | 7845 837 | 678 | 1337
1152.22/1152.51 c 1152s | 23 | 2984067 | 2906538 | 7845 838 | 678 | 1337
1154.21/1154.51 c 1154s | 23 | 2987004 | 2909438 | 7845 838 | 678 | 1337
1156.21/1156.53 c 1156s | 23 | 2992367 | 2914638 | 7845 840 | 678 | 1337
1158.22/1158.53 c 1158s | 23 | 2996443 | 2918638 | 7845 840 | 678 | 1337
1160.21/1160.56 c 1160s | 23 | 3001648 | 2923638 | 7845 842 | 678 | 1337
1162.21/1162.57 c 1162s | 23 | 3006757 | 2928538 | 7845 843 | 678 | 1337
1164.20/1164.57 c 1164s | 23 | 3010461 | 2932038 | 7845 844 | 678 | 1337
1166.20/1166.59 c 1166s | 23 | 3016400 | 2937638 | 7845 845 | 678 | 1337
1168.30/1168.62 c 1168s | 23 | 3020729 | 2941838 | 7845 846 | 678 | 1337
1170.31/1170.65 c 1170s | 23 | 3025410 | 2946338 | 7845 847 | 678 | 1337
1172.30/1172.66 c 1172s | 23 | 3030167 | 2950938 | 7845 848 | 678 | 1337
1174.29/1174.68 c 1174s | 23 | 3035497 | 2956138 | 7845 849 | 678 | 1337
1176.29/1176.69 c 1176s | 23 | 3040220 | 2960738 | 7845 850 | 678 | 1337
1178.40/1178.71 c 1178s | 23 | 3045451 | 2965838 | 7845 851 | 678 | 1337
1180.40/1180.74 c 1180s | 23 | 3049010 | 2969338 | 7845 852 | 678 | 1337
1182.41/1182.74 c 1182s | 23 | 3054079 | 2974238 | 7845 853 | 678 | 1337
1184.39/1184.76 c 1184s | 23 | 3058189 | 2978238 | 7845 854 | 678 | 1337
1186.39/1186.76 c 1186s | 23 | 3063446 | 2983338 | 7845 856 | 678 | 1337
1188.39/1188.78 c 1188s | 23 | 3068973 | 2988638 | 7845 857 | 678 | 1337
1190.49/1190.82 c 1190s | 23 | 3073759 | 2993238 | 7845 858 | 678 | 1337
1192.49/1192.83 c 1192s | 23 | 3078463 | 2997738 | 7845 859 | 678 | 1337
1194.49/1194.84 c 1194s | 23 | 3080527 | 2999738 | 7845 859 | 678 | 1337
1196.49/1196.87 c 1196s | 23 | 3085627 | 3004738 | 7845 861 | 678 | 1337
1198.49/1198.87 c 1198s | 23 | 3089760 | 3008738 | 7845 861 | 678 | 1337
1200.59/1200.90 c 1200s | 23 | 3095180 | 3014038 | 7845 863 | 678 | 1337
1202.58/1202.93 c 1202s | 23 | 3100461 | 3019238 | 7845 864 | 678 | 1337
1204.58/1204.93 c 1204s | 23 | 3104739 | 3023438 | 7845 865 | 678 | 1337
1206.59/1206.95 c 1206s | 23 | 3110381 | 3028938 | 7845 866 | 678 | 1337
1208.58/1208.98 c 1208s | 23 | 3114454 | 3032938 | 7845 867 | 678 | 1337
1210.59/1210.98 c 1210s | 23 | 3119402 | 3037738 | 7845 868 | 678 | 1337
1212.88/1213.30 c 1212s | 23 | 3124393 | 3042638 | 7845 869 | 678 | 1337
1215.08/1215.41 c 1214s | 23 | 3129601 | 3047738 | 7845 871 | 678 | 1337
1217.18/1217.53 c 1217s | 23 | 3134200 | 3052238 | 7845 872 | 678 | 1337
1219.17/1219.57 c 1219s | 23 | 3139562 | 3057438 | 7845 873 | 678 | 1337
1221.17/1221.58 c 1221s | 23 | 3144233 | 3062038 | 7845 874 | 678 | 1337
1223.27/1223.61 c 1223s | 23 | 3148830 | 3066538 | 7845 875 | 678 | 1337
1225.27/1225.62 c 1225s | 23 | 3154303 | 3071838 | 7845 876 | 678 | 1337
1227.26/1227.63 c 1227s | 23 | 3158524 | 3075938 | 7845 877 | 678 | 1337
1229.37/1229.73 c 1229s | 23 | 3160805 | 3078138 | 7845 878 | 678 | 1337
1231.37/1231.73 c 1231s | 23 | 3166695 | 3083838 | 7845 879 | 678 | 1337
1233.36/1233.77 c 1233s | 23 | 3171061 | 3088038 | 7845 880 | 678 | 1337
1235.36/1235.78 c 1235s | 23 | 3176092 | 3092938 | 7845 881 | 678 | 1337
1237.46/1237.82 c 1237s | 23 | 3181144 | 3097838 | 7845 882 | 678 | 1337
1239.47/1239.82 c 1239s | 23 | 3186507 | 3103038 | 7845 883 | 678 | 1337
1241.46/1241.82 c 1241s | 23 | 3190660 | 3107038 | 7845 884 | 678 | 1337
1243.46/1243.84 c 1243s | 23 | 3195706 | 3111938 | 7845 885 | 678 | 1337
1245.45/1245.86 c 1245s | 23 | 3200795 | 3116938 | 7845 887 | 678 | 1337
1247.55/1247.92 c 1247s | 23 | 3205638 | 3121638 | 7845 888 | 678 | 1337
1249.55/1249.95 c 1249s | 23 | 3209137 | 3125038 | 7845 889 | 678 | 1337
1251.75/1252.11 c 1251s | 23 | 3213787 | 3129538 | 7845 890 | 678 | 1337
1253.75/1254.11 c 1253s | 23 | 3219301 | 3134938 | 7845 891 | 678 | 1337
1255.75/1256.12 c 1255s | 23 | 3223570 | 3139038 | 7845 892 | 678 | 1337
1257.75/1258.13 c 1257s | 23 | 3228564 | 3143938 | 7845 893 | 678 | 1337
1259.75/1260.17 c 1259s | 23 | 3233613 | 3148838 | 7845 894 | 678 | 1337
1261.75/1262.18 c 1261s | 23 | 3238887 | 3153938 | 7845 895 | 678 | 1337
1263.84/1264.21 c 1263s | 23 | 3242951 | 3157938 | 7845 896 | 678 | 1337
1265.85/1266.22 c 1265s | 23 | 3246914 | 3161838 | 7845 897 | 678 | 1337
1267.84/1268.25 c 1267s | 23 | 3252399 | 3167138 | 7845 898 | 678 | 1337
1269.94/1270.31 c 1269s | 23 | 3257604 | 3172238 | 7845 900 | 678 | 1337
1271.94/1272.39 c 1271s | 23 | 3262011 | 3176538 | 7845 901 | 678 | 1337
1274.04/1274.41 c 1273s | 23 | 3266551 | 3180938 | 7845 902 | 678 | 1337
1276.04/1276.46 c 1275s | 23 | 3270958 | 3185238 | 7845 903 | 678 | 1337
1278.05/1278.47 c 1277s | 23 | 3276362 | 3190538 | 7845 904 | 678 | 1337
1280.54/1280.92 c 1280s | 23 | 3279930 | 3194038 | 7845 905 | 678 | 1337
1282.54/1282.96 c 1282s | 23 | 3285752 | 3199738 | 7845 906 | 678 | 1337
1284.54/1284.98 c 1284s | 23 | 3290611 | 3204438 | 7845 907 | 678 | 1337
1286.74/1287.13 c 1286s | 23 | 3295315 | 3209038 | 7845 908 | 678 | 1337
1288.73/1289.15 c 1288s | 23 | 3300407 | 3214038 | 7845 909 | 678 | 1337
1290.73/1291.18 c 1290s | 23 | 3303787 | 3217338 | 7845 910 | 678 | 1337
1292.73/1293.19 c 1292s | 23 | 3308965 | 3222438 | 7845 911 | 678 | 1337
1294.83/1295.21 c 1294s | 23 | 3313160 | 3226538 | 7845 912 | 678 | 1337
1296.83/1297.22 c 1296s | 23 | 3317585 | 3230838 | 7845 913 | 678 | 1337
1298.83/1299.24 c 1298s | 23 | 3322290 | 3235438 | 7845 914 | 678 | 1337
1300.83/1301.24 c 1300s | 23 | 3326845 | 3239838 | 7845 915 | 678 | 1337
1302.83/1303.28 c 1302s | 23 | 3331681 | 3244538 | 7845 916 | 678 | 1337
1304.83/1305.29 c 1304s | 23 | 3336210 | 3248938 | 7845 917 | 678 | 1337
1306.93/1307.30 c 1306s | 23 | 3341668 | 3254138 | 7845 919 | 678 | 1337
1308.92/1309.31 c 1308s | 23 | 3345476 | 3257838 | 7845 919 | 678 | 1337
1310.93/1311.32 c 1310s | 23 | 3350191 | 3262438 | 7845 920 | 678 | 1337
1313.13/1313.56 c 1313s | 23 | 3355513 | 3267638 | 7845 922 | 678 | 1337
1315.12/1315.56 c 1315s | 23 | 3359979 | 3272038 | 7845 923 | 678 | 1337
1317.12/1317.59 c 1317s | 23 | 3365318 | 3277238 | 7845 924 | 678 | 1337
1319.23/1319.62 c 1319s | 23 | 3368514 | 3280338 | 7845 925 | 678 | 1337
1321.23/1321.65 c 1321s | 23 | 3373060 | 3284838 | 7845 926 | 678 | 1337
1323.23/1323.66 c 1323s | 23 | 3378327 | 3290038 | 7845 927 | 678 | 1337
1325.23/1325.68 c 1325s | 23 | 3382677 | 3294338 | 7845 928 | 678 | 1337
1327.22/1327.68 c 1327s | 23 | 3386822 | 3298438 | 7845 929 | 678 | 1337
1329.22/1329.69 c 1329s | 23 | 3391286 | 3302838 | 7845 930 | 678 | 1337
1331.22/1331.69 c 1331s | 23 | 3396087 | 3307538 | 7845 931 | 678 | 1337
1333.32/1333.71 c 1333s | 23 | 3399144 | 3310538 | 7845 932 | 678 | 1337
1335.61/1336.00 c 1335s | 23 | 3404325 | 3315638 | 7845 933 | 678 | 1337
1337.61/1338.02 c 1337s | 23 | 3409819 | 3321038 | 7845 934 | 678 | 1337
1339.62/1340.03 c 1339s | 23 | 3414413 | 3325538 | 7845 935 | 678 | 1337
1341.61/1342.04 c 1341s | 23 | 3418613 | 3329638 | 7845 936 | 678 | 1337
1343.61/1344.06 c 1343s | 23 | 3423008 | 3333938 | 7845 937 | 678 | 1337
1345.61/1346.07 c 1345s | 23 | 3427455 | 3338338 | 7845 938 | 678 | 1337
1347.61/1348.09 c 1347s | 23 | 3432281 | 3343038 | 7845 939 | 678 | 1337
1349.70/1350.10 c 1349s | 23 | 3437632 | 3348238 | 7845 940 | 678 | 1337
1351.71/1352.14 c 1351s | 23 | 3440842 | 3351338 | 8630 941 | 678 | 1337
1353.69/1354.15 c 1353s | 23 | 3445807 | 3356138 | 8630 942 | 678 | 1337
1355.69/1356.18 c 1355s | 23 | 3450283 | 3360538 | 8630 943 | 678 | 1337
1357.70/1358.19 c 1357s | 23 | 3454197 | 3364338 | 8630 944 | 678 | 1337
1359.80/1360.20 c 1359s | 23 | 3459086 | 3369138 | 8630 945 | 678 | 1337
1362.30/1362.78 c 1362s | 23 | 3463246 | 3373238 | 8630 946 | 678 | 1337
1363.59/1364.04 c 1363s | 24 | 3466772 | 3376662 | 8630 946 | 678 | 1337
1365.59/1366.06 c 1365s | 24 | 3470784 | 3380562 | 8630 947 | 678 | 1337
1367.69/1368.10 c 1367s | 24 | 3475471 | 3385162 | 8630 948 | 678 | 1337
1369.69/1370.12 c 1369s | 24 | 3479223 | 3388862 | 8630 949 | 678 | 1337
1371.69/1372.16 c 1371s | 24 | 3484211 | 3393762 | 8630 950 | 678 | 1337
1373.69/1374.17 c 1373s | 24 | 3487660 | 3397162 | 8630 951 | 678 | 1337
1376.09/1376.53 c 1376s | 24 | 3492219 | 3401662 | 8630 952 | 678 | 1337
1378.28/1378.79 c 1378s | 24 | 3496776 | 3406162 | 8630 953 | 678 | 1337
1380.38/1380.80 c 1380s | 24 | 3501830 | 3411162 | 8630 954 | 678 | 1337
1382.39/1382.80 c 1382s | 24 | 3505823 | 3415062 | 8630 955 | 678 | 1337
1384.48/1384.93 c 1384s | 24 | 3510839 | 3419962 | 8630 956 | 678 | 1337
1386.48/1386.95 c 1386s | 24 | 3514535 | 3423562 | 8630 956 | 678 | 1337
1388.48/1388.97 c 1388s | 24 | 3519600 | 3428462 | 8630 957 | 678 | 1337
1390.58/1391.01 c 1390s | 24 | 3524320 | 3433062 | 8630 958 | 678 | 1337
1392.58/1393.03 c 1392s | 24 | 3528537 | 3437162 | 8630 959 | 678 | 1337
1394.59/1395.06 c 1394s | 24 | 3531411 | 3439962 | 8630 960 | 678 | 1337
1396.58/1397.07 c 1396s | 24 | 3536529 | 3444962 | 8630 961 | 678 | 1337
1398.58/1399.09 c 1398s | 24 | 3541175 | 3449462 | 8630 962 | 678 | 1337
1400.68/1401.11 c 1400s | 24 | 3545198 | 3453362 | 8630 963 | 678 | 1337
1402.98/1403.49 c 1403s | 24 | 3549119 | 3457162 | 8630 964 | 678 | 1337
1405.07/1405.52 c 1405s | 24 | 3554656 | 3462562 | 8630 965 | 678 | 1337
1407.07/1407.57 c 1407s | 24 | 3558424 | 3466262 | 8630 966 | 678 | 1337
1409.37/1409.86 c 1409s | 24 | 3563114 | 3470862 | 8630 967 | 678 | 1337
1411.37/1411.87 c 1411s | 24 | 3567433 | 3475062 | 8630 967 | 678 | 1337
1413.37/1413.88 c 1413s | 24 | 3572341 | 3479862 | 8630 968 | 678 | 1337
1415.47/1415.91 c 1415s | 24 | 3577190 | 3484662 | 8630 969 | 678 | 1337
1417.46/1417.92 c 1417s | 24 | 3581250 | 3488662 | 8630 970 | 678 | 1337
1419.46/1419.95 c 1419s | 24 | 3584719 | 3492062 | 8630 971 | 678 | 1337
1421.46/1421.95 c 1421s | 24 | 3589770 | 3496962 | 8630 972 | 678 | 1337
1423.45/1423.96 c 1423s | 24 | 3594208 | 3501262 | 8630 973 | 678 | 1337
1425.55/1426.00 c 1425s | 24 | 3598844 | 3505762 | 8630 974 | 678 | 1337
1427.66/1428.17 c 1427s | 24 | 3602138 | 3508962 | 8630 975 | 678 | 1337
1429.67/1430.17 c 1429s | 24 | 3606829 | 3513562 | 8630 976 | 678 | 1337
1431.66/1432.19 c 1431s | 24 | 3611033 | 3517662 | 8630 976 | 678 | 1337
1433.75/1434.22 c 1433s | 24 | 3615446 | 3521962 | 8630 977 | 678 | 1337
1435.75/1436.22 c 1435s | 24 | 3620049 | 3526462 | 8630 978 | 678 | 1337
1437.75/1438.24 c 1437s | 24 | 3623532 | 3529862 | 8630 979 | 678 | 1337
1439.75/1440.24 c 1439s | 24 | 3628341 | 3534562 | 8630 980 | 678 | 1337
1441.75/1442.27 c 1441s | 24 | 3632284 | 3538462 | 8630 981 | 678 | 1337
1443.84/1444.30 c 1443s | 24 | 3637188 | 3543262 | 8630 982 | 678 | 1337
1445.85/1446.34 c 1445s | 24 | 3641269 | 3547262 | 8630 983 | 678 | 1337
1447.85/1448.36 c 1447s | 24 | 3645172 | 3551062 | 8630 984 | 678 | 1337
1449.84/1450.40 c 1449s | 24 | 3649168 | 3554962 | 8630 984 | 678 | 1337
1451.94/1452.40 c 1451s | 24 | 3653926 | 3559662 | 8630 985 | 678 | 1337
1453.95/1454.43 c 1453s | 24 | 3657688 | 3563362 | 8630 986 | 678 | 1337
1455.94/1456.46 c 1455s | 24 | 3662465 | 3568062 | 8630 987 | 678 | 1337
1457.94/1458.48 c 1457s | 24 | 3666358 | 3571862 | 8630 988 | 678 | 1337
1460.04/1460.52 c 1460s | 24 | 3671489 | 3576862 | 8630 989 | 678 | 1337
1462.04/1462.55 c 1462s | 24 | 3675777 | 3581062 | 8630 990 | 678 | 1337
1464.04/1464.57 c 1464s | 24 | 3680503 | 3585662 | 8630 991 | 678 | 1337
1466.14/1466.61 c 1466s | 24 | 3685167 | 3590162 | 8630 992 | 678 | 1337
1468.14/1468.61 c 1468s | 24 | 3688765 | 3593662 | 8630 993 | 678 | 1337
1470.13/1470.65 c 1470s | 24 | 3692126 | 3596962 | 8630 993 | 678 | 1337
1472.13/1472.66 c 1472s | 24 | 3696652 | 3601462 | 8630 994 | 678 | 1337
1474.13/1474.69 c 1474s | 24 | 3700923 | 3605662 | 8630 995 | 678 | 1337
1476.23/1476.73 c 1476s | 24 | 3705381 | 3610062 | 8630 996 | 678 | 1337
1478.23/1478.75 c 1478s | 24 | 3709015 | 3613662 | 8630 997 | 678 | 1337
1480.23/1480.78 c 1480s | 24 | 3713140 | 3617762 | 8630 998 | 678 | 1337
1482.44/1482.99 c 1482s | 24 | 3717472 | 3622062 | 8630 999 | 678 | 1337
1484.53/1485.01 c 1484s | 24 | 3722191 | 3626762 | 8630 1000 | 678 | 1337
1486.53/1487.02 c 1486s | 24 | 3726141 | 3630662 | 8630 1001 | 678 | 1337
1488.53/1489.06 c 1488s | 24 | 3730910 | 3635362 | 8630 1002 | 678 | 1337
1490.52/1491.06 c 1490s | 24 | 3735359 | 3639762 | 8630 1003 | 678 | 1337
1492.52/1493.10 c 1492s | 24 | 3739188 | 3643562 | 8630 1003 | 678 | 1337
1494.63/1495.13 c 1494s | 24 | 3743552 | 3647862 | 8630 1004 | 678 | 1337
1496.62/1497.16 c 1496s | 24 | 3748414 | 3652662 | 8630 1005 | 678 | 1337
1498.72/1499.20 c 1498s | 24 | 3752981 | 3657162 | 8630 1006 | 678 | 1337
1501.02/1501.54 c 1501s | 24 | 3755221 | 3659362 | 8630 1007 | 678 | 1337
1503.02/1503.57 c 1503s | 24 | 3760137 | 3664262 | 8630 1008 | 678 | 1337
1505.01/1505.58 c 1505s | 24 | 3764478 | 3668562 | 8630 1009 | 678 | 1337
1507.12/1507.62 c 1507s | 24 | 3768260 | 3672262 | 8630 1009 | 678 | 1337
1509.12/1509.65 c 1509s | 24 | 3772959 | 3676862 | 8630 1010 | 678 | 1337
1511.13/1511.66 c 1511s | 24 | 3777124 | 3680962 | 8630 1011 | 678 | 1337
1513.22/1513.79 c 1513s | 24 | 3781084 | 3684862 | 8630 1012 | 678 | 1337
1515.31/1515.83 c 1515s | 24 | 3784957 | 3688662 | 8630 1013 | 678 | 1337
1517.61/1518.15 c 1517s | 24 | 3789115 | 3692762 | 8630 1014 | 678 | 1337
1519.61/1520.15 c 1519s | 24 | 3793155 | 3696762 | 8630 1015 | 678 | 1337
1521.71/1522.26 c 1521s | 24 | 3797116 | 3700662 | 8630 1016 | 678 | 1337
1523.80/1524.31 c 1523s | 24 | 3800948 | 3704462 | 8630 1016 | 678 | 1337
1525.80/1526.31 c 1525s | 24 | 3804625 | 3708062 | 8630 1017 | 678 | 1337
1527.80/1528.36 c 1527s | 24 | 3807875 | 3711262 | 8630 1018 | 678 | 1337
1529.81/1530.39 c 1529s | 24 | 3811729 | 3715062 | 8630 1019 | 678 | 1337
1531.91/1532.41 c 1531s | 24 | 3815976 | 3719262 | 8630 1019 | 678 | 1337
1533.90/1534.46 c 1533s | 24 | 3820235 | 3723462 | 8630 1020 | 678 | 1337
1535.90/1536.49 c 1536s | 24 | 3823974 | 3727162 | 8630 1021 | 678 | 1337
1538.00/1538.51 c 1538s | 24 | 3827722 | 3730862 | 8630 1022 | 678 | 1337
1540.00/1540.53 c 1540s | 24 | 3832253 | 3735362 | 8630 1023 | 678 | 1337
1542.01/1542.56 c 1542s | 24 | 3836276 | 3739362 | 8630 1024 | 678 | 1337
1544.01/1544.59 c 1544s | 24 | 3840514 | 3743562 | 8630 1025 | 678 | 1337
1546.10/1546.62 c 1546s | 24 | 3843962 | 3746962 | 8630 1025 | 678 | 1337
1548.10/1548.63 c 1548s | 24 | 3847827 | 3750762 | 8630 1026 | 678 | 1337
1550.10/1550.68 c 1550s | 24 | 3852811 | 3755662 | 8630 1027 | 678 | 1337
1552.10/1552.68 c 1552s | 24 | 3856634 | 3759462 | 8630 1028 | 678 | 1337
1554.19/1554.70 c 1554s | 24 | 3861177 | 3763962 | 8630 1029 | 678 | 1337
1556.20/1556.72 c 1556s | 24 | 3865222 | 3767962 | 8630 1030 | 678 | 1337
1558.40/1558.95 c 1558s | 24 | 3869382 | 3772062 | 8630 1031 | 678 | 1337
1560.59/1561.18 c 1560s | 24 | 3873336 | 3775962 | 8630 1032 | 678 | 1337
1562.59/1563.20 c 1562s | 24 | 3877177 | 3779762 | 8630 1032 | 678 | 1337
1564.68/1565.21 c 1564s | 24 | 3881543 | 3784062 | 8630 1033 | 678 | 1337
1566.68/1567.22 c 1566s | 24 | 3885903 | 3788362 | 8630 1034 | 678 | 1337
1568.68/1569.27 c 1568s | 24 | 3890276 | 3792662 | 8630 1035 | 678 | 1337
1570.68/1571.27 c 1570s | 24 | 3894025 | 3796362 | 8630 1036 | 678 | 1337
1572.69/1573.29 c 1572s | 24 | 3899146 | 3801362 | 8630 1037 | 678 | 1337
1574.67/1575.30 c 1574s | 24 | 3903942 | 3806062 | 8630 1038 | 678 | 1337
1576.78/1577.31 c 1576s | 24 | 3905477 | 3807562 | 8630 1038 | 678 | 1337
1578.78/1579.32 c 1578s | 24 | 3910444 | 3812462 | 8630 1039 | 678 | 1337
1580.78/1581.32 c 1580s | 24 | 3914587 | 3816562 | 8630 1040 | 678 | 1337
1582.78/1583.32 c 1582s | 24 | 3918229 | 3820162 | 8630 1041 | 678 | 1337
1584.79/1585.34 c 1584s | 24 | 3921659 | 3823562 | 8630 1042 | 678 | 1337
1587.08/1587.67 c 1587s | 24 | 3926222 | 3828062 | 8630 1043 | 678 | 1337
1589.08/1589.70 c 1589s | 24 | 3931102 | 3832862 | 8630 1044 | 678 | 1337
1591.18/1591.73 c 1591s | 24 | 3934966 | 3836662 | 8630 1045 | 678 | 1337
1593.17/1593.76 c 1593s | 24 | 3939558 | 3841162 | 8630 1045 | 678 | 1337
1595.27/1595.89 c 1595s | 24 | 3943134 | 3844662 | 8630 1046 | 678 | 1337
1597.37/1597.91 c 1597s | 24 | 3948195 | 3849662 | 8630 1047 | 678 | 1337
1599.37/1599.93 c 1599s | 24 | 3952648 | 3854062 | 8630 1048 | 678 | 1337
1601.37/1601.95 c 1601s | 24 | 3956211 | 3857562 | 8630 1049 | 678 | 1337
1603.37/1603.95 c 1603s | 24 | 3960765 | 3862062 | 8630 1050 | 678 | 1337
1605.76/1606.33 c 1605s | 24 | 3964110 | 3865362 | 8630 1051 | 678 | 1337
1608.16/1608.77 c 1608s | 24 | 3968969 | 3870162 | 8630 1052 | 678 | 1337
1610.16/1610.78 c 1610s | 24 | 3973631 | 3874762 | 8630 1053 | 678 | 1337
1612.17/1612.78 c 1612s | 24 | 3977686 | 3878762 | 8630 1053 | 678 | 1337
1614.26/1614.82 c 1614s | 24 | 3981946 | 3882962 | 8630 1054 | 678 | 1337
1616.26/1616.84 c 1616s | 24 | 3985795 | 3886762 | 8630 1055 | 678 | 1337
1618.26/1618.88 c 1618s | 24 | 3989669 | 3890562 | 8630 1056 | 678 | 1337
1620.36/1620.92 c 1620s | 24 | 3994654 | 3895462 | 8630 1057 | 678 | 1337
1622.46/1623.04 c 1622s | 24 | 3997294 | 3898062 | 8630 1058 | 678 | 1337
1625.06/1625.60 c 1625s | 24 | 4001896 | 3902562 | 8630 1059 | 678 | 1337
1627.07/1627.62 c 1627s | 24 | 4007183 | 3907762 | 8630 1060 | 678 | 1337
1629.07/1629.64 c 1629s | 24 | 4011068 | 3911562 | 8630 1060 | 678 | 1337
1631.17/1631.70 c 1631s | 24 | 4015417 | 3915862 | 8630 1061 | 678 | 1337
1633.17/1633.74 c 1633s | 24 | 4019391 | 3919762 | 8630 1062 | 678 | 1337
1635.16/1635.78 c 1635s | 24 | 4023893 | 3924162 | 8630 1063 | 678 | 1337
1637.26/1637.80 c 1637s | 24 | 4027053 | 3927262 | 8630 1064 | 678 | 1337
1639.26/1639.81 c 1639s | 24 | 4031515 | 3931662 | 8630 1065 | 678 | 1337
1641.26/1641.82 c 1641s | 24 | 4035767 | 3935862 | 8630 1066 | 678 | 1337
1643.26/1643.84 c 1643s | 24 | 4039323 | 3939362 | 8630 1066 | 678 | 1337
1645.27/1645.87 c 1645s | 24 | 4043213 | 3943162 | 8630 1067 | 678 | 1337
1647.26/1647.87 c 1647s | 24 | 4048087 | 3947962 | 8630 1068 | 678 | 1337
1649.45/1650.01 c 1649s | 24 | 4050935 | 3950762 | 8630 1069 | 678 | 1337
1651.46/1652.05 c 1651s | 24 | 4055329 | 3955062 | 8630 1070 | 678 | 1337
1653.46/1654.08 c 1653s | 24 | 4059310 | 3958962 | 8630 1071 | 678 | 1337
1655.46/1656.09 c 1655s | 24 | 4062987 | 3962562 | 8630 1071 | 678 | 1337
1657.46/1658.09 c 1657s | 24 | 4066925 | 3966462 | 8630 1072 | 678 | 1337
1659.56/1660.13 c 1659s | 24 | 4071095 | 3970562 | 8630 1073 | 678 | 1337
1661.56/1662.15 c 1661s | 24 | 4075462 | 3974862 | 8630 1074 | 678 | 1337
1663.56/1664.15 c 1663s | 24 | 4079875 | 3979162 | 8630 1075 | 678 | 1337
1665.86/1666.43 c 1665s | 24 | 4083969 | 3983162 | 8630 1076 | 678 | 1337
1667.86/1668.45 c 1667s | 24 | 4088158 | 3987262 | 8630 1077 | 678 | 1337
1669.86/1670.46 c 1669s | 24 | 4092441 | 3991462 | 8630 1078 | 678 | 1337
1671.85/1672.48 c 1672s | 24 | 4096892 | 3995862 | 8630 1078 | 678 | 1337
1673.95/1674.50 c 1674s | 24 | 4100686 | 3999562 | 8630 1079 | 678 | 1337
1676.15/1676.74 c 1676s | 24 | 4104771 | 4003562 | 8630 1080 | 678 | 1337
1678.16/1678.79 c 1678s | 24 | 4109301 | 4007962 | 8630 1081 | 678 | 1337
1680.25/1680.81 c 1680s | 24 | 4113397 | 4011962 | 8630 1082 | 678 | 1337
1682.25/1682.85 c 1682s | 24 | 4118028 | 4016462 | 8630 1083 | 678 | 1337
1684.26/1684.89 c 1684s | 24 | 4120380 | 4018762 | 8630 1083 | 678 | 1337
1686.46/1687.02 c 1686s | 24 | 4123937 | 4022262 | 8630 1084 | 678 | 1337
1688.46/1689.03 c 1688s | 24 | 4128839 | 4027062 | 8630 1085 | 678 | 1337
1690.46/1691.04 c 1690s | 24 | 4132413 | 4030562 | 8630 1086 | 678 | 1337
1692.46/1693.06 c 1692s | 24 | 4135755 | 4033862 | 8630 1087 | 678 | 1337
1694.45/1695.07 c 1694s | 24 | 4139838 | 4037862 | 8630 1087 | 678 | 1337
1696.45/1697.07 c 1696s | 24 | 4143830 | 4041762 | 8630 1088 | 678 | 1337
1698.45/1699.08 c 1698s | 24 | 4148121 | 4045962 | 8630 1089 | 678 | 1337
1700.55/1701.11 c 1700s | 24 | 4151105 | 4048862 | 8630 1090 | 678 | 1337
1702.55/1703.13 c 1702s | 24 | 4156082 | 4053662 | 8630 1091 | 678 | 1337
1704.55/1705.17 c 1704s | 24 | 4159785 | 4057262 | 8630 1092 | 678 | 1337
1706.55/1707.19 c 1706s | 24 | 4164853 | 4062162 | 8630 1093 | 678 | 1337
1708.65/1709.22 c 1708s | 24 | 4167734 | 4064962 | 8630 1093 | 678 | 1337
1710.65/1711.23 c 1710s | 24 | 4172653 | 4069762 | 8630 1094 | 678 | 1337
1712.74/1713.35 c 1712s | 24 | 4176010 | 4073062 | 8630 1095 | 678 | 1337
1714.85/1715.47 c 1714s | 24 | 4179654 | 4076662 | 8630 1096 | 678 | 1337
1716.95/1717.50 c 1717s | 24 | 4184861 | 4081762 | 8630 1097 | 678 | 1337
1718.96/1719.53 c 1719s | 24 | 4188726 | 4085562 | 8630 1098 | 678 | 1337
1720.95/1721.55 c 1721s | 24 | 4193739 | 4090462 | 8630 1099 | 678 | 1337
1722.95/1723.56 c 1723s | 24 | 4196586 | 4093262 | 8630 1099 | 678 | 1337
1724.95/1725.59 c 1725s | 24 | 4201631 | 4098162 | 8630 1100 | 678 | 1337
1727.05/1727.63 c 1727s | 24 | 4206277 | 4102662 | 8630 1101 | 678 | 1337
1729.05/1729.64 c 1729s | 24 | 4209994 | 4106162 | 8630 1102 | 678 | 1337
1731.05/1731.65 c 1731s | 24 | 4214796 | 4110862 | 8630 1103 | 678 | 1337
1733.04/1733.66 c 1733s | 24 | 4219599 | 4115462 | 8630 1104 | 678 | 1337
1735.04/1735.68 c 1735s | 24 | 4222276 | 4118062 | 8630 1105 | 678 | 1337
1737.14/1737.72 c 1737s | 24 | 4225762 | 4121462 | 8630 1105 | 678 | 1337
1739.14/1739.76 c 1739s | 24 | 4229828 | 4125462 | 8630 1106 | 678 | 1337
1741.14/1741.78 c 1741s | 24 | 4233515 | 4129062 | 8630 1107 | 678 | 1337
1743.15/1743.79 c 1743s | 24 | 4237374 | 4132862 | 8630 1108 | 678 | 1337
1745.45/1746.06 c 1745s | 24 | 4241901 | 4137262 | 8630 1109 | 678 | 1337
1747.55/1748.11 c 1747s | 24 | 4246025 | 4141262 | 8630 1109 | 678 | 1337
1749.55/1750.11 c 1749s | 24 | 4250074 | 4145162 | 8630 1110 | 678 | 1337
1751.54/1752.16 c 1751s | 24 | 4254932 | 4149862 | 8630 1111 | 678 | 1337
1753.54/1754.17 c 1753s | 24 | 4259688 | 4154462 | 8630 1112 | 678 | 1337
1755.54/1756.18 c 1755s | 24 | 4263758 | 4158362 | 8630 1113 | 678 | 1337
1757.54/1758.18 c 1757s | 24 | 4267877 | 4162362 | 8630 1114 | 678 | 1337
1759.65/1760.22 c 1759s | 24 | 4271630 | 4166062 | 8630 1115 | 678 | 1337
1762.04/1762.64 c 1762s | 24 | 4276526 | 4170862 | 8630 1116 | 678 | 1337
1764.05/1764.65 c 1764s | 24 | 4281411 | 4175562 | 8630 1117 | 678 | 1337
1766.04/1766.66 c 1766s | 24 | 4285116 | 4179162 | 8630 1118 | 678 | 1337
1768.04/1768.66 c 1768s | 24 | 4288855 | 4182862 | 8630 1118 | 678 | 1337
1770.04/1770.67 c 1770s | 24 | 4293339 | 4187262 | 8630 1119 | 678 | 1337
1772.14/1772.71 c 1772s | 24 | 4297350 | 4191162 | 8630 1120 | 678 | 1337
1774.14/1774.73 c 1774s | 24 | 4301118 | 4194862 | 8630 1121 | 678 | 1337
1776.14/1776.74 c 1776s | 24 | 4305433 | 4199062 | 8630 1122 | 678 | 1337
1778.14/1778.76 c 1778s | 24 | 4309911 | 4203462 | 8630 1123 | 678 | 1337
1780.14/1780.79 c 1780s | 24 | 4314836 | 4208262 | 8630 1124 | 678 | 1337
1782.75/1783.36 c 1782s | 24 | 4318657 | 4211962 | 8630 1125 | 678 | 1337
1784.74/1785.40 c 1784s | 24 | 4323663 | 4216862 | 8630 1126 | 678 | 1337
1786.84/1787.41 c 1786s | 24 | 4327467 | 4220562 | 8630 1126 | 678 | 1337
1788.84/1789.45 c 1788s | 24 | 4332007 | 4224962 | 8630 1127 | 678 | 1337
1790.84/1791.45 c 1790s | 24 | 4336669 | 4229462 | 8630 1128 | 678 | 1337
1792.84/1793.48 c 1792s | 24 | 4340455 | 4233162 | 8630 1129 | 678 | 1337
1795.54/1796.12 c 1795s | 24 | 4345122 | 4237762 | 8630 1130 | 678 | 1337
1797.53/1798.13 c 1797s | 24 | 4349823 | 4242362 | 8630 1131 | 678 | 1337
1799.53/1800.16 c 1799s | 24 | 4352887 | 4245362 | 8630 1132 | 678 | 1337
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-4106721-1467239635/watcher-4106721-1467239635 -o /tmp/evaluation-result-4106721-1467239635/solver-4106721-1467239635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467208982-19136 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106721-1467239635.opb
pid=22411
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.31 2.27 2.26 3/179 22414
/proc/meminfo: memFree=28486564/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=440764 CPUtime=0 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 1593 0 0 0 0 0 0 0 20 0 4 0 13992049 451342336 1442 33554432000 4194304 16246674 140735042416608 140735042416032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22414/statm: 110703 1453 441 2943 0 107597 0
[pid=22414/tid=22415] ppid=22411 vsize=457148 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 468119552 1510 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=461244 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 472313856 1525 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=465340 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13992049 476508160 1541 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[startup+0.10018 s]
/proc/loadavg: 2.31 2.27 2.26 3/179 22414
/proc/meminfo: memFree=28486564/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 23484 0 0 0 6 3 0 0 20 0 4 0 13992049 1247350784 23319 33554432000 4194304 16246674 140735042416608 140735042416032 5997438 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22414/statm: 304529 23323 791 2943 0 301423 0
[pid=22414/tid=22415] ppid=22411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1247350784 23329 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1247350784 23337 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13992049 1247350784 23346 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200572 s]
/proc/loadavg: 2.31 2.27 2.26 3/179 22414
/proc/meminfo: memFree=28486564/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 48993 0 0 0 12 6 0 0 20 0 4 0 13992049 1247350784 48828 33554432000 4194304 16246674 140735042416608 140735042416032 5677541 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22414/statm: 304529 48837 792 2943 0 301423 0
[pid=22414/tid=22415] ppid=22411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1247350784 48847 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1247350784 48858 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13992049 1247350784 48865 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116
[startup+0.300503 s]
/proc/loadavg: 2.31 2.27 2.26 3/179 22414
/proc/meminfo: memFree=28486564/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 74781 0 0 0 18 11 0 0 20 0 4 0 13992049 1247350784 74617 33554432000 4194304 16246674 140735042416608 140735042399608 5546181 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22414/statm: 304529 74637 792 2943 0 301423 0
[pid=22414/tid=22415] ppid=22411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1247350784 74645 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1247350784 74652 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13992049 1247350784 74657 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700416 s]
/proc/loadavg: 2.31 2.27 2.26 3/179 22414
/proc/meminfo: memFree=28486564/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 177820 0 0 0 44 24 0 0 20 0 4 0 13992049 1247350784 177655 33554432000 4194304 16246674 140735042416608 140735042398528 12875570 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22414/statm: 304529 177674 792 2943 0 301423 0
[pid=22414/tid=22415] ppid=22411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1247350784 177683 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1247350784 177693 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13992049 1247350784 177695 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116
[startup+1.50044 s]
/proc/loadavg: 2.31 2.27 2.26 3/183 22418
/proc/meminfo: memFree=27502924/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1221188 CPUtime=1.48 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 246289 0 0 0 115 33 0 0 20 0 4 0 13992049 1250496512 246103 33554432000 4194304 16246674 140735042416608 140735042398528 5722987 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22414/statm: 305297 246103 851 2943 0 302191 0
[pid=22414/tid=22415] ppid=22411 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1250496512 246103 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1250496512 246103 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1250496512 246103 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1221188
[startup+3.10038 s]
/proc/loadavg: 2.31 2.27 2.26 3/183 22418
/proc/meminfo: memFree=27415256/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1309252 CPUtime=3.09 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 268411 0 0 0 272 37 0 0 20 0 4 0 13992049 1340674048 268225 33554432000 4194304 16246674 140735042416608 140735042398528 5672249 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22414/statm: 327313 268225 852 2943 0 324207 0
[pid=22414/tid=22415] ppid=22411 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1340674048 268225 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1340674048 268225 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1340674048 268225 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1309252
[startup+6.30042 s]
/proc/loadavg: 2.28 2.26 2.26 3/183 22418
/proc/meminfo: memFree=27412164/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 268923 0 0 0 592 37 0 0 20 0 4 0 13992049 1342771200 268737 33554432000 4194304 16246674 140735042416608 140735042398528 5721701 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22414/statm: 327825 268737 852 2943 0 324719 0
[pid=22414/tid=22415] ppid=22411 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1342771200 268737 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1342771200 268737 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1342771200 268737 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300
[startup+12.7004 s]
/proc/loadavg: 2.26 2.26 2.25 3/183 22418
/proc/meminfo: memFree=27412412/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 268925 0 0 0 1232 37 0 0 20 0 4 0 13992049 1342771200 268739 33554432000 4194304 16246674 140735042416608 140735042415704 5722908 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22414/statm: 327825 268739 854 2943 0 324719 0
[pid=22414/tid=22415] ppid=22411 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1342771200 268739 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1342771200 268739 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1342771200 268739 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300
[startup+25.5075 s]
/proc/loadavg: 2.35 2.28 2.26 4/183 22418
/proc/meminfo: memFree=27410908/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 269439 0 0 0 2512 37 0 0 20 0 4 0 13992049 1344868352 269253 33554432000 4194304 16246674 140735042416608 140735042399608 5721418 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22414/statm: 328337 269253 856 2943 0 325231 0
[pid=22414/tid=22415] ppid=22411 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1344868352 269253 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1344868352 269253 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1344868352 269253 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348
[startup+51.1004 s]
/proc/loadavg: 2.36 2.29 2.26 3/183 22418
/proc/meminfo: memFree=27410672/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 269439 0 0 0 5070 38 0 0 20 0 4 0 13992049 1344868352 269253 33554432000 4194304 16246674 140735042416608 140735042398528 5721352 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22414/statm: 328337 269253 856 2943 0 325231 0
[pid=22414/tid=22415] ppid=22411 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1344868352 269253 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1344868352 269253 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1344868352 269253 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348
[startup+102.3 s]
/proc/loadavg: 2.31 2.29 2.27 3/183 22419
/proc/meminfo: memFree=27398292/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1325636 CPUtime=102.27 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 272511 0 0 0 10188 39 0 0 20 0 4 0 13992049 1357451264 272325 33554432000 4194304 16246674 140735042416608 140735042415784 5677492 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22414/statm: 331409 272325 856 2943 0 328303 0
[pid=22414/tid=22415] ppid=22411 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1357451264 272325 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1357451264 272325 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1357451264 272325 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1325636
################
# More data... #
################
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1344068
[startup+1362.3 s]
/proc/loadavg: 2.22 2.21 2.22 3/183 22498
/proc/meminfo: memFree=26411504/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1344068 CPUtime=1361.9 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 277398 0 0 0 136115 75 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 140735042415704 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22414/statm: 336017 277189 856 2943 0 332911 0
[pid=22414/tid=22415] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1344068
[startup+1422.3 s]
/proc/loadavg: 2.15 2.20 2.22 4/183 22500
/proc/meminfo: memFree=26304788/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1344068 CPUtime=1421.86 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 277436 0 0 0 142110 76 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 140735042398528 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22414/statm: 336017 277189 856 2943 0 332911 0
[pid=22414/tid=22415] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1344068
[startup+1482.3 s]
/proc/loadavg: 2.23 2.21 2.22 3/183 22501
/proc/meminfo: memFree=26227408/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1344068 CPUtime=1481.83 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 277471 0 0 0 148105 78 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 140735042398528 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22414/statm: 336017 277189 856 2943 0 332911 0
[pid=22414/tid=22415] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1344068
[startup+1542.3 s]
/proc/loadavg: 2.17 2.20 2.21 3/183 22502
/proc/meminfo: memFree=26127668/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1344068 CPUtime=1541.81 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 277506 0 0 0 154100 81 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 140735042398528 5823086 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22414/statm: 336017 277189 856 2943 0 332911 0
[pid=22414/tid=22415] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277189 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1344068
[startup+1602.3 s]
/proc/loadavg: 2.30 2.23 2.22 3/184 22506
/proc/meminfo: memFree=26045324/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1344068 CPUtime=1601.77 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 277547 0 0 0 160095 82 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 140735042398528 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22414/statm: 336017 277190 856 2943 0 332911 0
[pid=22414/tid=22415] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1344068
[startup+1662.31 s]
/proc/loadavg: 2.22 2.22 2.21 3/184 22530
/proc/meminfo: memFree=25970376/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1344068 CPUtime=1661.76 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 277550 0 0 0 166092 84 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 140735042398528 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22414/statm: 336017 277190 856 2943 0 332911 0
[pid=22414/tid=22415] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1344068
[startup+1722.3 s]
/proc/loadavg: 2.27 2.22 2.21 3/183 22532
/proc/meminfo: memFree=25890812/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1344068 CPUtime=1721.75 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 277550 0 0 0 172089 86 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 140735042398528 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22414/statm: 336017 277190 856 2943 0 332911 0
[pid=22414/tid=22415] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1344068
[startup+1782.3 s]
/proc/loadavg: 2.10 2.19 2.20 3/183 22533
/proc/meminfo: memFree=25815320/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1344068 CPUtime=1781.74 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 277550 0 0 0 178087 87 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 140735042398528 12483387 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22414/statm: 336017 277190 856 2943 0 332911 0
[pid=22414/tid=22415] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1344068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.14 2.20 2.20 3/183 22534
/proc/meminfo: memFree=25782788/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1344068 CPUtime=1800.03 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 277550 0 0 0 179915 88 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 140735042399608 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22414/statm: 336017 277190 856 2943 0 332911 0
[pid=22414/tid=22415] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1344068
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 22414 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.14 2.20 2.20 3/183 22534
/proc/meminfo: memFree=25782788/32872528 swapFree=1394328/1580332
[pid=22414] ppid=22411 vsize=1344068 CPUtime=1800.03 cores=1,3,5,7
/proc/22414/stat : 22414 (toysat) R 22411 22414 19119 0 -1 4202496 277550 0 0 0 179915 88 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 140735042399608 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22414/statm: 336017 277190 856 2943 0 332911 0
[pid=22414/tid=22415] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22415/stat : 22415 (toysat) S 22411 22414 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801696120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22414/tid=22416] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22416/stat : 22416 (toysat) S 22411 22414 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801685630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22414/tid=22417] ppid=22411 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22414/task/22417/stat : 22417 (toysat) S 22411 22414 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13992049 1376325632 277190 33554432000 4194304 16246674 140735042416608 139801675156656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1344068
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.16
CPU system time (s): 0.888864
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1344068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 0.888864
maximum resident set size= 1108760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277550
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= 444
involuntary context switches= 2612
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2393 second user time and 17.9373 second system time
The end