0.00/0.00 c 2016-06-29T18:21:47+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-4118010-1467217306.opb"]
0.00/0.01 c use --random-gen="986398570 1830940280 117982547 3652395149 1480010513 3133782118 81214032 3223220117 3305604849 1384265682 1391260640 2287367303 1884308178 2357859945 3267320025 1049320201 427179188 3543645351 3791469274 2714868340 2025755733 3404725222 1831797890 3736759288 152969251 2499057952 3612603578 1137371109 2237214133 97416365 3568129213 4024977633 152956676 868942735 4064480909 2113755684 3792497038 1277167020 710376583 2023696532 1709488067 916819217 3431411673 1030004050 1423384017 1811458824 3303514187 2689349427 3430663543 3650271918 2366272974 1121767495 1781934813 3117378684 597570827 2146194640 1516221263 2244918642 723292055 412134923 4010166415 528142322 1872700231 3255942854 2411666739 3524206364 2547346041 911435858 3656052315 988568901 45593792 722213216 2933712869 439802779 2046880074 2440677116 836929635 2237173712 665666365 1944238987 2509307438 3289181463 4054896990 176535801 3558151281 2560988665 1124105672 562058113 3663890298 1780484221 1972867979 1717841827 116374384 2537666388 1726577030 1212635694 2376690104 3064363336 538005057 3276332038 753976709 2817690501 1928284096 3389891859 2110420546 1559449130 1498431568 115762099 2685859592 1615309515 2276546304 1893488361 3031777726 2351682260 3781865971 2734037417 4089350230 3334159266 2323965379 2144067207 3678063316 2948895836 4172409867 2200230077 1254184927 3356391209 1930770546 1638417693 1283764616 24375088 1731994712 1158408120 304103275 653653021 2073376940 191354349 2452901516 3301964519 2676357174 2986679575 680399759 3630382097 1715624134 3888309844 1054960787 848025028 1712403002 94135931 2104956591 2420907996 3333717858 154412407 1188355772 1166508845 417504737 815791732 1135554374 4092731249 681551621 2237340152 166605171 2686031544 1867471470 3626561925 1303976836 2185564741 2785342035 1546885608 3816078490 1021484599 3081250047 3898659889 1447558713 312712001 226257843 1882550974 1594807371 1770758447 2952702545 2264930502 2422473266 1704937998 1087866848 2787157468 2913579506 3141191381 2715863565 165293247 4117042949 1191238321 801573345 952230032 97585090 2905564345 2614778726 3439038340 3473940688 1601986531 1132791649 3061963196 494666277 1498166761 3321907146 461982915 20895848 442652393 1530161278 3292552018 2485397631 3451258796 3780718614 879959752 4220804180 1248491269 676489565 2830678302 570071246 659896789 795456155 2013648826 3054282515 1916052622 1735726601 2278948025 3371676432 3945376982 1510103581 3343367260 1207917792 164345654 1902026285 3299351877 621129291 241934126 1847661452 367484048 3385694332 1242785708 2426974015 1455757953 563947766 1866418084 3419231850 3988571934 774911017 3112175004 2362473151 4085164530 989012476 2316596801 3054599292 3808740641 113943663 1856106361 2854900156 249224233 255 362436" option to reproduce the execution
0.00/0.01 c #vars 81
0.00/0.01 c #constraints 27
0.00/0.01 c BCD2: Hardening is enabled.
0.00/0.01 c BCD2: BiasedSearch is enabled.
0.00/0.01 c Solving starts ...
0.00/0.01 c ============================[ Search Statistics ]============================
0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.01 c | | | | Limit GC | Var | Constra
0.00/0.01 c =============================================================================
0.00/0.01 c 0.0s | 0 | 0 | 0 | 241 0 | 0 | 0
0.00/0.02 c 0.0s | 0 | 157 | 0 | 241 0 | 0 | 0
0.00/0.02 c #cpu_time = 0.001s
0.00/0.02 c #wall_clock_time = 0.001s
0.00/0.02 c #decision = 157
0.00/0.02 c #random_decision = 2
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 o 144340
0.00/0.02 c BCD2: updating upper bound: 17814453 -> 7479447
0.00/0.02 c BCD2: 0 <= obj <= 7479447
0.00/0.02 c BCD2: #cores=0, #unrelaxed=243, #relaxed=0, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 241 0 | 0 | 0
0.00/0.02 c 0.0s | 0 | 144 | 0 | 241 0 | 0 | 0
0.00/0.02 c #cpu_time = 0.001s
0.00/0.02 c #wall_clock_time = 0.001s
0.00/0.02 c #decision = 144
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 2: cost of the new core is >=2042
0.00/0.02 c lower bound updated to -7333066
0.00/0.02 c BCD2: 2042 <= obj <= 7479447
0.00/0.02 c BCD2: #cores=1, #unrelaxed=241, #relaxed=2, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 241 0 | 0 | 0
0.00/0.02 c 0.0s | 0 | 144 | 0 | 241 0 | 0 | 0
0.00/0.02 c #cpu_time = 0.001s
0.00/0.02 c #wall_clock_time = 0.001s
0.00/0.02 c #decision = 144
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 2: cost of the new core is >=8522
0.00/0.02 c lower bound updated to -7324544
0.00/0.02 c BCD2: 10564 <= obj <= 7479447
0.00/0.02 c BCD2: #cores=2, #unrelaxed=239, #relaxed=4, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 241 0 | 0 | 0
0.00/0.02 c 0.0s | 0 | 144 | 0 | 241 0 | 0 | 0
0.00/0.02 c #cpu_time = 0.001s
0.00/0.02 c #wall_clock_time = 0.001s
0.00/0.02 c #decision = 144
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 2: cost of the new core is >=145869
0.00/0.02 c lower bound updated to -7178675
0.00/0.02 c BCD2: 156433 <= obj <= 7479447
0.00/0.02 c BCD2: #cores=3, #unrelaxed=237, #relaxed=6, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 241 0 | 0 | 0
0.00/0.03 c 0.0s | 0 | 286 | 1 | 241 0 | 0 | 0
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 286
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=4084
0.00/0.03 c BCD2: refineLB: 3676 -> 4084
0.00/0.03 c lower bound updated to -7176633
0.00/0.03 c BCD2: 158475 <= obj <= 7479447
0.00/0.03 c BCD2: #cores=3, #unrelaxed=236, #relaxed=7, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 241 0 | 3 | 0
0.00/0.03 c 0.0s | 0 | 286 | 1 | 241 0 | 3 | 5
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 286
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=17044
0.00/0.03 c BCD2: refineLB: 15624 -> 17044
0.00/0.03 c lower bound updated to -7168111
0.00/0.03 c BCD2: 166997 <= obj <= 7479447
0.00/0.03 c BCD2: #cores=3, #unrelaxed=235, #relaxed=8, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 241 0 | 6 | 5
0.00/0.03 c 0.0s | 0 | 286 | 1 | 241 0 | 6 | 10
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 286
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=291738
0.00/0.03 c BCD2: refineLB: 270900 -> 291738
0.00/0.03 c lower bound updated to -7022242
0.00/0.03 c BCD2: 312866 <= obj <= 7479447
0.00/0.03 c BCD2: #cores=3, #unrelaxed=234, #relaxed=9, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 241 0 | 9 | 10
0.00/0.03 c 0.0s | 0 | 145 | 1 | 241 0 | 9 | 15
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 145
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=6126
0.00/0.03 c BCD2: refineLB: 5871 -> 6126
0.00/0.03 c lower bound updated to -7020200
0.00/0.03 c BCD2: 314908 <= obj <= 7479447
0.00/0.03 c BCD2: #cores=3, #unrelaxed=232, #relaxed=11, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 241 0 | 12 | 15
0.00/0.03 c 0.0s | 0 | 144 | 0 | 241 0 | 12 | 20
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 144
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=33798
0.00/0.03 c lower bound updated to -6986402
0.00/0.03 c BCD2: 348706 <= obj <= 7479447
0.00/0.03 c BCD2: #cores=4, #unrelaxed=230, #relaxed=13, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 241 0 | 12 | 20
0.00/0.04 c 0.0s | 0 | 145 | 0 | 241 0 | 12 | 20
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 145
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=33798
0.00/0.04 c lower bound updated to -6952604
0.00/0.04 c BCD2: 382504 <= obj <= 7479447
0.00/0.04 c BCD2: #cores=5, #unrelaxed=228, #relaxed=15, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 241 0 | 12 | 20
0.00/0.04 c 0.0s | 0 | 145 | 0 | 241 0 | 12 | 20
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 145
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=39758
0.00/0.04 c BCD2: refineLB: 39217 -> 39758
0.00/0.04 c lower bound updated to -6946644
0.00/0.04 c BCD2: 388464 <= obj <= 7479447
0.00/0.04 c BCD2: #cores=5, #unrelaxed=227, #relaxed=16, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 241 0 | 13 | 20
0.00/0.04 c 0.0s | 0 | 178 | 1 | 241 0 | 13 | 21
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 178
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=73556
0.00/0.04 c BCD2: refineLB: 70243 -> 73556
0.00/0.04 c lower bound updated to -6906886
0.00/0.04 c BCD2: 428222 <= obj <= 7479447
0.00/0.04 c BCD2: #cores=5, #unrelaxed=225, #relaxed=18, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 241 0 | 16 | 21
0.00/0.04 c 0.0s | 0 | 288 | 1 | 241 0 | 16 | 26
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 288
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=59698
0.00/0.04 c BCD2: refineLB: 39759 -> 59698
0.00/0.04 c lower bound updated to -6886946
0.00/0.04 c BCD2: 448162 <= obj <= 7479447
0.00/0.04 c BCD2: #cores=5, #unrelaxed=224, #relaxed=19, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 241 0 | 17 | 26
0.00/0.04 c 0.0s | 0 | 179 | 1 | 241 0 | 17 | 27
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 179
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 6: cost of the new core is >=65658
0.00/0.04 c BCD2: refineLB: 65233 -> 65658
0.00/0.04 c lower bound updated to -6880986
0.00/0.04 c BCD2: 454122 <= obj <= 7479447
0.00/0.04 c BCD2: #cores=5, #unrelaxed=222, #relaxed=21, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 241 0 | 18 | 27
0.00/0.05 c 0.0s | 0 | 144 | 0 | 241 0 | 18 | 28
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 144
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=25900
0.00/0.05 c lower bound updated to -6855086
0.00/0.05 c BCD2: 480022 <= obj <= 7479447
0.00/0.05 c BCD2: #cores=6, #unrelaxed=220, #relaxed=23, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 241 0 | 18 | 28
0.00/0.05 c 0.0s | 0 | 152 | 1 | 241 0 | 18 | 28
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 152
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 4 and merging with 3 cores into a new core of size 12: cost of the new core is >=335005
0.00/0.05 c BCD2: refineLB: 334683 -> 335005
0.00/0.05 c lower bound updated to -6854763
0.00/0.05 c BCD2: 480345 <= obj <= 7479447
0.00/0.05 c BCD2: #cores=4, #unrelaxed=216, #relaxed=27, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 241 0 | 38 | 28
0.00/0.05 c 0.0s | 0 | 141 | 0 | 241 0 | 38 | 65
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 141
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=11373
0.00/0.05 c lower bound updated to -6843390
0.00/0.05 c BCD2: 491718 <= obj <= 7479447
0.00/0.05 c BCD2: #cores=5, #unrelaxed=214, #relaxed=29, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 241 0 | 38 | 65
0.00/0.05 c 0.0s | 0 | 142 | 0 | 241 0 | 38 | 65
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 142
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=11373
0.00/0.05 c lower bound updated to -6832017
0.00/0.05 c BCD2: 503091 <= obj <= 7479447
0.00/0.05 c BCD2: #cores=6, #unrelaxed=212, #relaxed=31, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 241 0 | 38 | 65
0.00/0.06 c 0.0s | 0 | 142 | 0 | 241 0 | 38 | 65
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 142
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=47393
0.00/0.06 c BCD2: refineLB: 45498 -> 47393
0.00/0.06 c lower bound updated to -6795997
0.00/0.06 c BCD2: 539111 <= obj <= 7479447
0.00/0.06 c BCD2: #cores=6, #unrelaxed=211, #relaxed=32, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=19 bias=19/20
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 241 0 | 39 | 65
0.00/0.06 c 0.0s | 0 | 144 | 2 | 241 0 | 39 | 66
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 144
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 2
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 5: cost of the new core is >=70139
0.00/0.06 c BCD2: refineLB: 58767 -> 70139
0.00/0.06 c lower bound updated to -6784624
0.00/0.06 c BCD2: 550484 <= obj <= 7479447
0.00/0.06 c BCD2: #cores=5, #unrelaxed=211, #relaxed=32, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 241 0 | 43 | 66
0.00/0.06 c 0.0s | 0 | 142 | 0 | 241 0 | 43 | 72
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 142
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1151
0.00/0.06 c lower bound updated to -6783473
0.00/0.06 c BCD2: 551635 <= obj <= 7479447
0.00/0.06 c BCD2: #cores=6, #unrelaxed=209, #relaxed=34, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 241 0 | 43 | 72
0.00/0.06 c 0.0s | 0 | 284 | 1 | 241 0 | 43 | 72
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 284
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2302
0.00/0.06 c BCD2: refineLB: 2250 -> 2302
0.00/0.06 c lower bound updated to -6782322
0.00/0.06 c BCD2: 552786 <= obj <= 7479447
0.00/0.06 c BCD2: #cores=6, #unrelaxed=208, #relaxed=35, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=22 bias=22/23
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 241 0 | 44 | 72
0.00/0.06 c 0.0s | 0 | 144 | 1 | 241 0 | 44 | 73
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 144
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 11 and merging with 1 cores into a new core of size 16: cost of the new core is >=74408
0.00/0.06 c lower bound updated to -6778053
0.00/0.07 c BCD2: 557055 <= obj <= 7479447
0.00/0.07 c BCD2: #cores=6, #unrelaxed=197, #relaxed=46, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=23 bias=23/24
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 241 0 | 47 | 73
0.00/0.07 c 0.0s | 0 | 134 | 0 | 241 0 | 47 | 78
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 134
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=15251
0.00/0.07 c lower bound updated to -6762802
0.00/0.07 c BCD2: 572306 <= obj <= 7479447
0.00/0.07 c BCD2: #cores=7, #unrelaxed=195, #relaxed=48, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=24 bias=24/25
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 241 0 | 47 | 78
0.00/0.07 c 0.0s | 0 | 135 | 0 | 241 0 | 47 | 78
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 135
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 3: cost of the new core is >=15251
0.00/0.07 c lower bound updated to -6747551
0.00/0.07 c BCD2: 587557 <= obj <= 7479447
0.00/0.07 c BCD2: #cores=8, #unrelaxed=192, #relaxed=51, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=25 bias=25/26
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 241 0 | 47 | 78
0.00/0.07 c 0.0s | 0 | 266 | 1 | 241 0 | 47 | 78
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 266
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 1
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=268854
0.00/0.07 c BCD2: refineLB: 259101 -> 268854
0.00/0.07 c lower bound updated to -6493948
0.00/0.07 c BCD2: 841160 <= obj <= 7479447
0.00/0.07 c BCD2: #cores=8, #unrelaxed=191, #relaxed=52, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=26 bias=26/27
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 241 0 | 49 | 78
0.00/0.07 c 0.0s | 0 | 135 | 0 | 241 0 | 49 | 81
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 135
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 3: cost of the new core is >=15251
0.00/0.07 c lower bound updated to -6478697
0.00/0.08 c BCD2: 856411 <= obj <= 7479447
0.00/0.08 c BCD2: #cores=9, #unrelaxed=188, #relaxed=55, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=27 bias=27/28
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 241 0 | 49 | 81
0.00/0.08 c 0.0s | 0 | 267 | 1 | 241 0 | 49 | 81
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 267
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=292445
0.00/0.08 c BCD2: refineLB: 268855 -> 292445
0.00/0.08 c lower bound updated to -6455106
0.00/0.08 c BCD2: 880002 <= obj <= 7479447
0.00/0.08 c BCD2: #cores=9, #unrelaxed=187, #relaxed=56, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=28 bias=28/29
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 241 0 | 50 | 81
0.00/0.08 c 0.0s | 0 | 267 | 1 | 241 0 | 50 | 82
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 267
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=307696
0.00/0.08 c BCD2: refineLB: 307171 -> 307696
0.00/0.08 c lower bound updated to -6439855
0.00/0.08 c BCD2: 895253 <= obj <= 7479447
0.00/0.08 c BCD2: #cores=9, #unrelaxed=186, #relaxed=57, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 241 0 | 51 | 82
0.00/0.08 c 0.0s | 0 | 267 | 1 | 241 0 | 51 | 83
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 267
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=346538
0.00/0.08 c BCD2: refineLB: 345244 -> 346538
0.00/0.08 c lower bound updated to -6401013
0.00/0.08 c BCD2: 934095 <= obj <= 7479447
0.00/0.08 c BCD2: #cores=9, #unrelaxed=185, #relaxed=58, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=30 bias=30/31
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 241 0 | 52 | 83
0.00/0.08 c 0.0s | 0 | 136 | 0 | 241 0 | 52 | 84
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 136
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=141201
0.00/0.08 c lower bound updated to -6259812
0.00/0.09 c BCD2: 1075296 <= obj <= 7479447
0.00/0.09 c BCD2: #cores=10, #unrelaxed=183, #relaxed=60, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=31 bias=31/32
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 241 0 | 52 | 84
0.00/0.09 c 0.0s | 0 | 136 | 0 | 241 0 | 52 | 84
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 136
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 2: cost of the new core is >=109445
0.00/0.09 c lower bound updated to -6150367
0.00/0.09 c BCD2: 1184741 <= obj <= 7479447
0.00/0.09 c BCD2: #cores=11, #unrelaxed=181, #relaxed=62, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=32 bias=32/33
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 | 241 0 | 52 | 84
0.00/0.09 c 0.0s | 0 | 269 | 1 | 241 0 | 52 | 84
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 269
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=282402
0.00/0.09 c BCD2: refineLB: 278124 -> 282402
0.00/0.09 c lower bound updated to -6009166
0.00/0.09 c BCD2: 1325942 <= obj <= 7479447
0.00/0.09 c BCD2: #cores=11, #unrelaxed=180, #relaxed=63, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=33 bias=33/34
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 | 241 0 | 54 | 84
0.00/0.09 c 0.0s | 0 | 269 | 1 | 241 0 | 54 | 87
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 269
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=218890
0.00/0.09 c BCD2: refineLB: 215672 -> 218890
0.00/0.09 c lower bound updated to -5899721
0.00/0.09 c BCD2: 1435387 <= obj <= 7479447
0.00/0.09 c BCD2: #cores=11, #unrelaxed=179, #relaxed=64, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=34 bias=34/35
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 | 241 0 | 56 | 87
0.00/0.10 c 0.0s | 0 | 194 | 1 | 241 0 | 56 | 90
0.00/0.10 c #cpu_time = 0.001s
0.00/0.10 c #wall_clock_time = 0.001s
0.00/0.10 c #decision = 194
0.00/0.10 c #random_decision = 0
0.00/0.10 c #conflict = 1
0.00/0.10 c #restart = 0
0.00/0.10 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=373116
0.00/0.10 c BCD2: refineLB: 282403 -> 373116
0.00/0.10 c lower bound updated to -5809007
0.09/0.10 c BCD2: 1526101 <= obj <= 7479447
0.09/0.10 c BCD2: #cores=11, #unrelaxed=177, #relaxed=66, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=35 bias=35/36
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 241 0 | 57 | 90
0.09/0.10 c 0.0s | 0 | 136 | 0 | 241 0 | 57 | 91
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 = 136
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 2: cost of the new core is >=85164
0.09/0.10 c lower bound updated to -5723843
0.09/0.10 c BCD2: 1611265 <= obj <= 7479447
0.09/0.10 c BCD2: #cores=12, #unrelaxed=175, #relaxed=68, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=36 bias=36/37
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 241 0 | 57 | 91
0.09/0.10 c 0.0s | 0 | 195 | 1 | 241 0 | 57 | 91
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 = 195
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 1
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 9: cost of the new core is >=543444
0.09/0.10 c lower bound updated to -5638679
0.09/0.10 c BCD2: 1696429 <= obj <= 7479447
0.09/0.10 c BCD2: #cores=11, #unrelaxed=173, #relaxed=70, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=37 bias=37/38
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 241 0 | 60 | 91
0.09/0.10 c 0.0s | 0 | 136 | 0 | 241 0 | 60 | 95
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 = 136
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 2: cost of the new core is >=30705
0.09/0.10 c lower bound updated to -5607974
0.09/0.10 c BCD2: 1727134 <= obj <= 7479447
0.09/0.10 c BCD2: #cores=12, #unrelaxed=171, #relaxed=72, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=38 bias=38/39
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 241 0 | 60 | 95
0.09/0.11 c 0.0s | 0 | 136 | 0 | 241 0 | 60 | 95
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 = 136
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: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=61410
0.09/0.11 c BCD2: refineLB: 30706 -> 61410
0.09/0.11 c lower bound updated to -5577269
0.09/0.11 c BCD2: 1757839 <= obj <= 7479447
0.09/0.11 c BCD2: #cores=12, #unrelaxed=170, #relaxed=73, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=39 bias=39/40
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 | 241 0 | 61 | 95
0.09/0.11 c 0.0s | 0 | 137 | 0 | 241 0 | 61 | 96
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 = 137
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 >=23313
0.09/0.11 c lower bound updated to -5553956
0.09/0.11 c BCD2: 1781152 <= obj <= 7479447
0.09/0.11 c BCD2: #cores=13, #unrelaxed=168, #relaxed=75, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=40 bias=40/41
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 241 0 | 61 | 96
0.09/0.11 c 0.0s | 0 | 138 | 1 | 241 0 | 61 | 96
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 = 138
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 6 and merging with 3 cores into a new core of size 17: cost of the new core is >=372221
0.09/0.11 c BCD2: refineLB: 372154 -> 372221
0.09/0.11 c lower bound updated to -5553888
0.09/0.11 c BCD2: 1781220 <= obj <= 7479447
0.09/0.11 c BCD2: #cores=11, #unrelaxed=162, #relaxed=81, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=41 bias=41/42
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 241 0 | 64 | 96
0.09/0.12 c 0.0s | 0 | 132 | 0 | 241 0 | 64 | 99
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 = 132
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 2: cost of the new core is >=23313
0.09/0.12 c lower bound updated to -5530575
0.09/0.12 c BCD2: 1804533 <= obj <= 7479447
0.09/0.12 c BCD2: #cores=12, #unrelaxed=160, #relaxed=83, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=42 bias=42/43
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 | 241 0 | 64 | 99
0.09/0.12 c 0.0s | 0 | 132 | 0 | 241 0 | 64 | 99
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 = 132
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 2: cost of the new core is >=45147
0.09/0.12 c lower bound updated to -5485428
0.09/0.12 c BCD2: 1849680 <= obj <= 7479447
0.09/0.12 c BCD2: #cores=13, #unrelaxed=158, #relaxed=85, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=43 bias=43/44
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 | 241 0 | 64 | 99
0.09/0.12 c 0.0s | 0 | 134 | 0 | 241 0 | 64 | 99
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 = 134
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 2: cost of the new core is >=72744
0.09/0.12 c lower bound updated to -5412684
0.09/0.12 c BCD2: 1922424 <= obj <= 7479447
0.09/0.12 c BCD2: #cores=14, #unrelaxed=156, #relaxed=87, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=44 bias=44/45
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 | 241 0 | 64 | 99
0.09/0.13 c 0.0s | 0 | 134 | 0 | 241 0 | 64 | 99
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 = 134
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 2: cost of the new core is >=37029
0.09/0.13 c lower bound updated to -5375655
0.09/0.13 c BCD2: 1959453 <= obj <= 7479447
0.09/0.13 c BCD2: #cores=15, #unrelaxed=154, #relaxed=89, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=45 bias=45/46
0.09/0.13 c Solving starts ...
0.09/0.13 c ============================[ Search Statistics ]============================
0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.13 c | | | | Limit GC | Var | Constra
0.09/0.13 c =============================================================================
0.09/0.13 c 0.0s | 0 | 0 | 0 | 241 0 | 64 | 99
0.09/0.13 c 0.0s | 0 | 134 | 0 | 241 0 | 64 | 99
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 = 134
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: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=72744
0.09/0.13 c BCD2: refineLB: 61411 -> 72744
0.09/0.13 c lower bound updated to -5364321
0.09/0.13 c BCD2: 1970787 <= obj <= 7479447
0.09/0.13 c BCD2: #cores=15, #unrelaxed=152, #relaxed=91, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=46 bias=46/47
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 | 241 0 | 65 | 99
0.09/0.13 c 0.0s | 0 | 261 | 1 | 241 0 | 65 | 100
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 = 261
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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=74058
0.09/0.13 c BCD2: refineLB: 73271 -> 74058
0.09/0.13 c lower bound updated to -5327292
0.09/0.13 c BCD2: 2007816 <= obj <= 7479447
0.09/0.13 c BCD2: #cores=15, #unrelaxed=151, #relaxed=92, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=47 bias=47/48
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 | 241 0 | 67 | 100
0.09/0.14 c 0.0s | 0 | 134 | 0 | 241 0 | 67 | 103
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 = 134
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 2: cost of the new core is >=55976
0.09/0.14 c lower bound updated to -5271316
0.09/0.14 c BCD2: 2063792 <= obj <= 7479447
0.09/0.14 c BCD2: #cores=16, #unrelaxed=149, #relaxed=94, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=48 bias=48/49
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 | 241 0 | 67 | 103
0.09/0.14 c 0.0s | 0 | 264 | 1 | 241 0 | 67 | 103
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 = 264
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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=111952
0.09/0.14 c BCD2: refineLB: 110810 -> 111952
0.09/0.14 c lower bound updated to -5215340
0.09/0.14 c BCD2: 2119768 <= obj <= 7479447
0.09/0.14 c BCD2: #cores=16, #unrelaxed=148, #relaxed=95, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=49 bias=49/50
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 | 241 0 | 68 | 103
0.09/0.14 c 0.0s | 0 | 135 | 0 | 241 0 | 68 | 104
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 = 135
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 2: cost of the new core is >=18978
0.09/0.14 c lower bound updated to -5196362
0.09/0.15 c BCD2: 2138746 <= obj <= 7479447
0.09/0.15 c BCD2: #cores=17, #unrelaxed=146, #relaxed=97, #hardened=0
0.09/0.15 c BCD2: #sat=1 #unsat=50 bias=50/51
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 | 241 0 | 68 | 104
0.09/0.15 c 0.0s | 0 | 267 | 1 | 241 0 | 68 | 104
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 = 267
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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=91722
0.09/0.15 c BCD2: refineLB: 72745 -> 91722
0.09/0.15 c lower bound updated to -5177384
0.09/0.15 c BCD2: 2157724 <= obj <= 7479447
0.09/0.15 c BCD2: #cores=17, #unrelaxed=145, #relaxed=98, #hardened=0
0.09/0.15 c BCD2: #sat=1 #unsat=51 bias=51/52
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 | 241 0 | 69 | 104
0.09/0.15 c 0.0s | 0 | 137 | 0 | 241 0 | 69 | 105
0.09/0.15 c #cpu_time = 0.002s
0.09/0.15 c #wall_clock_time = 0.002s
0.09/0.15 c #decision = 137
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.17 c BCD2: relaxing 16 and merging with 4 cores into a new core of size 43: cost of the new core is >=564171
0.09/0.17 c lower bound updated to -5177383
0.09/0.17 c BCD2: 2157725 <= obj <= 7479447
0.09/0.17 c BCD2: #cores=14, #unrelaxed=129, #relaxed=114, #hardened=0
0.09/0.17 c BCD2: #sat=1 #unsat=52 bias=52/53
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 | 241 0 | 92 | 105
0.09/0.17 c 0.0s | 0 | 123 | 1 | 241 0 | 92 | 147
0.09/0.17 c #cpu_time = 0.002s
0.09/0.17 c #wall_clock_time = 0.002s
0.09/0.17 c #decision = 123
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 3 and merging with 2 cores into a new core of size 9: cost of the new core is >=333076
0.09/0.17 c BCD2: refineLB: 330843 -> 333076
0.09/0.17 c lower bound updated to -5175149
0.09/0.17 c BCD2: 2159959 <= obj <= 7479447
0.09/0.17 c BCD2: #cores=13, #unrelaxed=126, #relaxed=117, #hardened=0
0.09/0.17 c BCD2: #sat=1 #unsat=53 bias=53/54
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 | 241 0 | 94 | 147
0.09/0.19 c 0.0s | 0 | 118 | 0 | 241 0 | 94 | 149
0.09/0.19 c #cpu_time = 0.002s
0.09/0.19 c #wall_clock_time = 0.002s
0.09/0.19 c #decision = 118
0.09/0.19 c #random_decision = 0
0.09/0.19 c #conflict = 0
0.09/0.19 c #restart = 0
0.09/0.19 c BCD2: found a new core of size 2: cost of the new core is >=209910
0.09/0.19 c lower bound updated to -4965239
0.09/0.19 c BCD2: 2369869 <= obj <= 7479447
0.09/0.19 c BCD2: #cores=14, #unrelaxed=124, #relaxed=119, #hardened=0
0.09/0.19 c BCD2: #sat=1 #unsat=54 bias=54/55
0.09/0.20 c Solving starts ...
0.09/0.20 c ============================[ Search Statistics ]============================
0.09/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.20 c | | | | Limit GC | Var | Constra
0.09/0.20 c =============================================================================
0.09/0.20 c 0.0s | 0 | 0 | 0 | 241 0 | 94 | 149
0.19/0.20 c 0.0s | 0 | 118 | 0 | 241 0 | 94 | 149
0.19/0.20 c #cpu_time = 0.002s
0.19/0.20 c #wall_clock_time = 0.002s
0.19/0.20 c #decision = 118
0.19/0.20 c #random_decision = 0
0.19/0.20 c #conflict = 0
0.19/0.20 c #restart = 0
0.19/0.20 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=212130
0.19/0.20 c BCD2: refineLB: 212090 -> 212130
0.19/0.20 c lower bound updated to -4963019
0.19/0.20 c BCD2: 2372089 <= obj <= 7479447
0.19/0.20 c BCD2: #cores=14, #unrelaxed=123, #relaxed=120, #hardened=0
0.19/0.20 c BCD2: #sat=1 #unsat=55 bias=55/56
0.19/0.20 c Solving starts ...
0.19/0.20 c ============================[ Search Statistics ]============================
0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.20 c | | | | Limit GC | Var | Constra
0.19/0.20 c =============================================================================
0.19/0.20 c 0.0s | 0 | 0 | 0 | 241 0 | 95 | 149
0.19/0.20 c 0.0s | 0 | 175 | 1 | 241 0 | 95 | 150
0.19/0.20 c #cpu_time = 0.002s
0.19/0.20 c #wall_clock_time = 0.002s
0.19/0.20 c #decision = 175
0.19/0.20 c #random_decision = 0
0.19/0.20 c #conflict = 1
0.19/0.20 c #restart = 0
0.19/0.20 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 11: cost of the new core is >=388779
0.19/0.20 c lower bound updated to -4907316
0.19/0.20 c BCD2: 2427792 <= obj <= 7479447
0.19/0.20 c BCD2: #cores=14, #unrelaxed=121, #relaxed=122, #hardened=0
0.19/0.20 c BCD2: #sat=1 #unsat=56 bias=56/57
0.19/0.21 c Solving starts ...
0.19/0.21 c ============================[ Search Statistics ]============================
0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.21 c | | | | Limit GC | Var | Constra
0.19/0.21 c =============================================================================
0.19/0.21 c 0.0s | 0 | 0 | 0 | 241 0 | 98 | 150
0.19/0.21 c 0.0s | 0 | 231 | 1 | 241 0 | 98 | 155
0.19/0.21 c #cpu_time = 0.002s
0.19/0.21 c #wall_clock_time = 0.002s
0.19/0.21 c #decision = 231
0.19/0.21 c #random_decision = 0
0.19/0.21 c #conflict = 1
0.19/0.21 c #restart = 0
0.19/0.21 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=212766
0.19/0.21 c BCD2: refineLB: 212131 -> 212766
0.19/0.21 c lower bound updated to -4906680
0.19/0.21 c BCD2: 2428428 <= obj <= 7479447
0.19/0.21 c BCD2: #cores=14, #unrelaxed=120, #relaxed=123, #hardened=0
0.19/0.21 c BCD2: #sat=1 #unsat=57 bias=57/58
0.19/0.22 c Solving starts ...
0.19/0.22 c ============================[ Search Statistics ]============================
0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.22 c | | | | Limit GC | Var | Constra
0.19/0.22 c =============================================================================
0.19/0.22 c 0.0s | 0 | 0 | 0 | 241 0 | 99 | 155
0.19/0.23 c 0.0s | 0 | 231 | 1 | 241 0 | 99 | 156
0.19/0.23 c #cpu_time = 0.002s
0.19/0.23 c #wall_clock_time = 0.002s
0.19/0.23 c #decision = 231
0.19/0.23 c #random_decision = 0
0.19/0.23 c #conflict = 1
0.19/0.23 c #restart = 0
0.19/0.23 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=404586
0.19/0.23 c BCD2: refineLB: 212767 -> 404586
0.19/0.23 c lower bound updated to -4714860
0.19/0.23 c BCD2: 2620248 <= obj <= 7479447
0.19/0.23 c BCD2: #cores=14, #unrelaxed=119, #relaxed=124, #hardened=0
0.19/0.23 c BCD2: #sat=1 #unsat=58 bias=58/59
0.19/0.23 c Solving starts ...
0.19/0.23 c ============================[ Search Statistics ]============================
0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.23 c | | | | Limit GC | Var | Constra
0.19/0.23 c =============================================================================
0.19/0.23 c 0.0s | 0 | 0 | 0 | 241 0 | 100 | 156
0.19/0.23 c 0.0s | 0 | 231 | 1 | 241 0 | 100 | 157
0.19/0.23 c #cpu_time = 0.002s
0.19/0.23 c #wall_clock_time = 0.002s
0.19/0.23 c #decision = 231
0.19/0.23 c #random_decision = 0
0.19/0.23 c #conflict = 1
0.19/0.23 c #restart = 0
0.19/0.23 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=405222
0.19/0.23 c lower bound updated to -4714224
0.19/0.23 c BCD2: 2620884 <= obj <= 7479447
0.19/0.23 c BCD2: #cores=14, #unrelaxed=118, #relaxed=125, #hardened=0
0.19/0.23 c BCD2: #sat=1 #unsat=59 bias=59/60
0.19/0.24 c Solving starts ...
0.19/0.24 c ============================[ Search Statistics ]============================
0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.24 c | | | | Limit GC | Var | Constra
0.19/0.24 c =============================================================================
0.19/0.24 c 0.0s | 0 | 0 | 0 | 241 0 | 101 | 157
0.19/0.24 c 0.0s | 0 | 121 | 2 | 241 0 | 102 | 159
0.19/0.24 c #cpu_time = 0.003s
0.19/0.24 c #wall_clock_time = 0.003s
0.19/0.24 c #decision = 121
0.19/0.24 c #random_decision = 0
0.19/0.24 c #conflict = 2
0.19/0.24 c #restart = 0
0.19/0.24 c BCD2: updating lower bound of a core
0.19/0.24 c BCD2: refineLB: 408031 -> 408078
0.19/0.24 c lower bound updated to -4711368
0.19/0.24 c BCD2: 2623740 <= obj <= 7479447
0.19/0.24 c BCD2: #cores=14, #unrelaxed=118, #relaxed=125, #hardened=0
0.19/0.24 c BCD2: #sat=1 #unsat=60 bias=60/61
0.19/0.25 c Solving starts ...
0.19/0.25 c ============================[ Search Statistics ]============================
0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.25 c | | | | Limit GC | Var | Constra
0.19/0.25 c =============================================================================
0.19/0.25 c 0.0s | 0 | 0 | 0 | 241 0 | 102 | 160
0.19/0.25 c 0.0s | 0 | 231 | 1 | 241 0 | 102 | 160
0.19/0.25 c #cpu_time = 0.003s
0.19/0.25 c #wall_clock_time = 0.003s
0.19/0.25 c #decision = 231
0.19/0.25 c #random_decision = 0
0.19/0.25 c #conflict = 1
0.19/0.25 c #restart = 0
0.19/0.25 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 7: cost of the new core is >=422040
0.19/0.25 c BCD2: refineLB: 408079 -> 422040
0.19/0.25 c lower bound updated to -4697406
0.19/0.25 c BCD2: 2637702 <= obj <= 7479447
0.19/0.25 c BCD2: #cores=14, #unrelaxed=117, #relaxed=126, #hardened=0
0.19/0.25 c BCD2: #sat=1 #unsat=61 bias=61/62
0.19/0.26 c Solving starts ...
0.19/0.26 c ============================[ Search Statistics ]============================
0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.26 c | | | | Limit GC | Var | Constra
0.19/0.26 c =============================================================================
0.19/0.26 c 0.0s | 0 | 0 | 0 | 241 0 | 103 | 160
0.19/0.26 c 0.0s | 0 | 231 | 1 | 241 0 | 103 | 161
0.19/0.26 c #cpu_time = 0.002s
0.19/0.26 c #wall_clock_time = 0.002s
0.19/0.26 c #decision = 231
0.19/0.26 c #random_decision = 0
0.19/0.26 c #conflict = 1
0.19/0.26 c #restart = 0
0.19/0.26 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 8: cost of the new core is >=422676
0.19/0.26 c lower bound updated to -4696770
0.19/0.26 c BCD2: 2638338 <= obj <= 7479447
0.19/0.26 c BCD2: #cores=14, #unrelaxed=116, #relaxed=127, #hardened=0
0.19/0.26 c BCD2: #sat=1 #unsat=62 bias=62/63
0.19/0.27 c Solving starts ...
0.19/0.27 c ============================[ Search Statistics ]============================
0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.27 c | | | | Limit GC | Var | Constra
0.19/0.27 c =============================================================================
0.19/0.27 c 0.0s | 0 | 0 | 0 | 241 0 | 104 | 161
0.19/0.27 c 0.0s | 0 | 231 | 1 | 241 0 | 104 | 162
0.19/0.27 c #cpu_time = 0.002s
0.19/0.27 c #wall_clock_time = 0.002s
0.19/0.27 c #decision = 231
0.19/0.27 c #random_decision = 0
0.19/0.27 c #conflict = 1
0.19/0.27 c #restart = 0
0.19/0.27 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 9: cost of the new core is >=599898
0.19/0.27 c BCD2: refineLB: 599896 -> 599898
0.19/0.27 c lower bound updated to -4519548
0.19/0.27 c BCD2: 2815560 <= obj <= 7479447
0.19/0.27 c BCD2: #cores=14, #unrelaxed=115, #relaxed=128, #hardened=0
0.19/0.27 c BCD2: #sat=1 #unsat=63 bias=63/64
0.19/0.27 c Solving starts ...
0.19/0.27 c ============================[ Search Statistics ]============================
0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.27 c | | | | Limit GC | Var | Constra
0.19/0.27 c =============================================================================
0.19/0.27 c 0.0s | 0 | 0 | 0 | 241 0 | 105 | 162
0.19/0.27 c 0.0s | 0 | 119 | 0 | 241 0 | 105 | 163
0.19/0.27 c #cpu_time = 0.002s
0.19/0.27 c #wall_clock_time = 0.002s
0.19/0.27 c #decision = 119
0.19/0.27 c #random_decision = 0
0.19/0.27 c #conflict = 0
0.19/0.27 c #restart = 0
0.19/0.27 c BCD2: found a new core of size 2: cost of the new core is >=14833
0.19/0.27 c lower bound updated to -4504715
0.19/0.27 c BCD2: 2830393 <= obj <= 7479447
0.19/0.27 c BCD2: #cores=15, #unrelaxed=113, #relaxed=130, #hardened=0
0.19/0.27 c BCD2: #sat=1 #unsat=64 bias=64/65
0.19/0.28 c Solving starts ...
0.19/0.28 c ============================[ Search Statistics ]============================
0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.28 c | | | | Limit GC | Var | Constra
0.19/0.28 c =============================================================================
0.19/0.28 c 0.0s | 0 | 0 | 0 | 241 0 | 105 | 163
0.19/0.28 c 0.0s | 0 | 119 | 0 | 241 0 | 105 | 163
0.19/0.28 c #cpu_time = 0.002s
0.19/0.28 c #wall_clock_time = 0.002s
0.19/0.28 c #decision = 119
0.19/0.28 c #random_decision = 0
0.19/0.28 c #conflict = 0
0.19/0.28 c #restart = 0
0.19/0.28 c BCD2: found a new core of size 2: cost of the new core is >=13122
0.19/0.28 c lower bound updated to -4491593
0.19/0.28 c BCD2: 2843515 <= obj <= 7479447
0.19/0.28 c BCD2: #cores=16, #unrelaxed=111, #relaxed=132, #hardened=0
0.19/0.28 c BCD2: #sat=1 #unsat=65 bias=65/66
0.19/0.28 c Solving starts ...
0.19/0.28 c ============================[ Search Statistics ]============================
0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.28 c | | | | Limit GC | Var | Constra
0.19/0.28 c =============================================================================
0.19/0.28 c 0.0s | 0 | 0 | 0 | 241 0 | 105 | 163
0.19/0.28 c 0.0s | 0 | 233 | 1 | 241 0 | 105 | 163
0.19/0.28 c #cpu_time = 0.002s
0.19/0.28 c #wall_clock_time = 0.002s
0.19/0.28 c #decision = 233
0.19/0.28 c #random_decision = 0
0.19/0.28 c #conflict = 1
0.19/0.28 c #restart = 0
0.19/0.28 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=29666
0.19/0.28 c BCD2: refineLB: 29442 -> 29666
0.19/0.28 c lower bound updated to -4476760
0.19/0.28 c BCD2: 2858348 <= obj <= 7479447
0.19/0.28 c BCD2: #cores=16, #unrelaxed=110, #relaxed=133, #hardened=0
0.19/0.28 c BCD2: #sat=1 #unsat=66 bias=66/67
0.19/0.29 c Solving starts ...
0.19/0.29 c ============================[ Search Statistics ]============================
0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.29 c | | | | Limit GC | Var | Constra
0.19/0.29 c =============================================================================
0.19/0.29 c 0.0s | 0 | 0 | 0 | 241 0 | 107 | 163
0.19/0.29 c 0.0s | 0 | 233 | 1 | 241 0 | 107 | 166
0.19/0.29 c #cpu_time = 0.002s
0.19/0.29 c #wall_clock_time = 0.002s
0.19/0.29 c #decision = 233
0.19/0.29 c #random_decision = 0
0.19/0.29 c #conflict = 1
0.19/0.29 c #restart = 0
0.19/0.29 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=26244
0.19/0.29 c BCD2: refineLB: 26049 -> 26244
0.19/0.29 c lower bound updated to -4463638
0.19/0.29 c BCD2: 2871470 <= obj <= 7479447
0.19/0.29 c BCD2: #cores=16, #unrelaxed=109, #relaxed=134, #hardened=0
0.19/0.29 c BCD2: #sat=1 #unsat=67 bias=67/68
0.19/0.29 c Solving starts ...
0.19/0.29 c ============================[ Search Statistics ]============================
0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.29 c | | | | Limit GC | Var | Constra
0.19/0.29 c =============================================================================
0.19/0.29 c 0.0s | 0 | 0 | 0 | 241 0 | 109 | 166
0.19/0.30 c 0.0s | 0 | 120 | 0 | 241 0 | 109 | 169
0.19/0.30 c #cpu_time = 0.002s
0.19/0.30 c #wall_clock_time = 0.002s
0.19/0.30 c #decision = 120
0.19/0.30 c #random_decision = 0
0.19/0.30 c #conflict = 0
0.19/0.30 c #restart = 0
0.19/0.30 c BCD2: found a new core of size 2: cost of the new core is >=66834
0.19/0.30 c lower bound updated to -4396804
0.29/0.30 c BCD2: 2938304 <= obj <= 7479447
0.29/0.30 c BCD2: #cores=17, #unrelaxed=107, #relaxed=136, #hardened=0
0.29/0.30 c BCD2: #sat=1 #unsat=68 bias=68/69
0.29/0.30 c Solving starts ...
0.29/0.30 c ============================[ Search Statistics ]============================
0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.30 c | | | | Limit GC | Var | Constra
0.29/0.30 c =============================================================================
0.29/0.30 c 0.0s | 0 | 0 | 0 | 241 0 | 109 | 169
0.29/0.31 c 0.0s | 0 | 234 | 1 | 241 0 | 109 | 169
0.29/0.31 c #cpu_time = 0.002s
0.29/0.31 c #wall_clock_time = 0.002s
0.29/0.31 c #decision = 234
0.29/0.31 c #random_decision = 0
0.29/0.31 c #conflict = 1
0.29/0.31 c #restart = 0
0.29/0.31 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=133668
0.29/0.31 c BCD2: refineLB: 132700 -> 133668
0.29/0.31 c lower bound updated to -4329970
0.29/0.31 c BCD2: 3005138 <= obj <= 7479447
0.29/0.31 c BCD2: #cores=17, #unrelaxed=106, #relaxed=137, #hardened=0
0.29/0.31 c BCD2: #sat=1 #unsat=69 bias=69/70
0.29/0.31 c Solving starts ...
0.29/0.31 c ============================[ Search Statistics ]============================
0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.31 c | | | | Limit GC | Var | Constra
0.29/0.31 c =============================================================================
0.29/0.31 c 0.0s | 0 | 0 | 0 | 241 0 | 110 | 169
0.29/0.31 c 0.0s | 0 | 218 | 1 | 241 0 | 110 | 170
0.29/0.31 c #cpu_time = 0.003s
0.29/0.31 c #wall_clock_time = 0.003s
0.29/0.31 c #decision = 218
0.29/0.31 c #random_decision = 0
0.29/0.31 c #conflict = 1
0.29/0.31 c #restart = 0
0.29/0.31 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 8: cost of the new core is >=57621
0.29/0.31 c BCD2: refineLB: 55911 -> 57621
0.29/0.31 c lower bound updated to -4328259
0.29/0.31 c BCD2: 3006849 <= obj <= 7479447
0.29/0.31 c BCD2: #cores=16, #unrelaxed=104, #relaxed=139, #hardened=0
0.29/0.31 c BCD2: #sat=1 #unsat=70 bias=70/71
0.29/0.32 c Solving starts ...
0.29/0.32 c ============================[ Search Statistics ]============================
0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.32 c | | | | Limit GC | Var | Constra
0.29/0.32 c =============================================================================
0.29/0.32 c 0.0s | 0 | 0 | 0 | 241 0 | 112 | 170
0.29/0.32 c 0.0s | 0 | 211 | 1 | 241 0 | 112 | 172
0.29/0.32 c #cpu_time = 0.003s
0.29/0.32 c #wall_clock_time = 0.003s
0.29/0.32 c #decision = 211
0.29/0.32 c #random_decision = 0
0.29/0.32 c #conflict = 1
0.29/0.32 c #restart = 0
0.29/0.32 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 12: cost of the new core is >=602754
0.29/0.32 c BCD2: refineLB: 602714 -> 602754
0.29/0.32 c lower bound updated to -4325403
0.29/0.32 c BCD2: 3009705 <= obj <= 7479447
0.29/0.32 c BCD2: #cores=16, #unrelaxed=101, #relaxed=142, #hardened=0
0.29/0.32 c BCD2: #sat=1 #unsat=71 bias=71/72
0.29/0.32 c Solving starts ...
0.29/0.32 c ============================[ Search Statistics ]============================
0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.32 c | | | | Limit GC | Var | Constra
0.29/0.32 c =============================================================================
0.29/0.32 c 0.0s | 0 | 0 | 0 | 241 0 | 117 | 172
0.29/0.33 c 0.0s | 0 | 230 | 3 | 241 0 | 117 | 181
0.29/0.33 c #cpu_time = 0.003s
0.29/0.33 c #wall_clock_time = 0.003s
0.29/0.33 c #decision = 230
0.29/0.33 c #random_decision = 0
0.29/0.33 c #conflict = 3
0.29/0.33 c #restart = 0
0.29/0.33 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 14: cost of the new core is >=665340
0.29/0.33 c lower bound updated to -4262817
0.29/0.33 c BCD2: 3072291 <= obj <= 7479447
0.29/0.33 c BCD2: #cores=16, #unrelaxed=99, #relaxed=144, #hardened=0
0.29/0.33 c BCD2: #sat=1 #unsat=72 bias=72/73
0.29/0.33 c Solving starts ...
0.29/0.33 c ============================[ Search Statistics ]============================
0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.33 c | | | | Limit GC | Var | Constra
0.29/0.33 c =============================================================================
0.29/0.33 c 0.0s | 0 | 0 | 0 | 241 0 | 118 | 181
0.29/0.34 c 0.0s | 0 | 557 | 5 | 241 0 | 118 | 182
0.29/0.34 c #cpu_time = 0.007s
0.29/0.34 c #wall_clock_time = 0.007s
0.29/0.34 c #decision = 557
0.29/0.34 c #random_decision = 1
0.29/0.34 c #conflict = 5
0.29/0.34 c #restart = 0
0.29/0.34 o -1621377
0.29/0.34 c BCD2: updating upper bound: 7479447 -> 5713730
0.29/0.34 c BCD2: 3072291 <= obj <= 5713730
0.29/0.34 c BCD2: #cores=16, #unrelaxed=99, #relaxed=144, #hardened=0
0.29/0.34 c BCD2: #sat=2 #unsat=72 bias=72/74
0.29/0.35 c Solving starts ...
0.29/0.35 c ============================[ Search Statistics ]============================
0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.35 c | | | | Limit GC | Var | Constra
0.29/0.35 c =============================================================================
0.29/0.35 c 0.0s | 0 | 0 | 0 | 241 0 | 118 | 183
0.29/0.35 c 0.0s | 0 | 10 | 0 | 241 0 | 118 | 183
0.29/0.35 c #cpu_time = 0.003s
0.29/0.35 c #wall_clock_time = 0.003s
0.29/0.35 c #decision = 10
0.29/0.35 c #random_decision = 0
0.29/0.35 c #conflict = 0
0.29/0.35 c #restart = 0
0.29/0.35 c BCD2: relaxing 0 and merging with 3 cores into a new core of size 20: cost of the new core is >=758731
0.29/0.35 c BCD2: refineLB: 758703 -> 758731
0.29/0.35 c lower bound updated to -4199928
0.29/0.35 c BCD2: 3135180 <= obj <= 5713730
0.29/0.35 c BCD2: #cores=14, #unrelaxed=99, #relaxed=144, #hardened=0
0.29/0.35 c BCD2: #sat=2 #unsat=73 bias=73/75
0.29/0.36 c Solving starts ...
0.29/0.36 c ============================[ Search Statistics ]============================
0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.36 c | | | | Limit GC | Var | Constra
0.29/0.36 c =============================================================================
0.29/0.36 c 0.0s | 0 | 0 | 0 | 241 0 | 216 | 183
0.29/0.37 c 0.0s | 0 | 431 | 9 | 241 0 | 216 | 376
0.29/0.37 c #cpu_time = 0.007s
0.29/0.37 c #wall_clock_time = 0.007s
0.29/0.37 c #decision = 431
0.29/0.37 c #random_decision = 0
0.29/0.37 c #conflict = 9
0.29/0.37 c #restart = 0
0.29/0.37 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 31: cost of the new core is >=1289238
0.29/0.37 c lower bound updated to -4058200
0.29/0.37 c BCD2: 3276908 <= obj <= 5713730
0.29/0.37 c BCD2: #cores=13, #unrelaxed=99, #relaxed=144, #hardened=0
0.29/0.37 c BCD2: #sat=2 #unsat=74 bias=74/76
0.29/0.38 c Solving starts ...
0.29/0.38 c ============================[ Search Statistics ]============================
0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.38 c | | | | Limit GC | Var | Constra
0.29/0.38 c =============================================================================
0.29/0.38 c 0.0s | 0 | 0 | 0 | 241 0 | 236 | 376
0.39/0.40 c 0.0s | 0 | 263 | 27 | 241 0 | 236 | 415
0.39/0.40 c #cpu_time = 0.015s
0.39/0.40 c #wall_clock_time = 0.015s
0.39/0.40 c #decision = 263
0.39/0.40 c #random_decision = 0
0.39/0.40 c #conflict = 27
0.39/0.40 c #restart = 0
0.39/0.40 o -1722897
0.39/0.40 c BCD2: updating upper bound: 5713730 -> 5612210
0.39/0.41 c BCD2: 3276908 <= obj <= 5612210
0.39/0.41 c BCD2: #cores=13, #unrelaxed=99, #relaxed=144, #hardened=0
0.39/0.41 c BCD2: #sat=3 #unsat=74 bias=74/77
0.39/0.42 c Solving starts ...
0.39/0.42 c ============================[ Search Statistics ]============================
0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.42 c | | | | Limit GC | Var | Constra
0.39/0.42 c =============================================================================
0.39/0.42 c 0.0s | 0 | 0 | 0 | 241 0 | 236 | 416
0.39/0.42 c 0.0s | 0 | 104 | 1 | 241 0 | 236 | 416
0.39/0.42 c #cpu_time = 0.004s
0.39/0.42 c #wall_clock_time = 0.004s
0.39/0.42 c #decision = 104
0.39/0.42 c #random_decision = 0
0.39/0.42 c #conflict = 1
0.39/0.42 c #restart = 0
0.39/0.42 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 10: cost of the new core is >=206832
0.39/0.42 c BCD2: refineLB: 204198 -> 206832
0.39/0.42 c lower bound updated to -3990582
0.39/0.42 c BCD2: 3344526 <= obj <= 5612210
0.39/0.42 c BCD2: #cores=12, #unrelaxed=99, #relaxed=144, #hardened=0
0.39/0.42 c BCD2: #sat=3 #unsat=75 bias=75/78
0.39/0.43 c Solving starts ...
0.39/0.43 c ============================[ Search Statistics ]============================
0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.43 c | | | | Limit GC | Var | Constra
0.39/0.43 c =============================================================================
0.39/0.43 c 0.0s | 0 | 0 | 0 | 241 0 | 364 | 416
0.39/0.44 c 0.0s | 0 | 196 | 10 | 241 0 | 364 | 674
0.39/0.44 c #cpu_time = 0.008s
0.39/0.44 c #wall_clock_time = 0.008s
0.39/0.44 c #decision = 196
0.39/0.44 c #random_decision = 0
0.39/0.44 c #conflict = 10
0.39/0.44 c #restart = 0
0.39/0.44 c BCD2: relaxing 23 and merging with 7 cores into a new core of size 88: cost of the new core is >=2231149
0.39/0.44 c lower bound updated to -3990581
0.39/0.45 c BCD2: 3344527 <= obj <= 5612210
0.39/0.45 c BCD2: #cores=6, #unrelaxed=76, #relaxed=167, #hardened=0
0.39/0.45 c BCD2: #sat=3 #unsat=76 bias=76/79
0.39/0.46 c Solving starts ...
0.39/0.46 c ============================[ Search Statistics ]============================
0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.46 c | | | | Limit GC | Var | Constra
0.39/0.46 c =============================================================================
0.39/0.46 c 0.0s | 0 | 0 | 0 | 241 0 | 420 | 674
0.39/0.49 c 0.0s | 1 | 294 | 100 | 266 0 | 420 | 786
0.49/0.51 c 0.1s | 1 | 527 | 152 | 266 0 | 420 | 786
0.49/0.51 c #cpu_time = 0.055s
0.49/0.51 c #wall_clock_time = 0.055s
0.49/0.51 c #decision = 527
0.49/0.51 c #random_decision = 0
0.49/0.51 c #conflict = 152
0.49/0.51 c #restart = 1
0.49/0.51 c BCD2: relaxing 41 and merging with 6 cores into a new core of size 208: cost of the new core is >=3344528
0.49/0.51 c lower bound updated to -3990580
0.49/0.52 c BCD2: 3344528 <= obj <= 5612210
0.49/0.52 c BCD2: #cores=1, #unrelaxed=35, #relaxed=208, #hardened=0
0.49/0.52 c BCD2: #sat=3 #unsat=77 bias=77/80
0.49/0.53 c Solving starts ...
0.49/0.53 c ============================[ Search Statistics ]============================
0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.53 c | | | | Limit GC | Var | Constra
0.49/0.53 c =============================================================================
0.49/0.53 c 0.0s | 0 | 0 | 0 | 266 0 | 639 | 786
0.49/0.57 c 0.0s | 1 | 168 | 100 | 293 0 | 639 | 1234
0.59/0.64 c 0.1s | 2 | 414 | 250 | 323 0 | 639 | 1234
0.69/0.73 c 0.2s | 3 | 741 | 475 | 323 0 | 639 | 1234
0.79/0.88 c 0.4s | 4 | 1202 | 813 | 356 0 | 639 | 1234
1.09/1.12 c 0.6s | 5 | 1824 | 1320 | 392 1 | 639 | 1234
1.29/1.37 c 0.8s | 6 | 2690 | 2081 | 432 2 | 639 | 1234
1.79/1.82 c 1.3s | 7 | 3957 | 3223 | 476 4 | 639 | 1234
2.38/2.47 c 1.9s | 8 | 5828 | 4936 | 524 7 | 639 | 1234
3.29/3.39 c 2.9s | 9 | 8554 | 7506 | 577 11 | 639 | 1234
4.79/4.80 c 4.3s | 10 | 12652 | 11361 | 635 16 | 639 | 1234
5.39/5.41 c 4.9s | 10 | 14288 | 12785 | 635 18 | 639 | 1234
5.39/5.41 c #cpu_time = 4.877s
5.39/5.41 c #wall_clock_time = 4.878s
5.39/5.41 c #decision = 14288
5.39/5.41 c #random_decision = 18
5.39/5.41 c #conflict = 12785
5.39/5.41 c #restart = 10
5.39/5.41 o -1882389
5.39/5.41 c BCD2: updating upper bound: 5612210 -> 5452718
5.39/5.41 c BCD2: 3344528 <= obj <= 5452718
5.39/5.41 c BCD2: #cores=1, #unrelaxed=35, #relaxed=208, #hardened=0
5.39/5.41 c BCD2: #sat=4 #unsat=77 bias=77/81
5.39/5.41 c Solving starts ...
5.39/5.41 c ============================[ Search Statistics ]============================
5.39/5.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
5.39/5.41 c | | | | Limit GC | Var | Constra
5.39/5.41 c =============================================================================
5.39/5.41 c 0.0s | 0 | 0 | 0 | 635 0 | 639 | 1235
5.39/5.46 c 0.0s | 1 | 180 | 100 | 635 0 | 639 | 1235
5.50/5.53 c 0.1s | 2 | 456 | 250 | 635 1 | 639 | 1235
5.60/5.62 c 0.2s | 3 | 752 | 475 | 635 1 | 639 | 1235
5.69/5.74 c 0.3s | 4 | 1181 | 813 | 635 2 | 639 | 1235
5.89/5.92 c 0.5s | 5 | 1774 | 1320 | 635 2 | 639 | 1235
6.09/6.19 c 0.8s | 6 | 2648 | 2081 | 635 3 | 639 | 1235
6.60/6.63 c 1.2s | 7 | 3937 | 3223 | 635 5 | 639 | 1235
7.19/7.27 c 1.9s | 8 | 5834 | 4936 | 699 7 | 639 | 1235
8.19/8.23 c 2.8s | 9 | 8614 | 7506 | 699 11 | 639 | 1235
9.59/9.68 c 4.3s | 10 | 12647 | 11361 | 699 16 | 639 | 1235
11.69/11.71 c 6.3s | 10 | 18041 | 16461 | 769 23 | 639 | 1235
11.89/11.98 c 6.6s | 11 | 18739 | 17144 | 769 24 | 639 | 1235
13.89/13.99 c 8.6s | 11 | 24433 | 22544 | 769 31 | 639 | 1235
15.19/15.28 c 9.9s | 12 | 27856 | 25819 | 846 35 | 639 | 1235
17.29/17.31 c 11.9s | 12 | 33646 | 31019 | 846 42 | 639 | 1235
19.29/19.32 c 13.9s | 12 | 39358 | 36119 | 846 48 | 639 | 1235
20.29/20.37 c 15.0s | 13 | 42267 | 38832 | 846 51 | 639 | 1235
22.39/22.40 c 17.0s | 13 | 47772 | 44032 | 846 58 | 639 | 1235
24.39/24.41 c 19.0s | 13 | 53061 | 48932 | 931 63 | 639 | 1235
26.40/26.43 c 21.0s | 13 | 58535 | 54232 | 931 70 | 639 | 1235
27.99/28.08 c 22.7s | 14 | 62939 | 58352 | 931 75 | 639 | 1235
29.99/30.08 c 24.7s | 14 | 69043 | 63952 | 931 81 | 639 | 1235
32.09/32.11 c 26.7s | 14 | 74901 | 69452 | 931 88 | 639 | 1235
34.09/34.14 c 28.7s | 14 | 81005 | 75152 | 1025 94 | 639 | 1235
36.09/36.17 c 30.8s | 14 | 86441 | 80252 | 1025 100 | 639 | 1235
38.09/38.19 c 32.8s | 14 | 91873 | 85452 | 1025 106 | 639 | 1235
38.99/39.02 c 33.6s | 15 | 94176 | 87632 | 1025 108 | 639 | 1235
40.98/41.03 c 35.6s | 15 | 100652 | 93732 | 1025 115 | 639 | 1235
42.99/43.04 c 37.6s | 15 | 105943 | 98732 | 1025 121 | 639 | 1235
44.98/45.07 c 39.7s | 15 | 111588 | 104132 | 1025 127 | 639 | 1235
46.98/47.07 c 41.7s | 15 | 117257 | 109632 | 1025 133 | 639 | 1235
48.98/49.09 c 43.7s | 15 | 122914 | 115032 | 1025 139 | 639 | 1235
51.08/51.11 c 45.7s | 15 | 128176 | 120132 | 1128 144 | 639 | 1235
53.08/53.13 c 47.7s | 15 | 133359 | 125032 | 1128 150 | 639 | 1235
55.09/55.13 c 49.7s | 15 | 138779 | 130232 | 1128 155 | 639 | 1235
55.58/55.68 c 50.3s | 16 | 140160 | 131552 | 1128 156 | 639 | 1235
57.58/57.69 c 52.3s | 16 | 146175 | 137252 | 1128 163 | 639 | 1235
59.68/59.70 c 54.3s | 16 | 151679 | 142552 | 1128 168 | 639 | 1235
61.69/61.72 c 56.3s | 16 | 157059 | 147752 | 1128 174 | 639 | 1235
63.68/63.75 c 58.3s | 16 | 162548 | 153052 | 1128 179 | 639 | 1235
65.68/65.76 c 60.4s | 16 | 167933 | 158152 | 1128 185 | 639 | 1235
67.68/67.78 c 62.4s | 16 | 173275 | 163152 | 1128 190 | 639 | 1235
69.68/69.79 c 64.4s | 16 | 178030 | 167652 | 1128 195 | 639 | 1235
71.78/71.80 c 66.4s | 16 | 183332 | 172752 | 1128 200 | 639 | 1235
73.79/73.82 c 68.4s | 16 | 188390 | 177552 | 1128 205 | 639 | 1235
75.78/75.86 c 70.4s | 16 | 193405 | 182352 | 1128 210 | 639 | 1235
77.88/77.90 c 72.5s | 16 | 198138 | 186752 | 1241 215 | 639 | 1235
79.88/79.92 c 74.5s | 16 | 202899 | 191152 | 1241 219 | 639 | 1235
81.88/81.94 c 76.5s | 16 | 207292 | 195252 | 1241 223 | 639 | 1235
82.58/82.68 c 77.3s | 17 | 209572 | 197432 | 1241 225 | 639 | 1235
84.68/84.71 c 79.3s | 17 | 215316 | 202732 | 1241 231 | 639 | 1235
86.68/86.74 c 81.3s | 17 | 221080 | 208232 | 1241 236 | 639 | 1235
88.68/88.76 c 83.3s | 17 | 226669 | 213532 | 1241 241 | 639 | 1235
90.68/90.78 c 85.4s | 17 | 232129 | 218732 | 1241 247 | 639 | 1235
92.67/92.79 c 87.4s | 17 | 237094 | 223532 | 1241 251 | 639 | 1235
94.68/94.79 c 89.4s | 17 | 241952 | 228232 | 1241 256 | 639 | 1235
96.78/96.82 c 91.4s | 17 | 246850 | 232832 | 1241 261 | 639 | 1235
98.77/98.85 c 93.4s | 17 | 251894 | 237632 | 1241 265 | 639 | 1235
100.77/100.89 c 95.5s | 17 | 256722 | 242232 | 1241 270 | 639 | 1235
102.78/102.90 c 97.5s | 17 | 261655 | 246932 | 1241 275 | 639 | 1235
104.88/104.90 c 99.5s | 17 | 266950 | 251932 | 1241 280 | 639 | 1235
106.88/106.94 c 101s | 17 | 271926 | 256732 | 1241 284 | 639 | 1235
108.88/108.98 c 103s | 17 | 276856 | 261432 | 1241 289 | 639 | 1235
110.98/111.01 c 105s | 17 | 281544 | 265832 | 1241 293 | 639 | 1235
112.97/113.02 c 107s | 17 | 287467 | 271332 | 1241 299 | 639 | 1235
114.97/115.03 c 109s | 17 | 292499 | 276132 | 1241 304 | 639 | 1235
116.97/117.05 c 111s | 17 | 297693 | 281132 | 1241 309 | 639 | 1235
118.97/119.08 c 113s | 17 | 302513 | 285832 | 1366 313 | 639 | 1235
120.98/121.09 c 115s | 17 | 307344 | 290532 | 1366 317 | 639 | 1235
123.07/123.12 c 117s | 17 | 312735 | 295732 | 1366 322 | 639 | 1235
123.28/123.30 c 117s | 18 | 313270 | 296252 | 1366 323 | 639 | 1235
125.27/125.32 c 119s | 18 | 318910 | 301552 | 1366 328 | 639 | 1235
127.27/127.35 c 121s | 18 | 324412 | 306852 | 1366 333 | 639 | 1235
129.27/129.37 c 123s | 18 | 329616 | 311752 | 1366 337 | 639 | 1235
131.27/131.38 c 125s | 18 | 335356 | 317152 | 1366 342 | 639 | 1235
133.27/133.39 c 127s | 18 | 340356 | 321952 | 1366 347 | 639 | 1235
135.38/135.43 c 130s | 18 | 345586 | 326952 | 1366 352 | 639 | 1235
137.37/137.45 c 132s | 18 | 350703 | 331752 | 1366 356 | 639 | 1235
139.37/139.46 c 134s | 18 | 355459 | 336352 | 1366 360 | 639 | 1235
141.37/141.48 c 136s | 18 | 360555 | 341252 | 1366 365 | 639 | 1235
143.47/143.50 c 138s | 18 | 365809 | 346352 | 1366 370 | 639 | 1235
145.46/145.53 c 140s | 18 | 370828 | 351152 | 1366 374 | 639 | 1235
147.47/147.57 c 142s | 18 | 375807 | 355952 | 1366 379 | 639 | 1235
149.57/149.61 c 144s | 18 | 380833 | 360652 | 1366 383 | 639 | 1235
151.56/151.65 c 146s | 18 | 386565 | 365952 | 1366 388 | 639 | 1235
153.56/153.69 c 148s | 18 | 391786 | 370952 | 1366 393 | 639 | 1235
155.66/155.71 c 150s | 18 | 396917 | 375752 | 1366 397 | 639 | 1235
157.66/157.73 c 152s | 18 | 401828 | 380352 | 1366 402 | 639 | 1235
159.66/159.76 c 154s | 18 | 406894 | 385052 | 1366 406 | 639 | 1235
161.67/161.80 c 156s | 18 | 411387 | 389252 | 1366 410 | 639 | 1235
163.76/163.81 c 158s | 18 | 416117 | 393852 | 1366 414 | 639 | 1235
165.76/165.82 c 160s | 18 | 420734 | 398252 | 1366 418 | 639 | 1235
167.76/167.83 c 162s | 18 | 425741 | 402952 | 1366 423 | 639 | 1235
169.76/169.87 c 164s | 18 | 430651 | 407652 | 1366 427 | 639 | 1235
171.76/171.89 c 166s | 18 | 435826 | 412652 | 1366 432 | 639 | 1235
173.77/173.90 c 168s | 18 | 440782 | 417352 | 1366 436 | 639 | 1235
175.86/175.92 c 170s | 18 | 445969 | 422352 | 1366 441 | 639 | 1235
177.86/177.97 c 172s | 18 | 451173 | 427352 | 1366 446 | 639 | 1235
179.87/179.98 c 174s | 18 | 455839 | 431852 | 1503 449 | 639 | 1235
181.97/182.02 c 176s | 18 | 460578 | 436352 | 1503 453 | 639 | 1235
183.97/184.02 c 178s | 18 | 465040 | 440652 | 1503 457 | 639 | 1235
185.76/185.82 c 180s | 19 | 469032 | 444482 | 1503 461 | 639 | 1235
187.76/187.86 c 182s | 19 | 474395 | 449482 | 1503 465 | 639 | 1235
189.76/189.89 c 184s | 19 | 479680 | 454382 | 1503 469 | 639 | 1235
191.86/191.93 c 186s | 19 | 484564 | 458982 | 1503 473 | 639 | 1235
193.86/193.93 c 188s | 19 | 489733 | 463882 | 1503 478 | 639 | 1235
195.87/195.96 c 190s | 19 | 495089 | 468982 | 1503 482 | 639 | 1235
197.86/197.97 c 192s | 19 | 500178 | 473882 | 1503 486 | 639 | 1235
199.86/199.98 c 194s | 19 | 504965 | 478482 | 1503 491 | 639 | 1235
201.86/201.99 c 196s | 19 | 509879 | 483182 | 1503 495 | 639 | 1235
203.96/204.02 c 198s | 19 | 515190 | 488282 | 1503 499 | 639 | 1235
205.96/206.02 c 200s | 19 | 520122 | 492982 | 1503 503 | 639 | 1235
207.97/208.05 c 202s | 19 | 524892 | 497582 | 1503 507 | 639 | 1235
209.96/210.06 c 204s | 19 | 529898 | 502382 | 1503 512 | 639 | 1235
211.96/212.08 c 206s | 19 | 534868 | 507182 | 1503 516 | 639 | 1235
214.06/214.11 c 208s | 19 | 539811 | 511682 | 1503 520 | 639 | 1235
216.06/216.13 c 210s | 19 | 544305 | 515782 | 1503 523 | 639 | 1235
218.06/218.13 c 212s | 19 | 548404 | 519682 | 1503 527 | 639 | 1235
220.06/220.15 c 214s | 19 | 553607 | 524582 | 1503 531 | 639 | 1235
222.06/222.16 c 216s | 19 | 558559 | 529082 | 1503 535 | 639 | 1235
224.06/224.17 c 218s | 19 | 563290 | 533382 | 1503 539 | 639 | 1235
226.06/226.19 c 220s | 19 | 567729 | 537382 | 1503 542 | 639 | 1235
228.16/228.20 c 222s | 19 | 572441 | 541582 | 1503 546 | 639 | 1235
230.16/230.21 c 224s | 19 | 576946 | 545682 | 1503 550 | 639 | 1235
232.16/232.25 c 226s | 19 | 581348 | 549682 | 1503 553 | 639 | 1235
234.15/234.26 c 228s | 19 | 585629 | 553582 | 1503 557 | 639 | 1235
236.15/236.28 c 230s | 19 | 590623 | 558082 | 1503 561 | 639 | 1235
238.25/238.31 c 232s | 19 | 595235 | 562282 | 1503 564 | 639 | 1235
240.25/240.34 c 234s | 19 | 600395 | 566982 | 1503 568 | 639 | 1235
242.25/242.38 c 236s | 19 | 605388 | 571582 | 1503 572 | 639 | 1235
244.35/244.40 c 238s | 19 | 610415 | 576182 | 1503 576 | 639 | 1235
246.36/246.45 c 241s | 19 | 615588 | 580882 | 1503 581 | 639 | 1235
248.35/248.48 c 243s | 19 | 620538 | 585382 | 1503 585 | 639 | 1235
250.35/250.49 c 245s | 19 | 626156 | 590482 | 1503 589 | 639 | 1235
252.45/252.51 c 247s | 19 | 631011 | 594782 | 1503 593 | 639 | 1235
254.45/254.55 c 249s | 19 | 635334 | 598782 | 1503 596 | 639 | 1235
256.45/256.59 c 251s | 19 | 640059 | 603182 | 1503 600 | 639 | 1235
258.46/258.59 c 253s | 19 | 645002 | 607782 | 1503 604 | 639 | 1235
260.55/260.63 c 255s | 19 | 649890 | 612382 | 1503 608 | 639 | 1235
262.55/262.68 c 257s | 19 | 654376 | 616582 | 1503 612 | 639 | 1235
264.55/264.69 c 259s | 19 | 659194 | 621182 | 1503 616 | 639 | 1235
266.65/266.70 c 261s | 19 | 663890 | 625682 | 1503 620 | 639 | 1235
268.65/268.72 c 263s | 19 | 668589 | 629982 | 1503 624 | 639 | 1235
270.65/270.74 c 265s | 19 | 673523 | 634682 | 1503 628 | 639 | 1235
272.65/272.75 c 267s | 19 | 678366 | 639182 | 1503 632 | 639 | 1235
274.65/274.76 c 269s | 19 | 683482 | 644082 | 1503 636 | 639 | 1235
276.75/276.80 c 271s | 19 | 688144 | 648582 | 1503 640 | 639 | 1235
278.75/278.82 c 273s | 19 | 692561 | 652782 | 1654 644 | 639 | 1235
280.74/280.87 c 275s | 19 | 697942 | 657882 | 1654 648 | 639 | 1235
282.75/282.87 c 277s | 19 | 702764 | 662482 | 1654 652 | 639 | 1235
284.74/284.87 c 279s | 19 | 707345 | 666782 | 1654 655 | 639 | 1235
284.74/284.90 c 279s | 20 | 707392 | 666827 | 1654 655 | 639 | 1235
286.84/286.90 c 281s | 20 | 712763 | 671827 | 1654 659 | 639 | 1235
288.84/288.91 c 283s | 20 | 718349 | 676927 | 1654 664 | 639 | 1235
290.84/290.94 c 285s | 20 | 723586 | 681927 | 1654 668 | 639 | 1235
292.84/292.94 c 287s | 20 | 728898 | 687027 | 1654 672 | 639 | 1235
294.85/294.98 c 289s | 20 | 733775 | 691727 | 1654 676 | 639 | 1235
296.95/297.01 c 291s | 20 | 738520 | 696227 | 1654 679 | 639 | 1235
298.94/299.04 c 293s | 20 | 743805 | 701227 | 1654 684 | 639 | 1235
300.94/301.05 c 295s | 20 | 748271 | 705427 | 1654 687 | 639 | 1235
302.94/303.08 c 297s | 20 | 753429 | 710327 | 1654 691 | 639 | 1235
304.94/305.08 c 299s | 20 | 758155 | 714827 | 1654 695 | 639 | 1235
307.04/307.10 c 301s | 20 | 763051 | 719427 | 1654 699 | 639 | 1235
309.05/309.13 c 303s | 20 | 767856 | 723927 | 1654 702 | 639 | 1235
311.04/311.17 c 305s | 20 | 772838 | 728627 | 1654 706 | 639 | 1235
313.04/313.18 c 307s | 20 | 777916 | 733427 | 1654 710 | 639 | 1235
315.04/315.19 c 309s | 20 | 782692 | 737927 | 1654 714 | 639 | 1235
317.14/317.20 c 311s | 20 | 787478 | 742427 | 1654 718 | 639 | 1235
319.14/319.21 c 313s | 20 | 792052 | 746727 | 1654 721 | 639 | 1235
321.15/321.26 c 315s | 20 | 796958 | 751327 | 1654 725 | 639 | 1235
323.14/323.29 c 317s | 20 | 802303 | 756427 | 1654 729 | 639 | 1235
325.24/325.31 c 319s | 20 | 807168 | 761027 | 1654 733 | 639 | 1235
327.24/327.31 c 321s | 20 | 811749 | 765427 | 1654 737 | 639 | 1235
329.24/329.34 c 323s | 20 | 816326 | 769827 | 1654 740 | 639 | 1235
331.24/331.39 c 325s | 20 | 821072 | 774327 | 1654 744 | 639 | 1235
333.25/333.39 c 327s | 20 | 825895 | 778827 | 1654 748 | 639 | 1235
335.34/335.40 c 329s | 20 | 830695 | 783427 | 1654 751 | 639 | 1235
337.34/337.40 c 331s | 20 | 835568 | 787927 | 1654 755 | 639 | 1235
339.34/339.42 c 334s | 20 | 840774 | 792827 | 1654 759 | 639 | 1235
341.34/341.43 c 336s | 20 | 845323 | 797227 | 1654 763 | 639 | 1235
343.34/343.46 c 338s | 20 | 849802 | 801427 | 1654 766 | 639 | 1235
345.35/345.46 c 340s | 20 | 854441 | 805827 | 1654 770 | 639 | 1235
347.34/347.47 c 342s | 20 | 858647 | 809827 | 1654 773 | 639 | 1235
349.34/349.48 c 344s | 20 | 863215 | 814227 | 1654 777 | 639 | 1235
351.44/351.51 c 346s | 20 | 867556 | 818427 | 1654 780 | 639 | 1235
353.44/353.52 c 348s | 20 | 872497 | 823127 | 1654 784 | 639 | 1235
355.44/355.55 c 350s | 20 | 877806 | 828227 | 1654 788 | 639 | 1235
357.44/357.57 c 352s | 20 | 882550 | 832727 | 1654 792 | 639 | 1235
359.53/359.61 c 354s | 20 | 887457 | 837427 | 1654 796 | 639 | 1235
361.53/361.67 c 356s | 20 | 892338 | 842127 | 1654 800 | 639 | 1235
363.53/363.69 c 358s | 20 | 896786 | 846427 | 1654 803 | 639 | 1235
365.63/365.72 c 360s | 20 | 901407 | 850927 | 1654 807 | 639 | 1235
367.63/367.73 c 362s | 20 | 905962 | 855327 | 1654 811 | 639 | 1235
369.64/369.78 c 364s | 20 | 910320 | 859527 | 1654 814 | 639 | 1235
371.63/371.80 c 366s | 20 | 914907 | 863927 | 1654 818 | 639 | 1235
373.73/373.83 c 368s | 20 | 919377 | 868227 | 1654 821 | 639 | 1235
375.73/375.84 c 370s | 20 | 923419 | 872127 | 1654 825 | 639 | 1235
377.73/377.85 c 372s | 20 | 928601 | 877027 | 1654 829 | 639 | 1235
379.73/379.86 c 374s | 20 | 933511 | 881727 | 1654 832 | 639 | 1235
381.74/381.87 c 376s | 20 | 938249 | 886127 | 1654 836 | 639 | 1235
383.73/383.89 c 378s | 20 | 943004 | 890627 | 1654 840 | 639 | 1235
385.83/385.90 c 380s | 20 | 947360 | 894727 | 1654 843 | 639 | 1235
387.83/387.93 c 382s | 20 | 951755 | 898927 | 1654 847 | 639 | 1235
389.83/389.93 c 384s | 20 | 956415 | 903427 | 1654 850 | 639 | 1235
391.83/391.96 c 386s | 20 | 960918 | 907727 | 1654 854 | 639 | 1235
393.83/393.98 c 388s | 20 | 965906 | 912427 | 1654 858 | 639 | 1235
395.83/395.99 c 390s | 20 | 970321 | 916627 | 1654 861 | 639 | 1235
397.93/398.00 c 392s | 20 | 975078 | 920927 | 1654 865 | 639 | 1235
399.93/400.04 c 394s | 20 | 979995 | 925527 | 1654 869 | 639 | 1235
401.92/402.06 c 396s | 20 | 984746 | 930127 | 1654 872 | 639 | 1235
403.92/404.07 c 398s | 20 | 989510 | 934527 | 1654 876 | 639 | 1235
405.93/406.07 c 400s | 20 | 994003 | 938727 | 1654 879 | 639 | 1235
407.92/408.09 c 402s | 20 | 998425 | 942927 | 1654 883 | 639 | 1235
410.02/410.12 c 404s | 20 | 1002751 | 947027 | 1654 886 | 639 | 1235
412.02/412.13 c 406s | 20 | 1006761 | 950827 | 1654 889 | 639 | 1235
414.02/414.17 c 408s | 20 | 1011316 | 955127 | 1654 893 | 639 | 1235
416.02/416.18 c 410s | 20 | 1015318 | 958927 | 1654 896 | 639 | 1235
418.12/418.20 c 412s | 20 | 1019557 | 962927 | 1654 899 | 639 | 1235
420.13/420.24 c 414s | 20 | 1023987 | 967027 | 1654 903 | 639 | 1235
422.12/422.27 c 416s | 20 | 1028058 | 970827 | 1654 906 | 639 | 1235
424.22/424.32 c 418s | 20 | 1032425 | 974927 | 1654 909 | 639 | 1235
426.22/426.33 c 420s | 20 | 1037037 | 979327 | 1654 913 | 639 | 1235
428.22/428.35 c 422s | 20 | 1041125 | 983227 | 1820 916 | 639 | 1235
430.22/430.38 c 424s | 20 | 1045374 | 987227 | 1820 919 | 639 | 1235
432.23/432.40 c 426s | 20 | 1049684 | 991327 | 1820 922 | 639 | 1235
434.33/434.41 c 428s | 20 | 1054542 | 995827 | 1820 925 | 639 | 1235
436.33/436.41 c 430s | 20 | 1058790 | 999727 | 1820 928 | 639 | 1235
436.63/436.73 c 431s | 21 | 1059441 | 1000345 | 1820 929 | 639 | 1235
438.63/438.75 c 433s | 21 | 1064546 | 1005045 | 1820 933 | 639 | 1235
440.63/440.76 c 435s | 21 | 1069237 | 1009445 | 1820 936 | 639 | 1235
442.63/442.78 c 437s | 21 | 1074063 | 1014045 | 1820 940 | 639 | 1235
444.72/444.81 c 439s | 21 | 1078699 | 1018445 | 1820 943 | 639 | 1235
446.72/446.82 c 441s | 21 | 1083729 | 1023145 | 1820 947 | 639 | 1235
448.73/448.85 c 443s | 21 | 1088546 | 1027745 | 1820 950 | 639 | 1235
450.72/450.86 c 445s | 21 | 1093778 | 1032645 | 1820 954 | 639 | 1235
452.72/452.89 c 447s | 21 | 1098693 | 1037245 | 1820 958 | 639 | 1235
454.82/454.91 c 449s | 21 | 1103657 | 1041745 | 1820 961 | 639 | 1235
456.82/456.95 c 451s | 21 | 1108011 | 1045645 | 1820 964 | 639 | 1235
458.82/458.98 c 453s | 21 | 1112645 | 1049845 | 1820 967 | 639 | 1235
460.93/461.01 c 455s | 21 | 1117888 | 1054745 | 1820 971 | 639 | 1235
462.92/463.06 c 457s | 21 | 1122658 | 1059245 | 1820 975 | 639 | 1235
464.92/465.07 c 459s | 21 | 1127620 | 1063945 | 1820 978 | 639 | 1235
467.02/467.10 c 461s | 21 | 1132116 | 1068245 | 1820 981 | 639 | 1235
469.02/469.13 c 463s | 21 | 1136657 | 1072545 | 1820 985 | 639 | 1235
471.02/471.16 c 465s | 21 | 1141185 | 1076745 | 1820 988 | 639 | 1235
473.12/473.20 c 467s | 21 | 1145640 | 1080745 | 1820 991 | 639 | 1235
475.12/475.21 c 469s | 21 | 1149875 | 1084745 | 1820 994 | 639 | 1235
477.12/477.23 c 471s | 21 | 1154312 | 1088945 | 1820 997 | 639 | 1235
479.12/479.29 c 473s | 21 | 1158565 | 1093045 | 1820 1001 | 639 | 1235
481.22/481.31 c 475s | 21 | 1163066 | 1097345 | 1820 1004 | 639 | 1235
483.22/483.33 c 477s | 21 | 1167666 | 1101745 | 1820 1007 | 639 | 1235
485.22/485.35 c 479s | 21 | 1171658 | 1105545 | 1820 1010 | 639 | 1235
487.22/487.37 c 481s | 21 | 1175635 | 1109245 | 1820 1013 | 639 | 1235
489.21/489.40 c 483s | 21 | 1180123 | 1113445 | 1820 1016 | 639 | 1235
491.31/491.46 c 486s | 21 | 1184707 | 1117745 | 1820 1020 | 639 | 1235
493.31/493.46 c 488s | 21 | 1189462 | 1122145 | 1820 1023 | 639 | 1235
495.41/495.50 c 490s | 21 | 1194440 | 1126745 | 1820 1027 | 639 | 1235
497.41/497.54 c 492s | 21 | 1199505 | 1131445 | 1820 1030 | 639 | 1235
499.42/499.57 c 494s | 21 | 1204739 | 1136345 | 1820 1034 | 639 | 1235
501.41/501.58 c 496s | 21 | 1209341 | 1140645 | 1820 1037 | 639 | 1235
503.51/503.61 c 498s | 21 | 1214515 | 1145545 | 1820 1041 | 639 | 1235
505.51/505.64 c 500s | 21 | 1219394 | 1150145 | 1820 1045 | 639 | 1235
507.51/507.65 c 502s | 21 | 1224076 | 1154545 | 1820 1048 | 639 | 1235
509.51/509.66 c 504s | 21 | 1229049 | 1159145 | 1820 1052 | 639 | 1235
511.52/511.66 c 506s | 21 | 1233558 | 1163345 | 1820 1055 | 639 | 1235
513.51/513.68 c 508s | 21 | 1238015 | 1167545 | 1820 1058 | 639 | 1235
515.61/515.71 c 510s | 21 | 1242741 | 1172045 | 1820 1061 | 639 | 1235
517.61/517.73 c 512s | 21 | 1247451 | 1176445 | 1820 1065 | 639 | 1235
519.61/519.76 c 514s | 21 | 1251681 | 1180445 | 1820 1068 | 639 | 1235
521.61/521.77 c 516s | 21 | 1255826 | 1184445 | 1820 1071 | 639 | 1235
523.61/523.78 c 518s | 21 | 1261303 | 1189645 | 1820 1075 | 639 | 1235
525.61/525.79 c 520s | 21 | 1266336 | 1194345 | 1820 1079 | 639 | 1235
527.71/527.81 c 522s | 21 | 1271236 | 1198945 | 1820 1082 | 639 | 1235
529.71/529.88 c 524s | 21 | 1276114 | 1203245 | 1820 1086 | 639 | 1235
531.80/531.90 c 526s | 21 | 1280402 | 1207245 | 1820 1089 | 639 | 1235
533.80/533.93 c 528s | 21 | 1284881 | 1211345 | 1820 1092 | 639 | 1235
535.80/535.96 c 530s | 21 | 1289794 | 1215845 | 1820 1095 | 639 | 1235
537.81/537.97 c 532s | 21 | 1294673 | 1220245 | 1820 1099 | 639 | 1235
539.80/539.98 c 534s | 21 | 1299474 | 1224645 | 1820 1102 | 639 | 1235
541.90/542.03 c 536s | 21 | 1304171 | 1229045 | 1820 1105 | 639 | 1235
543.90/544.07 c 538s | 21 | 1308372 | 1233045 | 1820 1108 | 639 | 1235
546.00/546.10 c 540s | 21 | 1312890 | 1237345 | 1820 1112 | 639 | 1235
548.00/548.14 c 542s | 21 | 1317612 | 1241845 | 1820 1115 | 639 | 1235
550.02/550.15 c 544s | 21 | 1322189 | 1246145 | 1820 1119 | 639 | 1235
552.01/552.19 c 546s | 21 | 1327437 | 1251145 | 1820 1122 | 639 | 1235
554.11/554.24 c 548s | 21 | 1332315 | 1255745 | 1820 1126 | 639 | 1235
556.11/556.24 c 550s | 21 | 1337031 | 1260145 | 1820 1129 | 639 | 1235
558.11/558.25 c 552s | 21 | 1341921 | 1264745 | 1820 1133 | 639 | 1235
560.11/560.28 c 554s | 21 | 1346923 | 1269445 | 1820 1137 | 639 | 1235
562.21/562.32 c 556s | 21 | 1351619 | 1273845 | 1820 1140 | 639 | 1235
564.21/564.35 c 558s | 21 | 1356002 | 1277945 | 1820 1143 | 639 | 1235
566.20/566.38 c 560s | 21 | 1360347 | 1282045 | 1820 1146 | 639 | 1235
568.20/568.39 c 562s | 21 | 1365148 | 1286445 | 1820 1150 | 639 | 1235
570.20/570.40 c 564s | 21 | 1369382 | 1290445 | 1820 1153 | 639 | 1235
572.30/572.42 c 567s | 21 | 1373709 | 1294545 | 1820 1156 | 639 | 1235
574.30/574.44 c 569s | 21 | 1378536 | 1299145 | 1820 1159 | 639 | 1235
576.31/576.48 c 571s | 21 | 1383526 | 1303845 | 1820 1163 | 639 | 1235
578.30/578.49 c 573s | 21 | 1388199 | 1308245 | 1820 1166 | 639 | 1235
580.40/580.52 c 575s | 21 | 1392779 | 1312645 | 1820 1170 | 639 | 1235
582.40/582.54 c 577s | 21 | 1397145 | 1316845 | 1820 1173 | 639 | 1235
584.40/584.56 c 579s | 21 | 1401798 | 1321145 | 1820 1176 | 639 | 1235
586.50/586.60 c 581s | 21 | 1406554 | 1325645 | 1820 1180 | 639 | 1235
588.51/588.62 c 583s | 21 | 1411061 | 1329945 | 1820 1183 | 639 | 1235
590.50/590.65 c 585s | 21 | 1415930 | 1334545 | 1820 1187 | 639 | 1235
592.50/592.66 c 587s | 21 | 1420835 | 1339245 | 1820 1190 | 639 | 1235
594.60/594.71 c 589s | 21 | 1425604 | 1343745 | 1820 1194 | 639 | 1235
596.60/596.72 c 591s | 21 | 1430441 | 1348345 | 1820 1197 | 639 | 1235
598.60/598.76 c 593s | 21 | 1434530 | 1352245 | 1820 1200 | 639 | 1235
600.60/600.78 c 595s | 21 | 1439167 | 1356645 | 1820 1204 | 639 | 1235
602.60/602.80 c 597s | 21 | 1443673 | 1360845 | 1820 1207 | 639 | 1235
604.70/604.80 c 599s | 21 | 1448072 | 1365045 | 1820 1210 | 639 | 1235
606.70/606.84 c 601s | 21 | 1453361 | 1369945 | 1820 1214 | 639 | 1235
608.70/608.86 c 603s | 21 | 1458235 | 1374345 | 1820 1217 | 639 | 1235
610.70/610.89 c 605s | 21 | 1462497 | 1378445 | 1820 1221 | 639 | 1235
612.79/612.90 c 607s | 21 | 1466664 | 1382245 | 1820 1224 | 639 | 1235
614.80/614.93 c 609s | 21 | 1471501 | 1386845 | 1820 1227 | 639 | 1235
616.79/616.94 c 611s | 21 | 1476003 | 1391145 | 1820 1230 | 639 | 1235
618.79/618.94 c 613s | 21 | 1480323 | 1395245 | 1820 1234 | 639 | 1235
620.79/620.98 c 615s | 21 | 1485313 | 1399845 | 1820 1237 | 639 | 1235
622.79/622.99 c 617s | 21 | 1489912 | 1404145 | 1820 1240 | 639 | 1235
624.89/625.04 c 619s | 21 | 1494432 | 1408345 | 1820 1244 | 639 | 1235
626.90/627.06 c 621s | 21 | 1499177 | 1412845 | 1820 1247 | 639 | 1235
628.89/629.06 c 623s | 21 | 1503860 | 1417345 | 1820 1251 | 639 | 1235
630.89/631.07 c 625s | 21 | 1508536 | 1421845 | 1820 1254 | 639 | 1235
632.99/633.10 c 627s | 21 | 1513408 | 1426445 | 1820 1258 | 639 | 1235
634.99/635.11 c 629s | 21 | 1517789 | 1430645 | 1820 1261 | 639 | 1235
636.99/637.12 c 631s | 21 | 1522681 | 1435345 | 1820 1264 | 639 | 1235
639.00/639.13 c 633s | 21 | 1527538 | 1439945 | 1820 1268 | 639 | 1235
640.99/641.16 c 635s | 21 | 1531767 | 1444045 | 1820 1271 | 639 | 1235
642.99/643.18 c 637s | 21 | 1536317 | 1448245 | 1820 1274 | 639 | 1235
645.09/645.22 c 639s | 21 | 1540962 | 1452645 | 1820 1278 | 639 | 1235
647.09/647.26 c 641s | 21 | 1545606 | 1457145 | 1820 1281 | 639 | 1235
649.09/649.27 c 643s | 21 | 1550031 | 1461345 | 1820 1285 | 639 | 1235
651.09/651.30 c 645s | 21 | 1554999 | 1466045 | 1820 1288 | 639 | 1235
653.19/653.33 c 647s | 21 | 1559672 | 1470545 | 1820 1292 | 639 | 1235
655.19/655.34 c 649s | 21 | 1564461 | 1475145 | 1820 1295 | 639 | 1235
657.19/657.36 c 651s | 21 | 1569061 | 1479545 | 2003 1298 | 639 | 1235
659.29/659.40 c 653s | 21 | 1573813 | 1484045 | 2003 1302 | 639 | 1235
661.29/661.44 c 656s | 21 | 1578801 | 1488745 | 2003 1305 | 639 | 1235
663.29/663.47 c 658s | 21 | 1582820 | 1492645 | 2003 1308 | 639 | 1235
665.28/665.48 c 660s | 21 | 1586941 | 1496545 | 2003 1311 | 639 | 1235
667.28/667.43 c 662s | 22 | 1591235 | 1500622 | 2003 1314 | 639 | 1235
669.28/669.44 c 664s | 22 | 1596726 | 1505622 | 2003 1317 | 639 | 1235
671.28/671.44 c 666s | 22 | 1601195 | 1509922 | 2003 1320 | 639 | 1235
673.28/673.47 c 668s | 22 | 1606031 | 1514622 | 2003 1324 | 639 | 1235
675.29/675.48 c 670s | 22 | 1610601 | 1519022 | 2003 1327 | 639 | 1235
677.28/677.49 c 672s | 22 | 1614710 | 1523022 | 2003 1330 | 639 | 1235
679.38/679.52 c 674s | 22 | 1619348 | 1527522 | 2003 1333 | 639 | 1235
681.38/681.53 c 676s | 22 | 1623652 | 1531622 | 2003 1336 | 639 | 1235
683.38/683.56 c 678s | 22 | 1628024 | 1535722 | 2003 1339 | 639 | 1235
685.48/685.60 c 680s | 22 | 1633111 | 1540522 | 2003 1342 | 639 | 1235
687.49/687.62 c 682s | 22 | 1637802 | 1544922 | 2003 1346 | 639 | 1235
689.48/689.64 c 684s | 22 | 1642815 | 1549722 | 2003 1349 | 639 | 1235
691.48/691.65 c 686s | 22 | 1647466 | 1554222 | 2003 1352 | 639 | 1235
693.48/693.66 c 688s | 22 | 1651893 | 1558422 | 2003 1355 | 639 | 1235
695.48/695.69 c 690s | 22 | 1656221 | 1562422 | 2003 1358 | 639 | 1235
697.48/697.69 c 692s | 22 | 1660424 | 1566322 | 2003 1361 | 639 | 1235
699.59/699.74 c 694s | 22 | 1664760 | 1570522 | 2003 1364 | 639 | 1235
701.59/701.76 c 696s | 22 | 1669466 | 1575022 | 2003 1367 | 639 | 1235
703.59/703.76 c 698s | 22 | 1673767 | 1579122 | 2003 1370 | 639 | 1235
705.58/705.78 c 700s | 22 | 1678093 | 1583222 | 2003 1373 | 639 | 1235
707.68/707.81 c 702s | 22 | 1682547 | 1587522 | 2003 1376 | 639 | 1235
709.68/709.83 c 704s | 22 | 1686941 | 1591722 | 2003 1379 | 639 | 1235
711.69/711.84 c 706s | 22 | 1691118 | 1595622 | 2003 1382 | 639 | 1235
713.68/713.88 c 708s | 22 | 1695538 | 1599922 | 2003 1385 | 639 | 1235
715.78/715.90 c 710s | 22 | 1699556 | 1603822 | 2003 1388 | 639 | 1235
717.78/717.93 c 712s | 22 | 1704166 | 1608222 | 2003 1391 | 639 | 1235
719.78/719.93 c 714s | 22 | 1708609 | 1612422 | 2003 1394 | 639 | 1235
721.78/721.96 c 716s | 22 | 1713361 | 1617022 | 2003 1398 | 639 | 1235
723.79/723.99 c 718s | 22 | 1718282 | 1621722 | 2003 1401 | 639 | 1235
725.89/726.02 c 720s | 22 | 1722710 | 1626022 | 2003 1404 | 639 | 1235
727.88/728.06 c 722s | 22 | 1727155 | 1630322 | 2003 1407 | 639 | 1235
729.88/730.08 c 724s | 22 | 1731227 | 1634222 | 2003 1410 | 639 | 1235
731.98/732.12 c 726s | 22 | 1735483 | 1638322 | 2003 1413 | 639 | 1235
733.98/734.14 c 728s | 22 | 1739933 | 1642622 | 2003 1416 | 639 | 1235
735.98/736.15 c 730s | 22 | 1744070 | 1646622 | 2003 1419 | 639 | 1235
737.99/738.19 c 732s | 22 | 1748435 | 1650822 | 2003 1422 | 639 | 1235
740.08/740.21 c 734s | 22 | 1752900 | 1655122 | 2003 1425 | 639 | 1235
742.08/742.26 c 736s | 22 | 1757361 | 1659422 | 2003 1428 | 639 | 1235
744.08/744.28 c 738s | 22 | 1762466 | 1664322 | 2003 1432 | 639 | 1235
746.18/746.30 c 740s | 22 | 1767714 | 1669222 | 2003 1435 | 639 | 1235
748.18/748.32 c 742s | 22 | 1772379 | 1673622 | 2003 1438 | 639 | 1235
750.18/750.33 c 744s | 22 | 1777018 | 1678022 | 2003 1441 | 639 | 1235
752.18/752.35 c 746s | 22 | 1781697 | 1682522 | 2003 1445 | 639 | 1235
754.18/754.39 c 748s | 22 | 1786118 | 1686722 | 2003 1448 | 639 | 1235
756.28/756.41 c 750s | 22 | 1790292 | 1690722 | 2003 1451 | 639 | 1235
758.28/758.43 c 753s | 22 | 1794657 | 1694922 | 2003 1454 | 639 | 1235
760.28/760.43 c 755s | 22 | 1798691 | 1698822 | 2003 1457 | 639 | 1235
762.28/762.45 c 757s | 22 | 1802620 | 1702622 | 2003 1459 | 639 | 1235
764.27/764.48 c 759s | 22 | 1806673 | 1706522 | 2003 1462 | 639 | 1235
766.37/766.53 c 761s | 22 | 1810549 | 1710222 | 2003 1465 | 639 | 1235
768.37/768.55 c 763s | 22 | 1814515 | 1714022 | 2003 1467 | 639 | 1235
770.37/770.56 c 765s | 22 | 1818959 | 1718322 | 2003 1471 | 639 | 1235
772.37/772.59 c 767s | 22 | 1823202 | 1722422 | 2003 1473 | 639 | 1235
774.47/774.64 c 769s | 22 | 1827552 | 1726622 | 2003 1477 | 639 | 1235
776.48/776.66 c 771s | 22 | 1832466 | 1731222 | 2003 1480 | 639 | 1235
778.47/778.69 c 773s | 22 | 1837162 | 1735622 | 2003 1483 | 639 | 1235
780.57/780.71 c 775s | 22 | 1841911 | 1740122 | 2003 1486 | 639 | 1235
782.57/782.71 c 777s | 22 | 1846458 | 1744422 | 2003 1489 | 639 | 1235
784.57/784.75 c 779s | 22 | 1850667 | 1748522 | 2003 1492 | 639 | 1235
786.67/786.80 c 781s | 22 | 1854897 | 1752522 | 2003 1495 | 639 | 1235
788.68/788.81 c 783s | 22 | 1858977 | 1756322 | 2003 1498 | 639 | 1235
790.67/790.84 c 785s | 22 | 1863395 | 1760622 | 2003 1501 | 639 | 1235
792.67/792.87 c 787s | 22 | 1867544 | 1764622 | 2003 1504 | 639 | 1235
794.67/794.89 c 789s | 22 | 1872145 | 1769022 | 2003 1507 | 639 | 1235
796.77/796.91 c 791s | 22 | 1876327 | 1773022 | 2003 1510 | 639 | 1235
798.77/798.92 c 793s | 22 | 1880784 | 1777322 | 2003 1513 | 639 | 1235
800.77/800.94 c 795s | 22 | 1884897 | 1781322 | 2003 1516 | 639 | 1235
802.77/802.98 c 797s | 22 | 1889455 | 1785722 | 2003 1519 | 639 | 1235
804.86/805.02 c 799s | 22 | 1894023 | 1790022 | 2003 1522 | 639 | 1235
806.86/807.03 c 801s | 22 | 1898464 | 1794322 | 2003 1525 | 639 | 1235
808.86/809.07 c 803s | 22 | 1902724 | 1798422 | 2003 1528 | 639 | 1235
810.86/811.08 c 805s | 22 | 1906780 | 1802322 | 2003 1531 | 639 | 1235
812.96/813.10 c 807s | 22 | 1910960 | 1806322 | 2003 1534 | 639 | 1235
814.97/815.11 c 809s | 22 | 1915111 | 1810322 | 2003 1537 | 639 | 1235
816.96/817.14 c 811s | 22 | 1919188 | 1814222 | 2003 1540 | 639 | 1235
818.97/819.14 c 813s | 22 | 1924283 | 1819122 | 2003 1543 | 639 | 1235
820.97/821.16 c 815s | 22 | 1929128 | 1823822 | 2003 1546 | 639 | 1235
822.97/823.16 c 817s | 22 | 1933364 | 1827922 | 2003 1549 | 639 | 1235
824.97/825.17 c 819s | 22 | 1937415 | 1831822 | 2003 1552 | 639 | 1235
827.07/827.22 c 821s | 22 | 1941545 | 1835722 | 2003 1555 | 639 | 1235
829.07/829.25 c 823s | 22 | 1945584 | 1839622 | 2003 1558 | 639 | 1235
831.06/831.27 c 825s | 22 | 1949481 | 1843422 | 2003 1561 | 639 | 1235
833.06/833.29 c 827s | 22 | 1953191 | 1846922 | 2003 1563 | 639 | 1235
835.16/835.32 c 829s | 22 | 1957894 | 1851422 | 2003 1566 | 639 | 1235
837.16/837.33 c 831s | 22 | 1962809 | 1856122 | 2003 1570 | 639 | 1235
839.17/839.36 c 833s | 22 | 1967675 | 1860822 | 2003 1573 | 639 | 1235
841.26/841.41 c 835s | 22 | 1972011 | 1865022 | 2003 1576 | 639 | 1235
843.26/843.43 c 838s | 22 | 1976441 | 1869222 | 2003 1579 | 639 | 1235
845.26/845.45 c 840s | 22 | 1980890 | 1873422 | 2003 1582 | 639 | 1235
847.26/847.47 c 842s | 22 | 1985516 | 1877822 | 2003 1585 | 639 | 1235
849.26/849.49 c 844s | 22 | 1989815 | 1881922 | 2003 1588 | 639 | 1235
851.37/851.52 c 846s | 22 | 1994065 | 1886022 | 2003 1591 | 639 | 1235
853.36/853.55 c 848s | 22 | 1998645 | 1890322 | 2003 1594 | 639 | 1235
855.36/855.58 c 850s | 22 | 2002797 | 1894322 | 2003 1597 | 639 | 1235
857.36/857.58 c 852s | 22 | 2006933 | 1898322 | 2003 1600 | 639 | 1235
859.46/859.61 c 854s | 22 | 2010994 | 1902222 | 2003 1603 | 639 | 1235
861.45/861.64 c 856s | 22 | 2015617 | 1906522 | 2003 1606 | 639 | 1235
863.46/863.65 c 858s | 22 | 2019938 | 1910622 | 2003 1609 | 639 | 1235
865.45/865.65 c 860s | 22 | 2024072 | 1914622 | 2003 1612 | 639 | 1235
867.45/867.67 c 862s | 22 | 2029143 | 1919422 | 2003 1615 | 639 | 1235
869.55/869.71 c 864s | 22 | 2034161 | 1924222 | 2003 1619 | 639 | 1235
871.55/871.71 c 866s | 22 | 2038836 | 1928722 | 2003 1622 | 639 | 1235
873.55/873.75 c 868s | 22 | 2043326 | 1933022 | 2003 1625 | 639 | 1235
875.56/875.76 c 870s | 22 | 2047746 | 1937322 | 2003 1628 | 639 | 1235
877.55/877.80 c 872s | 22 | 2052323 | 1941722 | 2003 1631 | 639 | 1235
879.66/879.80 c 874s | 22 | 2056881 | 1946022 | 2003 1635 | 639 | 1235
881.66/881.82 c 876s | 22 | 2061020 | 1950022 | 2003 1637 | 639 | 1235
883.66/883.85 c 878s | 22 | 2065880 | 1954622 | 2003 1641 | 639 | 1235
885.66/885.87 c 880s | 22 | 2070471 | 1959022 | 2003 1644 | 639 | 1235
887.66/887.89 c 882s | 22 | 2074970 | 1963322 | 2003 1647 | 639 | 1235
889.76/889.90 c 884s | 22 | 2079729 | 1967822 | 2003 1650 | 639 | 1235
891.76/891.92 c 886s | 22 | 2084461 | 1972322 | 2003 1653 | 639 | 1235
893.76/893.95 c 888s | 22 | 2089489 | 1977022 | 2003 1657 | 639 | 1235
895.86/896.00 c 890s | 22 | 2094324 | 1981622 | 2003 1660 | 639 | 1235
897.86/898.01 c 892s | 22 | 2099012 | 1986022 | 2003 1663 | 639 | 1235
899.86/900.04 c 894s | 22 | 2103765 | 1990322 | 2003 1666 | 639 | 1235
901.86/902.05 c 896s | 22 | 2108748 | 1994822 | 2003 1670 | 639 | 1235
903.85/904.09 c 898s | 22 | 2113394 | 1999222 | 2003 1673 | 639 | 1235
905.95/906.13 c 900s | 22 | 2117892 | 2003422 | 2003 1676 | 639 | 1235
907.95/908.15 c 902s | 22 | 2122249 | 2007422 | 2003 1679 | 639 | 1235
909.95/910.17 c 904s | 22 | 2126682 | 2011522 | 2003 1682 | 639 | 1235
912.05/912.20 c 906s | 22 | 2131059 | 2015622 | 2003 1685 | 639 | 1235
914.06/914.23 c 908s | 22 | 2135882 | 2020022 | 2003 1688 | 639 | 1235
916.05/916.24 c 910s | 22 | 2139995 | 2023822 | 2003 1691 | 639 | 1235
918.05/918.27 c 912s | 22 | 2144259 | 2027822 | 2003 1694 | 639 | 1235
920.05/920.29 c 914s | 22 | 2148647 | 2031822 | 2003 1696 | 639 | 1235
922.15/922.32 c 916s | 22 | 2152773 | 2035622 | 2003 1699 | 639 | 1235
924.15/924.33 c 918s | 22 | 2156787 | 2039422 | 2003 1702 | 639 | 1235
926.16/926.35 c 920s | 22 | 2160855 | 2043322 | 2003 1705 | 639 | 1235
928.15/928.40 c 922s | 22 | 2165365 | 2047622 | 2003 1708 | 639 | 1235
930.25/930.47 c 925s | 22 | 2169409 | 2051522 | 2003 1711 | 639 | 1235
932.25/932.49 c 927s | 22 | 2173504 | 2055422 | 2003 1713 | 639 | 1235
934.35/934.50 c 929s | 22 | 2177480 | 2059122 | 2003 1716 | 639 | 1235
936.35/936.53 c 931s | 22 | 2181473 | 2062922 | 2003 1719 | 639 | 1235
938.35/938.57 c 933s | 22 | 2185599 | 2066822 | 2003 1722 | 639 | 1235
940.35/940.60 c 935s | 22 | 2190420 | 2071422 | 2003 1725 | 639 | 1235
942.45/942.64 c 937s | 22 | 2195226 | 2075922 | 2003 1728 | 639 | 1235
944.45/944.66 c 939s | 22 | 2199822 | 2080222 | 2003 1731 | 639 | 1235
946.55/946.70 c 941s | 22 | 2204733 | 2084822 | 2003 1735 | 639 | 1235
948.54/948.73 c 943s | 22 | 2209834 | 2089622 | 2003 1738 | 639 | 1235
950.54/950.74 c 945s | 22 | 2214433 | 2093922 | 2003 1741 | 639 | 1235
952.55/952.79 c 947s | 22 | 2219078 | 2098322 | 2003 1744 | 639 | 1235
954.54/954.80 c 949s | 22 | 2223382 | 2102422 | 2003 1747 | 639 | 1235
956.64/956.83 c 951s | 22 | 2227967 | 2106722 | 2003 1750 | 639 | 1235
958.64/958.84 c 953s | 22 | 2232117 | 2110622 | 2003 1753 | 639 | 1235
960.64/960.84 c 955s | 22 | 2236198 | 2114522 | 2003 1756 | 639 | 1235
962.64/962.88 c 957s | 22 | 2240729 | 2118822 | 2003 1759 | 639 | 1235
964.65/964.88 c 959s | 22 | 2244679 | 2122522 | 2003 1762 | 639 | 1235
966.75/966.94 c 961s | 22 | 2249069 | 2126722 | 2003 1765 | 639 | 1235
968.74/968.96 c 963s | 22 | 2253030 | 2130522 | 2003 1767 | 639 | 1235
970.74/970.99 c 965s | 22 | 2257480 | 2134722 | 2003 1770 | 639 | 1235
972.74/972.99 c 967s | 22 | 2261695 | 2138722 | 2003 1773 | 639 | 1235
974.84/975.01 c 969s | 22 | 2267259 | 2143822 | 2003 1777 | 639 | 1235
976.84/977.04 c 971s | 22 | 2271651 | 2148022 | 2003 1780 | 639 | 1235
978.84/979.06 c 973s | 22 | 2276025 | 2152222 | 2003 1783 | 639 | 1235
980.94/981.12 c 975s | 22 | 2280592 | 2156522 | 2003 1786 | 639 | 1235
982.94/983.14 c 977s | 22 | 2285042 | 2160722 | 2003 1789 | 639 | 1235
984.94/985.18 c 979s | 22 | 2288932 | 2164422 | 2003 1792 | 639 | 1235
987.04/987.25 c 981s | 22 | 2292786 | 2168122 | 2003 1795 | 639 | 1235
989.14/989.30 c 983s | 22 | 2296324 | 2171422 | 2003 1797 | 639 | 1235
991.14/991.30 c 985s | 22 | 2300265 | 2175122 | 2003 1800 | 639 | 1235
993.14/993.35 c 987s | 22 | 2304218 | 2178822 | 2003 1802 | 639 | 1235
995.13/995.36 c 989s | 22 | 2308077 | 2182322 | 2003 1805 | 639 | 1235
997.23/997.41 c 991s | 22 | 2312178 | 2186222 | 2003 1808 | 639 | 1235
999.23/999.44 c 994s | 22 | 2316112 | 2189822 | 2003 1810 | 639 | 1235
1001.23/1001.47 c 996s | 22 | 2319622 | 2193122 | 2003 1813 | 639 | 1235
1003.33/1003.50 c 998s | 22 | 2323297 | 2196622 | 2003 1815 | 639 | 1235
1005.34/1005.53 c 1000s | 22 | 2327798 | 2200922 | 2003 1818 | 639 | 1235
1007.33/1007.57 c 1002s | 22 | 2332390 | 2205322 | 2003 1821 | 639 | 1235
1009.33/1009.57 c 1004s | 22 | 2336780 | 2209522 | 2003 1824 | 639 | 1235
1011.33/1011.58 c 1006s | 22 | 2341100 | 2213622 | 2003 1827 | 639 | 1235
1013.43/1013.62 c 1008s | 22 | 2345643 | 2217822 | 2003 1830 | 639 | 1235
1015.43/1015.63 c 1010s | 22 | 2349966 | 2221822 | 2003 1833 | 639 | 1235
1017.44/1017.63 c 1012s | 22 | 2354407 | 2225922 | 2204 1836 | 639 | 1235
1019.43/1019.67 c 1014s | 22 | 2358530 | 2229822 | 2204 1838 | 639 | 1235
1021.43/1021.69 c 1016s | 22 | 2362612 | 2233622 | 2204 1841 | 639 | 1235
1023.53/1023.75 c 1018s | 22 | 2366533 | 2237322 | 2204 1844 | 639 | 1235
1025.53/1025.79 c 1020s | 22 | 2370450 | 2241022 | 2204 1846 | 639 | 1235
1027.63/1027.82 c 1022s | 22 | 2374377 | 2244722 | 2204 1848 | 639 | 1235
1029.63/1029.86 c 1024s | 22 | 2378333 | 2248422 | 2204 1851 | 639 | 1235
1031.03/1031.20 c 1025s | 23 | 2381077 | 2251038 | 2204 1853 | 639 | 1235
1033.03/1033.20 c 1027s | 23 | 2386498 | 2256038 | 2204 1856 | 639 | 1235
1035.03/1035.23 c 1029s | 23 | 2391462 | 2260738 | 2204 1859 | 639 | 1235
1037.03/1037.25 c 1031s | 23 | 2396437 | 2265538 | 2204 1862 | 639 | 1235
1039.03/1039.27 c 1033s | 23 | 2401416 | 2270238 | 2204 1866 | 639 | 1235
1041.03/1041.27 c 1035s | 23 | 2406973 | 2275338 | 2204 1869 | 639 | 1235
1043.03/1043.28 c 1037s | 23 | 2412240 | 2280238 | 2204 1872 | 639 | 1235
1045.03/1045.30 c 1039s | 23 | 2417128 | 2284938 | 2204 1876 | 639 | 1235
1047.14/1047.33 c 1041s | 23 | 2422138 | 2289738 | 2204 1879 | 639 | 1235
1049.13/1049.36 c 1043s | 23 | 2427556 | 2294738 | 2204 1882 | 639 | 1235
1051.23/1051.40 c 1045s | 23 | 2432616 | 2299538 | 2204 1885 | 639 | 1235
1053.23/1053.40 c 1047s | 23 | 2437596 | 2304138 | 2204 1888 | 639 | 1235
1055.23/1055.41 c 1049s | 23 | 2442238 | 2308538 | 2204 1891 | 639 | 1235
1057.23/1057.46 c 1052s | 23 | 2447003 | 2313038 | 2204 1894 | 639 | 1235
1059.24/1059.47 c 1054s | 23 | 2451462 | 2317338 | 2204 1897 | 639 | 1235
1061.23/1061.49 c 1056s | 23 | 2455925 | 2321638 | 2204 1900 | 639 | 1235
1063.33/1063.50 c 1058s | 23 | 2460229 | 2325738 | 2204 1903 | 639 | 1235
1065.33/1065.52 c 1060s | 23 | 2464862 | 2330138 | 2204 1906 | 639 | 1235
1067.33/1067.55 c 1062s | 23 | 2469389 | 2334438 | 2204 1909 | 639 | 1235
1069.43/1069.62 c 1064s | 23 | 2473634 | 2338538 | 2204 1912 | 639 | 1235
1071.43/1071.66 c 1066s | 23 | 2478117 | 2342838 | 2204 1914 | 639 | 1235
1073.53/1073.71 c 1068s | 23 | 2482604 | 2347138 | 2204 1917 | 639 | 1235
1075.53/1075.72 c 1070s | 23 | 2487354 | 2351538 | 2204 1920 | 639 | 1235
1077.53/1077.77 c 1072s | 23 | 2492028 | 2355638 | 2204 1923 | 639 | 1235
1079.62/1079.80 c 1074s | 23 | 2496869 | 2360038 | 2204 1926 | 639 | 1235
1081.62/1081.81 c 1076s | 23 | 2501322 | 2363938 | 2204 1929 | 639 | 1235
1083.62/1083.82 c 1078s | 23 | 2505869 | 2367938 | 2204 1931 | 639 | 1235
1085.63/1085.83 c 1080s | 23 | 2510213 | 2371838 | 2204 1934 | 639 | 1235
1087.62/1087.88 c 1082s | 23 | 2514743 | 2376038 | 2204 1937 | 639 | 1235
1089.62/1089.89 c 1084s | 23 | 2519070 | 2380038 | 2204 1939 | 639 | 1235
1091.72/1091.94 c 1086s | 23 | 2523808 | 2384438 | 2204 1942 | 639 | 1235
1093.72/1093.97 c 1088s | 23 | 2528201 | 2388538 | 2204 1945 | 639 | 1235
1095.72/1095.99 c 1090s | 23 | 2532609 | 2392638 | 2204 1948 | 639 | 1235
1097.82/1098.03 c 1092s | 23 | 2537102 | 2396638 | 2204 1951 | 639 | 1235
1099.83/1100.05 c 1094s | 23 | 2541336 | 2400438 | 2204 1953 | 639 | 1235
1101.82/1102.09 c 1096s | 23 | 2545641 | 2404338 | 2204 1956 | 639 | 1235
1103.92/1104.11 c 1098s | 23 | 2550018 | 2408338 | 2204 1958 | 639 | 1235
1105.92/1106.15 c 1100s | 23 | 2554503 | 2412538 | 2204 1961 | 639 | 1235
1107.92/1108.16 c 1102s | 23 | 2559559 | 2416938 | 2204 1964 | 639 | 1235
1109.92/1110.16 c 1104s | 23 | 2564205 | 2421038 | 2204 1967 | 639 | 1235
1111.93/1112.18 c 1106s | 23 | 2568766 | 2425038 | 2204 1970 | 639 | 1235
1113.92/1114.18 c 1108s | 23 | 2573325 | 2429138 | 2204 1972 | 639 | 1235
1116.02/1116.21 c 1110s | 23 | 2577812 | 2433238 | 2204 1975 | 639 | 1235
1118.02/1118.23 c 1112s | 23 | 2581999 | 2437038 | 2204 1978 | 639 | 1235
1120.02/1120.24 c 1114s | 23 | 2586516 | 2441138 | 2204 1980 | 639 | 1235
1122.02/1122.27 c 1116s | 23 | 2590661 | 2444938 | 2204 1983 | 639 | 1235
1124.02/1124.27 c 1118s | 23 | 2594652 | 2448438 | 2204 1985 | 639 | 1235
1126.11/1126.32 c 1120s | 23 | 2598664 | 2452138 | 2204 1988 | 639 | 1235
1128.11/1128.38 c 1122s | 23 | 2602867 | 2455938 | 2204 1990 | 639 | 1235
1130.21/1130.42 c 1125s | 23 | 2606959 | 2459638 | 2204 1993 | 639 | 1235
1132.21/1132.45 c 1127s | 23 | 2611797 | 2464138 | 2204 1996 | 639 | 1235
1134.21/1134.45 c 1129s | 23 | 2616761 | 2468638 | 2204 1999 | 639 | 1235
1136.22/1136.46 c 1131s | 23 | 2621625 | 2472938 | 2204 2002 | 639 | 1235
1138.21/1138.50 c 1133s | 23 | 2626228 | 2477038 | 2204 2004 | 639 | 1235
1140.31/1140.53 c 1135s | 23 | 2630680 | 2481138 | 2204 2007 | 639 | 1235
1142.31/1142.55 c 1137s | 23 | 2634927 | 2485038 | 2204 2010 | 639 | 1235
1144.31/1144.58 c 1139s | 23 | 2639256 | 2488938 | 2204 2012 | 639 | 1235
1146.41/1146.62 c 1141s | 23 | 2643889 | 2493038 | 2204 2015 | 639 | 1235
1148.41/1148.63 c 1143s | 23 | 2648094 | 2496738 | 2204 2018 | 639 | 1235
1150.42/1150.65 c 1145s | 23 | 2652267 | 2500338 | 2204 2020 | 639 | 1235
1152.41/1152.69 c 1147s | 23 | 2656646 | 2504238 | 2204 2023 | 639 | 1235
1154.51/1154.76 c 1149s | 23 | 2661075 | 2508138 | 2204 2025 | 639 | 1235
1156.51/1156.78 c 1151s | 23 | 2665356 | 2511738 | 2204 2028 | 639 | 1235
1158.61/1158.84 c 1153s | 23 | 2669534 | 2515438 | 2204 2030 | 639 | 1235
1160.61/1160.86 c 1155s | 23 | 2673582 | 2518938 | 2204 2033 | 639 | 1235
1162.71/1162.90 c 1157s | 23 | 2677817 | 2522738 | 2204 2035 | 639 | 1235
1164.72/1164.96 c 1159s | 23 | 2682021 | 2526438 | 2204 2038 | 639 | 1235
1166.81/1167.00 c 1161s | 23 | 2686354 | 2530438 | 2204 2040 | 639 | 1235
1168.81/1169.05 c 1163s | 23 | 2690386 | 2534138 | 2204 2043 | 639 | 1235
1170.81/1171.08 c 1165s | 23 | 2694226 | 2537738 | 2204 2045 | 639 | 1235
1172.91/1173.10 c 1167s | 23 | 2698236 | 2541438 | 2204 2048 | 639 | 1235
1174.91/1175.15 c 1169s | 23 | 2702873 | 2545838 | 2204 2051 | 639 | 1235
1176.91/1177.15 c 1171s | 23 | 2707396 | 2550138 | 2204 2053 | 639 | 1235
1178.91/1179.16 c 1173s | 23 | 2711624 | 2554138 | 2204 2056 | 639 | 1235
1180.91/1181.19 c 1175s | 23 | 2715999 | 2558238 | 2204 2059 | 639 | 1235
1183.01/1183.20 c 1177s | 23 | 2720185 | 2562138 | 2204 2062 | 639 | 1235
1185.01/1185.24 c 1179s | 23 | 2724743 | 2566338 | 2204 2064 | 639 | 1235
1187.01/1187.27 c 1181s | 23 | 2728968 | 2570138 | 2204 2067 | 639 | 1235
1189.11/1189.33 c 1183s | 23 | 2732754 | 2573538 | 2204 2069 | 639 | 1235
1191.11/1191.34 c 1185s | 23 | 2736650 | 2576938 | 2204 2071 | 639 | 1235
1193.10/1193.37 c 1187s | 23 | 2741064 | 2580938 | 2204 2074 | 639 | 1235
1195.20/1195.41 c 1189s | 23 | 2744977 | 2584538 | 2204 2077 | 639 | 1235
1197.20/1197.46 c 1192s | 23 | 2748862 | 2588138 | 2204 2079 | 639 | 1235
1199.20/1199.49 c 1194s | 23 | 2753182 | 2591938 | 2204 2081 | 639 | 1235
1201.30/1201.50 c 1196s | 23 | 2757880 | 2596238 | 2204 2084 | 639 | 1235
1203.31/1203.52 c 1198s | 23 | 2762054 | 2600138 | 2204 2087 | 639 | 1235
1205.30/1205.54 c 1200s | 23 | 2766397 | 2604138 | 2204 2090 | 639 | 1235
1207.40/1207.60 c 1202s | 23 | 2770910 | 2608238 | 2204 2092 | 639 | 1235
1209.40/1209.65 c 1204s | 23 | 2775383 | 2612338 | 2204 2095 | 639 | 1235
1211.40/1211.66 c 1206s | 23 | 2779318 | 2616038 | 2204 2098 | 639 | 1235
1213.40/1213.67 c 1208s | 23 | 2783844 | 2620338 | 2204 2101 | 639 | 1235
1215.41/1215.68 c 1210s | 23 | 2788414 | 2624738 | 2204 2103 | 639 | 1235
1217.51/1217.72 c 1212s | 23 | 2792887 | 2628938 | 2204 2106 | 639 | 1235
1219.50/1219.74 c 1214s | 23 | 2797044 | 2632838 | 2204 2109 | 639 | 1235
1221.50/1221.79 c 1216s | 23 | 2801092 | 2636738 | 2204 2112 | 639 | 1235
1223.50/1223.79 c 1218s | 23 | 2805387 | 2640738 | 2204 2114 | 639 | 1235
1225.60/1225.82 c 1220s | 23 | 2809663 | 2644738 | 2204 2117 | 639 | 1235
1227.60/1227.86 c 1222s | 23 | 2813961 | 2648838 | 2204 2120 | 639 | 1235
1229.61/1229.89 c 1224s | 23 | 2818412 | 2653038 | 2204 2123 | 639 | 1235
1231.61/1231.89 c 1226s | 23 | 2822590 | 2656938 | 2204 2125 | 639 | 1235
1233.71/1233.91 c 1228s | 23 | 2826441 | 2660538 | 2204 2128 | 639 | 1235
1235.71/1235.93 c 1230s | 23 | 2830574 | 2664338 | 2204 2130 | 639 | 1235
1237.70/1237.96 c 1232s | 23 | 2834726 | 2668138 | 2204 2133 | 639 | 1235
1239.70/1239.99 c 1234s | 23 | 2838936 | 2671838 | 2204 2135 | 639 | 1235
1241.81/1242.01 c 1236s | 23 | 2842708 | 2675338 | 2204 2137 | 639 | 1235
1243.80/1244.06 c 1238s | 23 | 2847088 | 2679238 | 2204 2140 | 639 | 1235
1245.90/1246.10 c 1240s | 23 | 2850970 | 2682838 | 2204 2142 | 639 | 1235
1247.90/1248.14 c 1242s | 23 | 2855451 | 2687038 | 2204 2145 | 639 | 1235
1249.90/1250.18 c 1244s | 23 | 2859528 | 2690738 | 2204 2148 | 639 | 1235
1252.00/1252.23 c 1246s | 23 | 2863970 | 2694538 | 2204 2150 | 639 | 1235
1254.00/1254.25 c 1248s | 23 | 2867927 | 2698038 | 2204 2153 | 639 | 1235
1256.01/1256.28 c 1250s | 23 | 2871797 | 2701738 | 2204 2155 | 639 | 1235
1258.10/1258.33 c 1252s | 23 | 2876395 | 2706138 | 2204 2158 | 639 | 1235
1260.10/1260.34 c 1254s | 23 | 2880835 | 2710338 | 2204 2161 | 639 | 1235
1262.10/1262.34 c 1256s | 23 | 2885039 | 2714338 | 2204 2164 | 639 | 1235
1264.10/1264.37 c 1258s | 23 | 2889529 | 2718438 | 2204 2166 | 639 | 1235
1266.20/1266.41 c 1260s | 23 | 2893845 | 2722338 | 2204 2169 | 639 | 1235
1268.21/1268.44 c 1263s | 23 | 2897829 | 2726138 | 2204 2172 | 639 | 1235
1270.20/1270.47 c 1265s | 23 | 2902226 | 2730138 | 2204 2174 | 639 | 1235
1272.30/1272.51 c 1267s | 23 | 2906934 | 2734538 | 2204 2177 | 639 | 1235
1274.30/1274.56 c 1269s | 23 | 2912188 | 2739338 | 2204 2180 | 639 | 1235
1276.40/1276.60 c 1271s | 23 | 2916982 | 2743838 | 2204 2183 | 639 | 1235
1278.40/1278.62 c 1273s | 23 | 2921793 | 2748338 | 2204 2186 | 639 | 1235
1280.40/1280.65 c 1275s | 23 | 2926365 | 2752338 | 2204 2189 | 639 | 1235
1282.41/1282.68 c 1277s | 23 | 2931031 | 2756438 | 2204 2192 | 639 | 1235
1284.40/1284.69 c 1279s | 23 | 2935259 | 2760138 | 2204 2194 | 639 | 1235
1286.50/1286.74 c 1281s | 23 | 2940230 | 2764538 | 2204 2197 | 639 | 1235
1288.50/1288.75 c 1283s | 23 | 2944638 | 2768638 | 2204 2200 | 639 | 1235
1290.50/1290.78 c 1285s | 23 | 2949054 | 2772738 | 2204 2203 | 639 | 1235
1292.60/1292.82 c 1287s | 23 | 2953240 | 2776738 | 2204 2205 | 639 | 1235
1294.60/1294.83 c 1289s | 23 | 2957664 | 2780938 | 2204 2208 | 639 | 1235
1296.59/1296.87 c 1291s | 23 | 2962012 | 2785038 | 2204 2211 | 639 | 1235
1298.69/1298.91 c 1293s | 23 | 2966369 | 2788838 | 2204 2214 | 639 | 1235
1300.69/1300.96 c 1295s | 23 | 2970752 | 2793038 | 2204 2216 | 639 | 1235
1302.69/1302.99 c 1297s | 23 | 2974695 | 2796738 | 2204 2219 | 639 | 1235
1304.79/1305.01 c 1299s | 23 | 2978309 | 2800238 | 2204 2221 | 639 | 1235
1306.79/1307.06 c 1301s | 23 | 2982511 | 2804238 | 2204 2224 | 639 | 1235
1308.90/1309.11 c 1303s | 23 | 2986396 | 2807938 | 2204 2226 | 639 | 1235
1310.89/1311.13 c 1305s | 23 | 2990124 | 2811538 | 2204 2229 | 639 | 1235
1312.89/1313.15 c 1307s | 23 | 2993795 | 2815038 | 2204 2231 | 639 | 1235
1314.89/1315.18 c 1309s | 23 | 2997790 | 2818838 | 2204 2234 | 639 | 1235
1316.99/1317.21 c 1311s | 23 | 3002475 | 2823238 | 2204 2237 | 639 | 1235
1318.99/1319.26 c 1313s | 23 | 3007267 | 2827738 | 2204 2240 | 639 | 1235
1320.99/1321.28 c 1315s | 23 | 3011715 | 2831738 | 2204 2242 | 639 | 1235
1323.09/1323.33 c 1317s | 23 | 3016028 | 2835838 | 2204 2245 | 639 | 1235
1325.09/1325.37 c 1319s | 23 | 3020284 | 2839838 | 2204 2248 | 639 | 1235
1327.19/1327.40 c 1321s | 23 | 3024507 | 2843838 | 2204 2250 | 639 | 1235
1329.19/1329.42 c 1324s | 23 | 3028670 | 2847738 | 2204 2253 | 639 | 1235
1331.18/1331.46 c 1326s | 23 | 3032725 | 2851438 | 2204 2256 | 639 | 1235
1333.28/1333.50 c 1328s | 23 | 3036899 | 2855238 | 2204 2258 | 639 | 1235
1335.29/1335.51 c 1330s | 23 | 3041329 | 2859338 | 2204 2261 | 639 | 1235
1337.28/1337.56 c 1332s | 23 | 3045412 | 2863138 | 2204 2263 | 639 | 1235
1339.28/1339.59 c 1334s | 23 | 3049815 | 2867338 | 2204 2266 | 639 | 1235
1341.38/1341.63 c 1336s | 23 | 3054019 | 2871138 | 2204 2269 | 639 | 1235
1343.38/1343.68 c 1338s | 23 | 3057654 | 2874538 | 2204 2271 | 639 | 1235
1345.38/1345.68 c 1340s | 23 | 3061937 | 2878538 | 2204 2274 | 639 | 1235
1347.48/1347.72 c 1342s | 23 | 3066017 | 2882338 | 2204 2276 | 639 | 1235
1349.49/1349.76 c 1344s | 23 | 3070380 | 2886438 | 2204 2279 | 639 | 1235
1351.48/1351.78 c 1346s | 23 | 3074640 | 2890438 | 2204 2282 | 639 | 1235
1353.58/1353.82 c 1348s | 23 | 3078864 | 2894338 | 2204 2284 | 639 | 1235
1355.58/1355.86 c 1350s | 23 | 3083148 | 2898338 | 2204 2287 | 639 | 1235
1357.58/1357.89 c 1352s | 23 | 3087532 | 2902338 | 2204 2290 | 639 | 1235
1359.68/1359.90 c 1354s | 23 | 3091691 | 2906238 | 2204 2292 | 639 | 1235
1361.68/1361.91 c 1356s | 23 | 3095673 | 2909938 | 2204 2295 | 639 | 1235
1363.68/1363.95 c 1358s | 23 | 3099630 | 2913638 | 2204 2297 | 639 | 1235
1365.69/1365.96 c 1360s | 23 | 3103707 | 2917438 | 2204 2300 | 639 | 1235
1367.79/1368.00 c 1362s | 23 | 3107630 | 2921138 | 2204 2302 | 639 | 1235
1369.78/1370.03 c 1364s | 23 | 3111236 | 2924538 | 2204 2305 | 639 | 1235
1371.78/1372.07 c 1366s | 23 | 3114971 | 2928038 | 2204 2307 | 639 | 1235
1373.79/1374.09 c 1368s | 23 | 3118947 | 2931838 | 2204 2309 | 639 | 1235
1375.89/1376.12 c 1370s | 23 | 3123278 | 2936038 | 2204 2312 | 639 | 1235
1377.88/1378.12 c 1372s | 23 | 3127528 | 2940038 | 2204 2315 | 639 | 1235
1379.88/1380.13 c 1374s | 23 | 3131634 | 2943938 | 2204 2318 | 639 | 1235
1381.88/1382.13 c 1376s | 23 | 3135603 | 2947738 | 2204 2320 | 639 | 1235
1383.88/1384.13 c 1378s | 23 | 3139272 | 2951238 | 2204 2322 | 639 | 1235
1385.89/1386.17 c 1380s | 23 | 3143002 | 2954838 | 2204 2325 | 639 | 1235
1387.88/1388.18 c 1382s | 23 | 3147332 | 2958838 | 2204 2328 | 639 | 1235
1389.98/1390.20 c 1384s | 23 | 3151318 | 2962638 | 2204 2330 | 639 | 1235
1391.98/1392.24 c 1386s | 23 | 3156675 | 2967538 | 2204 2333 | 639 | 1235
1393.98/1394.28 c 1388s | 23 | 3161513 | 2972038 | 2204 2336 | 639 | 1235
1396.08/1396.31 c 1390s | 23 | 3166236 | 2976238 | 2204 2339 | 639 | 1235
1398.08/1398.33 c 1392s | 23 | 3170525 | 2980138 | 2204 2342 | 639 | 1235
1400.08/1400.36 c 1394s | 23 | 3175162 | 2984438 | 2204 2345 | 639 | 1235
1402.08/1402.37 c 1396s | 23 | 3179617 | 2988638 | 2204 2348 | 639 | 1235
1404.18/1404.40 c 1398s | 23 | 3183874 | 2992638 | 2204 2350 | 639 | 1235
1406.18/1406.44 c 1401s | 23 | 3188411 | 2996838 | 2204 2353 | 639 | 1235
1408.17/1408.47 c 1403s | 23 | 3192805 | 3000938 | 2204 2356 | 639 | 1235
1410.27/1410.51 c 1405s | 23 | 3196869 | 3004738 | 2204 2358 | 639 | 1235
1412.28/1412.51 c 1407s | 23 | 3201262 | 3008838 | 2204 2361 | 639 | 1235
1414.27/1414.53 c 1409s | 23 | 3205650 | 3013038 | 2204 2364 | 639 | 1235
1416.27/1416.56 c 1411s | 23 | 3209875 | 3017038 | 2204 2367 | 639 | 1235
1418.27/1418.57 c 1413s | 23 | 3214110 | 3021138 | 2204 2369 | 639 | 1235
1420.27/1420.59 c 1415s | 23 | 3218185 | 3025038 | 2204 2372 | 639 | 1235
1422.37/1422.61 c 1417s | 23 | 3222061 | 3028838 | 2204 2375 | 639 | 1235
1424.38/1424.62 c 1419s | 23 | 3226144 | 3032838 | 2204 2377 | 639 | 1235
1426.37/1426.65 c 1421s | 23 | 3230304 | 3036838 | 2204 2380 | 639 | 1235
1428.47/1428.70 c 1423s | 23 | 3234168 | 3040538 | 2204 2382 | 639 | 1235
1430.47/1430.73 c 1425s | 23 | 3238631 | 3044838 | 2204 2385 | 639 | 1235
1432.47/1432.74 c 1427s | 23 | 3243247 | 3049038 | 2204 2388 | 639 | 1235
1434.47/1434.78 c 1429s | 23 | 3247591 | 3053038 | 2204 2391 | 639 | 1235
1436.57/1436.82 c 1431s | 23 | 3251837 | 3057038 | 2204 2394 | 639 | 1235
1438.58/1438.83 c 1433s | 23 | 3256072 | 3060938 | 2204 2396 | 639 | 1235
1440.57/1440.86 c 1435s | 23 | 3260536 | 3065038 | 2204 2399 | 639 | 1235
1442.57/1442.88 c 1437s | 23 | 3264970 | 3069138 | 2204 2402 | 639 | 1235
1444.67/1444.91 c 1439s | 23 | 3269386 | 3073038 | 2204 2404 | 639 | 1235
1446.67/1446.94 c 1441s | 23 | 3273454 | 3076838 | 2204 2407 | 639 | 1235
1448.67/1448.95 c 1443s | 23 | 3277628 | 3080738 | 2204 2409 | 639 | 1235
1450.67/1450.99 c 1445s | 23 | 3281713 | 3084438 | 2204 2412 | 639 | 1235
1452.76/1453.02 c 1447s | 23 | 3286093 | 3088538 | 2204 2415 | 639 | 1235
1454.76/1455.06 c 1449s | 23 | 3290481 | 3092638 | 2204 2417 | 639 | 1235
1456.77/1457.09 c 1451s | 23 | 3294896 | 3096638 | 2204 2420 | 639 | 1235
1458.87/1459.12 c 1453s | 23 | 3298816 | 3100138 | 2204 2423 | 639 | 1235
1460.87/1461.12 c 1455s | 23 | 3303707 | 3104538 | 2204 2425 | 639 | 1235
1462.88/1463.14 c 1457s | 23 | 3308112 | 3108338 | 2204 2428 | 639 | 1235
1464.87/1465.15 c 1459s | 23 | 3312122 | 3111838 | 2204 2430 | 639 | 1235
1466.87/1467.18 c 1461s | 23 | 3316385 | 3115638 | 2204 2433 | 639 | 1235
1468.87/1469.18 c 1463s | 23 | 3320686 | 3119438 | 2204 2435 | 639 | 1235
1470.97/1471.22 c 1465s | 23 | 3325106 | 3123538 | 2204 2438 | 639 | 1235
1472.97/1473.26 c 1467s | 23 | 3329754 | 3127838 | 2204 2441 | 639 | 1235
1474.97/1475.28 c 1469s | 23 | 3334102 | 3131838 | 2204 2444 | 639 | 1235
1476.97/1477.30 c 1471s | 23 | 3338563 | 3135938 | 2204 2447 | 639 | 1235
1479.07/1479.33 c 1473s | 23 | 3342678 | 3139738 | 2204 2449 | 639 | 1235
1481.07/1481.35 c 1475s | 23 | 3346853 | 3143638 | 2204 2452 | 639 | 1235
1483.07/1483.36 c 1477s | 23 | 3351363 | 3147638 | 2204 2454 | 639 | 1235
1485.07/1485.38 c 1479s | 23 | 3355843 | 3151738 | 2204 2457 | 639 | 1235
1487.16/1487.40 c 1481s | 23 | 3360733 | 3156338 | 2204 2460 | 639 | 1235
1489.17/1489.42 c 1484s | 23 | 3365199 | 3160638 | 2204 2463 | 639 | 1235
1491.16/1491.43 c 1486s | 23 | 3369902 | 3165038 | 2204 2466 | 639 | 1235
1493.16/1493.45 c 1488s | 23 | 3374854 | 3169738 | 2204 2469 | 639 | 1235
1495.16/1495.46 c 1490s | 23 | 3379487 | 3174038 | 2204 2472 | 639 | 1235
1497.16/1497.49 c 1492s | 23 | 3384033 | 3178238 | 2204 2475 | 639 | 1235
1499.26/1499.50 c 1494s | 23 | 3388462 | 3182238 | 2204 2478 | 639 | 1235
1501.27/1501.51 c 1496s | 23 | 3393006 | 3186438 | 2204 2480 | 639 | 1235
1503.26/1503.57 c 1498s | 23 | 3397524 | 3190638 | 2204 2483 | 639 | 1235
1505.36/1505.60 c 1500s | 23 | 3401827 | 3194538 | 2204 2486 | 639 | 1235
1507.36/1507.63 c 1502s | 23 | 3406362 | 3198738 | 2204 2489 | 639 | 1235
1509.36/1509.64 c 1504s | 23 | 3410971 | 3203138 | 2204 2492 | 639 | 1235
1511.36/1511.68 c 1506s | 23 | 3415142 | 3207038 | 2204 2494 | 639 | 1235
1513.36/1513.70 c 1508s | 23 | 3419264 | 3210838 | 2204 2497 | 639 | 1235
1515.45/1515.74 c 1510s | 23 | 3423312 | 3214538 | 2204 2499 | 639 | 1235
1517.45/1517.77 c 1512s | 23 | 3427314 | 3218338 | 2204 2502 | 639 | 1235
1519.45/1519.77 c 1514s | 23 | 3431469 | 3222038 | 2204 2504 | 639 | 1235
1521.45/1521.78 c 1516s | 23 | 3435728 | 3225938 | 2204 2507 | 639 | 1235
1523.55/1523.80 c 1518s | 23 | 3440241 | 3230238 | 2204 2510 | 639 | 1235
1525.46/1525.80 c 1520s | 23 | 3444919 | 3234638 | 2204 2513 | 639 | 1235
1527.55/1527.80 c 1522s | 23 | 3449307 | 3238838 | 2204 2516 | 639 | 1235
1529.55/1529.85 c 1524s | 23 | 3453459 | 3242638 | 2204 2518 | 639 | 1235
1531.55/1531.89 c 1526s | 23 | 3457480 | 3246338 | 2204 2521 | 639 | 1235
1533.65/1533.90 c 1528s | 23 | 3461542 | 3250138 | 2204 2523 | 639 | 1235
1535.66/1535.94 c 1530s | 23 | 3466233 | 3254538 | 2204 2526 | 639 | 1235
1537.67/1537.95 c 1532s | 23 | 3470374 | 3258438 | 2204 2529 | 639 | 1235
1539.66/1540.00 c 1534s | 23 | 3474410 | 3262238 | 2204 2531 | 639 | 1235
1541.76/1542.04 c 1536s | 23 | 3478735 | 3266238 | 2204 2534 | 639 | 1235
1543.76/1544.09 c 1538s | 23 | 3482823 | 3270038 | 2204 2536 | 639 | 1235
1545.86/1546.14 c 1540s | 23 | 3486874 | 3273838 | 2204 2539 | 639 | 1235
1547.86/1548.17 c 1542s | 23 | 3490890 | 3277538 | 2204 2541 | 639 | 1235
1549.96/1550.20 c 1544s | 23 | 3494884 | 3281338 | 2204 2544 | 639 | 1235
1551.96/1552.23 c 1546s | 23 | 3498929 | 3285238 | 2204 2547 | 639 | 1235
1553.96/1554.27 c 1548s | 23 | 3503034 | 3288938 | 2204 2549 | 639 | 1235
1556.05/1556.32 c 1550s | 23 | 3507632 | 3293238 | 2204 2552 | 639 | 1235
1558.05/1558.32 c 1552s | 23 | 3511920 | 3297238 | 2204 2555 | 639 | 1235
1560.05/1560.33 c 1554s | 23 | 3516290 | 3301238 | 2204 2557 | 639 | 1235
1562.05/1562.33 c 1556s | 23 | 3520346 | 3305038 | 2204 2560 | 639 | 1235
1564.06/1564.35 c 1558s | 23 | 3524734 | 3309138 | 2204 2563 | 639 | 1235
1566.05/1566.38 c 1560s | 23 | 3529032 | 3313138 | 2204 2565 | 639 | 1235
1568.05/1568.39 c 1562s | 23 | 3533285 | 3317138 | 2204 2568 | 639 | 1235
1570.15/1570.41 c 1564s | 23 | 3537395 | 3320938 | 2204 2571 | 639 | 1235
1572.15/1572.46 c 1567s | 23 | 3541721 | 3324938 | 2204 2573 | 639 | 1235
1574.15/1574.48 c 1569s | 23 | 3546111 | 3328838 | 2204 2576 | 639 | 1235
1576.25/1576.53 c 1571s | 23 | 3550070 | 3332538 | 2204 2578 | 639 | 1235
1578.26/1578.54 c 1573s | 23 | 3554128 | 3336338 | 2204 2581 | 639 | 1235
1580.25/1580.57 c 1575s | 23 | 3558117 | 3340138 | 2425 2583 | 639 | 1235
1582.25/1582.58 c 1577s | 23 | 3562515 | 3344238 | 2425 2586 | 639 | 1235
1584.35/1584.60 c 1579s | 23 | 3566778 | 3348238 | 2425 2588 | 639 | 1235
1586.35/1586.60 c 1581s | 23 | 3570685 | 3351938 | 2425 2591 | 639 | 1235
1588.35/1588.60 c 1583s | 23 | 3575299 | 3356338 | 2425 2593 | 639 | 1235
1590.36/1590.62 c 1585s | 23 | 3580252 | 3361138 | 2425 2596 | 639 | 1235
1592.35/1592.64 c 1587s | 23 | 3585008 | 3365738 | 2425 2599 | 639 | 1235
1594.35/1594.68 c 1589s | 23 | 3589587 | 3370238 | 2425 2602 | 639 | 1235
1596.45/1596.71 c 1591s | 23 | 3594469 | 3374938 | 2425 2605 | 639 | 1235
1597.15/1597.46 c 1592s | 24 | 3596276 | 3376662 | 2425 2606 | 639 | 1235
1599.15/1599.48 c 1594s | 24 | 3601404 | 3381462 | 2425 2609 | 639 | 1235
1601.24/1601.51 c 1596s | 24 | 3606830 | 3386662 | 2425 2612 | 639 | 1235
1603.24/1603.55 c 1598s | 24 | 3611662 | 3391262 | 2425 2615 | 639 | 1235
1605.24/1605.57 c 1600s | 24 | 3616286 | 3395562 | 2425 2618 | 639 | 1235
1607.34/1607.60 c 1602s | 24 | 3620787 | 3399762 | 2425 2621 | 639 | 1235
1609.34/1609.61 c 1604s | 24 | 3625265 | 3403962 | 2425 2623 | 639 | 1235
1611.35/1611.63 c 1606s | 24 | 3629681 | 3408162 | 2425 2626 | 639 | 1235
1613.34/1613.67 c 1608s | 24 | 3634016 | 3412362 | 2425 2629 | 639 | 1235
1615.44/1615.71 c 1610s | 24 | 3638253 | 3416462 | 2425 2631 | 639 | 1235
1617.44/1617.73 c 1612s | 24 | 3642728 | 3420762 | 2425 2634 | 639 | 1235
1619.54/1619.80 c 1614s | 24 | 3647361 | 3425162 | 2425 2637 | 639 | 1235
1621.54/1621.82 c 1616s | 24 | 3652102 | 3429562 | 2425 2639 | 639 | 1235
1623.54/1623.87 c 1618s | 24 | 3656541 | 3433762 | 2425 2642 | 639 | 1235
1625.55/1625.89 c 1620s | 24 | 3661091 | 3437962 | 2425 2645 | 639 | 1235
1627.64/1627.90 c 1622s | 24 | 3665844 | 3442462 | 2425 2647 | 639 | 1235
1629.64/1629.94 c 1624s | 24 | 3670389 | 3446862 | 2425 2650 | 639 | 1235
1631.64/1631.98 c 1626s | 24 | 3674799 | 3451062 | 2425 2653 | 639 | 1235
1633.74/1634.02 c 1628s | 24 | 3679022 | 3455062 | 2425 2655 | 639 | 1235
1635.74/1636.04 c 1630s | 24 | 3683125 | 3458962 | 2425 2658 | 639 | 1235
1637.74/1638.05 c 1632s | 24 | 3687610 | 3463062 | 2425 2660 | 639 | 1235
1639.73/1640.09 c 1634s | 24 | 3692481 | 3467662 | 2425 2663 | 639 | 1235
1641.83/1642.10 c 1636s | 24 | 3697321 | 3472262 | 2425 2666 | 639 | 1235
1643.83/1644.12 c 1638s | 24 | 3701995 | 3476662 | 2425 2669 | 639 | 1235
1645.83/1646.15 c 1640s | 24 | 3706559 | 3480962 | 2425 2671 | 639 | 1235
1647.83/1648.17 c 1642s | 24 | 3710703 | 3484962 | 2425 2674 | 639 | 1235
1649.84/1650.18 c 1644s | 24 | 3714867 | 3488862 | 2425 2676 | 639 | 1235
1651.83/1652.19 c 1646s | 24 | 3719329 | 3493162 | 2425 2679 | 639 | 1235
1653.93/1654.21 c 1648s | 24 | 3723206 | 3496862 | 2425 2681 | 639 | 1235
1655.93/1656.22 c 1650s | 24 | 3726952 | 3500262 | 2425 2684 | 639 | 1235
1657.93/1658.27 c 1652s | 24 | 3730737 | 3503762 | 2425 2686 | 639 | 1235
1660.04/1660.30 c 1654s | 24 | 3735136 | 3507962 | 2425 2688 | 639 | 1235
1662.04/1662.33 c 1656s | 24 | 3739300 | 3511862 | 2425 2691 | 639 | 1235
1664.05/1664.35 c 1658s | 24 | 3743321 | 3515662 | 2425 2693 | 639 | 1235
1666.14/1666.40 c 1660s | 24 | 3747268 | 3519462 | 2425 2696 | 639 | 1235
1668.14/1668.40 c 1662s | 24 | 3751450 | 3523362 | 2425 2698 | 639 | 1235
1670.14/1670.45 c 1665s | 24 | 3755518 | 3527162 | 2425 2700 | 639 | 1235
1672.13/1672.46 c 1667s | 24 | 3759534 | 3530962 | 2425 2703 | 639 | 1235
1674.13/1674.49 c 1669s | 24 | 3764321 | 3535462 | 2425 2705 | 639 | 1235
1676.14/1676.50 c 1671s | 24 | 3768853 | 3539762 | 2425 2708 | 639 | 1235
1678.23/1678.52 c 1673s | 24 | 3773286 | 3543962 | 2425 2711 | 639 | 1235
1680.23/1680.53 c 1675s | 24 | 3777439 | 3547862 | 2425 2713 | 639 | 1235
1682.23/1682.55 c 1677s | 24 | 3781733 | 3551862 | 2425 2716 | 639 | 1235
1684.23/1684.56 c 1679s | 24 | 3786118 | 3555962 | 2425 2718 | 639 | 1235
1686.33/1686.61 c 1681s | 24 | 3790771 | 3560162 | 2425 2721 | 639 | 1235
1688.34/1688.65 c 1683s | 24 | 3794762 | 3563962 | 2425 2723 | 639 | 1235
1690.44/1690.71 c 1685s | 24 | 3798570 | 3567462 | 2425 2726 | 639 | 1235
1692.43/1692.72 c 1687s | 24 | 3802475 | 3571262 | 2425 2728 | 639 | 1235
1694.43/1694.77 c 1689s | 24 | 3806481 | 3575062 | 2425 2730 | 639 | 1235
1696.43/1696.79 c 1691s | 24 | 3810806 | 3579162 | 2425 2733 | 639 | 1235
1698.53/1698.82 c 1693s | 24 | 3814954 | 3583162 | 2425 2735 | 639 | 1235
1700.53/1700.84 c 1695s | 24 | 3819161 | 3587162 | 2425 2738 | 639 | 1235
1702.54/1702.84 c 1697s | 24 | 3823016 | 3590862 | 2425 2740 | 639 | 1235
1704.52/1704.87 c 1699s | 24 | 3827242 | 3594762 | 2425 2743 | 639 | 1235
1706.62/1706.92 c 1701s | 24 | 3831295 | 3598662 | 2425 2745 | 639 | 1235
1708.62/1708.97 c 1703s | 24 | 3835426 | 3602662 | 2425 2748 | 639 | 1235
1710.62/1710.99 c 1705s | 24 | 3839702 | 3606762 | 2425 2750 | 639 | 1235
1712.72/1713.00 c 1707s | 24 | 3843977 | 3610762 | 2425 2753 | 639 | 1235
1714.73/1715.05 c 1709s | 24 | 3848226 | 3614662 | 2425 2755 | 639 | 1235
1716.72/1717.07 c 1711s | 24 | 3852076 | 3618362 | 2425 2757 | 639 | 1235
1718.82/1719.12 c 1713s | 24 | 3856429 | 3622362 | 2425 2760 | 639 | 1235
1720.82/1721.12 c 1715s | 24 | 3860480 | 3626062 | 2425 2762 | 639 | 1235
1722.82/1723.13 c 1717s | 24 | 3865017 | 3630162 | 2425 2765 | 639 | 1235
1724.81/1725.13 c 1719s | 24 | 3869235 | 3633962 | 2425 2767 | 639 | 1235
1726.82/1727.17 c 1721s | 24 | 3873541 | 3637962 | 2425 2770 | 639 | 1235
1728.81/1729.20 c 1723s | 24 | 3877636 | 3641862 | 2425 2772 | 639 | 1235
1730.91/1731.20 c 1725s | 24 | 3881599 | 3645562 | 2425 2774 | 639 | 1235
1732.91/1733.23 c 1727s | 24 | 3886586 | 3650162 | 2425 2777 | 639 | 1235
1734.90/1735.24 c 1729s | 24 | 3891081 | 3654362 | 2425 2780 | 639 | 1235
1736.90/1737.25 c 1731s | 24 | 3895400 | 3658462 | 2425 2782 | 639 | 1235
1738.91/1739.27 c 1733s | 24 | 3899469 | 3662262 | 2425 2785 | 639 | 1235
1740.90/1741.29 c 1735s | 24 | 3903769 | 3666362 | 2425 2787 | 639 | 1235
1743.00/1743.32 c 1737s | 24 | 3907821 | 3670162 | 2425 2790 | 639 | 1235
1745.00/1745.33 c 1739s | 24 | 3912152 | 3674362 | 2425 2792 | 639 | 1235
1747.00/1747.37 c 1741s | 24 | 3916500 | 3678562 | 2425 2795 | 639 | 1235
1749.00/1749.38 c 1743s | 24 | 3920434 | 3682362 | 2425 2797 | 639 | 1235
1751.01/1751.39 c 1745s | 24 | 3924182 | 3685962 | 2425 2800 | 639 | 1235
1753.11/1753.43 c 1748s | 24 | 3928414 | 3689962 | 2425 2802 | 639 | 1235
1755.10/1755.48 c 1750s | 24 | 3932465 | 3693862 | 2425 2805 | 639 | 1235
1757.09/1757.49 c 1752s | 24 | 3936662 | 3697862 | 2425 2807 | 639 | 1235
1759.19/1759.54 c 1754s | 24 | 3940847 | 3701862 | 2425 2810 | 639 | 1235
1761.20/1761.56 c 1756s | 24 | 3944619 | 3705462 | 2425 2812 | 639 | 1235
1763.30/1763.62 c 1758s | 24 | 3948712 | 3709362 | 2425 2814 | 639 | 1235
1765.30/1765.62 c 1760s | 24 | 3952358 | 3712862 | 2425 2816 | 639 | 1235
1767.30/1767.63 c 1762s | 24 | 3956161 | 3716562 | 2425 2819 | 639 | 1235
1769.30/1769.64 c 1764s | 24 | 3960299 | 3720562 | 2425 2821 | 639 | 1235
1771.30/1771.68 c 1766s | 24 | 3964376 | 3724462 | 2425 2824 | 639 | 1235
1773.40/1773.71 c 1768s | 24 | 3968283 | 3728262 | 2425 2826 | 639 | 1235
1775.39/1775.75 c 1770s | 24 | 3972122 | 3731962 | 2425 2828 | 639 | 1235
1777.49/1777.80 c 1772s | 24 | 3976215 | 3735762 | 2425 2831 | 639 | 1235
1779.50/1779.82 c 1774s | 24 | 3979955 | 3739362 | 2425 2833 | 639 | 1235
1781.49/1781.88 c 1776s | 24 | 3984012 | 3743262 | 2425 2835 | 639 | 1235
1783.49/1783.88 c 1778s | 24 | 3988955 | 3747962 | 2425 2838 | 639 | 1235
1785.48/1785.89 c 1780s | 24 | 3993456 | 3752362 | 2425 2841 | 639 | 1235
1787.58/1787.91 c 1782s | 24 | 3998124 | 3756862 | 2425 2844 | 639 | 1235
1789.58/1789.95 c 1784s | 24 | 4003076 | 3761562 | 2425 2847 | 639 | 1235
1791.59/1791.95 c 1786s | 24 | 4007296 | 3765562 | 2425 2849 | 639 | 1235
1793.58/1793.99 c 1788s | 24 | 4011641 | 3769562 | 2425 2852 | 639 | 1235
1795.68/1796.02 c 1790s | 24 | 4015668 | 3773362 | 2425 2854 | 639 | 1235
1797.68/1798.03 c 1792s | 24 | 4019783 | 3777262 | 2425 2857 | 639 | 1235
1799.67/1800.08 c 1794s | 24 | 4023742 | 3781062 | 2425 2859 | 639 | 1235
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-4118010-1467217306/watcher-4118010-1467217306 -o /tmp/evaluation-result-4118010-1467217306/solver-4118010-1467217306 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467215373-3684 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118010-1467217306.opb
pid=4080
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.29 2.22 2.11 3/179 4083
/proc/meminfo: memFree=27345500/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=559548 CPUtime=0 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 2056 0 0 0 0 0 0 0 20 0 4 0 756677 572977152 2417 33554432000 4194304 16246674 140734018300928 140734018300352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 140399 2425 441 2943 0 137293 0
[pid=4083/tid=4084] ppid=4080 vsize=575932 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 589754368 2483 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=581052 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 594997248 2500 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=585148 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 756678 599191552 2516 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100174 s]
/proc/loadavg: 2.29 2.22 2.11 3/179 4083
/proc/meminfo: memFree=27345500/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 25962 0 0 0 5 4 0 0 20 0 4 0 756677 1247350784 26310 33554432000 4194304 16246674 140734018300928 140734018300352 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 304529 26321 801 2943 0 301423 0
[pid=4083/tid=4084] ppid=4080 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1247350784 26331 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1247350784 26342 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 756678 1247350784 26352 33554432000 4194304 16246674 140734018300928 140128420875440 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.200499 s]
/proc/loadavg: 2.29 2.22 2.11 3/179 4083
/proc/meminfo: memFree=27345500/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 51049 0 0 0 12 7 0 0 20 0 4 0 756677 1247350784 51396 33554432000 4194304 16246674 140734018300928 140734018300352 5532733 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 304529 51399 801 2943 0 301423 0
[pid=4083/tid=4084] ppid=4080 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1247350784 51401 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1247350784 51403 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 756678 1247350784 51405 33554432000 4194304 16246674 140734018300928 140128420875440 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.300413 s]
/proc/loadavg: 2.29 2.22 2.11 3/179 4083
/proc/meminfo: memFree=27345500/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 74628 0 0 0 19 10 0 0 20 0 4 0 756677 1247350784 74975 33554432000 4194304 16246674 140734018300928 140734018300352 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 304529 74991 801 2943 0 301423 0
[pid=4083/tid=4084] ppid=4080 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1247350784 75002 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1247350784 75012 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 756678 1247350784 75021 33554432000 4194304 16246674 140734018300928 140128420875440 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.700424 s]
/proc/loadavg: 2.29 2.22 2.11 3/179 4083
/proc/meminfo: memFree=27345500/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 159499 0 0 0 48 21 0 0 20 0 4 0 756677 1247350784 159847 33554432000 4194304 16246674 140734018300928 140734018300352 13191557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 304529 159857 801 2943 0 301423 0
[pid=4083/tid=4084] ppid=4080 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1247350784 159860 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1247350784 159862 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 756678 1247350784 159865 33554432000 4194304 16246674 140734018300928 140128420875440 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.50042 s]
/proc/loadavg: 2.29 2.22 2.11 3/183 4087
/proc/meminfo: memFree=26389984/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 238846 0 0 0 118 31 0 0 20 0 4 0 756677 1251545088 239171 33554432000 4194304 16246674 140734018300928 140734018300240 5600010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 305553 239171 855 2943 0 302447 0
[pid=4083/tid=4084] ppid=4080 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1251545088 239171 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1251545088 239171 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1251545088 239171 33554432000 4194304 16246674 140734018300928 140128420875440 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) 1222212
[startup+3.10042 s]
/proc/loadavg: 2.29 2.22 2.11 3/183 4087
/proc/meminfo: memFree=26278012/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 267562 0 0 0 273 35 0 0 20 0 4 0 756677 1337528320 267887 33554432000 4194304 16246674 140734018300928 140734018283928 6021684 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 326545 267887 857 2943 0 323439 0
[pid=4083/tid=4084] ppid=4080 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1337528320 267887 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1337528320 267887 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1337528320 267887 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180
[startup+6.30041 s]
/proc/loadavg: 2.27 2.22 2.11 4/183 4087
/proc/meminfo: memFree=26274044/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 267571 0 0 0 593 36 0 0 20 0 4 0 756677 1337528320 267896 33554432000 4194304 16246674 140734018300928 140734018282816 6023560 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 326545 267896 857 2943 0 323439 0
[pid=4083/tid=4084] ppid=4080 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1337528320 267896 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1337528320 267896 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1337528320 267896 33554432000 4194304 16246674 140734018300928 140128420875440 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.25 2.22 2.11 3/183 4087
/proc/meminfo: memFree=26274100/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 267646 0 0 0 1233 36 0 0 20 0 4 0 756677 1337528320 267971 33554432000 4194304 16246674 140734018300928 140734018282816 5546072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 326545 267971 858 2943 0 323439 0
[pid=4083/tid=4084] ppid=4080 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1337528320 267971 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1337528320 267971 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1337528320 267971 33554432000 4194304 16246674 140734018300928 140128420875440 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.27 2.22 2.11 4/183 4087
/proc/meminfo: memFree=26259752/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 267785 0 0 0 2513 36 0 0 20 0 4 0 756677 1338576896 268110 33554432000 4194304 16246674 140734018300928 140734018282816 5598711 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 326801 268110 858 2943 0 323695 0
[pid=4083/tid=4084] ppid=4080 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1338576896 268110 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1338576896 268110 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1338576896 268110 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204
[startup+51.1005 s]
/proc/loadavg: 2.25 2.22 2.12 4/183 4088
/proc/meminfo: memFree=26259780/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 267787 0 0 0 5072 36 0 0 20 0 4 0 756677 1338576896 268112 33554432000 4194304 16246674 140734018300928 140734018282816 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 326801 268112 860 2943 0 323695 0
[pid=4083/tid=4084] ppid=4080 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1338576896 268112 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1338576896 268112 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1338576896 268112 33554432000 4194304 16246674 140734018300928 140128420875440 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) 1307204
[startup+102.3 s]
/proc/loadavg: 2.28 2.23 2.12 3/183 4089
/proc/meminfo: memFree=26237952/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1308228 CPUtime=102.29 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 268101 0 0 0 10192 37 0 0 20 0 4 0 756677 1339625472 268426 33554432000 4194304 16246674 140734018300928 140734018283928 5672222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 327057 268426 860 2943 0 323951 0
[pid=4083/tid=4084] ppid=4080 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1339625472 268426 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1339625472 268426 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1339625472 268426 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1308228
################
# More data... #
################
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1312324
[startup+1302.3 s]
/proc/loadavg: 2.27 2.29 2.20 3/183 4119
/proc/meminfo: memFree=25996704/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1312324 CPUtime=1302.09 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 269185 0 0 0 130163 46 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140734018282816 13963936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 328081 269510 861 2943 0 324975 0
[pid=4083/tid=4084] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1312324
[startup+1362.3 s]
/proc/loadavg: 2.18 2.26 2.19 3/183 4120
/proc/meminfo: memFree=25996548/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1312324 CPUtime=1362.08 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 269185 0 0 0 136162 46 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140734018283920 5523660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 328081 269510 861 2943 0 324975 0
[pid=4083/tid=4084] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1312324
[startup+1422.3 s]
/proc/loadavg: 2.18 2.24 2.19 4/183 4121
/proc/meminfo: memFree=25984488/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1312324 CPUtime=1422.08 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 269185 0 0 0 142161 47 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140734018283928 5545988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 328081 269510 861 2943 0 324975 0
[pid=4083/tid=4084] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1312324
[startup+1482.3 s]
/proc/loadavg: 2.12 2.21 2.18 3/183 4122
/proc/meminfo: memFree=25982848/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1312324 CPUtime=1482.07 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 269185 0 0 0 148159 48 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140734018282816 5711984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 328081 269510 861 2943 0 324975 0
[pid=4083/tid=4084] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 1312324
[startup+1542.31 s]
/proc/loadavg: 2.24 2.23 2.18 3/183 4123
/proc/meminfo: memFree=25973944/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1312324 CPUtime=1542.06 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 269185 0 0 0 154157 49 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140734018282816 12483303 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 328081 269510 861 2943 0 324975 0
[pid=4083/tid=4084] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1343819776 269510 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1312324
[startup+1602.3 s]
/proc/loadavg: 2.24 2.23 2.18 4/183 4125
/proc/meminfo: memFree=25970612/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1313348 CPUtime=1602.04 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 269367 0 0 0 160155 49 0 0 20 0 4 0 756677 1344868352 269692 33554432000 4194304 16246674 140734018300928 140734018282816 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 328337 269692 861 2943 0 325231 0
[pid=4083/tid=4084] ppid=4080 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1344868352 269692 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1344868352 269692 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1344868352 269692 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1313348
[startup+1662.3 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 4126
/proc/meminfo: memFree=25969788/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1314372 CPUtime=1662.04 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 269585 0 0 0 166154 50 0 0 20 0 4 0 756677 1345916928 269910 33554432000 4194304 16246674 140734018300928 140734018282816 12483168 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 328593 269910 861 2943 0 325487 0
[pid=4083/tid=4084] ppid=4080 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1345916928 269910 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1345916928 269910 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1345916928 269910 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1314372
[startup+1722.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/184 4178
/proc/meminfo: memFree=26367284/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1314372 CPUtime=1722.02 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 269712 0 0 0 172152 50 0 0 20 0 4 0 756677 1345916928 270025 33554432000 4194304 16246674 140734018300928 140734018282816 13965544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 328593 270025 861 2943 0 325487 0
[pid=4083/tid=4084] ppid=4080 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1345916928 270025 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1345916928 270025 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1345916928 270025 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1314372
[startup+1782.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/183 4179
/proc/meminfo: memFree=26364556/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1314372 CPUtime=1781.99 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 269751 0 0 0 178148 51 0 0 20 0 4 0 756677 1345916928 270025 33554432000 4194304 16246674 140734018300928 140734018282816 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 328593 270025 861 2943 0 325487 0
[pid=4083/tid=4084] ppid=4080 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1345916928 270025 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1345916928 270025 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1345916928 270025 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1314372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.42 2.26 2.20 3/183 4180
/proc/meminfo: memFree=26364024/32872528 swapFree=1631852/1795372
[pid=4083] ppid=4080 vsize=1314372 CPUtime=1800.07 cores=1,3,5,7
/proc/4083/stat : 4083 (toysat) R 4080 4083 1867 0 -1 4202496 269765 0 0 0 179956 51 0 0 20 0 4 0 756677 1345916928 270025 33554432000 4194304 16246674 140734018300928 140734018283928 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4083/statm: 328593 270025 861 2943 0 325487 0
[pid=4083/tid=4084] ppid=4080 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4084/stat : 4084 (toysat) S 4080 4083 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 756677 1345916928 270025 33554432000 4194304 16246674 140734018300928 140128441838832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4083/tid=4085] ppid=4080 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4085/stat : 4085 (toysat) S 4080 4083 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 756677 1345916928 270025 33554432000 4194304 16246674 140734018300928 140128431348976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4083/tid=4086] ppid=4080 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4083/task/4086/stat : 4086 (toysat) S 4080 4083 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 756678 1345916928 270025 33554432000 4194304 16246674 140734018300928 140128420875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1314372
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 4083 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.13
CPU user time (s): 1799.57
CPU system time (s): 0.554915
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 1314372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.554915
maximum resident set size= 1080100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269765
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= 82
involuntary context switches= 1972
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5883 second user time and 7.44387 second system time
The end