0.00/0.00 c 2016-06-29T17:55:13+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-4117834-1467215713.opb"]
0.00/0.01 c use --random-gen="2014149410 4167645877 1046580648 30840322 2089967180 914650577 601782391 2595306314 523412439 3372371786 1144939056 4162094071 1171231116 3063988733 3933391858 2945477390 3873138358 1091687186 1347559255 1391225298 1250503771 1466671980 2444794307 3079300894 1494022022 155713537 3755030482 1778831831 3757070558 1726249625 2830427016 1433728076 1640321834 3981671355 501910116 20577158 479725597 694566579 1057193425 3629061710 2537717991 3510935164 2272405360 887479742 1531589780 2086727404 3104371152 1232898179 3677967398 1760718926 507205456 2122569132 1480788491 3774452073 4093683701 598048850 789240803 532046328 526689898 4144357955 3520656592 2387080939 2135813820 1398493345 836087 3524516633 1130366371 485325488 1149698640 3398881361 1745144180 1949596121 1827490217 795073884 2813958858 4277319755 103350206 2230051026 3375719965 1034295940 1168544571 2095410326 3486085706 2803914909 313494863 627429823 3980212438 1402283017 402964708 94284978 2092193942 3335676451 4174300143 164955381 3355354125 4124501789 2578633470 2226850906 1394441956 2497800130 3676037382 3476498144 3001732202 2432764473 354161826 809711992 2151403717 3218241442 844839911 2572286111 3836414268 2316561076 755022532 3271548862 1355587281 1383394011 2941760256 307857494 2359636698 2904906453 3710345000 302312982 93680951 2882953011 412616170 2998883767 2050732882 1131244219 1385240573 3893873983 1236986913 1713915429 3751907705 324262747 1948750110 3815296782 2243205920 1222485288 3549633441 1292049589 301108323 287842413 2934719942 268857688 3961102319 48566934 1942614794 2326809548 1265234170 3704771253 4279082602 1269355092 2752446911 248582707 3520803918 4024060088 1889121242 375618975 3939206787 1192756485 3433174598 1652027420 4000155501 911025530 1211430277 3948362903 300874599 3088242420 68627293 2168692107 3730147213 47186326 3717681003 138524269 3414164874 1300993084 1445487643 3684072086 2204317694 2394251398 1586392151 865941995 4221676652 2737309590 2031199619 3724499290 952586414 4213381477 1315107114 8383604 2339102476 2264322611 3448593443 2734248625 4269184832 642814250 1423584706 3174088491 1333231285 1470569399 1347718689 2260583730 1193711582 2126884080 2212516879 2931925577 2104300641 2742678020 2455480499 3106814792 952393824 4031046579 1120248608 3328834340 3041931069 4257501436 2422706855 1707689155 2532322161 1185447903 2249396537 1788264997 2618926604 722496043 806027644 2886302301 1363231880 126668900 2393593012 1613066728 878872559 2321492146 1071396116 4195856131 504959598 4278049302 239072577 2077957150 2563912003 2230004085 729106908 282525229 923451108 2688587543 3741303827 3784699478 679356392 2941458767 2069274801 3717619616 924621807 4143645461 1499138101 581246173 3624763818 2298377693 255 362436" option to reproduce the execution
0.00/0.01 c #vars 256
0.00/0.01 c #constraints 94
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 | 142 0 | 17 | 0
0.00/0.04 c 0.0s | 1 | 130 | 100 | 142 0 | 17 | 0
0.00/0.05 c 0.0s | 1 | 256 | 179 | 157 0 | 17 | 0
0.00/0.05 c #cpu_time = 0.033s
0.00/0.05 c #wall_clock_time = 0.033s
0.00/0.05 c #decision = 256
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 179
0.00/0.05 c #restart = 1
0.00/0.05 o 135
0.00/0.05 c BCD2: updating upper bound: 256 -> 134
0.00/0.05 c BCD2: 0 <= obj <= 134
0.00/0.05 c BCD2: #cores=0, #unrelaxed=256, #relaxed=0, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=1 bias=1/2
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 | 157 0 | 17 | 0
0.00/0.05 c 0.0s | 0 | 0 | 0 | 157 1 | 17 | 0
0.00/0.05 c #cpu_time = 0.002s
0.00/0.05 c #wall_clock_time = 0.002s
0.00/0.05 c #decision = 0
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 1
0.00/0.06 c BCD2: 1 <= obj <= 134
0.00/0.06 c BCD2: #cores=1, #unrelaxed=255, #relaxed=1, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 157 0 | 17 | 0
0.00/0.06 c 0.0s | 0 | 7 | 0 | 157 0 | 17 | 0
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 7
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.06 c lower bound updated to 2
0.00/0.06 c BCD2: 2 <= obj <= 134
0.00/0.06 c BCD2: #cores=2, #unrelaxed=248, #relaxed=8, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 157 0 | 17 | 0
0.00/0.06 c 0.0s | 0 | 7 | 0 | 157 0 | 17 | 0
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 7
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 3
0.00/0.06 c BCD2: 3 <= obj <= 134
0.00/0.06 c BCD2: #cores=3, #unrelaxed=247, #relaxed=9, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 157 0 | 17 | 0
0.00/0.06 c 0.0s | 0 | 8 | 0 | 157 0 | 17 | 0
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 8
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 4
0.00/0.06 c BCD2: 4 <= obj <= 134
0.00/0.06 c BCD2: #cores=4, #unrelaxed=246, #relaxed=10, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=5 bias=5/6
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 | 157 0 | 17 | 0
0.00/0.06 c 0.0s | 0 | 16 | 0 | 157 0 | 17 | 0
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 = 16
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 5
0.00/0.06 c BCD2: 5 <= obj <= 134
0.00/0.06 c BCD2: #cores=5, #unrelaxed=238, #relaxed=18, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=6 bias=6/7
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 | 157 0 | 17 | 0
0.00/0.06 c 0.0s | 0 | 11 | 0 | 157 0 | 17 | 0
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 = 11
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 6
0.00/0.06 c BCD2: 6 <= obj <= 134
0.00/0.06 c BCD2: #cores=6, #unrelaxed=236, #relaxed=20, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=7 bias=7/8
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 | 157 0 | 17 | 0
0.00/0.06 c 0.0s | 0 | 15 | 0 | 157 0 | 17 | 0
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 = 15
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 7
0.00/0.06 c BCD2: 7 <= obj <= 134
0.00/0.06 c BCD2: #cores=7, #unrelaxed=235, #relaxed=21, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=8 bias=8/9
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 | 157 0 | 17 | 0
0.00/0.06 c 0.0s | 0 | 21 | 0 | 157 0 | 17 | 0
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 = 21
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.06 c lower bound updated to 8
0.00/0.06 c BCD2: 8 <= obj <= 134
0.00/0.06 c BCD2: #cores=8, #unrelaxed=229, #relaxed=27, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=9 bias=9/10
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 | 157 0 | 17 | 0
0.00/0.07 c 0.0s | 0 | 37 | 1 | 157 0 | 17 | 0
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 = 37
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 3: cost of the new core is >=2
0.00/0.07 c lower bound updated to 9
0.00/0.07 c BCD2: 9 <= obj <= 134
0.00/0.07 c BCD2: #cores=8, #unrelaxed=228, #relaxed=28, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 157 0 | 18 | 0
0.00/0.07 c 0.0s | 0 | 21 | 0 | 157 0 | 18 | 1
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 = 21
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.07 c lower bound updated to 10
0.00/0.07 c BCD2: 10 <= obj <= 134
0.00/0.07 c BCD2: #cores=9, #unrelaxed=225, #relaxed=31, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 157 0 | 18 | 1
0.00/0.07 c 0.0s | 0 | 21 | 1 | 157 0 | 18 | 1
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 = 21
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 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.07 c lower bound updated to 11
0.00/0.07 c BCD2: 11 <= obj <= 134
0.00/0.07 c BCD2: #cores=9, #unrelaxed=220, #relaxed=36, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=12 bias=12/13
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 | 157 0 | 19 | 1
0.00/0.07 c 0.0s | 0 | 16 | 0 | 157 0 | 19 | 2
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 16
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.07 c lower bound updated to 12
0.00/0.07 c BCD2: 12 <= obj <= 134
0.00/0.07 c BCD2: #cores=10, #unrelaxed=217, #relaxed=39, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=13 bias=13/14
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 | 157 0 | 19 | 2
0.00/0.07 c 0.0s | 0 | 15 | 0 | 157 0 | 19 | 2
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 = 15
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.07 c lower bound updated to 13
0.00/0.07 c BCD2: 13 <= obj <= 134
0.00/0.07 c BCD2: #cores=11, #unrelaxed=214, #relaxed=42, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=14 bias=14/15
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 | 157 0 | 19 | 3
0.00/0.07 c 0.0s | 0 | 26 | 0 | 157 0 | 19 | 3
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 = 26
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 13: cost of the new core is >=1
0.00/0.07 c lower bound updated to 14
0.00/0.07 c BCD2: 14 <= obj <= 134
0.00/0.07 c BCD2: #cores=12, #unrelaxed=201, #relaxed=55, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=15 bias=15/16
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 | 157 0 | 19 | 3
0.00/0.07 c 0.0s | 0 | 27 | 0 | 157 0 | 19 | 3
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 = 27
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 10: cost of the new core is >=1
0.00/0.07 c lower bound updated to 15
0.00/0.07 c BCD2: 15 <= obj <= 134
0.00/0.07 c BCD2: #cores=13, #unrelaxed=191, #relaxed=65, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=16 bias=16/17
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 | 157 0 | 19 | 3
0.00/0.08 c 0.0s | 0 | 38 | 1 | 157 0 | 19 | 3
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 38
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
0.00/0.08 c lower bound updated to 16
0.00/0.08 c BCD2: 16 <= obj <= 134
0.00/0.08 c BCD2: #cores=13, #unrelaxed=190, #relaxed=66, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 157 0 | 20 | 3
0.00/0.08 c 0.0s | 0 | 28 | 1 | 157 0 | 20 | 4
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 28
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2
0.00/0.08 c lower bound updated to 17
0.00/0.08 c BCD2: 17 <= obj <= 134
0.00/0.08 c BCD2: #cores=13, #unrelaxed=188, #relaxed=68, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 157 0 | 21 | 4
0.00/0.08 c 0.0s | 0 | 29 | 0 | 157 0 | 21 | 5
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 29
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.08 c lower bound updated to 18
0.00/0.08 c BCD2: 18 <= obj <= 134
0.00/0.08 c BCD2: #cores=14, #unrelaxed=180, #relaxed=76, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=19 bias=19/20
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 157 0 | 21 | 5
0.00/0.08 c 0.0s | 0 | 47 | 1 | 157 0 | 21 | 5
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 47
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=4
0.00/0.08 c lower bound updated to 19
0.00/0.08 c BCD2: 19 <= obj <= 134
0.00/0.08 c BCD2: #cores=14, #unrelaxed=179, #relaxed=77, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 157 0 | 22 | 5
0.00/0.08 c 0.0s | 0 | 30 | 1 | 157 0 | 22 | 6
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 30
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 15: cost of the new core is >=2
0.00/0.08 c lower bound updated to 20
0.00/0.08 c BCD2: 20 <= obj <= 134
0.00/0.08 c BCD2: #cores=14, #unrelaxed=172, #relaxed=84, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 157 0 | 23 | 6
0.00/0.08 c 0.0s | 0 | 34 | 0 | 157 0 | 23 | 7
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 34
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 12: cost of the new core is >=1
0.00/0.08 c lower bound updated to 21
0.00/0.08 c BCD2: 21 <= obj <= 134
0.00/0.08 c BCD2: #cores=15, #unrelaxed=160, #relaxed=96, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=22 bias=22/23
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 157 0 | 23 | 7
0.00/0.08 c 0.0s | 0 | 42 | 1 | 157 0 | 23 | 7
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 42
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=5
0.00/0.08 c lower bound updated to 22
0.00/0.08 c BCD2: 22 <= obj <= 134
0.00/0.08 c BCD2: #cores=15, #unrelaxed=159, #relaxed=97, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=23 bias=23/24
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 157 0 | 24 | 7
0.00/0.09 c 0.0s | 0 | 32 | 0 | 157 0 | 24 | 8
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 32
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.09 c lower bound updated to 23
0.00/0.09 c BCD2: 23 <= obj <= 134
0.00/0.09 c BCD2: #cores=16, #unrelaxed=153, #relaxed=103, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=24 bias=24/25
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 157 0 | 24 | 8
0.00/0.09 c 0.0s | 0 | 33 | 1 | 157 0 | 24 | 8
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 33
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.09 c lower bound updated to 24
0.00/0.09 c BCD2: 24 <= obj <= 134
0.00/0.09 c BCD2: #cores=16, #unrelaxed=148, #relaxed=108, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=25 bias=25/26
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 157 0 | 25 | 8
0.00/0.09 c 0.0s | 0 | 32 | 1 | 157 0 | 25 | 9
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 32
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 8 and merging with 1 cores into a new core of size 21: cost of the new core is >=2
0.00/0.09 c lower bound updated to 25
0.00/0.09 c BCD2: 25 <= obj <= 134
0.00/0.09 c BCD2: #cores=16, #unrelaxed=140, #relaxed=116, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=26 bias=26/27
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 157 0 | 26 | 9
0.00/0.09 c 0.0s | 0 | 29 | 0 | 157 0 | 26 | 10
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 29
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.09 c lower bound updated to 26
0.00/0.09 c BCD2: 26 <= obj <= 134
0.00/0.09 c BCD2: #cores=17, #unrelaxed=135, #relaxed=121, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=27 bias=27/28
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 157 0 | 26 | 10
0.00/0.09 c 0.0s | 0 | 30 | 1 | 157 0 | 26 | 10
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 30
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.00/0.09 c lower bound updated to 27
0.00/0.09 c BCD2: 27 <= obj <= 134
0.00/0.09 c BCD2: #cores=17, #unrelaxed=131, #relaxed=125, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=28 bias=28/29
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 157 0 | 27 | 10
0.00/0.09 c 0.0s | 0 | 30 | 1 | 157 0 | 27 | 11
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 30
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 13: cost of the new core is >=3
0.00/0.09 c lower bound updated to 28
0.00/0.09 c BCD2: 28 <= obj <= 134
0.00/0.09 c BCD2: #cores=17, #unrelaxed=127, #relaxed=129, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 157 0 | 28 | 11
0.00/0.10 c 0.0s | 0 | 40 | 0 | 157 0 | 28 | 12
0.00/0.10 c #cpu_time = 0.001s
0.00/0.10 c #wall_clock_time = 0.001s
0.00/0.10 c #decision = 40
0.00/0.10 c #random_decision = 0
0.00/0.10 c #conflict = 0
0.00/0.10 c #restart = 0
0.00/0.10 c BCD2: found a new core of size 12: cost of the new core is >=1
0.00/0.10 c lower bound updated to 29
0.08/0.10 c BCD2: 29 <= obj <= 134
0.08/0.10 c BCD2: #cores=18, #unrelaxed=115, #relaxed=141, #hardened=0
0.08/0.10 c BCD2: #sat=1 #unsat=30 bias=30/31
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 157 0 | 28 | 12
0.08/0.10 c 0.0s | 0 | 42 | 0 | 157 0 | 28 | 12
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 42
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 0
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: found a new core of size 9: cost of the new core is >=1
0.08/0.10 c lower bound updated to 30
0.08/0.10 c BCD2: 30 <= obj <= 134
0.08/0.10 c BCD2: #cores=19, #unrelaxed=106, #relaxed=150, #hardened=0
0.08/0.10 c BCD2: #sat=1 #unsat=31 bias=31/32
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 157 0 | 28 | 12
0.08/0.10 c 0.0s | 0 | 41 | 1 | 157 0 | 28 | 12
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 41
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 1
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: relaxing 16 and merging with 2 cores into a new core of size 22: cost of the new core is >=3
0.08/0.10 c lower bound updated to 31
0.08/0.10 c BCD2: 31 <= obj <= 134
0.08/0.10 c BCD2: #cores=18, #unrelaxed=90, #relaxed=166, #hardened=0
0.08/0.10 c BCD2: #sat=1 #unsat=32 bias=32/33
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 157 0 | 30 | 12
0.08/0.10 c 0.0s | 0 | 31 | 0 | 157 0 | 30 | 14
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 31
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 0
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: found a new core of size 7: cost of the new core is >=1
0.08/0.10 c lower bound updated to 32
0.08/0.10 c BCD2: 32 <= obj <= 134
0.08/0.10 c BCD2: #cores=19, #unrelaxed=83, #relaxed=173, #hardened=0
0.08/0.10 c BCD2: #sat=1 #unsat=33 bias=33/34
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 157 0 | 30 | 14
0.08/0.10 c 0.0s | 0 | 32 | 1 | 157 0 | 30 | 14
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 32
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 1
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.08/0.10 c lower bound updated to 33
0.08/0.10 c BCD2: 33 <= obj <= 134
0.08/0.10 c BCD2: #cores=19, #unrelaxed=77, #relaxed=179, #hardened=0
0.08/0.10 c BCD2: #sat=1 #unsat=34 bias=34/35
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 157 0 | 31 | 14
0.08/0.10 c 0.0s | 0 | 35 | 0 | 157 0 | 31 | 15
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 35
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 0
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: found a new core of size 7: cost of the new core is >=1
0.08/0.10 c lower bound updated to 34
0.08/0.10 c BCD2: 34 <= obj <= 134
0.08/0.10 c BCD2: #cores=20, #unrelaxed=70, #relaxed=186, #hardened=0
0.08/0.10 c BCD2: #sat=1 #unsat=35 bias=35/36
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 157 0 | 31 | 15
0.08/0.10 c 0.0s | 0 | 36 | 1 | 157 0 | 31 | 15
0.08/0.11 c #cpu_time = 0.001s
0.08/0.11 c #wall_clock_time = 0.001s
0.08/0.11 c #decision = 36
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 1
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.08/0.11 c lower bound updated to 35
0.08/0.11 c BCD2: 35 <= obj <= 134
0.08/0.11 c BCD2: #cores=20, #unrelaxed=64, #relaxed=192, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=36 bias=36/37
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 157 0 | 32 | 15
0.08/0.11 c 0.0s | 0 | 33 | 0 | 157 0 | 32 | 16
0.08/0.11 c #cpu_time = 0.001s
0.08/0.11 c #wall_clock_time = 0.001s
0.08/0.11 c #decision = 33
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 0
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: found a new core of size 1: cost of the new core is >=1
0.08/0.11 c lower bound updated to 36
0.08/0.11 c BCD2: 36 <= obj <= 134
0.08/0.11 c BCD2: #cores=21, #unrelaxed=63, #relaxed=193, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=37 bias=37/38
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 157 0 | 32 | 16
0.08/0.11 c 0.0s | 0 | 43 | 0 | 157 0 | 32 | 16
0.08/0.11 c #cpu_time = 0.001s
0.08/0.11 c #wall_clock_time = 0.001s
0.08/0.11 c #decision = 43
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 0
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: found a new core of size 10: cost of the new core is >=1
0.08/0.11 c lower bound updated to 37
0.08/0.11 c BCD2: 37 <= obj <= 134
0.08/0.11 c BCD2: #cores=22, #unrelaxed=53, #relaxed=203, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=38 bias=38/39
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 157 0 | 32 | 16
0.08/0.11 c 0.0s | 0 | 36 | 0 | 157 0 | 32 | 16
0.08/0.11 c #cpu_time = 0.001s
0.08/0.11 c #wall_clock_time = 0.001s
0.08/0.11 c #decision = 36
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 0
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: found a new core of size 4: cost of the new core is >=1
0.08/0.11 c lower bound updated to 38
0.08/0.11 c BCD2: 38 <= obj <= 134
0.08/0.11 c BCD2: #cores=23, #unrelaxed=49, #relaxed=207, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=39 bias=39/40
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 157 0 | 32 | 16
0.08/0.11 c 0.0s | 0 | 35 | 0 | 157 0 | 32 | 16
0.08/0.11 c #cpu_time = 0.001s
0.08/0.11 c #wall_clock_time = 0.001s
0.08/0.11 c #decision = 35
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 0
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: found a new core of size 2: cost of the new core is >=1
0.08/0.11 c lower bound updated to 39
0.08/0.11 c BCD2: 39 <= obj <= 134
0.08/0.11 c BCD2: #cores=24, #unrelaxed=47, #relaxed=209, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=40 bias=40/41
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 157 0 | 32 | 16
0.08/0.11 c 0.0s | 0 | 35 | 0 | 157 0 | 32 | 16
0.08/0.11 c #cpu_time = 0.001s
0.08/0.11 c #wall_clock_time = 0.001s
0.08/0.11 c #decision = 35
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 0
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: found a new core of size 1: cost of the new core is >=1
0.08/0.11 c lower bound updated to 40
0.08/0.11 c BCD2: 40 <= obj <= 134
0.08/0.11 c BCD2: #cores=25, #unrelaxed=46, #relaxed=210, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=41 bias=41/42
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 157 0 | 32 | 16
0.08/0.11 c 0.0s | 0 | 37 | 0 | 157 0 | 32 | 16
0.08/0.11 c #cpu_time = 0.001s
0.08/0.11 c #wall_clock_time = 0.001s
0.08/0.11 c #decision = 37
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 0
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: found a new core of size 1: cost of the new core is >=1
0.08/0.11 c lower bound updated to 41
0.08/0.11 c BCD2: 41 <= obj <= 134
0.08/0.11 c BCD2: #cores=26, #unrelaxed=45, #relaxed=211, #hardened=0
0.08/0.11 c BCD2: #sat=1 #unsat=42 bias=42/43
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 157 0 | 32 | 16
0.08/0.12 c 0.0s | 0 | 40 | 1 | 157 0 | 32 | 16
0.08/0.12 c #cpu_time = 0.001s
0.08/0.12 c #wall_clock_time = 0.001s
0.08/0.12 c #decision = 40
0.08/0.12 c #random_decision = 0
0.08/0.12 c #conflict = 1
0.08/0.12 c #restart = 0
0.08/0.12 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.08/0.12 c lower bound updated to 42
0.08/0.12 c BCD2: 42 <= obj <= 134
0.08/0.12 c BCD2: #cores=26, #unrelaxed=42, #relaxed=214, #hardened=0
0.08/0.12 c BCD2: #sat=1 #unsat=43 bias=43/44
0.08/0.12 c Solving starts ...
0.08/0.12 c ============================[ Search Statistics ]============================
0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.12 c | | | | Limit GC | Var | Constra
0.08/0.12 c =============================================================================
0.08/0.12 c 0.0s | 0 | 0 | 0 | 157 0 | 33 | 16
0.08/0.12 c 0.0s | 0 | 43 | 0 | 157 0 | 33 | 17
0.08/0.12 c #cpu_time = 0.001s
0.08/0.12 c #wall_clock_time = 0.001s
0.08/0.12 c #decision = 43
0.08/0.12 c #random_decision = 0
0.08/0.12 c #conflict = 0
0.08/0.12 c #restart = 0
0.08/0.12 c BCD2: found a new core of size 9: cost of the new core is >=1
0.08/0.12 c lower bound updated to 43
0.08/0.12 c BCD2: 43 <= obj <= 134
0.08/0.12 c BCD2: #cores=27, #unrelaxed=33, #relaxed=223, #hardened=0
0.08/0.12 c BCD2: #sat=1 #unsat=44 bias=44/45
0.08/0.12 c Solving starts ...
0.08/0.12 c ============================[ Search Statistics ]============================
0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.12 c | | | | Limit GC | Var | Constra
0.08/0.12 c =============================================================================
0.08/0.12 c 0.0s | 0 | 0 | 0 | 157 0 | 33 | 17
0.08/0.12 c 0.0s | 0 | 54 | 1 | 157 0 | 33 | 17
0.08/0.12 c #cpu_time = 0.001s
0.08/0.12 c #wall_clock_time = 0.001s
0.08/0.12 c #decision = 54
0.08/0.12 c #random_decision = 0
0.08/0.12 c #conflict = 1
0.08/0.12 c #restart = 0
0.08/0.12 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.08/0.12 c lower bound updated to 44
0.08/0.12 c BCD2: 44 <= obj <= 134
0.08/0.12 c BCD2: #cores=27, #unrelaxed=32, #relaxed=224, #hardened=0
0.08/0.12 c BCD2: #sat=1 #unsat=45 bias=45/46
0.08/0.12 c Solving starts ...
0.08/0.12 c ============================[ Search Statistics ]============================
0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.12 c | | | | Limit GC | Var | Constra
0.08/0.12 c =============================================================================
0.08/0.12 c 0.0s | 0 | 0 | 0 | 157 0 | 34 | 17
0.08/0.12 c 0.0s | 0 | 38 | 0 | 157 0 | 34 | 18
0.08/0.12 c #cpu_time = 0.001s
0.08/0.12 c #wall_clock_time = 0.001s
0.08/0.12 c #decision = 38
0.08/0.12 c #random_decision = 0
0.08/0.12 c #conflict = 0
0.08/0.12 c #restart = 0
0.08/0.12 c BCD2: found a new core of size 1: cost of the new core is >=1
0.08/0.12 c lower bound updated to 45
0.08/0.12 c BCD2: 45 <= obj <= 134
0.08/0.12 c BCD2: #cores=28, #unrelaxed=31, #relaxed=225, #hardened=0
0.08/0.12 c BCD2: #sat=1 #unsat=46 bias=46/47
0.08/0.12 c Solving starts ...
0.08/0.12 c ============================[ Search Statistics ]============================
0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.12 c | | | | Limit GC | Var | Constra
0.08/0.12 c =============================================================================
0.08/0.12 c 0.0s | 0 | 0 | 0 | 157 0 | 34 | 18
0.08/0.12 c 0.0s | 0 | 39 | 0 | 157 0 | 34 | 18
0.08/0.12 c #cpu_time = 0.001s
0.08/0.12 c #wall_clock_time = 0.001s
0.08/0.12 c #decision = 39
0.08/0.12 c #random_decision = 0
0.08/0.12 c #conflict = 0
0.08/0.12 c #restart = 0
0.08/0.12 c BCD2: found a new core of size 1: cost of the new core is >=1
0.08/0.12 c lower bound updated to 46
0.08/0.12 c BCD2: 46 <= obj <= 134
0.08/0.12 c BCD2: #cores=29, #unrelaxed=30, #relaxed=226, #hardened=0
0.08/0.12 c BCD2: #sat=1 #unsat=47 bias=47/48
0.08/0.12 c Solving starts ...
0.08/0.12 c ============================[ Search Statistics ]============================
0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.12 c | | | | Limit GC | Var | Constra
0.08/0.12 c =============================================================================
0.08/0.12 c 0.0s | 0 | 0 | 0 | 157 0 | 34 | 18
0.08/0.12 c 0.0s | 0 | 40 | 0 | 157 0 | 34 | 18
0.08/0.12 c #cpu_time = 0.001s
0.08/0.12 c #wall_clock_time = 0.001s
0.08/0.12 c #decision = 40
0.08/0.12 c #random_decision = 0
0.08/0.12 c #conflict = 0
0.08/0.12 c #restart = 0
0.08/0.12 c BCD2: found a new core of size 1: cost of the new core is >=1
0.08/0.12 c lower bound updated to 47
0.08/0.12 c BCD2: 47 <= obj <= 134
0.08/0.12 c BCD2: #cores=30, #unrelaxed=29, #relaxed=227, #hardened=0
0.08/0.12 c BCD2: #sat=1 #unsat=48 bias=48/49
0.08/0.12 c Solving starts ...
0.08/0.12 c ============================[ Search Statistics ]============================
0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.12 c | | | | Limit GC | Var | Constra
0.08/0.12 c =============================================================================
0.08/0.12 c 0.0s | 0 | 0 | 0 | 157 0 | 34 | 18
0.08/0.12 c 0.0s | 0 | 42 | 0 | 157 0 | 34 | 18
0.08/0.12 c #cpu_time = 0.001s
0.08/0.12 c #wall_clock_time = 0.001s
0.08/0.12 c #decision = 42
0.08/0.12 c #random_decision = 0
0.08/0.12 c #conflict = 0
0.08/0.12 c #restart = 0
0.08/0.12 c BCD2: found a new core of size 1: cost of the new core is >=1
0.08/0.12 c lower bound updated to 48
0.08/0.12 c BCD2: 48 <= obj <= 134
0.08/0.13 c BCD2: #cores=31, #unrelaxed=28, #relaxed=228, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=49 bias=49/50
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 157 0 | 34 | 18
0.08/0.13 c 0.0s | 0 | 45 | 1 | 157 0 | 34 | 18
0.08/0.13 c #cpu_time = 0.001s
0.08/0.13 c #wall_clock_time = 0.001s
0.08/0.13 c #decision = 45
0.08/0.13 c #random_decision = 0
0.08/0.13 c #conflict = 1
0.08/0.13 c #restart = 0
0.08/0.13 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 17: cost of the new core is >=3
0.08/0.13 c lower bound updated to 49
0.08/0.13 c BCD2: 49 <= obj <= 134
0.08/0.13 c BCD2: #cores=31, #unrelaxed=24, #relaxed=232, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=50 bias=50/51
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 157 0 | 35 | 18
0.08/0.13 c 0.0s | 0 | 43 | 0 | 157 0 | 35 | 19
0.08/0.13 c #cpu_time = 0.001s
0.08/0.13 c #wall_clock_time = 0.001s
0.08/0.13 c #decision = 43
0.08/0.13 c #random_decision = 0
0.08/0.13 c #conflict = 0
0.08/0.13 c #restart = 0
0.08/0.13 c BCD2: found a new core of size 5: cost of the new core is >=1
0.08/0.13 c lower bound updated to 50
0.08/0.13 c BCD2: 50 <= obj <= 134
0.08/0.13 c BCD2: #cores=32, #unrelaxed=19, #relaxed=237, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=51 bias=51/52
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 157 0 | 35 | 19
0.08/0.13 c 0.0s | 0 | 44 | 1 | 157 0 | 35 | 19
0.08/0.13 c #cpu_time = 0.001s
0.08/0.13 c #wall_clock_time = 0.001s
0.08/0.13 c #decision = 44
0.08/0.13 c #random_decision = 0
0.08/0.13 c #conflict = 1
0.08/0.13 c #restart = 0
0.08/0.13 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.08/0.13 c lower bound updated to 51
0.08/0.13 c BCD2: 51 <= obj <= 134
0.08/0.13 c BCD2: #cores=32, #unrelaxed=15, #relaxed=241, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=52 bias=52/53
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 157 0 | 36 | 19
0.08/0.13 c 0.0s | 0 | 55 | 1 | 157 0 | 36 | 20
0.08/0.13 c #cpu_time = 0.001s
0.08/0.13 c #wall_clock_time = 0.001s
0.08/0.13 c #decision = 55
0.08/0.13 c #random_decision = 0
0.08/0.13 c #conflict = 1
0.08/0.13 c #restart = 0
0.08/0.13 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
0.08/0.13 c lower bound updated to 52
0.08/0.13 c BCD2: 52 <= obj <= 134
0.08/0.13 c BCD2: #cores=32, #unrelaxed=14, #relaxed=242, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=53 bias=53/54
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 157 0 | 37 | 21
0.08/0.13 c 0.0s | 0 | 40 | 0 | 157 0 | 37 | 22
0.08/0.13 c #cpu_time = 0.001s
0.08/0.13 c #wall_clock_time = 0.001s
0.08/0.13 c #decision = 40
0.08/0.13 c #random_decision = 0
0.08/0.13 c #conflict = 0
0.08/0.13 c #restart = 0
0.08/0.13 c BCD2: found a new core of size 1: cost of the new core is >=1
0.08/0.13 c lower bound updated to 53
0.08/0.13 c BCD2: 53 <= obj <= 134
0.08/0.13 c BCD2: #cores=33, #unrelaxed=13, #relaxed=243, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=54 bias=54/55
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 157 0 | 37 | 22
0.08/0.13 c 0.0s | 0 | 41 | 0 | 157 0 | 37 | 22
0.08/0.13 c #cpu_time = 0.001s
0.08/0.13 c #wall_clock_time = 0.001s
0.08/0.13 c #decision = 41
0.08/0.13 c #random_decision = 0
0.08/0.13 c #conflict = 0
0.08/0.13 c #restart = 0
0.08/0.13 c BCD2: found a new core of size 1: cost of the new core is >=1
0.08/0.13 c lower bound updated to 54
0.08/0.13 c BCD2: 54 <= obj <= 134
0.08/0.13 c BCD2: #cores=34, #unrelaxed=12, #relaxed=244, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=55 bias=55/56
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 157 0 | 37 | 22
0.08/0.14 c 0.0s | 0 | 42 | 0 | 157 0 | 37 | 22
0.08/0.14 c #cpu_time = 0.001s
0.08/0.14 c #wall_clock_time = 0.001s
0.08/0.14 c #decision = 42
0.08/0.14 c #random_decision = 0
0.08/0.14 c #conflict = 0
0.08/0.14 c #restart = 0
0.08/0.14 c BCD2: found a new core of size 1: cost of the new core is >=1
0.08/0.14 c lower bound updated to 55
0.08/0.14 c BCD2: 55 <= obj <= 134
0.08/0.14 c BCD2: #cores=35, #unrelaxed=11, #relaxed=245, #hardened=0
0.08/0.14 c BCD2: #sat=1 #unsat=56 bias=56/57
0.08/0.14 c Solving starts ...
0.08/0.14 c ============================[ Search Statistics ]============================
0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.14 c | | | | Limit GC | Var | Constra
0.08/0.14 c =============================================================================
0.08/0.14 c 0.0s | 0 | 0 | 0 | 157 0 | 37 | 22
0.08/0.14 c 0.0s | 0 | 245 | 26 | 157 0 | 38 | 23
0.08/0.14 c #cpu_time = 0.005s
0.08/0.14 c #wall_clock_time = 0.005s
0.08/0.14 c #decision = 245
0.08/0.14 c #random_decision = 0
0.08/0.14 c #conflict = 26
0.08/0.14 c #restart = 0
0.08/0.14 c BCD2: updating lower bound of a core
0.08/0.14 c lower bound updated to 56
0.08/0.14 c BCD2: 56 <= obj <= 134
0.08/0.14 c BCD2: #cores=35, #unrelaxed=11, #relaxed=245, #hardened=0
0.08/0.14 c BCD2: #sat=1 #unsat=57 bias=57/58
0.08/0.14 c Solving starts ...
0.08/0.14 c ============================[ Search Statistics ]============================
0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.14 c | | | | Limit GC | Var | Constra
0.08/0.14 c =============================================================================
0.08/0.14 c 0.0s | 0 | 0 | 0 | 157 0 | 38 | 24
0.08/0.16 c 0.0s | 1 | 180 | 100 | 173 0 | 38 | 24
0.08/0.18 c 0.0s | 2 | 404 | 250 | 173 1 | 38 | 24
0.19/0.22 c 0.1s | 3 | 728 | 475 | 191 2 | 38 | 24
0.19/0.28 c 0.1s | 4 | 1172 | 813 | 211 4 | 38 | 24
0.29/0.36 c 0.2s | 5 | 1829 | 1320 | 233 8 | 38 | 24
0.39/0.43 c 0.3s | 5 | 2277 | 1682 | 233 10 | 38 | 24
0.39/0.43 c #cpu_time = 0.287s
0.39/0.43 c #wall_clock_time = 0.287s
0.39/0.43 c #decision = 2277
0.39/0.43 c #random_decision = 4
0.39/0.43 c #conflict = 1682
0.39/0.43 c #restart = 5
0.39/0.43 c BCD2: relaxing 7 and merging with 14 cores into a new core of size 172: cost of the new core is >=27
0.39/0.43 c lower bound updated to 57
0.39/0.43 c BCD2: 57 <= obj <= 134
0.39/0.43 c BCD2: #cores=22, #unrelaxed=4, #relaxed=252, #hardened=0
0.39/0.43 c BCD2: #sat=1 #unsat=58 bias=58/59
0.39/0.43 c Solving starts ...
0.39/0.43 c ============================[ Search Statistics ]============================
0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.43 c | | | | Limit GC | Var | Constra
0.39/0.43 c =============================================================================
0.39/0.43 c 0.0s | 0 | 0 | 0 | 233 0 | 52 | 24
0.39/0.45 c 0.0s | 1 | 181 | 100 | 233 0 | 52 | 38
0.39/0.49 c 0.1s | 2 | 424 | 250 | 257 0 | 52 | 38
0.49/0.53 c 0.1s | 3 | 760 | 475 | 257 1 | 52 | 38
0.58/0.61 c 0.2s | 4 | 1232 | 813 | 257 3 | 52 | 38
0.68/0.72 c 0.3s | 5 | 1936 | 1320 | 283 5 | 52 | 38
0.68/0.79 c 0.4s | 5 | 2661 | 1737 | 283 8 | 53 | 39
0.68/0.79 c #cpu_time = 0.360s
0.68/0.79 c #wall_clock_time = 0.361s
0.68/0.79 c #decision = 2661
0.68/0.79 c #random_decision = 3
0.68/0.79 c #conflict = 1737
0.68/0.79 c #restart = 5
0.68/0.79 c BCD2: updating lower bound of a core
0.68/0.79 c lower bound updated to 60
0.68/0.79 c BCD2: 60 <= obj <= 134
0.68/0.79 c BCD2: #cores=22, #unrelaxed=4, #relaxed=252, #hardened=0
0.68/0.79 c BCD2: #sat=1 #unsat=59 bias=59/60
0.68/0.79 c Solving starts ...
0.68/0.79 c ============================[ Search Statistics ]============================
0.68/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.68/0.79 c | | | | Limit GC | Var | Constra
0.68/0.79 c =============================================================================
0.68/0.79 c 0.0s | 0 | 0 | 0 | 283 0 | 53 | 40
0.79/0.81 c 0.0s | 1 | 168 | 100 | 283 0 | 53 | 40
0.79/0.85 c 0.1s | 2 | 383 | 250 | 283 0 | 53 | 40
0.88/0.90 c 0.1s | 3 | 715 | 475 | 283 1 | 53 | 40
0.88/0.97 c 0.2s | 4 | 1212 | 813 | 283 3 | 53 | 40
0.99/1.07 c 0.3s | 5 | 1877 | 1320 | 312 6 | 53 | 40
1.19/1.23 c 0.4s | 6 | 2826 | 2081 | 312 9 | 53 | 40
1.39/1.41 c 0.6s | 7 | 4389 | 3223 | 312 14 | 53 | 40
1.59/1.69 c 0.9s | 8 | 6444 | 4936 | 344 21 | 53 | 40
2.09/2.16 c 1.4s | 9 | 9655 | 7506 | 344 32 | 53 | 40
2.79/2.87 c 2.1s | 10 | 14282 | 11361 | 379 47 | 53 | 40
3.79/3.87 c 3.1s | 11 | 21184 | 17144 | 417 68 | 53 | 40
5.29/5.34 c 4.5s | 12 | 31525 | 25819 | 459 98 | 53 | 40
7.29/7.35 c 6.6s | 12 | 43937 | 36219 | 505 132 | 53 | 40
7.79/7.83 c 7.0s | 13 | 47090 | 38832 | 505 141 | 53 | 40
9.78/9.85 c 9.1s | 13 | 58822 | 48732 | 505 171 | 53 | 40
11.78/11.84 c 11.0s | 14 | 70145 | 58352 | 556 200 | 53 | 40
13.78/13.84 c 13.0s | 14 | 82521 | 68652 | 556 229 | 53 | 40
15.78/15.86 c 15.1s | 14 | 94450 | 78852 | 556 258 | 53 | 40
17.59/17.62 c 16.8s | 15 | 104578 | 87632 | 612 282 | 53 | 40
19.58/19.63 c 18.8s | 15 | 117444 | 98532 | 612 311 | 53 | 40
21.58/21.64 c 20.8s | 15 | 129442 | 108732 | 612 339 | 53 | 40
23.58/23.66 c 22.9s | 15 | 141086 | 118932 | 612 367 | 53 | 40
25.58/25.67 c 24.9s | 15 | 152891 | 129132 | 674 394 | 53 | 40
26.09/26.14 c 25.3s | 16 | 155705 | 131552 | 674 400 | 53 | 40
28.09/28.16 c 27.4s | 16 | 168951 | 141852 | 674 426 | 53 | 40
30.09/30.16 c 29.4s | 16 | 181175 | 151852 | 674 450 | 53 | 40
32.09/32.18 c 31.4s | 16 | 193146 | 161652 | 674 475 | 53 | 40
34.09/34.19 c 33.4s | 16 | 204822 | 170852 | 674 497 | 53 | 40
36.09/36.19 c 35.4s | 16 | 216555 | 179952 | 674 520 | 53 | 40
38.19/38.21 c 37.4s | 16 | 228035 | 189052 | 674 542 | 53 | 40
40.08/40.12 c 39.3s | 17 | 238525 | 197432 | 742 562 | 53 | 40
42.08/42.14 c 41.3s | 17 | 250702 | 207732 | 742 586 | 53 | 40
44.09/44.15 c 43.4s | 17 | 262365 | 217932 | 742 610 | 53 | 40
46.08/46.17 c 45.4s | 17 | 273537 | 227832 | 742 633 | 53 | 40
48.08/48.18 c 47.4s | 17 | 285186 | 237632 | 742 655 | 53 | 40
50.08/50.18 c 49.4s | 17 | 298648 | 248932 | 742 681 | 53 | 40
52.08/52.19 c 51.4s | 17 | 310725 | 259032 | 742 705 | 53 | 40
54.18/54.20 c 53.4s | 17 | 322313 | 268832 | 742 727 | 53 | 40
56.19/56.21 c 55.4s | 17 | 334135 | 278932 | 742 750 | 53 | 40
58.18/58.23 c 57.4s | 17 | 346016 | 288732 | 742 773 | 53 | 40
59.68/59.77 c 59.0s | 18 | 354635 | 296252 | 817 789 | 53 | 40
61.68/61.78 c 61.0s | 18 | 365457 | 305652 | 817 809 | 53 | 40
63.68/63.78 c 63.0s | 18 | 376132 | 314852 | 817 828 | 53 | 40
65.68/65.78 c 65.0s | 18 | 386912 | 324052 | 817 847 | 53 | 40
67.68/67.78 c 67.0s | 18 | 397433 | 333252 | 817 867 | 53 | 40
69.68/69.79 c 69.0s | 18 | 407411 | 341952 | 817 885 | 53 | 40
71.78/71.80 c 71.0s | 18 | 417826 | 351052 | 817 905 | 53 | 40
73.78/73.81 c 73.0s | 18 | 428602 | 360352 | 817 924 | 53 | 40
75.77/75.81 c 75.0s | 18 | 439251 | 369352 | 817 943 | 53 | 40
77.77/77.81 c 77.0s | 18 | 449581 | 378252 | 817 961 | 53 | 40
79.77/79.82 c 79.0s | 18 | 461222 | 388152 | 817 982 | 53 | 40
81.77/81.82 c 81.0s | 18 | 472238 | 397552 | 817 1002 | 53 | 40
83.77/83.84 c 83.0s | 18 | 483510 | 407352 | 817 1023 | 53 | 40
85.78/85.85 c 85.1s | 18 | 494792 | 417052 | 817 1043 | 53 | 40
87.77/87.86 c 87.1s | 18 | 505174 | 426052 | 817 1062 | 53 | 40
89.77/89.86 c 89.1s | 18 | 515217 | 434752 | 817 1080 | 53 | 40
91.77/91.88 c 91.1s | 18 | 525151 | 443352 | 899 1097 | 53 | 40
92.07/92.17 c 91.4s | 19 | 526446 | 444482 | 899 1099 | 53 | 40
94.07/94.17 c 93.4s | 19 | 537604 | 454082 | 899 1118 | 53 | 40
96.07/96.18 c 95.4s | 19 | 548570 | 463382 | 899 1136 | 53 | 40
98.07/98.18 c 97.4s | 19 | 559796 | 472682 | 899 1154 | 53 | 40
100.07/100.19 c 99.4s | 19 | 570393 | 481682 | 899 1171 | 53 | 40
102.17/102.20 c 101s | 19 | 580836 | 490482 | 899 1188 | 53 | 40
104.18/104.22 c 103s | 19 | 592139 | 499682 | 899 1205 | 53 | 40
106.18/106.25 c 105s | 19 | 602134 | 508182 | 899 1222 | 53 | 40
108.17/108.25 c 107s | 19 | 613806 | 517582 | 899 1240 | 53 | 40
110.17/110.27 c 109s | 19 | 625480 | 527382 | 899 1259 | 53 | 40
112.18/112.28 c 111s | 19 | 636365 | 536482 | 899 1276 | 53 | 40
114.17/114.28 c 113s | 19 | 647082 | 545482 | 899 1293 | 53 | 40
116.27/116.30 c 115s | 19 | 657210 | 554182 | 899 1310 | 53 | 40
118.27/118.32 c 117s | 19 | 667547 | 562982 | 899 1327 | 53 | 40
120.27/120.34 c 119s | 19 | 678094 | 571782 | 899 1343 | 53 | 40
122.27/122.34 c 121s | 19 | 688272 | 580482 | 899 1360 | 53 | 40
124.28/124.37 c 123s | 19 | 699032 | 589582 | 899 1378 | 53 | 40
126.27/126.38 c 125s | 19 | 708906 | 598182 | 899 1394 | 53 | 40
128.27/128.39 c 127s | 19 | 719017 | 606882 | 899 1411 | 53 | 40
130.37/130.41 c 129s | 19 | 728731 | 615282 | 899 1427 | 53 | 40
132.37/132.43 c 131s | 19 | 738363 | 623582 | 899 1442 | 53 | 40
134.37/134.45 c 133s | 19 | 748163 | 632082 | 899 1459 | 53 | 40
136.37/136.46 c 135s | 19 | 758180 | 640782 | 899 1475 | 53 | 40
138.37/138.48 c 137s | 19 | 768239 | 649482 | 899 1492 | 53 | 40
140.46/140.50 c 139s | 19 | 779115 | 658682 | 989 1509 | 53 | 40
142.36/142.43 c 141s | 20 | 788548 | 666827 | 989 1524 | 53 | 40
144.36/144.43 c 143s | 20 | 799189 | 676027 | 989 1540 | 53 | 40
146.37/146.45 c 145s | 20 | 809399 | 684927 | 989 1556 | 53 | 40
148.36/148.46 c 147s | 20 | 819579 | 693827 | 989 1572 | 53 | 40
150.36/150.47 c 149s | 20 | 830215 | 702927 | 989 1588 | 53 | 40
152.36/152.48 c 151s | 20 | 841050 | 712427 | 989 1605 | 53 | 40
154.46/154.50 c 153s | 20 | 851909 | 721827 | 989 1622 | 53 | 40
156.46/156.52 c 155s | 20 | 862474 | 730827 | 989 1638 | 53 | 40
158.47/158.52 c 157s | 20 | 871863 | 739127 | 989 1653 | 53 | 40
160.47/160.53 c 159s | 20 | 882318 | 748127 | 989 1669 | 53 | 40
162.47/162.55 c 161s | 20 | 892566 | 757027 | 989 1685 | 53 | 40
164.47/164.56 c 163s | 20 | 902348 | 765627 | 989 1701 | 53 | 40
166.47/166.56 c 165s | 20 | 911431 | 773727 | 989 1715 | 53 | 40
168.47/168.57 c 167s | 20 | 920605 | 781927 | 989 1730 | 53 | 40
170.47/170.59 c 169s | 20 | 930462 | 790527 | 989 1745 | 53 | 40
172.57/172.60 c 171s | 20 | 940506 | 799327 | 989 1761 | 53 | 40
174.57/174.60 c 173s | 20 | 950521 | 808027 | 989 1776 | 53 | 40
176.56/176.62 c 175s | 20 | 959538 | 816027 | 989 1791 | 53 | 40
178.56/178.65 c 177s | 20 | 968298 | 823727 | 989 1805 | 53 | 40
180.56/180.65 c 179s | 20 | 978179 | 832027 | 989 1819 | 53 | 40
182.57/182.68 c 181s | 20 | 987248 | 839727 | 989 1833 | 53 | 40
184.56/184.69 c 183s | 20 | 996060 | 847327 | 989 1846 | 53 | 40
186.66/186.71 c 185s | 20 | 1005390 | 855427 | 989 1860 | 53 | 40
188.66/188.73 c 187s | 20 | 1014332 | 863227 | 989 1874 | 53 | 40
190.66/190.74 c 189s | 20 | 1023235 | 871027 | 989 1888 | 53 | 40
192.65/192.75 c 191s | 20 | 1032039 | 878827 | 989 1901 | 53 | 40
194.66/194.77 c 193s | 20 | 1040838 | 886427 | 989 1914 | 53 | 40
196.75/196.80 c 196s | 20 | 1049339 | 893827 | 989 1927 | 53 | 40
198.75/198.81 c 198s | 20 | 1058234 | 901627 | 989 1941 | 53 | 40
200.75/200.82 c 200s | 20 | 1067043 | 909227 | 989 1954 | 53 | 40
202.75/202.83 c 202s | 20 | 1075505 | 916627 | 989 1967 | 53 | 40
204.75/204.84 c 204s | 20 | 1084317 | 924327 | 989 1981 | 53 | 40
206.76/206.85 c 206s | 20 | 1094216 | 932627 | 989 1995 | 53 | 40
208.76/208.86 c 208s | 20 | 1103868 | 940827 | 989 2010 | 53 | 40
210.76/210.87 c 210s | 20 | 1113674 | 949027 | 989 2024 | 53 | 40
212.76/212.88 c 212s | 20 | 1123337 | 957127 | 989 2039 | 53 | 40
214.76/214.89 c 214s | 20 | 1133126 | 965427 | 989 2053 | 53 | 40
216.76/216.89 c 216s | 20 | 1142418 | 973327 | 989 2067 | 53 | 40
218.76/218.90 c 218s | 20 | 1151545 | 981227 | 989 2081 | 53 | 40
220.86/220.91 c 220s | 20 | 1159739 | 988327 | 989 2093 | 53 | 40
222.86/222.92 c 222s | 20 | 1168401 | 995727 | 1088 2105 | 53 | 40
224.05/224.16 c 223s | 21 | 1173789 | 1000345 | 1088 2112 | 53 | 40
226.05/226.18 c 225s | 21 | 1184589 | 1009245 | 1088 2127 | 53 | 40
228.05/228.19 c 227s | 21 | 1194850 | 1017745 | 1088 2141 | 53 | 40
230.15/230.20 c 229s | 21 | 1204905 | 1026145 | 1088 2155 | 53 | 40
232.16/232.21 c 231s | 21 | 1214543 | 1034245 | 1088 2168 | 53 | 40
234.15/234.23 c 233s | 21 | 1224549 | 1042545 | 1088 2181 | 53 | 40
236.15/236.23 c 235s | 21 | 1234250 | 1050645 | 1088 2195 | 53 | 40
238.15/238.24 c 237s | 21 | 1243155 | 1058145 | 1088 2207 | 53 | 40
240.15/240.25 c 239s | 21 | 1252113 | 1065845 | 1088 2219 | 53 | 40
242.15/242.26 c 241s | 21 | 1260494 | 1073045 | 1088 2231 | 53 | 40
244.15/244.29 c 243s | 21 | 1269736 | 1080845 | 1088 2244 | 53 | 40
246.15/246.29 c 245s | 21 | 1278540 | 1088245 | 1088 2255 | 53 | 40
248.25/248.30 c 247s | 21 | 1287407 | 1095845 | 1088 2268 | 53 | 40
250.25/250.31 c 249s | 21 | 1296328 | 1103445 | 1088 2280 | 53 | 40
252.25/252.32 c 251s | 21 | 1306150 | 1111645 | 1088 2294 | 53 | 40
254.25/254.32 c 253s | 21 | 1316499 | 1120245 | 1088 2308 | 53 | 40
256.25/256.35 c 255s | 21 | 1325911 | 1128045 | 1088 2320 | 53 | 40
258.24/258.35 c 257s | 21 | 1335642 | 1136045 | 1088 2333 | 53 | 40
260.25/260.36 c 259s | 21 | 1345098 | 1144145 | 1088 2347 | 53 | 40
262.25/262.37 c 261s | 21 | 1354896 | 1152445 | 1088 2360 | 53 | 40
264.35/264.40 c 263s | 21 | 1364109 | 1160145 | 1088 2373 | 53 | 40
266.35/266.40 c 265s | 21 | 1373389 | 1167945 | 1088 2386 | 53 | 40
268.36/268.41 c 267s | 21 | 1382576 | 1175745 | 1088 2398 | 53 | 40
270.35/270.43 c 269s | 21 | 1391831 | 1183645 | 1088 2411 | 53 | 40
272.35/272.44 c 271s | 21 | 1400775 | 1191345 | 1088 2423 | 53 | 40
274.35/274.46 c 273s | 21 | 1409558 | 1198945 | 1088 2436 | 53 | 40
276.35/276.46 c 275s | 21 | 1418434 | 1206445 | 1088 2448 | 53 | 40
278.35/278.48 c 277s | 21 | 1427983 | 1214545 | 1088 2461 | 53 | 40
280.45/280.50 c 279s | 21 | 1437646 | 1222745 | 1088 2475 | 53 | 40
282.45/282.51 c 281s | 21 | 1447365 | 1230945 | 1088 2488 | 53 | 40
284.44/284.52 c 283s | 21 | 1456641 | 1238745 | 1088 2501 | 53 | 40
286.44/286.53 c 285s | 21 | 1465778 | 1246545 | 1088 2513 | 53 | 40
288.44/288.56 c 287s | 21 | 1475190 | 1254345 | 1088 2526 | 53 | 40
290.45/290.56 c 289s | 21 | 1485334 | 1262445 | 1088 2539 | 53 | 40
292.44/292.58 c 291s | 21 | 1494920 | 1270445 | 1088 2552 | 53 | 40
294.54/294.60 c 293s | 21 | 1504002 | 1278145 | 1088 2564 | 53 | 40
296.54/296.61 c 295s | 21 | 1513154 | 1285745 | 1088 2577 | 53 | 40
298.54/298.62 c 297s | 21 | 1522063 | 1293445 | 1088 2589 | 53 | 40
300.54/300.63 c 299s | 21 | 1531011 | 1301045 | 1088 2602 | 53 | 40
302.55/302.66 c 301s | 21 | 1539798 | 1308745 | 1088 2614 | 53 | 40
304.54/304.68 c 303s | 21 | 1548357 | 1316145 | 1088 2626 | 53 | 40
306.54/306.69 c 305s | 21 | 1557411 | 1323745 | 1088 2639 | 53 | 40
308.64/308.70 c 307s | 21 | 1565873 | 1331045 | 1088 2650 | 53 | 40
310.64/310.72 c 309s | 21 | 1574848 | 1338845 | 1088 2663 | 53 | 40
312.64/312.74 c 311s | 21 | 1584081 | 1346645 | 1088 2676 | 53 | 40
314.64/314.75 c 313s | 21 | 1593553 | 1354645 | 1088 2689 | 53 | 40
316.64/316.76 c 315s | 21 | 1602597 | 1362445 | 1088 2701 | 53 | 40
318.64/318.77 c 317s | 21 | 1611640 | 1370245 | 1088 2714 | 53 | 40
320.64/320.77 c 319s | 21 | 1621007 | 1378245 | 1088 2727 | 53 | 40
322.64/322.77 c 321s | 21 | 1629914 | 1386045 | 1088 2740 | 53 | 40
324.63/324.77 c 323s | 21 | 1639874 | 1394245 | 1088 2753 | 53 | 40
326.64/326.78 c 325s | 21 | 1649555 | 1402245 | 1088 2766 | 53 | 40
328.63/328.79 c 327s | 21 | 1658750 | 1410045 | 1088 2779 | 53 | 40
330.73/330.80 c 330s | 21 | 1667768 | 1417745 | 1088 2792 | 53 | 40
332.73/332.81 c 332s | 21 | 1677379 | 1425745 | 1088 2805 | 53 | 40
334.73/334.82 c 334s | 21 | 1686899 | 1433845 | 1088 2818 | 53 | 40
336.73/336.83 c 336s | 21 | 1696465 | 1441845 | 1088 2831 | 53 | 40
338.74/338.83 c 338s | 21 | 1705375 | 1449145 | 1088 2843 | 53 | 40
340.73/340.84 c 340s | 21 | 1714101 | 1456545 | 1088 2855 | 53 | 40
342.73/342.85 c 342s | 21 | 1723322 | 1464345 | 1088 2868 | 53 | 40
344.73/344.85 c 344s | 21 | 1732417 | 1472045 | 1088 2881 | 53 | 40
346.73/346.87 c 346s | 21 | 1742063 | 1479745 | 1088 2894 | 53 | 40
348.74/348.87 c 348s | 21 | 1752374 | 1488245 | 1197 2907 | 53 | 40
350.73/350.89 c 350s | 21 | 1761639 | 1496045 | 1197 2919 | 53 | 40
352.04/352.12 c 351s | 22 | 1766956 | 1500622 | 1197 2926 | 53 | 40
354.04/354.12 c 353s | 22 | 1776235 | 1508622 | 1197 2938 | 53 | 40
356.04/356.13 c 355s | 22 | 1785116 | 1516422 | 1197 2949 | 53 | 40
358.04/358.13 c 357s | 22 | 1794129 | 1524122 | 1197 2961 | 53 | 40
360.04/360.14 c 359s | 22 | 1803168 | 1531822 | 1197 2972 | 53 | 40
362.04/362.14 c 361s | 22 | 1812041 | 1539722 | 1197 2984 | 53 | 40
364.04/364.14 c 363s | 22 | 1820982 | 1547422 | 1197 2995 | 53 | 40
366.04/366.15 c 365s | 22 | 1829810 | 1555222 | 1197 3007 | 53 | 40
368.04/368.17 c 367s | 22 | 1838674 | 1563022 | 1197 3019 | 53 | 40
370.03/370.19 c 369s | 22 | 1847288 | 1570522 | 1197 3030 | 53 | 40
372.13/372.20 c 371s | 22 | 1856031 | 1577922 | 1197 3041 | 53 | 40
374.13/374.21 c 373s | 22 | 1864487 | 1585222 | 1197 3052 | 53 | 40
376.14/376.24 c 375s | 22 | 1873462 | 1592922 | 1197 3063 | 53 | 40
378.13/378.24 c 377s | 22 | 1882387 | 1600522 | 1197 3074 | 53 | 40
380.13/380.27 c 379s | 22 | 1891393 | 1608222 | 1197 3086 | 53 | 40
382.13/382.28 c 381s | 22 | 1900565 | 1616222 | 1197 3098 | 53 | 40
384.23/384.30 c 383s | 22 | 1910203 | 1624822 | 1197 3111 | 53 | 40
386.23/386.32 c 385s | 22 | 1919411 | 1632922 | 1197 3123 | 53 | 40
388.23/388.33 c 387s | 22 | 1928837 | 1641222 | 1197 3135 | 53 | 40
390.23/390.34 c 389s | 22 | 1937578 | 1649022 | 1197 3147 | 53 | 40
392.23/392.34 c 391s | 22 | 1946637 | 1656822 | 1197 3159 | 53 | 40
394.22/394.35 c 393s | 22 | 1956377 | 1665122 | 1197 3171 | 53 | 40
396.22/396.36 c 395s | 22 | 1965031 | 1672822 | 1197 3183 | 53 | 40
398.23/398.37 c 397s | 22 | 1973809 | 1680522 | 1197 3194 | 53 | 40
400.22/400.40 c 399s | 22 | 1983680 | 1688922 | 1197 3207 | 53 | 40
402.32/402.42 c 401s | 22 | 1992662 | 1696822 | 1197 3218 | 53 | 40
404.32/404.43 c 403s | 22 | 2001541 | 1704622 | 1197 3230 | 53 | 40
406.32/406.44 c 405s | 22 | 2010995 | 1712622 | 1197 3242 | 53 | 40
408.32/408.46 c 407s | 22 | 2020215 | 1720522 | 1197 3254 | 53 | 40
410.33/410.48 c 409s | 22 | 2029432 | 1728422 | 1197 3265 | 53 | 40
412.32/412.50 c 411s | 22 | 2038887 | 1736622 | 1197 3277 | 53 | 40
414.42/414.52 c 413s | 22 | 2047467 | 1744122 | 1197 3289 | 53 | 40
416.42/416.55 c 415s | 22 | 2056228 | 1751622 | 1197 3300 | 53 | 40
418.43/418.55 c 417s | 22 | 2065523 | 1759622 | 1197 3312 | 53 | 40
420.43/420.58 c 419s | 22 | 2074285 | 1767222 | 1197 3323 | 53 | 40
422.43/422.59 c 421s | 22 | 2083229 | 1774922 | 1197 3335 | 53 | 40
424.43/424.60 c 423s | 22 | 2092092 | 1782522 | 1197 3346 | 53 | 40
426.53/426.60 c 425s | 22 | 2101675 | 1790722 | 1197 3359 | 53 | 40
428.53/428.62 c 427s | 22 | 2110687 | 1798622 | 1197 3370 | 53 | 40
430.53/430.63 c 429s | 22 | 2119387 | 1806322 | 1197 3382 | 53 | 40
432.53/432.65 c 431s | 22 | 2128362 | 1814222 | 1197 3394 | 53 | 40
434.53/434.65 c 433s | 22 | 2137712 | 1822122 | 1197 3405 | 53 | 40
436.52/436.66 c 435s | 22 | 2146877 | 1829922 | 1197 3417 | 53 | 40
438.52/438.68 c 437s | 22 | 2156165 | 1837822 | 1197 3428 | 53 | 40
440.52/440.69 c 439s | 22 | 2165324 | 1845622 | 1197 3440 | 53 | 40
442.62/442.71 c 441s | 22 | 2174230 | 1853322 | 1197 3452 | 53 | 40
444.62/444.73 c 443s | 22 | 2183026 | 1860922 | 1197 3463 | 53 | 40
446.63/446.74 c 445s | 22 | 2191643 | 1868422 | 1197 3474 | 53 | 40
448.62/448.74 c 447s | 22 | 2200488 | 1876122 | 1197 3485 | 53 | 40
450.62/450.76 c 449s | 22 | 2209172 | 1883722 | 1197 3497 | 53 | 40
452.62/452.77 c 451s | 22 | 2217947 | 1891422 | 1197 3508 | 53 | 40
454.62/454.80 c 454s | 22 | 2226875 | 1899222 | 1197 3520 | 53 | 40
456.72/456.80 c 456s | 22 | 2236107 | 1907322 | 1197 3532 | 53 | 40
458.63/458.80 c 458s | 22 | 2244929 | 1914822 | 1197 3544 | 53 | 40
460.72/460.82 c 460s | 22 | 2254074 | 1922722 | 1197 3555 | 53 | 40
462.72/462.84 c 462s | 22 | 2262869 | 1930422 | 1197 3567 | 53 | 40
464.72/464.85 c 464s | 22 | 2272299 | 1938522 | 1197 3579 | 53 | 40
466.72/466.86 c 466s | 22 | 2281099 | 1946222 | 1197 3591 | 53 | 40
468.72/468.87 c 468s | 22 | 2289607 | 1953522 | 1197 3601 | 53 | 40
470.72/470.88 c 470s | 22 | 2299371 | 1961822 | 1197 3614 | 53 | 40
472.72/472.89 c 472s | 22 | 2308075 | 1969422 | 1197 3625 | 53 | 40
474.81/474.91 c 474s | 22 | 2316642 | 1976922 | 1197 3637 | 53 | 40
476.81/476.92 c 476s | 22 | 2325760 | 1984622 | 1197 3648 | 53 | 40
478.81/478.94 c 478s | 22 | 2334114 | 1992022 | 1197 3659 | 53 | 40
480.81/480.96 c 480s | 22 | 2343088 | 1999922 | 1197 3671 | 53 | 40
482.82/482.97 c 482s | 22 | 2351565 | 2007422 | 1197 3682 | 53 | 40
484.81/484.98 c 484s | 22 | 2360625 | 2015222 | 1197 3694 | 53 | 40
486.81/486.99 c 486s | 22 | 2369709 | 2023222 | 1197 3706 | 53 | 40
488.91/489.00 c 488s | 22 | 2378594 | 2030922 | 1197 3717 | 53 | 40
490.91/491.00 c 490s | 22 | 2387289 | 2038622 | 1197 3729 | 53 | 40
492.91/493.02 c 492s | 22 | 2396440 | 2046422 | 1197 3740 | 53 | 40
494.91/495.02 c 494s | 22 | 2405005 | 2053722 | 1197 3751 | 53 | 40
496.91/497.03 c 496s | 22 | 2413183 | 2060722 | 1197 3761 | 53 | 40
498.92/499.05 c 498s | 22 | 2421689 | 2068022 | 1197 3772 | 53 | 40
500.92/501.06 c 500s | 22 | 2430463 | 2075522 | 1197 3784 | 53 | 40
502.91/503.06 c 502s | 22 | 2439557 | 2083322 | 1197 3795 | 53 | 40
504.92/505.08 c 504s | 22 | 2448739 | 2091422 | 1197 3807 | 53 | 40
506.91/507.08 c 506s | 22 | 2457440 | 2098822 | 1197 3818 | 53 | 40
509.01/509.10 c 508s | 22 | 2466078 | 2106222 | 1197 3829 | 53 | 40
511.01/511.11 c 510s | 22 | 2475431 | 2114122 | 1197 3841 | 53 | 40
513.01/513.12 c 512s | 22 | 2484573 | 2122022 | 1197 3853 | 53 | 40
515.01/515.13 c 514s | 22 | 2493276 | 2129522 | 1197 3864 | 53 | 40
517.02/517.15 c 516s | 22 | 2502171 | 2137222 | 1197 3876 | 53 | 40
519.01/519.18 c 518s | 22 | 2511115 | 2145122 | 1197 3888 | 53 | 40
521.01/521.18 c 520s | 22 | 2519687 | 2152622 | 1197 3899 | 53 | 40
523.11/523.20 c 522s | 22 | 2528352 | 2160022 | 1197 3910 | 53 | 40
525.11/525.21 c 524s | 22 | 2536841 | 2167222 | 1197 3921 | 53 | 40
527.11/527.23 c 526s | 22 | 2545518 | 2174722 | 1197 3932 | 53 | 40
529.11/529.25 c 528s | 22 | 2553902 | 2181822 | 1197 3943 | 53 | 40
531.11/531.26 c 530s | 22 | 2562558 | 2189322 | 1197 3954 | 53 | 40
533.11/533.28 c 532s | 22 | 2571303 | 2196922 | 1197 3965 | 53 | 40
535.11/535.28 c 534s | 22 | 2579637 | 2204122 | 1197 3976 | 53 | 40
537.11/537.29 c 536s | 22 | 2588058 | 2211322 | 1197 3987 | 53 | 40
539.21/539.32 c 538s | 22 | 2596135 | 2218322 | 1197 3997 | 53 | 40
541.21/541.34 c 540s | 22 | 2604246 | 2225422 | 1197 4008 | 53 | 40
543.20/543.34 c 542s | 22 | 2612948 | 2232822 | 1317 4019 | 53 | 40
545.20/545.34 c 544s | 22 | 2621008 | 2239722 | 1317 4028 | 53 | 40
547.20/547.35 c 546s | 22 | 2629147 | 2246622 | 1317 4038 | 53 | 40
548.50/548.66 c 547s | 23 | 2634323 | 2251038 | 1317 4044 | 53 | 40
550.50/550.66 c 549s | 23 | 2643302 | 2258738 | 1317 4054 | 53 | 40
552.50/552.69 c 551s | 23 | 2651374 | 2265838 | 1317 4064 | 53 | 40
554.51/554.69 c 553s | 23 | 2659412 | 2272938 | 1317 4073 | 53 | 40
556.61/556.71 c 555s | 23 | 2668628 | 2280838 | 1317 4084 | 53 | 40
558.61/558.71 c 557s | 23 | 2677431 | 2288338 | 1317 4094 | 53 | 40
560.61/560.73 c 559s | 23 | 2686362 | 2296038 | 1317 4105 | 53 | 40
562.60/562.75 c 561s | 23 | 2694627 | 2303238 | 1317 4114 | 53 | 40
564.60/564.75 c 563s | 23 | 2702948 | 2310438 | 1317 4124 | 53 | 40
566.60/566.78 c 565s | 23 | 2711111 | 2317538 | 1317 4134 | 53 | 40
568.61/568.80 c 568s | 23 | 2719175 | 2324438 | 1317 4143 | 53 | 40
570.70/570.81 c 570s | 23 | 2727419 | 2331638 | 1317 4153 | 53 | 40
572.70/572.82 c 572s | 23 | 2736263 | 2339238 | 1317 4163 | 53 | 40
574.70/574.84 c 574s | 23 | 2745048 | 2346838 | 1317 4173 | 53 | 40
576.70/576.85 c 576s | 23 | 2753480 | 2354238 | 1317 4183 | 53 | 40
578.70/578.87 c 578s | 23 | 2762025 | 2361638 | 1317 4193 | 53 | 40
580.71/580.89 c 580s | 23 | 2770573 | 2368938 | 1317 4203 | 53 | 40
582.80/582.91 c 582s | 23 | 2778511 | 2376038 | 1317 4213 | 53 | 40
584.80/584.92 c 584s | 23 | 2787104 | 2383538 | 1317 4223 | 53 | 40
586.80/586.94 c 586s | 23 | 2796022 | 2391138 | 1317 4233 | 53 | 40
588.80/588.96 c 588s | 23 | 2804673 | 2398538 | 1317 4243 | 53 | 40
590.80/590.96 c 590s | 23 | 2813354 | 2405838 | 1317 4253 | 53 | 40
592.80/592.97 c 592s | 23 | 2821829 | 2413138 | 1317 4263 | 53 | 40
594.89/595.00 c 594s | 23 | 2830211 | 2420338 | 1317 4273 | 53 | 40
596.89/597.02 c 596s | 23 | 2837917 | 2427138 | 1317 4282 | 53 | 40
598.89/599.02 c 598s | 23 | 2845821 | 2433938 | 1317 4291 | 53 | 40
600.89/601.05 c 600s | 23 | 2853529 | 2440738 | 1317 4300 | 53 | 40
602.89/603.06 c 602s | 23 | 2861264 | 2447538 | 1317 4310 | 53 | 40
604.90/605.06 c 604s | 23 | 2868817 | 2454038 | 1317 4319 | 53 | 40
606.89/607.07 c 606s | 23 | 2876523 | 2460738 | 1317 4328 | 53 | 40
608.89/609.07 c 608s | 23 | 2884920 | 2467938 | 1317 4338 | 53 | 40
610.89/611.09 c 610s | 23 | 2893315 | 2475138 | 1317 4347 | 53 | 40
612.99/613.10 c 612s | 23 | 2901663 | 2482238 | 1317 4357 | 53 | 40
614.99/615.12 c 614s | 23 | 2909779 | 2489338 | 1317 4367 | 53 | 40
617.00/617.13 c 616s | 23 | 2917997 | 2496438 | 1317 4376 | 53 | 40
618.99/619.15 c 618s | 23 | 2926140 | 2503538 | 1317 4386 | 53 | 40
620.99/621.18 c 620s | 23 | 2934062 | 2510338 | 1317 4395 | 53 | 40
623.09/623.20 c 622s | 23 | 2941639 | 2517038 | 1317 4405 | 53 | 40
625.09/625.20 c 624s | 23 | 2949746 | 2524138 | 1317 4414 | 53 | 40
627.09/627.22 c 626s | 23 | 2958157 | 2531538 | 1317 4424 | 53 | 40
629.09/629.22 c 628s | 23 | 2966544 | 2538838 | 1317 4434 | 53 | 40
631.09/631.23 c 630s | 23 | 2974848 | 2546038 | 1317 4444 | 53 | 40
633.09/633.25 c 632s | 23 | 2983342 | 2553338 | 1317 4454 | 53 | 40
635.09/635.26 c 634s | 23 | 2991674 | 2560638 | 1317 4464 | 53 | 40
637.09/637.27 c 636s | 23 | 2999993 | 2567938 | 1317 4474 | 53 | 40
639.19/639.30 c 638s | 23 | 3008062 | 2575038 | 1317 4484 | 53 | 40
641.19/641.32 c 640s | 23 | 3016190 | 2582138 | 1317 4493 | 53 | 40
643.19/643.34 c 642s | 23 | 3024533 | 2589338 | 1317 4503 | 53 | 40
645.19/645.36 c 644s | 23 | 3033172 | 2596838 | 1317 4513 | 53 | 40
647.19/647.39 c 646s | 23 | 3041435 | 2604238 | 1317 4523 | 53 | 40
649.29/649.40 c 648s | 23 | 3049685 | 2611538 | 1317 4533 | 53 | 40
651.29/651.40 c 650s | 23 | 3057759 | 2618638 | 1317 4543 | 53 | 40
653.30/653.41 c 652s | 23 | 3066264 | 2625938 | 1317 4553 | 53 | 40
655.29/655.42 c 654s | 23 | 3074039 | 2632938 | 1317 4562 | 53 | 40
657.29/657.44 c 656s | 23 | 3082670 | 2640338 | 1317 4573 | 53 | 40
659.29/659.46 c 658s | 23 | 3091006 | 2647638 | 1317 4582 | 53 | 40
661.29/661.47 c 660s | 23 | 3099690 | 2655138 | 1317 4593 | 53 | 40
663.29/663.47 c 662s | 23 | 3107950 | 2662238 | 1317 4602 | 53 | 40
665.29/665.48 c 664s | 23 | 3116161 | 2669338 | 1317 4612 | 53 | 40
667.39/667.50 c 666s | 23 | 3124305 | 2676538 | 1317 4622 | 53 | 40
669.39/669.51 c 668s | 23 | 3132482 | 2683738 | 1317 4632 | 53 | 40
671.39/671.52 c 670s | 23 | 3140691 | 2690838 | 1317 4641 | 53 | 40
673.38/673.55 c 672s | 23 | 3148665 | 2697838 | 1317 4651 | 53 | 40
675.39/675.56 c 674s | 23 | 3156364 | 2704638 | 1317 4660 | 53 | 40
677.38/677.57 c 676s | 23 | 3164868 | 2711938 | 1317 4670 | 53 | 40
679.38/679.59 c 678s | 23 | 3173341 | 2719038 | 1317 4680 | 53 | 40
681.48/681.61 c 680s | 23 | 3181961 | 2726238 | 1317 4689 | 53 | 40
683.48/683.64 c 682s | 23 | 3190295 | 2733538 | 1317 4699 | 53 | 40
685.48/685.64 c 684s | 23 | 3198698 | 2740738 | 1317 4709 | 53 | 40
687.49/687.67 c 686s | 23 | 3207033 | 2747938 | 1317 4719 | 53 | 40
689.48/689.68 c 688s | 23 | 3214908 | 2754838 | 1317 4728 | 53 | 40
691.48/691.69 c 690s | 23 | 3222489 | 2761638 | 1317 4737 | 53 | 40
693.48/693.69 c 692s | 23 | 3230662 | 2768838 | 1317 4747 | 53 | 40
695.58/695.72 c 694s | 23 | 3238678 | 2775838 | 1317 4757 | 53 | 40
697.58/697.73 c 696s | 23 | 3246699 | 2782938 | 1317 4766 | 53 | 40
699.59/699.74 c 698s | 23 | 3254811 | 2790038 | 1317 4776 | 53 | 40
701.58/701.75 c 700s | 23 | 3263119 | 2797238 | 1317 4786 | 53 | 40
703.58/703.76 c 702s | 23 | 3271166 | 2804138 | 1317 4795 | 53 | 40
705.57/705.76 c 704s | 23 | 3279490 | 2811338 | 1317 4805 | 53 | 40
707.57/707.79 c 706s | 23 | 3287656 | 2818438 | 1317 4815 | 53 | 40
709.67/709.80 c 709s | 23 | 3295751 | 2825438 | 1317 4824 | 53 | 40
711.69/711.81 c 711s | 23 | 3304151 | 2832738 | 1317 4834 | 53 | 40
713.68/713.81 c 713s | 23 | 3312318 | 2839838 | 1317 4844 | 53 | 40
715.68/715.81 c 715s | 23 | 3320636 | 2847038 | 1317 4853 | 53 | 40
717.68/717.83 c 717s | 23 | 3328808 | 2854238 | 1317 4863 | 53 | 40
719.68/719.83 c 719s | 23 | 3336906 | 2861338 | 1317 4873 | 53 | 40
721.68/721.85 c 721s | 23 | 3344641 | 2868038 | 1317 4882 | 53 | 40
723.68/723.86 c 723s | 23 | 3352726 | 2875038 | 1317 4891 | 53 | 40
725.67/725.87 c 725s | 23 | 3360621 | 2881938 | 1317 4901 | 53 | 40
727.67/727.88 c 727s | 23 | 3369296 | 2889438 | 1317 4911 | 53 | 40
729.77/729.90 c 729s | 23 | 3377718 | 2896738 | 1317 4921 | 53 | 40
731.77/731.91 c 731s | 23 | 3385948 | 2903838 | 1317 4931 | 53 | 40
733.77/733.92 c 733s | 23 | 3394473 | 2911138 | 1317 4941 | 53 | 40
735.77/735.93 c 735s | 23 | 3403316 | 2918638 | 1317 4951 | 53 | 40
737.77/737.94 c 737s | 23 | 3411532 | 2925838 | 1317 4960 | 53 | 40
739.76/739.96 c 739s | 23 | 3419520 | 2932838 | 1317 4970 | 53 | 40
741.76/741.97 c 741s | 23 | 3427638 | 2940038 | 1317 4980 | 53 | 40
743.86/744.00 c 743s | 23 | 3436509 | 2947638 | 1317 4990 | 53 | 40
745.86/746.02 c 745s | 23 | 3445138 | 2955138 | 1317 5000 | 53 | 40
747.87/748.04 c 747s | 23 | 3453700 | 2962538 | 1317 5010 | 53 | 40
749.86/750.05 c 749s | 23 | 3462585 | 2970138 | 1317 5021 | 53 | 40
751.86/752.07 c 751s | 23 | 3471087 | 2977538 | 1317 5031 | 53 | 40
753.86/754.08 c 753s | 23 | 3479472 | 2984938 | 1317 5041 | 53 | 40
755.96/756.10 c 755s | 23 | 3488040 | 2992338 | 1317 5051 | 53 | 40
757.96/758.13 c 757s | 23 | 3497014 | 3000038 | 1317 5062 | 53 | 40
759.96/760.15 c 759s | 23 | 3506051 | 3007638 | 1317 5072 | 53 | 40
761.96/762.17 c 761s | 23 | 3514783 | 3015138 | 1317 5082 | 53 | 40
763.95/764.18 c 763s | 23 | 3523459 | 3022638 | 1317 5092 | 53 | 40
765.95/766.18 c 765s | 23 | 3532510 | 3030038 | 1317 5102 | 53 | 40
767.95/768.19 c 767s | 23 | 3540899 | 3037238 | 1317 5112 | 53 | 40
770.05/770.20 c 769s | 23 | 3549001 | 3044238 | 1317 5122 | 53 | 40
771.95/772.20 c 771s | 23 | 3557096 | 3051238 | 1317 5131 | 53 | 40
774.05/774.23 c 773s | 23 | 3565224 | 3058338 | 1317 5141 | 53 | 40
776.05/776.25 c 775s | 23 | 3573372 | 3065438 | 1317 5151 | 53 | 40
778.05/778.29 c 777s | 23 | 3581844 | 3072738 | 1317 5161 | 53 | 40
780.15/780.30 c 779s | 23 | 3590444 | 3080238 | 1317 5171 | 53 | 40
782.15/782.32 c 781s | 23 | 3599063 | 3087738 | 1317 5181 | 53 | 40
784.15/784.34 c 783s | 23 | 3607813 | 3095338 | 1317 5191 | 53 | 40
786.14/786.35 c 785s | 23 | 3616249 | 3102738 | 1317 5201 | 53 | 40
788.14/788.36 c 787s | 23 | 3624993 | 3110338 | 1317 5211 | 53 | 40
790.14/790.37 c 789s | 23 | 3633308 | 3117438 | 1317 5221 | 53 | 40
792.14/792.38 c 791s | 23 | 3641244 | 3124438 | 1317 5231 | 53 | 40
794.15/794.38 c 793s | 23 | 3649308 | 3131538 | 1317 5240 | 53 | 40
796.14/796.40 c 795s | 23 | 3657601 | 3138838 | 1317 5250 | 53 | 40
798.24/798.42 c 797s | 23 | 3666414 | 3146438 | 1317 5261 | 53 | 40
800.24/800.44 c 799s | 23 | 3675205 | 3154138 | 1317 5271 | 53 | 40
802.24/802.46 c 801s | 23 | 3683436 | 3161338 | 1317 5281 | 53 | 40
804.23/804.49 c 803s | 23 | 3691690 | 3168538 | 1317 5291 | 53 | 40
806.24/806.49 c 805s | 23 | 3700045 | 3175738 | 1317 5301 | 53 | 40
808.23/808.50 c 807s | 23 | 3708642 | 3183138 | 1317 5311 | 53 | 40
810.33/810.50 c 809s | 23 | 3717118 | 3190538 | 1317 5321 | 53 | 40
812.33/812.51 c 811s | 23 | 3725462 | 3197838 | 1317 5331 | 53 | 40
814.33/814.52 c 813s | 23 | 3733741 | 3205138 | 1317 5341 | 53 | 40
816.33/816.54 c 815s | 23 | 3742685 | 3212938 | 1317 5351 | 53 | 40
818.33/818.55 c 817s | 23 | 3751106 | 3220338 | 1317 5361 | 53 | 40
820.33/820.56 c 819s | 23 | 3759516 | 3227738 | 1317 5371 | 53 | 40
822.33/822.58 c 821s | 23 | 3767872 | 3235038 | 1317 5381 | 53 | 40
824.32/824.59 c 823s | 23 | 3776181 | 3242338 | 1317 5391 | 53 | 40
826.42/826.62 c 825s | 23 | 3784693 | 3249738 | 1317 5402 | 53 | 40
828.42/828.62 c 827s | 23 | 3793395 | 3257138 | 1317 5412 | 53 | 40
830.43/830.64 c 829s | 23 | 3802623 | 3265038 | 1317 5423 | 53 | 40
832.42/832.66 c 831s | 23 | 3811541 | 3272638 | 1317 5433 | 53 | 40
834.42/834.67 c 833s | 23 | 3819808 | 3279838 | 1317 5443 | 53 | 40
836.51/836.70 c 835s | 23 | 3828195 | 3287138 | 1317 5453 | 53 | 40
838.51/838.73 c 837s | 23 | 3836619 | 3294238 | 1317 5463 | 53 | 40
840.51/840.74 c 839s | 23 | 3844936 | 3301438 | 1317 5472 | 53 | 40
842.52/842.77 c 841s | 23 | 3853357 | 3308838 | 1317 5482 | 53 | 40
844.51/844.78 c 843s | 23 | 3861724 | 3316138 | 1317 5492 | 53 | 40
846.61/846.80 c 846s | 23 | 3870098 | 3323438 | 1317 5502 | 53 | 40
848.61/848.82 c 848s | 23 | 3878394 | 3330738 | 1317 5512 | 53 | 40
850.61/850.84 c 850s | 23 | 3887123 | 3338338 | 1317 5523 | 53 | 40
852.61/852.85 c 852s | 23 | 3895757 | 3345838 | 1317 5533 | 53 | 40
854.62/854.87 c 854s | 23 | 3904380 | 3353338 | 1449 5542 | 53 | 40
856.61/856.87 c 856s | 23 | 3913151 | 3360838 | 1449 5552 | 53 | 40
858.61/858.88 c 858s | 23 | 3922039 | 3368538 | 1449 5561 | 53 | 40
860.61/860.89 c 860s | 23 | 3930730 | 3376038 | 1449 5571 | 53 | 40
860.81/861.05 c 860s | 24 | 3931475 | 3376662 | 1449 5571 | 53 | 40
862.81/863.06 c 862s | 24 | 3942493 | 3385662 | 1449 5583 | 53 | 40
864.81/865.07 c 864s | 24 | 3952491 | 3394162 | 1449 5594 | 53 | 40
866.81/867.08 c 866s | 24 | 3961700 | 3402162 | 1449 5604 | 53 | 40
868.81/869.09 c 868s | 24 | 3971576 | 3410762 | 1449 5615 | 53 | 40
870.81/871.09 c 870s | 24 | 3981809 | 3419662 | 1449 5626 | 53 | 40
872.91/873.10 c 872s | 24 | 3991208 | 3427762 | 1449 5636 | 53 | 40
874.91/875.10 c 874s | 24 | 4000929 | 3435962 | 1449 5647 | 53 | 40
876.90/877.12 c 876s | 24 | 4011233 | 3444762 | 1449 5658 | 53 | 40
878.90/879.14 c 878s | 24 | 4020984 | 3452962 | 1449 5668 | 53 | 40
880.91/881.16 c 880s | 24 | 4030182 | 3460962 | 1449 5678 | 53 | 40
882.90/883.16 c 882s | 24 | 4039979 | 3469262 | 1449 5689 | 53 | 40
884.90/885.20 c 884s | 24 | 4049650 | 3477662 | 1449 5700 | 53 | 40
887.00/887.21 c 886s | 24 | 4060807 | 3487162 | 1449 5712 | 53 | 40
889.00/889.22 c 888s | 24 | 4071431 | 3496062 | 1449 5723 | 53 | 40
891.00/891.23 c 890s | 24 | 4081589 | 3504662 | 1449 5734 | 53 | 40
893.00/893.24 c 892s | 24 | 4090867 | 3512862 | 1449 5744 | 53 | 40
895.00/895.24 c 894s | 24 | 4100184 | 3520862 | 1449 5754 | 53 | 40
896.99/897.25 c 896s | 24 | 4109940 | 3529362 | 1449 5765 | 53 | 40
898.99/899.27 c 898s | 24 | 4119337 | 3537562 | 1449 5775 | 53 | 40
900.99/901.28 c 900s | 24 | 4128587 | 3545762 | 1449 5786 | 53 | 40
903.09/903.30 c 902s | 24 | 4137645 | 3553762 | 1449 5796 | 53 | 40
905.10/905.32 c 904s | 24 | 4146759 | 3561562 | 1449 5806 | 53 | 40
907.08/907.33 c 906s | 24 | 4156164 | 3569562 | 1449 5816 | 53 | 40
909.08/909.33 c 908s | 24 | 4165628 | 3577562 | 1449 5826 | 53 | 40
911.08/911.34 c 910s | 24 | 4175423 | 3585862 | 1449 5837 | 53 | 40
913.08/913.36 c 912s | 24 | 4184780 | 3593762 | 1449 5847 | 53 | 40
915.09/915.37 c 914s | 24 | 4194299 | 3601762 | 1449 5857 | 53 | 40
917.08/917.38 c 916s | 24 | 4204529 | 3610362 | 1449 5868 | 53 | 40
919.08/919.38 c 918s | 24 | 4213817 | 3618562 | 1449 5878 | 53 | 40
921.18/921.40 c 920s | 24 | 4223170 | 3626762 | 1449 5888 | 53 | 40
923.17/923.41 c 922s | 24 | 4232299 | 3634762 | 1449 5898 | 53 | 40
925.17/925.42 c 924s | 24 | 4241739 | 3642862 | 1449 5909 | 53 | 40
927.18/927.44 c 926s | 24 | 4250321 | 3650362 | 1449 5918 | 53 | 40
929.17/929.45 c 928s | 24 | 4259755 | 3658562 | 1449 5929 | 53 | 40
931.17/931.45 c 930s | 24 | 4269320 | 3666862 | 1449 5939 | 53 | 40
933.17/933.45 c 932s | 24 | 4278704 | 3675062 | 1449 5949 | 53 | 40
935.17/935.47 c 934s | 24 | 4288051 | 3683462 | 1449 5960 | 53 | 40
937.17/937.47 c 936s | 24 | 4297431 | 3691562 | 1449 5970 | 53 | 40
939.17/939.48 c 938s | 24 | 4306149 | 3699062 | 1449 5980 | 53 | 40
941.16/941.49 c 940s | 24 | 4316806 | 3708162 | 1449 5991 | 53 | 40
943.26/943.51 c 942s | 24 | 4326343 | 3716362 | 1449 6002 | 53 | 40
945.26/945.52 c 944s | 24 | 4335827 | 3724562 | 1449 6012 | 53 | 40
947.26/947.52 c 946s | 24 | 4344964 | 3732462 | 1449 6022 | 53 | 40
949.26/949.53 c 948s | 24 | 4354199 | 3740462 | 1449 6032 | 53 | 40
951.28/951.53 c 950s | 24 | 4363703 | 3748562 | 1449 6043 | 53 | 40
953.27/953.54 c 952s | 24 | 4373125 | 3756562 | 1449 6053 | 53 | 40
955.27/955.55 c 954s | 24 | 4382418 | 3764662 | 1449 6063 | 53 | 40
957.26/957.55 c 956s | 24 | 4391695 | 3772562 | 1449 6073 | 53 | 40
959.26/959.57 c 958s | 24 | 4401399 | 3780762 | 1449 6083 | 53 | 40
961.27/961.59 c 960s | 24 | 4410720 | 3788862 | 1449 6093 | 53 | 40
963.37/963.61 c 962s | 24 | 4419740 | 3796762 | 1449 6104 | 53 | 40
965.36/965.62 c 964s | 24 | 4428595 | 3804562 | 1449 6113 | 53 | 40
967.36/967.64 c 966s | 24 | 4437709 | 3812662 | 1449 6123 | 53 | 40
969.36/969.65 c 968s | 24 | 4446583 | 3820562 | 1449 6133 | 53 | 40
971.36/971.66 c 970s | 24 | 4456243 | 3828862 | 1449 6144 | 53 | 40
973.36/973.69 c 972s | 24 | 4465551 | 3837062 | 1449 6154 | 53 | 40
975.36/975.70 c 974s | 24 | 4474540 | 3845062 | 1449 6165 | 53 | 40
977.45/977.70 c 976s | 24 | 4483691 | 3853062 | 1449 6175 | 53 | 40
979.45/979.71 c 978s | 24 | 4492573 | 3860662 | 1449 6184 | 53 | 40
981.45/981.72 c 980s | 24 | 4502039 | 3868862 | 1449 6195 | 53 | 40
983.45/983.74 c 982s | 24 | 4511399 | 3876862 | 1449 6205 | 53 | 40
985.45/985.74 c 984s | 24 | 4520310 | 3884662 | 1449 6215 | 53 | 40
987.45/987.76 c 986s | 24 | 4530270 | 3893462 | 1449 6226 | 53 | 40
989.45/989.76 c 988s | 24 | 4540529 | 3902362 | 1449 6237 | 53 | 40
991.45/991.77 c 990s | 24 | 4550180 | 3910762 | 1449 6248 | 53 | 40
993.45/993.78 c 992s | 24 | 4559368 | 3918762 | 1449 6258 | 53 | 40
995.54/995.80 c 995s | 24 | 4568840 | 3926962 | 1449 6268 | 53 | 40
997.55/997.82 c 997s | 24 | 4578707 | 3935362 | 1449 6279 | 53 | 40
999.54/999.84 c 999s | 24 | 4588366 | 3943862 | 1449 6290 | 53 | 40
1001.54/1001.86 c 1001s | 24 | 4598129 | 3952462 | 1449 6301 | 53 | 40
1003.54/1003.87 c 1003s | 24 | 4608047 | 3961062 | 1449 6312 | 53 | 40
1005.53/1005.89 c 1005s | 24 | 4618089 | 3969762 | 1449 6323 | 53 | 40
1007.53/1007.89 c 1007s | 24 | 4627893 | 3978162 | 1449 6333 | 53 | 40
1009.64/1009.90 c 1009s | 24 | 4637444 | 3986562 | 1449 6344 | 53 | 40
1011.63/1011.91 c 1011s | 24 | 4646699 | 3994462 | 1449 6354 | 53 | 40
1013.63/1013.92 c 1013s | 24 | 4656386 | 4002862 | 1449 6365 | 53 | 40
1015.63/1015.93 c 1015s | 24 | 4665693 | 4010962 | 1449 6375 | 53 | 40
1017.63/1017.94 c 1017s | 24 | 4675144 | 4019062 | 1449 6385 | 53 | 40
1019.63/1019.95 c 1019s | 24 | 4684217 | 4026862 | 1449 6395 | 53 | 40
1021.63/1021.97 c 1021s | 24 | 4693721 | 4034962 | 1449 6405 | 53 | 40
1023.63/1023.98 c 1023s | 24 | 4702912 | 4042962 | 1449 6416 | 53 | 40
1025.72/1026.00 c 1025s | 24 | 4712362 | 4051062 | 1449 6426 | 53 | 40
1027.72/1028.02 c 1027s | 24 | 4721624 | 4059162 | 1449 6436 | 53 | 40
1029.72/1030.03 c 1029s | 24 | 4730273 | 4066662 | 1449 6446 | 53 | 40
1031.72/1032.04 c 1031s | 24 | 4739552 | 4074662 | 1449 6456 | 53 | 40
1033.73/1034.04 c 1033s | 24 | 4749779 | 4083562 | 1449 6467 | 53 | 40
1035.72/1036.04 c 1035s | 24 | 4759476 | 4092262 | 1449 6478 | 53 | 40
1037.73/1038.05 c 1037s | 24 | 4768886 | 4100662 | 1449 6489 | 53 | 40
1039.73/1040.08 c 1039s | 24 | 4778405 | 4109162 | 1449 6499 | 53 | 40
1041.73/1042.09 c 1041s | 24 | 4788308 | 4117762 | 1449 6510 | 53 | 40
1043.73/1044.09 c 1043s | 24 | 4798010 | 4126262 | 1449 6521 | 53 | 40
1045.83/1046.11 c 1045s | 24 | 4807900 | 4134862 | 1449 6532 | 53 | 40
1047.82/1048.12 c 1047s | 24 | 4817931 | 4143562 | 1449 6543 | 53 | 40
1049.82/1050.14 c 1049s | 24 | 4827878 | 4152262 | 1449 6554 | 53 | 40
1051.82/1052.14 c 1051s | 24 | 4837613 | 4160762 | 1449 6564 | 53 | 40
1053.82/1054.14 c 1053s | 24 | 4847632 | 4169362 | 1449 6575 | 53 | 40
1055.82/1056.15 c 1055s | 24 | 4857973 | 4178262 | 1449 6586 | 53 | 40
1057.81/1058.17 c 1057s | 24 | 4868267 | 4187162 | 1449 6598 | 53 | 40
1059.81/1060.19 c 1059s | 24 | 4878311 | 4195862 | 1449 6609 | 53 | 40
1061.91/1062.21 c 1061s | 24 | 4888035 | 4204262 | 1449 6619 | 53 | 40
1063.91/1064.21 c 1063s | 24 | 4897374 | 4212362 | 1449 6630 | 53 | 40
1065.91/1066.22 c 1065s | 24 | 4906620 | 4220462 | 1449 6640 | 53 | 40
1067.92/1068.24 c 1067s | 24 | 4915521 | 4228162 | 1449 6649 | 53 | 40
1069.91/1070.25 c 1069s | 24 | 4924660 | 4236162 | 1449 6660 | 53 | 40
1071.91/1072.25 c 1071s | 24 | 4933696 | 4243962 | 1449 6669 | 53 | 40
1073.91/1074.27 c 1073s | 24 | 4943273 | 4252262 | 1449 6680 | 53 | 40
1075.90/1076.28 c 1075s | 24 | 4952174 | 4259962 | 1449 6690 | 53 | 40
1078.00/1078.30 c 1077s | 24 | 4961301 | 4267762 | 1449 6699 | 53 | 40
1080.01/1080.32 c 1079s | 24 | 4970567 | 4275962 | 1449 6710 | 53 | 40
1082.00/1082.34 c 1081s | 24 | 4980483 | 4284662 | 1449 6721 | 53 | 40
1084.00/1084.34 c 1083s | 24 | 4990018 | 4293062 | 1449 6732 | 53 | 40
1086.00/1086.35 c 1085s | 24 | 4999708 | 4301362 | 1449 6742 | 53 | 40
1088.00/1088.36 c 1087s | 24 | 5009225 | 4309562 | 1449 6752 | 53 | 40
1090.00/1090.37 c 1089s | 24 | 5018782 | 4317962 | 1449 6763 | 53 | 40
1092.01/1092.37 c 1091s | 24 | 5027988 | 4326062 | 1449 6773 | 53 | 40
1094.00/1094.39 c 1093s | 24 | 5037191 | 4334062 | 1449 6784 | 53 | 40
1096.10/1096.42 c 1095s | 24 | 5046287 | 4342162 | 1449 6794 | 53 | 40
1098.10/1098.43 c 1097s | 24 | 5055436 | 4350162 | 1449 6804 | 53 | 40
1100.09/1100.44 c 1099s | 24 | 5064447 | 4358162 | 1449 6814 | 53 | 40
1102.09/1102.45 c 1101s | 24 | 5073303 | 4366062 | 1449 6824 | 53 | 40
1104.11/1104.47 c 1103s | 24 | 5083095 | 4374662 | 1449 6835 | 53 | 40
1106.09/1106.47 c 1105s | 24 | 5092110 | 4382662 | 1449 6845 | 53 | 40
1108.09/1108.49 c 1107s | 24 | 5101590 | 4390862 | 1449 6856 | 53 | 40
1110.09/1110.49 c 1109s | 24 | 5111001 | 4399162 | 1449 6866 | 53 | 40
1112.19/1112.51 c 1111s | 24 | 5120929 | 4407862 | 1449 6877 | 53 | 40
1114.19/1114.53 c 1113s | 24 | 5130679 | 4416262 | 1449 6888 | 53 | 40
1116.20/1116.53 c 1115s | 24 | 5140480 | 4424762 | 1449 6899 | 53 | 40
1118.19/1118.54 c 1117s | 24 | 5150462 | 4433262 | 1449 6910 | 53 | 40
1120.19/1120.56 c 1119s | 24 | 5160831 | 4441962 | 1449 6921 | 53 | 40
1122.19/1122.57 c 1121s | 24 | 5170836 | 4450562 | 1449 6932 | 53 | 40
1124.19/1124.59 c 1123s | 24 | 5180851 | 4459162 | 1449 6943 | 53 | 40
1126.29/1126.61 c 1125s | 24 | 5190419 | 4467462 | 1449 6953 | 53 | 40
1128.29/1128.63 c 1127s | 24 | 5200213 | 4475962 | 1449 6964 | 53 | 40
1130.28/1130.64 c 1129s | 24 | 5210075 | 4484562 | 1449 6975 | 53 | 40
1132.28/1132.65 c 1131s | 24 | 5219690 | 4493062 | 1449 6986 | 53 | 40
1134.28/1134.66 c 1133s | 24 | 5228800 | 4501162 | 1449 6996 | 53 | 40
1136.28/1136.67 c 1135s | 24 | 5238101 | 4509462 | 1449 7007 | 53 | 40
1138.29/1138.69 c 1137s | 24 | 5247405 | 4517862 | 1449 7017 | 53 | 40
1140.28/1140.70 c 1139s | 24 | 5256710 | 4526062 | 1449 7028 | 53 | 40
1142.38/1142.72 c 1141s | 24 | 5265908 | 4534062 | 1449 7038 | 53 | 40
1144.38/1144.74 c 1143s | 24 | 5275501 | 4542362 | 1449 7048 | 53 | 40
1146.38/1146.75 c 1145s | 24 | 5285706 | 4551362 | 1449 7060 | 53 | 40
1148.38/1148.78 c 1147s | 24 | 5295166 | 4559762 | 1449 7070 | 53 | 40
1150.38/1150.79 c 1149s | 24 | 5304243 | 4567762 | 1449 7081 | 53 | 40
1152.38/1152.80 c 1152s | 24 | 5313834 | 4576162 | 1449 7091 | 53 | 40
1154.48/1154.81 c 1154s | 24 | 5323508 | 4584662 | 1449 7102 | 53 | 40
1156.47/1156.82 c 1156s | 24 | 5332800 | 4592762 | 1449 7112 | 53 | 40
1158.47/1158.85 c 1158s | 24 | 5341512 | 4600362 | 1449 7122 | 53 | 40
1160.47/1160.86 c 1160s | 24 | 5350796 | 4608562 | 1449 7132 | 53 | 40
1162.48/1162.87 c 1162s | 24 | 5360113 | 4616762 | 1449 7143 | 53 | 40
1164.47/1164.87 c 1164s | 24 | 5369081 | 4624562 | 1449 7152 | 53 | 40
1166.46/1166.89 c 1166s | 24 | 5378319 | 4632562 | 1449 7162 | 53 | 40
1168.56/1168.90 c 1168s | 24 | 5387363 | 4640462 | 1449 7172 | 53 | 40
1170.56/1170.91 c 1170s | 24 | 5397319 | 4649262 | 1449 7183 | 53 | 40
1172.56/1172.91 c 1172s | 24 | 5407754 | 4658262 | 1449 7195 | 53 | 40
1174.56/1174.92 c 1174s | 24 | 5417384 | 4666862 | 1449 7206 | 53 | 40
1176.55/1176.93 c 1176s | 24 | 5427276 | 4675462 | 1449 7217 | 53 | 40
1178.56/1178.94 c 1178s | 24 | 5437267 | 4684362 | 1449 7228 | 53 | 40
1180.56/1180.94 c 1180s | 24 | 5446991 | 4692762 | 1449 7239 | 53 | 40
1182.56/1182.95 c 1182s | 24 | 5456244 | 4700762 | 1449 7249 | 53 | 40
1184.56/1184.95 c 1184s | 24 | 5465627 | 4708862 | 1449 7259 | 53 | 40
1186.56/1186.96 c 1186s | 24 | 5474657 | 4716562 | 1449 7269 | 53 | 40
1188.56/1188.98 c 1188s | 24 | 5483796 | 4724562 | 1449 7279 | 53 | 40
1190.56/1190.98 c 1190s | 24 | 5493758 | 4733162 | 1449 7290 | 53 | 40
1192.66/1193.00 c 1192s | 24 | 5503168 | 4741362 | 1449 7300 | 53 | 40
1194.65/1195.02 c 1194s | 24 | 5512717 | 4749662 | 1449 7311 | 53 | 40
1196.65/1197.03 c 1196s | 24 | 5521870 | 4757562 | 1449 7321 | 53 | 40
1198.66/1199.05 c 1198s | 24 | 5530594 | 4765162 | 1449 7330 | 53 | 40
1200.65/1201.07 c 1200s | 24 | 5539845 | 4773262 | 1449 7341 | 53 | 40
1202.65/1203.09 c 1202s | 24 | 5549091 | 4781362 | 1449 7351 | 53 | 40
1204.75/1205.11 c 1204s | 24 | 5558041 | 4789162 | 1449 7361 | 53 | 40
1206.75/1207.12 c 1206s | 24 | 5567447 | 4797162 | 1449 7371 | 53 | 40
1208.74/1209.14 c 1208s | 24 | 5576011 | 4804562 | 1449 7380 | 53 | 40
1210.75/1211.14 c 1210s | 24 | 5585115 | 4812362 | 1449 7390 | 53 | 40
1212.74/1213.16 c 1212s | 24 | 5594412 | 4820462 | 1449 7400 | 53 | 40
1214.74/1215.18 c 1214s | 24 | 5603357 | 4828162 | 1449 7410 | 53 | 40
1216.84/1217.20 c 1216s | 24 | 5612720 | 4836462 | 1449 7420 | 53 | 40
1218.84/1219.21 c 1218s | 24 | 5621365 | 4844262 | 1449 7430 | 53 | 40
1220.84/1221.23 c 1220s | 24 | 5631558 | 4853062 | 1449 7441 | 53 | 40
1222.85/1223.23 c 1222s | 24 | 5640519 | 4860862 | 1449 7451 | 53 | 40
1224.84/1225.24 c 1224s | 24 | 5649874 | 4869062 | 1449 7462 | 53 | 40
1226.83/1227.26 c 1226s | 24 | 5659857 | 4877662 | 1449 7473 | 53 | 40
1228.83/1229.28 c 1228s | 24 | 5669664 | 4886162 | 1449 7483 | 53 | 40
1230.83/1231.29 c 1230s | 24 | 5679890 | 4894862 | 1449 7494 | 53 | 40
1232.93/1233.31 c 1232s | 24 | 5689729 | 4903362 | 1449 7505 | 53 | 40
1234.94/1235.31 c 1234s | 24 | 5699289 | 4911462 | 1449 7516 | 53 | 40
1236.94/1237.33 c 1236s | 24 | 5708173 | 4919162 | 1449 7525 | 53 | 40
1238.94/1239.35 c 1238s | 24 | 5716550 | 4926462 | 1449 7534 | 53 | 40
1240.94/1241.37 c 1240s | 24 | 5725523 | 4934062 | 1449 7544 | 53 | 40
1242.94/1243.38 c 1242s | 24 | 5734101 | 4941462 | 1449 7554 | 53 | 40
1245.04/1245.40 c 1244s | 24 | 5742953 | 4949162 | 1449 7563 | 53 | 40
1247.04/1247.41 c 1246s | 24 | 5752729 | 4957562 | 1449 7574 | 53 | 40
1249.03/1249.41 c 1248s | 24 | 5762310 | 4965862 | 1449 7584 | 53 | 40
1251.03/1251.42 c 1250s | 24 | 5771670 | 4973962 | 1449 7595 | 53 | 40
1253.03/1253.44 c 1252s | 24 | 5781035 | 4982262 | 1449 7605 | 53 | 40
1255.03/1255.44 c 1254s | 24 | 5790408 | 4990362 | 1449 7615 | 53 | 40
1257.03/1257.44 c 1256s | 24 | 5800067 | 4998662 | 1449 7626 | 53 | 40
1259.03/1259.46 c 1258s | 24 | 5809488 | 5006962 | 1449 7636 | 53 | 40
1261.03/1261.46 c 1260s | 24 | 5819005 | 5015362 | 1449 7647 | 53 | 40
1263.03/1263.47 c 1262s | 24 | 5828524 | 5023562 | 1449 7658 | 53 | 40
1265.02/1265.47 c 1264s | 24 | 5837209 | 5031162 | 1594 7666 | 53 | 40
1267.02/1267.49 c 1266s | 24 | 5845500 | 5038462 | 1594 7675 | 53 | 40
1269.03/1269.50 c 1268s | 24 | 5854635 | 5046362 | 1594 7684 | 53 | 40
1271.12/1271.53 c 1270s | 24 | 5863866 | 5054462 | 1594 7694 | 53 | 40
1273.12/1273.53 c 1272s | 24 | 5872795 | 5062362 | 1594 7703 | 53 | 40
1273.72/1274.15 c 1273s | 25 | 5875868 | 5065098 | 1594 7706 | 53 | 40
1275.72/1276.18 c 1275s | 25 | 5884719 | 5072698 | 1594 7714 | 53 | 40
1277.71/1278.19 c 1277s | 25 | 5892773 | 5079598 | 1594 7722 | 53 | 40
1279.81/1280.20 c 1279s | 25 | 5899868 | 5085698 | 1594 7729 | 53 | 40
1281.81/1282.22 c 1281s | 25 | 5907725 | 5092398 | 1594 7737 | 53 | 40
1283.81/1284.24 c 1283s | 25 | 5915864 | 5099398 | 1594 7745 | 53 | 40
1285.81/1286.24 c 1285s | 25 | 5923924 | 5106298 | 1594 7753 | 53 | 40
1287.81/1288.26 c 1287s | 25 | 5931887 | 5112998 | 1594 7760 | 53 | 40
1289.80/1290.28 c 1289s | 25 | 5939632 | 5119598 | 1594 7768 | 53 | 40
1291.80/1292.29 c 1291s | 25 | 5947759 | 5126398 | 1594 7776 | 53 | 40
1293.90/1294.30 c 1293s | 25 | 5955660 | 5133098 | 1594 7784 | 53 | 40
1295.91/1296.31 c 1295s | 25 | 5964041 | 5139998 | 1594 7791 | 53 | 40
1297.91/1298.32 c 1297s | 25 | 5972742 | 5147398 | 1594 7800 | 53 | 40
1299.92/1300.33 c 1299s | 25 | 5981698 | 5154898 | 1594 7809 | 53 | 40
1301.91/1302.34 c 1301s | 25 | 5990177 | 5161998 | 1594 7817 | 53 | 40
1303.91/1304.36 c 1303s | 25 | 5998132 | 5168898 | 1594 7825 | 53 | 40
1305.90/1306.39 c 1305s | 25 | 6007128 | 5176298 | 1594 7833 | 53 | 40
1308.00/1308.41 c 1307s | 25 | 6015371 | 5183298 | 1594 7841 | 53 | 40
1310.00/1310.44 c 1309s | 25 | 6023266 | 5189998 | 1594 7849 | 53 | 40
1312.01/1312.47 c 1311s | 25 | 6030807 | 5196498 | 1594 7856 | 53 | 40
1314.00/1314.48 c 1313s | 25 | 6039274 | 5203598 | 1594 7864 | 53 | 40
1316.10/1316.50 c 1315s | 25 | 6047266 | 5210498 | 1594 7872 | 53 | 40
1318.10/1318.52 c 1317s | 25 | 6055691 | 5217398 | 1594 7880 | 53 | 40
1320.10/1320.54 c 1319s | 25 | 6064131 | 5224398 | 1594 7888 | 53 | 40
1322.10/1322.55 c 1321s | 25 | 6072431 | 5231398 | 1594 7896 | 53 | 40
1324.10/1324.55 c 1323s | 25 | 6080387 | 5238198 | 1594 7904 | 53 | 40
1326.09/1326.59 c 1325s | 25 | 6088215 | 5244898 | 1594 7912 | 53 | 40
1328.19/1328.60 c 1327s | 25 | 6096657 | 5251898 | 1594 7920 | 53 | 40
1330.19/1330.61 c 1329s | 25 | 6104924 | 5258698 | 1594 7927 | 53 | 40
1332.19/1332.63 c 1331s | 25 | 6112782 | 5265298 | 1594 7935 | 53 | 40
1334.19/1334.65 c 1333s | 25 | 6119708 | 5271398 | 1594 7942 | 53 | 40
1336.19/1336.67 c 1335s | 25 | 6127074 | 5277798 | 1594 7949 | 53 | 40
1338.18/1338.69 c 1337s | 25 | 6134582 | 5284098 | 1594 7957 | 53 | 40
1340.28/1340.70 c 1339s | 25 | 6142051 | 5290598 | 1594 7964 | 53 | 40
1342.28/1342.71 c 1341s | 25 | 6149438 | 5296898 | 1594 7971 | 53 | 40
1344.28/1344.71 c 1343s | 25 | 6157326 | 5303598 | 1594 7979 | 53 | 40
1346.28/1346.73 c 1345s | 25 | 6165230 | 5310198 | 1594 7986 | 53 | 40
1348.28/1348.75 c 1347s | 25 | 6173744 | 5317098 | 1594 7994 | 53 | 40
1350.27/1350.76 c 1349s | 25 | 6181535 | 5323698 | 1594 8002 | 53 | 40
1352.27/1352.78 c 1351s | 25 | 6189307 | 5330198 | 1594 8009 | 53 | 40
1354.27/1354.79 c 1353s | 25 | 6197634 | 5337198 | 1594 8017 | 53 | 40
1356.38/1356.81 c 1356s | 25 | 6205477 | 5343998 | 1594 8025 | 53 | 40
1358.38/1358.84 c 1358s | 25 | 6212700 | 5350198 | 1594 8032 | 53 | 40
1360.39/1360.86 c 1360s | 25 | 6219830 | 5356398 | 1594 8039 | 53 | 40
1362.38/1362.89 c 1362s | 25 | 6227311 | 5362898 | 1594 8046 | 53 | 40
1364.48/1364.91 c 1364s | 25 | 6235187 | 5369698 | 1594 8054 | 53 | 40
1366.48/1366.93 c 1366s | 25 | 6242617 | 5376098 | 1594 8061 | 53 | 40
1368.48/1368.95 c 1368s | 25 | 6249787 | 5382398 | 1594 8068 | 53 | 40
1370.48/1370.96 c 1370s | 25 | 6257677 | 5389098 | 1594 8076 | 53 | 40
1372.49/1372.97 c 1372s | 25 | 6265644 | 5395798 | 1594 8084 | 53 | 40
1374.48/1374.99 c 1374s | 25 | 6272807 | 5402098 | 1594 8091 | 53 | 40
1376.58/1377.00 c 1376s | 25 | 6280988 | 5408898 | 1594 8098 | 53 | 40
1378.58/1379.01 c 1378s | 25 | 6288399 | 5415198 | 1594 8106 | 53 | 40
1380.58/1381.02 c 1380s | 25 | 6296230 | 5421898 | 1594 8113 | 53 | 40
1382.58/1383.06 c 1382s | 25 | 6303690 | 5428298 | 1594 8121 | 53 | 40
1384.58/1385.08 c 1384s | 25 | 6311428 | 5434898 | 1594 8128 | 53 | 40
1386.58/1387.10 c 1386s | 25 | 6318963 | 5441398 | 1594 8135 | 53 | 40
1388.67/1389.10 c 1388s | 25 | 6327792 | 5448798 | 1594 8144 | 53 | 40
1390.67/1391.11 c 1390s | 25 | 6336757 | 5456198 | 1594 8153 | 53 | 40
1392.67/1393.11 c 1392s | 25 | 6345400 | 5463598 | 1594 8161 | 53 | 40
1394.67/1395.11 c 1394s | 25 | 6353961 | 5470798 | 1594 8169 | 53 | 40
1396.68/1397.13 c 1396s | 25 | 6362304 | 5477898 | 1594 8177 | 53 | 40
1398.67/1399.17 c 1398s | 25 | 6369602 | 5484398 | 1594 8185 | 53 | 40
1400.77/1401.20 c 1400s | 25 | 6377455 | 5490998 | 1594 8192 | 53 | 40
1402.77/1403.21 c 1402s | 25 | 6384592 | 5497198 | 1594 8199 | 53 | 40
1404.77/1405.24 c 1404s | 25 | 6392380 | 5503998 | 1594 8207 | 53 | 40
1406.77/1407.26 c 1406s | 25 | 6400575 | 5510998 | 1594 8215 | 53 | 40
1408.78/1409.27 c 1408s | 25 | 6408959 | 5518098 | 1594 8223 | 53 | 40
1410.77/1411.30 c 1410s | 25 | 6416827 | 5524798 | 1594 8231 | 53 | 40
1412.87/1413.32 c 1412s | 25 | 6424476 | 5531398 | 1594 8238 | 53 | 40
1414.87/1415.33 c 1414s | 25 | 6431818 | 5537698 | 1594 8246 | 53 | 40
1416.87/1417.36 c 1416s | 25 | 6439263 | 5544198 | 1594 8253 | 53 | 40
1418.87/1419.39 c 1418s | 25 | 6446289 | 5550298 | 1594 8260 | 53 | 40
1420.97/1421.40 c 1420s | 25 | 6453163 | 5556298 | 1594 8267 | 53 | 40
1422.98/1423.42 c 1422s | 25 | 6460708 | 5562798 | 1594 8274 | 53 | 40
1424.97/1425.44 c 1424s | 25 | 6469210 | 5569998 | 1594 8282 | 53 | 40
1426.97/1427.46 c 1426s | 25 | 6477662 | 5577198 | 1594 8291 | 53 | 40
1428.97/1429.48 c 1428s | 25 | 6485399 | 5583798 | 1594 8298 | 53 | 40
1430.97/1431.49 c 1430s | 25 | 6493499 | 5590798 | 1594 8306 | 53 | 40
1432.97/1433.49 c 1432s | 25 | 6501295 | 5597598 | 1594 8314 | 53 | 40
1434.96/1435.49 c 1434s | 25 | 6509387 | 5604398 | 1594 8322 | 53 | 40
1437.06/1437.50 c 1436s | 25 | 6517448 | 5611198 | 1594 8329 | 53 | 40
1439.06/1439.51 c 1438s | 25 | 6525338 | 5617998 | 1594 8337 | 53 | 40
1441.06/1441.52 c 1440s | 25 | 6532883 | 5624498 | 1594 8344 | 53 | 40
1443.06/1443.53 c 1442s | 25 | 6541194 | 5631398 | 1594 8352 | 53 | 40
1445.07/1445.55 c 1444s | 25 | 6549081 | 5637798 | 1594 8360 | 53 | 40
1447.06/1447.55 c 1446s | 25 | 6556258 | 5643798 | 1594 8366 | 53 | 40
1449.06/1449.57 c 1448s | 25 | 6564353 | 5650298 | 1594 8374 | 53 | 40
1451.06/1451.59 c 1450s | 25 | 6572418 | 5657098 | 1594 8382 | 53 | 40
1453.06/1453.59 c 1452s | 25 | 6579997 | 5663398 | 1594 8389 | 53 | 40
1455.16/1455.62 c 1454s | 25 | 6587529 | 5669798 | 1594 8396 | 53 | 40
1457.17/1457.63 c 1456s | 25 | 6595179 | 5676098 | 1594 8403 | 53 | 40
1459.16/1459.64 c 1458s | 25 | 6603099 | 5682598 | 1594 8411 | 53 | 40
1461.16/1461.67 c 1460s | 25 | 6611111 | 5689198 | 1594 8418 | 53 | 40
1463.16/1463.68 c 1462s | 25 | 6618800 | 5695598 | 1594 8426 | 53 | 40
1465.16/1465.70 c 1464s | 25 | 6626591 | 5701998 | 1594 8433 | 53 | 40
1467.26/1467.72 c 1466s | 25 | 6634676 | 5708698 | 1594 8440 | 53 | 40
1469.27/1469.73 c 1468s | 25 | 6642323 | 5715198 | 1594 8448 | 53 | 40
1471.26/1471.74 c 1470s | 25 | 6650368 | 5721798 | 1594 8455 | 53 | 40
1473.26/1473.77 c 1472s | 25 | 6657760 | 5728098 | 1594 8463 | 53 | 40
1475.26/1475.79 c 1474s | 25 | 6665232 | 5734398 | 1594 8470 | 53 | 40
1477.26/1477.80 c 1477s | 25 | 6672704 | 5740698 | 1594 8477 | 53 | 40
1479.36/1479.81 c 1479s | 25 | 6680280 | 5747198 | 1594 8485 | 53 | 40
1481.36/1481.82 c 1481s | 25 | 6688327 | 5753798 | 1594 8492 | 53 | 40
1483.35/1483.83 c 1483s | 25 | 6696533 | 5760598 | 1594 8500 | 53 | 40
1485.35/1485.85 c 1485s | 25 | 6703651 | 5766698 | 1594 8507 | 53 | 40
1487.35/1487.86 c 1487s | 25 | 6711618 | 5773398 | 1594 8515 | 53 | 40
1489.35/1489.87 c 1489s | 25 | 6720108 | 5780698 | 1594 8523 | 53 | 40
1491.35/1491.89 c 1491s | 25 | 6728182 | 5787598 | 1594 8531 | 53 | 40
1493.46/1493.93 c 1493s | 25 | 6736446 | 5794598 | 1594 8539 | 53 | 40
1495.45/1495.95 c 1495s | 25 | 6745001 | 5801898 | 1594 8547 | 53 | 40
1497.45/1497.96 c 1497s | 25 | 6753823 | 5809298 | 1594 8555 | 53 | 40
1499.45/1499.97 c 1499s | 25 | 6762382 | 5816598 | 1594 8564 | 53 | 40
1501.45/1501.97 c 1501s | 25 | 6770434 | 5823598 | 1594 8572 | 53 | 40
1503.45/1503.98 c 1503s | 25 | 6778811 | 5830598 | 1594 8580 | 53 | 40
1505.46/1505.99 c 1505s | 25 | 6787175 | 5837798 | 1594 8588 | 53 | 40
1507.55/1508.00 c 1507s | 25 | 6795510 | 5844798 | 1594 8596 | 53 | 40
1509.55/1510.02 c 1509s | 25 | 6803853 | 5851798 | 1594 8605 | 53 | 40
1511.55/1512.02 c 1511s | 25 | 6812666 | 5859198 | 1594 8613 | 53 | 40
1513.56/1514.05 c 1513s | 25 | 6821296 | 5866498 | 1594 8622 | 53 | 40
1515.56/1516.06 c 1515s | 25 | 6829260 | 5873298 | 1594 8629 | 53 | 40
1517.56/1518.08 c 1517s | 25 | 6837803 | 5880498 | 1594 8638 | 53 | 40
1519.56/1520.09 c 1519s | 25 | 6846048 | 5887498 | 1594 8646 | 53 | 40
1521.66/1522.10 c 1521s | 25 | 6854165 | 5894498 | 1594 8654 | 53 | 40
1523.66/1524.12 c 1523s | 25 | 6862653 | 5901698 | 1594 8662 | 53 | 40
1525.66/1526.14 c 1525s | 25 | 6870425 | 5908498 | 1594 8670 | 53 | 40
1527.65/1528.15 c 1527s | 25 | 6878619 | 5915498 | 1594 8678 | 53 | 40
1529.66/1530.17 c 1529s | 25 | 6887878 | 5923198 | 1594 8687 | 53 | 40
1531.75/1532.20 c 1531s | 25 | 6896523 | 5930498 | 1594 8695 | 53 | 40
1533.75/1534.22 c 1533s | 25 | 6904684 | 5937298 | 1594 8703 | 53 | 40
1535.75/1536.22 c 1535s | 25 | 6912768 | 5944098 | 1594 8711 | 53 | 40
1537.75/1538.23 c 1537s | 25 | 6920936 | 5951098 | 1594 8719 | 53 | 40
1539.75/1540.23 c 1539s | 25 | 6929116 | 5957798 | 1594 8727 | 53 | 40
1541.76/1542.24 c 1541s | 25 | 6938047 | 5965098 | 1594 8735 | 53 | 40
1543.75/1544.27 c 1543s | 25 | 6946683 | 5972398 | 1594 8743 | 53 | 40
1545.85/1546.30 c 1545s | 25 | 6954974 | 5979398 | 1594 8751 | 53 | 40
1547.85/1548.32 c 1547s | 25 | 6963316 | 5986498 | 1594 8760 | 53 | 40
1549.85/1550.34 c 1549s | 25 | 6972248 | 5993898 | 1594 8768 | 53 | 40
1551.85/1552.35 c 1551s | 25 | 6980763 | 6000898 | 1594 8776 | 53 | 40
1553.86/1554.36 c 1553s | 25 | 6989417 | 6008198 | 1594 8785 | 53 | 40
1555.85/1556.36 c 1555s | 25 | 6998251 | 6015598 | 1594 8793 | 53 | 40
1557.85/1558.37 c 1557s | 25 | 7006495 | 6022498 | 1594 8801 | 53 | 40
1559.85/1560.37 c 1559s | 25 | 7014918 | 6029398 | 1594 8809 | 53 | 40
1561.95/1562.40 c 1561s | 25 | 7023359 | 6036398 | 1594 8817 | 53 | 40
1563.95/1564.40 c 1563s | 25 | 7031187 | 6042898 | 1594 8825 | 53 | 40
1565.95/1566.43 c 1565s | 25 | 7039032 | 6049598 | 1594 8832 | 53 | 40
1567.95/1568.45 c 1567s | 25 | 7046888 | 6056198 | 1594 8840 | 53 | 40
1569.95/1570.46 c 1569s | 25 | 7054835 | 6062798 | 1594 8847 | 53 | 40
1571.95/1572.47 c 1571s | 25 | 7062904 | 6069498 | 1594 8855 | 53 | 40
1573.95/1574.47 c 1573s | 25 | 7071028 | 6076298 | 1594 8863 | 53 | 40
1576.05/1576.50 c 1575s | 25 | 7079474 | 6083298 | 1594 8871 | 53 | 40
1578.05/1578.52 c 1577s | 25 | 7087412 | 6089998 | 1594 8878 | 53 | 40
1580.04/1580.54 c 1579s | 25 | 7095401 | 6096698 | 1594 8886 | 53 | 40
1582.04/1582.56 c 1581s | 25 | 7103736 | 6103598 | 1594 8894 | 53 | 40
1584.04/1584.57 c 1583s | 25 | 7111623 | 6110298 | 1594 8902 | 53 | 40
1586.14/1586.60 c 1585s | 25 | 7119231 | 6116698 | 1594 8909 | 53 | 40
1588.14/1588.60 c 1587s | 25 | 7126822 | 6122898 | 1594 8916 | 53 | 40
1590.15/1590.63 c 1589s | 25 | 7134666 | 6129498 | 1594 8924 | 53 | 40
1592.14/1592.63 c 1591s | 25 | 7142491 | 6136098 | 1594 8931 | 53 | 40
1594.14/1594.64 c 1593s | 25 | 7150172 | 6142598 | 1594 8939 | 53 | 40
1596.14/1596.64 c 1595s | 25 | 7157874 | 6149098 | 1594 8946 | 53 | 40
1598.14/1598.64 c 1597s | 25 | 7165280 | 6155198 | 1594 8953 | 53 | 40
1600.14/1600.65 c 1599s | 25 | 7172538 | 6161198 | 1594 8960 | 53 | 40
1602.14/1602.66 c 1601s | 25 | 7179332 | 6166998 | 1594 8966 | 53 | 40
1604.14/1604.66 c 1603s | 25 | 7186311 | 6172998 | 1594 8973 | 53 | 40
1606.13/1606.69 c 1605s | 25 | 7194753 | 6179798 | 1594 8981 | 53 | 40
1608.23/1608.70 c 1607s | 25 | 7202748 | 6186398 | 1594 8989 | 53 | 40
1610.23/1610.72 c 1609s | 25 | 7210287 | 6192798 | 1594 8996 | 53 | 40
1612.24/1612.72 c 1611s | 25 | 7218800 | 6199898 | 1594 9004 | 53 | 40
1614.23/1614.72 c 1613s | 25 | 7226591 | 6206598 | 1594 9012 | 53 | 40
1616.24/1616.73 c 1615s | 25 | 7234839 | 6213398 | 1594 9020 | 53 | 40
1618.24/1618.75 c 1617s | 25 | 7243522 | 6220498 | 1594 9028 | 53 | 40
1620.24/1620.76 c 1619s | 25 | 7251832 | 6227498 | 1594 9036 | 53 | 40
1622.24/1622.76 c 1621s | 25 | 7260121 | 6234498 | 1594 9044 | 53 | 40
1624.25/1624.77 c 1623s | 25 | 7269053 | 6241798 | 1594 9052 | 53 | 40
1626.24/1626.77 c 1625s | 25 | 7277499 | 6248898 | 1594 9061 | 53 | 40
1628.24/1628.78 c 1627s | 25 | 7285709 | 6255898 | 1594 9069 | 53 | 40
1630.24/1630.78 c 1629s | 25 | 7293521 | 6262598 | 1594 9076 | 53 | 40
1632.34/1632.80 c 1632s | 25 | 7302148 | 6269798 | 1594 9085 | 53 | 40
1634.34/1634.82 c 1634s | 25 | 7310761 | 6276998 | 1594 9093 | 53 | 40
1636.34/1636.85 c 1636s | 25 | 7319326 | 6284198 | 1594 9101 | 53 | 40
1638.34/1638.85 c 1638s | 25 | 7327120 | 6290898 | 1594 9109 | 53 | 40
1640.34/1640.86 c 1640s | 25 | 7334954 | 6297498 | 1594 9117 | 53 | 40
1642.34/1642.89 c 1642s | 25 | 7343041 | 6304198 | 1594 9124 | 53 | 40
1644.44/1644.92 c 1644s | 25 | 7350825 | 6310698 | 1594 9132 | 53 | 40
1646.43/1646.94 c 1646s | 25 | 7358241 | 6317198 | 1594 9139 | 53 | 40
1648.44/1648.94 c 1648s | 25 | 7366603 | 6324298 | 1594 9147 | 53 | 40
1650.43/1650.96 c 1650s | 25 | 7375746 | 6331898 | 1594 9156 | 53 | 40
1652.43/1652.98 c 1652s | 25 | 7384198 | 6339098 | 1594 9164 | 53 | 40
1654.43/1654.99 c 1654s | 25 | 7392401 | 6346198 | 1594 9173 | 53 | 40
1656.43/1656.99 c 1656s | 25 | 7400375 | 6353098 | 1594 9181 | 53 | 40
1658.53/1659.02 c 1658s | 25 | 7408870 | 6360198 | 1594 9189 | 53 | 40
1660.54/1661.03 c 1660s | 25 | 7417038 | 6367098 | 1594 9197 | 53 | 40
1662.53/1663.04 c 1662s | 25 | 7425263 | 6373998 | 1594 9205 | 53 | 40
1664.53/1665.04 c 1664s | 25 | 7433780 | 6381098 | 1594 9213 | 53 | 40
1666.53/1667.06 c 1666s | 25 | 7442073 | 6388098 | 1594 9221 | 53 | 40
1668.53/1669.08 c 1668s | 25 | 7450254 | 6395098 | 1594 9229 | 53 | 40
1670.63/1671.10 c 1670s | 25 | 7457956 | 6401698 | 1594 9237 | 53 | 40
1672.64/1673.13 c 1672s | 25 | 7466113 | 6408698 | 1594 9245 | 53 | 40
1674.63/1675.15 c 1674s | 25 | 7473968 | 6415398 | 1594 9252 | 53 | 40
1676.63/1677.15 c 1676s | 25 | 7481595 | 6421898 | 1594 9260 | 53 | 40
1678.63/1679.18 c 1678s | 25 | 7488969 | 6428298 | 1594 9267 | 53 | 40
1680.73/1681.21 c 1680s | 25 | 7498163 | 6435998 | 1594 9276 | 53 | 40
1682.73/1683.21 c 1682s | 25 | 7505986 | 6442598 | 1594 9284 | 53 | 40
1684.73/1685.21 c 1684s | 25 | 7513271 | 6448998 | 1594 9291 | 53 | 40
1686.73/1687.23 c 1686s | 25 | 7521519 | 6455698 | 1594 9299 | 53 | 40
1688.73/1689.24 c 1688s | 25 | 7529740 | 6462598 | 1594 9307 | 53 | 40
1690.73/1691.25 c 1690s | 25 | 7537687 | 6469398 | 1594 9314 | 53 | 40
1692.73/1693.25 c 1692s | 25 | 7545132 | 6475898 | 1594 9322 | 53 | 40
1694.73/1695.26 c 1694s | 25 | 7553619 | 6482998 | 1594 9330 | 53 | 40
1696.72/1697.26 c 1696s | 25 | 7561498 | 6489598 | 1594 9338 | 53 | 40
1698.72/1699.29 c 1698s | 25 | 7569395 | 6496298 | 1594 9345 | 53 | 40
1700.82/1701.30 c 1700s | 25 | 7577051 | 6502798 | 1594 9353 | 53 | 40
1702.82/1703.31 c 1702s | 25 | 7585393 | 6509598 | 1594 9361 | 53 | 40
1704.82/1705.33 c 1704s | 25 | 7593485 | 6516598 | 1594 9369 | 53 | 40
1706.83/1707.35 c 1706s | 25 | 7601713 | 6523498 | 1594 9377 | 53 | 40
1708.82/1709.35 c 1708s | 25 | 7609380 | 6530098 | 1594 9384 | 53 | 40
1710.82/1711.38 c 1710s | 25 | 7617123 | 6536898 | 1594 9392 | 53 | 40
1712.92/1713.40 c 1712s | 25 | 7624717 | 6543398 | 1594 9400 | 53 | 40
1714.92/1715.42 c 1714s | 25 | 7632917 | 6550298 | 1594 9408 | 53 | 40
1716.92/1717.44 c 1716s | 25 | 7641416 | 6557398 | 1594 9416 | 53 | 40
1718.92/1719.47 c 1718s | 25 | 7650480 | 6564698 | 1594 9424 | 53 | 40
1720.92/1721.48 c 1720s | 25 | 7658441 | 6571498 | 1594 9432 | 53 | 40
1722.92/1723.49 c 1722s | 25 | 7667015 | 6578798 | 1594 9440 | 53 | 40
1725.02/1725.52 c 1724s | 25 | 7675316 | 6585798 | 1594 9448 | 53 | 40
1727.02/1727.54 c 1726s | 25 | 7683269 | 6592498 | 1594 9456 | 53 | 40
1729.02/1729.56 c 1728s | 25 | 7691327 | 6599298 | 1594 9464 | 53 | 40
1731.02/1731.57 c 1730s | 25 | 7698763 | 6605398 | 1594 9471 | 53 | 40
1733.01/1733.58 c 1732s | 25 | 7706737 | 6612198 | 1594 9478 | 53 | 40
1735.11/1735.60 c 1734s | 25 | 7714492 | 6618998 | 1594 9486 | 53 | 40
1737.12/1737.61 c 1736s | 25 | 7721963 | 6625498 | 1594 9494 | 53 | 40
1739.12/1739.63 c 1738s | 25 | 7729710 | 6632298 | 1594 9501 | 53 | 40
1741.12/1741.65 c 1740s | 25 | 7737299 | 6638898 | 1594 9509 | 53 | 40
1743.13/1743.65 c 1742s | 25 | 7744712 | 6645198 | 1594 9516 | 53 | 40
1745.12/1745.68 c 1744s | 25 | 7752458 | 6651698 | 1594 9523 | 53 | 40
1747.12/1747.68 c 1746s | 25 | 7759730 | 6657698 | 1594 9530 | 53 | 40
1749.22/1749.71 c 1748s | 25 | 7768084 | 6664698 | 1594 9538 | 53 | 40
1751.22/1751.73 c 1750s | 25 | 7776212 | 6671598 | 1594 9546 | 53 | 40
1753.22/1753.76 c 1752s | 25 | 7783722 | 6678098 | 1594 9553 | 53 | 40
1755.23/1755.77 c 1754s | 25 | 7790923 | 6684398 | 1594 9561 | 53 | 40
1757.22/1757.79 c 1756s | 25 | 7798342 | 6690798 | 1594 9568 | 53 | 40
1759.32/1759.81 c 1759s | 25 | 7805858 | 6697298 | 1594 9575 | 53 | 40
1761.32/1761.81 c 1761s | 25 | 7813143 | 6703498 | 1594 9582 | 53 | 40
1763.32/1763.82 c 1763s | 25 | 7820532 | 6709898 | 1594 9590 | 53 | 40
1765.32/1765.83 c 1765s | 25 | 7828362 | 6716498 | 1594 9597 | 53 | 40
1767.32/1767.83 c 1767s | 25 | 7835973 | 6722998 | 1594 9605 | 53 | 40
1769.32/1769.86 c 1769s | 25 | 7843704 | 6729698 | 1594 9612 | 53 | 40
1771.32/1771.86 c 1771s | 25 | 7851518 | 6736398 | 1594 9620 | 53 | 40
1773.32/1773.86 c 1773s | 25 | 7859574 | 6743198 | 1594 9628 | 53 | 40
1775.31/1775.89 c 1775s | 25 | 7867422 | 6749898 | 1594 9636 | 53 | 40
1777.31/1777.89 c 1777s | 25 | 7875128 | 6756398 | 1594 9643 | 53 | 40
1779.42/1779.92 c 1779s | 25 | 7883134 | 6763198 | 1594 9651 | 53 | 40
1781.41/1781.94 c 1781s | 25 | 7891035 | 6769998 | 1594 9658 | 53 | 40
1783.41/1783.95 c 1783s | 25 | 7898827 | 6776798 | 1594 9666 | 53 | 40
1785.41/1785.95 c 1785s | 25 | 7906059 | 6783198 | 1594 9673 | 53 | 40
1787.41/1787.96 c 1787s | 25 | 7913585 | 6789698 | 1594 9681 | 53 | 40
1789.41/1789.96 c 1789s | 25 | 7921284 | 6796398 | 1594 9688 | 53 | 40
1791.42/1791.97 c 1791s | 25 | 7928664 | 6802798 | 1594 9695 | 53 | 40
1793.41/1793.98 c 1793s | 25 | 7936250 | 6809298 | 1594 9703 | 53 | 40
1795.51/1796.00 c 1795s | 25 | 7943912 | 6815898 | 1594 9710 | 53 | 40
1797.51/1798.02 c 1797s | 25 | 7951622 | 6822598 | 1594 9718 | 53 | 40
1799.51/1800.04 c 1799s | 25 | 7959313 | 6829298 | 1594 9725 | 53 | 40
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-4117834-1467215713/watcher-4117834-1467215713 -o /tmp/evaluation-result-4117834-1467215713/solver-4117834-1467215713 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2001 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117834-1467215713.opb
pid=2670
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.20 2.22 2.18 3/179 2673
/proc/meminfo: memFree=28556764/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=579004 CPUtime=0 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 2138 0 0 0 0 0 0 0 20 0 4 0 598934 592900096 1988 33554432000 4194304 16246674 140735468213456 140735468212880 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 145263 1996 441 2943 0 142157 0
[pid=2673/tid=2674] ppid=2670 vsize=596412 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 610725888 2054 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=600508 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 614920192 2072 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=604604 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598935 619114496 2088 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.100132 s]
/proc/loadavg: 2.20 2.22 2.18 3/179 2673
/proc/meminfo: memFree=28556764/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 26090 0 0 0 5 3 0 0 20 0 4 0 598934 1247350784 25927 33554432000 4194304 16246674 140735468213456 140735468212880 13433937 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 304529 25931 783 2943 0 301423 0
[pid=2673/tid=2674] ppid=2670 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1247350784 25935 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1247350784 25940 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598935 1247350784 25945 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116
[startup+0.200486 s]
/proc/loadavg: 2.20 2.22 2.18 3/179 2673
/proc/meminfo: memFree=28556764/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 47132 0 0 0 13 6 0 0 20 0 4 0 598934 1247350784 46968 33554432000 4194304 16246674 140735468213456 140735468212880 5831697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 304529 46973 785 2943 0 301423 0
[pid=2673/tid=2674] ppid=2670 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1247350784 46978 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1247350784 46982 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598935 1247350784 46986 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300433 s]
/proc/loadavg: 2.20 2.22 2.18 3/179 2673
/proc/meminfo: memFree=28556764/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 65964 0 0 0 20 9 0 0 20 0 4 0 598934 1247350784 65801 33554432000 4194304 16246674 140735468213456 140735468212880 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 304529 65807 786 2943 0 301423 0
[pid=2673/tid=2674] ppid=2670 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1247350784 65812 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1247350784 65820 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598935 1247350784 65824 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700336 s]
/proc/loadavg: 2.20 2.22 2.18 3/179 2673
/proc/meminfo: memFree=28556764/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 146810 0 0 0 48 20 0 0 20 0 4 0 598934 1247350784 146646 33554432000 4194304 16246674 140735468213456 140735468195328 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 304529 146652 787 2943 0 301423 0
[pid=2673/tid=2674] ppid=2670 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1247350784 146657 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1247350784 146661 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598935 1247350784 146664 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116
[startup+1.50033 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 2677
/proc/meminfo: memFree=26762196/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 245746 0 0 0 117 32 0 0 20 0 4 0 598934 1248399360 245560 33554432000 4194304 16246674 140735468213456 140735468196456 5667556 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 304785 245560 847 2943 0 301679 0
[pid=2673/tid=2674] ppid=2670 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1248399360 245560 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1248399360 245560 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1248399360 245560 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140
[startup+3.10034 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 2677
/proc/meminfo: memFree=26523744/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 267459 0 0 0 274 35 0 0 20 0 4 0 598934 1337528320 267273 33554432000 4194304 16246674 140735468213456 140735468196456 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326545 267273 847 2943 0 323439 0
[pid=2673/tid=2674] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267273 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267273 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267273 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180
[startup+6.30039 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 2677
/proc/meminfo: memFree=26521980/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 267542 0 0 0 594 35 0 0 20 0 4 0 598934 1337528320 267356 33554432000 4194304 16246674 140735468213456 140735468195328 13943604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326545 267356 847 2943 0 323439 0
[pid=2673/tid=2674] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267356 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267356 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267356 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.24 2.22 2.19 4/183 2677
/proc/meminfo: memFree=26521340/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 267544 0 0 0 1233 35 0 0 20 0 4 0 598934 1337528320 267358 33554432000 4194304 16246674 140735468213456 140735468196456 5829943 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326545 267358 847 2943 0 323439 0
[pid=2673/tid=2674] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267358 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267358 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267358 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180
[startup+25.5005 s]
/proc/loadavg: 2.20 2.21 2.18 3/182 2677
/proc/meminfo: memFree=26522500/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 267563 0 0 0 2513 35 0 0 20 0 4 0 598934 1337528320 267377 33554432000 4194304 16246674 140735468213456 140735468195328 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326545 267377 849 2943 0 323439 0
[pid=2673/tid=2674] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267377 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267377 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267377 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180
[startup+51.1004 s]
/proc/loadavg: 2.13 2.20 2.18 3/181 2677
/proc/meminfo: memFree=26522484/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 267573 0 0 0 5072 36 0 0 20 0 4 0 598934 1337528320 267387 33554432000 4194304 16246674 140735468213456 140735468196456 5828648 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326545 267387 849 2943 0 323439 0
[pid=2673/tid=2674] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267387 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267387 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1337528320 267387 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.28 2.22 2.19 4/183 2680
/proc/meminfo: memFree=26521012/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 267692 0 0 0 10191 36 0 0 20 0 4 0 598934 1338576896 267506 33554432000 4194304 16246674 140735468213456 140735468195328 5667089 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326801 267506 849 2943 0 323695 0
[pid=2673/tid=2674] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267506 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267506 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267506 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204
################
# More data... #
################
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267881 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1307204
[startup+1362.3 s]
/proc/loadavg: 2.11 2.21 2.20 4/183 2734
/proc/meminfo: memFree=26512376/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1307204 CPUtime=1361.88 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 268288 0 0 0 136134 54 0 0 20 0 4 0 598934 1338576896 267916 33554432000 4194304 16246674 140735468213456 140735468195328 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326801 267916 851 2943 0 323695 0
[pid=2673/tid=2674] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1307204
[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.20 3/183 2735
/proc/meminfo: memFree=26512376/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1307204 CPUtime=1421.88 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 268288 0 0 0 142134 54 0 0 20 0 4 0 598934 1338576896 267916 33554432000 4194304 16246674 140735468213456 140735468195328 5661998 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326801 267916 851 2943 0 323695 0
[pid=2673/tid=2674] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1307204
[startup+1482.3 s]
/proc/loadavg: 2.13 2.19 2.19 3/183 2736
/proc/meminfo: memFree=26512376/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1307204 CPUtime=1481.85 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 268288 0 0 0 148131 54 0 0 20 0 4 0 598934 1338576896 267916 33554432000 4194304 16246674 140735468213456 140735468196456 6020448 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326801 267916 851 2943 0 323695 0
[pid=2673/tid=2674] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1307204
[startup+1542.31 s]
/proc/loadavg: 2.20 2.20 2.18 4/184 2740
/proc/meminfo: memFree=26512024/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1307204 CPUtime=1541.86 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 268288 0 0 0 154131 55 0 0 20 0 4 0 598934 1338576896 267916 33554432000 4194304 16246674 140735468213456 140735468195328 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326801 267916 851 2943 0 323695 0
[pid=2673/tid=2674] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1307204
[startup+1602.3 s]
/proc/loadavg: 2.33 2.22 2.19 3/183 2742
/proc/meminfo: memFree=26511788/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1307204 CPUtime=1601.84 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 268288 0 0 0 160129 55 0 0 20 0 4 0 598934 1338576896 267916 33554432000 4194304 16246674 140735468213456 140735468195328 12875598 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326801 267916 851 2943 0 323695 0
[pid=2673/tid=2674] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1307204
[startup+1662.3 s]
/proc/loadavg: 2.21 2.21 2.18 4/183 2743
/proc/meminfo: memFree=26511916/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1307204 CPUtime=1661.83 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 268288 0 0 0 166127 56 0 0 20 0 4 0 598934 1338576896 267916 33554432000 4194304 16246674 140735468213456 140735468195328 5823320 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326801 267916 851 2943 0 323695 0
[pid=2673/tid=2674] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1307204
[startup+1722.3 s]
/proc/loadavg: 2.16 2.20 2.18 4/183 2744
/proc/meminfo: memFree=26511796/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1307204 CPUtime=1721.82 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 268288 0 0 0 172126 56 0 0 20 0 4 0 598934 1338576896 267916 33554432000 4194304 16246674 140735468213456 140735468195328 5523416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326801 267916 851 2943 0 323695 0
[pid=2673/tid=2674] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1307204
[startup+1782.3 s]
/proc/loadavg: 2.15 2.19 2.18 4/183 2745
/proc/meminfo: memFree=26511544/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1307204 CPUtime=1781.81 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 268288 0 0 0 178124 57 0 0 20 0 4 0 598934 1338576896 267916 33554432000 4194304 16246674 140735468213456 140735468196456 12483009 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326801 267916 851 2943 0 323695 0
[pid=2673/tid=2674] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1307204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.11 2.18 2.17 3/183 2745
/proc/meminfo: memFree=26511548/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1307204 CPUtime=1800.01 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 268288 0 0 0 179944 57 0 0 20 0 4 0 598934 1338576896 267916 33554432000 4194304 16246674 140735468213456 140735468195328 5823793 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326801 267916 851 2943 0 323695 0
[pid=2673/tid=2674] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 2673 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.11 2.18 2.17 3/183 2745
/proc/meminfo: memFree=26511548/32872528 swapFree=1553660/1717180
[pid=2673] ppid=2670 vsize=1307204 CPUtime=1800.01 cores=1,3,5,7
/proc/2673/stat : 2673 (toysat) R 2670 2673 1984 0 -1 4202496 268288 0 0 0 179944 57 0 0 20 0 4 0 598934 1338576896 267916 33554432000 4194304 16246674 140735468213456 140735468195328 5823793 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2673/statm: 326801 267916 851 2943 0 323695 0
[pid=2673/tid=2674] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2674/stat : 2674 (toysat) S 2670 2673 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842993237232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2673/tid=2675] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2675/stat : 2675 (toysat) S 2670 2673 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842982747376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2673/tid=2676] ppid=2670 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2673/task/2676/stat : 2676 (toysat) S 2670 2673 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 598935 1338576896 267916 33554432000 4194304 16246674 140735468213456 139842972273840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1307204
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.45
CPU system time (s): 0.575912
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1307204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.575912
maximum resident set size= 1071664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268288
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= 454
involuntary context switches= 1837
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64629 second user time and 6.88395 second system time
The end