0.00/0.00 c 2016-06-30T00:02:10+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-4117906-1467237730.opb"]
0.00/0.01 c use --random-gen="188897457 4038993258 4051784491 3300968608 2316557470 745575266 2645975026 3256098701 4162192682 1096395423 3827667745 774488707 1618709751 2531590838 1901221281 70009030 2813913056 3906308754 152398806 3493338056 400523102 330167157 2191772080 2784566693 3826928122 337385969 1552776291 2855908159 790851381 648214346 398609668 1578157357 608213957 3063754546 655047178 1914693241 1507763460 91021087 3571225893 946543774 3942278259 340968145 2911022320 3455845492 727417973 897332739 613564552 90657375 143432399 4114510840 4155638441 1575944483 743607645 1678401594 520695002 2310175546 1294923490 2747062971 3624369782 642832793 3315494862 2562498784 2986894150 2587114954 1498796146 1345532290 127803324 2682133074 1447011504 507552814 298747008 2718887405 633319508 1808689378 1543824206 1015055891 1693309310 780067292 1602211754 1531601144 243690160 919667950 1092404486 2702071897 2703515140 2626337475 1240435350 1782451896 845947214 360295607 3056823604 4102889206 4072956810 164202122 1852921545 392952434 3115437452 634353531 2218281099 2517752897 869562131 1319059307 792012703 797835212 2109088715 2845001725 3324329269 3881008356 42074855 51615343 2286586467 2615105233 587394510 3736430437 3787243362 1373666123 2525585427 2965361589 3215373739 3971344018 408334922 702139432 814407241 980222630 2114158004 2055714666 1852598393 689145139 2527836037 3543982010 1328251798 1942172845 3963920911 3080073024 4271261664 1724903295 1205478152 3404438877 3023344937 2408458897 2173922775 829610532 2365104364 1786899847 679854280 1267887471 941909771 3441313929 4102626550 3224070502 1393946399 1000483465 4124682682 1764281225 3430214672 3646173703 4161276876 463621340 1481729041 773336721 4226565698 14748097 3917784755 3882280168 2223308475 4008485178 2661346642 3510921992 1728146013 3720221507 1842074479 2516534028 2300874353 4154378642 992421837 262601501 3884643143 1380239151 3876246807 498169375 575321498 3179876259 1191862784 1298585618 3775621478 4267362881 469008881 2499915251 840211540 2804168141 2495699316 871053176 2769065213 982091260 1904915710 1870175297 1209979351 288208424 2525017023 2166525025 2974894244 1957051283 2658721823 2174133519 3802988456 3826631193 526951698 2140148377 798825938 3220478724 248912197 382332382 1527729234 795295426 1906136377 890700879 2001066576 3412062570 2099103927 37732110 1706684916 2990401994 1454481845 759033399 1465860212 3605879514 3822795353 3469514662 3927264168 2162377835 2133759085 1884048793 2761857724 665621779 2904177308 2090060387 1004595700 3419193036 849220516 146843912 107389458 1874623594 146811557 3117475896 1629788506 1688537217 2125386714 2730647778 1296943774 2875126185 2286028371 4001224081 1549420769 1916073622 2332690974 1440414090 255 362436" option to reproduce the execution
0.00/0.01 c #vars 256
0.00/0.01 c #constraints 94
0.00/0.02 c BCD2: Hardening is enabled.
0.00/0.02 c BCD2: BiasedSearch is enabled.
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 141 0 | 26 | 0
0.00/0.03 c 0.0s | 1 | 155 | 100 | 141 0 | 26 | 0
0.00/0.06 c 0.0s | 2 | 380 | 250 | 156 0 | 26 | 0
0.00/0.09 c 0.1s | 2 | 694 | 405 | 172 1 | 26 | 0
0.00/0.09 c #cpu_time = 0.074s
0.00/0.09 c #wall_clock_time = 0.074s
0.00/0.09 c #decision = 694
0.00/0.09 c #random_decision = 1
0.00/0.09 c #conflict = 405
0.00/0.09 c #restart = 2
0.00/0.09 o 125
0.00/0.09 c BCD2: updating upper bound: 256 -> 124
0.00/0.09 c BCD2: 0 <= obj <= 124
0.00/0.09 c BCD2: #cores=0, #unrelaxed=256, #relaxed=0, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=1 bias=1/2
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 | 172 0 | 26 | 0
0.09/0.10 c 0.0s | 0 | 2 | 0 | 172 1 | 26 | 0
0.09/0.10 c #cpu_time = 0.003s
0.09/0.10 c #wall_clock_time = 0.003s
0.09/0.10 c #decision = 2
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 1
0.09/0.10 c BCD2: 1 <= obj <= 124
0.09/0.10 c BCD2: #cores=1, #unrelaxed=255, #relaxed=1, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=2 bias=2/3
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 | 172 0 | 26 | 0
0.09/0.10 c 0.0s | 0 | 6 | 0 | 172 0 | 26 | 0
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 = 6
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 6: cost of the new core is >=1
0.09/0.10 c lower bound updated to 2
0.09/0.10 c BCD2: 2 <= obj <= 124
0.09/0.10 c BCD2: #cores=2, #unrelaxed=249, #relaxed=7, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=3 bias=3/4
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 | 172 0 | 26 | 0
0.09/0.10 c 0.0s | 0 | 6 | 0 | 172 0 | 26 | 0
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 = 6
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 3
0.09/0.10 c BCD2: 3 <= obj <= 124
0.09/0.10 c BCD2: #cores=3, #unrelaxed=248, #relaxed=8, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=4 bias=4/5
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 | 172 0 | 26 | 0
0.09/0.10 c 0.0s | 0 | 9 | 3 | 172 0 | 26 | 0
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 = 9
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 3
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 10: cost of the new core is >=2
0.09/0.10 c lower bound updated to 4
0.09/0.10 c BCD2: 4 <= obj <= 124
0.09/0.10 c BCD2: #cores=3, #unrelaxed=244, #relaxed=12, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=5 bias=5/6
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 | 172 0 | 27 | 0
0.09/0.10 c 0.0s | 0 | 5 | 0 | 172 0 | 27 | 1
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 = 5
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 5
0.09/0.10 c BCD2: 5 <= obj <= 124
0.09/0.10 c BCD2: #cores=4, #unrelaxed=243, #relaxed=13, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=6 bias=6/7
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 | 172 0 | 27 | 1
0.09/0.10 c 0.0s | 0 | 7 | 0 | 172 0 | 27 | 1
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 = 7
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 6
0.09/0.10 c BCD2: 6 <= obj <= 124
0.09/0.10 c BCD2: #cores=5, #unrelaxed=239, #relaxed=17, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=7 bias=7/8
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 | 172 0 | 27 | 1
0.09/0.11 c 0.0s | 0 | 8 | 1 | 172 0 | 27 | 1
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 = 8
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 1
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 7: cost of the new core is >=2
0.09/0.11 c lower bound updated to 7
0.09/0.11 c BCD2: 7 <= obj <= 124
0.09/0.11 c BCD2: #cores=5, #unrelaxed=236, #relaxed=20, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=8 bias=8/9
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 | 172 0 | 28 | 1
0.09/0.11 c 0.0s | 0 | 8 | 1 | 172 0 | 28 | 2
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 = 8
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 1
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 10: cost of the new core is >=3
0.09/0.11 c lower bound updated to 8
0.09/0.11 c BCD2: 8 <= obj <= 124
0.09/0.11 c BCD2: #cores=5, #unrelaxed=233, #relaxed=23, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=9 bias=9/10
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 | 172 0 | 29 | 2
0.09/0.11 c 0.0s | 0 | 8 | 0 | 172 0 | 29 | 3
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 = 8
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 9
0.09/0.11 c BCD2: 9 <= obj <= 124
0.09/0.11 c BCD2: #cores=6, #unrelaxed=232, #relaxed=24, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=10 bias=10/11
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 | 172 0 | 29 | 3
0.09/0.11 c 0.0s | 0 | 17 | 0 | 172 0 | 29 | 3
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 = 17
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 10: cost of the new core is >=1
0.09/0.11 c lower bound updated to 10
0.09/0.11 c BCD2: 10 <= obj <= 124
0.09/0.11 c BCD2: #cores=7, #unrelaxed=222, #relaxed=34, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=11 bias=11/12
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 | 172 0 | 29 | 3
0.09/0.11 c 0.0s | 0 | 11 | 0 | 172 0 | 29 | 3
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 = 11
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 11
0.09/0.11 c BCD2: 11 <= obj <= 124
0.09/0.11 c BCD2: #cores=8, #unrelaxed=220, #relaxed=36, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=12 bias=12/13
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 | 172 0 | 29 | 3
0.09/0.11 c 0.0s | 0 | 11 | 0 | 172 0 | 29 | 3
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 = 11
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 12
0.09/0.11 c BCD2: 12 <= obj <= 124
0.09/0.11 c BCD2: #cores=9, #unrelaxed=219, #relaxed=37, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=13 bias=13/14
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 | 172 0 | 29 | 3
0.09/0.11 c 0.0s | 0 | 18 | 0 | 172 0 | 29 | 3
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 = 18
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 7: cost of the new core is >=1
0.09/0.11 c lower bound updated to 13
0.09/0.11 c BCD2: 13 <= obj <= 124
0.09/0.11 c BCD2: #cores=10, #unrelaxed=212, #relaxed=44, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=14 bias=14/15
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 | 172 0 | 29 | 3
0.09/0.12 c 0.0s | 0 | 18 | 0 | 172 0 | 29 | 3
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 18
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 0
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: found a new core of size 3: cost of the new core is >=1
0.09/0.12 c lower bound updated to 14
0.09/0.12 c BCD2: 14 <= obj <= 124
0.09/0.12 c BCD2: #cores=11, #unrelaxed=209, #relaxed=47, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=15 bias=15/16
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 172 0 | 29 | 3
0.09/0.12 c 0.0s | 0 | 23 | 0 | 172 0 | 29 | 3
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 23
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 0
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: found a new core of size 7: cost of the new core is >=1
0.09/0.12 c lower bound updated to 15
0.09/0.12 c BCD2: 15 <= obj <= 124
0.09/0.12 c BCD2: #cores=12, #unrelaxed=202, #relaxed=54, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=16 bias=16/17
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 172 0 | 29 | 3
0.09/0.12 c 0.0s | 0 | 24 | 1 | 172 0 | 29 | 3
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 24
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 1
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.09/0.12 c lower bound updated to 16
0.09/0.12 c BCD2: 16 <= obj <= 124
0.09/0.12 c BCD2: #cores=12, #unrelaxed=196, #relaxed=60, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=17 bias=17/18
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 172 0 | 30 | 3
0.09/0.12 c 0.0s | 0 | 26 | 0 | 172 0 | 30 | 4
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 26
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 0
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: found a new core of size 7: cost of the new core is >=1
0.09/0.12 c lower bound updated to 17
0.09/0.12 c BCD2: 17 <= obj <= 124
0.09/0.12 c BCD2: #cores=13, #unrelaxed=189, #relaxed=67, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=18 bias=18/19
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 172 0 | 30 | 4
0.09/0.12 c 0.0s | 0 | 27 | 1 | 172 0 | 30 | 4
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 27
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 1
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.09/0.12 c lower bound updated to 18
0.09/0.12 c BCD2: 18 <= obj <= 124
0.09/0.12 c BCD2: #cores=13, #unrelaxed=183, #relaxed=73, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=19 bias=19/20
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 172 0 | 31 | 4
0.09/0.12 c 0.0s | 0 | 26 | 1 | 172 0 | 31 | 5
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 26
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 1
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2
0.09/0.12 c lower bound updated to 19
0.09/0.12 c BCD2: 19 <= obj <= 124
0.09/0.12 c BCD2: #cores=13, #unrelaxed=181, #relaxed=75, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=20 bias=20/21
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 172 0 | 32 | 5
0.09/0.13 c 0.0s | 0 | 31 | 0 | 172 0 | 32 | 6
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 31
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 0
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: found a new core of size 10: cost of the new core is >=1
0.09/0.13 c lower bound updated to 20
0.09/0.13 c BCD2: 20 <= obj <= 124
0.09/0.13 c BCD2: #cores=14, #unrelaxed=171, #relaxed=85, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=21 bias=21/22
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 | 172 0 | 32 | 6
0.09/0.13 c 0.0s | 0 | 27 | 0 | 172 0 | 32 | 6
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 27
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 0
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: found a new core of size 3: cost of the new core is >=1
0.09/0.13 c lower bound updated to 21
0.09/0.13 c BCD2: 21 <= obj <= 124
0.09/0.13 c BCD2: #cores=15, #unrelaxed=168, #relaxed=88, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=22 bias=22/23
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 | 172 0 | 32 | 6
0.09/0.13 c 0.0s | 0 | 26 | 0 | 172 0 | 32 | 6
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 26
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 0
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: found a new core of size 5: cost of the new core is >=1
0.09/0.13 c lower bound updated to 22
0.09/0.13 c BCD2: 22 <= obj <= 124
0.09/0.13 c BCD2: #cores=16, #unrelaxed=163, #relaxed=93, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=23 bias=23/24
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 | 172 0 | 32 | 6
0.09/0.13 c 0.0s | 0 | 28 | 0 | 172 0 | 32 | 6
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 28
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 0
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: found a new core of size 6: cost of the new core is >=1
0.09/0.13 c lower bound updated to 23
0.09/0.13 c BCD2: 23 <= obj <= 124
0.09/0.13 c BCD2: #cores=17, #unrelaxed=157, #relaxed=99, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=24 bias=24/25
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 | 172 0 | 32 | 6
0.09/0.13 c 0.0s | 0 | 29 | 1 | 172 0 | 32 | 6
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 29
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 1
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.09/0.13 c lower bound updated to 24
0.09/0.13 c BCD2: 24 <= obj <= 124
0.09/0.13 c BCD2: #cores=17, #unrelaxed=152, #relaxed=104, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=25 bias=25/26
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 | 172 0 | 33 | 6
0.09/0.13 c 0.0s | 0 | 29 | 1 | 172 0 | 33 | 7
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 29
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 1
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 16: cost of the new core is >=3
0.09/0.13 c lower bound updated to 25
0.09/0.13 c BCD2: 25 <= obj <= 124
0.09/0.13 c BCD2: #cores=17, #unrelaxed=147, #relaxed=109, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=26 bias=26/27
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 | 172 0 | 34 | 7
0.09/0.13 c 0.0s | 0 | 33 | 0 | 172 0 | 34 | 8
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 33
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 0
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: found a new core of size 10: cost of the new core is >=1
0.09/0.13 c lower bound updated to 26
0.09/0.13 c BCD2: 26 <= obj <= 124
0.09/0.13 c BCD2: #cores=18, #unrelaxed=137, #relaxed=119, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=27 bias=27/28
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 172 0 | 34 | 8
0.09/0.14 c 0.0s | 0 | 43 | 0 | 172 0 | 34 | 8
0.09/0.14 c #cpu_time = 0.001s
0.09/0.14 c #wall_clock_time = 0.001s
0.09/0.14 c #decision = 43
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 0
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: found a new core of size 13: cost of the new core is >=1
0.09/0.14 c lower bound updated to 27
0.09/0.14 c BCD2: 27 <= obj <= 124
0.09/0.14 c BCD2: #cores=19, #unrelaxed=124, #relaxed=132, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=28 bias=28/29
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 172 0 | 34 | 8
0.09/0.14 c 0.0s | 0 | 42 | 0 | 172 0 | 34 | 8
0.09/0.14 c #cpu_time = 0.001s
0.09/0.14 c #wall_clock_time = 0.001s
0.09/0.14 c #decision = 42
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 0
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: found a new core of size 8: cost of the new core is >=1
0.09/0.14 c lower bound updated to 28
0.09/0.14 c BCD2: 28 <= obj <= 124
0.09/0.14 c BCD2: #cores=20, #unrelaxed=116, #relaxed=140, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=29 bias=29/30
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 172 0 | 34 | 8
0.09/0.14 c 0.0s | 0 | 43 | 1 | 172 0 | 34 | 8
0.09/0.14 c #cpu_time = 0.001s
0.09/0.14 c #wall_clock_time = 0.001s
0.09/0.14 c #decision = 43
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 1
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 15: cost of the new core is >=2
0.09/0.14 c lower bound updated to 29
0.09/0.14 c BCD2: 29 <= obj <= 124
0.09/0.14 c BCD2: #cores=20, #unrelaxed=109, #relaxed=147, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=30 bias=30/31
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 172 0 | 35 | 8
0.09/0.14 c 0.0s | 0 | 36 | 0 | 172 0 | 35 | 9
0.09/0.14 c #cpu_time = 0.001s
0.09/0.14 c #wall_clock_time = 0.001s
0.09/0.14 c #decision = 36
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 0
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: found a new core of size 5: cost of the new core is >=1
0.09/0.14 c lower bound updated to 30
0.09/0.14 c BCD2: 30 <= obj <= 124
0.09/0.14 c BCD2: #cores=21, #unrelaxed=104, #relaxed=152, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=31 bias=31/32
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 172 0 | 35 | 9
0.09/0.14 c 0.0s | 0 | 33 | 0 | 172 0 | 35 | 9
0.09/0.14 c #cpu_time = 0.001s
0.09/0.14 c #wall_clock_time = 0.001s
0.09/0.14 c #decision = 33
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 0
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.14 c lower bound updated to 31
0.09/0.14 c BCD2: 31 <= obj <= 124
0.09/0.14 c BCD2: #cores=22, #unrelaxed=103, #relaxed=153, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=32 bias=32/33
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 172 0 | 35 | 9
0.09/0.14 c 0.0s | 0 | 44 | 0 | 172 0 | 35 | 9
0.09/0.14 c #cpu_time = 0.001s
0.09/0.14 c #wall_clock_time = 0.001s
0.09/0.14 c #decision = 44
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 0
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: found a new core of size 11: cost of the new core is >=1
0.09/0.14 c lower bound updated to 32
0.09/0.14 c BCD2: 32 <= obj <= 124
0.09/0.14 c BCD2: #cores=23, #unrelaxed=92, #relaxed=164, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=33 bias=33/34
0.09/0.15 c Solving starts ...
0.09/0.15 c ============================[ Search Statistics ]============================
0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.15 c | | | | Limit GC | Var | Constra
0.09/0.15 c =============================================================================
0.09/0.15 c 0.0s | 0 | 0 | 0 | 172 0 | 35 | 9
0.09/0.15 c 0.0s | 0 | 40 | 0 | 172 0 | 35 | 9
0.09/0.15 c #cpu_time = 0.001s
0.09/0.15 c #wall_clock_time = 0.001s
0.09/0.15 c #decision = 40
0.09/0.15 c #random_decision = 0
0.09/0.15 c #conflict = 0
0.09/0.15 c #restart = 0
0.09/0.15 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.15 c lower bound updated to 33
0.09/0.15 c BCD2: 33 <= obj <= 124
0.09/0.15 c BCD2: #cores=24, #unrelaxed=91, #relaxed=165, #hardened=0
0.09/0.15 c BCD2: #sat=1 #unsat=34 bias=34/35
0.09/0.15 c Solving starts ...
0.09/0.15 c ============================[ Search Statistics ]============================
0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.15 c | | | | Limit GC | Var | Constra
0.09/0.15 c =============================================================================
0.09/0.15 c 0.0s | 0 | 0 | 0 | 172 0 | 35 | 9
0.09/0.15 c 0.0s | 0 | 46 | 0 | 172 0 | 35 | 9
0.09/0.15 c #cpu_time = 0.001s
0.09/0.15 c #wall_clock_time = 0.001s
0.09/0.15 c #decision = 46
0.09/0.15 c #random_decision = 0
0.09/0.15 c #conflict = 0
0.09/0.15 c #restart = 0
0.09/0.15 c BCD2: found a new core of size 7: cost of the new core is >=1
0.09/0.15 c lower bound updated to 34
0.09/0.15 c BCD2: 34 <= obj <= 124
0.09/0.15 c BCD2: #cores=25, #unrelaxed=84, #relaxed=172, #hardened=0
0.09/0.15 c BCD2: #sat=1 #unsat=35 bias=35/36
0.09/0.15 c Solving starts ...
0.09/0.15 c ============================[ Search Statistics ]============================
0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.15 c | | | | Limit GC | Var | Constra
0.09/0.15 c =============================================================================
0.09/0.15 c 0.0s | 0 | 0 | 0 | 172 0 | 35 | 9
0.09/0.15 c 0.0s | 0 | 47 | 1 | 172 0 | 35 | 9
0.09/0.15 c #cpu_time = 0.001s
0.09/0.15 c #wall_clock_time = 0.001s
0.09/0.15 c #decision = 47
0.09/0.15 c #random_decision = 0
0.09/0.15 c #conflict = 1
0.09/0.15 c #restart = 0
0.09/0.15 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.09/0.15 c lower bound updated to 35
0.09/0.15 c BCD2: 35 <= obj <= 124
0.09/0.15 c BCD2: #cores=25, #unrelaxed=78, #relaxed=178, #hardened=0
0.09/0.15 c BCD2: #sat=1 #unsat=36 bias=36/37
0.09/0.15 c Solving starts ...
0.09/0.15 c ============================[ Search Statistics ]============================
0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.15 c | | | | Limit GC | Var | Constra
0.09/0.15 c =============================================================================
0.09/0.15 c 0.0s | 0 | 0 | 0 | 172 0 | 36 | 9
0.09/0.15 c 0.0s | 0 | 45 | 0 | 172 0 | 36 | 10
0.09/0.15 c #cpu_time = 0.001s
0.09/0.15 c #wall_clock_time = 0.001s
0.09/0.15 c #decision = 45
0.09/0.15 c #random_decision = 0
0.09/0.15 c #conflict = 0
0.09/0.15 c #restart = 0
0.09/0.15 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.15 c lower bound updated to 36
0.09/0.15 c BCD2: 36 <= obj <= 124
0.09/0.15 c BCD2: #cores=26, #unrelaxed=77, #relaxed=179, #hardened=0
0.09/0.15 c BCD2: #sat=1 #unsat=37 bias=37/38
0.09/0.15 c Solving starts ...
0.09/0.15 c ============================[ Search Statistics ]============================
0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.15 c | | | | Limit GC | Var | Constra
0.09/0.15 c =============================================================================
0.09/0.15 c 0.0s | 0 | 0 | 0 | 172 0 | 36 | 10
0.09/0.15 c 0.0s | 0 | 54 | 0 | 172 0 | 36 | 10
0.09/0.15 c #cpu_time = 0.001s
0.09/0.15 c #wall_clock_time = 0.001s
0.09/0.15 c #decision = 54
0.09/0.15 c #random_decision = 0
0.09/0.15 c #conflict = 0
0.09/0.15 c #restart = 0
0.09/0.15 c BCD2: found a new core of size 11: cost of the new core is >=1
0.09/0.15 c lower bound updated to 37
0.09/0.15 c BCD2: 37 <= obj <= 124
0.09/0.15 c BCD2: #cores=27, #unrelaxed=66, #relaxed=190, #hardened=0
0.09/0.15 c BCD2: #sat=1 #unsat=38 bias=38/39
0.09/0.15 c Solving starts ...
0.09/0.15 c ============================[ Search Statistics ]============================
0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.15 c | | | | Limit GC | Var | Constra
0.09/0.15 c =============================================================================
0.09/0.15 c 0.0s | 0 | 0 | 0 | 172 0 | 36 | 10
0.09/0.15 c 0.0s | 0 | 47 | 0 | 172 0 | 36 | 10
0.09/0.15 c #cpu_time = 0.001s
0.09/0.15 c #wall_clock_time = 0.001s
0.09/0.15 c #decision = 47
0.09/0.15 c #random_decision = 0
0.09/0.15 c #conflict = 0
0.09/0.15 c #restart = 0
0.09/0.15 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.15 c lower bound updated to 38
0.09/0.15 c BCD2: 38 <= obj <= 124
0.09/0.15 c BCD2: #cores=28, #unrelaxed=64, #relaxed=192, #hardened=0
0.09/0.15 c BCD2: #sat=1 #unsat=39 bias=39/40
0.09/0.15 c Solving starts ...
0.09/0.15 c ============================[ Search Statistics ]============================
0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.15 c | | | | Limit GC | Var | Constra
0.09/0.15 c =============================================================================
0.09/0.15 c 0.0s | 0 | 0 | 0 | 172 0 | 36 | 10
0.09/0.16 c 0.0s | 0 | 50 | 0 | 172 0 | 36 | 10
0.09/0.16 c #cpu_time = 0.001s
0.09/0.16 c #wall_clock_time = 0.001s
0.09/0.16 c #decision = 50
0.09/0.16 c #random_decision = 0
0.09/0.16 c #conflict = 0
0.09/0.16 c #restart = 0
0.09/0.16 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.16 c lower bound updated to 39
0.09/0.16 c BCD2: 39 <= obj <= 124
0.09/0.16 c BCD2: #cores=29, #unrelaxed=63, #relaxed=193, #hardened=0
0.09/0.16 c BCD2: #sat=1 #unsat=40 bias=40/41
0.09/0.16 c Solving starts ...
0.09/0.16 c ============================[ Search Statistics ]============================
0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.16 c | | | | Limit GC | Var | Constra
0.09/0.16 c =============================================================================
0.09/0.16 c 0.0s | 0 | 0 | 0 | 172 0 | 36 | 10
0.09/0.16 c 0.0s | 0 | 52 | 0 | 172 0 | 36 | 10
0.09/0.16 c #cpu_time = 0.001s
0.09/0.16 c #wall_clock_time = 0.001s
0.09/0.16 c #decision = 52
0.09/0.16 c #random_decision = 0
0.09/0.16 c #conflict = 0
0.09/0.16 c #restart = 0
0.09/0.16 c BCD2: found a new core of size 4: cost of the new core is >=1
0.09/0.16 c lower bound updated to 40
0.09/0.16 c BCD2: 40 <= obj <= 124
0.09/0.16 c BCD2: #cores=30, #unrelaxed=59, #relaxed=197, #hardened=0
0.09/0.16 c BCD2: #sat=1 #unsat=41 bias=41/42
0.09/0.16 c Solving starts ...
0.09/0.16 c ============================[ Search Statistics ]============================
0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.16 c | | | | Limit GC | Var | Constra
0.09/0.16 c =============================================================================
0.09/0.16 c 0.0s | 0 | 0 | 0 | 172 0 | 36 | 10
0.09/0.16 c 0.0s | 0 | 53 | 1 | 172 0 | 36 | 10
0.09/0.16 c #cpu_time = 0.001s
0.09/0.16 c #wall_clock_time = 0.001s
0.09/0.16 c #decision = 53
0.09/0.16 c #random_decision = 0
0.09/0.16 c #conflict = 1
0.09/0.16 c #restart = 0
0.09/0.16 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 7: cost of the new core is >=2
0.09/0.16 c lower bound updated to 41
0.09/0.16 c BCD2: 41 <= obj <= 124
0.09/0.16 c BCD2: #cores=30, #unrelaxed=56, #relaxed=200, #hardened=0
0.09/0.16 c BCD2: #sat=1 #unsat=42 bias=42/43
0.09/0.16 c Solving starts ...
0.09/0.16 c ============================[ Search Statistics ]============================
0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.16 c | | | | Limit GC | Var | Constra
0.09/0.16 c =============================================================================
0.09/0.16 c 0.0s | 0 | 0 | 0 | 172 0 | 37 | 10
0.09/0.16 c 0.0s | 0 | 53 | 1 | 172 0 | 37 | 11
0.09/0.16 c #cpu_time = 0.001s
0.09/0.16 c #wall_clock_time = 0.001s
0.09/0.16 c #decision = 53
0.09/0.16 c #random_decision = 0
0.09/0.16 c #conflict = 1
0.09/0.16 c #restart = 0
0.09/0.16 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 10: cost of the new core is >=3
0.09/0.16 c lower bound updated to 42
0.09/0.16 c BCD2: 42 <= obj <= 124
0.09/0.16 c BCD2: #cores=30, #unrelaxed=53, #relaxed=203, #hardened=0
0.09/0.16 c BCD2: #sat=1 #unsat=43 bias=43/44
0.09/0.16 c Solving starts ...
0.09/0.16 c ============================[ Search Statistics ]============================
0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.16 c | | | | Limit GC | Var | Constra
0.09/0.16 c =============================================================================
0.09/0.16 c 0.0s | 0 | 0 | 0 | 172 0 | 38 | 11
0.09/0.16 c 0.0s | 0 | 75 | 1 | 172 0 | 38 | 12
0.09/0.16 c #cpu_time = 0.001s
0.09/0.16 c #wall_clock_time = 0.001s
0.09/0.16 c #decision = 75
0.09/0.16 c #random_decision = 0
0.09/0.16 c #conflict = 1
0.09/0.16 c #restart = 0
0.09/0.16 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.09/0.16 c lower bound updated to 43
0.09/0.16 c BCD2: 43 <= obj <= 124
0.09/0.16 c BCD2: #cores=30, #unrelaxed=52, #relaxed=204, #hardened=0
0.09/0.16 c BCD2: #sat=1 #unsat=44 bias=44/45
0.09/0.16 c Solving starts ...
0.09/0.16 c ============================[ Search Statistics ]============================
0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.16 c | | | | Limit GC | Var | Constra
0.09/0.16 c =============================================================================
0.09/0.16 c 0.0s | 0 | 0 | 0 | 172 0 | 39 | 12
0.09/0.16 c 0.0s | 0 | 51 | 0 | 172 0 | 39 | 13
0.09/0.16 c #cpu_time = 0.001s
0.09/0.16 c #wall_clock_time = 0.001s
0.09/0.16 c #decision = 51
0.09/0.16 c #random_decision = 0
0.09/0.16 c #conflict = 0
0.09/0.16 c #restart = 0
0.09/0.16 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.16 c lower bound updated to 44
0.09/0.16 c BCD2: 44 <= obj <= 124
0.09/0.16 c BCD2: #cores=31, #unrelaxed=50, #relaxed=206, #hardened=0
0.09/0.16 c BCD2: #sat=1 #unsat=45 bias=45/46
0.09/0.16 c Solving starts ...
0.09/0.16 c ============================[ Search Statistics ]============================
0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.16 c | | | | Limit GC | Var | Constra
0.09/0.16 c =============================================================================
0.09/0.17 c 0.0s | 0 | 0 | 0 | 172 0 | 39 | 13
0.09/0.17 c 0.0s | 0 | 54 | 0 | 172 0 | 39 | 13
0.09/0.17 c #cpu_time = 0.001s
0.09/0.17 c #wall_clock_time = 0.001s
0.09/0.17 c #decision = 54
0.09/0.17 c #random_decision = 0
0.09/0.17 c #conflict = 0
0.09/0.17 c #restart = 0
0.09/0.17 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.17 c lower bound updated to 45
0.09/0.17 c BCD2: 45 <= obj <= 124
0.09/0.17 c BCD2: #cores=32, #unrelaxed=49, #relaxed=207, #hardened=0
0.09/0.17 c BCD2: #sat=1 #unsat=46 bias=46/47
0.09/0.17 c Solving starts ...
0.09/0.17 c ============================[ Search Statistics ]============================
0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.17 c | | | | Limit GC | Var | Constra
0.09/0.17 c =============================================================================
0.09/0.17 c 0.0s | 0 | 0 | 0 | 172 0 | 39 | 13
0.09/0.17 c 0.0s | 0 | 61 | 0 | 172 0 | 39 | 13
0.09/0.17 c #cpu_time = 0.001s
0.09/0.17 c #wall_clock_time = 0.001s
0.09/0.17 c #decision = 61
0.09/0.17 c #random_decision = 0
0.09/0.17 c #conflict = 0
0.09/0.17 c #restart = 0
0.09/0.17 c BCD2: found a new core of size 5: cost of the new core is >=1
0.09/0.17 c lower bound updated to 46
0.09/0.17 c BCD2: 46 <= obj <= 124
0.09/0.17 c BCD2: #cores=33, #unrelaxed=44, #relaxed=212, #hardened=0
0.09/0.17 c BCD2: #sat=1 #unsat=47 bias=47/48
0.09/0.17 c Solving starts ...
0.09/0.17 c ============================[ Search Statistics ]============================
0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.17 c | | | | Limit GC | Var | Constra
0.09/0.17 c =============================================================================
0.09/0.17 c 0.0s | 0 | 0 | 0 | 172 0 | 39 | 14
0.09/0.17 c 0.0s | 0 | 87 | 1 | 172 0 | 39 | 14
0.09/0.17 c #cpu_time = 0.001s
0.09/0.17 c #wall_clock_time = 0.001s
0.09/0.17 c #decision = 87
0.09/0.17 c #random_decision = 0
0.09/0.17 c #conflict = 1
0.09/0.17 c #restart = 0
0.09/0.17 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
0.09/0.17 c lower bound updated to 47
0.09/0.17 c BCD2: 47 <= obj <= 124
0.09/0.17 c BCD2: #cores=33, #unrelaxed=43, #relaxed=213, #hardened=0
0.09/0.17 c BCD2: #sat=1 #unsat=48 bias=48/49
0.09/0.17 c Solving starts ...
0.09/0.17 c ============================[ Search Statistics ]============================
0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.17 c | | | | Limit GC | Var | Constra
0.09/0.17 c =============================================================================
0.09/0.17 c 0.0s | 0 | 0 | 0 | 172 0 | 40 | 15
0.09/0.17 c 0.0s | 0 | 87 | 1 | 172 0 | 40 | 16
0.09/0.17 c #cpu_time = 0.001s
0.09/0.17 c #wall_clock_time = 0.001s
0.09/0.17 c #decision = 87
0.09/0.17 c #random_decision = 0
0.09/0.17 c #conflict = 1
0.09/0.17 c #restart = 0
0.09/0.17 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.09/0.17 c lower bound updated to 48
0.09/0.17 c BCD2: 48 <= obj <= 124
0.09/0.17 c BCD2: #cores=33, #unrelaxed=42, #relaxed=214, #hardened=0
0.09/0.17 c BCD2: #sat=1 #unsat=49 bias=49/50
0.09/0.17 c Solving starts ...
0.09/0.17 c ============================[ Search Statistics ]============================
0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.17 c | | | | Limit GC | Var | Constra
0.09/0.17 c =============================================================================
0.09/0.17 c 0.0s | 0 | 0 | 0 | 172 0 | 41 | 17
0.09/0.17 c 0.0s | 0 | 58 | 0 | 172 0 | 41 | 18
0.09/0.17 c #cpu_time = 0.001s
0.09/0.17 c #wall_clock_time = 0.001s
0.09/0.17 c #decision = 58
0.09/0.17 c #random_decision = 0
0.09/0.17 c #conflict = 0
0.09/0.17 c #restart = 0
0.09/0.17 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.17 c lower bound updated to 49
0.09/0.17 c BCD2: 49 <= obj <= 124
0.09/0.17 c BCD2: #cores=34, #unrelaxed=40, #relaxed=216, #hardened=0
0.09/0.17 c BCD2: #sat=1 #unsat=50 bias=50/51
0.09/0.17 c Solving starts ...
0.09/0.17 c ============================[ Search Statistics ]============================
0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.17 c | | | | Limit GC | Var | Constra
0.09/0.17 c =============================================================================
0.09/0.17 c 0.0s | 0 | 0 | 0 | 172 0 | 41 | 19
0.09/0.18 c 0.0s | 0 | 184 | 7 | 172 0 | 42 | 20
0.09/0.18 c #cpu_time = 0.003s
0.09/0.18 c #wall_clock_time = 0.003s
0.09/0.18 c #decision = 184
0.09/0.18 c #random_decision = 0
0.09/0.18 c #conflict = 7
0.09/0.18 c #restart = 0
0.09/0.18 c BCD2: updating lower bound of a core
0.09/0.18 c lower bound updated to 50
0.09/0.18 c BCD2: 50 <= obj <= 124
0.09/0.18 c BCD2: #cores=34, #unrelaxed=40, #relaxed=216, #hardened=0
0.09/0.18 c BCD2: #sat=1 #unsat=51 bias=51/52
0.09/0.18 c Solving starts ...
0.09/0.18 c ============================[ Search Statistics ]============================
0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.18 c | | | | Limit GC | Var | Constra
0.09/0.18 c =============================================================================
0.09/0.18 c 0.0s | 0 | 0 | 0 | 172 0 | 42 | 21
0.09/0.19 c 0.0s | 1 | 203 | 100 | 190 0 | 42 | 21
0.09/0.19 c 0.0s | 1 | 284 | 123 | 190 1 | 42 | 21
0.09/0.19 c #cpu_time = 0.015s
0.09/0.19 c #wall_clock_time = 0.015s
0.09/0.19 c #decision = 284
0.09/0.19 c #random_decision = 0
0.09/0.19 c #conflict = 123
0.09/0.19 c #restart = 1
0.09/0.19 c BCD2: relaxing 14 and merging with 4 cores into a new core of size 42: cost of the new core is >=7
0.09/0.19 c lower bound updated to 51
0.09/0.19 c BCD2: 51 <= obj <= 124
0.09/0.19 c BCD2: #cores=31, #unrelaxed=26, #relaxed=230, #hardened=0
0.09/0.19 c BCD2: #sat=1 #unsat=52 bias=52/53
0.09/0.19 c Solving starts ...
0.09/0.19 c ============================[ Search Statistics ]============================
0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.19 c | | | | Limit GC | Var | Constra
0.09/0.19 c =============================================================================
0.09/0.19 c 0.0s | 0 | 0 | 0 | 190 0 | 46 | 21
0.19/0.21 c 0.0s | 1 | 181 | 100 | 190 0 | 46 | 25
0.19/0.22 c 0.0s | 2 | 424 | 250 | 190 1 | 46 | 25
0.19/0.25 c 0.1s | 3 | 711 | 475 | 210 2 | 46 | 25
0.19/0.28 c 0.1s | 4 | 1239 | 813 | 232 4 | 46 | 25
0.29/0.34 c 0.1s | 5 | 1926 | 1320 | 232 7 | 46 | 25
0.39/0.43 c 0.2s | 6 | 3007 | 2081 | 256 11 | 46 | 25
0.49/0.57 c 0.4s | 7 | 4398 | 3223 | 282 17 | 46 | 25
0.69/0.78 c 0.6s | 8 | 6686 | 4936 | 311 26 | 46 | 25
0.99/1.07 c 0.9s | 9 | 10492 | 7506 | 343 38 | 46 | 25
1.39/1.43 c 1.2s | 10 | 16610 | 11361 | 378 55 | 46 | 25
1.79/1.85 c 1.7s | 11 | 26040 | 17144 | 416 78 | 46 | 25
2.59/2.61 c 2.4s | 12 | 38427 | 25819 | 458 111 | 46 | 25
3.59/3.67 c 3.5s | 13 | 58350 | 38832 | 504 158 | 46 | 25
5.39/5.50 c 5.3s | 14 | 86965 | 58352 | 555 222 | 46 | 25
5.79/5.89 c 5.7s | 14 | 91814 | 61886 | 555 232 | 46 | 25
5.79/5.89 c #cpu_time = 5.694s
5.79/5.89 c #wall_clock_time = 5.694s
5.79/5.89 c #decision = 91814
5.79/5.89 c #random_decision = 346
5.79/5.89 c #conflict = 61886
5.79/5.89 c #restart = 14
5.79/5.89 c BCD2: relaxing 2 and merging with 6 cores into a new core of size 39: cost of the new core is >=8
5.79/5.89 c lower bound updated to 52
5.79/5.89 c BCD2: 52 <= obj <= 124
5.79/5.89 c BCD2: #cores=26, #unrelaxed=24, #relaxed=232, #hardened=0
5.79/5.89 c BCD2: #sat=1 #unsat=53 bias=53/54
5.79/5.89 c Solving starts ...
5.79/5.89 c ============================[ Search Statistics ]============================
5.79/5.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
5.79/5.89 c | | | | Limit GC | Var | Constra
5.79/5.89 c =============================================================================
5.79/5.89 c 0.0s | 0 | 0 | 0 | 555 0 | 52 | 25
5.89/5.90 c 0.0s | 1 | 221 | 100 | 555 0 | 52 | 31
5.89/5.92 c 0.0s | 2 | 540 | 250 | 555 0 | 52 | 31
5.89/5.93 c 0.0s | 3 | 858 | 475 | 555 1 | 52 | 31
5.89/5.94 c 0.1s | 4 | 1238 | 813 | 555 2 | 52 | 31
5.89/5.97 c 0.1s | 4 | 1979 | 1305 | 555 3 | 53 | 32
5.89/5.97 c #cpu_time = 0.080s
5.89/5.97 c #wall_clock_time = 0.080s
5.89/5.97 c #decision = 1979
5.89/5.97 c #random_decision = 8
5.89/5.97 c #conflict = 1305
5.89/5.97 c #restart = 4
5.89/5.97 c BCD2: updating lower bound of a core
5.89/5.97 c lower bound updated to 57
5.89/5.97 c BCD2: 57 <= obj <= 124
5.89/5.97 c BCD2: #cores=26, #unrelaxed=24, #relaxed=232, #hardened=0
5.89/5.97 c BCD2: #sat=1 #unsat=54 bias=54/55
5.89/5.97 c Solving starts ...
5.89/5.97 c ============================[ Search Statistics ]============================
5.89/5.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
5.89/5.97 c | | | | Limit GC | Var | Constra
5.89/5.97 c =============================================================================
5.89/5.97 c 0.0s | 0 | 0 | 0 | 555 0 | 53 | 33
5.89/5.98 c 0.0s | 1 | 216 | 100 | 555 0 | 53 | 33
5.99/6.00 c 0.0s | 2 | 437 | 250 | 555 0 | 53 | 33
5.99/6.02 c 0.1s | 3 | 850 | 475 | 555 0 | 53 | 33
5.99/6.04 c 0.1s | 4 | 1231 | 813 | 555 1 | 53 | 33
5.99/6.08 c 0.1s | 5 | 1972 | 1320 | 555 3 | 53 | 33
6.19/6.28 c 0.1s | 6 | 2865 | 2081 | 555 5 | 53 | 33
6.19/6.28 c 0.2s | 7 | 4825 | 3223 | 555 8 | 53 | 33
6.39/6.40 c 0.4s | 8 | 7486 | 4936 | 555 13 | 53 | 33
6.60/6.67 c 0.7s | 9 | 11513 | 7506 | 555 21 | 53 | 33
6.99/7.07 c 1.1s | 10 | 15979 | 11361 | 555 33 | 53 | 33
7.59/7.66 c 1.7s | 11 | 23059 | 17144 | 555 50 | 53 | 33
7.99/8.07 c 2.1s | 11 | 28741 | 21270 | 555 63 | 53 | 33
7.99/8.07 c #cpu_time = 2.098s
7.99/8.07 c #wall_clock_time = 2.098s
7.99/8.07 c #decision = 28741
7.99/8.07 c #random_decision = 117
7.99/8.07 c #conflict = 21270
7.99/8.07 c #restart = 11
7.99/8.07 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
7.99/8.07 c lower bound updated to 58
7.99/8.07 c BCD2: 58 <= obj <= 124
7.99/8.07 c BCD2: #cores=26, #unrelaxed=21, #relaxed=235, #hardened=0
7.99/8.07 c BCD2: #sat=1 #unsat=55 bias=55/56
7.99/8.07 c Solving starts ...
7.99/8.07 c ============================[ Search Statistics ]============================
7.99/8.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
7.99/8.07 c | | | | Limit GC | Var | Constra
7.99/8.07 c =============================================================================
7.99/8.07 c 0.0s | 0 | 0 | 0 | 555 0 | 54 | 33
7.99/8.08 c 0.0s | 1 | 157 | 100 | 555 0 | 54 | 34
7.99/8.09 c 0.0s | 2 | 400 | 250 | 555 0 | 54 | 34
8.09/8.11 c 0.0s | 3 | 780 | 475 | 555 1 | 54 | 34
8.09/8.14 c 0.1s | 4 | 1329 | 813 | 555 2 | 54 | 34
8.09/8.19 c 0.1s | 5 | 2252 | 1320 | 555 3 | 54 | 34
8.19/8.27 c 0.2s | 6 | 3401 | 2081 | 611 5 | 54 | 34
8.29/8.39 c 0.3s | 7 | 5055 | 3223 | 611 8 | 54 | 34
8.49/8.55 c 0.5s | 8 | 7883 | 4936 | 611 13 | 54 | 34
8.69/8.80 c 0.7s | 9 | 11818 | 7506 | 611 20 | 54 | 34
9.09/9.18 c 1.1s | 10 | 17594 | 11361 | 611 31 | 54 | 34
9.79/9.81 c 1.7s | 11 | 24271 | 17144 | 611 47 | 54 | 34
10.69/10.73 c 2.7s | 12 | 34770 | 25819 | 611 72 | 54 | 34
11.99/12.05 c 4.0s | 13 | 52539 | 38832 | 611 108 | 54 | 34
13.89/13.98 c 5.9s | 14 | 81002 | 58352 | 673 160 | 54 | 34
15.89/15.99 c 7.9s | 14 | 106524 | 78052 | 673 211 | 54 | 34
16.99/17.03 c 9.0s | 15 | 117752 | 87632 | 673 235 | 54 | 34
18.99/19.04 c 11.0s | 15 | 143027 | 107332 | 673 286 | 54 | 34
20.99/21.04 c 13.0s | 15 | 166962 | 126532 | 741 333 | 54 | 34
21.48/21.58 c 13.5s | 16 | 172723 | 131552 | 741 345 | 54 | 34
23.48/23.59 c 15.5s | 16 | 194269 | 149852 | 741 388 | 54 | 34
25.58/25.60 c 17.5s | 16 | 221282 | 170052 | 741 436 | 54 | 34
27.59/27.61 c 19.5s | 16 | 246532 | 189552 | 741 482 | 54 | 34
28.38/28.48 c 20.4s | 17 | 256141 | 197432 | 741 501 | 54 | 34
30.38/30.49 c 22.4s | 17 | 278474 | 215932 | 816 543 | 54 | 34
32.49/32.50 c 24.4s | 17 | 300135 | 232232 | 816 579 | 54 | 34
34.49/34.51 c 26.4s | 17 | 314824 | 243332 | 816 602 | 54 | 34
36.49/36.51 c 28.4s | 17 | 332204 | 257132 | 816 632 | 54 | 34
38.49/38.52 c 30.5s | 17 | 356616 | 275832 | 816 672 | 54 | 34
40.48/40.53 c 32.5s | 17 | 380157 | 294332 | 816 711 | 54 | 34
40.69/40.72 c 32.7s | 18 | 383191 | 296252 | 816 715 | 54 | 34
42.68/42.73 c 34.7s | 18 | 407510 | 314852 | 816 756 | 54 | 34
44.68/44.73 c 36.7s | 18 | 426997 | 331952 | 816 793 | 54 | 34
46.68/46.74 c 38.7s | 18 | 446582 | 348952 | 816 830 | 54 | 34
48.68/48.74 c 40.7s | 18 | 465206 | 365752 | 898 865 | 54 | 34
50.68/50.75 c 42.7s | 18 | 482395 | 381852 | 898 897 | 54 | 34
52.68/52.76 c 44.7s | 18 | 500170 | 398252 | 898 930 | 54 | 34
52.98/53.06 c 45.0s | 18 | 503171 | 400794 | 898 935 | 54 | 34
52.98/53.06 c #cpu_time = 44.993s
52.98/53.06 c #wall_clock_time = 44.994s
52.98/53.06 c #decision = 503171
52.98/53.06 c #random_decision = 2182
52.98/53.06 c #conflict = 400794
52.98/53.06 c #restart = 18
52.98/53.06 c BCD2: relaxing 3 and merging with 4 cores into a new core of size 65: cost of the new core is >=15
52.98/53.06 c lower bound updated to 59
52.98/53.06 c BCD2: 59 <= obj <= 124
52.98/53.06 c BCD2: #cores=23, #unrelaxed=18, #relaxed=238, #hardened=0
52.98/53.06 c BCD2: #sat=1 #unsat=56 bias=56/57
52.98/53.06 c Solving starts ...
52.98/53.06 c ============================[ Search Statistics ]============================
52.98/53.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
52.98/53.06 c | | | | Limit GC | Var | Constra
52.98/53.06 c =============================================================================
52.98/53.06 c 0.0s | 0 | 0 | 0 | 898 0 | 58 | 34
52.98/53.08 c 0.0s | 1 | 240 | 100 | 898 0 | 58 | 38
52.98/53.10 c 0.0s | 2 | 618 | 250 | 898 0 | 58 | 38
53.08/53.12 c 0.1s | 3 | 1002 | 475 | 898 0 | 58 | 38
53.08/53.18 c 0.1s | 4 | 1469 | 813 | 898 0 | 58 | 38
53.19/53.24 c 0.2s | 5 | 2142 | 1320 | 898 1 | 58 | 38
53.29/53.30 c 0.2s | 6 | 3110 | 2081 | 898 2 | 58 | 38
53.39/53.44 c 0.4s | 7 | 4472 | 3223 | 898 5 | 58 | 38
53.58/53.63 c 0.6s | 8 | 6375 | 4936 | 898 8 | 58 | 38
53.78/53.89 c 0.8s | 9 | 9678 | 7506 | 898 13 | 58 | 38
54.38/54.41 c 1.4s | 10 | 14072 | 11361 | 898 20 | 58 | 38
54.99/55.07 c 2.0s | 11 | 22166 | 17144 | 898 32 | 58 | 38
55.98/56.01 c 2.9s | 12 | 33860 | 25819 | 898 49 | 58 | 38
57.38/57.44 c 4.4s | 13 | 51538 | 38832 | 898 74 | 58 | 38
59.39/59.44 c 6.4s | 13 | 71554 | 56632 | 898 109 | 58 | 38
59.58/59.64 c 6.6s | 14 | 73557 | 58352 | 898 113 | 58 | 38
61.58/61.65 c 8.6s | 14 | 86174 | 69152 | 898 133 | 58 | 38
61.68/61.79 c 8.7s | 14 | 87783 | 70492 | 898 136 | 59 | 39
61.68/61.79 c #cpu_time = 8.723s
61.68/61.79 c #wall_clock_time = 8.724s
61.68/61.79 c #decision = 87783
61.68/61.79 c #random_decision = 327
61.68/61.79 c #conflict = 70492
61.68/61.79 c #restart = 14
61.68/61.79 c BCD2: updating lower bound of a core
61.68/61.79 c lower bound updated to 64
61.68/61.79 c BCD2: 64 <= obj <= 124
61.68/61.79 c BCD2: #cores=23, #unrelaxed=18, #relaxed=238, #hardened=0
61.68/61.79 c BCD2: #sat=1 #unsat=57 bias=57/58
61.68/61.79 c Solving starts ...
61.68/61.79 c ============================[ Search Statistics ]============================
61.68/61.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
61.68/61.79 c | | | | Limit GC | Var | Constra
61.68/61.79 c =============================================================================
61.68/61.79 c 0.0s | 0 | 0 | 0 | 898 0 | 59 | 40
61.78/61.80 c 0.0s | 1 | 185 | 100 | 898 0 | 59 | 40
61.78/61.81 c 0.0s | 2 | 430 | 250 | 898 0 | 59 | 40
61.78/61.84 c 0.1s | 3 | 773 | 475 | 898 0 | 59 | 40
61.88/61.90 c 0.1s | 4 | 1256 | 813 | 898 0 | 59 | 40
61.88/61.99 c 0.2s | 5 | 1960 | 1320 | 898 1 | 59 | 40
62.08/62.12 c 0.3s | 6 | 2999 | 2081 | 898 3 | 59 | 40
62.18/62.25 c 0.5s | 7 | 4454 | 3223 | 898 5 | 59 | 40
62.38/62.47 c 0.7s | 8 | 6530 | 4936 | 898 9 | 59 | 40
62.58/62.67 c 0.9s | 9 | 9494 | 7506 | 898 14 | 59 | 40
63.08/63.17 c 1.4s | 10 | 14012 | 11361 | 898 21 | 59 | 40
64.18/64.28 c 2.5s | 11 | 21120 | 17144 | 898 32 | 59 | 40
65.67/65.76 c 4.0s | 12 | 31415 | 25819 | 898 49 | 59 | 40
67.27/67.40 c 5.6s | 12 | 43686 | 36151 | 898 69 | 60 | 41
67.27/67.40 c #cpu_time = 5.608s
67.27/67.40 c #wall_clock_time = 5.609s
67.27/67.40 c #decision = 43686
67.27/67.40 c #random_decision = 166
67.27/67.40 c #conflict = 36151
67.27/67.40 c #restart = 12
67.27/67.40 c BCD2: updating lower bound of a core
67.27/67.40 c lower bound updated to 72
67.27/67.40 c BCD2: 72 <= obj <= 124
67.27/67.40 c BCD2: #cores=23, #unrelaxed=18, #relaxed=238, #hardened=0
67.27/67.40 c BCD2: #sat=1 #unsat=58 bias=58/59
67.27/67.40 c Solving starts ...
67.27/67.40 c ============================[ Search Statistics ]============================
67.27/67.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
67.27/67.40 c | | | | Limit GC | Var | Constra
67.27/67.40 c =============================================================================
67.27/67.40 c 0.0s | 0 | 0 | 0 | 898 0 | 60 | 43
67.37/67.41 c 0.0s | 1 | 195 | 100 | 898 0 | 60 | 43
67.37/67.44 c 0.0s | 2 | 434 | 250 | 898 0 | 60 | 43
67.37/67.47 c 0.1s | 3 | 784 | 475 | 898 0 | 60 | 43
67.47/67.53 c 0.1s | 4 | 1251 | 813 | 898 0 | 60 | 43
67.57/67.60 c 0.2s | 5 | 1915 | 1320 | 898 1 | 60 | 43
67.57/67.67 c 0.3s | 6 | 2840 | 2081 | 898 3 | 60 | 43
67.67/67.78 c 0.4s | 7 | 4188 | 3223 | 898 5 | 60 | 43
67.88/67.96 c 0.6s | 8 | 6177 | 4936 | 898 8 | 60 | 43
68.19/68.23 c 0.8s | 9 | 9006 | 7506 | 898 13 | 60 | 43
68.58/68.64 c 1.2s | 10 | 14446 | 11361 | 898 21 | 60 | 43
69.18/69.26 c 1.9s | 11 | 21570 | 17144 | 898 32 | 60 | 43
70.18/70.25 c 2.9s | 12 | 32471 | 25819 | 898 49 | 60 | 43
71.59/71.63 c 4.2s | 13 | 48312 | 38832 | 898 74 | 60 | 43
73.58/73.63 c 6.2s | 13 | 72255 | 57532 | 898 111 | 60 | 43
73.69/73.71 c 6.3s | 14 | 73172 | 58352 | 898 113 | 60 | 43
75.68/75.72 c 8.3s | 14 | 99311 | 76752 | 988 147 | 60 | 43
76.88/76.91 c 9.5s | 15 | 114661 | 87632 | 988 167 | 60 | 43
78.88/78.92 c 11.5s | 15 | 140956 | 105632 | 988 200 | 60 | 43
80.88/80.93 c 13.5s | 15 | 164966 | 122832 | 988 231 | 60 | 43
81.88/81.95 c 14.6s | 16 | 177118 | 131552 | 988 246 | 60 | 43
83.88/83.96 c 16.6s | 16 | 202815 | 149252 | 988 278 | 60 | 43
85.88/85.96 c 18.6s | 16 | 228991 | 167052 | 988 310 | 60 | 43
87.87/87.97 c 20.6s | 16 | 252353 | 184452 | 988 342 | 60 | 43
89.37/89.46 c 22.1s | 17 | 267820 | 197432 | 988 365 | 60 | 43
91.38/91.46 c 24.1s | 17 | 289625 | 213632 | 988 394 | 60 | 43
93.38/93.47 c 26.1s | 17 | 311697 | 230332 | 988 424 | 60 | 43
95.37/95.48 c 28.1s | 17 | 334219 | 246732 | 988 454 | 60 | 43
97.37/97.48 c 30.1s | 17 | 356676 | 263132 | 988 483 | 60 | 43
99.37/99.49 c 32.1s | 17 | 378947 | 279632 | 988 513 | 60 | 43
101.47/101.50 c 34.1s | 17 | 397333 | 295232 | 988 541 | 60 | 43
101.57/101.62 c 34.2s | 18 | 398549 | 296252 | 988 543 | 60 | 43
103.57/103.62 c 36.2s | 18 | 419378 | 313752 | 988 574 | 60 | 43
105.58/105.63 c 38.2s | 18 | 439988 | 331452 | 988 606 | 60 | 43
107.57/107.64 c 40.2s | 18 | 459939 | 348552 | 988 637 | 60 | 43
109.57/109.64 c 42.2s | 18 | 478286 | 365052 | 988 667 | 60 | 43
111.57/111.64 c 44.2s | 18 | 498201 | 381852 | 988 697 | 60 | 43
113.56/113.65 c 46.3s | 18 | 517362 | 398052 | 988 726 | 60 | 43
115.57/115.65 c 48.3s | 18 | 536453 | 413552 | 1087 752 | 60 | 43
117.56/117.65 c 50.3s | 18 | 557831 | 429952 | 1087 779 | 60 | 43
119.26/119.39 c 52.0s | 19 | 575531 | 444482 | 1087 803 | 60 | 43
121.36/121.40 c 54.0s | 19 | 597248 | 461882 | 1087 832 | 60 | 43
123.36/123.40 c 56.0s | 19 | 617309 | 478582 | 1087 859 | 60 | 43
125.37/125.41 c 58.0s | 19 | 638783 | 494882 | 1087 886 | 60 | 43
127.36/127.41 c 60.0s | 19 | 661959 | 512382 | 1087 915 | 60 | 43
129.36/129.41 c 62.0s | 19 | 685883 | 529782 | 1087 944 | 60 | 43
131.36/131.42 c 64.0s | 19 | 708731 | 546682 | 1087 972 | 60 | 43
133.36/133.43 c 66.0s | 19 | 729653 | 563282 | 1087 999 | 60 | 43
135.36/135.43 c 68.0s | 19 | 749857 | 579382 | 1087 1026 | 60 | 43
137.35/137.44 c 70.0s | 19 | 770597 | 595482 | 1087 1052 | 60 | 43
139.35/139.44 c 72.0s | 19 | 790622 | 611382 | 1087 1079 | 60 | 43
141.35/141.45 c 74.1s | 19 | 809648 | 626582 | 1087 1104 | 60 | 43
143.35/143.46 c 76.1s | 19 | 829852 | 641982 | 1087 1129 | 60 | 43
145.35/145.46 c 78.1s | 19 | 850062 | 657082 | 1087 1154 | 60 | 43
146.55/146.62 c 79.2s | 20 | 863687 | 666827 | 1087 1170 | 60 | 43
148.55/148.63 c 81.2s | 20 | 888594 | 684127 | 1087 1199 | 60 | 43
150.55/150.63 c 83.2s | 20 | 911878 | 700327 | 1087 1226 | 60 | 43
152.54/152.64 c 85.2s | 20 | 936353 | 717527 | 1087 1254 | 60 | 43
154.55/154.64 c 87.2s | 20 | 958379 | 734227 | 1087 1282 | 60 | 43
156.55/156.64 c 89.2s | 20 | 980828 | 751227 | 1087 1310 | 60 | 43
158.55/158.65 c 91.3s | 20 | 1003573 | 767827 | 1087 1337 | 60 | 43
160.56/160.66 c 93.3s | 20 | 1027630 | 784927 | 1087 1365 | 60 | 43
162.55/162.66 c 95.3s | 20 | 1049686 | 801327 | 1087 1393 | 60 | 43
164.55/164.67 c 97.3s | 20 | 1071303 | 817427 | 1087 1419 | 60 | 43
166.54/166.67 c 99.3s | 20 | 1092597 | 833727 | 1087 1446 | 60 | 43
168.54/168.68 c 101s | 20 | 1113100 | 849027 | 1087 1472 | 60 | 43
170.55/170.68 c 103s | 20 | 1135520 | 864927 | 1087 1498 | 60 | 43
172.54/172.69 c 105s | 20 | 1156555 | 880127 | 1087 1523 | 60 | 43
174.54/174.70 c 107s | 20 | 1180535 | 896627 | 1087 1551 | 60 | 43
176.64/176.70 c 109s | 20 | 1201980 | 912927 | 1196 1575 | 60 | 43
178.64/178.71 c 111s | 20 | 1221336 | 928627 | 1196 1599 | 60 | 43
180.64/180.72 c 113s | 20 | 1239294 | 943027 | 1196 1621 | 60 | 43
182.65/182.73 c 115s | 20 | 1259198 | 958827 | 1196 1645 | 60 | 43
184.64/184.74 c 117s | 20 | 1277961 | 974027 | 1196 1668 | 60 | 43
186.63/186.75 c 119s | 20 | 1297116 | 988827 | 1196 1691 | 60 | 43
188.14/188.21 c 120s | 21 | 1312780 | 1000345 | 1196 1708 | 60 | 43
190.13/190.21 c 122s | 21 | 1337645 | 1017145 | 1196 1734 | 60 | 43
192.13/192.22 c 124s | 21 | 1361465 | 1033445 | 1196 1758 | 60 | 43
194.13/194.22 c 126s | 21 | 1385977 | 1050445 | 1196 1784 | 60 | 43
196.13/196.23 c 128s | 21 | 1409310 | 1066645 | 1196 1809 | 60 | 43
198.14/198.23 c 130s | 21 | 1432541 | 1083045 | 1196 1834 | 60 | 43
200.14/200.25 c 132s | 21 | 1455582 | 1099445 | 1196 1859 | 60 | 43
202.14/202.25 c 134s | 21 | 1478082 | 1116045 | 1196 1884 | 60 | 43
204.14/204.26 c 136s | 21 | 1500138 | 1131945 | 1196 1908 | 60 | 43
206.13/206.27 c 138s | 21 | 1522951 | 1148745 | 1196 1933 | 60 | 43
208.13/208.27 c 140s | 21 | 1543707 | 1163945 | 1196 1956 | 60 | 43
210.13/210.27 c 142s | 21 | 1567125 | 1180845 | 1196 1982 | 60 | 43
212.13/212.28 c 144s | 21 | 1590257 | 1197545 | 1196 2007 | 60 | 43
214.13/214.28 c 146s | 21 | 1611139 | 1213545 | 1196 2032 | 60 | 43
216.13/216.29 c 148s | 21 | 1629572 | 1228645 | 1196 2055 | 60 | 43
218.22/218.30 c 150s | 21 | 1651041 | 1244845 | 1196 2079 | 60 | 43
220.22/220.30 c 152s | 21 | 1672148 | 1260245 | 1196 2103 | 60 | 43
222.23/222.31 c 154s | 21 | 1694897 | 1275545 | 1196 2126 | 60 | 43
224.22/224.32 c 156s | 21 | 1716525 | 1290245 | 1196 2148 | 60 | 43
226.22/226.33 c 158s | 21 | 1737058 | 1304845 | 1196 2171 | 60 | 43
228.22/228.34 c 160s | 21 | 1758087 | 1319445 | 1196 2193 | 60 | 43
230.22/230.34 c 162s | 21 | 1781783 | 1335145 | 1196 2217 | 60 | 43
232.22/232.35 c 164s | 21 | 1803009 | 1350145 | 1196 2240 | 60 | 43
234.23/234.36 c 166s | 21 | 1823823 | 1364845 | 1196 2262 | 60 | 43
236.22/236.37 c 168s | 21 | 1843441 | 1380345 | 1196 2285 | 60 | 43
238.22/238.38 c 170s | 21 | 1863124 | 1394845 | 1196 2307 | 60 | 43
240.22/240.39 c 172s | 21 | 1885102 | 1411045 | 1196 2332 | 60 | 43
242.32/242.40 c 175s | 21 | 1906552 | 1426645 | 1196 2356 | 60 | 43
244.31/244.40 c 177s | 21 | 1928550 | 1443245 | 1196 2381 | 60 | 43
246.32/246.41 c 179s | 21 | 1950405 | 1459645 | 1196 2406 | 60 | 43
248.31/248.42 c 181s | 21 | 1972090 | 1475445 | 1196 2430 | 60 | 43
250.31/250.43 c 183s | 21 | 1993627 | 1491345 | 1196 2454 | 60 | 43
251.51/251.62 c 184s | 22 | 2004942 | 1500622 | 1196 2468 | 60 | 43
253.52/253.63 c 186s | 22 | 2025025 | 1516822 | 1196 2493 | 60 | 43
255.52/255.63 c 188s | 22 | 2046906 | 1532822 | 1196 2517 | 60 | 43
257.51/257.65 c 190s | 22 | 2067901 | 1548822 | 1196 2541 | 60 | 43
259.52/259.66 c 192s | 22 | 2087050 | 1564122 | 1196 2564 | 60 | 43
261.51/261.66 c 194s | 22 | 2105763 | 1579122 | 1196 2587 | 60 | 43
263.51/263.66 c 196s | 22 | 2126878 | 1594322 | 1196 2610 | 60 | 43
265.51/265.67 c 198s | 22 | 2145876 | 1610022 | 1196 2634 | 60 | 43
267.51/267.68 c 200s | 22 | 2166132 | 1625722 | 1196 2658 | 60 | 43
269.51/269.69 c 202s | 22 | 2185283 | 1641122 | 1196 2681 | 60 | 43
271.51/271.70 c 204s | 22 | 2203686 | 1655722 | 1316 2701 | 60 | 43
273.61/273.70 c 206s | 22 | 2222126 | 1669622 | 1316 2721 | 60 | 43
275.60/275.70 c 208s | 22 | 2241819 | 1684922 | 1316 2742 | 60 | 43
277.60/277.70 c 210s | 22 | 2261532 | 1699322 | 1316 2762 | 60 | 43
279.60/279.72 c 212s | 22 | 2279874 | 1713822 | 1316 2782 | 60 | 43
281.61/281.73 c 214s | 22 | 2299234 | 1728322 | 1316 2802 | 60 | 43
283.60/283.74 c 216s | 22 | 2320566 | 1742722 | 1316 2822 | 60 | 43
285.60/285.74 c 218s | 22 | 2339762 | 1756722 | 1316 2842 | 60 | 43
287.60/287.75 c 220s | 22 | 2358179 | 1770222 | 1316 2861 | 60 | 43
289.60/289.75 c 222s | 22 | 2379135 | 1785222 | 1316 2882 | 60 | 43
291.60/291.76 c 224s | 22 | 2400226 | 1800822 | 1316 2903 | 60 | 43
293.60/293.77 c 226s | 22 | 2421058 | 1815722 | 1316 2924 | 60 | 43
295.59/295.77 c 228s | 22 | 2441949 | 1830822 | 1316 2945 | 60 | 43
297.59/297.77 c 230s | 22 | 2462619 | 1845522 | 1316 2966 | 60 | 43
299.59/299.78 c 232s | 22 | 2482590 | 1860322 | 1316 2986 | 60 | 43
301.69/301.80 c 234s | 22 | 2504296 | 1874922 | 1316 3007 | 60 | 43
303.69/303.81 c 236s | 22 | 2527362 | 1890422 | 1316 3028 | 60 | 43
305.69/305.81 c 238s | 22 | 2548193 | 1905622 | 1316 3049 | 60 | 43
307.69/307.82 c 240s | 22 | 2569175 | 1920622 | 1316 3070 | 60 | 43
309.69/309.83 c 242s | 22 | 2588873 | 1935622 | 1316 3091 | 60 | 43
311.69/311.84 c 244s | 22 | 2609322 | 1950322 | 1316 3112 | 60 | 43
313.69/313.84 c 246s | 22 | 2628961 | 1965222 | 1316 3132 | 60 | 43
315.69/315.84 c 248s | 22 | 2649202 | 1980322 | 1316 3153 | 60 | 43
317.68/317.85 c 250s | 22 | 2669089 | 1995722 | 1316 3175 | 60 | 43
319.68/319.86 c 252s | 22 | 2688139 | 2010422 | 1316 3195 | 60 | 43
321.68/321.88 c 254s | 22 | 2707326 | 2024822 | 1316 3216 | 60 | 43
323.68/323.89 c 256s | 22 | 2725753 | 2039322 | 1316 3236 | 60 | 43
325.78/325.90 c 258s | 22 | 2744372 | 2053222 | 1316 3255 | 60 | 43
327.68/327.90 c 260s | 22 | 2762872 | 2067222 | 1316 3275 | 60 | 43
329.78/329.91 c 262s | 22 | 2781460 | 2081922 | 1316 3295 | 60 | 43
331.78/331.91 c 264s | 22 | 2802945 | 2097622 | 1316 3317 | 60 | 43
333.78/333.92 c 266s | 22 | 2824656 | 2112922 | 1316 3338 | 60 | 43
335.77/335.94 c 268s | 22 | 2846642 | 2128322 | 1316 3360 | 60 | 43
337.77/337.94 c 270s | 22 | 2867145 | 2143622 | 1316 3381 | 60 | 43
339.78/339.95 c 272s | 22 | 2886201 | 2158522 | 1316 3401 | 60 | 43
341.77/341.95 c 274s | 22 | 2904905 | 2173122 | 1316 3422 | 60 | 43
343.77/343.95 c 276s | 22 | 2924381 | 2188922 | 1316 3444 | 60 | 43
345.77/345.96 c 278s | 22 | 2945709 | 2203422 | 1316 3464 | 60 | 43
347.77/347.96 c 280s | 22 | 2967450 | 2218422 | 1316 3484 | 60 | 43
349.77/349.98 c 282s | 22 | 2986671 | 2233322 | 1316 3505 | 60 | 43
351.76/351.99 c 284s | 22 | 3005578 | 2248222 | 1316 3526 | 60 | 43
352.16/352.37 c 284s | 23 | 3009029 | 2251038 | 1316 3530 | 60 | 43
354.17/354.37 c 286s | 23 | 3028438 | 2267138 | 1316 3552 | 60 | 43
356.16/356.38 c 288s | 23 | 3051072 | 2283438 | 1316 3575 | 60 | 43
358.16/358.38 c 290s | 23 | 3073306 | 2299238 | 1316 3597 | 60 | 43
360.16/360.39 c 292s | 23 | 3091539 | 2314238 | 1316 3617 | 60 | 43
362.15/362.39 c 294s | 23 | 3109226 | 2329338 | 1316 3638 | 60 | 43
364.15/364.39 c 296s | 23 | 3128496 | 2345338 | 1316 3661 | 60 | 43
366.16/366.40 c 299s | 23 | 3149051 | 2361138 | 1316 3683 | 60 | 43
368.25/368.40 c 301s | 23 | 3168798 | 2376538 | 1316 3704 | 60 | 43
370.25/370.41 c 303s | 23 | 3186686 | 2391638 | 1316 3725 | 60 | 43
372.25/372.41 c 305s | 23 | 3205197 | 2406638 | 1316 3746 | 60 | 43
374.25/374.42 c 307s | 23 | 3226852 | 2422738 | 1316 3768 | 60 | 43
376.24/376.42 c 309s | 23 | 3245885 | 2437638 | 1316 3789 | 60 | 43
378.25/378.42 c 311s | 23 | 3264284 | 2451938 | 1316 3809 | 60 | 43
380.24/380.43 c 313s | 23 | 3283489 | 2467338 | 1316 3830 | 60 | 43
382.24/382.43 c 315s | 23 | 3303743 | 2482938 | 1316 3852 | 60 | 43
384.24/384.44 c 317s | 23 | 3325378 | 2499638 | 1316 3875 | 60 | 43
386.24/386.44 c 319s | 23 | 3344750 | 2515338 | 1316 3897 | 60 | 43
388.26/388.45 c 321s | 23 | 3364237 | 2530538 | 1316 3918 | 60 | 43
390.25/390.47 c 323s | 23 | 3384638 | 2547238 | 1316 3941 | 60 | 43
392.25/392.47 c 325s | 23 | 3403258 | 2562538 | 1316 3963 | 60 | 43
394.25/394.48 c 327s | 23 | 3424268 | 2578338 | 1316 3985 | 60 | 43
396.24/396.48 c 329s | 23 | 3443969 | 2594238 | 1316 4007 | 60 | 43
398.24/398.48 c 331s | 23 | 3462537 | 2609838 | 1316 4028 | 60 | 43
400.25/400.48 c 333s | 23 | 3481331 | 2624438 | 1316 4049 | 60 | 43
402.24/402.50 c 335s | 23 | 3501398 | 2640838 | 1316 4071 | 60 | 43
404.34/404.50 c 337s | 23 | 3520345 | 2656638 | 1316 4093 | 60 | 43
406.33/406.50 c 339s | 23 | 3540821 | 2672538 | 1316 4115 | 60 | 43
408.33/408.51 c 341s | 23 | 3559581 | 2687838 | 1316 4136 | 60 | 43
410.33/410.52 c 343s | 23 | 3580435 | 2703838 | 1316 4159 | 60 | 43
412.34/412.53 c 345s | 23 | 3598998 | 2719138 | 1316 4180 | 60 | 43
414.34/414.53 c 347s | 23 | 3619849 | 2734438 | 1316 4201 | 60 | 43
416.33/416.53 c 349s | 23 | 3640144 | 2749638 | 1316 4222 | 60 | 43
418.33/418.54 c 351s | 23 | 3660749 | 2764238 | 1448 4242 | 60 | 43
420.33/420.54 c 353s | 23 | 3679601 | 2778738 | 1448 4261 | 60 | 43
422.34/422.55 c 355s | 23 | 3698051 | 2793038 | 1448 4279 | 60 | 43
424.33/424.56 c 357s | 23 | 3718573 | 2807638 | 1448 4297 | 60 | 43
426.33/426.57 c 359s | 23 | 3736506 | 2821638 | 1448 4315 | 60 | 43
428.33/428.58 c 361s | 23 | 3755066 | 2836138 | 1448 4334 | 60 | 43
430.33/430.58 c 363s | 23 | 3774134 | 2850438 | 1448 4352 | 60 | 43
432.33/432.59 c 365s | 23 | 3794573 | 2864938 | 1448 4370 | 60 | 43
434.33/434.59 c 367s | 23 | 3812846 | 2878838 | 1448 4388 | 60 | 43
436.42/436.60 c 369s | 23 | 3830222 | 2892538 | 1448 4406 | 60 | 43
438.42/438.61 c 371s | 23 | 3847899 | 2905938 | 1448 4423 | 60 | 43
440.42/440.62 c 373s | 23 | 3865157 | 2919638 | 1448 4440 | 60 | 43
442.42/442.63 c 375s | 23 | 3881711 | 2933038 | 1448 4457 | 60 | 43
444.42/444.63 c 377s | 23 | 3900536 | 2947838 | 1448 4476 | 60 | 43
446.42/446.64 c 379s | 23 | 3919729 | 2962538 | 1448 4495 | 60 | 43
448.42/448.65 c 381s | 23 | 3940390 | 2977938 | 1448 4514 | 60 | 43
450.41/450.65 c 383s | 23 | 3962888 | 2994138 | 1448 4535 | 60 | 43
452.41/452.66 c 385s | 23 | 3982435 | 3009038 | 1448 4554 | 60 | 43
454.41/454.66 c 387s | 23 | 4001608 | 3023738 | 1448 4573 | 60 | 43
456.42/456.67 c 389s | 23 | 4020364 | 3038038 | 1448 4591 | 60 | 43
458.41/458.67 c 391s | 23 | 4038449 | 3052038 | 1448 4609 | 60 | 43
460.41/460.68 c 393s | 23 | 4057635 | 3066738 | 1448 4627 | 60 | 43
462.51/462.70 c 395s | 23 | 4075182 | 3081038 | 1448 4646 | 60 | 43
464.51/464.70 c 397s | 23 | 4093376 | 3094938 | 1448 4663 | 60 | 43
466.51/466.71 c 399s | 23 | 4110541 | 3108538 | 1448 4681 | 60 | 43
468.52/468.72 c 401s | 23 | 4130802 | 3123538 | 1448 4700 | 60 | 43
470.51/470.73 c 403s | 23 | 4148711 | 3138338 | 1448 4719 | 60 | 43
472.51/472.73 c 405s | 23 | 4166064 | 3152238 | 1448 4736 | 60 | 43
474.51/474.74 c 407s | 23 | 4183805 | 3166338 | 1448 4754 | 60 | 43
476.50/476.75 c 409s | 23 | 4201961 | 3180838 | 1448 4773 | 60 | 43
478.50/478.76 c 411s | 23 | 4219081 | 3195038 | 1448 4791 | 60 | 43
480.51/480.77 c 413s | 23 | 4238076 | 3209438 | 1448 4809 | 60 | 43
482.50/482.77 c 415s | 23 | 4257973 | 3223438 | 1448 4827 | 60 | 43
484.50/484.78 c 417s | 23 | 4275093 | 3237038 | 1448 4844 | 60 | 43
486.50/486.78 c 419s | 23 | 4291806 | 3250538 | 1448 4861 | 60 | 43
488.50/488.79 c 421s | 23 | 4310146 | 3264238 | 1448 4879 | 60 | 43
490.60/490.80 c 423s | 23 | 4331211 | 3279738 | 1448 4898 | 60 | 43
492.60/492.81 c 425s | 23 | 4353327 | 3295138 | 1448 4918 | 60 | 43
494.59/494.81 c 427s | 23 | 4371846 | 3309938 | 1448 4937 | 60 | 43
496.59/496.81 c 429s | 23 | 4391004 | 3324438 | 1448 4955 | 60 | 43
498.59/498.81 c 431s | 23 | 4408536 | 3338538 | 1448 4973 | 60 | 43
500.59/500.83 c 433s | 23 | 4426385 | 3353038 | 1448 4992 | 60 | 43
502.60/502.83 c 435s | 23 | 4444360 | 3367238 | 1448 5010 | 60 | 43
503.99/504.21 c 436s | 24 | 4458342 | 3376662 | 1448 5022 | 60 | 43
505.99/506.22 c 438s | 24 | 4478508 | 3391962 | 1448 5041 | 60 | 43
508.00/508.23 c 440s | 24 | 4498375 | 3407362 | 1448 5061 | 60 | 43
509.99/510.23 c 442s | 24 | 4519252 | 3422462 | 1448 5080 | 60 | 43
511.99/512.25 c 444s | 24 | 4540709 | 3438162 | 1448 5100 | 60 | 43
513.99/514.25 c 446s | 24 | 4560988 | 3452862 | 1448 5118 | 60 | 43
515.99/516.26 c 448s | 24 | 4580863 | 3467062 | 1448 5136 | 60 | 43
518.00/518.26 c 450s | 24 | 4602460 | 3482562 | 1448 5156 | 60 | 43
519.99/520.27 c 452s | 24 | 4625484 | 3499362 | 1448 5177 | 60 | 43
521.99/522.27 c 454s | 24 | 4647490 | 3516162 | 1448 5198 | 60 | 43
523.99/524.27 c 456s | 24 | 4667896 | 3531662 | 1448 5218 | 60 | 43
525.98/526.28 c 458s | 24 | 4687615 | 3546462 | 1448 5237 | 60 | 43
527.98/528.29 c 460s | 24 | 4705938 | 3561062 | 1448 5256 | 60 | 43
529.99/530.29 c 462s | 24 | 4726078 | 3576662 | 1448 5275 | 60 | 43
531.98/532.29 c 464s | 24 | 4746207 | 3592162 | 1448 5295 | 60 | 43
534.08/534.30 c 466s | 24 | 4765947 | 3607262 | 1448 5314 | 60 | 43
536.07/536.31 c 468s | 24 | 4784545 | 3621862 | 1448 5333 | 60 | 43
538.07/538.32 c 470s | 24 | 4803149 | 3636662 | 1448 5352 | 60 | 43
540.08/540.33 c 472s | 24 | 4821200 | 3650962 | 1448 5370 | 60 | 43
542.09/542.33 c 474s | 24 | 4841534 | 3666262 | 1448 5389 | 60 | 43
544.08/544.33 c 476s | 24 | 4859246 | 3680262 | 1448 5407 | 60 | 43
546.08/546.34 c 478s | 24 | 4877775 | 3694062 | 1448 5425 | 60 | 43
548.08/548.35 c 480s | 24 | 4896791 | 3708562 | 1448 5443 | 60 | 43
550.08/550.35 c 482s | 24 | 4914975 | 3722662 | 1448 5461 | 60 | 43
552.08/552.35 c 484s | 24 | 4932376 | 3736262 | 1448 5478 | 60 | 43
554.07/554.36 c 486s | 24 | 4949879 | 3749662 | 1448 5495 | 60 | 43
556.07/556.37 c 488s | 24 | 4967549 | 3763662 | 1448 5513 | 60 | 43
558.07/558.39 c 490s | 24 | 4985295 | 3777262 | 1448 5531 | 60 | 43
560.07/560.39 c 492s | 24 | 5002920 | 3790462 | 1448 5547 | 60 | 43
562.17/562.40 c 495s | 24 | 5020787 | 3804062 | 1448 5565 | 60 | 43
564.18/564.41 c 497s | 24 | 5042545 | 3819462 | 1448 5584 | 60 | 43
566.17/566.42 c 499s | 24 | 5063480 | 3834762 | 1448 5604 | 60 | 43
568.17/568.43 c 501s | 24 | 5083889 | 3849662 | 1448 5622 | 60 | 43
570.17/570.43 c 503s | 24 | 5102892 | 3863862 | 1448 5641 | 60 | 43
572.17/572.44 c 505s | 24 | 5122620 | 3878762 | 1448 5659 | 60 | 43
574.16/574.44 c 507s | 24 | 5142714 | 3895262 | 1448 5680 | 60 | 43
576.17/576.46 c 509s | 24 | 5162156 | 3910362 | 1448 5700 | 60 | 43
578.16/578.47 c 511s | 24 | 5180831 | 3925462 | 1448 5719 | 60 | 43
580.16/580.47 c 513s | 24 | 5198955 | 3940662 | 1448 5738 | 60 | 43
582.16/582.48 c 515s | 24 | 5219237 | 3956162 | 1448 5758 | 60 | 43
584.16/584.49 c 517s | 24 | 5237889 | 3970962 | 1448 5776 | 60 | 43
586.16/586.49 c 519s | 24 | 5257209 | 3985162 | 1448 5794 | 60 | 43
588.26/588.51 c 521s | 24 | 5275131 | 3999962 | 1448 5813 | 60 | 43
590.25/590.52 c 523s | 24 | 5291452 | 4013362 | 1448 5830 | 60 | 43
592.25/592.53 c 525s | 24 | 5308685 | 4027762 | 1448 5849 | 60 | 43
594.25/594.55 c 527s | 24 | 5326727 | 4042762 | 1448 5868 | 60 | 43
596.26/596.56 c 529s | 24 | 5347320 | 4058262 | 1448 5887 | 60 | 43
598.26/598.56 c 531s | 24 | 5368377 | 4073462 | 1448 5906 | 60 | 43
600.25/600.56 c 533s | 24 | 5387639 | 4088262 | 1448 5925 | 60 | 43
602.25/602.57 c 535s | 24 | 5407261 | 4102362 | 1448 5943 | 60 | 43
604.25/604.58 c 537s | 24 | 5425194 | 4115162 | 1448 5959 | 60 | 43
606.25/606.58 c 539s | 24 | 5444484 | 4128062 | 1448 5976 | 60 | 43
608.25/608.59 c 541s | 24 | 5464268 | 4143362 | 1448 5995 | 60 | 43
610.26/610.60 c 543s | 24 | 5485308 | 4157662 | 1448 6013 | 60 | 43
612.35/612.62 c 545s | 24 | 5503288 | 4170962 | 1448 6030 | 60 | 43
614.35/614.62 c 547s | 24 | 5523552 | 4185762 | 1448 6049 | 60 | 43
616.34/616.63 c 549s | 24 | 5543125 | 4200562 | 1448 6068 | 60 | 43
618.34/618.64 c 551s | 24 | 5562580 | 4214962 | 1448 6086 | 60 | 43
620.34/620.65 c 553s | 24 | 5582214 | 4228862 | 1448 6104 | 60 | 43
622.35/622.66 c 555s | 24 | 5601054 | 4243162 | 1448 6122 | 60 | 43
624.34/624.67 c 557s | 24 | 5617941 | 4256662 | 1448 6139 | 60 | 43
626.34/626.68 c 559s | 24 | 5636248 | 4269762 | 1448 6156 | 60 | 43
628.34/628.69 c 561s | 24 | 5653823 | 4283862 | 1448 6174 | 60 | 43
630.43/630.71 c 563s | 24 | 5672594 | 4298362 | 1448 6193 | 60 | 43
632.43/632.72 c 565s | 24 | 5689999 | 4312462 | 1448 6210 | 60 | 43
634.44/634.73 c 567s | 24 | 5708747 | 4325862 | 1448 6227 | 60 | 43
636.43/636.73 c 569s | 24 | 5727355 | 4339362 | 1448 6245 | 60 | 43
638.43/638.74 c 571s | 24 | 5747975 | 4352962 | 1448 6262 | 60 | 43
640.43/640.74 c 573s | 24 | 5764954 | 4365762 | 1448 6278 | 60 | 43
642.43/642.75 c 575s | 24 | 5781848 | 4378662 | 1448 6295 | 60 | 43
644.43/644.75 c 577s | 24 | 5800663 | 4392462 | 1448 6312 | 60 | 43
646.42/646.76 c 579s | 24 | 5820756 | 4406862 | 1448 6331 | 60 | 43
648.42/648.76 c 581s | 24 | 5839908 | 4420862 | 1448 6348 | 60 | 43
650.42/650.77 c 583s | 24 | 5858891 | 4434862 | 1448 6366 | 60 | 43
652.42/652.78 c 585s | 24 | 5878396 | 4448762 | 1593 6382 | 60 | 43
654.42/654.78 c 587s | 24 | 5896460 | 4461462 | 1593 6397 | 60 | 43
656.42/656.78 c 589s | 24 | 5914834 | 4474462 | 1593 6412 | 60 | 43
658.42/658.79 c 591s | 24 | 5932882 | 4487162 | 1593 6427 | 60 | 43
660.52/660.80 c 593s | 24 | 5949789 | 4500062 | 1593 6442 | 60 | 43
662.52/662.81 c 595s | 24 | 5965048 | 4512362 | 1593 6457 | 60 | 43
664.52/664.82 c 597s | 24 | 5985587 | 4527462 | 1593 6474 | 60 | 43
666.51/666.83 c 599s | 24 | 6005313 | 4542162 | 1593 6491 | 60 | 43
668.52/668.84 c 601s | 24 | 6024270 | 4556762 | 1593 6508 | 60 | 43
670.51/670.85 c 603s | 24 | 6042636 | 4571862 | 1593 6526 | 60 | 43
672.51/672.85 c 605s | 24 | 6061065 | 4586362 | 1593 6542 | 60 | 43
674.51/674.85 c 607s | 24 | 6078985 | 4600462 | 1593 6559 | 60 | 43
676.51/676.86 c 609s | 24 | 6096058 | 4613462 | 1593 6574 | 60 | 43
678.52/678.87 c 611s | 24 | 6113154 | 4626762 | 1593 6589 | 60 | 43
680.52/680.88 c 613s | 24 | 6130836 | 4639962 | 1593 6605 | 60 | 43
682.52/682.89 c 615s | 24 | 6147225 | 4652962 | 1593 6620 | 60 | 43
684.61/684.91 c 617s | 24 | 6165117 | 4666462 | 1593 6636 | 60 | 43
686.61/686.92 c 619s | 24 | 6181850 | 4679162 | 1593 6650 | 60 | 43
688.61/688.93 c 621s | 24 | 6200560 | 4691862 | 1593 6665 | 60 | 43
690.62/690.95 c 623s | 24 | 6223469 | 4706862 | 1593 6683 | 60 | 43
692.61/692.95 c 625s | 24 | 6246064 | 4721462 | 1593 6699 | 60 | 43
694.61/694.96 c 627s | 24 | 6264857 | 4734162 | 1593 6714 | 60 | 43
696.61/696.97 c 629s | 24 | 6285437 | 4748162 | 1593 6731 | 60 | 43
698.61/698.98 c 631s | 24 | 6305341 | 4761462 | 1593 6746 | 60 | 43
700.61/700.98 c 633s | 24 | 6322879 | 4774662 | 1593 6761 | 60 | 43
702.61/702.99 c 635s | 24 | 6342927 | 4788762 | 1593 6778 | 60 | 43
704.70/705.00 c 637s | 24 | 6362538 | 4802862 | 1593 6794 | 60 | 43
706.70/707.00 c 639s | 24 | 6383195 | 4816462 | 1593 6810 | 60 | 43
708.70/709.01 c 641s | 24 | 6403954 | 4830562 | 1593 6826 | 60 | 43
710.70/711.01 c 643s | 24 | 6424086 | 4844062 | 1593 6842 | 60 | 43
712.70/713.03 c 645s | 24 | 6446613 | 4858262 | 1593 6859 | 60 | 43
714.72/715.04 c 647s | 24 | 6467411 | 4871962 | 1593 6875 | 60 | 43
716.71/717.05 c 649s | 24 | 6488002 | 4885262 | 1593 6890 | 60 | 43
718.71/719.05 c 651s | 24 | 6508137 | 4898362 | 1593 6905 | 60 | 43
720.71/721.06 c 653s | 24 | 6528766 | 4912062 | 1593 6921 | 60 | 43
722.71/723.07 c 655s | 24 | 6548029 | 4925262 | 1593 6937 | 60 | 43
724.71/725.08 c 657s | 24 | 6567644 | 4940262 | 1593 6954 | 60 | 43
726.71/727.09 c 659s | 24 | 6585763 | 4953962 | 1593 6970 | 60 | 43
728.70/729.09 c 661s | 24 | 6603497 | 4967662 | 1593 6986 | 60 | 43
730.70/731.09 c 663s | 24 | 6621375 | 4981562 | 1593 7002 | 60 | 43
732.80/733.10 c 665s | 24 | 6639594 | 4995162 | 1593 7018 | 60 | 43
734.80/735.12 c 667s | 24 | 6656577 | 5008962 | 1593 7034 | 60 | 43
736.81/737.12 c 669s | 24 | 6674097 | 5022562 | 1593 7050 | 60 | 43
738.80/739.13 c 671s | 24 | 6691623 | 5035862 | 1593 7065 | 60 | 43
740.80/741.14 c 673s | 24 | 6710539 | 5049262 | 1593 7081 | 60 | 43
742.80/743.14 c 675s | 24 | 6728031 | 5062262 | 1593 7096 | 60 | 43
743.20/743.55 c 676s | 25 | 6732068 | 5065098 | 1593 7099 | 60 | 43
745.20/745.56 c 678s | 25 | 6752251 | 5079498 | 1593 7116 | 60 | 43
747.21/747.57 c 680s | 25 | 6772544 | 5093898 | 1593 7133 | 60 | 43
749.21/749.58 c 682s | 25 | 6790968 | 5107698 | 1593 7149 | 60 | 43
751.21/751.59 c 684s | 25 | 6810542 | 5122498 | 1593 7166 | 60 | 43
753.21/753.59 c 686s | 25 | 6831429 | 5137398 | 1593 7183 | 60 | 43
755.30/755.60 c 688s | 25 | 6851852 | 5151798 | 1593 7200 | 60 | 43
757.30/757.60 c 690s | 25 | 6870384 | 5164898 | 1593 7215 | 60 | 43
759.30/759.61 c 692s | 25 | 6889574 | 5178498 | 1593 7231 | 60 | 43
761.30/761.62 c 694s | 25 | 6910593 | 5192998 | 1593 7248 | 60 | 43
763.30/763.64 c 696s | 25 | 6930117 | 5207098 | 1593 7264 | 60 | 43
765.31/765.64 c 698s | 25 | 6948887 | 5221298 | 1593 7281 | 60 | 43
767.30/767.64 c 700s | 25 | 6966251 | 5235198 | 1593 7297 | 60 | 43
769.30/769.64 c 702s | 25 | 6984359 | 5249498 | 1593 7313 | 60 | 43
771.30/771.66 c 704s | 25 | 7001951 | 5263698 | 1593 7330 | 60 | 43
773.30/773.68 c 706s | 25 | 7019430 | 5277498 | 1593 7346 | 60 | 43
775.30/775.69 c 708s | 25 | 7037885 | 5291598 | 1593 7362 | 60 | 43
777.29/777.69 c 710s | 25 | 7056509 | 5305398 | 1593 7378 | 60 | 43
779.39/779.70 c 712s | 25 | 7074491 | 5319198 | 1593 7394 | 60 | 43
781.39/781.70 c 714s | 25 | 7091763 | 5332798 | 1593 7410 | 60 | 43
783.39/783.71 c 716s | 25 | 7112623 | 5346198 | 1593 7426 | 60 | 43
785.39/785.72 c 718s | 25 | 7133507 | 5359498 | 1593 7441 | 60 | 43
787.40/787.72 c 720s | 25 | 7153129 | 5373798 | 1593 7458 | 60 | 43
789.39/789.73 c 722s | 25 | 7172994 | 5387298 | 1593 7473 | 60 | 43
791.39/791.74 c 724s | 25 | 7189881 | 5399998 | 1593 7488 | 60 | 43
793.40/793.74 c 726s | 25 | 7207871 | 5412798 | 1593 7503 | 60 | 43
795.40/795.76 c 728s | 25 | 7227478 | 5426698 | 1593 7519 | 60 | 43
797.40/797.76 c 730s | 25 | 7247698 | 5441498 | 1593 7536 | 60 | 43
799.40/799.77 c 732s | 25 | 7268255 | 5456598 | 1593 7554 | 60 | 43
801.40/801.78 c 734s | 25 | 7288294 | 5471398 | 1593 7571 | 60 | 43
803.40/803.79 c 736s | 25 | 7308853 | 5485898 | 1593 7588 | 60 | 43
805.40/805.79 c 738s | 25 | 7327080 | 5500498 | 1593 7605 | 60 | 43
807.40/807.79 c 740s | 25 | 7345865 | 5514998 | 1593 7622 | 60 | 43
809.49/809.80 c 742s | 25 | 7364930 | 5528798 | 1593 7638 | 60 | 43
811.39/811.80 c 744s | 25 | 7382395 | 5542598 | 1593 7654 | 60 | 43
813.49/813.81 c 746s | 25 | 7398910 | 5555998 | 1593 7670 | 60 | 43
815.49/815.81 c 748s | 25 | 7416119 | 5569098 | 1593 7685 | 60 | 43
817.49/817.83 c 750s | 25 | 7435289 | 5582698 | 1593 7701 | 60 | 43
819.49/819.84 c 752s | 25 | 7453397 | 5596098 | 1593 7716 | 60 | 43
821.50/821.84 c 754s | 25 | 7470504 | 5609198 | 1593 7731 | 60 | 43
823.49/823.86 c 756s | 25 | 7488489 | 5622998 | 1593 7748 | 60 | 43
825.49/825.86 c 758s | 25 | 7505978 | 5636398 | 1593 7763 | 60 | 43
827.49/827.86 c 760s | 25 | 7522617 | 5649498 | 1593 7778 | 60 | 43
829.49/829.88 c 762s | 25 | 7541668 | 5663898 | 1593 7795 | 60 | 43
831.49/831.89 c 764s | 25 | 7560262 | 5677298 | 1593 7811 | 60 | 43
833.49/833.89 c 766s | 25 | 7577502 | 5690698 | 1593 7826 | 60 | 43
835.49/835.89 c 768s | 25 | 7595234 | 5703698 | 1593 7841 | 60 | 43
837.59/837.90 c 770s | 25 | 7613068 | 5718098 | 1593 7858 | 60 | 43
839.59/839.91 c 772s | 25 | 7628536 | 5731198 | 1593 7873 | 60 | 43
841.59/841.92 c 774s | 25 | 7644481 | 5744298 | 1593 7888 | 60 | 43
843.58/843.92 c 776s | 25 | 7661417 | 5757698 | 1593 7904 | 60 | 43
845.59/845.93 c 778s | 25 | 7676919 | 5770398 | 1593 7919 | 60 | 43
847.58/847.93 c 780s | 25 | 7693386 | 5783598 | 1593 7934 | 60 | 43
849.58/849.95 c 782s | 25 | 7710087 | 5796998 | 1593 7950 | 60 | 43
851.58/851.95 c 784s | 25 | 7725471 | 5809798 | 1593 7965 | 60 | 43
853.58/853.96 c 786s | 25 | 7740321 | 5821798 | 1593 7979 | 60 | 43
855.59/855.96 c 788s | 25 | 7756667 | 5834098 | 1593 7993 | 60 | 43
857.58/857.96 c 790s | 25 | 7774074 | 5847398 | 1593 8008 | 60 | 43
859.58/859.97 c 792s | 25 | 7793309 | 5861698 | 1593 8025 | 60 | 43
861.58/861.98 c 794s | 25 | 7811076 | 5875798 | 1593 8041 | 60 | 43
863.58/863.99 c 796s | 25 | 7827320 | 5888898 | 1593 8057 | 60 | 43
865.68/866.00 c 798s | 25 | 7845525 | 5902598 | 1593 8073 | 60 | 43
867.69/868.01 c 800s | 25 | 7862767 | 5915798 | 1593 8088 | 60 | 43
869.69/870.02 c 802s | 25 | 7879640 | 5928498 | 1593 8103 | 60 | 43
871.69/872.03 c 804s | 25 | 7899372 | 5942798 | 1593 8119 | 60 | 43
873.69/874.03 c 806s | 25 | 7916754 | 5956298 | 1593 8135 | 60 | 43
875.68/876.03 c 808s | 25 | 7933369 | 5969298 | 1593 8150 | 60 | 43
877.68/878.04 c 810s | 25 | 7949936 | 5981898 | 1593 8165 | 60 | 43
879.69/880.05 c 812s | 25 | 7965679 | 5994298 | 1593 8179 | 60 | 43
881.68/882.06 c 814s | 25 | 7980565 | 6006198 | 1593 8193 | 60 | 43
883.68/884.08 c 816s | 25 | 7995718 | 6018298 | 1593 8207 | 60 | 43
885.68/886.08 c 818s | 25 | 8012037 | 6031198 | 1593 8222 | 60 | 43
887.68/888.09 c 820s | 25 | 8031310 | 6045898 | 1593 8239 | 60 | 43
889.78/890.10 c 822s | 25 | 8048777 | 6059598 | 1593 8255 | 60 | 43
891.79/892.10 c 824s | 25 | 8065082 | 6072698 | 1593 8271 | 60 | 43
893.78/894.11 c 826s | 25 | 8081474 | 6085898 | 1593 8286 | 60 | 43
895.78/896.12 c 828s | 25 | 8096059 | 6098298 | 1593 8300 | 60 | 43
897.78/898.13 c 830s | 25 | 8113248 | 6111298 | 1593 8315 | 60 | 43
899.78/900.14 c 832s | 25 | 8130189 | 6124398 | 1593 8331 | 60 | 43
901.78/902.16 c 834s | 25 | 8147091 | 6137198 | 1593 8346 | 60 | 43
903.78/904.17 c 836s | 25 | 8164630 | 6150698 | 1593 8361 | 60 | 43
905.78/906.17 c 838s | 25 | 8182280 | 6163798 | 1593 8376 | 60 | 43
907.78/908.17 c 840s | 25 | 8199573 | 6176798 | 1593 8391 | 60 | 43
909.77/910.19 c 842s | 25 | 8218270 | 6189698 | 1593 8407 | 60 | 43
911.77/912.19 c 844s | 25 | 8237354 | 6203198 | 1593 8422 | 60 | 43
913.78/914.20 c 846s | 25 | 8256968 | 6217998 | 1593 8439 | 60 | 43
915.87/916.21 c 848s | 25 | 8277342 | 6232598 | 1593 8456 | 60 | 43
917.87/918.21 c 850s | 25 | 8296668 | 6246498 | 1593 8473 | 60 | 43
919.87/920.22 c 852s | 25 | 8318247 | 6260398 | 1593 8489 | 60 | 43
921.87/922.23 c 854s | 25 | 8339581 | 6274198 | 1593 8505 | 60 | 43
923.88/924.23 c 856s | 25 | 8360711 | 6288498 | 1593 8521 | 60 | 43
925.89/926.23 c 858s | 25 | 8379552 | 6302198 | 1593 8537 | 60 | 43
927.88/928.24 c 860s | 25 | 8397587 | 6315498 | 1593 8553 | 60 | 43
929.88/930.24 c 862s | 25 | 8418457 | 6329498 | 1593 8569 | 60 | 43
931.88/932.25 c 864s | 25 | 8436466 | 6343098 | 1593 8585 | 60 | 43
933.88/934.26 c 866s | 25 | 8454539 | 6356298 | 1593 8600 | 60 | 43
935.88/936.27 c 868s | 25 | 8475106 | 6369598 | 1593 8616 | 60 | 43
937.87/938.28 c 870s | 25 | 8493220 | 6383098 | 1593 8632 | 60 | 43
939.87/940.29 c 872s | 25 | 8509363 | 6396298 | 1593 8647 | 60 | 43
941.97/942.31 c 874s | 25 | 8527360 | 6409498 | 1593 8662 | 60 | 43
943.97/944.32 c 876s | 25 | 8543143 | 6422098 | 1593 8677 | 60 | 43
945.97/946.33 c 878s | 25 | 8560851 | 6435098 | 1593 8692 | 60 | 43
947.98/948.34 c 880s | 25 | 8580628 | 6449198 | 1593 8709 | 60 | 43
949.97/950.35 c 882s | 25 | 8597669 | 6462798 | 1593 8724 | 60 | 43
951.97/952.35 c 884s | 25 | 8614377 | 6475798 | 1593 8740 | 60 | 43
953.97/954.37 c 886s | 25 | 8631674 | 6489498 | 1593 8756 | 60 | 43
955.97/956.37 c 888s | 25 | 8649684 | 6503098 | 1593 8771 | 60 | 43
957.97/958.39 c 890s | 25 | 8668148 | 6516598 | 1593 8787 | 60 | 43
959.98/960.40 c 893s | 25 | 8687270 | 6529798 | 1593 8803 | 60 | 43
962.07/962.41 c 895s | 25 | 8706270 | 6543498 | 1593 8818 | 60 | 43
964.07/964.41 c 897s | 25 | 8723358 | 6556598 | 1593 8834 | 60 | 43
966.07/966.42 c 899s | 25 | 8742288 | 6569198 | 1593 8848 | 60 | 43
968.07/968.43 c 901s | 25 | 8764054 | 6583398 | 1593 8865 | 60 | 43
970.07/970.43 c 903s | 25 | 8782000 | 6596698 | 1593 8880 | 60 | 43
972.07/972.44 c 905s | 25 | 8799282 | 6609098 | 1593 8895 | 60 | 43
974.07/974.45 c 907s | 25 | 8818141 | 6622498 | 1593 8910 | 60 | 43
976.06/976.45 c 909s | 25 | 8835127 | 6634998 | 1593 8925 | 60 | 43
978.06/978.45 c 911s | 25 | 8852245 | 6646998 | 1593 8939 | 60 | 43
980.06/980.46 c 913s | 25 | 8870966 | 6659598 | 1593 8954 | 60 | 43
982.07/982.46 c 915s | 25 | 8893633 | 6674498 | 1593 8971 | 60 | 43
984.06/984.48 c 917s | 25 | 8913848 | 6688398 | 1593 8987 | 60 | 43
986.06/986.48 c 919s | 25 | 8931811 | 6701798 | 1593 9003 | 60 | 43
988.06/988.48 c 921s | 25 | 8950089 | 6715098 | 1593 9018 | 60 | 43
990.06/990.49 c 923s | 25 | 8968924 | 6728298 | 1593 9034 | 60 | 43
992.16/992.50 c 925s | 25 | 8987642 | 6741798 | 1593 9050 | 60 | 43
994.17/994.52 c 927s | 25 | 9004808 | 6755198 | 1593 9065 | 60 | 43
996.16/996.52 c 929s | 25 | 9023232 | 6768398 | 1593 9081 | 60 | 43
998.16/998.53 c 931s | 25 | 9039627 | 6781398 | 1593 9096 | 60 | 43
1000.16/1000.54 c 933s | 25 | 9056912 | 6794698 | 1593 9111 | 60 | 43
1002.16/1002.55 c 935s | 25 | 9074591 | 6807598 | 1593 9127 | 60 | 43
1004.16/1004.56 c 937s | 25 | 9092922 | 6820898 | 1593 9142 | 60 | 43
1006.17/1006.57 c 939s | 25 | 9112227 | 6833598 | 1593 9157 | 60 | 43
1008.16/1008.58 c 941s | 25 | 9128327 | 6846098 | 1593 9172 | 60 | 43
1010.16/1010.58 c 943s | 25 | 9145587 | 6859498 | 1593 9187 | 60 | 43
1012.16/1012.59 c 945s | 25 | 9161503 | 6871898 | 1593 9202 | 60 | 43
1014.16/1014.59 c 947s | 25 | 9178636 | 6884598 | 1593 9217 | 60 | 43
1016.16/1016.59 c 949s | 25 | 9196637 | 6897398 | 1593 9231 | 60 | 43
1018.16/1018.59 c 951s | 25 | 9212998 | 6909998 | 1593 9246 | 60 | 43
1020.26/1020.60 c 953s | 25 | 9230265 | 6922398 | 1593 9261 | 60 | 43
1022.26/1022.61 c 955s | 25 | 9246023 | 6934198 | 1593 9274 | 60 | 43
1024.26/1024.62 c 957s | 25 | 9265078 | 6948698 | 1593 9291 | 60 | 43
1026.26/1026.62 c 959s | 25 | 9283505 | 6962998 | 1753 9307 | 60 | 43
1028.27/1028.62 c 961s | 25 | 9302608 | 6977298 | 1753 9322 | 60 | 43
1030.26/1030.63 c 963s | 25 | 9321085 | 6991598 | 1753 9337 | 60 | 43
1032.26/1032.64 c 965s | 25 | 9338394 | 7005698 | 1753 9352 | 60 | 43
1034.26/1034.65 c 967s | 25 | 9355612 | 7019398 | 1753 9367 | 60 | 43
1036.26/1036.66 c 969s | 25 | 9372749 | 7033398 | 1753 9382 | 60 | 43
1038.26/1038.68 c 971s | 25 | 9390734 | 7047498 | 1753 9397 | 60 | 43
1040.26/1040.69 c 973s | 25 | 9409128 | 7061698 | 1753 9412 | 60 | 43
1042.26/1042.69 c 975s | 25 | 9426721 | 7075498 | 1753 9426 | 60 | 43
1044.36/1044.72 c 977s | 25 | 9443237 | 7088898 | 1753 9441 | 60 | 43
1046.36/1046.73 c 979s | 25 | 9461876 | 7103498 | 1753 9456 | 60 | 43
1048.36/1048.73 c 981s | 25 | 9480715 | 7117498 | 1753 9471 | 60 | 43
1050.36/1050.74 c 983s | 25 | 9498534 | 7131598 | 1753 9486 | 60 | 43
1052.36/1052.74 c 985s | 25 | 9515588 | 7145498 | 1753 9501 | 60 | 43
1054.35/1054.74 c 987s | 25 | 9534227 | 7158998 | 1753 9515 | 60 | 43
1056.35/1056.75 c 989s | 25 | 9551310 | 7172598 | 1753 9530 | 60 | 43
1058.35/1058.76 c 991s | 25 | 9569447 | 7187098 | 1753 9545 | 60 | 43
1060.35/1060.77 c 993s | 25 | 9587434 | 7201698 | 1753 9561 | 60 | 43
1062.36/1062.78 c 995s | 25 | 9604475 | 7216098 | 1753 9576 | 60 | 43
1064.35/1064.79 c 997s | 25 | 9621277 | 7230398 | 1753 9591 | 60 | 43
1066.35/1066.79 c 999s | 25 | 9638576 | 7244798 | 1753 9606 | 60 | 43
1068.45/1068.80 c 1001s | 25 | 9656021 | 7258798 | 1753 9621 | 60 | 43
1070.45/1070.81 c 1003s | 25 | 9675120 | 7272698 | 1753 9636 | 60 | 43
1072.45/1072.82 c 1005s | 25 | 9693462 | 7286598 | 1753 9651 | 60 | 43
1074.46/1074.83 c 1007s | 25 | 9711536 | 7300398 | 1753 9666 | 60 | 43
1076.45/1076.84 c 1009s | 25 | 9728031 | 7313598 | 1753 9680 | 60 | 43
1078.45/1078.85 c 1011s | 25 | 9747797 | 7327198 | 1753 9694 | 60 | 43
1080.45/1080.86 c 1013s | 25 | 9766496 | 7341398 | 1753 9709 | 60 | 43
1082.45/1082.87 c 1015s | 25 | 9783766 | 7354898 | 1753 9724 | 60 | 43
1084.45/1084.87 c 1017s | 25 | 9801047 | 7367598 | 1753 9737 | 60 | 43
1086.45/1086.88 c 1019s | 25 | 9817814 | 7380198 | 1753 9750 | 60 | 43
1088.45/1088.88 c 1021s | 25 | 9833650 | 7393298 | 1753 9764 | 60 | 43
1090.45/1090.88 c 1023s | 25 | 9851398 | 7407298 | 1753 9779 | 60 | 43
1092.54/1092.90 c 1025s | 25 | 9868335 | 7420698 | 1753 9794 | 60 | 43
1094.54/1094.91 c 1027s | 25 | 9884443 | 7433998 | 1753 9808 | 60 | 43
1096.54/1096.91 c 1029s | 25 | 9901497 | 7448298 | 1753 9823 | 60 | 43
1098.55/1098.91 c 1031s | 25 | 9918453 | 7461998 | 1753 9837 | 60 | 43
1100.54/1100.91 c 1033s | 25 | 9933779 | 7474998 | 1753 9851 | 60 | 43
1102.54/1102.92 c 1035s | 25 | 9949278 | 7488098 | 1753 9865 | 60 | 43
1104.54/1104.92 c 1037s | 25 | 9967524 | 7502198 | 1753 9880 | 60 | 43
1106.54/1106.92 c 1039s | 25 | 9984488 | 7515898 | 1753 9895 | 60 | 43
1108.56/1108.94 c 1041s | 25 | 9999932 | 7528898 | 1753 9908 | 60 | 43
1110.55/1110.95 c 1043s | 25 | 10015622 | 7541898 | 1753 9922 | 60 | 43
1112.55/1112.95 c 1045s | 25 | 10033157 | 7555698 | 1753 9937 | 60 | 43
1114.55/1114.96 c 1047s | 25 | 10050091 | 7569798 | 1753 9952 | 60 | 43
1116.55/1116.97 c 1049s | 25 | 10066563 | 7583598 | 1753 9967 | 60 | 43
1118.55/1118.98 c 1051s | 25 | 10084682 | 7596998 | 1753 9981 | 60 | 43
1118.65/1119.09 c 1051s | 26 | 10085939 | 7597752 | 1753 9982 | 60 | 43
1120.75/1121.10 c 1053s | 26 | 10106156 | 7611952 | 1753 9997 | 60 | 43
1122.76/1123.11 c 1055s | 26 | 10125569 | 7625952 | 1753 10012 | 60 | 43
1124.75/1125.11 c 1057s | 26 | 10143513 | 7639752 | 1753 10026 | 60 | 43
1126.75/1127.12 c 1059s | 26 | 10161818 | 7653252 | 1753 10041 | 60 | 43
1128.75/1129.15 c 1061s | 26 | 10179559 | 7666252 | 1753 10055 | 60 | 43
1130.75/1131.16 c 1063s | 26 | 10198412 | 7680452 | 1753 10070 | 60 | 43
1132.75/1133.16 c 1065s | 26 | 10215404 | 7693752 | 1753 10084 | 60 | 43
1134.74/1135.18 c 1067s | 26 | 10230119 | 7706152 | 1753 10097 | 60 | 43
1136.74/1137.19 c 1069s | 26 | 10248331 | 7720252 | 1753 10112 | 60 | 43
1138.84/1139.20 c 1071s | 26 | 10265091 | 7734152 | 1753 10127 | 60 | 43
1140.84/1141.21 c 1073s | 26 | 10281657 | 7747452 | 1753 10141 | 60 | 43
1142.84/1143.22 c 1075s | 26 | 10299260 | 7760952 | 1753 10155 | 60 | 43
1144.85/1145.22 c 1077s | 26 | 10317679 | 7774152 | 1753 10169 | 60 | 43
1146.84/1147.24 c 1079s | 26 | 10334602 | 7786552 | 1753 10182 | 60 | 43
1148.84/1149.24 c 1081s | 26 | 10351165 | 7798852 | 1753 10196 | 60 | 43
1150.84/1151.25 c 1083s | 26 | 10368917 | 7811952 | 1753 10209 | 60 | 43
1152.84/1153.25 c 1085s | 26 | 10385922 | 7824952 | 1753 10223 | 60 | 43
1154.84/1155.25 c 1087s | 26 | 10403938 | 7838052 | 1753 10237 | 60 | 43
1156.84/1157.26 c 1089s | 26 | 10421772 | 7851752 | 1753 10252 | 60 | 43
1158.83/1159.26 c 1091s | 26 | 10438677 | 7865052 | 1753 10266 | 60 | 43
1160.83/1161.28 c 1093s | 26 | 10455879 | 7877652 | 1753 10279 | 60 | 43
1162.84/1163.28 c 1095s | 26 | 10472820 | 7890152 | 1753 10293 | 60 | 43
1164.84/1165.29 c 1097s | 26 | 10488962 | 7902052 | 1753 10305 | 60 | 43
1166.85/1167.30 c 1099s | 26 | 10507034 | 7915652 | 1753 10320 | 60 | 43
1168.84/1169.30 c 1101s | 26 | 10525129 | 7928752 | 1753 10334 | 60 | 43
1170.94/1171.30 c 1103s | 26 | 10543338 | 7942352 | 1753 10348 | 60 | 43
1172.94/1173.30 c 1105s | 26 | 10561037 | 7955352 | 1753 10362 | 60 | 43
1174.94/1175.30 c 1107s | 26 | 10578513 | 7968152 | 1753 10376 | 60 | 43
1176.94/1177.32 c 1109s | 26 | 10597740 | 7982152 | 1753 10391 | 60 | 43
1178.94/1179.32 c 1111s | 26 | 10616428 | 7995852 | 1753 10405 | 60 | 43
1180.94/1181.34 c 1113s | 26 | 10634648 | 8009652 | 1753 10420 | 60 | 43
1182.94/1183.34 c 1115s | 26 | 10652896 | 8023252 | 1753 10434 | 60 | 43
1184.93/1185.36 c 1117s | 26 | 10667235 | 8035552 | 1753 10447 | 60 | 43
1186.93/1187.37 c 1119s | 26 | 10685204 | 8048952 | 1753 10462 | 60 | 43
1188.93/1189.38 c 1121s | 26 | 10702552 | 8062152 | 1753 10476 | 60 | 43
1190.94/1191.40 c 1123s | 26 | 10719133 | 8074852 | 1753 10489 | 60 | 43
1193.03/1193.40 c 1126s | 26 | 10734148 | 8087252 | 1753 10502 | 60 | 43
1195.03/1195.40 c 1128s | 26 | 10749903 | 8100152 | 1753 10516 | 60 | 43
1197.03/1197.41 c 1130s | 26 | 10767627 | 8113852 | 1753 10531 | 60 | 43
1199.03/1199.42 c 1132s | 26 | 10783769 | 8126752 | 1753 10544 | 60 | 43
1201.03/1201.43 c 1134s | 26 | 10800128 | 8139252 | 1753 10558 | 60 | 43
1203.04/1203.45 c 1136s | 26 | 10814799 | 8150952 | 1753 10570 | 60 | 43
1205.03/1205.45 c 1138s | 26 | 10834918 | 8164452 | 1753 10584 | 60 | 43
1207.03/1207.46 c 1140s | 26 | 10852373 | 8176952 | 1753 10598 | 60 | 43
1209.04/1209.46 c 1142s | 26 | 10868184 | 8188652 | 1753 10610 | 60 | 43
1211.04/1211.47 c 1144s | 26 | 10883512 | 8200252 | 1753 10623 | 60 | 43
1213.04/1213.48 c 1146s | 26 | 10899292 | 8212652 | 1753 10636 | 60 | 43
1215.04/1215.49 c 1148s | 26 | 10914035 | 8224252 | 1753 10648 | 60 | 43
1217.03/1217.49 c 1150s | 26 | 10930544 | 8235752 | 1753 10660 | 60 | 43
1219.13/1219.51 c 1152s | 26 | 10947781 | 8248052 | 1753 10674 | 60 | 43
1221.13/1221.51 c 1154s | 26 | 10964042 | 8260752 | 1753 10687 | 60 | 43
1223.13/1223.53 c 1156s | 26 | 10982040 | 8274352 | 1753 10702 | 60 | 43
1225.14/1225.53 c 1158s | 26 | 10999863 | 8286952 | 1753 10715 | 60 | 43
1227.13/1227.54 c 1160s | 26 | 11019051 | 8300452 | 1753 10729 | 60 | 43
1229.13/1229.55 c 1162s | 26 | 11036191 | 8313452 | 1753 10743 | 60 | 43
1231.13/1231.55 c 1164s | 26 | 11053525 | 8326652 | 1753 10757 | 60 | 43
1233.13/1233.56 c 1166s | 26 | 11069514 | 8339352 | 1753 10771 | 60 | 43
1235.13/1235.56 c 1168s | 26 | 11086883 | 8351352 | 1753 10784 | 60 | 43
1237.13/1237.57 c 1170s | 26 | 11104237 | 8364252 | 1753 10797 | 60 | 43
1239.12/1239.58 c 1172s | 26 | 11120578 | 8377252 | 1753 10811 | 60 | 43
1241.22/1241.60 c 1174s | 26 | 11137255 | 8390652 | 1753 10826 | 60 | 43
1243.22/1243.60 c 1176s | 26 | 11153816 | 8403752 | 1753 10840 | 60 | 43
1245.22/1245.61 c 1178s | 26 | 11168463 | 8415852 | 1753 10852 | 60 | 43
1247.22/1247.63 c 1180s | 26 | 11185156 | 8428752 | 1753 10866 | 60 | 43
1249.23/1249.64 c 1182s | 26 | 11203349 | 8442252 | 1753 10881 | 60 | 43
1251.22/1251.65 c 1184s | 26 | 11222367 | 8455752 | 1753 10895 | 60 | 43
1253.23/1253.65 c 1186s | 26 | 11241713 | 8468852 | 1753 10909 | 60 | 43
1255.23/1255.65 c 1188s | 26 | 11258056 | 8481452 | 1753 10922 | 60 | 43
1257.23/1257.65 c 1190s | 26 | 11274337 | 8493752 | 1753 10935 | 60 | 43
1259.23/1259.67 c 1192s | 26 | 11289051 | 8506152 | 1753 10949 | 60 | 43
1261.23/1261.67 c 1194s | 26 | 11306383 | 8518552 | 1753 10962 | 60 | 43
1263.23/1263.69 c 1196s | 26 | 11322160 | 8530452 | 1753 10974 | 60 | 43
1265.23/1265.69 c 1198s | 26 | 11338474 | 8542752 | 1753 10988 | 60 | 43
1267.33/1267.70 c 1200s | 26 | 11354186 | 8554752 | 1753 11000 | 60 | 43
1269.33/1269.71 c 1202s | 26 | 11371160 | 8567652 | 1753 11014 | 60 | 43
1271.33/1271.72 c 1204s | 26 | 11392251 | 8582152 | 1753 11029 | 60 | 43
1273.32/1273.73 c 1206s | 26 | 11412231 | 8596352 | 1753 11045 | 60 | 43
1275.32/1275.74 c 1208s | 26 | 11430683 | 8610552 | 1753 11060 | 60 | 43
1277.32/1277.75 c 1210s | 26 | 11449068 | 8624052 | 1753 11074 | 60 | 43
1279.32/1279.75 c 1212s | 26 | 11466313 | 8637852 | 1753 11089 | 60 | 43
1281.32/1281.77 c 1214s | 26 | 11484514 | 8651252 | 1753 11103 | 60 | 43
1283.33/1283.77 c 1216s | 26 | 11502015 | 8664452 | 1753 11117 | 60 | 43
1285.32/1285.79 c 1218s | 26 | 11518068 | 8677252 | 1753 11131 | 60 | 43
1287.32/1287.80 c 1220s | 26 | 11535315 | 8691052 | 1753 11145 | 60 | 43
1289.42/1289.81 c 1222s | 26 | 11553108 | 8705152 | 1753 11160 | 60 | 43
1291.42/1291.82 c 1224s | 26 | 11570329 | 8718752 | 1753 11175 | 60 | 43
1293.42/1293.83 c 1226s | 26 | 11585860 | 8731352 | 1753 11188 | 60 | 43
1295.42/1295.85 c 1228s | 26 | 11601579 | 8743952 | 1753 11202 | 60 | 43
1297.42/1297.86 c 1230s | 26 | 11618952 | 8757752 | 1753 11216 | 60 | 43
1299.42/1299.87 c 1232s | 26 | 11635004 | 8770952 | 1753 11230 | 60 | 43
1301.41/1301.88 c 1234s | 26 | 11652332 | 8784752 | 1753 11245 | 60 | 43
1303.41/1303.88 c 1236s | 26 | 11668060 | 8797652 | 1753 11259 | 60 | 43
1305.42/1305.89 c 1238s | 26 | 11682556 | 8809852 | 1753 11271 | 60 | 43
1307.53/1307.90 c 1240s | 26 | 11698175 | 8823152 | 1753 11286 | 60 | 43
1309.52/1309.91 c 1242s | 26 | 11713469 | 8835652 | 1753 11299 | 60 | 43
1311.52/1311.92 c 1244s | 26 | 11728313 | 8847652 | 1753 11312 | 60 | 43
1313.52/1313.92 c 1246s | 26 | 11744653 | 8859552 | 1753 11324 | 60 | 43
1315.52/1315.94 c 1248s | 26 | 11760316 | 8871452 | 1753 11337 | 60 | 43
1317.53/1317.95 c 1250s | 26 | 11778243 | 8883852 | 1753 11350 | 60 | 43
1319.52/1319.97 c 1252s | 26 | 11794236 | 8897352 | 1753 11365 | 60 | 43
1321.52/1321.98 c 1254s | 26 | 11809894 | 8909852 | 1753 11378 | 60 | 43
1323.52/1323.98 c 1256s | 26 | 11824510 | 8921252 | 1753 11390 | 60 | 43
1325.51/1325.99 c 1258s | 26 | 11840457 | 8933152 | 1753 11403 | 60 | 43
1327.61/1328.00 c 1260s | 26 | 11857335 | 8944652 | 1753 11415 | 60 | 43
1329.62/1330.01 c 1262s | 26 | 11873417 | 8956552 | 1753 11428 | 60 | 43
1331.61/1332.02 c 1264s | 26 | 11888400 | 8968352 | 1753 11440 | 60 | 43
1333.61/1334.04 c 1266s | 26 | 11906137 | 8980952 | 1753 11454 | 60 | 43
1335.61/1336.06 c 1268s | 26 | 11926887 | 8995352 | 1753 11469 | 60 | 43
1337.61/1338.07 c 1270s | 26 | 11946802 | 9009252 | 1753 11484 | 60 | 43
1339.61/1340.08 c 1272s | 26 | 11966937 | 9022552 | 1753 11498 | 60 | 43
1341.62/1342.09 c 1274s | 26 | 11986881 | 9035752 | 1753 11512 | 60 | 43
1343.61/1344.09 c 1276s | 26 | 12007582 | 9049452 | 1753 11526 | 60 | 43
1345.61/1346.09 c 1278s | 26 | 12027278 | 9062852 | 1753 11541 | 60 | 43
1347.71/1348.10 c 1280s | 26 | 12046059 | 9075552 | 1753 11554 | 60 | 43
1349.71/1350.10 c 1282s | 26 | 12065112 | 9088552 | 1753 11568 | 60 | 43
1351.71/1352.10 c 1284s | 26 | 12081813 | 9100852 | 1753 11581 | 60 | 43
1353.72/1354.12 c 1286s | 26 | 12100085 | 9113352 | 1753 11595 | 60 | 43
1355.71/1356.12 c 1288s | 26 | 12117953 | 9126652 | 1753 11609 | 60 | 43
1357.71/1358.12 c 1290s | 26 | 12133657 | 9139352 | 1753 11622 | 60 | 43
1359.71/1360.13 c 1292s | 26 | 12150059 | 9152152 | 1753 11636 | 60 | 43
1361.70/1362.13 c 1294s | 26 | 12166478 | 9164652 | 1753 11649 | 60 | 43
1363.71/1364.15 c 1296s | 26 | 12182667 | 9177152 | 1753 11662 | 60 | 43
1365.70/1366.16 c 1298s | 26 | 12199530 | 9189952 | 1753 11676 | 60 | 43
1367.70/1368.17 c 1300s | 26 | 12217417 | 9202852 | 1753 11690 | 60 | 43
1369.70/1370.17 c 1302s | 26 | 12235410 | 9215552 | 1753 11703 | 60 | 43
1371.70/1372.18 c 1304s | 26 | 12253521 | 9228152 | 1753 11717 | 60 | 43
1373.71/1374.19 c 1306s | 26 | 12274032 | 9240952 | 1753 11730 | 60 | 43
1375.72/1376.19 c 1308s | 26 | 12293851 | 9253952 | 1753 11744 | 60 | 43
1377.81/1378.20 c 1310s | 26 | 12312013 | 9266352 | 1753 11757 | 60 | 43
1379.81/1380.22 c 1312s | 26 | 12329158 | 9278852 | 1753 11771 | 60 | 43
1381.81/1382.23 c 1314s | 26 | 12346645 | 9290852 | 1753 11784 | 60 | 43
1383.81/1384.24 c 1316s | 26 | 12363276 | 9303152 | 1753 11797 | 60 | 43
1385.81/1386.24 c 1318s | 26 | 12381282 | 9315352 | 1753 11810 | 60 | 43
1387.82/1388.26 c 1320s | 26 | 12399697 | 9328352 | 1753 11824 | 60 | 43
1389.81/1390.27 c 1322s | 26 | 12417324 | 9340852 | 1753 11837 | 60 | 43
1391.81/1392.28 c 1324s | 26 | 12434866 | 9352852 | 1753 11850 | 60 | 43
1393.81/1394.28 c 1326s | 26 | 12453970 | 9364952 | 1753 11863 | 60 | 43
1395.81/1396.29 c 1328s | 26 | 12469265 | 9377152 | 1753 11876 | 60 | 43
1397.81/1398.29 c 1330s | 26 | 12484915 | 9388852 | 1753 11888 | 60 | 43
1399.81/1400.30 c 1332s | 26 | 12501234 | 9400452 | 1753 11900 | 60 | 43
1401.91/1402.31 c 1334s | 26 | 12519149 | 9412652 | 1753 11913 | 60 | 43
1403.90/1404.32 c 1336s | 26 | 12537656 | 9424852 | 1753 11926 | 60 | 43
1405.90/1406.33 c 1338s | 26 | 12556801 | 9437552 | 1753 11940 | 60 | 43
1407.90/1408.34 c 1340s | 26 | 12573700 | 9449552 | 1753 11953 | 60 | 43
1409.91/1410.35 c 1342s | 26 | 12591073 | 9461552 | 1753 11966 | 60 | 43
1411.90/1412.35 c 1344s | 26 | 12607921 | 9474452 | 1753 11979 | 60 | 43
1413.90/1414.36 c 1346s | 26 | 12623423 | 9487052 | 1753 11993 | 60 | 43
1415.90/1416.37 c 1348s | 26 | 12640360 | 9499452 | 1753 12006 | 60 | 43
1417.90/1418.38 c 1350s | 26 | 12658374 | 9512352 | 1753 12020 | 60 | 43
1419.90/1420.39 c 1352s | 26 | 12676159 | 9525052 | 1753 12033 | 60 | 43
1422.01/1422.41 c 1355s | 26 | 12692631 | 9536852 | 1753 12046 | 60 | 43
1424.00/1424.42 c 1357s | 26 | 12708307 | 9548752 | 1753 12059 | 60 | 43
1426.00/1426.44 c 1359s | 26 | 12726812 | 9561352 | 1753 12072 | 60 | 43
1428.00/1428.44 c 1361s | 26 | 12744065 | 9572852 | 1753 12084 | 60 | 43
1430.00/1430.45 c 1363s | 26 | 12763234 | 9585252 | 1753 12097 | 60 | 43
1432.00/1432.45 c 1365s | 26 | 12781131 | 9597352 | 1753 12110 | 60 | 43
1434.00/1434.46 c 1367s | 26 | 12799283 | 9609652 | 1753 12123 | 60 | 43
1435.99/1436.47 c 1369s | 26 | 12815341 | 9621652 | 1753 12136 | 60 | 43
1437.99/1438.47 c 1371s | 26 | 12834141 | 9634552 | 1753 12150 | 60 | 43
1439.99/1440.47 c 1373s | 26 | 12852635 | 9647152 | 1753 12163 | 60 | 43
1441.99/1442.47 c 1375s | 26 | 12872258 | 9659552 | 1753 12177 | 60 | 43
1444.00/1444.48 c 1377s | 26 | 12890377 | 9671552 | 1753 12189 | 60 | 43
1445.99/1446.49 c 1379s | 26 | 12905954 | 9683952 | 1753 12202 | 60 | 43
1448.09/1448.50 c 1381s | 26 | 12923773 | 9698052 | 1753 12217 | 60 | 43
1450.09/1450.50 c 1383s | 26 | 12941511 | 9711452 | 1753 12232 | 60 | 43
1452.09/1452.50 c 1385s | 26 | 12959801 | 9724652 | 1753 12246 | 60 | 43
1454.09/1454.51 c 1387s | 26 | 12978340 | 9737852 | 1753 12260 | 60 | 43
1456.10/1456.52 c 1389s | 26 | 12999586 | 9751152 | 1753 12274 | 60 | 43
1458.09/1458.52 c 1391s | 26 | 13019459 | 9764252 | 1753 12288 | 60 | 43
1460.09/1460.53 c 1393s | 26 | 13037077 | 9777852 | 1753 12302 | 60 | 43
1462.10/1462.54 c 1395s | 26 | 13056132 | 9790752 | 1753 12316 | 60 | 43
1464.10/1464.55 c 1397s | 26 | 13075829 | 9804252 | 1753 12331 | 60 | 43
1466.10/1466.55 c 1399s | 26 | 13094334 | 9817752 | 1753 12345 | 60 | 43
1468.10/1468.56 c 1401s | 26 | 13112281 | 9830452 | 1753 12358 | 60 | 43
1470.10/1470.57 c 1403s | 26 | 13130989 | 9842752 | 1753 12372 | 60 | 43
1472.10/1472.57 c 1405s | 26 | 13151467 | 9855252 | 1753 12385 | 60 | 43
1474.09/1474.58 c 1407s | 26 | 13169536 | 9867652 | 1753 12398 | 60 | 43
1476.09/1476.58 c 1409s | 26 | 13186875 | 9880852 | 1753 12412 | 60 | 43
1478.10/1478.59 c 1411s | 26 | 13201578 | 9893452 | 1753 12426 | 60 | 43
1480.09/1480.60 c 1413s | 26 | 13216293 | 9905452 | 1753 12438 | 60 | 43
1482.19/1482.61 c 1415s | 26 | 13233479 | 9918152 | 1753 12452 | 60 | 43
1484.19/1484.61 c 1417s | 26 | 13250999 | 9930452 | 1753 12465 | 60 | 43
1486.19/1486.62 c 1419s | 26 | 13268079 | 9942852 | 1753 12478 | 60 | 43
1488.19/1488.63 c 1421s | 26 | 13283544 | 9954552 | 1753 12491 | 60 | 43
1490.19/1490.63 c 1423s | 26 | 13301077 | 9967252 | 1753 12504 | 60 | 43
1492.19/1492.64 c 1425s | 26 | 13317100 | 9979252 | 1753 12517 | 60 | 43
1494.18/1494.65 c 1427s | 26 | 13331189 | 9990952 | 1753 12530 | 60 | 43
1496.18/1496.65 c 1429s | 26 | 13346252 | 10002552 | 1753 12542 | 60 | 43
1498.18/1498.66 c 1431s | 26 | 13360591 | 10013852 | 1753 12554 | 60 | 43
1500.18/1500.67 c 1433s | 26 | 13375257 | 10025252 | 1753 12566 | 60 | 43
1502.19/1502.68 c 1435s | 26 | 13389823 | 10036452 | 1753 12578 | 60 | 43
1504.18/1504.68 c 1437s | 26 | 13403245 | 10046952 | 1753 12589 | 60 | 43
1506.18/1506.69 c 1439s | 26 | 13421336 | 10058552 | 1753 12602 | 60 | 43
1508.28/1508.70 c 1441s | 26 | 13438261 | 10070152 | 1753 12614 | 60 | 43
1510.28/1510.70 c 1443s | 26 | 13454173 | 10081452 | 1753 12626 | 60 | 43
1512.28/1512.71 c 1445s | 26 | 13468404 | 10092652 | 1753 12638 | 60 | 43
1514.29/1514.72 c 1447s | 26 | 13483141 | 10103852 | 1753 12650 | 60 | 43
1516.28/1516.73 c 1449s | 26 | 13498131 | 10114752 | 1753 12662 | 60 | 43
1518.29/1518.75 c 1451s | 26 | 13515245 | 10126652 | 1753 12674 | 60 | 43
1520.29/1520.75 c 1453s | 26 | 13530152 | 10137652 | 1753 12686 | 60 | 43
1522.29/1522.76 c 1455s | 26 | 13545907 | 10150352 | 1753 12700 | 60 | 43
1524.29/1524.78 c 1457s | 26 | 13561034 | 10162352 | 1753 12712 | 60 | 43
1526.29/1526.78 c 1459s | 26 | 13575272 | 10173652 | 1753 12724 | 60 | 43
1528.29/1528.79 c 1461s | 26 | 13590452 | 10185552 | 1753 12737 | 60 | 43
1530.28/1530.79 c 1463s | 26 | 13604608 | 10196652 | 1753 12749 | 60 | 43
1532.38/1532.81 c 1465s | 26 | 13618126 | 10207852 | 1753 12761 | 60 | 43
1534.38/1534.81 c 1467s | 26 | 13633251 | 10218752 | 1753 12773 | 60 | 43
1536.39/1536.82 c 1469s | 26 | 13647712 | 10229552 | 1753 12784 | 60 | 43
1538.38/1538.83 c 1471s | 26 | 13664508 | 10242252 | 1753 12798 | 60 | 43
1540.38/1540.84 c 1473s | 26 | 13682161 | 10254252 | 1753 12811 | 60 | 43
1542.38/1542.84 c 1475s | 26 | 13701392 | 10267552 | 1753 12825 | 60 | 43
1544.38/1544.85 c 1477s | 26 | 13720116 | 10280852 | 1753 12839 | 60 | 43
1546.38/1546.87 c 1479s | 26 | 13736708 | 10293552 | 1753 12852 | 60 | 43
1548.38/1548.88 c 1481s | 26 | 13752221 | 10305352 | 1753 12865 | 60 | 43
1550.38/1550.89 c 1483s | 26 | 13768454 | 10317452 | 1753 12878 | 60 | 43
1552.48/1552.91 c 1485s | 26 | 13784550 | 10329952 | 1753 12891 | 60 | 43
1554.48/1554.91 c 1487s | 26 | 13800952 | 10341552 | 1753 12904 | 60 | 43
1556.48/1556.92 c 1489s | 26 | 13817158 | 10353152 | 1753 12916 | 60 | 43
1558.48/1558.93 c 1491s | 26 | 13833434 | 10364452 | 1753 12928 | 60 | 43
1560.48/1560.93 c 1493s | 26 | 13848706 | 10375152 | 1753 12940 | 60 | 43
1562.48/1562.94 c 1495s | 26 | 13864033 | 10386952 | 1753 12952 | 60 | 43
1564.48/1564.94 c 1497s | 26 | 13879462 | 10398752 | 1753 12965 | 60 | 43
1566.47/1566.96 c 1499s | 26 | 13893880 | 10410352 | 1753 12977 | 60 | 43
1568.47/1568.96 c 1501s | 26 | 13909118 | 10421652 | 1753 12989 | 60 | 43
1570.48/1570.97 c 1503s | 26 | 13924027 | 10433552 | 1753 13002 | 60 | 43
1572.47/1572.97 c 1505s | 26 | 13938804 | 10445452 | 1753 13015 | 60 | 43
1574.47/1574.99 c 1507s | 26 | 13953615 | 10456752 | 1753 13027 | 60 | 43
1576.57/1577.01 c 1509s | 26 | 13967327 | 10467952 | 1753 13039 | 60 | 43
1578.58/1579.04 c 1511s | 26 | 13980918 | 10479152 | 1753 13051 | 60 | 43
1580.58/1581.04 c 1513s | 26 | 13994686 | 10489752 | 1753 13062 | 60 | 43
1582.58/1583.04 c 1515s | 26 | 14010674 | 10500952 | 1753 13074 | 60 | 43
1584.58/1585.04 c 1517s | 26 | 14026046 | 10511552 | 1753 13085 | 60 | 43
1586.58/1587.05 c 1519s | 26 | 14043293 | 10523052 | 1753 13097 | 60 | 43
1588.58/1589.06 c 1521s | 26 | 14059204 | 10534552 | 1753 13110 | 60 | 43
1590.58/1591.07 c 1523s | 26 | 14074377 | 10545752 | 1753 13121 | 60 | 43
1592.57/1593.08 c 1525s | 26 | 14087599 | 10556452 | 1753 13133 | 60 | 43
1594.58/1595.09 c 1527s | 26 | 14102069 | 10567252 | 1753 13144 | 60 | 43
1596.67/1597.11 c 1529s | 26 | 14115091 | 10577852 | 1753 13156 | 60 | 43
1598.67/1599.12 c 1531s | 26 | 14128454 | 10588452 | 1753 13167 | 60 | 43
1600.67/1601.13 c 1533s | 26 | 14148401 | 10602752 | 1753 13182 | 60 | 43
1602.67/1603.14 c 1535s | 26 | 14167662 | 10616752 | 1753 13197 | 60 | 43
1604.67/1605.15 c 1537s | 26 | 14186244 | 10630452 | 1753 13212 | 60 | 43
1606.68/1607.15 c 1539s | 26 | 14202295 | 10643552 | 1753 13226 | 60 | 43
1608.67/1609.16 c 1541s | 26 | 14220418 | 10656952 | 1753 13240 | 60 | 43
1610.67/1611.18 c 1543s | 26 | 14240070 | 10670752 | 1753 13255 | 60 | 43
1612.67/1613.18 c 1545s | 26 | 14256965 | 10683552 | 1753 13268 | 60 | 43
1614.67/1615.19 c 1547s | 26 | 14273059 | 10696152 | 1753 13282 | 60 | 43
1616.77/1617.20 c 1549s | 26 | 14289004 | 10708352 | 1753 13295 | 60 | 43
1618.77/1619.21 c 1551s | 26 | 14305705 | 10721352 | 1753 13308 | 60 | 43
1620.77/1621.21 c 1553s | 26 | 14323608 | 10734652 | 1929 13321 | 60 | 43
1622.76/1623.22 c 1555s | 26 | 14340250 | 10747352 | 1929 13334 | 60 | 43
1624.76/1625.23 c 1557s | 26 | 14357627 | 10760652 | 1929 13347 | 60 | 43
1626.77/1627.23 c 1559s | 26 | 14374059 | 10773252 | 1929 13359 | 60 | 43
1628.78/1629.24 c 1561s | 26 | 14391366 | 10786752 | 1929 13372 | 60 | 43
1630.77/1631.25 c 1563s | 26 | 14408479 | 10800452 | 1929 13385 | 60 | 43
1632.77/1633.26 c 1565s | 26 | 14423465 | 10812952 | 1929 13398 | 60 | 43
1634.77/1635.28 c 1567s | 26 | 14441112 | 10826052 | 1929 13410 | 60 | 43
1636.77/1637.29 c 1569s | 26 | 14459092 | 10839552 | 1929 13423 | 60 | 43
1638.87/1639.30 c 1571s | 26 | 14476195 | 10852652 | 1929 13436 | 60 | 43
1640.78/1641.30 c 1573s | 26 | 14491929 | 10865152 | 1929 13448 | 60 | 43
1642.87/1643.31 c 1575s | 26 | 14506307 | 10876952 | 1929 13460 | 60 | 43
1644.87/1645.31 c 1577s | 26 | 14522769 | 10889552 | 1929 13472 | 60 | 43
1646.87/1647.32 c 1579s | 26 | 14539635 | 10902552 | 1929 13485 | 60 | 43
1648.87/1649.33 c 1581s | 26 | 14555362 | 10914652 | 1929 13497 | 60 | 43
1650.87/1651.34 c 1583s | 26 | 14570164 | 10927052 | 1929 13509 | 60 | 43
1652.87/1653.35 c 1585s | 26 | 14585503 | 10939552 | 1929 13521 | 60 | 43
1654.87/1655.35 c 1587s | 26 | 14600586 | 10951452 | 1929 13532 | 60 | 43
1656.87/1657.36 c 1589s | 26 | 14616668 | 10963752 | 1929 13544 | 60 | 43
1658.86/1659.37 c 1591s | 26 | 14631309 | 10975752 | 1929 13556 | 60 | 43
1660.86/1661.37 c 1593s | 26 | 14646062 | 10987752 | 1929 13568 | 60 | 43
1662.87/1663.38 c 1595s | 26 | 14661489 | 11000252 | 1929 13580 | 60 | 43
1664.86/1665.38 c 1597s | 26 | 14678384 | 11013652 | 1929 13593 | 60 | 43
1666.86/1667.39 c 1599s | 26 | 14695226 | 11027152 | 1929 13606 | 60 | 43
1668.86/1669.39 c 1601s | 26 | 14711791 | 11040652 | 1929 13619 | 60 | 43
1670.86/1671.39 c 1603s | 26 | 14727388 | 11053352 | 1929 13632 | 60 | 43
1672.96/1673.41 c 1606s | 26 | 14744761 | 11066652 | 1929 13644 | 60 | 43
1674.97/1675.41 c 1608s | 26 | 14760872 | 11079552 | 1929 13657 | 60 | 43
1676.96/1677.42 c 1610s | 26 | 14774825 | 11091352 | 1929 13668 | 60 | 43
1678.96/1679.43 c 1612s | 26 | 14790380 | 11104152 | 1929 13681 | 60 | 43
1680.96/1681.44 c 1614s | 26 | 14806496 | 11117152 | 1929 13694 | 60 | 43
1682.96/1683.45 c 1616s | 26 | 14821450 | 11129252 | 1929 13705 | 60 | 43
1684.96/1685.46 c 1618s | 26 | 14837466 | 11142352 | 1929 13718 | 60 | 43
1686.96/1687.47 c 1620s | 26 | 14852650 | 11154952 | 1929 13730 | 60 | 43
1688.96/1689.49 c 1622s | 26 | 14867084 | 11167452 | 1929 13742 | 60 | 43
1691.06/1691.50 c 1624s | 26 | 14882643 | 11179752 | 1929 13754 | 60 | 43
1693.05/1693.51 c 1626s | 26 | 14898289 | 11192052 | 1929 13766 | 60 | 43
1695.05/1695.52 c 1628s | 26 | 14913003 | 11203952 | 1929 13778 | 60 | 43
1697.05/1697.52 c 1630s | 26 | 14929008 | 11216952 | 1929 13791 | 60 | 43
1699.06/1699.52 c 1632s | 26 | 14943968 | 11229352 | 1929 13803 | 60 | 43
1701.05/1701.52 c 1634s | 26 | 14958412 | 11241152 | 1929 13814 | 60 | 43
1703.06/1703.53 c 1636s | 26 | 14973516 | 11253652 | 1929 13826 | 60 | 43
1705.06/1705.54 c 1638s | 26 | 14988679 | 11266052 | 1929 13838 | 60 | 43
1707.06/1707.56 c 1640s | 26 | 15003549 | 11278152 | 1929 13850 | 60 | 43
1709.07/1709.57 c 1642s | 26 | 15017824 | 11289852 | 1929 13862 | 60 | 43
1711.06/1711.57 c 1644s | 26 | 15031983 | 11301652 | 1929 13873 | 60 | 43
1713.06/1713.57 c 1646s | 26 | 15045653 | 11313052 | 1929 13884 | 60 | 43
1715.06/1715.58 c 1648s | 26 | 15059274 | 11324352 | 1929 13895 | 60 | 43
1717.06/1717.58 c 1650s | 26 | 15074081 | 11335952 | 1929 13907 | 60 | 43
1719.06/1719.58 c 1652s | 26 | 15088369 | 11347352 | 1929 13918 | 60 | 43
1721.06/1721.58 c 1654s | 26 | 15102196 | 11358652 | 1929 13929 | 60 | 43
1723.05/1723.59 c 1656s | 26 | 15116866 | 11370052 | 1929 13940 | 60 | 43
1725.05/1725.59 c 1658s | 26 | 15133220 | 11382352 | 1929 13952 | 60 | 43
1727.15/1727.60 c 1660s | 26 | 15148604 | 11394152 | 1929 13963 | 60 | 43
1727.45/1727.99 c 1660s | 27 | 15151968 | 11396733 | 1929 13966 | 60 | 43
1729.55/1730.00 c 1662s | 27 | 15169612 | 11410533 | 1929 13979 | 60 | 43
1731.55/1732.01 c 1664s | 27 | 15185566 | 11423533 | 1929 13992 | 60 | 43
1733.55/1734.01 c 1666s | 27 | 15200137 | 11435633 | 1929 14004 | 60 | 43
1735.55/1736.02 c 1668s | 27 | 15217119 | 11449133 | 1929 14017 | 60 | 43
1737.56/1738.02 c 1670s | 27 | 15234869 | 11462233 | 1929 14030 | 60 | 43
1739.55/1740.02 c 1672s | 27 | 15253174 | 11476333 | 1929 14043 | 60 | 43
1741.55/1742.02 c 1674s | 27 | 15271146 | 11489533 | 1929 14056 | 60 | 43
1743.55/1744.04 c 1676s | 27 | 15288776 | 11503233 | 1929 14070 | 60 | 43
1745.55/1746.04 c 1678s | 27 | 15306240 | 11516533 | 1929 14083 | 60 | 43
1747.55/1748.05 c 1680s | 27 | 15322235 | 11529233 | 1929 14095 | 60 | 43
1749.55/1750.05 c 1682s | 27 | 15339438 | 11542133 | 1929 14108 | 60 | 43
1751.55/1752.07 c 1684s | 27 | 15355613 | 11554533 | 1929 14120 | 60 | 43
1753.55/1754.08 c 1686s | 27 | 15372929 | 11567233 | 1929 14132 | 60 | 43
1755.55/1756.08 c 1688s | 27 | 15390320 | 11580633 | 1929 14145 | 60 | 43
1757.64/1758.10 c 1690s | 27 | 15408487 | 11594433 | 1929 14158 | 60 | 43
1759.55/1760.10 c 1692s | 27 | 15426626 | 11607833 | 1929 14171 | 60 | 43
1761.65/1762.10 c 1694s | 27 | 15443584 | 11621133 | 1929 14184 | 60 | 43
1763.65/1764.12 c 1696s | 27 | 15459938 | 11634233 | 1929 14197 | 60 | 43
1765.65/1766.13 c 1698s | 27 | 15475821 | 11646833 | 1929 14210 | 60 | 43
1767.65/1768.14 c 1700s | 27 | 15493130 | 11659433 | 1929 14222 | 60 | 43
1769.65/1770.15 c 1702s | 27 | 15510596 | 11672533 | 1929 14235 | 60 | 43
1771.66/1772.16 c 1704s | 27 | 15527025 | 11685333 | 1929 14247 | 60 | 43
1773.65/1774.18 c 1706s | 27 | 15544685 | 11698133 | 1929 14260 | 60 | 43
1775.65/1776.18 c 1708s | 27 | 15562724 | 11711833 | 1929 14273 | 60 | 43
1777.65/1778.19 c 1710s | 27 | 15579821 | 11725333 | 1929 14286 | 60 | 43
1779.65/1780.19 c 1712s | 27 | 15597301 | 11738433 | 1929 14299 | 60 | 43
1781.75/1782.20 c 1714s | 27 | 15615570 | 11751533 | 1929 14312 | 60 | 43
1783.65/1784.20 c 1716s | 27 | 15630955 | 11763433 | 1929 14323 | 60 | 43
1785.75/1786.21 c 1718s | 27 | 15649653 | 11776233 | 1929 14336 | 60 | 43
1787.75/1788.22 c 1720s | 27 | 15666466 | 11789133 | 1929 14348 | 60 | 43
1789.75/1790.22 c 1722s | 27 | 15682347 | 11801633 | 1929 14360 | 60 | 43
1791.74/1792.23 c 1724s | 27 | 15698635 | 11814433 | 1929 14373 | 60 | 43
1793.75/1794.24 c 1726s | 27 | 15713843 | 11826933 | 1929 14385 | 60 | 43
1795.74/1796.25 c 1728s | 27 | 15728665 | 11839133 | 1929 14397 | 60 | 43
1797.74/1798.26 c 1730s | 27 | 15744871 | 11852533 | 1929 14410 | 60 | 43
1799.74/1800.26 c 1732s | 27 | 15760491 | 11865233 | 1929 14423 | 60 | 43
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-4117906-1467237730/watcher-4117906-1467237730 -o /tmp/evaluation-result-4117906-1467237730/solver-4117906-1467237730 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467234127-4633 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117906-1467237730.opb
pid=4949
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.06 2.10 2.09 3/172 4952
/proc/meminfo: memFree=30884780/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=713148 CPUtime=0 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 2654 0 0 0 0 0 0 0 20 0 4 0 2792893 730263552 3527 33554432000 4194304 16246674 140735726230752 140735726230176 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 178799 3536 441 2943 0 175693 0
[pid=4952/tid=4953] ppid=4949 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 748089344 3595 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 752283648 3610 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 755429376 3626 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100162 s]
/proc/loadavg: 2.06 2.10 2.09 3/172 4952
/proc/meminfo: memFree=30884780/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 26138 0 0 0 6 3 0 0 20 0 4 0 2792893 1247350784 26997 33554432000 4194304 16246674 140735726230752 140735726230176 5589389 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 304529 27009 760 2943 0 301423 0
[pid=4952/tid=4953] ppid=4949 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1247350784 27018 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1247350784 27028 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1247350784 27038 33554432000 4194304 16246674 140735726230752 139943389162672 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.200524 s]
/proc/loadavg: 2.06 2.10 2.09 3/172 4952
/proc/meminfo: memFree=30884780/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 49984 0 0 0 12 7 0 0 20 0 4 0 2792893 1247350784 50844 33554432000 4194304 16246674 140735726230752 140735726230176 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 304529 50854 786 2943 0 301423 0
[pid=4952/tid=4953] ppid=4949 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1247350784 50859 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1247350784 50865 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1247350784 50873 33554432000 4194304 16246674 140735726230752 139943389162672 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.300457 s]
/proc/loadavg: 2.06 2.10 2.09 3/172 4952
/proc/meminfo: memFree=30884780/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 69881 0 0 0 20 9 0 0 20 0 4 0 2792893 1247350784 70741 33554432000 4194304 16246674 140735726230752 140735726230176 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 304529 70747 786 2943 0 301423 0
[pid=4952/tid=4953] ppid=4949 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1247350784 70752 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1247350784 70760 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1247350784 70766 33554432000 4194304 16246674 140735726230752 139943389162672 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.700398 s]
/proc/loadavg: 2.06 2.10 2.09 3/172 4952
/proc/meminfo: memFree=30884780/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 149978 0 0 0 50 19 0 0 20 0 4 0 2792893 1247350784 150837 33554432000 4194304 16246674 140735726230752 140735726230176 5721708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 304529 150848 786 2943 0 301423 0
[pid=4952/tid=4953] ppid=4949 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1247350784 150852 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1247350784 150859 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1247350784 150867 33554432000 4194304 16246674 140735726230752 139943389162672 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.50037 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 4988
/proc/meminfo: memFree=29365104/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 245768 0 0 0 118 31 0 0 20 0 4 0 2792893 1248399360 246605 33554432000 4194304 16246674 140735726230752 140735726230064 13808403 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 304785 246605 847 2943 0 301679 0
[pid=4952/tid=4953] ppid=4949 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1248399360 246605 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1248399360 246605 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1248399360 246605 33554432000 4194304 16246674 140735726230752 139943389162672 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.1004 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 5037
/proc/meminfo: memFree=29491752/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 267466 0 0 0 274 35 0 0 20 0 4 0 2792893 1337528320 268303 33554432000 4194304 16246674 140735726230752 140735726212672 13191794 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 326545 268303 847 2943 0 323439 0
[pid=4952/tid=4953] ppid=4949 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1337528320 268303 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1337528320 268303 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1337528320 268303 33554432000 4194304 16246674 140735726230752 139943389162672 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.30029 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 5037
/proc/meminfo: memFree=28740436/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 267524 0 0 0 594 35 0 0 20 0 4 0 2792893 1337528320 268361 33554432000 4194304 16246674 140735726230752 140735726212672 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 326545 268361 849 2943 0 323439 0
[pid=4952/tid=4953] ppid=4949 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1337528320 268361 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1337528320 268361 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1337528320 268361 33554432000 4194304 16246674 140735726230752 139943389162672 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.12 2.12 2.09 3/183 5037
/proc/meminfo: memFree=28739892/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 267562 0 0 0 1234 35 0 0 20 0 4 0 2792893 1337528320 268399 33554432000 4194304 16246674 140735726230752 140735726212672 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 326545 268399 849 2943 0 323439 0
[pid=4952/tid=4953] ppid=4949 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1337528320 268399 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1337528320 268399 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1337528320 268399 33554432000 4194304 16246674 140735726230752 139943389162672 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.18 2.13 2.09 3/183 5037
/proc/meminfo: memFree=28739304/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 267636 0 0 0 2513 35 0 0 20 0 4 0 2792893 1337528320 268473 33554432000 4194304 16246674 140735726230752 140735726212672 13943732 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 326545 268473 849 2943 0 323439 0
[pid=4952/tid=4953] ppid=4949 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1337528320 268473 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1337528320 268473 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1337528320 268473 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180
[startup+51.1005 s]
/proc/loadavg: 2.12 2.12 2.09 4/183 5037
/proc/meminfo: memFree=28737380/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 268150 0 0 0 5072 36 0 0 20 0 4 0 2792893 1339625472 268988 33554432000 4194304 16246674 140735726230752 140735726212672 5822848 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 327057 268988 849 2943 0 323951 0
[pid=4952/tid=4953] ppid=4949 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1339625472 268988 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1339625472 268988 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1339625472 268988 33554432000 4194304 16246674 140735726230752 139943389162672 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) 1308228
[startup+102.301 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 5038
/proc/meminfo: memFree=28735256/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 268418 0 0 0 10189 39 0 0 20 0 4 0 2792893 1340674048 269245 33554432000 4194304 16246674 140735726230752 140735726212672 5808492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 327313 269245 850 2943 0 324207 0
[pid=4952/tid=4953] ppid=4949 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1340674048 269245 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1340674048 269245 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1340674048 269245 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252
################
# More data... #
################
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1318468
[startup+1362.3 s]
/proc/loadavg: 2.15 2.15 2.12 3/183 5071
/proc/meminfo: memFree=28722132/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1318468 CPUtime=1361.9 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 271074 0 0 0 136128 62 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 140735726212672 5545788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 329617 271550 851 2943 0 326511 0
[pid=4952/tid=4953] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1318468
[startup+1422.3 s]
/proc/loadavg: 2.16 2.15 2.12 3/183 5072
/proc/meminfo: memFree=28722532/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1318468 CPUtime=1421.91 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 271074 0 0 0 142128 63 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 140735726212672 5546005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 329617 271550 851 2943 0 326511 0
[pid=4952/tid=4953] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1318468
[startup+1482.3 s]
/proc/loadavg: 2.11 2.14 2.11 3/183 5073
/proc/meminfo: memFree=28722572/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1318468 CPUtime=1481.89 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 271074 0 0 0 148125 64 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 140735726212672 5677802 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 329617 271550 851 2943 0 326511 0
[pid=4952/tid=4953] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1318468
[startup+1542.31 s]
/proc/loadavg: 2.14 2.14 2.11 3/183 5074
/proc/meminfo: memFree=28722076/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1318468 CPUtime=1541.89 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 271074 0 0 0 154124 65 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 140735726212672 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 329617 271550 851 2943 0 326511 0
[pid=4952/tid=4953] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1318468
[startup+1602.3 s]
/proc/loadavg: 2.10 2.13 2.10 3/183 5075
/proc/meminfo: memFree=28722076/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1318468 CPUtime=1601.87 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 271074 0 0 0 160121 66 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 140735726212672 5666984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 329617 271550 851 2943 0 326511 0
[pid=4952/tid=4953] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1318468
[startup+1662.3 s]
/proc/loadavg: 2.23 2.15 2.11 3/183 5077
/proc/meminfo: memFree=28722204/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1318468 CPUtime=1661.86 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 271074 0 0 0 166119 67 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 140735726212672 6020497 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 329617 271550 851 2943 0 326511 0
[pid=4952/tid=4953] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1318468
[startup+1722.3 s]
/proc/loadavg: 2.27 2.17 2.11 3/184 5081
/proc/meminfo: memFree=28722060/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1318468 CPUtime=1721.86 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 271074 0 0 0 172118 68 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 140735726212672 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 329617 271550 851 2943 0 326511 0
[pid=4952/tid=4953] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1318468
[startup+1782.3 s]
/proc/loadavg: 2.13 2.15 2.11 3/183 5082
/proc/meminfo: memFree=28721700/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1318468 CPUtime=1781.85 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 271074 0 0 0 178116 69 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 140735726212672 5673558 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 329617 271550 851 2943 0 326511 0
[pid=4952/tid=4953] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1318468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.09 2.14 2.10 3/183 5082
/proc/meminfo: memFree=28721704/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1318468 CPUtime=1800.04 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 271074 0 0 0 179935 69 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 140735726212672 5661436 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 329617 271550 851 2943 0 326511 0
[pid=4952/tid=4953] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1318468
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 4952 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.09 2.14 2.10 3/183 5082
/proc/meminfo: memFree=28721704/32872528 swapFree=478180/527236
[pid=4952] ppid=4949 vsize=1318468 CPUtime=1800.04 cores=1,3,5,7
/proc/4952/stat : 4952 (toysat) R 4949 4952 1982 0 -1 4202496 271074 0 0 0 179935 69 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 140735726212672 5661436 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4952/statm: 329617 271550 851 2943 0 326511 0
[pid=4952/tid=4953] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4953/stat : 4953 (toysat) S 4949 4952 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943481421040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4952/tid=4954] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4954/stat : 4954 (toysat) S 4949 4952 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943470931184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4952/tid=4955] ppid=4949 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4952/task/4955/stat : 4955 (toysat) S 4949 4952 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2792893 1350111232 271550 33554432000 4194304 16246674 140735726230752 139943389162672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1318468
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.36
CPU system time (s): 0.696894
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 1318468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.696894
maximum resident set size= 1086200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271074
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= 377
involuntary context switches= 1976
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76727 second user time and 6.76597 second system time
The end