0.00/0.00 c 2016-06-07T07:42:21+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-4080001-1465278140.opb"]
0.00/0.01 c use --random-gen="2620003381 4079116826 1377543869 2067475463 1194921941 4037424112 4257426362 3009850981 3726157239 2249144305 2084601837 261997382 839789725 3048027349 2551286274 266732357 2491291584 3545721407 953464606 531229996 3091675827 1218776169 3106906571 3038710404 1539488522 1262600198 1797144746 2029066526 2205166158 894840955 496970604 3754376144 3383669068 2182130208 3632405439 2888740245 987798449 3018956147 2114025869 2981689904 863435368 4253269031 2203356025 3066230319 1549839872 3333763747 453698195 1349934153 4005659935 1285846831 2908550195 864568541 913145903 909659018 1528124117 4239893313 3904747763 113045676 2535124744 723046103 3166848904 2840950668 2831394684 4235057129 1042271629 668373993 2249325212 3874510294 565328022 1856979017 947416828 9139640 1893253257 1037946259 2941573730 3133639451 3119389505 3679698889 4243312791 1182525467 338987775 1698797984 1854095726 4253642970 2543522444 3974329344 2216280705 3855951624 1175399555 1364694631 1929392714 1041385898 3209853765 1580392333 460115498 2511062997 1378105245 3971491281 97553448 2920817145 383690826 3194959283 3113251746 1941978188 3960450981 3720205824 2764508025 1201641554 3197268094 405594735 927854258 150433325 1945213074 3263444823 1779406605 3559812578 2426387081 4200916956 1397455974 2850798215 2914228227 4025889271 3070895269 2028833164 1244002013 1142398150 28314934 1600454529 3192912462 1509339786 657047074 2961767294 726011737 3523095361 744022942 1459177721 4244729565 641429261 3608223103 1762508902 1524659473 4278151722 1327187731 4220055583 1998835805 1506999667 2227184062 691608010 586459429 1484959213 2021519736 2364420678 4058965432 2186870998 261692375 4069290349 3770458609 264333435 930637731 1117847699 232033727 3172098278 3474506069 3790511915 2968832649 1746738712 1494375049 378567580 2985420764 3994502462 3878077174 1421047095 7729497 741531329 181864653 2135542091 3807444321 3441154953 2252627095 978753532 308483615 1000816523 126947339 3916459882 2350287369 1660249246 399784465 2283184006 2478279847 3172484041 3657133309 420055027 499906258 1803362570 4236309964 116932558 2102615107 3357721342 2474029546 4256907267 3143941158 144338940 1345189501 1113254682 4112378122 3933311983 2576019113 3190632465 1235870571 1817481484 3683634552 1282522225 1019436378 441818294 2580401481 2266552884 3839522926 3920763386 2494983460 2872164682 2991582398 2145406661 2305134528 2531981507 4006386411 140888231 859137330 2112362588 2015506047 1282144983 330411892 3591436356 3094087101 1207681637 2767426253 182575484 716198470 317405204 3272659783 1828409967 1560662033 4118579473 1679607612 3026732813 14260153 3284569961 3689620561 4103008126 975056946 1367203698 1310686359 2062909340 2561266497 2477096050 3465197312 3643030197 255 362436" option to reproduce the execution
0.00/0.02 c #vars 792
0.00/0.02 c #constraints 1170
0.00/0.04 c BCD2: Hardening is enabled.
0.00/0.04 c BCD2: BiasedSearch is enabled.
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 | 660 0 | 0 | 0
0.00/0.04 c 0.0s | 0 | 638 | 0 | 660 0 | 0 | 0
0.00/0.04 c #cpu_time = 0.002s
0.00/0.04 c #wall_clock_time = 0.002s
0.00/0.04 c #decision = 638
0.00/0.04 c #random_decision = 2
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 o 18392
0.00/0.06 c BCD2: updating upper bound: 18684 -> 18391
0.00/0.07 c BCD2: 0 <= obj <= 18391
0.00/0.07 c BCD2: #cores=0, #unrelaxed=666, #relaxed=0, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=1 bias=1/2
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 | 660 0 | 0 | 0
0.00/0.07 c 0.0s | 0 | 8 | 0 | 660 0 | 0 | 0
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 8
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.07 c lower bound updated to 1
0.00/0.08 c BCD2: 1 <= obj <= 18391
0.00/0.08 c BCD2: #cores=1, #unrelaxed=657, #relaxed=9, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=2 bias=2/3
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 | 660 0 | 0 | 1
0.00/0.08 c 0.0s | 0 | 9 | 0 | 660 0 | 0 | 1
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 = 9
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 2
0.00/0.09 c BCD2: 2 <= obj <= 18391
0.00/0.09 c BCD2: #cores=2, #unrelaxed=648, #relaxed=18, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=3 bias=3/4
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 | 660 0 | 0 | 2
0.09/0.10 c 0.0s | 0 | 10 | 0 | 660 0 | 0 | 2
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 10
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.10 c lower bound updated to 3
0.09/0.11 c BCD2: 3 <= obj <= 18391
0.09/0.11 c BCD2: #cores=3, #unrelaxed=639, #relaxed=27, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=4 bias=4/5
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 3
0.09/0.11 c 0.0s | 0 | 11 | 0 | 660 0 | 0 | 3
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 11
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.11 c lower bound updated to 4
0.09/0.12 c BCD2: 4 <= obj <= 18391
0.09/0.12 c BCD2: #cores=4, #unrelaxed=630, #relaxed=36, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=5 bias=5/6
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 4
0.09/0.12 c 0.0s | 0 | 12 | 0 | 660 0 | 0 | 4
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 12
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 0
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.12 c lower bound updated to 5
0.09/0.13 c BCD2: 5 <= obj <= 18391
0.09/0.13 c BCD2: #cores=5, #unrelaxed=621, #relaxed=45, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=6 bias=6/7
0.09/0.13 c Solving starts ...
0.09/0.13 c ============================[ Search Statistics ]============================
0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.13 c | | | | Limit GC | Var | Constra
0.09/0.13 c =============================================================================
0.09/0.13 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 5
0.09/0.13 c 0.0s | 0 | 13 | 0 | 660 0 | 0 | 5
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 13
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 0
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.13 c lower bound updated to 6
0.09/0.13 c BCD2: 6 <= obj <= 18391
0.09/0.13 c BCD2: #cores=6, #unrelaxed=612, #relaxed=54, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=7 bias=7/8
0.09/0.13 c Solving starts ...
0.09/0.13 c ============================[ Search Statistics ]============================
0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.13 c | | | | Limit GC | Var | Constra
0.09/0.13 c =============================================================================
0.09/0.13 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 6
0.09/0.13 c 0.0s | 0 | 14 | 0 | 660 0 | 0 | 6
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 14
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 0
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.13 c lower bound updated to 7
0.09/0.14 c BCD2: 7 <= obj <= 18391
0.09/0.14 c BCD2: #cores=7, #unrelaxed=603, #relaxed=63, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=8 bias=8/9
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 7
0.09/0.14 c 0.0s | 0 | 15 | 0 | 660 0 | 0 | 7
0.09/0.14 c #cpu_time = 0.001s
0.09/0.14 c #wall_clock_time = 0.001s
0.09/0.14 c #decision = 15
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 0
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.14 c lower bound updated to 8
0.09/0.15 c BCD2: 8 <= obj <= 18391
0.09/0.15 c BCD2: #cores=8, #unrelaxed=594, #relaxed=72, #hardened=0
0.09/0.15 c BCD2: #sat=1 #unsat=9 bias=9/10
0.09/0.15 c Solving starts ...
0.09/0.15 c ============================[ Search Statistics ]============================
0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.15 c | | | | Limit GC | Var | Constra
0.09/0.15 c =============================================================================
0.09/0.15 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 8
0.09/0.15 c 0.0s | 0 | 16 | 0 | 660 0 | 0 | 8
0.09/0.15 c #cpu_time = 0.001s
0.09/0.15 c #wall_clock_time = 0.001s
0.09/0.15 c #decision = 16
0.09/0.15 c #random_decision = 0
0.09/0.15 c #conflict = 0
0.09/0.15 c #restart = 0
0.09/0.15 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.15 c lower bound updated to 9
0.09/0.15 c BCD2: 9 <= obj <= 18391
0.09/0.15 c BCD2: #cores=9, #unrelaxed=585, #relaxed=81, #hardened=0
0.09/0.15 c BCD2: #sat=1 #unsat=10 bias=10/11
0.09/0.15 c Solving starts ...
0.09/0.15 c ============================[ Search Statistics ]============================
0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.15 c | | | | Limit GC | Var | Constra
0.09/0.15 c =============================================================================
0.09/0.15 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 9
0.09/0.15 c 0.0s | 0 | 17 | 0 | 660 0 | 0 | 9
0.09/0.15 c #cpu_time = 0.001s
0.09/0.15 c #wall_clock_time = 0.001s
0.09/0.15 c #decision = 17
0.09/0.15 c #random_decision = 0
0.09/0.15 c #conflict = 0
0.09/0.15 c #restart = 0
0.09/0.15 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.15 c lower bound updated to 10
0.09/0.16 c BCD2: 10 <= obj <= 18391
0.09/0.16 c BCD2: #cores=10, #unrelaxed=576, #relaxed=90, #hardened=0
0.09/0.16 c BCD2: #sat=1 #unsat=11 bias=11/12
0.09/0.16 c Solving starts ...
0.09/0.16 c ============================[ Search Statistics ]============================
0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.16 c | | | | Limit GC | Var | Constra
0.09/0.16 c =============================================================================
0.09/0.16 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 10
0.09/0.16 c 0.0s | 0 | 18 | 0 | 660 0 | 0 | 10
0.09/0.16 c #cpu_time = 0.001s
0.09/0.16 c #wall_clock_time = 0.001s
0.09/0.16 c #decision = 18
0.09/0.16 c #random_decision = 0
0.09/0.16 c #conflict = 0
0.09/0.16 c #restart = 0
0.09/0.16 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.16 c lower bound updated to 11
0.09/0.17 c BCD2: 11 <= obj <= 18391
0.09/0.17 c BCD2: #cores=11, #unrelaxed=567, #relaxed=99, #hardened=0
0.09/0.17 c BCD2: #sat=1 #unsat=12 bias=12/13
0.09/0.17 c Solving starts ...
0.09/0.17 c ============================[ Search Statistics ]============================
0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.17 c | | | | Limit GC | Var | Constra
0.09/0.17 c =============================================================================
0.09/0.17 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 11
0.09/0.17 c 0.0s | 0 | 19 | 0 | 660 0 | 0 | 11
0.09/0.17 c #cpu_time = 0.001s
0.09/0.17 c #wall_clock_time = 0.001s
0.09/0.17 c #decision = 19
0.09/0.17 c #random_decision = 0
0.09/0.17 c #conflict = 0
0.09/0.17 c #restart = 0
0.09/0.17 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.17 c lower bound updated to 12
0.09/0.18 c BCD2: 12 <= obj <= 18391
0.09/0.18 c BCD2: #cores=12, #unrelaxed=558, #relaxed=108, #hardened=0
0.09/0.18 c BCD2: #sat=1 #unsat=13 bias=13/14
0.09/0.18 c Solving starts ...
0.09/0.18 c ============================[ Search Statistics ]============================
0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.18 c | | | | Limit GC | Var | Constra
0.09/0.18 c =============================================================================
0.09/0.18 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 12
0.09/0.18 c 0.0s | 0 | 20 | 0 | 660 0 | 0 | 12
0.09/0.18 c #cpu_time = 0.001s
0.09/0.18 c #wall_clock_time = 0.001s
0.09/0.18 c #decision = 20
0.09/0.18 c #random_decision = 0
0.09/0.18 c #conflict = 0
0.09/0.18 c #restart = 0
0.09/0.18 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.18 c lower bound updated to 13
0.09/0.20 c BCD2: 13 <= obj <= 18391
0.09/0.20 c BCD2: #cores=13, #unrelaxed=549, #relaxed=117, #hardened=0
0.09/0.20 c BCD2: #sat=1 #unsat=14 bias=14/15
0.09/0.20 c Solving starts ...
0.09/0.20 c ============================[ Search Statistics ]============================
0.09/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.20 c | | | | Limit GC | Var | Constra
0.09/0.20 c =============================================================================
0.09/0.20 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 13
0.19/0.20 c 0.0s | 0 | 21 | 0 | 660 0 | 0 | 13
0.19/0.20 c #cpu_time = 0.001s
0.19/0.20 c #wall_clock_time = 0.001s
0.19/0.20 c #decision = 21
0.19/0.20 c #random_decision = 0
0.19/0.20 c #conflict = 0
0.19/0.20 c #restart = 0
0.19/0.20 c BCD2: found a new core of size 9: cost of the new core is >=1
0.19/0.20 c lower bound updated to 14
0.19/0.21 c BCD2: 14 <= obj <= 18391
0.19/0.21 c BCD2: #cores=14, #unrelaxed=540, #relaxed=126, #hardened=0
0.19/0.21 c BCD2: #sat=1 #unsat=15 bias=15/16
0.19/0.21 c Solving starts ...
0.19/0.21 c ============================[ Search Statistics ]============================
0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.21 c | | | | Limit GC | Var | Constra
0.19/0.21 c =============================================================================
0.19/0.21 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 14
0.19/0.21 c 0.0s | 0 | 22 | 0 | 660 0 | 0 | 14
0.19/0.21 c #cpu_time = 0.001s
0.19/0.21 c #wall_clock_time = 0.001s
0.19/0.21 c #decision = 22
0.19/0.21 c #random_decision = 0
0.19/0.21 c #conflict = 0
0.19/0.21 c #restart = 0
0.19/0.21 c BCD2: found a new core of size 9: cost of the new core is >=1
0.19/0.21 c lower bound updated to 15
0.19/0.22 c BCD2: 15 <= obj <= 18391
0.19/0.22 c BCD2: #cores=15, #unrelaxed=531, #relaxed=135, #hardened=0
0.19/0.22 c BCD2: #sat=1 #unsat=16 bias=16/17
0.19/0.22 c Solving starts ...
0.19/0.22 c ============================[ Search Statistics ]============================
0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.22 c | | | | Limit GC | Var | Constra
0.19/0.22 c =============================================================================
0.19/0.22 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 15
0.19/0.22 c 0.0s | 0 | 23 | 0 | 660 0 | 0 | 15
0.19/0.22 c #cpu_time = 0.001s
0.19/0.22 c #wall_clock_time = 0.001s
0.19/0.22 c #decision = 23
0.19/0.22 c #random_decision = 0
0.19/0.22 c #conflict = 0
0.19/0.22 c #restart = 0
0.19/0.22 c BCD2: found a new core of size 9: cost of the new core is >=1
0.19/0.22 c lower bound updated to 16
0.19/0.23 c BCD2: 16 <= obj <= 18391
0.19/0.23 c BCD2: #cores=16, #unrelaxed=522, #relaxed=144, #hardened=0
0.19/0.23 c BCD2: #sat=1 #unsat=17 bias=17/18
0.19/0.23 c Solving starts ...
0.19/0.23 c ============================[ Search Statistics ]============================
0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.23 c | | | | Limit GC | Var | Constra
0.19/0.23 c =============================================================================
0.19/0.23 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 16
0.19/0.23 c 0.0s | 0 | 19 | 3 | 660 0 | 0 | 16
0.19/0.23 c #cpu_time = 0.001s
0.19/0.23 c #wall_clock_time = 0.002s
0.19/0.23 c #decision = 19
0.19/0.23 c #random_decision = 0
0.19/0.23 c #conflict = 3
0.19/0.23 c #restart = 0
0.19/0.24 c BCD2: relaxing 0 and merging with 16 cores into a new core of size 144: cost of the new core is >=17
0.19/0.24 c lower bound updated to 17
0.19/0.25 c BCD2: 17 <= obj <= 18391
0.19/0.25 c BCD2: #cores=1, #unrelaxed=522, #relaxed=144, #hardened=0
0.19/0.25 c BCD2: #sat=1 #unsat=18 bias=18/19
0.19/0.25 c Solving starts ...
0.19/0.25 c ============================[ Search Statistics ]============================
0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.25 c | | | | Limit GC | Var | Constra
0.19/0.25 c =============================================================================
0.19/0.25 c 0.0s | 0 | 0 | 0 | 660 0 | 16 | 16
0.19/0.25 c 0.0s | 0 | 9 | 0 | 660 0 | 16 | 32
0.19/0.25 c #cpu_time = 0.001s
0.19/0.25 c #wall_clock_time = 0.001s
0.19/0.25 c #decision = 9
0.19/0.25 c #random_decision = 0
0.19/0.25 c #conflict = 0
0.19/0.25 c #restart = 0
0.19/0.25 c BCD2: found a new core of size 9: cost of the new core is >=1
0.19/0.25 c lower bound updated to 18
0.19/0.26 c BCD2: 18 <= obj <= 18391
0.19/0.26 c BCD2: #cores=2, #unrelaxed=513, #relaxed=153, #hardened=0
0.19/0.26 c BCD2: #sat=1 #unsat=19 bias=19/20
0.19/0.26 c Solving starts ...
0.19/0.26 c ============================[ Search Statistics ]============================
0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.26 c | | | | Limit GC | Var | Constra
0.19/0.26 c =============================================================================
0.19/0.26 c 0.0s | 0 | 0 | 0 | 660 0 | 16 | 33
0.19/0.26 c 0.0s | 0 | 10 | 0 | 660 0 | 16 | 33
0.19/0.26 c #cpu_time = 0.001s
0.19/0.26 c #wall_clock_time = 0.001s
0.19/0.26 c #decision = 10
0.19/0.26 c #random_decision = 0
0.19/0.26 c #conflict = 0
0.19/0.26 c #restart = 0
0.19/0.26 c BCD2: found a new core of size 9: cost of the new core is >=1
0.19/0.26 c lower bound updated to 19
0.19/0.27 c BCD2: 19 <= obj <= 18391
0.19/0.27 c BCD2: #cores=3, #unrelaxed=504, #relaxed=162, #hardened=0
0.19/0.27 c BCD2: #sat=1 #unsat=20 bias=20/21
0.19/0.27 c Solving starts ...
0.19/0.27 c ============================[ Search Statistics ]============================
0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.27 c | | | | Limit GC | Var | Constra
0.19/0.27 c =============================================================================
0.19/0.27 c 0.0s | 0 | 0 | 0 | 660 0 | 16 | 34
0.19/0.28 c 0.0s | 0 | 1460 | 25 | 660 0 | 16 | 34
0.19/0.28 c #cpu_time = 0.005s
0.19/0.28 c #wall_clock_time = 0.005s
0.19/0.28 c #decision = 1460
0.19/0.28 c #random_decision = 0
0.19/0.28 c #conflict = 25
0.19/0.28 c #restart = 0
0.19/0.28 c BCD2: relaxing 80 and merging with 2 cores into a new core of size 98: cost of the new core is >=3
0.19/0.28 c lower bound updated to 20
0.19/0.29 c BCD2: 20 <= obj <= 18391
0.19/0.29 c BCD2: #cores=2, #unrelaxed=424, #relaxed=242, #hardened=0
0.19/0.29 c BCD2: #sat=1 #unsat=21 bias=21/22
0.19/0.29 c Solving starts ...
0.19/0.29 c ============================[ Search Statistics ]============================
0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.29 c | | | | Limit GC | Var | Constra
0.19/0.29 c =============================================================================
0.19/0.29 c 0.0s | 0 | 0 | 0 | 660 0 | 18 | 34
0.28/0.30 c 0.0s | 0 | 998 | 33 | 660 0 | 18 | 36
0.28/0.30 c #cpu_time = 0.006s
0.28/0.30 c #wall_clock_time = 0.006s
0.28/0.30 c #decision = 998
0.28/0.30 c #random_decision = 0
0.28/0.30 c #conflict = 33
0.28/0.30 c #restart = 0
0.28/0.30 c BCD2: found a new core of size 117: cost of the new core is >=15
0.28/0.30 c lower bound updated to 35
0.28/0.31 c BCD2: 35 <= obj <= 18391
0.28/0.31 c BCD2: #cores=3, #unrelaxed=307, #relaxed=359, #hardened=0
0.28/0.31 c BCD2: #sat=1 #unsat=22 bias=22/23
0.28/0.31 c Solving starts ...
0.28/0.31 c ============================[ Search Statistics ]============================
0.28/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.28/0.31 c | | | | Limit GC | Var | Constra
0.28/0.31 c =============================================================================
0.28/0.31 c 0.0s | 0 | 0 | 0 | 660 0 | 18 | 36
0.28/0.33 c 0.0s | 1 | 764 | 100 | 727 0 | 18 | 36
0.28/0.33 c 0.0s | 1 | 1119 | 133 | 727 0 | 18 | 36
0.28/0.33 c #cpu_time = 0.023s
0.28/0.33 c #wall_clock_time = 0.023s
0.28/0.33 c #decision = 1119
0.28/0.33 c #random_decision = 2
0.28/0.33 c #conflict = 133
0.28/0.33 c #restart = 1
0.28/0.33 c BCD2: found a new core of size 200: cost of the new core is >=10
0.28/0.33 c lower bound updated to 45
0.28/0.35 c BCD2: 45 <= obj <= 18391
0.28/0.35 c BCD2: #cores=4, #unrelaxed=107, #relaxed=559, #hardened=0
0.28/0.35 c BCD2: #sat=1 #unsat=23 bias=23/24
0.28/0.35 c Solving starts ...
0.28/0.35 c ============================[ Search Statistics ]============================
0.28/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.28/0.35 c | | | | Limit GC | Var | Constra
0.28/0.35 c =============================================================================
0.28/0.35 c 0.0s | 0 | 0 | 0 | 727 0 | 18 | 36
0.28/0.37 c 0.0s | 1 | 651 | 100 | 800 0 | 18 | 36
0.28/0.39 c 0.0s | 2 | 978 | 250 | 800 0 | 18 | 36
0.39/0.41 c 0.1s | 3 | 1395 | 475 | 881 0 | 18 | 36
0.39/0.45 c 0.1s | 4 | 1924 | 813 | 970 0 | 18 | 36
0.48/0.50 c 0.1s | 5 | 2689 | 1320 | 1067 1 | 18 | 36
0.48/0.58 c 0.2s | 6 | 3811 | 2081 | 1174 2 | 18 | 36
0.68/0.70 c 0.3s | 7 | 5424 | 3223 | 1292 3 | 18 | 36
0.89/0.91 c 0.6s | 8 | 7713 | 4936 | 1422 5 | 18 | 36
1.20/1.28 c 0.9s | 9 | 10995 | 7506 | 1565 8 | 18 | 36
1.79/1.80 c 1.4s | 10 | 16026 | 11361 | 1722 12 | 18 | 36
2.39/2.47 c 2.1s | 11 | 23379 | 17144 | 1895 18 | 18 | 36
3.49/3.50 c 3.2s | 12 | 34504 | 25819 | 2085 26 | 18 | 36
5.09/5.13 c 4.8s | 13 | 50898 | 38832 | 2294 37 | 18 | 36
7.09/7.14 c 6.8s | 13 | 70945 | 54232 | 2294 49 | 18 | 36
7.59/7.64 c 7.3s | 14 | 76384 | 58352 | 2524 52 | 18 | 36
9.59/9.65 c 9.3s | 14 | 95120 | 73252 | 2524 63 | 18 | 36
11.48/11.55 c 11.2s | 15 | 112751 | 87632 | 2777 73 | 18 | 36
13.48/13.55 c 13.2s | 15 | 131314 | 102632 | 2777 83 | 18 | 36
15.50/15.55 c 15.2s | 15 | 149332 | 117532 | 2777 93 | 18 | 36
17.49/17.56 c 17.2s | 15 | 165987 | 131432 | 3055 102 | 18 | 36
17.49/17.57 c 17.2s | 16 | 166136 | 131552 | 3055 102 | 18 | 36
19.49/19.58 c 19.2s | 16 | 184411 | 146152 | 3055 111 | 18 | 36
21.49/21.59 c 21.2s | 16 | 201272 | 160352 | 3055 119 | 18 | 36
23.49/23.59 c 23.2s | 16 | 215352 | 172952 | 3055 127 | 18 | 36
25.49/25.59 c 25.2s | 16 | 232186 | 186752 | 3055 135 | 18 | 36
27.09/27.10 c 26.7s | 17 | 245048 | 197432 | 3361 141 | 18 | 36
29.09/29.11 c 28.8s | 17 | 261693 | 211232 | 3361 149 | 18 | 36
31.09/31.12 c 30.8s | 17 | 278021 | 224932 | 3361 156 | 18 | 36
33.09/33.14 c 32.8s | 17 | 293228 | 237732 | 3361 164 | 18 | 36
35.08/35.15 c 34.8s | 17 | 309699 | 251332 | 3361 171 | 18 | 36
37.08/37.15 c 36.8s | 17 | 324595 | 264232 | 3361 178 | 18 | 36
39.08/39.15 c 38.8s | 17 | 339935 | 277132 | 3361 185 | 18 | 36
41.08/41.17 c 40.8s | 17 | 356088 | 290532 | 3361 193 | 18 | 36
41.98/42.06 c 41.7s | 18 | 362804 | 296252 | 3698 196 | 18 | 36
43.99/44.06 c 43.7s | 18 | 376721 | 308152 | 3698 202 | 18 | 36
45.98/46.07 c 45.7s | 18 | 391618 | 320752 | 3698 208 | 18 | 36
47.98/48.07 c 47.7s | 18 | 406839 | 333152 | 3698 214 | 18 | 36
49.98/50.08 c 49.7s | 18 | 420668 | 344952 | 3698 220 | 18 | 36
51.98/52.09 c 51.7s | 18 | 436238 | 357652 | 3698 227 | 18 | 36
54.08/54.10 c 53.7s | 18 | 450137 | 369552 | 3698 233 | 18 | 36
56.08/56.11 c 55.8s | 18 | 462946 | 380352 | 3698 238 | 18 | 36
58.08/58.12 c 57.8s | 18 | 475160 | 391052 | 3698 244 | 18 | 36
60.08/60.12 c 59.8s | 18 | 491834 | 405052 | 3698 251 | 18 | 36
62.08/62.13 c 61.8s | 18 | 508167 | 418452 | 3698 258 | 18 | 36
64.08/64.14 c 63.8s | 18 | 525455 | 431852 | 3698 264 | 18 | 36
66.09/66.14 c 65.8s | 19 | 541663 | 444482 | 4068 270 | 18 | 36
68.08/68.14 c 67.8s | 19 | 559031 | 458082 | 4068 277 | 18 | 36
70.08/70.16 c 69.8s | 19 | 575851 | 471682 | 4068 283 | 18 | 36
72.08/72.18 c 71.8s | 19 | 590016 | 483582 | 4068 289 | 18 | 36
74.08/74.18 c 73.8s | 19 | 605799 | 496482 | 4068 294 | 18 | 36
76.18/76.20 c 75.8s | 19 | 621538 | 509282 | 4068 300 | 18 | 36
78.19/78.20 c 77.8s | 19 | 636757 | 521682 | 4068 306 | 18 | 36
80.18/80.22 c 79.9s | 19 | 650382 | 533282 | 4068 312 | 18 | 36
82.18/82.22 c 81.9s | 19 | 662279 | 543782 | 4068 316 | 18 | 36
84.18/84.23 c 83.9s | 19 | 676639 | 556082 | 4068 322 | 18 | 36
86.18/86.25 c 85.9s | 19 | 691166 | 567982 | 4068 328 | 18 | 36
88.18/88.26 c 87.9s | 19 | 705669 | 579882 | 4068 333 | 18 | 36
90.18/90.26 c 89.9s | 19 | 721160 | 592482 | 4068 339 | 18 | 36
92.18/92.26 c 91.9s | 19 | 735973 | 604782 | 4068 345 | 18 | 36
94.18/94.27 c 93.9s | 19 | 750021 | 616582 | 4068 350 | 18 | 36
96.17/96.29 c 95.9s | 19 | 762919 | 627782 | 4068 355 | 18 | 36
98.17/98.30 c 97.9s | 19 | 776695 | 639082 | 4068 360 | 18 | 36
100.27/100.30 c 99.9s | 19 | 791023 | 651782 | 4068 366 | 18 | 36
102.17/102.30 c 101s | 19 | 805525 | 664182 | 4475 372 | 18 | 36
102.67/102.74 c 102s | 20 | 808696 | 666827 | 4475 373 | 18 | 36
104.67/104.75 c 104s | 20 | 823533 | 678727 | 4475 378 | 18 | 36
106.68/106.75 c 106s | 20 | 839136 | 691327 | 4475 383 | 18 | 36
108.68/108.75 c 108s | 20 | 852714 | 702827 | 4475 388 | 18 | 36
110.68/110.76 c 110s | 20 | 867472 | 714727 | 4475 393 | 18 | 36
112.67/112.77 c 112s | 20 | 881015 | 726027 | 4475 398 | 18 | 36
114.67/114.78 c 114s | 20 | 893723 | 736927 | 4475 403 | 18 | 36
116.68/116.78 c 116s | 20 | 906203 | 747627 | 4475 407 | 18 | 36
118.67/118.79 c 118s | 20 | 919828 | 759627 | 4475 412 | 18 | 36
120.77/120.80 c 120s | 20 | 934323 | 772227 | 4475 417 | 18 | 36
122.77/122.80 c 122s | 20 | 949283 | 785127 | 4475 423 | 18 | 36
124.77/124.81 c 124s | 20 | 963749 | 797927 | 4475 428 | 18 | 36
126.77/126.82 c 126s | 20 | 979360 | 811327 | 4475 434 | 18 | 36
128.78/128.85 c 128s | 20 | 993539 | 823827 | 4475 439 | 18 | 36
130.77/130.86 c 130s | 20 | 1008162 | 836327 | 4475 445 | 18 | 36
132.77/132.87 c 132s | 20 | 1022731 | 849027 | 4475 450 | 18 | 36
134.77/134.87 c 134s | 20 | 1037049 | 861427 | 4475 455 | 18 | 36
136.87/136.90 c 136s | 20 | 1052164 | 874127 | 4475 461 | 18 | 36
138.87/138.90 c 138s | 20 | 1066147 | 886527 | 4475 466 | 18 | 36
140.87/140.91 c 140s | 20 | 1081652 | 899327 | 4475 471 | 18 | 36
142.87/142.94 c 142s | 20 | 1096016 | 912027 | 4475 477 | 18 | 36
144.87/144.94 c 144s | 20 | 1110326 | 924427 | 4475 482 | 18 | 36
146.87/146.95 c 146s | 20 | 1124972 | 937127 | 4475 487 | 18 | 36
148.86/148.97 c 148s | 20 | 1138981 | 949327 | 4475 492 | 18 | 36
150.86/150.99 c 150s | 20 | 1153605 | 961627 | 4475 498 | 18 | 36
152.87/153.00 c 152s | 20 | 1165824 | 972627 | 4475 502 | 18 | 36
154.96/155.01 c 154s | 20 | 1179143 | 984427 | 4475 507 | 18 | 36
156.96/157.02 c 156s | 20 | 1191826 | 995727 | 4923 512 | 18 | 36
157.76/157.84 c 157s | 21 | 1197379 | 1000345 | 4923 514 | 18 | 36
159.77/159.85 c 159s | 21 | 1212261 | 1012645 | 4923 518 | 18 | 36
161.78/161.86 c 161s | 21 | 1225161 | 1023945 | 4923 523 | 18 | 36
163.77/163.86 c 163s | 21 | 1239840 | 1036445 | 4923 527 | 18 | 36
165.77/165.86 c 165s | 21 | 1253323 | 1048345 | 4923 532 | 18 | 36
167.77/167.87 c 167s | 21 | 1266626 | 1059945 | 4923 536 | 18 | 36
169.77/169.87 c 169s | 21 | 1279969 | 1071545 | 4923 541 | 18 | 36
171.77/171.88 c 171s | 21 | 1292976 | 1083045 | 4923 545 | 18 | 36
173.77/173.88 c 173s | 21 | 1304516 | 1093545 | 4923 549 | 18 | 36
175.76/175.89 c 175s | 21 | 1316382 | 1104445 | 4923 554 | 18 | 36
177.86/177.90 c 177s | 21 | 1330412 | 1116545 | 4923 558 | 18 | 36
179.86/179.91 c 179s | 21 | 1343939 | 1128045 | 4923 563 | 18 | 36
181.86/181.93 c 181s | 21 | 1358558 | 1140345 | 4923 568 | 18 | 36
183.86/183.94 c 183s | 21 | 1371907 | 1151945 | 4923 572 | 18 | 36
185.87/185.94 c 185s | 21 | 1384903 | 1163045 | 4923 576 | 18 | 36
187.86/187.95 c 187s | 21 | 1397486 | 1174245 | 4923 581 | 18 | 36
189.86/189.95 c 189s | 21 | 1410110 | 1185445 | 4923 585 | 18 | 36
191.86/191.97 c 191s | 21 | 1423496 | 1197045 | 4923 589 | 18 | 36
193.86/193.98 c 193s | 21 | 1435907 | 1207745 | 4923 594 | 18 | 36
195.96/196.00 c 195s | 21 | 1449295 | 1219145 | 4923 598 | 18 | 36
197.96/198.00 c 197s | 21 | 1463344 | 1230945 | 4923 603 | 18 | 36
199.96/200.02 c 199s | 21 | 1477187 | 1242945 | 4923 607 | 18 | 36
201.95/202.03 c 201s | 21 | 1490571 | 1254745 | 4923 612 | 18 | 36
203.95/204.04 c 203s | 21 | 1503280 | 1265645 | 4923 616 | 18 | 36
205.95/206.04 c 205s | 21 | 1516948 | 1276945 | 4923 620 | 18 | 36
207.96/208.05 c 207s | 21 | 1528112 | 1286845 | 4923 624 | 18 | 36
209.95/210.07 c 209s | 21 | 1539583 | 1296945 | 4923 628 | 18 | 36
211.95/212.09 c 211s | 21 | 1549282 | 1305545 | 4923 631 | 18 | 36
214.05/214.10 c 213s | 21 | 1557917 | 1313545 | 4923 634 | 18 | 36
216.06/216.10 c 215s | 21 | 1568406 | 1322945 | 4923 638 | 18 | 36
218.06/218.11 c 217s | 21 | 1579490 | 1332645 | 4923 642 | 18 | 36
220.07/220.13 c 219s | 21 | 1590413 | 1342645 | 4923 646 | 18 | 36
222.06/222.15 c 221s | 21 | 1601102 | 1352145 | 4923 649 | 18 | 36
224.06/224.17 c 223s | 21 | 1611217 | 1361245 | 4923 653 | 18 | 36
226.06/226.17 c 225s | 21 | 1620691 | 1370145 | 4923 656 | 18 | 36
228.06/228.19 c 227s | 21 | 1630377 | 1378845 | 4923 660 | 18 | 36
230.16/230.21 c 229s | 21 | 1640626 | 1387845 | 4923 663 | 18 | 36
232.16/232.22 c 231s | 21 | 1651373 | 1397045 | 4923 667 | 18 | 36
234.15/234.22 c 233s | 21 | 1661110 | 1405745 | 4923 670 | 18 | 36
236.15/236.25 c 235s | 21 | 1672567 | 1415345 | 4923 674 | 18 | 36
238.15/238.25 c 237s | 21 | 1683417 | 1424745 | 4923 677 | 18 | 36
240.15/240.26 c 239s | 21 | 1694360 | 1434145 | 4923 681 | 18 | 36
242.15/242.26 c 241s | 21 | 1704538 | 1442945 | 4923 685 | 18 | 36
244.16/244.27 c 243s | 21 | 1716275 | 1453045 | 4923 688 | 18 | 36
246.15/246.28 c 245s | 21 | 1728504 | 1463745 | 4923 693 | 18 | 36
248.25/248.31 c 247s | 21 | 1740009 | 1474045 | 4923 697 | 18 | 36
250.25/250.32 c 249s | 21 | 1755572 | 1485845 | 4923 701 | 18 | 36
252.25/252.33 c 251s | 21 | 1772393 | 1497745 | 5416 705 | 18 | 36
252.75/252.83 c 252s | 22 | 1776449 | 1500622 | 5416 706 | 18 | 36
254.75/254.83 c 254s | 22 | 1794518 | 1513422 | 5416 711 | 18 | 36
256.75/256.84 c 256s | 22 | 1811274 | 1525822 | 5416 715 | 18 | 36
258.75/258.84 c 258s | 22 | 1827419 | 1538022 | 5416 719 | 18 | 36
260.75/260.85 c 260s | 22 | 1843952 | 1550622 | 5416 724 | 18 | 36
262.75/262.86 c 262s | 22 | 1858568 | 1562022 | 5416 728 | 18 | 36
264.74/264.87 c 264s | 22 | 1873262 | 1573522 | 5416 732 | 18 | 36
266.84/266.92 c 266s | 22 | 1890310 | 1586222 | 5416 737 | 18 | 36
268.84/268.92 c 268s | 22 | 1906120 | 1598222 | 5416 741 | 18 | 36
270.85/270.93 c 270s | 22 | 1923292 | 1611222 | 5416 745 | 18 | 36
272.86/272.94 c 272s | 22 | 1939974 | 1623822 | 5416 750 | 18 | 36
274.85/274.95 c 274s | 22 | 1956912 | 1636422 | 5416 754 | 18 | 36
276.95/277.00 c 276s | 22 | 1972510 | 1648722 | 5416 759 | 18 | 36
278.95/279.01 c 278s | 22 | 1988661 | 1661922 | 5416 763 | 18 | 36
280.95/281.02 c 280s | 22 | 2002996 | 1673822 | 5416 767 | 18 | 36
282.95/283.02 c 282s | 22 | 2017209 | 1685222 | 5416 771 | 18 | 36
284.95/285.04 c 284s | 22 | 2033575 | 1697622 | 5416 776 | 18 | 36
286.95/287.05 c 286s | 22 | 2048444 | 1709522 | 5416 780 | 18 | 36
288.95/289.06 c 288s | 22 | 2063310 | 1721222 | 5416 784 | 18 | 36
290.94/291.07 c 290s | 22 | 2077272 | 1732722 | 5416 788 | 18 | 36
292.94/293.08 c 292s | 22 | 2090666 | 1744222 | 5416 792 | 18 | 36
294.94/295.09 c 294s | 22 | 2105436 | 1756122 | 5416 796 | 18 | 36
296.95/297.10 c 296s | 22 | 2119854 | 1767822 | 5416 801 | 18 | 36
299.04/299.12 c 298s | 22 | 2134514 | 1779722 | 5416 805 | 18 | 36
301.04/301.13 c 300s | 22 | 2149476 | 1791822 | 5416 809 | 18 | 36
303.04/303.14 c 302s | 22 | 2163002 | 1803022 | 5416 813 | 18 | 36
305.04/305.15 c 304s | 22 | 2176502 | 1814422 | 5416 817 | 18 | 36
307.15/307.22 c 306s | 22 | 2189839 | 1825722 | 5416 821 | 18 | 36
309.15/309.24 c 308s | 22 | 2205624 | 1838022 | 5416 825 | 18 | 36
311.14/311.24 c 310s | 22 | 2218652 | 1849322 | 5416 829 | 18 | 36
313.14/313.26 c 312s | 22 | 2231211 | 1860322 | 5416 833 | 18 | 36
315.14/315.27 c 314s | 22 | 2243977 | 1870922 | 5416 837 | 18 | 36
317.14/317.29 c 316s | 22 | 2256710 | 1881922 | 5416 841 | 18 | 36
319.14/319.29 c 318s | 22 | 2269873 | 1892622 | 5416 845 | 18 | 36
321.25/321.34 c 320s | 22 | 2284551 | 1904622 | 5416 849 | 18 | 36
323.24/323.34 c 322s | 22 | 2299654 | 1916722 | 5416 853 | 18 | 36
325.24/325.34 c 324s | 22 | 2313389 | 1927922 | 5416 857 | 18 | 36
327.34/327.40 c 327s | 22 | 2328830 | 1940222 | 5416 862 | 18 | 36
329.34/329.42 c 329s | 22 | 2343287 | 1951622 | 5416 866 | 18 | 36
331.34/331.43 c 331s | 22 | 2358893 | 1963422 | 5416 870 | 18 | 36
333.34/333.44 c 333s | 22 | 2374063 | 1975222 | 5416 874 | 18 | 36
335.34/335.45 c 335s | 22 | 2390128 | 1987722 | 5416 878 | 18 | 36
337.34/337.47 c 337s | 22 | 2404490 | 1999422 | 5416 882 | 18 | 36
339.34/339.49 c 339s | 22 | 2418982 | 2011122 | 5416 887 | 18 | 36
341.44/341.50 c 341s | 22 | 2432215 | 2022722 | 5416 891 | 18 | 36
343.43/343.51 c 343s | 22 | 2447362 | 2035022 | 5416 895 | 18 | 36
345.44/345.51 c 345s | 22 | 2463517 | 2047422 | 5416 899 | 18 | 36
347.43/347.52 c 347s | 22 | 2478310 | 2059022 | 5416 903 | 18 | 36
349.43/349.52 c 349s | 22 | 2493389 | 2070522 | 5416 907 | 18 | 36
351.43/351.53 c 351s | 22 | 2508431 | 2082022 | 5416 912 | 18 | 36
353.43/353.55 c 353s | 22 | 2523142 | 2093622 | 5416 916 | 18 | 36
355.43/355.55 c 355s | 22 | 2538483 | 2105022 | 5416 920 | 18 | 36
357.44/357.56 c 357s | 22 | 2553207 | 2116622 | 5416 924 | 18 | 36
359.43/359.56 c 359s | 22 | 2567290 | 2127722 | 5416 928 | 18 | 36
361.44/361.57 c 361s | 22 | 2580549 | 2138422 | 5416 931 | 18 | 36
363.44/363.59 c 363s | 22 | 2592826 | 2148422 | 5416 935 | 18 | 36
365.54/365.61 c 365s | 22 | 2607280 | 2160222 | 5416 939 | 18 | 36
367.54/367.61 c 367s | 22 | 2621186 | 2171822 | 5416 943 | 18 | 36
369.54/369.62 c 369s | 22 | 2634879 | 2183222 | 5416 947 | 18 | 36
371.54/371.63 c 371s | 22 | 2647825 | 2193922 | 5416 951 | 18 | 36
373.54/373.64 c 373s | 22 | 2662918 | 2205522 | 5416 955 | 18 | 36
375.54/375.64 c 375s | 22 | 2677792 | 2217322 | 5416 959 | 18 | 36
377.54/377.69 c 377s | 22 | 2692739 | 2228722 | 5416 963 | 18 | 36
379.63/379.70 c 379s | 22 | 2708630 | 2240622 | 5958 967 | 18 | 36
381.53/381.65 c 381s | 23 | 2722004 | 2251038 | 5958 971 | 18 | 36
383.53/383.66 c 383s | 23 | 2737957 | 2263038 | 5958 975 | 18 | 36
385.53/385.66 c 385s | 23 | 2755351 | 2275338 | 5958 978 | 18 | 36
387.53/387.67 c 387s | 23 | 2772756 | 2287738 | 5958 982 | 18 | 36
389.53/389.69 c 389s | 23 | 2789088 | 2299938 | 5958 986 | 18 | 36
391.53/391.69 c 391s | 23 | 2805447 | 2312038 | 5958 990 | 18 | 36
393.53/393.70 c 393s | 23 | 2820855 | 2323438 | 5958 994 | 18 | 36
395.63/395.73 c 395s | 23 | 2837239 | 2335138 | 5958 998 | 18 | 36
397.63/397.75 c 397s | 23 | 2853453 | 2346738 | 5958 1001 | 18 | 36
399.63/399.75 c 399s | 23 | 2869850 | 2358638 | 5958 1005 | 18 | 36
401.63/401.76 c 401s | 23 | 2885387 | 2369638 | 5958 1009 | 18 | 36
403.73/403.85 c 403s | 23 | 2902136 | 2381338 | 5958 1013 | 18 | 36
405.72/405.85 c 405s | 23 | 2918544 | 2392738 | 5958 1016 | 18 | 36
407.72/407.86 c 407s | 23 | 2933119 | 2403638 | 5958 1020 | 18 | 36
409.72/409.87 c 409s | 23 | 2947639 | 2414238 | 5958 1023 | 18 | 36
411.72/411.88 c 411s | 23 | 2961928 | 2424938 | 5958 1027 | 18 | 36
413.72/413.88 c 413s | 23 | 2977713 | 2436138 | 5958 1030 | 18 | 36
415.74/415.89 c 415s | 23 | 2993922 | 2447238 | 5958 1034 | 18 | 36
417.73/417.89 c 417s | 23 | 3010002 | 2458438 | 5958 1038 | 18 | 36
419.83/419.91 c 419s | 23 | 3025805 | 2470638 | 5958 1041 | 18 | 36
421.83/421.92 c 421s | 23 | 3040839 | 2482638 | 5958 1045 | 18 | 36
423.83/423.93 c 423s | 23 | 3054836 | 2494338 | 5958 1049 | 18 | 36
425.83/425.93 c 425s | 23 | 3068544 | 2505738 | 5958 1053 | 18 | 36
427.84/427.94 c 427s | 23 | 3081817 | 2517238 | 5958 1056 | 18 | 36
429.83/429.94 c 429s | 23 | 3095483 | 2528938 | 5958 1060 | 18 | 36
431.83/431.94 c 431s | 23 | 3108375 | 2539938 | 5958 1064 | 18 | 36
433.83/433.95 c 433s | 23 | 3122437 | 2551038 | 5958 1067 | 18 | 36
435.82/435.96 c 435s | 23 | 3138966 | 2562738 | 5958 1071 | 18 | 36
437.83/437.96 c 437s | 23 | 3154947 | 2573938 | 5958 1075 | 18 | 36
439.82/439.97 c 439s | 23 | 3171206 | 2585538 | 5958 1078 | 18 | 36
441.82/441.98 c 441s | 23 | 3186588 | 2597338 | 5958 1082 | 18 | 36
443.82/443.99 c 443s | 23 | 3200645 | 2608838 | 5958 1086 | 18 | 36
445.92/446.01 c 445s | 23 | 3213926 | 2619938 | 5958 1090 | 18 | 36
447.92/448.02 c 447s | 23 | 3227687 | 2631238 | 5958 1093 | 18 | 36
449.92/450.03 c 449s | 23 | 3240727 | 2642238 | 5958 1097 | 18 | 36
451.92/452.04 c 451s | 23 | 3254339 | 2653738 | 5958 1100 | 18 | 36
453.92/454.05 c 453s | 23 | 3267172 | 2664638 | 5958 1104 | 18 | 36
455.92/456.06 c 455s | 23 | 3279953 | 2675738 | 5958 1107 | 18 | 36
457.92/458.06 c 457s | 23 | 3293703 | 2687138 | 5958 1111 | 18 | 36
459.92/460.08 c 459s | 23 | 3307447 | 2698538 | 5958 1115 | 18 | 36
461.93/462.09 c 461s | 23 | 3320982 | 2709938 | 5958 1119 | 18 | 36
464.02/464.11 c 463s | 23 | 3334244 | 2721338 | 5958 1122 | 18 | 36
466.02/466.13 c 465s | 23 | 3346818 | 2732138 | 5958 1126 | 18 | 36
468.02/468.14 c 467s | 23 | 3360274 | 2743238 | 5958 1129 | 18 | 36
470.02/470.15 c 469s | 23 | 3373245 | 2753938 | 5958 1133 | 18 | 36
472.02/472.16 c 471s | 23 | 3385632 | 2764338 | 5958 1136 | 18 | 36
474.03/474.17 c 473s | 23 | 3397975 | 2774938 | 5958 1139 | 18 | 36
476.02/476.18 c 475s | 23 | 3410296 | 2785738 | 5958 1143 | 18 | 36
478.12/478.23 c 477s | 23 | 3422663 | 2796438 | 5958 1146 | 18 | 36
480.12/480.24 c 479s | 23 | 3435871 | 2807938 | 5958 1150 | 18 | 36
482.12/482.24 c 481s | 23 | 3448273 | 2818538 | 5958 1154 | 18 | 36
484.11/484.25 c 483s | 23 | 3461474 | 2829838 | 5958 1157 | 18 | 36
486.12/486.26 c 485s | 23 | 3473854 | 2840538 | 5958 1161 | 18 | 36
488.11/488.27 c 487s | 23 | 3486515 | 2851338 | 5958 1164 | 18 | 36
490.11/490.28 c 489s | 23 | 3500155 | 2862438 | 5958 1168 | 18 | 36
492.11/492.29 c 491s | 23 | 3514533 | 2873838 | 5958 1171 | 18 | 36
494.21/494.30 c 493s | 23 | 3528340 | 2884838 | 5958 1175 | 18 | 36
496.21/496.30 c 495s | 23 | 3541192 | 2895438 | 5958 1178 | 18 | 36
498.22/498.31 c 497s | 23 | 3553686 | 2905838 | 5958 1182 | 18 | 36
500.22/500.33 c 499s | 23 | 3565788 | 2916238 | 5958 1185 | 18 | 36
502.22/502.33 c 501s | 23 | 3577543 | 2926138 | 5958 1188 | 18 | 36
504.22/504.35 c 503s | 23 | 3590342 | 2936438 | 5958 1192 | 18 | 36
506.21/506.38 c 506s | 23 | 3601275 | 2945938 | 5958 1195 | 18 | 36
508.22/508.39 c 508s | 23 | 3614340 | 2956838 | 5958 1198 | 18 | 36
510.32/510.41 c 510s | 23 | 3626575 | 2967138 | 5958 1201 | 18 | 36
512.31/512.42 c 512s | 23 | 3640511 | 2978338 | 5958 1205 | 18 | 36
514.31/514.47 c 514s | 23 | 3653996 | 2989238 | 5958 1209 | 18 | 36
516.31/516.49 c 516s | 23 | 3667463 | 3000238 | 5958 1212 | 18 | 36
518.41/518.50 c 518s | 23 | 3679705 | 3010538 | 5958 1215 | 18 | 36
520.41/520.52 c 520s | 23 | 3693283 | 3021238 | 5958 1219 | 18 | 36
522.41/522.52 c 522s | 23 | 3705797 | 3031738 | 5958 1222 | 18 | 36
524.40/524.52 c 524s | 23 | 3719933 | 3043038 | 5958 1226 | 18 | 36
526.40/526.53 c 526s | 23 | 3734029 | 3054038 | 5958 1229 | 18 | 36
528.40/528.54 c 528s | 23 | 3746278 | 3064238 | 5958 1233 | 18 | 36
530.40/530.55 c 530s | 23 | 3758852 | 3074738 | 5958 1236 | 18 | 36
532.41/532.57 c 532s | 23 | 3770240 | 3084638 | 5958 1239 | 18 | 36
534.40/534.58 c 534s | 23 | 3781519 | 3094138 | 5958 1242 | 18 | 36
536.40/536.58 c 536s | 23 | 3794714 | 3104338 | 5958 1246 | 18 | 36
538.41/538.59 c 538s | 23 | 3808089 | 3114838 | 5958 1249 | 18 | 36
540.41/540.59 c 540s | 23 | 3821121 | 3125738 | 5958 1253 | 18 | 36
542.51/542.60 c 542s | 23 | 3832702 | 3135738 | 5958 1256 | 18 | 36
544.52/544.62 c 544s | 23 | 3844979 | 3146338 | 5958 1259 | 18 | 36
546.51/546.64 c 546s | 23 | 3856662 | 3156338 | 5958 1262 | 18 | 36
548.51/548.64 c 548s | 23 | 3868845 | 3166238 | 5958 1266 | 18 | 36
550.51/550.64 c 550s | 23 | 3882319 | 3177438 | 5958 1269 | 18 | 36
552.51/552.65 c 552s | 23 | 3894416 | 3187938 | 5958 1273 | 18 | 36
554.50/554.66 c 554s | 23 | 3908075 | 3199538 | 5958 1276 | 18 | 36
556.51/556.67 c 556s | 23 | 3921786 | 3210738 | 5958 1280 | 18 | 36
558.60/558.72 c 558s | 23 | 3934828 | 3221638 | 5958 1284 | 18 | 36
560.60/560.77 c 560s | 23 | 3946497 | 3231538 | 5958 1287 | 18 | 36
562.60/562.79 c 562s | 23 | 3958940 | 3242138 | 5958 1290 | 18 | 36
564.70/564.81 c 564s | 23 | 3970144 | 3251738 | 5958 1293 | 18 | 36
566.70/566.82 c 566s | 23 | 3982206 | 3261638 | 5958 1296 | 18 | 36
568.71/568.83 c 568s | 23 | 3993250 | 3270938 | 5958 1299 | 18 | 36
570.70/570.83 c 570s | 23 | 4005831 | 3281438 | 5958 1303 | 18 | 36
572.70/572.85 c 572s | 23 | 4018154 | 3291838 | 5958 1306 | 18 | 36
574.70/574.85 c 574s | 23 | 4031196 | 3302638 | 5958 1310 | 18 | 36
576.70/576.87 c 576s | 23 | 4045124 | 3313538 | 5958 1313 | 18 | 36
578.80/578.90 c 578s | 23 | 4057583 | 3323838 | 5958 1317 | 18 | 36
580.70/580.90 c 580s | 23 | 4069462 | 3333538 | 5958 1320 | 18 | 36
582.80/582.91 c 582s | 23 | 4081799 | 3343638 | 5958 1323 | 18 | 36
584.80/584.91 c 584s | 23 | 4094480 | 3354038 | 6554 1326 | 18 | 36
586.79/586.92 c 586s | 23 | 4106593 | 3364138 | 6554 1329 | 18 | 36
588.80/588.93 c 588s | 23 | 4119527 | 3374538 | 6554 1332 | 18 | 36
589.20/589.38 c 589s | 24 | 4122134 | 3376662 | 6554 1333 | 18 | 36
591.30/591.40 c 591s | 24 | 4133614 | 3385962 | 6554 1336 | 18 | 36
593.30/593.41 c 593s | 24 | 4146059 | 3396062 | 6554 1338 | 18 | 36
595.30/595.43 c 595s | 24 | 4158256 | 3406262 | 6554 1341 | 18 | 36
597.40/597.51 c 597s | 24 | 4169512 | 3415662 | 6554 1344 | 18 | 36
599.41/599.51 c 599s | 24 | 4182698 | 3426162 | 6554 1347 | 18 | 36
601.40/601.53 c 601s | 24 | 4194469 | 3435762 | 6554 1350 | 18 | 36
603.40/603.55 c 603s | 24 | 4207173 | 3445962 | 6554 1353 | 18 | 36
605.40/605.56 c 605s | 24 | 4218099 | 3455162 | 6554 1356 | 18 | 36
607.40/607.57 c 607s | 24 | 4231451 | 3466062 | 6554 1359 | 18 | 36
609.41/609.58 c 609s | 24 | 4243629 | 3475862 | 6554 1362 | 18 | 36
611.40/611.58 c 611s | 24 | 4255497 | 3485562 | 6554 1365 | 18 | 36
613.40/613.58 c 613s | 24 | 4267476 | 3495262 | 6554 1368 | 18 | 36
615.49/615.60 c 615s | 24 | 4278207 | 3504062 | 6554 1370 | 18 | 36
617.49/617.61 c 617s | 24 | 4289720 | 3513362 | 6554 1373 | 18 | 36
619.49/619.63 c 619s | 24 | 4302901 | 3523562 | 6554 1376 | 18 | 36
621.50/621.64 c 621s | 24 | 4314777 | 3533162 | 6554 1379 | 18 | 36
623.49/623.64 c 623s | 24 | 4326122 | 3542162 | 6554 1381 | 18 | 36
625.49/625.66 c 625s | 24 | 4338212 | 3551962 | 6554 1384 | 18 | 36
627.49/627.66 c 627s | 24 | 4350639 | 3561962 | 6554 1387 | 18 | 36
629.49/629.69 c 629s | 24 | 4363357 | 3572962 | 6554 1391 | 18 | 36
631.59/631.70 c 631s | 24 | 4375665 | 3582962 | 6554 1393 | 18 | 36
633.60/633.71 c 633s | 24 | 4386772 | 3592162 | 6554 1396 | 18 | 36
635.59/635.72 c 635s | 24 | 4398969 | 3601962 | 6554 1399 | 18 | 36
637.59/637.72 c 637s | 24 | 4411085 | 3611962 | 6554 1402 | 18 | 36
639.59/639.74 c 639s | 24 | 4422256 | 3621162 | 6554 1405 | 18 | 36
641.59/641.74 c 641s | 24 | 4433571 | 3630562 | 6554 1407 | 18 | 36
643.59/643.75 c 643s | 24 | 4444069 | 3639162 | 6554 1410 | 18 | 36
645.59/645.77 c 645s | 24 | 4454948 | 3648262 | 6554 1413 | 18 | 36
647.59/647.78 c 647s | 24 | 4466712 | 3657562 | 6554 1415 | 18 | 36
649.69/649.81 c 649s | 24 | 4479447 | 3668062 | 6554 1419 | 18 | 36
651.69/651.84 c 651s | 24 | 4492218 | 3677762 | 6554 1421 | 18 | 36
653.69/653.84 c 653s | 24 | 4506828 | 3689262 | 6554 1425 | 18 | 36
655.69/655.85 c 655s | 24 | 4519442 | 3699562 | 6554 1428 | 18 | 36
657.70/657.85 c 657s | 24 | 4533618 | 3710062 | 6554 1431 | 18 | 36
659.69/659.86 c 659s | 24 | 4548138 | 3720962 | 6554 1434 | 18 | 36
661.69/661.86 c 661s | 24 | 4561246 | 3731362 | 6554 1437 | 18 | 36
663.69/663.86 c 663s | 24 | 4572895 | 3741062 | 6554 1440 | 18 | 36
665.68/665.86 c 665s | 24 | 4585416 | 3751062 | 6554 1443 | 18 | 36
667.69/667.88 c 667s | 24 | 4597697 | 3760762 | 6554 1446 | 18 | 36
669.68/669.89 c 669s | 24 | 4609770 | 3770762 | 6554 1449 | 18 | 36
671.78/671.91 c 671s | 24 | 4621393 | 3780662 | 6554 1452 | 18 | 36
673.78/673.92 c 673s | 24 | 4632626 | 3789862 | 6554 1454 | 18 | 36
675.78/675.92 c 675s | 24 | 4644507 | 3799562 | 6554 1457 | 18 | 36
677.78/677.92 c 677s | 24 | 4655672 | 3808762 | 6554 1460 | 18 | 36
679.79/679.93 c 679s | 24 | 4667867 | 3818862 | 6554 1463 | 18 | 36
681.78/681.94 c 681s | 24 | 4679746 | 3828662 | 6554 1466 | 18 | 36
683.78/683.94 c 683s | 24 | 4690789 | 3837462 | 6554 1468 | 18 | 36
685.78/685.94 c 685s | 24 | 4704545 | 3847662 | 6554 1471 | 18 | 36
687.78/687.95 c 687s | 24 | 4720237 | 3859262 | 6554 1475 | 18 | 36
689.78/689.95 c 689s | 24 | 4733498 | 3869362 | 6554 1478 | 18 | 36
691.79/691.98 c 691s | 24 | 4748574 | 3880762 | 6554 1481 | 18 | 36
693.78/693.99 c 693s | 24 | 4763243 | 3892062 | 6554 1484 | 18 | 36
695.78/695.99 c 695s | 24 | 4776017 | 3902062 | 6554 1487 | 18 | 36
697.88/698.00 c 697s | 24 | 4788530 | 3912062 | 6554 1490 | 18 | 36
699.88/700.01 c 699s | 24 | 4801278 | 3922462 | 6554 1493 | 18 | 36
701.88/702.02 c 701s | 24 | 4814317 | 3933162 | 6554 1496 | 18 | 36
703.88/704.02 c 703s | 24 | 4827033 | 3943362 | 6554 1499 | 18 | 36
705.88/706.03 c 705s | 24 | 4840306 | 3953962 | 6554 1503 | 18 | 36
707.88/708.04 c 707s | 24 | 4852340 | 3963862 | 6554 1506 | 18 | 36
709.88/710.06 c 709s | 24 | 4864082 | 3973462 | 6554 1508 | 18 | 36
711.87/712.07 c 711s | 24 | 4877386 | 3983862 | 6554 1511 | 18 | 36
713.89/714.07 c 713s | 24 | 4888373 | 3992962 | 6554 1514 | 18 | 36
715.88/716.09 c 715s | 24 | 4901227 | 4003662 | 6554 1517 | 18 | 36
717.98/718.10 c 717s | 24 | 4913171 | 4013862 | 6554 1520 | 18 | 36
719.98/720.12 c 719s | 24 | 4923534 | 4022662 | 6554 1523 | 18 | 36
721.98/722.12 c 721s | 24 | 4935075 | 4032562 | 6554 1526 | 18 | 36
723.98/724.13 c 723s | 24 | 4947467 | 4043062 | 6554 1529 | 18 | 36
725.98/726.14 c 725s | 24 | 4958812 | 4052962 | 6554 1532 | 18 | 36
727.97/728.16 c 727s | 24 | 4969125 | 4061862 | 6554 1534 | 18 | 36
729.97/730.20 c 729s | 24 | 4981581 | 4072162 | 6554 1537 | 18 | 36
732.07/732.21 c 731s | 24 | 4994407 | 4083062 | 6554 1541 | 18 | 36
734.06/734.22 c 733s | 24 | 5004220 | 4091762 | 6554 1543 | 18 | 36
736.06/736.22 c 735s | 24 | 5016017 | 4101862 | 6554 1546 | 18 | 36
738.07/738.22 c 737s | 24 | 5026086 | 4110662 | 6554 1549 | 18 | 36
740.06/740.23 c 739s | 24 | 5038071 | 4121062 | 6554 1552 | 18 | 36
742.06/742.23 c 741s | 24 | 5049335 | 4131062 | 6554 1555 | 18 | 36
744.06/744.24 c 743s | 24 | 5060510 | 4140662 | 6554 1557 | 18 | 36
746.06/746.25 c 745s | 24 | 5072991 | 4150962 | 6554 1561 | 18 | 36
748.06/748.25 c 747s | 24 | 5085599 | 4161862 | 6554 1564 | 18 | 36
750.08/750.25 c 749s | 24 | 5097491 | 4172362 | 6554 1567 | 18 | 36
752.06/752.26 c 751s | 24 | 5108760 | 4181762 | 6554 1570 | 18 | 36
754.06/754.27 c 753s | 24 | 5120451 | 4191762 | 6554 1573 | 18 | 36
756.16/756.32 c 755s | 24 | 5132325 | 4201762 | 6554 1575 | 18 | 36
758.16/758.32 c 757s | 24 | 5142998 | 4211062 | 6554 1578 | 18 | 36
760.16/760.34 c 759s | 24 | 5153506 | 4220262 | 6554 1581 | 18 | 36
762.17/762.34 c 761s | 24 | 5165672 | 4230262 | 6554 1584 | 18 | 36
764.16/764.34 c 763s | 24 | 5178255 | 4240362 | 6554 1587 | 18 | 36
766.16/766.34 c 765s | 24 | 5189704 | 4249562 | 6554 1589 | 18 | 36
768.16/768.35 c 767s | 24 | 5202526 | 4259662 | 6554 1592 | 18 | 36
770.16/770.37 c 770s | 24 | 5215031 | 4269762 | 6554 1595 | 18 | 36
772.25/772.42 c 772s | 24 | 5228757 | 4280362 | 6554 1599 | 18 | 36
774.26/774.44 c 774s | 24 | 5242520 | 4291362 | 6554 1602 | 18 | 36
776.25/776.44 c 776s | 24 | 5253776 | 4300962 | 6554 1605 | 18 | 36
778.25/778.44 c 778s | 24 | 5264096 | 4309662 | 6554 1607 | 18 | 36
780.25/780.46 c 780s | 24 | 5276615 | 4319862 | 6554 1610 | 18 | 36
782.25/782.48 c 782s | 24 | 5287444 | 4329062 | 6554 1613 | 18 | 36
784.34/784.51 c 784s | 24 | 5298016 | 4338062 | 6554 1616 | 18 | 36
786.35/786.53 c 786s | 24 | 5309185 | 4347662 | 6554 1618 | 18 | 36
788.34/788.55 c 788s | 24 | 5320893 | 4357562 | 6554 1621 | 18 | 36
790.34/790.55 c 790s | 24 | 5330800 | 4366362 | 6554 1624 | 18 | 36
792.34/792.56 c 792s | 24 | 5339438 | 4374262 | 6554 1626 | 18 | 36
794.34/794.57 c 794s | 24 | 5348955 | 4382562 | 6554 1629 | 18 | 36
796.35/796.59 c 796s | 24 | 5360050 | 4392062 | 6554 1631 | 18 | 36
798.35/798.59 c 798s | 24 | 5369358 | 4400362 | 6554 1634 | 18 | 36
800.45/800.61 c 800s | 24 | 5380031 | 4409362 | 6554 1637 | 18 | 36
802.44/802.62 c 802s | 24 | 5391874 | 4419562 | 6554 1639 | 18 | 36
804.44/804.63 c 804s | 24 | 5401732 | 4428162 | 6554 1642 | 18 | 36
806.44/806.64 c 806s | 24 | 5412300 | 4437462 | 6554 1645 | 18 | 36
808.45/808.64 c 808s | 24 | 5424399 | 4447062 | 6554 1648 | 18 | 36
810.44/810.67 c 810s | 24 | 5437151 | 4457162 | 6554 1651 | 18 | 36
812.43/812.68 c 812s | 24 | 5451003 | 4468162 | 6554 1654 | 18 | 36
814.53/814.70 c 814s | 24 | 5462300 | 4477462 | 6554 1657 | 18 | 36
816.53/816.72 c 816s | 24 | 5473166 | 4486762 | 6554 1659 | 18 | 36
818.53/818.73 c 818s | 24 | 5484629 | 4496462 | 6554 1662 | 18 | 36
820.54/820.74 c 820s | 24 | 5494772 | 4505162 | 6554 1665 | 18 | 36
822.53/822.75 c 822s | 24 | 5505631 | 4514062 | 6554 1667 | 18 | 36
824.53/824.76 c 824s | 24 | 5515715 | 4522762 | 6554 1670 | 18 | 36
826.53/826.78 c 826s | 24 | 5525397 | 4530862 | 6554 1672 | 18 | 36
828.53/828.79 c 828s | 24 | 5536176 | 4540162 | 6554 1675 | 18 | 36
830.62/830.80 c 830s | 24 | 5547814 | 4549862 | 6554 1678 | 18 | 36
832.63/832.81 c 832s | 24 | 5560189 | 4560362 | 6554 1681 | 18 | 36
834.62/834.82 c 834s | 24 | 5571901 | 4570662 | 6554 1684 | 18 | 36
836.62/836.82 c 836s | 24 | 5582387 | 4579662 | 6554 1687 | 18 | 36
838.62/838.83 c 838s | 24 | 5595116 | 4589762 | 6554 1690 | 18 | 36
840.62/840.84 c 840s | 24 | 5606973 | 4599562 | 6554 1692 | 18 | 36
842.61/842.85 c 842s | 24 | 5617227 | 4608162 | 6554 1695 | 18 | 36
844.62/844.86 c 844s | 24 | 5629426 | 4618162 | 6554 1698 | 18 | 36
846.62/846.86 c 846s | 24 | 5641928 | 4628262 | 6554 1701 | 18 | 36
848.62/848.87 c 848s | 24 | 5655256 | 4638362 | 6554 1704 | 18 | 36
850.62/850.87 c 850s | 24 | 5667021 | 4647762 | 6554 1707 | 18 | 36
852.62/852.88 c 852s | 24 | 5679653 | 4657862 | 6554 1710 | 18 | 36
854.92/855.11 c 854s | 24 | 5691467 | 4667662 | 6554 1713 | 18 | 36
856.92/857.13 c 856s | 24 | 5705792 | 4678962 | 6554 1716 | 18 | 36
858.92/859.15 c 858s | 24 | 5717510 | 4688562 | 6554 1719 | 18 | 36
860.91/861.15 c 860s | 24 | 5731367 | 4698962 | 6554 1722 | 18 | 36
862.91/863.15 c 862s | 24 | 5743859 | 4708462 | 6554 1725 | 18 | 36
864.91/865.16 c 864s | 24 | 5756029 | 4717962 | 6554 1727 | 18 | 36
866.91/867.16 c 866s | 24 | 5768594 | 4727962 | 6554 1730 | 18 | 36
868.92/869.18 c 868s | 24 | 5780487 | 4737462 | 6554 1733 | 18 | 36
870.91/871.18 c 870s | 24 | 5792708 | 4747062 | 6554 1736 | 18 | 36
872.91/873.19 c 872s | 24 | 5803970 | 4755862 | 6554 1738 | 18 | 36
875.01/875.22 c 874s | 24 | 5815187 | 4764562 | 6554 1741 | 18 | 36
877.01/877.22 c 876s | 24 | 5826192 | 4773462 | 6554 1744 | 18 | 36
879.01/879.23 c 878s | 24 | 5836677 | 4782162 | 6554 1746 | 18 | 36
881.01/881.23 c 880s | 24 | 5846030 | 4789662 | 6554 1748 | 18 | 36
883.00/883.24 c 882s | 24 | 5858701 | 4799262 | 6554 1751 | 18 | 36
885.00/885.25 c 884s | 24 | 5869056 | 4807662 | 6554 1754 | 18 | 36
887.00/887.27 c 886s | 24 | 5880485 | 4817062 | 6554 1757 | 18 | 36
889.00/889.28 c 888s | 24 | 5892138 | 4826562 | 6554 1759 | 18 | 36
891.00/891.28 c 890s | 24 | 5903326 | 4835962 | 6554 1762 | 18 | 36
893.00/893.30 c 892s | 24 | 5914187 | 4845362 | 6554 1765 | 18 | 36
895.10/895.31 c 894s | 24 | 5925552 | 4854162 | 6554 1767 | 18 | 36
897.09/897.31 c 896s | 24 | 5936982 | 4863662 | 6554 1770 | 18 | 36
899.09/899.33 c 898s | 24 | 5948881 | 4873062 | 6554 1773 | 18 | 36
901.09/901.33 c 900s | 24 | 5960156 | 4882162 | 6554 1776 | 18 | 36
903.09/903.34 c 902s | 24 | 5971621 | 4891962 | 6554 1779 | 18 | 36
905.10/905.35 c 904s | 24 | 5982028 | 4901062 | 6554 1781 | 18 | 36
907.09/907.36 c 907s | 24 | 5991369 | 4909162 | 6554 1784 | 18 | 36
909.09/909.36 c 909s | 24 | 6001844 | 4917862 | 6554 1786 | 18 | 36
911.08/911.38 c 911s | 24 | 6015063 | 4928262 | 6554 1789 | 18 | 36
913.08/913.39 c 913s | 24 | 6028221 | 4938462 | 6554 1792 | 18 | 36
915.18/915.40 c 915s | 24 | 6039645 | 4947562 | 6554 1795 | 18 | 36
917.19/917.41 c 917s | 24 | 6051335 | 4957062 | 6554 1798 | 18 | 36
919.18/919.41 c 919s | 24 | 6061865 | 4965762 | 6554 1800 | 18 | 36
921.18/921.42 c 921s | 24 | 6071401 | 4973862 | 6554 1803 | 18 | 36
923.19/923.44 c 923s | 24 | 6081919 | 4982862 | 6554 1805 | 18 | 36
925.19/925.46 c 925s | 24 | 6093763 | 4992562 | 6554 1808 | 18 | 36
927.19/927.46 c 927s | 24 | 6104090 | 5001562 | 6554 1811 | 18 | 36
929.18/929.49 c 929s | 24 | 6113855 | 5010262 | 6554 1813 | 18 | 36
931.28/931.50 c 931s | 24 | 6123310 | 5018562 | 6554 1816 | 18 | 36
933.28/933.56 c 933s | 24 | 6133234 | 5026962 | 6554 1818 | 18 | 36
935.28/935.57 c 935s | 24 | 6145706 | 5036762 | 7210 1821 | 18 | 36
937.28/937.58 c 937s | 24 | 6158429 | 5047462 | 7210 1824 | 18 | 36
939.28/939.59 c 939s | 24 | 6170715 | 5057762 | 7210 1827 | 18 | 36
940.77/941.07 c 940s | 25 | 6179740 | 5065098 | 7210 1828 | 18 | 36
942.77/943.07 c 942s | 25 | 6193107 | 5076098 | 7210 1831 | 18 | 36
944.78/945.08 c 944s | 25 | 6204592 | 5085998 | 7210 1834 | 18 | 36
946.77/947.09 c 946s | 25 | 6216607 | 5096598 | 7210 1837 | 18 | 36
948.87/949.10 c 948s | 25 | 6228117 | 5106798 | 7210 1840 | 18 | 36
950.86/951.12 c 950s | 25 | 6239581 | 5117098 | 7210 1842 | 18 | 36
952.87/953.13 c 952s | 25 | 6250206 | 5126498 | 7210 1845 | 18 | 36
954.87/955.15 c 954s | 25 | 6261520 | 5136198 | 7210 1848 | 18 | 36
956.88/957.16 c 956s | 25 | 6274211 | 5146998 | 7210 1850 | 18 | 36
958.87/959.16 c 958s | 25 | 6286299 | 5157398 | 7210 1853 | 18 | 36
960.86/961.17 c 960s | 25 | 6297552 | 5167098 | 7210 1856 | 18 | 36
962.86/963.18 c 962s | 25 | 6309437 | 5176998 | 7210 1858 | 18 | 36
964.86/965.19 c 964s | 25 | 6321461 | 5187298 | 7210 1861 | 18 | 36
966.86/967.20 c 966s | 25 | 6333500 | 5197598 | 7210 1864 | 18 | 36
968.97/969.21 c 968s | 25 | 6345296 | 5207798 | 7210 1867 | 18 | 36
970.95/971.22 c 970s | 25 | 6356057 | 5216798 | 7210 1869 | 18 | 36
972.95/973.23 c 972s | 25 | 6368882 | 5227598 | 7210 1872 | 18 | 36
974.95/975.24 c 974s | 25 | 6380674 | 5237798 | 7210 1875 | 18 | 36
976.95/977.26 c 976s | 25 | 6393537 | 5248198 | 7210 1878 | 18 | 36
978.96/979.26 c 978s | 25 | 6406333 | 5259098 | 7210 1880 | 18 | 36
980.96/981.27 c 980s | 25 | 6418227 | 5269198 | 7210 1883 | 18 | 36
982.95/983.27 c 982s | 25 | 6428232 | 5277898 | 7210 1885 | 18 | 36
985.05/985.30 c 984s | 25 | 6440647 | 5288498 | 7210 1888 | 18 | 36
987.05/987.32 c 986s | 25 | 6452226 | 5298598 | 7210 1891 | 18 | 36
989.25/989.50 c 989s | 25 | 6463477 | 5308398 | 7210 1894 | 18 | 36
991.25/991.51 c 991s | 25 | 6474115 | 5317698 | 7210 1896 | 18 | 36
993.25/993.52 c 993s | 25 | 6484649 | 5326898 | 7210 1899 | 18 | 36
995.25/995.54 c 995s | 25 | 6496773 | 5337198 | 7210 1901 | 18 | 36
997.25/997.56 c 997s | 25 | 6508354 | 5347198 | 7210 1904 | 18 | 36
999.25/999.56 c 999s | 25 | 6520222 | 5356998 | 7210 1907 | 18 | 36
1001.24/1001.58 c 1001s | 25 | 6533293 | 5367698 | 7210 1910 | 18 | 36
1003.24/1003.59 c 1003s | 25 | 6545198 | 5377798 | 7210 1912 | 18 | 36
1005.34/1005.60 c 1005s | 25 | 6556888 | 5387498 | 7210 1915 | 18 | 36
1007.34/1007.63 c 1007s | 25 | 6568897 | 5397598 | 7210 1918 | 18 | 36
1009.34/1009.63 c 1009s | 25 | 6579916 | 5407098 | 7210 1920 | 18 | 36
1011.34/1011.63 c 1011s | 25 | 6589930 | 5415898 | 7210 1922 | 18 | 36
1013.34/1013.65 c 1013s | 25 | 6600421 | 5424998 | 7210 1925 | 18 | 36
1015.34/1015.65 c 1015s | 25 | 6611007 | 5434198 | 7210 1927 | 18 | 36
1017.34/1017.66 c 1017s | 25 | 6621447 | 5443098 | 7210 1930 | 18 | 36
1019.33/1019.67 c 1019s | 25 | 6631873 | 5451998 | 7210 1932 | 18 | 36
1021.34/1021.67 c 1021s | 25 | 6642630 | 5461198 | 7210 1935 | 18 | 36
1023.34/1023.67 c 1023s | 25 | 6651918 | 5469298 | 7210 1937 | 18 | 36
1025.34/1025.68 c 1025s | 25 | 6663061 | 5478498 | 7210 1939 | 18 | 36
1027.34/1027.69 c 1027s | 25 | 6672828 | 5486598 | 7210 1941 | 18 | 36
1029.44/1029.71 c 1029s | 25 | 6683660 | 5495698 | 7210 1944 | 18 | 36
1031.43/1031.73 c 1031s | 25 | 6693497 | 5503998 | 7210 1946 | 18 | 36
1033.43/1033.74 c 1033s | 25 | 6704997 | 5513498 | 7210 1949 | 18 | 36
1035.43/1035.77 c 1035s | 25 | 6715281 | 5522098 | 7210 1951 | 18 | 36
1037.43/1037.78 c 1037s | 25 | 6725929 | 5530998 | 7210 1953 | 18 | 36
1039.43/1039.78 c 1039s | 25 | 6737438 | 5540798 | 7210 1956 | 18 | 36
1041.43/1041.79 c 1041s | 25 | 6747735 | 5549798 | 7210 1958 | 18 | 36
1043.52/1043.80 c 1043s | 25 | 6758471 | 5559098 | 7210 1961 | 18 | 36
1045.52/1045.82 c 1045s | 25 | 6768740 | 5567998 | 7210 1963 | 18 | 36
1047.52/1047.82 c 1047s | 25 | 6778160 | 5576398 | 7210 1965 | 18 | 36
1049.52/1049.82 c 1049s | 25 | 6788220 | 5584998 | 7210 1968 | 18 | 36
1051.51/1051.82 c 1051s | 25 | 6800526 | 5595198 | 7210 1970 | 18 | 36
1053.52/1053.83 c 1053s | 25 | 6811087 | 5604098 | 7210 1973 | 18 | 36
1055.51/1055.84 c 1055s | 25 | 6822434 | 5613498 | 7210 1975 | 18 | 36
1057.51/1057.87 c 1057s | 25 | 6835181 | 5624298 | 7210 1978 | 18 | 36
1059.51/1059.88 c 1059s | 25 | 6846460 | 5633798 | 7210 1981 | 18 | 36
1061.52/1061.89 c 1061s | 25 | 6858170 | 5643598 | 7210 1983 | 18 | 36
1063.52/1063.89 c 1063s | 25 | 6870451 | 5653798 | 7210 1986 | 18 | 36
1065.51/1065.89 c 1065s | 25 | 6881306 | 5663098 | 7210 1989 | 18 | 36
1067.61/1067.90 c 1067s | 25 | 6893354 | 5673298 | 7210 1991 | 18 | 36
1069.61/1069.91 c 1069s | 25 | 6904469 | 5682598 | 7210 1994 | 18 | 36
1071.61/1071.91 c 1071s | 25 | 6915688 | 5691898 | 7210 1996 | 18 | 36
1073.61/1073.91 c 1073s | 25 | 6927651 | 5701898 | 7210 1999 | 18 | 36
1075.61/1075.94 c 1075s | 25 | 6938548 | 5710998 | 7210 2002 | 18 | 36
1077.61/1077.96 c 1077s | 25 | 6951208 | 5721398 | 7210 2004 | 18 | 36
1079.70/1080.00 c 1079s | 25 | 6962816 | 5730898 | 7210 2007 | 18 | 36
1081.70/1082.02 c 1081s | 25 | 6975167 | 5740898 | 7210 2010 | 18 | 36
1083.70/1084.03 c 1083s | 25 | 6986141 | 5749998 | 7210 2012 | 18 | 36
1085.70/1086.05 c 1085s | 25 | 6997337 | 5759298 | 7210 2014 | 18 | 36
1087.71/1088.06 c 1087s | 25 | 7009712 | 5769498 | 7210 2017 | 18 | 36
1089.70/1090.07 c 1089s | 25 | 7020373 | 5778698 | 7210 2020 | 18 | 36
1091.70/1092.08 c 1091s | 25 | 7032234 | 5788598 | 7210 2022 | 18 | 36
1093.79/1094.10 c 1093s | 25 | 7045205 | 5798998 | 7210 2025 | 18 | 36
1095.79/1096.11 c 1095s | 25 | 7055794 | 5807898 | 7210 2027 | 18 | 36
1097.79/1098.15 c 1097s | 25 | 7067643 | 5817898 | 7210 2030 | 18 | 36
1099.80/1100.16 c 1099s | 25 | 7079844 | 5827798 | 7210 2033 | 18 | 36
1101.79/1102.19 c 1101s | 25 | 7091762 | 5837798 | 7210 2036 | 18 | 36
1103.89/1104.21 c 1103s | 25 | 7103079 | 5847598 | 7210 2038 | 18 | 36
1105.88/1106.21 c 1105s | 25 | 7113383 | 5856398 | 7210 2040 | 18 | 36
1107.88/1108.21 c 1107s | 25 | 7124750 | 5866098 | 7210 2043 | 18 | 36
1109.88/1110.22 c 1109s | 25 | 7135769 | 5875398 | 7210 2046 | 18 | 36
1111.89/1112.23 c 1111s | 25 | 7146039 | 5884098 | 7210 2048 | 18 | 36
1113.88/1114.24 c 1113s | 25 | 7158178 | 5893998 | 7210 2051 | 18 | 36
1115.89/1116.25 c 1115s | 25 | 7169242 | 5903198 | 7210 2053 | 18 | 36
1117.89/1118.26 c 1117s | 25 | 7181309 | 5913298 | 7210 2056 | 18 | 36
1119.89/1120.27 c 1119s | 25 | 7194635 | 5924198 | 7210 2059 | 18 | 36
1121.88/1122.29 c 1121s | 25 | 7205745 | 5934098 | 7210 2061 | 18 | 36
1123.89/1124.29 c 1123s | 25 | 7216680 | 5943698 | 7210 2064 | 18 | 36
1125.98/1126.30 c 1125s | 25 | 7226866 | 5952998 | 7210 2066 | 18 | 36
1127.98/1128.32 c 1127s | 25 | 7239659 | 5964098 | 7210 2069 | 18 | 36
1129.98/1130.32 c 1129s | 25 | 7252338 | 5975198 | 7210 2072 | 18 | 36
1131.97/1132.33 c 1131s | 25 | 7264587 | 5985998 | 7210 2075 | 18 | 36
1133.97/1134.34 c 1133s | 25 | 7277207 | 5996298 | 7210 2078 | 18 | 36
1135.98/1136.36 c 1136s | 25 | 7289616 | 6007298 | 7210 2081 | 18 | 36
1137.97/1138.37 c 1138s | 25 | 7301259 | 6017398 | 7210 2084 | 18 | 36
1139.97/1140.38 c 1140s | 25 | 7312235 | 6026898 | 7210 2086 | 18 | 36
1141.97/1142.39 c 1142s | 25 | 7324580 | 6037298 | 7210 2089 | 18 | 36
1144.07/1144.41 c 1144s | 25 | 7336107 | 6047098 | 7210 2092 | 18 | 36
1146.07/1146.42 c 1146s | 25 | 7347307 | 6056898 | 7210 2094 | 18 | 36
1148.08/1148.43 c 1148s | 25 | 7358082 | 6066198 | 7210 2097 | 18 | 36
1150.07/1150.48 c 1150s | 25 | 7369412 | 6076198 | 7210 2099 | 18 | 36
1152.07/1152.50 c 1152s | 25 | 7381237 | 6086698 | 7210 2102 | 18 | 36
1154.17/1154.50 c 1154s | 25 | 7391740 | 6096098 | 7210 2105 | 18 | 36
1156.17/1156.50 c 1156s | 25 | 7403073 | 6106198 | 7210 2107 | 18 | 36
1158.17/1158.52 c 1158s | 25 | 7413917 | 6115998 | 7210 2110 | 18 | 36
1160.27/1160.61 c 1160s | 25 | 7423160 | 6124298 | 7210 2112 | 18 | 36
1162.26/1162.65 c 1162s | 25 | 7433554 | 6133498 | 7210 2115 | 18 | 36
1164.26/1164.67 c 1164s | 25 | 7445023 | 6143398 | 7210 2117 | 18 | 36
1166.25/1166.68 c 1166s | 25 | 7456293 | 6153398 | 7210 2120 | 18 | 36
1168.35/1168.71 c 1168s | 25 | 7467583 | 6163298 | 7210 2123 | 18 | 36
1170.35/1170.72 c 1170s | 25 | 7479470 | 6173598 | 7210 2125 | 18 | 36
1172.36/1172.73 c 1172s | 25 | 7491361 | 6183898 | 7210 2128 | 18 | 36
1174.35/1174.74 c 1174s | 25 | 7502404 | 6193398 | 7210 2131 | 18 | 36
1176.35/1176.76 c 1176s | 25 | 7513226 | 6202898 | 7210 2133 | 18 | 36
1178.35/1178.77 c 1178s | 25 | 7523087 | 6211598 | 7210 2136 | 18 | 36
1180.35/1180.78 c 1180s | 25 | 7534357 | 6221398 | 7210 2138 | 18 | 36
1182.35/1182.79 c 1182s | 25 | 7547181 | 6231898 | 7210 2141 | 18 | 36
1184.36/1184.79 c 1184s | 25 | 7559006 | 6241398 | 7210 2144 | 18 | 36
1186.45/1186.80 c 1186s | 25 | 7570427 | 6250798 | 7210 2146 | 18 | 36
1188.45/1188.80 c 1188s | 25 | 7582418 | 6260698 | 7210 2149 | 18 | 36
1190.45/1190.81 c 1190s | 25 | 7594857 | 6270998 | 7210 2152 | 18 | 36
1192.45/1192.81 c 1192s | 25 | 7607870 | 6281698 | 7210 2154 | 18 | 36
1194.45/1194.81 c 1194s | 25 | 7619250 | 6290998 | 7210 2157 | 18 | 36
1196.45/1196.81 c 1196s | 25 | 7631155 | 6300998 | 7210 2160 | 18 | 36
1198.45/1198.83 c 1198s | 25 | 7643895 | 6311298 | 7210 2162 | 18 | 36
1200.45/1200.84 c 1200s | 25 | 7656269 | 6321598 | 7210 2165 | 18 | 36
1202.54/1202.91 c 1202s | 25 | 7666875 | 6330498 | 7210 2168 | 18 | 36
1204.54/1204.92 c 1204s | 25 | 7678931 | 6340698 | 7210 2170 | 18 | 36
1206.54/1206.93 c 1206s | 25 | 7690494 | 6350198 | 7210 2173 | 18 | 36
1208.55/1208.93 c 1208s | 25 | 7703733 | 6360998 | 7210 2176 | 18 | 36
1210.54/1210.94 c 1210s | 25 | 7715382 | 6370798 | 7210 2178 | 18 | 36
1212.53/1212.96 c 1212s | 25 | 7727051 | 6380298 | 7210 2181 | 18 | 36
1214.53/1214.97 c 1214s | 25 | 7739000 | 6389998 | 7210 2183 | 18 | 36
1216.53/1216.98 c 1216s | 25 | 7750309 | 6399298 | 7210 2186 | 18 | 36
1218.63/1219.00 c 1218s | 25 | 7762440 | 6408998 | 7210 2189 | 18 | 36
1220.53/1221.00 c 1220s | 25 | 7773845 | 6418298 | 7210 2191 | 18 | 36
1222.63/1223.01 c 1222s | 25 | 7785861 | 6428198 | 7210 2194 | 18 | 36
1224.63/1225.02 c 1224s | 25 | 7798412 | 6438498 | 7210 2196 | 18 | 36
1226.63/1227.03 c 1226s | 25 | 7811722 | 6448998 | 7210 2199 | 18 | 36
1228.63/1229.04 c 1228s | 25 | 7824838 | 6459598 | 7210 2202 | 18 | 36
1230.63/1231.05 c 1230s | 25 | 7837863 | 6470298 | 7210 2205 | 18 | 36
1232.62/1233.05 c 1232s | 25 | 7850781 | 6480498 | 7210 2208 | 18 | 36
1234.62/1235.05 c 1234s | 25 | 7864565 | 6491698 | 7210 2211 | 18 | 36
1236.63/1237.06 c 1236s | 25 | 7876616 | 6501298 | 7210 2213 | 18 | 36
1238.63/1239.06 c 1238s | 25 | 7889391 | 6511898 | 7210 2216 | 18 | 36
1240.63/1241.07 c 1240s | 25 | 7901383 | 6521998 | 7210 2219 | 18 | 36
1242.63/1243.09 c 1242s | 25 | 7912696 | 6531798 | 7210 2221 | 18 | 36
1244.62/1245.09 c 1244s | 25 | 7923741 | 6540798 | 7210 2224 | 18 | 36
1246.72/1247.10 c 1246s | 25 | 7936856 | 6551698 | 7210 2227 | 18 | 36
1248.72/1249.11 c 1248s | 25 | 7948964 | 6561498 | 7210 2229 | 18 | 36
1250.72/1251.11 c 1250s | 25 | 7961555 | 6571898 | 7210 2232 | 18 | 36
1252.71/1253.12 c 1252s | 25 | 7973729 | 6581998 | 7210 2235 | 18 | 36
1254.72/1255.13 c 1254s | 25 | 7984746 | 6591398 | 7210 2237 | 18 | 36
1256.81/1257.24 c 1256s | 25 | 7996846 | 6601598 | 7210 2240 | 18 | 36
1258.81/1259.26 c 1258s | 25 | 8009625 | 6611798 | 7210 2243 | 18 | 36
1260.80/1261.29 c 1260s | 25 | 8021568 | 6621698 | 7210 2246 | 18 | 36
1262.90/1263.30 c 1262s | 25 | 8034641 | 6632298 | 7210 2248 | 18 | 36
1264.90/1265.31 c 1264s | 25 | 8046544 | 6642098 | 7210 2251 | 18 | 36
1266.91/1267.31 c 1266s | 25 | 8058197 | 6651798 | 7210 2254 | 18 | 36
1268.90/1269.31 c 1268s | 25 | 8069566 | 6661498 | 7210 2256 | 18 | 36
1270.90/1271.32 c 1270s | 25 | 8081283 | 6671298 | 7210 2259 | 18 | 36
1272.90/1273.34 c 1272s | 25 | 8092807 | 6680998 | 7210 2262 | 18 | 36
1274.90/1275.36 c 1275s | 25 | 8105579 | 6691398 | 7210 2264 | 18 | 36
1276.90/1277.36 c 1277s | 25 | 8117424 | 6701298 | 7210 2267 | 18 | 36
1278.91/1279.38 c 1279s | 25 | 8128445 | 6710698 | 7210 2269 | 18 | 36
1280.90/1281.38 c 1281s | 25 | 8138966 | 6719498 | 7210 2272 | 18 | 36
1282.90/1283.38 c 1283s | 25 | 8150833 | 6729398 | 7210 2275 | 18 | 36
1284.90/1285.39 c 1285s | 25 | 8162671 | 6739198 | 7210 2277 | 18 | 36
1287.00/1287.40 c 1287s | 25 | 8174640 | 6749098 | 7210 2280 | 18 | 36
1289.00/1289.41 c 1289s | 25 | 8186892 | 6759198 | 7210 2283 | 18 | 36
1291.00/1291.41 c 1291s | 25 | 8199048 | 6769498 | 7210 2285 | 18 | 36
1292.99/1293.43 c 1293s | 25 | 8210234 | 6779398 | 7210 2288 | 18 | 36
1294.99/1295.44 c 1295s | 25 | 8221991 | 6789798 | 7210 2291 | 18 | 36
1296.99/1297.45 c 1297s | 25 | 8232954 | 6799498 | 7210 2293 | 18 | 36
1298.99/1299.46 c 1299s | 25 | 8242840 | 6808298 | 7210 2296 | 18 | 36
1300.99/1301.47 c 1301s | 25 | 8254167 | 6818498 | 7210 2298 | 18 | 36
1302.98/1303.48 c 1303s | 25 | 8264797 | 6827698 | 7210 2301 | 18 | 36
1305.08/1305.50 c 1305s | 25 | 8275850 | 6837298 | 7210 2303 | 18 | 36
1307.08/1307.50 c 1307s | 25 | 8285892 | 6845798 | 7210 2306 | 18 | 36
1309.08/1309.50 c 1309s | 25 | 8297492 | 6855798 | 7210 2308 | 18 | 36
1311.09/1311.53 c 1311s | 25 | 8309869 | 6866598 | 7210 2311 | 18 | 36
1313.09/1313.54 c 1313s | 25 | 8321026 | 6876398 | 7210 2314 | 18 | 36
1315.09/1315.55 c 1315s | 25 | 8331466 | 6885598 | 7210 2316 | 18 | 36
1317.08/1317.56 c 1317s | 25 | 8343050 | 6895698 | 7210 2319 | 18 | 36
1319.08/1319.57 c 1319s | 25 | 8354039 | 6905098 | 7210 2322 | 18 | 36
1321.08/1321.58 c 1321s | 25 | 8366124 | 6915398 | 7210 2324 | 18 | 36
1323.18/1323.60 c 1323s | 25 | 8377944 | 6925498 | 7210 2327 | 18 | 36
1325.18/1325.69 c 1325s | 25 | 8388959 | 6935098 | 7210 2330 | 18 | 36
1327.18/1327.70 c 1327s | 25 | 8401411 | 6945698 | 7210 2332 | 18 | 36
1329.27/1329.71 c 1329s | 25 | 8413344 | 6955698 | 7210 2335 | 18 | 36
1331.27/1331.72 c 1331s | 25 | 8426009 | 6965998 | 7210 2338 | 18 | 36
1333.27/1333.72 c 1333s | 25 | 8439081 | 6976698 | 7210 2341 | 18 | 36
1335.27/1335.73 c 1335s | 25 | 8449891 | 6986098 | 7210 2343 | 18 | 36
1337.28/1337.75 c 1337s | 25 | 8461462 | 6995898 | 7210 2346 | 18 | 36
1339.27/1339.77 c 1339s | 25 | 8471608 | 7004898 | 7210 2348 | 18 | 36
1341.27/1341.78 c 1341s | 25 | 8483028 | 7014398 | 7210 2351 | 18 | 36
1343.37/1343.81 c 1343s | 25 | 8494411 | 7024098 | 7210 2354 | 18 | 36
1345.37/1345.83 c 1345s | 25 | 8505331 | 7033298 | 7210 2356 | 18 | 36
1347.37/1347.84 c 1347s | 25 | 8516572 | 7042798 | 7210 2359 | 18 | 36
1349.38/1349.84 c 1349s | 25 | 8527674 | 7052198 | 7210 2361 | 18 | 36
1351.37/1351.85 c 1351s | 25 | 8537919 | 7061098 | 7210 2363 | 18 | 36
1353.37/1353.85 c 1353s | 25 | 8548574 | 7070198 | 7210 2366 | 18 | 36
1355.37/1355.86 c 1355s | 25 | 8559387 | 7079598 | 7210 2368 | 18 | 36
1357.37/1357.86 c 1357s | 25 | 8568996 | 7087898 | 7210 2371 | 18 | 36
1359.37/1359.87 c 1359s | 25 | 8579873 | 7097198 | 7210 2373 | 18 | 36
1361.37/1361.88 c 1361s | 25 | 8591399 | 7107198 | 7210 2376 | 18 | 36
1363.37/1363.88 c 1363s | 25 | 8602347 | 7116798 | 7210 2378 | 18 | 36
1365.37/1365.89 c 1365s | 25 | 8613151 | 7126198 | 7210 2381 | 18 | 36
1367.36/1367.89 c 1367s | 25 | 8622527 | 7134798 | 7210 2383 | 18 | 36
1369.46/1369.91 c 1369s | 25 | 8632171 | 7143398 | 7210 2386 | 18 | 36
1371.46/1371.93 c 1371s | 25 | 8643626 | 7153298 | 7210 2388 | 18 | 36
1373.47/1373.94 c 1373s | 25 | 8656291 | 7163698 | 7210 2391 | 18 | 36
1375.46/1375.95 c 1375s | 25 | 8669243 | 7174098 | 7210 2394 | 18 | 36
1377.46/1377.96 c 1377s | 25 | 8680991 | 7184298 | 7210 2397 | 18 | 36
1379.46/1379.97 c 1379s | 25 | 8692505 | 7193998 | 7210 2399 | 18 | 36
1381.46/1381.98 c 1381s | 25 | 8705371 | 7204598 | 7210 2402 | 18 | 36
1383.46/1383.99 c 1383s | 25 | 8718285 | 7215098 | 7210 2405 | 18 | 36
1385.56/1386.01 c 1385s | 25 | 8731075 | 7225898 | 7210 2408 | 18 | 36
1387.56/1388.05 c 1387s | 25 | 8743142 | 7236398 | 7210 2411 | 18 | 36
1389.56/1390.06 c 1389s | 25 | 8754805 | 7246598 | 7210 2413 | 18 | 36
1391.56/1392.06 c 1391s | 25 | 8766761 | 7257098 | 7210 2416 | 18 | 36
1393.56/1394.07 c 1393s | 25 | 8777379 | 7266498 | 7210 2419 | 18 | 36
1395.56/1396.07 c 1395s | 25 | 8789681 | 7277198 | 7210 2421 | 18 | 36
1397.66/1398.11 c 1397s | 25 | 8800100 | 7286498 | 7210 2424 | 18 | 36
1399.66/1400.12 c 1399s | 25 | 8811603 | 7296598 | 7210 2427 | 18 | 36
1401.66/1402.12 c 1401s | 25 | 8822628 | 7305998 | 7210 2429 | 18 | 36
1403.66/1404.12 c 1403s | 25 | 8834333 | 7316098 | 7210 2432 | 18 | 36
1405.66/1406.14 c 1405s | 25 | 8844094 | 7324798 | 7210 2434 | 18 | 36
1407.67/1408.14 c 1407s | 25 | 8855451 | 7334498 | 7210 2437 | 18 | 36
1409.66/1410.15 c 1409s | 25 | 8866022 | 7343698 | 7210 2439 | 18 | 36
1411.76/1412.22 c 1411s | 25 | 8876220 | 7352298 | 7210 2442 | 18 | 36
1413.76/1414.26 c 1413s | 25 | 8887062 | 7361598 | 7210 2444 | 18 | 36
1415.76/1416.26 c 1415s | 25 | 8898761 | 7371598 | 7210 2447 | 18 | 36
1417.86/1418.30 c 1417s | 25 | 8910796 | 7381598 | 7210 2450 | 18 | 36
1419.86/1420.30 c 1419s | 25 | 8922736 | 7391698 | 7210 2452 | 18 | 36
1421.86/1422.31 c 1421s | 25 | 8933241 | 7400798 | 7210 2455 | 18 | 36
1423.86/1424.31 c 1423s | 25 | 8945339 | 7411298 | 7210 2457 | 18 | 36
1425.86/1426.31 c 1425s | 25 | 8956829 | 7421298 | 7210 2460 | 18 | 36
1427.86/1428.32 c 1427s | 25 | 8969541 | 7432098 | 7210 2463 | 18 | 36
1429.86/1430.33 c 1429s | 25 | 8981158 | 7441898 | 7210 2466 | 18 | 36
1431.86/1432.34 c 1431s | 25 | 8993258 | 7451798 | 7210 2468 | 18 | 36
1433.85/1434.36 c 1434s | 25 | 9005095 | 7461798 | 7210 2471 | 18 | 36
1435.85/1436.37 c 1436s | 25 | 9017972 | 7472298 | 7210 2474 | 18 | 36
1437.85/1438.39 c 1438s | 25 | 9029269 | 7482198 | 7210 2477 | 18 | 36
1439.95/1440.40 c 1440s | 25 | 9041351 | 7492398 | 7210 2479 | 18 | 36
1441.95/1442.41 c 1442s | 25 | 9053022 | 7501998 | 7210 2482 | 18 | 36
1443.96/1444.43 c 1444s | 25 | 9066005 | 7513098 | 7210 2485 | 18 | 36
1445.96/1446.44 c 1446s | 25 | 9079648 | 7524198 | 7210 2488 | 18 | 36
1447.96/1448.45 c 1448s | 25 | 9091910 | 7534698 | 7210 2491 | 18 | 36
1449.96/1450.47 c 1450s | 25 | 9103842 | 7544798 | 7932 2493 | 18 | 36
1451.96/1452.48 c 1452s | 25 | 9116669 | 7555298 | 7932 2496 | 18 | 36
1453.96/1454.49 c 1454s | 25 | 9128819 | 7565398 | 7932 2498 | 18 | 36
1456.06/1456.56 c 1456s | 25 | 9140696 | 7575398 | 7932 2501 | 18 | 36
1458.05/1458.58 c 1458s | 25 | 9152548 | 7585598 | 7932 2503 | 18 | 36
1460.15/1460.61 c 1460s | 25 | 9163452 | 7595098 | 7932 2506 | 18 | 36
1460.65/1461.10 c 1460s | 26 | 9166605 | 7597752 | 7932 2506 | 18 | 36
1462.66/1463.10 c 1462s | 26 | 9178092 | 7607152 | 7932 2508 | 18 | 36
1464.65/1465.12 c 1464s | 26 | 9189948 | 7617052 | 7932 2511 | 18 | 36
1466.65/1467.13 c 1466s | 26 | 9200941 | 7626652 | 7932 2513 | 18 | 36
1468.75/1469.21 c 1468s | 26 | 9213808 | 7637052 | 7932 2516 | 18 | 36
1470.75/1471.23 c 1470s | 26 | 9227415 | 7648152 | 7932 2518 | 18 | 36
1472.75/1473.23 c 1472s | 26 | 9240010 | 7658552 | 7932 2521 | 18 | 36
1474.76/1475.24 c 1474s | 26 | 9250239 | 7667052 | 7932 2523 | 18 | 36
1476.75/1477.26 c 1476s | 26 | 9261685 | 7676752 | 7932 2525 | 18 | 36
1478.75/1479.27 c 1478s | 26 | 9272591 | 7686252 | 7932 2528 | 18 | 36
1480.75/1481.27 c 1480s | 26 | 9285106 | 7696752 | 7932 2530 | 18 | 36
1482.75/1483.27 c 1482s | 26 | 9296607 | 7706452 | 7932 2533 | 18 | 36
1484.75/1485.27 c 1484s | 26 | 9308230 | 7716852 | 7932 2535 | 18 | 36
1486.75/1487.29 c 1486s | 26 | 9319000 | 7726552 | 7932 2538 | 18 | 36
1488.84/1489.31 c 1488s | 26 | 9328745 | 7735252 | 7932 2540 | 18 | 36
1490.84/1491.31 c 1490s | 26 | 9337734 | 7743252 | 7932 2542 | 18 | 36
1492.84/1493.33 c 1492s | 26 | 9348813 | 7753052 | 7932 2544 | 18 | 36
1494.84/1495.37 c 1495s | 26 | 9358642 | 7761852 | 7932 2546 | 18 | 36
1496.84/1497.37 c 1497s | 26 | 9371093 | 7772452 | 7932 2549 | 18 | 36
1498.85/1499.40 c 1499s | 26 | 9382196 | 7782152 | 7932 2551 | 18 | 36
1500.94/1501.41 c 1501s | 26 | 9392510 | 7790852 | 7932 2553 | 18 | 36
1502.94/1503.48 c 1503s | 26 | 9403733 | 7800452 | 7932 2556 | 18 | 36
1505.05/1505.50 c 1505s | 26 | 9415725 | 7810752 | 7932 2558 | 18 | 36
1507.05/1507.54 c 1507s | 26 | 9426389 | 7819952 | 7932 2560 | 18 | 36
1509.05/1509.55 c 1509s | 26 | 9438562 | 7830452 | 7932 2563 | 18 | 36
1511.05/1511.56 c 1511s | 26 | 9448984 | 7839452 | 7932 2565 | 18 | 36
1513.05/1513.56 c 1513s | 26 | 9460314 | 7849052 | 7932 2568 | 18 | 36
1515.05/1515.58 c 1515s | 26 | 9471306 | 7858552 | 7932 2570 | 18 | 36
1517.15/1517.60 c 1517s | 26 | 9482574 | 7868152 | 7932 2572 | 18 | 36
1519.15/1519.61 c 1519s | 26 | 9493248 | 7877352 | 7932 2574 | 18 | 36
1521.14/1521.62 c 1521s | 26 | 9502893 | 7885352 | 7932 2576 | 18 | 36
1523.15/1523.63 c 1523s | 26 | 9512783 | 7893852 | 7932 2579 | 18 | 36
1525.14/1525.68 c 1525s | 26 | 9523933 | 7903052 | 7932 2581 | 18 | 36
1527.14/1527.69 c 1527s | 26 | 9534764 | 7912152 | 7932 2583 | 18 | 36
1529.24/1529.71 c 1529s | 26 | 9544400 | 7920552 | 7932 2585 | 18 | 36
1531.24/1531.73 c 1531s | 26 | 9554477 | 7928952 | 7932 2587 | 18 | 36
1533.24/1533.73 c 1533s | 26 | 9564448 | 7937652 | 7932 2589 | 18 | 36
1535.25/1535.74 c 1535s | 26 | 9575169 | 7946952 | 7932 2592 | 18 | 36
1537.24/1537.76 c 1537s | 26 | 9587334 | 7957452 | 7932 2594 | 18 | 36
1539.24/1539.77 c 1539s | 26 | 9599136 | 7968052 | 7932 2597 | 18 | 36
1541.24/1541.78 c 1541s | 26 | 9608951 | 7976852 | 7932 2599 | 18 | 36
1543.24/1543.79 c 1543s | 26 | 9620684 | 7987452 | 7932 2601 | 18 | 36
1545.23/1545.79 c 1545s | 26 | 9631822 | 7996952 | 7932 2604 | 18 | 36
1547.24/1547.80 c 1547s | 26 | 9644144 | 8007852 | 7932 2606 | 18 | 36
1549.33/1549.80 c 1549s | 26 | 9654894 | 8017152 | 7932 2609 | 18 | 36
1551.33/1551.81 c 1551s | 26 | 9665303 | 8026452 | 7932 2611 | 18 | 36
1553.34/1553.82 c 1553s | 26 | 9676748 | 8036452 | 7932 2613 | 18 | 36
1555.34/1555.83 c 1555s | 26 | 9687180 | 8045852 | 7932 2616 | 18 | 36
1557.34/1557.83 c 1557s | 26 | 9698677 | 8056152 | 7932 2618 | 18 | 36
1559.34/1559.84 c 1559s | 26 | 9709628 | 8065752 | 7932 2621 | 18 | 36
1561.34/1561.86 c 1561s | 26 | 9718976 | 8074152 | 7932 2623 | 18 | 36
1563.33/1563.86 c 1563s | 26 | 9729210 | 8083452 | 7932 2625 | 18 | 36
1565.33/1565.88 c 1565s | 26 | 9739245 | 8092552 | 7932 2627 | 18 | 36
1567.33/1567.88 c 1567s | 26 | 9749211 | 8101552 | 7932 2629 | 18 | 36
1569.34/1569.89 c 1569s | 26 | 9758224 | 8109752 | 7932 2631 | 18 | 36
1571.33/1571.89 c 1571s | 26 | 9768240 | 8118852 | 7932 2634 | 18 | 36
1573.33/1573.89 c 1573s | 26 | 9778459 | 8127852 | 7932 2636 | 18 | 36
1575.44/1575.91 c 1575s | 26 | 9789866 | 8137652 | 7932 2638 | 18 | 36
1577.44/1577.95 c 1577s | 26 | 9801480 | 8147552 | 7932 2641 | 18 | 36
1579.44/1579.96 c 1579s | 26 | 9813866 | 8158252 | 7932 2643 | 18 | 36
1581.44/1581.97 c 1581s | 26 | 9824210 | 8167252 | 7932 2645 | 18 | 36
1583.44/1583.97 c 1583s | 26 | 9835100 | 8176752 | 7932 2648 | 18 | 36
1585.44/1585.99 c 1585s | 26 | 9845671 | 8185952 | 7932 2650 | 18 | 36
1587.44/1587.99 c 1587s | 26 | 9854761 | 8194152 | 7932 2652 | 18 | 36
1589.53/1590.01 c 1589s | 26 | 9865136 | 8203052 | 7932 2654 | 18 | 36
1591.53/1592.03 c 1591s | 26 | 9876941 | 8213052 | 7932 2657 | 18 | 36
1593.54/1594.05 c 1593s | 26 | 9889268 | 8224052 | 7932 2659 | 18 | 36
1595.53/1596.06 c 1595s | 26 | 9900720 | 8234152 | 7932 2662 | 18 | 36
1597.53/1598.07 c 1597s | 26 | 9911602 | 8243852 | 7932 2664 | 18 | 36
1599.63/1600.10 c 1599s | 26 | 9922916 | 8253952 | 7932 2667 | 18 | 36
1601.63/1602.12 c 1601s | 26 | 9934844 | 8264552 | 7932 2669 | 18 | 36
1603.63/1604.12 c 1603s | 26 | 9944564 | 8273252 | 7932 2671 | 18 | 36
1605.64/1606.13 c 1605s | 26 | 9956522 | 8283852 | 7932 2674 | 18 | 36
1607.63/1608.15 c 1607s | 26 | 9967305 | 8293552 | 7932 2676 | 18 | 36
1609.63/1610.16 c 1609s | 26 | 9978405 | 8303152 | 7932 2679 | 18 | 36
1611.63/1612.18 c 1611s | 26 | 9989906 | 8313052 | 7932 2681 | 18 | 36
1613.63/1614.20 c 1613s | 26 | 10001790 | 8323052 | 7932 2683 | 18 | 36
1615.72/1616.20 c 1615s | 26 | 10013776 | 8333452 | 7932 2686 | 18 | 36
1617.73/1618.21 c 1617s | 26 | 10024014 | 8342452 | 7932 2688 | 18 | 36
1619.73/1620.22 c 1619s | 26 | 10036259 | 8352852 | 7932 2691 | 18 | 36
1621.73/1622.24 c 1621s | 26 | 10048081 | 8362752 | 7932 2693 | 18 | 36
1623.73/1624.26 c 1623s | 26 | 10059754 | 8372552 | 7932 2696 | 18 | 36
1625.73/1626.26 c 1625s | 26 | 10071139 | 8382752 | 7932 2698 | 18 | 36
1627.73/1628.28 c 1627s | 26 | 10082185 | 8392652 | 7932 2700 | 18 | 36
1629.73/1630.28 c 1629s | 26 | 10092804 | 8401952 | 7932 2703 | 18 | 36
1631.73/1632.29 c 1631s | 26 | 10103022 | 8411052 | 7932 2705 | 18 | 36
1633.83/1634.30 c 1633s | 26 | 10113462 | 8420352 | 7932 2707 | 18 | 36
1635.83/1636.30 c 1635s | 26 | 10122691 | 8428652 | 7932 2709 | 18 | 36
1637.83/1638.32 c 1637s | 26 | 10134166 | 8438952 | 7932 2712 | 18 | 36
1639.83/1640.33 c 1639s | 26 | 10143738 | 8447552 | 7932 2714 | 18 | 36
1641.83/1642.33 c 1641s | 26 | 10155180 | 8457652 | 7932 2716 | 18 | 36
1643.83/1644.33 c 1643s | 26 | 10165463 | 8466852 | 7932 2719 | 18 | 36
1645.92/1646.40 c 1646s | 26 | 10175561 | 8475652 | 7932 2721 | 18 | 36
1647.92/1648.42 c 1648s | 26 | 10186813 | 8485652 | 7932 2723 | 18 | 36
1649.92/1650.43 c 1650s | 26 | 10197086 | 8494652 | 7932 2725 | 18 | 36
1651.92/1652.47 c 1652s | 26 | 10207072 | 8503452 | 7932 2728 | 18 | 36
1653.93/1654.48 c 1654s | 26 | 10217658 | 8512652 | 7932 2730 | 18 | 36
1655.92/1656.49 c 1656s | 26 | 10229115 | 8522552 | 7932 2732 | 18 | 36
1658.02/1658.52 c 1658s | 26 | 10239840 | 8532052 | 7932 2735 | 18 | 36
1660.02/1660.56 c 1660s | 26 | 10250799 | 8541652 | 7932 2737 | 18 | 36
1662.02/1662.57 c 1662s | 26 | 10263000 | 8552252 | 7932 2739 | 18 | 36
1664.02/1664.57 c 1664s | 26 | 10274686 | 8562452 | 7932 2742 | 18 | 36
1666.02/1666.58 c 1666s | 26 | 10286248 | 8572752 | 7932 2744 | 18 | 36
1668.02/1668.59 c 1668s | 26 | 10296998 | 8582452 | 7932 2747 | 18 | 36
1670.11/1670.60 c 1670s | 26 | 10308085 | 8592252 | 7932 2749 | 18 | 36
1672.11/1672.60 c 1672s | 26 | 10319986 | 8602752 | 7932 2752 | 18 | 36
1674.11/1674.62 c 1674s | 26 | 10330252 | 8611552 | 7932 2754 | 18 | 36
1676.11/1676.66 c 1676s | 26 | 10342634 | 8622052 | 7932 2757 | 18 | 36
1678.12/1678.67 c 1678s | 26 | 10354387 | 8632452 | 7932 2759 | 18 | 36
1680.11/1680.69 c 1680s | 26 | 10366178 | 8642252 | 7932 2761 | 18 | 36
1682.22/1682.73 c 1682s | 26 | 10377539 | 8652252 | 7932 2764 | 18 | 36
1684.22/1684.75 c 1684s | 26 | 10388989 | 8661952 | 7932 2766 | 18 | 36
1686.22/1686.75 c 1686s | 26 | 10400617 | 8671652 | 7932 2769 | 18 | 36
1688.22/1688.76 c 1688s | 26 | 10410808 | 8680352 | 7932 2771 | 18 | 36
1690.23/1690.77 c 1690s | 26 | 10422329 | 8689952 | 7932 2773 | 18 | 36
1692.22/1692.78 c 1692s | 26 | 10432398 | 8698652 | 7932 2775 | 18 | 36
1694.22/1694.80 c 1694s | 26 | 10443707 | 8708752 | 7932 2778 | 18 | 36
1696.31/1696.80 c 1696s | 26 | 10454132 | 8717852 | 7932 2780 | 18 | 36
1698.31/1698.81 c 1698s | 26 | 10464538 | 8727252 | 7932 2782 | 18 | 36
1700.31/1700.85 c 1700s | 26 | 10474695 | 8736552 | 7932 2785 | 18 | 36
1702.32/1702.86 c 1702s | 26 | 10482930 | 8743952 | 7932 2786 | 18 | 36
1704.31/1704.86 c 1704s | 26 | 10494837 | 8753952 | 7932 2789 | 18 | 36
1706.32/1706.87 c 1706s | 26 | 10506255 | 8763852 | 7932 2791 | 18 | 36
1708.42/1708.90 c 1708s | 26 | 10517603 | 8773352 | 7932 2794 | 18 | 36
1710.42/1710.91 c 1710s | 26 | 10528719 | 8782952 | 7932 2796 | 18 | 36
1712.42/1712.91 c 1712s | 26 | 10539337 | 8792152 | 7932 2798 | 18 | 36
1714.42/1714.96 c 1714s | 26 | 10549420 | 8801052 | 7932 2800 | 18 | 36
1716.41/1716.98 c 1716s | 26 | 10558687 | 8809152 | 7932 2802 | 18 | 36
1718.51/1719.00 c 1718s | 26 | 10570863 | 8819852 | 7932 2805 | 18 | 36
1720.51/1721.02 c 1720s | 26 | 10581357 | 8829552 | 7932 2807 | 18 | 36
1722.51/1723.03 c 1722s | 26 | 10592091 | 8839352 | 7932 2810 | 18 | 36
1724.51/1725.04 c 1724s | 26 | 10601946 | 8848752 | 7932 2812 | 18 | 36
1726.52/1727.05 c 1726s | 26 | 10610599 | 8856752 | 7932 2814 | 18 | 36
1728.51/1729.08 c 1728s | 26 | 10622292 | 8867252 | 7932 2817 | 18 | 36
1730.61/1731.10 c 1730s | 26 | 10633484 | 8877452 | 7932 2819 | 18 | 36
1732.61/1733.11 c 1732s | 26 | 10642993 | 8886052 | 7932 2821 | 18 | 36
1734.61/1735.14 c 1734s | 26 | 10653942 | 8895752 | 7932 2823 | 18 | 36
1736.61/1737.16 c 1736s | 26 | 10663640 | 8904452 | 7932 2826 | 18 | 36
1738.61/1739.17 c 1738s | 26 | 10673846 | 8913052 | 7932 2828 | 18 | 36
1740.61/1741.17 c 1740s | 26 | 10684909 | 8922552 | 7932 2830 | 18 | 36
1742.61/1743.18 c 1742s | 26 | 10695274 | 8931652 | 7932 2832 | 18 | 36
1744.60/1745.19 c 1744s | 26 | 10705483 | 8940452 | 7932 2834 | 18 | 36
1746.70/1747.20 c 1746s | 26 | 10714278 | 8948352 | 7932 2836 | 18 | 36
1748.70/1749.21 c 1748s | 26 | 10723380 | 8956852 | 7932 2838 | 18 | 36
1750.72/1751.23 c 1750s | 26 | 10733254 | 8965452 | 7932 2841 | 18 | 36
1752.71/1753.24 c 1752s | 26 | 10743814 | 8974652 | 7932 2843 | 18 | 36
1754.71/1755.26 c 1754s | 26 | 10754934 | 8984652 | 7932 2845 | 18 | 36
1756.71/1757.28 c 1756s | 26 | 10764603 | 8993352 | 7932 2847 | 18 | 36
1758.71/1759.29 c 1758s | 26 | 10774243 | 9002052 | 7932 2850 | 18 | 36
1760.81/1761.31 c 1760s | 26 | 10783834 | 9010652 | 7932 2852 | 18 | 36
1762.82/1763.32 c 1762s | 26 | 10793893 | 9019452 | 7932 2854 | 18 | 36
1764.81/1765.34 c 1764s | 26 | 10802118 | 9027052 | 7932 2856 | 18 | 36
1766.81/1767.36 c 1767s | 26 | 10810413 | 9034752 | 7932 2858 | 18 | 36
1768.81/1769.39 c 1769s | 26 | 10819835 | 9043152 | 7932 2860 | 18 | 36
1770.91/1771.40 c 1771s | 26 | 10829386 | 9051652 | 7932 2862 | 18 | 36
1772.91/1773.42 c 1773s | 26 | 10840414 | 9061252 | 7932 2864 | 18 | 36
1774.91/1775.44 c 1775s | 26 | 10852475 | 9071352 | 7932 2866 | 18 | 36
1776.90/1777.45 c 1777s | 26 | 10865335 | 9082052 | 7932 2869 | 18 | 36
1778.90/1779.49 c 1779s | 26 | 10877215 | 9091952 | 7932 2872 | 18 | 36
1781.00/1781.50 c 1781s | 26 | 10889833 | 9102452 | 7932 2874 | 18 | 36
1783.00/1783.52 c 1783s | 26 | 10901441 | 9112452 | 7932 2877 | 18 | 36
1785.10/1785.60 c 1785s | 26 | 10913237 | 9122552 | 7932 2879 | 18 | 36
1787.11/1787.61 c 1787s | 26 | 10924966 | 9132652 | 7932 2881 | 18 | 36
1789.10/1789.62 c 1789s | 26 | 10936581 | 9142652 | 7932 2884 | 18 | 36
1791.10/1791.63 c 1791s | 26 | 10946789 | 9151552 | 7932 2886 | 18 | 36
1793.10/1793.65 c 1793s | 26 | 10958921 | 9162252 | 7932 2889 | 18 | 36
1795.10/1795.66 c 1795s | 26 | 10970283 | 9172452 | 7932 2891 | 18 | 36
1797.09/1797.67 c 1797s | 26 | 10981410 | 9182452 | 7932 2894 | 18 | 36
1799.10/1799.68 c 1799s | 26 | 10991938 | 9191952 | 7932 2896 | 18 | 36
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-4080001-1465278140/watcher-4080001-1465278140 -o /tmp/evaluation-result-4080001-1465278140/solver-4080001-1465278140 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465276339-15588 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080001-1465278140.opb
pid=15759
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.25 2.26 2.11 3/179 15762
/proc/meminfo: memFree=30312756/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=796092 CPUtime=0 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 2980 0 0 0 0 0 0 0 20 0 4 0 109748621 815198208 3341 33554432000 4194304 16246674 140734104967664 140734104967088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 199535 3350 441 2943 0 196429 0
[pid=15762/tid=15763] ppid=15759 vsize=814524 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 834072576 3412 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=818620 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 838266880 3431 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=822716 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109748621 842461184 3447 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.100161 s]
/proc/loadavg: 2.25 2.26 2.11 3/179 15762
/proc/meminfo: memFree=30312756/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 30115 0 0 0 5 4 0 0 20 0 4 0 109748621 1247350784 30463 33554432000 4194304 16246674 140734104967664 140734104967088 5991173 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 304529 30469 776 2943 0 301423 0
[pid=15762/tid=15763] ppid=15759 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1247350784 30472 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1247350784 30476 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109748621 1247350784 30482 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200511 s]
/proc/loadavg: 2.25 2.26 2.11 3/179 15762
/proc/meminfo: memFree=30312756/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 44895 0 0 0 12 7 0 0 20 0 4 0 109748621 1249447936 45220 33554432000 4194304 16246674 140734104967664 140734104966976 5530837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 305041 45224 837 2943 0 301935 0
[pid=15762/tid=15763] ppid=15759 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1249447936 45225 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1249447936 45233 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1249447936 45242 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164
[startup+0.300472 s]
/proc/loadavg: 2.25 2.26 2.11 3/179 15762
/proc/meminfo: memFree=30312756/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1220164 CPUtime=0.28 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 75240 0 0 0 18 10 0 0 20 0 4 0 109748621 1249447936 75566 33554432000 4194304 16246674 140734104967664 140734104966976 12992413 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 305041 75572 847 2943 0 301935 0
[pid=15762/tid=15763] ppid=15759 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1249447936 75578 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1249447936 75583 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1249447936 75586 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1220164
[startup+0.700432 s]
/proc/loadavg: 2.25 2.26 2.11 3/179 15762
/proc/meminfo: memFree=30312756/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1304132 CPUtime=0.68 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 106836 0 0 0 53 15 0 0 20 0 4 0 109748621 1335431168 107161 33554432000 4194304 16246674 140734104967664 140734104950664 5754583 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 326033 107161 847 2943 0 322927 0
[pid=15762/tid=15763] ppid=15759 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1335431168 107161 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1335431168 107161 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1335431168 107161 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1304132
[startup+1.50041 s]
/proc/loadavg: 2.25 2.26 2.11 3/183 15766
/proc/meminfo: memFree=29630240/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1304132 CPUtime=1.48 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 238812 0 0 0 114 34 0 0 20 0 4 0 109748621 1335431168 239138 33554432000 4194304 16246674 140734104967664 140734104950664 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 326033 239148 847 2943 0 322927 0
[pid=15762/tid=15763] ppid=15759 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1335431168 239152 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1335431168 239161 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1335431168 239169 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1304132
[startup+3.10044 s]
/proc/loadavg: 2.25 2.26 2.11 3/183 15766
/proc/meminfo: memFree=28922456/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 268069 0 0 0 270 39 0 0 20 0 4 0 109748621 1339625472 268394 33554432000 4194304 16246674 140734104967664 140734104949568 5546036 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 327057 268394 853 2943 0 323951 0
[pid=15762/tid=15763] ppid=15759 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1339625472 268394 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1339625472 268394 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1339625472 268394 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228
[startup+6.30044 s]
/proc/loadavg: 2.23 2.26 2.11 3/183 15766
/proc/meminfo: memFree=28441112/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 268152 0 0 0 590 39 0 0 20 0 4 0 109748621 1339625472 268477 33554432000 4194304 16246674 140734104967664 140734104950664 12415804 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 327057 268477 853 2943 0 323951 0
[pid=15762/tid=15763] ppid=15759 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1339625472 268477 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1339625472 268477 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1339625472 268477 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228
[startup+12.7004 s]
/proc/loadavg: 2.21 2.25 2.11 3/183 15766
/proc/meminfo: memFree=28439700/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1310276 CPUtime=12.68 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 268549 0 0 0 1229 39 0 0 20 0 4 0 109748621 1341722624 268874 33554432000 4194304 16246674 140734104967664 140734104949568 5600395 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 327569 268874 856 2943 0 324463 0
[pid=15762/tid=15763] ppid=15759 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1341722624 268874 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1341722624 268874 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1341722624 268874 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1310276
[startup+25.5005 s]
/proc/loadavg: 2.16 2.24 2.11 3/183 15766
/proc/meminfo: memFree=28431488/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1318468 CPUtime=25.49 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 270715 0 0 0 2509 40 0 0 20 0 4 0 109748621 1350111232 271040 33554432000 4194304 16246674 140734104967664 140734104950664 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 329617 271040 856 2943 0 326511 0
[pid=15762/tid=15763] ppid=15759 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1350111232 271040 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1350111232 271040 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1350111232 271040 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468
[startup+51.1005 s]
/proc/loadavg: 2.11 2.22 2.10 3/183 15766
/proc/meminfo: memFree=28431304/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1318468 CPUtime=51.08 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 270715 0 0 0 5068 40 0 0 20 0 4 0 109748621 1350111232 271040 33554432000 4194304 16246674 140734104967664 140734104949568 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 329617 271040 856 2943 0 326511 0
[pid=15762/tid=15763] ppid=15759 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1350111232 271040 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1350111232 271040 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1350111232 271040 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468
[startup+102.301 s]
/proc/loadavg: 2.10 2.20 2.10 3/183 15767
/proc/meminfo: memFree=28425548/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1324612 CPUtime=102.28 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 272251 0 0 0 10187 41 0 0 20 0 4 0 109748621 1356402688 272576 33554432000 4194304 16246674 140734104967664 140734104949568 12483320 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 331153 272576 856 2943 0 328047 0
[pid=15762/tid=15763] ppid=15759 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1356402688 272576 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1356402688 272576 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1356402688 272576 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1324612
################
# More data... #
################
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1362694144 274116 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1330756
[startup+1302.3 s]
/proc/loadavg: 2.41 2.30 2.20 3/183 15821
/proc/meminfo: memFree=28408988/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1330756 CPUtime=1301.89 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 274164 0 0 0 130121 68 0 0 20 0 4 0 109748621 1362694144 274118 33554432000 4194304 16246674 140734104967664 140734104950656 5711784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 332689 274118 857 2943 0 329583 0
[pid=15762/tid=15763] ppid=15759 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1362694144 274118 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1362694144 274118 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1362694144 274118 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1330756
[startup+1362.3 s]
/proc/loadavg: 2.32 2.29 2.20 3/183 15822
/proc/meminfo: memFree=28397232/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1343044 CPUtime=1361.87 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 277077 0 0 0 136117 70 0 0 20 0 4 0 109748621 1375277056 277003 33554432000 4194304 16246674 140734104967664 140734104950664 5545788 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 335761 277003 857 2943 0 332655 0
[pid=15762/tid=15763] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277003 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277003 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277003 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1343044
[startup+1422.3 s]
/proc/loadavg: 2.24 2.28 2.20 4/183 15824
/proc/meminfo: memFree=28397272/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1343044 CPUtime=1421.86 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 277078 0 0 0 142115 71 0 0 20 0 4 0 109748621 1375277056 277003 33554432000 4194304 16246674 140734104967664 140734104950664 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 335761 277003 857 2943 0 332655 0
[pid=15762/tid=15763] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277003 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277003 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277003 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1343044
[startup+1482.3 s]
/proc/loadavg: 2.33 2.30 2.20 3/183 15825
/proc/meminfo: memFree=28396536/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1343044 CPUtime=1481.85 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 277265 0 0 0 148113 72 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140734104949568 5545788 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 335761 277190 857 2943 0 332655 0
[pid=15762/tid=15763] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1343044
[startup+1542.31 s]
/proc/loadavg: 2.12 2.24 2.19 3/183 15826
/proc/meminfo: memFree=28396792/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1343044 CPUtime=1541.84 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 277265 0 0 0 154111 73 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140734104966760 5808428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 335761 277190 857 2943 0 332655 0
[pid=15762/tid=15763] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1343044
[startup+1602.3 s]
/proc/loadavg: 2.12 2.22 2.18 3/183 15827
/proc/meminfo: memFree=28396436/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1343044 CPUtime=1601.83 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 277265 0 0 0 160108 75 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140734104950664 6021055 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 335761 277190 857 2943 0 332655 0
[pid=15762/tid=15763] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1343044
[startup+1662.3 s]
/proc/loadavg: 2.23 2.23 2.18 3/184 15831
/proc/meminfo: memFree=28395544/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1343044 CPUtime=1661.82 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 277265 0 0 0 166106 76 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140734104949568 5994080 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 335761 277190 857 2943 0 332655 0
[pid=15762/tid=15763] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1343044
[startup+1722.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 15833
/proc/meminfo: memFree=28396408/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1343044 CPUtime=1721.81 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 277265 0 0 0 172103 78 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140734104950664 6012036 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 335761 277190 857 2943 0 332655 0
[pid=15762/tid=15763] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1343044
[startup+1782.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 15834
/proc/meminfo: memFree=28396296/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1343044 CPUtime=1781.8 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 277265 0 0 0 178101 79 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140734104949568 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 335761 277190 857 2943 0 332655 0
[pid=15762/tid=15763] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1343044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 15834
/proc/meminfo: memFree=28396424/32872528 swapFree=12208/1156848
[pid=15762] ppid=15759 vsize=1343044 CPUtime=1800.09 cores=1,3,5,7
/proc/15762/stat : 15762 (toysat) R 15759 15762 15571 0 -1 4202496 277265 0 0 0 179930 79 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140734104949568 5572121 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15762/statm: 335761 277190 857 2943 0 332655 0
[pid=15762/tid=15763] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15763/stat : 15763 (toysat) S 15759 15762 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553886870768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15762/tid=15764] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15764/stat : 15764 (toysat) S 15759 15762 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553876380912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15762/tid=15765] ppid=15759 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/15762/task/15765/stat : 15765 (toysat) S 15759 15762 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109748621 1375277056 277190 33554432000 4194304 16246674 140734104967664 140553865907376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1343044
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 15762 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.31
CPU system time (s): 0.799878
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1343044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.799878
maximum resident set size= 1108760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277265
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= 433
involuntary context switches= 1835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.84326 second user time and 7.13291 second system time
The end