0.00/0.00 c 2016-06-18T20:46:49+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-4106667-1466275608.opb"]
0.00/0.01 c use --random-gen="3856860371 465502800 332959321 224287970 3281257020 3015420746 2223234791 250613187 1775412128 3147212584 4029448224 3241888671 1196481072 1439084002 3821209919 720259222 3034149661 1553159689 449220962 621584286 3108707269 935373729 1087190932 567600834 3291123482 2468440071 874496228 1520818076 1272892447 3023045603 1521971528 506439922 2858894358 3250341718 3893363012 4171285932 892606250 267861774 67755494 3006950216 727959275 461643258 1898958070 870537823 1054712977 1549899885 520545090 1696497277 101597565 1718056660 2409323159 3676764995 3965585298 3398101681 1377071244 2397506134 2287562069 1011788791 527543688 739728419 1940797210 2643267761 231737275 4046147864 236028281 2829816918 3510688638 1037531333 3677205827 298893335 1869323758 1783191611 605394763 3182713345 3123278393 2267479100 680022503 4044805862 970018556 2906111520 761501069 2218682406 414040160 648958558 547084651 2930406378 3168076334 2793401723 2691191699 1923335880 3340336928 1275517347 3109771800 87141100 3430947042 2885884873 1622808995 2037247912 361273150 3360755688 34909224 533347996 3836780126 892185290 3937215402 448925457 1829385711 855198810 3850968492 4203839638 1606728544 2992303194 130280147 2273145924 526651971 2600762135 4220223483 3077856494 1927411164 2484666717 1552151202 1476575788 3632475405 2526395804 1176343553 3441802001 2882052932 757729035 897536236 1581097102 12131570 3500306814 136065887 714351745 3546243898 1206058528 3321601564 1860580581 213774071 785584906 4172331173 1514571027 3628369655 3488232541 2349511500 361783620 1566322594 1907955590 2458142762 1191148147 599237912 1056994966 932875155 3886975068 1633893125 1366013885 3936991131 90671089 3630452649 1393601008 934101553 3592860270 2613015205 1160038887 4276799041 3793511870 3360856225 3558448552 2168618825 2785271499 1687435426 1472972828 3466985950 2034969058 4170907841 2364080403 3282723054 1586557619 4043553016 1974923721 191156134 502245202 684027150 2599602550 3435776747 2225081672 686359359 2682372284 3604385202 1850031028 3749607255 2885861928 3465321449 4129396207 2430160035 2803315390 1206506362 1298327054 888058098 662296706 1756971430 3241632675 2033753891 3540691975 2378806649 3881772054 3444465800 689147172 46248101 723463936 2759913229 3304545621 870933813 2547827624 3360130121 1589175535 1865822140 2288584771 2271738084 3722039494 398983744 1597778058 677177465 3056622411 3454464186 706754162 2965029481 3413559396 19335381 2584446977 1697399931 3281450158 1178446292 4249132031 1517035749 4283808870 3087819007 3225950028 225409171 322730815 4010059056 2089662486 1126897905 225277649 1050463520 3365970261 3364842964 3288516079 2964497537 2063482051 1983919935 115130453 3196233660 3276431159 381279 610056903 255 362436" option to reproduce the execution
0.00/0.02 c #vars 200
0.00/0.02 c #constraints 200
0.00/0.05 c BCD2: Hardening is enabled.
0.00/0.05 c BCD2: BiasedSearch is enabled.
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 | 1725 0 | 1244 | 0
0.00/0.06 c 0.0s | 0 | 45 | 0 | 1725 0 | 1244 | 2488
0.00/0.06 c #cpu_time = 0.007s
0.00/0.06 c #wall_clock_time = 0.007s
0.00/0.06 c #decision = 45
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 o -45
0.00/0.06 c BCD2: updating upper bound: 200 -> 154
0.00/0.06 c BCD2: 0 <= obj <= 154
0.00/0.06 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=1 bias=1/2
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 | 1725 0 | 1244 | 2488
0.00/0.06 c 0.0s | 0 | 1 | 0 | 1725 0 | 1244 | 2488
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 = 1
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 -199
0.00/0.06 c BCD2: 1 <= obj <= 154
0.00/0.06 c BCD2: #cores=1, #unrelaxed=198, #relaxed=2, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=2 bias=2/3
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 | 1725 0 | 1244 | 2489
0.00/0.06 c 0.0s | 0 | 5 | 0 | 1725 0 | 1244 | 2489
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 = 5
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 -198
0.00/0.06 c BCD2: 2 <= obj <= 154
0.00/0.06 c BCD2: #cores=2, #unrelaxed=196, #relaxed=4, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=3 bias=3/4
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 | 1725 0 | 1244 | 2490
0.00/0.06 c 0.0s | 0 | 5 | 0 | 1725 0 | 1244 | 2490
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 = 5
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 -197
0.00/0.06 c BCD2: 3 <= obj <= 154
0.00/0.06 c BCD2: #cores=3, #unrelaxed=194, #relaxed=6, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=4 bias=4/5
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 | 1725 0 | 1244 | 2491
0.00/0.06 c 0.0s | 0 | 7 | 0 | 1725 0 | 1244 | 2491
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 -196
0.00/0.06 c BCD2: 4 <= obj <= 154
0.00/0.06 c BCD2: #cores=4, #unrelaxed=192, #relaxed=8, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=5 bias=5/6
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 | 1725 0 | 1244 | 2492
0.00/0.07 c 0.0s | 0 | 10 | 0 | 1725 0 | 1244 | 2492
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: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -195
0.00/0.07 c BCD2: 5 <= obj <= 154
0.00/0.07 c BCD2: #cores=5, #unrelaxed=190, #relaxed=10, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=6 bias=6/7
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 | 1725 0 | 1244 | 2493
0.00/0.07 c 0.0s | 0 | 11 | 0 | 1725 0 | 1244 | 2493
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: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -194
0.00/0.07 c BCD2: 6 <= obj <= 154
0.00/0.07 c BCD2: #cores=6, #unrelaxed=188, #relaxed=12, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=7 bias=7/8
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 | 1725 0 | 1244 | 2494
0.00/0.07 c 0.0s | 0 | 12 | 0 | 1725 0 | 1244 | 2494
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 -193
0.00/0.07 c BCD2: 7 <= obj <= 154
0.00/0.07 c BCD2: #cores=7, #unrelaxed=186, #relaxed=14, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=8 bias=8/9
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 | 1725 0 | 1244 | 2495
0.00/0.07 c 0.0s | 0 | 17 | 0 | 1725 0 | 1244 | 2495
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 = 17
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 -192
0.00/0.07 c BCD2: 8 <= obj <= 154
0.00/0.07 c BCD2: #cores=7, #unrelaxed=184, #relaxed=16, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=9 bias=9/10
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 | 1725 0 | 1245 | 2495
0.00/0.07 c 0.0s | 0 | 16 | 0 | 1725 0 | 1245 | 2496
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 = 16
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 6: cost of the new core is >=3
0.00/0.07 c lower bound updated to -191
0.00/0.07 c BCD2: 9 <= obj <= 154
0.00/0.07 c BCD2: #cores=6, #unrelaxed=182, #relaxed=18, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=10 bias=10/11
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 | 1725 0 | 1247 | 2496
0.00/0.07 c 0.0s | 0 | 14 | 0 | 1725 0 | 1247 | 2498
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 14
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -190
0.00/0.07 c BCD2: 10 <= obj <= 154
0.00/0.07 c BCD2: #cores=7, #unrelaxed=180, #relaxed=20, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=11 bias=11/12
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 | 1725 0 | 1247 | 2499
0.00/0.08 c 0.0s | 0 | 14 | 0 | 1725 0 | 1247 | 2499
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 = 14
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 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.08 c lower bound updated to -189
0.00/0.08 c BCD2: 11 <= obj <= 154
0.00/0.08 c BCD2: #cores=7, #unrelaxed=178, #relaxed=22, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=12 bias=12/13
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 | 1725 0 | 1248 | 2499
0.00/0.08 c 0.0s | 0 | 13 | 0 | 1725 0 | 1248 | 2500
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 13
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -188
0.00/0.08 c BCD2: 12 <= obj <= 154
0.00/0.08 c BCD2: #cores=8, #unrelaxed=176, #relaxed=24, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=13 bias=13/14
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 | 1725 0 | 1248 | 2501
0.00/0.08 c 0.0s | 0 | 13 | 0 | 1725 0 | 1248 | 2501
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 13
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -187
0.00/0.08 c BCD2: 13 <= obj <= 154
0.00/0.08 c BCD2: #cores=9, #unrelaxed=174, #relaxed=26, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=14 bias=14/15
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 | 1725 0 | 1248 | 2502
0.00/0.08 c 0.0s | 0 | 17 | 0 | 1725 0 | 1248 | 2502
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 = 17
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 -186
0.00/0.08 c BCD2: 14 <= obj <= 154
0.00/0.08 c BCD2: #cores=10, #unrelaxed=172, #relaxed=28, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=15 bias=15/16
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 | 1725 0 | 1248 | 2503
0.00/0.08 c 0.0s | 0 | 17 | 0 | 1725 0 | 1248 | 2503
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 = 17
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 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.08 c lower bound updated to -185
0.00/0.08 c BCD2: 15 <= obj <= 154
0.00/0.08 c BCD2: #cores=10, #unrelaxed=170, #relaxed=30, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=16 bias=16/17
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 | 1725 0 | 1249 | 2503
0.00/0.08 c 0.0s | 0 | 16 | 0 | 1725 0 | 1249 | 2504
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 16
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 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 -184
0.00/0.08 c BCD2: 16 <= obj <= 154
0.00/0.08 c BCD2: #cores=11, #unrelaxed=168, #relaxed=32, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=17 bias=17/18
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 | 1725 0 | 1249 | 2505
0.00/0.08 c 0.0s | 0 | 17 | 0 | 1725 0 | 1249 | 2505
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 = 17
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 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.08 c lower bound updated to -183
0.00/0.08 c BCD2: 17 <= obj <= 154
0.00/0.08 c BCD2: #cores=11, #unrelaxed=166, #relaxed=34, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=18 bias=18/19
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 | 1725 0 | 1250 | 2505
0.00/0.09 c 0.0s | 0 | 16 | 0 | 1725 0 | 1250 | 2506
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 = 16
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.09 c lower bound updated to -182
0.00/0.09 c BCD2: 18 <= obj <= 154
0.00/0.09 c BCD2: #cores=12, #unrelaxed=164, #relaxed=36, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=19 bias=19/20
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 | 1725 0 | 1250 | 2507
0.00/0.09 c 0.0s | 0 | 16 | 0 | 1725 0 | 1250 | 2507
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 = 16
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.09 c lower bound updated to -181
0.00/0.09 c BCD2: 19 <= obj <= 154
0.00/0.09 c BCD2: #cores=12, #unrelaxed=162, #relaxed=38, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=20 bias=20/21
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 | 1725 0 | 1251 | 2507
0.00/0.09 c 0.0s | 0 | 18 | 0 | 1725 0 | 1251 | 2508
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 = 18
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.09 c lower bound updated to -180
0.00/0.09 c BCD2: 20 <= obj <= 154
0.00/0.09 c BCD2: #cores=12, #unrelaxed=160, #relaxed=40, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=21 bias=21/22
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 | 1725 0 | 1252 | 2508
0.00/0.09 c 0.0s | 0 | 18 | 0 | 1725 0 | 1252 | 2509
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 = 18
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 4 and merging with 2 cores into a new core of size 10: cost of the new core is >=4
0.00/0.09 c lower bound updated to -179
0.00/0.09 c BCD2: 21 <= obj <= 154
0.00/0.09 c BCD2: #cores=11, #unrelaxed=156, #relaxed=44, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=22 bias=22/23
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 | 1725 0 | 1254 | 2509
0.00/0.09 c 0.0s | 0 | 14 | 0 | 1725 0 | 1254 | 2511
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 = 14
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.09 c lower bound updated to -178
0.00/0.09 c BCD2: 22 <= obj <= 154
0.00/0.09 c BCD2: #cores=12, #unrelaxed=154, #relaxed=46, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=23 bias=23/24
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 | 1725 0 | 1254 | 2512
0.00/0.09 c 0.0s | 0 | 17 | 0 | 1725 0 | 1254 | 2512
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 = 17
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.09 c lower bound updated to -177
0.00/0.09 c BCD2: 23 <= obj <= 154
0.00/0.09 c BCD2: #cores=13, #unrelaxed=152, #relaxed=48, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=24 bias=24/25
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 | 1725 0 | 1254 | 2513
0.00/0.09 c 0.0s | 0 | 18 | 0 | 1725 0 | 1254 | 2513
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 = 18
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.09 c lower bound updated to -176
0.00/0.09 c BCD2: 24 <= obj <= 154
0.00/0.09 c BCD2: #cores=14, #unrelaxed=150, #relaxed=50, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=25 bias=25/26
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 | 1725 0 | 1254 | 2514
0.08/0.10 c 0.0s | 0 | 18 | 0 | 1725 0 | 1254 | 2514
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 18
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 0
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.10 c lower bound updated to -175
0.08/0.10 c BCD2: 25 <= obj <= 154
0.08/0.10 c BCD2: #cores=15, #unrelaxed=148, #relaxed=52, #hardened=0
0.08/0.10 c BCD2: #sat=1 #unsat=26 bias=26/27
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 1725 0 | 1254 | 2515
0.08/0.10 c 0.0s | 0 | 18 | 0 | 1725 0 | 1254 | 2515
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 18
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 0
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.10 c lower bound updated to -174
0.08/0.10 c BCD2: 26 <= obj <= 154
0.08/0.10 c BCD2: #cores=16, #unrelaxed=146, #relaxed=54, #hardened=0
0.08/0.10 c BCD2: #sat=1 #unsat=27 bias=27/28
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 1725 0 | 1254 | 2516
0.08/0.10 c 0.0s | 0 | 19 | 0 | 1725 0 | 1254 | 2516
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 19
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 0
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 7: cost of the new core is >=3
0.08/0.10 c lower bound updated to -173
0.08/0.10 c BCD2: 27 <= obj <= 154
0.08/0.10 c BCD2: #cores=16, #unrelaxed=143, #relaxed=57, #hardened=0
0.08/0.10 c BCD2: #sat=1 #unsat=28 bias=28/29
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 1725 0 | 1255 | 2516
0.08/0.10 c 0.0s | 0 | 19 | 0 | 1725 0 | 1255 | 2517
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 19
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 0
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.08/0.10 c lower bound updated to -172
0.08/0.10 c BCD2: 28 <= obj <= 154
0.08/0.10 c BCD2: #cores=16, #unrelaxed=141, #relaxed=59, #hardened=0
0.08/0.10 c BCD2: #sat=1 #unsat=29 bias=29/30
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 1725 0 | 1256 | 2517
0.08/0.10 c 0.0s | 0 | 20 | 1 | 1725 0 | 1256 | 2518
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 20
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 1
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 8: cost of the new core is >=4
0.08/0.10 c lower bound updated to -171
0.08/0.10 c BCD2: 29 <= obj <= 154
0.08/0.10 c BCD2: #cores=16, #unrelaxed=139, #relaxed=61, #hardened=0
0.08/0.10 c BCD2: #sat=1 #unsat=30 bias=30/31
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 1725 0 | 1257 | 2518
0.08/0.10 c 0.0s | 0 | 17 | 0 | 1725 0 | 1257 | 2519
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 17
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 0
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.08/0.10 c lower bound updated to -170
0.08/0.10 c BCD2: 30 <= obj <= 154
0.08/0.10 c BCD2: #cores=16, #unrelaxed=137, #relaxed=63, #hardened=0
0.08/0.10 c BCD2: #sat=1 #unsat=31 bias=31/32
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 1725 0 | 1258 | 2519
0.08/0.10 c 0.0s | 0 | 19 | 0 | 1725 0 | 1258 | 2520
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 19
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 0
0.08/0.10 c #restart = 0
0.08/0.11 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.11 c lower bound updated to -169
0.08/0.11 c BCD2: 31 <= obj <= 154
0.08/0.11 c BCD2: #cores=17, #unrelaxed=135, #relaxed=65, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=32 bias=32/33
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 1725 0 | 1258 | 2521
0.08/0.11 c 0.0s | 0 | 21 | 1 | 1725 0 | 1258 | 2521
0.08/0.11 c #cpu_time = 0.001s
0.08/0.11 c #wall_clock_time = 0.001s
0.08/0.11 c #decision = 21
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 1
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 13: cost of the new core is >=6
0.08/0.11 c lower bound updated to -168
0.08/0.11 c BCD2: 32 <= obj <= 154
0.08/0.11 c BCD2: #cores=16, #unrelaxed=132, #relaxed=68, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=33 bias=33/34
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 1725 0 | 1260 | 2521
0.08/0.11 c 0.0s | 0 | 20 | 0 | 1725 0 | 1260 | 2523
0.08/0.11 c #cpu_time = 0.001s
0.08/0.11 c #wall_clock_time = 0.001s
0.08/0.11 c #decision = 20
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 0
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: relaxing 3 and merging with 3 cores into a new core of size 11: cost of the new core is >=5
0.08/0.11 c lower bound updated to -167
0.08/0.11 c BCD2: 33 <= obj <= 154
0.08/0.11 c BCD2: #cores=14, #unrelaxed=129, #relaxed=71, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=34 bias=34/35
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 1725 0 | 1263 | 2523
0.08/0.11 c 0.0s | 0 | 20 | 1 | 1725 0 | 1263 | 2526
0.08/0.11 c #cpu_time = 0.001s
0.08/0.11 c #wall_clock_time = 0.001s
0.08/0.11 c #decision = 20
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 1
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: relaxing 6 and merging with 6 cores into a new core of size 33: cost of the new core is >=14
0.08/0.11 c lower bound updated to -166
0.08/0.11 c BCD2: 34 <= obj <= 154
0.08/0.11 c BCD2: #cores=9, #unrelaxed=123, #relaxed=77, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=35 bias=35/36
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 1725 0 | 1269 | 2526
0.08/0.11 c 0.0s | 0 | 13 | 0 | 1725 0 | 1269 | 2532
0.08/0.11 c #cpu_time = 0.001s
0.08/0.11 c #wall_clock_time = 0.001s
0.08/0.11 c #decision = 13
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 0
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.08/0.11 c lower bound updated to -165
0.08/0.11 c BCD2: 35 <= obj <= 154
0.08/0.11 c BCD2: #cores=9, #unrelaxed=121, #relaxed=79, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=36 bias=36/37
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 1725 0 | 1270 | 2532
0.08/0.11 c 0.0s | 0 | 12 | 0 | 1725 0 | 1270 | 2533
0.08/0.11 c #cpu_time = 0.001s
0.08/0.11 c #wall_clock_time = 0.001s
0.08/0.11 c #decision = 12
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 0
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.11 c lower bound updated to -164
0.08/0.11 c BCD2: 36 <= obj <= 154
0.08/0.11 c BCD2: #cores=10, #unrelaxed=119, #relaxed=81, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=37 bias=37/38
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 1725 0 | 1270 | 2534
0.08/0.11 c 0.0s | 0 | 15 | 0 | 1725 0 | 1270 | 2534
0.08/0.11 c #cpu_time = 0.001s
0.08/0.11 c #wall_clock_time = 0.001s
0.08/0.11 c #decision = 15
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 0
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.11 c lower bound updated to -163
0.08/0.11 c BCD2: 37 <= obj <= 154
0.08/0.11 c BCD2: #cores=11, #unrelaxed=117, #relaxed=83, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=38 bias=38/39
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 1725 0 | 1270 | 2535
0.08/0.12 c 0.0s | 0 | 19 | 0 | 1725 0 | 1270 | 2535
0.08/0.12 c #cpu_time = 0.001s
0.08/0.12 c #wall_clock_time = 0.001s
0.08/0.12 c #decision = 19
0.08/0.12 c #random_decision = 0
0.08/0.12 c #conflict = 0
0.08/0.12 c #restart = 0
0.08/0.12 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.12 c lower bound updated to -162
0.08/0.12 c BCD2: 38 <= obj <= 154
0.08/0.12 c BCD2: #cores=12, #unrelaxed=115, #relaxed=85, #hardened=0
0.08/0.12 c BCD2: #sat=1 #unsat=39 bias=39/40
0.08/0.12 c Solving starts ...
0.08/0.12 c ============================[ Search Statistics ]============================
0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.12 c | | | | Limit GC | Var | Constra
0.08/0.12 c =============================================================================
0.08/0.12 c 0.0s | 0 | 0 | 0 | 1725 0 | 1270 | 2536
0.08/0.12 c 0.0s | 0 | 19 | 0 | 1725 0 | 1270 | 2536
0.08/0.12 c #cpu_time = 0.001s
0.08/0.12 c #wall_clock_time = 0.001s
0.08/0.12 c #decision = 19
0.08/0.12 c #random_decision = 0
0.08/0.12 c #conflict = 0
0.08/0.12 c #restart = 0
0.08/0.12 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.12 c lower bound updated to -161
0.08/0.12 c BCD2: 39 <= obj <= 154
0.08/0.12 c BCD2: #cores=13, #unrelaxed=113, #relaxed=87, #hardened=0
0.08/0.12 c BCD2: #sat=1 #unsat=40 bias=40/41
0.08/0.12 c Solving starts ...
0.08/0.12 c ============================[ Search Statistics ]============================
0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.12 c | | | | Limit GC | Var | Constra
0.08/0.12 c =============================================================================
0.08/0.12 c 0.0s | 0 | 0 | 0 | 1725 0 | 1270 | 2537
0.08/0.12 c 0.0s | 0 | 19 | 0 | 1725 0 | 1270 | 2537
0.08/0.12 c #cpu_time = 0.001s
0.08/0.12 c #wall_clock_time = 0.001s
0.08/0.12 c #decision = 19
0.08/0.12 c #random_decision = 0
0.08/0.12 c #conflict = 0
0.08/0.12 c #restart = 0
0.08/0.12 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.08/0.12 c lower bound updated to -160
0.08/0.12 c BCD2: 40 <= obj <= 154
0.08/0.12 c BCD2: #cores=13, #unrelaxed=111, #relaxed=89, #hardened=0
0.08/0.12 c BCD2: #sat=1 #unsat=41 bias=41/42
0.08/0.12 c Solving starts ...
0.08/0.12 c ============================[ Search Statistics ]============================
0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.12 c | | | | Limit GC | Var | Constra
0.08/0.12 c =============================================================================
0.08/0.12 c 0.0s | 0 | 0 | 0 | 1725 0 | 1271 | 2537
0.08/0.12 c 0.0s | 0 | 19 | 0 | 1725 0 | 1271 | 2538
0.08/0.12 c #cpu_time = 0.001s
0.08/0.12 c #wall_clock_time = 0.001s
0.08/0.12 c #decision = 19
0.08/0.12 c #random_decision = 0
0.08/0.12 c #conflict = 0
0.08/0.12 c #restart = 0
0.08/0.12 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.08/0.12 c lower bound updated to -159
0.08/0.12 c BCD2: 41 <= obj <= 154
0.08/0.12 c BCD2: #cores=13, #unrelaxed=109, #relaxed=91, #hardened=0
0.08/0.12 c BCD2: #sat=1 #unsat=42 bias=42/43
0.08/0.12 c Solving starts ...
0.08/0.12 c ============================[ Search Statistics ]============================
0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.12 c | | | | Limit GC | Var | Constra
0.08/0.12 c =============================================================================
0.08/0.12 c 0.0s | 0 | 0 | 0 | 1725 0 | 1272 | 2538
0.08/0.12 c 0.0s | 0 | 19 | 0 | 1725 0 | 1272 | 2539
0.08/0.12 c #cpu_time = 0.001s
0.08/0.12 c #wall_clock_time = 0.001s
0.08/0.12 c #decision = 19
0.08/0.12 c #random_decision = 0
0.08/0.12 c #conflict = 0
0.08/0.12 c #restart = 0
0.08/0.12 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.12 c lower bound updated to -158
0.08/0.12 c BCD2: 42 <= obj <= 154
0.08/0.12 c BCD2: #cores=14, #unrelaxed=107, #relaxed=93, #hardened=0
0.08/0.12 c BCD2: #sat=1 #unsat=43 bias=43/44
0.08/0.12 c Solving starts ...
0.08/0.12 c ============================[ Search Statistics ]============================
0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.12 c | | | | Limit GC | Var | Constra
0.08/0.12 c =============================================================================
0.08/0.12 c 0.0s | 0 | 0 | 0 | 1725 0 | 1272 | 2540
0.08/0.12 c 0.0s | 0 | 21 | 0 | 1725 0 | 1272 | 2540
0.08/0.12 c #cpu_time = 0.001s
0.08/0.12 c #wall_clock_time = 0.001s
0.08/0.12 c #decision = 21
0.08/0.12 c #random_decision = 0
0.08/0.12 c #conflict = 0
0.08/0.12 c #restart = 0
0.08/0.12 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.12 c lower bound updated to -157
0.08/0.12 c BCD2: 43 <= obj <= 154
0.08/0.12 c BCD2: #cores=15, #unrelaxed=105, #relaxed=95, #hardened=0
0.08/0.12 c BCD2: #sat=1 #unsat=44 bias=44/45
0.08/0.12 c Solving starts ...
0.08/0.12 c ============================[ Search Statistics ]============================
0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.12 c | | | | Limit GC | Var | Constra
0.08/0.12 c =============================================================================
0.08/0.12 c 0.0s | 0 | 0 | 0 | 1725 0 | 1272 | 2541
0.08/0.13 c 0.0s | 0 | 21 | 0 | 1725 0 | 1272 | 2541
0.08/0.13 c #cpu_time = 0.001s
0.08/0.13 c #wall_clock_time = 0.001s
0.08/0.13 c #decision = 21
0.08/0.13 c #random_decision = 0
0.08/0.13 c #conflict = 0
0.08/0.13 c #restart = 0
0.08/0.13 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.13 c lower bound updated to -156
0.08/0.13 c BCD2: 44 <= obj <= 154
0.08/0.13 c BCD2: #cores=16, #unrelaxed=103, #relaxed=97, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=45 bias=45/46
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 1725 0 | 1272 | 2542
0.08/0.13 c 0.0s | 0 | 21 | 0 | 1725 0 | 1272 | 2542
0.08/0.13 c #cpu_time = 0.001s
0.08/0.13 c #wall_clock_time = 0.001s
0.08/0.13 c #decision = 21
0.08/0.13 c #random_decision = 0
0.08/0.13 c #conflict = 0
0.08/0.13 c #restart = 0
0.08/0.13 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.13 c lower bound updated to -155
0.08/0.13 c BCD2: 45 <= obj <= 154
0.08/0.13 c BCD2: #cores=17, #unrelaxed=101, #relaxed=99, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=46 bias=46/47
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 1725 0 | 1272 | 2543
0.08/0.13 c 0.0s | 0 | 21 | 0 | 1725 0 | 1272 | 2543
0.08/0.13 c #cpu_time = 0.001s
0.08/0.13 c #wall_clock_time = 0.001s
0.08/0.13 c #decision = 21
0.08/0.13 c #random_decision = 0
0.08/0.13 c #conflict = 0
0.08/0.13 c #restart = 0
0.08/0.13 c BCD2: relaxing 2 and merging with 3 cores into a new core of size 8: cost of the new core is >=4
0.08/0.13 c lower bound updated to -154
0.08/0.13 c BCD2: 46 <= obj <= 154
0.08/0.13 c BCD2: #cores=15, #unrelaxed=99, #relaxed=101, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=47 bias=47/48
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 1725 0 | 1275 | 2543
0.08/0.13 c 0.0s | 0 | 19 | 0 | 1725 0 | 1275 | 2546
0.08/0.13 c #cpu_time = 0.001s
0.08/0.13 c #wall_clock_time = 0.001s
0.08/0.13 c #decision = 19
0.08/0.13 c #random_decision = 0
0.08/0.13 c #conflict = 0
0.08/0.13 c #restart = 0
0.08/0.13 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.13 c lower bound updated to -153
0.08/0.13 c BCD2: 47 <= obj <= 154
0.08/0.13 c BCD2: #cores=16, #unrelaxed=97, #relaxed=103, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=48 bias=48/49
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 1725 0 | 1275 | 2547
0.08/0.13 c 0.0s | 0 | 21 | 0 | 1725 0 | 1275 | 2547
0.08/0.13 c #cpu_time = 0.001s
0.08/0.13 c #wall_clock_time = 0.001s
0.08/0.13 c #decision = 21
0.08/0.13 c #random_decision = 0
0.08/0.13 c #conflict = 0
0.08/0.13 c #restart = 0
0.08/0.13 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.08/0.13 c lower bound updated to -152
0.08/0.13 c BCD2: 48 <= obj <= 154
0.08/0.13 c BCD2: #cores=16, #unrelaxed=95, #relaxed=105, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=49 bias=49/50
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 1725 0 | 1276 | 2547
0.08/0.13 c 0.0s | 0 | 20 | 0 | 1725 0 | 1276 | 2548
0.08/0.13 c #cpu_time = 0.001s
0.08/0.13 c #wall_clock_time = 0.001s
0.08/0.13 c #decision = 20
0.08/0.13 c #random_decision = 0
0.08/0.13 c #conflict = 0
0.08/0.13 c #restart = 0
0.08/0.13 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.13 c lower bound updated to -151
0.08/0.13 c BCD2: 49 <= obj <= 154
0.08/0.13 c BCD2: #cores=17, #unrelaxed=93, #relaxed=107, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=50 bias=50/51
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 1725 0 | 1276 | 2549
0.08/0.13 c 0.0s | 0 | 20 | 0 | 1725 0 | 1276 | 2549
0.08/0.13 c #cpu_time = 0.001s
0.08/0.13 c #wall_clock_time = 0.001s
0.08/0.13 c #decision = 20
0.08/0.13 c #random_decision = 0
0.08/0.13 c #conflict = 0
0.08/0.13 c #restart = 0
0.08/0.13 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.08/0.13 c lower bound updated to -150
0.08/0.13 c BCD2: 50 <= obj <= 154
0.08/0.13 c BCD2: #cores=17, #unrelaxed=91, #relaxed=109, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=51 bias=51/52
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 1725 0 | 1277 | 2549
0.08/0.14 c 0.0s | 0 | 27 | 1 | 1725 0 | 1277 | 2550
0.08/0.14 c #cpu_time = 0.001s
0.08/0.14 c #wall_clock_time = 0.001s
0.08/0.14 c #decision = 27
0.08/0.14 c #random_decision = 0
0.08/0.14 c #conflict = 1
0.08/0.14 c #restart = 0
0.08/0.14 c BCD2: relaxing 5 and merging with 7 cores into a new core of size 30: cost of the new core is >=13
0.08/0.14 c lower bound updated to -149
0.08/0.14 c BCD2: 51 <= obj <= 154
0.08/0.14 c BCD2: #cores=11, #unrelaxed=86, #relaxed=114, #hardened=0
0.08/0.14 c BCD2: #sat=1 #unsat=52 bias=52/53
0.08/0.14 c Solving starts ...
0.08/0.14 c ============================[ Search Statistics ]============================
0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.14 c | | | | Limit GC | Var | Constra
0.08/0.14 c =============================================================================
0.08/0.14 c 0.0s | 0 | 0 | 0 | 1725 0 | 1284 | 2550
0.08/0.14 c 0.0s | 0 | 19 | 1 | 1725 0 | 1284 | 2557
0.08/0.14 c #cpu_time = 0.001s
0.08/0.14 c #wall_clock_time = 0.001s
0.08/0.14 c #decision = 19
0.08/0.14 c #random_decision = 0
0.08/0.14 c #conflict = 1
0.08/0.14 c #restart = 0
0.08/0.14 c BCD2: relaxing 4 and merging with 2 cores into a new core of size 12: cost of the new core is >=5
0.08/0.14 c lower bound updated to -148
0.08/0.14 c BCD2: 52 <= obj <= 154
0.08/0.14 c BCD2: #cores=10, #unrelaxed=82, #relaxed=118, #hardened=0
0.08/0.14 c BCD2: #sat=1 #unsat=53 bias=53/54
0.08/0.14 c Solving starts ...
0.08/0.14 c ============================[ Search Statistics ]============================
0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.14 c | | | | Limit GC | Var | Constra
0.08/0.14 c =============================================================================
0.08/0.14 c 0.0s | 0 | 0 | 0 | 1725 0 | 1286 | 2557
0.08/0.14 c 0.0s | 0 | 15 | 0 | 1725 0 | 1286 | 2559
0.08/0.14 c #cpu_time = 0.001s
0.08/0.14 c #wall_clock_time = 0.001s
0.08/0.14 c #decision = 15
0.08/0.14 c #random_decision = 0
0.08/0.14 c #conflict = 0
0.08/0.14 c #restart = 0
0.08/0.14 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.14 c lower bound updated to -147
0.08/0.14 c BCD2: 53 <= obj <= 154
0.08/0.14 c BCD2: #cores=11, #unrelaxed=80, #relaxed=120, #hardened=0
0.08/0.14 c BCD2: #sat=1 #unsat=54 bias=54/55
0.08/0.14 c Solving starts ...
0.08/0.14 c ============================[ Search Statistics ]============================
0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.14 c | | | | Limit GC | Var | Constra
0.08/0.14 c =============================================================================
0.08/0.14 c 0.0s | 0 | 0 | 0 | 1725 0 | 1286 | 2560
0.08/0.14 c 0.0s | 0 | 15 | 0 | 1725 0 | 1286 | 2560
0.08/0.14 c #cpu_time = 0.001s
0.08/0.14 c #wall_clock_time = 0.001s
0.08/0.14 c #decision = 15
0.08/0.14 c #random_decision = 0
0.08/0.14 c #conflict = 0
0.08/0.14 c #restart = 0
0.08/0.14 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.14 c lower bound updated to -146
0.08/0.14 c BCD2: 54 <= obj <= 154
0.08/0.14 c BCD2: #cores=12, #unrelaxed=78, #relaxed=122, #hardened=0
0.08/0.14 c BCD2: #sat=1 #unsat=55 bias=55/56
0.08/0.14 c Solving starts ...
0.08/0.14 c ============================[ Search Statistics ]============================
0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.14 c | | | | Limit GC | Var | Constra
0.08/0.14 c =============================================================================
0.08/0.14 c 0.0s | 0 | 0 | 0 | 1725 0 | 1286 | 2561
0.08/0.14 c 0.0s | 0 | 17 | 1 | 1725 0 | 1286 | 2561
0.08/0.14 c #cpu_time = 0.001s
0.08/0.14 c #wall_clock_time = 0.001s
0.08/0.14 c #decision = 17
0.08/0.14 c #random_decision = 0
0.08/0.14 c #conflict = 1
0.08/0.14 c #restart = 0
0.08/0.14 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 6: cost of the new core is >=3
0.08/0.14 c lower bound updated to -145
0.08/0.14 c BCD2: 55 <= obj <= 154
0.08/0.14 c BCD2: #cores=12, #unrelaxed=76, #relaxed=124, #hardened=0
0.08/0.14 c BCD2: #sat=1 #unsat=56 bias=56/57
0.08/0.14 c Solving starts ...
0.08/0.14 c ============================[ Search Statistics ]============================
0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.14 c | | | | Limit GC | Var | Constra
0.08/0.14 c =============================================================================
0.08/0.14 c 0.0s | 0 | 0 | 0 | 1725 0 | 1287 | 2561
0.08/0.14 c 0.0s | 0 | 17 | 0 | 1725 0 | 1287 | 2562
0.08/0.14 c #cpu_time = 0.001s
0.08/0.14 c #wall_clock_time = 0.001s
0.08/0.14 c #decision = 17
0.08/0.14 c #random_decision = 0
0.08/0.14 c #conflict = 0
0.08/0.14 c #restart = 0
0.08/0.14 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.14 c lower bound updated to -144
0.08/0.14 c BCD2: 56 <= obj <= 154
0.08/0.14 c BCD2: #cores=13, #unrelaxed=74, #relaxed=126, #hardened=0
0.08/0.14 c BCD2: #sat=1 #unsat=57 bias=57/58
0.08/0.14 c Solving starts ...
0.08/0.14 c ============================[ Search Statistics ]============================
0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.14 c | | | | Limit GC | Var | Constra
0.08/0.14 c =============================================================================
0.08/0.14 c 0.0s | 0 | 0 | 0 | 1725 0 | 1287 | 2563
0.08/0.15 c 0.0s | 0 | 17 | 0 | 1725 0 | 1287 | 2563
0.08/0.15 c #cpu_time = 0.001s
0.08/0.15 c #wall_clock_time = 0.001s
0.08/0.15 c #decision = 17
0.08/0.15 c #random_decision = 0
0.08/0.15 c #conflict = 0
0.08/0.15 c #restart = 0
0.08/0.15 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.08/0.15 c lower bound updated to -143
0.08/0.15 c BCD2: 57 <= obj <= 154
0.08/0.15 c BCD2: #cores=13, #unrelaxed=72, #relaxed=128, #hardened=0
0.08/0.15 c BCD2: #sat=1 #unsat=58 bias=58/59
0.08/0.15 c Solving starts ...
0.08/0.15 c ============================[ Search Statistics ]============================
0.08/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.15 c | | | | Limit GC | Var | Constra
0.08/0.15 c =============================================================================
0.08/0.15 c 0.0s | 0 | 0 | 0 | 1725 0 | 1288 | 2563
0.08/0.15 c 0.0s | 0 | 16 | 0 | 1725 0 | 1288 | 2564
0.08/0.15 c #cpu_time = 0.001s
0.08/0.15 c #wall_clock_time = 0.001s
0.08/0.15 c #decision = 16
0.08/0.15 c #random_decision = 0
0.08/0.15 c #conflict = 0
0.08/0.15 c #restart = 0
0.08/0.15 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.15 c lower bound updated to -142
0.08/0.15 c BCD2: 58 <= obj <= 154
0.08/0.15 c BCD2: #cores=14, #unrelaxed=70, #relaxed=130, #hardened=0
0.08/0.15 c BCD2: #sat=1 #unsat=59 bias=59/60
0.08/0.15 c Solving starts ...
0.08/0.15 c ============================[ Search Statistics ]============================
0.08/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.15 c | | | | Limit GC | Var | Constra
0.08/0.15 c =============================================================================
0.08/0.15 c 0.0s | 0 | 0 | 0 | 1725 0 | 1288 | 2565
0.08/0.15 c 0.0s | 0 | 18 | 0 | 1725 0 | 1288 | 2565
0.08/0.15 c #cpu_time = 0.001s
0.08/0.15 c #wall_clock_time = 0.001s
0.08/0.15 c #decision = 18
0.08/0.15 c #random_decision = 0
0.08/0.15 c #conflict = 0
0.08/0.15 c #restart = 0
0.08/0.15 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.15 c lower bound updated to -141
0.08/0.15 c BCD2: 59 <= obj <= 154
0.08/0.15 c BCD2: #cores=15, #unrelaxed=68, #relaxed=132, #hardened=0
0.08/0.15 c BCD2: #sat=1 #unsat=60 bias=60/61
0.08/0.15 c Solving starts ...
0.08/0.15 c ============================[ Search Statistics ]============================
0.08/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.15 c | | | | Limit GC | Var | Constra
0.08/0.15 c =============================================================================
0.08/0.15 c 0.0s | 0 | 0 | 0 | 1725 0 | 1288 | 2566
0.08/0.15 c 0.0s | 0 | 21 | 0 | 1725 0 | 1288 | 2566
0.08/0.15 c #cpu_time = 0.001s
0.08/0.15 c #wall_clock_time = 0.001s
0.08/0.15 c #decision = 21
0.08/0.15 c #random_decision = 0
0.08/0.15 c #conflict = 0
0.08/0.15 c #restart = 0
0.08/0.15 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.15 c lower bound updated to -140
0.08/0.15 c BCD2: 60 <= obj <= 154
0.08/0.15 c BCD2: #cores=16, #unrelaxed=66, #relaxed=134, #hardened=0
0.08/0.15 c BCD2: #sat=1 #unsat=61 bias=61/62
0.08/0.15 c Solving starts ...
0.08/0.15 c ============================[ Search Statistics ]============================
0.08/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.15 c | | | | Limit GC | Var | Constra
0.08/0.15 c =============================================================================
0.08/0.15 c 0.0s | 0 | 0 | 0 | 1725 0 | 1288 | 2567
0.08/0.15 c 0.0s | 0 | 21 | 0 | 1725 0 | 1288 | 2567
0.08/0.15 c #cpu_time = 0.001s
0.08/0.15 c #wall_clock_time = 0.001s
0.08/0.15 c #decision = 21
0.08/0.15 c #random_decision = 0
0.08/0.15 c #conflict = 0
0.08/0.15 c #restart = 0
0.08/0.15 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.08/0.15 c lower bound updated to -139
0.08/0.15 c BCD2: 61 <= obj <= 154
0.08/0.15 c BCD2: #cores=16, #unrelaxed=64, #relaxed=136, #hardened=0
0.08/0.15 c BCD2: #sat=1 #unsat=62 bias=62/63
0.08/0.15 c Solving starts ...
0.08/0.15 c ============================[ Search Statistics ]============================
0.08/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.15 c | | | | Limit GC | Var | Constra
0.08/0.15 c =============================================================================
0.08/0.15 c 0.0s | 0 | 0 | 0 | 1725 0 | 1289 | 2567
0.08/0.15 c 0.0s | 0 | 20 | 0 | 1725 0 | 1289 | 2568
0.08/0.15 c #cpu_time = 0.001s
0.08/0.15 c #wall_clock_time = 0.001s
0.08/0.15 c #decision = 20
0.08/0.15 c #random_decision = 0
0.08/0.15 c #conflict = 0
0.08/0.15 c #restart = 0
0.08/0.15 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.15 c lower bound updated to -138
0.08/0.15 c BCD2: 62 <= obj <= 154
0.08/0.15 c BCD2: #cores=17, #unrelaxed=62, #relaxed=138, #hardened=0
0.08/0.15 c BCD2: #sat=1 #unsat=63 bias=63/64
0.08/0.15 c Solving starts ...
0.08/0.15 c ============================[ Search Statistics ]============================
0.08/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.15 c | | | | Limit GC | Var | Constra
0.08/0.15 c =============================================================================
0.08/0.15 c 0.0s | 0 | 0 | 0 | 1725 0 | 1289 | 2569
0.08/0.15 c 0.0s | 0 | 23 | 0 | 1725 0 | 1289 | 2569
0.08/0.15 c #cpu_time = 0.001s
0.08/0.15 c #wall_clock_time = 0.001s
0.08/0.15 c #decision = 23
0.08/0.15 c #random_decision = 0
0.08/0.15 c #conflict = 0
0.08/0.15 c #restart = 0
0.08/0.15 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.15 c lower bound updated to -137
0.08/0.15 c BCD2: 63 <= obj <= 154
0.08/0.15 c BCD2: #cores=18, #unrelaxed=60, #relaxed=140, #hardened=0
0.08/0.15 c BCD2: #sat=1 #unsat=64 bias=64/65
0.08/0.16 c Solving starts ...
0.08/0.16 c ============================[ Search Statistics ]============================
0.08/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.16 c | | | | Limit GC | Var | Constra
0.08/0.16 c =============================================================================
0.08/0.16 c 0.0s | 0 | 0 | 0 | 1725 0 | 1289 | 2570
0.08/0.16 c 0.0s | 0 | 23 | 0 | 1725 0 | 1289 | 2570
0.08/0.16 c #cpu_time = 0.001s
0.08/0.16 c #wall_clock_time = 0.001s
0.08/0.16 c #decision = 23
0.08/0.16 c #random_decision = 0
0.08/0.16 c #conflict = 0
0.08/0.16 c #restart = 0
0.08/0.16 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.16 c lower bound updated to -136
0.08/0.16 c BCD2: 64 <= obj <= 154
0.08/0.16 c BCD2: #cores=19, #unrelaxed=58, #relaxed=142, #hardened=0
0.08/0.16 c BCD2: #sat=1 #unsat=65 bias=65/66
0.08/0.16 c Solving starts ...
0.08/0.16 c ============================[ Search Statistics ]============================
0.08/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.16 c | | | | Limit GC | Var | Constra
0.08/0.16 c =============================================================================
0.08/0.16 c 0.0s | 0 | 0 | 0 | 1725 0 | 1289 | 2571
0.08/0.16 c 0.0s | 0 | 26 | 3 | 1725 0 | 1289 | 2571
0.08/0.16 c #cpu_time = 0.001s
0.08/0.16 c #wall_clock_time = 0.001s
0.08/0.16 c #decision = 26
0.08/0.16 c #random_decision = 0
0.08/0.16 c #conflict = 3
0.08/0.16 c #restart = 0
0.08/0.16 c BCD2: relaxing 4 and merging with 12 cores into a new core of size 59: cost of the new core is >=27
0.08/0.16 c lower bound updated to -135
0.08/0.16 c BCD2: 65 <= obj <= 154
0.08/0.16 c BCD2: #cores=8, #unrelaxed=54, #relaxed=146, #hardened=0
0.08/0.16 c BCD2: #sat=1 #unsat=66 bias=66/67
0.08/0.16 c Solving starts ...
0.08/0.16 c ============================[ Search Statistics ]============================
0.08/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.16 c | | | | Limit GC | Var | Constra
0.08/0.16 c =============================================================================
0.08/0.16 c 0.0s | 0 | 0 | 0 | 1725 0 | 1301 | 2571
0.08/0.16 c 0.0s | 0 | 12 | 0 | 1725 0 | 1301 | 2583
0.08/0.16 c #cpu_time = 0.001s
0.08/0.16 c #wall_clock_time = 0.001s
0.08/0.16 c #decision = 12
0.08/0.16 c #random_decision = 0
0.08/0.16 c #conflict = 0
0.08/0.16 c #restart = 0
0.08/0.16 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.16 c lower bound updated to -134
0.08/0.16 c BCD2: 66 <= obj <= 154
0.08/0.16 c BCD2: #cores=9, #unrelaxed=52, #relaxed=148, #hardened=0
0.08/0.16 c BCD2: #sat=1 #unsat=67 bias=67/68
0.08/0.16 c Solving starts ...
0.08/0.16 c ============================[ Search Statistics ]============================
0.08/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.16 c | | | | Limit GC | Var | Constra
0.08/0.16 c =============================================================================
0.08/0.16 c 0.0s | 0 | 0 | 0 | 1725 0 | 1301 | 2584
0.08/0.16 c 0.0s | 0 | 17 | 0 | 1725 0 | 1301 | 2584
0.08/0.16 c #cpu_time = 0.001s
0.08/0.16 c #wall_clock_time = 0.001s
0.08/0.16 c #decision = 17
0.08/0.16 c #random_decision = 0
0.08/0.16 c #conflict = 0
0.08/0.16 c #restart = 0
0.08/0.16 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.16 c lower bound updated to -133
0.08/0.16 c BCD2: 67 <= obj <= 154
0.08/0.16 c BCD2: #cores=10, #unrelaxed=50, #relaxed=150, #hardened=0
0.08/0.16 c BCD2: #sat=1 #unsat=68 bias=68/69
0.08/0.16 c Solving starts ...
0.08/0.16 c ============================[ Search Statistics ]============================
0.08/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.16 c | | | | Limit GC | Var | Constra
0.08/0.16 c =============================================================================
0.08/0.16 c 0.0s | 0 | 0 | 0 | 1725 0 | 1301 | 2585
0.08/0.16 c 0.0s | 0 | 18 | 0 | 1725 0 | 1301 | 2585
0.08/0.16 c #cpu_time = 0.001s
0.08/0.16 c #wall_clock_time = 0.001s
0.08/0.16 c #decision = 18
0.08/0.16 c #random_decision = 0
0.08/0.16 c #conflict = 0
0.08/0.16 c #restart = 0
0.08/0.16 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 6: cost of the new core is >=3
0.08/0.16 c lower bound updated to -132
0.08/0.16 c BCD2: 68 <= obj <= 154
0.08/0.16 c BCD2: #cores=9, #unrelaxed=48, #relaxed=152, #hardened=0
0.08/0.16 c BCD2: #sat=1 #unsat=69 bias=69/70
0.08/0.16 c Solving starts ...
0.08/0.16 c ============================[ Search Statistics ]============================
0.08/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.16 c | | | | Limit GC | Var | Constra
0.08/0.16 c =============================================================================
0.08/0.16 c 0.0s | 0 | 0 | 0 | 1725 0 | 1303 | 2585
0.08/0.16 c 0.0s | 0 | 19 | 0 | 1725 0 | 1303 | 2587
0.08/0.17 c #cpu_time = 0.001s
0.08/0.17 c #wall_clock_time = 0.001s
0.08/0.17 c #decision = 19
0.08/0.17 c #random_decision = 0
0.08/0.17 c #conflict = 0
0.08/0.17 c #restart = 0
0.08/0.17 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.08/0.17 c lower bound updated to -131
0.08/0.17 c BCD2: 69 <= obj <= 154
0.08/0.17 c BCD2: #cores=9, #unrelaxed=46, #relaxed=154, #hardened=0
0.08/0.17 c BCD2: #sat=1 #unsat=70 bias=70/71
0.08/0.17 c Solving starts ...
0.08/0.17 c ============================[ Search Statistics ]============================
0.08/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.17 c | | | | Limit GC | Var | Constra
0.08/0.17 c =============================================================================
0.08/0.17 c 0.0s | 0 | 0 | 0 | 1725 0 | 1304 | 2587
0.08/0.17 c 0.0s | 0 | 25 | 1 | 1725 0 | 1304 | 2588
0.08/0.17 c #cpu_time = 0.001s
0.08/0.17 c #wall_clock_time = 0.001s
0.08/0.17 c #decision = 25
0.08/0.17 c #random_decision = 0
0.08/0.17 c #conflict = 1
0.08/0.17 c #restart = 0
0.08/0.17 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 6: cost of the new core is >=3
0.08/0.17 c lower bound updated to -130
0.08/0.17 c BCD2: 70 <= obj <= 154
0.08/0.17 c BCD2: #cores=9, #unrelaxed=44, #relaxed=156, #hardened=0
0.08/0.17 c BCD2: #sat=1 #unsat=71 bias=71/72
0.08/0.17 c Solving starts ...
0.08/0.17 c ============================[ Search Statistics ]============================
0.08/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.17 c | | | | Limit GC | Var | Constra
0.08/0.17 c =============================================================================
0.08/0.17 c 0.0s | 0 | 0 | 0 | 1725 0 | 1305 | 2588
0.08/0.17 c 0.0s | 0 | 20 | 0 | 1725 0 | 1305 | 2589
0.08/0.17 c #cpu_time = 0.001s
0.08/0.17 c #wall_clock_time = 0.001s
0.08/0.17 c #decision = 20
0.08/0.17 c #random_decision = 0
0.08/0.17 c #conflict = 0
0.08/0.17 c #restart = 0
0.08/0.17 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.17 c lower bound updated to -129
0.08/0.17 c BCD2: 71 <= obj <= 154
0.08/0.17 c BCD2: #cores=10, #unrelaxed=42, #relaxed=158, #hardened=0
0.08/0.17 c BCD2: #sat=1 #unsat=72 bias=72/73
0.08/0.17 c Solving starts ...
0.08/0.17 c ============================[ Search Statistics ]============================
0.08/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.17 c | | | | Limit GC | Var | Constra
0.08/0.17 c =============================================================================
0.08/0.17 c 0.0s | 0 | 0 | 0 | 1725 0 | 1305 | 2590
0.08/0.17 c 0.0s | 0 | 20 | 0 | 1725 0 | 1305 | 2590
0.08/0.17 c #cpu_time = 0.001s
0.08/0.17 c #wall_clock_time = 0.001s
0.08/0.17 c #decision = 20
0.08/0.17 c #random_decision = 0
0.08/0.17 c #conflict = 0
0.08/0.17 c #restart = 0
0.08/0.17 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.17 c lower bound updated to -128
0.08/0.17 c BCD2: 72 <= obj <= 154
0.08/0.17 c BCD2: #cores=11, #unrelaxed=40, #relaxed=160, #hardened=0
0.08/0.17 c BCD2: #sat=1 #unsat=73 bias=73/74
0.08/0.17 c Solving starts ...
0.08/0.17 c ============================[ Search Statistics ]============================
0.08/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.17 c | | | | Limit GC | Var | Constra
0.08/0.17 c =============================================================================
0.08/0.17 c 0.0s | 0 | 0 | 0 | 1725 0 | 1305 | 2591
0.08/0.17 c 0.0s | 0 | 20 | 0 | 1725 0 | 1305 | 2591
0.08/0.17 c #cpu_time = 0.001s
0.08/0.17 c #wall_clock_time = 0.001s
0.08/0.17 c #decision = 20
0.08/0.17 c #random_decision = 0
0.08/0.17 c #conflict = 0
0.08/0.17 c #restart = 0
0.08/0.17 c BCD2: relaxing 7 and merging with 2 cores into a new core of size 19: cost of the new core is >=6
0.08/0.17 c lower bound updated to -127
0.08/0.17 c BCD2: 73 <= obj <= 154
0.08/0.17 c BCD2: #cores=10, #unrelaxed=33, #relaxed=167, #hardened=0
0.08/0.17 c BCD2: #sat=1 #unsat=74 bias=74/75
0.08/0.17 c Solving starts ...
0.08/0.17 c ============================[ Search Statistics ]============================
0.08/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.17 c | | | | Limit GC | Var | Constra
0.08/0.17 c =============================================================================
0.08/0.17 c 0.0s | 0 | 0 | 0 | 1725 0 | 1307 | 2591
0.08/0.17 c 0.0s | 0 | 15 | 0 | 1725 0 | 1307 | 2593
0.08/0.17 c #cpu_time = 0.001s
0.08/0.17 c #wall_clock_time = 0.001s
0.08/0.17 c #decision = 15
0.08/0.17 c #random_decision = 0
0.08/0.17 c #conflict = 0
0.08/0.17 c #restart = 0
0.08/0.17 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.17 c lower bound updated to -126
0.08/0.17 c BCD2: 74 <= obj <= 154
0.08/0.17 c BCD2: #cores=11, #unrelaxed=31, #relaxed=169, #hardened=0
0.08/0.17 c BCD2: #sat=1 #unsat=75 bias=75/76
0.08/0.17 c Solving starts ...
0.08/0.17 c ============================[ Search Statistics ]============================
0.08/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.17 c | | | | Limit GC | Var | Constra
0.08/0.17 c =============================================================================
0.08/0.17 c 0.0s | 0 | 0 | 0 | 1725 0 | 1307 | 2594
0.08/0.17 c 0.0s | 0 | 18 | 0 | 1725 0 | 1307 | 2594
0.08/0.17 c #cpu_time = 0.001s
0.08/0.17 c #wall_clock_time = 0.001s
0.08/0.17 c #decision = 18
0.08/0.17 c #random_decision = 0
0.08/0.17 c #conflict = 0
0.08/0.17 c #restart = 0
0.08/0.17 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.17 c lower bound updated to -125
0.08/0.18 c BCD2: 75 <= obj <= 154
0.08/0.18 c BCD2: #cores=12, #unrelaxed=29, #relaxed=171, #hardened=0
0.08/0.18 c BCD2: #sat=1 #unsat=76 bias=76/77
0.08/0.18 c Solving starts ...
0.08/0.18 c ============================[ Search Statistics ]============================
0.08/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.18 c | | | | Limit GC | Var | Constra
0.08/0.18 c =============================================================================
0.08/0.18 c 0.0s | 0 | 0 | 0 | 1725 0 | 1307 | 2595
0.08/0.18 c 0.0s | 0 | 23 | 0 | 1725 0 | 1307 | 2595
0.08/0.18 c #cpu_time = 0.001s
0.08/0.18 c #wall_clock_time = 0.001s
0.08/0.18 c #decision = 23
0.08/0.18 c #random_decision = 0
0.08/0.18 c #conflict = 0
0.08/0.18 c #restart = 0
0.08/0.18 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.08/0.18 c lower bound updated to -124
0.08/0.18 c BCD2: 76 <= obj <= 154
0.08/0.18 c BCD2: #cores=12, #unrelaxed=27, #relaxed=173, #hardened=0
0.08/0.18 c BCD2: #sat=1 #unsat=77 bias=77/78
0.08/0.18 c Solving starts ...
0.08/0.18 c ============================[ Search Statistics ]============================
0.08/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.18 c | | | | Limit GC | Var | Constra
0.08/0.18 c =============================================================================
0.08/0.18 c 0.0s | 0 | 0 | 0 | 1725 0 | 1308 | 2595
0.08/0.18 c 0.0s | 0 | 24 | 1 | 1725 0 | 1308 | 2596
0.08/0.18 c #cpu_time = 0.001s
0.08/0.18 c #wall_clock_time = 0.001s
0.08/0.18 c #decision = 24
0.08/0.18 c #random_decision = 0
0.08/0.18 c #conflict = 1
0.08/0.18 c #restart = 0
0.08/0.18 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 6: cost of the new core is >=3
0.08/0.18 c lower bound updated to -123
0.08/0.18 c BCD2: 77 <= obj <= 154
0.08/0.18 c BCD2: #cores=12, #unrelaxed=25, #relaxed=175, #hardened=0
0.08/0.18 c BCD2: #sat=1 #unsat=78 bias=78/79
0.08/0.18 c Solving starts ...
0.08/0.18 c ============================[ Search Statistics ]============================
0.08/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.18 c | | | | Limit GC | Var | Constra
0.08/0.18 c =============================================================================
0.08/0.18 c 0.0s | 0 | 0 | 0 | 1725 0 | 1309 | 2596
0.08/0.18 c 0.0s | 0 | 24 | 0 | 1725 0 | 1309 | 2597
0.08/0.18 c #cpu_time = 0.001s
0.08/0.18 c #wall_clock_time = 0.001s
0.08/0.18 c #decision = 24
0.08/0.18 c #random_decision = 0
0.08/0.18 c #conflict = 0
0.08/0.18 c #restart = 0
0.08/0.18 c BCD2: relaxing 7 and merging with 4 cores into a new core of size 25: cost of the new core is >=10
0.08/0.18 c lower bound updated to -122
0.08/0.18 c BCD2: 78 <= obj <= 154
0.08/0.18 c BCD2: #cores=9, #unrelaxed=18, #relaxed=182, #hardened=0
0.08/0.18 c BCD2: #sat=1 #unsat=79 bias=79/80
0.08/0.18 c Solving starts ...
0.08/0.18 c ============================[ Search Statistics ]============================
0.08/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.18 c | | | | Limit GC | Var | Constra
0.08/0.18 c =============================================================================
0.08/0.18 c 0.0s | 0 | 0 | 0 | 1725 0 | 1313 | 2597
0.08/0.18 c 0.0s | 0 | 20 | 0 | 1725 0 | 1313 | 2601
0.08/0.18 c #cpu_time = 0.001s
0.08/0.18 c #wall_clock_time = 0.001s
0.08/0.18 c #decision = 20
0.08/0.18 c #random_decision = 0
0.08/0.18 c #conflict = 0
0.08/0.18 c #restart = 0
0.08/0.18 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.18 c lower bound updated to -121
0.08/0.18 c BCD2: 79 <= obj <= 154
0.08/0.18 c BCD2: #cores=10, #unrelaxed=16, #relaxed=184, #hardened=0
0.08/0.18 c BCD2: #sat=1 #unsat=80 bias=80/81
0.08/0.18 c Solving starts ...
0.08/0.18 c ============================[ Search Statistics ]============================
0.08/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.18 c | | | | Limit GC | Var | Constra
0.08/0.18 c =============================================================================
0.08/0.18 c 0.0s | 0 | 0 | 0 | 1725 0 | 1313 | 2602
0.08/0.18 c 0.0s | 0 | 23 | 1 | 1725 0 | 1313 | 2602
0.08/0.18 c #cpu_time = 0.001s
0.08/0.18 c #wall_clock_time = 0.001s
0.08/0.18 c #decision = 23
0.08/0.18 c #random_decision = 0
0.08/0.18 c #conflict = 1
0.08/0.18 c #restart = 0
0.08/0.18 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 9: cost of the new core is >=4
0.08/0.18 c lower bound updated to -120
0.08/0.18 c BCD2: 80 <= obj <= 154
0.08/0.18 c BCD2: #cores=10, #unrelaxed=13, #relaxed=187, #hardened=0
0.08/0.18 c BCD2: #sat=1 #unsat=81 bias=81/82
0.08/0.18 c Solving starts ...
0.08/0.18 c ============================[ Search Statistics ]============================
0.08/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.18 c | | | | Limit GC | Var | Constra
0.08/0.18 c =============================================================================
0.08/0.18 c 0.0s | 0 | 0 | 0 | 1725 0 | 1314 | 2602
0.08/0.18 c 0.0s | 0 | 20 | 0 | 1725 0 | 1314 | 2603
0.08/0.18 c #cpu_time = 0.001s
0.08/0.19 c #wall_clock_time = 0.001s
0.08/0.19 c #decision = 20
0.08/0.19 c #random_decision = 0
0.08/0.19 c #conflict = 0
0.08/0.19 c #restart = 0
0.08/0.19 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.19 c lower bound updated to -119
0.08/0.19 c BCD2: 81 <= obj <= 154
0.08/0.19 c BCD2: #cores=11, #unrelaxed=11, #relaxed=189, #hardened=0
0.08/0.19 c BCD2: #sat=1 #unsat=82 bias=82/83
0.08/0.19 c Solving starts ...
0.08/0.19 c ============================[ Search Statistics ]============================
0.08/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.19 c | | | | Limit GC | Var | Constra
0.08/0.19 c =============================================================================
0.08/0.19 c 0.0s | 0 | 0 | 0 | 1725 0 | 1314 | 2604
0.08/0.19 c 0.0s | 0 | 20 | 0 | 1725 0 | 1314 | 2604
0.08/0.19 c #cpu_time = 0.001s
0.08/0.19 c #wall_clock_time = 0.001s
0.08/0.19 c #decision = 20
0.08/0.19 c #random_decision = 0
0.08/0.19 c #conflict = 0
0.08/0.19 c #restart = 0
0.08/0.19 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 10: cost of the new core is >=4
0.08/0.19 c lower bound updated to -118
0.08/0.19 c BCD2: 82 <= obj <= 154
0.08/0.19 c BCD2: #cores=11, #unrelaxed=7, #relaxed=193, #hardened=0
0.08/0.19 c BCD2: #sat=1 #unsat=83 bias=83/84
0.08/0.19 c Solving starts ...
0.08/0.19 c ============================[ Search Statistics ]============================
0.08/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.19 c | | | | Limit GC | Var | Constra
0.08/0.19 c =============================================================================
0.08/0.19 c 0.0s | 0 | 0 | 0 | 1725 0 | 1315 | 2604
0.08/0.19 c 0.0s | 0 | 48 | 8 | 1725 0 | 1316 | 2606
0.08/0.19 c #cpu_time = 0.002s
0.08/0.19 c #wall_clock_time = 0.002s
0.08/0.19 c #decision = 48
0.08/0.19 c #random_decision = 0
0.08/0.19 c #conflict = 8
0.08/0.19 c #restart = 0
0.08/0.19 c BCD2: updating lower bound of a core
0.08/0.19 c lower bound updated to -117
0.08/0.19 c BCD2: 83 <= obj <= 154
0.08/0.19 c BCD2: #cores=11, #unrelaxed=7, #relaxed=193, #hardened=0
0.08/0.19 c BCD2: #sat=1 #unsat=84 bias=84/85
0.08/0.19 c Solving starts ...
0.08/0.19 c ============================[ Search Statistics ]============================
0.08/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.19 c | | | | Limit GC | Var | Constra
0.08/0.19 c =============================================================================
0.08/0.19 c 0.0s | 0 | 0 | 0 | 1725 0 | 1316 | 2607
0.19/0.21 c 0.0s | 1 | 206 | 100 | 1898 0 | 1316 | 2607
0.19/0.24 c 0.1s | 2 | 716 | 250 | 2088 0 | 1316 | 2607
0.29/0.31 c 0.1s | 2 | 1013 | 466 | 2297 0 | 1316 | 2607
0.29/0.31 c #cpu_time = 0.122s
0.29/0.31 c #wall_clock_time = 0.123s
0.29/0.31 c #decision = 1013
0.29/0.31 c #random_decision = 3
0.29/0.31 c #conflict = 466
0.29/0.31 c #restart = 2
0.29/0.31 c BCD2: relaxing 7 and merging with 11 cores into a new core of size 200: cost of the new core is >=84
0.29/0.31 c lower bound updated to -116
0.29/0.31 c BCD2: 84 <= obj <= 154
0.29/0.31 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0
0.29/0.31 c BCD2: #sat=1 #unsat=85 bias=85/86
0.29/0.31 c Solving starts ...
0.29/0.31 c ============================[ Search Statistics ]============================
0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.31 c | | | | Limit GC | Var | Constra
0.29/0.31 c =============================================================================
0.29/0.31 c 0.0s | 0 | 0 | 0 | 2297 0 | 1327 | 2607
0.29/0.36 c 0.0s | 1 | 201 | 100 | 2297 0 | 1327 | 2618
0.39/0.42 c 0.1s | 2 | 503 | 250 | 2297 0 | 1327 | 2618
0.49/0.52 c 0.2s | 3 | 900 | 475 | 2527 0 | 1327 | 2618
0.59/0.69 c 0.4s | 4 | 1395 | 813 | 2527 0 | 1327 | 2618
0.89/0.96 c 0.6s | 5 | 2112 | 1320 | 2780 0 | 1327 | 2618
1.20/1.24 c 0.9s | 6 | 3092 | 2081 | 3059 0 | 1327 | 2618
1.69/1.72 c 1.4s | 7 | 4417 | 3223 | 3365 0 | 1327 | 2618
2.49/2.52 c 2.2s | 8 | 6348 | 4936 | 3702 0 | 1327 | 2618
3.59/3.62 c 3.3s | 9 | 9346 | 7506 | 4073 1 | 1327 | 2618
5.28/5.37 c 5.1s | 10 | 13667 | 11361 | 4481 3 | 1327 | 2618
7.28/7.37 c 7.1s | 10 | 18749 | 15861 | 4481 4 | 1327 | 2618
7.88/7.90 c 7.6s | 11 | 20203 | 17144 | 4930 4 | 1327 | 2618
9.89/9.91 c 9.6s | 11 | 25307 | 21544 | 4930 6 | 1327 | 2618
11.89/11.92 c 11.6s | 11 | 29926 | 25744 | 5423 7 | 1327 | 2618
11.89/11.95 c 11.6s | 12 | 30012 | 25819 | 5423 7 | 1327 | 2618
13.89/13.97 c 13.7s | 12 | 34554 | 29919 | 5423 8 | 1327 | 2618
15.99/16.00 c 15.7s | 12 | 39548 | 34519 | 5423 9 | 1327 | 2618
17.99/18.04 c 17.7s | 12 | 44101 | 38619 | 5966 10 | 1327 | 2618
18.09/18.19 c 17.9s | 13 | 44322 | 38832 | 5966 11 | 1327 | 2618
20.19/20.22 c 19.9s | 13 | 48636 | 42632 | 5966 12 | 1327 | 2618
22.18/22.25 c 21.9s | 13 | 52819 | 46532 | 5966 13 | 1327 | 2618
24.19/24.26 c 23.9s | 13 | 57501 | 50832 | 5966 14 | 1327 | 2618
26.18/26.28 c 26.0s | 13 | 62105 | 55032 | 5966 15 | 1327 | 2618
27.78/27.82 c 27.5s | 14 | 65897 | 58352 | 6563 16 | 1327 | 2618
29.79/29.86 c 29.5s | 14 | 70174 | 62152 | 6563 17 | 1327 | 2618
31.78/31.88 c 31.6s | 14 | 74796 | 66352 | 6563 18 | 1327 | 2618
33.88/33.94 c 33.6s | 14 | 79153 | 70252 | 6563 19 | 1327 | 2618
35.88/35.96 c 35.6s | 14 | 83606 | 74052 | 6563 20 | 1327 | 2618
37.88/37.99 c 37.7s | 14 | 88481 | 78052 | 6563 21 | 1327 | 2618
39.98/40.01 c 39.7s | 14 | 92709 | 81852 | 6563 22 | 1327 | 2618
41.98/42.02 c 41.7s | 14 | 97254 | 85852 | 6563 22 | 1327 | 2618
42.89/42.99 c 42.7s | 15 | 99212 | 87632 | 7220 23 | 1327 | 2618
44.88/44.99 c 44.7s | 15 | 103998 | 91532 | 7220 24 | 1327 | 2618
46.98/47.02 c 46.7s | 15 | 108653 | 95532 | 7220 25 | 1327 | 2618
48.98/49.05 c 48.7s | 15 | 113081 | 99332 | 7220 26 | 1327 | 2618
50.98/51.06 c 50.7s | 15 | 117703 | 103232 | 7220 26 | 1327 | 2618
53.08/53.13 c 52.8s | 15 | 121663 | 106832 | 7220 27 | 1327 | 2618
55.09/55.13 c 54.8s | 15 | 125762 | 110532 | 7220 28 | 1327 | 2618
57.08/57.17 c 56.9s | 15 | 130026 | 114532 | 7220 29 | 1327 | 2618
59.08/59.17 c 58.9s | 15 | 134343 | 118432 | 7220 30 | 1327 | 2618
61.08/61.18 c 60.9s | 15 | 138008 | 121932 | 7220 31 | 1327 | 2618
63.08/63.19 c 62.9s | 15 | 141984 | 125632 | 7220 32 | 1327 | 2618
65.18/65.23 c 64.9s | 15 | 145904 | 129332 | 7220 32 | 1327 | 2618
66.48/66.58 c 66.3s | 16 | 148303 | 131552 | 7943 33 | 1327 | 2618
68.48/68.59 c 68.3s | 16 | 152221 | 135052 | 7943 34 | 1327 | 2618
70.58/70.63 c 70.3s | 16 | 156335 | 138952 | 7943 34 | 1327 | 2618
72.58/72.67 c 72.4s | 16 | 160634 | 142952 | 7943 35 | 1327 | 2618
74.68/74.70 c 74.4s | 16 | 164372 | 146352 | 7943 36 | 1327 | 2618
76.68/76.72 c 76.4s | 16 | 168449 | 149852 | 7943 37 | 1327 | 2618
78.68/78.75 c 78.4s | 16 | 173125 | 153852 | 7943 38 | 1327 | 2618
80.78/80.80 c 80.5s | 16 | 177243 | 157352 | 7943 38 | 1327 | 2618
82.78/82.84 c 82.5s | 16 | 181052 | 160752 | 7943 39 | 1327 | 2618
84.78/84.87 c 84.6s | 16 | 184964 | 164252 | 7943 40 | 1327 | 2618
86.88/86.93 c 86.6s | 16 | 188882 | 167752 | 7943 40 | 1327 | 2618
88.87/88.98 c 88.7s | 16 | 192897 | 171452 | 7943 41 | 1327 | 2618
90.87/90.98 c 90.7s | 16 | 196817 | 175152 | 7943 42 | 1327 | 2618
92.97/93.03 c 92.7s | 16 | 200556 | 178552 | 7943 43 | 1327 | 2618
94.97/95.06 c 94.7s | 16 | 204527 | 182252 | 7943 44 | 1327 | 2618
97.07/97.11 c 96.8s | 16 | 208938 | 186252 | 7943 44 | 1327 | 2618
99.07/99.14 c 98.8s | 16 | 213006 | 190052 | 7943 45 | 1327 | 2618
101.07/101.18 c 100s | 16 | 216720 | 193552 | 7943 46 | 1327 | 2618
103.17/103.24 c 102s | 16 | 220198 | 196752 | 8738 46 | 1327 | 2618
103.67/103.76 c 103s | 17 | 220909 | 197432 | 8738 47 | 1327 | 2618
105.67/105.77 c 105s | 17 | 225031 | 200932 | 8738 47 | 1327 | 2618
107.77/107.82 c 107s | 17 | 228914 | 204432 | 8738 48 | 1327 | 2618
109.76/109.86 c 109s | 17 | 232499 | 207732 | 8738 49 | 1327 | 2618
111.86/111.93 c 111s | 17 | 236351 | 211332 | 8738 49 | 1327 | 2618
113.86/113.97 c 113s | 17 | 239868 | 214532 | 8738 50 | 1327 | 2618
115.96/116.00 c 115s | 17 | 243559 | 217832 | 8738 51 | 1327 | 2618
117.96/118.04 c 117s | 17 | 246914 | 220932 | 8738 51 | 1327 | 2618
119.96/120.05 c 119s | 17 | 250310 | 224132 | 8738 52 | 1327 | 2618
121.96/122.10 c 121s | 17 | 253932 | 227532 | 8738 53 | 1327 | 2618
124.06/124.12 c 123s | 17 | 257759 | 231032 | 8738 53 | 1327 | 2618
126.06/126.14 c 125s | 17 | 261152 | 234232 | 8738 54 | 1327 | 2618
128.06/128.14 c 127s | 17 | 265010 | 237732 | 8738 55 | 1327 | 2618
130.16/130.20 c 129s | 17 | 268670 | 241132 | 8738 55 | 1327 | 2618
132.16/132.20 c 131s | 17 | 271727 | 244032 | 8738 56 | 1327 | 2618
134.17/134.22 c 133s | 17 | 275464 | 247532 | 8738 56 | 1327 | 2618
136.16/136.28 c 135s | 17 | 279153 | 250932 | 8738 57 | 1327 | 2618
138.26/138.30 c 137s | 17 | 282040 | 253732 | 8738 58 | 1327 | 2618
140.26/140.36 c 140s | 17 | 285621 | 257132 | 8738 58 | 1327 | 2618
142.26/142.37 c 142s | 17 | 289213 | 260532 | 8738 59 | 1327 | 2618
144.36/144.40 c 144s | 17 | 293457 | 264532 | 8738 60 | 1327 | 2618
146.36/146.42 c 146s | 17 | 297124 | 267932 | 8738 60 | 1327 | 2618
148.36/148.42 c 148s | 17 | 300639 | 271132 | 8738 61 | 1327 | 2618
150.35/150.48 c 150s | 17 | 304357 | 274332 | 8738 62 | 1327 | 2618
152.45/152.52 c 152s | 17 | 308416 | 277932 | 8738 62 | 1327 | 2618
154.45/154.56 c 154s | 17 | 312195 | 281332 | 8738 63 | 1327 | 2618
156.45/156.59 c 156s | 17 | 316075 | 284732 | 8738 64 | 1327 | 2618
158.55/158.64 c 158s | 17 | 320052 | 288332 | 8738 64 | 1327 | 2618
160.55/160.67 c 160s | 17 | 323947 | 291732 | 8738 65 | 1327 | 2618
162.54/162.67 c 162s | 17 | 327530 | 294832 | 9612 66 | 1327 | 2618
163.44/163.57 c 163s | 18 | 329147 | 296252 | 9612 66 | 1327 | 2618
165.54/165.62 c 165s | 18 | 332747 | 299352 | 9612 66 | 1327 | 2618
167.64/167.70 c 167s | 18 | 336750 | 302952 | 9612 67 | 1327 | 2618
169.64/169.76 c 169s | 18 | 340446 | 306152 | 9612 68 | 1327 | 2618
171.74/171.81 c 171s | 18 | 344852 | 309852 | 9612 68 | 1327 | 2618
173.75/173.85 c 173s | 18 | 348643 | 313252 | 9612 69 | 1327 | 2618
175.74/175.89 c 175s | 18 | 352776 | 316752 | 9612 69 | 1327 | 2618
177.84/177.95 c 177s | 18 | 356160 | 319852 | 9612 70 | 1327 | 2618
179.94/180.00 c 179s | 18 | 359651 | 323152 | 9612 71 | 1327 | 2618
181.94/182.01 c 181s | 18 | 363464 | 326752 | 9612 71 | 1327 | 2618
183.94/184.03 c 183s | 18 | 367149 | 330252 | 9612 72 | 1327 | 2618
186.03/186.10 c 185s | 18 | 370989 | 333752 | 9612 73 | 1327 | 2618
188.04/188.13 c 187s | 18 | 374234 | 336852 | 9612 73 | 1327 | 2618
190.03/190.14 c 189s | 18 | 377880 | 340252 | 9612 74 | 1327 | 2618
192.02/192.16 c 191s | 18 | 381470 | 343552 | 9612 74 | 1327 | 2618
194.12/194.21 c 193s | 18 | 385323 | 346952 | 9612 75 | 1327 | 2618
196.12/196.26 c 195s | 18 | 389057 | 350252 | 9612 75 | 1327 | 2618
198.22/198.31 c 197s | 18 | 392267 | 353152 | 9612 76 | 1327 | 2618
200.32/200.40 c 200s | 18 | 395354 | 355952 | 9612 77 | 1327 | 2618
202.33/202.40 c 202s | 18 | 398737 | 359052 | 9612 77 | 1327 | 2618
204.33/204.43 c 204s | 18 | 402029 | 362152 | 9612 78 | 1327 | 2618
206.33/206.45 c 206s | 18 | 406034 | 365852 | 9612 78 | 1327 | 2618
208.33/208.49 c 208s | 18 | 409592 | 369152 | 9612 79 | 1327 | 2618
210.42/210.56 c 210s | 18 | 413303 | 372552 | 9612 80 | 1327 | 2618
212.52/212.66 c 212s | 18 | 417399 | 376352 | 9612 80 | 1327 | 2618
214.53/214.67 c 214s | 18 | 420886 | 379652 | 9612 81 | 1327 | 2618
216.63/216.71 c 216s | 18 | 424422 | 382952 | 9612 81 | 1327 | 2618
218.62/218.76 c 218s | 18 | 427947 | 386252 | 9612 82 | 1327 | 2618
220.72/220.81 c 220s | 18 | 431347 | 389352 | 9612 83 | 1327 | 2618
222.72/222.83 c 222s | 18 | 434820 | 392552 | 9612 83 | 1327 | 2618
224.72/224.87 c 224s | 18 | 438443 | 395852 | 9612 84 | 1327 | 2618
226.82/226.90 c 226s | 18 | 441978 | 399052 | 9612 84 | 1327 | 2618
228.82/228.92 c 228s | 18 | 445437 | 402252 | 9612 85 | 1327 | 2618
230.81/230.92 c 230s | 18 | 449264 | 405752 | 9612 86 | 1327 | 2618
232.81/232.96 c 232s | 18 | 453334 | 409352 | 9612 86 | 1327 | 2618
234.81/234.99 c 234s | 18 | 456830 | 412452 | 9612 87 | 1327 | 2618
236.91/237.03 c 236s | 18 | 460826 | 415752 | 9612 87 | 1327 | 2618
239.01/239.16 c 238s | 18 | 464493 | 418952 | 9612 88 | 1327 | 2618
241.11/241.21 c 240s | 18 | 468260 | 422352 | 9612 88 | 1327 | 2618
243.11/243.27 c 242s | 18 | 471700 | 425552 | 9612 89 | 1327 | 2618
245.10/245.29 c 244s | 18 | 474366 | 427952 | 9612 90 | 1327 | 2618
247.20/247.31 c 246s | 18 | 477452 | 430752 | 9612 90 | 1327 | 2618
249.20/249.32 c 249s | 18 | 481193 | 434252 | 9612 91 | 1327 | 2618
251.20/251.34 c 251s | 18 | 485045 | 437752 | 9612 91 | 1327 | 2618
253.20/253.34 c 253s | 18 | 488772 | 441152 | 10574 92 | 1327 | 2618
255.21/255.38 c 255s | 18 | 492376 | 444452 | 10574 92 | 1327 | 2618
255.21/255.39 c 255s | 19 | 492407 | 444482 | 10574 92 | 1327 | 2618
257.20/257.40 c 257s | 19 | 495175 | 446982 | 10574 93 | 1327 | 2618
259.29/259.41 c 259s | 19 | 499261 | 450782 | 10574 93 | 1327 | 2618
261.29/261.43 c 261s | 19 | 503175 | 454282 | 10574 94 | 1327 | 2618
263.29/263.46 c 263s | 19 | 506624 | 457482 | 10574 94 | 1327 | 2618
265.29/265.47 c 265s | 19 | 510125 | 460682 | 10574 95 | 1327 | 2618
267.39/267.56 c 267s | 19 | 513574 | 463882 | 10574 96 | 1327 | 2618
269.40/269.57 c 269s | 19 | 517012 | 467082 | 10574 96 | 1327 | 2618
271.49/271.65 c 271s | 19 | 519898 | 469782 | 10574 97 | 1327 | 2618
273.49/273.66 c 273s | 19 | 523111 | 472882 | 10574 97 | 1327 | 2618
275.49/275.69 c 275s | 19 | 526438 | 475982 | 10574 98 | 1327 | 2618
277.59/277.76 c 277s | 19 | 530105 | 479482 | 10574 98 | 1327 | 2618
279.68/279.80 c 279s | 19 | 532841 | 482082 | 10574 99 | 1327 | 2618
281.68/281.84 c 281s | 19 | 536058 | 485182 | 10574 99 | 1327 | 2618
283.69/283.89 c 283s | 19 | 538947 | 487982 | 10574 100 | 1327 | 2618
285.78/285.91 c 285s | 19 | 542397 | 491282 | 10574 100 | 1327 | 2618
287.78/287.94 c 287s | 19 | 545296 | 494082 | 10574 101 | 1327 | 2618
289.78/289.96 c 289s | 19 | 548979 | 497582 | 10574 101 | 1327 | 2618
291.78/291.99 c 291s | 19 | 552372 | 500882 | 10574 102 | 1327 | 2618
293.78/294.00 c 293s | 19 | 555901 | 504082 | 10574 102 | 1327 | 2618
295.88/296.04 c 295s | 19 | 559101 | 506982 | 10574 103 | 1327 | 2618
297.98/298.13 c 297s | 19 | 562255 | 509982 | 10574 103 | 1327 | 2618
300.07/300.22 c 299s | 19 | 565020 | 512482 | 10574 104 | 1327 | 2618
302.07/302.26 c 301s | 19 | 568415 | 515682 | 10574 104 | 1327 | 2618
304.17/304.31 c 303s | 19 | 571124 | 518282 | 10574 105 | 1327 | 2618
306.17/306.36 c 306s | 19 | 574455 | 521382 | 10574 105 | 1327 | 2618
308.27/308.43 c 308s | 19 | 577567 | 524282 | 10574 106 | 1327 | 2618
310.27/310.46 c 310s | 19 | 581083 | 527582 | 10574 106 | 1327 | 2618
312.27/312.50 c 312s | 19 | 584183 | 530482 | 10574 107 | 1327 | 2618
314.37/314.55 c 314s | 19 | 587820 | 533882 | 10574 107 | 1327 | 2618
316.37/316.56 c 316s | 19 | 590561 | 536482 | 10574 108 | 1327 | 2618
318.47/318.60 c 318s | 19 | 593904 | 539682 | 10574 108 | 1327 | 2618
320.56/320.75 c 320s | 19 | 596756 | 542382 | 10574 109 | 1327 | 2618
322.56/322.75 c 322s | 19 | 600015 | 545482 | 10574 109 | 1327 | 2618
324.67/324.80 c 324s | 19 | 602915 | 548282 | 10574 110 | 1327 | 2618
326.68/326.83 c 326s | 19 | 605758 | 550982 | 10574 110 | 1327 | 2618
328.67/328.89 c 328s | 19 | 608750 | 553882 | 10574 110 | 1327 | 2618
330.77/330.92 c 330s | 19 | 611993 | 556982 | 10574 111 | 1327 | 2618
332.77/332.99 c 332s | 19 | 615389 | 560082 | 10574 112 | 1327 | 2618
334.87/335.05 c 334s | 19 | 618781 | 563282 | 10574 112 | 1327 | 2618
336.96/337.19 c 336s | 19 | 621790 | 566182 | 10574 113 | 1327 | 2618
338.96/339.19 c 338s | 19 | 624775 | 569082 | 10574 113 | 1327 | 2618
341.16/341.34 c 341s | 19 | 628015 | 572182 | 10574 114 | 1327 | 2618
343.17/343.34 c 343s | 19 | 632099 | 576082 | 10574 114 | 1327 | 2618
345.16/345.39 c 345s | 19 | 635371 | 579082 | 10574 115 | 1327 | 2618
347.26/347.43 c 347s | 19 | 638855 | 582382 | 10574 115 | 1327 | 2618
349.25/349.48 c 349s | 19 | 641750 | 585082 | 10574 116 | 1327 | 2618
351.35/351.52 c 351s | 19 | 645529 | 588582 | 10574 116 | 1327 | 2618
353.35/353.56 c 353s | 19 | 648973 | 591782 | 10574 117 | 1327 | 2618
355.35/355.58 c 355s | 19 | 652373 | 594982 | 10574 117 | 1327 | 2618
357.46/357.63 c 357s | 19 | 655128 | 597582 | 10574 118 | 1327 | 2618
359.45/359.65 c 359s | 19 | 658717 | 600982 | 10574 118 | 1327 | 2618
361.55/361.71 c 361s | 19 | 662266 | 604282 | 10574 119 | 1327 | 2618
363.55/363.74 c 363s | 19 | 665956 | 607582 | 10574 119 | 1327 | 2618
365.55/365.78 c 365s | 19 | 668983 | 610382 | 10574 120 | 1327 | 2618
367.65/367.84 c 367s | 19 | 671944 | 613182 | 10574 120 | 1327 | 2618
369.64/369.86 c 369s | 19 | 674696 | 615682 | 10574 121 | 1327 | 2618
371.65/371.87 c 371s | 19 | 678099 | 618782 | 10574 121 | 1327 | 2618
373.74/373.92 c 373s | 19 | 681147 | 621582 | 10574 122 | 1327 | 2618
375.74/375.94 c 375s | 19 | 684730 | 624782 | 10574 122 | 1327 | 2618
377.74/377.97 c 377s | 19 | 688046 | 627882 | 10574 123 | 1327 | 2618
379.73/380.00 c 379s | 19 | 691710 | 631282 | 10574 123 | 1327 | 2618
381.84/382.03 c 381s | 19 | 694893 | 634282 | 10574 124 | 1327 | 2618
383.85/384.08 c 383s | 19 | 698063 | 637182 | 10574 124 | 1327 | 2618
385.95/386.11 c 385s | 19 | 700962 | 639982 | 10574 125 | 1327 | 2618
387.94/388.15 c 387s | 19 | 704163 | 643082 | 10574 125 | 1327 | 2618
389.94/390.15 c 389s | 19 | 706688 | 645482 | 10574 126 | 1327 | 2618
391.94/392.18 c 391s | 19 | 710219 | 648682 | 10574 126 | 1327 | 2618
394.04/394.22 c 393s | 19 | 713475 | 651682 | 10574 127 | 1327 | 2618
396.03/396.28 c 395s | 19 | 716699 | 654682 | 10574 127 | 1327 | 2618
398.04/398.30 c 397s | 19 | 719601 | 657382 | 10574 128 | 1327 | 2618
400.13/400.33 c 400s | 19 | 722712 | 660382 | 10574 128 | 1327 | 2618
402.13/402.36 c 402s | 19 | 725913 | 663382 | 11632 128 | 1327 | 2618
404.13/404.36 c 404s | 19 | 728708 | 666082 | 11632 129 | 1327 | 2618
404.64/404.86 c 404s | 20 | 729492 | 666827 | 11632 129 | 1327 | 2618
406.73/406.90 c 406s | 20 | 732575 | 669627 | 11632 129 | 1327 | 2618
408.73/408.91 c 408s | 20 | 735259 | 672027 | 11632 130 | 1327 | 2618
410.73/410.97 c 410s | 20 | 738058 | 674627 | 11632 130 | 1327 | 2618
412.82/413.06 c 412s | 20 | 740727 | 677127 | 11632 131 | 1327 | 2618
414.82/415.08 c 414s | 20 | 743767 | 680027 | 11632 131 | 1327 | 2618
416.92/417.10 c 416s | 20 | 746511 | 682627 | 11632 131 | 1327 | 2618
418.93/419.11 c 418s | 20 | 749173 | 685127 | 11632 132 | 1327 | 2618
420.92/421.15 c 420s | 20 | 752176 | 687927 | 11632 132 | 1327 | 2618
422.92/423.17 c 422s | 20 | 754572 | 690227 | 11632 133 | 1327 | 2618
424.92/425.17 c 424s | 20 | 757518 | 693027 | 11632 133 | 1327 | 2618
427.02/427.21 c 426s | 20 | 760322 | 695727 | 11632 133 | 1327 | 2618
429.01/429.24 c 428s | 20 | 763631 | 698827 | 11632 134 | 1327 | 2618
431.02/431.26 c 430s | 20 | 766619 | 701727 | 11632 134 | 1327 | 2618
433.01/433.27 c 432s | 20 | 769223 | 704227 | 11632 135 | 1327 | 2618
435.01/435.27 c 434s | 20 | 772354 | 707227 | 11632 135 | 1327 | 2618
437.01/437.27 c 436s | 20 | 775106 | 709827 | 11632 136 | 1327 | 2618
439.11/439.36 c 439s | 20 | 778253 | 712827 | 11632 136 | 1327 | 2618
441.21/441.42 c 441s | 20 | 780990 | 715427 | 11632 136 | 1327 | 2618
443.22/443.47 c 443s | 20 | 784077 | 718427 | 11632 137 | 1327 | 2618
445.31/445.51 c 445s | 20 | 787188 | 721427 | 11632 137 | 1327 | 2618
447.31/447.56 c 447s | 20 | 790114 | 724227 | 11632 138 | 1327 | 2618
449.40/449.62 c 449s | 20 | 793467 | 727427 | 11632 138 | 1327 | 2618
451.40/451.65 c 451s | 20 | 796337 | 730027 | 11632 139 | 1327 | 2618
453.40/453.65 c 453s | 20 | 799625 | 733027 | 11632 139 | 1327 | 2618
455.40/455.68 c 455s | 20 | 802587 | 735827 | 11632 140 | 1327 | 2618
457.41/457.69 c 457s | 20 | 805442 | 738527 | 11632 140 | 1327 | 2618
459.50/459.70 c 459s | 20 | 807961 | 740927 | 11632 140 | 1327 | 2618
461.49/461.72 c 461s | 20 | 810699 | 743527 | 11632 141 | 1327 | 2618
463.49/463.77 c 463s | 20 | 813520 | 746227 | 11632 141 | 1327 | 2618
465.59/465.83 c 465s | 20 | 816191 | 748827 | 11632 141 | 1327 | 2618
467.59/467.84 c 467s | 20 | 818876 | 751427 | 11632 142 | 1327 | 2618
469.60/469.89 c 469s | 20 | 821918 | 754327 | 11632 142 | 1327 | 2618
471.70/471.97 c 471s | 20 | 824494 | 756827 | 11632 143 | 1327 | 2618
473.69/473.99 c 473s | 20 | 827412 | 759627 | 11632 143 | 1327 | 2618
475.89/476.17 c 475s | 20 | 829953 | 762027 | 11632 144 | 1327 | 2618
477.99/478.20 c 477s | 20 | 833271 | 765127 | 11632 144 | 1327 | 2618
479.98/480.21 c 479s | 20 | 836313 | 767927 | 11632 144 | 1327 | 2618
481.99/482.28 c 481s | 20 | 839160 | 770627 | 11632 145 | 1327 | 2618
484.09/484.31 c 483s | 20 | 841778 | 773127 | 11632 145 | 1327 | 2618
486.10/486.37 c 486s | 20 | 844331 | 775627 | 11632 146 | 1327 | 2618
488.20/488.42 c 488s | 20 | 847625 | 778827 | 11632 146 | 1327 | 2618
490.19/490.45 c 490s | 20 | 850471 | 781527 | 11632 146 | 1327 | 2618
492.29/492.50 c 492s | 20 | 853187 | 784127 | 11632 147 | 1327 | 2618
494.29/494.50 c 494s | 20 | 855990 | 786827 | 11632 147 | 1327 | 2618
496.29/496.55 c 496s | 20 | 858608 | 789327 | 11632 148 | 1327 | 2618
498.28/498.58 c 498s | 20 | 861340 | 791927 | 11632 148 | 1327 | 2618
500.29/500.59 c 500s | 20 | 864161 | 794627 | 11632 148 | 1327 | 2618
502.38/502.65 c 502s | 20 | 867144 | 797427 | 11632 149 | 1327 | 2618
504.48/504.71 c 504s | 20 | 870039 | 800127 | 11632 149 | 1327 | 2618
506.48/506.75 c 506s | 20 | 872812 | 802727 | 11632 150 | 1327 | 2618
508.58/508.80 c 508s | 20 | 875982 | 805727 | 11632 150 | 1327 | 2618
510.57/510.85 c 510s | 20 | 878685 | 808327 | 11632 151 | 1327 | 2618
512.67/512.92 c 512s | 20 | 881578 | 811127 | 11632 151 | 1327 | 2618
514.68/514.94 c 514s | 20 | 884416 | 813827 | 11632 151 | 1327 | 2618
516.67/516.97 c 516s | 20 | 887039 | 816327 | 11632 152 | 1327 | 2618
518.67/518.98 c 518s | 20 | 889607 | 818827 | 11632 152 | 1327 | 2618
520.76/521.02 c 520s | 20 | 892182 | 821227 | 11632 153 | 1327 | 2618
522.76/523.02 c 522s | 20 | 894870 | 823727 | 11632 153 | 1327 | 2618
524.76/525.04 c 524s | 20 | 897881 | 826527 | 11632 153 | 1327 | 2618
526.86/527.10 c 526s | 20 | 900920 | 829427 | 11632 154 | 1327 | 2618
528.87/529.15 c 528s | 20 | 904091 | 832427 | 11632 154 | 1327 | 2618
530.85/531.19 c 530s | 20 | 907185 | 835327 | 11632 155 | 1327 | 2618
532.95/533.29 c 532s | 20 | 910431 | 838327 | 11632 155 | 1327 | 2618
535.15/535.49 c 535s | 20 | 912957 | 840727 | 11632 156 | 1327 | 2618
537.25/537.52 c 537s | 20 | 915891 | 843527 | 11632 156 | 1327 | 2618
539.25/539.53 c 539s | 20 | 918835 | 846327 | 11632 156 | 1327 | 2618
541.25/541.55 c 541s | 20 | 921757 | 849027 | 11632 157 | 1327 | 2618
543.25/543.57 c 543s | 20 | 924853 | 851927 | 11632 157 | 1327 | 2618
545.25/545.57 c 545s | 20 | 927423 | 854327 | 11632 158 | 1327 | 2618
547.35/547.63 c 547s | 20 | 930385 | 857027 | 11632 158 | 1327 | 2618
549.34/549.69 c 549s | 20 | 933364 | 859827 | 11632 158 | 1327 | 2618
551.44/551.74 c 551s | 20 | 936000 | 862327 | 11632 159 | 1327 | 2618
553.54/553.80 c 553s | 20 | 939106 | 865227 | 11632 159 | 1327 | 2618
555.54/555.81 c 555s | 20 | 941975 | 867927 | 11632 160 | 1327 | 2618
557.55/557.85 c 557s | 20 | 945428 | 871227 | 11632 160 | 1327 | 2618
559.64/559.91 c 559s | 20 | 948499 | 874127 | 11632 161 | 1327 | 2618
561.64/561.95 c 561s | 20 | 951646 | 877127 | 11632 161 | 1327 | 2618
563.64/563.96 c 563s | 20 | 954667 | 879927 | 11632 161 | 1327 | 2618
565.74/566.02 c 565s | 20 | 957395 | 882527 | 11632 162 | 1327 | 2618
567.74/568.04 c 567s | 20 | 960312 | 885327 | 11632 162 | 1327 | 2618
569.83/570.11 c 569s | 20 | 962988 | 887827 | 11632 163 | 1327 | 2618
571.84/572.19 c 571s | 20 | 966146 | 890727 | 11632 163 | 1327 | 2618
573.94/574.26 c 573s | 20 | 968534 | 892927 | 11632 163 | 1327 | 2618
575.93/576.29 c 575s | 20 | 971180 | 895327 | 11632 164 | 1327 | 2618
578.03/578.32 c 578s | 20 | 974114 | 898027 | 11632 164 | 1327 | 2618
580.03/580.34 c 580s | 20 | 976804 | 900527 | 11632 165 | 1327 | 2618
582.03/582.37 c 582s | 20 | 979658 | 903227 | 11632 165 | 1327 | 2618
584.13/584.44 c 584s | 20 | 982519 | 905927 | 11632 165 | 1327 | 2618
586.13/586.47 c 586s | 20 | 985164 | 908427 | 11632 166 | 1327 | 2618
588.23/588.53 c 588s | 20 | 988447 | 911527 | 11632 166 | 1327 | 2618
590.22/590.55 c 590s | 20 | 990793 | 913727 | 11632 167 | 1327 | 2618
592.32/592.62 c 592s | 20 | 993612 | 916427 | 11632 167 | 1327 | 2618
594.32/594.66 c 594s | 20 | 996688 | 919227 | 11632 167 | 1327 | 2618
596.42/596.72 c 596s | 20 | 999557 | 921927 | 11632 168 | 1327 | 2618
598.52/598.80 c 598s | 20 | 1002851 | 924927 | 11632 168 | 1327 | 2618
600.52/600.82 c 600s | 20 | 1005704 | 927527 | 11632 169 | 1327 | 2618
602.52/602.83 c 602s | 20 | 1008826 | 930427 | 11632 169 | 1327 | 2618
604.72/605.09 c 604s | 20 | 1011351 | 932827 | 11632 170 | 1327 | 2618
606.82/607.16 c 606s | 20 | 1014381 | 935727 | 11632 170 | 1327 | 2618
608.92/609.23 c 608s | 20 | 1017089 | 938227 | 11632 170 | 1327 | 2618
610.91/611.28 c 610s | 20 | 1019945 | 940927 | 11632 171 | 1327 | 2618
613.01/613.33 c 613s | 20 | 1023043 | 943827 | 11632 171 | 1327 | 2618
615.02/615.37 c 615s | 20 | 1025051 | 945727 | 11632 172 | 1327 | 2618
617.02/617.39 c 617s | 20 | 1027970 | 948427 | 11632 172 | 1327 | 2618
619.12/619.43 c 619s | 20 | 1031140 | 951227 | 11632 172 | 1327 | 2618
621.11/621.46 c 621s | 20 | 1033680 | 953627 | 11632 173 | 1327 | 2618
623.11/623.48 c 623s | 20 | 1036903 | 956727 | 11632 173 | 1327 | 2618
625.21/625.52 c 625s | 20 | 1039668 | 959327 | 11632 174 | 1327 | 2618
627.21/627.57 c 627s | 20 | 1042355 | 961827 | 11632 174 | 1327 | 2618
629.31/629.61 c 629s | 20 | 1045082 | 964427 | 11632 174 | 1327 | 2618
631.31/631.61 c 631s | 20 | 1047539 | 966727 | 11632 175 | 1327 | 2618
633.31/633.63 c 633s | 20 | 1050468 | 969427 | 11632 175 | 1327 | 2618
635.41/635.76 c 635s | 20 | 1053079 | 971827 | 11632 176 | 1327 | 2618
637.40/637.77 c 637s | 20 | 1056475 | 974827 | 11632 176 | 1327 | 2618
639.50/639.83 c 639s | 20 | 1059289 | 977427 | 11632 176 | 1327 | 2618
641.50/641.84 c 641s | 20 | 1062003 | 979927 | 11632 177 | 1327 | 2618
643.50/643.88 c 643s | 20 | 1064774 | 982527 | 11632 177 | 1327 | 2618
645.60/645.90 c 645s | 20 | 1067288 | 984927 | 11632 178 | 1327 | 2618
647.60/647.92 c 647s | 20 | 1070561 | 988027 | 11632 178 | 1327 | 2618
649.60/649.95 c 649s | 20 | 1073588 | 990827 | 11632 178 | 1327 | 2618
651.60/651.99 c 651s | 20 | 1076324 | 993227 | 12796 179 | 1327 | 2618
653.69/654.02 c 653s | 20 | 1079391 | 996027 | 12796 179 | 1327 | 2618
655.69/656.05 c 655s | 20 | 1082338 | 998727 | 12796 179 | 1327 | 2618
657.39/657.77 c 657s | 21 | 1084239 | 1000345 | 12796 180 | 1327 | 2618
659.49/659.82 c 659s | 21 | 1086852 | 1002645 | 12796 180 | 1327 | 2618
661.49/661.88 c 661s | 21 | 1089610 | 1005245 | 12796 180 | 1327 | 2618
663.49/663.89 c 663s | 21 | 1092002 | 1007445 | 12796 181 | 1327 | 2618
665.59/665.92 c 665s | 21 | 1095023 | 1010145 | 12796 181 | 1327 | 2618
667.59/667.96 c 667s | 21 | 1097953 | 1012845 | 12796 181 | 1327 | 2618
669.69/670.02 c 669s | 21 | 1100781 | 1015445 | 12796 182 | 1327 | 2618
671.68/672.02 c 671s | 21 | 1103648 | 1018045 | 12796 182 | 1327 | 2618
673.68/674.09 c 673s | 21 | 1106195 | 1020345 | 12796 182 | 1327 | 2618
675.78/676.10 c 675s | 21 | 1108762 | 1022745 | 12796 183 | 1327 | 2618
677.78/678.11 c 677s | 21 | 1111740 | 1025445 | 12796 183 | 1327 | 2618
679.77/680.11 c 679s | 21 | 1114199 | 1027745 | 12796 184 | 1327 | 2618
681.78/682.17 c 681s | 21 | 1117060 | 1030445 | 12796 184 | 1327 | 2618
683.77/684.19 c 683s | 21 | 1119835 | 1032945 | 12796 184 | 1327 | 2618
685.87/686.26 c 685s | 21 | 1122206 | 1035145 | 12796 185 | 1327 | 2618
687.97/688.31 c 687s | 21 | 1125266 | 1037945 | 12796 185 | 1327 | 2618
689.97/690.34 c 690s | 21 | 1127964 | 1040445 | 12796 185 | 1327 | 2618
691.97/692.37 c 692s | 21 | 1130259 | 1042545 | 12796 186 | 1327 | 2618
694.07/694.43 c 694s | 21 | 1133511 | 1045445 | 12796 186 | 1327 | 2618
696.17/696.58 c 696s | 21 | 1136822 | 1048345 | 12796 186 | 1327 | 2618
698.17/698.59 c 698s | 21 | 1138791 | 1050145 | 12796 187 | 1327 | 2618
700.27/700.66 c 700s | 21 | 1141854 | 1053045 | 12796 187 | 1327 | 2618
702.27/702.67 c 702s | 21 | 1144474 | 1055445 | 12796 187 | 1327 | 2618
704.27/704.69 c 704s | 21 | 1146898 | 1057645 | 12796 188 | 1327 | 2618
706.37/706.75 c 706s | 21 | 1149667 | 1060245 | 12796 188 | 1327 | 2618
708.47/708.80 c 708s | 21 | 1152182 | 1062545 | 12796 188 | 1327 | 2618
710.47/710.88 c 710s | 21 | 1154085 | 1064345 | 12796 189 | 1327 | 2618
712.47/712.90 c 712s | 21 | 1156877 | 1066945 | 12796 189 | 1327 | 2618
714.57/714.97 c 714s | 21 | 1159718 | 1069645 | 12796 189 | 1327 | 2618
716.67/717.07 c 716s | 21 | 1162107 | 1071945 | 12796 190 | 1327 | 2618
718.77/719.10 c 718s | 21 | 1165113 | 1074745 | 12796 190 | 1327 | 2618
720.96/721.35 c 721s | 21 | 1168351 | 1077745 | 12796 191 | 1327 | 2618
723.06/723.42 c 723s | 21 | 1171285 | 1080445 | 12796 191 | 1327 | 2618
725.06/725.45 c 725s | 21 | 1174192 | 1083245 | 12796 191 | 1327 | 2618
727.06/727.47 c 727s | 21 | 1176849 | 1085645 | 12796 192 | 1327 | 2618
729.07/729.48 c 729s | 21 | 1180121 | 1088645 | 12796 192 | 1327 | 2618
731.16/731.52 c 731s | 21 | 1183519 | 1091845 | 12796 192 | 1327 | 2618
733.16/733.59 c 733s | 21 | 1186054 | 1094245 | 12796 193 | 1327 | 2618
735.26/735.64 c 735s | 21 | 1189094 | 1097045 | 12796 193 | 1327 | 2618
737.26/737.67 c 737s | 21 | 1192518 | 1100045 | 12796 194 | 1327 | 2618
739.36/739.72 c 739s | 21 | 1195855 | 1103045 | 12796 194 | 1327 | 2618
741.36/741.74 c 741s | 21 | 1199037 | 1105845 | 12796 194 | 1327 | 2618
743.36/743.75 c 743s | 21 | 1201644 | 1108145 | 12796 195 | 1327 | 2618
745.35/745.76 c 745s | 21 | 1204432 | 1110745 | 12796 195 | 1327 | 2618
747.35/747.79 c 747s | 21 | 1207194 | 1113245 | 12796 195 | 1327 | 2618
749.55/749.98 c 749s | 21 | 1209594 | 1115445 | 12796 196 | 1327 | 2618
751.65/752.04 c 751s | 21 | 1212691 | 1118345 | 12796 196 | 1327 | 2618
753.65/754.06 c 753s | 21 | 1215574 | 1121045 | 12796 197 | 1327 | 2618
755.65/756.07 c 755s | 21 | 1218692 | 1123745 | 12796 197 | 1327 | 2618
757.66/758.08 c 757s | 21 | 1221808 | 1126545 | 12796 197 | 1327 | 2618
759.76/760.18 c 759s | 21 | 1224485 | 1129045 | 12796 198 | 1327 | 2618
761.85/762.25 c 761s | 21 | 1227697 | 1131945 | 12796 198 | 1327 | 2618
764.16/764.52 c 764s | 21 | 1231121 | 1134845 | 12796 199 | 1327 | 2618
766.15/766.56 c 766s | 21 | 1233977 | 1137445 | 12796 199 | 1327 | 2618
768.25/768.61 c 768s | 21 | 1238420 | 1140945 | 12796 199 | 1327 | 2618
770.25/770.65 c 770s | 21 | 1241264 | 1143445 | 12796 200 | 1327 | 2618
772.25/772.65 c 772s | 21 | 1244204 | 1146045 | 12796 200 | 1327 | 2618
774.25/774.69 c 774s | 21 | 1247003 | 1148645 | 12796 200 | 1327 | 2618
776.36/776.72 c 776s | 21 | 1249460 | 1150945 | 12796 201 | 1327 | 2618
778.35/778.74 c 778s | 21 | 1252418 | 1153745 | 12796 201 | 1327 | 2618
780.45/780.86 c 780s | 21 | 1255143 | 1156245 | 12796 202 | 1327 | 2618
782.55/782.94 c 782s | 21 | 1258173 | 1159045 | 12796 202 | 1327 | 2618
784.55/784.97 c 784s | 21 | 1261342 | 1161945 | 12796 202 | 1327 | 2618
786.65/787.01 c 786s | 21 | 1263841 | 1164345 | 12796 203 | 1327 | 2618
788.65/789.06 c 788s | 21 | 1267087 | 1167245 | 12796 203 | 1327 | 2618
790.65/791.06 c 790s | 21 | 1269585 | 1169545 | 12796 203 | 1327 | 2618
792.65/793.09 c 792s | 21 | 1272055 | 1171745 | 12796 204 | 1327 | 2618
794.85/795.30 c 794s | 21 | 1275080 | 1174445 | 12796 204 | 1327 | 2618
796.95/797.36 c 797s | 21 | 1277819 | 1176945 | 12796 204 | 1327 | 2618
799.04/799.42 c 799s | 21 | 1279545 | 1178545 | 12796 205 | 1327 | 2618
801.04/801.45 c 801s | 21 | 1282929 | 1181645 | 12796 205 | 1327 | 2618
803.14/803.53 c 803s | 21 | 1285965 | 1184445 | 12796 205 | 1327 | 2618
805.24/805.60 c 805s | 21 | 1288560 | 1186745 | 12796 206 | 1327 | 2618
807.24/807.67 c 807s | 21 | 1291228 | 1189245 | 12796 206 | 1327 | 2618
809.25/809.70 c 809s | 21 | 1293709 | 1191545 | 12796 206 | 1327 | 2618
811.34/811.71 c 811s | 21 | 1296012 | 1193645 | 12796 207 | 1327 | 2618
813.34/813.75 c 813s | 21 | 1299143 | 1196445 | 12796 207 | 1327 | 2618
815.44/815.80 c 815s | 21 | 1301854 | 1198845 | 12796 207 | 1327 | 2618
817.44/817.86 c 817s | 21 | 1304239 | 1201045 | 12796 208 | 1327 | 2618
819.54/819.92 c 819s | 21 | 1307046 | 1203645 | 12796 208 | 1327 | 2618
821.54/821.93 c 821s | 21 | 1309211 | 1205645 | 12796 208 | 1327 | 2618
823.55/823.95 c 823s | 21 | 1311788 | 1208045 | 12796 209 | 1327 | 2618
825.54/825.99 c 825s | 21 | 1314436 | 1210545 | 12796 209 | 1327 | 2618
827.64/828.03 c 827s | 21 | 1317269 | 1213145 | 12796 209 | 1327 | 2618
829.74/830.16 c 829s | 21 | 1319567 | 1215345 | 12796 210 | 1327 | 2618
831.84/832.26 c 831s | 21 | 1322400 | 1218045 | 12796 210 | 1327 | 2618
833.94/834.31 c 833s | 21 | 1324722 | 1220245 | 12796 210 | 1327 | 2618
835.94/836.35 c 836s | 21 | 1326835 | 1222245 | 12796 211 | 1327 | 2618
837.94/838.37 c 838s | 21 | 1329486 | 1224645 | 12796 211 | 1327 | 2618
839.94/840.38 c 840s | 21 | 1331858 | 1226845 | 12796 211 | 1327 | 2618
842.04/842.44 c 842s | 21 | 1334173 | 1229045 | 12796 212 | 1327 | 2618
844.03/844.47 c 844s | 21 | 1337174 | 1231745 | 12796 212 | 1327 | 2618
846.13/846.52 c 846s | 21 | 1339772 | 1234145 | 12796 212 | 1327 | 2618
848.13/848.54 c 848s | 21 | 1342706 | 1236745 | 12796 213 | 1327 | 2618
850.13/850.55 c 850s | 21 | 1345137 | 1238945 | 12796 213 | 1327 | 2618
852.24/852.64 c 852s | 21 | 1347831 | 1241345 | 12796 213 | 1327 | 2618
854.23/854.69 c 854s | 21 | 1350393 | 1243645 | 12796 214 | 1327 | 2618
856.33/856.70 c 856s | 21 | 1352904 | 1245845 | 12796 214 | 1327 | 2618
858.33/858.74 c 858s | 21 | 1355572 | 1248245 | 12796 214 | 1327 | 2618
860.33/860.79 c 860s | 21 | 1357777 | 1250245 | 12796 215 | 1327 | 2618
862.43/862.84 c 862s | 21 | 1360814 | 1253045 | 12796 215 | 1327 | 2618
864.43/864.86 c 864s | 21 | 1363358 | 1255445 | 12796 215 | 1327 | 2618
866.44/866.90 c 866s | 21 | 1365812 | 1257645 | 12796 216 | 1327 | 2618
868.53/868.93 c 868s | 21 | 1368440 | 1260145 | 12796 216 | 1327 | 2618
870.53/870.96 c 870s | 21 | 1371198 | 1262645 | 12796 216 | 1327 | 2618
872.53/872.98 c 872s | 21 | 1373506 | 1264745 | 12796 217 | 1327 | 2618
874.63/875.06 c 874s | 21 | 1376111 | 1267145 | 12796 217 | 1327 | 2618
876.63/877.07 c 876s | 21 | 1378487 | 1269345 | 12796 217 | 1327 | 2618
878.63/879.07 c 878s | 21 | 1379738 | 1270545 | 12796 218 | 1327 | 2618
880.73/881.11 c 880s | 21 | 1382057 | 1272745 | 12796 218 | 1327 | 2618
882.73/883.18 c 882s | 21 | 1384538 | 1275145 | 12796 218 | 1327 | 2618
884.83/885.29 c 884s | 21 | 1386941 | 1277445 | 12796 218 | 1327 | 2618
887.03/887.41 c 887s | 21 | 1389491 | 1279845 | 12796 219 | 1327 | 2618
889.03/889.43 c 889s | 21 | 1392260 | 1282445 | 12796 219 | 1327 | 2618
891.23/891.60 c 891s | 21 | 1394713 | 1284745 | 12796 220 | 1327 | 2618
893.23/893.65 c 893s | 21 | 1397468 | 1287345 | 12796 220 | 1327 | 2618
895.33/895.72 c 895s | 21 | 1400434 | 1290045 | 12796 220 | 1327 | 2618
897.43/897.83 c 897s | 21 | 1402926 | 1292345 | 12796 221 | 1327 | 2618
899.44/899.83 c 899s | 21 | 1405757 | 1294945 | 12796 221 | 1327 | 2618
901.43/901.85 c 901s | 21 | 1408843 | 1297745 | 12796 221 | 1327 | 2618
903.43/903.85 c 903s | 21 | 1410956 | 1299645 | 12796 222 | 1327 | 2618
905.43/905.87 c 905s | 21 | 1413593 | 1302045 | 12796 222 | 1327 | 2618
907.53/907.90 c 907s | 21 | 1416455 | 1304645 | 12796 222 | 1327 | 2618
909.53/909.96 c 909s | 21 | 1418647 | 1306645 | 12796 223 | 1327 | 2618
911.54/911.98 c 911s | 21 | 1421433 | 1309245 | 12796 223 | 1327 | 2618
913.53/913.98 c 913s | 21 | 1423620 | 1311345 | 12796 223 | 1327 | 2618
915.63/916.05 c 915s | 21 | 1425867 | 1313445 | 12796 224 | 1327 | 2618
917.73/918.14 c 917s | 21 | 1428943 | 1316145 | 12796 224 | 1327 | 2618
919.83/920.22 c 919s | 21 | 1431549 | 1318545 | 12796 224 | 1327 | 2618
921.83/922.23 c 921s | 21 | 1433801 | 1320645 | 12796 225 | 1327 | 2618
923.82/924.29 c 923s | 21 | 1435933 | 1322645 | 12796 225 | 1327 | 2618
925.93/926.34 c 926s | 21 | 1438581 | 1325145 | 12796 225 | 1327 | 2618
928.13/928.56 c 928s | 21 | 1441154 | 1327545 | 12796 226 | 1327 | 2618
930.23/930.61 c 930s | 21 | 1443790 | 1329945 | 12796 226 | 1327 | 2618
932.22/932.64 c 932s | 21 | 1446900 | 1332845 | 12796 226 | 1327 | 2618
934.22/934.69 c 934s | 21 | 1449891 | 1335645 | 12796 227 | 1327 | 2618
936.32/936.73 c 936s | 21 | 1453117 | 1338645 | 12796 227 | 1327 | 2618
938.32/938.78 c 938s | 21 | 1456510 | 1341645 | 12796 227 | 1327 | 2618
940.32/940.79 c 940s | 21 | 1459219 | 1344145 | 12796 228 | 1327 | 2618
942.43/942.81 c 942s | 21 | 1462223 | 1346945 | 12796 228 | 1327 | 2618
944.42/944.83 c 944s | 21 | 1464509 | 1349045 | 12796 229 | 1327 | 2618
946.42/946.86 c 946s | 21 | 1467629 | 1351845 | 12796 229 | 1327 | 2618
948.52/948.93 c 948s | 21 | 1470456 | 1354445 | 12796 229 | 1327 | 2618
950.53/950.93 c 950s | 21 | 1472627 | 1356445 | 12796 230 | 1327 | 2618
952.53/952.96 c 952s | 21 | 1475461 | 1359045 | 12796 230 | 1327 | 2618
954.62/955.03 c 954s | 21 | 1478432 | 1361845 | 12796 230 | 1327 | 2618
956.63/957.07 c 956s | 21 | 1480470 | 1363745 | 12796 231 | 1327 | 2618
958.72/959.14 c 958s | 21 | 1483582 | 1366645 | 12796 231 | 1327 | 2618
960.72/961.15 c 960s | 21 | 1486164 | 1369045 | 12796 231 | 1327 | 2618
962.82/963.25 c 962s | 21 | 1487881 | 1370645 | 12796 232 | 1327 | 2618
964.82/965.29 c 964s | 21 | 1491125 | 1373745 | 12796 232 | 1327 | 2618
966.92/967.30 c 966s | 21 | 1493412 | 1375945 | 12796 232 | 1327 | 2618
969.02/969.44 c 969s | 21 | 1495606 | 1378045 | 12796 233 | 1327 | 2618
971.03/971.49 c 971s | 21 | 1498918 | 1381145 | 12796 233 | 1327 | 2618
973.13/973.51 c 973s | 21 | 1501622 | 1383745 | 12796 233 | 1327 | 2618
975.12/975.57 c 975s | 21 | 1504212 | 1386245 | 12796 234 | 1327 | 2618
977.22/977.61 c 977s | 21 | 1506716 | 1388645 | 12796 234 | 1327 | 2618
979.22/979.63 c 979s | 21 | 1509024 | 1390845 | 12796 234 | 1327 | 2618
981.22/981.66 c 981s | 21 | 1511016 | 1392745 | 12796 235 | 1327 | 2618
983.32/983.71 c 983s | 21 | 1513939 | 1395445 | 12796 235 | 1327 | 2618
985.33/985.73 c 985s | 21 | 1516735 | 1398045 | 12796 235 | 1327 | 2618
987.32/987.74 c 987s | 21 | 1518975 | 1400045 | 12796 236 | 1327 | 2618
989.32/989.76 c 989s | 21 | 1522210 | 1402945 | 12796 236 | 1327 | 2618
991.42/991.85 c 991s | 21 | 1525154 | 1405645 | 12796 236 | 1327 | 2618
993.42/993.85 c 993s | 21 | 1527507 | 1407845 | 12796 237 | 1327 | 2618
995.42/995.88 c 995s | 21 | 1530468 | 1410545 | 12796 237 | 1327 | 2618
997.52/997.93 c 997s | 21 | 1532809 | 1412745 | 12796 237 | 1327 | 2618
999.62/1000.03 c 999s | 21 | 1534835 | 1414645 | 12796 238 | 1327 | 2618
1001.61/1002.04 c 1001s | 21 | 1537627 | 1417245 | 12796 238 | 1327 | 2618
1003.61/1004.08 c 1003s | 21 | 1540455 | 1419845 | 12796 238 | 1327 | 2618
1005.71/1006.15 c 1005s | 21 | 1543176 | 1422345 | 12796 239 | 1327 | 2618
1007.71/1008.18 c 1007s | 21 | 1546172 | 1424945 | 12796 239 | 1327 | 2618
1009.81/1010.24 c 1009s | 21 | 1548825 | 1427345 | 12796 239 | 1327 | 2618
1011.81/1012.24 c 1011s | 21 | 1551552 | 1429845 | 12796 240 | 1327 | 2618
1013.92/1014.33 c 1014s | 21 | 1554481 | 1432445 | 12796 240 | 1327 | 2618
1016.02/1016.49 c 1016s | 21 | 1556833 | 1434645 | 12796 241 | 1327 | 2618
1018.22/1018.69 c 1018s | 21 | 1559637 | 1437245 | 12796 241 | 1327 | 2618
1020.31/1020.72 c 1020s | 21 | 1562388 | 1439845 | 12796 241 | 1327 | 2618
1022.31/1022.79 c 1022s | 21 | 1564517 | 1441845 | 12796 242 | 1327 | 2618
1024.41/1024.81 c 1024s | 21 | 1567522 | 1444645 | 12796 242 | 1327 | 2618
1026.41/1026.84 c 1026s | 21 | 1570536 | 1447445 | 12796 242 | 1327 | 2618
1028.41/1028.86 c 1028s | 21 | 1572813 | 1449545 | 12796 243 | 1327 | 2618
1030.42/1030.89 c 1030s | 21 | 1575682 | 1452145 | 12796 243 | 1327 | 2618
1032.41/1032.90 c 1032s | 21 | 1578052 | 1454345 | 12796 243 | 1327 | 2618
1034.51/1034.92 c 1034s | 21 | 1580296 | 1456345 | 12796 244 | 1327 | 2618
1036.51/1036.93 c 1036s | 21 | 1583090 | 1458945 | 12796 244 | 1327 | 2618
1038.51/1038.96 c 1038s | 21 | 1585851 | 1461445 | 12796 244 | 1327 | 2618
1040.50/1040.97 c 1040s | 21 | 1588215 | 1463645 | 12796 245 | 1327 | 2618
1042.60/1043.00 c 1042s | 21 | 1591037 | 1466145 | 12796 245 | 1327 | 2618
1044.61/1045.04 c 1044s | 21 | 1593937 | 1468745 | 12796 245 | 1327 | 2618
1046.70/1047.13 c 1046s | 21 | 1596230 | 1470845 | 12796 246 | 1327 | 2618
1048.80/1049.21 c 1048s | 21 | 1599172 | 1473445 | 12796 246 | 1327 | 2618
1050.80/1051.29 c 1050s | 21 | 1601935 | 1475945 | 12796 246 | 1327 | 2618
1052.90/1053.37 c 1053s | 21 | 1604214 | 1477945 | 12796 247 | 1327 | 2618
1054.90/1055.37 c 1055s | 21 | 1607042 | 1480545 | 12796 247 | 1327 | 2618
1056.90/1057.38 c 1057s | 21 | 1609719 | 1483045 | 12796 247 | 1327 | 2618
1058.91/1059.40 c 1059s | 21 | 1612253 | 1485345 | 12796 248 | 1327 | 2618
1061.00/1061.42 c 1061s | 21 | 1615072 | 1487845 | 12796 248 | 1327 | 2618
1063.00/1063.48 c 1063s | 21 | 1618108 | 1490545 | 14076 248 | 1327 | 2618
1065.10/1065.53 c 1065s | 21 | 1620683 | 1492845 | 14076 248 | 1327 | 2618
1067.30/1067.72 c 1067s | 21 | 1623312 | 1495145 | 14076 249 | 1327 | 2618
1069.30/1069.76 c 1069s | 21 | 1626464 | 1497845 | 14076 249 | 1327 | 2618
1071.30/1071.79 c 1071s | 21 | 1629000 | 1500145 | 14076 249 | 1327 | 2618
1071.80/1072.28 c 1071s | 22 | 1629505 | 1500622 | 14076 249 | 1327 | 2618
1073.90/1074.32 c 1074s | 22 | 1630682 | 1501622 | 14076 250 | 1327 | 2618
1076.00/1076.40 c 1076s | 22 | 1634129 | 1504822 | 14076 250 | 1327 | 2618
1078.00/1078.44 c 1078s | 22 | 1637211 | 1507622 | 14076 250 | 1327 | 2618
1080.00/1080.46 c 1080s | 22 | 1639720 | 1509922 | 14076 251 | 1327 | 2618
1082.10/1082.52 c 1082s | 22 | 1642650 | 1512622 | 14076 251 | 1327 | 2618
1084.10/1084.60 c 1084s | 22 | 1645632 | 1515122 | 14076 251 | 1327 | 2618
1086.50/1086.91 c 1086s | 22 | 1647734 | 1517122 | 14076 252 | 1327 | 2618
1088.50/1088.94 c 1088s | 22 | 1651052 | 1520222 | 14076 252 | 1327 | 2618
1090.50/1090.96 c 1090s | 22 | 1653996 | 1523022 | 14076 252 | 1327 | 2618
1092.50/1092.98 c 1092s | 22 | 1656554 | 1525422 | 14076 253 | 1327 | 2618
1094.60/1095.05 c 1094s | 22 | 1659707 | 1528322 | 14076 253 | 1327 | 2618
1096.70/1097.13 c 1096s | 22 | 1662472 | 1530922 | 14076 253 | 1327 | 2618
1098.70/1099.18 c 1098s | 22 | 1664682 | 1532922 | 14076 254 | 1327 | 2618
1100.80/1101.25 c 1100s | 22 | 1667576 | 1535622 | 14076 254 | 1327 | 2618
1102.90/1103.32 c 1103s | 22 | 1669855 | 1537722 | 14076 254 | 1327 | 2618
1104.89/1105.33 c 1105s | 22 | 1672312 | 1540022 | 14076 255 | 1327 | 2618
1106.89/1107.33 c 1107s | 22 | 1675147 | 1542622 | 14076 255 | 1327 | 2618
1108.89/1109.35 c 1109s | 22 | 1678068 | 1545322 | 14076 255 | 1327 | 2618
1110.89/1111.39 c 1111s | 22 | 1680489 | 1547622 | 14076 256 | 1327 | 2618
1112.91/1113.39 c 1113s | 22 | 1683360 | 1550222 | 14076 256 | 1327 | 2618
1115.01/1115.46 c 1115s | 22 | 1686100 | 1552722 | 14076 256 | 1327 | 2618
1117.10/1117.51 c 1117s | 22 | 1688591 | 1554922 | 14076 256 | 1327 | 2618
1119.10/1119.54 c 1119s | 22 | 1691071 | 1557222 | 14076 257 | 1327 | 2618
1121.20/1121.60 c 1121s | 22 | 1693782 | 1559622 | 14076 257 | 1327 | 2618
1123.20/1123.61 c 1123s | 22 | 1696653 | 1562222 | 14076 257 | 1327 | 2618
1125.20/1125.69 c 1125s | 22 | 1699317 | 1564622 | 14076 258 | 1327 | 2618
1127.30/1127.70 c 1127s | 22 | 1702621 | 1567622 | 14076 258 | 1327 | 2618
1129.31/1129.76 c 1129s | 22 | 1705679 | 1570422 | 14076 258 | 1327 | 2618
1131.40/1131.80 c 1131s | 22 | 1707844 | 1572422 | 14076 259 | 1327 | 2618
1133.40/1133.80 c 1133s | 22 | 1710525 | 1574922 | 14076 259 | 1327 | 2618
1135.40/1135.84 c 1135s | 22 | 1713186 | 1577422 | 14076 259 | 1327 | 2618
1137.60/1138.04 c 1137s | 22 | 1715596 | 1579522 | 14076 260 | 1327 | 2618
1139.60/1140.09 c 1139s | 22 | 1718094 | 1581822 | 14076 260 | 1327 | 2618
1141.70/1142.16 c 1141s | 22 | 1720676 | 1584222 | 14076 260 | 1327 | 2618
1144.10/1144.58 c 1144s | 22 | 1722938 | 1586322 | 14076 261 | 1327 | 2618
1146.10/1146.58 c 1146s | 22 | 1725755 | 1588922 | 14076 261 | 1327 | 2618
1148.20/1148.63 c 1148s | 22 | 1728720 | 1591722 | 14076 261 | 1327 | 2618
1150.30/1150.79 c 1150s | 22 | 1731453 | 1594122 | 14076 262 | 1327 | 2618
1152.29/1152.80 c 1152s | 22 | 1734076 | 1596522 | 14076 262 | 1327 | 2618
1154.39/1154.80 c 1154s | 22 | 1736858 | 1599122 | 14076 262 | 1327 | 2618
1156.39/1156.81 c 1156s | 22 | 1739261 | 1601322 | 14076 262 | 1327 | 2618
1158.39/1158.87 c 1158s | 22 | 1741648 | 1603522 | 14076 263 | 1327 | 2618
1160.49/1160.91 c 1160s | 22 | 1744562 | 1606222 | 14076 263 | 1327 | 2618
1162.49/1162.95 c 1162s | 22 | 1747542 | 1608922 | 14076 263 | 1327 | 2618
1164.60/1165.02 c 1164s | 22 | 1749859 | 1611122 | 14076 264 | 1327 | 2618
1166.59/1167.03 c 1166s | 22 | 1752718 | 1613822 | 14076 264 | 1327 | 2618
1168.59/1169.05 c 1168s | 22 | 1755619 | 1616522 | 14076 264 | 1327 | 2618
1170.59/1171.06 c 1170s | 22 | 1757913 | 1618622 | 14076 265 | 1327 | 2618
1172.59/1173.07 c 1172s | 22 | 1761020 | 1621522 | 14076 265 | 1327 | 2618
1174.59/1175.07 c 1174s | 22 | 1763916 | 1624222 | 14076 265 | 1327 | 2618
1176.70/1177.11 c 1176s | 22 | 1766452 | 1626622 | 14076 266 | 1327 | 2618
1178.69/1179.17 c 1178s | 22 | 1769662 | 1629422 | 14076 266 | 1327 | 2618
1180.69/1181.18 c 1180s | 22 | 1772737 | 1632322 | 14076 266 | 1327 | 2618
1182.89/1183.31 c 1182s | 22 | 1775050 | 1634422 | 14076 267 | 1327 | 2618
1184.89/1185.31 c 1184s | 22 | 1777987 | 1637122 | 14076 267 | 1327 | 2618
1186.89/1187.33 c 1187s | 22 | 1780718 | 1639522 | 14076 267 | 1327 | 2618
1188.99/1189.43 c 1189s | 22 | 1782333 | 1641022 | 14076 268 | 1327 | 2618
1190.99/1191.48 c 1191s | 22 | 1785274 | 1643722 | 14076 268 | 1327 | 2618
1193.09/1193.54 c 1193s | 22 | 1788192 | 1646322 | 14076 268 | 1327 | 2618
1195.29/1195.73 c 1195s | 22 | 1790585 | 1648522 | 14076 269 | 1327 | 2618
1197.28/1197.78 c 1197s | 22 | 1793501 | 1651122 | 14076 269 | 1327 | 2618
1199.38/1199.86 c 1199s | 22 | 1796391 | 1653622 | 14076 269 | 1327 | 2618
1201.48/1201.90 c 1201s | 22 | 1798580 | 1655722 | 14076 269 | 1327 | 2618
1203.48/1203.92 c 1203s | 22 | 1800483 | 1657522 | 14076 270 | 1327 | 2618
1205.48/1205.95 c 1205s | 22 | 1803558 | 1660422 | 14076 270 | 1327 | 2618
1207.58/1208.03 c 1207s | 22 | 1806367 | 1663122 | 14076 270 | 1327 | 2618
1209.59/1210.06 c 1209s | 22 | 1808832 | 1665422 | 14076 271 | 1327 | 2618
1211.58/1212.08 c 1211s | 22 | 1811966 | 1668322 | 14076 271 | 1327 | 2618
1213.68/1214.11 c 1213s | 22 | 1814861 | 1671022 | 14076 271 | 1327 | 2618
1215.68/1216.18 c 1215s | 22 | 1817105 | 1673122 | 14076 272 | 1327 | 2618
1217.78/1218.22 c 1217s | 22 | 1820198 | 1675922 | 14076 272 | 1327 | 2618
1219.78/1220.27 c 1219s | 22 | 1822689 | 1678222 | 14076 272 | 1327 | 2618
1221.79/1222.27 c 1221s | 22 | 1824381 | 1679822 | 14076 273 | 1327 | 2618
1223.89/1224.32 c 1224s | 22 | 1827363 | 1682522 | 14076 273 | 1327 | 2618
1225.88/1226.38 c 1226s | 22 | 1830253 | 1685222 | 14076 273 | 1327 | 2618
1228.08/1228.57 c 1228s | 22 | 1832676 | 1687422 | 14076 274 | 1327 | 2618
1230.08/1230.58 c 1230s | 22 | 1835465 | 1690022 | 14076 274 | 1327 | 2618
1232.08/1232.59 c 1232s | 22 | 1838224 | 1692522 | 14076 274 | 1327 | 2618
1234.18/1234.64 c 1234s | 22 | 1840621 | 1694822 | 14076 274 | 1327 | 2618
1236.28/1236.74 c 1236s | 22 | 1842845 | 1696822 | 14076 275 | 1327 | 2618
1238.28/1238.76 c 1238s | 22 | 1845448 | 1699222 | 14076 275 | 1327 | 2618
1240.38/1240.84 c 1240s | 22 | 1848197 | 1701722 | 14076 275 | 1327 | 2618
1242.48/1242.91 c 1242s | 22 | 1850793 | 1704022 | 14076 276 | 1327 | 2618
1244.48/1244.96 c 1244s | 22 | 1853855 | 1706722 | 14076 276 | 1327 | 2618
1246.48/1246.99 c 1246s | 22 | 1856337 | 1709022 | 14076 276 | 1327 | 2618
1248.58/1249.07 c 1248s | 22 | 1858529 | 1711022 | 14076 277 | 1327 | 2618
1250.67/1251.12 c 1250s | 22 | 1861654 | 1713822 | 14076 277 | 1327 | 2618
1252.67/1253.19 c 1252s | 22 | 1864200 | 1716222 | 14076 277 | 1327 | 2618
1254.68/1255.19 c 1254s | 22 | 1866571 | 1718422 | 14076 277 | 1327 | 2618
1256.77/1257.21 c 1256s | 22 | 1868491 | 1720222 | 14076 278 | 1327 | 2618
1258.77/1259.26 c 1258s | 22 | 1871318 | 1722822 | 14076 278 | 1327 | 2618
1260.77/1261.26 c 1260s | 22 | 1873876 | 1725222 | 14076 278 | 1327 | 2618
1262.87/1263.31 c 1262s | 22 | 1876035 | 1727222 | 14076 279 | 1327 | 2618
1264.87/1265.34 c 1265s | 22 | 1878756 | 1729722 | 14076 279 | 1327 | 2618
1266.97/1267.41 c 1267s | 22 | 1881442 | 1732222 | 14076 279 | 1327 | 2618
1268.98/1269.42 c 1269s | 22 | 1884146 | 1734722 | 14076 280 | 1327 | 2618
1270.97/1271.48 c 1271s | 22 | 1887275 | 1737522 | 14076 280 | 1327 | 2618
1273.07/1273.54 c 1273s | 22 | 1889876 | 1739922 | 14076 280 | 1327 | 2618
1275.37/1275.80 c 1275s | 22 | 1892046 | 1741922 | 14076 281 | 1327 | 2618
1277.37/1277.87 c 1277s | 22 | 1894855 | 1744422 | 14076 281 | 1327 | 2618
1279.47/1279.90 c 1279s | 22 | 1897496 | 1746822 | 14076 281 | 1327 | 2618
1281.47/1281.92 c 1281s | 22 | 1900246 | 1749322 | 14076 281 | 1327 | 2618
1283.47/1283.94 c 1283s | 22 | 1903332 | 1752122 | 14076 282 | 1327 | 2618
1285.47/1285.97 c 1285s | 22 | 1906212 | 1754722 | 14076 282 | 1327 | 2618
1287.57/1288.00 c 1287s | 22 | 1909116 | 1757422 | 14076 283 | 1327 | 2618
1289.57/1290.07 c 1289s | 22 | 1911433 | 1759622 | 14076 283 | 1327 | 2618
1291.67/1292.19 c 1291s | 22 | 1914156 | 1762122 | 14076 283 | 1327 | 2618
1293.77/1294.28 c 1293s | 22 | 1916996 | 1764822 | 14076 283 | 1327 | 2618
1295.87/1296.35 c 1296s | 22 | 1919084 | 1766722 | 14076 284 | 1327 | 2618
1297.86/1298.39 c 1298s | 22 | 1921441 | 1768822 | 14076 284 | 1327 | 2618
1299.96/1300.40 c 1300s | 22 | 1924281 | 1771422 | 14076 284 | 1327 | 2618
1301.97/1302.41 c 1302s | 22 | 1926743 | 1773522 | 14076 285 | 1327 | 2618
1303.96/1304.45 c 1304s | 22 | 1930065 | 1776422 | 14076 285 | 1327 | 2618
1305.97/1306.49 c 1306s | 22 | 1932690 | 1778822 | 14076 285 | 1327 | 2618
1308.07/1308.51 c 1308s | 22 | 1935405 | 1781222 | 14076 286 | 1327 | 2618
1310.07/1310.54 c 1310s | 22 | 1938183 | 1783722 | 14076 286 | 1327 | 2618
1312.07/1312.58 c 1312s | 22 | 1941246 | 1786522 | 14076 286 | 1327 | 2618
1314.18/1314.60 c 1314s | 22 | 1944632 | 1789522 | 14076 287 | 1327 | 2618
1316.17/1316.63 c 1316s | 22 | 1947130 | 1791722 | 14076 287 | 1327 | 2618
1318.17/1318.69 c 1318s | 22 | 1948993 | 1793422 | 14076 287 | 1327 | 2618
1320.27/1320.74 c 1320s | 22 | 1951558 | 1795822 | 14076 287 | 1327 | 2618
1322.37/1322.81 c 1322s | 22 | 1953644 | 1797722 | 14076 288 | 1327 | 2618
1324.37/1324.88 c 1324s | 22 | 1956558 | 1800422 | 14076 288 | 1327 | 2618
1326.47/1326.92 c 1326s | 22 | 1959414 | 1803122 | 14076 288 | 1327 | 2618
1328.47/1328.95 c 1328s | 22 | 1961741 | 1805322 | 14076 289 | 1327 | 2618
1330.47/1330.99 c 1330s | 22 | 1964495 | 1807922 | 14076 289 | 1327 | 2618
1332.57/1333.05 c 1332s | 22 | 1967352 | 1810622 | 14076 289 | 1327 | 2618
1334.67/1335.11 c 1334s | 22 | 1969665 | 1812722 | 14076 290 | 1327 | 2618
1336.66/1337.14 c 1336s | 22 | 1972416 | 1815322 | 14076 290 | 1327 | 2618
1338.66/1339.15 c 1338s | 22 | 1975033 | 1817822 | 14076 290 | 1327 | 2618
1340.76/1341.20 c 1340s | 22 | 1977130 | 1819822 | 14076 291 | 1327 | 2618
1342.77/1343.23 c 1342s | 22 | 1978558 | 1821122 | 14076 291 | 1327 | 2618
1344.87/1345.31 c 1344s | 22 | 1981469 | 1823822 | 14076 291 | 1327 | 2618
1346.86/1347.36 c 1347s | 22 | 1983891 | 1826022 | 14076 291 | 1327 | 2618
1349.06/1349.53 c 1349s | 22 | 1985802 | 1827822 | 14076 292 | 1327 | 2618
1351.06/1351.59 c 1351s | 22 | 1988710 | 1830522 | 14076 292 | 1327 | 2618
1353.16/1353.64 c 1353s | 22 | 1991400 | 1832922 | 14076 292 | 1327 | 2618
1355.46/1355.92 c 1355s | 22 | 1994173 | 1835422 | 14076 293 | 1327 | 2618
1357.46/1357.98 c 1357s | 22 | 1996750 | 1837822 | 14076 293 | 1327 | 2618
1359.56/1360.04 c 1359s | 22 | 1999605 | 1840422 | 14076 293 | 1327 | 2618
1361.56/1362.09 c 1361s | 22 | 2002197 | 1842822 | 14076 293 | 1327 | 2618
1363.56/1364.10 c 1363s | 22 | 2004585 | 1845022 | 14076 294 | 1327 | 2618
1365.66/1366.13 c 1365s | 22 | 2007522 | 1847722 | 14076 294 | 1327 | 2618
1367.76/1368.20 c 1367s | 22 | 2010097 | 1850122 | 14076 294 | 1327 | 2618
1369.75/1370.20 c 1369s | 22 | 2011870 | 1851822 | 14076 295 | 1327 | 2618
1371.75/1372.26 c 1371s | 22 | 2014920 | 1854522 | 14076 295 | 1327 | 2618
1373.75/1374.27 c 1373s | 22 | 2017784 | 1857122 | 14076 295 | 1327 | 2618
1375.85/1376.33 c 1376s | 22 | 2019990 | 1859122 | 14076 296 | 1327 | 2618
1377.86/1378.38 c 1378s | 22 | 2022558 | 1861522 | 14076 296 | 1327 | 2618
1379.85/1380.38 c 1380s | 22 | 2025213 | 1864022 | 14076 296 | 1327 | 2618
1381.95/1382.44 c 1382s | 22 | 2027886 | 1866522 | 14076 297 | 1327 | 2618
1383.95/1384.44 c 1384s | 22 | 2031061 | 1869422 | 14076 297 | 1327 | 2618
1385.95/1386.46 c 1386s | 22 | 2033929 | 1872022 | 14076 297 | 1327 | 2618
1388.05/1388.58 c 1388s | 22 | 2036132 | 1874122 | 14076 298 | 1327 | 2618
1390.15/1390.63 c 1390s | 22 | 2038807 | 1876622 | 14076 298 | 1327 | 2618
1392.16/1392.64 c 1392s | 22 | 2041596 | 1879122 | 14076 298 | 1327 | 2618
1394.15/1394.68 c 1394s | 22 | 2044050 | 1881422 | 14076 298 | 1327 | 2618
1396.15/1396.69 c 1396s | 22 | 2046508 | 1883722 | 14076 299 | 1327 | 2618
1398.25/1398.78 c 1398s | 22 | 2049461 | 1886322 | 14076 299 | 1327 | 2618
1400.35/1400.83 c 1400s | 22 | 2052332 | 1889022 | 14076 299 | 1327 | 2618
1402.45/1402.90 c 1402s | 22 | 2055053 | 1891422 | 14076 300 | 1327 | 2618
1404.45/1404.92 c 1404s | 22 | 2057558 | 1893722 | 14076 300 | 1327 | 2618
1406.46/1406.99 c 1406s | 22 | 2060392 | 1896322 | 14076 300 | 1327 | 2618
1408.55/1409.07 c 1408s | 22 | 2062288 | 1898122 | 14076 301 | 1327 | 2618
1410.65/1411.12 c 1410s | 22 | 2064909 | 1900622 | 14076 301 | 1327 | 2618
1412.75/1413.20 c 1412s | 22 | 2067552 | 1903122 | 14076 301 | 1327 | 2618
1414.95/1415.46 c 1415s | 22 | 2069802 | 1905222 | 14076 302 | 1327 | 2618
1417.05/1417.51 c 1417s | 22 | 2072153 | 1907422 | 14076 302 | 1327 | 2618
1419.15/1419.67 c 1419s | 22 | 2074459 | 1909622 | 14076 302 | 1327 | 2618
1421.15/1421.67 c 1421s | 22 | 2077033 | 1912122 | 14076 302 | 1327 | 2618
1423.15/1423.69 c 1423s | 22 | 2079209 | 1914222 | 14076 303 | 1327 | 2618
1425.25/1425.74 c 1425s | 22 | 2081687 | 1916622 | 14076 303 | 1327 | 2618
1427.35/1427.83 c 1427s | 22 | 2084298 | 1919122 | 14076 303 | 1327 | 2618
1429.34/1429.83 c 1429s | 22 | 2086473 | 1921222 | 14076 304 | 1327 | 2618
1431.34/1431.86 c 1431s | 22 | 2089108 | 1923722 | 14076 304 | 1327 | 2618
1433.44/1433.94 c 1433s | 22 | 2091376 | 1925922 | 14076 304 | 1327 | 2618
1435.54/1436.01 c 1435s | 22 | 2093769 | 1928222 | 14076 304 | 1327 | 2618
1437.54/1438.04 c 1437s | 22 | 2095825 | 1930222 | 14076 305 | 1327 | 2618
1439.55/1440.05 c 1439s | 22 | 2098355 | 1932622 | 14076 305 | 1327 | 2618
1441.65/1442.11 c 1441s | 22 | 2100964 | 1935122 | 14076 305 | 1327 | 2618
1443.64/1444.14 c 1443s | 22 | 2103787 | 1937822 | 14076 306 | 1327 | 2618
1445.64/1446.19 c 1445s | 22 | 2107090 | 1940922 | 14076 306 | 1327 | 2618
1447.74/1448.21 c 1447s | 22 | 2109597 | 1943322 | 14076 306 | 1327 | 2618
1449.74/1450.24 c 1449s | 22 | 2111821 | 1945422 | 14076 307 | 1327 | 2618
1451.84/1452.30 c 1451s | 22 | 2114385 | 1947822 | 14076 307 | 1327 | 2618
1453.86/1454.33 c 1454s | 22 | 2116726 | 1950022 | 14076 307 | 1327 | 2618
1455.85/1456.37 c 1456s | 22 | 2118781 | 1951922 | 14076 308 | 1327 | 2618
1457.85/1458.37 c 1458s | 22 | 2121452 | 1954422 | 14076 308 | 1327 | 2618
1459.95/1460.44 c 1460s | 22 | 2124162 | 1956922 | 14076 308 | 1327 | 2618
1461.95/1462.48 c 1462s | 22 | 2126807 | 1959422 | 14076 308 | 1327 | 2618
1464.05/1464.54 c 1464s | 22 | 2129023 | 1961522 | 14076 309 | 1327 | 2618
1466.05/1466.57 c 1466s | 22 | 2131823 | 1964122 | 14076 309 | 1327 | 2618
1468.05/1468.60 c 1468s | 22 | 2134353 | 1966522 | 14076 309 | 1327 | 2618
1470.25/1470.70 c 1470s | 22 | 2136745 | 1968722 | 14076 310 | 1327 | 2618
1472.24/1472.72 c 1472s | 22 | 2139714 | 1971522 | 14076 310 | 1327 | 2618
1474.24/1474.76 c 1474s | 22 | 2142916 | 1974422 | 14076 310 | 1327 | 2618
1476.34/1476.80 c 1476s | 22 | 2145211 | 1976522 | 14076 311 | 1327 | 2618
1478.34/1478.87 c 1478s | 22 | 2148131 | 1979222 | 14076 311 | 1327 | 2618
1480.44/1480.92 c 1480s | 22 | 2151027 | 1981822 | 14076 311 | 1327 | 2618
1482.45/1482.95 c 1482s | 22 | 2153477 | 1984122 | 14076 312 | 1327 | 2618
1484.55/1485.01 c 1484s | 22 | 2156018 | 1986522 | 14076 312 | 1327 | 2618
1486.54/1487.04 c 1486s | 22 | 2158745 | 1989022 | 14076 312 | 1327 | 2618
1488.64/1489.13 c 1488s | 22 | 2160995 | 1991122 | 14076 313 | 1327 | 2618
1490.84/1491.32 c 1491s | 22 | 2163676 | 1993522 | 14076 313 | 1327 | 2618
1492.84/1493.39 c 1493s | 22 | 2166434 | 1996022 | 14076 313 | 1327 | 2618
1494.94/1495.42 c 1495s | 22 | 2169396 | 1998622 | 14076 314 | 1327 | 2618
1496.94/1497.48 c 1497s | 22 | 2172302 | 2001122 | 14076 314 | 1327 | 2618
1499.04/1499.55 c 1499s | 22 | 2175477 | 2003922 | 14076 314 | 1327 | 2618
1501.24/1501.75 c 1501s | 22 | 2178067 | 2006322 | 14076 315 | 1327 | 2618
1503.34/1503.81 c 1503s | 22 | 2181067 | 2009022 | 14076 315 | 1327 | 2618
1505.34/1505.88 c 1505s | 22 | 2183913 | 2011622 | 14076 315 | 1327 | 2618
1507.43/1507.98 c 1507s | 22 | 2186410 | 2013922 | 14076 315 | 1327 | 2618
1509.53/1510.06 c 1509s | 22 | 2188906 | 2016222 | 14076 316 | 1327 | 2618
1511.63/1512.13 c 1511s | 22 | 2190972 | 2018122 | 14076 316 | 1327 | 2618
1513.63/1514.15 c 1513s | 22 | 2193765 | 2020722 | 14076 316 | 1327 | 2618
1515.63/1516.17 c 1515s | 22 | 2196259 | 2023022 | 14076 317 | 1327 | 2618
1517.64/1518.19 c 1517s | 22 | 2198772 | 2025422 | 14076 317 | 1327 | 2618
1519.74/1520.21 c 1519s | 22 | 2201459 | 2027922 | 14076 317 | 1327 | 2618
1521.73/1522.21 c 1521s | 22 | 2203404 | 2029722 | 14076 318 | 1327 | 2618
1523.73/1524.22 c 1523s | 22 | 2206026 | 2032122 | 14076 318 | 1327 | 2618
1525.73/1526.24 c 1525s | 22 | 2208763 | 2034722 | 14076 318 | 1327 | 2618
1527.83/1528.32 c 1528s | 22 | 2211285 | 2037122 | 14076 318 | 1327 | 2618
1529.83/1530.33 c 1530s | 22 | 2213683 | 2039322 | 14076 319 | 1327 | 2618
1532.04/1532.51 c 1532s | 22 | 2216007 | 2041522 | 14076 319 | 1327 | 2618
1534.04/1534.56 c 1534s | 22 | 2218675 | 2044022 | 14076 319 | 1327 | 2618
1536.14/1536.62 c 1536s | 22 | 2220819 | 2046022 | 14076 320 | 1327 | 2618
1538.14/1538.62 c 1538s | 22 | 2223412 | 2048522 | 14076 320 | 1327 | 2618
1540.13/1540.65 c 1540s | 22 | 2226172 | 2051122 | 14076 320 | 1327 | 2618
1542.23/1542.70 c 1542s | 22 | 2228300 | 2053122 | 14076 321 | 1327 | 2618
1544.23/1544.74 c 1544s | 22 | 2231005 | 2055722 | 14076 321 | 1327 | 2618
1546.24/1546.78 c 1546s | 22 | 2233913 | 2058522 | 14076 321 | 1327 | 2618
1548.44/1548.99 c 1548s | 22 | 2236380 | 2060822 | 14076 322 | 1327 | 2618
1550.54/1551.00 c 1550s | 22 | 2239026 | 2063322 | 14076 322 | 1327 | 2618
1552.53/1553.04 c 1552s | 22 | 2241574 | 2065722 | 14076 322 | 1327 | 2618
1554.63/1555.10 c 1554s | 22 | 2244469 | 2068322 | 14076 322 | 1327 | 2618
1556.63/1557.15 c 1556s | 22 | 2247152 | 2070722 | 14076 323 | 1327 | 2618
1558.63/1559.17 c 1558s | 22 | 2249717 | 2073122 | 14076 323 | 1327 | 2618
1560.73/1561.21 c 1560s | 22 | 2252185 | 2075322 | 14076 323 | 1327 | 2618
1562.74/1563.23 c 1562s | 22 | 2254046 | 2077122 | 14076 324 | 1327 | 2618
1564.73/1565.27 c 1564s | 22 | 2257028 | 2079722 | 14076 324 | 1327 | 2618
1566.73/1567.27 c 1566s | 22 | 2259193 | 2081722 | 14076 324 | 1327 | 2618
1568.73/1569.28 c 1568s | 22 | 2261441 | 2083822 | 14076 324 | 1327 | 2618
1570.83/1571.30 c 1570s | 22 | 2263461 | 2085722 | 14076 325 | 1327 | 2618
1572.83/1573.31 c 1572s | 22 | 2266065 | 2088122 | 14076 325 | 1327 | 2618
1574.84/1575.32 c 1575s | 22 | 2268667 | 2090522 | 14076 325 | 1327 | 2618
1576.83/1577.36 c 1577s | 22 | 2270587 | 2092322 | 14076 326 | 1327 | 2618
1578.93/1579.40 c 1579s | 22 | 2272849 | 2094322 | 14076 326 | 1327 | 2618
1580.93/1581.40 c 1581s | 22 | 2275039 | 2096422 | 14076 326 | 1327 | 2618
1582.93/1583.48 c 1583s | 22 | 2277479 | 2098722 | 14076 326 | 1327 | 2618
1585.03/1585.53 c 1585s | 22 | 2279375 | 2100522 | 14076 327 | 1327 | 2618
1587.03/1587.56 c 1587s | 22 | 2281907 | 2102922 | 14076 327 | 1327 | 2618
1589.03/1589.60 c 1589s | 22 | 2284426 | 2105322 | 14076 327 | 1327 | 2618
1591.13/1591.64 c 1591s | 22 | 2286645 | 2107422 | 14076 328 | 1327 | 2618
1593.22/1593.71 c 1593s | 22 | 2288883 | 2109622 | 14076 328 | 1327 | 2618
1595.22/1595.78 c 1595s | 22 | 2291327 | 2112022 | 14076 328 | 1327 | 2618
1597.32/1597.83 c 1597s | 22 | 2293692 | 2114322 | 14076 328 | 1327 | 2618
1599.32/1599.87 c 1599s | 22 | 2296175 | 2116722 | 14076 329 | 1327 | 2618
1601.42/1601.91 c 1601s | 22 | 2299021 | 2119522 | 14076 329 | 1327 | 2618
1603.43/1603.93 c 1603s | 22 | 2301397 | 2121822 | 14076 329 | 1327 | 2618
1605.42/1605.96 c 1605s | 22 | 2303490 | 2123822 | 14076 330 | 1327 | 2618
1607.42/1607.99 c 1607s | 22 | 2306121 | 2126322 | 14076 330 | 1327 | 2618
1609.52/1610.05 c 1609s | 22 | 2308726 | 2128822 | 14076 330 | 1327 | 2618
1611.52/1612.06 c 1611s | 22 | 2310820 | 2130822 | 14076 331 | 1327 | 2618
1613.62/1614.10 c 1613s | 22 | 2313319 | 2133222 | 14076 331 | 1327 | 2618
1615.62/1616.17 c 1615s | 22 | 2316226 | 2136022 | 14076 331 | 1327 | 2618
1617.63/1618.19 c 1617s | 22 | 2318679 | 2138422 | 14076 331 | 1327 | 2618
1619.72/1620.26 c 1619s | 22 | 2320729 | 2140422 | 14076 332 | 1327 | 2618
1621.72/1622.28 c 1621s | 22 | 2323441 | 2143022 | 14076 332 | 1327 | 2618
1623.82/1624.35 c 1624s | 22 | 2326105 | 2145622 | 14076 332 | 1327 | 2618
1625.82/1626.39 c 1626s | 22 | 2328374 | 2147822 | 14076 333 | 1327 | 2618
1627.92/1628.44 c 1628s | 22 | 2330863 | 2150222 | 14076 333 | 1327 | 2618
1630.02/1630.55 c 1630s | 22 | 2333352 | 2152622 | 14076 333 | 1327 | 2618
1632.02/1632.57 c 1632s | 22 | 2335105 | 2154322 | 14076 334 | 1327 | 2618
1634.12/1634.63 c 1634s | 22 | 2338039 | 2157122 | 14076 334 | 1327 | 2618
1636.11/1636.65 c 1636s | 22 | 2340592 | 2159622 | 14076 334 | 1327 | 2618
1638.41/1638.91 c 1638s | 22 | 2342944 | 2161922 | 14076 335 | 1327 | 2618
1640.41/1640.91 c 1640s | 22 | 2345386 | 2164322 | 14076 335 | 1327 | 2618
1642.41/1642.92 c 1642s | 22 | 2347961 | 2166822 | 14076 335 | 1327 | 2618
1644.41/1644.97 c 1644s | 22 | 2350453 | 2169222 | 14076 335 | 1327 | 2618
1646.51/1647.02 c 1646s | 22 | 2352460 | 2171122 | 14076 336 | 1327 | 2618
1648.52/1649.05 c 1648s | 22 | 2355154 | 2173722 | 14076 336 | 1327 | 2618
1650.51/1651.05 c 1650s | 22 | 2357321 | 2175822 | 14076 336 | 1327 | 2618
1652.61/1653.15 c 1652s | 22 | 2359170 | 2177622 | 14076 337 | 1327 | 2618
1654.71/1655.23 c 1654s | 22 | 2361570 | 2179922 | 14076 337 | 1327 | 2618
1656.71/1657.23 c 1656s | 22 | 2364221 | 2182422 | 14076 337 | 1327 | 2618
1658.71/1659.28 c 1658s | 22 | 2366494 | 2184622 | 14076 337 | 1327 | 2618
1660.81/1661.34 c 1661s | 22 | 2368783 | 2186822 | 14076 338 | 1327 | 2618
1662.82/1663.37 c 1663s | 22 | 2371365 | 2189322 | 14076 338 | 1327 | 2618
1664.92/1665.41 c 1665s | 22 | 2373670 | 2191522 | 14076 338 | 1327 | 2618
1666.91/1667.48 c 1667s | 22 | 2375821 | 2193622 | 14076 339 | 1327 | 2618
1669.01/1669.55 c 1669s | 22 | 2378185 | 2195922 | 14076 339 | 1327 | 2618
1671.11/1671.60 c 1671s | 22 | 2380431 | 2198122 | 14076 339 | 1327 | 2618
1673.11/1673.60 c 1673s | 22 | 2382795 | 2200422 | 14076 339 | 1327 | 2618
1675.11/1675.68 c 1675s | 22 | 2384878 | 2202422 | 14076 340 | 1327 | 2618
1677.11/1677.69 c 1677s | 22 | 2387476 | 2204922 | 14076 340 | 1327 | 2618
1679.21/1679.75 c 1679s | 22 | 2390061 | 2207422 | 14076 340 | 1327 | 2618
1681.31/1681.86 c 1681s | 22 | 2392004 | 2209322 | 14076 341 | 1327 | 2618
1683.41/1683.94 c 1683s | 22 | 2394792 | 2212022 | 14076 341 | 1327 | 2618
1685.40/1685.99 c 1685s | 22 | 2397346 | 2214522 | 14076 341 | 1327 | 2618
1687.50/1688.01 c 1687s | 22 | 2399489 | 2216622 | 14076 342 | 1327 | 2618
1689.50/1690.02 c 1689s | 22 | 2402294 | 2219322 | 14076 342 | 1327 | 2618
1691.50/1692.03 c 1691s | 22 | 2404883 | 2221822 | 14076 342 | 1327 | 2618
1693.70/1694.20 c 1693s | 22 | 2407297 | 2224122 | 14076 343 | 1327 | 2618
1695.71/1696.26 c 1695s | 22 | 2409794 | 2226522 | 14076 343 | 1327 | 2618
1697.80/1698.33 c 1698s | 22 | 2412371 | 2229022 | 14076 343 | 1327 | 2618
1699.81/1700.39 c 1700s | 22 | 2414518 | 2231122 | 14076 343 | 1327 | 2618
1701.81/1702.39 c 1702s | 22 | 2416546 | 2233022 | 14076 344 | 1327 | 2618
1703.91/1704.42 c 1704s | 22 | 2418743 | 2235122 | 15484 344 | 1327 | 2618
1705.91/1706.45 c 1706s | 22 | 2421491 | 2237722 | 15484 344 | 1327 | 2618
1708.01/1708.54 c 1708s | 22 | 2423968 | 2240122 | 15484 344 | 1327 | 2618
1710.02/1710.56 c 1710s | 22 | 2425781 | 2241922 | 15484 345 | 1327 | 2618
1712.01/1712.59 c 1712s | 22 | 2428286 | 2244322 | 15484 345 | 1327 | 2618
1714.11/1714.63 c 1714s | 22 | 2430836 | 2246722 | 15484 345 | 1327 | 2618
1716.11/1716.64 c 1716s | 22 | 2433377 | 2249122 | 15484 345 | 1327 | 2618
1718.11/1718.65 c 1718s | 23 | 2435368 | 2251038 | 15484 346 | 1327 | 2618
1720.21/1720.70 c 1720s | 23 | 2437805 | 2253138 | 15484 346 | 1327 | 2618
1722.21/1722.79 c 1722s | 23 | 2440785 | 2255838 | 15484 346 | 1327 | 2618
1724.60/1725.18 c 1724s | 23 | 2443165 | 2258038 | 15484 347 | 1327 | 2618
1726.70/1727.24 c 1726s | 23 | 2445851 | 2260438 | 15484 347 | 1327 | 2618
1728.71/1729.26 c 1728s | 23 | 2448472 | 2262838 | 15484 347 | 1327 | 2618
1730.80/1731.37 c 1731s | 23 | 2450724 | 2264938 | 15484 347 | 1327 | 2618
1732.90/1733.42 c 1733s | 23 | 2452725 | 2266738 | 15484 348 | 1327 | 2618
1734.90/1735.44 c 1735s | 23 | 2455362 | 2269138 | 15484 348 | 1327 | 2618
1736.90/1737.47 c 1737s | 23 | 2458170 | 2271738 | 15484 348 | 1327 | 2618
1738.90/1739.49 c 1739s | 23 | 2461036 | 2274338 | 15484 348 | 1327 | 2618
1741.00/1741.56 c 1741s | 23 | 2463672 | 2276738 | 15484 349 | 1327 | 2618
1743.01/1743.57 c 1743s | 23 | 2466376 | 2279238 | 15484 349 | 1327 | 2618
1745.00/1745.57 c 1745s | 23 | 2468860 | 2281538 | 15484 349 | 1327 | 2618
1747.10/1747.64 c 1747s | 23 | 2470892 | 2283438 | 15484 349 | 1327 | 2618
1749.10/1749.64 c 1749s | 23 | 2472726 | 2285138 | 15484 350 | 1327 | 2618
1751.20/1751.71 c 1751s | 23 | 2475571 | 2287738 | 15484 350 | 1327 | 2618
1753.20/1753.79 c 1753s | 23 | 2478403 | 2290238 | 15484 350 | 1327 | 2618
1755.30/1755.84 c 1755s | 23 | 2480480 | 2292138 | 15484 351 | 1327 | 2618
1757.30/1757.85 c 1757s | 23 | 2483225 | 2294538 | 15484 351 | 1327 | 2618
1759.40/1759.92 c 1759s | 23 | 2486157 | 2297138 | 15484 351 | 1327 | 2618
1761.50/1762.04 c 1761s | 23 | 2488530 | 2299338 | 15484 351 | 1327 | 2618
1763.49/1764.04 c 1763s | 23 | 2490617 | 2301138 | 15484 352 | 1327 | 2618
1765.79/1766.35 c 1766s | 23 | 2492806 | 2303138 | 15484 352 | 1327 | 2618
1767.89/1768.42 c 1768s | 23 | 2495302 | 2305438 | 15484 352 | 1327 | 2618
1769.89/1770.43 c 1770s | 23 | 2497783 | 2307738 | 15484 352 | 1327 | 2618
1771.89/1772.45 c 1772s | 23 | 2499992 | 2309738 | 15484 353 | 1327 | 2618
1773.90/1774.48 c 1774s | 23 | 2502827 | 2312238 | 15484 353 | 1327 | 2618
1776.00/1776.56 c 1776s | 23 | 2505547 | 2314638 | 15484 353 | 1327 | 2618
1778.09/1778.62 c 1778s | 23 | 2508156 | 2316938 | 15484 353 | 1327 | 2618
1780.09/1780.68 c 1780s | 23 | 2510399 | 2318838 | 15484 354 | 1327 | 2618
1782.19/1782.71 c 1782s | 23 | 2512885 | 2321038 | 15484 354 | 1327 | 2618
1784.19/1784.78 c 1784s | 23 | 2515494 | 2323338 | 15484 354 | 1327 | 2618
1786.29/1786.88 c 1786s | 23 | 2518074 | 2325638 | 15484 354 | 1327 | 2618
1788.40/1788.91 c 1788s | 23 | 2520076 | 2327438 | 15484 355 | 1327 | 2618
1790.40/1790.99 c 1790s | 23 | 2523148 | 2330138 | 15484 355 | 1327 | 2618
1792.50/1793.07 c 1792s | 23 | 2525807 | 2332538 | 15484 355 | 1327 | 2618
1794.50/1795.09 c 1794s | 23 | 2527965 | 2334538 | 15484 356 | 1327 | 2618
1796.49/1797.09 c 1796s | 23 | 2530132 | 2336538 | 15484 356 | 1327 | 2618
1798.59/1799.11 c 1798s | 23 | 2532502 | 2338738 | 15484 356 | 1327 | 2618
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-4106667-1466275608/watcher-4106667-1466275608 -o /tmp/evaluation-result-4106667-1466275608/solver-4106667-1466275608 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10488 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106667-1466275608.opb
pid=10510
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.11 1.17 1.43 4/173 10515
/proc/meminfo: memFree=30133140/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=847292 CPUtime=0 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 3186 0 0 0 0 0 0 0 20 0 4 0 29607976 867627008 3036 33554432000 4194304 16246674 140736858019232 140736858018656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 212591 3044 441 2943 0 209485 0
[pid=10514/tid=10518] ppid=10510 vsize=876988 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 898035712 3152 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=882108 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 903278592 3172 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=886204 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29607977 907472896 3188 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100117 s]
/proc/loadavg: 1.11 1.17 1.43 4/173 10515
/proc/meminfo: memFree=30133140/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 24772 0 0 0 5 3 0 0 20 0 4 0 29607976 1247350784 24609 33554432000 4194304 16246674 140736858019232 140736858018656 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 304529 24619 777 2943 0 301423 0
[pid=10514/tid=10518] ppid=10510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1247350784 24626 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1247350784 24634 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29607977 1247350784 24641 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116
[startup+0.200392 s]
/proc/loadavg: 1.11 1.17 1.43 4/173 10515
/proc/meminfo: memFree=30133140/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 45766 0 0 0 12 7 0 0 20 0 4 0 29607976 1247350784 45602 33554432000 4194304 16246674 140736858019232 140736858018656 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 304529 45613 793 2943 0 301423 0
[pid=10514/tid=10518] ppid=10510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1247350784 45624 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1247350784 45632 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29607977 1247350784 45638 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.30045 s]
/proc/loadavg: 1.11 1.17 1.43 4/173 10515
/proc/meminfo: memFree=30133140/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 69327 0 0 0 19 10 0 0 20 0 4 0 29607976 1247350784 69163 33554432000 4194304 16246674 140736858019232 140736858018656 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 304529 69181 793 2943 0 301423 0
[pid=10514/tid=10518] ppid=10510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1247350784 69192 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1247350784 69205 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29607977 1247350784 69218 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700352 s]
/proc/loadavg: 1.11 1.17 1.43 4/173 10515
/proc/meminfo: memFree=30133140/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 180895 0 0 0 43 26 0 0 20 0 4 0 29607976 1247350784 180732 33554432000 4194304 16246674 140736858019232 140736858001152 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 304529 180748 793 2943 0 301423 0
[pid=10514/tid=10518] ppid=10510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1247350784 180761 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1247350784 180772 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29607977 1247350784 180783 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50041 s]
/proc/loadavg: 1.11 1.17 1.43 4/183 10525
/proc/meminfo: memFree=28801660/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1299012 CPUtime=1.49 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 250243 0 0 0 114 35 0 0 20 0 4 0 29607976 1330188288 250058 33554432000 4194304 16246674 140736858019232 140736858018328 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 324753 250072 852 2943 0 321647 0
[pid=10514/tid=10518] ppid=10510 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1330188288 250084 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1330188288 250094 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1330188288 250105 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1299012
[startup+3.10047 s]
/proc/loadavg: 1.11 1.17 1.43 4/183 10525
/proc/meminfo: memFree=28431752/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 268154 0 0 0 272 37 0 0 20 0 4 0 29607976 1339625472 267968 33554432000 4194304 16246674 140736858019232 140736858001152 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 327057 267968 852 2943 0 323951 0
[pid=10514/tid=10518] ppid=10510 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1339625472 267968 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1339625472 267968 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1339625472 267968 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228
[startup+6.30045 s]
/proc/loadavg: 1.18 1.18 1.43 4/183 10525
/proc/meminfo: memFree=28429668/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1309252 CPUtime=6.28 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 268412 0 0 0 591 37 0 0 20 0 4 0 29607976 1340674048 268226 33554432000 4194304 16246674 140736858019232 140736858001152 6011884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 327313 268226 854 2943 0 324207 0
[pid=10514/tid=10518] ppid=10510 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1340674048 268226 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1340674048 268226 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1340674048 268226 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1309252
[startup+12.7004 s]
/proc/loadavg: 1.25 1.19 1.44 4/183 10525
/proc/meminfo: memFree=27970304/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1311300 CPUtime=12.69 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 268742 0 0 0 1231 38 0 0 20 0 4 0 29607976 1342771200 268556 33554432000 4194304 16246674 140736858019232 140736858002224 6021994 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 327825 268556 854 2943 0 324719 0
[pid=10514/tid=10518] ppid=10510 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1342771200 268556 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1342771200 268556 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1342771200 268556 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300
[startup+25.5005 s]
/proc/loadavg: 1.57 1.27 1.46 3/183 10525
/proc/meminfo: memFree=27961404/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1320516 CPUtime=25.48 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 271228 0 0 0 2510 38 0 0 20 0 4 0 29607976 1352208384 271042 33554432000 4194304 16246674 140736858019232 140736858001152 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 330129 271042 854 2943 0 327023 0
[pid=10514/tid=10518] ppid=10510 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1352208384 271042 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1352208384 271042 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1352208384 271042 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1320516
[startup+51.1006 s]
/proc/loadavg: 1.85 1.36 1.48 4/183 10525
/proc/meminfo: memFree=27961408/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1320516 CPUtime=51.08 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 271228 0 0 0 5070 38 0 0 20 0 4 0 29607976 1352208384 271042 33554432000 4194304 16246674 140736858019232 140736858001152 6020469 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 330129 271042 854 2943 0 327023 0
[pid=10514/tid=10518] ppid=10510 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1352208384 271042 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1352208384 271042 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1352208384 271042 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1320516
[startup+102.301 s]
/proc/loadavg: 2.12 1.50 1.52 4/183 10526
/proc/meminfo: memFree=27956864/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1322564 CPUtime=102.27 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 271746 0 0 0 10189 38 0 0 20 0 4 0 29607976 1354305536 271810 33554432000 4194304 16246674 140736858019232 140736858001152 13193554 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 330641 271810 854 2943 0 327535 0
[pid=10514/tid=10518] ppid=10510 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1354305536 271810 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1354305536 271810 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1354305536 271810 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1322564
################
# More data... #
################
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1364548
[startup+1302.3 s]
/proc/loadavg: 2.51 2.31 2.08 3/183 10578
/proc/meminfo: memFree=27806096/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1364548 CPUtime=1301.86 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 282676 0 0 0 130137 49 0 0 20 0 4 0 29607976 1397297152 282311 33554432000 4194304 16246674 140736858019232 140736858018328 5808568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 341137 282311 856 2943 0 338031 0
[pid=10514/tid=10518] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1364548
[startup+1362.3 s]
/proc/loadavg: 2.38 2.30 2.09 3/183 10580
/proc/meminfo: memFree=27805880/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1364548 CPUtime=1361.86 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 282676 0 0 0 136136 50 0 0 20 0 4 0 29607976 1397297152 282311 33554432000 4194304 16246674 140736858019232 140736858001152 5861860 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 341137 282311 856 2943 0 338031 0
[pid=10514/tid=10518] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1364548
[startup+1422.3 s]
/proc/loadavg: 2.36 2.31 2.10 4/184 10584
/proc/meminfo: memFree=27806136/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1364548 CPUtime=1421.85 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 282676 0 0 0 142135 50 0 0 20 0 4 0 29607976 1397297152 282311 33554432000 4194304 16246674 140736858019232 140736858001152 6010504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 341137 282311 856 2943 0 338031 0
[pid=10514/tid=10518] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1364548
[startup+1482.3 s]
/proc/loadavg: 2.28 2.29 2.11 3/183 10585
/proc/meminfo: memFree=27677768/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1364548 CPUtime=1481.84 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 282676 0 0 0 148133 51 0 0 20 0 4 0 29607976 1397297152 282311 33554432000 4194304 16246674 140736858019232 140736858001152 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 341137 282311 856 2943 0 338031 0
[pid=10514/tid=10518] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1364548
[startup+1542.31 s]
/proc/loadavg: 2.19 2.27 2.11 3/183 10586
/proc/meminfo: memFree=27677552/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1364548 CPUtime=1541.84 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 282676 0 0 0 154132 52 0 0 20 0 4 0 29607976 1397297152 282311 33554432000 4194304 16246674 140736858019232 140736858018328 13818309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 341137 282311 856 2943 0 338031 0
[pid=10514/tid=10518] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1364548
[startup+1602.3 s]
/proc/loadavg: 2.14 2.24 2.11 4/183 10587
/proc/meminfo: memFree=27677580/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1364548 CPUtime=1601.82 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 282676 0 0 0 160130 52 0 0 20 0 4 0 29607976 1397297152 282311 33554432000 4194304 16246674 140736858019232 140736858001152 5721681 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 341137 282311 856 2943 0 338031 0
[pid=10514/tid=10518] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1397297152 282311 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1364548
[startup+1662.3 s]
/proc/loadavg: 2.19 2.24 2.11 3/183 10589
/proc/meminfo: memFree=27578752/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1365572 CPUtime=1661.81 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 282932 0 0 0 166129 52 0 0 20 0 4 0 29607976 1398345728 282567 33554432000 4194304 16246674 140736858019232 140736858017024 5721394 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 341393 282567 856 2943 0 338287 0
[pid=10514/tid=10518] ppid=10510 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1398345728 282567 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1398345728 282567 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1398345728 282567 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1365572
[startup+1722.3 s]
/proc/loadavg: 2.12 2.21 2.10 3/183 10590
/proc/meminfo: memFree=27578888/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1365572 CPUtime=1721.81 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 282932 0 0 0 172128 53 0 0 20 0 4 0 29607976 1398345728 282567 33554432000 4194304 16246674 140736858019232 140736858001152 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 341393 282567 856 2943 0 338287 0
[pid=10514/tid=10518] ppid=10510 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1398345728 282567 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1398345728 282567 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1398345728 282567 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1365572
[startup+1782.3 s]
/proc/loadavg: 2.19 2.21 2.11 3/183 10591
/proc/meminfo: memFree=27389288/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1365572 CPUtime=1781.79 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 282932 0 0 0 178126 53 0 0 20 0 4 0 29607976 1398345728 282567 33554432000 4194304 16246674 140736858019232 140736858001152 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 341393 282567 856 2943 0 338287 0
[pid=10514/tid=10518] ppid=10510 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1398345728 282567 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1398345728 282567 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1398345728 282567 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1365572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.37 2.25 2.12 4/183 10591
/proc/meminfo: memFree=27389416/32872528 swapFree=17888/1798212
[pid=10514] ppid=10510 vsize=1365572 CPUtime=1800.09 cores=0,2,4,6
/proc/10514/stat : 10514 (toysat) R 10510 10514 10472 0 -1 4202496 282932 0 0 0 179955 54 0 0 20 0 4 0 29607976 1398345728 282567 33554432000 4194304 16246674 140736858019232 140736858018328 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10514/statm: 341393 282567 856 2943 0 338287 0
[pid=10514/tid=10518] ppid=10510 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10518/stat : 10518 (toysat) S 10510 10514 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29607977 1398345728 282567 33554432000 4194304 16246674 140736858019232 140459126009072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10514/tid=10519] ppid=10510 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10519/stat : 10519 (toysat) S 10510 10514 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29607977 1398345728 282567 33554432000 4194304 16246674 140736858019232 140459115519216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10514/tid=10520] ppid=10510 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10520/stat : 10520 (toysat) S 10510 10514 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29607977 1398345728 282567 33554432000 4194304 16246674 140736858019232 140459105045680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1365572
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 10514 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.56
CPU system time (s): 0.542917
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1365572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.542917
maximum resident set size= 1130268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282932
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= 452
involuntary context switches= 2346
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.01163 second user time and 17.4413 second system time
The end