0.00/0.00 c 2016-06-29T17:36:28+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-4117654-1467214588.opb"]
0.00/0.01 c use --random-gen="2601975877 73158253 1611540818 1375175419 3472403066 30389434 3436441189 3767970382 1213188552 145822920 1625205266 1418506822 2415541800 1481620265 2128832186 1446474795 1174245417 2198759965 822186388 4077239308 424847869 3926469749 2543873832 1577084335 4255671976 1092211204 3968631457 3850770318 2547999803 216442750 3856076565 1889022267 1030894003 3976501533 2236564621 3535307023 3782982532 2825246979 266644339 2496492394 821837439 3199900648 2359287570 1759216399 4215667040 3067849860 409021775 3915958561 3422294510 1519669862 2012212047 1536884805 1847204420 2328273493 1961637279 2819240354 3432669725 1027858319 1998551258 2495585293 1756830011 116625694 1647451386 2346554054 653498322 1126870186 1276458218 4015178145 2923368817 978519532 2825524453 1921983531 378928216 199630346 3085391261 57206608 1004339633 2581183094 1574647654 2118984441 299368133 103100364 3375981970 1354659047 2162376808 3347120635 964899241 2923877312 4122006563 1112833555 3809789664 295373182 1932983757 1910146869 3630025080 993983807 3591668734 1374547142 2653783200 2187997952 1318507465 401367476 129254519 1658912901 338918593 721087407 3009702850 3357484042 3520168120 3869338744 3144743809 3446110512 3414173000 137916859 3129139897 1476146459 1642329031 4198576588 731627408 4251989843 4036765525 3729975895 2125637164 2128087391 2694072988 2712992493 4214793601 2876174993 638326449 39795892 3606192814 1692959252 543674493 2454634680 219668989 1308283385 2585495892 739474750 4189887118 2785344 1954090350 1382054653 140805641 3583995613 1732570704 2208411517 3572512340 1704296606 1120393214 1422499858 3125740347 2985853712 433471900 1896306843 2835175815 2485197326 874254904 3586958510 3537657425 2933518650 1815784090 968951557 2351100404 3311309472 2234136215 2300049949 2948638623 2248607746 4117692561 3792878090 82984739 2048565140 2498775262 3836554485 823703448 1894172267 2514389868 4242389087 1083737708 3500876658 1915134397 913069924 2464742895 3494038187 4074172990 3319111158 4064593267 774396871 3842334469 2768973376 50838197 327098898 2778155174 1654090514 358474689 3805578285 3263183073 1600241891 1055632543 129714357 1634884866 2694328262 2854721345 4280190275 1537102967 3529675289 2127384854 2456148797 251691012 3651326687 4256739524 61026950 410939928 3175103427 3075373892 1974811582 3418303235 587536748 2228039276 2704798191 1537322084 2033576152 2065625722 1659883512 135304956 3937829968 4000244255 3211167325 3064381532 2599798291 3264201638 986538741 2637394092 3791793816 1231305734 4116237665 4291067204 377872035 3888004776 4092968006 346390638 2729853047 3737220017 3571353499 2089264662 659689791 2997895403 3288515176 4200600589 3179086657 1048497005 41353002 923474237 1356491774 2930992362 2523064174 255 362436" option to reproduce the execution
0.00/0.01 c #vars 196
0.00/0.01 c #constraints 82
0.00/0.02 c BCD2: Hardening is enabled.
0.00/0.02 c BCD2: BiasedSearch is enabled.
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 0
0.00/0.02 c 0.0s | 0 | 21 | 3 | 113 0 | 27 | 0
0.00/0.02 c #cpu_time = 0.001s
0.00/0.02 c #wall_clock_time = 0.001s
0.00/0.02 c #decision = 21
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 3
0.00/0.02 c #restart = 0
0.00/0.02 o 110
0.00/0.02 c BCD2: updating upper bound: 196 -> 109
0.00/0.02 c BCD2: 0 <= obj <= 109
0.00/0.02 c BCD2: #cores=0, #unrelaxed=196, #relaxed=0, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 0
0.00/0.02 c 0.0s | 0 | 1 | 0 | 113 0 | 27 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 1
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 1
0.00/0.02 c BCD2: 1 <= obj <= 109
0.00/0.02 c BCD2: #cores=1, #unrelaxed=195, #relaxed=1, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 0
0.00/0.02 c 0.0s | 0 | 6 | 0 | 113 0 | 27 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 6
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.02 c lower bound updated to 2
0.00/0.02 c BCD2: 2 <= obj <= 109
0.00/0.02 c BCD2: #cores=2, #unrelaxed=189, #relaxed=7, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 0
0.00/0.02 c 0.0s | 0 | 2 | 0 | 113 0 | 27 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 2
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 3
0.00/0.02 c BCD2: 3 <= obj <= 109
0.00/0.02 c BCD2: #cores=3, #unrelaxed=188, #relaxed=8, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 0
0.00/0.02 c 0.0s | 0 | 4 | 0 | 113 0 | 27 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 4
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 4
0.00/0.02 c BCD2: 4 <= obj <= 109
0.00/0.02 c BCD2: #cores=4, #unrelaxed=187, #relaxed=9, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 0
0.00/0.02 c 0.0s | 0 | 7 | 0 | 113 0 | 27 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 7
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 5
0.00/0.02 c BCD2: 5 <= obj <= 109
0.00/0.02 c BCD2: #cores=5, #unrelaxed=186, #relaxed=10, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 0
0.00/0.02 c 0.0s | 0 | 9 | 0 | 113 0 | 27 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 9
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 6
0.00/0.02 c BCD2: 6 <= obj <= 109
0.00/0.02 c BCD2: #cores=6, #unrelaxed=185, #relaxed=11, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 0
0.00/0.02 c 0.0s | 0 | 14 | 0 | 113 0 | 27 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 14
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.02 c lower bound updated to 7
0.00/0.02 c BCD2: 7 <= obj <= 109
0.00/0.02 c BCD2: #cores=7, #unrelaxed=179, #relaxed=17, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 0
0.00/0.02 c 0.0s | 0 | 10 | 0 | 113 0 | 27 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 10
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 8
0.00/0.02 c BCD2: 8 <= obj <= 109
0.00/0.02 c BCD2: #cores=8, #unrelaxed=178, #relaxed=18, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 0
0.00/0.02 c 0.0s | 0 | 14 | 0 | 113 0 | 27 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 14
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 9
0.00/0.03 c BCD2: 9 <= obj <= 109
0.00/0.03 c BCD2: #cores=9, #unrelaxed=177, #relaxed=19, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 0
0.00/0.03 c 0.0s | 0 | 15 | 0 | 113 0 | 27 | 0
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 15
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.03 c lower bound updated to 10
0.00/0.03 c BCD2: 10 <= obj <= 109
0.00/0.03 c BCD2: #cores=10, #unrelaxed=175, #relaxed=21, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 0
0.00/0.03 c 0.0s | 0 | 15 | 0 | 113 0 | 27 | 0
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 15
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.03 c lower bound updated to 11
0.00/0.03 c BCD2: 11 <= obj <= 109
0.00/0.03 c BCD2: #cores=11, #unrelaxed=173, #relaxed=23, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 1
0.00/0.03 c 0.0s | 0 | 15 | 0 | 113 0 | 27 | 1
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 15
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.03 c lower bound updated to 12
0.00/0.03 c BCD2: 12 <= obj <= 109
0.00/0.03 c BCD2: #cores=12, #unrelaxed=172, #relaxed=24, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 1
0.00/0.03 c 0.0s | 0 | 20 | 0 | 113 0 | 27 | 1
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 20
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.03 c lower bound updated to 13
0.00/0.03 c BCD2: 13 <= obj <= 109
0.00/0.03 c BCD2: #cores=13, #unrelaxed=167, #relaxed=29, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 1
0.00/0.03 c 0.0s | 0 | 17 | 0 | 113 0 | 27 | 1
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 17
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.03 c lower bound updated to 14
0.00/0.03 c BCD2: 14 <= obj <= 109
0.00/0.03 c BCD2: #cores=14, #unrelaxed=166, #relaxed=30, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 113 0 | 27 | 1
0.00/0.03 c 0.0s | 0 | 22 | 1 | 113 0 | 27 | 1
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 22
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.00/0.03 c lower bound updated to 15
0.00/0.03 c BCD2: 15 <= obj <= 109
0.00/0.03 c BCD2: #cores=14, #unrelaxed=162, #relaxed=34, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 113 0 | 28 | 1
0.00/0.03 c 0.0s | 0 | 19 | 0 | 113 0 | 28 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 19
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.03 c lower bound updated to 16
0.00/0.03 c BCD2: 16 <= obj <= 109
0.00/0.03 c BCD2: #cores=15, #unrelaxed=161, #relaxed=35, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 113 0 | 28 | 2
0.00/0.03 c 0.0s | 0 | 31 | 1 | 113 0 | 28 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 31
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.03 c lower bound updated to 17
0.00/0.03 c BCD2: 17 <= obj <= 109
0.00/0.03 c BCD2: #cores=15, #unrelaxed=160, #relaxed=36, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 113 0 | 29 | 3
0.00/0.03 c 0.0s | 0 | 25 | 0 | 113 0 | 29 | 4
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 25
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.03 c lower bound updated to 18
0.00/0.03 c BCD2: 18 <= obj <= 109
0.00/0.03 c BCD2: #cores=16, #unrelaxed=159, #relaxed=37, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=19 bias=19/20
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 113 0 | 29 | 4
0.00/0.03 c 0.0s | 0 | 31 | 0 | 113 0 | 29 | 4
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 31
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 11: cost of the new core is >=1
0.00/0.03 c lower bound updated to 19
0.00/0.03 c BCD2: 19 <= obj <= 109
0.00/0.03 c BCD2: #cores=17, #unrelaxed=148, #relaxed=48, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 113 0 | 29 | 4
0.00/0.03 c 0.0s | 0 | 22 | 0 | 113 0 | 29 | 4
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 22
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.03 c lower bound updated to 20
0.00/0.03 c BCD2: 20 <= obj <= 109
0.00/0.03 c BCD2: #cores=18, #unrelaxed=144, #relaxed=52, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 113 0 | 29 | 4
0.00/0.04 c 0.0s | 0 | 20 | 0 | 113 0 | 29 | 4
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 20
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 21
0.00/0.04 c BCD2: 21 <= obj <= 109
0.00/0.04 c BCD2: #cores=19, #unrelaxed=143, #relaxed=53, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=22 bias=22/23
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 113 0 | 29 | 4
0.00/0.04 c 0.0s | 0 | 25 | 0 | 113 0 | 29 | 4
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 25
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 22
0.00/0.04 c BCD2: 22 <= obj <= 109
0.00/0.04 c BCD2: #cores=20, #unrelaxed=142, #relaxed=54, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=23 bias=23/24
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 113 0 | 29 | 4
0.00/0.04 c 0.0s | 0 | 28 | 0 | 113 0 | 29 | 4
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 28
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.04 c lower bound updated to 23
0.00/0.04 c BCD2: 23 <= obj <= 109
0.00/0.04 c BCD2: #cores=21, #unrelaxed=135, #relaxed=61, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=24 bias=24/25
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 113 0 | 29 | 4
0.00/0.04 c 0.0s | 0 | 28 | 0 | 113 0 | 29 | 4
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 28
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 18: cost of the new core is >=3
0.00/0.04 c lower bound updated to 24
0.00/0.04 c BCD2: 24 <= obj <= 109
0.00/0.04 c BCD2: #cores=20, #unrelaxed=132, #relaxed=64, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=25 bias=25/26
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 113 0 | 31 | 4
0.00/0.04 c 0.0s | 0 | 28 | 0 | 113 0 | 31 | 6
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 28
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 25
0.00/0.04 c BCD2: 25 <= obj <= 109
0.00/0.04 c BCD2: #cores=21, #unrelaxed=131, #relaxed=65, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=26 bias=26/27
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 113 0 | 31 | 6
0.00/0.04 c 0.0s | 0 | 33 | 0 | 113 0 | 31 | 6
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 33
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.04 c lower bound updated to 26
0.00/0.04 c BCD2: 26 <= obj <= 109
0.00/0.04 c BCD2: #cores=22, #unrelaxed=123, #relaxed=73, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=27 bias=27/28
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 113 0 | 31 | 6
0.00/0.04 c 0.0s | 0 | 34 | 0 | 113 0 | 31 | 6
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 34
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 27
0.00/0.04 c BCD2: 27 <= obj <= 109
0.00/0.04 c BCD2: #cores=23, #unrelaxed=122, #relaxed=74, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=28 bias=28/29
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 113 0 | 31 | 6
0.00/0.04 c 0.0s | 0 | 39 | 0 | 113 0 | 31 | 6
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 39
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.04 c lower bound updated to 28
0.00/0.04 c BCD2: 28 <= obj <= 109
0.00/0.04 c BCD2: #cores=24, #unrelaxed=115, #relaxed=81, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 113 0 | 31 | 6
0.00/0.04 c 0.0s | 0 | 39 | 1 | 113 0 | 31 | 6
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 39
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 25: cost of the new core is >=4
0.00/0.04 c lower bound updated to 29
0.00/0.04 c BCD2: 29 <= obj <= 109
0.00/0.04 c BCD2: #cores=24, #unrelaxed=108, #relaxed=88, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=30 bias=30/31
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 113 0 | 32 | 6
0.00/0.04 c 0.0s | 0 | 34 | 0 | 113 0 | 32 | 7
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 34
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 30
0.00/0.04 c BCD2: 30 <= obj <= 109
0.00/0.04 c BCD2: #cores=25, #unrelaxed=107, #relaxed=89, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=31 bias=31/32
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 113 0 | 32 | 7
0.00/0.05 c 0.0s | 0 | 40 | 0 | 113 0 | 32 | 7
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 40
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.05 c lower bound updated to 31
0.00/0.05 c BCD2: 31 <= obj <= 109
0.00/0.05 c BCD2: #cores=26, #unrelaxed=100, #relaxed=96, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=32 bias=32/33
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 | 113 0 | 32 | 7
0.00/0.05 c 0.0s | 0 | 40 | 0 | 113 0 | 32 | 7
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 40
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.05 c lower bound updated to 32
0.00/0.05 c BCD2: 32 <= obj <= 109
0.00/0.05 c BCD2: #cores=27, #unrelaxed=96, #relaxed=100, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=33 bias=33/34
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 | 113 0 | 32 | 7
0.00/0.05 c 0.0s | 0 | 38 | 0 | 113 0 | 32 | 7
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 38
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 33
0.00/0.05 c BCD2: 33 <= obj <= 109
0.00/0.05 c BCD2: #cores=28, #unrelaxed=95, #relaxed=101, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=34 bias=34/35
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 | 113 0 | 32 | 7
0.00/0.05 c 0.0s | 0 | 45 | 0 | 113 0 | 32 | 7
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 45
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.05 c lower bound updated to 34
0.00/0.05 c BCD2: 34 <= obj <= 109
0.00/0.05 c BCD2: #cores=29, #unrelaxed=88, #relaxed=108, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=35 bias=35/36
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 | 113 0 | 32 | 7
0.00/0.05 c 0.0s | 0 | 46 | 1 | 113 0 | 32 | 7
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 46
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.00/0.05 c lower bound updated to 35
0.00/0.05 c BCD2: 35 <= obj <= 109
0.00/0.05 c BCD2: #cores=29, #unrelaxed=82, #relaxed=114, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=36 bias=36/37
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 | 113 0 | 33 | 7
0.00/0.05 c 0.0s | 0 | 46 | 0 | 113 0 | 33 | 8
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 46
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.05 c lower bound updated to 36
0.00/0.05 c BCD2: 36 <= obj <= 109
0.00/0.05 c BCD2: #cores=30, #unrelaxed=75, #relaxed=121, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=37 bias=37/38
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 | 113 0 | 33 | 8
0.00/0.05 c 0.0s | 0 | 47 | 1 | 113 0 | 33 | 8
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 47
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.00/0.05 c lower bound updated to 37
0.00/0.05 c BCD2: 37 <= obj <= 109
0.00/0.05 c BCD2: #cores=30, #unrelaxed=69, #relaxed=127, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=38 bias=38/39
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 | 113 0 | 34 | 8
0.00/0.05 c 0.0s | 0 | 47 | 0 | 113 0 | 34 | 9
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 47
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.05 c lower bound updated to 38
0.00/0.05 c BCD2: 38 <= obj <= 109
0.00/0.05 c BCD2: #cores=31, #unrelaxed=63, #relaxed=133, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=39 bias=39/40
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 | 113 0 | 34 | 9
0.00/0.05 c 0.0s | 0 | 48 | 1 | 113 0 | 34 | 9
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 48
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.05 c lower bound updated to 39
0.00/0.05 c BCD2: 39 <= obj <= 109
0.00/0.05 c BCD2: #cores=31, #unrelaxed=58, #relaxed=138, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=40 bias=40/41
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 | 113 0 | 35 | 9
0.00/0.05 c 0.0s | 0 | 46 | 0 | 113 0 | 35 | 10
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 46
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 40
0.00/0.06 c BCD2: 40 <= obj <= 109
0.00/0.06 c BCD2: #cores=32, #unrelaxed=57, #relaxed=139, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=41 bias=41/42
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 | 113 0 | 35 | 10
0.00/0.06 c 0.0s | 0 | 54 | 0 | 113 0 | 35 | 10
0.00/0.06 c #cpu_time = 0.000s
0.00/0.06 c #wall_clock_time = 0.000s
0.00/0.06 c #decision = 54
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 8: cost of the new core is >=1
0.00/0.06 c lower bound updated to 41
0.00/0.06 c BCD2: 41 <= obj <= 109
0.00/0.06 c BCD2: #cores=33, #unrelaxed=49, #relaxed=147, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=42 bias=42/43
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 | 113 0 | 35 | 10
0.00/0.06 c 0.0s | 0 | 50 | 0 | 113 0 | 35 | 10
0.00/0.06 c #cpu_time = 0.000s
0.00/0.06 c #wall_clock_time = 0.000s
0.00/0.06 c #decision = 50
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 3: cost of the new core is >=1
0.00/0.06 c lower bound updated to 42
0.00/0.06 c BCD2: 42 <= obj <= 109
0.00/0.06 c BCD2: #cores=34, #unrelaxed=46, #relaxed=150, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=43 bias=43/44
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 | 113 0 | 35 | 10
0.00/0.06 c 0.0s | 0 | 49 | 0 | 113 0 | 35 | 10
0.00/0.06 c #cpu_time = 0.000s
0.00/0.06 c #wall_clock_time = 0.000s
0.00/0.06 c #decision = 49
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 43
0.00/0.06 c BCD2: 43 <= obj <= 109
0.00/0.06 c BCD2: #cores=35, #unrelaxed=44, #relaxed=152, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=44 bias=44/45
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 | 113 0 | 35 | 10
0.00/0.06 c 0.0s | 0 | 50 | 0 | 113 0 | 35 | 10
0.00/0.06 c #cpu_time = 0.000s
0.00/0.06 c #wall_clock_time = 0.000s
0.00/0.06 c #decision = 50
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 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 44
0.00/0.06 c BCD2: 44 <= obj <= 109
0.00/0.06 c BCD2: #cores=36, #unrelaxed=43, #relaxed=153, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=45 bias=45/46
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 | 113 0 | 35 | 10
0.00/0.06 c 0.0s | 0 | 51 | 0 | 113 0 | 35 | 10
0.00/0.06 c #cpu_time = 0.000s
0.00/0.06 c #wall_clock_time = 0.000s
0.00/0.06 c #decision = 51
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 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 45
0.00/0.06 c BCD2: 45 <= obj <= 109
0.00/0.06 c BCD2: #cores=37, #unrelaxed=42, #relaxed=154, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=46 bias=46/47
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 | 113 0 | 35 | 10
0.00/0.06 c 0.0s | 0 | 63 | 1 | 113 0 | 35 | 10
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 = 63
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 14: cost of the new core is >=2
0.00/0.06 c lower bound updated to 46
0.00/0.06 c BCD2: 46 <= obj <= 109
0.00/0.06 c BCD2: #cores=37, #unrelaxed=36, #relaxed=160, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=47 bias=47/48
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 | 113 0 | 36 | 10
0.00/0.06 c 0.0s | 0 | 53 | 1 | 113 0 | 36 | 11
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 = 53
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 12 and merging with 3 cores into a new core of size 26: cost of the new core is >=4
0.00/0.06 c lower bound updated to 47
0.00/0.06 c BCD2: 47 <= obj <= 109
0.00/0.06 c BCD2: #cores=35, #unrelaxed=24, #relaxed=172, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=48 bias=48/49
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 | 113 0 | 39 | 11
0.00/0.06 c 0.0s | 0 | 52 | 1 | 113 0 | 39 | 14
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 = 52
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.06 c lower bound updated to 48
0.00/0.06 c BCD2: 48 <= obj <= 109
0.00/0.06 c BCD2: #cores=35, #unrelaxed=23, #relaxed=173, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=49 bias=49/50
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 | 113 0 | 40 | 14
0.00/0.06 c 0.0s | 0 | 42 | 0 | 113 0 | 40 | 15
0.00/0.06 c #cpu_time = 0.000s
0.00/0.06 c #wall_clock_time = 0.000s
0.00/0.06 c #decision = 42
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 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 49
0.00/0.07 c BCD2: 49 <= obj <= 109
0.00/0.07 c BCD2: #cores=36, #unrelaxed=22, #relaxed=174, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=50 bias=50/51
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 | 113 0 | 40 | 15
0.00/0.07 c 0.0s | 0 | 43 | 0 | 113 0 | 40 | 15
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 43
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 1: cost of the new core is >=1
0.00/0.07 c lower bound updated to 50
0.00/0.07 c BCD2: 50 <= obj <= 109
0.00/0.07 c BCD2: #cores=37, #unrelaxed=21, #relaxed=175, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=51 bias=51/52
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 | 113 0 | 40 | 15
0.00/0.07 c 0.0s | 0 | 44 | 0 | 113 0 | 40 | 15
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 44
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 1: cost of the new core is >=1
0.00/0.07 c lower bound updated to 51
0.00/0.07 c BCD2: 51 <= obj <= 109
0.00/0.07 c BCD2: #cores=38, #unrelaxed=20, #relaxed=176, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=52 bias=52/53
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 | 113 0 | 40 | 15
0.00/0.07 c 0.0s | 0 | 50 | 0 | 113 0 | 40 | 15
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 50
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 6: cost of the new core is >=1
0.00/0.07 c lower bound updated to 52
0.00/0.07 c BCD2: 52 <= obj <= 109
0.00/0.07 c BCD2: #cores=39, #unrelaxed=14, #relaxed=182, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=53 bias=53/54
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 | 113 0 | 40 | 15
0.00/0.07 c 0.0s | 0 | 60 | 1 | 113 0 | 40 | 15
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 = 60
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 1
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
0.00/0.07 c lower bound updated to 53
0.00/0.07 c BCD2: 53 <= obj <= 109
0.00/0.07 c BCD2: #cores=39, #unrelaxed=13, #relaxed=183, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=54 bias=54/55
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 | 113 0 | 41 | 16
0.00/0.07 c 0.0s | 0 | 48 | 0 | 113 0 | 41 | 17
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 48
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 1: cost of the new core is >=1
0.00/0.07 c lower bound updated to 54
0.00/0.07 c BCD2: 54 <= obj <= 109
0.00/0.07 c BCD2: #cores=40, #unrelaxed=12, #relaxed=184, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=55 bias=55/56
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 | 113 0 | 41 | 17
0.00/0.07 c 0.0s | 0 | 49 | 0 | 113 0 | 41 | 17
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 49
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 1: cost of the new core is >=1
0.00/0.07 c lower bound updated to 55
0.00/0.07 c BCD2: 55 <= obj <= 109
0.00/0.07 c BCD2: #cores=41, #unrelaxed=11, #relaxed=185, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=56 bias=56/57
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 | 113 0 | 41 | 17
0.00/0.07 c 0.0s | 0 | 128 | 16 | 113 0 | 41 | 17
0.00/0.07 c #cpu_time = 0.002s
0.00/0.07 c #wall_clock_time = 0.002s
0.00/0.07 c #decision = 128
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 16
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 8: cost of the new core is >=2
0.00/0.07 c lower bound updated to 56
0.00/0.07 c BCD2: 56 <= obj <= 109
0.00/0.07 c BCD2: #cores=41, #unrelaxed=9, #relaxed=187, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=57 bias=57/58
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 | 113 0 | 42 | 17
0.00/0.08 c 0.0s | 1 | 206 | 100 | 125 0 | 42 | 18
0.00/0.09 c 0.0s | 2 | 461 | 250 | 138 1 | 42 | 18
0.09/0.11 c 0.0s | 3 | 812 | 475 | 152 2 | 42 | 18
0.09/0.13 c 0.1s | 4 | 1272 | 813 | 168 5 | 42 | 18
0.09/0.18 c 0.1s | 5 | 2027 | 1320 | 185 9 | 42 | 18
0.19/0.24 c 0.2s | 6 | 3013 | 2081 | 204 14 | 42 | 18
0.29/0.35 c 0.3s | 7 | 4430 | 3223 | 225 21 | 42 | 18
0.39/0.49 c 0.4s | 8 | 6543 | 4936 | 248 32 | 42 | 18
0.69/0.73 c 0.6s | 9 | 9729 | 7506 | 273 46 | 42 | 18
1.01/1.04 c 1.0s | 10 | 14442 | 11361 | 301 67 | 42 | 18
1.09/1.13 c 1.1s | 10 | 15838 | 12455 | 301 73 | 42 | 18
1.09/1.13 c #cpu_time = 1.055s
1.09/1.13 c #wall_clock_time = 1.055s
1.09/1.13 c #decision = 15838
1.09/1.13 c #random_decision = 50
1.09/1.13 c #conflict = 12455
1.09/1.13 c #restart = 10
1.09/1.13 c BCD2: relaxing 7 and merging with 9 cores into a new core of size 123: cost of the new core is >=20
1.09/1.13 c lower bound updated to 57
1.09/1.13 c BCD2: 57 <= obj <= 109
1.09/1.13 c BCD2: #cores=33, #unrelaxed=2, #relaxed=194, #hardened=0
1.09/1.13 c BCD2: #sat=1 #unsat=58 bias=58/59
1.09/1.13 c Solving starts ...
1.09/1.13 c ============================[ Search Statistics ]============================
1.09/1.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.13 c | | | | Limit GC | Var | Constra
1.09/1.13 c =============================================================================
1.09/1.13 c 0.0s | 0 | 0 | 0 | 301 0 | 51 | 18
1.09/1.15 c 0.0s | 1 | 173 | 100 | 301 0 | 51 | 27
1.09/1.18 c 0.0s | 2 | 467 | 250 | 301 0 | 51 | 27
1.19/1.22 c 0.1s | 3 | 784 | 475 | 301 1 | 51 | 27
1.19/1.27 c 0.1s | 4 | 1238 | 813 | 301 2 | 51 | 27
1.30/1.35 c 0.2s | 5 | 1876 | 1320 | 301 5 | 51 | 27
1.40/1.47 c 0.3s | 6 | 2757 | 2081 | 301 8 | 51 | 27
1.59/1.64 c 0.5s | 7 | 4192 | 3223 | 301 14 | 51 | 27
1.89/1.92 c 0.8s | 8 | 6186 | 4936 | 332 21 | 51 | 27
2.29/2.37 c 1.2s | 9 | 9181 | 7506 | 332 32 | 51 | 27
2.99/3.00 c 1.9s | 10 | 13635 | 11361 | 332 49 | 51 | 27
3.89/3.93 c 2.8s | 11 | 20504 | 17144 | 366 73 | 51 | 27
5.29/5.37 c 4.2s | 12 | 30556 | 25819 | 366 108 | 51 | 27
7.29/7.39 c 6.3s | 12 | 43790 | 37419 | 403 151 | 51 | 27
7.59/7.64 c 6.5s | 13 | 45394 | 38832 | 403 156 | 51 | 27
9.59/9.66 c 8.5s | 13 | 59191 | 50832 | 444 200 | 51 | 27
10.79/10.89 c 9.8s | 14 | 67727 | 58352 | 444 226 | 51 | 27
12.89/12.90 c 11.8s | 14 | 80803 | 69752 | 444 265 | 51 | 27
14.89/14.92 c 13.8s | 14 | 93355 | 80852 | 489 302 | 51 | 27
16.09/16.16 c 15.0s | 15 | 101073 | 87632 | 489 323 | 51 | 27
18.09/18.18 c 17.0s | 15 | 114146 | 99132 | 489 359 | 51 | 27
20.09/20.18 c 19.1s | 15 | 126812 | 110332 | 489 395 | 51 | 27
22.09/22.19 c 21.1s | 15 | 139776 | 121732 | 538 431 | 51 | 27
23.99/24.00 c 22.9s | 16 | 150794 | 131552 | 538 460 | 51 | 27
25.99/26.01 c 24.9s | 16 | 163582 | 142852 | 538 493 | 51 | 27
27.98/28.02 c 26.9s | 16 | 176155 | 153952 | 538 525 | 51 | 27
29.99/30.04 c 28.9s | 16 | 189911 | 165852 | 538 561 | 51 | 27
31.98/32.04 c 30.9s | 16 | 202854 | 177352 | 538 595 | 51 | 27
33.98/34.05 c 32.9s | 16 | 215225 | 188352 | 592 626 | 51 | 27
35.68/35.78 c 34.6s | 17 | 225368 | 197432 | 592 651 | 51 | 27
37.69/37.79 c 36.7s | 17 | 237672 | 208232 | 592 680 | 51 | 27
39.68/39.79 c 38.7s | 17 | 249290 | 218632 | 592 708 | 51 | 27
41.78/41.80 c 40.7s | 17 | 261553 | 229432 | 592 737 | 51 | 27
43.79/43.81 c 42.7s | 17 | 273372 | 239732 | 592 766 | 51 | 27
45.79/45.83 c 44.7s | 17 | 284268 | 249432 | 592 792 | 51 | 27
47.79/47.84 c 46.7s | 17 | 295247 | 259132 | 592 818 | 51 | 27
49.79/49.86 c 48.7s | 17 | 306364 | 268932 | 592 845 | 51 | 27
51.78/51.86 c 50.7s | 17 | 317625 | 278732 | 592 872 | 51 | 27
53.78/53.86 c 52.7s | 17 | 328372 | 288232 | 652 896 | 51 | 27
55.48/55.52 c 54.4s | 18 | 337578 | 296252 | 652 917 | 51 | 27
57.49/57.53 c 56.4s | 18 | 350617 | 307652 | 652 946 | 51 | 27
59.48/59.54 c 58.4s | 18 | 362847 | 318352 | 652 974 | 51 | 27
61.48/61.55 c 60.4s | 18 | 375596 | 329652 | 652 1002 | 51 | 27
63.48/63.55 c 62.4s | 18 | 387163 | 339852 | 652 1028 | 51 | 27
65.48/65.57 c 64.4s | 18 | 399266 | 350552 | 652 1055 | 51 | 27
67.48/67.59 c 66.5s | 18 | 411177 | 360952 | 652 1082 | 51 | 27
69.48/69.59 c 68.5s | 18 | 422806 | 371152 | 652 1108 | 51 | 27
71.58/71.61 c 70.5s | 18 | 434582 | 381652 | 652 1134 | 51 | 27
73.58/73.61 c 72.5s | 18 | 446036 | 391752 | 652 1160 | 51 | 27
75.58/75.63 c 74.5s | 18 | 457930 | 402252 | 652 1186 | 51 | 27
77.58/77.63 c 76.5s | 18 | 469165 | 412252 | 652 1212 | 51 | 27
79.57/79.64 c 78.5s | 18 | 480581 | 422352 | 652 1237 | 51 | 27
81.58/81.65 c 80.5s | 18 | 492315 | 432652 | 718 1262 | 51 | 27
83.57/83.67 c 82.5s | 18 | 504809 | 443652 | 718 1288 | 51 | 27
83.78/83.82 c 82.7s | 19 | 505762 | 444482 | 718 1290 | 51 | 27
85.77/85.84 c 84.7s | 19 | 517415 | 454882 | 718 1314 | 51 | 27
87.77/87.86 c 86.7s | 19 | 529095 | 465382 | 718 1339 | 51 | 27
89.77/89.87 c 88.7s | 19 | 540828 | 475782 | 718 1363 | 51 | 27
91.77/91.87 c 90.7s | 19 | 552685 | 486282 | 718 1387 | 51 | 27
93.78/93.87 c 92.7s | 19 | 564646 | 496782 | 718 1412 | 51 | 27
95.77/95.89 c 94.8s | 19 | 576308 | 507082 | 718 1436 | 51 | 27
97.77/97.89 c 96.8s | 19 | 587563 | 517082 | 718 1459 | 51 | 27
99.86/99.91 c 98.8s | 19 | 599065 | 527382 | 718 1483 | 51 | 27
101.86/101.92 c 100s | 19 | 610963 | 537882 | 718 1508 | 51 | 27
103.86/103.93 c 102s | 19 | 622534 | 548182 | 718 1532 | 51 | 27
105.87/105.94 c 104s | 19 | 633952 | 558282 | 718 1555 | 51 | 27
107.86/107.94 c 106s | 19 | 645689 | 568582 | 718 1580 | 51 | 27
109.86/109.96 c 108s | 19 | 657232 | 578882 | 718 1604 | 51 | 27
111.86/111.96 c 110s | 19 | 668770 | 589182 | 718 1628 | 51 | 27
113.87/113.97 c 112s | 19 | 680393 | 599482 | 718 1652 | 51 | 27
115.87/115.97 c 114s | 19 | 692085 | 609782 | 718 1676 | 51 | 27
117.88/117.98 c 116s | 19 | 703335 | 619782 | 718 1699 | 51 | 27
119.96/120.00 c 118s | 19 | 714486 | 629882 | 718 1723 | 51 | 27
121.96/122.00 c 120s | 19 | 726240 | 640282 | 718 1747 | 51 | 27
123.96/124.01 c 122s | 19 | 738169 | 650782 | 790 1771 | 51 | 27
125.96/126.01 c 124s | 19 | 749852 | 661082 | 790 1793 | 51 | 27
127.06/127.17 c 126s | 20 | 756263 | 666827 | 790 1806 | 51 | 27
129.06/129.19 c 128s | 20 | 767591 | 676827 | 790 1827 | 51 | 27
131.07/131.20 c 130s | 20 | 778664 | 686827 | 790 1848 | 51 | 27
133.16/133.21 c 132s | 20 | 789153 | 696227 | 790 1869 | 51 | 27
135.16/135.23 c 134s | 20 | 800424 | 706227 | 790 1890 | 51 | 27
137.16/137.25 c 136s | 20 | 811479 | 716027 | 790 1912 | 51 | 27
139.16/139.27 c 138s | 20 | 822401 | 725827 | 790 1933 | 51 | 27
141.16/141.29 c 140s | 20 | 833478 | 735727 | 790 1954 | 51 | 27
143.26/143.32 c 142s | 20 | 844185 | 745227 | 790 1975 | 51 | 27
145.25/145.32 c 144s | 20 | 854928 | 754727 | 790 1995 | 51 | 27
147.25/147.34 c 146s | 20 | 866799 | 765227 | 790 2018 | 51 | 27
149.25/149.35 c 148s | 20 | 877753 | 774927 | 790 2039 | 51 | 27
151.25/151.36 c 150s | 20 | 888764 | 784727 | 790 2060 | 51 | 27
153.25/153.37 c 152s | 20 | 898650 | 793527 | 790 2079 | 51 | 27
155.25/155.37 c 154s | 20 | 909312 | 803027 | 790 2099 | 51 | 27
157.25/157.39 c 156s | 20 | 920417 | 812827 | 790 2120 | 51 | 27
159.35/159.40 c 158s | 20 | 930979 | 822327 | 790 2141 | 51 | 27
161.35/161.41 c 160s | 20 | 942741 | 832627 | 790 2163 | 51 | 27
163.35/163.41 c 162s | 20 | 953369 | 842027 | 790 2184 | 51 | 27
165.34/165.41 c 164s | 20 | 963403 | 850927 | 790 2203 | 51 | 27
167.35/167.43 c 166s | 20 | 973869 | 860227 | 790 2223 | 51 | 27
169.34/169.43 c 168s | 20 | 984246 | 869427 | 790 2243 | 51 | 27
171.35/171.43 c 170s | 20 | 995664 | 879427 | 790 2265 | 51 | 27
173.35/173.45 c 172s | 20 | 1007364 | 889727 | 790 2287 | 51 | 27
175.35/175.46 c 174s | 20 | 1018798 | 899627 | 790 2308 | 51 | 27
177.35/177.46 c 176s | 20 | 1029797 | 909227 | 790 2329 | 51 | 27
179.34/179.47 c 178s | 20 | 1040983 | 919127 | 790 2350 | 51 | 27
181.34/181.49 c 180s | 20 | 1052141 | 928827 | 790 2371 | 51 | 27
183.34/183.49 c 182s | 20 | 1063028 | 938327 | 790 2392 | 51 | 27
185.44/185.50 c 184s | 20 | 1074470 | 948427 | 790 2414 | 51 | 27
187.44/187.51 c 186s | 20 | 1086520 | 959027 | 790 2437 | 51 | 27
189.44/189.52 c 188s | 20 | 1099135 | 970127 | 790 2461 | 51 | 27
191.44/191.53 c 190s | 20 | 1111627 | 981027 | 870 2484 | 51 | 27
193.44/193.53 c 192s | 20 | 1123803 | 991727 | 870 2506 | 51 | 27
195.04/195.12 c 193s | 21 | 1133685 | 1000345 | 870 2523 | 51 | 27
197.04/197.13 c 195s | 21 | 1146703 | 1011645 | 870 2546 | 51 | 27
199.03/199.14 c 198s | 21 | 1159822 | 1022845 | 870 2568 | 51 | 27
201.03/201.15 c 200s | 21 | 1172408 | 1033845 | 870 2590 | 51 | 27
203.03/203.16 c 202s | 21 | 1184316 | 1044245 | 870 2611 | 51 | 27
205.03/205.17 c 204s | 21 | 1195571 | 1054245 | 870 2631 | 51 | 27
207.03/207.18 c 206s | 21 | 1207663 | 1064845 | 870 2652 | 51 | 27
209.02/209.19 c 208s | 21 | 1219607 | 1075245 | 870 2673 | 51 | 27
211.02/211.19 c 210s | 21 | 1231421 | 1085745 | 870 2694 | 51 | 27
213.02/213.19 c 212s | 21 | 1243226 | 1096245 | 870 2715 | 51 | 27
215.12/215.20 c 214s | 21 | 1254978 | 1106445 | 870 2735 | 51 | 27
217.12/217.22 c 216s | 21 | 1266076 | 1116245 | 870 2755 | 51 | 27
219.13/219.22 c 218s | 21 | 1277707 | 1126345 | 870 2775 | 51 | 27
221.12/221.22 c 220s | 21 | 1289639 | 1136545 | 870 2796 | 51 | 27
223.12/223.24 c 222s | 21 | 1301193 | 1146745 | 870 2816 | 51 | 27
225.12/225.24 c 224s | 21 | 1313491 | 1157645 | 870 2838 | 51 | 27
227.12/227.25 c 226s | 21 | 1325743 | 1168345 | 870 2859 | 51 | 27
229.11/229.27 c 228s | 21 | 1337787 | 1178845 | 870 2880 | 51 | 27
231.13/231.27 c 230s | 21 | 1349281 | 1188845 | 870 2900 | 51 | 27
233.12/233.28 c 232s | 21 | 1361266 | 1199245 | 870 2921 | 51 | 27
235.12/235.29 c 234s | 21 | 1372208 | 1208945 | 870 2940 | 51 | 27
237.12/237.30 c 236s | 21 | 1384085 | 1219245 | 870 2961 | 51 | 27
239.21/239.30 c 238s | 21 | 1395897 | 1229545 | 870 2982 | 51 | 27
241.21/241.31 c 240s | 21 | 1407925 | 1240045 | 870 3003 | 51 | 27
243.22/243.31 c 242s | 21 | 1419806 | 1250445 | 870 3024 | 51 | 27
245.21/245.32 c 244s | 21 | 1431602 | 1260845 | 870 3045 | 51 | 27
247.21/247.33 c 246s | 21 | 1443658 | 1271445 | 870 3066 | 51 | 27
249.21/249.34 c 248s | 21 | 1456033 | 1281945 | 870 3087 | 51 | 27
251.21/251.35 c 250s | 21 | 1468260 | 1292445 | 870 3108 | 51 | 27
253.22/253.37 c 252s | 21 | 1479985 | 1302745 | 870 3128 | 51 | 27
255.21/255.38 c 254s | 21 | 1492233 | 1313345 | 870 3150 | 51 | 27
257.21/257.38 c 256s | 21 | 1504033 | 1323645 | 870 3170 | 51 | 27
259.31/259.40 c 258s | 21 | 1515577 | 1333845 | 870 3191 | 51 | 27
261.31/261.41 c 260s | 21 | 1527761 | 1344545 | 870 3212 | 51 | 27
263.31/263.43 c 262s | 21 | 1539633 | 1355045 | 870 3233 | 51 | 27
265.31/265.43 c 264s | 21 | 1551033 | 1365145 | 870 3253 | 51 | 27
267.31/267.44 c 266s | 21 | 1562637 | 1375245 | 870 3273 | 51 | 27
269.30/269.45 c 268s | 21 | 1574174 | 1385445 | 870 3294 | 51 | 27
271.30/271.47 c 270s | 21 | 1585594 | 1395645 | 870 3314 | 51 | 27
273.30/273.48 c 272s | 21 | 1596789 | 1405645 | 870 3334 | 51 | 27
275.40/275.50 c 274s | 21 | 1607896 | 1415545 | 870 3354 | 51 | 27
277.31/277.50 c 276s | 21 | 1619376 | 1425645 | 870 3374 | 51 | 27
279.40/279.51 c 278s | 21 | 1630895 | 1435745 | 870 3394 | 51 | 27
281.40/281.51 c 280s | 21 | 1642582 | 1446045 | 870 3415 | 51 | 27
283.40/283.52 c 282s | 21 | 1653922 | 1455945 | 870 3435 | 51 | 27
285.40/285.53 c 284s | 21 | 1666218 | 1466745 | 870 3457 | 51 | 27
287.40/287.54 c 286s | 21 | 1679169 | 1477945 | 958 3479 | 51 | 27
289.40/289.54 c 288s | 21 | 1691238 | 1488445 | 958 3498 | 51 | 27
291.39/291.55 c 290s | 21 | 1703106 | 1498945 | 958 3517 | 51 | 27
291.70/291.85 c 290s | 22 | 1704949 | 1500622 | 958 3521 | 51 | 27
293.69/293.85 c 292s | 22 | 1717385 | 1511522 | 958 3540 | 51 | 27
295.69/295.86 c 294s | 22 | 1729335 | 1522022 | 958 3560 | 51 | 27
297.69/297.86 c 296s | 22 | 1740515 | 1531922 | 958 3578 | 51 | 27
299.69/299.88 c 298s | 22 | 1752130 | 1542222 | 958 3597 | 51 | 27
301.69/301.88 c 300s | 22 | 1763727 | 1552422 | 958 3616 | 51 | 27
303.69/303.89 c 302s | 22 | 1775860 | 1562822 | 958 3635 | 51 | 27
305.79/305.91 c 304s | 22 | 1788312 | 1573522 | 958 3655 | 51 | 27
307.79/307.91 c 306s | 22 | 1799736 | 1583522 | 958 3673 | 51 | 27
309.78/309.92 c 308s | 22 | 1811434 | 1593822 | 958 3692 | 51 | 27
311.78/311.93 c 310s | 22 | 1823097 | 1604022 | 958 3710 | 51 | 27
313.79/313.95 c 312s | 22 | 1834565 | 1614022 | 958 3729 | 51 | 27
315.80/315.96 c 314s | 22 | 1845582 | 1623722 | 958 3746 | 51 | 27
317.79/317.98 c 316s | 22 | 1856826 | 1633622 | 958 3765 | 51 | 27
319.89/320.01 c 318s | 22 | 1868047 | 1643522 | 958 3783 | 51 | 27
321.89/322.01 c 320s | 22 | 1878872 | 1653122 | 958 3800 | 51 | 27
323.88/324.02 c 322s | 22 | 1890248 | 1663022 | 958 3819 | 51 | 27
325.88/326.04 c 324s | 22 | 1901479 | 1672722 | 958 3836 | 51 | 27
327.89/328.05 c 326s | 22 | 1911924 | 1681922 | 958 3853 | 51 | 27
329.88/330.06 c 328s | 22 | 1922899 | 1691622 | 958 3871 | 51 | 27
331.88/332.07 c 330s | 22 | 1933800 | 1701222 | 958 3889 | 51 | 27
333.88/334.09 c 332s | 22 | 1945315 | 1711122 | 958 3907 | 51 | 27
335.88/336.09 c 334s | 22 | 1956442 | 1720822 | 958 3925 | 51 | 27
337.98/338.12 c 336s | 22 | 1967895 | 1730822 | 958 3944 | 51 | 27
339.98/340.12 c 338s | 22 | 1979104 | 1740722 | 958 3962 | 51 | 27
341.97/342.12 c 340s | 22 | 1989563 | 1750222 | 958 3979 | 51 | 27
343.97/344.12 c 342s | 22 | 2000433 | 1759922 | 958 3997 | 51 | 27
345.97/346.14 c 345s | 22 | 2010708 | 1769022 | 958 4013 | 51 | 27
347.97/348.14 c 347s | 22 | 2020926 | 1778222 | 958 4030 | 51 | 27
349.97/350.16 c 349s | 22 | 2031003 | 1787322 | 958 4047 | 51 | 27
351.97/352.17 c 351s | 22 | 2042167 | 1797122 | 958 4064 | 51 | 27
353.97/354.18 c 353s | 22 | 2052867 | 1806622 | 958 4082 | 51 | 27
355.96/356.19 c 355s | 22 | 2064491 | 1816822 | 958 4101 | 51 | 27
357.96/358.19 c 357s | 22 | 2075787 | 1826822 | 958 4119 | 51 | 27
360.06/360.21 c 359s | 22 | 2086846 | 1836622 | 958 4137 | 51 | 27
362.07/362.23 c 361s | 22 | 2098172 | 1846622 | 958 4155 | 51 | 27
364.06/364.24 c 363s | 22 | 2108907 | 1856122 | 958 4172 | 51 | 27
366.06/366.25 c 365s | 22 | 2119160 | 1865322 | 958 4189 | 51 | 27
368.06/368.27 c 367s | 22 | 2130319 | 1875122 | 958 4207 | 51 | 27
370.06/370.28 c 369s | 22 | 2141098 | 1884722 | 958 4225 | 51 | 27
372.16/372.30 c 371s | 22 | 2151877 | 1894322 | 958 4242 | 51 | 27
374.16/374.31 c 373s | 22 | 2163242 | 1904222 | 958 4260 | 51 | 27
376.15/376.32 c 375s | 22 | 2175177 | 1914622 | 958 4280 | 51 | 27
378.15/378.34 c 377s | 22 | 2186680 | 1924622 | 958 4298 | 51 | 27
380.15/380.34 c 379s | 22 | 2197549 | 1934122 | 958 4315 | 51 | 27
382.16/382.35 c 381s | 22 | 2208400 | 1943622 | 958 4333 | 51 | 27
384.16/384.36 c 383s | 22 | 2219300 | 1953322 | 958 4351 | 51 | 27
386.17/386.37 c 385s | 22 | 2230227 | 1963122 | 958 4369 | 51 | 27
388.16/388.38 c 387s | 22 | 2240776 | 1972622 | 958 4386 | 51 | 27
390.15/390.39 c 389s | 22 | 2251298 | 1981922 | 958 4403 | 51 | 27
392.25/392.40 c 391s | 22 | 2261555 | 1991022 | 958 4420 | 51 | 27
394.25/394.41 c 393s | 22 | 2271499 | 1999922 | 958 4436 | 51 | 27
396.25/396.43 c 395s | 22 | 2281416 | 2008922 | 958 4453 | 51 | 27
398.25/398.45 c 397s | 22 | 2291773 | 2018122 | 958 4469 | 51 | 27
400.25/400.46 c 399s | 22 | 2301946 | 2027222 | 958 4486 | 51 | 27
402.25/402.48 c 401s | 22 | 2312296 | 2036422 | 958 4503 | 51 | 27
404.25/404.48 c 403s | 22 | 2322535 | 2045522 | 958 4520 | 51 | 27
406.25/406.49 c 405s | 22 | 2333493 | 2055222 | 958 4538 | 51 | 27
408.25/408.49 c 407s | 22 | 2344663 | 2064922 | 958 4555 | 51 | 27
410.24/410.50 c 409s | 22 | 2355138 | 2074322 | 958 4573 | 51 | 27
412.34/412.51 c 411s | 22 | 2366160 | 2084122 | 958 4591 | 51 | 27
414.34/414.52 c 413s | 22 | 2378078 | 2094722 | 958 4610 | 51 | 27
416.34/416.53 c 415s | 22 | 2389556 | 2105022 | 958 4629 | 51 | 27
418.34/418.55 c 417s | 22 | 2401168 | 2115322 | 958 4648 | 51 | 27
420.34/420.56 c 419s | 22 | 2411949 | 2125022 | 958 4666 | 51 | 27
422.34/422.56 c 421s | 22 | 2422751 | 2134622 | 958 4683 | 51 | 27
424.33/424.57 c 423s | 22 | 2433553 | 2144122 | 958 4701 | 51 | 27
426.33/426.58 c 425s | 22 | 2444299 | 2153622 | 958 4718 | 51 | 27
428.33/428.58 c 427s | 22 | 2454520 | 2162722 | 958 4735 | 51 | 27
430.43/430.60 c 429s | 22 | 2465589 | 2172522 | 958 4753 | 51 | 27
432.44/432.63 c 431s | 22 | 2477277 | 2182822 | 958 4772 | 51 | 27
434.43/434.65 c 433s | 22 | 2488718 | 2192622 | 958 4790 | 51 | 27
436.43/436.67 c 435s | 22 | 2499583 | 2202122 | 958 4807 | 51 | 27
438.42/438.67 c 437s | 22 | 2510101 | 2211322 | 958 4824 | 51 | 27
440.42/440.68 c 439s | 22 | 2521461 | 2221122 | 958 4842 | 51 | 27
442.52/442.70 c 441s | 22 | 2532001 | 2230322 | 1054 4858 | 51 | 27
444.53/444.72 c 443s | 22 | 2542494 | 2239522 | 1054 4873 | 51 | 27
446.52/446.74 c 445s | 22 | 2552280 | 2248222 | 1054 4888 | 51 | 27
447.12/447.37 c 446s | 23 | 2555546 | 2251038 | 1054 4893 | 51 | 27
449.12/449.39 c 448s | 23 | 2567825 | 2261738 | 1054 4911 | 51 | 27
451.22/451.41 c 450s | 23 | 2579731 | 2272038 | 1054 4928 | 51 | 27
453.22/453.43 c 452s | 23 | 2590727 | 2281838 | 1054 4945 | 51 | 27
455.21/455.44 c 454s | 23 | 2601655 | 2291438 | 1054 4961 | 51 | 27
457.21/457.44 c 456s | 23 | 2613014 | 2301438 | 1054 4977 | 51 | 27
459.22/459.44 c 458s | 23 | 2624891 | 2311738 | 1054 4995 | 51 | 27
461.22/461.46 c 460s | 23 | 2636554 | 2321838 | 1054 5012 | 51 | 27
463.23/463.47 c 462s | 23 | 2647361 | 2331338 | 1054 5028 | 51 | 27
465.22/465.47 c 464s | 23 | 2658727 | 2341338 | 1054 5045 | 51 | 27
467.22/467.49 c 466s | 23 | 2670257 | 2351338 | 1054 5062 | 51 | 27
469.32/469.50 c 468s | 23 | 2682137 | 2361538 | 1054 5079 | 51 | 27
471.32/471.50 c 470s | 23 | 2693096 | 2371238 | 1054 5095 | 51 | 27
473.32/473.50 c 472s | 23 | 2704434 | 2381238 | 1054 5112 | 51 | 27
475.32/475.51 c 474s | 23 | 2715469 | 2390938 | 1054 5128 | 51 | 27
477.32/477.53 c 476s | 23 | 2726219 | 2400438 | 1054 5145 | 51 | 27
479.31/479.54 c 478s | 23 | 2737188 | 2410038 | 1054 5161 | 51 | 27
481.31/481.55 c 480s | 23 | 2747583 | 2419338 | 1054 5177 | 51 | 27
483.31/483.56 c 482s | 23 | 2757986 | 2428638 | 1054 5193 | 51 | 27
485.31/485.57 c 484s | 23 | 2769757 | 2438938 | 1054 5210 | 51 | 27
487.32/487.57 c 486s | 23 | 2781998 | 2449538 | 1054 5228 | 51 | 27
489.30/489.59 c 488s | 23 | 2793791 | 2459938 | 1054 5246 | 51 | 27
491.40/491.60 c 490s | 23 | 2805487 | 2470038 | 1054 5263 | 51 | 27
493.40/493.60 c 492s | 23 | 2815902 | 2479238 | 1054 5278 | 51 | 27
495.40/495.61 c 494s | 23 | 2826715 | 2488738 | 1054 5295 | 51 | 27
497.40/497.63 c 496s | 23 | 2837793 | 2498538 | 1054 5311 | 51 | 27
499.41/499.63 c 498s | 23 | 2848410 | 2507938 | 1054 5327 | 51 | 27
501.40/501.64 c 500s | 23 | 2858682 | 2517238 | 1054 5343 | 51 | 27
503.40/503.65 c 502s | 23 | 2870039 | 2527238 | 1054 5360 | 51 | 27
505.40/505.67 c 504s | 23 | 2881552 | 2537438 | 1054 5377 | 51 | 27
507.40/507.67 c 506s | 23 | 2892928 | 2547438 | 1054 5394 | 51 | 27
509.40/509.68 c 508s | 23 | 2904545 | 2557538 | 1054 5411 | 51 | 27
511.39/511.70 c 510s | 23 | 2914898 | 2566638 | 1054 5427 | 51 | 27
513.49/513.71 c 512s | 23 | 2925998 | 2576338 | 1054 5443 | 51 | 27
515.49/515.72 c 514s | 23 | 2936948 | 2585938 | 1054 5459 | 51 | 27
517.49/517.74 c 516s | 23 | 2947487 | 2595238 | 1054 5475 | 51 | 27
519.49/519.74 c 518s | 23 | 2957907 | 2604438 | 1054 5491 | 51 | 27
521.49/521.75 c 520s | 23 | 2968419 | 2613738 | 1054 5507 | 51 | 27
523.48/523.77 c 522s | 23 | 2978860 | 2622938 | 1054 5522 | 51 | 27
525.48/525.78 c 524s | 23 | 2990327 | 2633038 | 1054 5539 | 51 | 27
527.48/527.78 c 526s | 23 | 3001202 | 2642638 | 1054 5556 | 51 | 27
529.48/529.79 c 528s | 23 | 3011921 | 2652138 | 1054 5572 | 51 | 27
531.48/531.79 c 530s | 23 | 3022184 | 2661238 | 1054 5587 | 51 | 27
533.59/533.81 c 532s | 23 | 3032505 | 2670338 | 1054 5602 | 51 | 27
535.58/535.82 c 534s | 23 | 3043044 | 2679638 | 1054 5618 | 51 | 27
537.58/537.82 c 536s | 23 | 3054745 | 2689738 | 1054 5635 | 51 | 27
539.57/539.83 c 538s | 23 | 3066320 | 2699838 | 1054 5653 | 51 | 27
541.57/541.83 c 540s | 23 | 3077194 | 2709438 | 1054 5669 | 51 | 27
543.57/543.84 c 542s | 23 | 3088351 | 2719238 | 1054 5685 | 51 | 27
545.59/545.84 c 544s | 23 | 3100473 | 2729638 | 1054 5703 | 51 | 27
547.58/547.84 c 546s | 23 | 3112215 | 2739838 | 1054 5720 | 51 | 27
549.57/549.85 c 548s | 23 | 3123437 | 2749738 | 1054 5737 | 51 | 27
551.57/551.86 c 550s | 23 | 3134708 | 2759438 | 1054 5753 | 51 | 27
553.57/553.88 c 552s | 23 | 3145307 | 2768538 | 1054 5769 | 51 | 27
555.58/555.88 c 554s | 23 | 3156287 | 2778038 | 1054 5785 | 51 | 27
557.57/557.90 c 556s | 23 | 3166978 | 2787438 | 1054 5801 | 51 | 27
559.67/559.91 c 558s | 23 | 3177204 | 2796638 | 1054 5817 | 51 | 27
561.67/561.91 c 560s | 23 | 3187205 | 2805638 | 1054 5832 | 51 | 27
563.67/563.91 c 562s | 23 | 3198141 | 2815138 | 1054 5848 | 51 | 27
565.67/565.93 c 564s | 23 | 3209194 | 2824738 | 1054 5864 | 51 | 27
567.67/567.95 c 566s | 23 | 3220271 | 2834438 | 1054 5881 | 51 | 27
569.66/569.97 c 568s | 23 | 3231517 | 2844238 | 1054 5897 | 51 | 27
571.66/571.99 c 570s | 23 | 3242677 | 2854138 | 1054 5914 | 51 | 27
573.66/573.99 c 572s | 23 | 3253298 | 2863538 | 1054 5930 | 51 | 27
575.76/576.01 c 574s | 23 | 3264041 | 2873038 | 1054 5946 | 51 | 27
577.76/578.01 c 576s | 23 | 3274272 | 2882038 | 1054 5962 | 51 | 27
579.76/580.02 c 578s | 23 | 3284368 | 2890938 | 1054 5977 | 51 | 27
581.76/582.03 c 580s | 23 | 3294739 | 2900138 | 1054 5993 | 51 | 27
583.76/584.05 c 582s | 23 | 3305616 | 2909738 | 1054 6009 | 51 | 27
585.76/586.05 c 584s | 23 | 3316262 | 2919138 | 1054 6025 | 51 | 27
587.76/588.05 c 586s | 23 | 3327667 | 2929138 | 1054 6042 | 51 | 27
589.75/590.06 c 588s | 23 | 3339101 | 2939138 | 1054 6059 | 51 | 27
591.76/592.07 c 590s | 23 | 3350002 | 2948738 | 1054 6076 | 51 | 27
593.75/594.08 c 592s | 23 | 3360839 | 2958238 | 1054 6092 | 51 | 27
595.75/596.08 c 594s | 23 | 3371484 | 2967738 | 1054 6108 | 51 | 27
597.75/598.09 c 596s | 23 | 3382206 | 2977238 | 1054 6124 | 51 | 27
599.84/600.10 c 598s | 23 | 3392926 | 2986738 | 1054 6140 | 51 | 27
601.84/602.11 c 600s | 23 | 3403306 | 2995938 | 1054 6156 | 51 | 27
603.85/604.12 c 602s | 23 | 3414772 | 3006038 | 1054 6173 | 51 | 27
605.84/606.13 c 604s | 23 | 3426554 | 3016338 | 1054 6191 | 51 | 27
607.84/608.13 c 607s | 23 | 3437946 | 3026438 | 1054 6208 | 51 | 27
609.84/610.15 c 609s | 23 | 3448784 | 3036038 | 1054 6224 | 51 | 27
611.84/612.15 c 611s | 23 | 3459762 | 3045838 | 1054 6241 | 51 | 27
613.85/614.17 c 613s | 23 | 3470614 | 3055438 | 1054 6257 | 51 | 27
615.85/616.18 c 615s | 23 | 3481958 | 3065338 | 1054 6274 | 51 | 27
617.95/618.20 c 617s | 23 | 3493681 | 3075438 | 1054 6291 | 51 | 27
619.94/620.20 c 619s | 23 | 3504635 | 3085038 | 1054 6307 | 51 | 27
621.94/622.21 c 621s | 23 | 3515870 | 3094738 | 1054 6324 | 51 | 27
623.94/624.22 c 623s | 23 | 3526440 | 3103938 | 1054 6339 | 51 | 27
625.95/626.22 c 625s | 23 | 3537610 | 3113738 | 1054 6356 | 51 | 27
627.94/628.22 c 627s | 23 | 3548447 | 3123138 | 1054 6372 | 51 | 27
629.94/630.23 c 629s | 23 | 3559325 | 3132638 | 1054 6388 | 51 | 27
631.94/632.23 c 631s | 23 | 3570398 | 3142338 | 1054 6405 | 51 | 27
633.94/634.25 c 633s | 23 | 3581542 | 3152038 | 1054 6421 | 51 | 27
635.94/636.27 c 635s | 23 | 3591977 | 3161338 | 1054 6437 | 51 | 27
637.94/638.28 c 637s | 23 | 3603009 | 3170938 | 1054 6453 | 51 | 27
639.93/640.28 c 639s | 23 | 3614068 | 3180538 | 1054 6469 | 51 | 27
641.93/642.29 c 641s | 23 | 3625472 | 3190538 | 1054 6486 | 51 | 27
644.03/644.30 c 643s | 23 | 3636331 | 3200138 | 1054 6502 | 51 | 27
646.03/646.30 c 645s | 23 | 3647041 | 3209638 | 1054 6519 | 51 | 27
648.03/648.31 c 647s | 23 | 3657631 | 3219038 | 1054 6535 | 51 | 27
650.03/650.33 c 649s | 23 | 3668324 | 3228438 | 1054 6551 | 51 | 27
652.02/652.34 c 651s | 23 | 3679105 | 3237938 | 1054 6567 | 51 | 27
654.02/654.35 c 653s | 23 | 3689876 | 3247438 | 1054 6583 | 51 | 27
656.02/656.36 c 655s | 23 | 3700795 | 3257038 | 1054 6599 | 51 | 27
658.02/658.37 c 657s | 23 | 3711832 | 3266738 | 1054 6616 | 51 | 27
660.03/660.38 c 659s | 23 | 3722282 | 3276138 | 1054 6632 | 51 | 27
662.02/662.40 c 661s | 23 | 3733309 | 3285938 | 1054 6648 | 51 | 27
664.12/664.42 c 663s | 23 | 3744224 | 3295538 | 1054 6665 | 51 | 27
666.12/666.43 c 665s | 23 | 3754919 | 3304938 | 1054 6681 | 51 | 27
668.11/668.44 c 667s | 23 | 3765335 | 3314138 | 1054 6696 | 51 | 27
670.11/670.45 c 669s | 23 | 3775594 | 3323138 | 1054 6712 | 51 | 27
672.12/672.47 c 671s | 23 | 3785996 | 3332438 | 1054 6728 | 51 | 27
674.11/674.49 c 673s | 23 | 3796280 | 3341538 | 1160 6743 | 51 | 27
676.21/676.51 c 675s | 23 | 3807710 | 3351538 | 1160 6758 | 51 | 27
678.21/678.52 c 677s | 23 | 3819647 | 3361838 | 1160 6774 | 51 | 27
680.21/680.53 c 679s | 23 | 3830716 | 3371638 | 1160 6789 | 51 | 27
681.21/681.55 c 680s | 24 | 3836339 | 3376662 | 1160 6797 | 51 | 27
683.21/683.56 c 682s | 24 | 3848432 | 3386862 | 1160 6813 | 51 | 27
685.21/685.56 c 684s | 24 | 3859955 | 3396862 | 1160 6828 | 51 | 27
687.20/687.58 c 686s | 24 | 3872039 | 3407062 | 1160 6844 | 51 | 27
689.21/689.59 c 688s | 24 | 3883516 | 3417062 | 1160 6860 | 51 | 27
691.31/691.60 c 690s | 24 | 3894199 | 3426562 | 1160 6874 | 51 | 27
693.31/693.60 c 692s | 24 | 3904891 | 3435962 | 1160 6889 | 51 | 27
695.31/695.61 c 694s | 24 | 3915308 | 3445162 | 1160 6903 | 51 | 27
697.32/697.62 c 696s | 24 | 3926078 | 3454662 | 1160 6917 | 51 | 27
699.31/699.64 c 698s | 24 | 3935875 | 3463462 | 1160 6931 | 51 | 27
701.31/701.64 c 700s | 24 | 3946250 | 3472662 | 1160 6945 | 51 | 27
703.31/703.66 c 702s | 24 | 3956852 | 3482062 | 1160 6960 | 51 | 27
705.31/705.68 c 704s | 24 | 3967426 | 3491462 | 1160 6974 | 51 | 27
707.32/707.68 c 706s | 24 | 3977888 | 3500662 | 1160 6989 | 51 | 27
709.31/709.69 c 708s | 24 | 3988136 | 3509862 | 1160 7003 | 51 | 27
711.41/711.70 c 710s | 24 | 3998259 | 3518962 | 1160 7017 | 51 | 27
713.41/713.71 c 712s | 24 | 4008212 | 3527862 | 1160 7031 | 51 | 27
715.41/715.72 c 714s | 24 | 4018609 | 3537162 | 1160 7045 | 51 | 27
717.41/717.72 c 716s | 24 | 4029337 | 3546662 | 1160 7060 | 51 | 27
719.41/719.72 c 718s | 24 | 4040194 | 3556162 | 1160 7075 | 51 | 27
721.41/721.72 c 720s | 24 | 4051074 | 3565662 | 1160 7089 | 51 | 27
723.41/723.74 c 722s | 24 | 4061319 | 3574762 | 1160 7103 | 51 | 27
725.41/725.75 c 724s | 24 | 4072081 | 3584262 | 1160 7118 | 51 | 27
727.41/727.77 c 726s | 24 | 4082466 | 3593362 | 1160 7132 | 51 | 27
729.41/729.78 c 728s | 24 | 4092381 | 3602062 | 1160 7145 | 51 | 27
731.41/731.79 c 730s | 24 | 4103217 | 3611562 | 1160 7160 | 51 | 27
733.50/733.81 c 732s | 24 | 4113718 | 3620862 | 1160 7175 | 51 | 27
735.50/735.81 c 734s | 24 | 4124073 | 3630062 | 1160 7189 | 51 | 27
737.50/737.83 c 736s | 24 | 4134793 | 3639562 | 1160 7204 | 51 | 27
739.50/739.83 c 738s | 24 | 4145223 | 3648762 | 1160 7218 | 51 | 27
741.50/741.84 c 740s | 24 | 4155438 | 3657662 | 1160 7232 | 51 | 27
743.51/743.85 c 742s | 24 | 4165767 | 3666862 | 1160 7246 | 51 | 27
745.50/745.85 c 744s | 24 | 4176096 | 3675962 | 1160 7260 | 51 | 27
747.50/747.86 c 746s | 24 | 4186522 | 3685062 | 1160 7274 | 51 | 27
749.50/749.88 c 748s | 24 | 4196922 | 3694362 | 1160 7289 | 51 | 27
751.50/751.89 c 750s | 24 | 4207029 | 3703362 | 1160 7303 | 51 | 27
753.51/753.89 c 752s | 24 | 4217191 | 3712362 | 1160 7316 | 51 | 27
755.61/755.91 c 754s | 24 | 4227231 | 3721262 | 1160 7330 | 51 | 27
757.60/757.92 c 756s | 24 | 4237862 | 3730662 | 1160 7345 | 51 | 27
759.60/759.93 c 758s | 24 | 4248330 | 3739962 | 1160 7359 | 51 | 27
761.60/761.93 c 760s | 24 | 4258998 | 3749262 | 1160 7374 | 51 | 27
763.60/763.94 c 762s | 24 | 4269306 | 3758362 | 1160 7388 | 51 | 27
765.60/765.97 c 764s | 24 | 4280165 | 3767862 | 1160 7403 | 51 | 27
767.60/767.99 c 766s | 24 | 4291439 | 3777762 | 1160 7418 | 51 | 27
769.70/770.00 c 768s | 24 | 4301968 | 3787162 | 1160 7433 | 51 | 27
771.70/772.00 c 770s | 24 | 4312391 | 3796362 | 1160 7447 | 51 | 27
773.70/774.01 c 772s | 24 | 4322979 | 3805762 | 1160 7462 | 51 | 27
775.70/776.02 c 774s | 24 | 4333756 | 3815262 | 1160 7476 | 51 | 27
777.70/778.04 c 776s | 24 | 4344225 | 3824562 | 1160 7491 | 51 | 27
779.70/780.04 c 778s | 24 | 4355053 | 3833862 | 1160 7505 | 51 | 27
781.69/782.05 c 780s | 24 | 4365902 | 3843462 | 1160 7520 | 51 | 27
783.69/784.06 c 782s | 24 | 4376902 | 3853062 | 1160 7535 | 51 | 27
785.69/786.08 c 784s | 24 | 4388014 | 3862862 | 1160 7550 | 51 | 27
787.69/788.09 c 786s | 24 | 4398718 | 3872262 | 1160 7565 | 51 | 27
789.80/790.11 c 788s | 24 | 4409401 | 3881662 | 1160 7579 | 51 | 27
791.79/792.13 c 791s | 24 | 4420155 | 3891062 | 1160 7594 | 51 | 27
793.79/794.15 c 793s | 24 | 4430416 | 3900262 | 1160 7608 | 51 | 27
795.79/796.15 c 795s | 24 | 4440654 | 3909362 | 1160 7622 | 51 | 27
797.79/798.17 c 797s | 24 | 4451647 | 3919062 | 1160 7637 | 51 | 27
799.79/800.18 c 799s | 24 | 4462131 | 3928362 | 1160 7652 | 51 | 27
801.80/802.19 c 801s | 24 | 4472296 | 3937462 | 1160 7666 | 51 | 27
803.89/804.21 c 803s | 24 | 4482269 | 3946362 | 1160 7679 | 51 | 27
805.89/806.23 c 805s | 24 | 4492349 | 3955362 | 1160 7693 | 51 | 27
807.89/808.24 c 807s | 24 | 4502360 | 3964262 | 1160 7707 | 51 | 27
809.89/810.26 c 809s | 24 | 4511901 | 3972862 | 1160 7721 | 51 | 27
811.89/812.26 c 811s | 24 | 4521570 | 3981562 | 1160 7734 | 51 | 27
813.89/814.28 c 813s | 24 | 4531129 | 3990162 | 1160 7747 | 51 | 27
815.89/816.29 c 815s | 24 | 4541154 | 3999062 | 1160 7761 | 51 | 27
817.88/818.29 c 817s | 24 | 4550742 | 4007662 | 1160 7775 | 51 | 27
819.98/820.30 c 819s | 24 | 4560617 | 4016362 | 1160 7788 | 51 | 27
821.98/822.32 c 821s | 24 | 4571096 | 4025562 | 1160 7802 | 51 | 27
823.98/824.34 c 823s | 24 | 4581339 | 4034562 | 1160 7816 | 51 | 27
825.99/826.35 c 825s | 24 | 4591637 | 4043662 | 1160 7830 | 51 | 27
827.98/828.36 c 827s | 24 | 4602282 | 4052962 | 1160 7845 | 51 | 27
829.98/830.38 c 829s | 24 | 4612792 | 4062262 | 1160 7860 | 51 | 27
832.08/832.40 c 831s | 24 | 4623162 | 4071462 | 1160 7874 | 51 | 27
834.08/834.42 c 833s | 24 | 4633745 | 4080862 | 1160 7889 | 51 | 27
836.08/836.44 c 835s | 24 | 4644414 | 4090162 | 1160 7903 | 51 | 27
838.09/838.46 c 837s | 24 | 4654290 | 4098962 | 1160 7917 | 51 | 27
840.08/840.46 c 839s | 24 | 4664476 | 4108062 | 1160 7931 | 51 | 27
842.08/842.48 c 841s | 24 | 4675084 | 4117362 | 1160 7945 | 51 | 27
844.08/844.49 c 843s | 24 | 4685149 | 4126262 | 1160 7959 | 51 | 27
846.18/846.51 c 845s | 24 | 4695215 | 4135162 | 1160 7973 | 51 | 27
848.18/848.52 c 847s | 24 | 4705297 | 4144062 | 1160 7986 | 51 | 27
850.19/850.53 c 849s | 24 | 4715026 | 4152762 | 1160 8000 | 51 | 27
852.19/852.53 c 851s | 24 | 4724989 | 4161562 | 1160 8014 | 51 | 27
854.19/854.54 c 853s | 24 | 4735507 | 4170662 | 1160 8028 | 51 | 27
856.18/856.56 c 855s | 24 | 4745266 | 4179362 | 1160 8041 | 51 | 27
858.18/858.57 c 857s | 24 | 4755519 | 4188362 | 1160 8055 | 51 | 27
860.19/860.58 c 859s | 24 | 4765177 | 4196962 | 1160 8069 | 51 | 27
862.18/862.60 c 861s | 24 | 4775691 | 4206162 | 1160 8083 | 51 | 27
864.28/864.62 c 863s | 24 | 4785442 | 4214862 | 1160 8096 | 51 | 27
866.28/866.64 c 865s | 24 | 4795643 | 4223862 | 1160 8110 | 51 | 27
868.28/868.64 c 867s | 24 | 4805955 | 4233062 | 1160 8124 | 51 | 27
870.28/870.66 c 869s | 24 | 4815885 | 4241962 | 1160 8138 | 51 | 27
872.29/872.68 c 871s | 24 | 4825621 | 4250662 | 1160 8152 | 51 | 27
874.28/874.69 c 873s | 24 | 4835498 | 4259462 | 1160 8165 | 51 | 27
876.38/876.70 c 875s | 24 | 4845447 | 4268262 | 1160 8179 | 51 | 27
878.38/878.72 c 877s | 24 | 4855422 | 4277162 | 1160 8193 | 51 | 27
880.38/880.73 c 879s | 24 | 4865677 | 4286362 | 1160 8207 | 51 | 27
882.38/882.75 c 881s | 24 | 4875756 | 4295362 | 1160 8221 | 51 | 27
884.38/884.77 c 883s | 24 | 4886209 | 4304462 | 1160 8235 | 51 | 27
886.38/886.79 c 885s | 24 | 4896529 | 4313562 | 1160 8249 | 51 | 27
888.48/888.80 c 887s | 24 | 4906766 | 4322562 | 1160 8263 | 51 | 27
890.47/890.83 c 889s | 24 | 4917159 | 4331662 | 1160 8278 | 51 | 27
892.47/892.83 c 891s | 24 | 4927091 | 4340462 | 1160 8291 | 51 | 27
894.47/894.84 c 893s | 24 | 4937227 | 4349362 | 1160 8305 | 51 | 27
896.49/896.86 c 895s | 24 | 4947918 | 4358662 | 1160 8320 | 51 | 27
898.48/898.87 c 897s | 24 | 4958242 | 4367762 | 1160 8334 | 51 | 27
900.48/900.88 c 899s | 24 | 4969095 | 4377262 | 1160 8348 | 51 | 27
902.48/902.89 c 901s | 24 | 4980021 | 4386862 | 1160 8363 | 51 | 27
904.48/904.89 c 903s | 24 | 4990848 | 4396362 | 1160 8378 | 51 | 27
906.48/906.89 c 905s | 24 | 5001135 | 4405562 | 1160 8392 | 51 | 27
908.48/908.89 c 907s | 24 | 5011237 | 4414562 | 1160 8406 | 51 | 27
910.48/910.90 c 909s | 24 | 5022375 | 4424362 | 1160 8421 | 51 | 27
912.58/912.90 c 911s | 24 | 5032447 | 4433362 | 1160 8435 | 51 | 27
914.58/914.91 c 913s | 24 | 5042747 | 4442562 | 1160 8450 | 51 | 27
916.57/916.91 c 915s | 24 | 5052728 | 4451462 | 1160 8463 | 51 | 27
918.57/918.92 c 917s | 24 | 5062581 | 4460262 | 1160 8477 | 51 | 27
920.58/920.94 c 919s | 24 | 5072405 | 4469062 | 1160 8491 | 51 | 27
922.57/922.95 c 921s | 24 | 5082153 | 4477762 | 1160 8504 | 51 | 27
924.57/924.95 c 923s | 24 | 5092338 | 4486862 | 1160 8518 | 51 | 27
926.57/926.97 c 925s | 24 | 5102281 | 4495762 | 1160 8532 | 51 | 27
928.57/928.98 c 927s | 24 | 5112341 | 4504762 | 1160 8546 | 51 | 27
930.67/931.00 c 929s | 24 | 5122394 | 4513762 | 1160 8560 | 51 | 27
932.68/933.02 c 931s | 24 | 5132824 | 4522962 | 1160 8574 | 51 | 27
934.67/935.03 c 933s | 24 | 5143149 | 4532062 | 1160 8589 | 51 | 27
936.67/937.04 c 935s | 24 | 5153271 | 4541062 | 1160 8603 | 51 | 27
938.67/939.07 c 937s | 24 | 5163487 | 4550162 | 1160 8617 | 51 | 27
940.67/941.08 c 939s | 24 | 5173508 | 4559062 | 1160 8630 | 51 | 27
942.67/943.08 c 941s | 24 | 5183644 | 4568162 | 1160 8644 | 51 | 27
944.66/945.09 c 943s | 24 | 5193829 | 4577162 | 1160 8658 | 51 | 27
946.76/947.10 c 945s | 24 | 5203840 | 4586062 | 1160 8672 | 51 | 27
948.76/949.12 c 947s | 24 | 5214112 | 4595162 | 1160 8686 | 51 | 27
950.76/951.13 c 950s | 24 | 5223998 | 4603962 | 1160 8700 | 51 | 27
952.76/953.15 c 952s | 24 | 5233645 | 4612662 | 1160 8713 | 51 | 27
954.77/955.15 c 954s | 24 | 5243456 | 4621362 | 1160 8727 | 51 | 27
956.76/957.15 c 956s | 24 | 5254275 | 4630762 | 1160 8742 | 51 | 27
958.77/959.17 c 958s | 24 | 5264981 | 4640162 | 1160 8756 | 51 | 27
960.77/961.18 c 960s | 24 | 5275228 | 4649162 | 1160 8770 | 51 | 27
962.77/963.19 c 962s | 24 | 5285515 | 4658262 | 1160 8784 | 51 | 27
964.87/965.20 c 964s | 24 | 5296173 | 4667662 | 1160 8799 | 51 | 27
966.88/967.23 c 966s | 24 | 5306235 | 4676662 | 1160 8813 | 51 | 27
968.87/969.23 c 968s | 24 | 5316232 | 4685562 | 1160 8827 | 51 | 27
970.87/971.25 c 970s | 24 | 5326453 | 4694562 | 1160 8841 | 51 | 27
972.87/973.25 c 972s | 24 | 5336554 | 4703462 | 1160 8855 | 51 | 27
974.87/975.26 c 974s | 24 | 5347137 | 4712662 | 1160 8869 | 51 | 27
976.87/977.26 c 976s | 24 | 5357292 | 4721462 | 1160 8883 | 51 | 27
978.87/979.28 c 978s | 24 | 5368270 | 4731062 | 1160 8898 | 51 | 27
980.86/981.29 c 980s | 24 | 5378780 | 4740362 | 1160 8912 | 51 | 27
982.86/983.29 c 982s | 24 | 5389470 | 4749762 | 1160 8926 | 51 | 27
984.96/985.30 c 984s | 24 | 5399931 | 4758962 | 1160 8941 | 51 | 27
986.96/987.31 c 986s | 24 | 5410337 | 4768262 | 1160 8955 | 51 | 27
988.96/989.33 c 988s | 24 | 5420688 | 4777362 | 1160 8969 | 51 | 27
990.97/991.34 c 990s | 24 | 5430739 | 4786262 | 1160 8983 | 51 | 27
992.96/993.35 c 992s | 24 | 5440624 | 4795062 | 1160 8997 | 51 | 27
994.96/995.36 c 994s | 24 | 5450894 | 4804062 | 1160 9011 | 51 | 27
996.96/997.37 c 996s | 24 | 5461165 | 4813162 | 1160 9025 | 51 | 27
998.96/999.38 c 998s | 24 | 5471247 | 4822062 | 1160 9038 | 51 | 27
1000.96/1001.40 c 1000s | 24 | 5481663 | 4831262 | 1160 9053 | 51 | 27
1003.06/1003.40 c 1002s | 24 | 5492067 | 4840462 | 1160 9067 | 51 | 27
1005.06/1005.42 c 1004s | 24 | 5502091 | 4849462 | 1160 9081 | 51 | 27
1007.06/1007.44 c 1006s | 24 | 5512392 | 4858562 | 1160 9095 | 51 | 27
1009.06/1009.44 c 1008s | 24 | 5522521 | 4867562 | 1160 9109 | 51 | 27
1011.06/1011.46 c 1010s | 24 | 5532340 | 4876362 | 1160 9122 | 51 | 27
1013.06/1013.47 c 1012s | 24 | 5542577 | 4885462 | 1160 9137 | 51 | 27
1015.05/1015.48 c 1014s | 24 | 5552877 | 4894562 | 1160 9151 | 51 | 27
1017.05/1017.49 c 1016s | 24 | 5563402 | 4903762 | 1160 9165 | 51 | 27
1019.15/1019.50 c 1018s | 24 | 5573315 | 4912562 | 1160 9178 | 51 | 27
1021.15/1021.50 c 1020s | 24 | 5583127 | 4921262 | 1160 9192 | 51 | 27
1023.15/1023.51 c 1022s | 24 | 5593421 | 4930262 | 1160 9206 | 51 | 27
1025.16/1025.53 c 1024s | 24 | 5603595 | 4939262 | 1160 9220 | 51 | 27
1027.15/1027.55 c 1026s | 24 | 5613540 | 4948162 | 1160 9234 | 51 | 27
1029.15/1029.55 c 1028s | 24 | 5624050 | 4957362 | 1160 9248 | 51 | 27
1031.15/1031.57 c 1030s | 24 | 5634676 | 4966762 | 1160 9263 | 51 | 27
1033.15/1033.57 c 1032s | 24 | 5645099 | 4975962 | 1160 9277 | 51 | 27
1035.15/1035.58 c 1034s | 24 | 5655354 | 4985162 | 1160 9291 | 51 | 27
1037.16/1037.60 c 1036s | 24 | 5665106 | 4994062 | 1160 9305 | 51 | 27
1039.25/1039.60 c 1038s | 24 | 5674952 | 5002862 | 1160 9319 | 51 | 27
1041.25/1041.62 c 1040s | 24 | 5684982 | 5011962 | 1160 9333 | 51 | 27
1043.25/1043.63 c 1042s | 24 | 5695546 | 5021262 | 1276 9347 | 51 | 27
1045.25/1045.65 c 1044s | 24 | 5706126 | 5030462 | 1276 9360 | 51 | 27
1047.25/1047.65 c 1046s | 24 | 5716031 | 5039262 | 1276 9372 | 51 | 27
1049.26/1049.66 c 1048s | 24 | 5726225 | 5048262 | 1276 9385 | 51 | 27
1051.25/1051.66 c 1050s | 24 | 5736168 | 5057062 | 1276 9398 | 51 | 27
1053.05/1053.47 c 1052s | 25 | 5745326 | 5065098 | 1276 9409 | 51 | 27
1055.05/1055.48 c 1054s | 25 | 5756266 | 5074598 | 1276 9423 | 51 | 27
1057.05/1057.49 c 1056s | 25 | 5767466 | 5084398 | 1276 9437 | 51 | 27
1059.15/1059.51 c 1058s | 25 | 5778753 | 5094198 | 1276 9451 | 51 | 27
1061.16/1061.52 c 1060s | 25 | 5789531 | 5103598 | 1276 9464 | 51 | 27
1063.16/1063.52 c 1062s | 25 | 5799783 | 5112698 | 1276 9477 | 51 | 27
1065.16/1065.54 c 1064s | 25 | 5809707 | 5121598 | 1276 9489 | 51 | 27
1067.15/1067.55 c 1066s | 25 | 5819782 | 5130498 | 1276 9502 | 51 | 27
1069.16/1069.56 c 1068s | 25 | 5830264 | 5139698 | 1276 9515 | 51 | 27
1071.15/1071.57 c 1070s | 25 | 5840129 | 5148398 | 1276 9527 | 51 | 27
1073.15/1073.57 c 1072s | 25 | 5850679 | 5157698 | 1276 9540 | 51 | 27
1075.15/1075.59 c 1074s | 25 | 5861152 | 5166998 | 1276 9553 | 51 | 27
1077.25/1077.60 c 1076s | 25 | 5871423 | 5176098 | 1276 9566 | 51 | 27
1079.25/1079.61 c 1078s | 25 | 5882218 | 5185598 | 1276 9579 | 51 | 27
1081.26/1081.62 c 1080s | 25 | 5892720 | 5194998 | 1276 9593 | 51 | 27
1083.25/1083.62 c 1082s | 25 | 5903120 | 5204298 | 1276 9606 | 51 | 27
1085.25/1085.63 c 1084s | 25 | 5913323 | 5213398 | 1276 9619 | 51 | 27
1087.25/1087.63 c 1086s | 25 | 5923021 | 5221998 | 1276 9631 | 51 | 27
1089.25/1089.66 c 1088s | 25 | 5933168 | 5231098 | 1276 9644 | 51 | 27
1091.25/1091.67 c 1090s | 25 | 5943265 | 5240098 | 1276 9656 | 51 | 27
1093.25/1093.67 c 1092s | 25 | 5954079 | 5249598 | 1276 9670 | 51 | 27
1095.25/1095.69 c 1094s | 25 | 5965042 | 5259098 | 1276 9683 | 51 | 27
1097.25/1097.69 c 1096s | 25 | 5976500 | 5268998 | 1276 9697 | 51 | 27
1099.35/1099.70 c 1098s | 25 | 5987848 | 5278898 | 1276 9711 | 51 | 27
1101.35/1101.71 c 1100s | 25 | 5998825 | 5288498 | 1276 9725 | 51 | 27
1103.35/1103.71 c 1102s | 25 | 6009952 | 5298098 | 1276 9738 | 51 | 27
1105.35/1105.71 c 1104s | 25 | 6020614 | 5307398 | 1276 9752 | 51 | 27
1107.34/1107.72 c 1106s | 25 | 6030978 | 5316498 | 1276 9764 | 51 | 27
1109.34/1109.73 c 1108s | 25 | 6041558 | 5325898 | 1276 9778 | 51 | 27
1111.34/1111.75 c 1110s | 25 | 6051950 | 5335098 | 1276 9791 | 51 | 27
1113.34/1113.75 c 1112s | 25 | 6062145 | 5344098 | 1276 9804 | 51 | 27
1115.35/1115.76 c 1114s | 25 | 6072313 | 5353098 | 1276 9816 | 51 | 27
1117.34/1117.76 c 1116s | 25 | 6082643 | 5362198 | 1276 9829 | 51 | 27
1119.34/1119.78 c 1118s | 25 | 6093010 | 5371298 | 1276 9842 | 51 | 27
1121.44/1121.80 c 1120s | 25 | 6103226 | 5380298 | 1276 9855 | 51 | 27
1123.44/1123.81 c 1122s | 25 | 6113555 | 5389298 | 1276 9868 | 51 | 27
1125.44/1125.83 c 1124s | 25 | 6123793 | 5398398 | 1276 9881 | 51 | 27
1127.45/1127.85 c 1126s | 25 | 6134080 | 5407398 | 1276 9893 | 51 | 27
1129.44/1129.86 c 1128s | 25 | 6144096 | 5416298 | 1276 9906 | 51 | 27
1131.44/1131.87 c 1130s | 25 | 6154114 | 5425198 | 1276 9918 | 51 | 27
1133.44/1133.89 c 1132s | 25 | 6164203 | 5434198 | 1276 9931 | 51 | 27
1135.54/1135.90 c 1134s | 25 | 6173910 | 5442798 | 1276 9943 | 51 | 27
1137.54/1137.90 c 1136s | 25 | 6184275 | 5451998 | 1276 9956 | 51 | 27
1139.54/1139.91 c 1138s | 25 | 6194063 | 5460698 | 1276 9969 | 51 | 27
1141.54/1141.92 c 1140s | 25 | 6203644 | 5469198 | 1276 9981 | 51 | 27
1143.53/1143.94 c 1142s | 25 | 6213094 | 5477598 | 1276 9992 | 51 | 27
1145.53/1145.96 c 1144s | 25 | 6223385 | 5486598 | 1276 10005 | 51 | 27
1147.53/1147.98 c 1146s | 25 | 6233900 | 5495798 | 1276 10018 | 51 | 27
1149.53/1149.98 c 1148s | 25 | 6244350 | 5504898 | 1276 10031 | 51 | 27
1151.54/1151.99 c 1150s | 25 | 6253926 | 5513398 | 1276 10043 | 51 | 27
1153.63/1154.00 c 1152s | 25 | 6264336 | 5522598 | 1276 10056 | 51 | 27
1155.63/1156.01 c 1154s | 25 | 6274445 | 5531498 | 1276 10069 | 51 | 27
1157.64/1158.01 c 1156s | 25 | 6283814 | 5539898 | 1276 10081 | 51 | 27
1159.64/1160.02 c 1158s | 25 | 6294263 | 5548998 | 1276 10094 | 51 | 27
1161.64/1162.02 c 1160s | 25 | 6304407 | 5557898 | 1276 10106 | 51 | 27
1163.65/1164.04 c 1162s | 25 | 6313860 | 5566398 | 1276 10118 | 51 | 27
1165.64/1166.07 c 1164s | 25 | 6323923 | 5575298 | 1276 10131 | 51 | 27
1167.64/1168.08 c 1166s | 25 | 6334096 | 5584298 | 1276 10144 | 51 | 27
1169.64/1170.09 c 1168s | 25 | 6343744 | 5592798 | 1276 10156 | 51 | 27
1171.64/1172.09 c 1170s | 25 | 6353559 | 5601498 | 1276 10168 | 51 | 27
1173.74/1174.10 c 1172s | 25 | 6363623 | 5610298 | 1276 10180 | 51 | 27
1175.64/1176.10 c 1174s | 25 | 6373173 | 5618798 | 1276 10192 | 51 | 27
1177.74/1178.11 c 1176s | 25 | 6383288 | 5627698 | 1276 10205 | 51 | 27
1179.74/1180.13 c 1178s | 25 | 6392882 | 5636198 | 1276 10217 | 51 | 27
1181.74/1182.14 c 1181s | 25 | 6402426 | 5644598 | 1276 10229 | 51 | 27
1183.74/1184.14 c 1183s | 25 | 6412125 | 5653198 | 1276 10241 | 51 | 27
1185.74/1186.15 c 1185s | 25 | 6422054 | 5661898 | 1276 10254 | 51 | 27
1187.73/1188.16 c 1187s | 25 | 6431992 | 5670598 | 1276 10266 | 51 | 27
1189.73/1190.16 c 1189s | 25 | 6441898 | 5679298 | 1276 10278 | 51 | 27
1191.73/1192.16 c 1191s | 25 | 6452228 | 5688198 | 1276 10291 | 51 | 27
1193.73/1194.18 c 1193s | 25 | 6461771 | 5696698 | 1276 10303 | 51 | 27
1195.83/1196.20 c 1195s | 25 | 6472085 | 5705698 | 1276 10316 | 51 | 27
1197.84/1198.21 c 1197s | 25 | 6482148 | 5714498 | 1276 10328 | 51 | 27
1199.83/1200.23 c 1199s | 25 | 6491606 | 5722798 | 1276 10340 | 51 | 27
1201.83/1202.25 c 1201s | 25 | 6501130 | 5731198 | 1276 10351 | 51 | 27
1203.83/1204.26 c 1203s | 25 | 6510642 | 5739598 | 1276 10363 | 51 | 27
1205.83/1206.27 c 1205s | 25 | 6520762 | 5748498 | 1276 10376 | 51 | 27
1207.83/1208.28 c 1207s | 25 | 6530115 | 5756898 | 1276 10388 | 51 | 27
1209.84/1210.28 c 1209s | 25 | 6539517 | 5765398 | 1276 10400 | 51 | 27
1211.93/1212.30 c 1211s | 25 | 6549042 | 5773798 | 1276 10412 | 51 | 27
1213.93/1214.32 c 1213s | 25 | 6558363 | 5782098 | 1276 10423 | 51 | 27
1215.93/1216.33 c 1215s | 25 | 6568258 | 5790898 | 1276 10436 | 51 | 27
1217.93/1218.34 c 1217s | 25 | 6577898 | 5799398 | 1276 10448 | 51 | 27
1219.93/1220.34 c 1219s | 25 | 6587948 | 5808198 | 1276 10460 | 51 | 27
1221.93/1222.37 c 1221s | 25 | 6597741 | 5816698 | 1276 10472 | 51 | 27
1223.93/1224.39 c 1223s | 25 | 6607302 | 5825098 | 1276 10484 | 51 | 27
1226.02/1226.40 c 1225s | 25 | 6616685 | 5833398 | 1276 10496 | 51 | 27
1228.02/1228.41 c 1227s | 25 | 6626342 | 5841898 | 1276 10508 | 51 | 27
1230.02/1230.44 c 1229s | 25 | 6636652 | 5850898 | 1276 10521 | 51 | 27
1232.02/1232.44 c 1231s | 25 | 6647311 | 5860198 | 1276 10534 | 51 | 27
1234.03/1234.45 c 1233s | 25 | 6657230 | 5868898 | 1276 10546 | 51 | 27
1236.02/1236.46 c 1235s | 25 | 6667669 | 5877998 | 1276 10559 | 51 | 27
1238.02/1238.47 c 1237s | 25 | 6677530 | 5886598 | 1276 10571 | 51 | 27
1240.02/1240.48 c 1239s | 25 | 6687090 | 5895198 | 1276 10584 | 51 | 27
1242.12/1242.50 c 1241s | 25 | 6697001 | 5903998 | 1276 10596 | 51 | 27
1244.12/1244.50 c 1243s | 25 | 6705952 | 5911998 | 1276 10607 | 51 | 27
1246.13/1246.51 c 1245s | 25 | 6715612 | 5920598 | 1276 10620 | 51 | 27
1248.12/1248.52 c 1247s | 25 | 6725008 | 5928998 | 1276 10631 | 51 | 27
1250.12/1250.52 c 1249s | 25 | 6734446 | 5937398 | 1276 10643 | 51 | 27
1252.12/1252.54 c 1251s | 25 | 6744089 | 5945898 | 1276 10655 | 51 | 27
1254.12/1254.56 c 1253s | 25 | 6753818 | 5954398 | 1276 10667 | 51 | 27
1256.13/1256.56 c 1255s | 25 | 6763145 | 5962698 | 1276 10679 | 51 | 27
1258.12/1258.57 c 1257s | 25 | 6772804 | 5971298 | 1276 10691 | 51 | 27
1260.12/1260.59 c 1259s | 25 | 6781939 | 5979498 | 1276 10703 | 51 | 27
1262.12/1262.59 c 1261s | 25 | 6792227 | 5988598 | 1276 10716 | 51 | 27
1264.22/1264.61 c 1263s | 25 | 6802376 | 5997698 | 1276 10729 | 51 | 27
1266.22/1266.61 c 1265s | 25 | 6811987 | 6006298 | 1276 10741 | 51 | 27
1268.22/1268.62 c 1267s | 25 | 6821469 | 6014798 | 1276 10753 | 51 | 27
1270.22/1270.62 c 1269s | 25 | 6831341 | 6023698 | 1276 10765 | 51 | 27
1272.22/1272.62 c 1271s | 25 | 6841027 | 6032298 | 1276 10777 | 51 | 27
1274.22/1274.63 c 1273s | 25 | 6851188 | 6041398 | 1276 10790 | 51 | 27
1276.22/1276.65 c 1275s | 25 | 6860960 | 6050198 | 1276 10802 | 51 | 27
1278.22/1278.66 c 1277s | 25 | 6871281 | 6059398 | 1276 10815 | 51 | 27
1280.23/1280.66 c 1279s | 25 | 6881156 | 6068198 | 1276 10828 | 51 | 27
1282.22/1282.68 c 1281s | 25 | 6890827 | 6076798 | 1276 10840 | 51 | 27
1284.22/1284.68 c 1283s | 25 | 6900605 | 6085498 | 1276 10852 | 51 | 27
1286.22/1286.69 c 1285s | 25 | 6910357 | 6094198 | 1276 10864 | 51 | 27
1288.32/1288.70 c 1287s | 25 | 6919887 | 6102698 | 1276 10876 | 51 | 27
1290.32/1290.70 c 1289s | 25 | 6929892 | 6111598 | 1276 10889 | 51 | 27
1292.32/1292.70 c 1291s | 25 | 6939228 | 6120098 | 1276 10901 | 51 | 27
1294.32/1294.70 c 1293s | 25 | 6948947 | 6128798 | 1276 10913 | 51 | 27
1296.32/1296.71 c 1295s | 25 | 6958781 | 6137598 | 1276 10926 | 51 | 27
1298.32/1298.73 c 1297s | 25 | 6968302 | 6146198 | 1276 10938 | 51 | 27
1300.32/1300.73 c 1299s | 25 | 6977205 | 6154298 | 1276 10949 | 51 | 27
1302.32/1302.75 c 1301s | 25 | 6986942 | 6162998 | 1276 10962 | 51 | 27
1304.32/1304.75 c 1303s | 25 | 6996362 | 6171398 | 1276 10973 | 51 | 27
1306.32/1306.77 c 1305s | 25 | 7005746 | 6179798 | 1276 10985 | 51 | 27
1308.32/1308.79 c 1307s | 25 | 7015328 | 6188398 | 1276 10997 | 51 | 27
1310.31/1310.80 c 1309s | 25 | 7025854 | 6197598 | 1276 11010 | 51 | 27
1312.41/1312.80 c 1311s | 25 | 7035932 | 6206398 | 1276 11023 | 51 | 27
1314.42/1314.81 c 1313s | 25 | 7045724 | 6215098 | 1276 11035 | 51 | 27
1316.41/1316.82 c 1315s | 25 | 7055392 | 6223598 | 1276 11047 | 51 | 27
1318.41/1318.82 c 1317s | 25 | 7064637 | 6231898 | 1276 11059 | 51 | 27
1320.41/1320.83 c 1319s | 25 | 7074327 | 6240398 | 1276 11071 | 51 | 27
1322.41/1322.84 c 1321s | 25 | 7084124 | 6248998 | 1276 11083 | 51 | 27
1324.41/1324.86 c 1323s | 25 | 7093671 | 6257498 | 1276 11095 | 51 | 27
1326.42/1326.87 c 1325s | 25 | 7103103 | 6265798 | 1276 11107 | 51 | 27
1328.41/1328.89 c 1327s | 25 | 7112646 | 6274298 | 1276 11119 | 51 | 27
1330.41/1330.89 c 1329s | 25 | 7121940 | 6282698 | 1276 11131 | 51 | 27
1332.51/1332.90 c 1331s | 25 | 7131848 | 6291298 | 1276 11143 | 51 | 27
1334.51/1334.92 c 1333s | 25 | 7142224 | 6300498 | 1276 11156 | 51 | 27
1336.51/1336.92 c 1335s | 25 | 7151906 | 6309198 | 1276 11169 | 51 | 27
1338.51/1338.93 c 1337s | 25 | 7162043 | 6318098 | 1276 11181 | 51 | 27
1340.51/1340.94 c 1339s | 25 | 7172351 | 6327098 | 1276 11194 | 51 | 27
1342.51/1342.94 c 1341s | 25 | 7182975 | 6336298 | 1276 11207 | 51 | 27
1344.51/1344.97 c 1343s | 25 | 7193406 | 6345398 | 1276 11220 | 51 | 27
1346.51/1346.98 c 1345s | 25 | 7203873 | 6354598 | 1276 11233 | 51 | 27
1348.51/1348.99 c 1347s | 25 | 7214142 | 6363598 | 1276 11245 | 51 | 27
1350.50/1351.00 c 1349s | 25 | 7224143 | 6372498 | 1276 11258 | 51 | 27
1352.60/1353.01 c 1351s | 25 | 7233939 | 6381098 | 1276 11270 | 51 | 27
1354.60/1355.03 c 1353s | 25 | 7243630 | 6389698 | 1276 11282 | 51 | 27
1356.60/1357.04 c 1355s | 25 | 7253754 | 6398598 | 1276 11295 | 51 | 27
1358.60/1359.05 c 1357s | 25 | 7263846 | 6407398 | 1276 11307 | 51 | 27
1360.61/1361.07 c 1359s | 25 | 7273520 | 6415998 | 1276 11320 | 51 | 27
1362.60/1363.07 c 1361s | 25 | 7283839 | 6424998 | 1276 11332 | 51 | 27
1364.60/1365.08 c 1363s | 25 | 7293826 | 6433698 | 1276 11345 | 51 | 27
1366.61/1367.08 c 1365s | 25 | 7303463 | 6442298 | 1276 11357 | 51 | 27
1368.61/1369.09 c 1367s | 25 | 7314009 | 6451498 | 1276 11370 | 51 | 27
1370.71/1371.10 c 1369s | 25 | 7324497 | 6460698 | 1276 11383 | 51 | 27
1372.72/1373.11 c 1371s | 25 | 7334411 | 6469498 | 1276 11395 | 51 | 27
1374.71/1375.12 c 1373s | 25 | 7344244 | 6478198 | 1276 11408 | 51 | 27
1376.71/1377.13 c 1375s | 25 | 7354459 | 6487098 | 1276 11420 | 51 | 27
1378.71/1379.14 c 1378s | 25 | 7364693 | 6495998 | 1276 11433 | 51 | 27
1380.71/1381.16 c 1380s | 25 | 7375252 | 6505098 | 1276 11445 | 51 | 27
1382.71/1383.17 c 1382s | 25 | 7385028 | 6513698 | 1276 11458 | 51 | 27
1384.71/1385.18 c 1384s | 25 | 7395322 | 6522598 | 1276 11470 | 51 | 27
1386.71/1387.19 c 1386s | 25 | 7405340 | 6531398 | 1276 11483 | 51 | 27
1388.81/1389.21 c 1388s | 25 | 7415689 | 6540498 | 1276 11496 | 51 | 27
1390.81/1391.21 c 1390s | 25 | 7426213 | 6549598 | 1276 11508 | 51 | 27
1392.81/1393.22 c 1392s | 25 | 7436634 | 6558698 | 1276 11521 | 51 | 27
1394.81/1395.24 c 1394s | 25 | 7445995 | 6567098 | 1276 11533 | 51 | 27
1396.81/1397.26 c 1396s | 25 | 7455466 | 6575498 | 1276 11545 | 51 | 27
1398.80/1399.26 c 1398s | 25 | 7465162 | 6584098 | 1276 11557 | 51 | 27
1400.80/1401.28 c 1400s | 25 | 7475005 | 6592798 | 1276 11569 | 51 | 27
1402.90/1403.30 c 1402s | 25 | 7484701 | 6601298 | 1276 11581 | 51 | 27
1404.90/1405.32 c 1404s | 25 | 7494218 | 6609798 | 1276 11593 | 51 | 27
1406.90/1407.33 c 1406s | 25 | 7504097 | 6618498 | 1276 11606 | 51 | 27
1408.91/1409.33 c 1408s | 25 | 7514035 | 6627298 | 1276 11618 | 51 | 27
1410.90/1411.35 c 1410s | 25 | 7524022 | 6635998 | 1276 11630 | 51 | 27
1412.90/1413.37 c 1412s | 25 | 7534033 | 6644698 | 1276 11643 | 51 | 27
1414.90/1415.37 c 1414s | 25 | 7543948 | 6653298 | 1276 11655 | 51 | 27
1416.90/1417.39 c 1416s | 25 | 7554099 | 6661998 | 1276 11667 | 51 | 27
1419.00/1419.40 c 1418s | 25 | 7563687 | 6670398 | 1276 11679 | 51 | 27
1421.01/1421.41 c 1420s | 25 | 7573727 | 6679198 | 1276 11691 | 51 | 27
1423.00/1423.42 c 1422s | 25 | 7583142 | 6687498 | 1276 11703 | 51 | 27
1425.00/1425.42 c 1424s | 25 | 7593193 | 6696098 | 1276 11715 | 51 | 27
1427.00/1427.43 c 1426s | 25 | 7603075 | 6704698 | 1276 11727 | 51 | 27
1429.00/1429.44 c 1428s | 25 | 7612840 | 6713198 | 1276 11739 | 51 | 27
1431.00/1431.44 c 1430s | 25 | 7623421 | 6722398 | 1276 11752 | 51 | 27
1433.00/1433.46 c 1432s | 25 | 7633363 | 6731098 | 1276 11765 | 51 | 27
1435.00/1435.46 c 1434s | 25 | 7643144 | 6739598 | 1276 11777 | 51 | 27
1436.99/1437.48 c 1436s | 25 | 7653893 | 6748798 | 1276 11789 | 51 | 27
1438.99/1439.48 c 1438s | 25 | 7664077 | 6757698 | 1276 11802 | 51 | 27
1441.09/1441.50 c 1440s | 25 | 7673939 | 6766398 | 1276 11814 | 51 | 27
1443.10/1443.51 c 1442s | 25 | 7683924 | 6775098 | 1276 11826 | 51 | 27
1445.09/1445.51 c 1444s | 25 | 7694069 | 6783998 | 1276 11839 | 51 | 27
1447.09/1447.54 c 1446s | 25 | 7704407 | 6792998 | 1276 11852 | 51 | 27
1449.09/1449.54 c 1448s | 25 | 7714615 | 6801898 | 1276 11864 | 51 | 27
1451.09/1451.55 c 1450s | 25 | 7724295 | 6810498 | 1276 11876 | 51 | 27
1453.09/1453.56 c 1452s | 25 | 7733910 | 6818998 | 1276 11888 | 51 | 27
1455.10/1455.57 c 1454s | 25 | 7743747 | 6827798 | 1276 11901 | 51 | 27
1457.09/1457.58 c 1456s | 25 | 7753773 | 6836698 | 1276 11913 | 51 | 27
1459.09/1459.60 c 1458s | 25 | 7763738 | 6845498 | 1276 11926 | 51 | 27
1461.19/1461.61 c 1460s | 25 | 7773456 | 6854198 | 1276 11938 | 51 | 27
1463.19/1463.63 c 1462s | 25 | 7782966 | 6862698 | 1276 11950 | 51 | 27
1465.19/1465.64 c 1464s | 25 | 7792274 | 6871098 | 1276 11962 | 51 | 27
1467.20/1467.66 c 1466s | 25 | 7801642 | 6879498 | 1276 11974 | 51 | 27
1469.19/1469.68 c 1468s | 25 | 7810602 | 6887498 | 1276 11985 | 51 | 27
1471.19/1471.69 c 1470s | 25 | 7820749 | 6896298 | 1276 11998 | 51 | 27
1473.29/1473.71 c 1472s | 25 | 7830365 | 6904898 | 1276 12010 | 51 | 27
1475.29/1475.72 c 1474s | 25 | 7839869 | 6913298 | 1276 12022 | 51 | 27
1477.29/1477.73 c 1476s | 25 | 7849700 | 6921898 | 1276 12034 | 51 | 27
1479.29/1479.74 c 1478s | 25 | 7859102 | 6930298 | 1276 12046 | 51 | 27
1481.28/1481.76 c 1480s | 25 | 7868545 | 6938698 | 1276 12058 | 51 | 27
1483.28/1483.77 c 1482s | 25 | 7878048 | 6947198 | 1276 12070 | 51 | 27
1485.28/1485.77 c 1484s | 25 | 7887481 | 6955598 | 1276 12082 | 51 | 27
1487.28/1487.78 c 1486s | 25 | 7897427 | 6964398 | 1276 12094 | 51 | 27
1489.29/1489.78 c 1488s | 25 | 7907353 | 6972998 | 1276 12106 | 51 | 27
1491.29/1491.79 c 1490s | 25 | 7917281 | 6981698 | 1276 12118 | 51 | 27
1493.39/1493.81 c 1492s | 25 | 7927056 | 6990298 | 1276 12131 | 51 | 27
1495.39/1495.83 c 1494s | 25 | 7937216 | 6999198 | 1276 12143 | 51 | 27
1497.39/1497.86 c 1496s | 25 | 7947350 | 7007998 | 1276 12155 | 51 | 27
1499.39/1499.88 c 1498s | 25 | 7957255 | 7016598 | 1276 12168 | 51 | 27
1501.39/1501.88 c 1500s | 25 | 7966907 | 7025098 | 1276 12180 | 51 | 27
1503.39/1503.89 c 1502s | 25 | 7976445 | 7033498 | 1276 12192 | 51 | 27
1505.49/1505.91 c 1504s | 25 | 7986159 | 7042198 | 1276 12204 | 51 | 27
1507.49/1507.92 c 1506s | 25 | 7996061 | 7050998 | 1276 12216 | 51 | 27
1509.48/1509.93 c 1508s | 25 | 8005277 | 7059198 | 1276 12228 | 51 | 27
1511.48/1511.95 c 1510s | 25 | 8014712 | 7067598 | 1276 12240 | 51 | 27
1513.49/1513.96 c 1512s | 25 | 8024264 | 7075998 | 1276 12252 | 51 | 27
1515.48/1515.99 c 1514s | 25 | 8033828 | 7084398 | 1276 12264 | 51 | 27
1517.58/1518.00 c 1516s | 25 | 8043335 | 7092798 | 1276 12275 | 51 | 27
1519.58/1520.00 c 1518s | 25 | 8052752 | 7101098 | 1276 12287 | 51 | 27
1521.58/1522.01 c 1520s | 25 | 8062356 | 7109498 | 1276 12299 | 51 | 27
1523.58/1524.02 c 1522s | 25 | 8071980 | 7117998 | 1276 12311 | 51 | 27
1525.59/1526.03 c 1524s | 25 | 8081498 | 7126398 | 1276 12323 | 51 | 27
1527.58/1528.03 c 1526s | 25 | 8091231 | 7134898 | 1276 12335 | 51 | 27
1529.58/1530.05 c 1528s | 25 | 8101870 | 7144198 | 1276 12348 | 51 | 27
1531.58/1532.06 c 1530s | 25 | 8112432 | 7153298 | 1276 12361 | 51 | 27
1533.58/1534.07 c 1532s | 25 | 8122857 | 7162398 | 1276 12374 | 51 | 27
1535.58/1536.09 c 1534s | 25 | 8133232 | 7171498 | 1276 12387 | 51 | 27
1537.68/1538.11 c 1536s | 25 | 8142898 | 7179998 | 1276 12399 | 51 | 27
1539.68/1540.12 c 1538s | 25 | 8152108 | 7188198 | 1276 12410 | 51 | 27
1541.68/1542.12 c 1540s | 25 | 8162062 | 7196998 | 1276 12423 | 51 | 27
1543.68/1544.13 c 1542s | 25 | 8171634 | 7205498 | 1276 12435 | 51 | 27
1545.68/1546.14 c 1545s | 25 | 8181487 | 7214198 | 1276 12447 | 51 | 27
1547.67/1548.16 c 1547s | 25 | 8191541 | 7223098 | 1276 12459 | 51 | 27
1549.68/1550.17 c 1549s | 25 | 8201333 | 7231698 | 1276 12472 | 51 | 27
1551.67/1552.19 c 1551s | 25 | 8210970 | 7240198 | 1276 12484 | 51 | 27
1553.77/1554.20 c 1553s | 25 | 8220309 | 7248498 | 1276 12495 | 51 | 27
1555.77/1556.21 c 1555s | 25 | 8229574 | 7256898 | 1276 12507 | 51 | 27
1557.77/1558.22 c 1557s | 25 | 8238661 | 7265098 | 1276 12519 | 51 | 27
1559.77/1560.22 c 1559s | 25 | 8248122 | 7273598 | 1276 12531 | 51 | 27
1561.78/1562.23 c 1561s | 25 | 8257508 | 7281998 | 1276 12543 | 51 | 27
1563.77/1564.23 c 1563s | 25 | 8267504 | 7290798 | 1276 12555 | 51 | 27
1565.77/1566.25 c 1565s | 25 | 8277430 | 7299498 | 1276 12568 | 51 | 27
1567.77/1568.27 c 1567s | 25 | 8286874 | 7307898 | 1276 12579 | 51 | 27
1569.77/1570.27 c 1569s | 25 | 8296702 | 7316498 | 1276 12592 | 51 | 27
1571.78/1572.29 c 1571s | 25 | 8306592 | 7325198 | 1276 12604 | 51 | 27
1573.88/1574.30 c 1573s | 25 | 8316808 | 7334098 | 1276 12616 | 51 | 27
1575.87/1576.31 c 1575s | 25 | 8326641 | 7342698 | 1276 12629 | 51 | 27
1577.87/1578.32 c 1577s | 25 | 8336935 | 7351698 | 1276 12641 | 51 | 27
1579.87/1580.33 c 1579s | 25 | 8346749 | 7360398 | 1276 12654 | 51 | 27
1581.88/1582.35 c 1581s | 25 | 8356705 | 7369198 | 1276 12666 | 51 | 27
1583.88/1584.36 c 1583s | 25 | 8366599 | 7377998 | 1276 12679 | 51 | 27
1585.88/1586.36 c 1585s | 25 | 8376189 | 7386598 | 1276 12691 | 51 | 27
1587.88/1588.38 c 1587s | 25 | 8385903 | 7395198 | 1276 12703 | 51 | 27
1589.87/1590.39 c 1589s | 25 | 8395418 | 7403698 | 1276 12715 | 51 | 27
1591.97/1592.41 c 1591s | 25 | 8405017 | 7412298 | 1276 12727 | 51 | 27
1593.97/1594.42 c 1593s | 25 | 8414527 | 7420798 | 1276 12740 | 51 | 27
1595.98/1596.44 c 1595s | 25 | 8424695 | 7429698 | 1276 12752 | 51 | 27
1597.97/1598.46 c 1597s | 25 | 8434068 | 7438098 | 1276 12764 | 51 | 27
1599.97/1600.47 c 1599s | 25 | 8443242 | 7446298 | 1276 12776 | 51 | 27
1601.97/1602.47 c 1601s | 25 | 8452876 | 7454898 | 1276 12788 | 51 | 27
1603.97/1604.48 c 1603s | 25 | 8461995 | 7463098 | 1276 12799 | 51 | 27
1606.07/1606.50 c 1605s | 25 | 8471359 | 7471498 | 1276 12811 | 51 | 27
1608.08/1608.51 c 1607s | 25 | 8480383 | 7479698 | 1276 12823 | 51 | 27
1610.07/1610.51 c 1609s | 25 | 8489860 | 7488098 | 1276 12835 | 51 | 27
1612.07/1612.53 c 1611s | 25 | 8499394 | 7496598 | 1276 12847 | 51 | 27
1614.07/1614.54 c 1613s | 25 | 8509149 | 7505198 | 1276 12859 | 51 | 27
1616.07/1616.54 c 1615s | 25 | 8518697 | 7513698 | 1276 12871 | 51 | 27
1618.07/1618.55 c 1617s | 25 | 8528717 | 7522498 | 1276 12884 | 51 | 27
1620.07/1620.55 c 1619s | 25 | 8538766 | 7531298 | 1404 12896 | 51 | 27
1622.06/1622.56 c 1621s | 25 | 8548977 | 7540098 | 1404 12907 | 51 | 27
1624.06/1624.57 c 1623s | 25 | 8558806 | 7548698 | 1404 12919 | 51 | 27
1626.06/1626.59 c 1625s | 25 | 8568400 | 7556998 | 1404 12929 | 51 | 27
1628.16/1628.61 c 1627s | 25 | 8578254 | 7565598 | 1404 12941 | 51 | 27
1630.16/1630.63 c 1629s | 25 | 8587851 | 7574098 | 1404 12952 | 51 | 27
1632.17/1632.65 c 1631s | 25 | 8597580 | 7582598 | 1404 12963 | 51 | 27
1634.16/1634.66 c 1633s | 25 | 8606649 | 7590698 | 1404 12973 | 51 | 27
1635.86/1636.33 c 1635s | 26 | 8614573 | 7597752 | 1404 12982 | 51 | 27
1637.86/1638.35 c 1637s | 26 | 8625108 | 7606952 | 1404 12994 | 51 | 27
1639.87/1640.36 c 1639s | 26 | 8635102 | 7615752 | 1404 13005 | 51 | 27
1641.87/1642.37 c 1641s | 26 | 8645310 | 7624752 | 1404 13017 | 51 | 27
1643.87/1644.38 c 1643s | 26 | 8655627 | 7633852 | 1404 13029 | 51 | 27
1645.97/1646.40 c 1645s | 26 | 8665912 | 7642852 | 1404 13041 | 51 | 27
1647.97/1648.41 c 1647s | 26 | 8675952 | 7651752 | 1404 13052 | 51 | 27
1649.97/1650.43 c 1649s | 26 | 8685960 | 7660552 | 1404 13064 | 51 | 27
1651.97/1652.44 c 1651s | 26 | 8695842 | 7669352 | 1404 13075 | 51 | 27
1653.97/1654.45 c 1653s | 26 | 8705265 | 7677852 | 1404 13086 | 51 | 27
1655.97/1656.46 c 1655s | 26 | 8715331 | 7686752 | 1404 13098 | 51 | 27
1657.97/1658.48 c 1657s | 26 | 8724857 | 7695352 | 1404 13109 | 51 | 27
1659.96/1660.49 c 1659s | 26 | 8734729 | 7704052 | 1404 13120 | 51 | 27
1662.06/1662.51 c 1661s | 26 | 8744201 | 7712552 | 1404 13131 | 51 | 27
1664.07/1664.52 c 1663s | 26 | 8753864 | 7721052 | 1404 13142 | 51 | 27
1666.06/1666.53 c 1665s | 26 | 8763230 | 7729452 | 1404 13153 | 51 | 27
1668.06/1668.53 c 1667s | 26 | 8772641 | 7737652 | 1404 13164 | 51 | 27
1670.06/1670.56 c 1669s | 26 | 8783035 | 7746852 | 1404 13176 | 51 | 27
1672.06/1672.56 c 1671s | 26 | 8792975 | 7755652 | 1404 13187 | 51 | 27
1674.07/1674.56 c 1673s | 26 | 8803196 | 7764652 | 1404 13199 | 51 | 27
1676.06/1676.57 c 1675s | 26 | 8813409 | 7773752 | 1404 13211 | 51 | 27
1678.06/1678.59 c 1677s | 26 | 8823936 | 7782952 | 1404 13223 | 51 | 27
1680.16/1680.61 c 1679s | 26 | 8833948 | 7791752 | 1404 13235 | 51 | 27
1682.16/1682.62 c 1681s | 26 | 8844179 | 7800752 | 1404 13246 | 51 | 27
1684.16/1684.62 c 1683s | 26 | 8854174 | 7809552 | 1404 13258 | 51 | 27
1686.16/1686.64 c 1685s | 26 | 8864520 | 7818552 | 1404 13269 | 51 | 27
1688.16/1688.65 c 1687s | 26 | 8874883 | 7827552 | 1404 13281 | 51 | 27
1690.16/1690.65 c 1689s | 26 | 8885599 | 7836852 | 1404 13293 | 51 | 27
1692.16/1692.67 c 1691s | 26 | 8896119 | 7846052 | 1404 13305 | 51 | 27
1694.16/1694.68 c 1693s | 26 | 8906104 | 7854752 | 1404 13317 | 51 | 27
1696.26/1696.70 c 1695s | 26 | 8916491 | 7863852 | 1404 13329 | 51 | 27
1698.26/1698.71 c 1697s | 26 | 8926331 | 7872552 | 1404 13340 | 51 | 27
1700.26/1700.74 c 1699s | 26 | 8935734 | 7880852 | 1404 13351 | 51 | 27
1702.26/1702.75 c 1701s | 26 | 8945370 | 7889352 | 1404 13362 | 51 | 27
1704.25/1704.77 c 1703s | 26 | 8955356 | 7898052 | 1404 13373 | 51 | 27
1706.25/1706.79 c 1705s | 26 | 8964845 | 7906452 | 1404 13384 | 51 | 27
1708.25/1708.79 c 1707s | 26 | 8974499 | 7914952 | 1404 13395 | 51 | 27
1710.26/1710.80 c 1709s | 26 | 8984019 | 7923352 | 1404 13406 | 51 | 27
1712.35/1712.80 c 1711s | 26 | 8993403 | 7931552 | 1404 13417 | 51 | 27
1714.35/1714.81 c 1713s | 26 | 9002472 | 7939552 | 1404 13427 | 51 | 27
1716.35/1716.82 c 1715s | 26 | 9012002 | 7947952 | 1404 13438 | 51 | 27
1718.35/1718.85 c 1717s | 26 | 9021736 | 7956552 | 1404 13450 | 51 | 27
1720.35/1720.86 c 1719s | 26 | 9031680 | 7965352 | 1404 13461 | 51 | 27
1722.36/1722.88 c 1721s | 26 | 9041524 | 7974152 | 1404 13472 | 51 | 27
1724.35/1724.88 c 1723s | 26 | 9051022 | 7982552 | 1404 13483 | 51 | 27
1726.35/1726.89 c 1725s | 26 | 9061031 | 7991352 | 1404 13495 | 51 | 27
1728.35/1728.89 c 1727s | 26 | 9070854 | 7999952 | 1404 13506 | 51 | 27
1730.45/1730.91 c 1729s | 26 | 9080175 | 8008152 | 1404 13517 | 51 | 27
1732.45/1732.92 c 1731s | 26 | 9089442 | 8016352 | 1404 13528 | 51 | 27
1734.45/1734.94 c 1733s | 26 | 9099250 | 8025052 | 1404 13539 | 51 | 27
1736.45/1736.96 c 1735s | 26 | 9109087 | 8033652 | 1404 13550 | 51 | 27
1738.45/1738.97 c 1737s | 26 | 9119078 | 8042552 | 1404 13562 | 51 | 27
1740.45/1740.99 c 1739s | 26 | 9129372 | 8051652 | 1404 13574 | 51 | 27
1742.55/1743.00 c 1741s | 26 | 9139218 | 8060352 | 1404 13585 | 51 | 27
1744.55/1745.01 c 1743s | 26 | 9149555 | 8069452 | 1404 13597 | 51 | 27
1746.55/1747.01 c 1745s | 26 | 9159797 | 8078452 | 1404 13609 | 51 | 27
1748.55/1749.01 c 1747s | 26 | 9170097 | 8087452 | 1404 13620 | 51 | 27
1750.54/1751.03 c 1749s | 26 | 9180337 | 8096352 | 1404 13632 | 51 | 27
1752.54/1753.04 c 1751s | 26 | 9189997 | 8104952 | 1404 13643 | 51 | 27
1754.54/1755.05 c 1753s | 26 | 9200419 | 8114052 | 1404 13655 | 51 | 27
1756.55/1757.06 c 1755s | 26 | 9210580 | 8123052 | 1404 13667 | 51 | 27
1758.54/1759.08 c 1757s | 26 | 9220949 | 8132052 | 1404 13679 | 51 | 27
1760.64/1761.10 c 1759s | 26 | 9231204 | 8140952 | 1404 13691 | 51 | 27
1762.64/1763.11 c 1761s | 26 | 9241518 | 8150052 | 1404 13702 | 51 | 27
1764.64/1765.12 c 1763s | 26 | 9251745 | 8158952 | 1404 13714 | 51 | 27
1766.64/1767.13 c 1766s | 26 | 9261973 | 8167852 | 1404 13726 | 51 | 27
1768.65/1769.14 c 1768s | 26 | 9272116 | 8176652 | 1404 13737 | 51 | 27
1770.64/1771.14 c 1770s | 26 | 9281712 | 8185052 | 1404 13748 | 51 | 27
1772.64/1773.16 c 1772s | 26 | 9291599 | 8193852 | 1404 13760 | 51 | 27
1774.64/1775.17 c 1774s | 26 | 9301567 | 8202652 | 1404 13771 | 51 | 27
1776.64/1777.19 c 1776s | 26 | 9311886 | 8211552 | 1404 13783 | 51 | 27
1778.64/1779.19 c 1778s | 26 | 9322703 | 8220952 | 1404 13795 | 51 | 27
1780.65/1781.20 c 1780s | 26 | 9332833 | 8229952 | 1404 13807 | 51 | 27
1782.74/1783.22 c 1782s | 26 | 9342602 | 8238652 | 1404 13818 | 51 | 27
1784.74/1785.24 c 1784s | 26 | 9352253 | 8247352 | 1404 13830 | 51 | 27
1786.74/1787.24 c 1786s | 26 | 9362166 | 8256052 | 1404 13841 | 51 | 27
1788.74/1789.25 c 1788s | 26 | 9372411 | 8265152 | 1404 13853 | 51 | 27
1790.74/1791.27 c 1790s | 26 | 9382673 | 8274152 | 1404 13865 | 51 | 27
1792.74/1793.28 c 1792s | 26 | 9392948 | 8283252 | 1404 13876 | 51 | 27
1794.74/1795.29 c 1794s | 26 | 9403562 | 8292552 | 1404 13888 | 51 | 27
1796.74/1797.29 c 1796s | 26 | 9413784 | 8301552 | 1404 13900 | 51 | 27
1798.84/1799.30 c 1798s | 26 | 9424014 | 8310552 | 1404 13912 | 51 | 27
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-4117654-1467214588/watcher-4117654-1467214588 -o /tmp/evaluation-result-4117654-1467214588/solver-4117654-1467214588 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467209132-3987 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117654-1467214588.opb
pid=4593
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.19 2.23 2.21 2/170 4596
/proc/meminfo: memFree=24603736/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 2701 0 0 0 0 0 0 0 20 0 4 0 2419597 741797888 3573 33554432000 4194304 16246674 140733656652576 140733656652000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 181871 3581 441 2943 0 178765 0
[pid=4596/tid=4597] ppid=4593 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 760672256 3642 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 765915136 3664 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 770109440 3679 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100123 s]
/proc/loadavg: 2.19 2.23 2.21 2/170 4596
/proc/meminfo: memFree=24603736/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 23031 0 0 0 5 4 0 0 20 0 4 0 2419597 1247350784 23889 33554432000 4194304 16246674 140733656652576 140733656652000 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 304529 23896 785 2943 0 301423 0
[pid=4596/tid=4597] ppid=4593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1247350784 23901 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1247350784 23907 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1247350784 23914 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200448 s]
/proc/loadavg: 2.19 2.23 2.21 2/170 4596
/proc/meminfo: memFree=24603736/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 42585 0 0 0 13 6 0 0 20 0 4 0 2419597 1247350784 43443 33554432000 4194304 16246674 140733656652576 140733656652000 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 304529 43453 785 2943 0 301423 0
[pid=4596/tid=4597] ppid=4593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1247350784 43457 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1247350784 43462 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1247350784 43467 33554432000 4194304 16246674 140733656652576 140238265511088 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.300459 s]
/proc/loadavg: 2.19 2.23 2.21 2/170 4596
/proc/meminfo: memFree=24603736/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 62317 0 0 0 19 10 0 0 20 0 4 0 2419597 1247350784 63176 33554432000 4194304 16246674 140733656652576 140733656652000 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 304529 63185 785 2943 0 301423 0
[pid=4596/tid=4597] ppid=4593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1247350784 63192 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1247350784 63198 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1247350784 63209 33554432000 4194304 16246674 140733656652576 140238265511088 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.700394 s]
/proc/loadavg: 2.19 2.23 2.21 2/170 4596
/proc/meminfo: memFree=24603736/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 143435 0 0 0 48 21 0 0 20 0 4 0 2419597 1247350784 144293 33554432000 4194304 16246674 140733656652576 140733656652000 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 304529 144301 786 2943 0 301423 0
[pid=4596/tid=4597] ppid=4593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1247350784 144308 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1247350784 144316 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1247350784 144320 33554432000 4194304 16246674 140733656652576 140238265511088 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.50036 s]
/proc/loadavg: 2.19 2.23 2.21 3/178 4716
/proc/meminfo: memFree=23599188/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 245684 0 0 0 115 34 0 0 20 0 4 0 2419597 1248399360 246521 33554432000 4194304 16246674 140733656652576 140733656651888 5545704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 304785 246521 850 2943 0 301679 0
[pid=4596/tid=4597] ppid=4593 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1248399360 246521 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1248399360 246521 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1248399360 246521 33554432000 4194304 16246674 140733656652576 140238265511088 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) 1219140
[startup+3.10039 s]
/proc/loadavg: 2.19 2.23 2.21 3/183 4814
/proc/meminfo: memFree=23123324/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 267489 0 0 0 273 36 0 0 20 0 4 0 2419597 1337528320 268326 33554432000 4194304 16246674 140733656652576 140733656634496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326545 268326 850 2943 0 323439 0
[pid=4596/tid=4597] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268326 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268326 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268326 33554432000 4194304 16246674 140733656652576 140238265511088 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) 1306180
[startup+6.3004 s]
/proc/loadavg: 2.18 2.22 2.21 3/183 4814
/proc/meminfo: memFree=22441856/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 267503 0 0 0 593 36 0 0 20 0 4 0 2419597 1337528320 268340 33554432000 4194304 16246674 140733656652576 140733656634496 5668464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326545 268340 850 2943 0 323439 0
[pid=4596/tid=4597] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268340 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268340 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268340 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180
[startup+12.7004 s]
/proc/loadavg: 2.16 2.22 2.20 3/183 4814
/proc/meminfo: memFree=22442148/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 267540 0 0 0 1233 36 0 0 20 0 4 0 2419597 1337528320 268377 33554432000 4194304 16246674 140733656652576 140733656635576 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326545 268377 850 2943 0 323439 0
[pid=4596/tid=4597] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268377 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268377 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268377 33554432000 4194304 16246674 140733656652576 140238265511088 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) 1306180
[startup+25.5004 s]
/proc/loadavg: 2.13 2.21 2.20 3/183 4814
/proc/meminfo: memFree=22443052/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 267541 0 0 0 2513 36 0 0 20 0 4 0 2419597 1337528320 268378 33554432000 4194304 16246674 140733656652576 140733656635576 5553724 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326545 268378 850 2943 0 323439 0
[pid=4596/tid=4597] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268378 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268378 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268378 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180
[startup+51.1004 s]
/proc/loadavg: 2.15 2.21 2.20 3/183 4814
/proc/meminfo: memFree=22441976/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 267631 0 0 0 5071 37 0 0 20 0 4 0 2419597 1337528320 268464 33554432000 4194304 16246674 140733656652576 140733656635576 5523203 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326545 268464 850 2943 0 323439 0
[pid=4596/tid=4597] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268464 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268464 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268464 33554432000 4194304 16246674 140733656652576 140238265511088 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) 1306180
[startup+102.3 s]
/proc/loadavg: 2.25 2.23 2.21 3/183 4815
/proc/meminfo: memFree=22441904/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1306180 CPUtime=102.26 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 267644 0 0 0 10189 37 0 0 20 0 4 0 2419597 1337528320 268464 33554432000 4194304 16246674 140733656652576 140733656635576 5523188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326545 268464 850 2943 0 323439 0
[pid=4596/tid=4597] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268464 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268464 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1337528320 268464 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1306180
################
# More data... #
################
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268610 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1307204
[startup+1362.3 s]
/proc/loadavg: 2.21 2.17 2.17 4/183 4846
/proc/meminfo: memFree=22436192/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1307204 CPUtime=1361.9 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 268108 0 0 0 136138 52 0 0 20 0 4 0 2419597 1338576896 268610 33554432000 4194304 16246674 140733656652576 140733656634496 5672230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326801 268610 852 2943 0 323695 0
[pid=4596/tid=4597] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268610 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268610 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268610 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1307204
[startup+1422.3 s]
/proc/loadavg: 2.16 2.16 2.17 3/184 4850
/proc/meminfo: memFree=22436308/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1307204 CPUtime=1421.9 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 268161 0 0 0 142137 53 0 0 20 0 4 0 2419597 1338576896 268663 33554432000 4194304 16246674 140733656652576 140733656634496 5546116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326801 268663 852 2943 0 323695 0
[pid=4596/tid=4597] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1307204
[startup+1482.3 s]
/proc/loadavg: 2.23 2.18 2.18 4/184 4873
/proc/meminfo: memFree=22436200/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1307204 CPUtime=1481.88 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 268161 0 0 0 148135 53 0 0 20 0 4 0 2419597 1338576896 268663 33554432000 4194304 16246674 140733656652576 140733656634432 5823751 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326801 268663 852 2943 0 323695 0
[pid=4596/tid=4597] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1307204
[startup+1542.3 s]
/proc/loadavg: 2.15 2.16 2.17 3/183 4875
/proc/meminfo: memFree=22437088/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1307204 CPUtime=1541.88 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 268161 0 0 0 154134 54 0 0 20 0 4 0 2419597 1338576896 268663 33554432000 4194304 16246674 140733656652576 140733656634496 6073347 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326801 268663 852 2943 0 323695 0
[pid=4596/tid=4597] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1307204
[startup+1602.3 s]
/proc/loadavg: 2.09 2.14 2.16 3/183 4876
/proc/meminfo: memFree=22436844/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1307204 CPUtime=1601.87 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 268161 0 0 0 160132 55 0 0 20 0 4 0 2419597 1338576896 268663 33554432000 4194304 16246674 140733656652576 140733656634496 5707992 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326801 268663 852 2943 0 323695 0
[pid=4596/tid=4597] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1307204
[startup+1662.3 s]
/proc/loadavg: 2.15 2.16 2.17 4/183 4877
/proc/meminfo: memFree=22436852/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1307204 CPUtime=1661.87 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 268161 0 0 0 166131 56 0 0 20 0 4 0 2419597 1338576896 268663 33554432000 4194304 16246674 140733656652576 140733656635576 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326801 268663 852 2943 0 323695 0
[pid=4596/tid=4597] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1307204
[startup+1722.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/183 4878
/proc/meminfo: memFree=22436732/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1307204 CPUtime=1721.85 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 268161 0 0 0 172129 56 0 0 20 0 4 0 2419597 1338576896 268663 33554432000 4194304 16246674 140733656652576 140733656635576 5995317 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326801 268663 852 2943 0 323695 0
[pid=4596/tid=4597] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1307204
[startup+1782.31 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 4879
/proc/meminfo: memFree=22435872/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1307204 CPUtime=1781.85 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 268161 0 0 0 178129 56 0 0 20 0 4 0 2419597 1338576896 268663 33554432000 4194304 16246674 140733656652576 140733656634496 13943729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326801 268663 852 2943 0 323695 0
[pid=4596/tid=4597] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1307204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.19 2.17 2.17 4/183 4879
/proc/meminfo: memFree=22436124/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1307204 CPUtime=1800.04 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 268161 0 0 0 179948 56 0 0 20 0 4 0 2419597 1338576896 268663 33554432000 4194304 16246674 140733656652576 140733656635576 6836352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326801 268663 852 2943 0 323695 0
[pid=4596/tid=4597] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1307204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4596 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.19 2.17 2.17 4/183 4879
/proc/meminfo: memFree=22436124/32872528 swapFree=1253612/1390560
[pid=4596] ppid=4593 vsize=1307204 CPUtime=1800.04 cores=0,2,4,6
/proc/4596/stat : 4596 (toysat) R 4593 4596 3971 0 -1 4202496 268161 0 0 0 179948 56 0 0 20 0 4 0 2419597 1338576896 268663 33554432000 4194304 16246674 140733656652576 140733656635576 6836352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4596/statm: 326801 268663 852 2943 0 323695 0
[pid=4596/tid=4597] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4597/stat : 4597 (toysat) S 4593 4596 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238397615344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4596/tid=4598] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4598/stat : 4598 (toysat) S 4593 4596 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238387125488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4596/tid=4599] ppid=4593 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4596/task/4599/stat : 4599 (toysat) S 4593 4596 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419598 1338576896 268663 33554432000 4194304 16246674 140733656652576 140238265511088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1307204
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.49
CPU system time (s): 0.567913
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1307204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.567913
maximum resident set size= 1074652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268161
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= 350
involuntary context switches= 1834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5733 second user time and 6.96194 second system time
The end