0.00/0.00 c 2016-06-30T00:02:12+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-4117924-1467237731.opb"]
0.00/0.01 c use --random-gen="3663785841 1128299607 2285260764 522424876 3803485785 1600897463 2525603701 3358983380 3896565204 4096741349 2730625701 44097442 95754617 1604505449 360636148 3047371641 370361211 3326461332 3362905019 35426689 2035270820 339327404 557067621 3581143583 2034467022 3220542248 4266105264 3213508606 2126556084 1593133739 3396836614 2797950202 3073575379 3952962852 2520282987 3194755794 3927809207 1059276892 76802536 3347433752 1922349677 1914097431 3618364744 3068118098 1300323316 2893238688 2721998428 3154473445 552625033 2694273365 623194134 256401665 117012359 3671816418 1481728519 1346456594 3125620399 2635762324 4286057325 3415818805 2783087513 162250591 2711831797 444114089 2547906033 1255672842 3943498321 1784302921 1580533085 399955880 815576655 2349612064 2121693735 2604595726 2540042257 2722738527 2687056921 3168448650 3823518849 2994473693 296699843 2289166708 723612821 810204045 355007768 1835040975 4004483233 850125674 1376809864 552464158 3644784771 845966774 2461797256 2454895047 2975277771 4208167491 1095550471 3283423946 2135354221 677234697 2010465371 3649721351 741283176 1376360023 3787069425 217045072 3119836741 3786125577 2466115823 4183909103 880199345 3399631466 660758228 3310398986 806257144 4241887362 3219711465 1904006736 707524875 3753966532 889954677 203356616 2139017006 920009555 917634124 1001630928 2986322289 3013596402 3910809059 1397999835 2415296563 3136608795 2286207086 3569327305 3533900239 2146952732 1287028783 2952320609 2129619394 545460506 352515247 2146476361 2398450526 4135109358 3772582146 1033009083 1462638948 1901653400 1603817044 3037710099 4245194259 4043213853 3804603153 4255779823 2494126615 3647660690 3815335091 623452196 3956864287 330685922 2007839309 3218105266 2413077955 1133353713 1798408145 1899215401 3113384305 1578156149 4216567606 4281092141 1832568271 2291587406 530933485 2060517110 1059275733 3505189749 4081052178 4031002411 285957845 2531499506 3735628375 2779709990 600138898 4142942825 3038666544 4267124059 2237459984 913268436 214166875 3265020998 4007610330 1533397385 912115957 2049215567 282205405 259716949 62664056 932224425 1417362093 1641353169 3814724432 101196864 2937811661 1029503099 1669497336 3646016412 1729709065 2667861952 1293667684 1521872536 2311599593 559753476 1900086146 331341000 963952910 602512449 3693297946 3588236260 765976116 1292649179 2382763118 977898758 3421163878 2438373476 392572359 1199199251 277620850 1461840931 1602997401 1083795488 4266262552 589276704 2059883503 3480705726 663284354 1340558734 668379756 1401257409 1727526604 693535851 915032458 3550451919 725400434 646768554 2254654044 1030780272 3409175572 2977946422 2319599303 2473569941 4081070018 816550282 4260637513 1671934138 4174160417 586877788 255 362436" option to reproduce the execution
0.00/0.01 c #vars 256
0.00/0.01 c #constraints 94
0.00/0.02 c BCD2: Hardening is enabled.
0.00/0.02 c BCD2: BiasedSearch is enabled.
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 142 0 | 17 | 0
0.00/0.03 c 0.0s | 1 | 143 | 100 | 142 0 | 17 | 0
0.00/0.04 c 0.0s | 1 | 206 | 107 | 157 0 | 17 | 0
0.00/0.04 c #cpu_time = 0.019s
0.00/0.04 c #wall_clock_time = 0.019s
0.00/0.04 c #decision = 206
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 107
0.00/0.04 c #restart = 1
0.00/0.04 o 129
0.00/0.04 c BCD2: updating upper bound: 256 -> 128
0.00/0.04 c BCD2: 0 <= obj <= 128
0.00/0.04 c BCD2: #cores=0, #unrelaxed=256, #relaxed=0, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=1 bias=1/2
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 | 157 0 | 17 | 0
0.00/0.04 c 0.0s | 0 | 0 | 0 | 157 0 | 17 | 0
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 = 0
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 1
0.00/0.04 c BCD2: 1 <= obj <= 128
0.00/0.04 c BCD2: #cores=1, #unrelaxed=255, #relaxed=1, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=2 bias=2/3
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 | 157 0 | 17 | 0
0.00/0.04 c 0.0s | 0 | 9 | 0 | 157 0 | 17 | 0
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 = 9
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 9: cost of the new core is >=1
0.00/0.04 c lower bound updated to 2
0.00/0.04 c BCD2: 2 <= obj <= 128
0.00/0.04 c BCD2: #cores=2, #unrelaxed=246, #relaxed=10, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=3 bias=3/4
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 | 157 0 | 17 | 0
0.00/0.04 c 0.0s | 0 | 16 | 0 | 157 0 | 17 | 0
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 = 16
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 11: cost of the new core is >=1
0.00/0.04 c lower bound updated to 3
0.00/0.04 c BCD2: 3 <= obj <= 128
0.00/0.04 c BCD2: #cores=3, #unrelaxed=235, #relaxed=21, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=4 bias=4/5
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 | 157 0 | 17 | 0
0.00/0.04 c 0.0s | 0 | 10 | 0 | 157 0 | 17 | 0
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 = 10
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 >=1
0.00/0.04 c lower bound updated to 4
0.00/0.04 c BCD2: 4 <= obj <= 128
0.00/0.04 c BCD2: #cores=4, #unrelaxed=233, #relaxed=23, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=5 bias=5/6
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 | 157 0 | 17 | 0
0.00/0.04 c 0.0s | 0 | 16 | 0 | 157 0 | 17 | 0
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 = 16
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.04 c lower bound updated to 5
0.00/0.05 c BCD2: 5 <= obj <= 128
0.00/0.05 c BCD2: #cores=5, #unrelaxed=226, #relaxed=30, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 157 0 | 17 | 0
0.00/0.05 c 0.0s | 0 | 17 | 1 | 157 0 | 17 | 0
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 = 17
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.00/0.05 c lower bound updated to 6
0.00/0.05 c BCD2: 6 <= obj <= 128
0.00/0.05 c BCD2: #cores=5, #unrelaxed=220, #relaxed=36, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 157 0 | 18 | 0
0.00/0.05 c 0.0s | 0 | 11 | 0 | 157 0 | 18 | 1
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 = 11
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 3: cost of the new core is >=1
0.00/0.05 c lower bound updated to 7
0.00/0.05 c BCD2: 7 <= obj <= 128
0.00/0.05 c BCD2: #cores=6, #unrelaxed=217, #relaxed=39, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 157 0 | 18 | 1
0.00/0.05 c 0.0s | 0 | 10 | 0 | 157 0 | 18 | 1
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 = 10
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 3: cost of the new core is >=1
0.00/0.05 c lower bound updated to 8
0.00/0.05 c BCD2: 8 <= obj <= 128
0.00/0.05 c BCD2: #cores=7, #unrelaxed=214, #relaxed=42, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 157 0 | 18 | 1
0.00/0.05 c 0.0s | 0 | 15 | 1 | 157 0 | 18 | 1
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 = 15
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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.05 c lower bound updated to 9
0.00/0.05 c BCD2: 9 <= obj <= 128
0.00/0.05 c BCD2: #cores=7, #unrelaxed=213, #relaxed=43, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 157 0 | 19 | 2
0.00/0.05 c 0.0s | 0 | 13 | 0 | 157 0 | 19 | 3
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 = 13
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 5: cost of the new core is >=1
0.00/0.05 c lower bound updated to 10
0.00/0.05 c BCD2: 10 <= obj <= 128
0.00/0.05 c BCD2: #cores=8, #unrelaxed=208, #relaxed=48, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 157 0 | 19 | 3
0.00/0.05 c 0.0s | 0 | 14 | 1 | 157 0 | 19 | 3
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 = 14
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 1 cores into a new core of size 9: cost of the new core is >=2
0.00/0.05 c lower bound updated to 11
0.00/0.05 c BCD2: 11 <= obj <= 128
0.00/0.05 c BCD2: #cores=8, #unrelaxed=204, #relaxed=52, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 157 0 | 20 | 3
0.00/0.05 c 0.0s | 0 | 14 | 1 | 157 0 | 20 | 4
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 = 14
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 13: cost of the new core is >=3
0.00/0.06 c lower bound updated to 12
0.00/0.06 c BCD2: 12 <= obj <= 128
0.00/0.06 c BCD2: #cores=8, #unrelaxed=200, #relaxed=56, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 157 0 | 21 | 4
0.00/0.06 c 0.0s | 0 | 18 | 0 | 157 0 | 21 | 5
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 = 18
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.06 c lower bound updated to 13
0.00/0.06 c BCD2: 13 <= obj <= 128
0.00/0.06 c BCD2: #cores=9, #unrelaxed=194, #relaxed=62, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 157 0 | 21 | 5
0.00/0.06 c 0.0s | 0 | 19 | 1 | 157 0 | 21 | 5
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 = 19
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 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.06 c lower bound updated to 14
0.00/0.06 c BCD2: 14 <= obj <= 128
0.00/0.06 c BCD2: #cores=9, #unrelaxed=189, #relaxed=67, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 157 0 | 22 | 5
0.00/0.06 c 0.0s | 0 | 17 | 0 | 157 0 | 22 | 6
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 = 17
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 4: cost of the new core is >=1
0.00/0.06 c lower bound updated to 15
0.00/0.06 c BCD2: 15 <= obj <= 128
0.00/0.06 c BCD2: #cores=10, #unrelaxed=185, #relaxed=71, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 157 0 | 22 | 6
0.00/0.06 c 0.0s | 0 | 20 | 1 | 157 0 | 22 | 6
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 = 20
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 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2
0.00/0.06 c lower bound updated to 16
0.00/0.06 c BCD2: 16 <= obj <= 128
0.00/0.06 c BCD2: #cores=10, #unrelaxed=183, #relaxed=73, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 157 0 | 23 | 6
0.00/0.06 c 0.0s | 0 | 23 | 0 | 157 0 | 23 | 7
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 = 23
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 10: cost of the new core is >=1
0.00/0.06 c lower bound updated to 17
0.00/0.06 c BCD2: 17 <= obj <= 128
0.00/0.06 c BCD2: #cores=11, #unrelaxed=173, #relaxed=83, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 157 0 | 23 | 7
0.00/0.06 c 0.0s | 0 | 20 | 0 | 157 0 | 23 | 7
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 = 20
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 3 and merging with 1 cores into a new core of size 7: cost of the new core is >=2
0.00/0.06 c lower bound updated to 18
0.00/0.06 c BCD2: 18 <= obj <= 128
0.00/0.06 c BCD2: #cores=11, #unrelaxed=170, #relaxed=86, #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 | 157 0 | 24 | 7
0.00/0.07 c 0.0s | 0 | 25 | 0 | 157 0 | 24 | 8
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 = 25
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 8: cost of the new core is >=1
0.00/0.07 c lower bound updated to 19
0.00/0.07 c BCD2: 19 <= obj <= 128
0.00/0.07 c BCD2: #cores=12, #unrelaxed=162, #relaxed=94, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 157 0 | 24 | 8
0.00/0.07 c 0.0s | 0 | 26 | 1 | 157 0 | 24 | 8
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 26
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 1
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 15: cost of the new core is >=2
0.00/0.07 c lower bound updated to 20
0.00/0.07 c BCD2: 20 <= obj <= 128
0.00/0.07 c BCD2: #cores=12, #unrelaxed=155, #relaxed=101, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 157 0 | 25 | 8
0.00/0.07 c 0.0s | 0 | 19 | 0 | 157 0 | 25 | 9
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 = 19
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.07 c lower bound updated to 21
0.00/0.07 c BCD2: 21 <= obj <= 128
0.00/0.07 c BCD2: #cores=13, #unrelaxed=152, #relaxed=104, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=22 bias=22/23
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 157 0 | 25 | 9
0.00/0.07 c 0.0s | 0 | 26 | 0 | 157 0 | 25 | 9
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 26
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.07 c lower bound updated to 22
0.00/0.07 c BCD2: 22 <= obj <= 128
0.00/0.07 c BCD2: #cores=14, #unrelaxed=143, #relaxed=113, #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 | 157 0 | 25 | 9
0.00/0.07 c 0.0s | 0 | 35 | 0 | 157 0 | 25 | 9
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 = 35
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 10: cost of the new core is >=1
0.00/0.07 c lower bound updated to 23
0.00/0.07 c BCD2: 23 <= obj <= 128
0.00/0.07 c BCD2: #cores=15, #unrelaxed=133, #relaxed=123, #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 | 157 0 | 25 | 9
0.00/0.07 c 0.0s | 0 | 32 | 0 | 157 0 | 25 | 9
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 = 32
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.07 c lower bound updated to 24
0.00/0.07 c BCD2: 24 <= obj <= 128
0.00/0.07 c BCD2: #cores=16, #unrelaxed=129, #relaxed=127, #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 | 157 0 | 25 | 9
0.00/0.07 c 0.0s | 0 | 37 | 0 | 157 0 | 25 | 9
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 37
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.07 c lower bound updated to 25
0.00/0.07 c BCD2: 25 <= obj <= 128
0.00/0.07 c BCD2: #cores=17, #unrelaxed=121, #relaxed=135, #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.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 157 0 | 25 | 9
0.00/0.08 c 0.0s | 0 | 32 | 0 | 157 0 | 25 | 9
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 = 32
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 3: cost of the new core is >=1
0.00/0.08 c lower bound updated to 26
0.00/0.08 c BCD2: 26 <= obj <= 128
0.00/0.08 c BCD2: #cores=18, #unrelaxed=118, #relaxed=138, #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 | 157 0 | 25 | 9
0.00/0.08 c 0.0s | 0 | 37 | 1 | 157 0 | 25 | 9
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 = 37
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 15: cost of the new core is >=2
0.00/0.08 c lower bound updated to 27
0.00/0.08 c BCD2: 27 <= obj <= 128
0.00/0.08 c BCD2: #cores=18, #unrelaxed=111, #relaxed=145, #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 | 157 0 | 26 | 9
0.00/0.08 c 0.0s | 0 | 37 | 0 | 157 0 | 26 | 10
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 = 37
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.08 c lower bound updated to 28
0.00/0.08 c BCD2: 28 <= obj <= 128
0.00/0.08 c BCD2: #cores=19, #unrelaxed=103, #relaxed=153, #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 | 157 0 | 26 | 10
0.00/0.08 c 0.0s | 0 | 38 | 1 | 157 0 | 26 | 10
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 38
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 15: cost of the new core is >=2
0.00/0.08 c lower bound updated to 29
0.00/0.08 c BCD2: 29 <= obj <= 128
0.00/0.08 c BCD2: #cores=19, #unrelaxed=96, #relaxed=160, #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 | 157 0 | 27 | 10
0.00/0.08 c 0.0s | 0 | 41 | 0 | 157 0 | 27 | 11
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 = 41
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 10: cost of the new core is >=1
0.00/0.08 c lower bound updated to 30
0.00/0.08 c BCD2: 30 <= obj <= 128
0.00/0.08 c BCD2: #cores=20, #unrelaxed=86, #relaxed=170, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=31 bias=31/32
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 157 0 | 27 | 11
0.00/0.08 c 0.0s | 0 | 39 | 1 | 157 0 | 27 | 11
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 = 39
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 8 and merging with 2 cores into a new core of size 17: cost of the new core is >=4
0.00/0.08 c lower bound updated to 31
0.00/0.08 c BCD2: 31 <= obj <= 128
0.00/0.08 c BCD2: #cores=19, #unrelaxed=78, #relaxed=178, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=32 bias=32/33
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 157 0 | 29 | 11
0.00/0.09 c 0.0s | 0 | 35 | 0 | 157 0 | 29 | 13
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 35
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.09 c lower bound updated to 32
0.00/0.09 c BCD2: 32 <= obj <= 128
0.00/0.09 c BCD2: #cores=20, #unrelaxed=71, #relaxed=185, #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 | 157 0 | 29 | 13
0.00/0.09 c 0.0s | 0 | 36 | 1 | 157 0 | 29 | 13
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 36
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.00/0.09 c lower bound updated to 33
0.00/0.09 c BCD2: 33 <= obj <= 128
0.00/0.09 c BCD2: #cores=20, #unrelaxed=65, #relaxed=191, #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 | 157 0 | 30 | 13
0.00/0.09 c 0.0s | 0 | 39 | 0 | 157 0 | 30 | 14
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 = 39
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.09 c lower bound updated to 34
0.00/0.09 c BCD2: 34 <= obj <= 128
0.00/0.09 c BCD2: #cores=21, #unrelaxed=56, #relaxed=200, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=35 bias=35/36
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 157 0 | 30 | 14
0.00/0.09 c 0.0s | 0 | 44 | 0 | 157 0 | 30 | 14
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 = 44
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.09 c lower bound updated to 35
0.00/0.09 c BCD2: 35 <= obj <= 128
0.00/0.09 c BCD2: #cores=22, #unrelaxed=48, #relaxed=208, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=36 bias=36/37
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 157 0 | 30 | 14
0.00/0.09 c 0.0s | 0 | 40 | 0 | 157 0 | 30 | 14
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 = 40
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 3: cost of the new core is >=1
0.00/0.09 c lower bound updated to 36
0.00/0.09 c BCD2: 36 <= obj <= 128
0.00/0.09 c BCD2: #cores=23, #unrelaxed=45, #relaxed=211, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=37 bias=37/38
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 157 0 | 30 | 14
0.00/0.09 c 0.0s | 0 | 39 | 0 | 157 0 | 30 | 14
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 = 39
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 3: cost of the new core is >=1
0.00/0.09 c lower bound updated to 37
0.00/0.09 c BCD2: 37 <= obj <= 128
0.00/0.09 c BCD2: #cores=24, #unrelaxed=42, #relaxed=214, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=38 bias=38/39
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 157 0 | 30 | 14
0.00/0.10 c 0.0s | 0 | 39 | 0 | 157 0 | 30 | 14
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 39
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.10 c lower bound updated to 38
0.09/0.10 c BCD2: 38 <= obj <= 128
0.09/0.10 c BCD2: #cores=25, #unrelaxed=41, #relaxed=215, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=39 bias=39/40
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 157 0 | 30 | 14
0.09/0.10 c 0.0s | 0 | 40 | 0 | 157 0 | 30 | 14
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 40
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.10 c lower bound updated to 39
0.09/0.10 c BCD2: 39 <= obj <= 128
0.09/0.10 c BCD2: #cores=26, #unrelaxed=40, #relaxed=216, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=40 bias=40/41
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 | 157 0 | 30 | 14
0.09/0.10 c 0.0s | 0 | 42 | 1 | 157 0 | 30 | 14
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 = 42
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 4 and merging with 1 cores into a new core of size 12: cost of the new core is >=2
0.09/0.10 c lower bound updated to 40
0.09/0.10 c BCD2: 40 <= obj <= 128
0.09/0.10 c BCD2: #cores=26, #unrelaxed=36, #relaxed=220, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=41 bias=41/42
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 | 157 0 | 31 | 14
0.09/0.10 c 0.0s | 0 | 43 | 0 | 157 0 | 31 | 15
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 = 43
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 6: cost of the new core is >=1
0.09/0.10 c lower bound updated to 41
0.09/0.10 c BCD2: 41 <= obj <= 128
0.09/0.10 c BCD2: #cores=27, #unrelaxed=30, #relaxed=226, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=42 bias=42/43
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 | 157 0 | 31 | 15
0.09/0.10 c 0.0s | 0 | 43 | 0 | 157 0 | 31 | 15
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 = 43
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.10 c lower bound updated to 42
0.09/0.10 c BCD2: 42 <= obj <= 128
0.09/0.10 c BCD2: #cores=28, #unrelaxed=29, #relaxed=227, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=43 bias=43/44
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 | 157 0 | 31 | 15
0.09/0.10 c 0.0s | 0 | 44 | 0 | 157 0 | 31 | 15
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 44
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.10 c lower bound updated to 43
0.09/0.10 c BCD2: 43 <= obj <= 128
0.09/0.10 c BCD2: #cores=29, #unrelaxed=28, #relaxed=228, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=44 bias=44/45
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 | 157 0 | 31 | 15
0.09/0.11 c 0.0s | 0 | 54 | 4 | 157 0 | 31 | 15
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 = 54
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 4
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 16: cost of the new core is >=3
0.09/0.11 c lower bound updated to 44
0.09/0.11 c BCD2: 44 <= obj <= 128
0.09/0.11 c BCD2: #cores=29, #unrelaxed=24, #relaxed=232, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=45 bias=45/46
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 | 157 0 | 32 | 15
0.09/0.11 c 0.0s | 0 | 122 | 16 | 157 0 | 32 | 16
0.09/0.11 c #cpu_time = 0.002s
0.09/0.11 c #wall_clock_time = 0.002s
0.09/0.11 c #decision = 122
0.09/0.11 c #random_decision = 1
0.09/0.11 c #conflict = 16
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 4: cost of the new core is >=2
0.09/0.11 c lower bound updated to 45
0.09/0.11 c BCD2: 45 <= obj <= 128
0.09/0.11 c BCD2: #cores=29, #unrelaxed=23, #relaxed=233, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=46 bias=46/47
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 | 157 0 | 33 | 16
0.09/0.11 c 0.0s | 0 | 122 | 65 | 157 0 | 33 | 17
0.09/0.11 c #cpu_time = 0.004s
0.09/0.11 c #wall_clock_time = 0.004s
0.09/0.11 c #decision = 122
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 65
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 1 and merging with 3 cores into a new core of size 29: cost of the new core is >=6
0.09/0.11 c lower bound updated to 46
0.09/0.11 c BCD2: 46 <= obj <= 128
0.09/0.11 c BCD2: #cores=27, #unrelaxed=22, #relaxed=234, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=47 bias=47/48
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 | 157 0 | 36 | 17
0.09/0.12 c 0.0s | 1 | 189 | 100 | 173 0 | 36 | 20
0.09/0.13 c 0.0s | 2 | 457 | 250 | 173 1 | 36 | 20
0.09/0.14 c 0.0s | 3 | 724 | 475 | 191 3 | 36 | 20
0.09/0.16 c 0.0s | 4 | 1138 | 813 | 211 5 | 36 | 20
0.09/0.18 c 0.1s | 4 | 1739 | 1109 | 211 8 | 37 | 21
0.09/0.18 c #cpu_time = 0.065s
0.09/0.18 c #wall_clock_time = 0.065s
0.09/0.18 c #decision = 1739
0.09/0.18 c #random_decision = 6
0.09/0.18 c #conflict = 1109
0.09/0.18 c #restart = 4
0.09/0.18 c BCD2: updating lower bound of a core
0.09/0.18 c lower bound updated to 51
0.09/0.18 c BCD2: 51 <= obj <= 128
0.09/0.18 c BCD2: #cores=27, #unrelaxed=22, #relaxed=234, #hardened=0
0.09/0.18 c BCD2: #sat=1 #unsat=48 bias=48/49
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 | 211 0 | 37 | 22
0.09/0.19 c 0.0s | 1 | 189 | 100 | 233 0 | 37 | 22
0.19/0.20 c 0.0s | 2 | 555 | 250 | 233 0 | 37 | 22
0.19/0.22 c 0.0s | 3 | 926 | 475 | 233 1 | 37 | 22
0.19/0.25 c 0.1s | 4 | 1442 | 813 | 257 3 | 37 | 22
0.29/0.30 c 0.1s | 5 | 2139 | 1320 | 257 6 | 37 | 22
0.29/0.37 c 0.2s | 6 | 3144 | 2081 | 283 11 | 37 | 22
0.39/0.48 c 0.3s | 7 | 4620 | 3223 | 283 17 | 37 | 22
0.59/0.64 c 0.5s | 8 | 6896 | 4936 | 312 25 | 37 | 22
0.79/0.86 c 0.7s | 9 | 10447 | 7506 | 344 38 | 37 | 22
1.20/1.23 c 1.1s | 10 | 15418 | 11361 | 379 55 | 37 | 22
1.59/1.64 c 1.5s | 11 | 22479 | 17144 | 417 79 | 37 | 22
2.19/2.28 c 2.1s | 12 | 33741 | 25819 | 459 113 | 37 | 22
3.09/3.17 c 3.0s | 13 | 50405 | 38832 | 505 160 | 37 | 22
4.49/4.51 c 4.3s | 14 | 75634 | 58352 | 556 226 | 37 | 22
6.49/6.52 c 6.3s | 14 | 107197 | 84652 | 556 307 | 37 | 22
6.59/6.63 c 6.4s | 14 | 109001 | 86119 | 612 312 | 37 | 22
6.59/6.63 c #cpu_time = 6.446s
6.59/6.63 c #wall_clock_time = 6.446s
6.59/6.63 c #decision = 109001
6.59/6.63 c #random_decision = 448
6.59/6.63 c #conflict = 86119
6.59/6.63 c #restart = 14
6.59/6.63 c BCD2: relaxing 4 and merging with 4 cores into a new core of size 56: cost of the new core is >=12
6.59/6.63 c lower bound updated to 52
6.59/6.63 c BCD2: 52 <= obj <= 128
6.59/6.63 c BCD2: #cores=24, #unrelaxed=18, #relaxed=238, #hardened=0
6.59/6.63 c BCD2: #sat=1 #unsat=49 bias=49/50
6.59/6.63 c Solving starts ...
6.59/6.63 c ============================[ Search Statistics ]============================
6.59/6.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
6.59/6.63 c | | | | Limit GC | Var | Constra
6.59/6.63 c =============================================================================
6.59/6.63 c 0.0s | 0 | 0 | 0 | 612 0 | 41 | 22
6.59/6.64 c 0.0s | 1 | 193 | 100 | 612 0 | 41 | 26
6.59/6.65 c 0.0s | 2 | 426 | 250 | 612 0 | 41 | 26
6.59/6.67 c 0.0s | 3 | 786 | 475 | 612 0 | 41 | 26
6.69/6.71 c 0.1s | 4 | 1256 | 813 | 612 1 | 41 | 26
6.69/6.77 c 0.1s | 5 | 2046 | 1320 | 612 2 | 41 | 26
6.79/6.86 c 0.2s | 6 | 3156 | 2081 | 612 4 | 41 | 26
6.89/6.98 c 0.4s | 7 | 4688 | 3223 | 612 8 | 41 | 26
7.08/7.17 c 0.5s | 8 | 7038 | 4936 | 612 12 | 41 | 26
7.38/7.44 c 0.8s | 9 | 10338 | 7506 | 612 19 | 41 | 26
7.98/8.02 c 1.4s | 10 | 15586 | 11361 | 612 30 | 41 | 26
8.79/8.90 c 2.3s | 11 | 22548 | 17144 | 612 46 | 41 | 26
9.99/10.04 c 3.4s | 12 | 33688 | 25819 | 612 70 | 41 | 26
11.68/11.74 c 5.1s | 13 | 51423 | 38832 | 612 106 | 41 | 26
13.68/13.75 c 7.1s | 13 | 69126 | 53332 | 674 144 | 41 | 26
14.39/14.49 c 7.9s | 14 | 74943 | 58352 | 674 157 | 41 | 26
16.08/16.14 c 9.5s | 14 | 96509 | 76990 | 674 205 | 42 | 27
16.08/16.14 c #cpu_time = 9.511s
16.08/16.14 c #wall_clock_time = 9.511s
16.08/16.14 c #decision = 96509
16.08/16.14 c #random_decision = 382
16.08/16.14 c #conflict = 76990
16.08/16.14 c #restart = 14
16.08/16.14 c BCD2: updating lower bound of a core
16.08/16.14 c lower bound updated to 58
16.08/16.14 c BCD2: 58 <= obj <= 128
16.08/16.14 c BCD2: #cores=24, #unrelaxed=18, #relaxed=238, #hardened=0
16.08/16.14 c BCD2: #sat=1 #unsat=50 bias=50/51
16.08/16.14 c Solving starts ...
16.08/16.14 c ============================[ Search Statistics ]============================
16.08/16.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
16.08/16.14 c | | | | Limit GC | Var | Constra
16.08/16.14 c =============================================================================
16.08/16.14 c 0.0s | 0 | 0 | 0 | 674 0 | 42 | 28
16.08/16.15 c 0.0s | 1 | 197 | 100 | 674 0 | 42 | 28
16.08/16.17 c 0.0s | 2 | 470 | 250 | 674 0 | 42 | 28
16.08/16.19 c 0.1s | 3 | 809 | 475 | 674 0 | 42 | 28
16.18/16.22 c 0.1s | 4 | 1374 | 813 | 674 1 | 42 | 28
16.18/16.28 c 0.1s | 5 | 2068 | 1320 | 674 2 | 42 | 28
16.28/16.35 c 0.2s | 6 | 3254 | 2081 | 674 4 | 42 | 28
16.38/16.46 c 0.3s | 7 | 4977 | 3223 | 674 7 | 42 | 28
16.59/16.64 c 0.5s | 8 | 7436 | 4936 | 674 11 | 42 | 28
16.78/16.88 c 0.7s | 9 | 10906 | 7506 | 674 18 | 42 | 28
17.28/17.30 c 1.2s | 10 | 16401 | 11361 | 674 28 | 42 | 28
17.78/17.86 c 1.7s | 11 | 24061 | 17144 | 674 43 | 42 | 28
18.70/18.76 c 2.6s | 12 | 35653 | 25819 | 674 65 | 42 | 28
20.09/20.11 c 4.0s | 13 | 53573 | 38832 | 742 97 | 42 | 28
22.10/22.12 c 6.0s | 13 | 77086 | 56232 | 742 138 | 42 | 28
22.39/22.40 c 6.3s | 14 | 79686 | 58352 | 742 143 | 42 | 28
24.39/24.41 c 8.3s | 14 | 98345 | 73752 | 742 179 | 42 | 28
26.09/26.15 c 10.0s | 15 | 115880 | 87632 | 742 212 | 42 | 28
28.09/28.16 c 12.0s | 15 | 136051 | 103532 | 742 249 | 42 | 28
28.29/28.38 c 12.2s | 15 | 138429 | 105372 | 742 253 | 43 | 29
28.29/28.38 c #cpu_time = 12.242s
28.29/28.38 c #wall_clock_time = 12.241s
28.29/28.38 c #decision = 138429
28.29/28.38 c #random_decision = 548
28.29/28.38 c #conflict = 105372
28.29/28.38 c #restart = 15
28.29/28.38 c BCD2: updating lower bound of a core
28.29/28.38 c lower bound updated to 62
28.29/28.38 c BCD2: 62 <= obj <= 128
28.29/28.38 c BCD2: #cores=24, #unrelaxed=18, #relaxed=238, #hardened=0
28.29/28.38 c BCD2: #sat=1 #unsat=51 bias=51/52
28.29/28.38 c Solving starts ...
28.29/28.38 c ============================[ Search Statistics ]============================
28.29/28.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.29/28.38 c | | | | Limit GC | Var | Constra
28.29/28.38 c =============================================================================
28.29/28.38 c 0.0s | 0 | 0 | 0 | 742 0 | 43 | 30
28.39/28.40 c 0.0s | 1 | 159 | 100 | 742 0 | 43 | 30
28.39/28.42 c 0.0s | 2 | 439 | 250 | 742 0 | 43 | 30
28.39/28.45 c 0.1s | 3 | 887 | 475 | 742 0 | 43 | 30
28.49/28.50 c 0.1s | 4 | 1352 | 813 | 742 1 | 43 | 30
28.49/28.54 c 0.2s | 5 | 1988 | 1320 | 742 2 | 43 | 30
28.49/28.55 c 0.2s | 5 | 2314 | 1540 | 742 3 | 44 | 31
28.49/28.55 c #cpu_time = 0.174s
28.49/28.55 c #wall_clock_time = 0.174s
28.49/28.55 c #decision = 2314
28.49/28.55 c #random_decision = 10
28.49/28.55 c #conflict = 1540
28.49/28.55 c #restart = 5
28.49/28.55 c BCD2: updating lower bound of a core
28.49/28.55 c lower bound updated to 68
28.49/28.55 c BCD2: 68 <= obj <= 128
28.49/28.55 c BCD2: #cores=24, #unrelaxed=18, #relaxed=238, #hardened=0
28.49/28.55 c BCD2: #sat=1 #unsat=52 bias=52/53
28.49/28.55 c Solving starts ...
28.49/28.55 c ============================[ Search Statistics ]============================
28.49/28.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.49/28.55 c | | | | Limit GC | Var | Constra
28.49/28.55 c =============================================================================
28.49/28.55 c 0.0s | 0 | 0 | 0 | 742 0 | 44 | 32
28.49/28.57 c 0.0s | 1 | 176 | 100 | 742 0 | 44 | 32
28.49/28.58 c 0.0s | 2 | 529 | 250 | 742 0 | 44 | 32
28.49/28.59 c 0.0s | 3 | 839 | 475 | 742 0 | 44 | 32
28.60/28.64 c 0.1s | 4 | 1420 | 813 | 742 1 | 44 | 32
28.60/28.66 c 0.1s | 5 | 2018 | 1320 | 742 2 | 44 | 32
28.60/28.70 c 0.1s | 6 | 2818 | 2081 | 742 4 | 44 | 32
28.70/28.76 c 0.2s | 7 | 3998 | 3223 | 742 7 | 44 | 32
28.79/28.86 c 0.3s | 8 | 5864 | 4936 | 742 11 | 44 | 32
28.79/28.87 c 0.3s | 8 | 6103 | 5051 | 742 11 | 45 | 33
28.79/28.87 c #cpu_time = 0.311s
28.79/28.87 c #wall_clock_time = 0.311s
28.79/28.87 c #decision = 6103
28.79/28.87 c #random_decision = 21
28.79/28.87 c #conflict = 5051
28.79/28.87 c #restart = 8
28.79/28.87 c BCD2: updating lower bound of a core
28.79/28.87 c lower bound updated to 74
28.79/28.87 c BCD2: 74 <= obj <= 128
28.79/28.87 c BCD2: #cores=24, #unrelaxed=18, #relaxed=238, #hardened=0
28.79/28.87 c BCD2: #sat=1 #unsat=53 bias=53/54
28.79/28.87 c Solving starts ...
28.79/28.87 c ============================[ Search Statistics ]============================
28.79/28.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.79/28.87 c | | | | Limit GC | Var | Constra
28.79/28.87 c =============================================================================
28.79/28.87 c 0.0s | 0 | 0 | 0 | 742 0 | 45 | 34
28.79/28.88 c 0.0s | 1 | 156 | 100 | 742 0 | 45 | 34
28.79/28.89 c 0.0s | 2 | 404 | 250 | 742 0 | 45 | 34
28.89/28.90 c 0.0s | 3 | 705 | 475 | 742 0 | 45 | 34
28.89/28.94 c 0.1s | 4 | 1173 | 813 | 742 0 | 45 | 34
28.89/28.97 c 0.1s | 5 | 1828 | 1320 | 742 2 | 45 | 34
28.99/29.08 c 0.2s | 6 | 2803 | 2081 | 742 3 | 45 | 34
29.19/29.26 c 0.4s | 7 | 4326 | 3223 | 742 6 | 45 | 34
29.39/29.46 c 0.6s | 8 | 6632 | 4936 | 742 10 | 45 | 34
29.80/29.87 c 1.0s | 9 | 10140 | 7506 | 742 16 | 45 | 34
30.39/30.40 c 1.5s | 10 | 14914 | 11361 | 742 25 | 45 | 34
30.80/30.83 c 2.0s | 10 | 21758 | 16601 | 742 38 | 45 | 34
30.80/30.83 c #cpu_time = 1.968s
30.80/30.83 c #wall_clock_time = 1.968s
30.80/30.83 c #decision = 21758
30.80/30.83 c #random_decision = 93
30.80/30.83 c #conflict = 16601
30.80/30.83 c #restart = 10
30.80/30.83 c BCD2: relaxing 5 and merging with 14 cores into a new core of size 133: cost of the new core is >=46
30.80/30.83 c lower bound updated to 75
30.80/30.83 c BCD2: 75 <= obj <= 128
30.80/30.83 c BCD2: #cores=11, #unrelaxed=13, #relaxed=243, #hardened=0
30.80/30.83 c BCD2: #sat=1 #unsat=54 bias=54/55
30.80/30.84 c Solving starts ...
30.80/30.84 c ============================[ Search Statistics ]============================
30.80/30.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
30.80/30.84 c | | | | Limit GC | Var | Constra
30.80/30.84 c =============================================================================
30.80/30.84 c 0.0s | 0 | 0 | 0 | 742 0 | 59 | 34
30.80/30.85 c 0.0s | 1 | 179 | 100 | 742 0 | 59 | 48
30.80/30.88 c 0.0s | 2 | 435 | 250 | 742 0 | 59 | 48
30.90/30.91 c 0.1s | 3 | 774 | 475 | 742 0 | 59 | 48
30.90/30.94 c 0.1s | 4 | 1179 | 813 | 742 0 | 59 | 48
30.99/31.00 c 0.2s | 5 | 1762 | 1320 | 817 1 | 59 | 48
31.09/31.14 c 0.3s | 6 | 2821 | 2081 | 817 3 | 59 | 48
31.09/31.20 c 0.4s | 7 | 4073 | 3223 | 817 6 | 59 | 48
31.19/31.29 c 0.5s | 8 | 5805 | 4936 | 817 10 | 59 | 48
31.29/31.39 c 0.6s | 8 | 7633 | 6656 | 817 13 | 60 | 49
31.29/31.39 c #cpu_time = 0.551s
31.29/31.39 c #wall_clock_time = 0.551s
31.29/31.39 c #decision = 7633
31.29/31.39 c #random_decision = 39
31.29/31.39 c #conflict = 6656
31.29/31.39 c #restart = 8
31.29/31.39 c BCD2: updating lower bound of a core
31.29/31.39 c lower bound updated to 81
31.29/31.39 c BCD2: 81 <= obj <= 128
31.29/31.39 c BCD2: #cores=11, #unrelaxed=13, #relaxed=243, #hardened=0
31.29/31.39 c BCD2: #sat=1 #unsat=55 bias=55/56
31.29/31.39 c Solving starts ...
31.29/31.39 c ============================[ Search Statistics ]============================
31.29/31.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
31.29/31.39 c | | | | Limit GC | Var | Constra
31.29/31.39 c =============================================================================
31.29/31.39 c 0.0s | 0 | 0 | 0 | 817 0 | 60 | 50
31.39/31.40 c 0.0s | 1 | 158 | 100 | 817 0 | 60 | 50
31.39/31.41 c 0.0s | 2 | 421 | 250 | 817 0 | 60 | 50
31.39/31.43 c 0.0s | 3 | 764 | 475 | 817 0 | 60 | 50
31.39/31.47 c 0.1s | 4 | 1215 | 813 | 817 0 | 60 | 50
31.49/31.56 c 0.2s | 5 | 1866 | 1320 | 817 1 | 60 | 50
31.69/31.72 c 0.3s | 6 | 2904 | 2081 | 817 3 | 60 | 50
31.79/31.87 c 0.5s | 7 | 4261 | 3223 | 817 5 | 60 | 50
32.29/32.32 c 0.9s | 8 | 6291 | 4936 | 817 8 | 60 | 50
32.69/32.76 c 1.4s | 9 | 9225 | 7506 | 817 14 | 60 | 50
33.39/33.47 c 2.1s | 10 | 14336 | 11361 | 817 22 | 60 | 50
34.79/34.82 c 3.4s | 11 | 21308 | 17144 | 817 34 | 60 | 50
36.79/36.82 c 5.4s | 12 | 31815 | 25819 | 817 52 | 60 | 50
38.79/38.83 c 7.4s | 12 | 43893 | 35819 | 817 73 | 60 | 50
39.39/39.42 c 8.0s | 13 | 47705 | 38832 | 817 79 | 60 | 50
41.39/41.42 c 10.0s | 13 | 58440 | 47732 | 817 97 | 60 | 50
43.39/43.44 c 12.0s | 13 | 71294 | 58132 | 817 119 | 60 | 50
43.39/43.49 c 12.1s | 14 | 71546 | 58352 | 817 119 | 60 | 50
45.49/45.50 c 14.1s | 14 | 81837 | 66952 | 817 137 | 60 | 50
47.48/47.52 c 16.1s | 14 | 91255 | 75052 | 817 153 | 60 | 50
49.49/49.53 c 18.1s | 14 | 100407 | 82852 | 817 169 | 60 | 50
50.69/50.74 c 19.4s | 15 | 106067 | 87632 | 817 179 | 60 | 50
52.68/52.75 c 21.4s | 15 | 116569 | 96032 | 817 196 | 60 | 50
54.68/54.77 c 23.4s | 15 | 126514 | 104132 | 817 213 | 60 | 50
56.68/56.78 c 25.4s | 15 | 137240 | 112832 | 817 231 | 60 | 50
58.68/58.78 c 27.4s | 15 | 149897 | 122532 | 817 251 | 60 | 50
60.59/60.64 c 29.3s | 16 | 161397 | 131552 | 817 270 | 60 | 50
62.58/62.66 c 31.3s | 16 | 172531 | 140452 | 817 288 | 60 | 50
64.58/64.67 c 33.3s | 16 | 181563 | 147752 | 899 302 | 60 | 50
66.58/66.69 c 35.3s | 16 | 197832 | 161952 | 899 330 | 60 | 50
68.58/68.69 c 37.3s | 16 | 212187 | 173352 | 899 352 | 60 | 50
70.68/70.70 c 39.3s | 16 | 229792 | 187852 | 899 380 | 60 | 50
72.28/72.33 c 40.9s | 17 | 242080 | 197432 | 899 399 | 60 | 50
74.28/74.33 c 42.9s | 17 | 250390 | 204532 | 899 412 | 60 | 50
76.28/76.36 c 45.0s | 17 | 258683 | 211832 | 899 425 | 60 | 50
78.27/78.39 c 47.0s | 17 | 266294 | 218532 | 899 438 | 60 | 50
80.29/80.39 c 49.0s | 17 | 276087 | 226832 | 899 453 | 60 | 50
82.38/82.40 c 51.0s | 17 | 284324 | 234032 | 899 467 | 60 | 50
84.38/84.43 c 53.0s | 17 | 292658 | 241332 | 899 481 | 60 | 50
86.38/86.43 c 55.0s | 17 | 300731 | 248332 | 899 494 | 60 | 50
88.38/88.46 c 57.1s | 17 | 308716 | 255332 | 899 506 | 60 | 50
90.38/90.46 c 59.1s | 17 | 316375 | 262132 | 899 519 | 60 | 50
92.39/92.47 c 61.1s | 17 | 324779 | 269432 | 899 533 | 60 | 50
94.38/94.48 c 63.1s | 17 | 333098 | 276632 | 899 547 | 60 | 50
96.38/96.49 c 65.1s | 17 | 341035 | 283632 | 899 560 | 60 | 50
98.48/98.52 c 67.1s | 17 | 349098 | 290732 | 899 573 | 60 | 50
99.98/100.06 c 68.7s | 18 | 355469 | 296252 | 899 583 | 60 | 50
101.98/102.09 c 70.7s | 18 | 365188 | 304152 | 899 598 | 60 | 50
103.98/104.09 c 72.7s | 18 | 374698 | 312152 | 899 613 | 60 | 50
106.08/106.10 c 74.7s | 18 | 386360 | 322052 | 899 632 | 60 | 50
108.08/108.12 c 76.7s | 18 | 399293 | 332452 | 899 652 | 60 | 50
110.08/110.13 c 78.7s | 18 | 410291 | 341552 | 899 670 | 60 | 50
112.08/112.14 c 80.8s | 18 | 420378 | 349952 | 899 686 | 60 | 50
114.07/114.15 c 82.8s | 18 | 433758 | 360852 | 899 707 | 60 | 50
116.07/116.16 c 84.8s | 18 | 444803 | 369952 | 989 723 | 60 | 50
118.07/118.18 c 86.8s | 18 | 456687 | 379652 | 989 740 | 60 | 50
120.07/120.19 c 88.8s | 18 | 467782 | 388452 | 989 755 | 60 | 50
122.18/122.20 c 90.8s | 18 | 478002 | 396852 | 989 770 | 60 | 50
124.17/124.21 c 92.8s | 18 | 487498 | 404852 | 989 784 | 60 | 50
126.17/126.23 c 94.8s | 18 | 498052 | 413452 | 989 799 | 60 | 50
128.17/128.24 c 96.9s | 18 | 509141 | 422452 | 989 815 | 60 | 50
130.17/130.27 c 98.9s | 18 | 519061 | 430752 | 989 830 | 60 | 50
132.17/132.28 c 100s | 18 | 528845 | 438952 | 989 844 | 60 | 50
133.57/133.65 c 102s | 19 | 535247 | 444482 | 989 854 | 60 | 50
135.57/135.67 c 104s | 19 | 544855 | 452482 | 989 868 | 60 | 50
137.67/137.70 c 106s | 19 | 554843 | 460682 | 989 882 | 60 | 50
139.68/139.72 c 108s | 19 | 564938 | 468982 | 989 896 | 60 | 50
141.67/141.74 c 110s | 19 | 574296 | 476782 | 989 910 | 60 | 50
143.67/143.75 c 112s | 19 | 585096 | 485682 | 989 926 | 60 | 50
145.67/145.76 c 114s | 19 | 595043 | 493782 | 989 940 | 60 | 50
147.67/147.77 c 116s | 19 | 604332 | 501582 | 989 954 | 60 | 50
149.67/149.78 c 118s | 19 | 614964 | 510282 | 989 969 | 60 | 50
151.67/151.79 c 120s | 19 | 625293 | 518782 | 989 984 | 60 | 50
153.77/153.80 c 122s | 19 | 634583 | 526682 | 989 998 | 60 | 50
155.77/155.80 c 124s | 19 | 644141 | 534682 | 989 1012 | 60 | 50
157.77/157.82 c 126s | 19 | 654243 | 543082 | 989 1027 | 60 | 50
159.76/159.83 c 128s | 19 | 664072 | 551382 | 989 1041 | 60 | 50
161.77/161.85 c 130s | 19 | 674440 | 560082 | 989 1057 | 60 | 50
163.76/163.86 c 132s | 19 | 684037 | 567982 | 989 1070 | 60 | 50
165.76/165.88 c 134s | 19 | 692897 | 575382 | 989 1083 | 60 | 50
167.86/167.91 c 136s | 19 | 702513 | 583382 | 989 1097 | 60 | 50
169.86/169.92 c 138s | 19 | 711755 | 591182 | 989 1111 | 60 | 50
171.86/171.94 c 140s | 19 | 721036 | 598982 | 989 1125 | 60 | 50
173.87/173.95 c 142s | 19 | 729947 | 606582 | 989 1138 | 60 | 50
175.86/175.96 c 144s | 19 | 739266 | 614182 | 989 1151 | 60 | 50
177.86/177.96 c 146s | 19 | 749022 | 622282 | 989 1165 | 60 | 50
179.86/179.96 c 148s | 19 | 760641 | 631782 | 989 1182 | 60 | 50
181.86/181.98 c 150s | 19 | 772089 | 641082 | 989 1198 | 60 | 50
183.86/183.99 c 152s | 19 | 783822 | 650282 | 989 1214 | 60 | 50
185.87/186.00 c 154s | 19 | 796120 | 659982 | 989 1231 | 60 | 50
187.46/187.52 c 156s | 20 | 804558 | 666827 | 989 1244 | 60 | 50
189.46/189.53 c 158s | 20 | 815869 | 676627 | 989 1261 | 60 | 50
191.47/191.54 c 160s | 20 | 824393 | 684027 | 989 1273 | 60 | 50
193.46/193.55 c 162s | 20 | 833930 | 692127 | 989 1288 | 60 | 50
195.46/195.58 c 164s | 20 | 843932 | 700127 | 1088 1300 | 60 | 50
197.46/197.59 c 166s | 20 | 852097 | 707127 | 1088 1312 | 60 | 50
199.46/199.59 c 168s | 20 | 860717 | 714427 | 1088 1324 | 60 | 50
201.56/201.62 c 170s | 20 | 869342 | 721827 | 1088 1336 | 60 | 50
203.56/203.64 c 172s | 20 | 877153 | 728327 | 1088 1346 | 60 | 50
205.55/205.68 c 174s | 20 | 884567 | 734627 | 1088 1357 | 60 | 50
207.65/207.70 c 176s | 20 | 892757 | 741527 | 1088 1368 | 60 | 50
209.65/209.70 c 178s | 20 | 901084 | 748727 | 1088 1379 | 60 | 50
211.65/211.71 c 180s | 20 | 909425 | 755827 | 1088 1390 | 60 | 50
213.65/213.73 c 182s | 20 | 917334 | 762727 | 1088 1401 | 60 | 50
215.66/215.73 c 184s | 20 | 924812 | 769227 | 1088 1412 | 60 | 50
217.65/217.76 c 186s | 20 | 934419 | 777327 | 1088 1425 | 60 | 50
219.65/219.76 c 188s | 20 | 942712 | 784327 | 1088 1436 | 60 | 50
221.65/221.77 c 190s | 20 | 952676 | 792427 | 1088 1449 | 60 | 50
223.75/223.80 c 192s | 20 | 961138 | 799727 | 1088 1461 | 60 | 50
225.76/225.81 c 194s | 20 | 970402 | 807527 | 1088 1473 | 60 | 50
227.77/227.82 c 196s | 20 | 979138 | 815027 | 1088 1486 | 60 | 50
229.76/229.83 c 198s | 20 | 987670 | 822427 | 1088 1497 | 60 | 50
231.76/231.86 c 200s | 20 | 995716 | 829327 | 1088 1508 | 60 | 50
233.76/233.87 c 202s | 20 | 1005315 | 837327 | 1088 1521 | 60 | 50
235.76/235.87 c 204s | 20 | 1013540 | 844427 | 1088 1533 | 60 | 50
237.76/237.87 c 206s | 20 | 1022084 | 851727 | 1088 1545 | 60 | 50
239.76/239.87 c 208s | 20 | 1030704 | 859127 | 1088 1557 | 60 | 50
241.86/241.90 c 210s | 20 | 1039791 | 867027 | 1088 1569 | 60 | 50
243.85/243.91 c 212s | 20 | 1048304 | 874327 | 1088 1581 | 60 | 50
245.85/245.91 c 214s | 20 | 1057083 | 881927 | 1088 1594 | 60 | 50
247.85/247.93 c 216s | 20 | 1066188 | 889727 | 1088 1606 | 60 | 50
249.85/249.96 c 218s | 20 | 1074873 | 897327 | 1088 1619 | 60 | 50
251.86/251.97 c 220s | 20 | 1083534 | 904827 | 1088 1631 | 60 | 50
253.85/253.98 c 222s | 20 | 1092244 | 912327 | 1088 1643 | 60 | 50
255.85/255.98 c 224s | 20 | 1101029 | 920027 | 1088 1656 | 60 | 50
257.95/258.00 c 226s | 20 | 1109852 | 927727 | 1088 1668 | 60 | 50
259.95/260.01 c 228s | 20 | 1118266 | 935027 | 1088 1680 | 60 | 50
261.95/262.03 c 230s | 20 | 1127321 | 942527 | 1088 1692 | 60 | 50
263.96/264.05 c 232s | 20 | 1135951 | 949927 | 1088 1704 | 60 | 50
265.95/266.05 c 234s | 20 | 1144418 | 957127 | 1088 1715 | 60 | 50
267.95/268.06 c 236s | 20 | 1152539 | 963827 | 1088 1726 | 60 | 50
269.95/270.07 c 238s | 20 | 1160245 | 970427 | 1088 1737 | 60 | 50
271.95/272.08 c 240s | 20 | 1168858 | 977627 | 1088 1748 | 60 | 50
274.05/274.10 c 242s | 20 | 1176792 | 984427 | 1088 1759 | 60 | 50
276.06/276.12 c 244s | 20 | 1184865 | 991527 | 1088 1770 | 60 | 50
278.05/278.13 c 246s | 20 | 1193047 | 998627 | 1088 1782 | 60 | 50
278.55/278.63 c 247s | 21 | 1194983 | 1000345 | 1088 1784 | 60 | 50
280.56/280.63 c 249s | 21 | 1207707 | 1011145 | 1088 1802 | 60 | 50
282.55/282.65 c 251s | 21 | 1221237 | 1022245 | 1088 1820 | 60 | 50
284.55/284.65 c 253s | 21 | 1236179 | 1034745 | 1088 1841 | 60 | 50
286.55/286.67 c 255s | 21 | 1250473 | 1046645 | 1088 1860 | 60 | 50
288.55/288.67 c 257s | 21 | 1263297 | 1057945 | 1088 1879 | 60 | 50
290.55/290.67 c 259s | 21 | 1276650 | 1069845 | 1088 1898 | 60 | 50
292.55/292.68 c 261s | 21 | 1290520 | 1081745 | 1088 1918 | 60 | 50
294.65/294.70 c 263s | 21 | 1304491 | 1093745 | 1088 1938 | 60 | 50
296.65/296.70 c 265s | 21 | 1319928 | 1106645 | 1088 1959 | 60 | 50
298.64/298.71 c 267s | 21 | 1334837 | 1118745 | 1088 1979 | 60 | 50
300.64/300.72 c 269s | 21 | 1348521 | 1129645 | 1088 1997 | 60 | 50
302.64/302.75 c 271s | 21 | 1361949 | 1140445 | 1088 2015 | 60 | 50
304.65/304.75 c 273s | 21 | 1372717 | 1149445 | 1088 2029 | 60 | 50
306.64/306.75 c 275s | 21 | 1384009 | 1158845 | 1088 2045 | 60 | 50
308.64/308.76 c 277s | 21 | 1396451 | 1169045 | 1088 2061 | 60 | 50
310.64/310.77 c 279s | 21 | 1408430 | 1178745 | 1088 2077 | 60 | 50
312.64/312.78 c 281s | 21 | 1418077 | 1186745 | 1088 2090 | 60 | 50
314.65/314.79 c 283s | 21 | 1430028 | 1196545 | 1197 2105 | 60 | 50
316.75/316.81 c 285s | 21 | 1439598 | 1204545 | 1197 2117 | 60 | 50
318.74/318.83 c 287s | 21 | 1449932 | 1213045 | 1197 2130 | 60 | 50
320.74/320.84 c 289s | 21 | 1461215 | 1222345 | 1197 2144 | 60 | 50
322.74/322.85 c 291s | 21 | 1476022 | 1234345 | 1197 2162 | 60 | 50
324.74/324.85 c 293s | 21 | 1488397 | 1244645 | 1197 2177 | 60 | 50
326.74/326.85 c 295s | 21 | 1501184 | 1255645 | 1197 2194 | 60 | 50
328.74/328.88 c 297s | 21 | 1514027 | 1266445 | 1197 2210 | 60 | 50
330.84/330.90 c 299s | 21 | 1523426 | 1274045 | 1197 2222 | 60 | 50
332.84/332.91 c 301s | 21 | 1533510 | 1282345 | 1197 2234 | 60 | 50
334.84/334.92 c 303s | 21 | 1545172 | 1292245 | 1197 2249 | 60 | 50
336.84/336.92 c 305s | 21 | 1555832 | 1301045 | 1197 2262 | 60 | 50
338.84/338.94 c 307s | 21 | 1565267 | 1308945 | 1197 2274 | 60 | 50
340.84/340.95 c 309s | 21 | 1576760 | 1318245 | 1197 2288 | 60 | 50
342.83/342.95 c 311s | 21 | 1589078 | 1328245 | 1197 2303 | 60 | 50
344.83/344.95 c 313s | 21 | 1601671 | 1338445 | 1197 2318 | 60 | 50
346.83/346.96 c 315s | 21 | 1613310 | 1347845 | 1197 2332 | 60 | 50
348.83/348.98 c 317s | 21 | 1623966 | 1356245 | 1197 2345 | 60 | 50
350.84/350.99 c 319s | 21 | 1633091 | 1363945 | 1197 2356 | 60 | 50
352.94/353.00 c 321s | 21 | 1643704 | 1372745 | 1197 2370 | 60 | 50
354.94/355.02 c 323s | 21 | 1653257 | 1380745 | 1197 2382 | 60 | 50
356.94/357.04 c 325s | 21 | 1663415 | 1389245 | 1197 2394 | 60 | 50
358.94/359.05 c 327s | 21 | 1672892 | 1397245 | 1197 2406 | 60 | 50
360.94/361.06 c 329s | 21 | 1681883 | 1404745 | 1197 2417 | 60 | 50
362.94/363.08 c 331s | 21 | 1690663 | 1411945 | 1197 2428 | 60 | 50
364.94/365.08 c 333s | 21 | 1699834 | 1419445 | 1197 2439 | 60 | 50
367.04/367.10 c 335s | 21 | 1708921 | 1427145 | 1197 2451 | 60 | 50
369.03/369.12 c 337s | 21 | 1717925 | 1434645 | 1197 2462 | 60 | 50
371.03/371.14 c 339s | 21 | 1727035 | 1442345 | 1197 2473 | 60 | 50
373.03/373.14 c 341s | 21 | 1736241 | 1450145 | 1197 2485 | 60 | 50
375.04/375.15 c 343s | 21 | 1746575 | 1458845 | 1197 2498 | 60 | 50
377.03/377.15 c 345s | 21 | 1759241 | 1469745 | 1197 2515 | 60 | 50
379.03/379.16 c 347s | 21 | 1771381 | 1479845 | 1197 2530 | 60 | 50
381.03/381.19 c 349s | 21 | 1780495 | 1487445 | 1197 2541 | 60 | 50
383.13/383.21 c 351s | 21 | 1789998 | 1495245 | 1197 2553 | 60 | 50
384.33/384.44 c 353s | 22 | 1796540 | 1500622 | 1197 2561 | 60 | 50
386.33/386.45 c 355s | 22 | 1804884 | 1507922 | 1197 2572 | 60 | 50
388.34/388.47 c 357s | 22 | 1813735 | 1515722 | 1197 2583 | 60 | 50
390.33/390.48 c 359s | 22 | 1823583 | 1524322 | 1197 2595 | 60 | 50
392.43/392.50 c 361s | 22 | 1831944 | 1531522 | 1197 2606 | 60 | 50
394.43/394.52 c 363s | 22 | 1841692 | 1539522 | 1197 2618 | 60 | 50
396.43/396.53 c 365s | 22 | 1849977 | 1546722 | 1197 2629 | 60 | 50
398.43/398.55 c 367s | 22 | 1859371 | 1554922 | 1197 2641 | 60 | 50
400.43/400.55 c 369s | 22 | 1870111 | 1564122 | 1197 2655 | 60 | 50
402.43/402.56 c 371s | 22 | 1881525 | 1573922 | 1197 2669 | 60 | 50
404.42/404.59 c 373s | 22 | 1892175 | 1583222 | 1197 2684 | 60 | 50
406.42/406.59 c 375s | 22 | 1902345 | 1592022 | 1197 2697 | 60 | 50
408.52/408.60 c 377s | 22 | 1913201 | 1601522 | 1197 2711 | 60 | 50
410.52/410.61 c 379s | 22 | 1923696 | 1610522 | 1197 2725 | 60 | 50
412.53/412.63 c 381s | 22 | 1933707 | 1619322 | 1197 2738 | 60 | 50
414.52/414.65 c 383s | 22 | 1942196 | 1626722 | 1197 2749 | 60 | 50
416.52/416.68 c 385s | 22 | 1950425 | 1633922 | 1197 2760 | 60 | 50
418.52/418.68 c 387s | 22 | 1958251 | 1640722 | 1197 2770 | 60 | 50
420.52/420.69 c 389s | 22 | 1966021 | 1647522 | 1197 2780 | 60 | 50
422.62/422.71 c 391s | 22 | 1976443 | 1656722 | 1197 2793 | 60 | 50
424.63/424.72 c 393s | 22 | 1986763 | 1665822 | 1197 2807 | 60 | 50
426.62/426.74 c 395s | 22 | 1996095 | 1674022 | 1197 2819 | 60 | 50
428.62/428.75 c 397s | 22 | 2004104 | 1680922 | 1197 2829 | 60 | 50
430.62/430.76 c 399s | 22 | 2014230 | 1689722 | 1197 2842 | 60 | 50
432.62/432.77 c 401s | 22 | 2022637 | 1697122 | 1197 2853 | 60 | 50
434.62/434.78 c 403s | 22 | 2030759 | 1704022 | 1197 2863 | 60 | 50
436.63/436.79 c 405s | 22 | 2038273 | 1710522 | 1197 2873 | 60 | 50
438.72/438.82 c 407s | 22 | 2045940 | 1717222 | 1197 2883 | 60 | 50
440.73/440.82 c 409s | 22 | 2053697 | 1724022 | 1197 2893 | 60 | 50
442.73/442.83 c 411s | 22 | 2062919 | 1732022 | 1197 2905 | 60 | 50
444.73/444.84 c 413s | 22 | 2071775 | 1739622 | 1197 2916 | 60 | 50
446.73/446.85 c 415s | 22 | 2079846 | 1746622 | 1197 2927 | 60 | 50
448.73/448.86 c 417s | 22 | 2087942 | 1753622 | 1197 2937 | 60 | 50
450.73/450.88 c 419s | 22 | 2095652 | 1760222 | 1197 2947 | 60 | 50
452.73/452.89 c 421s | 22 | 2103025 | 1766622 | 1197 2956 | 60 | 50
454.82/454.91 c 423s | 22 | 2111003 | 1773422 | 1197 2966 | 60 | 50
456.82/456.92 c 425s | 22 | 2118878 | 1780222 | 1197 2976 | 60 | 50
458.82/458.94 c 427s | 22 | 2127795 | 1788122 | 1197 2988 | 60 | 50
460.83/460.95 c 429s | 22 | 2137817 | 1797022 | 1197 3001 | 60 | 50
462.82/462.97 c 431s | 22 | 2146715 | 1805022 | 1197 3012 | 60 | 50
464.82/464.98 c 433s | 22 | 2155411 | 1812822 | 1197 3024 | 60 | 50
466.82/466.99 c 435s | 22 | 2164951 | 1821122 | 1197 3036 | 60 | 50
468.92/469.00 c 437s | 22 | 2174931 | 1829722 | 1197 3049 | 60 | 50
470.92/471.01 c 439s | 22 | 2187094 | 1840022 | 1197 3065 | 60 | 50
472.93/473.01 c 441s | 22 | 2196941 | 1848422 | 1197 3077 | 60 | 50
474.92/475.02 c 443s | 22 | 2207481 | 1857622 | 1197 3091 | 60 | 50
476.92/477.03 c 445s | 22 | 2218440 | 1866822 | 1197 3105 | 60 | 50
478.92/479.04 c 447s | 22 | 2229331 | 1876022 | 1197 3119 | 60 | 50
480.92/481.05 c 449s | 22 | 2238896 | 1884122 | 1197 3131 | 60 | 50
482.93/483.06 c 451s | 22 | 2249856 | 1893322 | 1197 3145 | 60 | 50
484.92/485.07 c 453s | 22 | 2260413 | 1902122 | 1197 3158 | 60 | 50
486.92/487.08 c 455s | 22 | 2269955 | 1910022 | 1197 3170 | 60 | 50
488.92/489.09 c 457s | 22 | 2279413 | 1917922 | 1197 3182 | 60 | 50
491.02/491.10 c 459s | 22 | 2290798 | 1927222 | 1197 3196 | 60 | 50
493.02/493.11 c 461s | 22 | 2301330 | 1936222 | 1317 3209 | 60 | 50
495.02/495.11 c 463s | 22 | 2311600 | 1944722 | 1317 3220 | 60 | 50
497.02/497.13 c 465s | 22 | 2320951 | 1952522 | 1317 3231 | 60 | 50
499.02/499.16 c 467s | 22 | 2331655 | 1961722 | 1317 3244 | 60 | 50
501.02/501.16 c 469s | 22 | 2339944 | 1969122 | 1317 3254 | 60 | 50
503.02/503.16 c 471s | 22 | 2347670 | 1975922 | 1317 3263 | 60 | 50
505.02/505.18 c 473s | 22 | 2359128 | 1985622 | 1317 3276 | 60 | 50
507.02/507.19 c 475s | 22 | 2369684 | 1994622 | 1317 3288 | 60 | 50
509.11/509.22 c 477s | 22 | 2382755 | 2004822 | 1317 3303 | 60 | 50
511.11/511.23 c 479s | 22 | 2394616 | 2014322 | 1317 3316 | 60 | 50
513.11/513.24 c 481s | 22 | 2407902 | 2025522 | 1317 3331 | 60 | 50
515.11/515.25 c 483s | 22 | 2421091 | 2036422 | 1317 3346 | 60 | 50
517.11/517.28 c 485s | 22 | 2433274 | 2046522 | 1317 3361 | 60 | 50
519.12/519.28 c 487s | 22 | 2445774 | 2056422 | 1317 3374 | 60 | 50
521.11/521.29 c 489s | 22 | 2457262 | 2066022 | 1317 3388 | 60 | 50
523.11/523.29 c 491s | 22 | 2469531 | 2075822 | 1317 3401 | 60 | 50
525.11/525.29 c 493s | 22 | 2481081 | 2085322 | 1317 3414 | 60 | 50
527.21/527.31 c 495s | 22 | 2491598 | 2094222 | 1317 3426 | 60 | 50
529.21/529.32 c 497s | 22 | 2503779 | 2104522 | 1317 3441 | 60 | 50
531.22/531.33 c 499s | 22 | 2515076 | 2113722 | 1317 3453 | 60 | 50
533.21/533.33 c 501s | 22 | 2526234 | 2123322 | 1317 3467 | 60 | 50
535.21/535.33 c 503s | 22 | 2538127 | 2132822 | 1317 3480 | 60 | 50
537.21/537.35 c 505s | 22 | 2549581 | 2142622 | 1317 3493 | 60 | 50
539.21/539.35 c 507s | 22 | 2560707 | 2151922 | 1317 3506 | 60 | 50
541.21/541.37 c 509s | 22 | 2572035 | 2161322 | 1317 3519 | 60 | 50
543.21/543.38 c 511s | 22 | 2582995 | 2170322 | 1317 3532 | 60 | 50
545.21/545.38 c 513s | 22 | 2594233 | 2180022 | 1317 3545 | 60 | 50
547.31/547.41 c 516s | 22 | 2605355 | 2189322 | 1317 3558 | 60 | 50
549.31/549.41 c 518s | 22 | 2616437 | 2198522 | 1317 3571 | 60 | 50
551.31/551.41 c 520s | 22 | 2626580 | 2206722 | 1317 3582 | 60 | 50
553.31/553.41 c 522s | 22 | 2639244 | 2216822 | 1317 3596 | 60 | 50
555.30/555.43 c 524s | 22 | 2649813 | 2225222 | 1317 3608 | 60 | 50
557.30/557.45 c 526s | 22 | 2660346 | 2234322 | 1317 3621 | 60 | 50
559.30/559.46 c 528s | 22 | 2671958 | 2244522 | 1317 3635 | 60 | 50
560.60/560.77 c 529s | 23 | 2679221 | 2251038 | 1317 3643 | 60 | 50
562.60/562.80 c 531s | 23 | 2690565 | 2260238 | 1317 3656 | 60 | 50
564.70/564.80 c 533s | 23 | 2699733 | 2267738 | 1317 3666 | 60 | 50
566.70/566.81 c 535s | 23 | 2708147 | 2274938 | 1317 3676 | 60 | 50
568.71/568.83 c 537s | 23 | 2716194 | 2281738 | 1317 3685 | 60 | 50
570.70/570.84 c 539s | 23 | 2723983 | 2288438 | 1317 3694 | 60 | 50
572.70/572.85 c 541s | 23 | 2731474 | 2294838 | 1317 3703 | 60 | 50
574.70/574.87 c 543s | 23 | 2738745 | 2301038 | 1317 3711 | 60 | 50
576.70/576.88 c 545s | 23 | 2747186 | 2308038 | 1317 3721 | 60 | 50
578.80/578.90 c 547s | 23 | 2755050 | 2314638 | 1317 3730 | 60 | 50
580.80/580.93 c 549s | 23 | 2762848 | 2321338 | 1317 3739 | 60 | 50
582.80/582.96 c 551s | 23 | 2771186 | 2328338 | 1317 3748 | 60 | 50
584.80/584.98 c 553s | 23 | 2779955 | 2335738 | 1317 3758 | 60 | 50
586.90/587.00 c 555s | 23 | 2788015 | 2342738 | 1317 3768 | 60 | 50
588.90/589.01 c 557s | 23 | 2795232 | 2349238 | 1317 3776 | 60 | 50
590.90/591.04 c 559s | 23 | 2803134 | 2356038 | 1317 3786 | 60 | 50
592.90/593.04 c 561s | 23 | 2810620 | 2362538 | 1317 3794 | 60 | 50
594.89/595.05 c 563s | 23 | 2817877 | 2368938 | 1317 3803 | 60 | 50
596.89/597.06 c 565s | 23 | 2824556 | 2374938 | 1317 3811 | 60 | 50
598.89/599.09 c 567s | 23 | 2831791 | 2381138 | 1317 3820 | 60 | 50
601.00/601.12 c 569s | 23 | 2840547 | 2388438 | 1317 3829 | 60 | 50
603.00/603.13 c 571s | 23 | 2848280 | 2395038 | 1317 3838 | 60 | 50
605.01/605.16 c 573s | 23 | 2855829 | 2401638 | 1317 3847 | 60 | 50
607.00/607.18 c 575s | 23 | 2863322 | 2407938 | 1317 3856 | 60 | 50
609.00/609.18 c 577s | 23 | 2870921 | 2414438 | 1317 3865 | 60 | 50
611.10/611.20 c 579s | 23 | 2879955 | 2421938 | 1317 3875 | 60 | 50
613.10/613.22 c 581s | 23 | 2888368 | 2428838 | 1317 3884 | 60 | 50
615.10/615.22 c 583s | 23 | 2895578 | 2435038 | 1317 3892 | 60 | 50
617.10/617.22 c 585s | 23 | 2902315 | 2440838 | 1317 3900 | 60 | 50
619.10/619.24 c 587s | 23 | 2910685 | 2447938 | 1317 3910 | 60 | 50
621.10/621.25 c 589s | 23 | 2918250 | 2454438 | 1317 3918 | 60 | 50
623.10/623.29 c 591s | 23 | 2925076 | 2460338 | 1317 3926 | 60 | 50
625.10/625.30 c 593s | 23 | 2932140 | 2466538 | 1317 3935 | 60 | 50
627.19/627.30 c 595s | 23 | 2939585 | 2472838 | 1317 3943 | 60 | 50
629.20/629.33 c 597s | 23 | 2947218 | 2479338 | 1317 3952 | 60 | 50
631.19/631.35 c 599s | 23 | 2954801 | 2485638 | 1317 3960 | 60 | 50
633.19/633.35 c 601s | 23 | 2965051 | 2494238 | 1317 3972 | 60 | 50
635.19/635.36 c 603s | 23 | 2973884 | 2501538 | 1317 3982 | 60 | 50
637.19/637.39 c 606s | 23 | 2982640 | 2509038 | 1317 3992 | 60 | 50
639.19/639.39 c 608s | 23 | 2990913 | 2516238 | 1317 4002 | 60 | 50
641.30/641.42 c 610s | 23 | 2999070 | 2523338 | 1317 4012 | 60 | 50
643.29/643.42 c 612s | 23 | 3007381 | 2530338 | 1317 4021 | 60 | 50
645.29/645.42 c 614s | 23 | 3016038 | 2537638 | 1317 4031 | 60 | 50
647.29/647.43 c 616s | 23 | 3023569 | 2544238 | 1317 4040 | 60 | 50
649.29/649.44 c 618s | 23 | 3031451 | 2550838 | 1317 4049 | 60 | 50
651.29/651.46 c 620s | 23 | 3038775 | 2557138 | 1317 4058 | 60 | 50
653.29/653.48 c 622s | 23 | 3046287 | 2563538 | 1317 4067 | 60 | 50
655.39/655.51 c 624s | 23 | 3054527 | 2570438 | 1317 4076 | 60 | 50
657.39/657.51 c 626s | 23 | 3063010 | 2577538 | 1317 4086 | 60 | 50
659.38/659.54 c 628s | 23 | 3071560 | 2584638 | 1317 4096 | 60 | 50
661.38/661.57 c 630s | 23 | 3079562 | 2591438 | 1317 4105 | 60 | 50
663.38/663.58 c 632s | 23 | 3087820 | 2598238 | 1317 4114 | 60 | 50
665.40/665.58 c 634s | 23 | 3095694 | 2604938 | 1317 4123 | 60 | 50
667.49/667.62 c 636s | 23 | 3103418 | 2611638 | 1317 4132 | 60 | 50
669.49/669.64 c 638s | 23 | 3110962 | 2618138 | 1317 4141 | 60 | 50
671.49/671.66 c 640s | 23 | 3118896 | 2624938 | 1317 4150 | 60 | 50
673.49/673.69 c 642s | 23 | 3127308 | 2632138 | 1317 4160 | 60 | 50
675.59/675.71 c 644s | 23 | 3135107 | 2638838 | 1317 4169 | 60 | 50
677.60/677.72 c 646s | 23 | 3143374 | 2645838 | 1317 4179 | 60 | 50
679.59/679.72 c 648s | 23 | 3151917 | 2653138 | 1317 4188 | 60 | 50
681.59/681.73 c 650s | 23 | 3160055 | 2660138 | 1317 4198 | 60 | 50
683.59/683.74 c 652s | 23 | 3167943 | 2666838 | 1317 4207 | 60 | 50
685.59/685.74 c 654s | 23 | 3176034 | 2673738 | 1317 4217 | 60 | 50
687.59/687.77 c 656s | 23 | 3184184 | 2680838 | 1317 4226 | 60 | 50
689.60/689.78 c 658s | 23 | 3191578 | 2687338 | 1317 4235 | 60 | 50
691.59/691.79 c 660s | 23 | 3199110 | 2693838 | 1317 4244 | 60 | 50
693.69/693.83 c 662s | 23 | 3206796 | 2700438 | 1317 4253 | 60 | 50
695.69/695.84 c 664s | 23 | 3214676 | 2707138 | 1317 4262 | 60 | 50
697.69/697.85 c 666s | 23 | 3222410 | 2713838 | 1317 4272 | 60 | 50
699.69/699.87 c 668s | 23 | 3230255 | 2720538 | 1317 4281 | 60 | 50
701.69/701.87 c 670s | 23 | 3238810 | 2727738 | 1317 4290 | 60 | 50
703.69/703.89 c 672s | 23 | 3246447 | 2734238 | 1317 4299 | 60 | 50
705.69/705.90 c 674s | 23 | 3253796 | 2740638 | 1317 4308 | 60 | 50
707.79/707.91 c 676s | 23 | 3261469 | 2747238 | 1317 4317 | 60 | 50
709.79/709.95 c 678s | 23 | 3269244 | 2753838 | 1317 4326 | 60 | 50
711.78/711.95 c 680s | 23 | 3277010 | 2760338 | 1317 4335 | 60 | 50
713.79/713.96 c 682s | 23 | 3284673 | 2766838 | 1317 4344 | 60 | 50
715.78/715.97 c 684s | 23 | 3291875 | 2773138 | 1317 4352 | 60 | 50
717.78/717.98 c 686s | 23 | 3298774 | 2779238 | 1317 4361 | 60 | 50
719.78/719.99 c 688s | 23 | 3306024 | 2785538 | 1317 4369 | 60 | 50
721.88/722.00 c 690s | 23 | 3313406 | 2791938 | 1317 4378 | 60 | 50
723.89/724.02 c 692s | 23 | 3321296 | 2798738 | 1317 4387 | 60 | 50
725.88/726.04 c 694s | 23 | 3328754 | 2805238 | 1317 4396 | 60 | 50
727.88/728.05 c 696s | 23 | 3336825 | 2812038 | 1317 4405 | 60 | 50
729.88/730.06 c 698s | 23 | 3345035 | 2818838 | 1317 4414 | 60 | 50
731.87/732.08 c 700s | 23 | 3352730 | 2825538 | 1317 4423 | 60 | 50
733.87/734.09 c 702s | 23 | 3360984 | 2832538 | 1317 4433 | 60 | 50
735.88/736.09 c 704s | 23 | 3369043 | 2839238 | 1317 4442 | 60 | 50
737.98/738.11 c 706s | 23 | 3377552 | 2846238 | 1317 4451 | 60 | 50
739.97/740.11 c 708s | 23 | 3385477 | 2852738 | 1317 4460 | 60 | 50
741.97/742.12 c 710s | 23 | 3393489 | 2859538 | 1317 4470 | 60 | 50
743.97/744.13 c 712s | 23 | 3400745 | 2865738 | 1317 4478 | 60 | 50
745.97/746.14 c 714s | 23 | 3409601 | 2873038 | 1317 4488 | 60 | 50
747.98/748.15 c 716s | 23 | 3418092 | 2880238 | 1317 4498 | 60 | 50
749.97/750.17 c 718s | 23 | 3425561 | 2886638 | 1317 4507 | 60 | 50
751.97/752.17 c 720s | 23 | 3433567 | 2893438 | 1317 4516 | 60 | 50
753.97/754.18 c 722s | 23 | 3441730 | 2900138 | 1317 4525 | 60 | 50
756.07/756.20 c 724s | 23 | 3450279 | 2907338 | 1317 4535 | 60 | 50
758.07/758.22 c 726s | 23 | 3457147 | 2913238 | 1317 4543 | 60 | 50
760.08/760.23 c 728s | 23 | 3465719 | 2920538 | 1317 4552 | 60 | 50
762.07/762.24 c 730s | 23 | 3473780 | 2927438 | 1317 4562 | 60 | 50
764.06/764.26 c 732s | 23 | 3482026 | 2934538 | 1317 4571 | 60 | 50
766.06/766.27 c 734s | 23 | 3490470 | 2941638 | 1317 4581 | 60 | 50
768.06/768.27 c 736s | 23 | 3497799 | 2948038 | 1317 4590 | 60 | 50
770.16/770.30 c 738s | 23 | 3505046 | 2954338 | 1317 4599 | 60 | 50
772.17/772.33 c 740s | 23 | 3511496 | 2960038 | 1317 4606 | 60 | 50
774.15/774.36 c 742s | 23 | 3518556 | 2966238 | 1317 4615 | 60 | 50
776.15/776.38 c 744s | 23 | 3526356 | 2973038 | 1317 4624 | 60 | 50
778.25/778.41 c 747s | 23 | 3533356 | 2979238 | 1317 4633 | 60 | 50
780.25/780.41 c 749s | 23 | 3540462 | 2985438 | 1317 4641 | 60 | 50
782.25/782.44 c 751s | 23 | 3547606 | 2991738 | 1317 4650 | 60 | 50
784.25/784.46 c 753s | 23 | 3554897 | 2998038 | 1317 4658 | 60 | 50
786.25/786.48 c 755s | 23 | 3562021 | 3004238 | 1317 4667 | 60 | 50
788.35/788.50 c 757s | 23 | 3568984 | 3010338 | 1317 4675 | 60 | 50
790.34/790.51 c 759s | 23 | 3577662 | 3018038 | 1317 4685 | 60 | 50
792.34/792.52 c 761s | 23 | 3585292 | 3024638 | 1317 4694 | 60 | 50
794.34/794.54 c 763s | 23 | 3593404 | 3031638 | 1317 4704 | 60 | 50
796.35/796.55 c 765s | 23 | 3601400 | 3038538 | 1317 4713 | 60 | 50
798.34/798.56 c 767s | 23 | 3608979 | 3045138 | 1317 4723 | 60 | 50
800.34/800.57 c 769s | 23 | 3616707 | 3051838 | 1317 4732 | 60 | 50
802.34/802.59 c 771s | 23 | 3624353 | 3058438 | 1449 4740 | 60 | 50
804.43/804.60 c 773s | 23 | 3631763 | 3064838 | 1449 4748 | 60 | 50
806.43/806.61 c 775s | 23 | 3639263 | 3071238 | 1449 4756 | 60 | 50
808.44/808.63 c 777s | 23 | 3646191 | 3077238 | 1449 4764 | 60 | 50
810.43/810.66 c 779s | 23 | 3653548 | 3083638 | 1449 4772 | 60 | 50
812.43/812.69 c 781s | 23 | 3660503 | 3089738 | 1449 4779 | 60 | 50
814.53/814.70 c 783s | 23 | 3668190 | 3096338 | 1449 4788 | 60 | 50
816.52/816.72 c 785s | 23 | 3675848 | 3102938 | 1449 4796 | 60 | 50
818.52/818.75 c 787s | 23 | 3683046 | 3109238 | 1449 4804 | 60 | 50
820.53/820.79 c 789s | 23 | 3689838 | 3115238 | 1449 4812 | 60 | 50
822.63/822.81 c 791s | 23 | 3696875 | 3121438 | 1449 4819 | 60 | 50
824.62/824.81 c 793s | 23 | 3704203 | 3127838 | 1449 4827 | 60 | 50
826.62/826.83 c 795s | 23 | 3710782 | 3133538 | 1449 4835 | 60 | 50
828.62/828.83 c 797s | 23 | 3717882 | 3139638 | 1449 4842 | 60 | 50
830.63/830.84 c 799s | 23 | 3725788 | 3146438 | 1449 4851 | 60 | 50
832.63/832.84 c 801s | 23 | 3733467 | 3152938 | 1449 4859 | 60 | 50
834.62/834.86 c 803s | 23 | 3741365 | 3159838 | 1449 4868 | 60 | 50
836.62/836.88 c 805s | 23 | 3749530 | 3166838 | 1449 4877 | 60 | 50
838.62/838.89 c 807s | 23 | 3757267 | 3173538 | 1449 4885 | 60 | 50
840.72/840.92 c 809s | 23 | 3764422 | 3179738 | 1449 4893 | 60 | 50
842.72/842.95 c 811s | 23 | 3771401 | 3185838 | 1449 4900 | 60 | 50
844.72/844.97 c 813s | 23 | 3778596 | 3192138 | 1449 4908 | 60 | 50
846.71/846.99 c 815s | 23 | 3786501 | 3199038 | 1449 4917 | 60 | 50
848.81/849.01 c 817s | 23 | 3794132 | 3205638 | 1449 4925 | 60 | 50
850.81/851.04 c 819s | 23 | 3801442 | 3212038 | 1449 4934 | 60 | 50
852.81/853.08 c 821s | 23 | 3808779 | 3218338 | 1449 4942 | 60 | 50
854.90/855.11 c 823s | 23 | 3816335 | 3224738 | 1449 4950 | 60 | 50
856.90/857.14 c 825s | 23 | 3823491 | 3231038 | 1449 4957 | 60 | 50
858.91/859.16 c 827s | 23 | 3830986 | 3237538 | 1449 4966 | 60 | 50
860.90/861.17 c 829s | 23 | 3838299 | 3243838 | 1449 4974 | 60 | 50
862.90/863.18 c 831s | 23 | 3845465 | 3250038 | 1449 4982 | 60 | 50
864.90/865.18 c 833s | 23 | 3853045 | 3256638 | 1449 4990 | 60 | 50
866.90/867.18 c 835s | 23 | 3860254 | 3262938 | 1449 4998 | 60 | 50
869.00/869.22 c 837s | 23 | 3867422 | 3269138 | 1449 5005 | 60 | 50
871.00/871.24 c 839s | 23 | 3874087 | 3275038 | 1449 5013 | 60 | 50
873.00/873.26 c 841s | 23 | 3880480 | 3280738 | 1449 5020 | 60 | 50
874.99/875.26 c 843s | 23 | 3887452 | 3286738 | 1449 5028 | 60 | 50
876.99/877.28 c 845s | 23 | 3894343 | 3292638 | 1449 5035 | 60 | 50
879.09/879.31 c 847s | 23 | 3901369 | 3298738 | 1449 5043 | 60 | 50
881.09/881.31 c 849s | 23 | 3908508 | 3304838 | 1449 5050 | 60 | 50
883.10/883.34 c 851s | 23 | 3916388 | 3311538 | 1449 5059 | 60 | 50
885.09/885.34 c 853s | 23 | 3923745 | 3317838 | 1449 5067 | 60 | 50
887.09/887.36 c 855s | 23 | 3931575 | 3324438 | 1449 5075 | 60 | 50
889.09/889.36 c 857s | 23 | 3938728 | 3330638 | 1449 5083 | 60 | 50
891.09/891.38 c 859s | 23 | 3946202 | 3336938 | 1449 5091 | 60 | 50
893.19/893.41 c 862s | 23 | 3953623 | 3343238 | 1449 5099 | 60 | 50
895.19/895.43 c 864s | 23 | 3961193 | 3349638 | 1449 5107 | 60 | 50
897.19/897.45 c 866s | 23 | 3968572 | 3356038 | 1449 5115 | 60 | 50
899.19/899.47 c 868s | 23 | 3976256 | 3362538 | 1449 5123 | 60 | 50
901.29/901.51 c 870s | 23 | 3983778 | 3369038 | 1449 5132 | 60 | 50
903.29/903.54 c 872s | 23 | 3990340 | 3374738 | 1449 5139 | 60 | 50
903.88/904.19 c 872s | 24 | 3992521 | 3376662 | 1449 5141 | 60 | 50
905.98/906.21 c 874s | 24 | 4002338 | 3385062 | 1449 5152 | 60 | 50
907.98/908.21 c 876s | 24 | 4011402 | 3392862 | 1449 5161 | 60 | 50
909.98/910.22 c 878s | 24 | 4020954 | 3401062 | 1449 5172 | 60 | 50
911.98/912.22 c 880s | 24 | 4029117 | 3408262 | 1449 5181 | 60 | 50
913.98/914.23 c 882s | 24 | 4037858 | 3415862 | 1449 5190 | 60 | 50
915.97/916.24 c 884s | 24 | 4046232 | 3423262 | 1449 5199 | 60 | 50
917.97/918.25 c 886s | 24 | 4054481 | 3430562 | 1449 5209 | 60 | 50
919.97/920.27 c 888s | 24 | 4063330 | 3438162 | 1449 5218 | 60 | 50
921.97/922.27 c 890s | 24 | 4071297 | 3445262 | 1449 5227 | 60 | 50
923.96/924.27 c 892s | 24 | 4079765 | 3452462 | 1449 5236 | 60 | 50
925.97/926.30 c 894s | 24 | 4088090 | 3459662 | 1449 5245 | 60 | 50
928.06/928.32 c 896s | 24 | 4096716 | 3467062 | 1449 5254 | 60 | 50
930.06/930.33 c 898s | 24 | 4104657 | 3474062 | 1449 5263 | 60 | 50
932.06/932.35 c 900s | 24 | 4112759 | 3481062 | 1449 5271 | 60 | 50
934.06/934.36 c 902s | 24 | 4120766 | 3487862 | 1449 5280 | 60 | 50
936.06/936.39 c 904s | 24 | 4128858 | 3494762 | 1449 5289 | 60 | 50
938.16/938.41 c 907s | 24 | 4136664 | 3501462 | 1449 5297 | 60 | 50
940.15/940.44 c 909s | 24 | 4144091 | 3507862 | 1449 5305 | 60 | 50
942.15/942.47 c 911s | 24 | 4151841 | 3514462 | 1449 5313 | 60 | 50
944.15/944.47 c 913s | 24 | 4159299 | 3520962 | 1449 5321 | 60 | 50
946.15/946.49 c 915s | 24 | 4167391 | 3527962 | 1449 5330 | 60 | 50
948.25/948.52 c 917s | 24 | 4175345 | 3534762 | 1449 5339 | 60 | 50
950.26/950.53 c 919s | 24 | 4183303 | 3541662 | 1449 5347 | 60 | 50
952.25/952.55 c 921s | 24 | 4191049 | 3548362 | 1449 5356 | 60 | 50
954.25/954.55 c 923s | 24 | 4198638 | 3554862 | 1449 5364 | 60 | 50
956.24/956.59 c 925s | 24 | 4206025 | 3561162 | 1449 5372 | 60 | 50
958.35/958.60 c 927s | 24 | 4213947 | 3567862 | 1449 5380 | 60 | 50
960.35/960.63 c 929s | 24 | 4221769 | 3574662 | 1449 5388 | 60 | 50
962.36/962.64 c 931s | 24 | 4229645 | 3581462 | 1449 5397 | 60 | 50
964.35/964.65 c 933s | 24 | 4237344 | 3588162 | 1449 5405 | 60 | 50
966.35/966.66 c 935s | 24 | 4245134 | 3594862 | 1449 5414 | 60 | 50
968.35/968.67 c 937s | 24 | 4252868 | 3601462 | 1449 5422 | 60 | 50
970.35/970.68 c 939s | 24 | 4260769 | 3608262 | 1449 5430 | 60 | 50
972.44/972.70 c 941s | 24 | 4268539 | 3614962 | 1449 5439 | 60 | 50
974.45/974.71 c 943s | 24 | 4276287 | 3621562 | 1449 5447 | 60 | 50
976.44/976.73 c 945s | 24 | 4283521 | 3627862 | 1449 5455 | 60 | 50
978.44/978.75 c 947s | 24 | 4290769 | 3634162 | 1449 5463 | 60 | 50
980.44/980.78 c 949s | 24 | 4298208 | 3640562 | 1449 5471 | 60 | 50
982.44/982.79 c 951s | 24 | 4305499 | 3646862 | 1449 5479 | 60 | 50
984.44/984.79 c 953s | 24 | 4313064 | 3653362 | 1449 5487 | 60 | 50
986.54/986.81 c 955s | 24 | 4320557 | 3659862 | 1449 5495 | 60 | 50
988.54/988.82 c 957s | 24 | 4328109 | 3666362 | 1449 5503 | 60 | 50
990.54/990.84 c 959s | 24 | 4335263 | 3672662 | 1449 5511 | 60 | 50
992.54/992.85 c 961s | 24 | 4342486 | 3678962 | 1449 5518 | 60 | 50
994.53/994.87 c 963s | 24 | 4349581 | 3685062 | 1449 5526 | 60 | 50
996.53/996.88 c 965s | 24 | 4357342 | 3691862 | 1449 5534 | 60 | 50
998.54/998.90 c 967s | 24 | 4365489 | 3698862 | 1449 5543 | 60 | 50
1000.63/1000.91 c 969s | 24 | 4372879 | 3705262 | 1449 5551 | 60 | 50
1002.63/1002.94 c 971s | 24 | 4380756 | 3711962 | 1449 5560 | 60 | 50
1004.62/1004.96 c 973s | 24 | 4388332 | 3718562 | 1449 5568 | 60 | 50
1006.62/1006.97 c 975s | 24 | 4395688 | 3724962 | 1449 5576 | 60 | 50
1008.62/1008.97 c 977s | 24 | 4402845 | 3731262 | 1449 5584 | 60 | 50
1010.63/1011.00 c 979s | 24 | 4410672 | 3738062 | 1449 5592 | 60 | 50
1012.72/1013.03 c 981s | 24 | 4418292 | 3744662 | 1449 5600 | 60 | 50
1014.72/1015.04 c 983s | 24 | 4425722 | 3751162 | 1449 5609 | 60 | 50
1016.71/1017.06 c 985s | 24 | 4432984 | 3757462 | 1449 5616 | 60 | 50
1018.71/1019.06 c 987s | 24 | 4442124 | 3765362 | 1449 5626 | 60 | 50
1020.71/1021.07 c 989s | 24 | 4454149 | 3775462 | 1449 5639 | 60 | 50
1022.72/1023.07 c 991s | 24 | 4463536 | 3783562 | 1449 5649 | 60 | 50
1024.81/1025.10 c 993s | 24 | 4473288 | 3791962 | 1449 5660 | 60 | 50
1026.81/1027.11 c 995s | 24 | 4483194 | 3800562 | 1449 5670 | 60 | 50
1028.80/1029.12 c 997s | 24 | 4491721 | 3807962 | 1449 5680 | 60 | 50
1030.81/1031.14 c 999s | 24 | 4500427 | 3815262 | 1449 5689 | 60 | 50
1032.81/1033.18 c 1001s | 24 | 4508537 | 3822262 | 1449 5698 | 60 | 50
1034.82/1035.20 c 1003s | 24 | 4516359 | 3829062 | 1449 5706 | 60 | 50
1036.91/1037.21 c 1005s | 24 | 4524217 | 3835762 | 1449 5715 | 60 | 50
1038.91/1039.22 c 1007s | 24 | 4532613 | 3842862 | 1449 5724 | 60 | 50
1040.91/1041.23 c 1009s | 24 | 4540450 | 3849562 | 1449 5732 | 60 | 50
1042.91/1043.25 c 1011s | 24 | 4548353 | 3856362 | 1449 5740 | 60 | 50
1044.90/1045.27 c 1013s | 24 | 4556754 | 3863562 | 1449 5750 | 60 | 50
1046.91/1047.30 c 1015s | 24 | 4564881 | 3870662 | 1449 5758 | 60 | 50
1049.00/1049.32 c 1017s | 24 | 4573182 | 3877862 | 1449 5768 | 60 | 50
1051.00/1051.35 c 1019s | 24 | 4581467 | 3885062 | 1449 5777 | 60 | 50
1053.00/1053.38 c 1021s | 24 | 4589623 | 3892162 | 1449 5785 | 60 | 50
1054.99/1055.38 c 1023s | 24 | 4597848 | 3899162 | 1449 5794 | 60 | 50
1057.09/1057.40 c 1026s | 24 | 4605911 | 3906062 | 1449 5803 | 60 | 50
1059.10/1059.42 c 1028s | 24 | 4613769 | 3912762 | 1449 5811 | 60 | 50
1061.09/1061.42 c 1030s | 24 | 4621520 | 3919462 | 1449 5820 | 60 | 50
1063.09/1063.44 c 1032s | 24 | 4629761 | 3926362 | 1449 5828 | 60 | 50
1065.09/1065.47 c 1034s | 24 | 4637334 | 3932962 | 1449 5836 | 60 | 50
1067.09/1067.49 c 1036s | 24 | 4645048 | 3939562 | 1449 5845 | 60 | 50
1069.19/1069.51 c 1038s | 24 | 4652989 | 3946362 | 1449 5853 | 60 | 50
1071.19/1071.53 c 1040s | 24 | 4661003 | 3953062 | 1449 5862 | 60 | 50
1073.18/1073.53 c 1042s | 24 | 4671164 | 3961962 | 1449 5873 | 60 | 50
1075.18/1075.54 c 1044s | 24 | 4684402 | 3973262 | 1449 5887 | 60 | 50
1077.18/1077.55 c 1046s | 24 | 4695328 | 3982862 | 1449 5899 | 60 | 50
1079.18/1079.56 c 1048s | 24 | 4703249 | 3989762 | 1449 5908 | 60 | 50
1081.18/1081.57 c 1050s | 24 | 4711364 | 3996762 | 1449 5917 | 60 | 50
1083.18/1083.60 c 1052s | 24 | 4719333 | 4003662 | 1449 5925 | 60 | 50
1085.27/1085.62 c 1054s | 24 | 4727000 | 4010262 | 1449 5934 | 60 | 50
1087.27/1087.63 c 1056s | 24 | 4734877 | 4017062 | 1449 5942 | 60 | 50
1089.27/1089.64 c 1058s | 24 | 4742532 | 4023762 | 1449 5951 | 60 | 50
1091.27/1091.65 c 1060s | 24 | 4750272 | 4030362 | 1449 5959 | 60 | 50
1093.27/1093.65 c 1062s | 24 | 4757345 | 4036562 | 1449 5967 | 60 | 50
1095.28/1095.66 c 1064s | 24 | 4765342 | 4043562 | 1449 5975 | 60 | 50
1097.27/1097.66 c 1066s | 24 | 4774255 | 4051162 | 1449 5985 | 60 | 50
1099.27/1099.69 c 1068s | 24 | 4782661 | 4058462 | 1449 5994 | 60 | 50
1101.37/1101.70 c 1070s | 24 | 4791525 | 4065962 | 1449 6004 | 60 | 50
1103.37/1103.73 c 1072s | 24 | 4799298 | 4072662 | 1449 6012 | 60 | 50
1105.37/1105.74 c 1074s | 24 | 4807510 | 4079762 | 1449 6021 | 60 | 50
1107.37/1107.75 c 1076s | 24 | 4815005 | 4086262 | 1449 6029 | 60 | 50
1109.36/1109.76 c 1078s | 24 | 4823725 | 4093662 | 1449 6038 | 60 | 50
1111.36/1111.77 c 1080s | 24 | 4831737 | 4100462 | 1449 6047 | 60 | 50
1113.46/1113.80 c 1082s | 24 | 4839512 | 4107162 | 1449 6055 | 60 | 50
1115.46/1115.82 c 1084s | 24 | 4846862 | 4113462 | 1449 6063 | 60 | 50
1117.46/1117.85 c 1086s | 24 | 4854858 | 4120362 | 1449 6072 | 60 | 50
1119.46/1119.87 c 1088s | 24 | 4863322 | 4127662 | 1449 6081 | 60 | 50
1121.46/1121.88 c 1090s | 24 | 4871303 | 4134562 | 1449 6090 | 60 | 50
1123.46/1123.88 c 1092s | 24 | 4880286 | 4142262 | 1449 6099 | 60 | 50
1125.55/1125.90 c 1094s | 24 | 4892596 | 4152762 | 1449 6113 | 60 | 50
1127.55/1127.90 c 1096s | 24 | 4905175 | 4163362 | 1449 6126 | 60 | 50
1129.55/1129.91 c 1098s | 24 | 4915348 | 4172062 | 1449 6137 | 60 | 50
1131.56/1131.92 c 1100s | 24 | 4923859 | 4179162 | 1449 6146 | 60 | 50
1133.55/1133.93 c 1102s | 24 | 4933034 | 4186762 | 1449 6155 | 60 | 50
1135.54/1135.95 c 1104s | 24 | 4943233 | 4195062 | 1449 6166 | 60 | 50
1137.54/1137.97 c 1106s | 24 | 4955689 | 4205462 | 1449 6179 | 60 | 50
1139.54/1139.98 c 1108s | 24 | 4965954 | 4213862 | 1449 6189 | 60 | 50
1141.55/1141.99 c 1110s | 24 | 4974446 | 4221262 | 1449 6198 | 60 | 50
1143.54/1144.00 c 1112s | 24 | 4984997 | 4230162 | 1449 6210 | 60 | 50
1145.64/1146.02 c 1114s | 24 | 4997058 | 4239862 | 1449 6222 | 60 | 50
1147.64/1148.04 c 1116s | 24 | 5007036 | 4247962 | 1449 6232 | 60 | 50
1149.64/1150.05 c 1118s | 24 | 5017065 | 4256362 | 1449 6242 | 60 | 50
1151.64/1152.08 c 1120s | 24 | 5025706 | 4263762 | 1449 6252 | 60 | 50
1153.73/1154.10 c 1122s | 24 | 5034638 | 4271462 | 1449 6261 | 60 | 50
1155.74/1156.10 c 1124s | 24 | 5045271 | 4280562 | 1449 6273 | 60 | 50
1157.73/1158.12 c 1126s | 24 | 5055043 | 4288962 | 1449 6283 | 60 | 50
1159.73/1160.13 c 1128s | 24 | 5064773 | 4297162 | 1449 6294 | 60 | 50
1161.73/1162.14 c 1130s | 24 | 5073058 | 4304362 | 1449 6303 | 60 | 50
1163.73/1164.15 c 1132s | 24 | 5081715 | 4311762 | 1449 6312 | 60 | 50
1165.74/1166.17 c 1134s | 24 | 5092493 | 4320662 | 1449 6323 | 60 | 50
1167.73/1168.17 c 1136s | 24 | 5101384 | 4328062 | 1449 6332 | 60 | 50
1169.83/1170.20 c 1138s | 24 | 5109811 | 4335062 | 1449 6341 | 60 | 50
1171.83/1172.21 c 1140s | 24 | 5119746 | 4343362 | 1449 6351 | 60 | 50
1173.82/1174.23 c 1142s | 24 | 5129566 | 4351762 | 1449 6362 | 60 | 50
1175.82/1176.25 c 1144s | 24 | 5137916 | 4359062 | 1449 6371 | 60 | 50
1177.83/1178.25 c 1146s | 24 | 5144965 | 4365262 | 1449 6379 | 60 | 50
1179.82/1180.26 c 1148s | 24 | 5153977 | 4372862 | 1449 6388 | 60 | 50
1181.82/1182.27 c 1150s | 24 | 5163904 | 4381562 | 1449 6399 | 60 | 50
1183.82/1184.27 c 1152s | 24 | 5174080 | 4390062 | 1449 6410 | 60 | 50
1185.82/1186.28 c 1154s | 24 | 5185203 | 4399462 | 1449 6422 | 60 | 50
1187.82/1188.29 c 1156s | 24 | 5194873 | 4407362 | 1449 6432 | 60 | 50
1189.92/1190.30 c 1158s | 24 | 5203369 | 4414562 | 1449 6441 | 60 | 50
1191.92/1192.31 c 1160s | 24 | 5212630 | 4422362 | 1449 6451 | 60 | 50
1193.91/1194.32 c 1162s | 24 | 5221320 | 4429562 | 1449 6460 | 60 | 50
1195.91/1196.34 c 1164s | 24 | 5230570 | 4437262 | 1449 6469 | 60 | 50
1197.91/1198.35 c 1166s | 24 | 5241087 | 4446162 | 1449 6481 | 60 | 50
1199.91/1200.37 c 1168s | 24 | 5250657 | 4454362 | 1449 6491 | 60 | 50
1201.92/1202.39 c 1171s | 24 | 5260024 | 4462262 | 1449 6501 | 60 | 50
1204.01/1204.41 c 1173s | 24 | 5268589 | 4469362 | 1449 6510 | 60 | 50
1206.01/1206.42 c 1175s | 24 | 5276618 | 4476162 | 1449 6518 | 60 | 50
1208.01/1208.43 c 1177s | 24 | 5285408 | 4483462 | 1449 6527 | 60 | 50
1210.02/1210.43 c 1179s | 24 | 5295035 | 4491162 | 1449 6537 | 60 | 50
1212.01/1212.45 c 1181s | 24 | 5304788 | 4498962 | 1449 6547 | 60 | 50
1214.02/1214.48 c 1183s | 24 | 5313979 | 4506562 | 1449 6556 | 60 | 50
1216.11/1216.50 c 1185s | 24 | 5323462 | 4514462 | 1449 6566 | 60 | 50
1218.11/1218.51 c 1187s | 24 | 5332649 | 4521962 | 1449 6576 | 60 | 50
1220.11/1220.51 c 1189s | 24 | 5341844 | 4529662 | 1449 6586 | 60 | 50
1222.11/1222.54 c 1191s | 24 | 5350308 | 4536762 | 1449 6595 | 60 | 50
1224.10/1224.55 c 1193s | 24 | 5359566 | 4544362 | 1449 6604 | 60 | 50
1226.11/1226.58 c 1195s | 24 | 5367955 | 4551362 | 1449 6613 | 60 | 50
1228.20/1228.60 c 1197s | 24 | 5376382 | 4558362 | 1449 6622 | 60 | 50
1230.20/1230.60 c 1199s | 24 | 5384923 | 4565362 | 1449 6631 | 60 | 50
1232.20/1232.61 c 1201s | 24 | 5392638 | 4572162 | 1449 6639 | 60 | 50
1234.20/1234.61 c 1203s | 24 | 5401128 | 4579362 | 1449 6648 | 60 | 50
1236.20/1236.62 c 1205s | 24 | 5409211 | 4586062 | 1449 6657 | 60 | 50
1238.21/1238.62 c 1207s | 24 | 5417074 | 4592662 | 1449 6665 | 60 | 50
1240.20/1240.64 c 1209s | 24 | 5424684 | 4599262 | 1449 6673 | 60 | 50
1242.20/1242.64 c 1211s | 24 | 5433446 | 4606362 | 1449 6682 | 60 | 50
1244.20/1244.65 c 1213s | 24 | 5441811 | 4613462 | 1449 6691 | 60 | 50
1246.20/1246.67 c 1215s | 24 | 5451071 | 4621162 | 1449 6701 | 60 | 50
1248.20/1248.67 c 1217s | 24 | 5459390 | 4628062 | 1449 6709 | 60 | 50
1250.19/1250.68 c 1219s | 24 | 5468321 | 4635362 | 1449 6719 | 60 | 50
1252.19/1252.69 c 1221s | 24 | 5476761 | 4642462 | 1449 6728 | 60 | 50
1254.29/1254.72 c 1223s | 24 | 5485344 | 4649662 | 1449 6737 | 60 | 50
1256.29/1256.74 c 1225s | 24 | 5494639 | 4657162 | 1449 6746 | 60 | 50
1258.29/1258.75 c 1227s | 24 | 5503478 | 4664562 | 1449 6755 | 60 | 50
1260.29/1260.76 c 1229s | 24 | 5511568 | 4671462 | 1449 6764 | 60 | 50
1262.29/1262.79 c 1231s | 24 | 5519669 | 4678262 | 1449 6773 | 60 | 50
1264.38/1264.80 c 1233s | 24 | 5527214 | 4684762 | 1449 6781 | 60 | 50
1266.38/1266.81 c 1235s | 24 | 5535467 | 4691662 | 1449 6789 | 60 | 50
1268.38/1268.81 c 1237s | 24 | 5543247 | 4698362 | 1449 6798 | 60 | 50
1270.38/1270.84 c 1239s | 24 | 5551751 | 4705562 | 1449 6807 | 60 | 50
1272.39/1272.86 c 1241s | 24 | 5559878 | 4712562 | 1449 6816 | 60 | 50
1274.38/1274.88 c 1243s | 24 | 5567356 | 4718962 | 1449 6824 | 60 | 50
1276.38/1276.88 c 1245s | 24 | 5576406 | 4726962 | 1449 6834 | 60 | 50
1278.48/1278.90 c 1247s | 24 | 5586410 | 4735862 | 1594 6844 | 60 | 50
1280.48/1280.92 c 1249s | 24 | 5596071 | 4744562 | 1594 6854 | 60 | 50
1282.47/1282.94 c 1251s | 24 | 5605254 | 4752762 | 1594 6864 | 60 | 50
1284.48/1284.95 c 1253s | 24 | 5614880 | 4761262 | 1594 6873 | 60 | 50
1286.47/1286.97 c 1255s | 24 | 5623485 | 4768562 | 1594 6882 | 60 | 50
1288.47/1288.98 c 1257s | 24 | 5632751 | 4776462 | 1594 6891 | 60 | 50
1290.47/1290.98 c 1259s | 24 | 5642168 | 4784562 | 1594 6900 | 60 | 50
1292.57/1293.00 c 1261s | 24 | 5651165 | 4792262 | 1594 6909 | 60 | 50
1294.56/1295.00 c 1263s | 24 | 5661482 | 4801362 | 1594 6919 | 60 | 50
1296.57/1297.03 c 1265s | 24 | 5671757 | 4810162 | 1594 6930 | 60 | 50
1298.56/1299.05 c 1267s | 24 | 5680196 | 4817362 | 1594 6938 | 60 | 50
1300.56/1301.07 c 1269s | 24 | 5688257 | 4824262 | 1594 6946 | 60 | 50
1302.57/1303.09 c 1271s | 24 | 5696827 | 4831362 | 1594 6954 | 60 | 50
1304.56/1305.09 c 1273s | 24 | 5705637 | 4838662 | 1594 6962 | 60 | 50
1306.66/1307.11 c 1275s | 24 | 5713756 | 4845462 | 1594 6970 | 60 | 50
1308.67/1309.11 c 1277s | 24 | 5722094 | 4852462 | 1594 6978 | 60 | 50
1310.66/1311.14 c 1279s | 24 | 5730554 | 4859462 | 1594 6986 | 60 | 50
1312.66/1313.15 c 1281s | 24 | 5738159 | 4866062 | 1594 6994 | 60 | 50
1314.66/1315.16 c 1283s | 24 | 5745857 | 4872562 | 1594 7001 | 60 | 50
1316.66/1317.17 c 1285s | 24 | 5753749 | 4879262 | 1594 7009 | 60 | 50
1318.66/1319.20 c 1287s | 24 | 5762249 | 4886462 | 1594 7017 | 60 | 50
1320.76/1321.22 c 1289s | 24 | 5770608 | 4893762 | 1594 7026 | 60 | 50
1322.76/1323.24 c 1291s | 24 | 5779452 | 4901462 | 1594 7035 | 60 | 50
1324.75/1325.25 c 1293s | 24 | 5788229 | 4908862 | 1594 7043 | 60 | 50
1326.75/1327.27 c 1295s | 24 | 5796513 | 4915862 | 1594 7051 | 60 | 50
1328.75/1329.29 c 1297s | 24 | 5805107 | 4923162 | 1594 7060 | 60 | 50
1330.85/1331.30 c 1299s | 24 | 5813322 | 4930262 | 1594 7068 | 60 | 50
1332.85/1333.32 c 1301s | 24 | 5821445 | 4937262 | 1594 7076 | 60 | 50
1334.84/1335.33 c 1303s | 24 | 5829240 | 4943962 | 1594 7084 | 60 | 50
1336.84/1337.35 c 1305s | 24 | 5836751 | 4950462 | 1594 7091 | 60 | 50
1338.84/1339.36 c 1307s | 24 | 5844446 | 4956862 | 1594 7099 | 60 | 50
1340.84/1341.38 c 1309s | 24 | 5852860 | 4963862 | 1594 7107 | 60 | 50
1342.84/1343.39 c 1312s | 24 | 5861102 | 4970862 | 1594 7115 | 60 | 50
1344.84/1345.39 c 1314s | 24 | 5868740 | 4977462 | 1594 7123 | 60 | 50
1346.94/1347.41 c 1316s | 24 | 5876210 | 4983962 | 1594 7130 | 60 | 50
1348.94/1349.44 c 1318s | 24 | 5883591 | 4990362 | 1594 7137 | 60 | 50
1350.94/1351.45 c 1320s | 24 | 5891291 | 4997062 | 1594 7145 | 60 | 50
1352.94/1353.45 c 1322s | 24 | 5899087 | 5003962 | 1594 7153 | 60 | 50
1354.93/1355.45 c 1324s | 24 | 5907439 | 5011062 | 1594 7161 | 60 | 50
1356.94/1357.46 c 1326s | 24 | 5915242 | 5017662 | 1594 7169 | 60 | 50
1358.93/1359.49 c 1328s | 24 | 5922789 | 5024162 | 1594 7176 | 60 | 50
1361.03/1361.52 c 1330s | 24 | 5929610 | 5030062 | 1594 7183 | 60 | 50
1363.03/1363.55 c 1332s | 24 | 5936698 | 5036162 | 1594 7190 | 60 | 50
1365.02/1365.55 c 1334s | 24 | 5943369 | 5041962 | 1594 7197 | 60 | 50
1367.02/1367.59 c 1336s | 24 | 5951138 | 5048562 | 1594 7205 | 60 | 50
1369.13/1369.62 c 1338s | 24 | 5959724 | 5055862 | 1594 7213 | 60 | 50
1371.12/1371.63 c 1340s | 24 | 5968657 | 5063162 | 1594 7221 | 60 | 50
1371.62/1372.19 c 1340s | 25 | 5970951 | 5065098 | 1594 7224 | 60 | 50
1373.72/1374.20 c 1342s | 25 | 5978869 | 5071798 | 1594 7231 | 60 | 50
1375.73/1376.21 c 1344s | 25 | 5986172 | 5078198 | 1594 7238 | 60 | 50
1377.72/1378.24 c 1346s | 25 | 5993216 | 5084298 | 1594 7245 | 60 | 50
1379.72/1380.27 c 1348s | 25 | 6000311 | 5090298 | 1594 7252 | 60 | 50
1381.72/1382.28 c 1350s | 25 | 6007358 | 5096398 | 1594 7259 | 60 | 50
1383.82/1384.30 c 1352s | 25 | 6014658 | 5102598 | 1594 7266 | 60 | 50
1385.82/1386.33 c 1354s | 25 | 6023977 | 5109798 | 1594 7275 | 60 | 50
1387.82/1388.33 c 1356s | 25 | 6031988 | 5116298 | 1594 7282 | 60 | 50
1389.82/1390.34 c 1358s | 25 | 6039196 | 5122498 | 1594 7289 | 60 | 50
1391.82/1392.35 c 1360s | 25 | 6046807 | 5128898 | 1594 7297 | 60 | 50
1393.82/1394.37 c 1362s | 25 | 6053764 | 5134898 | 1594 7304 | 60 | 50
1395.91/1396.41 c 1365s | 25 | 6061118 | 5140998 | 1594 7311 | 60 | 50
1397.91/1398.41 c 1367s | 25 | 6068376 | 5147098 | 1594 7318 | 60 | 50
1399.92/1400.43 c 1369s | 25 | 6075579 | 5152998 | 1594 7325 | 60 | 50
1401.91/1402.46 c 1371s | 25 | 6082422 | 5158798 | 1594 7331 | 60 | 50
1403.91/1404.48 c 1373s | 25 | 6089155 | 5164498 | 1594 7338 | 60 | 50
1406.01/1406.51 c 1375s | 25 | 6096371 | 5170598 | 1594 7345 | 60 | 50
1408.01/1408.53 c 1377s | 25 | 6103537 | 5176598 | 1594 7352 | 60 | 50
1410.01/1410.54 c 1379s | 25 | 6110840 | 5182798 | 1594 7359 | 60 | 50
1412.02/1412.56 c 1381s | 25 | 6118107 | 5188798 | 1594 7366 | 60 | 50
1414.01/1414.58 c 1383s | 25 | 6125372 | 5195198 | 1594 7373 | 60 | 50
1416.11/1416.61 c 1385s | 25 | 6132481 | 5201398 | 1594 7380 | 60 | 50
1418.11/1418.63 c 1387s | 25 | 6139582 | 5207598 | 1594 7388 | 60 | 50
1420.11/1420.65 c 1389s | 25 | 6146975 | 5213798 | 1594 7395 | 60 | 50
1422.11/1422.69 c 1391s | 25 | 6153828 | 5219698 | 1594 7402 | 60 | 50
1424.21/1424.70 c 1393s | 25 | 6160735 | 5225698 | 1594 7409 | 60 | 50
1426.22/1426.73 c 1395s | 25 | 6167588 | 5231598 | 1594 7415 | 60 | 50
1428.21/1428.76 c 1397s | 25 | 6174651 | 5237498 | 1594 7422 | 60 | 50
1430.21/1430.77 c 1399s | 25 | 6181175 | 5243198 | 1594 7429 | 60 | 50
1432.21/1432.80 c 1401s | 25 | 6188329 | 5249298 | 1594 7436 | 60 | 50
1434.31/1434.81 c 1403s | 25 | 6195111 | 5255198 | 1594 7443 | 60 | 50
1436.31/1436.83 c 1405s | 25 | 6202095 | 5261198 | 1594 7450 | 60 | 50
1438.31/1438.84 c 1407s | 25 | 6209073 | 5267198 | 1594 7457 | 60 | 50
1440.31/1440.84 c 1409s | 25 | 6215782 | 5273098 | 1594 7463 | 60 | 50
1442.31/1442.87 c 1411s | 25 | 6222699 | 5278998 | 1594 7470 | 60 | 50
1444.31/1444.88 c 1413s | 25 | 6229445 | 5284898 | 1594 7477 | 60 | 50
1446.41/1446.90 c 1415s | 25 | 6237009 | 5291298 | 1594 7484 | 60 | 50
1448.41/1448.91 c 1417s | 25 | 6244255 | 5297498 | 1594 7492 | 60 | 50
1450.41/1450.94 c 1419s | 25 | 6251796 | 5303998 | 1594 7499 | 60 | 50
1452.40/1452.95 c 1421s | 25 | 6259179 | 5310298 | 1594 7506 | 60 | 50
1454.40/1454.96 c 1423s | 25 | 6266900 | 5316798 | 1594 7514 | 60 | 50
1456.40/1456.97 c 1425s | 25 | 6274205 | 5323098 | 1594 7521 | 60 | 50
1458.50/1459.00 c 1427s | 25 | 6281586 | 5329398 | 1594 7528 | 60 | 50
1460.50/1461.01 c 1429s | 25 | 6289332 | 5335798 | 1594 7536 | 60 | 50
1462.51/1463.03 c 1431s | 25 | 6296909 | 5342398 | 1594 7543 | 60 | 50
1464.50/1465.05 c 1433s | 25 | 6303976 | 5348498 | 1594 7551 | 60 | 50
1466.50/1467.06 c 1435s | 25 | 6311315 | 5354798 | 1594 7558 | 60 | 50
1468.50/1469.09 c 1437s | 25 | 6318635 | 5361098 | 1594 7565 | 60 | 50
1470.60/1471.11 c 1439s | 25 | 6326219 | 5367498 | 1594 7573 | 60 | 50
1472.60/1473.12 c 1441s | 25 | 6333365 | 5373498 | 1594 7580 | 60 | 50
1474.61/1475.14 c 1443s | 25 | 6340894 | 5379898 | 1594 7587 | 60 | 50
1476.60/1477.17 c 1445s | 25 | 6348012 | 5385998 | 1594 7594 | 60 | 50
1478.60/1479.18 c 1447s | 25 | 6355293 | 5392098 | 1594 7601 | 60 | 50
1480.70/1481.20 c 1449s | 25 | 6363002 | 5398598 | 1594 7609 | 60 | 50
1482.70/1483.23 c 1451s | 25 | 6370368 | 5404898 | 1594 7616 | 60 | 50
1484.70/1485.25 c 1453s | 25 | 6377283 | 5410798 | 1594 7623 | 60 | 50
1486.70/1487.28 c 1455s | 25 | 6384330 | 5416798 | 1594 7630 | 60 | 50
1488.70/1489.29 c 1457s | 25 | 6390766 | 5422398 | 1594 7636 | 60 | 50
1490.80/1491.31 c 1459s | 25 | 6398126 | 5428698 | 1594 7643 | 60 | 50
1492.80/1493.32 c 1461s | 25 | 6405191 | 5434898 | 1594 7651 | 60 | 50
1494.80/1495.34 c 1463s | 25 | 6412028 | 5441098 | 1594 7658 | 60 | 50
1496.80/1497.36 c 1465s | 25 | 6418856 | 5447198 | 1594 7665 | 60 | 50
1498.80/1499.37 c 1467s | 25 | 6425804 | 5453298 | 1594 7672 | 60 | 50
1500.80/1501.37 c 1469s | 25 | 6432895 | 5459398 | 1594 7679 | 60 | 50
1502.90/1503.40 c 1472s | 25 | 6440179 | 5465598 | 1594 7686 | 60 | 50
1504.90/1505.41 c 1474s | 25 | 6447081 | 5471498 | 1594 7693 | 60 | 50
1506.90/1507.43 c 1476s | 25 | 6454368 | 5477598 | 1594 7700 | 60 | 50
1508.90/1509.44 c 1478s | 25 | 6461507 | 5483598 | 1594 7707 | 60 | 50
1510.91/1511.45 c 1480s | 25 | 6468706 | 5489698 | 1594 7714 | 60 | 50
1512.90/1513.46 c 1482s | 25 | 6475893 | 5495898 | 1594 7721 | 60 | 50
1514.90/1515.47 c 1484s | 25 | 6483230 | 5502098 | 1594 7729 | 60 | 50
1517.00/1517.50 c 1486s | 25 | 6490653 | 5508398 | 1594 7736 | 60 | 50
1519.00/1519.52 c 1488s | 25 | 6497587 | 5514298 | 1594 7743 | 60 | 50
1521.00/1521.55 c 1490s | 25 | 6504827 | 5520598 | 1594 7750 | 60 | 50
1523.01/1523.56 c 1492s | 25 | 6511544 | 5526498 | 1594 7756 | 60 | 50
1525.00/1525.58 c 1494s | 25 | 6518771 | 5532698 | 1594 7763 | 60 | 50
1527.10/1527.60 c 1496s | 25 | 6525474 | 5538398 | 1594 7770 | 60 | 50
1529.10/1529.60 c 1498s | 25 | 6531637 | 5543798 | 1594 7776 | 60 | 50
1531.10/1531.62 c 1500s | 25 | 6539113 | 5550198 | 1594 7783 | 60 | 50
1533.10/1533.65 c 1502s | 25 | 6546376 | 5556398 | 1594 7790 | 60 | 50
1535.10/1535.67 c 1504s | 25 | 6553273 | 5562598 | 1594 7797 | 60 | 50
1537.20/1537.70 c 1506s | 25 | 6560195 | 5568898 | 1594 7805 | 60 | 50
1539.20/1539.71 c 1508s | 25 | 6567128 | 5575198 | 1594 7812 | 60 | 50
1541.19/1541.73 c 1510s | 25 | 6574109 | 5581598 | 1594 7819 | 60 | 50
1543.19/1543.74 c 1512s | 25 | 6580641 | 5587698 | 1594 7826 | 60 | 50
1545.19/1545.77 c 1514s | 25 | 6587552 | 5593898 | 1594 7833 | 60 | 50
1547.20/1547.77 c 1516s | 25 | 6594166 | 5599898 | 1594 7840 | 60 | 50
1549.19/1549.79 c 1518s | 25 | 6600888 | 5605998 | 1594 7846 | 60 | 50
1551.29/1551.81 c 1520s | 25 | 6607472 | 5611898 | 1594 7853 | 60 | 50
1553.29/1553.83 c 1522s | 25 | 6614268 | 5618098 | 1594 7860 | 60 | 50
1555.29/1555.85 c 1524s | 25 | 6621692 | 5624498 | 1594 7868 | 60 | 50
1557.29/1557.86 c 1526s | 25 | 6628815 | 5630698 | 1594 7875 | 60 | 50
1559.30/1559.88 c 1528s | 25 | 6635529 | 5636798 | 1594 7882 | 60 | 50
1561.29/1561.88 c 1530s | 25 | 6642309 | 5642898 | 1594 7889 | 60 | 50
1563.39/1563.91 c 1532s | 25 | 6649087 | 5648998 | 1594 7896 | 60 | 50
1565.39/1565.91 c 1534s | 25 | 6655752 | 5654998 | 1594 7903 | 60 | 50
1567.39/1567.92 c 1536s | 25 | 6662323 | 5660998 | 1594 7910 | 60 | 50
1569.39/1569.94 c 1538s | 25 | 6668623 | 5666898 | 1594 7916 | 60 | 50
1571.40/1571.97 c 1540s | 25 | 6675379 | 5672898 | 1594 7923 | 60 | 50
1573.39/1573.97 c 1542s | 25 | 6681910 | 5678798 | 1594 7930 | 60 | 50
1575.39/1575.97 c 1544s | 25 | 6688165 | 5684398 | 1594 7936 | 60 | 50
1577.39/1577.99 c 1546s | 25 | 6694830 | 5690498 | 1594 7943 | 60 | 50
1579.49/1580.01 c 1548s | 25 | 6701464 | 5696598 | 1594 7950 | 60 | 50
1581.49/1582.03 c 1550s | 25 | 6708122 | 5702598 | 1594 7957 | 60 | 50
1583.49/1584.03 c 1552s | 25 | 6714720 | 5708498 | 1594 7964 | 60 | 50
1585.49/1586.05 c 1554s | 25 | 6721348 | 5714398 | 1594 7971 | 60 | 50
1587.48/1588.07 c 1556s | 25 | 6728270 | 5720598 | 1594 7978 | 60 | 50
1589.48/1590.08 c 1558s | 25 | 6735753 | 5726998 | 1594 7985 | 60 | 50
1591.58/1592.11 c 1560s | 25 | 6742860 | 5733198 | 1594 7992 | 60 | 50
1593.58/1594.12 c 1562s | 25 | 6749725 | 5739098 | 1594 7999 | 60 | 50
1595.59/1596.15 c 1564s | 25 | 6756843 | 5745098 | 1594 8005 | 60 | 50
1597.58/1598.16 c 1566s | 25 | 6764381 | 5751298 | 1594 8013 | 60 | 50
1599.58/1600.16 c 1568s | 25 | 6771431 | 5757498 | 1594 8020 | 60 | 50
1601.58/1602.18 c 1570s | 25 | 6778647 | 5763798 | 1594 8027 | 60 | 50
1603.68/1604.20 c 1572s | 25 | 6785662 | 5769998 | 1594 8034 | 60 | 50
1605.68/1606.22 c 1574s | 25 | 6792894 | 5776198 | 1594 8041 | 60 | 50
1607.69/1608.24 c 1576s | 25 | 6799961 | 5782298 | 1594 8048 | 60 | 50
1609.68/1610.24 c 1578s | 25 | 6807107 | 5788498 | 1594 8054 | 60 | 50
1611.68/1612.26 c 1580s | 25 | 6814213 | 5794598 | 1594 8061 | 60 | 50
1613.68/1614.28 c 1582s | 25 | 6821168 | 5800498 | 1594 8068 | 60 | 50
1615.68/1616.28 c 1584s | 25 | 6828320 | 5806598 | 1594 8075 | 60 | 50
1617.78/1618.31 c 1586s | 25 | 6835395 | 5812698 | 1594 8082 | 60 | 50
1619.79/1620.32 c 1588s | 25 | 6842572 | 5818798 | 1594 8089 | 60 | 50
1621.78/1622.36 c 1590s | 25 | 6849921 | 5825298 | 1594 8097 | 60 | 50
1623.78/1624.37 c 1592s | 25 | 6856929 | 5831498 | 1594 8104 | 60 | 50
1625.88/1626.40 c 1595s | 25 | 6864274 | 5837798 | 1594 8111 | 60 | 50
1627.88/1628.43 c 1597s | 25 | 6871413 | 5844098 | 1594 8118 | 60 | 50
1629.88/1630.46 c 1599s | 25 | 6878121 | 5850198 | 1594 8125 | 60 | 50
1631.88/1632.47 c 1601s | 25 | 6884829 | 5856198 | 1594 8132 | 60 | 50
1633.88/1634.48 c 1603s | 25 | 6891302 | 5861998 | 1594 8138 | 60 | 50
1635.98/1636.51 c 1605s | 25 | 6898246 | 5868098 | 1594 8145 | 60 | 50
1637.98/1638.54 c 1607s | 25 | 6904921 | 5874098 | 1594 8152 | 60 | 50
1639.98/1640.57 c 1609s | 25 | 6911466 | 5879898 | 1594 8159 | 60 | 50
1642.08/1642.60 c 1611s | 25 | 6917889 | 5885598 | 1594 8166 | 60 | 50
1644.08/1644.61 c 1613s | 25 | 6924941 | 5891598 | 1594 8172 | 60 | 50
1646.07/1646.61 c 1615s | 25 | 6931897 | 5897598 | 1594 8179 | 60 | 50
1648.07/1648.62 c 1617s | 25 | 6938821 | 5903598 | 1594 8186 | 60 | 50
1650.07/1650.64 c 1619s | 25 | 6945758 | 5909498 | 1594 8193 | 60 | 50
1652.07/1652.65 c 1621s | 25 | 6952843 | 5915498 | 1594 8200 | 60 | 50
1654.07/1654.67 c 1623s | 25 | 6959687 | 5921198 | 1594 8206 | 60 | 50
1656.09/1656.69 c 1625s | 25 | 6966503 | 5927198 | 1594 8213 | 60 | 50
1658.18/1658.70 c 1627s | 25 | 6973398 | 5933198 | 1594 8220 | 60 | 50
1660.18/1660.70 c 1629s | 25 | 6980545 | 5939098 | 1594 8227 | 60 | 50
1662.18/1662.72 c 1631s | 25 | 6987172 | 5944898 | 1594 8234 | 60 | 50
1664.18/1664.76 c 1633s | 25 | 6994707 | 5951298 | 1594 8241 | 60 | 50
1666.18/1666.77 c 1635s | 25 | 7001892 | 5957498 | 1594 8248 | 60 | 50
1668.19/1668.79 c 1637s | 25 | 7008815 | 5963598 | 1594 8255 | 60 | 50
1670.28/1670.81 c 1639s | 25 | 7014951 | 5969198 | 1594 8261 | 60 | 50
1672.28/1672.82 c 1641s | 25 | 7021417 | 5974998 | 1594 8268 | 60 | 50
1674.28/1674.83 c 1643s | 25 | 7028812 | 5981098 | 1594 8275 | 60 | 50
1676.28/1676.84 c 1645s | 25 | 7036050 | 5987298 | 1594 8282 | 60 | 50
1678.28/1678.87 c 1647s | 25 | 7042792 | 5993098 | 1594 8289 | 60 | 50
1680.28/1680.88 c 1649s | 25 | 7049845 | 5999198 | 1594 8296 | 60 | 50
1682.28/1682.89 c 1651s | 25 | 7056745 | 6005098 | 1594 8302 | 60 | 50
1684.28/1684.90 c 1653s | 25 | 7063109 | 6010798 | 1594 8309 | 60 | 50
1686.38/1686.92 c 1655s | 25 | 7069660 | 6016598 | 1594 8315 | 60 | 50
1688.38/1688.95 c 1657s | 25 | 7076171 | 6022398 | 1594 8322 | 60 | 50
1690.37/1690.95 c 1659s | 25 | 7082512 | 6028098 | 1594 8328 | 60 | 50
1692.38/1692.98 c 1661s | 25 | 7088983 | 6033798 | 1594 8335 | 60 | 50
1694.37/1694.98 c 1663s | 25 | 7095302 | 6039398 | 1594 8341 | 60 | 50
1696.47/1697.00 c 1665s | 25 | 7102033 | 6045298 | 1594 8348 | 60 | 50
1698.47/1699.01 c 1667s | 25 | 7108033 | 6050798 | 1594 8355 | 60 | 50
1700.47/1701.03 c 1669s | 25 | 7114427 | 6056398 | 1594 8361 | 60 | 50
1702.47/1703.06 c 1671s | 25 | 7120786 | 6061998 | 1594 8367 | 60 | 50
1704.48/1705.08 c 1673s | 25 | 7126723 | 6067398 | 1594 8374 | 60 | 50
1706.47/1707.09 c 1675s | 25 | 7133273 | 6073198 | 1594 8380 | 60 | 50
1708.57/1709.13 c 1677s | 25 | 7139525 | 6078798 | 1594 8387 | 60 | 50
1710.57/1711.16 c 1679s | 25 | 7145840 | 6084398 | 1594 8393 | 60 | 50
1712.57/1713.18 c 1681s | 25 | 7152182 | 6089998 | 1594 8399 | 60 | 50
1714.67/1715.20 c 1683s | 25 | 7158480 | 6095698 | 1594 8406 | 60 | 50
1716.68/1717.23 c 1685s | 25 | 7164859 | 6101398 | 1594 8412 | 60 | 50
1718.67/1719.26 c 1687s | 25 | 7170752 | 6106698 | 1594 8418 | 60 | 50
1720.67/1721.29 c 1689s | 25 | 7176627 | 6112098 | 1594 8424 | 60 | 50
1722.67/1723.29 c 1691s | 25 | 7182796 | 6117598 | 1594 8431 | 60 | 50
1724.77/1725.31 c 1693s | 25 | 7188686 | 6122898 | 1594 8437 | 60 | 50
1726.77/1727.33 c 1695s | 25 | 7194533 | 6128198 | 1594 8443 | 60 | 50
1728.77/1729.33 c 1697s | 25 | 7200668 | 6133598 | 1594 8449 | 60 | 50
1730.77/1731.33 c 1699s | 25 | 7207279 | 6139298 | 1594 8456 | 60 | 50
1732.77/1733.34 c 1701s | 25 | 7213827 | 6145098 | 1594 8462 | 60 | 50
1734.77/1735.37 c 1703s | 25 | 7219795 | 6150498 | 1594 8468 | 60 | 50
1736.77/1737.39 c 1706s | 25 | 7226010 | 6155998 | 1594 8475 | 60 | 50
1738.87/1739.42 c 1708s | 25 | 7233006 | 6161998 | 1594 8481 | 60 | 50
1740.87/1741.44 c 1710s | 25 | 7240018 | 6168098 | 1594 8488 | 60 | 50
1742.87/1743.47 c 1712s | 25 | 7246690 | 6173898 | 1594 8495 | 60 | 50
1744.86/1745.47 c 1714s | 25 | 7252937 | 6179398 | 1594 8501 | 60 | 50
1746.96/1747.51 c 1716s | 25 | 7259191 | 6184798 | 1594 8507 | 60 | 50
1748.96/1749.52 c 1718s | 25 | 7265676 | 6190398 | 1594 8514 | 60 | 50
1750.96/1751.55 c 1720s | 25 | 7272193 | 6196198 | 1594 8520 | 60 | 50
1752.97/1753.56 c 1722s | 25 | 7279606 | 6202498 | 1594 8528 | 60 | 50
1754.96/1755.58 c 1724s | 25 | 7286711 | 6208698 | 1594 8535 | 60 | 50
1757.06/1757.60 c 1726s | 25 | 7293667 | 6214698 | 1594 8542 | 60 | 50
1759.06/1759.60 c 1728s | 25 | 7300467 | 6220598 | 1594 8549 | 60 | 50
1761.06/1761.62 c 1730s | 25 | 7307457 | 6226598 | 1594 8556 | 60 | 50
1763.06/1763.65 c 1732s | 25 | 7314599 | 6232798 | 1594 8563 | 60 | 50
1765.07/1765.67 c 1734s | 25 | 7321307 | 6238598 | 1594 8570 | 60 | 50
1767.06/1767.68 c 1736s | 25 | 7328330 | 6244498 | 1594 8576 | 60 | 50
1769.06/1769.70 c 1738s | 25 | 7335141 | 6250298 | 1594 8583 | 60 | 50
1771.16/1771.72 c 1740s | 25 | 7342180 | 6256298 | 1594 8590 | 60 | 50
1773.16/1773.74 c 1742s | 25 | 7349263 | 6262398 | 1594 8597 | 60 | 50
1775.16/1775.76 c 1744s | 25 | 7355868 | 6268398 | 1594 8604 | 60 | 50
1777.16/1777.79 c 1746s | 25 | 7362933 | 6274498 | 1594 8611 | 60 | 50
1779.15/1779.80 c 1748s | 25 | 7369853 | 6280598 | 1594 8618 | 60 | 50
1781.25/1781.80 c 1750s | 25 | 7376779 | 6286698 | 1594 8624 | 60 | 50
1783.25/1783.81 c 1752s | 25 | 7383724 | 6292898 | 1594 8632 | 60 | 50
1785.25/1785.81 c 1754s | 25 | 7390447 | 6298798 | 1594 8638 | 60 | 50
1787.25/1787.83 c 1756s | 25 | 7397087 | 6304798 | 1594 8645 | 60 | 50
1789.26/1789.87 c 1758s | 25 | 7403433 | 6310598 | 1594 8652 | 60 | 50
1791.36/1791.91 c 1760s | 25 | 7410009 | 6316498 | 1594 8659 | 60 | 50
1793.35/1793.92 c 1762s | 25 | 7416415 | 6322198 | 1594 8665 | 60 | 50
1795.35/1795.95 c 1764s | 25 | 7423256 | 6328098 | 1594 8672 | 60 | 50
1797.35/1797.98 c 1766s | 25 | 7430077 | 6333998 | 1594 8679 | 60 | 50
1799.46/1800.00 c 1768s | 25 | 7436739 | 6339898 | 1594 8686 | 60 | 50
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-4117924-1467237731/watcher-4117924-1467237731 -o /tmp/evaluation-result-4117924-1467237731/solver-4117924-1467237731 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467234127-4632 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117924-1467237731.opb
pid=5030
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.10 2.09 3/179 5033
/proc/meminfo: memFree=29898212/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 2658 0 0 0 0 0 0 0 20 0 4 0 2793075 730263552 3019 33554432000 4194304 16246674 140737195854816 140737195854240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 179055 3028 441 2943 0 175949 0
[pid=5033/tid=5034] ppid=5030 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 749137920 3089 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 753332224 3105 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2793075 757526528 3120 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[startup+0.100119 s]
/proc/loadavg: 2.06 2.10 2.09 3/179 5033
/proc/meminfo: memFree=29898212/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 26397 0 0 0 6 3 0 0 20 0 4 0 2793075 1247350784 26746 33554432000 4194304 16246674 140737195854816 140737195854240 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 304529 26752 783 2943 0 301423 0
[pid=5033/tid=5034] ppid=5030 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1247350784 26759 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1247350784 26766 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2793075 1247350784 26771 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200494 s]
/proc/loadavg: 2.06 2.10 2.09 3/179 5033
/proc/meminfo: memFree=29898212/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 45768 0 0 0 13 6 0 0 20 0 4 0 2793075 1247350784 46116 33554432000 4194304 16246674 140737195854816 140737195854240 5669490 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 304529 46125 786 2943 0 301423 0
[pid=5033/tid=5034] ppid=5030 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1247350784 46130 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1247350784 46135 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2793075 1247350784 46143 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300449 s]
/proc/loadavg: 2.06 2.10 2.09 3/179 5033
/proc/meminfo: memFree=29898212/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 65213 0 0 0 21 8 0 0 20 0 4 0 2793075 1247350784 65561 33554432000 4194304 16246674 140737195854816 140737195854240 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 304529 65569 786 2943 0 301423 0
[pid=5033/tid=5034] ppid=5030 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1247350784 65574 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1247350784 65580 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2793075 1247350784 65587 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700352 s]
/proc/loadavg: 2.06 2.10 2.09 3/179 5033
/proc/meminfo: memFree=29898212/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 141980 0 0 0 51 18 0 0 20 0 4 0 2793075 1247350784 142328 33554432000 4194304 16246674 140737195854816 140737195854240 13194563 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 304529 142337 786 2943 0 301423 0
[pid=5033/tid=5034] ppid=5030 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1247350784 142343 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1247350784 142351 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2793075 1247350784 142355 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50039 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 5037
/proc/meminfo: memFree=28935116/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 245784 0 0 0 116 33 0 0 20 0 4 0 2793075 1248399360 246110 33554432000 4194304 16246674 140737195854816 140737195854128 13780568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 304785 246110 845 2943 0 301679 0
[pid=5033/tid=5034] ppid=5030 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1248399360 246110 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1248399360 246110 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1248399360 246110 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140
[startup+3.1004 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 5037
/proc/meminfo: memFree=28791152/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1305156 CPUtime=3.09 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 267324 0 0 0 273 36 0 0 20 0 4 0 2793075 1336479744 267650 33554432000 4194304 16246674 140737195854816 140737195836736 13198494 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 326289 267650 845 2943 0 323183 0
[pid=5033/tid=5034] ppid=5030 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1336479744 267650 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1336479744 267650 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1336479744 267650 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156
[startup+6.30041 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 5037
/proc/meminfo: memFree=28740240/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 267530 0 0 0 593 36 0 0 20 0 4 0 2793075 1337528320 267856 33554432000 4194304 16246674 140737195854816 140737195837816 5677550 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 326545 267856 845 2943 0 323439 0
[pid=5033/tid=5034] ppid=5030 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1337528320 267856 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1337528320 267856 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1337528320 267856 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180
[startup+12.7004 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 5037
/proc/meminfo: memFree=28740420/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 267552 0 0 0 1232 36 0 0 20 0 4 0 2793075 1337528320 267878 33554432000 4194304 16246674 140737195854816 140737195836736 13193344 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 326545 267878 846 2943 0 323439 0
[pid=5033/tid=5034] ppid=5030 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1337528320 267878 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1337528320 267878 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1337528320 267878 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180
[startup+25.5005 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 5037
/proc/meminfo: memFree=28739428/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 267891 0 0 0 2512 37 0 0 20 0 4 0 2793075 1338576896 268217 33554432000 4194304 16246674 140737195854816 140737195836736 5518965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 326801 268217 847 2943 0 323695 0
[pid=5033/tid=5034] ppid=5030 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1338576896 268217 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1338576896 268217 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1338576896 268217 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.19 2.13 2.09 3/183 5037
/proc/meminfo: memFree=28737380/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 267891 0 0 0 5071 37 0 0 20 0 4 0 2793075 1338576896 268217 33554432000 4194304 16246674 140737195854816 140737195836736 12415831 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 326801 268217 847 2943 0 323695 0
[pid=5033/tid=5034] ppid=5030 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1338576896 268217 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1338576896 268217 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1338576896 268217 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.08 2.11 2.09 3/183 5038
/proc/meminfo: memFree=28735256/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1309252 CPUtime=102.28 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 268160 0 0 0 10190 38 0 0 20 0 4 0 2793075 1340674048 268486 33554432000 4194304 16246674 140737195854816 140737195837816 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 327313 268486 849 2943 0 324207 0
[pid=5033/tid=5034] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268486 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268486 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268486 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252
################
# More data... #
################
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268734 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1309252
[startup+1302.3 s]
/proc/loadavg: 2.19 2.17 2.12 3/183 5069
/proc/meminfo: memFree=28722356/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1309252 CPUtime=1301.87 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 268819 0 0 0 130136 51 0 0 20 0 4 0 2793075 1340674048 268734 33554432000 4194304 16246674 140737195854816 140737195837816 5667793 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 327313 268734 849 2943 0 324207 0
[pid=5033/tid=5034] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268734 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268734 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268734 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1309252
[startup+1362.3 s]
/proc/loadavg: 2.14 2.15 2.12 3/183 5071
/proc/meminfo: memFree=28722256/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1309252 CPUtime=1361.83 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 268862 0 0 0 136132 51 0 0 20 0 4 0 2793075 1340674048 268734 33554432000 4194304 16246674 140737195854816 140737195836736 5669304 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 327313 268734 849 2943 0 324207 0
[pid=5033/tid=5034] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268734 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268734 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268734 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1309252
[startup+1422.3 s]
/proc/loadavg: 2.16 2.15 2.12 3/183 5072
/proc/meminfo: memFree=28722532/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1309252 CPUtime=1421.82 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 268874 0 0 0 142131 51 0 0 20 0 4 0 2793075 1340674048 268734 33554432000 4194304 16246674 140737195854816 140737195836736 6012036 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 327313 268734 849 2943 0 324207 0
[pid=5033/tid=5034] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268734 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268734 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268734 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1309252
[startup+1482.3 s]
/proc/loadavg: 2.10 2.14 2.11 3/183 5073
/proc/meminfo: memFree=28722448/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1309252 CPUtime=1481.8 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 268875 0 0 0 148129 51 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140737195836736 5839820 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 327313 268735 850 2943 0 324207 0
[pid=5033/tid=5034] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1309252
[startup+1542.31 s]
/proc/loadavg: 2.14 2.14 2.11 3/183 5074
/proc/meminfo: memFree=28722076/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1309252 CPUtime=1541.8 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 268875 0 0 0 154128 52 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140737195853992 12478356 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 327313 268735 850 2943 0 324207 0
[pid=5033/tid=5034] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1309252
[startup+1602.3 s]
/proc/loadavg: 2.10 2.13 2.10 3/183 5075
/proc/meminfo: memFree=28722076/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1309252 CPUtime=1601.78 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 268875 0 0 0 160126 52 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140737195836736 5823408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 327313 268735 850 2943 0 324207 0
[pid=5033/tid=5034] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1309252
[startup+1662.3 s]
/proc/loadavg: 2.23 2.15 2.11 3/183 5077
/proc/meminfo: memFree=28722204/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1309252 CPUtime=1661.78 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 268875 0 0 0 166125 53 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140737195836736 13191431 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 327313 268735 850 2943 0 324207 0
[pid=5033/tid=5034] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1309252
[startup+1722.3 s]
/proc/loadavg: 2.24 2.16 2.11 3/184 5081
/proc/meminfo: memFree=28722060/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1309252 CPUtime=1721.77 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 268875 0 0 0 172124 53 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140737195836736 5546173 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 327313 268735 850 2943 0 324207 0
[pid=5033/tid=5034] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1309252
[startup+1782.3 s]
/proc/loadavg: 2.12 2.14 2.10 3/183 5082
/proc/meminfo: memFree=28721824/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1309252 CPUtime=1781.75 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 268875 0 0 0 178122 53 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140737195836736 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 327313 268735 850 2943 0 324207 0
[pid=5033/tid=5034] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1309252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.09 2.14 2.10 3/183 5131
/proc/meminfo: memFree=29705540/32872528 swapFree=478180/527236
[pid=5033] ppid=5030 vsize=1309252 CPUtime=1800.06 cores=0,2,4,6
/proc/5033/stat : 5033 (toysat) R 5030 5033 1982 0 -1 4202496 268875 0 0 0 179952 54 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140737195836736 12461845 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 327313 268735 850 2943 0 324207 0
[pid=5033/tid=5034] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5034/stat : 5034 (toysat) S 5030 5033 1982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326618508528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5033/tid=5035] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5035/stat : 5035 (toysat) S 5030 5033 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326608018672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5033/tid=5036] ppid=5030 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5033/task/5036/stat : 5036 (toysat) S 5030 5033 1982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2793075 1340674048 268735 33554432000 4194304 16246674 140737195854816 140326597545136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1309252
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 5033 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.53
CPU system time (s): 0.542917
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1309252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.542917
maximum resident set size= 1074940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268875
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= 483
involuntary context switches= 1897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5813 second user time and 7.09192 second system time
The end