0.00/0.00 c 2016-06-29T17:25:11+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-4117519-1467213911.opb"]
0.00/0.01 c use --random-gen="2673121702 1981433906 2867418285 2174704608 1824634149 1557785850 2525525936 4138901974 1384646214 1263347722 2819619029 3258725472 1247814442 12980054 2192389746 4243184486 4204428762 306618561 495018835 197114737 1093915087 2274342177 2421808161 2165771135 984700010 2040766231 1278114779 2442364100 2547698804 3237575624 762084858 2003152577 3412028756 205725807 1613667600 77554789 691097226 4222806115 118770591 3306450176 4086955971 565111594 4083514377 2308405245 2042667936 2248757343 2141397233 1210661898 1377611811 530529851 3694999587 3524371108 1636732413 3349105736 1805645741 466269835 2349103652 3930695912 3763059652 1950659688 783526400 4000801560 1734137443 196988694 2185270598 1815441954 107324931 4093691880 2284877315 1559519346 2500896490 2156693805 1453440240 3520818558 613385823 154243694 2073131189 982315039 1794965166 1584319299 4154045278 1554831428 14558131 2595483549 987361804 4043668451 1457968641 3804416420 4139660897 4230384967 155797369 1231098551 1867082947 929965561 1195195189 1267539411 1728739727 272126213 2912292805 2712468371 3929427864 621549886 3564615347 2851717715 83106303 3402920530 2449094928 1878761621 728739434 205352795 2623125590 1066426214 4093111269 3776497035 1699581656 4060747478 1551379515 1674459077 3032159944 1517550349 4281135422 819909311 1126945762 4268498853 1275767446 3388706600 4207601945 2467049975 2648606254 733811766 3102697304 423333549 3100907416 1898657779 4285825825 3009830428 2571553453 2447541535 3348448841 4253434215 1004850625 129426596 2438745442 3007458483 1757578514 845961944 2972888239 3213092714 2959681486 335928882 590403801 4282340790 1407243250 2373305428 4192454188 2504426589 972104685 3805520994 3409403659 2081989462 4094756393 2689178503 2967698475 2826009632 894209061 1305505956 3462515981 958329568 1076188545 2282526008 3658007655 4020377297 3833231139 3256571463 2670481239 1952980265 1818348587 1553229674 1216003595 689991303 838722364 2450295646 2054437349 3230435542 371325271 1304616041 1449865210 2062618473 2491467962 1521220784 1780265490 3919228086 1819789137 719951822 342067897 3771866125 2835870012 880661449 4131317190 2887644609 2683987913 2498948302 4145017188 400817651 882666643 609748848 1162522085 3703983592 2919858317 816334131 2750937707 3865747351 1668830523 87752498 4206577263 3763777031 1132622873 451700152 794924132 3318222750 2557655409 1252274210 40163770 532966929 2912874797 4077639381 2059480239 4161144960 934584495 2254319208 2818769386 3368196503 2858464788 443292752 92280102 2100034398 334286802 1054021374 2953655895 2218446356 2302624442 786264974 3138636946 3057359450 2150525096 737303741 2676111808 2418467707 1547361249 2325394686 3353447358 3755224619 4252490691 616160501 405015207 567857008 255 362436" option to reproduce the execution
0.00/0.01 c #vars 196
0.00/0.01 c #constraints 82
0.00/0.02 c BCD2: Hardening is enabled.
0.00/0.02 c BCD2: BiasedSearch is enabled.
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 112 0 | 29 | 0
0.00/0.03 c 0.0s | 1 | 140 | 100 | 112 0 | 29 | 0
0.00/0.05 c 0.0s | 2 | 352 | 250 | 124 1 | 29 | 0
0.00/0.06 c 0.0s | 2 | 423 | 286 | 137 1 | 29 | 0
0.00/0.06 c #cpu_time = 0.041s
0.00/0.06 c #wall_clock_time = 0.041s
0.00/0.06 c #decision = 423
0.00/0.06 c #random_decision = 2
0.00/0.06 c #conflict = 286
0.00/0.06 c #restart = 2
0.00/0.06 o 100
0.00/0.06 c BCD2: updating upper bound: 196 -> 99
0.00/0.06 c BCD2: 0 <= obj <= 99
0.00/0.06 c BCD2: #cores=0, #unrelaxed=196, #relaxed=0, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 137 0 | 29 | 0
0.00/0.06 c 0.0s | 0 | 0 | 0 | 137 1 | 29 | 0
0.00/0.06 c #cpu_time = 0.002s
0.00/0.06 c #wall_clock_time = 0.002s
0.00/0.06 c #decision = 0
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 1
0.00/0.06 c BCD2: 1 <= obj <= 99
0.00/0.06 c BCD2: #cores=1, #unrelaxed=195, #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 | 137 0 | 29 | 0
0.00/0.06 c 0.0s | 0 | 5 | 0 | 137 0 | 29 | 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 = 5
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 5: 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 <= 99
0.00/0.06 c BCD2: #cores=2, #unrelaxed=190, #relaxed=6, #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 | 137 0 | 29 | 0
0.00/0.06 c 0.0s | 0 | 5 | 0 | 137 0 | 29 | 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 = 5
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 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 <= 99
0.00/0.06 c BCD2: #cores=3, #unrelaxed=189, #relaxed=7, #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 | 137 0 | 29 | 0
0.00/0.06 c 0.0s | 0 | 7 | 1 | 137 0 | 29 | 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 = 1
0.00/0.06 c #restart = 0
0.00/0.06 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.06 c lower bound updated to 4
0.00/0.06 c BCD2: 4 <= obj <= 99
0.00/0.06 c BCD2: #cores=3, #unrelaxed=185, #relaxed=11, #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 | 137 0 | 30 | 0
0.00/0.06 c 0.0s | 0 | 3 | 0 | 137 0 | 30 | 1
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 = 3
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 5
0.00/0.06 c BCD2: 5 <= obj <= 99
0.00/0.06 c BCD2: #cores=4, #unrelaxed=184, #relaxed=12, #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 | 137 0 | 30 | 1
0.00/0.06 c 0.0s | 0 | 7 | 0 | 137 0 | 30 | 1
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.07 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.07 c lower bound updated to 6
0.00/0.07 c BCD2: 6 <= obj <= 99
0.00/0.07 c BCD2: #cores=5, #unrelaxed=180, #relaxed=16, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 137 0 | 30 | 1
0.00/0.07 c 0.0s | 0 | 8 | 1 | 137 0 | 30 | 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 = 8
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 3 and merging with 1 cores into a new core of size 7: cost of the new core is >=2
0.00/0.07 c lower bound updated to 7
0.00/0.07 c BCD2: 7 <= obj <= 99
0.00/0.07 c BCD2: #cores=5, #unrelaxed=177, #relaxed=19, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 137 0 | 31 | 1
0.00/0.07 c 0.0s | 0 | 8 | 1 | 137 0 | 31 | 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 = 8
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 3 and merging with 1 cores into a new core of size 10: cost of the new core is >=3
0.00/0.07 c lower bound updated to 8
0.00/0.07 c BCD2: 8 <= obj <= 99
0.00/0.07 c BCD2: #cores=5, #unrelaxed=174, #relaxed=22, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 137 0 | 32 | 2
0.00/0.07 c 0.0s | 0 | 5 | 0 | 137 0 | 32 | 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 = 5
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.07 c lower bound updated to 9
0.00/0.07 c BCD2: 9 <= obj <= 99
0.00/0.07 c BCD2: #cores=6, #unrelaxed=173, #relaxed=23, #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 | 137 0 | 32 | 3
0.00/0.07 c 0.0s | 0 | 10 | 0 | 137 0 | 32 | 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 = 10
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 4: 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 <= 99
0.00/0.07 c BCD2: #cores=7, #unrelaxed=169, #relaxed=27, #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 | 137 0 | 32 | 3
0.00/0.07 c 0.0s | 0 | 11 | 1 | 137 0 | 32 | 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 = 11
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 3 and merging with 1 cores into a new core of size 7: 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 <= 99
0.00/0.07 c BCD2: #cores=7, #unrelaxed=166, #relaxed=30, #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 | 137 0 | 33 | 3
0.00/0.07 c 0.0s | 0 | 11 | 1 | 137 0 | 33 | 4
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 11
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 1
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 10: cost of the new core is >=3
0.00/0.07 c lower bound updated to 12
0.00/0.07 c BCD2: 12 <= obj <= 99
0.00/0.07 c BCD2: #cores=7, #unrelaxed=163, #relaxed=33, #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 | 137 0 | 34 | 4
0.00/0.07 c 0.0s | 0 | 9 | 0 | 137 0 | 34 | 5
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 9
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 1: 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 <= 99
0.00/0.07 c BCD2: #cores=8, #unrelaxed=162, #relaxed=34, #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 | 137 0 | 34 | 5
0.00/0.07 c 0.0s | 0 | 18 | 0 | 137 0 | 34 | 5
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 = 18
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 9: 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 <= 99
0.00/0.07 c BCD2: #cores=9, #unrelaxed=153, #relaxed=43, #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 | 137 0 | 34 | 5
0.00/0.08 c 0.0s | 0 | 23 | 0 | 137 0 | 34 | 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 = 23
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 9: cost of the new core is >=1
0.00/0.08 c lower bound updated to 15
0.00/0.08 c BCD2: 15 <= obj <= 99
0.00/0.08 c BCD2: #cores=10, #unrelaxed=144, #relaxed=52, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 137 0 | 34 | 5
0.00/0.08 c 0.0s | 0 | 20 | 1 | 137 0 | 34 | 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 = 20
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 16: 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 <= 99
0.00/0.08 c BCD2: #cores=10, #unrelaxed=137, #relaxed=59, #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 | 137 0 | 35 | 5
0.00/0.08 c 0.0s | 0 | 20 | 0 | 137 0 | 35 | 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 = 20
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 17
0.00/0.08 c BCD2: 17 <= obj <= 99
0.00/0.08 c BCD2: #cores=11, #unrelaxed=129, #relaxed=67, #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 | 137 0 | 35 | 6
0.00/0.08 c 0.0s | 0 | 25 | 0 | 137 0 | 35 | 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 = 25
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 7: 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 <= 99
0.00/0.08 c BCD2: #cores=12, #unrelaxed=122, #relaxed=74, #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 | 137 0 | 35 | 6
0.00/0.08 c 0.0s | 0 | 26 | 1 | 137 0 | 35 | 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 = 26
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 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.00/0.08 c lower bound updated to 19
0.00/0.08 c BCD2: 19 <= obj <= 99
0.00/0.08 c BCD2: #cores=12, #unrelaxed=116, #relaxed=80, #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 | 137 0 | 36 | 6
0.00/0.08 c 0.0s | 0 | 29 | 0 | 137 0 | 36 | 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 = 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 9: cost of the new core is >=1
0.00/0.08 c lower bound updated to 20
0.00/0.08 c BCD2: 20 <= obj <= 99
0.00/0.08 c BCD2: #cores=13, #unrelaxed=107, #relaxed=89, #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 | 137 0 | 36 | 7
0.00/0.08 c 0.0s | 0 | 35 | 0 | 137 0 | 36 | 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 = 35
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 9: 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 <= 99
0.00/0.08 c BCD2: #cores=14, #unrelaxed=98, #relaxed=98, #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 | 137 0 | 36 | 7
0.00/0.08 c 0.0s | 0 | 29 | 0 | 137 0 | 36 | 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 = 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 6: cost of the new core is >=1
0.00/0.08 c lower bound updated to 22
0.00/0.08 c BCD2: 22 <= obj <= 99
0.00/0.08 c BCD2: #cores=15, #unrelaxed=92, #relaxed=104, #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.08 c 0.0s | 0 | 0 | 0 | 137 0 | 36 | 7
0.00/0.09 c 0.0s | 0 | 36 | 0 | 137 0 | 36 | 7
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 = 36
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 9: 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 <= 99
0.00/0.09 c BCD2: #cores=16, #unrelaxed=83, #relaxed=113, #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 | 137 0 | 36 | 7
0.00/0.09 c 0.0s | 0 | 30 | 0 | 137 0 | 36 | 7
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 = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.09 c lower bound updated to 24
0.00/0.09 c BCD2: 24 <= obj <= 99
0.00/0.09 c BCD2: #cores=17, #unrelaxed=79, #relaxed=117, #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 | 137 0 | 36 | 7
0.00/0.09 c 0.0s | 0 | 35 | 0 | 137 0 | 36 | 7
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 = 35
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 8: cost of the new core is >=1
0.00/0.09 c lower bound updated to 25
0.00/0.09 c BCD2: 25 <= obj <= 99
0.00/0.09 c BCD2: #cores=18, #unrelaxed=71, #relaxed=125, #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 | 137 0 | 36 | 7
0.00/0.09 c 0.0s | 0 | 34 | 1 | 137 0 | 36 | 7
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 = 34
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 13: cost of the new core is >=2
0.00/0.09 c lower bound updated to 26
0.00/0.09 c BCD2: 26 <= obj <= 99
0.00/0.09 c BCD2: #cores=18, #unrelaxed=66, #relaxed=130, #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 | 137 0 | 37 | 7
0.00/0.09 c 0.0s | 0 | 31 | 0 | 137 0 | 37 | 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 = 31
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 1: cost of the new core is >=1
0.00/0.09 c lower bound updated to 27
0.00/0.09 c BCD2: 27 <= obj <= 99
0.00/0.09 c BCD2: #cores=19, #unrelaxed=65, #relaxed=131, #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 | 137 0 | 37 | 8
0.00/0.09 c 0.0s | 0 | 36 | 0 | 137 0 | 37 | 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 = 36
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 7: cost of the new core is >=1
0.00/0.09 c lower bound updated to 28
0.00/0.09 c BCD2: 28 <= obj <= 99
0.00/0.09 c BCD2: #cores=20, #unrelaxed=58, #relaxed=138, #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 | 137 0 | 37 | 8
0.00/0.09 c 0.0s | 0 | 36 | 1 | 137 0 | 37 | 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 = 36
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 12: cost of the new core is >=2
0.00/0.09 c lower bound updated to 29
0.00/0.09 c BCD2: 29 <= obj <= 99
0.00/0.09 c BCD2: #cores=20, #unrelaxed=53, #relaxed=143, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=30 bias=30/31
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 | 137 0 | 38 | 8
0.00/0.09 c 0.0s | 0 | 32 | 0 | 137 0 | 38 | 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 = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.09 c lower bound updated to 30
0.00/0.09 c BCD2: 30 <= obj <= 99
0.00/0.09 c BCD2: #cores=21, #unrelaxed=52, #relaxed=144, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=31 bias=31/32
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 | 137 0 | 38 | 9
0.09/0.10 c 0.0s | 0 | 33 | 0 | 137 0 | 38 | 9
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 33
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.10 c lower bound updated to 31
0.09/0.10 c BCD2: 31 <= obj <= 99
0.09/0.10 c BCD2: #cores=22, #unrelaxed=51, #relaxed=145, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=32 bias=32/33
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 137 0 | 38 | 9
0.09/0.10 c 0.0s | 0 | 34 | 0 | 137 0 | 38 | 9
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 34
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.10 c lower bound updated to 32
0.09/0.10 c BCD2: 32 <= obj <= 99
0.09/0.10 c BCD2: #cores=23, #unrelaxed=50, #relaxed=146, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=33 bias=33/34
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 137 0 | 38 | 9
0.09/0.10 c 0.0s | 0 | 40 | 1 | 137 0 | 38 | 9
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 40
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 1
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 12: cost of the new core is >=2
0.09/0.10 c lower bound updated to 33
0.09/0.10 c BCD2: 33 <= obj <= 99
0.09/0.10 c BCD2: #cores=23, #unrelaxed=44, #relaxed=152, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=34 bias=34/35
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 137 0 | 39 | 9
0.09/0.10 c 0.0s | 0 | 38 | 0 | 137 0 | 39 | 10
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 38
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.10 c lower bound updated to 34
0.09/0.10 c BCD2: 34 <= obj <= 99
0.09/0.10 c BCD2: #cores=24, #unrelaxed=43, #relaxed=153, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=35 bias=35/36
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 137 0 | 39 | 10
0.09/0.10 c 0.0s | 0 | 39 | 0 | 137 0 | 39 | 10
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 39
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.10 c lower bound updated to 35
0.09/0.10 c BCD2: 35 <= obj <= 99
0.09/0.10 c BCD2: #cores=25, #unrelaxed=42, #relaxed=154, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=36 bias=36/37
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 137 0 | 39 | 10
0.09/0.10 c 0.0s | 0 | 41 | 0 | 137 0 | 39 | 10
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 41
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.10 c lower bound updated to 36
0.09/0.10 c BCD2: 36 <= obj <= 99
0.09/0.10 c BCD2: #cores=26, #unrelaxed=41, #relaxed=155, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=37 bias=37/38
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 137 0 | 39 | 10
0.09/0.10 c 0.0s | 0 | 45 | 0 | 137 0 | 39 | 10
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 45
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 4: cost of the new core is >=1
0.09/0.10 c lower bound updated to 37
0.09/0.10 c BCD2: 37 <= obj <= 99
0.09/0.10 c BCD2: #cores=27, #unrelaxed=37, #relaxed=159, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=38 bias=38/39
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 137 0 | 39 | 10
0.09/0.10 c 0.0s | 0 | 44 | 0 | 137 0 | 39 | 10
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 44
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 5: cost of the new core is >=1
0.09/0.10 c lower bound updated to 38
0.09/0.10 c BCD2: 38 <= obj <= 99
0.09/0.10 c BCD2: #cores=28, #unrelaxed=32, #relaxed=164, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=39 bias=39/40
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 137 0 | 39 | 10
0.09/0.11 c 0.0s | 0 | 41 | 0 | 137 0 | 39 | 10
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 41
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 3: cost of the new core is >=1
0.09/0.11 c lower bound updated to 39
0.09/0.11 c BCD2: 39 <= obj <= 99
0.09/0.11 c BCD2: #cores=29, #unrelaxed=29, #relaxed=167, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=40 bias=40/41
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 137 0 | 39 | 10
0.09/0.11 c 0.0s | 0 | 40 | 0 | 137 0 | 39 | 10
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 40
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.11 c lower bound updated to 40
0.09/0.11 c BCD2: 40 <= obj <= 99
0.09/0.11 c BCD2: #cores=30, #unrelaxed=28, #relaxed=168, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=41 bias=41/42
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 137 0 | 39 | 10
0.09/0.11 c 0.0s | 0 | 41 | 0 | 137 0 | 39 | 10
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 41
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.11 c lower bound updated to 41
0.09/0.11 c BCD2: 41 <= obj <= 99
0.09/0.11 c BCD2: #cores=31, #unrelaxed=27, #relaxed=169, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=42 bias=42/43
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 137 0 | 39 | 10
0.09/0.11 c 0.0s | 0 | 42 | 0 | 137 0 | 39 | 10
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 42
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.11 c lower bound updated to 42
0.09/0.11 c BCD2: 42 <= obj <= 99
0.09/0.11 c BCD2: #cores=32, #unrelaxed=25, #relaxed=171, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=43 bias=43/44
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 137 0 | 39 | 11
0.09/0.11 c 0.0s | 0 | 75 | 4 | 137 0 | 39 | 11
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 75
0.09/0.11 c #random_decision = 1
0.09/0.11 c #conflict = 4
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 10: cost of the new core is >=3
0.09/0.11 c lower bound updated to 43
0.09/0.11 c BCD2: 43 <= obj <= 99
0.09/0.11 c BCD2: #cores=31, #unrelaxed=23, #relaxed=173, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=44 bias=44/45
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 137 0 | 41 | 11
0.09/0.12 c 0.0s | 1 | 243 | 100 | 137 0 | 41 | 13
0.09/0.13 c 0.0s | 1 | 488 | 184 | 151 1 | 41 | 13
0.09/0.13 c #cpu_time = 0.022s
0.09/0.13 c #wall_clock_time = 0.022s
0.09/0.13 c #decision = 488
0.09/0.13 c #random_decision = 2
0.09/0.13 c #conflict = 184
0.09/0.13 c #restart = 1
0.09/0.13 c BCD2: relaxing 7 and merging with 9 cores into a new core of size 80: cost of the new core is >=11
0.09/0.13 c lower bound updated to 44
0.09/0.13 c BCD2: 44 <= obj <= 99
0.09/0.13 c BCD2: #cores=23, #unrelaxed=16, #relaxed=180, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=45 bias=45/46
0.09/0.13 c Solving starts ...
0.09/0.13 c ============================[ Search Statistics ]============================
0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.13 c | | | | Limit GC | Var | Constra
0.09/0.13 c =============================================================================
0.09/0.13 c 0.0s | 0 | 0 | 0 | 151 0 | 50 | 13
0.09/0.15 c 0.0s | 1 | 156 | 100 | 151 0 | 50 | 22
0.09/0.17 c 0.0s | 2 | 374 | 250 | 151 1 | 50 | 22
0.19/0.21 c 0.1s | 3 | 683 | 475 | 167 3 | 50 | 22
0.19/0.21 c 0.1s | 3 | 847 | 532 | 167 3 | 51 | 23
0.19/0.21 c #cpu_time = 0.079s
0.19/0.21 c #wall_clock_time = 0.079s
0.19/0.21 c #decision = 847
0.19/0.21 c #random_decision = 4
0.19/0.21 c #conflict = 532
0.19/0.21 c #restart = 3
0.19/0.21 c BCD2: updating lower bound of a core
0.19/0.21 c lower bound updated to 48
0.19/0.21 c BCD2: 48 <= obj <= 99
0.19/0.21 c BCD2: #cores=23, #unrelaxed=16, #relaxed=180, #hardened=0
0.19/0.21 c BCD2: #sat=1 #unsat=46 bias=46/47
0.19/0.21 c Solving starts ...
0.19/0.21 c ============================[ Search Statistics ]============================
0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.21 c | | | | Limit GC | Var | Constra
0.19/0.21 c =============================================================================
0.19/0.21 c 0.0s | 0 | 0 | 0 | 167 0 | 51 | 24
0.19/0.23 c 0.0s | 1 | 251 | 100 | 167 0 | 51 | 24
0.19/0.23 c 0.0s | 1 | 475 | 166 | 167 1 | 52 | 25
0.19/0.23 c #cpu_time = 0.020s
0.19/0.23 c #wall_clock_time = 0.020s
0.19/0.23 c #decision = 475
0.19/0.23 c #random_decision = 1
0.19/0.23 c #conflict = 166
0.19/0.23 c #restart = 1
0.19/0.23 c BCD2: updating lower bound of a core
0.19/0.23 c lower bound updated to 52
0.19/0.24 c BCD2: 52 <= obj <= 99
0.19/0.24 c BCD2: #cores=23, #unrelaxed=16, #relaxed=180, #hardened=0
0.19/0.24 c BCD2: #sat=1 #unsat=47 bias=47/48
0.19/0.24 c Solving starts ...
0.19/0.24 c ============================[ Search Statistics ]============================
0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.24 c | | | | Limit GC | Var | Constra
0.19/0.24 c =============================================================================
0.19/0.24 c 0.0s | 0 | 0 | 0 | 167 0 | 52 | 26
0.19/0.25 c 0.0s | 1 | 182 | 100 | 167 0 | 52 | 26
0.19/0.27 c 0.0s | 2 | 426 | 250 | 184 1 | 52 | 26
0.29/0.31 c 0.1s | 3 | 758 | 475 | 184 2 | 52 | 26
0.29/0.37 c 0.1s | 4 | 1199 | 813 | 184 5 | 52 | 26
0.39/0.45 c 0.2s | 5 | 1864 | 1320 | 203 8 | 52 | 26
0.49/0.59 c 0.3s | 6 | 2881 | 2081 | 224 12 | 52 | 26
0.69/0.75 c 0.5s | 7 | 4353 | 3223 | 224 19 | 52 | 26
0.99/1.04 c 0.8s | 8 | 6324 | 4936 | 247 29 | 52 | 26
1.39/1.41 c 1.2s | 9 | 9354 | 7506 | 272 42 | 52 | 26
1.89/1.96 c 1.7s | 10 | 13969 | 11361 | 300 61 | 52 | 26
2.79/2.86 c 2.6s | 11 | 20865 | 17144 | 330 88 | 52 | 26
4.09/4.15 c 3.9s | 12 | 31084 | 25819 | 364 125 | 52 | 26
6.09/6.15 c 5.9s | 12 | 46562 | 38819 | 401 177 | 52 | 26
6.09/6.16 c 5.9s | 13 | 46575 | 38832 | 401 177 | 52 | 26
8.09/8.16 c 7.9s | 13 | 61875 | 52132 | 401 229 | 52 | 26
9.09/9.11 c 8.9s | 14 | 68981 | 58352 | 442 253 | 52 | 26
11.09/11.13 c 10.9s | 14 | 82680 | 70052 | 442 294 | 52 | 26
13.09/13.13 c 12.9s | 14 | 95953 | 81652 | 442 334 | 52 | 26
14.09/14.14 c 13.9s | 15 | 103066 | 87632 | 487 355 | 52 | 26
16.08/16.14 c 15.9s | 15 | 117370 | 99832 | 487 396 | 52 | 26
18.08/18.14 c 17.9s | 15 | 131152 | 111632 | 487 435 | 52 | 26
20.09/20.16 c 19.9s | 15 | 144626 | 123232 | 487 473 | 52 | 26
21.49/21.59 c 21.4s | 16 | 154480 | 131552 | 536 500 | 52 | 26
23.49/23.59 c 23.4s | 16 | 167630 | 142852 | 536 535 | 52 | 26
25.49/25.60 c 25.4s | 16 | 180741 | 154152 | 536 569 | 52 | 26
27.59/27.61 c 27.4s | 16 | 193334 | 164952 | 536 602 | 52 | 26
29.58/29.62 c 29.4s | 16 | 206676 | 176452 | 536 637 | 52 | 26
31.58/31.63 c 31.4s | 16 | 221047 | 188652 | 536 674 | 52 | 26
33.29/33.31 c 33.1s | 17 | 231182 | 197432 | 590 700 | 52 | 26
35.30/35.31 c 35.1s | 17 | 244465 | 208832 | 590 731 | 52 | 26
37.29/37.33 c 37.1s | 17 | 257853 | 220132 | 590 763 | 52 | 26
39.29/39.34 c 39.1s | 17 | 270995 | 231332 | 590 794 | 52 | 26
41.28/41.35 c 41.1s | 17 | 284806 | 243032 | 590 826 | 52 | 26
43.28/43.36 c 43.1s | 17 | 298076 | 254432 | 590 858 | 52 | 26
45.28/45.36 c 45.1s | 17 | 311828 | 266032 | 590 890 | 52 | 26
47.29/47.37 c 47.1s | 17 | 324369 | 276932 | 590 920 | 52 | 26
49.28/49.37 c 49.1s | 17 | 338231 | 288532 | 590 952 | 52 | 26
50.78/50.80 c 50.6s | 18 | 347390 | 296252 | 649 973 | 52 | 26
52.79/52.82 c 52.6s | 18 | 369044 | 311752 | 649 1013 | 52 | 26
54.78/54.82 c 54.6s | 18 | 388640 | 326252 | 649 1051 | 52 | 26
56.78/56.83 c 56.6s | 18 | 406868 | 340052 | 649 1087 | 52 | 26
58.78/58.83 c 58.6s | 18 | 426821 | 354452 | 649 1124 | 52 | 26
60.78/60.85 c 60.6s | 18 | 446494 | 369052 | 649 1162 | 52 | 26
62.78/62.85 c 62.6s | 18 | 466539 | 383652 | 649 1200 | 52 | 26
64.78/64.86 c 64.6s | 18 | 486292 | 398052 | 649 1237 | 52 | 26
66.78/66.87 c 66.6s | 18 | 505813 | 412652 | 649 1275 | 52 | 26
68.78/68.87 c 68.6s | 18 | 523626 | 426652 | 649 1311 | 52 | 26
70.78/70.88 c 70.6s | 18 | 540645 | 440152 | 649 1346 | 52 | 26
71.49/71.54 c 71.3s | 19 | 545631 | 444482 | 714 1356 | 52 | 26
73.48/73.54 c 73.3s | 19 | 561369 | 457382 | 714 1387 | 52 | 26
75.48/75.56 c 75.3s | 19 | 576207 | 469882 | 714 1417 | 52 | 26
77.48/77.57 c 77.3s | 19 | 593084 | 483082 | 714 1448 | 52 | 26
79.48/79.58 c 79.3s | 19 | 607944 | 495582 | 714 1478 | 52 | 26
81.49/81.59 c 81.4s | 19 | 622546 | 507882 | 714 1508 | 52 | 26
83.48/83.60 c 83.4s | 19 | 638601 | 520882 | 714 1539 | 52 | 26
85.58/85.61 c 85.4s | 19 | 653572 | 533282 | 714 1568 | 52 | 26
87.58/87.62 c 87.4s | 19 | 669823 | 546482 | 714 1599 | 52 | 26
89.58/89.62 c 89.4s | 19 | 684725 | 558782 | 714 1629 | 52 | 26
91.57/91.63 c 91.4s | 19 | 698909 | 570582 | 714 1657 | 52 | 26
93.58/93.65 c 93.4s | 19 | 712325 | 582082 | 714 1684 | 52 | 26
95.57/95.65 c 95.4s | 19 | 726063 | 593682 | 714 1711 | 52 | 26
97.57/97.67 c 97.4s | 19 | 739591 | 605182 | 714 1739 | 52 | 26
99.57/99.68 c 99.4s | 19 | 753612 | 616982 | 714 1767 | 52 | 26
101.58/101.69 c 101s | 19 | 767122 | 628282 | 714 1793 | 52 | 26
103.68/103.70 c 103s | 19 | 780934 | 640282 | 714 1821 | 52 | 26
105.69/105.71 c 105s | 19 | 794250 | 651582 | 714 1848 | 52 | 26
107.68/107.71 c 107s | 19 | 807618 | 662882 | 786 1874 | 52 | 26
108.38/108.45 c 108s | 20 | 812165 | 666827 | 786 1883 | 52 | 26
110.38/110.46 c 110s | 20 | 825196 | 677927 | 786 1908 | 52 | 26
112.38/112.47 c 112s | 20 | 837598 | 688527 | 786 1931 | 52 | 26
114.38/114.48 c 114s | 20 | 850544 | 699427 | 786 1955 | 52 | 26
116.38/116.49 c 116s | 20 | 862852 | 709827 | 786 1978 | 52 | 26
118.48/118.50 c 118s | 20 | 874595 | 719827 | 786 2000 | 52 | 26
120.47/120.50 c 120s | 20 | 885798 | 729627 | 786 2022 | 52 | 26
122.47/122.51 c 122s | 20 | 898368 | 740327 | 786 2046 | 52 | 26
124.47/124.52 c 124s | 20 | 910388 | 750627 | 786 2069 | 52 | 26
126.48/126.53 c 126s | 20 | 922748 | 761127 | 786 2092 | 52 | 26
128.47/128.54 c 128s | 20 | 935149 | 771627 | 786 2115 | 52 | 26
130.47/130.54 c 130s | 20 | 947099 | 781827 | 786 2138 | 52 | 26
132.47/132.55 c 132s | 20 | 958377 | 791827 | 786 2160 | 52 | 26
134.47/134.56 c 134s | 20 | 970411 | 802227 | 786 2183 | 52 | 26
136.48/136.56 c 136s | 20 | 982665 | 812827 | 786 2207 | 52 | 26
138.47/138.56 c 138s | 20 | 994627 | 823227 | 786 2230 | 52 | 26
140.47/140.57 c 140s | 20 | 1006731 | 833627 | 786 2253 | 52 | 26
142.47/142.58 c 142s | 20 | 1018072 | 843727 | 786 2275 | 52 | 26
144.47/144.59 c 144s | 20 | 1029683 | 853827 | 786 2297 | 52 | 26
146.57/146.60 c 146s | 20 | 1041315 | 863727 | 786 2319 | 52 | 26
148.57/148.61 c 148s | 20 | 1053173 | 873727 | 786 2342 | 52 | 26
150.57/150.61 c 150s | 20 | 1064287 | 883627 | 786 2364 | 52 | 26
152.57/152.61 c 152s | 20 | 1076096 | 893827 | 786 2386 | 52 | 26
154.57/154.63 c 154s | 20 | 1087284 | 903727 | 786 2408 | 52 | 26
156.57/156.63 c 156s | 20 | 1098671 | 913727 | 786 2430 | 52 | 26
158.56/158.65 c 158s | 20 | 1110272 | 923727 | 786 2453 | 52 | 26
160.57/160.67 c 160s | 20 | 1121946 | 933927 | 786 2475 | 52 | 26
162.56/162.69 c 162s | 20 | 1133326 | 943827 | 786 2497 | 52 | 26
164.66/164.71 c 164s | 20 | 1144838 | 953927 | 786 2520 | 52 | 26
166.66/166.72 c 166s | 20 | 1156394 | 963927 | 786 2542 | 52 | 26
168.66/168.73 c 168s | 20 | 1167384 | 973527 | 786 2564 | 52 | 26
170.66/170.73 c 170s | 20 | 1178519 | 983227 | 786 2585 | 52 | 26
172.67/172.73 c 172s | 20 | 1188736 | 992327 | 865 2606 | 52 | 26
174.36/174.47 c 174s | 21 | 1197680 | 1000345 | 865 2622 | 52 | 26
176.36/176.48 c 176s | 21 | 1211602 | 1012145 | 865 2646 | 52 | 26
178.36/178.49 c 178s | 21 | 1225194 | 1023845 | 865 2670 | 52 | 26
180.47/180.51 c 180s | 21 | 1238541 | 1035145 | 865 2693 | 52 | 26
182.47/182.51 c 182s | 21 | 1251969 | 1046445 | 865 2716 | 52 | 26
184.47/184.52 c 184s | 21 | 1265305 | 1057745 | 865 2739 | 52 | 26
186.47/186.53 c 186s | 21 | 1278494 | 1069145 | 865 2763 | 52 | 26
188.47/188.54 c 188s | 21 | 1292540 | 1081045 | 865 2787 | 52 | 26
190.47/190.55 c 190s | 21 | 1307220 | 1093145 | 865 2811 | 52 | 26
192.47/192.55 c 192s | 21 | 1320166 | 1104245 | 865 2834 | 52 | 26
194.46/194.56 c 194s | 21 | 1332547 | 1115045 | 865 2856 | 52 | 26
196.46/196.57 c 196s | 21 | 1345122 | 1125945 | 865 2878 | 52 | 26
198.46/198.57 c 198s | 21 | 1358732 | 1137345 | 865 2901 | 52 | 26
200.46/200.58 c 200s | 21 | 1372101 | 1148545 | 865 2924 | 52 | 26
202.47/202.59 c 202s | 21 | 1385593 | 1159745 | 865 2946 | 52 | 26
204.46/204.60 c 204s | 21 | 1398027 | 1170545 | 865 2968 | 52 | 26
206.56/206.62 c 206s | 21 | 1411290 | 1181845 | 865 2991 | 52 | 26
208.56/208.63 c 208s | 21 | 1424496 | 1193045 | 865 3014 | 52 | 26
210.56/210.64 c 210s | 21 | 1437562 | 1204045 | 865 3036 | 52 | 26
212.56/212.65 c 212s | 21 | 1451013 | 1215545 | 865 3060 | 52 | 26
214.56/214.67 c 214s | 21 | 1464347 | 1226745 | 865 3082 | 52 | 26
216.56/216.68 c 216s | 21 | 1476883 | 1237445 | 865 3104 | 52 | 26
218.55/218.69 c 218s | 21 | 1489390 | 1248145 | 865 3126 | 52 | 26
220.65/220.71 c 220s | 21 | 1502341 | 1258845 | 865 3147 | 52 | 26
222.66/222.72 c 222s | 21 | 1515556 | 1269645 | 865 3169 | 52 | 26
224.66/224.72 c 224s | 21 | 1529110 | 1281145 | 865 3193 | 52 | 26
226.67/226.73 c 226s | 21 | 1541143 | 1291645 | 865 3215 | 52 | 26
228.66/228.74 c 228s | 21 | 1554028 | 1302545 | 865 3237 | 52 | 26
230.66/230.76 c 230s | 21 | 1566313 | 1313045 | 865 3258 | 52 | 26
232.66/232.77 c 232s | 21 | 1578467 | 1323445 | 865 3280 | 52 | 26
234.66/234.77 c 234s | 21 | 1590304 | 1333645 | 865 3301 | 52 | 26
236.66/236.79 c 236s | 21 | 1602210 | 1343845 | 865 3322 | 52 | 26
238.66/238.80 c 238s | 21 | 1614102 | 1354045 | 865 3343 | 52 | 26
240.75/240.80 c 240s | 21 | 1626521 | 1364345 | 865 3364 | 52 | 26
242.75/242.81 c 242s | 21 | 1639847 | 1375345 | 865 3386 | 52 | 26
244.75/244.82 c 244s | 21 | 1652704 | 1386245 | 865 3408 | 52 | 26
246.75/246.82 c 246s | 21 | 1664819 | 1396545 | 865 3429 | 52 | 26
248.75/248.84 c 248s | 21 | 1677414 | 1407345 | 865 3451 | 52 | 26
250.76/250.86 c 250s | 21 | 1689749 | 1418045 | 865 3472 | 52 | 26
252.75/252.87 c 252s | 21 | 1702400 | 1428845 | 865 3494 | 52 | 26
254.75/254.88 c 254s | 21 | 1714106 | 1439045 | 865 3515 | 52 | 26
256.85/256.90 c 256s | 21 | 1725709 | 1449245 | 865 3536 | 52 | 26
258.85/258.91 c 258s | 21 | 1737840 | 1459645 | 865 3557 | 52 | 26
260.86/260.92 c 260s | 21 | 1750841 | 1470545 | 865 3579 | 52 | 26
262.86/262.93 c 262s | 21 | 1764004 | 1481245 | 865 3601 | 52 | 26
264.85/264.95 c 264s | 21 | 1776744 | 1492045 | 952 3622 | 52 | 26
266.45/266.52 c 266s | 22 | 1787076 | 1500622 | 952 3638 | 52 | 26
268.46/268.53 c 268s | 22 | 1799575 | 1511422 | 952 3658 | 52 | 26
270.45/270.54 c 270s | 22 | 1811673 | 1521922 | 952 3678 | 52 | 26
272.45/272.55 c 272s | 22 | 1824213 | 1532822 | 952 3698 | 52 | 26
274.45/274.55 c 274s | 22 | 1836475 | 1543322 | 952 3718 | 52 | 26
276.45/276.56 c 276s | 22 | 1847761 | 1553422 | 952 3737 | 52 | 26
278.45/278.57 c 278s | 22 | 1859154 | 1563622 | 952 3756 | 52 | 26
280.45/280.57 c 280s | 22 | 1870810 | 1573922 | 952 3775 | 52 | 26
282.45/282.58 c 282s | 22 | 1882691 | 1584322 | 952 3795 | 52 | 26
284.44/284.59 c 284s | 22 | 1894699 | 1594622 | 952 3814 | 52 | 26
286.54/286.60 c 286s | 22 | 1906951 | 1605122 | 952 3833 | 52 | 26
288.54/288.61 c 288s | 22 | 1918817 | 1615422 | 952 3853 | 52 | 26
290.54/290.62 c 290s | 22 | 1931147 | 1626022 | 952 3872 | 52 | 26
292.55/292.62 c 292s | 22 | 1943412 | 1636522 | 952 3892 | 52 | 26
294.55/294.63 c 294s | 22 | 1956071 | 1647322 | 952 3912 | 52 | 26
296.55/296.64 c 296s | 22 | 1967857 | 1657622 | 952 3932 | 52 | 26
298.55/298.66 c 298s | 22 | 1979504 | 1667722 | 952 3950 | 52 | 26
300.55/300.68 c 300s | 22 | 1991108 | 1677822 | 952 3969 | 52 | 26
302.55/302.70 c 302s | 22 | 2002465 | 1687722 | 952 3988 | 52 | 26
304.55/304.70 c 304s | 22 | 2014659 | 1698122 | 952 4007 | 52 | 26
306.65/306.71 c 306s | 22 | 2027015 | 1708722 | 952 4027 | 52 | 26
308.65/308.72 c 308s | 22 | 2038611 | 1718722 | 952 4046 | 52 | 26
310.64/310.73 c 310s | 22 | 2050292 | 1728722 | 952 4065 | 52 | 26
312.64/312.74 c 312s | 22 | 2062382 | 1738922 | 952 4084 | 52 | 26
314.65/314.75 c 314s | 22 | 2074012 | 1748822 | 952 4102 | 52 | 26
316.64/316.77 c 316s | 22 | 2086245 | 1759122 | 952 4122 | 52 | 26
318.64/318.77 c 318s | 22 | 2098162 | 1769222 | 952 4141 | 52 | 26
320.64/320.78 c 320s | 22 | 2110798 | 1780022 | 952 4161 | 52 | 26
322.64/322.78 c 322s | 22 | 2123326 | 1790722 | 952 4181 | 52 | 26
324.64/324.79 c 324s | 22 | 2135473 | 1801322 | 952 4201 | 52 | 26
326.64/326.79 c 326s | 22 | 2148239 | 1812222 | 952 4221 | 52 | 26
328.75/328.81 c 328s | 22 | 2160668 | 1822922 | 952 4241 | 52 | 26
330.74/330.82 c 330s | 22 | 2172345 | 1833222 | 952 4260 | 52 | 26
332.74/332.82 c 332s | 22 | 2183789 | 1843322 | 952 4279 | 52 | 26
334.74/334.83 c 334s | 22 | 2195537 | 1853422 | 952 4298 | 52 | 26
336.74/336.85 c 336s | 22 | 2207542 | 1863722 | 952 4317 | 52 | 26
338.75/338.85 c 338s | 22 | 2219520 | 1873922 | 952 4336 | 52 | 26
340.74/340.86 c 340s | 22 | 2231719 | 1884122 | 952 4355 | 52 | 26
342.74/342.86 c 342s | 22 | 2243897 | 1894622 | 952 4375 | 52 | 26
344.74/344.86 c 344s | 22 | 2256053 | 1905122 | 952 4394 | 52 | 26
346.74/346.87 c 346s | 22 | 2268170 | 1915522 | 952 4414 | 52 | 26
348.74/348.88 c 348s | 22 | 2279914 | 1925722 | 952 4433 | 52 | 26
350.74/350.89 c 350s | 22 | 2291752 | 1936122 | 952 4452 | 52 | 26
352.83/352.90 c 352s | 22 | 2303896 | 1946722 | 952 4472 | 52 | 26
354.83/354.91 c 354s | 22 | 2315807 | 1957122 | 952 4492 | 52 | 26
356.83/356.92 c 356s | 22 | 2327676 | 1967422 | 952 4511 | 52 | 26
358.83/358.94 c 358s | 22 | 2339715 | 1977722 | 952 4531 | 52 | 26
360.84/360.96 c 360s | 22 | 2352261 | 1988422 | 952 4551 | 52 | 26
362.83/362.96 c 362s | 22 | 2364613 | 1999022 | 952 4571 | 52 | 26
364.83/364.98 c 364s | 22 | 2376639 | 2009422 | 952 4590 | 52 | 26
366.93/367.00 c 366s | 22 | 2388310 | 2019622 | 952 4609 | 52 | 26
368.93/369.00 c 368s | 22 | 2400134 | 2029822 | 952 4628 | 52 | 26
370.93/371.00 c 370s | 22 | 2411752 | 2039922 | 952 4647 | 52 | 26
372.94/373.00 c 372s | 22 | 2423460 | 2050222 | 952 4667 | 52 | 26
374.94/375.01 c 374s | 22 | 2435598 | 2060822 | 952 4686 | 52 | 26
376.94/377.02 c 376s | 22 | 2447410 | 2071022 | 952 4706 | 52 | 26
378.94/379.03 c 378s | 22 | 2459034 | 2081222 | 952 4725 | 52 | 26
380.94/381.04 c 380s | 22 | 2471053 | 2091722 | 952 4744 | 52 | 26
382.94/383.05 c 382s | 22 | 2483385 | 2102322 | 952 4764 | 52 | 26
384.94/385.06 c 384s | 22 | 2494970 | 2112522 | 952 4784 | 52 | 26
386.93/387.07 c 386s | 22 | 2506638 | 2122622 | 952 4803 | 52 | 26
388.93/389.08 c 388s | 22 | 2518352 | 2132822 | 952 4822 | 52 | 26
390.93/391.08 c 390s | 22 | 2529456 | 2142522 | 952 4840 | 52 | 26
392.93/393.09 c 392s | 22 | 2541028 | 2152422 | 952 4859 | 52 | 26
395.03/395.10 c 394s | 22 | 2552966 | 2162722 | 952 4878 | 52 | 26
397.04/397.11 c 396s | 22 | 2564699 | 2173022 | 952 4897 | 52 | 26
399.03/399.12 c 398s | 22 | 2577134 | 2183622 | 952 4917 | 52 | 26
401.03/401.12 c 400s | 22 | 2588805 | 2193922 | 952 4936 | 52 | 26
403.03/403.14 c 402s | 22 | 2600573 | 2204022 | 952 4955 | 52 | 26
405.03/405.16 c 404s | 22 | 2612232 | 2213922 | 952 4973 | 52 | 26
407.03/407.16 c 406s | 22 | 2623713 | 2223722 | 952 4992 | 52 | 26
409.02/409.16 c 408s | 22 | 2634782 | 2233322 | 952 5009 | 52 | 26
411.02/411.18 c 410s | 22 | 2645563 | 2242622 | 1048 5025 | 52 | 26
412.72/412.86 c 412s | 23 | 2655637 | 2251038 | 1048 5040 | 52 | 26
414.73/414.86 c 414s | 23 | 2676942 | 2265238 | 1048 5064 | 52 | 26
416.72/416.87 c 416s | 23 | 2693002 | 2277938 | 1048 5086 | 52 | 26
418.72/418.87 c 418s | 23 | 2707644 | 2289938 | 1048 5106 | 52 | 26
420.72/420.87 c 420s | 23 | 2721550 | 2301338 | 1048 5126 | 52 | 26
422.72/422.87 c 422s | 23 | 2734879 | 2312438 | 1048 5145 | 52 | 26
424.73/424.88 c 424s | 23 | 2751917 | 2325338 | 1048 5167 | 52 | 26
426.74/426.88 c 426s | 23 | 2768910 | 2338038 | 1048 5189 | 52 | 26
428.73/428.89 c 428s | 23 | 2784845 | 2350638 | 1048 5210 | 52 | 26
430.83/430.91 c 430s | 23 | 2799877 | 2362938 | 1048 5231 | 52 | 26
432.83/432.92 c 432s | 23 | 2813721 | 2374538 | 1048 5251 | 52 | 26
434.82/434.93 c 434s | 23 | 2826061 | 2384938 | 1048 5269 | 52 | 26
436.82/436.94 c 436s | 23 | 2838018 | 2395238 | 1048 5287 | 52 | 26
438.83/438.96 c 438s | 23 | 2851323 | 2406238 | 1048 5306 | 52 | 26
440.82/440.97 c 440s | 23 | 2864289 | 2417138 | 1048 5324 | 52 | 26
442.82/442.99 c 442s | 23 | 2877671 | 2428338 | 1048 5344 | 52 | 26
444.92/445.00 c 444s | 23 | 2893626 | 2440838 | 1048 5365 | 52 | 26
446.92/447.01 c 446s | 23 | 2907622 | 2452338 | 1048 5385 | 52 | 26
448.93/449.01 c 448s | 23 | 2920014 | 2462538 | 1048 5402 | 52 | 26
450.93/451.03 c 450s | 23 | 2932776 | 2473138 | 1048 5420 | 52 | 26
452.93/453.03 c 452s | 23 | 2946793 | 2484738 | 1048 5440 | 52 | 26
454.92/455.05 c 454s | 23 | 2962628 | 2497438 | 1048 5462 | 52 | 26
456.92/457.05 c 456s | 23 | 2977565 | 2509438 | 1048 5482 | 52 | 26
458.92/459.07 c 458s | 23 | 2991098 | 2520638 | 1048 5502 | 52 | 26
460.93/461.07 c 460s | 23 | 3004626 | 2531838 | 1048 5521 | 52 | 26
462.92/463.08 c 462s | 23 | 3019748 | 2544038 | 1048 5542 | 52 | 26
464.92/465.09 c 464s | 23 | 3033797 | 2555438 | 1048 5561 | 52 | 26
467.02/467.10 c 466s | 23 | 3047855 | 2566738 | 1048 5581 | 52 | 26
469.02/469.11 c 468s | 23 | 3062641 | 2578338 | 1048 5601 | 52 | 26
471.02/471.13 c 470s | 23 | 3075371 | 2589038 | 1048 5619 | 52 | 26
473.03/473.13 c 472s | 23 | 3090224 | 2600838 | 1048 5639 | 52 | 26
475.02/475.14 c 474s | 23 | 3102752 | 2611238 | 1048 5657 | 52 | 26
477.02/477.14 c 476s | 23 | 3116046 | 2622138 | 1048 5676 | 52 | 26
479.02/479.16 c 478s | 23 | 3129031 | 2632838 | 1048 5694 | 52 | 26
481.01/481.17 c 480s | 23 | 3140772 | 2642938 | 1048 5711 | 52 | 26
483.01/483.19 c 482s | 23 | 3152774 | 2653338 | 1048 5729 | 52 | 26
485.02/485.20 c 484s | 23 | 3164484 | 2663138 | 1048 5746 | 52 | 26
487.11/487.22 c 486s | 23 | 3176236 | 2673138 | 1048 5763 | 52 | 26
489.11/489.23 c 488s | 23 | 3188822 | 2683838 | 1048 5782 | 52 | 26
491.12/491.24 c 491s | 23 | 3200824 | 2694038 | 1048 5799 | 52 | 26
493.12/493.25 c 493s | 23 | 3212747 | 2704238 | 1048 5817 | 52 | 26
495.12/495.25 c 495s | 23 | 3226781 | 2715638 | 1048 5836 | 52 | 26
497.12/497.26 c 497s | 23 | 3240330 | 2726938 | 1048 5855 | 52 | 26
499.12/499.28 c 499s | 23 | 3254441 | 2738438 | 1048 5875 | 52 | 26
501.12/501.29 c 501s | 23 | 3268184 | 2749838 | 1048 5894 | 52 | 26
503.12/503.29 c 503s | 23 | 3279879 | 2759938 | 1048 5912 | 52 | 26
505.22/505.30 c 505s | 23 | 3294824 | 2772038 | 1048 5932 | 52 | 26
507.21/507.30 c 507s | 23 | 3308735 | 2783338 | 1048 5951 | 52 | 26
509.22/509.31 c 509s | 23 | 3321112 | 2793738 | 1048 5969 | 52 | 26
511.21/511.32 c 511s | 23 | 3333820 | 2804438 | 1048 5988 | 52 | 26
513.21/513.33 c 513s | 23 | 3347502 | 2815938 | 1048 6007 | 52 | 26
515.21/515.33 c 515s | 23 | 3360724 | 2826938 | 1048 6026 | 52 | 26
517.21/517.35 c 517s | 23 | 3374046 | 2838138 | 1048 6045 | 52 | 26
519.21/519.35 c 519s | 23 | 3388506 | 2849938 | 1048 6065 | 52 | 26
521.21/521.36 c 521s | 23 | 3402260 | 2861338 | 1048 6085 | 52 | 26
523.21/523.37 c 523s | 23 | 3416343 | 2872838 | 1048 6104 | 52 | 26
525.21/525.37 c 525s | 23 | 3430261 | 2884338 | 1048 6124 | 52 | 26
527.21/527.37 c 527s | 23 | 3444418 | 2895838 | 1048 6144 | 52 | 26
529.21/529.39 c 529s | 23 | 3458537 | 2907338 | 1048 6164 | 52 | 26
531.22/531.40 c 531s | 23 | 3473235 | 2919138 | 1048 6184 | 52 | 26
533.31/533.41 c 533s | 23 | 3488817 | 2931338 | 1048 6205 | 52 | 26
535.31/535.41 c 535s | 23 | 3501698 | 2942238 | 1048 6223 | 52 | 26
537.31/537.41 c 537s | 23 | 3514745 | 2952938 | 1048 6242 | 52 | 26
539.31/539.44 c 539s | 23 | 3527712 | 2963938 | 1048 6261 | 52 | 26
541.31/541.44 c 541s | 23 | 3541442 | 2975138 | 1048 6280 | 52 | 26
543.32/543.45 c 543s | 23 | 3555263 | 2986438 | 1048 6299 | 52 | 26
545.31/545.45 c 545s | 23 | 3570416 | 2998138 | 1048 6319 | 52 | 26
547.31/547.47 c 547s | 23 | 3584112 | 3009638 | 1048 6339 | 52 | 26
549.31/549.48 c 549s | 23 | 3598056 | 3021138 | 1048 6359 | 52 | 26
551.41/551.50 c 551s | 23 | 3609585 | 3030938 | 1048 6376 | 52 | 26
553.41/553.50 c 553s | 23 | 3621416 | 3041138 | 1048 6393 | 52 | 26
555.41/555.52 c 555s | 23 | 3635047 | 3052138 | 1048 6412 | 52 | 26
557.40/557.53 c 557s | 23 | 3649312 | 3063538 | 1048 6431 | 52 | 26
559.40/559.55 c 559s | 23 | 3662633 | 3074338 | 1048 6450 | 52 | 26
561.40/561.56 c 561s | 23 | 3675657 | 3085238 | 1048 6468 | 52 | 26
563.40/563.57 c 563s | 23 | 3689604 | 3096338 | 1048 6487 | 52 | 26
565.41/565.58 c 565s | 23 | 3702523 | 3106938 | 1048 6506 | 52 | 26
567.40/567.59 c 567s | 23 | 3716140 | 3118138 | 1048 6525 | 52 | 26
569.40/569.59 c 569s | 23 | 3728980 | 3128838 | 1048 6543 | 52 | 26
571.50/571.61 c 571s | 23 | 3741281 | 3139038 | 1048 6561 | 52 | 26
573.51/573.62 c 573s | 23 | 3754453 | 3150138 | 1048 6580 | 52 | 26
575.51/575.62 c 575s | 23 | 3768056 | 3161738 | 1048 6599 | 52 | 26
577.51/577.63 c 577s | 23 | 3782173 | 3173438 | 1048 6619 | 52 | 26
579.51/579.64 c 579s | 23 | 3795985 | 3185038 | 1048 6639 | 52 | 26
581.50/581.65 c 581s | 23 | 3809703 | 3196438 | 1048 6659 | 52 | 26
583.50/583.66 c 583s | 23 | 3823644 | 3207638 | 1048 6678 | 52 | 26
585.50/585.67 c 585s | 23 | 3836856 | 3218438 | 1048 6697 | 52 | 26
587.50/587.68 c 587s | 23 | 3851442 | 3230138 | 1048 6717 | 52 | 26
589.51/589.69 c 589s | 23 | 3865055 | 3241138 | 1048 6736 | 52 | 26
591.60/591.70 c 591s | 23 | 3878253 | 3252138 | 1048 6755 | 52 | 26
593.60/593.70 c 593s | 23 | 3891043 | 3263038 | 1048 6773 | 52 | 26
595.60/595.72 c 595s | 23 | 3903453 | 3273438 | 1048 6791 | 52 | 26
597.60/597.73 c 597s | 23 | 3916359 | 3284138 | 1048 6810 | 52 | 26
599.60/599.75 c 599s | 23 | 3928132 | 3294138 | 1048 6827 | 52 | 26
601.60/601.77 c 601s | 23 | 3941757 | 3305138 | 1048 6846 | 52 | 26
603.59/603.77 c 603s | 23 | 3953321 | 3314938 | 1048 6863 | 52 | 26
605.59/605.78 c 605s | 23 | 3967108 | 3326038 | 1048 6882 | 52 | 26
607.70/607.80 c 607s | 23 | 3982057 | 3337838 | 1048 6903 | 52 | 26
609.70/609.80 c 609s | 23 | 3996931 | 3349738 | 1048 6923 | 52 | 26
611.70/611.81 c 611s | 23 | 4010542 | 3361138 | 1153 6941 | 52 | 26
613.71/613.81 c 613s | 23 | 4024648 | 3372438 | 1153 6959 | 52 | 26
614.40/614.59 c 614s | 24 | 4029800 | 3376662 | 1153 6966 | 52 | 26
616.50/616.60 c 616s | 24 | 4041162 | 3386162 | 1153 6981 | 52 | 26
618.50/618.60 c 618s | 24 | 4051309 | 3395062 | 1153 6995 | 52 | 26
620.49/620.61 c 620s | 24 | 4062580 | 3404662 | 1153 7010 | 52 | 26
622.50/622.63 c 622s | 24 | 4072997 | 3413662 | 1153 7024 | 52 | 26
624.49/624.65 c 624s | 24 | 4083471 | 3422662 | 1153 7039 | 52 | 26
626.49/626.67 c 626s | 24 | 4093992 | 3431562 | 1153 7053 | 52 | 26
628.49/628.68 c 628s | 24 | 4105080 | 3441162 | 1153 7068 | 52 | 26
630.49/630.68 c 630s | 24 | 4115665 | 3450262 | 1153 7082 | 52 | 26
632.50/632.69 c 632s | 24 | 4125687 | 3458962 | 1153 7096 | 52 | 26
634.49/634.70 c 634s | 24 | 4135920 | 3467962 | 1153 7110 | 52 | 26
636.59/636.72 c 636s | 24 | 4146307 | 3476762 | 1153 7124 | 52 | 26
638.60/638.72 c 638s | 24 | 4157092 | 3485862 | 1153 7138 | 52 | 26
640.60/640.73 c 640s | 24 | 4167844 | 3495062 | 1153 7153 | 52 | 26
642.59/642.74 c 642s | 24 | 4181186 | 3506462 | 1153 7171 | 52 | 26
644.60/644.76 c 644s | 24 | 4193276 | 3516762 | 1153 7187 | 52 | 26
646.59/646.76 c 646s | 24 | 4206053 | 3527262 | 1153 7204 | 52 | 26
648.59/648.77 c 648s | 24 | 4217717 | 3537062 | 1153 7219 | 52 | 26
650.59/650.79 c 650s | 24 | 4230821 | 3547662 | 1153 7236 | 52 | 26
652.59/652.79 c 652s | 24 | 4242795 | 3557862 | 1153 7252 | 52 | 26
654.69/654.81 c 654s | 24 | 4253730 | 3567362 | 1153 7267 | 52 | 26
656.70/656.83 c 656s | 24 | 4265721 | 3577262 | 1153 7283 | 52 | 26
658.69/658.84 c 658s | 24 | 4278001 | 3587562 | 1153 7299 | 52 | 26
660.69/660.84 c 660s | 24 | 4289640 | 3597462 | 1153 7315 | 52 | 26
662.69/662.85 c 662s | 24 | 4300735 | 3607062 | 1153 7330 | 52 | 26
664.69/664.86 c 664s | 24 | 4312821 | 3617262 | 1153 7346 | 52 | 26
666.69/666.87 c 666s | 24 | 4324114 | 3626962 | 1153 7361 | 52 | 26
668.69/668.87 c 668s | 24 | 4335486 | 3636662 | 1153 7377 | 52 | 26
670.79/670.90 c 670s | 24 | 4347058 | 3646762 | 1153 7393 | 52 | 26
672.78/672.91 c 672s | 24 | 4358371 | 3656462 | 1153 7408 | 52 | 26
674.78/674.93 c 674s | 24 | 4369330 | 3665962 | 1153 7423 | 52 | 26
676.78/676.95 c 676s | 24 | 4379902 | 3675062 | 1153 7437 | 52 | 26
678.78/678.95 c 678s | 24 | 4390588 | 3684262 | 1153 7452 | 52 | 26
680.79/680.95 c 680s | 24 | 4400322 | 3692862 | 1153 7465 | 52 | 26
682.78/682.97 c 682s | 24 | 4411437 | 3702462 | 1153 7480 | 52 | 26
684.78/684.97 c 684s | 24 | 4422278 | 3711862 | 1153 7495 | 52 | 26
686.78/686.97 c 686s | 24 | 4432908 | 3721062 | 1153 7510 | 52 | 26
688.78/688.99 c 688s | 24 | 4444038 | 3730662 | 1153 7525 | 52 | 26
690.80/690.99 c 690s | 24 | 4454945 | 3740062 | 1153 7540 | 52 | 26
692.89/693.01 c 692s | 24 | 4466032 | 3749462 | 1153 7555 | 52 | 26
694.89/695.03 c 694s | 24 | 4477060 | 3758962 | 1153 7570 | 52 | 26
696.89/697.04 c 696s | 24 | 4488573 | 3768862 | 1153 7585 | 52 | 26
698.88/699.06 c 698s | 24 | 4499932 | 3778462 | 1153 7600 | 52 | 26
700.88/701.06 c 700s | 24 | 4510807 | 3787962 | 1153 7615 | 52 | 26
702.89/703.07 c 702s | 24 | 4522379 | 3797962 | 1153 7631 | 52 | 26
704.88/705.07 c 704s | 24 | 4534087 | 3807862 | 1153 7647 | 52 | 26
706.88/707.07 c 706s | 24 | 4545110 | 3817262 | 1153 7662 | 52 | 26
708.88/709.09 c 708s | 24 | 4556465 | 3826862 | 1153 7677 | 52 | 26
710.98/711.10 c 710s | 24 | 4567606 | 3836362 | 1153 7692 | 52 | 26
712.98/713.11 c 712s | 24 | 4579292 | 3845962 | 1153 7707 | 52 | 26
714.99/715.11 c 714s | 24 | 4591010 | 3855562 | 1153 7722 | 52 | 26
716.98/717.12 c 716s | 24 | 4602739 | 3865162 | 1153 7737 | 52 | 26
718.98/719.14 c 718s | 24 | 4613940 | 3874462 | 1153 7752 | 52 | 26
720.98/721.15 c 720s | 24 | 4625168 | 3883762 | 1153 7766 | 52 | 26
722.98/723.16 c 722s | 24 | 4636260 | 3893162 | 1153 7781 | 52 | 26
724.98/725.16 c 724s | 24 | 4646910 | 3902362 | 1153 7796 | 52 | 26
726.98/727.17 c 726s | 24 | 4657351 | 3911462 | 1153 7810 | 52 | 26
728.97/729.19 c 728s | 24 | 4668401 | 3920862 | 1153 7825 | 52 | 26
731.07/731.20 c 730s | 24 | 4679019 | 3930162 | 1153 7839 | 52 | 26
733.07/733.21 c 732s | 24 | 4690572 | 3940162 | 1153 7855 | 52 | 26
735.07/735.23 c 734s | 24 | 4701032 | 3949462 | 1153 7869 | 52 | 26
737.07/737.23 c 736s | 24 | 4712371 | 3959162 | 1153 7885 | 52 | 26
739.07/739.25 c 739s | 24 | 4723413 | 3968662 | 1153 7900 | 52 | 26
741.07/741.27 c 741s | 24 | 4734148 | 3978062 | 1153 7914 | 52 | 26
743.07/743.28 c 743s | 24 | 4744901 | 3987562 | 1153 7929 | 52 | 26
745.16/745.30 c 745s | 24 | 4755984 | 3997062 | 1153 7944 | 52 | 26
747.16/747.32 c 747s | 24 | 4767347 | 4006862 | 1153 7960 | 52 | 26
749.16/749.33 c 749s | 24 | 4778848 | 4016762 | 1153 7975 | 52 | 26
751.17/751.33 c 751s | 24 | 4789484 | 4025962 | 1153 7990 | 52 | 26
753.16/753.34 c 753s | 24 | 4800665 | 4035562 | 1153 8005 | 52 | 26
755.16/755.35 c 755s | 24 | 4811530 | 4045062 | 1153 8020 | 52 | 26
757.16/757.35 c 757s | 24 | 4822803 | 4054662 | 1153 8035 | 52 | 26
759.16/759.36 c 759s | 24 | 4834009 | 4064262 | 1153 8051 | 52 | 26
761.17/761.38 c 761s | 24 | 4845718 | 4073962 | 1153 8066 | 52 | 26
763.16/763.40 c 763s | 24 | 4857173 | 4083762 | 1153 8081 | 52 | 26
765.26/765.42 c 765s | 24 | 4869087 | 4093962 | 1153 8098 | 52 | 26
767.25/767.43 c 767s | 24 | 4880842 | 4104062 | 1153 8113 | 52 | 26
769.25/769.44 c 769s | 24 | 4891977 | 4113562 | 1153 8128 | 52 | 26
771.25/771.44 c 771s | 24 | 4903989 | 4123762 | 1153 8144 | 52 | 26
773.26/773.45 c 773s | 24 | 4915556 | 4133762 | 1153 8160 | 52 | 26
775.25/775.45 c 775s | 24 | 4926986 | 4143562 | 1153 8175 | 52 | 26
777.25/777.46 c 777s | 24 | 4937938 | 4152762 | 1153 8190 | 52 | 26
779.25/779.46 c 779s | 24 | 4948993 | 4162162 | 1153 8205 | 52 | 26
781.25/781.47 c 781s | 24 | 4960296 | 4171662 | 1153 8220 | 52 | 26
783.25/783.49 c 783s | 24 | 4971190 | 4181162 | 1153 8235 | 52 | 26
785.36/785.50 c 785s | 24 | 4982155 | 4190662 | 1153 8249 | 52 | 26
787.35/787.51 c 787s | 24 | 4992627 | 4199762 | 1153 8264 | 52 | 26
789.35/789.52 c 789s | 24 | 5003636 | 4209362 | 1153 8279 | 52 | 26
791.35/791.53 c 791s | 24 | 5014583 | 4218862 | 1153 8294 | 52 | 26
793.34/793.54 c 793s | 24 | 5025662 | 4228362 | 1153 8309 | 52 | 26
795.34/795.55 c 795s | 24 | 5036898 | 4237962 | 1153 8324 | 52 | 26
797.34/797.55 c 797s | 24 | 5049078 | 4248262 | 1153 8340 | 52 | 26
799.34/799.55 c 799s | 24 | 5060240 | 4257762 | 1153 8355 | 52 | 26
801.34/801.57 c 801s | 24 | 5072818 | 4268162 | 1153 8372 | 52 | 26
803.34/803.59 c 803s | 24 | 5084282 | 4278062 | 1153 8388 | 52 | 26
805.43/805.61 c 805s | 24 | 5094987 | 4287462 | 1153 8402 | 52 | 26
807.43/807.62 c 807s | 24 | 5106215 | 4297062 | 1153 8417 | 52 | 26
809.45/809.62 c 809s | 24 | 5117387 | 4306662 | 1153 8433 | 52 | 26
811.44/811.63 c 811s | 24 | 5128737 | 4316162 | 1153 8448 | 52 | 26
813.44/813.64 c 813s | 24 | 5139697 | 4325362 | 1153 8462 | 52 | 26
815.44/815.66 c 815s | 24 | 5150575 | 4334762 | 1153 8477 | 52 | 26
817.43/817.68 c 817s | 24 | 5161346 | 4344162 | 1153 8492 | 52 | 26
819.44/819.68 c 819s | 24 | 5172371 | 4353662 | 1153 8507 | 52 | 26
821.43/821.69 c 821s | 24 | 5182707 | 4362562 | 1153 8521 | 52 | 26
823.43/823.69 c 823s | 24 | 5192996 | 4371462 | 1153 8535 | 52 | 26
825.53/825.71 c 825s | 24 | 5202822 | 4380162 | 1153 8549 | 52 | 26
827.53/827.72 c 827s | 24 | 5213551 | 4389362 | 1153 8563 | 52 | 26
829.52/829.73 c 829s | 24 | 5224143 | 4398562 | 1153 8578 | 52 | 26
831.53/831.74 c 831s | 24 | 5235835 | 4408362 | 1153 8593 | 52 | 26
833.52/833.75 c 833s | 24 | 5246875 | 4417962 | 1153 8608 | 52 | 26
835.52/835.75 c 835s | 24 | 5257716 | 4427262 | 1153 8623 | 52 | 26
837.52/837.78 c 837s | 24 | 5268681 | 4436462 | 1153 8637 | 52 | 26
839.52/839.79 c 839s | 24 | 5278615 | 4444962 | 1153 8651 | 52 | 26
841.62/841.81 c 841s | 24 | 5288950 | 4453962 | 1153 8665 | 52 | 26
843.62/843.83 c 843s | 24 | 5298853 | 4462762 | 1153 8678 | 52 | 26
845.61/845.85 c 845s | 24 | 5309942 | 4472162 | 1153 8693 | 52 | 26
847.62/847.86 c 847s | 24 | 5321083 | 4481662 | 1153 8708 | 52 | 26
849.62/849.86 c 849s | 24 | 5332539 | 4491262 | 1153 8723 | 52 | 26
851.62/851.86 c 851s | 24 | 5343638 | 4500762 | 1153 8738 | 52 | 26
853.62/853.88 c 853s | 24 | 5354762 | 4510162 | 1153 8753 | 52 | 26
855.62/855.88 c 855s | 24 | 5365829 | 4519362 | 1153 8768 | 52 | 26
857.61/857.88 c 857s | 24 | 5376906 | 4528762 | 1153 8782 | 52 | 26
859.61/859.89 c 859s | 24 | 5388191 | 4538262 | 1153 8797 | 52 | 26
861.61/861.89 c 861s | 24 | 5399261 | 4547662 | 1153 8812 | 52 | 26
863.71/863.91 c 863s | 24 | 5409902 | 4556962 | 1153 8827 | 52 | 26
865.71/865.93 c 865s | 24 | 5420253 | 4566062 | 1153 8841 | 52 | 26
867.71/867.94 c 867s | 24 | 5430222 | 4574762 | 1153 8855 | 52 | 26
869.70/869.96 c 869s | 24 | 5440586 | 4583762 | 1153 8869 | 52 | 26
871.70/871.97 c 871s | 24 | 5451004 | 4592762 | 1153 8883 | 52 | 26
873.70/873.99 c 873s | 24 | 5461277 | 4601662 | 1153 8897 | 52 | 26
875.70/875.99 c 875s | 24 | 5472021 | 4610962 | 1153 8911 | 52 | 26
877.70/877.99 c 877s | 24 | 5482842 | 4620262 | 1153 8926 | 52 | 26
879.71/879.99 c 879s | 24 | 5493486 | 4629462 | 1153 8940 | 52 | 26
881.81/882.01 c 881s | 24 | 5504629 | 4638962 | 1153 8955 | 52 | 26
883.80/884.02 c 883s | 24 | 5515666 | 4648362 | 1153 8970 | 52 | 26
885.80/886.03 c 885s | 24 | 5526093 | 4657262 | 1153 8984 | 52 | 26
887.80/888.03 c 887s | 24 | 5536572 | 4666362 | 1153 8998 | 52 | 26
889.81/890.05 c 889s | 24 | 5547409 | 4675662 | 1153 9013 | 52 | 26
891.80/892.05 c 891s | 24 | 5558697 | 4685262 | 1153 9028 | 52 | 26
893.80/894.07 c 893s | 24 | 5569861 | 4694662 | 1153 9043 | 52 | 26
895.80/896.07 c 895s | 24 | 5580895 | 4704162 | 1153 9058 | 52 | 26
897.79/898.08 c 897s | 24 | 5592972 | 4714162 | 1153 9074 | 52 | 26
899.79/900.09 c 899s | 24 | 5605558 | 4724762 | 1153 9090 | 52 | 26
901.80/902.09 c 901s | 24 | 5617226 | 4734562 | 1153 9106 | 52 | 26
903.89/904.10 c 903s | 24 | 5628235 | 4743862 | 1153 9120 | 52 | 26
905.89/906.10 c 905s | 24 | 5639477 | 4753562 | 1153 9135 | 52 | 26
907.88/908.12 c 907s | 24 | 5649821 | 4762562 | 1153 9149 | 52 | 26
909.88/910.13 c 909s | 24 | 5660775 | 4772062 | 1153 9164 | 52 | 26
911.88/912.13 c 911s | 24 | 5670867 | 4780862 | 1153 9178 | 52 | 26
913.89/914.13 c 913s | 24 | 5681826 | 4790462 | 1153 9193 | 52 | 26
915.89/916.14 c 915s | 24 | 5692357 | 4799662 | 1153 9208 | 52 | 26
917.88/918.15 c 917s | 24 | 5704431 | 4809762 | 1153 9224 | 52 | 26
919.88/920.15 c 919s | 24 | 5716281 | 4819762 | 1153 9240 | 52 | 26
921.88/922.16 c 921s | 24 | 5727988 | 4829762 | 1153 9255 | 52 | 26
923.89/924.17 c 923s | 24 | 5739439 | 4839662 | 1153 9271 | 52 | 26
925.88/926.18 c 925s | 24 | 5750053 | 4848862 | 1153 9286 | 52 | 26
927.88/928.19 c 927s | 24 | 5761511 | 4858662 | 1153 9301 | 52 | 26
929.98/930.20 c 929s | 24 | 5772449 | 4868062 | 1153 9316 | 52 | 26
931.97/932.21 c 931s | 24 | 5783983 | 4877862 | 1153 9331 | 52 | 26
933.97/934.23 c 933s | 24 | 5794511 | 4887162 | 1153 9346 | 52 | 26
935.98/936.25 c 936s | 24 | 5805568 | 4896662 | 1153 9361 | 52 | 26
937.97/938.25 c 938s | 24 | 5816426 | 4905962 | 1153 9375 | 52 | 26
939.97/940.26 c 940s | 24 | 5827191 | 4915162 | 1153 9390 | 52 | 26
941.97/942.27 c 942s | 24 | 5837924 | 4924362 | 1153 9404 | 52 | 26
943.97/944.27 c 944s | 24 | 5848564 | 4933462 | 1153 9418 | 52 | 26
945.97/946.27 c 946s | 24 | 5859441 | 4942762 | 1153 9433 | 52 | 26
947.97/948.28 c 948s | 24 | 5871186 | 4952562 | 1153 9448 | 52 | 26
950.06/950.30 c 950s | 24 | 5882138 | 4961862 | 1153 9463 | 52 | 26
952.06/952.32 c 952s | 24 | 5892673 | 4970962 | 1153 9477 | 52 | 26
954.06/954.33 c 954s | 24 | 5903733 | 4980262 | 1153 9492 | 52 | 26
956.06/956.33 c 956s | 24 | 5913864 | 4988862 | 1153 9506 | 52 | 26
958.06/958.33 c 958s | 24 | 5924373 | 4997762 | 1153 9520 | 52 | 26
960.06/960.35 c 960s | 24 | 5934960 | 5006762 | 1153 9534 | 52 | 26
962.05/962.36 c 962s | 24 | 5946045 | 5016362 | 1153 9549 | 52 | 26
964.05/964.36 c 964s | 24 | 5956881 | 5025662 | 1153 9564 | 52 | 26
966.05/966.38 c 966s | 24 | 5967772 | 5034962 | 1269 9577 | 52 | 26
968.05/968.38 c 968s | 24 | 5978819 | 5044462 | 1269 9591 | 52 | 26
970.15/970.40 c 970s | 24 | 5989763 | 5053862 | 1269 9605 | 52 | 26
972.15/972.41 c 972s | 24 | 6000221 | 5062962 | 1269 9618 | 52 | 26
972.55/972.89 c 972s | 25 | 6002655 | 5065098 | 1269 9621 | 52 | 26
974.55/974.89 c 974s | 25 | 6015577 | 5075798 | 1269 9636 | 52 | 26
976.65/976.90 c 976s | 25 | 6027022 | 5085698 | 1269 9650 | 52 | 26
978.64/978.91 c 978s | 25 | 6038638 | 5095698 | 1269 9665 | 52 | 26
980.65/980.92 c 980s | 25 | 6050137 | 5105598 | 1269 9679 | 52 | 26
982.65/982.92 c 982s | 25 | 6061814 | 5115698 | 1269 9693 | 52 | 26
984.65/984.93 c 984s | 25 | 6073241 | 5125498 | 1269 9707 | 52 | 26
986.65/986.94 c 986s | 25 | 6085289 | 5135798 | 1269 9722 | 52 | 26
988.65/988.94 c 988s | 25 | 6097045 | 5145898 | 1269 9736 | 52 | 26
990.65/990.95 c 990s | 25 | 6108311 | 5155698 | 1269 9751 | 52 | 26
992.65/992.96 c 992s | 25 | 6119741 | 5165598 | 1269 9765 | 52 | 26
994.65/994.97 c 994s | 25 | 6130729 | 5175298 | 1269 9779 | 52 | 26
996.64/996.98 c 996s | 25 | 6141434 | 5184498 | 1269 9792 | 52 | 26
998.74/999.00 c 998s | 25 | 6152458 | 5194098 | 1269 9805 | 52 | 26
1000.64/1001.00 c 1000s | 25 | 6163211 | 5203398 | 1269 9819 | 52 | 26
1002.74/1003.01 c 1002s | 25 | 6174209 | 5212798 | 1269 9832 | 52 | 26
1004.74/1005.03 c 1004s | 25 | 6184852 | 5221998 | 1269 9845 | 52 | 26
1006.74/1007.06 c 1006s | 25 | 6195638 | 5231298 | 1269 9859 | 52 | 26
1008.73/1009.07 c 1008s | 25 | 6206096 | 5240398 | 1269 9871 | 52 | 26
1010.74/1011.09 c 1010s | 25 | 6216906 | 5249598 | 1269 9885 | 52 | 26
1012.73/1013.09 c 1012s | 25 | 6227753 | 5258798 | 1269 9898 | 52 | 26
1014.83/1015.11 c 1014s | 25 | 6238715 | 5268198 | 1269 9911 | 52 | 26
1016.83/1017.13 c 1016s | 25 | 6249669 | 5277498 | 1269 9924 | 52 | 26
1018.83/1019.14 c 1018s | 25 | 6260999 | 5286898 | 1269 9938 | 52 | 26
1020.83/1021.15 c 1020s | 25 | 6271777 | 5296298 | 1269 9951 | 52 | 26
1022.83/1023.17 c 1022s | 25 | 6282380 | 5305498 | 1269 9965 | 52 | 26
1024.83/1025.20 c 1024s | 25 | 6293911 | 5315198 | 1269 9979 | 52 | 26
1026.92/1027.21 c 1026s | 25 | 6304935 | 5324598 | 1269 9992 | 52 | 26
1028.92/1029.21 c 1028s | 25 | 6316188 | 5334098 | 1269 10006 | 52 | 26
1030.92/1031.21 c 1030s | 25 | 6327453 | 5343798 | 1269 10020 | 52 | 26
1032.92/1033.22 c 1032s | 25 | 6338322 | 5353298 | 1269 10033 | 52 | 26
1034.93/1035.24 c 1034s | 25 | 6349122 | 5362798 | 1269 10047 | 52 | 26
1036.92/1037.25 c 1037s | 25 | 6359949 | 5372198 | 1269 10060 | 52 | 26
1038.92/1039.25 c 1039s | 25 | 6370732 | 5381498 | 1269 10074 | 52 | 26
1040.92/1041.25 c 1041s | 25 | 6381939 | 5391098 | 1269 10088 | 52 | 26
1042.92/1043.27 c 1043s | 25 | 6392896 | 5400498 | 1269 10101 | 52 | 26
1044.92/1045.29 c 1045s | 25 | 6404148 | 5410098 | 1269 10115 | 52 | 26
1046.92/1047.29 c 1047s | 25 | 6414732 | 5419198 | 1269 10128 | 52 | 26
1049.01/1049.30 c 1049s | 25 | 6425694 | 5428598 | 1269 10142 | 52 | 26
1051.01/1051.31 c 1051s | 25 | 6436470 | 5437898 | 1269 10155 | 52 | 26
1053.01/1053.32 c 1053s | 25 | 6447289 | 5447198 | 1269 10168 | 52 | 26
1055.01/1055.34 c 1055s | 25 | 6458089 | 5456398 | 1269 10182 | 52 | 26
1057.01/1057.36 c 1057s | 25 | 6468722 | 5465698 | 1269 10195 | 52 | 26
1059.02/1059.36 c 1059s | 25 | 6479340 | 5474798 | 1269 10208 | 52 | 26
1061.01/1061.38 c 1061s | 25 | 6490713 | 5484598 | 1269 10222 | 52 | 26
1063.01/1063.38 c 1063s | 25 | 6501164 | 5493898 | 1269 10236 | 52 | 26
1065.01/1065.39 c 1065s | 25 | 6511844 | 5503198 | 1269 10249 | 52 | 26
1067.10/1067.40 c 1067s | 25 | 6522512 | 5512498 | 1269 10263 | 52 | 26
1069.10/1069.41 c 1069s | 25 | 6533601 | 5521998 | 1269 10276 | 52 | 26
1071.12/1071.41 c 1071s | 25 | 6544352 | 5531198 | 1269 10290 | 52 | 26
1073.11/1073.43 c 1073s | 25 | 6555804 | 5540798 | 1269 10303 | 52 | 26
1075.11/1075.45 c 1075s | 25 | 6567215 | 5550598 | 1269 10317 | 52 | 26
1077.11/1077.47 c 1077s | 25 | 6578141 | 5559898 | 1269 10331 | 52 | 26
1079.11/1079.49 c 1079s | 25 | 6590298 | 5570198 | 1269 10345 | 52 | 26
1081.11/1081.49 c 1081s | 25 | 6601742 | 5579998 | 1269 10360 | 52 | 26
1083.21/1083.51 c 1083s | 25 | 6613883 | 5590398 | 1269 10375 | 52 | 26
1085.21/1085.51 c 1085s | 25 | 6625854 | 5600598 | 1269 10389 | 52 | 26
1087.20/1087.52 c 1087s | 25 | 6637656 | 5610498 | 1269 10403 | 52 | 26
1089.20/1089.53 c 1089s | 25 | 6647926 | 5619598 | 1269 10417 | 52 | 26
1091.20/1091.55 c 1091s | 25 | 6659025 | 5628998 | 1269 10430 | 52 | 26
1093.21/1093.56 c 1093s | 25 | 6669498 | 5638098 | 1269 10443 | 52 | 26
1095.20/1095.58 c 1095s | 25 | 6680342 | 5647498 | 1269 10457 | 52 | 26
1097.19/1097.59 c 1097s | 25 | 6690773 | 5656598 | 1269 10470 | 52 | 26
1099.29/1099.60 c 1099s | 25 | 6701384 | 5665898 | 1269 10483 | 52 | 26
1101.29/1101.61 c 1101s | 25 | 6711930 | 5675098 | 1269 10496 | 52 | 26
1103.29/1103.63 c 1103s | 25 | 6722642 | 5684398 | 1269 10510 | 52 | 26
1105.30/1105.64 c 1105s | 25 | 6733179 | 5693598 | 1269 10523 | 52 | 26
1107.29/1107.65 c 1107s | 25 | 6744624 | 5703398 | 1269 10537 | 52 | 26
1109.29/1109.67 c 1109s | 25 | 6756377 | 5713198 | 1269 10551 | 52 | 26
1111.28/1111.67 c 1111s | 25 | 6767609 | 5722598 | 1269 10565 | 52 | 26
1113.28/1113.68 c 1113s | 25 | 6778262 | 5731798 | 1269 10578 | 52 | 26
1115.28/1115.69 c 1115s | 25 | 6789688 | 5741498 | 1269 10592 | 52 | 26
1117.29/1117.70 c 1117s | 25 | 6800735 | 5750898 | 1269 10606 | 52 | 26
1119.38/1119.71 c 1119s | 25 | 6812232 | 5760398 | 1269 10620 | 52 | 26
1121.38/1121.71 c 1121s | 25 | 6823728 | 5770098 | 1269 10634 | 52 | 26
1123.39/1123.72 c 1123s | 25 | 6835385 | 5779998 | 1269 10648 | 52 | 26
1125.39/1125.75 c 1125s | 25 | 6846590 | 5789598 | 1269 10662 | 52 | 26
1127.38/1127.76 c 1127s | 25 | 6857822 | 5799098 | 1269 10675 | 52 | 26
1129.39/1129.77 c 1129s | 25 | 6868684 | 5808398 | 1269 10689 | 52 | 26
1131.38/1131.78 c 1131s | 25 | 6878882 | 5817398 | 1269 10702 | 52 | 26
1133.48/1133.80 c 1133s | 25 | 6889990 | 5826698 | 1269 10715 | 52 | 26
1135.48/1135.81 c 1135s | 25 | 6901032 | 5836098 | 1269 10728 | 52 | 26
1137.48/1137.82 c 1137s | 25 | 6912291 | 5845598 | 1269 10742 | 52 | 26
1139.47/1139.84 c 1139s | 25 | 6923379 | 5854998 | 1269 10756 | 52 | 26
1141.48/1141.84 c 1141s | 25 | 6934582 | 5864598 | 1269 10770 | 52 | 26
1143.47/1143.86 c 1143s | 25 | 6946201 | 5874498 | 1269 10784 | 52 | 26
1145.47/1145.87 c 1145s | 25 | 6957801 | 5884198 | 1269 10798 | 52 | 26
1147.47/1147.87 c 1147s | 25 | 6968458 | 5893298 | 1269 10811 | 52 | 26
1149.47/1149.89 c 1149s | 25 | 6979373 | 5902598 | 1269 10825 | 52 | 26
1151.57/1151.90 c 1151s | 25 | 6990678 | 5912098 | 1269 10838 | 52 | 26
1153.57/1153.92 c 1153s | 25 | 7001826 | 5921498 | 1269 10852 | 52 | 26
1155.57/1155.93 c 1155s | 25 | 7012862 | 5930898 | 1269 10865 | 52 | 26
1157.56/1157.93 c 1157s | 25 | 7023495 | 5939998 | 1269 10879 | 52 | 26
1159.56/1159.94 c 1159s | 25 | 7034794 | 5949398 | 1269 10892 | 52 | 26
1161.56/1161.95 c 1161s | 25 | 7045991 | 5959098 | 1269 10906 | 52 | 26
1163.57/1163.96 c 1163s | 25 | 7056763 | 5968398 | 1269 10920 | 52 | 26
1165.56/1165.97 c 1165s | 25 | 7067402 | 5977498 | 1269 10933 | 52 | 26
1167.56/1167.98 c 1167s | 25 | 7077940 | 5986498 | 1269 10946 | 52 | 26
1169.56/1169.99 c 1169s | 25 | 7089139 | 5995998 | 1269 10959 | 52 | 26
1171.65/1172.01 c 1171s | 25 | 7100262 | 6005298 | 1269 10973 | 52 | 26
1173.66/1174.02 c 1173s | 25 | 7111153 | 6014598 | 1269 10986 | 52 | 26
1175.67/1176.04 c 1175s | 25 | 7122659 | 6024298 | 1269 11000 | 52 | 26
1177.65/1178.05 c 1177s | 25 | 7134085 | 6033998 | 1269 11014 | 52 | 26
1179.65/1180.06 c 1179s | 25 | 7145191 | 6043498 | 1269 11028 | 52 | 26
1181.65/1182.08 c 1181s | 25 | 7156287 | 6052898 | 1269 11041 | 52 | 26
1183.65/1184.08 c 1183s | 25 | 7168060 | 6062598 | 1269 11055 | 52 | 26
1185.65/1186.09 c 1185s | 25 | 7178633 | 6071598 | 1269 11068 | 52 | 26
1187.75/1188.11 c 1187s | 25 | 7189588 | 6080898 | 1269 11082 | 52 | 26
1189.75/1190.13 c 1189s | 25 | 7200733 | 6090298 | 1269 11095 | 52 | 26
1191.75/1192.14 c 1191s | 25 | 7211548 | 6099498 | 1269 11108 | 52 | 26
1193.75/1194.15 c 1193s | 25 | 7221834 | 6108398 | 1269 11121 | 52 | 26
1195.74/1196.15 c 1195s | 25 | 7231837 | 6117098 | 1269 11134 | 52 | 26
1197.75/1198.17 c 1197s | 25 | 7242641 | 6126398 | 1269 11147 | 52 | 26
1199.75/1200.19 c 1199s | 25 | 7253721 | 6135798 | 1269 11161 | 52 | 26
1201.75/1202.19 c 1201s | 25 | 7264534 | 6145098 | 1269 11174 | 52 | 26
1203.85/1204.21 c 1203s | 25 | 7275968 | 6154698 | 1269 11188 | 52 | 26
1205.84/1206.23 c 1205s | 25 | 7286628 | 6163798 | 1269 11201 | 52 | 26
1207.84/1208.24 c 1208s | 25 | 7297313 | 6172998 | 1269 11215 | 52 | 26
1209.84/1210.24 c 1210s | 25 | 7308300 | 6182498 | 1269 11229 | 52 | 26
1211.85/1212.25 c 1212s | 25 | 7319378 | 6191998 | 1269 11242 | 52 | 26
1213.84/1214.26 c 1214s | 25 | 7330699 | 6201598 | 1269 11256 | 52 | 26
1215.84/1216.28 c 1216s | 25 | 7341816 | 6211298 | 1269 11270 | 52 | 26
1217.84/1218.29 c 1218s | 25 | 7353288 | 6221198 | 1269 11284 | 52 | 26
1219.94/1220.30 c 1220s | 25 | 7364458 | 6230798 | 1269 11298 | 52 | 26
1221.93/1222.31 c 1222s | 25 | 7374982 | 6239898 | 1269 11311 | 52 | 26
1223.94/1224.31 c 1224s | 25 | 7385753 | 6249298 | 1269 11325 | 52 | 26
1225.93/1226.31 c 1226s | 25 | 7396842 | 6258798 | 1269 11339 | 52 | 26
1227.93/1228.33 c 1228s | 25 | 7407979 | 6268298 | 1269 11352 | 52 | 26
1229.93/1230.36 c 1230s | 25 | 7418545 | 6277398 | 1269 11366 | 52 | 26
1231.93/1232.37 c 1232s | 25 | 7429036 | 6286398 | 1269 11379 | 52 | 26
1233.93/1234.38 c 1234s | 25 | 7439057 | 6294998 | 1269 11391 | 52 | 26
1235.93/1236.39 c 1236s | 25 | 7449983 | 6304298 | 1269 11404 | 52 | 26
1237.92/1238.39 c 1238s | 25 | 7460396 | 6313298 | 1269 11418 | 52 | 26
1240.02/1240.40 c 1240s | 25 | 7470793 | 6322198 | 1269 11430 | 52 | 26
1242.02/1242.42 c 1242s | 25 | 7481103 | 6331098 | 1269 11443 | 52 | 26
1244.02/1244.42 c 1244s | 25 | 7492390 | 6340598 | 1269 11457 | 52 | 26
1246.02/1246.43 c 1246s | 25 | 7503199 | 6349898 | 1269 11471 | 52 | 26
1248.01/1248.45 c 1248s | 25 | 7513754 | 6358898 | 1269 11483 | 52 | 26
1250.01/1250.46 c 1250s | 25 | 7524396 | 6368098 | 1269 11497 | 52 | 26
1252.01/1252.47 c 1252s | 25 | 7535428 | 6377598 | 1269 11511 | 52 | 26
1254.01/1254.49 c 1254s | 25 | 7546282 | 6386998 | 1269 11524 | 52 | 26
1256.11/1256.50 c 1256s | 25 | 7557171 | 6396398 | 1269 11538 | 52 | 26
1258.11/1258.51 c 1258s | 25 | 7567848 | 6405598 | 1269 11551 | 52 | 26
1260.12/1260.51 c 1260s | 25 | 7578043 | 6414498 | 1269 11564 | 52 | 26
1262.12/1262.51 c 1262s | 25 | 7587717 | 6422898 | 1269 11576 | 52 | 26
1264.11/1264.53 c 1264s | 25 | 7598194 | 6431898 | 1269 11589 | 52 | 26
1266.11/1266.53 c 1266s | 25 | 7608896 | 6440998 | 1269 11603 | 52 | 26
1268.11/1268.55 c 1268s | 25 | 7619995 | 6450498 | 1269 11616 | 52 | 26
1270.12/1270.55 c 1270s | 25 | 7630173 | 6459198 | 1269 11629 | 52 | 26
1272.11/1272.57 c 1272s | 25 | 7640149 | 6467798 | 1269 11641 | 52 | 26
1274.11/1274.58 c 1274s | 25 | 7650297 | 6476598 | 1269 11654 | 52 | 26
1276.20/1276.60 c 1276s | 25 | 7661415 | 6486098 | 1269 11668 | 52 | 26
1278.20/1278.60 c 1278s | 25 | 7671967 | 6495298 | 1269 11681 | 52 | 26
1280.20/1280.62 c 1280s | 25 | 7682188 | 6504198 | 1269 11694 | 52 | 26
1282.20/1282.64 c 1282s | 25 | 7692672 | 6513198 | 1269 11707 | 52 | 26
1284.20/1284.64 c 1284s | 25 | 7704035 | 6522598 | 1269 11721 | 52 | 26
1286.20/1286.65 c 1286s | 25 | 7715343 | 6532198 | 1269 11735 | 52 | 26
1288.19/1288.65 c 1288s | 25 | 7725695 | 6541298 | 1269 11748 | 52 | 26
1290.19/1290.67 c 1290s | 25 | 7736143 | 6550398 | 1269 11761 | 52 | 26
1292.20/1292.68 c 1292s | 25 | 7746482 | 6559298 | 1269 11774 | 52 | 26
1294.19/1294.70 c 1294s | 25 | 7757389 | 6568598 | 1269 11787 | 52 | 26
1296.29/1296.71 c 1296s | 25 | 7768406 | 6577998 | 1269 11801 | 52 | 26
1298.29/1298.73 c 1298s | 25 | 7779487 | 6587398 | 1269 11814 | 52 | 26
1300.29/1300.75 c 1300s | 25 | 7791215 | 6597198 | 1269 11829 | 52 | 26
1302.29/1302.76 c 1302s | 25 | 7802236 | 6606798 | 1269 11842 | 52 | 26
1304.30/1304.77 c 1304s | 25 | 7813000 | 6616098 | 1269 11856 | 52 | 26
1306.29/1306.77 c 1306s | 25 | 7823793 | 6625198 | 1269 11869 | 52 | 26
1308.29/1308.79 c 1308s | 25 | 7834455 | 6634198 | 1269 11882 | 52 | 26
1310.39/1310.81 c 1310s | 25 | 7844627 | 6642998 | 1269 11895 | 52 | 26
1312.39/1312.82 c 1312s | 25 | 7855270 | 6652198 | 1269 11908 | 52 | 26
1314.39/1314.82 c 1314s | 25 | 7865970 | 6661498 | 1269 11922 | 52 | 26
1316.39/1316.83 c 1316s | 25 | 7877171 | 6670998 | 1269 11935 | 52 | 26
1318.38/1318.84 c 1318s | 25 | 7888349 | 6680398 | 1269 11949 | 52 | 26
1320.38/1320.85 c 1320s | 25 | 7899149 | 6689398 | 1269 11962 | 52 | 26
1322.38/1322.85 c 1322s | 25 | 7909712 | 6698498 | 1269 11975 | 52 | 26
1324.38/1324.87 c 1324s | 25 | 7919722 | 6707298 | 1269 11988 | 52 | 26
1326.37/1326.88 c 1326s | 25 | 7930741 | 6716698 | 1269 12001 | 52 | 26
1328.38/1328.89 c 1328s | 25 | 7941905 | 6726198 | 1269 12015 | 52 | 26
1330.47/1330.91 c 1330s | 25 | 7952556 | 6735398 | 1269 12029 | 52 | 26
1332.47/1332.92 c 1332s | 25 | 7963220 | 6744498 | 1269 12042 | 52 | 26
1334.47/1334.93 c 1334s | 25 | 7973286 | 6753298 | 1269 12055 | 52 | 26
1336.46/1336.93 c 1336s | 25 | 7984533 | 6762898 | 1269 12069 | 52 | 26
1338.46/1338.94 c 1338s | 25 | 7995501 | 6772398 | 1269 12082 | 52 | 26
1340.47/1340.95 c 1340s | 25 | 8006601 | 6781998 | 1269 12096 | 52 | 26
1342.46/1342.96 c 1342s | 25 | 8017843 | 6791598 | 1269 12110 | 52 | 26
1344.46/1344.97 c 1344s | 25 | 8027779 | 6800298 | 1269 12122 | 52 | 26
1346.46/1346.97 c 1346s | 25 | 8038061 | 6809398 | 1269 12135 | 52 | 26
1348.47/1348.98 c 1348s | 25 | 8048466 | 6818598 | 1269 12148 | 52 | 26
1350.47/1350.99 c 1350s | 25 | 8058455 | 6827398 | 1269 12161 | 52 | 26
1352.57/1353.00 c 1352s | 25 | 8068770 | 6836398 | 1269 12174 | 52 | 26
1354.57/1355.02 c 1354s | 25 | 8079618 | 6845598 | 1269 12187 | 52 | 26
1356.56/1357.03 c 1356s | 25 | 8090493 | 6854898 | 1269 12200 | 52 | 26
1358.56/1359.03 c 1358s | 25 | 8100702 | 6863898 | 1269 12213 | 52 | 26
1360.56/1361.05 c 1360s | 25 | 8110817 | 6872598 | 1269 12225 | 52 | 26
1362.57/1363.06 c 1362s | 25 | 8120722 | 6881298 | 1269 12238 | 52 | 26
1364.56/1365.06 c 1364s | 25 | 8130901 | 6890098 | 1269 12251 | 52 | 26
1366.55/1367.07 c 1366s | 25 | 8141022 | 6898998 | 1269 12264 | 52 | 26
1368.55/1369.07 c 1368s | 25 | 8150697 | 6907598 | 1269 12276 | 52 | 26
1370.55/1371.08 c 1370s | 25 | 8162184 | 6917098 | 1269 12289 | 52 | 26
1372.55/1373.09 c 1372s | 25 | 8172677 | 6925998 | 1269 12302 | 52 | 26
1374.66/1375.11 c 1374s | 25 | 8182842 | 6934798 | 1269 12315 | 52 | 26
1376.65/1377.11 c 1376s | 25 | 8193651 | 6943898 | 1269 12328 | 52 | 26
1378.65/1379.13 c 1378s | 25 | 8204355 | 6952898 | 1269 12341 | 52 | 26
1380.65/1381.15 c 1380s | 25 | 8214382 | 6961698 | 1269 12354 | 52 | 26
1382.66/1383.15 c 1382s | 25 | 8225046 | 6970798 | 1269 12367 | 52 | 26
1384.66/1385.15 c 1384s | 25 | 8235560 | 6979798 | 1269 12380 | 52 | 26
1386.67/1387.15 c 1386s | 25 | 8246128 | 6988798 | 1269 12393 | 52 | 26
1388.66/1389.17 c 1388s | 25 | 8256123 | 6997398 | 1269 12406 | 52 | 26
1390.66/1391.17 c 1390s | 25 | 8266157 | 7006098 | 1269 12419 | 52 | 26
1392.66/1393.17 c 1392s | 25 | 8276832 | 7015098 | 1269 12432 | 52 | 26
1394.66/1395.18 c 1394s | 25 | 8287475 | 7024098 | 1269 12445 | 52 | 26
1396.76/1397.20 c 1396s | 25 | 8297683 | 7032998 | 1269 12458 | 52 | 26
1398.76/1399.21 c 1398s | 25 | 8308325 | 7042098 | 1269 12471 | 52 | 26
1400.75/1401.22 c 1400s | 25 | 8319096 | 7051198 | 1269 12484 | 52 | 26
1402.75/1403.22 c 1402s | 25 | 8329334 | 7059998 | 1269 12497 | 52 | 26
1404.75/1405.23 c 1404s | 25 | 8339435 | 7068798 | 1269 12509 | 52 | 26
1406.75/1407.24 c 1407s | 25 | 8349788 | 7077798 | 1269 12522 | 52 | 26
1408.76/1409.26 c 1409s | 25 | 8360444 | 7086998 | 1269 12536 | 52 | 26
1410.75/1411.26 c 1411s | 25 | 8370549 | 7095798 | 1269 12548 | 52 | 26
1412.76/1413.27 c 1413s | 25 | 8380604 | 7104598 | 1269 12561 | 52 | 26
1414.76/1415.29 c 1415s | 25 | 8391510 | 7114098 | 1269 12574 | 52 | 26
1416.85/1417.30 c 1417s | 25 | 8401881 | 7123098 | 1269 12587 | 52 | 26
1418.85/1419.32 c 1419s | 25 | 8411896 | 7131898 | 1269 12600 | 52 | 26
1420.86/1421.33 c 1421s | 25 | 8421600 | 7140498 | 1269 12613 | 52 | 26
1422.85/1423.35 c 1423s | 25 | 8432203 | 7149698 | 1269 12626 | 52 | 26
1424.85/1425.37 c 1425s | 25 | 8443028 | 7159098 | 1269 12639 | 52 | 26
1426.85/1427.39 c 1427s | 25 | 8453743 | 7168398 | 1269 12653 | 52 | 26
1428.85/1429.40 c 1429s | 25 | 8464212 | 7177498 | 1269 12666 | 52 | 26
1430.95/1431.42 c 1431s | 25 | 8474548 | 7186398 | 1269 12679 | 52 | 26
1432.95/1433.44 c 1433s | 25 | 8484439 | 7195098 | 1269 12691 | 52 | 26
1434.94/1435.45 c 1435s | 25 | 8493864 | 7203498 | 1269 12703 | 52 | 26
1436.94/1437.45 c 1437s | 25 | 8503971 | 7212398 | 1269 12716 | 52 | 26
1438.94/1439.46 c 1439s | 25 | 8514096 | 7221198 | 1269 12729 | 52 | 26
1440.94/1441.47 c 1441s | 25 | 8523954 | 7229798 | 1269 12742 | 52 | 26
1442.94/1443.49 c 1443s | 25 | 8534039 | 7238698 | 1269 12755 | 52 | 26
1444.95/1445.50 c 1445s | 25 | 8544177 | 7247498 | 1269 12767 | 52 | 26
1447.05/1447.52 c 1447s | 25 | 8554444 | 7256498 | 1269 12780 | 52 | 26
1449.05/1449.54 c 1449s | 25 | 8565071 | 7265898 | 1269 12794 | 52 | 26
1451.05/1451.54 c 1451s | 25 | 8575219 | 7274798 | 1269 12807 | 52 | 26
1453.05/1453.55 c 1453s | 25 | 8584590 | 7283198 | 1269 12819 | 52 | 26
1455.05/1455.56 c 1455s | 25 | 8594009 | 7291498 | 1269 12831 | 52 | 26
1457.05/1457.57 c 1457s | 25 | 8603461 | 7299898 | 1269 12843 | 52 | 26
1459.04/1459.59 c 1459s | 25 | 8612949 | 7308298 | 1269 12856 | 52 | 26
1461.04/1461.59 c 1461s | 25 | 8623772 | 7317598 | 1269 12869 | 52 | 26
1463.14/1463.60 c 1463s | 25 | 8634264 | 7326798 | 1269 12882 | 52 | 26
1465.14/1465.61 c 1465s | 25 | 8644634 | 7335798 | 1269 12895 | 52 | 26
1467.14/1467.61 c 1467s | 25 | 8655668 | 7345398 | 1269 12909 | 52 | 26
1469.15/1469.63 c 1469s | 25 | 8665813 | 7354198 | 1269 12922 | 52 | 26
1471.14/1471.65 c 1471s | 25 | 8676319 | 7363398 | 1269 12935 | 52 | 26
1473.14/1473.65 c 1473s | 25 | 8686571 | 7372398 | 1269 12948 | 52 | 26
1475.14/1475.65 c 1475s | 25 | 8696126 | 7380798 | 1269 12960 | 52 | 26
1477.14/1477.68 c 1477s | 25 | 8706334 | 7389598 | 1269 12973 | 52 | 26
1479.14/1479.68 c 1479s | 25 | 8717004 | 7398698 | 1269 12986 | 52 | 26
1481.14/1481.70 c 1481s | 25 | 8727774 | 7408098 | 1269 12999 | 52 | 26
1483.24/1483.71 c 1483s | 25 | 8738232 | 7417298 | 1269 13013 | 52 | 26
1485.24/1485.71 c 1485s | 25 | 8748718 | 7426398 | 1269 13026 | 52 | 26
1487.24/1487.73 c 1487s | 25 | 8759208 | 7435598 | 1269 13039 | 52 | 26
1489.24/1489.74 c 1489s | 25 | 8769471 | 7444598 | 1269 13052 | 52 | 26
1491.25/1491.75 c 1491s | 25 | 8780248 | 7453898 | 1269 13066 | 52 | 26
1493.24/1493.77 c 1493s | 25 | 8790946 | 7463198 | 1269 13079 | 52 | 26
1495.24/1495.78 c 1495s | 25 | 8801848 | 7472598 | 1269 13093 | 52 | 26
1497.24/1497.79 c 1497s | 25 | 8812606 | 7481898 | 1269 13106 | 52 | 26
1499.34/1499.81 c 1499s | 25 | 8823344 | 7491198 | 1269 13120 | 52 | 26
1501.34/1501.82 c 1501s | 25 | 8833967 | 7500298 | 1269 13133 | 52 | 26
1503.34/1503.82 c 1503s | 25 | 8844831 | 7509598 | 1269 13146 | 52 | 26
1505.34/1505.83 c 1505s | 25 | 8855042 | 7518598 | 1269 13159 | 52 | 26
1507.34/1507.84 c 1507s | 25 | 8864783 | 7527298 | 1269 13172 | 52 | 26
1509.34/1509.84 c 1509s | 25 | 8875129 | 7536298 | 1269 13185 | 52 | 26
1511.34/1511.86 c 1511s | 25 | 8884935 | 7544998 | 1396 13197 | 52 | 26
1513.34/1513.87 c 1513s | 25 | 8894693 | 7553498 | 1396 13208 | 52 | 26
1515.34/1515.88 c 1515s | 25 | 8904604 | 7562098 | 1396 13220 | 52 | 26
1517.43/1517.90 c 1517s | 25 | 8914820 | 7570998 | 1396 13232 | 52 | 26
1519.43/1519.92 c 1519s | 25 | 8924990 | 7579898 | 1396 13243 | 52 | 26
1521.43/1521.93 c 1521s | 25 | 8935063 | 7588698 | 1396 13255 | 52 | 26
1523.43/1523.93 c 1523s | 25 | 8945168 | 7597398 | 1396 13267 | 52 | 26
1523.53/1524.00 c 1523s | 26 | 8945588 | 7597752 | 1396 13267 | 52 | 26
1525.53/1526.00 c 1525s | 26 | 8956802 | 7607252 | 1396 13280 | 52 | 26
1527.54/1528.01 c 1527s | 26 | 8967408 | 7616252 | 1396 13292 | 52 | 26
1529.53/1530.04 c 1529s | 26 | 8977840 | 7625152 | 1396 13303 | 52 | 26
1531.53/1532.05 c 1531s | 26 | 8987776 | 7633652 | 1396 13315 | 52 | 26
1533.53/1534.06 c 1533s | 26 | 8998018 | 7642352 | 1396 13326 | 52 | 26
1535.54/1536.06 c 1535s | 26 | 9008491 | 7651252 | 1396 13338 | 52 | 26
1537.54/1538.07 c 1537s | 26 | 9018565 | 7659952 | 1396 13349 | 52 | 26
1539.54/1540.07 c 1539s | 26 | 9028888 | 7668952 | 1396 13361 | 52 | 26
1541.53/1542.09 c 1541s | 26 | 9039691 | 7678152 | 1396 13373 | 52 | 26
1543.53/1544.09 c 1543s | 26 | 9049804 | 7686852 | 1396 13385 | 52 | 26
1545.63/1546.10 c 1545s | 26 | 9059772 | 7695452 | 1396 13396 | 52 | 26
1547.63/1548.12 c 1547s | 26 | 9070095 | 7704452 | 1396 13408 | 52 | 26
1549.63/1550.13 c 1549s | 26 | 9080428 | 7713352 | 1396 13420 | 52 | 26
1551.64/1552.14 c 1551s | 26 | 9090375 | 7721952 | 1396 13431 | 52 | 26
1553.63/1554.16 c 1553s | 26 | 9100344 | 7730452 | 1396 13443 | 52 | 26
1555.63/1556.18 c 1555s | 26 | 9110393 | 7739052 | 1396 13454 | 52 | 26
1557.63/1558.19 c 1557s | 26 | 9120294 | 7747352 | 1396 13465 | 52 | 26
1559.63/1560.19 c 1559s | 26 | 9130056 | 7755852 | 1396 13477 | 52 | 26
1561.73/1562.20 c 1561s | 26 | 9140038 | 7764552 | 1396 13488 | 52 | 26
1563.74/1564.21 c 1563s | 26 | 9150546 | 7773452 | 1396 13500 | 52 | 26
1565.73/1566.21 c 1565s | 26 | 9161539 | 7782752 | 1396 13512 | 52 | 26
1567.73/1568.24 c 1568s | 26 | 9172882 | 7792052 | 1396 13524 | 52 | 26
1569.73/1570.25 c 1570s | 26 | 9184053 | 7801352 | 1396 13537 | 52 | 26
1571.73/1572.25 c 1572s | 26 | 9194365 | 7809952 | 1396 13548 | 52 | 26
1573.73/1574.28 c 1574s | 26 | 9204557 | 7818752 | 1396 13560 | 52 | 26
1575.73/1576.28 c 1576s | 26 | 9214705 | 7827552 | 1396 13571 | 52 | 26
1577.73/1578.28 c 1578s | 26 | 9225116 | 7836452 | 1396 13583 | 52 | 26
1579.83/1580.30 c 1580s | 26 | 9235884 | 7845752 | 1396 13595 | 52 | 26
1581.83/1582.32 c 1582s | 26 | 9245941 | 7854452 | 1396 13607 | 52 | 26
1583.82/1584.33 c 1584s | 26 | 9256051 | 7863252 | 1396 13619 | 52 | 26
1585.83/1586.34 c 1586s | 26 | 9265823 | 7871852 | 1396 13630 | 52 | 26
1587.82/1588.35 c 1588s | 26 | 9276194 | 7880752 | 1396 13642 | 52 | 26
1589.82/1590.36 c 1590s | 26 | 9286319 | 7889552 | 1396 13653 | 52 | 26
1591.82/1592.36 c 1592s | 26 | 9296183 | 7898152 | 1396 13664 | 52 | 26
1593.82/1594.36 c 1594s | 26 | 9306281 | 7906852 | 1396 13676 | 52 | 26
1595.82/1596.37 c 1596s | 26 | 9316023 | 7915352 | 1396 13687 | 52 | 26
1597.83/1598.38 c 1598s | 26 | 9325475 | 7923652 | 1396 13698 | 52 | 26
1599.82/1600.39 c 1600s | 26 | 9335109 | 7931952 | 1396 13709 | 52 | 26
1601.82/1602.39 c 1602s | 26 | 9344720 | 7940252 | 1396 13720 | 52 | 26
1603.92/1604.40 c 1604s | 26 | 9354775 | 7948952 | 1396 13731 | 52 | 26
1605.92/1606.40 c 1606s | 26 | 9365012 | 7957552 | 1396 13743 | 52 | 26
1607.92/1608.41 c 1608s | 26 | 9374835 | 7966152 | 1396 13754 | 52 | 26
1609.92/1610.42 c 1610s | 26 | 9385489 | 7975152 | 1396 13766 | 52 | 26
1611.92/1612.43 c 1612s | 26 | 9395226 | 7983652 | 1396 13777 | 52 | 26
1613.92/1614.45 c 1614s | 26 | 9404758 | 7992052 | 1396 13789 | 52 | 26
1615.92/1616.46 c 1616s | 26 | 9414655 | 8000652 | 1396 13800 | 52 | 26
1617.92/1618.47 c 1618s | 26 | 9424505 | 8009252 | 1396 13811 | 52 | 26
1619.92/1620.47 c 1620s | 26 | 9434465 | 8017752 | 1396 13823 | 52 | 26
1621.91/1622.48 c 1622s | 26 | 9444741 | 8026452 | 1396 13834 | 52 | 26
1623.91/1624.49 c 1624s | 26 | 9454859 | 8035052 | 1396 13846 | 52 | 26
1625.91/1626.49 c 1626s | 26 | 9464835 | 8043652 | 1396 13857 | 52 | 26
1628.01/1628.50 c 1628s | 26 | 9475013 | 8052252 | 1396 13868 | 52 | 26
1630.01/1630.51 c 1630s | 26 | 9484640 | 8060652 | 1396 13879 | 52 | 26
1632.03/1632.53 c 1632s | 26 | 9494147 | 8068952 | 1396 13890 | 52 | 26
1634.02/1634.54 c 1634s | 26 | 9504240 | 8077452 | 1396 13902 | 52 | 26
1636.02/1636.55 c 1636s | 26 | 9514449 | 8086052 | 1396 13913 | 52 | 26
1638.02/1638.55 c 1638s | 26 | 9525139 | 8094952 | 1396 13925 | 52 | 26
1640.02/1640.55 c 1640s | 26 | 9535478 | 8103552 | 1396 13936 | 52 | 26
1642.02/1642.57 c 1642s | 26 | 9545874 | 8112252 | 1396 13948 | 52 | 26
1644.02/1644.58 c 1644s | 26 | 9555483 | 8120652 | 1396 13959 | 52 | 26
1646.12/1646.60 c 1646s | 26 | 9565576 | 8129252 | 1396 13970 | 52 | 26
1648.12/1648.61 c 1648s | 26 | 9576447 | 8138352 | 1396 13982 | 52 | 26
1650.12/1650.61 c 1650s | 26 | 9586733 | 8147152 | 1396 13994 | 52 | 26
1652.11/1652.63 c 1652s | 26 | 9596725 | 8155752 | 1396 14005 | 52 | 26
1654.11/1654.65 c 1654s | 26 | 9607043 | 8164452 | 1396 14017 | 52 | 26
1656.12/1656.67 c 1656s | 26 | 9617232 | 8173152 | 1396 14028 | 52 | 26
1658.11/1658.68 c 1658s | 26 | 9626860 | 8181452 | 1396 14039 | 52 | 26
1660.11/1660.69 c 1660s | 26 | 9637366 | 8190352 | 1396 14051 | 52 | 26
1662.21/1662.71 c 1662s | 26 | 9647285 | 8198852 | 1396 14062 | 52 | 26
1664.21/1664.73 c 1664s | 26 | 9657198 | 8207452 | 1396 14073 | 52 | 26
1666.21/1666.75 c 1666s | 26 | 9667533 | 8216352 | 1396 14085 | 52 | 26
1668.22/1668.76 c 1668s | 26 | 9677493 | 8224952 | 1396 14097 | 52 | 26
1670.21/1670.77 c 1670s | 26 | 9687887 | 8233852 | 1396 14108 | 52 | 26
1672.21/1672.79 c 1672s | 26 | 9697905 | 8242452 | 1396 14120 | 52 | 26
1674.21/1674.79 c 1674s | 26 | 9707838 | 8251152 | 1396 14131 | 52 | 26
1676.21/1676.79 c 1676s | 26 | 9717660 | 8259652 | 1396 14143 | 52 | 26
1678.31/1678.80 c 1678s | 26 | 9728070 | 8268552 | 1396 14154 | 52 | 26
1680.32/1680.81 c 1680s | 26 | 9738840 | 8277452 | 1396 14166 | 52 | 26
1682.31/1682.82 c 1682s | 26 | 9749487 | 8286352 | 1396 14178 | 52 | 26
1684.31/1684.83 c 1684s | 26 | 9759861 | 8295252 | 1396 14190 | 52 | 26
1686.30/1686.84 c 1686s | 26 | 9769661 | 8303852 | 1396 14201 | 52 | 26
1688.30/1688.86 c 1688s | 26 | 9779983 | 8312752 | 1396 14213 | 52 | 26
1690.31/1690.88 c 1690s | 26 | 9789850 | 8321252 | 1396 14224 | 52 | 26
1692.30/1692.88 c 1692s | 26 | 9800205 | 8330052 | 1396 14236 | 52 | 26
1694.30/1694.89 c 1694s | 26 | 9810565 | 8339052 | 1396 14248 | 52 | 26
1696.30/1696.89 c 1696s | 26 | 9820313 | 8347652 | 1396 14259 | 52 | 26
1698.40/1698.90 c 1698s | 26 | 9830209 | 8356252 | 1396 14270 | 52 | 26
1700.40/1700.91 c 1700s | 26 | 9840201 | 8364952 | 1396 14282 | 52 | 26
1702.41/1702.92 c 1702s | 26 | 9849668 | 8373152 | 1396 14293 | 52 | 26
1704.40/1704.93 c 1704s | 26 | 9859047 | 8381252 | 1396 14303 | 52 | 26
1706.41/1706.94 c 1706s | 26 | 9868469 | 8389552 | 1396 14314 | 52 | 26
1708.41/1708.96 c 1708s | 26 | 9878225 | 8398052 | 1396 14326 | 52 | 26
1710.41/1710.98 c 1710s | 26 | 9888130 | 8406652 | 1396 14337 | 52 | 26
1712.41/1712.99 c 1712s | 26 | 9898056 | 8415352 | 1396 14348 | 52 | 26
1714.41/1715.00 c 1714s | 26 | 9907745 | 8423852 | 1396 14360 | 52 | 26
1716.51/1717.01 c 1716s | 26 | 9917339 | 8432252 | 1396 14371 | 52 | 26
1718.51/1719.02 c 1718s | 26 | 9927111 | 8440852 | 1396 14382 | 52 | 26
1720.51/1721.02 c 1720s | 26 | 9936696 | 8449252 | 1396 14393 | 52 | 26
1722.50/1723.03 c 1722s | 26 | 9946358 | 8457752 | 1396 14405 | 52 | 26
1724.50/1725.04 c 1724s | 26 | 9956654 | 8466552 | 1396 14416 | 52 | 26
1726.51/1727.05 c 1726s | 26 | 9966335 | 8475052 | 1396 14428 | 52 | 26
1728.50/1729.07 c 1728s | 26 | 9976101 | 8483552 | 1396 14439 | 52 | 26
1730.50/1731.08 c 1730s | 26 | 9986045 | 8492152 | 1396 14450 | 52 | 26
1732.60/1733.11 c 1732s | 26 | 9995843 | 8500752 | 1396 14462 | 52 | 26
1734.60/1735.12 c 1734s | 26 | 10005722 | 8509352 | 1396 14473 | 52 | 26
1736.60/1737.12 c 1736s | 26 | 10015463 | 8517952 | 1396 14484 | 52 | 26
1738.61/1739.13 c 1738s | 26 | 10024977 | 8526352 | 1396 14495 | 52 | 26
1740.60/1741.13 c 1740s | 26 | 10034698 | 8534852 | 1396 14507 | 52 | 26
1742.60/1743.14 c 1742s | 26 | 10044583 | 8543452 | 1396 14518 | 52 | 26
1744.60/1745.15 c 1744s | 26 | 10054332 | 8552052 | 1396 14529 | 52 | 26
1746.59/1747.16 c 1746s | 26 | 10063849 | 8560452 | 1396 14541 | 52 | 26
1748.60/1749.18 c 1748s | 26 | 10073181 | 8568752 | 1396 14552 | 52 | 26
1750.59/1751.19 c 1750s | 26 | 10082578 | 8577152 | 1396 14563 | 52 | 26
1752.69/1753.20 c 1752s | 26 | 10092198 | 8585652 | 1396 14574 | 52 | 26
1754.69/1755.20 c 1754s | 26 | 10103012 | 8594652 | 1396 14586 | 52 | 26
1756.69/1757.20 c 1756s | 26 | 10113099 | 8603252 | 1396 14598 | 52 | 26
1758.69/1759.21 c 1758s | 26 | 10123235 | 8611952 | 1396 14609 | 52 | 26
1760.70/1761.22 c 1760s | 26 | 10133408 | 8620752 | 1396 14621 | 52 | 26
1762.69/1763.23 c 1762s | 26 | 10143431 | 8629252 | 1396 14632 | 52 | 26
1764.70/1765.23 c 1764s | 26 | 10153684 | 8637952 | 1396 14643 | 52 | 26
1766.70/1767.24 c 1767s | 26 | 10163513 | 8646452 | 1396 14654 | 52 | 26
1768.70/1769.26 c 1769s | 26 | 10173231 | 8654852 | 1396 14666 | 52 | 26
1770.70/1771.27 c 1771s | 26 | 10183316 | 8663452 | 1396 14677 | 52 | 26
1772.71/1773.28 c 1773s | 26 | 10193454 | 8672252 | 1396 14689 | 52 | 26
1774.70/1775.28 c 1775s | 26 | 10203531 | 8680952 | 1396 14700 | 52 | 26
1776.70/1777.29 c 1777s | 26 | 10212937 | 8689252 | 1396 14711 | 52 | 26
1778.80/1779.30 c 1779s | 26 | 10223604 | 8698452 | 1396 14723 | 52 | 26
1780.79/1781.32 c 1781s | 26 | 10234407 | 8707752 | 1396 14736 | 52 | 26
1782.79/1783.33 c 1783s | 26 | 10244909 | 8716752 | 1396 14747 | 52 | 26
1784.80/1785.35 c 1785s | 26 | 10254966 | 8725452 | 1396 14759 | 52 | 26
1786.79/1787.36 c 1787s | 26 | 10264536 | 8733852 | 1396 14770 | 52 | 26
1788.79/1789.38 c 1789s | 26 | 10274960 | 8742752 | 1396 14782 | 52 | 26
1790.79/1791.39 c 1791s | 26 | 10285048 | 8751652 | 1396 14793 | 52 | 26
1792.89/1793.41 c 1793s | 26 | 10295160 | 8760452 | 1396 14805 | 52 | 26
1794.89/1795.42 c 1795s | 26 | 10304404 | 8768652 | 1396 14816 | 52 | 26
1796.89/1797.44 c 1797s | 26 | 10314879 | 8777652 | 1396 14828 | 52 | 26
1798.89/1799.45 c 1799s | 26 | 10325481 | 8786652 | 1396 14840 | 52 | 26
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-4117519-1467213911/watcher-4117519-1467213911 -o /tmp/evaluation-result-4117519-1467213911/solver-4117519-1467213911 -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-4117519-1467213911.opb
pid=2336
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.21 2.28 2.20 5/174 2343
/proc/meminfo: memFree=28666116/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 2693 0 0 0 0 0 0 0 20 0 4 0 418737 739700736 3053 33554432000 4194304 16246674 140735349735200 140735349734624 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 181103 3064 441 2943 0 177997 0
[pid=2343/tid=2344] ppid=2336 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 758575104 3125 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 762769408 3141 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 418738 766963712 3157 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100171 s]
/proc/loadavg: 2.21 2.28 2.20 5/174 2343
/proc/meminfo: memFree=28666116/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 25277 0 0 0 6 3 0 0 20 0 4 0 418737 1247350784 25625 33554432000 4194304 16246674 140735349735200 140735349734624 5532218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 304529 25633 783 2943 0 301423 0
[pid=2343/tid=2344] ppid=2336 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1247350784 25640 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1247350784 25645 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 418738 1247350784 25651 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200379 s]
/proc/loadavg: 2.21 2.28 2.20 5/174 2343
/proc/meminfo: memFree=28666116/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 44860 0 0 0 13 6 0 0 20 0 4 0 418737 1247350784 45207 33554432000 4194304 16246674 140735349735200 140735349734624 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 304529 45213 783 2943 0 301423 0
[pid=2343/tid=2344] ppid=2336 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1247350784 45218 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1247350784 45231 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 418738 1247350784 45240 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300341 s]
/proc/loadavg: 2.21 2.28 2.20 5/174 2343
/proc/meminfo: memFree=28666116/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 64530 0 0 0 19 10 0 0 20 0 4 0 418737 1247350784 64877 33554432000 4194304 16246674 140735349735200 140735349734624 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 304529 64889 786 2943 0 301423 0
[pid=2343/tid=2344] ppid=2336 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1247350784 64894 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1247350784 64899 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 418738 1247350784 64904 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700332 s]
/proc/loadavg: 2.21 2.28 2.20 5/174 2343
/proc/meminfo: memFree=28666116/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 146349 0 0 0 48 21 0 0 20 0 4 0 418737 1247350784 146697 33554432000 4194304 16246674 140735349735200 140735349718192 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 304529 146705 786 2943 0 301423 0
[pid=2343/tid=2344] ppid=2336 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1247350784 146708 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1247350784 146712 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 418738 1247350784 146717 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50041 s]
/proc/loadavg: 2.21 2.28 2.20 4/183 2437
/proc/meminfo: memFree=27521612/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 245692 0 0 0 114 35 0 0 20 0 4 0 418737 1248399360 246017 33554432000 4194304 16246674 140735349735200 140735349718200 5754764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 304785 246017 846 2943 0 301679 0
[pid=2343/tid=2344] ppid=2336 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1248399360 246017 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1248399360 246017 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1248399360 246017 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140
[startup+3.10042 s]
/proc/loadavg: 2.21 2.28 2.20 4/183 2437
/proc/meminfo: memFree=26612428/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 267439 0 0 0 270 39 0 0 20 0 4 0 418737 1337528320 267764 33554432000 4194304 16246674 140735349735200 140735349717120 5523139 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 326545 267764 846 2943 0 323439 0
[pid=2343/tid=2344] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267764 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267764 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267764 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180
[startup+6.30037 s]
/proc/loadavg: 2.28 2.29 2.21 4/183 2437
/proc/meminfo: memFree=26524296/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 267514 0 0 0 589 40 0 0 20 0 4 0 418737 1337528320 267839 33554432000 4194304 16246674 140735349735200 140735349717120 5996552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 326545 267839 846 2943 0 323439 0
[pid=2343/tid=2344] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267839 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267839 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267839 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.33 2.30 2.21 4/183 2437
/proc/meminfo: memFree=26524364/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 267520 0 0 0 1229 40 0 0 20 0 4 0 418737 1337528320 267845 33554432000 4194304 16246674 140735349735200 140735349717120 13923754 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 326545 267845 846 2943 0 323439 0
[pid=2343/tid=2344] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267845 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267845 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267845 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180
[startup+25.5005 s]
/proc/loadavg: 2.26 2.28 2.21 3/183 2438
/proc/meminfo: memFree=26524820/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 267528 0 0 0 2508 41 0 0 20 0 4 0 418737 1337528320 267853 33554432000 4194304 16246674 140735349735200 140735349717120 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 326545 267853 849 2943 0 323439 0
[pid=2343/tid=2344] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267853 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267853 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267853 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180
[startup+51.1005 s]
/proc/loadavg: 2.25 2.28 2.21 4/183 2438
/proc/meminfo: memFree=26524828/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 267559 0 0 0 5066 42 0 0 20 0 4 0 418737 1337528320 267884 33554432000 4194304 16246674 140735349735200 140735349717120 12483276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 326545 267884 849 2943 0 323439 0
[pid=2343/tid=2344] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267884 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267884 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267884 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180
[startup+102.301 s]
/proc/loadavg: 2.30 2.28 2.21 4/183 2439
/proc/meminfo: memFree=26524180/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1306180 CPUtime=102.29 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 267581 0 0 0 10185 44 0 0 20 0 4 0 418737 1337528320 267906 33554432000 4194304 16246674 140735349735200 140735349717120 5601643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 326545 267906 850 2943 0 323439 0
[pid=2343/tid=2344] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267906 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267906 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1337528320 267906 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1306180
################
# More data... #
################
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1308228
[startup+1302.3 s]
/proc/loadavg: 2.26 2.27 2.20 3/183 2469
/proc/meminfo: memFree=26513960/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1308228 CPUtime=1301.89 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 268325 0 0 0 130117 72 0 0 20 0 4 0 418737 1339625472 268250 33554432000 4194304 16246674 140735349735200 140735349717120 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 327057 268250 851 2943 0 323951 0
[pid=2343/tid=2344] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1308228
[startup+1362.3 s]
/proc/loadavg: 2.25 2.27 2.20 4/183 2470
/proc/meminfo: memFree=26514056/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1308228 CPUtime=1361.86 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 268365 0 0 0 136113 73 0 0 20 0 4 0 418737 1339625472 268250 33554432000 4194304 16246674 140735349735200 140735349717120 5523134 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 327057 268250 851 2943 0 323951 0
[pid=2343/tid=2344] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1308228
[startup+1422.3 s]
/proc/loadavg: 2.51 2.32 2.22 3/183 2471
/proc/meminfo: memFree=26513632/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1308228 CPUtime=1421.86 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 268365 0 0 0 142111 75 0 0 20 0 4 0 418737 1339625472 268250 33554432000 4194304 16246674 140735349735200 140735349718200 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 327057 268250 851 2943 0 323951 0
[pid=2343/tid=2344] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1308228
[startup+1482.3 s]
/proc/loadavg: 2.24 2.28 2.21 3/183 2472
/proc/meminfo: memFree=26513532/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1308228 CPUtime=1481.84 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 268365 0 0 0 148108 76 0 0 20 0 4 0 418737 1339625472 268250 33554432000 4194304 16246674 140735349735200 140735349717120 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 327057 268250 851 2943 0 323951 0
[pid=2343/tid=2344] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1308228
[startup+1542.31 s]
/proc/loadavg: 2.22 2.27 2.20 4/184 2476
/proc/meminfo: memFree=26513680/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1308228 CPUtime=1541.84 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 268365 0 0 0 154106 78 0 0 20 0 4 0 418737 1339625472 268250 33554432000 4194304 16246674 140735349735200 140735349717120 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 327057 268250 851 2943 0 323951 0
[pid=2343/tid=2344] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1308228
[startup+1602.3 s]
/proc/loadavg: 2.18 2.25 2.20 3/183 2478
/proc/meminfo: memFree=26513364/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1308228 CPUtime=1601.82 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 268365 0 0 0 160104 78 0 0 20 0 4 0 418737 1339625472 268250 33554432000 4194304 16246674 140735349735200 140735349717120 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 327057 268250 851 2943 0 323951 0
[pid=2343/tid=2344] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1308228
[startup+1662.3 s]
/proc/loadavg: 2.18 2.23 2.19 4/183 2479
/proc/meminfo: memFree=26513264/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1308228 CPUtime=1661.81 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 268365 0 0 0 166102 79 0 0 20 0 4 0 418737 1339625472 268250 33554432000 4194304 16246674 140735349735200 140735349717120 5523360 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 327057 268250 851 2943 0 323951 0
[pid=2343/tid=2344] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1308228
[startup+1722.3 s]
/proc/loadavg: 2.21 2.23 2.19 4/183 2480
/proc/meminfo: memFree=26512796/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1308228 CPUtime=1721.8 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 268365 0 0 0 172100 80 0 0 20 0 4 0 418737 1339625472 268250 33554432000 4194304 16246674 140735349735200 140735349718200 13191984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 327057 268250 851 2943 0 323951 0
[pid=2343/tid=2344] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1308228
[startup+1782.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 2481
/proc/meminfo: memFree=26512836/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1308228 CPUtime=1781.79 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 268365 0 0 0 178098 81 0 0 20 0 4 0 418737 1339625472 268250 33554432000 4194304 16246674 140735349735200 140735349717120 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 327057 268250 851 2943 0 323951 0
[pid=2343/tid=2344] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1308228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 2481
/proc/meminfo: memFree=26512928/32872528 swapFree=1553660/1717180
[pid=2343] ppid=2336 vsize=1308228 CPUtime=1800.09 cores=1,3,5,7
/proc/2343/stat : 2343 (toysat) R 2336 2343 1984 0 -1 4202496 268365 0 0 0 179928 81 0 0 20 0 4 0 418737 1339625472 268250 33554432000 4194304 16246674 140735349735200 140735349717120 5667184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 327057 268250 851 2943 0 323951 0
[pid=2343/tid=2344] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2344/stat : 2344 (toysat) S 2336 2343 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551563226352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2343/tid=2345] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2345/stat : 2345 (toysat) S 2336 2343 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551552736496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2343/tid=2346] ppid=2336 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2343/task/2346/stat : 2346 (toysat) S 2336 2343 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418738 1339625472 268250 33554432000 4194304 16246674 140735349735200 140551542262960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1308228
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 2343 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.29
CPU system time (s): 0.819875
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1308228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.819875
maximum resident set size= 1073000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268365
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= 458
involuntary context switches= 2494
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46732 second user time and 7.07492 second system time
The end