0.00/0.00 c 2016-06-06T19:24:44+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-4079643-1465233884.opb"]
0.00/0.01 c use --random-gen="2399733875 2201455914 1389276008 3350719233 2806527163 462132390 4220718234 2080675655 2103873005 2592303045 3050662834 3449945153 1065074440 3980459842 188975614 1914904192 2047824228 958741935 557576302 2589268458 3053860947 2186988632 299308540 125652277 3931709395 395106819 3802358692 1246356233 1274393110 2323628285 1656052949 3612399430 3635713895 3705972617 2006519793 3879149236 2526671250 285694570 2543025750 883226871 3174621946 1776395123 1262982074 3612603028 2657829076 43966436 2866975492 4094149373 3476370501 1902412568 3715856066 4138795117 1575394993 2331857078 726444147 1443076101 2878430398 1462733164 4054389138 769123891 86930112 1590992276 4173462044 3616551283 1331919370 155630698 538888104 3334555865 2204278315 2644678613 2567241442 2752735650 1808245187 3533125565 1720091273 3109998943 196339455 960848487 2707896993 1653659427 710934893 320301647 3600836645 3087989513 3301171880 3596493651 453454211 430743015 417926964 1027309043 765258551 2789842383 324032268 1766250005 82649998 1941125746 2025533025 2545864773 2941030428 2482624779 3663410726 2420222197 1106731079 949104337 2785554996 441965562 2878674837 252284616 3300274028 1442484528 3314224124 3176493153 1305888103 340202225 166372472 2856842075 756362968 3995198165 361937886 886745208 864513904 1224983273 3724319616 1177624146 1102524450 3363457430 526991347 585530481 861236416 375294765 3856325220 2217063675 3659528539 1248418610 814982614 211403924 2170830287 934421506 3239811999 2549925429 123973830 381287649 285937155 1217639925 1874997934 2290609002 3811411691 537974027 2783727153 2267579566 3580875865 307665281 2463860675 1642684027 1527333549 856518544 3506909504 3852769375 4011177768 2111240638 711639524 3605100321 517226635 1951393749 2422439179 2809025915 2762487508 1717249073 3070029063 98974537 4190967105 578245707 3074447400 3900060974 3431885093 2252120811 4075695943 930434495 3330156373 693694592 2060532502 712044621 2774785989 4235271669 3092075028 2403743193 989678036 918157827 2973140595 1788268504 1619082071 843457166 589805056 3081967446 1992458487 1967953751 2530416635 319476690 3731817658 1018189416 665858726 3028620998 3872743430 2870743806 1572732735 1534891481 1828792861 2793115345 1104747188 720033169 4024843148 3973713709 91416902 2968889084 3920228680 738496703 2499745520 1121018087 3452144299 45731790 3877288837 4254775163 2324551836 2762856901 2980342457 1483690307 3049300592 28001506 3878578817 1964805263 4053591817 2567709132 3546877634 965174773 484526762 1792502733 3538384535 835701545 3168634140 1022893375 606890200 61267881 1332260383 74548628 2720329603 3837692633 3473338052 1028642533 3103344414 3231046052 3684242079 2277548242 740063355 4156641900 679768818 3182647679 255 362436" option to reproduce the execution
0.00/0.01 c #vars 372
0.00/0.01 c #constraints 421
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 | 264 0 | 1 | 0
0.00/0.02 c 0.0s | 0 | 256 | 0 | 264 0 | 1 | 0
0.00/0.02 c #cpu_time = 0.001s
0.00/0.02 c #wall_clock_time = 0.001s
0.00/0.02 c #decision = 256
0.00/0.02 c #random_decision = 1
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 o 543
0.00/0.02 c BCD2: updating upper bound: 983 -> 762
0.00/0.02 c BCD2: 0 <= obj <= 762
0.00/0.02 c BCD2: #cores=0, #unrelaxed=372, #relaxed=0, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 264 0 | 1 | 0
0.00/0.02 c 0.0s | 0 | 11 | 0 | 264 0 | 1 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 11
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03 c lower bound updated to -219
0.00/0.03 c BCD2: 1 <= obj <= 762
0.00/0.03 c BCD2: #cores=1, #unrelaxed=369, #relaxed=3, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 264 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 12 | 0 | 264 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 12
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=2
0.00/0.03 c lower bound updated to -217
0.00/0.03 c BCD2: 3 <= obj <= 762
0.00/0.03 c BCD2: #cores=2, #unrelaxed=366, #relaxed=6, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 264 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 17 | 0 | 264 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 17
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.03 c lower bound updated to -216
0.00/0.03 c BCD2: 4 <= obj <= 762
0.00/0.03 c BCD2: #cores=3, #unrelaxed=364, #relaxed=8, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 264 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 18 | 0 | 264 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 18
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=2
0.00/0.03 c lower bound updated to -214
0.00/0.03 c BCD2: 6 <= obj <= 762
0.00/0.03 c BCD2: #cores=4, #unrelaxed=362, #relaxed=10, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 264 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 19 | 0 | 264 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 19
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=3
0.00/0.03 c lower bound updated to -211
0.00/0.03 c BCD2: 9 <= obj <= 762
0.00/0.03 c BCD2: #cores=5, #unrelaxed=360, #relaxed=12, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 264 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 20 | 0 | 264 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 20
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.03 c lower bound updated to -210
0.00/0.03 c BCD2: 10 <= obj <= 762
0.00/0.03 c BCD2: #cores=6, #unrelaxed=358, #relaxed=14, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 264 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 37 | 1 | 264 0 | 1 | 0
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 37
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=4
0.00/0.03 c lower bound updated to -208
0.00/0.03 c BCD2: 12 <= obj <= 762
0.00/0.03 c BCD2: #cores=6, #unrelaxed=357, #relaxed=15, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 264 0 | 2 | 0
0.00/0.03 c 0.0s | 0 | 36 | 1 | 264 0 | 2 | 1
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 36
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 5: cost of the new core is >=6
0.00/0.03 c lower bound updated to -206
0.00/0.03 c BCD2: 14 <= obj <= 762
0.00/0.03 c BCD2: #cores=5, #unrelaxed=356, #relaxed=16, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 264 0 | 4 | 1
0.00/0.04 c 0.0s | 0 | 36 | 1 | 264 0 | 4 | 3
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 = 36
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=3
0.00/0.04 c lower bound updated to -204
0.00/0.04 c BCD2: 16 <= obj <= 762
0.00/0.04 c BCD2: #cores=5, #unrelaxed=355, #relaxed=17, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 264 0 | 5 | 3
0.00/0.04 c 0.0s | 0 | 25 | 0 | 264 0 | 5 | 4
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 = 25
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 -203
0.00/0.04 c BCD2: 17 <= obj <= 762
0.00/0.04 c BCD2: #cores=6, #unrelaxed=353, #relaxed=19, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 264 0 | 5 | 4
0.00/0.04 c 0.0s | 0 | 26 | 1 | 264 0 | 5 | 4
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 = 26
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 8: cost of the new core is >=8
0.00/0.04 c lower bound updated to -202
0.00/0.04 c BCD2: 18 <= obj <= 762
0.00/0.04 c BCD2: #cores=5, #unrelaxed=351, #relaxed=21, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 264 0 | 7 | 4
0.00/0.04 c 0.0s | 0 | 35 | 0 | 264 0 | 7 | 6
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 = 35
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 -201
0.00/0.04 c BCD2: 19 <= obj <= 762
0.00/0.04 c BCD2: #cores=6, #unrelaxed=349, #relaxed=23, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 264 0 | 7 | 6
0.00/0.04 c 0.0s | 0 | 50 | 0 | 264 0 | 7 | 6
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 = 50
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 3: cost of the new core is >=1
0.00/0.04 c lower bound updated to -200
0.00/0.04 c BCD2: 20 <= obj <= 762
0.00/0.04 c BCD2: #cores=7, #unrelaxed=346, #relaxed=26, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=14 bias=14/15
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 | 264 0 | 7 | 6
0.00/0.04 c 0.0s | 0 | 49 | 0 | 264 0 | 7 | 6
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 = 49
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 3: cost of the new core is >=2
0.00/0.04 c lower bound updated to -198
0.00/0.04 c BCD2: 22 <= obj <= 762
0.00/0.04 c BCD2: #cores=8, #unrelaxed=343, #relaxed=29, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=15 bias=15/16
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 | 264 0 | 7 | 6
0.00/0.04 c 0.0s | 0 | 52 | 0 | 264 0 | 7 | 6
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 = 52
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 3: cost of the new core is >=1
0.00/0.04 c lower bound updated to -197
0.00/0.04 c BCD2: 23 <= obj <= 762
0.00/0.04 c BCD2: #cores=9, #unrelaxed=340, #relaxed=32, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=16 bias=16/17
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 | 264 0 | 7 | 6
0.00/0.04 c 0.0s | 0 | 61 | 0 | 264 0 | 7 | 6
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 = 61
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 4: cost of the new core is >=1
0.00/0.04 c lower bound updated to -196
0.00/0.05 c BCD2: 24 <= obj <= 762
0.00/0.05 c BCD2: #cores=10, #unrelaxed=336, #relaxed=36, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 264 0 | 7 | 6
0.00/0.05 c 0.0s | 0 | 60 | 0 | 264 0 | 7 | 6
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 = 60
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 4: cost of the new core is >=1
0.00/0.05 c lower bound updated to -195
0.00/0.05 c BCD2: 25 <= obj <= 762
0.00/0.05 c BCD2: #cores=11, #unrelaxed=332, #relaxed=40, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 264 0 | 7 | 6
0.00/0.05 c 0.0s | 0 | 65 | 0 | 264 0 | 7 | 6
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 = 65
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 -194
0.00/0.05 c BCD2: 26 <= obj <= 762
0.00/0.05 c BCD2: #cores=12, #unrelaxed=327, #relaxed=45, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=19 bias=19/20
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 | 264 0 | 7 | 6
0.00/0.05 c 0.0s | 0 | 65 | 0 | 264 0 | 7 | 6
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 = 65
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 6: cost of the new core is >=1
0.00/0.05 c lower bound updated to -193
0.00/0.05 c BCD2: 27 <= obj <= 762
0.00/0.05 c BCD2: #cores=13, #unrelaxed=321, #relaxed=51, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=20 bias=20/21
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 | 264 0 | 7 | 6
0.00/0.05 c 0.0s | 0 | 67 | 0 | 264 0 | 7 | 6
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 = 67
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: relaxing 5 and merging with 1 cores into a new core of size 7: cost of the new core is >=2
0.00/0.05 c lower bound updated to -192
0.00/0.05 c BCD2: 28 <= obj <= 762
0.00/0.05 c BCD2: #cores=13, #unrelaxed=316, #relaxed=56, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=21 bias=21/22
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 | 264 0 | 8 | 6
0.00/0.05 c 0.0s | 0 | 68 | 0 | 264 0 | 8 | 7
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 = 68
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 -191
0.00/0.05 c BCD2: 29 <= obj <= 762
0.00/0.05 c BCD2: #cores=14, #unrelaxed=311, #relaxed=61, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=22 bias=22/23
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 | 264 0 | 8 | 7
0.00/0.05 c 0.0s | 0 | 81 | 0 | 264 0 | 8 | 7
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 = 81
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 8: cost of the new core is >=1
0.00/0.05 c lower bound updated to -190
0.00/0.05 c BCD2: 30 <= obj <= 762
0.00/0.05 c BCD2: #cores=15, #unrelaxed=303, #relaxed=69, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=23 bias=23/24
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 | 264 0 | 8 | 7
0.00/0.06 c 0.0s | 0 | 84 | 0 | 264 0 | 8 | 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 = 84
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.06 c lower bound updated to -189
0.00/0.06 c BCD2: 31 <= obj <= 762
0.00/0.06 c BCD2: #cores=16, #unrelaxed=296, #relaxed=76, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=24 bias=24/25
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 | 264 0 | 8 | 7
0.00/0.06 c 0.0s | 0 | 84 | 0 | 264 0 | 8 | 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 = 84
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 -188
0.00/0.06 c BCD2: 32 <= obj <= 762
0.00/0.06 c BCD2: #cores=17, #unrelaxed=290, #relaxed=82, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=25 bias=25/26
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 | 264 0 | 8 | 7
0.00/0.06 c 0.0s | 0 | 80 | 0 | 264 0 | 8 | 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 = 80
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.06 c lower bound updated to -187
0.00/0.06 c BCD2: 33 <= obj <= 762
0.00/0.06 c BCD2: #cores=18, #unrelaxed=285, #relaxed=87, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=26 bias=26/27
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 | 264 0 | 8 | 7
0.00/0.06 c 0.0s | 0 | 84 | 0 | 264 0 | 8 | 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 = 84
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 4 and merging with 1 cores into a new core of size 6: cost of the new core is >=2
0.00/0.06 c lower bound updated to -186
0.00/0.06 c BCD2: 34 <= obj <= 762
0.00/0.06 c BCD2: #cores=18, #unrelaxed=281, #relaxed=91, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=27 bias=27/28
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 | 264 0 | 9 | 7
0.00/0.06 c 0.0s | 0 | 88 | 0 | 264 0 | 9 | 8
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 = 88
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.06 c lower bound updated to -185
0.00/0.06 c BCD2: 35 <= obj <= 762
0.00/0.06 c BCD2: #cores=19, #unrelaxed=276, #relaxed=96, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=28 bias=28/29
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 | 264 0 | 9 | 8
0.00/0.06 c 0.0s | 0 | 91 | 0 | 264 0 | 9 | 8
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 = 91
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 -184
0.00/0.06 c BCD2: 36 <= obj <= 762
0.00/0.06 c BCD2: #cores=20, #unrelaxed=270, #relaxed=102, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=29 bias=29/30
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 | 264 0 | 9 | 8
0.00/0.06 c 0.0s | 0 | 103 | 0 | 264 0 | 9 | 8
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 = 103
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 -183
0.00/0.07 c BCD2: 37 <= obj <= 762
0.00/0.07 c BCD2: #cores=21, #unrelaxed=266, #relaxed=106, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=30 bias=30/31
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 | 264 0 | 9 | 8
0.00/0.07 c 0.0s | 0 | 101 | 0 | 264 0 | 9 | 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 = 101
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 -182
0.00/0.07 c BCD2: 38 <= obj <= 762
0.00/0.07 c BCD2: #cores=22, #unrelaxed=262, #relaxed=110, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=31 bias=31/32
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 | 264 0 | 9 | 8
0.00/0.07 c 0.0s | 0 | 100 | 0 | 264 0 | 9 | 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 = 100
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 5: cost of the new core is >=2
0.00/0.07 c lower bound updated to -180
0.00/0.07 c BCD2: 40 <= obj <= 762
0.00/0.07 c BCD2: #cores=23, #unrelaxed=257, #relaxed=115, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=32 bias=32/33
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 | 264 0 | 9 | 8
0.00/0.07 c 0.0s | 0 | 104 | 0 | 264 0 | 9 | 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 = 104
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 6: cost of the new core is >=1
0.00/0.07 c lower bound updated to -179
0.00/0.07 c BCD2: 41 <= obj <= 762
0.00/0.07 c BCD2: #cores=24, #unrelaxed=251, #relaxed=121, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=33 bias=33/34
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 | 264 0 | 9 | 8
0.00/0.07 c 0.0s | 0 | 105 | 0 | 264 0 | 9 | 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 = 105
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 -178
0.00/0.07 c BCD2: 42 <= obj <= 762
0.00/0.07 c BCD2: #cores=25, #unrelaxed=243, #relaxed=129, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=34 bias=34/35
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 | 264 0 | 9 | 8
0.00/0.07 c 0.0s | 0 | 104 | 0 | 264 0 | 9 | 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 = 104
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 -177
0.00/0.07 c BCD2: 43 <= obj <= 762
0.00/0.07 c BCD2: #cores=26, #unrelaxed=235, #relaxed=137, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=35 bias=35/36
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 | 264 0 | 9 | 8
0.00/0.07 c 0.0s | 0 | 106 | 0 | 264 0 | 9 | 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 = 106
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 -176
0.00/0.07 c BCD2: 44 <= obj <= 762
0.00/0.07 c BCD2: #cores=27, #unrelaxed=232, #relaxed=140, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=36 bias=36/37
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 | 264 0 | 9 | 8
0.00/0.08 c 0.0s | 0 | 107 | 0 | 264 0 | 9 | 8
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 = 107
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 11: cost of the new core is >=1
0.00/0.08 c lower bound updated to -175
0.00/0.08 c BCD2: 45 <= obj <= 762
0.00/0.08 c BCD2: #cores=28, #unrelaxed=221, #relaxed=151, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=37 bias=37/38
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 | 264 0 | 9 | 8
0.00/0.08 c 0.0s | 0 | 107 | 0 | 264 0 | 9 | 8
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 = 107
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 14: cost of the new core is >=1
0.00/0.08 c lower bound updated to -174
0.00/0.08 c BCD2: 46 <= obj <= 762
0.00/0.08 c BCD2: #cores=29, #unrelaxed=207, #relaxed=165, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=38 bias=38/39
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 | 264 0 | 9 | 8
0.00/0.08 c 0.0s | 0 | 113 | 0 | 264 0 | 9 | 8
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 = 113
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 -173
0.00/0.08 c BCD2: 47 <= obj <= 762
0.00/0.08 c BCD2: #cores=30, #unrelaxed=204, #relaxed=168, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=39 bias=39/40
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 | 264 0 | 9 | 8
0.00/0.08 c 0.0s | 0 | 113 | 0 | 264 0 | 9 | 8
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 = 113
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.08 c lower bound updated to -172
0.00/0.08 c BCD2: 48 <= obj <= 762
0.00/0.08 c BCD2: #cores=31, #unrelaxed=195, #relaxed=177, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=40 bias=40/41
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 | 264 0 | 9 | 8
0.00/0.08 c 0.0s | 0 | 124 | 0 | 264 0 | 9 | 8
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 = 124
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 14: cost of the new core is >=1
0.00/0.08 c lower bound updated to -171
0.00/0.08 c BCD2: 49 <= obj <= 762
0.00/0.08 c BCD2: #cores=32, #unrelaxed=181, #relaxed=191, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=41 bias=41/42
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 | 264 0 | 9 | 8
0.00/0.08 c 0.0s | 0 | 123 | 0 | 264 0 | 9 | 8
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 = 123
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 11: cost of the new core is >=1
0.00/0.08 c lower bound updated to -170
0.00/0.08 c BCD2: 50 <= obj <= 762
0.00/0.08 c BCD2: #cores=33, #unrelaxed=170, #relaxed=202, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=42 bias=42/43
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 | 264 0 | 9 | 8
0.00/0.09 c 0.0s | 0 | 121 | 0 | 264 0 | 9 | 8
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 121
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 12: cost of the new core is >=1
0.00/0.09 c lower bound updated to -169
0.00/0.09 c BCD2: 51 <= obj <= 762
0.00/0.09 c BCD2: #cores=34, #unrelaxed=158, #relaxed=214, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=43 bias=43/44
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 | 264 0 | 9 | 8
0.00/0.09 c 0.0s | 0 | 121 | 0 | 264 0 | 9 | 8
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 121
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 -168
0.00/0.09 c BCD2: 52 <= obj <= 762
0.00/0.09 c BCD2: #cores=35, #unrelaxed=151, #relaxed=221, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=44 bias=44/45
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 | 264 0 | 9 | 8
0.00/0.09 c 0.0s | 0 | 120 | 0 | 264 0 | 9 | 8
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 120
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 10: cost of the new core is >=1
0.00/0.09 c lower bound updated to -167
0.00/0.09 c BCD2: 53 <= obj <= 762
0.00/0.09 c BCD2: #cores=36, #unrelaxed=141, #relaxed=231, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=45 bias=45/46
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 | 264 0 | 9 | 8
0.00/0.09 c 0.0s | 0 | 116 | 0 | 264 0 | 9 | 8
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 116
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: relaxing 12 and merging with 1 cores into a new core of size 16: cost of the new core is >=2
0.00/0.09 c lower bound updated to -166
0.00/0.09 c BCD2: 54 <= obj <= 762
0.00/0.09 c BCD2: #cores=36, #unrelaxed=129, #relaxed=243, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=46 bias=46/47
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 | 264 0 | 10 | 8
0.00/0.09 c 0.0s | 0 | 186 | 1 | 264 0 | 10 | 9
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 186
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 o 23
0.00/0.09 c BCD2: hardening fixes 1 literals
0.00/0.09 c BCD2: updating upper bound: 762 -> 242
0.00/0.10 c BCD2: 54 <= obj <= 242
0.00/0.10 c BCD2: #cores=36, #unrelaxed=128, #relaxed=243, #hardened=1
0.00/0.10 c BCD2: #sat=2 #unsat=46 bias=46/48
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 264 0 | 10 | 9
0.08/0.10 c 0.0s | 0 | 45 | 1 | 264 0 | 10 | 9
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 45
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 1
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 6: cost of the new core is >=4
0.08/0.10 c lower bound updated to -164
0.08/0.10 c BCD2: 56 <= obj <= 242
0.08/0.10 c BCD2: #cores=35, #unrelaxed=128, #relaxed=243, #hardened=1
0.08/0.10 c BCD2: #sat=2 #unsat=47 bias=47/49
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 264 0 | 14 | 9
0.08/0.10 c 0.0s | 0 | 109 | 1 | 264 0 | 14 | 15
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 109
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 1
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 7: cost of the new core is >=3
0.08/0.10 c lower bound updated to -163
0.08/0.10 c BCD2: 57 <= obj <= 242
0.08/0.10 c BCD2: #cores=34, #unrelaxed=127, #relaxed=244, #hardened=1
0.08/0.10 c BCD2: #sat=2 #unsat=48 bias=48/50
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 264 0 | 18 | 15
0.08/0.10 c 0.0s | 0 | 57 | 3 | 264 0 | 18 | 21
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 57
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 3
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: relaxing 0 and merging with 4 cores into a new core of size 19: cost of the new core is >=12
0.08/0.10 c lower bound updated to -162
0.08/0.10 c BCD2: 58 <= obj <= 242
0.08/0.10 c BCD2: #cores=31, #unrelaxed=127, #relaxed=244, #hardened=1
0.08/0.10 c BCD2: #sat=2 #unsat=49 bias=49/51
0.08/0.10 c Solving starts ...
0.08/0.10 c ============================[ Search Statistics ]============================
0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.10 c | | | | Limit GC | Var | Constra
0.08/0.10 c =============================================================================
0.08/0.10 c 0.0s | 0 | 0 | 0 | 264 0 | 24 | 21
0.08/0.10 c 0.0s | 0 | 89 | 1 | 264 0 | 24 | 29
0.08/0.10 c #cpu_time = 0.001s
0.08/0.10 c #wall_clock_time = 0.001s
0.08/0.10 c #decision = 89
0.08/0.10 c #random_decision = 0
0.08/0.10 c #conflict = 1
0.08/0.10 c #restart = 0
0.08/0.10 c BCD2: relaxing 1 and merging with 4 cores into a new core of size 19: cost of the new core is >=11
0.08/0.10 c lower bound updated to -161
0.08/0.10 c BCD2: 59 <= obj <= 242
0.08/0.10 c BCD2: #cores=28, #unrelaxed=126, #relaxed=245, #hardened=1
0.08/0.10 c BCD2: #sat=2 #unsat=50 bias=50/52
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 264 0 | 32 | 29
0.08/0.11 c 0.0s | 0 | 156 | 11 | 264 0 | 32 | 41
0.08/0.11 c #cpu_time = 0.002s
0.08/0.11 c #wall_clock_time = 0.002s
0.08/0.11 c #decision = 156
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 11
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: relaxing 9 and merging with 4 cores into a new core of size 55: cost of the new core is >=18
0.08/0.11 c lower bound updated to -160
0.08/0.11 c BCD2: 60 <= obj <= 242
0.08/0.11 c BCD2: #cores=25, #unrelaxed=117, #relaxed=254, #hardened=1
0.08/0.11 c BCD2: #sat=2 #unsat=51 bias=51/53
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 264 0 | 39 | 41
0.08/0.11 c 0.0s | 0 | 136 | 6 | 264 0 | 39 | 51
0.08/0.11 c #cpu_time = 0.002s
0.08/0.11 c #wall_clock_time = 0.002s
0.08/0.11 c #decision = 136
0.08/0.11 c #random_decision = 0
0.08/0.11 c #conflict = 6
0.08/0.11 c #restart = 0
0.08/0.11 c BCD2: relaxing 17 and merging with 2 cores into a new core of size 27: cost of the new core is >=4
0.08/0.11 c lower bound updated to -159
0.08/0.11 c BCD2: 61 <= obj <= 242
0.08/0.11 c BCD2: #cores=24, #unrelaxed=100, #relaxed=271, #hardened=1
0.08/0.11 c BCD2: #sat=2 #unsat=52 bias=52/54
0.08/0.11 c Solving starts ...
0.08/0.11 c ============================[ Search Statistics ]============================
0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.11 c | | | | Limit GC | Var | Constra
0.08/0.11 c =============================================================================
0.08/0.11 c 0.0s | 0 | 0 | 0 | 264 0 | 43 | 51
0.08/0.12 c 0.0s | 1 | 253 | 100 | 291 0 | 43 | 57
0.08/0.13 c 0.0s | 1 | 384 | 134 | 291 0 | 43 | 57
0.08/0.13 c #cpu_time = 0.017s
0.08/0.13 c #wall_clock_time = 0.017s
0.08/0.13 c #decision = 384
0.08/0.13 c #random_decision = 1
0.08/0.13 c #conflict = 134
0.08/0.13 c #restart = 1
0.08/0.13 c BCD2: relaxing 11 and merging with 2 cores into a new core of size 21: cost of the new core is >=3
0.08/0.13 c lower bound updated to -158
0.08/0.13 c BCD2: 62 <= obj <= 242
0.08/0.13 c BCD2: #cores=23, #unrelaxed=89, #relaxed=282, #hardened=1
0.08/0.13 c BCD2: #sat=2 #unsat=53 bias=53/55
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 291 0 | 47 | 57
0.08/0.14 c 0.0s | 1 | 237 | 100 | 321 0 | 47 | 63
0.08/0.17 c 0.0s | 2 | 579 | 250 | 321 0 | 47 | 63
0.19/0.20 c 0.1s | 3 | 1006 | 475 | 354 1 | 47 | 63
0.19/0.26 c 0.1s | 4 | 1570 | 813 | 390 2 | 47 | 63
0.29/0.34 c 0.2s | 5 | 2347 | 1320 | 430 4 | 47 | 63
0.39/0.48 c 0.4s | 6 | 3379 | 2081 | 474 6 | 47 | 63
0.69/0.70 c 0.6s | 7 | 4904 | 3223 | 522 9 | 47 | 63
0.79/0.80 c 0.7s | 7 | 5615 | 3692 | 522 11 | 47 | 63
0.79/0.80 c #cpu_time = 0.668s
0.79/0.80 c #wall_clock_time = 0.669s
0.79/0.80 c #decision = 5615
0.79/0.80 c #random_decision = 15
0.79/0.80 c #conflict = 3692
0.79/0.80 c #restart = 7
0.79/0.80 c BCD2: relaxing 38 and merging with 9 cores into a new core of size 178: cost of the new core is >=29
0.79/0.80 c lower bound updated to -157
0.79/0.80 c BCD2: 63 <= obj <= 242
0.79/0.80 c BCD2: #cores=15, #unrelaxed=51, #relaxed=320, #hardened=1
0.79/0.80 c BCD2: #sat=2 #unsat=54 bias=54/56
0.79/0.80 c Solving starts ...
0.79/0.80 c ============================[ Search Statistics ]============================
0.79/0.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.80 c | | | | Limit GC | Var | Constra
0.79/0.80 c =============================================================================
0.79/0.80 c 0.0s | 0 | 0 | 0 | 522 0 | 63 | 63
0.79/0.83 c 0.0s | 1 | 239 | 100 | 522 0 | 63 | 86
0.79/0.87 c 0.1s | 2 | 765 | 250 | 522 0 | 63 | 86
0.89/0.92 c 0.1s | 3 | 1583 | 475 | 522 0 | 63 | 86
0.99/1.02 c 0.2s | 4 | 2285 | 813 | 522 1 | 63 | 86
1.10/1.15 c 0.3s | 5 | 3523 | 1320 | 575 2 | 63 | 86
1.29/1.31 c 0.5s | 6 | 5447 | 2081 | 575 4 | 63 | 86
1.49/1.51 c 0.7s | 7 | 7832 | 3223 | 575 7 | 63 | 86
1.79/1.83 c 1.0s | 8 | 11154 | 4936 | 633 11 | 63 | 86
2.30/2.34 c 1.5s | 9 | 17173 | 7506 | 697 16 | 63 | 86
2.99/3.02 c 2.2s | 10 | 26122 | 11361 | 697 25 | 63 | 86
3.99/4.04 c 3.2s | 11 | 40779 | 17144 | 767 37 | 63 | 86
5.60/5.63 c 4.8s | 12 | 60484 | 25819 | 844 53 | 63 | 86
7.58/7.64 c 6.8s | 12 | 84301 | 36519 | 929 73 | 63 | 86
7.98/8.10 c 7.3s | 13 | 89213 | 38832 | 929 77 | 63 | 86
10.08/10.10 c 9.3s | 13 | 112564 | 49232 | 929 95 | 63 | 86
11.88/11.92 c 11.1s | 14 | 130926 | 58352 | 1022 110 | 63 | 86
13.88/13.93 c 13.1s | 14 | 153989 | 69152 | 1022 128 | 63 | 86
15.89/15.94 c 15.1s | 14 | 175698 | 79652 | 1022 145 | 63 | 86
17.38/17.48 c 16.7s | 15 | 194350 | 87632 | 1125 157 | 63 | 86
19.38/19.48 c 18.7s | 15 | 218166 | 97932 | 1125 172 | 63 | 86
21.38/21.49 c 20.7s | 15 | 243632 | 108632 | 1125 188 | 63 | 86
23.49/23.51 c 22.7s | 15 | 271810 | 119432 | 1125 204 | 63 | 86
25.48/25.53 c 24.7s | 15 | 298767 | 130332 | 1238 220 | 63 | 86
25.68/25.75 c 24.9s | 16 | 301631 | 131552 | 1238 221 | 63 | 86
27.68/27.76 c 27.0s | 16 | 326949 | 141752 | 1238 235 | 63 | 86
29.69/29.77 c 29.0s | 16 | 352051 | 152352 | 1238 250 | 63 | 86
31.68/31.78 c 31.0s | 16 | 375542 | 163052 | 1238 264 | 63 | 86
33.68/33.79 c 33.0s | 16 | 398967 | 173452 | 1238 278 | 63 | 86
35.68/35.79 c 35.0s | 16 | 420979 | 183152 | 1238 292 | 63 | 86
37.68/37.80 c 37.0s | 16 | 440054 | 192852 | 1362 305 | 63 | 86
38.68/38.70 c 37.9s | 17 | 449366 | 197432 | 1362 310 | 63 | 86
40.58/40.70 c 39.9s | 17 | 470813 | 207332 | 1362 323 | 63 | 86
42.68/42.70 c 41.9s | 17 | 492176 | 217632 | 1362 336 | 63 | 86
44.68/44.72 c 43.9s | 17 | 513379 | 227732 | 1362 349 | 63 | 86
46.68/46.72 c 45.9s | 17 | 537703 | 238432 | 1362 362 | 63 | 86
48.68/48.73 c 47.9s | 17 | 563026 | 249132 | 1362 375 | 63 | 86
50.69/50.74 c 49.9s | 17 | 587764 | 259832 | 1362 389 | 63 | 86
52.68/52.75 c 52.0s | 17 | 611985 | 270132 | 1362 402 | 63 | 86
54.68/54.77 c 54.0s | 17 | 637121 | 280332 | 1362 415 | 63 | 86
56.68/56.77 c 56.0s | 17 | 663158 | 290632 | 1499 428 | 63 | 86
57.88/57.91 c 57.1s | 18 | 675937 | 296252 | 1499 434 | 63 | 86
59.88/59.91 c 59.1s | 18 | 698227 | 306052 | 1499 446 | 63 | 86
61.88/61.93 c 61.1s | 18 | 719312 | 316152 | 1499 457 | 63 | 86
63.89/63.94 c 63.1s | 18 | 738850 | 326052 | 1499 469 | 63 | 86
65.87/65.96 c 65.2s | 18 | 764643 | 336252 | 1499 481 | 63 | 86
67.87/67.98 c 67.2s | 18 | 789393 | 346552 | 1499 493 | 63 | 86
69.88/69.99 c 69.2s | 18 | 811249 | 356052 | 1499 504 | 63 | 86
71.98/72.00 c 71.2s | 18 | 835917 | 366652 | 1499 516 | 63 | 86
73.98/74.01 c 73.2s | 18 | 860000 | 376352 | 1499 527 | 63 | 86
75.99/76.02 c 75.2s | 18 | 884594 | 385952 | 1499 538 | 63 | 86
77.97/78.03 c 77.2s | 18 | 905528 | 396052 | 1499 550 | 63 | 86
79.97/80.03 c 79.2s | 18 | 927283 | 405952 | 1499 561 | 63 | 86
81.97/82.05 c 81.2s | 18 | 949417 | 415152 | 1499 572 | 63 | 86
83.97/84.07 c 83.3s | 18 | 973873 | 424852 | 1499 583 | 63 | 86
85.97/86.08 c 85.3s | 18 | 997715 | 434552 | 1499 594 | 63 | 86
88.08/88.11 c 87.3s | 18 | 1018792 | 444052 | 1649 605 | 63 | 86
88.17/88.21 c 87.4s | 19 | 1019646 | 444482 | 1649 605 | 63 | 86
90.19/90.21 c 89.4s | 19 | 1042768 | 454182 | 1649 616 | 63 | 86
92.18/92.22 c 91.4s | 19 | 1068080 | 464782 | 1649 627 | 63 | 86
94.18/94.23 c 93.4s | 19 | 1089853 | 475282 | 1649 638 | 63 | 86
96.17/96.24 c 95.4s | 19 | 1113388 | 485482 | 1649 649 | 63 | 86
98.17/98.24 c 97.4s | 19 | 1137857 | 495482 | 1649 660 | 63 | 86
100.18/100.25 c 99.5s | 19 | 1162015 | 505682 | 1649 670 | 63 | 86
102.17/102.26 c 101s | 19 | 1183474 | 515582 | 1649 681 | 63 | 86
104.17/104.28 c 103s | 19 | 1208141 | 526182 | 1649 692 | 63 | 86
106.17/106.28 c 105s | 19 | 1227841 | 536282 | 1649 703 | 63 | 86
108.17/108.28 c 107s | 19 | 1248742 | 545882 | 1649 713 | 63 | 86
110.17/110.29 c 109s | 19 | 1267876 | 555482 | 1649 723 | 63 | 86
112.18/112.30 c 111s | 19 | 1285896 | 564482 | 1649 733 | 63 | 86
114.27/114.31 c 113s | 19 | 1306927 | 574182 | 1649 743 | 63 | 86
116.27/116.32 c 115s | 19 | 1328851 | 584182 | 1649 754 | 63 | 86
118.27/118.32 c 117s | 19 | 1348246 | 593682 | 1649 764 | 63 | 86
120.26/120.33 c 119s | 19 | 1369822 | 603482 | 1649 775 | 63 | 86
122.26/122.34 c 121s | 19 | 1389878 | 612982 | 1649 785 | 63 | 86
124.28/124.35 c 123s | 19 | 1407804 | 622182 | 1649 795 | 63 | 86
126.27/126.36 c 125s | 19 | 1426206 | 631982 | 1649 805 | 63 | 86
128.27/128.36 c 127s | 19 | 1445517 | 641382 | 1649 815 | 63 | 86
130.27/130.37 c 129s | 19 | 1467662 | 651182 | 1649 826 | 63 | 86
132.26/132.37 c 131s | 19 | 1488723 | 661082 | 1814 836 | 63 | 86
133.36/133.48 c 132s | 20 | 1500510 | 666827 | 1814 841 | 63 | 86
135.37/135.49 c 134s | 20 | 1524477 | 676627 | 1814 851 | 63 | 86
137.48/137.51 c 136s | 20 | 1546825 | 686527 | 1814 861 | 63 | 86
139.47/139.51 c 138s | 20 | 1566069 | 696027 | 1814 870 | 63 | 86
141.46/141.51 c 140s | 20 | 1587217 | 705727 | 1814 879 | 63 | 86
143.46/143.52 c 142s | 20 | 1607024 | 715227 | 1814 889 | 63 | 86
145.46/145.54 c 144s | 20 | 1627106 | 724727 | 1814 898 | 63 | 86
147.48/147.56 c 146s | 20 | 1648785 | 734827 | 1814 908 | 63 | 86
149.47/149.58 c 148s | 20 | 1668204 | 744527 | 1814 917 | 63 | 86
151.47/151.59 c 150s | 20 | 1688240 | 753827 | 1814 926 | 63 | 86
153.56/153.61 c 152s | 20 | 1707355 | 763027 | 1814 935 | 63 | 86
155.56/155.62 c 154s | 20 | 1724315 | 771627 | 1814 944 | 63 | 86
157.56/157.63 c 156s | 20 | 1744145 | 780727 | 1814 953 | 63 | 86
159.57/159.64 c 158s | 20 | 1762077 | 789427 | 1814 961 | 63 | 86
161.57/161.66 c 160s | 20 | 1783190 | 798627 | 1814 970 | 63 | 86
163.56/163.67 c 162s | 20 | 1803981 | 807927 | 1814 979 | 63 | 86
165.56/165.68 c 164s | 20 | 1822121 | 816927 | 1814 988 | 63 | 86
167.56/167.68 c 166s | 20 | 1842189 | 825827 | 1814 997 | 63 | 86
169.66/169.70 c 168s | 20 | 1863269 | 834927 | 1814 1005 | 63 | 86
171.67/171.71 c 170s | 20 | 1885400 | 844027 | 1814 1014 | 63 | 86
173.66/173.71 c 172s | 20 | 1906861 | 853027 | 1814 1023 | 63 | 86
175.66/175.72 c 174s | 20 | 1926362 | 862227 | 1814 1032 | 63 | 86
177.66/177.73 c 176s | 20 | 1946578 | 871127 | 1814 1041 | 63 | 86
179.66/179.74 c 178s | 20 | 1967842 | 880227 | 1814 1050 | 63 | 86
181.66/181.75 c 180s | 20 | 1987476 | 889527 | 1814 1059 | 63 | 86
183.67/183.76 c 182s | 20 | 2010312 | 898627 | 1814 1068 | 63 | 86
185.66/185.76 c 184s | 20 | 2030524 | 907427 | 1814 1076 | 63 | 86
187.66/187.78 c 186s | 20 | 2051268 | 916627 | 1814 1085 | 63 | 86
189.66/189.79 c 188s | 20 | 2070860 | 925727 | 1814 1094 | 63 | 86
191.75/191.81 c 191s | 20 | 2088949 | 934427 | 1814 1103 | 63 | 86
193.75/193.81 c 193s | 20 | 2110569 | 943827 | 1814 1112 | 63 | 86
195.77/195.83 c 195s | 20 | 2129254 | 953027 | 1814 1121 | 63 | 86
197.75/197.85 c 197s | 20 | 2148299 | 962127 | 1814 1130 | 63 | 86
199.75/199.86 c 199s | 20 | 2167376 | 970927 | 1814 1138 | 63 | 86
201.75/201.87 c 201s | 20 | 2186292 | 979827 | 1814 1147 | 63 | 86
203.76/203.88 c 203s | 20 | 2206444 | 988827 | 1814 1156 | 63 | 86
205.77/205.88 c 205s | 20 | 2227404 | 997827 | 1996 1164 | 63 | 86
206.36/206.41 c 205s | 21 | 2232953 | 1000345 | 1996 1166 | 63 | 86
208.35/208.42 c 207s | 21 | 2255189 | 1010345 | 1996 1175 | 63 | 86
210.35/210.43 c 209s | 21 | 2277714 | 1020245 | 1996 1184 | 63 | 86
212.36/212.44 c 211s | 21 | 2301028 | 1030345 | 1996 1193 | 63 | 86
214.35/214.45 c 213s | 21 | 2325163 | 1040645 | 1996 1202 | 63 | 86
216.36/216.46 c 215s | 21 | 2348205 | 1050345 | 1996 1211 | 63 | 86
218.36/218.46 c 217s | 21 | 2371654 | 1060445 | 1996 1220 | 63 | 86
220.35/220.48 c 219s | 21 | 2392505 | 1070145 | 1996 1229 | 63 | 86
222.45/222.50 c 221s | 21 | 2412913 | 1079845 | 1996 1238 | 63 | 86
224.37/224.51 c 223s | 21 | 2434450 | 1089545 | 1996 1246 | 63 | 86
226.46/226.53 c 225s | 21 | 2452444 | 1098845 | 1996 1255 | 63 | 86
228.45/228.53 c 227s | 21 | 2469335 | 1107645 | 1996 1262 | 63 | 86
230.45/230.54 c 229s | 21 | 2487015 | 1116245 | 1996 1270 | 63 | 86
232.45/232.56 c 231s | 21 | 2505077 | 1125245 | 1996 1278 | 63 | 86
234.45/234.57 c 233s | 21 | 2525958 | 1134745 | 1996 1287 | 63 | 86
236.46/236.58 c 235s | 21 | 2543554 | 1144045 | 1996 1295 | 63 | 86
238.45/238.59 c 237s | 21 | 2564676 | 1153545 | 1996 1304 | 63 | 86
240.55/240.61 c 239s | 21 | 2586139 | 1163345 | 1996 1312 | 63 | 86
242.55/242.62 c 241s | 21 | 2607737 | 1172945 | 1996 1321 | 63 | 86
244.55/244.63 c 243s | 21 | 2626712 | 1182145 | 1996 1329 | 63 | 86
246.55/246.64 c 245s | 21 | 2646504 | 1191045 | 1996 1337 | 63 | 86
248.56/248.65 c 247s | 21 | 2666619 | 1200145 | 1996 1346 | 63 | 86
250.54/250.65 c 249s | 21 | 2687451 | 1209445 | 1996 1354 | 63 | 86
252.55/252.66 c 251s | 21 | 2707148 | 1218645 | 1996 1362 | 63 | 86
254.55/254.68 c 253s | 21 | 2727514 | 1228045 | 1996 1371 | 63 | 86
256.55/256.69 c 255s | 21 | 2746523 | 1237445 | 1996 1379 | 63 | 86
258.65/258.71 c 257s | 21 | 2763785 | 1246345 | 1996 1387 | 63 | 86
260.66/260.73 c 259s | 21 | 2782588 | 1255345 | 1996 1395 | 63 | 86
262.65/262.74 c 261s | 21 | 2803092 | 1264545 | 1996 1403 | 63 | 86
264.65/264.74 c 263s | 21 | 2821623 | 1273345 | 1996 1411 | 63 | 86
266.65/266.76 c 265s | 21 | 2842100 | 1282245 | 1996 1419 | 63 | 86
268.64/268.77 c 267s | 21 | 2860932 | 1290945 | 1996 1427 | 63 | 86
270.66/270.78 c 269s | 21 | 2881507 | 1300345 | 1996 1436 | 63 | 86
272.65/272.79 c 271s | 21 | 2902114 | 1309845 | 1996 1444 | 63 | 86
274.75/274.80 c 273s | 21 | 2924439 | 1319645 | 1996 1453 | 63 | 86
276.75/276.81 c 276s | 21 | 2944385 | 1328945 | 1996 1461 | 63 | 86
278.74/278.83 c 278s | 21 | 2961287 | 1337145 | 1996 1469 | 63 | 86
280.74/280.86 c 280s | 21 | 2979111 | 1345545 | 1996 1476 | 63 | 86
282.75/282.87 c 282s | 21 | 2995623 | 1353645 | 1996 1483 | 63 | 86
284.74/284.88 c 284s | 21 | 3013108 | 1362445 | 1996 1491 | 63 | 86
286.74/286.89 c 286s | 21 | 3028997 | 1370245 | 1996 1498 | 63 | 86
288.84/288.90 c 288s | 21 | 3044001 | 1377445 | 1996 1505 | 63 | 86
290.84/290.91 c 290s | 21 | 3060914 | 1385145 | 1996 1512 | 63 | 86
292.84/292.93 c 292s | 21 | 3078497 | 1393245 | 1996 1519 | 63 | 86
294.85/294.96 c 294s | 21 | 3094628 | 1400745 | 1996 1526 | 63 | 86
296.84/296.97 c 296s | 21 | 3108509 | 1407445 | 1996 1532 | 63 | 86
298.84/298.99 c 298s | 21 | 3125079 | 1415045 | 1996 1538 | 63 | 86
300.94/301.00 c 300s | 21 | 3142642 | 1423145 | 1996 1546 | 63 | 86
302.94/303.01 c 302s | 21 | 3161089 | 1431445 | 1996 1553 | 63 | 86
304.94/305.02 c 304s | 21 | 3180751 | 1440145 | 1996 1561 | 63 | 86
306.95/307.03 c 306s | 21 | 3201193 | 1449745 | 1996 1570 | 63 | 86
308.94/309.03 c 308s | 21 | 3220096 | 1458945 | 1996 1578 | 63 | 86
310.94/311.05 c 310s | 21 | 3241507 | 1468645 | 1996 1587 | 63 | 86
312.94/313.05 c 312s | 21 | 3263786 | 1478045 | 1996 1595 | 63 | 86
314.94/315.07 c 314s | 21 | 3283283 | 1487345 | 2196 1603 | 63 | 86
317.04/317.10 c 316s | 21 | 3301628 | 1496345 | 2196 1611 | 63 | 86
318.04/318.12 c 317s | 22 | 3309488 | 1500622 | 2196 1614 | 63 | 86
320.05/320.14 c 319s | 22 | 3328586 | 1509722 | 2196 1622 | 63 | 86
322.04/322.15 c 321s | 22 | 3347278 | 1519022 | 2196 1629 | 63 | 86
324.04/324.17 c 323s | 22 | 3364684 | 1528122 | 2196 1637 | 63 | 86
326.04/326.19 c 325s | 22 | 3389568 | 1537622 | 2196 1645 | 63 | 86
328.13/328.20 c 327s | 22 | 3411696 | 1546822 | 2196 1652 | 63 | 86
330.14/330.20 c 329s | 22 | 3428244 | 1555022 | 2196 1659 | 63 | 86
332.15/332.21 c 331s | 22 | 3444967 | 1563222 | 2196 1666 | 63 | 86
334.14/334.22 c 333s | 22 | 3462252 | 1571722 | 2196 1673 | 63 | 86
336.14/336.24 c 335s | 22 | 3479056 | 1579822 | 2196 1679 | 63 | 86
338.13/338.26 c 337s | 22 | 3497192 | 1588622 | 2196 1687 | 63 | 86
340.14/340.28 c 339s | 22 | 3514888 | 1597022 | 2196 1693 | 63 | 86
342.15/342.29 c 341s | 22 | 3533761 | 1606022 | 2196 1701 | 63 | 86
344.14/344.30 c 343s | 22 | 3551135 | 1614322 | 2196 1708 | 63 | 86
346.23/346.32 c 345s | 22 | 3568646 | 1622622 | 2196 1715 | 63 | 86
348.23/348.33 c 347s | 22 | 3587023 | 1631122 | 2196 1722 | 63 | 86
350.23/350.35 c 349s | 22 | 3602712 | 1639522 | 2196 1728 | 63 | 86
352.23/352.36 c 351s | 22 | 3617945 | 1647522 | 2196 1735 | 63 | 86
354.24/354.37 c 353s | 22 | 3633271 | 1655322 | 2196 1742 | 63 | 86
356.23/356.38 c 355s | 22 | 3650049 | 1663522 | 2196 1748 | 63 | 86
358.33/358.40 c 357s | 22 | 3664542 | 1671022 | 2196 1754 | 63 | 86
360.33/360.41 c 359s | 22 | 3680516 | 1679222 | 2196 1761 | 63 | 86
362.33/362.42 c 361s | 22 | 3695694 | 1687122 | 2196 1768 | 63 | 86
364.33/364.44 c 363s | 22 | 3711775 | 1695222 | 2196 1774 | 63 | 86
366.34/366.45 c 365s | 22 | 3728820 | 1703922 | 2196 1782 | 63 | 86
368.33/368.45 c 367s | 22 | 3745519 | 1712722 | 2196 1789 | 63 | 86
370.33/370.48 c 369s | 22 | 3759578 | 1720922 | 2196 1796 | 63 | 86
372.33/372.49 c 371s | 22 | 3775229 | 1729522 | 2196 1803 | 63 | 86
374.43/374.51 c 373s | 22 | 3790772 | 1737922 | 2196 1810 | 63 | 86
376.43/376.54 c 375s | 22 | 3807022 | 1746422 | 2196 1817 | 63 | 86
378.44/378.54 c 377s | 22 | 3822080 | 1754322 | 2196 1823 | 63 | 86
380.43/380.55 c 379s | 22 | 3840323 | 1762322 | 2196 1830 | 63 | 86
382.42/382.57 c 381s | 22 | 3856398 | 1770122 | 2196 1836 | 63 | 86
384.43/384.57 c 383s | 22 | 3874417 | 1778622 | 2196 1843 | 63 | 86
386.43/386.58 c 385s | 22 | 3889264 | 1786422 | 2196 1850 | 63 | 86
388.53/388.61 c 387s | 22 | 3905563 | 1794922 | 2196 1857 | 63 | 86
390.54/390.63 c 389s | 22 | 3921224 | 1803122 | 2196 1863 | 63 | 86
392.53/392.65 c 391s | 22 | 3938169 | 1811522 | 2196 1870 | 63 | 86
394.52/394.67 c 393s | 22 | 3956611 | 1819922 | 2196 1877 | 63 | 86
396.53/396.68 c 395s | 22 | 3973049 | 1827922 | 2196 1884 | 63 | 86
398.53/398.69 c 397s | 22 | 3988305 | 1835622 | 2196 1890 | 63 | 86
400.63/400.71 c 399s | 22 | 4003772 | 1843322 | 2196 1896 | 63 | 86
402.63/402.73 c 401s | 22 | 4018440 | 1850622 | 2196 1902 | 63 | 86
404.62/404.74 c 403s | 22 | 4034467 | 1858422 | 2196 1909 | 63 | 86
406.63/406.76 c 405s | 22 | 4050994 | 1866422 | 2196 1916 | 63 | 86
408.62/408.76 c 407s | 22 | 4065310 | 1873822 | 2196 1922 | 63 | 86
410.62/410.78 c 409s | 22 | 4080659 | 1881722 | 2196 1928 | 63 | 86
412.62/412.78 c 411s | 22 | 4097937 | 1889822 | 2196 1935 | 63 | 86
414.63/414.79 c 413s | 22 | 4115042 | 1898022 | 2196 1942 | 63 | 86
416.62/416.80 c 415s | 22 | 4133549 | 1906522 | 2196 1949 | 63 | 86
418.72/418.81 c 418s | 22 | 4152009 | 1915322 | 2196 1956 | 63 | 86
420.72/420.82 c 420s | 22 | 4170474 | 1923822 | 2196 1963 | 63 | 86
422.72/422.83 c 422s | 22 | 4189699 | 1932322 | 2196 1970 | 63 | 86
424.72/424.84 c 424s | 22 | 4206378 | 1940322 | 2196 1976 | 63 | 86
426.74/426.84 c 426s | 22 | 4226815 | 1949122 | 2196 1984 | 63 | 86
428.72/428.86 c 428s | 22 | 4248714 | 1958522 | 2196 1991 | 63 | 86
430.72/430.88 c 430s | 22 | 4270124 | 1967922 | 2196 1999 | 63 | 86
432.72/432.88 c 432s | 22 | 4294406 | 1977322 | 2196 2007 | 63 | 86
434.82/434.90 c 434s | 22 | 4315404 | 1986122 | 2196 2014 | 63 | 86
436.82/436.92 c 436s | 22 | 4330492 | 1994222 | 2196 2021 | 63 | 86
438.83/438.93 c 438s | 22 | 4347377 | 2002922 | 2196 2028 | 63 | 86
440.82/440.95 c 440s | 22 | 4364752 | 2011422 | 2196 2035 | 63 | 86
442.82/442.97 c 442s | 22 | 4378971 | 2019722 | 2196 2042 | 63 | 86
444.82/444.97 c 444s | 22 | 4394981 | 2028522 | 2196 2049 | 63 | 86
446.82/446.99 c 446s | 22 | 4410064 | 2037122 | 2196 2056 | 63 | 86
448.83/448.99 c 448s | 22 | 4425989 | 2045322 | 2196 2063 | 63 | 86
450.93/451.01 c 450s | 22 | 4445064 | 2054222 | 2196 2070 | 63 | 86
452.91/453.01 c 452s | 22 | 4460170 | 2062522 | 2196 2077 | 63 | 86
454.92/455.03 c 454s | 22 | 4476527 | 2071422 | 2196 2084 | 63 | 86
456.92/457.04 c 456s | 22 | 4491997 | 2079722 | 2196 2091 | 63 | 86
458.92/459.05 c 458s | 22 | 4510102 | 2088022 | 2196 2098 | 63 | 86
460.92/461.07 c 460s | 22 | 4522844 | 2095922 | 2196 2104 | 63 | 86
462.91/463.09 c 462s | 22 | 4535848 | 2103322 | 2196 2110 | 63 | 86
464.92/465.09 c 464s | 22 | 4551544 | 2111622 | 2196 2117 | 63 | 86
467.02/467.11 c 466s | 22 | 4565246 | 2119522 | 2196 2124 | 63 | 86
469.02/469.13 c 468s | 22 | 4578711 | 2127322 | 2196 2130 | 63 | 86
471.02/471.15 c 470s | 22 | 4594141 | 2135322 | 2196 2137 | 63 | 86
473.03/473.16 c 472s | 22 | 4610748 | 2143522 | 2196 2143 | 63 | 86
475.01/475.17 c 474s | 22 | 4623834 | 2151022 | 2196 2150 | 63 | 86
477.01/477.19 c 476s | 22 | 4636471 | 2158522 | 2196 2156 | 63 | 86
479.11/479.20 c 478s | 22 | 4648635 | 2165522 | 2196 2162 | 63 | 86
481.11/481.22 c 480s | 22 | 4664042 | 2173522 | 2196 2168 | 63 | 86
483.11/483.22 c 482s | 22 | 4677898 | 2181322 | 2196 2175 | 63 | 86
485.12/485.24 c 484s | 22 | 4692981 | 2189122 | 2196 2181 | 63 | 86
487.12/487.25 c 486s | 22 | 4707213 | 2197322 | 2196 2188 | 63 | 86
489.12/489.27 c 488s | 22 | 4721877 | 2205022 | 2196 2194 | 63 | 86
491.12/491.29 c 490s | 22 | 4736679 | 2212722 | 2196 2201 | 63 | 86
493.12/493.29 c 492s | 22 | 4752493 | 2220722 | 2196 2207 | 63 | 86
495.11/495.30 c 494s | 22 | 4765485 | 2228122 | 2196 2213 | 63 | 86
497.12/497.30 c 496s | 22 | 4778489 | 2235422 | 2416 2219 | 63 | 86
499.21/499.34 c 498s | 22 | 4793988 | 2243022 | 2416 2225 | 63 | 86
501.21/501.37 c 500s | 22 | 4808718 | 2250222 | 2416 2230 | 63 | 86
501.52/501.62 c 500s | 23 | 4810191 | 2251038 | 2416 2231 | 63 | 86
503.51/503.64 c 502s | 23 | 4824147 | 2258638 | 2416 2236 | 63 | 86
505.51/505.65 c 504s | 23 | 4842579 | 2267138 | 2416 2243 | 63 | 86
507.51/507.65 c 506s | 23 | 4861795 | 2275938 | 2416 2249 | 63 | 86
509.51/509.66 c 508s | 23 | 4881131 | 2284738 | 2416 2256 | 63 | 86
511.52/511.68 c 510s | 23 | 4900615 | 2293738 | 2416 2263 | 63 | 86
513.50/513.70 c 512s | 23 | 4917677 | 2302538 | 2416 2269 | 63 | 86
515.61/515.70 c 514s | 23 | 4933541 | 2311138 | 2416 2276 | 63 | 86
517.61/517.71 c 516s | 23 | 4950567 | 2320038 | 2416 2283 | 63 | 86
519.61/519.72 c 518s | 23 | 4967937 | 2328638 | 2416 2289 | 63 | 86
521.61/521.73 c 520s | 23 | 4988302 | 2337638 | 2416 2296 | 63 | 86
523.62/523.75 c 522s | 23 | 5008001 | 2346938 | 2416 2303 | 63 | 86
525.61/525.76 c 524s | 23 | 5024766 | 2356138 | 2416 2310 | 63 | 86
527.60/527.76 c 526s | 23 | 5044250 | 2364938 | 2416 2316 | 63 | 86
529.60/529.77 c 528s | 23 | 5060393 | 2373038 | 2416 2322 | 63 | 86
531.70/531.80 c 530s | 23 | 5076366 | 2381238 | 2416 2329 | 63 | 86
533.71/533.80 c 532s | 23 | 5094022 | 2389638 | 2416 2335 | 63 | 86
535.72/535.81 c 535s | 23 | 5110542 | 2397838 | 2416 2341 | 63 | 86
537.70/537.81 c 537s | 23 | 5131471 | 2406938 | 2416 2348 | 63 | 86
539.70/539.82 c 539s | 23 | 5152436 | 2416038 | 2416 2355 | 63 | 86
541.70/541.82 c 541s | 23 | 5171923 | 2424938 | 2416 2361 | 63 | 86
543.71/543.83 c 543s | 23 | 5191977 | 2434038 | 2416 2368 | 63 | 86
545.71/545.83 c 545s | 23 | 5209808 | 2442738 | 2416 2375 | 63 | 86
547.71/547.83 c 547s | 23 | 5228191 | 2451338 | 2416 2381 | 63 | 86
549.70/549.85 c 549s | 23 | 5248817 | 2460138 | 2416 2388 | 63 | 86
551.70/551.87 c 551s | 23 | 5264817 | 2468238 | 2416 2394 | 63 | 86
553.70/553.87 c 553s | 23 | 5283295 | 2476938 | 2416 2400 | 63 | 86
555.70/555.89 c 555s | 23 | 5303909 | 2485738 | 2416 2407 | 63 | 86
557.80/557.90 c 557s | 23 | 5324203 | 2494338 | 2416 2413 | 63 | 86
559.70/559.91 c 559s | 23 | 5343967 | 2503338 | 2416 2420 | 63 | 86
561.80/561.92 c 561s | 23 | 5363758 | 2511738 | 2416 2427 | 63 | 86
563.80/563.93 c 563s | 23 | 5381815 | 2519938 | 2416 2433 | 63 | 86
565.80/565.95 c 565s | 23 | 5400201 | 2528538 | 2416 2439 | 63 | 86
567.80/567.97 c 567s | 23 | 5417045 | 2536638 | 2416 2445 | 63 | 86
569.81/569.98 c 569s | 23 | 5434730 | 2544938 | 2416 2451 | 63 | 86
571.80/571.99 c 571s | 23 | 5454374 | 2553838 | 2416 2458 | 63 | 86
573.80/573.99 c 573s | 23 | 5473115 | 2562838 | 2416 2465 | 63 | 86
575.80/575.99 c 575s | 23 | 5491300 | 2571138 | 2416 2471 | 63 | 86
577.80/578.00 c 577s | 23 | 5507742 | 2578938 | 2416 2477 | 63 | 86
579.90/580.01 c 579s | 23 | 5527615 | 2587738 | 2416 2484 | 63 | 86
581.91/582.01 c 581s | 23 | 5546453 | 2596338 | 2416 2490 | 63 | 86
583.90/584.02 c 583s | 23 | 5563864 | 2604738 | 2416 2496 | 63 | 86
585.89/586.04 c 585s | 23 | 5582152 | 2613738 | 2416 2503 | 63 | 86
587.90/588.06 c 587s | 23 | 5598802 | 2621738 | 2416 2509 | 63 | 86
589.90/590.07 c 589s | 23 | 5616268 | 2629738 | 2416 2515 | 63 | 86
591.90/592.08 c 591s | 23 | 5634009 | 2637838 | 2416 2521 | 63 | 86
593.90/594.10 c 593s | 23 | 5653225 | 2646738 | 2416 2528 | 63 | 86
595.99/596.11 c 595s | 23 | 5674389 | 2655838 | 2416 2535 | 63 | 86
598.00/598.11 c 597s | 23 | 5695135 | 2664738 | 2416 2542 | 63 | 86
599.99/600.12 c 599s | 23 | 5716106 | 2673738 | 2416 2548 | 63 | 86
602.00/602.13 c 601s | 23 | 5736803 | 2682538 | 2416 2555 | 63 | 86
604.00/604.16 c 603s | 23 | 5757228 | 2691338 | 2416 2562 | 63 | 86
606.01/606.19 c 605s | 23 | 5776892 | 2699638 | 2416 2568 | 63 | 86
608.10/608.21 c 607s | 23 | 5793901 | 2707138 | 2416 2573 | 63 | 86
610.10/610.21 c 609s | 23 | 5809160 | 2714138 | 2416 2579 | 63 | 86
612.09/612.22 c 611s | 23 | 5824231 | 2721138 | 2416 2584 | 63 | 86
614.09/614.23 c 613s | 23 | 5839394 | 2728138 | 2416 2589 | 63 | 86
616.09/616.24 c 615s | 23 | 5854990 | 2735438 | 2416 2595 | 63 | 86
618.10/618.24 c 617s | 23 | 5874430 | 2745038 | 2416 2602 | 63 | 86
620.09/620.24 c 619s | 23 | 5891891 | 2753738 | 2416 2608 | 63 | 86
622.10/622.26 c 621s | 23 | 5909716 | 2761838 | 2416 2615 | 63 | 86
624.09/624.28 c 623s | 23 | 5929723 | 2770538 | 2416 2621 | 63 | 86
626.09/626.29 c 625s | 23 | 5948423 | 2778938 | 2416 2627 | 63 | 86
628.19/628.30 c 627s | 23 | 5964965 | 2786638 | 2416 2633 | 63 | 86
630.20/630.32 c 629s | 23 | 5983794 | 2795138 | 2416 2640 | 63 | 86
632.20/632.34 c 631s | 23 | 6001658 | 2802938 | 2416 2646 | 63 | 86
634.19/634.37 c 633s | 23 | 6018866 | 2810938 | 2416 2652 | 63 | 86
636.29/636.40 c 635s | 23 | 6034057 | 2818338 | 2416 2657 | 63 | 86
638.29/638.42 c 637s | 23 | 6049884 | 2825938 | 2416 2663 | 63 | 86
640.29/640.42 c 639s | 23 | 6068456 | 2834138 | 2416 2669 | 63 | 86
642.30/642.43 c 641s | 23 | 6087762 | 2842638 | 2416 2675 | 63 | 86
644.29/644.44 c 643s | 23 | 6105715 | 2850838 | 2416 2682 | 63 | 86
646.29/646.46 c 645s | 23 | 6122319 | 2858438 | 2416 2687 | 63 | 86
648.29/648.48 c 647s | 23 | 6139932 | 2866138 | 2416 2693 | 63 | 86
650.29/650.49 c 649s | 23 | 6155937 | 2873538 | 2416 2699 | 63 | 86
652.39/652.50 c 651s | 23 | 6171528 | 2880838 | 2416 2704 | 63 | 86
654.39/654.52 c 653s | 23 | 6188773 | 2888238 | 2416 2710 | 63 | 86
656.39/656.55 c 655s | 23 | 6205296 | 2896038 | 2416 2716 | 63 | 86
658.39/658.56 c 657s | 23 | 6223516 | 2904438 | 2416 2722 | 63 | 86
660.39/660.56 c 659s | 23 | 6238552 | 2912338 | 2416 2728 | 63 | 86
662.39/662.57 c 661s | 23 | 6256264 | 2921138 | 2416 2734 | 63 | 86
664.40/664.58 c 663s | 23 | 6273672 | 2929038 | 2416 2740 | 63 | 86
666.39/666.60 c 665s | 23 | 6289167 | 2936138 | 2416 2746 | 63 | 86
668.48/668.61 c 667s | 23 | 6304968 | 2943538 | 2416 2751 | 63 | 86
670.48/670.62 c 669s | 23 | 6321503 | 2951338 | 2416 2757 | 63 | 86
672.49/672.63 c 671s | 23 | 6336264 | 2958138 | 2416 2762 | 63 | 86
674.49/674.64 c 673s | 23 | 6350462 | 2964838 | 2416 2767 | 63 | 86
676.50/676.65 c 675s | 23 | 6368810 | 2973338 | 2416 2774 | 63 | 86
678.48/678.66 c 677s | 23 | 6386443 | 2981538 | 2416 2780 | 63 | 86
680.48/680.67 c 679s | 23 | 6402609 | 2989438 | 2416 2786 | 63 | 86
682.48/682.69 c 681s | 23 | 6417444 | 2997038 | 2416 2792 | 63 | 86
684.58/684.70 c 683s | 23 | 6433617 | 3004738 | 2416 2797 | 63 | 86
686.58/686.71 c 685s | 23 | 6449680 | 3012438 | 2416 2803 | 63 | 86
688.60/688.73 c 687s | 23 | 6467742 | 3020238 | 2416 2809 | 63 | 86
690.58/690.75 c 689s | 23 | 6485902 | 3027938 | 2416 2815 | 63 | 86
692.58/692.75 c 691s | 23 | 6501373 | 3035338 | 2416 2820 | 63 | 86
694.58/694.75 c 693s | 23 | 6515971 | 3042438 | 2416 2826 | 63 | 86
696.58/696.76 c 695s | 23 | 6533698 | 3050438 | 2416 2832 | 63 | 86
698.58/698.78 c 697s | 23 | 6551837 | 3058938 | 2416 2838 | 63 | 86
700.59/700.80 c 699s | 23 | 6570276 | 3067238 | 2416 2844 | 63 | 86
702.68/702.81 c 702s | 23 | 6586409 | 3074938 | 2416 2850 | 63 | 86
704.68/704.83 c 704s | 23 | 6605710 | 3083138 | 2416 2856 | 63 | 86
706.68/706.85 c 706s | 23 | 6623775 | 3091038 | 2416 2862 | 63 | 86
708.68/708.86 c 708s | 23 | 6640180 | 3098738 | 2416 2868 | 63 | 86
710.68/710.87 c 710s | 23 | 6654779 | 3105938 | 2416 2874 | 63 | 86
712.69/712.89 c 712s | 23 | 6671227 | 3113338 | 2416 2879 | 63 | 86
714.77/714.90 c 714s | 23 | 6685302 | 3120238 | 2416 2884 | 63 | 86
716.77/716.92 c 716s | 23 | 6699748 | 3127038 | 2416 2889 | 63 | 86
718.78/718.95 c 718s | 23 | 6713439 | 3133938 | 2416 2895 | 63 | 86
720.78/720.96 c 720s | 23 | 6727358 | 3140538 | 2416 2900 | 63 | 86
722.78/722.98 c 722s | 23 | 6742962 | 3147838 | 2416 2905 | 63 | 86
724.79/724.99 c 724s | 23 | 6758670 | 3154938 | 2416 2910 | 63 | 86
726.88/727.01 c 726s | 23 | 6772252 | 3161138 | 2416 2915 | 63 | 86
728.88/729.01 c 728s | 23 | 6786209 | 3167638 | 2416 2920 | 63 | 86
730.88/731.03 c 730s | 23 | 6799550 | 3173738 | 2416 2925 | 63 | 86
732.87/733.05 c 732s | 23 | 6813747 | 3180238 | 2416 2929 | 63 | 86
734.88/735.05 c 734s | 23 | 6827614 | 3186438 | 2416 2934 | 63 | 86
736.89/737.07 c 736s | 23 | 6840949 | 3192738 | 2416 2939 | 63 | 86
738.87/739.08 c 738s | 23 | 6854180 | 3199038 | 2416 2944 | 63 | 86
740.87/741.09 c 740s | 23 | 6868384 | 3205638 | 2416 2949 | 63 | 86
742.97/743.13 c 742s | 23 | 6882480 | 3212538 | 2416 2954 | 63 | 86
744.97/745.14 c 744s | 23 | 6896207 | 3219138 | 2416 2959 | 63 | 86
746.98/747.15 c 746s | 23 | 6911727 | 3225938 | 2416 2964 | 63 | 86
748.99/749.19 c 748s | 23 | 6925091 | 3232138 | 2416 2968 | 63 | 86
751.07/751.22 c 750s | 23 | 6938498 | 3238538 | 2416 2973 | 63 | 86
753.07/753.22 c 752s | 23 | 6952646 | 3245638 | 2416 2979 | 63 | 86
755.07/755.24 c 754s | 23 | 6971882 | 3254638 | 2416 2985 | 63 | 86
757.07/757.25 c 756s | 23 | 6988792 | 3263238 | 2416 2992 | 63 | 86
759.07/759.26 c 758s | 23 | 7006510 | 3271438 | 2416 2998 | 63 | 86
761.07/761.28 c 760s | 23 | 7025889 | 3279938 | 2416 3004 | 63 | 86
763.06/763.28 c 762s | 23 | 7042216 | 3287838 | 2416 3010 | 63 | 86
765.07/765.29 c 764s | 23 | 7060750 | 3296438 | 2416 3017 | 63 | 86
767.17/767.30 c 766s | 23 | 7077162 | 3304738 | 2416 3023 | 63 | 86
769.16/769.31 c 768s | 23 | 7092410 | 3312638 | 2416 3029 | 63 | 86
771.16/771.32 c 770s | 23 | 7107425 | 3320138 | 2416 3035 | 63 | 86
773.17/773.33 c 772s | 23 | 7124183 | 3328038 | 2416 3041 | 63 | 86
775.16/775.34 c 774s | 23 | 7139359 | 3335638 | 2416 3046 | 63 | 86
777.16/777.36 c 776s | 23 | 7157897 | 3344138 | 2416 3053 | 63 | 86
779.16/779.36 c 778s | 23 | 7178630 | 3352738 | 2658 3059 | 63 | 86
781.15/781.37 c 780s | 23 | 7195874 | 3361138 | 2658 3065 | 63 | 86
783.17/783.38 c 782s | 23 | 7212498 | 3369238 | 2658 3070 | 63 | 86
785.05/785.29 c 784s | 24 | 7228875 | 3376662 | 2658 3075 | 63 | 86
787.16/787.30 c 786s | 24 | 7247823 | 3385162 | 2658 3081 | 63 | 86
789.16/789.30 c 788s | 24 | 7268345 | 3394062 | 2658 3087 | 63 | 86
791.16/791.32 c 790s | 24 | 7289815 | 3403062 | 2658 3093 | 63 | 86
793.15/793.34 c 792s | 24 | 7309257 | 3411762 | 2658 3099 | 63 | 86
795.16/795.34 c 794s | 24 | 7329384 | 3420762 | 2658 3106 | 63 | 86
797.14/797.35 c 796s | 24 | 7348623 | 3429662 | 2658 3112 | 63 | 86
799.15/799.37 c 798s | 24 | 7367337 | 3438462 | 2658 3118 | 63 | 86
801.15/801.38 c 800s | 24 | 7385555 | 3447162 | 2658 3124 | 63 | 86
803.15/803.39 c 802s | 24 | 7400527 | 3454962 | 2658 3129 | 63 | 86
805.25/805.40 c 804s | 24 | 7420270 | 3463862 | 2658 3135 | 63 | 86
807.25/807.41 c 806s | 24 | 7436401 | 3471762 | 2658 3141 | 63 | 86
809.24/809.42 c 808s | 24 | 7454278 | 3480162 | 2658 3147 | 63 | 86
811.25/811.44 c 810s | 24 | 7470444 | 3488062 | 2658 3152 | 63 | 86
813.25/813.45 c 812s | 24 | 7488807 | 3496462 | 2658 3158 | 63 | 86
815.24/815.48 c 814s | 24 | 7506271 | 3504662 | 2658 3164 | 63 | 86
817.25/817.48 c 816s | 24 | 7525802 | 3513562 | 2658 3170 | 63 | 86
819.24/819.49 c 818s | 24 | 7543430 | 3522062 | 2658 3176 | 63 | 86
821.23/821.49 c 820s | 24 | 7561077 | 3530562 | 2658 3181 | 63 | 86
823.24/823.49 c 822s | 24 | 7578994 | 3538962 | 2658 3187 | 63 | 86
825.34/825.51 c 824s | 24 | 7596925 | 3547962 | 2658 3193 | 63 | 86
827.33/827.52 c 826s | 24 | 7612588 | 3556462 | 2658 3199 | 63 | 86
829.34/829.54 c 828s | 24 | 7626998 | 3564762 | 2658 3205 | 63 | 86
831.33/831.55 c 830s | 24 | 7642532 | 3573162 | 2658 3211 | 63 | 86
833.34/833.55 c 832s | 24 | 7657071 | 3581062 | 2658 3216 | 63 | 86
835.34/835.57 c 834s | 24 | 7673715 | 3590062 | 2658 3222 | 63 | 86
837.33/837.58 c 836s | 24 | 7688209 | 3598262 | 2658 3228 | 63 | 86
839.33/839.59 c 838s | 24 | 7703720 | 3606962 | 2658 3234 | 63 | 86
841.34/841.59 c 840s | 24 | 7718710 | 3615662 | 2658 3240 | 63 | 86
843.43/843.60 c 842s | 24 | 7733596 | 3623862 | 2658 3246 | 63 | 86
845.43/845.62 c 844s | 24 | 7748953 | 3632062 | 2658 3251 | 63 | 86
847.42/847.64 c 846s | 24 | 7762357 | 3639662 | 2658 3257 | 63 | 86
849.42/849.66 c 848s | 24 | 7777581 | 3647762 | 2658 3262 | 63 | 86
851.42/851.67 c 850s | 24 | 7791778 | 3655962 | 2658 3268 | 63 | 86
853.43/853.69 c 852s | 24 | 7805898 | 3663962 | 2658 3273 | 63 | 86
855.53/855.70 c 854s | 24 | 7820730 | 3671962 | 2658 3279 | 63 | 86
857.52/857.71 c 856s | 24 | 7833550 | 3679462 | 2658 3284 | 63 | 86
859.52/859.72 c 858s | 24 | 7848897 | 3687662 | 2658 3290 | 63 | 86
861.52/861.73 c 860s | 24 | 7863956 | 3695862 | 2658 3295 | 63 | 86
863.51/863.74 c 862s | 24 | 7877630 | 3703362 | 2658 3301 | 63 | 86
865.52/865.76 c 864s | 24 | 7890876 | 3710962 | 2658 3306 | 63 | 86
867.51/867.77 c 866s | 24 | 7904279 | 3718462 | 2658 3311 | 63 | 86
869.52/869.77 c 868s | 24 | 7917162 | 3725762 | 2658 3316 | 63 | 86
871.51/871.78 c 870s | 24 | 7933579 | 3734162 | 2658 3322 | 63 | 86
873.51/873.80 c 872s | 24 | 7949975 | 3743262 | 2658 3328 | 63 | 86
875.61/875.82 c 875s | 24 | 7965671 | 3752262 | 2658 3334 | 63 | 86
877.62/877.83 c 877s | 24 | 7980643 | 3760662 | 2658 3340 | 63 | 86
879.61/879.83 c 879s | 24 | 7998776 | 3769562 | 2658 3346 | 63 | 86
881.61/881.86 c 881s | 24 | 8014891 | 3778162 | 2658 3352 | 63 | 86
883.61/883.86 c 883s | 24 | 8030754 | 3786662 | 2658 3358 | 63 | 86
885.61/885.88 c 885s | 24 | 8044763 | 3794562 | 2658 3363 | 63 | 86
887.62/887.88 c 887s | 24 | 8060272 | 3802462 | 2658 3369 | 63 | 86
889.61/889.89 c 889s | 24 | 8074027 | 3810262 | 2658 3374 | 63 | 86
891.70/891.90 c 891s | 24 | 8088483 | 3818362 | 2658 3380 | 63 | 86
893.70/893.92 c 893s | 24 | 8103142 | 3826362 | 2658 3385 | 63 | 86
895.70/895.94 c 895s | 24 | 8117433 | 3834662 | 2658 3391 | 63 | 86
897.70/897.95 c 897s | 24 | 8131236 | 3842462 | 2658 3396 | 63 | 86
899.71/899.96 c 899s | 24 | 8145742 | 3850462 | 2658 3402 | 63 | 86
901.70/901.97 c 901s | 24 | 8158052 | 3857662 | 2658 3407 | 63 | 86
903.70/903.98 c 903s | 24 | 8171453 | 3865562 | 2658 3412 | 63 | 86
905.80/906.00 c 905s | 24 | 8185044 | 3873262 | 2658 3418 | 63 | 86
907.79/908.02 c 907s | 24 | 8199284 | 3881062 | 2658 3423 | 63 | 86
909.80/910.02 c 909s | 24 | 8212951 | 3888862 | 2658 3428 | 63 | 86
911.81/912.03 c 911s | 24 | 8226142 | 3896162 | 2658 3433 | 63 | 86
913.79/914.03 c 913s | 24 | 8242392 | 3904462 | 2658 3439 | 63 | 86
915.79/916.03 c 915s | 24 | 8256938 | 3912662 | 2658 3445 | 63 | 86
917.79/918.04 c 917s | 24 | 8271097 | 3920362 | 2658 3450 | 63 | 86
919.79/920.04 c 919s | 24 | 8285096 | 3928262 | 2658 3456 | 63 | 86
921.79/922.06 c 921s | 24 | 8300374 | 3936562 | 2658 3461 | 63 | 86
923.80/924.07 c 923s | 24 | 8314560 | 3944262 | 2658 3467 | 63 | 86
925.79/926.09 c 925s | 24 | 8330711 | 3952762 | 2658 3472 | 63 | 86
927.79/928.09 c 927s | 24 | 8344430 | 3960162 | 2658 3478 | 63 | 86
929.89/930.10 c 929s | 24 | 8359605 | 3968362 | 2658 3483 | 63 | 86
931.89/932.12 c 931s | 24 | 8376410 | 3976862 | 2658 3489 | 63 | 86
933.88/934.12 c 933s | 24 | 8394391 | 3985562 | 2658 3495 | 63 | 86
935.89/936.14 c 935s | 24 | 8413617 | 3994162 | 2658 3501 | 63 | 86
937.88/938.16 c 937s | 24 | 8430213 | 4002662 | 2658 3507 | 63 | 86
939.89/940.16 c 939s | 24 | 8444685 | 4010462 | 2658 3512 | 63 | 86
941.89/942.17 c 941s | 24 | 8458584 | 4017962 | 2658 3517 | 63 | 86
943.89/944.17 c 943s | 24 | 8474002 | 4025762 | 2658 3523 | 63 | 86
945.89/946.17 c 945s | 24 | 8489418 | 4033462 | 2658 3528 | 63 | 86
947.88/948.18 c 947s | 24 | 8506945 | 4042362 | 2658 3534 | 63 | 86
949.98/950.20 c 949s | 24 | 8523164 | 4050462 | 2658 3540 | 63 | 86
951.98/952.22 c 951s | 24 | 8541515 | 4059162 | 2658 3546 | 63 | 86
953.98/954.23 c 953s | 24 | 8558278 | 4067662 | 2658 3552 | 63 | 86
955.98/956.25 c 955s | 24 | 8575355 | 4076262 | 2658 3558 | 63 | 86
957.99/958.26 c 957s | 24 | 8591362 | 4084662 | 2658 3563 | 63 | 86
959.98/960.26 c 959s | 24 | 8606707 | 4092762 | 2658 3569 | 63 | 86
961.98/962.27 c 961s | 24 | 8621613 | 4101162 | 2658 3575 | 63 | 86
963.98/964.29 c 963s | 24 | 8638404 | 4109962 | 2658 3581 | 63 | 86
966.07/966.30 c 965s | 24 | 8656579 | 4118862 | 2658 3587 | 63 | 86
968.07/968.32 c 967s | 24 | 8672439 | 4127462 | 2658 3593 | 63 | 86
970.08/970.33 c 969s | 24 | 8688275 | 4135862 | 2658 3599 | 63 | 86
972.07/972.34 c 971s | 24 | 8705359 | 4144262 | 2658 3604 | 63 | 86
974.07/974.35 c 973s | 24 | 8722864 | 4152662 | 2658 3610 | 63 | 86
976.06/976.36 c 975s | 24 | 8739496 | 4160662 | 2658 3616 | 63 | 86
978.07/978.37 c 977s | 24 | 8753626 | 4168262 | 2658 3621 | 63 | 86
980.07/980.38 c 979s | 24 | 8770869 | 4176562 | 2658 3627 | 63 | 86
982.08/982.38 c 981s | 24 | 8786588 | 4184962 | 2658 3633 | 63 | 86
984.16/984.40 c 983s | 24 | 8800775 | 4192862 | 2658 3638 | 63 | 86
986.16/986.42 c 985s | 24 | 8813456 | 4199962 | 2658 3643 | 63 | 86
988.16/988.43 c 987s | 24 | 8827284 | 4207362 | 2658 3648 | 63 | 86
990.15/990.44 c 989s | 24 | 8841369 | 4214862 | 2658 3653 | 63 | 86
992.16/992.45 c 991s | 24 | 8856097 | 4222462 | 2658 3658 | 63 | 86
994.17/994.49 c 993s | 24 | 8869632 | 4229662 | 2658 3663 | 63 | 86
996.15/996.49 c 995s | 24 | 8883615 | 4237062 | 2658 3668 | 63 | 86
998.25/998.50 c 997s | 24 | 8896862 | 4244362 | 2658 3673 | 63 | 86
1000.25/1000.52 c 999s | 24 | 8910284 | 4251362 | 2658 3678 | 63 | 86
1002.26/1002.53 c 1001s | 24 | 8928884 | 4259962 | 2658 3684 | 63 | 86
1004.26/1004.53 c 1003s | 24 | 8946246 | 4268862 | 2658 3690 | 63 | 86
1006.26/1006.54 c 1005s | 24 | 8962693 | 4277462 | 2658 3696 | 63 | 86
1008.25/1008.56 c 1007s | 24 | 8978361 | 4285362 | 2658 3702 | 63 | 86
1010.25/1010.56 c 1009s | 24 | 8994780 | 4293062 | 2658 3707 | 63 | 86
1012.24/1012.58 c 1011s | 24 | 9013000 | 4301562 | 2658 3713 | 63 | 86
1014.34/1014.60 c 1013s | 24 | 9029763 | 4309662 | 2658 3719 | 63 | 86
1016.34/1016.60 c 1015s | 24 | 9045425 | 4318062 | 2658 3724 | 63 | 86
1018.35/1018.62 c 1017s | 24 | 9058895 | 4325562 | 2658 3729 | 63 | 86
1020.34/1020.63 c 1019s | 24 | 9074747 | 4334162 | 2658 3735 | 63 | 86
1022.34/1022.64 c 1021s | 24 | 9088373 | 4341962 | 2658 3741 | 63 | 86
1024.34/1024.66 c 1023s | 24 | 9103986 | 4350162 | 2658 3746 | 63 | 86
1026.34/1026.68 c 1025s | 24 | 9118833 | 4357962 | 2658 3752 | 63 | 86
1028.35/1028.69 c 1027s | 24 | 9131802 | 4365262 | 2658 3757 | 63 | 86
1030.33/1030.69 c 1029s | 24 | 9144233 | 4372162 | 2658 3762 | 63 | 86
1032.43/1032.71 c 1031s | 24 | 9158746 | 4380062 | 2658 3767 | 63 | 86
1034.44/1034.72 c 1033s | 24 | 9173730 | 4388062 | 2658 3773 | 63 | 86
1036.44/1036.72 c 1035s | 24 | 9187738 | 4395862 | 2658 3778 | 63 | 86
1038.44/1038.73 c 1037s | 24 | 9200975 | 4403162 | 2658 3783 | 63 | 86
1040.45/1040.76 c 1039s | 24 | 9213072 | 4410362 | 2658 3788 | 63 | 86
1042.43/1042.76 c 1041s | 24 | 9228590 | 4418162 | 2658 3793 | 63 | 86
1044.43/1044.76 c 1043s | 24 | 9243104 | 4425762 | 2658 3798 | 63 | 86
1046.43/1046.77 c 1045s | 24 | 9256271 | 4432962 | 2658 3803 | 63 | 86
1048.43/1048.77 c 1047s | 24 | 9273080 | 4441162 | 2658 3809 | 63 | 86
1050.42/1050.77 c 1049s | 24 | 9290088 | 4449462 | 2658 3815 | 63 | 86
1052.43/1052.79 c 1051s | 24 | 9306052 | 4457862 | 2658 3821 | 63 | 86
1054.53/1054.80 c 1054s | 24 | 9323716 | 4465962 | 2658 3826 | 63 | 86
1056.53/1056.82 c 1056s | 24 | 9336137 | 4472462 | 2658 3831 | 63 | 86
1058.53/1058.84 c 1058s | 24 | 9352299 | 4480862 | 2658 3836 | 63 | 86
1060.52/1060.85 c 1060s | 24 | 9369366 | 4489262 | 2658 3842 | 63 | 86
1062.52/1062.87 c 1062s | 24 | 9385118 | 4497162 | 2658 3848 | 63 | 86
1064.54/1064.89 c 1064s | 24 | 9399110 | 4504862 | 2658 3853 | 63 | 86
1066.52/1066.89 c 1066s | 24 | 9413076 | 4512062 | 2658 3858 | 63 | 86
1068.62/1068.91 c 1068s | 24 | 9424995 | 4518662 | 2658 3862 | 63 | 86
1070.62/1070.91 c 1070s | 24 | 9439363 | 4526062 | 2658 3868 | 63 | 86
1072.62/1072.93 c 1072s | 24 | 9454793 | 4534262 | 2658 3873 | 63 | 86
1074.62/1074.95 c 1074s | 24 | 9470231 | 4542262 | 2658 3879 | 63 | 86
1076.62/1076.95 c 1076s | 24 | 9483389 | 4550362 | 2658 3884 | 63 | 86
1078.62/1078.98 c 1078s | 24 | 9497052 | 4557962 | 2658 3890 | 63 | 86
1080.72/1081.00 c 1080s | 24 | 9509124 | 4565462 | 2658 3895 | 63 | 86
1082.72/1083.01 c 1082s | 24 | 9521723 | 4572462 | 2658 3900 | 63 | 86
1084.72/1085.02 c 1084s | 24 | 9534926 | 4579862 | 2658 3905 | 63 | 86
1086.71/1087.03 c 1086s | 24 | 9550452 | 4587562 | 2658 3910 | 63 | 86
1088.72/1089.05 c 1088s | 24 | 9566026 | 4595262 | 2658 3915 | 63 | 86
1090.71/1091.06 c 1090s | 24 | 9580754 | 4602762 | 2658 3920 | 63 | 86
1092.71/1093.06 c 1092s | 24 | 9593500 | 4609762 | 2658 3925 | 63 | 86
1094.71/1095.09 c 1094s | 24 | 9605846 | 4616662 | 2658 3930 | 63 | 86
1096.80/1097.14 c 1096s | 24 | 9617447 | 4623262 | 2658 3935 | 63 | 86
1098.80/1099.19 c 1098s | 24 | 9628826 | 4629562 | 2658 3939 | 63 | 86
1100.81/1101.21 c 1100s | 24 | 9642545 | 4636362 | 2658 3944 | 63 | 86
1102.90/1103.23 c 1102s | 24 | 9655503 | 4643062 | 2658 3948 | 63 | 86
1104.90/1105.25 c 1104s | 24 | 9667255 | 4649362 | 2658 3953 | 63 | 86
1106.90/1107.27 c 1106s | 24 | 9679145 | 4655862 | 2658 3957 | 63 | 86
1108.90/1109.29 c 1108s | 24 | 9692383 | 4662562 | 2658 3962 | 63 | 86
1111.00/1111.31 c 1110s | 24 | 9705632 | 4669962 | 2658 3967 | 63 | 86
1113.01/1113.32 c 1112s | 24 | 9723092 | 4678662 | 2658 3973 | 63 | 86
1115.00/1115.32 c 1114s | 24 | 9739380 | 4687162 | 2658 3979 | 63 | 86
1116.99/1117.35 c 1116s | 24 | 9755571 | 4695762 | 2658 3985 | 63 | 86
1118.99/1119.35 c 1118s | 24 | 9770849 | 4703662 | 2658 3990 | 63 | 86
1120.99/1121.37 c 1120s | 24 | 9784232 | 4711062 | 2658 3995 | 63 | 86
1122.99/1123.38 c 1122s | 24 | 9798754 | 4719062 | 2658 4001 | 63 | 86
1125.01/1125.39 c 1124s | 24 | 9814135 | 4727162 | 2658 4006 | 63 | 86
1127.09/1127.41 c 1126s | 24 | 9827344 | 4734462 | 2658 4011 | 63 | 86
1129.09/1129.43 c 1128s | 24 | 9844084 | 4742362 | 2658 4017 | 63 | 86
1131.09/1131.44 c 1130s | 24 | 9858259 | 4750062 | 2658 4022 | 63 | 86
1133.08/1133.44 c 1132s | 24 | 9871445 | 4757662 | 2658 4027 | 63 | 86
1135.08/1135.44 c 1134s | 24 | 9883177 | 4764562 | 2658 4032 | 63 | 86
1137.09/1137.46 c 1136s | 24 | 9893487 | 4771062 | 2658 4036 | 63 | 86
1139.08/1139.48 c 1138s | 24 | 9906339 | 4778462 | 2658 4041 | 63 | 86
1141.19/1141.51 c 1140s | 24 | 9919708 | 4785762 | 2658 4047 | 63 | 86
1143.19/1143.52 c 1142s | 24 | 9932713 | 4792862 | 2658 4051 | 63 | 86
1145.19/1145.52 c 1144s | 24 | 9946279 | 4799962 | 2658 4056 | 63 | 86
1147.18/1147.54 c 1146s | 24 | 9961290 | 4807862 | 2658 4062 | 63 | 86
1149.19/1149.55 c 1148s | 24 | 9976749 | 4815962 | 2658 4067 | 63 | 86
1151.18/1151.59 c 1150s | 24 | 9990091 | 4823562 | 2658 4073 | 63 | 86
1153.28/1153.60 c 1152s | 24 | 10007020 | 4831662 | 2658 4078 | 63 | 86
1155.28/1155.61 c 1154s | 24 | 10023555 | 4839762 | 2658 4084 | 63 | 86
1157.27/1157.63 c 1156s | 24 | 10040466 | 4848562 | 2658 4090 | 63 | 86
1159.27/1159.64 c 1158s | 24 | 10055341 | 4857062 | 2658 4096 | 63 | 86
1161.28/1161.64 c 1160s | 24 | 10071790 | 4866062 | 2658 4102 | 63 | 86
1163.28/1163.65 c 1162s | 24 | 10086721 | 4874662 | 2658 4108 | 63 | 86
1165.27/1165.67 c 1164s | 24 | 10100264 | 4883162 | 2658 4114 | 63 | 86
1167.27/1167.68 c 1166s | 24 | 10114672 | 4891562 | 2658 4119 | 63 | 86
1169.37/1169.70 c 1168s | 24 | 10129864 | 4899562 | 2658 4125 | 63 | 86
1171.37/1171.72 c 1170s | 24 | 10145598 | 4908062 | 2658 4131 | 63 | 86
1173.37/1173.74 c 1172s | 24 | 10163690 | 4916762 | 2658 4137 | 63 | 86
1175.36/1175.75 c 1174s | 24 | 10178614 | 4924762 | 2658 4142 | 63 | 86
1177.36/1177.78 c 1176s | 24 | 10192533 | 4932462 | 2658 4148 | 63 | 86
1179.46/1179.80 c 1178s | 24 | 10206181 | 4939862 | 2658 4153 | 63 | 86
1181.46/1181.82 c 1181s | 24 | 10222350 | 4947962 | 2658 4158 | 63 | 86
1183.46/1183.84 c 1183s | 24 | 10236458 | 4955962 | 2658 4164 | 63 | 86
1185.47/1185.84 c 1185s | 24 | 10249255 | 4963162 | 2658 4169 | 63 | 86
1187.46/1187.87 c 1187s | 24 | 10261165 | 4970162 | 2658 4174 | 63 | 86
1189.46/1189.87 c 1189s | 24 | 10276512 | 4977962 | 2658 4179 | 63 | 86
1191.45/1191.88 c 1191s | 24 | 10288553 | 4984762 | 2658 4184 | 63 | 86
1193.45/1193.88 c 1193s | 24 | 10299327 | 4991162 | 2658 4188 | 63 | 86
1195.46/1195.89 c 1195s | 24 | 10312043 | 4998162 | 2658 4193 | 63 | 86
1197.45/1197.89 c 1197s | 24 | 10325914 | 5005462 | 2658 4198 | 63 | 86
1199.56/1199.92 c 1199s | 24 | 10339464 | 5012562 | 2658 4203 | 63 | 86
1201.56/1201.93 c 1201s | 24 | 10351712 | 5019162 | 2658 4207 | 63 | 86
1203.56/1203.93 c 1203s | 24 | 10364138 | 5025362 | 2924 4211 | 63 | 86
1205.55/1205.96 c 1205s | 24 | 10379025 | 5033462 | 2924 4217 | 63 | 86
1207.56/1207.97 c 1207s | 24 | 10394020 | 5041362 | 2924 4222 | 63 | 86
1209.55/1209.98 c 1209s | 24 | 10406949 | 5048662 | 2924 4226 | 63 | 86
1211.55/1211.99 c 1211s | 24 | 10420673 | 5056062 | 2924 4231 | 63 | 86
1213.54/1213.99 c 1213s | 24 | 10432652 | 5063062 | 2924 4235 | 63 | 86
1214.15/1214.54 c 1213s | 25 | 10436270 | 5065098 | 2924 4237 | 63 | 86
1216.15/1216.55 c 1215s | 25 | 10454642 | 5073998 | 2924 4242 | 63 | 86
1218.14/1218.55 c 1217s | 25 | 10471939 | 5082798 | 2924 4248 | 63 | 86
1220.24/1220.62 c 1219s | 25 | 10489278 | 5091798 | 2924 4253 | 63 | 86
1222.24/1222.62 c 1221s | 25 | 10505760 | 5100498 | 2924 4259 | 63 | 86
1224.24/1224.64 c 1223s | 25 | 10522085 | 5108998 | 2924 4264 | 63 | 86
1226.25/1226.65 c 1225s | 25 | 10538299 | 5117198 | 2924 4269 | 63 | 86
1228.24/1228.67 c 1227s | 25 | 10554042 | 5125298 | 2924 4275 | 63 | 86
1230.24/1230.67 c 1229s | 25 | 10571398 | 5133898 | 2924 4280 | 63 | 86
1232.23/1232.68 c 1231s | 25 | 10588887 | 5142598 | 2924 4285 | 63 | 86
1234.23/1234.69 c 1233s | 25 | 10605013 | 5150798 | 2924 4291 | 63 | 86
1236.33/1236.71 c 1235s | 25 | 10620458 | 5159198 | 2924 4296 | 63 | 86
1238.34/1238.72 c 1237s | 25 | 10636867 | 5167698 | 2924 4301 | 63 | 86
1240.33/1240.73 c 1239s | 25 | 10656352 | 5176098 | 2924 4307 | 63 | 86
1242.32/1242.74 c 1241s | 25 | 10673988 | 5184798 | 2924 4312 | 63 | 86
1244.32/1244.77 c 1243s | 25 | 10690812 | 5193498 | 2924 4318 | 63 | 86
1246.33/1246.77 c 1245s | 25 | 10708736 | 5201898 | 2924 4323 | 63 | 86
1248.33/1248.77 c 1247s | 25 | 10724335 | 5209998 | 2924 4328 | 63 | 86
1250.34/1250.79 c 1249s | 25 | 10742231 | 5218198 | 2924 4333 | 63 | 86
1252.42/1252.80 c 1252s | 25 | 10761559 | 5226698 | 2924 4339 | 63 | 86
1254.42/1254.81 c 1254s | 25 | 10779282 | 5235198 | 2924 4344 | 63 | 86
1256.42/1256.83 c 1256s | 25 | 10793924 | 5243398 | 2924 4349 | 63 | 86
1258.41/1258.85 c 1258s | 25 | 10807353 | 5251098 | 2924 4354 | 63 | 86
1260.41/1260.86 c 1260s | 25 | 10823297 | 5259698 | 2924 4360 | 63 | 86
1262.43/1262.88 c 1262s | 25 | 10841814 | 5268198 | 2924 4365 | 63 | 86
1264.42/1264.90 c 1264s | 25 | 10857928 | 5276298 | 2924 4370 | 63 | 86
1266.52/1266.90 c 1266s | 25 | 10875827 | 5284998 | 2924 4376 | 63 | 86
1268.51/1268.92 c 1268s | 25 | 10891649 | 5293298 | 2924 4381 | 63 | 86
1270.51/1270.95 c 1270s | 25 | 10905227 | 5301098 | 2924 4386 | 63 | 86
1272.51/1272.95 c 1272s | 25 | 10918212 | 5308998 | 2924 4391 | 63 | 86
1274.53/1274.97 c 1274s | 25 | 10933822 | 5317398 | 2924 4396 | 63 | 86
1276.51/1276.97 c 1276s | 25 | 10949142 | 5325798 | 2924 4401 | 63 | 86
1278.61/1279.00 c 1278s | 25 | 10964160 | 5333398 | 2924 4406 | 63 | 86
1280.61/1281.02 c 1280s | 25 | 10980876 | 5341198 | 2924 4411 | 63 | 86
1282.61/1283.04 c 1282s | 25 | 10994290 | 5349198 | 2924 4416 | 63 | 86
1284.61/1285.06 c 1284s | 25 | 11006674 | 5356798 | 2924 4421 | 63 | 86
1286.61/1287.06 c 1286s | 25 | 11019413 | 5364098 | 2924 4426 | 63 | 86
1288.60/1289.09 c 1288s | 25 | 11031824 | 5371398 | 2924 4430 | 63 | 86
1290.70/1291.11 c 1290s | 25 | 11045291 | 5379098 | 2924 4435 | 63 | 86
1292.70/1293.12 c 1292s | 25 | 11056071 | 5385798 | 2924 4439 | 63 | 86
1294.70/1295.13 c 1294s | 25 | 11066542 | 5392098 | 2924 4443 | 63 | 86
1296.70/1297.14 c 1296s | 25 | 11082545 | 5399698 | 2924 4448 | 63 | 86
1298.71/1299.15 c 1298s | 25 | 11098392 | 5407598 | 2924 4453 | 63 | 86
1300.70/1301.15 c 1300s | 25 | 11111672 | 5415098 | 2924 4458 | 63 | 86
1302.70/1303.17 c 1302s | 25 | 11125181 | 5422398 | 2924 4462 | 63 | 86
1304.70/1305.17 c 1304s | 25 | 11138203 | 5429898 | 2924 4467 | 63 | 86
1306.69/1307.18 c 1306s | 25 | 11149817 | 5436798 | 2924 4472 | 63 | 86
1308.80/1309.20 c 1308s | 25 | 11161319 | 5443898 | 2924 4476 | 63 | 86
1310.81/1311.21 c 1310s | 25 | 11172586 | 5450598 | 2924 4480 | 63 | 86
1312.80/1313.22 c 1312s | 25 | 11184450 | 5457498 | 2924 4485 | 63 | 86
1314.80/1315.24 c 1314s | 25 | 11196440 | 5464798 | 2924 4489 | 63 | 86
1316.79/1317.25 c 1316s | 25 | 11209995 | 5471898 | 2924 4494 | 63 | 86
1318.79/1319.27 c 1318s | 25 | 11222550 | 5479098 | 2924 4498 | 63 | 86
1320.89/1321.30 c 1320s | 25 | 11233504 | 5485898 | 2924 4503 | 63 | 86
1322.90/1323.31 c 1322s | 25 | 11246162 | 5493598 | 2924 4507 | 63 | 86
1324.89/1325.33 c 1324s | 25 | 11259176 | 5501098 | 2924 4512 | 63 | 86
1326.88/1327.35 c 1326s | 25 | 11272064 | 5508898 | 2924 4517 | 63 | 86
1328.88/1329.36 c 1328s | 25 | 11286434 | 5517098 | 2924 4522 | 63 | 86
1330.89/1331.37 c 1330s | 25 | 11303314 | 5525598 | 2924 4528 | 63 | 86
1332.89/1333.38 c 1332s | 25 | 11318746 | 5534098 | 2924 4533 | 63 | 86
1334.88/1335.38 c 1334s | 25 | 11334964 | 5542298 | 2924 4538 | 63 | 86
1336.98/1337.42 c 1336s | 25 | 11349803 | 5549998 | 2924 4543 | 63 | 86
1338.98/1339.44 c 1338s | 25 | 11368159 | 5558598 | 2924 4549 | 63 | 86
1340.97/1341.48 c 1340s | 25 | 11384363 | 5566498 | 2924 4554 | 63 | 86
1342.97/1343.49 c 1342s | 25 | 11398691 | 5574098 | 2924 4558 | 63 | 86
1345.08/1345.51 c 1344s | 25 | 11415795 | 5582198 | 2924 4563 | 63 | 86
1347.08/1347.52 c 1346s | 25 | 11432728 | 5590698 | 2924 4569 | 63 | 86
1349.08/1349.53 c 1348s | 25 | 11448517 | 5598898 | 2924 4574 | 63 | 86
1351.08/1351.55 c 1350s | 25 | 11465678 | 5606998 | 2924 4579 | 63 | 86
1353.07/1353.56 c 1352s | 25 | 11482285 | 5614498 | 2924 4584 | 63 | 86
1355.07/1355.58 c 1354s | 25 | 11498505 | 5622298 | 2924 4589 | 63 | 86
1357.07/1357.58 c 1356s | 25 | 11513044 | 5629998 | 2924 4594 | 63 | 86
1359.17/1359.61 c 1358s | 25 | 11526328 | 5637298 | 2924 4598 | 63 | 86
1361.16/1361.63 c 1360s | 25 | 11539412 | 5644098 | 2924 4603 | 63 | 86
1363.16/1363.65 c 1362s | 25 | 11553246 | 5651498 | 2924 4607 | 63 | 86
1365.16/1365.66 c 1364s | 25 | 11567362 | 5659098 | 2924 4612 | 63 | 86
1367.15/1367.66 c 1366s | 25 | 11581098 | 5666298 | 2924 4617 | 63 | 86
1369.17/1369.67 c 1368s | 25 | 11595047 | 5673298 | 2924 4621 | 63 | 86
1371.16/1371.68 c 1370s | 25 | 11610191 | 5680598 | 2924 4626 | 63 | 86
1373.16/1373.69 c 1372s | 25 | 11626047 | 5688898 | 2924 4631 | 63 | 86
1375.16/1375.69 c 1374s | 25 | 11641187 | 5696898 | 2924 4636 | 63 | 86
1377.26/1377.71 c 1376s | 25 | 11658361 | 5705098 | 2924 4641 | 63 | 86
1379.26/1379.73 c 1378s | 25 | 11672488 | 5712698 | 2924 4646 | 63 | 86
1381.27/1381.74 c 1380s | 25 | 11686104 | 5720398 | 2924 4651 | 63 | 86
1383.26/1383.75 c 1382s | 25 | 11701021 | 5728598 | 2924 4656 | 63 | 86
1385.26/1385.75 c 1384s | 25 | 11713623 | 5736298 | 2924 4661 | 63 | 86
1387.25/1387.76 c 1386s | 25 | 11728713 | 5744598 | 2924 4666 | 63 | 86
1389.25/1389.77 c 1388s | 25 | 11741388 | 5752398 | 2924 4671 | 63 | 86
1391.35/1391.80 c 1391s | 25 | 11755765 | 5760598 | 2924 4676 | 63 | 86
1393.36/1393.82 c 1393s | 25 | 11771004 | 5768498 | 2924 4681 | 63 | 86
1395.35/1395.85 c 1395s | 25 | 11785468 | 5776298 | 2924 4686 | 63 | 86
1397.35/1397.86 c 1397s | 25 | 11799134 | 5783698 | 2924 4691 | 63 | 86
1399.35/1399.87 c 1399s | 25 | 11812909 | 5791198 | 2924 4696 | 63 | 86
1401.35/1401.88 c 1401s | 25 | 11829118 | 5799698 | 2924 4701 | 63 | 86
1403.35/1403.88 c 1403s | 25 | 11846877 | 5808198 | 2924 4706 | 63 | 86
1405.35/1405.89 c 1405s | 25 | 11866223 | 5817498 | 2924 4712 | 63 | 86
1407.45/1407.90 c 1407s | 25 | 11880520 | 5825398 | 2924 4717 | 63 | 86
1409.44/1409.91 c 1409s | 25 | 11896728 | 5833898 | 2924 4723 | 63 | 86
1411.44/1411.93 c 1411s | 25 | 11912755 | 5842298 | 2924 4728 | 63 | 86
1413.44/1413.93 c 1413s | 25 | 11928133 | 5850398 | 2924 4733 | 63 | 86
1415.45/1415.94 c 1415s | 25 | 11943820 | 5858998 | 2924 4739 | 63 | 86
1417.46/1417.96 c 1417s | 25 | 11960354 | 5867898 | 2924 4744 | 63 | 86
1419.44/1419.97 c 1419s | 25 | 11976267 | 5876298 | 2924 4749 | 63 | 86
1421.44/1421.99 c 1421s | 25 | 11992933 | 5884698 | 2924 4755 | 63 | 86
1423.44/1423.99 c 1423s | 25 | 12005875 | 5892698 | 2924 4760 | 63 | 86
1425.54/1426.00 c 1425s | 25 | 12018434 | 5900098 | 2924 4765 | 63 | 86
1427.54/1428.02 c 1427s | 25 | 12030490 | 5907398 | 2924 4769 | 63 | 86
1429.56/1430.03 c 1429s | 25 | 12044338 | 5915198 | 2924 4774 | 63 | 86
1431.55/1432.04 c 1431s | 25 | 12060304 | 5923498 | 2924 4779 | 63 | 86
1433.55/1434.06 c 1433s | 25 | 12075755 | 5931598 | 2924 4784 | 63 | 86
1435.54/1436.08 c 1435s | 25 | 12090568 | 5939398 | 2924 4789 | 63 | 86
1437.54/1438.09 c 1437s | 25 | 12105249 | 5947398 | 2924 4794 | 63 | 86
1439.55/1440.09 c 1439s | 25 | 12120583 | 5955598 | 2924 4800 | 63 | 86
1441.54/1442.10 c 1441s | 25 | 12137902 | 5963798 | 2924 4805 | 63 | 86
1443.64/1444.10 c 1443s | 25 | 12153612 | 5971398 | 2924 4810 | 63 | 86
1445.64/1446.12 c 1445s | 25 | 12169038 | 5978998 | 2924 4814 | 63 | 86
1447.64/1448.15 c 1447s | 25 | 12182712 | 5986098 | 2924 4819 | 63 | 86
1449.63/1450.15 c 1449s | 25 | 12198782 | 5994398 | 2924 4824 | 63 | 86
1451.64/1452.17 c 1451s | 25 | 12214102 | 6002798 | 2924 4829 | 63 | 86
1453.64/1454.19 c 1453s | 25 | 12230558 | 6011598 | 2924 4835 | 63 | 86
1455.74/1456.20 c 1455s | 25 | 12245366 | 6019498 | 2924 4840 | 63 | 86
1457.74/1458.25 c 1457s | 25 | 12258793 | 6027098 | 2924 4845 | 63 | 86
1459.74/1460.26 c 1459s | 25 | 12273692 | 6035398 | 2924 4850 | 63 | 86
1461.74/1462.28 c 1461s | 25 | 12287976 | 6043498 | 2924 4855 | 63 | 86
1463.75/1464.29 c 1463s | 25 | 12302407 | 6051598 | 2924 4860 | 63 | 86
1465.74/1466.29 c 1465s | 25 | 12316664 | 6060098 | 2924 4866 | 63 | 86
1467.84/1468.33 c 1467s | 25 | 12331876 | 6068698 | 2924 4871 | 63 | 86
1469.83/1470.34 c 1469s | 25 | 12345574 | 6077098 | 2924 4876 | 63 | 86
1471.83/1472.35 c 1471s | 25 | 12357388 | 6084798 | 2924 4881 | 63 | 86
1473.83/1474.38 c 1473s | 25 | 12372972 | 6093598 | 2924 4887 | 63 | 86
1475.84/1476.38 c 1475s | 25 | 12386374 | 6101898 | 2924 4892 | 63 | 86
1477.83/1478.38 c 1477s | 25 | 12401523 | 6110398 | 2924 4897 | 63 | 86
1479.84/1480.40 c 1479s | 25 | 12415783 | 6118898 | 2924 4903 | 63 | 86
1481.93/1482.40 c 1481s | 25 | 12429054 | 6126798 | 2924 4908 | 63 | 86
1483.93/1484.40 c 1483s | 25 | 12441261 | 6134498 | 2924 4913 | 63 | 86
1485.93/1486.42 c 1485s | 25 | 12452658 | 6141998 | 2924 4917 | 63 | 86
1487.94/1488.46 c 1487s | 25 | 12466396 | 6150298 | 2924 4923 | 63 | 86
1489.93/1490.46 c 1489s | 25 | 12481618 | 6158898 | 2924 4928 | 63 | 86
1491.94/1492.48 c 1491s | 25 | 12497772 | 6167598 | 2924 4933 | 63 | 86
1493.94/1494.49 c 1493s | 25 | 12513993 | 6176298 | 2924 4939 | 63 | 86
1496.03/1496.51 c 1495s | 25 | 12528864 | 6184398 | 2924 4944 | 63 | 86
1498.03/1498.53 c 1497s | 25 | 12543291 | 6192498 | 2924 4949 | 63 | 86
1500.04/1500.54 c 1499s | 25 | 12559523 | 6200898 | 2924 4955 | 63 | 86
1502.03/1502.56 c 1501s | 25 | 12573611 | 6209098 | 2924 4960 | 63 | 86
1504.03/1504.56 c 1503s | 25 | 12586938 | 6216598 | 2924 4964 | 63 | 86
1506.03/1506.56 c 1505s | 25 | 12601328 | 6224498 | 2924 4969 | 63 | 86
1508.13/1508.60 c 1507s | 25 | 12615918 | 6232498 | 2924 4975 | 63 | 86
1510.13/1510.60 c 1509s | 25 | 12632402 | 6240898 | 2924 4980 | 63 | 86
1512.03/1512.60 c 1511s | 25 | 12648740 | 6249098 | 2924 4985 | 63 | 86
1514.13/1514.61 c 1513s | 25 | 12666560 | 6257798 | 2924 4991 | 63 | 86
1516.13/1516.62 c 1515s | 25 | 12684074 | 6266098 | 2924 4996 | 63 | 86
1518.13/1518.64 c 1517s | 25 | 12701344 | 6274598 | 2924 5001 | 63 | 86
1520.13/1520.65 c 1519s | 25 | 12716166 | 6282498 | 2924 5006 | 63 | 86
1522.12/1522.65 c 1521s | 25 | 12731985 | 6290698 | 2924 5011 | 63 | 86
1524.14/1524.66 c 1523s | 25 | 12750100 | 6299598 | 2924 5017 | 63 | 86
1526.23/1526.70 c 1525s | 25 | 12766158 | 6308298 | 2924 5023 | 63 | 86
1528.22/1528.71 c 1527s | 25 | 12782948 | 6317198 | 2924 5028 | 63 | 86
1530.22/1530.71 c 1529s | 25 | 12797113 | 6324798 | 2924 5033 | 63 | 86
1532.22/1532.72 c 1531s | 25 | 12811995 | 6332498 | 2924 5038 | 63 | 86
1534.23/1534.74 c 1533s | 25 | 12824548 | 6339798 | 2924 5042 | 63 | 86
1536.24/1536.75 c 1535s | 25 | 12837335 | 6347398 | 2924 5047 | 63 | 86
1538.22/1538.77 c 1537s | 25 | 12850218 | 6354998 | 2924 5052 | 63 | 86
1540.22/1540.79 c 1539s | 25 | 12863159 | 6362598 | 2924 5057 | 63 | 86
1542.32/1542.80 c 1541s | 25 | 12874302 | 6369398 | 2924 5061 | 63 | 86
1544.33/1544.82 c 1544s | 25 | 12888311 | 6376698 | 2924 5066 | 63 | 86
1546.33/1546.85 c 1546s | 25 | 12901224 | 6384198 | 2924 5071 | 63 | 86
1548.34/1548.89 c 1548s | 25 | 12914286 | 6391598 | 2924 5075 | 63 | 86
1550.33/1550.89 c 1550s | 25 | 12928749 | 6399298 | 2924 5080 | 63 | 86
1552.43/1552.90 c 1552s | 25 | 12942777 | 6406698 | 2924 5085 | 63 | 86
1554.42/1554.91 c 1554s | 25 | 12955201 | 6413998 | 2924 5089 | 63 | 86
1556.42/1556.93 c 1556s | 25 | 12969581 | 6421898 | 2924 5094 | 63 | 86
1558.42/1558.95 c 1558s | 25 | 12982779 | 6429098 | 2924 5099 | 63 | 86
1560.43/1560.96 c 1560s | 25 | 12996047 | 6436398 | 2924 5104 | 63 | 86
1562.42/1562.98 c 1562s | 25 | 13007824 | 6443098 | 2924 5108 | 63 | 86
1564.42/1564.98 c 1564s | 25 | 13019992 | 6450098 | 2924 5112 | 63 | 86
1566.52/1567.00 c 1566s | 25 | 13032670 | 6457198 | 2924 5117 | 63 | 86
1568.52/1569.03 c 1568s | 25 | 13046605 | 6464698 | 2924 5121 | 63 | 86
1570.52/1571.04 c 1570s | 25 | 13060799 | 6471698 | 2924 5126 | 63 | 86
1572.53/1573.05 c 1572s | 25 | 13072390 | 6478298 | 2924 5130 | 63 | 86
1574.52/1575.08 c 1574s | 25 | 13084138 | 6485098 | 2924 5134 | 63 | 86
1576.62/1577.10 c 1576s | 25 | 13095766 | 6491698 | 2924 5139 | 63 | 86
1578.62/1579.12 c 1578s | 25 | 13112136 | 6499998 | 2924 5144 | 63 | 86
1580.62/1581.13 c 1580s | 25 | 13127292 | 6508098 | 2924 5149 | 63 | 86
1582.61/1583.13 c 1582s | 25 | 13144482 | 6516498 | 2924 5154 | 63 | 86
1584.63/1585.15 c 1584s | 25 | 13162339 | 6524998 | 2924 5160 | 63 | 86
1586.62/1587.15 c 1586s | 25 | 13176745 | 6532498 | 2924 5164 | 63 | 86
1588.62/1589.16 c 1588s | 25 | 13189260 | 6539598 | 2924 5169 | 63 | 86
1590.61/1591.18 c 1590s | 25 | 13201796 | 6546898 | 2924 5173 | 63 | 86
1592.61/1593.18 c 1592s | 25 | 13216336 | 6554798 | 2924 5178 | 63 | 86
1594.62/1595.19 c 1594s | 25 | 13231524 | 6562398 | 2924 5183 | 63 | 86
1596.62/1597.20 c 1596s | 25 | 13245845 | 6569598 | 2924 5188 | 63 | 86
1598.72/1599.21 c 1598s | 25 | 13258273 | 6576398 | 2924 5192 | 63 | 86
1600.72/1601.22 c 1600s | 25 | 13272576 | 6583698 | 2924 5197 | 63 | 86
1602.72/1603.23 c 1602s | 25 | 13288855 | 6591698 | 2924 5202 | 63 | 86
1604.72/1605.24 c 1604s | 25 | 13302142 | 6598798 | 2924 5206 | 63 | 86
1606.72/1607.26 c 1606s | 25 | 13316259 | 6606098 | 2924 5211 | 63 | 86
1608.71/1609.26 c 1608s | 25 | 13329256 | 6613398 | 2924 5216 | 63 | 86
1610.71/1611.28 c 1610s | 25 | 13342480 | 6620498 | 2924 5220 | 63 | 86
1612.71/1613.29 c 1612s | 25 | 13355833 | 6627098 | 2924 5224 | 63 | 86
1614.82/1615.31 c 1614s | 25 | 13372063 | 6634998 | 2924 5229 | 63 | 86
1616.81/1617.33 c 1616s | 25 | 13387245 | 6643398 | 2924 5235 | 63 | 86
1618.82/1619.34 c 1618s | 25 | 13401697 | 6650998 | 2924 5239 | 63 | 86
1620.81/1621.36 c 1620s | 25 | 13416669 | 6658998 | 2924 5244 | 63 | 86
1622.82/1623.37 c 1622s | 25 | 13431990 | 6666798 | 2924 5249 | 63 | 86
1624.82/1625.38 c 1624s | 25 | 13447526 | 6674798 | 2924 5254 | 63 | 86
1626.91/1627.40 c 1626s | 25 | 13464246 | 6683198 | 2924 5260 | 63 | 86
1628.91/1629.41 c 1628s | 25 | 13482989 | 6692098 | 2924 5265 | 63 | 86
1630.92/1631.41 c 1630s | 25 | 13501511 | 6700398 | 2924 5271 | 63 | 86
1632.91/1633.43 c 1632s | 25 | 13522506 | 6708998 | 2924 5276 | 63 | 86
1634.91/1635.43 c 1634s | 25 | 13539797 | 6717498 | 2924 5281 | 63 | 86
1636.91/1637.46 c 1636s | 25 | 13556562 | 6726198 | 2924 5287 | 63 | 86
1638.91/1639.47 c 1638s | 25 | 13575075 | 6735098 | 2924 5293 | 63 | 86
1640.91/1641.47 c 1640s | 25 | 13589156 | 6743198 | 2924 5298 | 63 | 86
1642.92/1643.47 c 1642s | 25 | 13605713 | 6751498 | 2924 5303 | 63 | 86
1644.91/1645.49 c 1644s | 25 | 13621737 | 6759798 | 2924 5308 | 63 | 86
1647.01/1647.51 c 1646s | 25 | 13637630 | 6768198 | 2924 5313 | 63 | 86
1649.01/1649.53 c 1648s | 25 | 13651834 | 6776298 | 2924 5319 | 63 | 86
1651.01/1651.54 c 1650s | 25 | 13666989 | 6784698 | 2924 5324 | 63 | 86
1653.00/1653.54 c 1652s | 25 | 13679714 | 6792398 | 2924 5329 | 63 | 86
1655.01/1655.57 c 1654s | 25 | 13692997 | 6800398 | 2924 5334 | 63 | 86
1657.00/1657.57 c 1656s | 25 | 13705169 | 6807698 | 2924 5338 | 63 | 86
1659.00/1659.57 c 1658s | 25 | 13719748 | 6815298 | 2924 5343 | 63 | 86
1661.01/1661.60 c 1660s | 25 | 13732843 | 6822798 | 2924 5348 | 63 | 86
1663.11/1663.60 c 1662s | 25 | 13744824 | 6829898 | 2924 5352 | 63 | 86
1665.10/1665.62 c 1664s | 25 | 13757155 | 6837298 | 2924 5357 | 63 | 86
1667.11/1667.63 c 1666s | 25 | 13770614 | 6844798 | 2924 5362 | 63 | 86
1669.10/1669.65 c 1668s | 25 | 13782801 | 6851998 | 2924 5366 | 63 | 86
1671.11/1671.67 c 1670s | 25 | 13796153 | 6859598 | 2924 5371 | 63 | 86
1673.21/1673.70 c 1672s | 25 | 13812564 | 6868298 | 2924 5377 | 63 | 86
1675.21/1675.73 c 1674s | 25 | 13825705 | 6875898 | 2924 5382 | 63 | 86
1677.21/1677.75 c 1676s | 25 | 13839687 | 6883498 | 2924 5386 | 63 | 86
1679.21/1679.76 c 1678s | 25 | 13854462 | 6891298 | 2924 5391 | 63 | 86
1681.20/1681.77 c 1680s | 25 | 13869812 | 6899198 | 2924 5396 | 63 | 86
1683.20/1683.78 c 1682s | 25 | 13882744 | 6906598 | 2924 5401 | 63 | 86
1685.20/1685.78 c 1684s | 25 | 13897540 | 6914398 | 2924 5406 | 63 | 86
1687.20/1687.78 c 1686s | 25 | 13912649 | 6922298 | 2924 5411 | 63 | 86
1689.30/1689.80 c 1689s | 25 | 13926915 | 6929798 | 2924 5416 | 63 | 86
1691.32/1691.84 c 1691s | 25 | 13938951 | 6936798 | 2924 5420 | 63 | 86
1693.30/1693.86 c 1693s | 25 | 13949978 | 6943398 | 2924 5424 | 63 | 86
1695.30/1695.88 c 1695s | 25 | 13963698 | 6950398 | 2924 5429 | 63 | 86
1697.30/1697.89 c 1697s | 25 | 13978092 | 6958098 | 2924 5434 | 63 | 86
1699.40/1699.90 c 1699s | 25 | 13991573 | 6965998 | 2924 5439 | 63 | 86
1701.40/1701.93 c 1701s | 25 | 14005142 | 6973498 | 2924 5443 | 63 | 86
1703.41/1703.94 c 1703s | 25 | 14018109 | 6980498 | 2924 5448 | 63 | 86
1705.39/1705.96 c 1705s | 25 | 14030818 | 6987498 | 2924 5452 | 63 | 86
1707.40/1707.97 c 1707s | 25 | 14044977 | 6995398 | 2924 5457 | 63 | 86
1709.40/1709.99 c 1709s | 25 | 14058530 | 7002698 | 2924 5462 | 63 | 86
1711.50/1712.00 c 1711s | 25 | 14071207 | 7010198 | 2924 5467 | 63 | 86
1713.50/1714.01 c 1713s | 25 | 14083289 | 7017098 | 2924 5471 | 63 | 86
1715.50/1716.02 c 1715s | 25 | 14093997 | 7023598 | 2924 5475 | 63 | 86
1717.49/1718.03 c 1717s | 25 | 14104809 | 7030798 | 2924 5480 | 63 | 86
1719.50/1720.06 c 1719s | 25 | 14117575 | 7038698 | 2924 5485 | 63 | 86
1721.50/1722.06 c 1721s | 25 | 14130992 | 7046698 | 2924 5490 | 63 | 86
1723.50/1724.06 c 1723s | 25 | 14144414 | 7054598 | 2924 5495 | 63 | 86
1725.59/1726.10 c 1725s | 25 | 14157480 | 7062498 | 2924 5500 | 63 | 86
1727.60/1728.11 c 1727s | 25 | 14170408 | 7070398 | 2924 5505 | 63 | 86
1729.60/1730.12 c 1729s | 25 | 14184905 | 7078498 | 2924 5510 | 63 | 86
1731.60/1732.15 c 1731s | 25 | 14200106 | 7086698 | 2924 5515 | 63 | 86
1733.59/1734.15 c 1733s | 25 | 14214640 | 7094398 | 2924 5520 | 63 | 86
1735.59/1736.17 c 1735s | 25 | 14230156 | 7102398 | 2924 5525 | 63 | 86
1737.60/1738.19 c 1737s | 25 | 14242838 | 7110198 | 2924 5530 | 63 | 86
1739.59/1740.20 c 1739s | 25 | 14255620 | 7117998 | 2924 5535 | 63 | 86
1741.69/1742.21 c 1741s | 25 | 14272150 | 7126798 | 2924 5540 | 63 | 86
1743.69/1744.22 c 1743s | 25 | 14286646 | 7135098 | 2924 5545 | 63 | 86
1745.69/1746.23 c 1745s | 25 | 14302281 | 7143698 | 2924 5551 | 63 | 86
1747.69/1748.24 c 1747s | 25 | 14315941 | 7151598 | 2924 5556 | 63 | 86
1749.70/1750.24 c 1749s | 25 | 14332972 | 7160198 | 2924 5561 | 63 | 86
1751.70/1752.24 c 1751s | 25 | 14345518 | 7167898 | 2924 5566 | 63 | 86
1753.69/1754.26 c 1753s | 25 | 14358351 | 7175798 | 2924 5571 | 63 | 86
1755.69/1756.27 c 1755s | 25 | 14373078 | 7184098 | 2924 5576 | 63 | 86
1757.69/1758.28 c 1757s | 25 | 14386798 | 7192398 | 2924 5582 | 63 | 86
1759.69/1760.28 c 1759s | 25 | 14400664 | 7200298 | 2924 5587 | 63 | 86
1761.71/1762.29 c 1761s | 25 | 14414552 | 7208298 | 2924 5592 | 63 | 86
1763.69/1764.29 c 1763s | 25 | 14425649 | 7215698 | 2924 5596 | 63 | 86
1765.79/1766.30 c 1765s | 25 | 14438140 | 7223098 | 2924 5601 | 63 | 86
1767.79/1768.32 c 1767s | 25 | 14451142 | 7230798 | 2924 5606 | 63 | 86
1769.79/1770.34 c 1769s | 25 | 14462691 | 7238098 | 2924 5610 | 63 | 86
1771.89/1772.43 c 1771s | 25 | 14475281 | 7245498 | 2924 5615 | 63 | 86
1773.89/1774.44 c 1773s | 25 | 14489467 | 7253098 | 2924 5620 | 63 | 86
1775.89/1776.46 c 1775s | 25 | 14504981 | 7260998 | 2924 5625 | 63 | 86
1777.89/1778.47 c 1777s | 25 | 14520421 | 7268598 | 2924 5630 | 63 | 86
1779.89/1780.48 c 1779s | 25 | 14533546 | 7275898 | 2924 5634 | 63 | 86
1781.89/1782.48 c 1781s | 25 | 14547345 | 7283298 | 2924 5639 | 63 | 86
1783.89/1784.49 c 1783s | 25 | 14560804 | 7290998 | 2924 5644 | 63 | 86
1785.89/1786.49 c 1785s | 25 | 14574022 | 7298198 | 2924 5648 | 63 | 86
1787.99/1788.51 c 1787s | 25 | 14590211 | 7306098 | 2924 5653 | 63 | 86
1789.99/1790.52 c 1789s | 25 | 14606571 | 7314198 | 2924 5659 | 63 | 86
1791.99/1792.53 c 1791s | 25 | 14622677 | 7321898 | 2924 5663 | 63 | 86
1793.99/1794.55 c 1793s | 25 | 14639058 | 7329698 | 2924 5668 | 63 | 86
1795.98/1796.57 c 1795s | 25 | 14653939 | 7337198 | 2924 5673 | 63 | 86
1798.00/1798.58 c 1797s | 25 | 14670630 | 7344998 | 2924 5678 | 63 | 86
1800.09/1800.60 c 1799s | 25 | 14685432 | 7352498 | 2924 5683 | 63 | 86
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-4079643-1465233884/watcher-4079643-1465233884 -o /tmp/evaluation-result-4079643-1465233884/solver-4079643-1465233884 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079643-1465233884.opb
pid=30828
running on 8 cores: 0-3,8-11
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.09 2.08 2.06 3/261 30831
/proc/meminfo: memFree=30909260/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1015228 CPUtime=0 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 3833 0 0 0 0 0 0 0 20 0 4 0 105230430 1039593472 4706 33554432000 4194304 16246674 140736192059712 140736192059136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30831/statm: 254319 4716 441 2943 0 251213 0
[pid=30831/tid=30832] ppid=30828 vsize=1036732 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1061613568 4791 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1040828 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1065807872 4809 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1044924 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1070002176 4825 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
[startup+0.100193 s]
/proc/loadavg: 2.09 2.08 2.06 3/261 30831
/proc/meminfo: memFree=30909260/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1218116 CPUtime=0.08 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 22094 0 0 0 4 4 0 0 20 0 4 0 105230430 1247350784 22953 33554432000 4194304 16246674 140736192059712 140736192042704 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 304529 22957 791 2943 0 301423 0
[pid=30831/tid=30832] ppid=30828 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1247350784 22961 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1247350784 22967 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1247350784 22973 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116
[startup+0.20049 s]
/proc/loadavg: 2.09 2.08 2.06 3/261 30831
/proc/meminfo: memFree=30909260/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1219140 CPUtime=0.19 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 40350 0 0 0 12 7 0 0 20 0 4 0 105230430 1248399360 41209 33554432000 4194304 16246674 140736192059712 140736192042704 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 304785 41219 796 2943 0 301679 0
[pid=30831/tid=30832] ppid=30828 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1248399360 41222 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1248399360 41226 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1248399360 41230 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1219140
[startup+0.300469 s]
/proc/loadavg: 2.09 2.08 2.06 3/261 30831
/proc/meminfo: memFree=30909260/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1219140 CPUtime=0.29 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 60344 0 0 0 19 10 0 0 20 0 4 0 105230430 1248399360 61203 33554432000 4194304 16246674 140736192059712 140736192042704 6011022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 304785 61210 796 2943 0 301679 0
[pid=30831/tid=30832] ppid=30828 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1248399360 61215 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1248399360 61220 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1248399360 61229 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1219140
[startup+0.700416 s]
/proc/loadavg: 2.09 2.08 2.06 3/261 30831
/proc/meminfo: memFree=30909260/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1219140 CPUtime=0.69 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 145550 0 0 0 48 21 0 0 20 0 4 0 105230430 1248399360 146410 33554432000 4194304 16246674 140736192059712 140736192041600 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 304785 146421 796 2943 0 301679 0
[pid=30831/tid=30832] ppid=30828 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1248399360 146425 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1248399360 146431 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1248399360 146437 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1219140
[startup+1.50037 s]
/proc/loadavg: 2.09 2.08 2.06 3/265 30835
/proc/meminfo: memFree=30013216/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1220164 CPUtime=1.49 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 246103 0 0 0 115 34 0 0 20 0 4 0 105230430 1249447936 246940 33554432000 4194304 16246674 140736192059712 140736192041600 5712204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 305041 246940 852 2943 0 301935 0
[pid=30831/tid=30832] ppid=30828 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1249447936 246940 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1249447936 246940 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1249447936 246940 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164
[startup+3.10041 s]
/proc/loadavg: 2.08 2.08 2.06 3/265 30835
/proc/meminfo: memFree=29838500/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1306180 CPUtime=3.09 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 267485 0 0 0 271 38 0 0 20 0 4 0 105230430 1337528320 268322 33554432000 4194304 16246674 140736192059712 140736192041600 13191915 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 326545 268322 853 2943 0 323439 0
[pid=30831/tid=30832] ppid=30828 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1337528320 268322 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1337528320 268322 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1337528320 268322 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180
[startup+6.30041 s]
/proc/loadavg: 2.08 2.08 2.06 3/265 30835
/proc/meminfo: memFree=29835028/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1307204 CPUtime=6.29 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 267669 0 0 0 591 38 0 0 20 0 4 0 105230430 1338576896 268506 33554432000 4194304 16246674 140736192059712 140736192042712 5601651 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 326801 268506 853 2943 0 323695 0
[pid=30831/tid=30832] ppid=30828 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1338576896 268506 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1338576896 268506 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1338576896 268506 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204
[startup+12.7004 s]
/proc/loadavg: 2.07 2.08 2.06 3/265 30835
/proc/meminfo: memFree=29834184/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1308228 CPUtime=12.68 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 267905 0 0 0 1230 38 0 0 20 0 4 0 105230430 1339625472 268742 33554432000 4194304 16246674 140736192059712 140736192041600 6836075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 327057 268742 853 2943 0 323951 0
[pid=30831/tid=30832] ppid=30828 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1339625472 268742 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1339625472 268742 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1339625472 268742 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228
[startup+25.5005 s]
/proc/loadavg: 2.06 2.07 2.06 3/265 30835
/proc/meminfo: memFree=29833496/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1308228 CPUtime=25.48 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 268149 0 0 0 2508 40 0 0 20 0 4 0 105230430 1339625472 268986 33554432000 4194304 16246674 140736192059712 140736192041600 5712544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 327057 268986 853 2943 0 323951 0
[pid=30831/tid=30832] ppid=30828 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1339625472 268986 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1339625472 268986 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1339625472 268986 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228
[startup+51.1005 s]
/proc/loadavg: 2.04 2.07 2.06 3/265 30835
/proc/meminfo: memFree=29828316/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1312324 CPUtime=51.08 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 269175 0 0 0 5066 42 0 0 20 0 4 0 105230430 1343819776 270012 33554432000 4194304 16246674 140736192059712 140736192041600 5711972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 328081 270012 855 2943 0 324975 0
[pid=30831/tid=30832] ppid=30828 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1343819776 270012 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1343819776 270012 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1343819776 270012 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324
[startup+102.301 s]
/proc/loadavg: 2.01 2.05 2.05 3/265 30836
/proc/meminfo: memFree=29823764/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1314372 CPUtime=102.28 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 269688 0 0 0 10184 44 0 0 20 0 4 0 105230430 1345916928 270525 33554432000 4194304 16246674 140736192059712 140736192041600 5676552 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 328593 270525 856 2943 0 325487 0
[pid=30831/tid=30832] ppid=30828 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1345916928 270525 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1345916928 270525 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1345916928 270525 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372
################
# More data... #
################
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273344 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1325636
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/265 30866
/proc/meminfo: memFree=29783064/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1325636 CPUtime=1301.9 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 272867 0 0 0 130059 131 0 0 20 0 4 0 105230430 1357451264 273344 33554432000 4194304 16246674 140736192059712 140736192041600 5589123 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 331409 273344 856 2943 0 328303 0
[pid=30831/tid=30832] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273344 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273344 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273344 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1325636
[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/265 30867
/proc/meminfo: memFree=29782964/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1325636 CPUtime=1361.86 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 272909 0 0 0 136051 135 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140736192041600 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 331409 273346 856 2943 0 328303 0
[pid=30831/tid=30832] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1325636
[startup+1422.3 s]
/proc/loadavg: 2.29 2.11 2.02 3/264 30869
/proc/meminfo: memFree=29783940/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1325636 CPUtime=1421.85 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 272935 0 0 0 142045 140 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140736192041600 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 331409 273346 856 2943 0 328303 0
[pid=30831/tid=30832] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1325636
[startup+1482.3 s]
/proc/loadavg: 2.34 2.16 2.04 3/265 30871
/proc/meminfo: memFree=29781616/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1325636 CPUtime=1481.83 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 272935 0 0 0 148038 145 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140736192041600 5573467 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 331409 273346 856 2943 0 328303 0
[pid=30831/tid=30832] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1325636
[startup+1542.31 s]
/proc/loadavg: 2.16 2.14 2.04 3/266 30875
/proc/meminfo: memFree=29777496/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1325636 CPUtime=1541.83 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 272935 0 0 0 154034 149 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140736192042712 5523232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 331409 273346 856 2943 0 328303 0
[pid=30831/tid=30832] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1325636
[startup+1602.3 s]
/proc/loadavg: 2.12 2.13 2.04 3/265 30876
/proc/meminfo: memFree=29777432/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1325636 CPUtime=1601.82 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 272935 0 0 0 160029 153 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140736192041600 7249982 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 331409 273346 856 2943 0 328303 0
[pid=30831/tid=30832] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1325636
[startup+1662.3 s]
/proc/loadavg: 2.13 2.13 2.05 3/265 30877
/proc/meminfo: memFree=29777528/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1325636 CPUtime=1661.81 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 272935 0 0 0 166024 157 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140736192041600 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 331409 273346 856 2943 0 328303 0
[pid=30831/tid=30832] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1325636
[startup+1722.3 s]
/proc/loadavg: 2.05 2.11 2.04 3/265 30879
/proc/meminfo: memFree=29776204/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1325636 CPUtime=1721.8 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 272935 0 0 0 172019 161 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140736192042712 6011708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 331409 273346 856 2943 0 328303 0
[pid=30831/tid=30832] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1325636
[startup+1782.3 s]
/proc/loadavg: 2.02 2.08 2.04 3/265 30929
/proc/meminfo: memFree=29809384/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1325636 CPUtime=1781.79 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 272935 0 0 0 178014 165 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140736192041600 13193796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 331409 273346 856 2943 0 328303 0
[pid=30831/tid=30832] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1325636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.01 2.08 2.03 3/265 30929
/proc/meminfo: memFree=29809140/32872528 swapFree=9196/9196
[pid=30831] ppid=30828 vsize=1325636 CPUtime=1800.09 cores=0-3,8-11
/proc/30831/stat : 30831 (toysat) R 30828 30831 25889 0 -1 4202496 272935 0 0 0 179842 167 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140736192041600 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30831/statm: 331409 273346 856 2943 0 328303 0
[pid=30831/tid=30832] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30832/stat : 30832 (toysat) S 30828 30831 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030553074928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=30831/tid=30833] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30833/stat : 30833 (toysat) S 30828 30831 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030542585072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=30831/tid=30834] ppid=30828 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/30831/task/30834/stat : 30834 (toysat) S 30828 30831 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105230430 1357451264 273346 33554432000 4194304 16246674 140736192059712 140030429359280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1325636
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 30831 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.1
CPU user time (s): 1798.43
CPU system time (s): 1.67274
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1325636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.43
system time used= 1.67274
maximum resident set size= 1093384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272935
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= 444
involuntary context switches= 2255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.24559 second user time and 12.2241 second system time
The end