0.00/0.00 c 2016-06-29T17:03:37+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-4117438-1467212617.opb"]
0.00/0.01 c use --random-gen="1927292545 2313371937 2041580859 4047283790 3303608533 1386218069 640549273 4007149401 3042956021 3087335868 1994097907 2452008276 1445724847 1951264112 2816545712 222836353 2819722087 4075153368 1021765124 466514450 3963061101 1601483079 2026963275 416287205 2335334776 634366834 4048404899 2992324883 281245430 1545471622 48463084 3213238547 1163944499 2839735705 2554843810 2603923250 1067247698 324692764 1177761356 2903741253 2898426443 3376415573 2195524319 935735477 2261307380 3947619241 1053417998 3740803530 2639297280 1531046761 3339684731 279862077 433069634 3229335938 1549801118 2891043694 806109734 4202562439 4294684755 2350797276 1010674943 1013532982 824938427 2481908944 3802680798 2953031878 3251852576 3328571828 963873304 3006501718 3597560857 3592305746 2799683844 1590179305 3018584055 322234642 2017416032 1598227384 3474128306 3854985345 3092699720 1079152134 2133970569 1438990045 3641542569 2769920592 1738721835 948686579 2607701354 3812895181 996436427 3084550146 2282816187 4109996036 2573769931 836131778 127681579 1238173009 1026151969 3769243638 908631785 156713334 853653610 3454523261 1900951204 1518467205 3586953973 571500955 2091872845 2070259891 2241631869 4178493915 3631723534 507214341 2291508666 227801196 2816065698 3924223565 1769587222 1084775603 148919055 2587706813 1945103652 2313627674 578741266 4021872275 3610189777 1674889859 1809102363 4270799970 1222133461 4293247894 716639517 1027765218 2420751071 730831528 2351862729 69959428 1534817966 3576759240 387642858 977117590 433970755 3392150007 3855918722 3731389567 4258154658 3227875968 2578554495 2175967556 3250961241 2608882596 4126151560 2146587045 1341786447 1047381971 4121571012 4011548019 871733519 1868577246 2425320019 2581823848 3308183616 1443247768 2841442928 2235666098 2102570744 2264397353 3053615815 2655166721 663031692 2689139605 762707230 1702304590 1765303769 926379258 2467436939 3872782691 2802461252 1275292207 3222312073 3377793480 4045731271 1094925180 1283758279 3546159366 1503179991 3537880136 1037600106 2328788249 3278930768 3807477025 3885576323 200104926 2339247780 1269041781 1572874125 1385577091 987296032 2081105226 2258082843 256645584 1921353541 162740715 1668960349 1551787125 3560815257 3248924301 901221306 2565452815 2583238545 373018846 24710827 3076063611 596138843 3423235087 537848268 4147257901 4153781206 1447947730 3469589132 4274506937 1285449200 257839873 2357087432 1921454497 386047289 1080097575 2511903630 664696814 335856582 671185044 1952686242 3946729253 2524934713 2385523587 3676387938 1918255596 1369672636 2347350122 839955611 1296779856 1574295940 1131448590 3628085067 485674584 1548620332 96709212 3502270203 2055292997 3522740506 1666185690 1795448250 636846081 145057106 268905275 255 362436" option to reproduce the execution
0.00/0.01 c #vars 196
0.00/0.01 c #constraints 82
0.00/0.02 c BCD2: Hardening is enabled.
0.00/0.02 c BCD2: BiasedSearch is enabled.
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 115 0 | 14 | 0
0.00/0.02 c 0.0s | 0 | 81 | 53 | 115 0 | 14 | 0
0.00/0.02 c #cpu_time = 0.009s
0.00/0.02 c #wall_clock_time = 0.009s
0.00/0.02 c #decision = 81
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 53
0.00/0.02 c #restart = 0
0.00/0.02 o 85
0.00/0.03 c BCD2: updating upper bound: 196 -> 84
0.00/0.03 c BCD2: 0 <= obj <= 84
0.00/0.03 c BCD2: #cores=0, #unrelaxed=196, #relaxed=0, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 115 0 | 14 | 0
0.00/0.03 c 0.0s | 0 | 9 | 0 | 115 0 | 14 | 0
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 9
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 10: cost of the new core is >=1
0.00/0.03 c lower bound updated to 1
0.00/0.03 c BCD2: 1 <= obj <= 84
0.00/0.03 c BCD2: #cores=1, #unrelaxed=186, #relaxed=10, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 115 0 | 14 | 0
0.00/0.03 c 0.0s | 0 | 5 | 1 | 115 0 | 14 | 0
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 5
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 14: cost of the new core is >=2
0.00/0.03 c lower bound updated to 2
0.00/0.03 c BCD2: 2 <= obj <= 84
0.00/0.03 c BCD2: #cores=1, #unrelaxed=182, #relaxed=14, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 115 0 | 15 | 0
0.00/0.03 c 0.0s | 0 | 8 | 1 | 115 0 | 15 | 1
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 8
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 21: cost of the new core is >=3
0.00/0.03 c lower bound updated to 3
0.00/0.03 c BCD2: 3 <= obj <= 84
0.00/0.03 c BCD2: #cores=1, #unrelaxed=175, #relaxed=21, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 115 0 | 16 | 1
0.00/0.03 c 0.0s | 0 | 6 | 1 | 115 0 | 16 | 2
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 6
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 26: cost of the new core is >=4
0.00/0.03 c lower bound updated to 4
0.00/0.03 c BCD2: 4 <= obj <= 84
0.00/0.03 c BCD2: #cores=1, #unrelaxed=170, #relaxed=26, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 115 0 | 17 | 2
0.00/0.03 c 0.0s | 0 | 9 | 0 | 115 0 | 17 | 3
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 9
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.03 c lower bound updated to 5
0.00/0.03 c BCD2: 5 <= obj <= 84
0.00/0.03 c BCD2: #cores=2, #unrelaxed=161, #relaxed=35, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 115 0 | 17 | 3
0.00/0.03 c 0.0s | 0 | 8 | 1 | 115 0 | 17 | 3
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 8
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 29: cost of the new core is >=5
0.00/0.03 c lower bound updated to 6
0.00/0.03 c BCD2: 6 <= obj <= 84
0.00/0.03 c BCD2: #cores=2, #unrelaxed=158, #relaxed=38, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 115 0 | 18 | 3
0.00/0.03 c 0.0s | 0 | 12 | 0 | 115 0 | 18 | 4
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 12
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.03 c lower bound updated to 7
0.00/0.03 c BCD2: 7 <= obj <= 84
0.00/0.03 c BCD2: #cores=3, #unrelaxed=150, #relaxed=46, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 115 0 | 18 | 4
0.00/0.04 c 0.0s | 0 | 19 | 0 | 115 0 | 18 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 19
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.04 c lower bound updated to 8
0.00/0.04 c BCD2: 8 <= obj <= 84
0.00/0.04 c BCD2: #cores=4, #unrelaxed=141, #relaxed=55, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=9 bias=9/10
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 | 115 0 | 18 | 4
0.00/0.04 c 0.0s | 0 | 15 | 0 | 115 0 | 18 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 15
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to 9
0.00/0.04 c BCD2: 9 <= obj <= 84
0.00/0.04 c BCD2: #cores=5, #unrelaxed=139, #relaxed=57, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 115 0 | 18 | 4
0.00/0.04 c 0.0s | 0 | 26 | 0 | 115 0 | 18 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 26
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 11: cost of the new core is >=1
0.00/0.04 c lower bound updated to 10
0.00/0.04 c BCD2: 10 <= obj <= 84
0.00/0.04 c BCD2: #cores=6, #unrelaxed=128, #relaxed=68, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 115 0 | 18 | 4
0.00/0.04 c 0.0s | 0 | 34 | 1 | 115 0 | 18 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 34
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.04 c lower bound updated to 11
0.00/0.04 c BCD2: 11 <= obj <= 84
0.00/0.04 c BCD2: #cores=6, #unrelaxed=127, #relaxed=69, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 115 0 | 19 | 4
0.00/0.04 c 0.0s | 0 | 27 | 0 | 115 0 | 19 | 5
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 27
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.04 c lower bound updated to 12
0.00/0.04 c BCD2: 12 <= obj <= 84
0.00/0.04 c BCD2: #cores=7, #unrelaxed=118, #relaxed=78, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 115 0 | 19 | 5
0.00/0.04 c 0.0s | 0 | 30 | 2 | 115 0 | 19 | 5
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 30
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 2
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 12 and merging with 1 cores into a new core of size 15: cost of the new core is >=3
0.00/0.04 c lower bound updated to 13
0.00/0.04 c BCD2: 13 <= obj <= 84
0.00/0.04 c BCD2: #cores=7, #unrelaxed=106, #relaxed=90, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 115 0 | 20 | 5
0.00/0.04 c 0.0s | 0 | 19 | 0 | 115 0 | 20 | 6
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 19
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.04 c lower bound updated to 14
0.00/0.04 c BCD2: 14 <= obj <= 84
0.00/0.04 c BCD2: #cores=8, #unrelaxed=99, #relaxed=97, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 115 0 | 20 | 6
0.00/0.04 c 0.0s | 0 | 20 | 1 | 115 0 | 20 | 6
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 20
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.00/0.04 c lower bound updated to 15
0.00/0.04 c BCD2: 15 <= obj <= 84
0.00/0.04 c BCD2: #cores=8, #unrelaxed=93, #relaxed=103, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 115 0 | 21 | 6
0.00/0.05 c 0.0s | 0 | 22 | 0 | 115 0 | 21 | 7
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 22
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.05 c lower bound updated to 16
0.00/0.05 c BCD2: 16 <= obj <= 84
0.00/0.05 c BCD2: #cores=9, #unrelaxed=85, #relaxed=111, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 115 0 | 21 | 7
0.00/0.05 c 0.0s | 0 | 30 | 0 | 115 0 | 21 | 7
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 30
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.05 c lower bound updated to 17
0.00/0.05 c BCD2: 17 <= obj <= 84
0.00/0.05 c BCD2: #cores=10, #unrelaxed=76, #relaxed=120, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 115 0 | 21 | 7
0.00/0.05 c 0.0s | 0 | 42 | 1 | 115 0 | 21 | 7
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 42
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 12 and merging with 1 cores into a new core of size 20: cost of the new core is >=2
0.00/0.05 c lower bound updated to 18
0.00/0.05 c BCD2: 18 <= obj <= 84
0.00/0.05 c BCD2: #cores=10, #unrelaxed=64, #relaxed=132, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=19 bias=19/20
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 115 0 | 22 | 7
0.00/0.05 c 0.0s | 0 | 27 | 0 | 115 0 | 22 | 8
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 27
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.05 c lower bound updated to 19
0.00/0.05 c BCD2: 19 <= obj <= 84
0.00/0.05 c BCD2: #cores=11, #unrelaxed=57, #relaxed=139, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 115 0 | 22 | 8
0.00/0.05 c 0.0s | 0 | 27 | 0 | 115 0 | 22 | 8
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 27
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.05 c lower bound updated to 20
0.00/0.05 c BCD2: 20 <= obj <= 84
0.00/0.05 c BCD2: #cores=12, #unrelaxed=51, #relaxed=145, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 115 0 | 22 | 8
0.00/0.05 c 0.0s | 0 | 28 | 1 | 115 0 | 22 | 8
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 28
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.05 c lower bound updated to 21
0.00/0.05 c BCD2: 21 <= obj <= 84
0.00/0.05 c BCD2: #cores=12, #unrelaxed=46, #relaxed=150, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=22 bias=22/23
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 115 0 | 23 | 8
0.00/0.05 c 0.0s | 0 | 24 | 0 | 115 0 | 23 | 9
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 24
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 22
0.00/0.05 c BCD2: 22 <= obj <= 84
0.00/0.05 c BCD2: #cores=13, #unrelaxed=45, #relaxed=151, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=23 bias=23/24
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 115 0 | 23 | 9
0.00/0.05 c 0.0s | 0 | 33 | 0 | 115 0 | 23 | 9
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 33
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.05 c lower bound updated to 23
0.00/0.05 c BCD2: 23 <= obj <= 84
0.00/0.05 c BCD2: #cores=14, #unrelaxed=36, #relaxed=160, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=24 bias=24/25
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 115 0 | 23 | 9
0.00/0.06 c 0.0s | 0 | 28 | 0 | 115 0 | 23 | 9
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 28
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 24
0.00/0.06 c BCD2: 24 <= obj <= 84
0.00/0.06 c BCD2: #cores=15, #unrelaxed=35, #relaxed=161, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=25 bias=25/26
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 115 0 | 23 | 9
0.00/0.06 c 0.0s | 0 | 29 | 0 | 115 0 | 23 | 9
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 29
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 25
0.00/0.06 c BCD2: 25 <= obj <= 84
0.00/0.06 c BCD2: #cores=16, #unrelaxed=34, #relaxed=162, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=26 bias=26/27
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 115 0 | 23 | 9
0.00/0.06 c 0.0s | 0 | 31 | 1 | 115 0 | 23 | 9
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 31
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 12: cost of the new core is >=2
0.00/0.06 c lower bound updated to 26
0.00/0.06 c BCD2: 26 <= obj <= 84
0.00/0.06 c BCD2: #cores=16, #unrelaxed=31, #relaxed=165, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=27 bias=27/28
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 115 0 | 24 | 9
0.00/0.06 c 0.0s | 0 | 33 | 0 | 115 0 | 24 | 10
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 33
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.06 c lower bound updated to 27
0.00/0.06 c BCD2: 27 <= obj <= 84
0.00/0.06 c BCD2: #cores=17, #unrelaxed=25, #relaxed=171, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=28 bias=28/29
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 115 0 | 24 | 10
0.00/0.06 c 0.0s | 0 | 31 | 0 | 115 0 | 24 | 10
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 31
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 28
0.00/0.06 c BCD2: 28 <= obj <= 84
0.00/0.06 c BCD2: #cores=18, #unrelaxed=24, #relaxed=172, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 115 0 | 24 | 10
0.00/0.06 c 0.0s | 0 | 32 | 0 | 115 0 | 24 | 10
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 32
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 29
0.00/0.06 c BCD2: 29 <= obj <= 84
0.00/0.06 c BCD2: #cores=19, #unrelaxed=23, #relaxed=173, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=30 bias=30/31
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 115 0 | 24 | 10
0.00/0.06 c 0.0s | 0 | 155 | 24 | 115 0 | 24 | 10
0.00/0.06 c #cpu_time = 0.003s
0.00/0.06 c #wall_clock_time = 0.003s
0.00/0.06 c #decision = 155
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 24
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.06 c lower bound updated to 30
0.00/0.07 c BCD2: 30 <= obj <= 84
0.00/0.07 c BCD2: #cores=19, #unrelaxed=21, #relaxed=175, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=31 bias=31/32
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 115 0 | 25 | 10
0.00/0.07 c 0.0s | 0 | 112 | 45 | 127 0 | 26 | 12
0.00/0.07 c #cpu_time = 0.003s
0.00/0.07 c #wall_clock_time = 0.003s
0.00/0.07 c #decision = 112
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 45
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: updating lower bound of a core
0.00/0.07 c lower bound updated to 31
0.00/0.07 c BCD2: 31 <= obj <= 84
0.00/0.07 c BCD2: #cores=19, #unrelaxed=21, #relaxed=175, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=32 bias=32/33
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 127 0 | 26 | 13
0.00/0.08 c 0.0s | 1 | 154 | 100 | 127 0 | 26 | 13
0.00/0.09 c 0.0s | 2 | 365 | 250 | 140 2 | 26 | 13
0.09/0.11 c 0.0s | 3 | 633 | 475 | 154 4 | 26 | 13
0.09/0.15 c 0.1s | 4 | 1065 | 813 | 170 6 | 26 | 13
0.19/0.21 c 0.1s | 5 | 1751 | 1320 | 188 10 | 26 | 13
0.29/0.30 c 0.2s | 6 | 2692 | 2081 | 207 16 | 26 | 13
0.29/0.38 c 0.3s | 6 | 3480 | 2757 | 207 21 | 26 | 13
0.29/0.38 c #cpu_time = 0.310s
0.29/0.38 c #wall_clock_time = 0.311s
0.29/0.38 c #decision = 3480
0.29/0.38 c #random_decision = 11
0.29/0.38 c #conflict = 2757
0.29/0.38 c #restart = 6
0.29/0.38 c BCD2: relaxing 11 and merging with 9 cores into a new core of size 119: cost of the new core is >=19
0.29/0.38 c lower bound updated to 32
0.29/0.38 c BCD2: 32 <= obj <= 84
0.29/0.38 c BCD2: #cores=11, #unrelaxed=10, #relaxed=186, #hardened=0
0.29/0.38 c BCD2: #sat=1 #unsat=33 bias=33/34
0.29/0.38 c Solving starts ...
0.29/0.38 c ============================[ Search Statistics ]============================
0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.38 c | | | | Limit GC | Var | Constra
0.29/0.38 c =============================================================================
0.29/0.38 c 0.0s | 0 | 0 | 0 | 207 0 | 35 | 13
0.39/0.40 c 0.0s | 1 | 162 | 100 | 207 0 | 35 | 22
0.39/0.41 c 0.0s | 2 | 371 | 250 | 207 0 | 35 | 22
0.39/0.42 c 0.0s | 2 | 634 | 447 | 228 2 | 36 | 23
0.39/0.42 c #cpu_time = 0.037s
0.39/0.42 c #wall_clock_time = 0.037s
0.39/0.42 c #decision = 634
0.39/0.42 c #random_decision = 2
0.39/0.42 c #conflict = 447
0.39/0.42 c #restart = 2
0.39/0.42 c BCD2: updating lower bound of a core
0.39/0.42 c lower bound updated to 36
0.39/0.42 c BCD2: 36 <= obj <= 84
0.39/0.42 c BCD2: #cores=11, #unrelaxed=10, #relaxed=186, #hardened=0
0.39/0.42 c BCD2: #sat=1 #unsat=34 bias=34/35
0.39/0.42 c Solving starts ...
0.39/0.42 c ============================[ Search Statistics ]============================
0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.42 c | | | | Limit GC | Var | Constra
0.39/0.42 c =============================================================================
0.39/0.42 c 0.0s | 0 | 0 | 0 | 228 0 | 36 | 24
0.39/0.43 c 0.0s | 1 | 140 | 100 | 228 0 | 36 | 24
0.39/0.43 c 0.0s | 2 | 308 | 250 | 228 0 | 36 | 24
0.39/0.46 c 0.0s | 3 | 597 | 475 | 228 2 | 36 | 24
0.49/0.51 c 0.1s | 4 | 1090 | 813 | 228 4 | 36 | 24
0.59/0.61 c 0.2s | 5 | 1713 | 1320 | 228 7 | 36 | 24
0.69/0.76 c 0.3s | 6 | 2643 | 2081 | 251 11 | 36 | 24
0.89/0.95 c 0.5s | 7 | 4062 | 3223 | 251 18 | 36 | 24
1.19/1.22 c 0.8s | 8 | 6260 | 4936 | 277 29 | 36 | 24
1.48/1.53 c 1.1s | 9 | 9284 | 7506 | 277 43 | 36 | 24
1.98/2.09 c 1.7s | 10 | 13638 | 11361 | 305 63 | 36 | 24
2.99/3.00 c 2.6s | 11 | 20428 | 17144 | 336 91 | 36 | 24
4.19/4.29 c 3.9s | 12 | 30441 | 25819 | 370 129 | 36 | 24
6.09/6.11 c 5.7s | 13 | 45927 | 38832 | 408 184 | 36 | 24
8.08/8.13 c 7.7s | 13 | 62818 | 53232 | 408 242 | 36 | 24
8.79/8.87 c 8.4s | 14 | 68735 | 58352 | 449 262 | 36 | 24
10.78/10.87 c 10.5s | 14 | 84002 | 71452 | 449 311 | 36 | 24
12.78/12.89 c 12.5s | 14 | 99831 | 84852 | 494 360 | 36 | 24
13.29/13.33 c 12.9s | 15 | 103072 | 87632 | 494 370 | 36 | 24
15.28/15.34 c 14.9s | 15 | 117326 | 100032 | 494 413 | 36 | 24
17.28/17.35 c 16.9s | 15 | 131331 | 112232 | 494 454 | 36 | 24
19.28/19.36 c 18.9s | 15 | 145115 | 124132 | 494 495 | 36 | 24
20.58/20.65 c 20.2s | 16 | 153526 | 131552 | 544 519 | 36 | 24
22.58/22.66 c 22.2s | 16 | 167840 | 144052 | 544 559 | 36 | 24
24.58/24.67 c 24.2s | 16 | 182207 | 156452 | 544 598 | 36 | 24
26.58/26.68 c 26.3s | 16 | 195859 | 168352 | 544 635 | 36 | 24
28.59/28.70 c 28.3s | 16 | 209429 | 180152 | 544 673 | 36 | 24
30.68/30.71 c 30.3s | 16 | 222745 | 191652 | 544 709 | 36 | 24
31.68/31.72 c 31.3s | 17 | 229411 | 197432 | 599 726 | 36 | 24
33.68/33.73 c 33.3s | 17 | 243259 | 209532 | 599 761 | 36 | 24
35.69/35.73 c 35.3s | 17 | 256972 | 221432 | 599 795 | 36 | 24
37.69/37.74 c 37.3s | 17 | 271709 | 233932 | 599 832 | 36 | 24
39.69/39.76 c 39.3s | 17 | 284553 | 244932 | 599 863 | 36 | 24
41.68/41.77 c 41.3s | 17 | 297387 | 255932 | 599 895 | 36 | 24
43.68/43.77 c 43.3s | 17 | 310895 | 267232 | 599 927 | 36 | 24
45.68/45.78 c 45.4s | 17 | 323625 | 278232 | 599 958 | 36 | 24
47.68/47.78 c 47.4s | 17 | 337206 | 289832 | 599 992 | 36 | 24
48.88/48.92 c 48.5s | 18 | 344781 | 296252 | 659 1009 | 36 | 24
50.88/50.93 c 50.5s | 18 | 360049 | 309352 | 659 1043 | 36 | 24
52.89/52.94 c 52.5s | 18 | 373723 | 320952 | 659 1074 | 36 | 24
54.88/54.94 c 54.5s | 18 | 386657 | 332252 | 659 1104 | 36 | 24
56.88/56.95 c 56.5s | 18 | 400820 | 344452 | 659 1136 | 36 | 24
58.88/58.96 c 58.5s | 18 | 415363 | 356852 | 659 1169 | 36 | 24
60.88/60.96 c 60.5s | 18 | 429762 | 369052 | 659 1201 | 36 | 24
62.88/62.96 c 62.5s | 18 | 443276 | 380552 | 659 1232 | 36 | 24
64.88/64.96 c 64.5s | 18 | 456333 | 391752 | 659 1261 | 36 | 24
66.88/66.97 c 66.6s | 18 | 470102 | 403552 | 659 1293 | 36 | 24
68.87/68.98 c 68.6s | 18 | 484606 | 415852 | 659 1326 | 36 | 24
70.87/70.99 c 70.6s | 18 | 497539 | 426952 | 659 1355 | 36 | 24
72.97/73.00 c 72.6s | 18 | 510771 | 438252 | 725 1386 | 36 | 24
73.97/74.09 c 73.7s | 19 | 518017 | 444482 | 725 1401 | 36 | 24
76.07/76.10 c 75.7s | 19 | 531729 | 456382 | 725 1431 | 36 | 24
77.97/78.10 c 77.7s | 19 | 544735 | 467882 | 725 1459 | 36 | 24
80.07/80.11 c 79.7s | 19 | 556994 | 478882 | 725 1487 | 36 | 24
82.07/82.13 c 81.7s | 19 | 570276 | 490482 | 725 1515 | 36 | 24
84.07/84.14 c 83.7s | 19 | 582637 | 501282 | 725 1542 | 36 | 24
86.07/86.15 c 85.7s | 19 | 595511 | 512582 | 725 1570 | 36 | 24
88.07/88.15 c 87.7s | 19 | 608370 | 523882 | 725 1598 | 36 | 24
90.06/90.15 c 89.7s | 19 | 622329 | 535782 | 725 1627 | 36 | 24
92.06/92.16 c 91.7s | 19 | 635807 | 547182 | 725 1655 | 36 | 24
94.06/94.17 c 93.7s | 19 | 649815 | 558982 | 725 1685 | 36 | 24
96.06/96.18 c 95.8s | 19 | 662518 | 569982 | 725 1712 | 36 | 24
98.07/98.19 c 97.8s | 19 | 675409 | 581182 | 725 1739 | 36 | 24
100.07/100.20 c 99.8s | 19 | 688247 | 592282 | 725 1767 | 36 | 24
102.16/102.21 c 101s | 19 | 700857 | 603282 | 725 1794 | 36 | 24
104.16/104.22 c 103s | 19 | 713298 | 614082 | 725 1821 | 36 | 24
106.16/106.23 c 105s | 19 | 726264 | 625082 | 725 1848 | 36 | 24
108.16/108.24 c 107s | 19 | 739453 | 636082 | 725 1875 | 36 | 24
110.16/110.25 c 109s | 19 | 752696 | 647182 | 725 1902 | 36 | 24
112.16/112.25 c 111s | 19 | 765063 | 657682 | 725 1928 | 36 | 24
113.86/114.00 c 113s | 20 | 775879 | 666827 | 798 1948 | 36 | 24
115.96/116.00 c 115s | 20 | 789050 | 677927 | 798 1973 | 36 | 24
117.96/118.01 c 117s | 20 | 800473 | 687927 | 798 1995 | 36 | 24
119.96/120.04 c 119s | 20 | 812889 | 698427 | 798 2019 | 36 | 24
121.95/122.04 c 121s | 20 | 826731 | 709927 | 798 2045 | 36 | 24
123.95/124.05 c 123s | 20 | 841336 | 721627 | 798 2071 | 36 | 24
125.95/126.06 c 125s | 20 | 854154 | 732427 | 798 2095 | 36 | 24
127.95/128.07 c 127s | 20 | 866358 | 742927 | 798 2119 | 36 | 24
129.95/130.08 c 129s | 20 | 879294 | 753727 | 798 2143 | 36 | 24
131.95/132.09 c 131s | 20 | 892068 | 764427 | 798 2167 | 36 | 24
133.94/134.09 c 133s | 20 | 905817 | 775827 | 798 2192 | 36 | 24
135.94/136.09 c 135s | 20 | 919135 | 786827 | 798 2217 | 36 | 24
138.04/138.10 c 137s | 20 | 931619 | 797627 | 798 2241 | 36 | 24
140.04/140.10 c 139s | 20 | 944190 | 808427 | 798 2265 | 36 | 24
142.04/142.11 c 141s | 20 | 956571 | 818927 | 798 2289 | 36 | 24
144.05/144.12 c 143s | 20 | 969095 | 829627 | 798 2313 | 36 | 24
146.04/146.13 c 145s | 20 | 981312 | 840027 | 798 2336 | 36 | 24
148.04/148.14 c 147s | 20 | 994217 | 850927 | 798 2360 | 36 | 24
150.04/150.15 c 149s | 20 | 1007107 | 861827 | 798 2385 | 36 | 24
152.04/152.17 c 151s | 20 | 1019774 | 872527 | 798 2409 | 36 | 24
154.05/154.17 c 153s | 20 | 1032455 | 883327 | 798 2433 | 36 | 24
156.04/156.17 c 155s | 20 | 1044734 | 893927 | 798 2457 | 36 | 24
158.04/158.19 c 157s | 20 | 1057415 | 904627 | 798 2481 | 36 | 24
160.04/160.19 c 159s | 20 | 1070233 | 915527 | 798 2505 | 36 | 24
162.14/162.20 c 161s | 20 | 1083036 | 926127 | 798 2529 | 36 | 24
164.14/164.20 c 163s | 20 | 1094400 | 935927 | 798 2551 | 36 | 24
166.14/166.22 c 165s | 20 | 1106507 | 946227 | 798 2574 | 36 | 24
168.14/168.22 c 167s | 20 | 1119321 | 957127 | 798 2599 | 36 | 24
170.14/170.23 c 169s | 20 | 1132387 | 968327 | 798 2624 | 36 | 24
172.13/172.23 c 171s | 20 | 1144932 | 979127 | 798 2648 | 36 | 24
174.13/174.25 c 173s | 20 | 1157490 | 989827 | 798 2672 | 36 | 24
176.04/176.17 c 175s | 21 | 1169917 | 1000345 | 878 2694 | 36 | 24
178.03/178.19 c 177s | 21 | 1182524 | 1011245 | 878 2716 | 36 | 24
180.03/180.19 c 179s | 21 | 1194647 | 1021645 | 878 2737 | 36 | 24
182.03/182.19 c 181s | 21 | 1206387 | 1031745 | 878 2758 | 36 | 24
184.03/184.19 c 183s | 21 | 1219564 | 1042745 | 878 2780 | 36 | 24
186.13/186.21 c 185s | 21 | 1232096 | 1053445 | 878 2803 | 36 | 24
188.14/188.21 c 187s | 21 | 1243955 | 1063745 | 878 2824 | 36 | 24
190.13/190.21 c 189s | 21 | 1255674 | 1073945 | 878 2845 | 36 | 24
192.13/192.22 c 191s | 21 | 1267424 | 1084145 | 878 2866 | 36 | 24
194.13/194.22 c 193s | 21 | 1279260 | 1094445 | 878 2887 | 36 | 24
196.13/196.22 c 195s | 21 | 1290943 | 1104545 | 878 2908 | 36 | 24
198.12/198.23 c 197s | 21 | 1303100 | 1115045 | 878 2930 | 36 | 24
200.13/200.24 c 199s | 21 | 1315325 | 1125645 | 878 2951 | 36 | 24
202.12/202.24 c 201s | 21 | 1327394 | 1135945 | 878 2972 | 36 | 24
204.12/204.25 c 203s | 21 | 1339357 | 1146345 | 878 2994 | 36 | 24
206.12/206.25 c 205s | 21 | 1351692 | 1157045 | 878 3016 | 36 | 24
208.11/208.26 c 207s | 21 | 1363210 | 1167145 | 878 3037 | 36 | 24
210.12/210.26 c 209s | 21 | 1375262 | 1177545 | 878 3058 | 36 | 24
212.11/212.27 c 211s | 21 | 1386928 | 1187645 | 878 3079 | 36 | 24
214.11/214.27 c 213s | 21 | 1398878 | 1197945 | 878 3100 | 36 | 24
216.11/216.29 c 215s | 21 | 1410193 | 1207845 | 878 3121 | 36 | 24
218.21/218.31 c 217s | 21 | 1422170 | 1218145 | 878 3142 | 36 | 24
220.21/220.33 c 219s | 21 | 1434104 | 1228545 | 878 3164 | 36 | 24
222.21/222.33 c 221s | 21 | 1446101 | 1239045 | 878 3185 | 36 | 24
224.21/224.34 c 223s | 21 | 1458433 | 1249745 | 878 3207 | 36 | 24
226.21/226.35 c 225s | 21 | 1470309 | 1260045 | 878 3228 | 36 | 24
228.20/228.35 c 227s | 21 | 1481481 | 1269945 | 878 3249 | 36 | 24
230.20/230.37 c 229s | 21 | 1493199 | 1280245 | 878 3270 | 36 | 24
232.20/232.38 c 231s | 21 | 1504650 | 1290245 | 878 3291 | 36 | 24
234.21/234.40 c 233s | 21 | 1515842 | 1300145 | 878 3312 | 36 | 24
236.30/236.40 c 235s | 21 | 1526471 | 1309445 | 878 3331 | 36 | 24
238.30/238.41 c 237s | 21 | 1537975 | 1319545 | 878 3351 | 36 | 24
240.30/240.41 c 239s | 21 | 1550475 | 1330545 | 878 3374 | 36 | 24
242.30/242.42 c 242s | 21 | 1561924 | 1340645 | 878 3395 | 36 | 24
244.30/244.42 c 244s | 21 | 1573328 | 1350645 | 878 3416 | 36 | 24
246.30/246.43 c 246s | 21 | 1584753 | 1360745 | 878 3437 | 36 | 24
248.29/248.45 c 248s | 21 | 1596192 | 1370945 | 878 3458 | 36 | 24
250.29/250.47 c 250s | 21 | 1607613 | 1381045 | 878 3479 | 36 | 24
252.29/252.47 c 252s | 21 | 1619229 | 1391245 | 878 3500 | 36 | 24
254.29/254.48 c 254s | 21 | 1630556 | 1401245 | 878 3521 | 36 | 24
256.30/256.49 c 256s | 21 | 1642742 | 1411845 | 878 3543 | 36 | 24
258.29/258.50 c 258s | 21 | 1654555 | 1422045 | 878 3564 | 36 | 24
260.39/260.50 c 260s | 21 | 1665694 | 1431945 | 878 3584 | 36 | 24
262.40/262.50 c 262s | 21 | 1677039 | 1441845 | 878 3605 | 36 | 24
264.39/264.51 c 264s | 21 | 1688042 | 1451545 | 878 3625 | 36 | 24
266.39/266.53 c 266s | 21 | 1699425 | 1461545 | 878 3645 | 36 | 24
268.40/268.54 c 268s | 21 | 1711390 | 1471945 | 878 3667 | 36 | 24
270.39/270.55 c 270s | 21 | 1723501 | 1482445 | 878 3688 | 36 | 24
272.39/272.56 c 272s | 21 | 1735181 | 1492545 | 966 3708 | 36 | 24
274.09/274.20 c 273s | 22 | 1744358 | 1500622 | 966 3723 | 36 | 24
276.10/276.20 c 275s | 22 | 1756899 | 1511422 | 966 3744 | 36 | 24
278.09/278.21 c 277s | 22 | 1769524 | 1522322 | 966 3764 | 36 | 24
280.09/280.21 c 279s | 22 | 1781474 | 1532822 | 966 3784 | 36 | 24
282.09/282.23 c 281s | 22 | 1793547 | 1543422 | 966 3804 | 36 | 24
284.09/284.23 c 283s | 22 | 1805614 | 1553722 | 966 3824 | 36 | 24
286.09/286.24 c 285s | 22 | 1816944 | 1563522 | 966 3842 | 36 | 24
288.09/288.25 c 287s | 22 | 1828418 | 1573522 | 966 3861 | 36 | 24
290.08/290.26 c 289s | 22 | 1840519 | 1583822 | 966 3881 | 36 | 24
292.08/292.28 c 291s | 22 | 1852477 | 1594222 | 966 3901 | 36 | 24
294.08/294.28 c 293s | 22 | 1864357 | 1604322 | 966 3920 | 36 | 24
296.08/296.29 c 295s | 22 | 1875899 | 1614322 | 966 3939 | 36 | 24
298.08/298.29 c 297s | 22 | 1887180 | 1624122 | 966 3957 | 36 | 24
300.18/300.31 c 299s | 22 | 1899292 | 1634722 | 966 3977 | 36 | 24
302.18/302.32 c 301s | 22 | 1910415 | 1644522 | 966 3996 | 36 | 24
304.17/304.32 c 303s | 22 | 1921443 | 1654022 | 966 4013 | 36 | 24
306.17/306.33 c 305s | 22 | 1932946 | 1663922 | 966 4032 | 36 | 24
308.17/308.34 c 307s | 22 | 1944151 | 1673622 | 966 4050 | 36 | 24
310.18/310.35 c 309s | 22 | 1955080 | 1683122 | 966 4068 | 36 | 24
312.17/312.36 c 311s | 22 | 1965823 | 1692522 | 966 4086 | 36 | 24
314.17/314.36 c 313s | 22 | 1977524 | 1702522 | 966 4105 | 36 | 24
316.17/316.37 c 315s | 22 | 1988941 | 1712522 | 966 4124 | 36 | 24
318.17/318.39 c 317s | 22 | 2000654 | 1722822 | 966 4143 | 36 | 24
320.28/320.40 c 319s | 22 | 2011497 | 1732322 | 966 4161 | 36 | 24
322.28/322.41 c 321s | 22 | 2022688 | 1742022 | 966 4180 | 36 | 24
324.28/324.42 c 324s | 22 | 2035198 | 1752722 | 966 4200 | 36 | 24
326.27/326.43 c 326s | 22 | 2047024 | 1762722 | 966 4219 | 36 | 24
328.27/328.45 c 328s | 22 | 2059113 | 1772922 | 966 4238 | 36 | 24
330.27/330.45 c 330s | 22 | 2070304 | 1782622 | 966 4257 | 36 | 24
332.27/332.46 c 332s | 22 | 2081997 | 1792722 | 966 4275 | 36 | 24
334.28/334.47 c 334s | 22 | 2093832 | 1802722 | 966 4294 | 36 | 24
336.27/336.49 c 336s | 22 | 2106306 | 1813422 | 966 4315 | 36 | 24
338.36/338.50 c 338s | 22 | 2116738 | 1822522 | 966 4332 | 36 | 24
340.36/340.51 c 340s | 22 | 2127637 | 1832122 | 966 4350 | 36 | 24
342.36/342.53 c 342s | 22 | 2138380 | 1841422 | 966 4367 | 36 | 24
344.36/344.53 c 344s | 22 | 2149355 | 1851022 | 966 4385 | 36 | 24
346.37/346.55 c 346s | 22 | 2161453 | 1861522 | 966 4405 | 36 | 24
348.36/348.56 c 348s | 22 | 2172535 | 1871122 | 966 4424 | 36 | 24
350.35/350.57 c 350s | 22 | 2183578 | 1880622 | 966 4442 | 36 | 24
352.35/352.59 c 352s | 22 | 2194609 | 1890222 | 966 4460 | 36 | 24
354.45/354.61 c 354s | 22 | 2206974 | 1900922 | 966 4480 | 36 | 24
356.45/356.62 c 356s | 22 | 2218422 | 1910822 | 966 4499 | 36 | 24
358.45/358.63 c 358s | 22 | 2229732 | 1920622 | 966 4518 | 36 | 24
360.45/360.64 c 360s | 22 | 2241496 | 1930922 | 966 4537 | 36 | 24
362.45/362.65 c 362s | 22 | 2252654 | 1940622 | 966 4556 | 36 | 24
364.45/364.67 c 364s | 22 | 2263996 | 1950422 | 966 4574 | 36 | 24
366.45/366.68 c 366s | 22 | 2275924 | 1960522 | 966 4593 | 36 | 24
368.45/368.69 c 368s | 22 | 2287286 | 1970222 | 966 4612 | 36 | 24
370.44/370.70 c 370s | 22 | 2299337 | 1980422 | 966 4631 | 36 | 24
372.54/372.71 c 372s | 22 | 2310831 | 1990322 | 966 4650 | 36 | 24
374.54/374.72 c 374s | 22 | 2323333 | 2000922 | 966 4670 | 36 | 24
376.54/376.72 c 376s | 22 | 2335226 | 2011122 | 966 4690 | 36 | 24
378.53/378.73 c 378s | 22 | 2346268 | 2020522 | 966 4708 | 36 | 24
380.54/380.73 c 380s | 22 | 2357391 | 2030022 | 966 4726 | 36 | 24
382.54/382.74 c 382s | 22 | 2368324 | 2039522 | 966 4744 | 36 | 24
384.54/384.75 c 384s | 22 | 2379244 | 2049022 | 966 4762 | 36 | 24
386.54/386.76 c 386s | 22 | 2389677 | 2058122 | 966 4779 | 36 | 24
388.53/388.77 c 388s | 22 | 2400528 | 2067422 | 966 4796 | 36 | 24
390.53/390.79 c 390s | 22 | 2411783 | 2077122 | 966 4815 | 36 | 24
392.64/392.80 c 392s | 22 | 2423912 | 2087422 | 966 4834 | 36 | 24
394.63/394.82 c 394s | 22 | 2436152 | 2098022 | 966 4855 | 36 | 24
396.63/396.83 c 396s | 22 | 2448063 | 2108222 | 966 4874 | 36 | 24
398.62/398.86 c 398s | 22 | 2459536 | 2118122 | 966 4893 | 36 | 24
400.62/400.86 c 400s | 22 | 2470279 | 2127522 | 966 4911 | 36 | 24
402.62/402.87 c 402s | 22 | 2482205 | 2137722 | 966 4930 | 36 | 24
404.63/404.89 c 404s | 22 | 2495185 | 2148822 | 966 4951 | 36 | 24
406.72/406.90 c 406s | 22 | 2509433 | 2160822 | 966 4974 | 36 | 24
408.72/408.91 c 408s | 22 | 2522475 | 2172022 | 966 4996 | 36 | 24
410.72/410.92 c 410s | 22 | 2535014 | 2182622 | 966 5016 | 36 | 24
412.72/412.94 c 412s | 22 | 2547275 | 2193122 | 966 5036 | 36 | 24
414.72/414.95 c 414s | 22 | 2559534 | 2203522 | 966 5055 | 36 | 24
416.72/416.96 c 416s | 22 | 2571156 | 2213422 | 966 5074 | 36 | 24
418.71/418.97 c 418s | 22 | 2585286 | 2225122 | 966 5097 | 36 | 24
420.71/420.99 c 420s | 22 | 2598270 | 2236122 | 1063 5117 | 36 | 24
422.81/423.00 c 422s | 22 | 2609892 | 2246122 | 1063 5134 | 36 | 24
423.61/423.89 c 423s | 23 | 2615693 | 2251038 | 1063 5143 | 36 | 24
425.62/425.89 c 425s | 23 | 2628372 | 2261738 | 1063 5162 | 36 | 24
427.60/427.89 c 427s | 23 | 2639893 | 2271638 | 1063 5178 | 36 | 24
429.71/429.92 c 429s | 23 | 2651452 | 2281538 | 1063 5196 | 36 | 24
431.71/431.94 c 431s | 23 | 2663849 | 2292038 | 1063 5214 | 36 | 24
433.71/433.94 c 433s | 23 | 2675615 | 2301938 | 1063 5231 | 36 | 24
435.71/435.94 c 435s | 23 | 2687452 | 2312038 | 1063 5248 | 36 | 24
437.71/437.96 c 437s | 23 | 2698837 | 2321638 | 1063 5265 | 36 | 24
439.71/439.97 c 439s | 23 | 2710287 | 2331238 | 1063 5281 | 36 | 24
441.71/441.97 c 441s | 23 | 2722443 | 2341338 | 1063 5299 | 36 | 24
443.71/443.98 c 443s | 23 | 2733732 | 2350938 | 1063 5316 | 36 | 24
445.70/445.99 c 445s | 23 | 2746284 | 2361438 | 1063 5334 | 36 | 24
447.80/448.01 c 447s | 23 | 2758203 | 2371338 | 1063 5351 | 36 | 24
449.81/450.01 c 449s | 23 | 2770794 | 2381638 | 1063 5369 | 36 | 24
451.80/452.02 c 451s | 23 | 2784283 | 2392838 | 1063 5389 | 36 | 24
453.80/454.03 c 453s | 23 | 2796077 | 2402738 | 1063 5406 | 36 | 24
455.80/456.04 c 455s | 23 | 2807586 | 2412538 | 1063 5423 | 36 | 24
457.80/458.04 c 457s | 23 | 2819779 | 2422738 | 1063 5441 | 36 | 24
459.80/460.05 c 459s | 23 | 2832518 | 2433338 | 1063 5459 | 36 | 24
461.80/462.07 c 461s | 23 | 2843431 | 2442738 | 1063 5476 | 36 | 24
463.80/464.09 c 463s | 23 | 2854135 | 2451938 | 1063 5492 | 36 | 24
465.80/466.09 c 465s | 23 | 2865627 | 2461738 | 1063 5509 | 36 | 24
467.89/468.10 c 467s | 23 | 2877891 | 2471838 | 1063 5527 | 36 | 24
469.89/470.10 c 469s | 23 | 2889404 | 2481638 | 1063 5543 | 36 | 24
471.89/472.12 c 471s | 23 | 2900730 | 2491338 | 1063 5560 | 36 | 24
473.90/474.12 c 473s | 23 | 2911396 | 2500738 | 1063 5576 | 36 | 24
475.89/476.13 c 475s | 23 | 2923018 | 2510538 | 1063 5593 | 36 | 24
477.89/478.13 c 477s | 23 | 2933568 | 2519738 | 1063 5609 | 36 | 24
479.89/480.13 c 479s | 23 | 2946180 | 2530238 | 1063 5628 | 36 | 24
481.89/482.13 c 481s | 23 | 2959891 | 2541338 | 1063 5647 | 36 | 24
483.89/484.14 c 483s | 23 | 2976547 | 2555538 | 1063 5672 | 36 | 24
485.88/486.14 c 485s | 23 | 2990826 | 2567238 | 1063 5693 | 36 | 24
487.88/488.15 c 487s | 23 | 3002839 | 2577638 | 1063 5711 | 36 | 24
489.88/490.16 c 489s | 23 | 3015400 | 2588238 | 1063 5729 | 36 | 24
491.88/492.16 c 491s | 23 | 3029443 | 2599938 | 1063 5750 | 36 | 24
493.88/494.18 c 493s | 23 | 3042194 | 2610638 | 1063 5769 | 36 | 24
495.88/496.19 c 495s | 23 | 3054434 | 2620738 | 1063 5786 | 36 | 24
497.97/498.20 c 497s | 23 | 3066905 | 2630838 | 1063 5804 | 36 | 24
499.97/500.20 c 499s | 23 | 3078883 | 2641038 | 1063 5822 | 36 | 24
501.97/502.21 c 501s | 23 | 3091035 | 2651238 | 1063 5840 | 36 | 24
503.97/504.23 c 503s | 23 | 3103313 | 2661638 | 1063 5858 | 36 | 24
505.97/506.24 c 505s | 23 | 3117174 | 2673338 | 1063 5878 | 36 | 24
507.97/508.26 c 507s | 23 | 3130071 | 2684238 | 1063 5898 | 36 | 24
509.96/510.27 c 509s | 23 | 3143287 | 2695538 | 1063 5918 | 36 | 24
511.97/512.29 c 511s | 23 | 3154884 | 2705638 | 1063 5935 | 36 | 24
513.97/514.29 c 513s | 23 | 3165847 | 2715238 | 1063 5952 | 36 | 24
516.07/516.31 c 515s | 23 | 3177947 | 2725938 | 1063 5971 | 36 | 24
518.06/518.32 c 517s | 23 | 3189776 | 2736538 | 1063 5990 | 36 | 24
520.07/520.34 c 519s | 23 | 3201921 | 2747038 | 1063 6008 | 36 | 24
522.06/522.35 c 521s | 23 | 3213934 | 2757438 | 1063 6026 | 36 | 24
524.06/524.35 c 523s | 23 | 3228363 | 2769538 | 1063 6048 | 36 | 24
526.06/526.35 c 525s | 23 | 3242828 | 2781638 | 1063 6069 | 36 | 24
528.05/528.37 c 527s | 23 | 3255914 | 2792238 | 1063 6087 | 36 | 24
530.06/530.38 c 529s | 23 | 3268385 | 2802538 | 1063 6105 | 36 | 24
532.16/532.41 c 531s | 23 | 3279640 | 2812338 | 1063 6123 | 36 | 24
534.15/534.43 c 534s | 23 | 3291149 | 2822238 | 1063 6140 | 36 | 24
536.15/536.43 c 536s | 23 | 3302986 | 2832438 | 1063 6158 | 36 | 24
538.15/538.44 c 538s | 23 | 3314725 | 2842638 | 1063 6176 | 36 | 24
540.14/540.45 c 540s | 23 | 3326499 | 2853038 | 1063 6194 | 36 | 24
542.15/542.46 c 542s | 23 | 3340842 | 2865438 | 1063 6216 | 36 | 24
544.14/544.47 c 544s | 23 | 3354208 | 2877038 | 1063 6236 | 36 | 24
546.14/546.48 c 546s | 23 | 3368359 | 2889138 | 1063 6257 | 36 | 24
548.14/548.49 c 548s | 23 | 3382027 | 2901038 | 1063 6278 | 36 | 24
550.14/550.49 c 550s | 23 | 3396762 | 2913638 | 1063 6300 | 36 | 24
552.24/552.51 c 552s | 23 | 3410426 | 2925238 | 1063 6320 | 36 | 24
554.24/554.52 c 554s | 23 | 3421927 | 2934938 | 1063 6337 | 36 | 24
556.23/556.54 c 556s | 23 | 3433181 | 2944738 | 1063 6355 | 36 | 24
558.23/558.54 c 558s | 23 | 3445131 | 2955238 | 1063 6373 | 36 | 24
560.23/560.56 c 560s | 23 | 3456955 | 2965438 | 1063 6391 | 36 | 24
562.23/562.56 c 562s | 23 | 3468449 | 2975438 | 1063 6408 | 36 | 24
564.23/564.58 c 564s | 23 | 3481444 | 2986338 | 1063 6428 | 36 | 24
566.23/566.59 c 566s | 23 | 3496795 | 2998938 | 1063 6450 | 36 | 24
568.32/568.60 c 568s | 23 | 3510470 | 3010038 | 1063 6469 | 36 | 24
570.32/570.61 c 570s | 23 | 3522257 | 3020038 | 1063 6487 | 36 | 24
572.32/572.61 c 572s | 23 | 3532895 | 3029338 | 1063 6503 | 36 | 24
574.32/574.62 c 574s | 23 | 3544763 | 3039438 | 1063 6520 | 36 | 24
576.32/576.64 c 576s | 23 | 3556278 | 3049338 | 1063 6538 | 36 | 24
578.33/578.65 c 578s | 23 | 3567639 | 3058938 | 1063 6554 | 36 | 24
580.32/580.66 c 580s | 23 | 3581132 | 3070538 | 1063 6575 | 36 | 24
582.32/582.66 c 582s | 23 | 3592683 | 3080438 | 1063 6592 | 36 | 24
584.32/584.68 c 584s | 23 | 3606117 | 3091438 | 1063 6612 | 36 | 24
586.42/586.70 c 586s | 23 | 3618559 | 3102038 | 1063 6630 | 36 | 24
588.41/588.70 c 588s | 23 | 3629572 | 3111638 | 1063 6647 | 36 | 24
590.42/590.72 c 590s | 23 | 3641742 | 3121738 | 1063 6665 | 36 | 24
592.41/592.72 c 592s | 23 | 3653094 | 3131538 | 1063 6682 | 36 | 24
594.42/594.73 c 594s | 23 | 3664379 | 3141138 | 1063 6699 | 36 | 24
596.42/596.75 c 596s | 23 | 3675838 | 3150938 | 1063 6716 | 36 | 24
598.42/598.76 c 598s | 23 | 3687645 | 3161038 | 1063 6734 | 36 | 24
600.42/600.78 c 600s | 23 | 3699540 | 3171438 | 1063 6752 | 36 | 24
602.41/602.80 c 602s | 23 | 3710895 | 3181038 | 1063 6769 | 36 | 24
604.51/604.80 c 604s | 23 | 3721705 | 3190238 | 1063 6785 | 36 | 24
606.51/606.80 c 606s | 23 | 3732366 | 3199538 | 1063 6801 | 36 | 24
608.51/608.82 c 608s | 23 | 3744139 | 3209538 | 1063 6819 | 36 | 24
610.51/610.82 c 610s | 23 | 3755750 | 3219438 | 1063 6837 | 36 | 24
612.51/612.84 c 612s | 23 | 3766901 | 3228838 | 1063 6853 | 36 | 24
614.51/614.86 c 614s | 23 | 3777421 | 3237838 | 1063 6869 | 36 | 24
616.51/616.88 c 616s | 23 | 3788617 | 3247438 | 1063 6886 | 36 | 24
618.50/618.89 c 618s | 23 | 3799480 | 3256738 | 1063 6902 | 36 | 24
620.60/620.91 c 620s | 23 | 3811777 | 3267338 | 1063 6920 | 36 | 24
622.60/622.91 c 622s | 23 | 3825211 | 3278438 | 1063 6940 | 36 | 24
624.61/624.93 c 624s | 23 | 3837203 | 3288438 | 1063 6957 | 36 | 24
626.60/626.94 c 626s | 23 | 3849355 | 3298738 | 1063 6975 | 36 | 24
628.60/628.94 c 628s | 23 | 3861715 | 3309038 | 1063 6993 | 36 | 24
630.60/630.95 c 630s | 23 | 3874042 | 3319438 | 1063 7011 | 36 | 24
632.59/632.96 c 632s | 23 | 3885933 | 3329638 | 1063 7029 | 36 | 24
634.59/634.98 c 634s | 23 | 3897536 | 3339638 | 1063 7047 | 36 | 24
636.60/636.99 c 636s | 23 | 3908916 | 3349338 | 1170 7063 | 36 | 24
638.59/639.00 c 638s | 23 | 3919846 | 3358738 | 1170 7078 | 36 | 24
640.69/641.00 c 640s | 23 | 3930082 | 3367538 | 1170 7092 | 36 | 24
642.49/642.83 c 642s | 24 | 3940801 | 3376662 | 1170 7107 | 36 | 24
644.49/644.83 c 644s | 24 | 3952683 | 3386462 | 1170 7122 | 36 | 24
646.49/646.85 c 646s | 24 | 3964241 | 3396262 | 1170 7138 | 36 | 24
648.48/648.87 c 648s | 24 | 3975657 | 3406062 | 1170 7154 | 36 | 24
650.48/650.87 c 650s | 24 | 3987712 | 3416162 | 1170 7170 | 36 | 24
652.48/652.88 c 652s | 24 | 4001061 | 3427362 | 1170 7188 | 36 | 24
654.48/654.88 c 654s | 24 | 4013649 | 3437662 | 1170 7204 | 36 | 24
656.58/656.90 c 656s | 24 | 4024977 | 3447362 | 1170 7220 | 36 | 24
658.59/658.90 c 658s | 24 | 4036673 | 3457262 | 1170 7235 | 36 | 24
660.58/660.91 c 660s | 24 | 4047878 | 3466862 | 1170 7251 | 36 | 24
662.58/662.92 c 662s | 24 | 4058996 | 3476162 | 1170 7265 | 36 | 24
664.58/664.92 c 664s | 24 | 4070516 | 3485662 | 1170 7281 | 36 | 24
666.58/666.94 c 666s | 24 | 4081878 | 3495262 | 1170 7296 | 36 | 24
668.58/668.95 c 668s | 24 | 4093024 | 3504762 | 1170 7311 | 36 | 24
670.57/670.96 c 670s | 24 | 4104783 | 3514562 | 1170 7327 | 36 | 24
672.57/672.97 c 672s | 24 | 4116248 | 3524162 | 1170 7342 | 36 | 24
674.57/674.99 c 674s | 24 | 4127932 | 3533862 | 1170 7357 | 36 | 24
676.67/677.00 c 676s | 24 | 4139818 | 3543962 | 1170 7374 | 36 | 24
678.67/679.02 c 678s | 24 | 4152801 | 3554962 | 1170 7391 | 36 | 24
680.67/681.02 c 680s | 24 | 4164282 | 3564762 | 1170 7407 | 36 | 24
682.67/683.02 c 682s | 24 | 4176398 | 3575162 | 1170 7423 | 36 | 24
684.66/685.03 c 684s | 24 | 4188328 | 3585062 | 1170 7439 | 36 | 24
686.66/687.03 c 686s | 24 | 4199448 | 3594562 | 1170 7455 | 36 | 24
688.66/689.05 c 688s | 24 | 4210802 | 3604162 | 1170 7470 | 36 | 24
690.66/691.07 c 690s | 24 | 4222341 | 3613962 | 1170 7486 | 36 | 24
692.67/693.08 c 692s | 24 | 4233056 | 3623262 | 1170 7501 | 36 | 24
694.76/695.10 c 694s | 24 | 4244267 | 3632862 | 1170 7516 | 36 | 24
696.76/697.10 c 696s | 24 | 4255770 | 3642462 | 1170 7531 | 36 | 24
698.76/699.11 c 698s | 24 | 4268213 | 3652862 | 1170 7548 | 36 | 24
700.76/701.11 c 700s | 24 | 4280214 | 3662962 | 1170 7564 | 36 | 24
702.76/703.13 c 702s | 24 | 4292916 | 3673662 | 1170 7581 | 36 | 24
704.77/705.14 c 704s | 24 | 4304427 | 3683362 | 1170 7596 | 36 | 24
706.76/707.14 c 706s | 24 | 4316000 | 3693062 | 1170 7612 | 36 | 24
708.76/709.16 c 708s | 24 | 4327391 | 3702662 | 1170 7627 | 36 | 24
710.76/711.18 c 710s | 24 | 4339257 | 3712562 | 1170 7643 | 36 | 24
712.76/713.18 c 712s | 24 | 4351354 | 3722562 | 1170 7659 | 36 | 24
714.76/715.19 c 714s | 24 | 4363706 | 3732962 | 1170 7676 | 36 | 24
716.86/717.21 c 716s | 24 | 4375408 | 3742962 | 1170 7692 | 36 | 24
718.86/719.22 c 718s | 24 | 4387734 | 3753362 | 1170 7709 | 36 | 24
720.86/721.22 c 720s | 24 | 4399573 | 3763162 | 1170 7724 | 36 | 24
722.86/723.22 c 722s | 24 | 4411474 | 3773262 | 1170 7740 | 36 | 24
724.86/725.23 c 724s | 24 | 4422693 | 3782862 | 1170 7756 | 36 | 24
726.87/727.25 c 726s | 24 | 4433208 | 3791862 | 1170 7770 | 36 | 24
728.86/729.26 c 728s | 24 | 4444696 | 3801662 | 1170 7786 | 36 | 24
730.86/731.28 c 730s | 24 | 4456541 | 3811662 | 1170 7802 | 36 | 24
732.86/733.28 c 732s | 24 | 4467776 | 3821162 | 1170 7817 | 36 | 24
734.96/735.31 c 734s | 24 | 4479609 | 3831262 | 1170 7833 | 36 | 24
736.96/737.32 c 736s | 24 | 4491454 | 3841462 | 1170 7850 | 36 | 24
738.96/739.34 c 738s | 24 | 4502093 | 3850562 | 1170 7864 | 36 | 24
740.96/741.35 c 740s | 24 | 4514102 | 3860862 | 1170 7881 | 36 | 24
742.96/743.37 c 742s | 24 | 4524685 | 3870262 | 1170 7896 | 36 | 24
744.96/745.38 c 744s | 24 | 4536050 | 3879862 | 1170 7911 | 36 | 24
747.05/747.40 c 746s | 24 | 4548158 | 3890162 | 1170 7928 | 36 | 24
749.05/749.40 c 748s | 24 | 4560995 | 3900962 | 1170 7945 | 36 | 24
751.06/751.41 c 750s | 24 | 4573379 | 3911262 | 1170 7962 | 36 | 24
753.05/753.41 c 752s | 24 | 4585123 | 3921062 | 1170 7977 | 36 | 24
755.05/755.42 c 754s | 24 | 4596873 | 3930762 | 1170 7993 | 36 | 24
757.05/757.42 c 757s | 24 | 4607764 | 3940162 | 1170 8008 | 36 | 24
759.06/759.43 c 759s | 24 | 4620126 | 3950562 | 1170 8024 | 36 | 24
761.06/761.44 c 761s | 24 | 4631602 | 3960062 | 1170 8040 | 36 | 24
763.06/763.45 c 763s | 24 | 4642962 | 3969562 | 1170 8055 | 36 | 24
765.06/765.46 c 765s | 24 | 4656792 | 3980862 | 1170 8073 | 36 | 24
767.06/767.48 c 767s | 24 | 4669253 | 3991062 | 1170 8089 | 36 | 24
769.16/769.51 c 769s | 24 | 4682430 | 4001962 | 1170 8107 | 36 | 24
771.16/771.52 c 771s | 24 | 4695908 | 4012662 | 1170 8124 | 36 | 24
773.16/773.53 c 773s | 24 | 4708070 | 4022662 | 1170 8140 | 36 | 24
775.16/775.54 c 775s | 24 | 4719875 | 4032762 | 1170 8156 | 36 | 24
777.15/777.56 c 777s | 24 | 4731366 | 4042562 | 1170 8172 | 36 | 24
779.15/779.56 c 779s | 24 | 4743106 | 4052462 | 1170 8187 | 36 | 24
781.15/781.57 c 781s | 24 | 4754910 | 4062262 | 1170 8203 | 36 | 24
783.15/783.57 c 783s | 24 | 4766244 | 4071762 | 1170 8218 | 36 | 24
785.16/785.58 c 785s | 24 | 4778328 | 4082062 | 1170 8235 | 36 | 24
787.15/787.60 c 787s | 24 | 4791798 | 4092962 | 1170 8252 | 36 | 24
789.25/789.60 c 789s | 24 | 4805058 | 4104362 | 1170 8271 | 36 | 24
791.25/791.62 c 791s | 24 | 4817616 | 4114662 | 1170 8287 | 36 | 24
793.25/793.62 c 793s | 24 | 4828818 | 4124062 | 1170 8302 | 36 | 24
795.25/795.64 c 795s | 24 | 4839220 | 4132962 | 1170 8316 | 36 | 24
797.25/797.66 c 797s | 24 | 4851427 | 4143062 | 1170 8333 | 36 | 24
799.24/799.67 c 799s | 24 | 4862581 | 4152662 | 1170 8348 | 36 | 24
801.24/801.68 c 801s | 24 | 4875447 | 4163162 | 1170 8365 | 36 | 24
803.34/803.70 c 803s | 24 | 4886099 | 4172462 | 1170 8380 | 36 | 24
805.34/805.72 c 805s | 24 | 4897180 | 4181862 | 1170 8395 | 36 | 24
807.34/807.73 c 807s | 24 | 4909028 | 4191862 | 1170 8411 | 36 | 24
809.35/809.75 c 809s | 24 | 4921290 | 4202262 | 1170 8428 | 36 | 24
811.35/811.76 c 811s | 24 | 4932843 | 4212062 | 1170 8443 | 36 | 24
813.35/813.77 c 813s | 24 | 4945351 | 4222462 | 1170 8460 | 36 | 24
815.35/815.79 c 815s | 24 | 4956232 | 4231862 | 1170 8475 | 36 | 24
817.35/817.79 c 817s | 24 | 4967000 | 4240962 | 1170 8489 | 36 | 24
819.45/819.81 c 819s | 24 | 4980865 | 4252462 | 1170 8508 | 36 | 24
821.46/821.83 c 821s | 24 | 4992418 | 4261962 | 1170 8523 | 36 | 24
823.45/823.84 c 823s | 24 | 5004118 | 4271662 | 1170 8538 | 36 | 24
825.45/825.84 c 825s | 24 | 5016011 | 4281662 | 1170 8554 | 36 | 24
827.45/827.84 c 827s | 24 | 5026314 | 4290562 | 1170 8568 | 36 | 24
829.45/829.86 c 829s | 24 | 5038067 | 4300462 | 1170 8584 | 36 | 24
831.45/831.87 c 831s | 24 | 5048751 | 4309462 | 1170 8599 | 36 | 24
833.45/833.87 c 833s | 24 | 5058608 | 4317962 | 1170 8612 | 36 | 24
835.45/835.87 c 835s | 24 | 5071196 | 4328462 | 1170 8629 | 36 | 24
837.44/837.88 c 837s | 24 | 5083265 | 4338462 | 1170 8645 | 36 | 24
839.44/839.89 c 839s | 24 | 5094699 | 4348062 | 1170 8660 | 36 | 24
841.44/841.89 c 841s | 24 | 5105076 | 4357162 | 1170 8675 | 36 | 24
843.45/843.90 c 843s | 24 | 5115419 | 4366162 | 1170 8689 | 36 | 24
845.44/845.90 c 845s | 24 | 5126784 | 4376062 | 1170 8705 | 36 | 24
847.54/847.91 c 847s | 24 | 5136934 | 4384862 | 1170 8719 | 36 | 24
849.54/849.93 c 849s | 24 | 5146119 | 4393062 | 1170 8732 | 36 | 24
851.54/851.95 c 851s | 24 | 5155735 | 4401562 | 1170 8746 | 36 | 24
853.54/853.95 c 853s | 24 | 5165207 | 4409862 | 1170 8759 | 36 | 24
855.55/855.97 c 855s | 24 | 5174572 | 4418062 | 1170 8772 | 36 | 24
857.54/857.99 c 857s | 24 | 5183790 | 4426162 | 1170 8785 | 36 | 24
859.54/859.99 c 859s | 24 | 5194150 | 4435162 | 1170 8799 | 36 | 24
861.54/861.99 c 861s | 24 | 5204549 | 4444062 | 1170 8813 | 36 | 24
863.64/864.01 c 863s | 24 | 5215144 | 4453162 | 1170 8828 | 36 | 24
865.64/866.02 c 865s | 24 | 5225060 | 4461762 | 1170 8842 | 36 | 24
867.64/868.03 c 867s | 24 | 5234414 | 4469962 | 1170 8855 | 36 | 24
869.64/870.05 c 869s | 24 | 5244205 | 4478462 | 1170 8868 | 36 | 24
871.64/872.05 c 871s | 24 | 5254576 | 4487262 | 1170 8882 | 36 | 24
873.64/874.05 c 873s | 24 | 5264012 | 4495562 | 1170 8896 | 36 | 24
875.64/876.06 c 875s | 24 | 5273539 | 4503962 | 1170 8909 | 36 | 24
877.64/878.08 c 877s | 24 | 5283578 | 4512662 | 1170 8923 | 36 | 24
879.64/880.09 c 879s | 24 | 5294546 | 4522062 | 1170 8938 | 36 | 24
881.73/882.11 c 881s | 24 | 5305084 | 4531162 | 1170 8953 | 36 | 24
883.73/884.11 c 883s | 24 | 5315730 | 4540362 | 1170 8967 | 36 | 24
885.74/886.12 c 885s | 24 | 5326139 | 4549362 | 1170 8982 | 36 | 24
887.74/888.12 c 887s | 24 | 5335451 | 4557562 | 1170 8995 | 36 | 24
889.74/890.12 c 889s | 24 | 5345047 | 4565962 | 1170 9008 | 36 | 24
891.74/892.13 c 891s | 24 | 5355135 | 4574762 | 1170 9022 | 36 | 24
893.74/894.15 c 893s | 24 | 5365242 | 4583562 | 1170 9036 | 36 | 24
895.74/896.17 c 895s | 24 | 5375264 | 4592262 | 1170 9050 | 36 | 24
897.74/898.18 c 897s | 24 | 5384800 | 4600662 | 1170 9063 | 36 | 24
899.74/900.19 c 899s | 24 | 5394544 | 4609162 | 1170 9077 | 36 | 24
901.74/902.19 c 901s | 24 | 5403885 | 4617362 | 1170 9090 | 36 | 24
903.84/904.21 c 903s | 24 | 5413132 | 4625462 | 1170 9103 | 36 | 24
905.84/906.22 c 905s | 24 | 5422050 | 4633262 | 1170 9115 | 36 | 24
907.84/908.24 c 907s | 24 | 5431256 | 4641362 | 1170 9128 | 36 | 24
909.83/910.26 c 909s | 24 | 5440801 | 4649662 | 1170 9141 | 36 | 24
911.83/912.28 c 911s | 24 | 5450236 | 4657762 | 1170 9154 | 36 | 24
913.84/914.29 c 913s | 24 | 5459470 | 4665862 | 1170 9167 | 36 | 24
915.94/916.30 c 915s | 24 | 5468863 | 4674162 | 1170 9180 | 36 | 24
917.93/918.31 c 917s | 24 | 5478774 | 4682862 | 1170 9194 | 36 | 24
919.93/920.33 c 919s | 24 | 5488214 | 4691062 | 1170 9207 | 36 | 24
921.93/922.35 c 921s | 24 | 5498213 | 4699862 | 1170 9221 | 36 | 24
923.93/924.36 c 923s | 24 | 5507691 | 4708162 | 1170 9235 | 36 | 24
925.94/926.37 c 925s | 24 | 5517369 | 4716662 | 1170 9248 | 36 | 24
927.93/928.38 c 927s | 24 | 5527229 | 4725262 | 1170 9262 | 36 | 24
929.93/930.38 c 929s | 24 | 5536274 | 4733262 | 1170 9275 | 36 | 24
932.03/932.40 c 931s | 24 | 5545583 | 4741362 | 1170 9288 | 36 | 24
934.03/934.40 c 933s | 24 | 5555821 | 4750262 | 1170 9302 | 36 | 24
936.03/936.40 c 935s | 24 | 5565784 | 4758962 | 1170 9316 | 36 | 24
938.03/938.40 c 937s | 24 | 5576402 | 4768062 | 1170 9330 | 36 | 24
940.03/940.42 c 940s | 24 | 5586814 | 4777062 | 1170 9344 | 36 | 24
942.02/942.45 c 942s | 24 | 5596694 | 4785662 | 1170 9358 | 36 | 24
944.02/944.47 c 944s | 24 | 5606614 | 4794262 | 1170 9372 | 36 | 24
946.02/946.47 c 946s | 24 | 5616559 | 4802962 | 1170 9385 | 36 | 24
948.02/948.47 c 948s | 24 | 5626540 | 4811662 | 1170 9399 | 36 | 24
950.04/950.48 c 950s | 24 | 5636490 | 4820262 | 1170 9413 | 36 | 24
952.13/952.50 c 952s | 24 | 5646340 | 4828762 | 1170 9427 | 36 | 24
954.13/954.51 c 954s | 24 | 5655719 | 4837062 | 1170 9440 | 36 | 24
956.13/956.51 c 956s | 24 | 5666093 | 4845962 | 1170 9454 | 36 | 24
958.13/958.52 c 958s | 24 | 5676212 | 4854562 | 1170 9468 | 36 | 24
960.13/960.53 c 960s | 24 | 5686314 | 4863262 | 1170 9481 | 36 | 24
962.13/962.54 c 962s | 24 | 5696955 | 4872362 | 1170 9496 | 36 | 24
964.13/964.56 c 964s | 24 | 5707495 | 4881362 | 1170 9510 | 36 | 24
966.13/966.58 c 966s | 24 | 5717768 | 4890162 | 1170 9524 | 36 | 24
968.13/968.60 c 968s | 24 | 5727966 | 4898962 | 1170 9539 | 36 | 24
970.23/970.60 c 970s | 24 | 5738344 | 4907862 | 1170 9553 | 36 | 24
972.23/972.61 c 972s | 24 | 5747816 | 4916262 | 1170 9566 | 36 | 24
974.23/974.63 c 974s | 24 | 5758163 | 4925162 | 1170 9580 | 36 | 24
976.22/976.65 c 976s | 24 | 5767928 | 4933662 | 1170 9594 | 36 | 24
978.22/978.66 c 978s | 24 | 5776997 | 4941562 | 1170 9607 | 36 | 24
980.22/980.67 c 980s | 24 | 5786761 | 4949962 | 1170 9620 | 36 | 24
982.22/982.67 c 982s | 24 | 5796496 | 4958362 | 1170 9633 | 36 | 24
984.23/984.68 c 984s | 24 | 5805291 | 4966162 | 1170 9646 | 36 | 24
986.22/986.70 c 986s | 24 | 5815367 | 4974862 | 1170 9660 | 36 | 24
988.32/988.70 c 988s | 24 | 5826244 | 4984062 | 1170 9675 | 36 | 24
990.32/990.70 c 990s | 24 | 5836557 | 4992862 | 1170 9689 | 36 | 24
992.32/992.73 c 992s | 24 | 5846935 | 5001662 | 1170 9703 | 36 | 24
994.32/994.74 c 994s | 24 | 5857363 | 5010562 | 1170 9717 | 36 | 24
996.33/996.74 c 996s | 24 | 5867337 | 5019162 | 1170 9730 | 36 | 24
998.32/998.76 c 998s | 24 | 5877460 | 5027962 | 1287 9744 | 36 | 24
1000.32/1000.77 c 1000s | 24 | 5887623 | 5036462 | 1287 9756 | 36 | 24
1002.32/1002.79 c 1002s | 24 | 5898509 | 5045462 | 1287 9770 | 36 | 24
1004.41/1004.80 c 1004s | 24 | 5909399 | 5054762 | 1287 9783 | 36 | 24
1006.41/1006.82 c 1006s | 24 | 5920384 | 5064062 | 1287 9797 | 36 | 24
1006.61/1007.06 c 1006s | 25 | 5921608 | 5065098 | 1287 9798 | 36 | 24
1008.61/1009.08 c 1008s | 25 | 5931624 | 5073698 | 1287 9811 | 36 | 24
1010.62/1011.09 c 1010s | 25 | 5942111 | 5082598 | 1287 9824 | 36 | 24
1012.72/1013.11 c 1012s | 25 | 5953032 | 5091898 | 1287 9837 | 36 | 24
1014.71/1015.12 c 1014s | 25 | 5963260 | 5100698 | 1287 9850 | 36 | 24
1016.72/1017.13 c 1016s | 25 | 5973486 | 5109498 | 1287 9862 | 36 | 24
1018.72/1019.15 c 1018s | 25 | 5984201 | 5118598 | 1287 9876 | 36 | 24
1020.72/1021.15 c 1020s | 25 | 5994055 | 5126998 | 1287 9888 | 36 | 24
1022.72/1023.17 c 1022s | 25 | 6004811 | 5136298 | 1287 9902 | 36 | 24
1024.72/1025.19 c 1024s | 25 | 6016543 | 5145998 | 1287 9916 | 36 | 24
1026.72/1027.20 c 1026s | 25 | 6028213 | 5155898 | 1287 9930 | 36 | 24
1028.82/1029.20 c 1028s | 25 | 6038664 | 5164998 | 1287 9943 | 36 | 24
1030.82/1031.20 c 1030s | 25 | 6049351 | 5174098 | 1287 9957 | 36 | 24
1032.82/1033.20 c 1032s | 25 | 6060305 | 5183398 | 1287 9970 | 36 | 24
1034.82/1035.21 c 1034s | 25 | 6070714 | 5192398 | 1287 9983 | 36 | 24
1036.82/1037.21 c 1036s | 25 | 6080911 | 5201198 | 1287 9996 | 36 | 24
1038.82/1039.21 c 1038s | 25 | 6091404 | 5210198 | 1287 10009 | 36 | 24
1040.81/1041.22 c 1040s | 25 | 6102282 | 5219498 | 1287 10023 | 36 | 24
1042.81/1043.22 c 1042s | 25 | 6116054 | 5231098 | 1287 10040 | 36 | 24
1044.81/1045.22 c 1044s | 25 | 6128577 | 5241598 | 1287 10055 | 36 | 24
1046.82/1047.24 c 1046s | 25 | 6140664 | 5251898 | 1287 10070 | 36 | 24
1048.81/1049.25 c 1048s | 25 | 6153681 | 5263098 | 1287 10087 | 36 | 24
1050.81/1051.27 c 1050s | 25 | 6164096 | 5272098 | 1287 10100 | 36 | 24
1052.81/1053.28 c 1052s | 25 | 6174713 | 5281198 | 1287 10113 | 36 | 24
1054.81/1055.28 c 1054s | 25 | 6185027 | 5289998 | 1287 10126 | 36 | 24
1056.82/1057.28 c 1056s | 25 | 6195622 | 5299298 | 1287 10140 | 36 | 24
1058.81/1059.29 c 1058s | 25 | 6206597 | 5308598 | 1287 10153 | 36 | 24
1060.91/1061.30 c 1060s | 25 | 6217968 | 5318198 | 1287 10167 | 36 | 24
1062.91/1063.31 c 1062s | 25 | 6229008 | 5327698 | 1287 10181 | 36 | 24
1064.91/1065.31 c 1064s | 25 | 6239501 | 5336798 | 1287 10194 | 36 | 24
1066.91/1067.32 c 1066s | 25 | 6251075 | 5346698 | 1287 10209 | 36 | 24
1068.91/1069.33 c 1068s | 25 | 6261610 | 5355798 | 1287 10222 | 36 | 24
1070.91/1071.34 c 1070s | 25 | 6272378 | 5364998 | 1287 10236 | 36 | 24
1072.90/1073.35 c 1072s | 25 | 6283083 | 5374198 | 1287 10249 | 36 | 24
1074.90/1075.37 c 1074s | 25 | 6293177 | 5382698 | 1287 10262 | 36 | 24
1076.90/1077.38 c 1076s | 25 | 6303971 | 5391798 | 1287 10275 | 36 | 24
1078.90/1079.38 c 1078s | 25 | 6313908 | 5400398 | 1287 10288 | 36 | 24
1080.91/1081.39 c 1080s | 25 | 6324973 | 5409798 | 1287 10301 | 36 | 24
1083.00/1083.40 c 1082s | 25 | 6335304 | 5418798 | 1287 10314 | 36 | 24
1085.00/1085.42 c 1085s | 25 | 6345056 | 5427198 | 1287 10327 | 36 | 24
1087.00/1087.44 c 1087s | 25 | 6354703 | 5435598 | 1287 10339 | 36 | 24
1089.00/1089.46 c 1089s | 25 | 6365141 | 5444498 | 1287 10352 | 36 | 24
1091.00/1091.47 c 1091s | 25 | 6375369 | 5453198 | 1287 10364 | 36 | 24
1093.01/1093.47 c 1093s | 25 | 6385608 | 5461798 | 1287 10377 | 36 | 24
1095.00/1095.48 c 1095s | 25 | 6395696 | 5470398 | 1287 10389 | 36 | 24
1097.10/1097.50 c 1097s | 25 | 6406042 | 5479198 | 1287 10402 | 36 | 24
1099.10/1099.51 c 1099s | 25 | 6415979 | 5487798 | 1287 10415 | 36 | 24
1101.10/1101.53 c 1101s | 25 | 6425597 | 5496098 | 1287 10427 | 36 | 24
1103.10/1103.53 c 1103s | 25 | 6435281 | 5504398 | 1287 10439 | 36 | 24
1105.10/1105.54 c 1105s | 25 | 6446741 | 5513698 | 1287 10452 | 36 | 24
1107.10/1107.56 c 1107s | 25 | 6457670 | 5522798 | 1287 10466 | 36 | 24
1109.10/1109.57 c 1109s | 25 | 6467531 | 5531498 | 1287 10478 | 36 | 24
1111.10/1111.59 c 1111s | 25 | 6478378 | 5540598 | 1287 10491 | 36 | 24
1113.10/1113.59 c 1113s | 25 | 6487971 | 5548898 | 1287 10504 | 36 | 24
1115.20/1115.60 c 1115s | 25 | 6497836 | 5557398 | 1287 10516 | 36 | 24
1117.20/1117.62 c 1117s | 25 | 6507908 | 5565898 | 1287 10528 | 36 | 24
1119.19/1119.63 c 1119s | 25 | 6518922 | 5575198 | 1287 10542 | 36 | 24
1121.19/1121.63 c 1121s | 25 | 6530630 | 5584798 | 1287 10556 | 36 | 24
1123.19/1123.65 c 1123s | 25 | 6542816 | 5594998 | 1287 10571 | 36 | 24
1125.19/1125.67 c 1125s | 25 | 6553083 | 5603898 | 1287 10584 | 36 | 24
1127.20/1127.68 c 1127s | 25 | 6564059 | 5613098 | 1287 10597 | 36 | 24
1129.20/1129.70 c 1129s | 25 | 6574207 | 5621798 | 1287 10610 | 36 | 24
1131.30/1131.71 c 1131s | 25 | 6584070 | 5630398 | 1287 10622 | 36 | 24
1133.30/1133.72 c 1133s | 25 | 6593512 | 5638698 | 1287 10635 | 36 | 24
1135.30/1135.72 c 1135s | 25 | 6603613 | 5647498 | 1287 10648 | 36 | 24
1137.30/1137.73 c 1137s | 25 | 6612843 | 5655698 | 1287 10660 | 36 | 24
1139.31/1139.75 c 1139s | 25 | 6622737 | 5664298 | 1287 10672 | 36 | 24
1141.30/1141.76 c 1141s | 25 | 6632687 | 5672898 | 1287 10685 | 36 | 24
1143.30/1143.77 c 1143s | 25 | 6642435 | 5681298 | 1287 10697 | 36 | 24
1145.30/1145.79 c 1145s | 25 | 6651878 | 5689498 | 1287 10709 | 36 | 24
1147.30/1147.79 c 1147s | 25 | 6662259 | 5698498 | 1287 10722 | 36 | 24
1149.40/1149.80 c 1149s | 25 | 6672413 | 5707198 | 1287 10735 | 36 | 24
1151.40/1151.81 c 1151s | 25 | 6682283 | 5715698 | 1287 10747 | 36 | 24
1153.40/1153.83 c 1153s | 25 | 6692142 | 5724198 | 1287 10760 | 36 | 24
1155.40/1155.84 c 1155s | 25 | 6701198 | 5732098 | 1287 10771 | 36 | 24
1157.40/1157.85 c 1157s | 25 | 6710987 | 5740398 | 1287 10784 | 36 | 24
1159.39/1159.86 c 1159s | 25 | 6721069 | 5749098 | 1287 10796 | 36 | 24
1161.39/1161.86 c 1161s | 25 | 6730213 | 5757298 | 1287 10808 | 36 | 24
1163.40/1163.87 c 1163s | 25 | 6739774 | 5765698 | 1287 10820 | 36 | 24
1165.39/1165.88 c 1165s | 25 | 6749519 | 5773998 | 1287 10832 | 36 | 24
1167.39/1167.88 c 1167s | 25 | 6759115 | 5782498 | 1287 10845 | 36 | 24
1169.49/1169.90 c 1169s | 25 | 6769204 | 5791298 | 1287 10857 | 36 | 24
1171.49/1171.90 c 1171s | 25 | 6778936 | 5799798 | 1287 10870 | 36 | 24
1173.49/1173.92 c 1173s | 25 | 6789684 | 5808898 | 1287 10883 | 36 | 24
1175.50/1175.94 c 1175s | 25 | 6799450 | 5817298 | 1287 10895 | 36 | 24
1177.49/1177.95 c 1177s | 25 | 6808867 | 5825598 | 1287 10907 | 36 | 24
1179.49/1179.95 c 1179s | 25 | 6818292 | 5833898 | 1287 10919 | 36 | 24
1181.49/1181.96 c 1181s | 25 | 6827854 | 5842198 | 1287 10931 | 36 | 24
1183.49/1183.98 c 1183s | 25 | 6837397 | 5850498 | 1287 10944 | 36 | 24
1185.50/1185.99 c 1185s | 25 | 6846906 | 5858798 | 1287 10956 | 36 | 24
1187.49/1188.00 c 1187s | 25 | 6855848 | 5866698 | 1287 10967 | 36 | 24
1189.59/1190.02 c 1189s | 25 | 6865185 | 5874898 | 1287 10979 | 36 | 24
1191.59/1192.05 c 1191s | 25 | 6874221 | 5882898 | 1287 10991 | 36 | 24
1193.59/1194.06 c 1193s | 25 | 6884183 | 5891398 | 1287 11003 | 36 | 24
1195.59/1196.07 c 1195s | 25 | 6894390 | 5900298 | 1287 11016 | 36 | 24
1197.59/1198.09 c 1197s | 25 | 6904711 | 5909098 | 1287 11029 | 36 | 24
1199.58/1200.10 c 1199s | 25 | 6914261 | 5917298 | 1287 11041 | 36 | 24
1201.68/1202.12 c 1201s | 25 | 6923993 | 5925598 | 1287 11053 | 36 | 24
1203.68/1204.12 c 1203s | 25 | 6933851 | 5934198 | 1287 11065 | 36 | 24
1205.68/1206.13 c 1205s | 25 | 6943807 | 5942798 | 1287 11078 | 36 | 24
1207.68/1208.14 c 1207s | 25 | 6954587 | 5951798 | 1287 11091 | 36 | 24
1209.69/1210.16 c 1209s | 25 | 6965186 | 5960698 | 1287 11104 | 36 | 24
1211.68/1212.17 c 1211s | 25 | 6974938 | 5968998 | 1287 11116 | 36 | 24
1213.68/1214.18 c 1213s | 25 | 6984843 | 5977398 | 1287 11128 | 36 | 24
1215.68/1216.19 c 1215s | 25 | 6994106 | 5985298 | 1287 11139 | 36 | 24
1217.78/1218.21 c 1217s | 25 | 7003806 | 5993698 | 1287 11152 | 36 | 24
1219.78/1220.23 c 1219s | 25 | 7013290 | 6001998 | 1287 11164 | 36 | 24
1221.79/1222.23 c 1221s | 25 | 7022485 | 6009998 | 1287 11175 | 36 | 24
1223.78/1224.24 c 1223s | 25 | 7031712 | 6018198 | 1287 11187 | 36 | 24
1225.78/1226.25 c 1225s | 25 | 7041112 | 6026598 | 1287 11199 | 36 | 24
1227.78/1228.26 c 1227s | 25 | 7050325 | 6034798 | 1287 11211 | 36 | 24
1229.78/1230.26 c 1229s | 25 | 7059648 | 6042898 | 1287 11223 | 36 | 24
1231.78/1232.27 c 1231s | 25 | 7069516 | 6051398 | 1287 11235 | 36 | 24
1233.79/1234.29 c 1233s | 25 | 7079621 | 6060098 | 1287 11248 | 36 | 24
1235.88/1236.30 c 1235s | 25 | 7089338 | 6068498 | 1287 11260 | 36 | 24
1237.88/1238.31 c 1237s | 25 | 7098958 | 6076798 | 1287 11272 | 36 | 24
1239.88/1240.33 c 1239s | 25 | 7109506 | 6085598 | 1287 11285 | 36 | 24
1241.88/1242.33 c 1241s | 25 | 7119081 | 6093698 | 1287 11297 | 36 | 24
1243.88/1244.35 c 1243s | 25 | 7129053 | 6102198 | 1287 11309 | 36 | 24
1245.89/1246.36 c 1245s | 25 | 7138636 | 6110598 | 1287 11321 | 36 | 24
1247.88/1248.38 c 1247s | 25 | 7147951 | 6118798 | 1287 11333 | 36 | 24
1249.88/1250.39 c 1249s | 25 | 7157002 | 6126798 | 1287 11345 | 36 | 24
1251.98/1252.41 c 1251s | 25 | 7166298 | 6134898 | 1287 11357 | 36 | 24
1253.98/1254.42 c 1253s | 25 | 7175729 | 6142998 | 1287 11369 | 36 | 24
1255.98/1256.44 c 1256s | 25 | 7185062 | 6151098 | 1287 11380 | 36 | 24
1257.98/1258.45 c 1258s | 25 | 7194874 | 6159498 | 1287 11393 | 36 | 24
1259.97/1260.46 c 1260s | 25 | 7204233 | 6167698 | 1287 11405 | 36 | 24
1261.97/1262.47 c 1262s | 25 | 7213098 | 6175598 | 1287 11416 | 36 | 24
1263.97/1264.48 c 1264s | 25 | 7221763 | 6183398 | 1287 11427 | 36 | 24
1265.97/1266.48 c 1266s | 25 | 7231029 | 6191498 | 1287 11439 | 36 | 24
1268.07/1268.51 c 1268s | 25 | 7239959 | 6199498 | 1287 11451 | 36 | 24
1270.08/1270.52 c 1270s | 25 | 7248980 | 6207398 | 1287 11462 | 36 | 24
1272.07/1272.52 c 1272s | 25 | 7258376 | 6215398 | 1287 11474 | 36 | 24
1274.07/1274.53 c 1274s | 25 | 7268933 | 6224298 | 1287 11487 | 36 | 24
1276.07/1276.53 c 1276s | 25 | 7279096 | 6233098 | 1287 11499 | 36 | 24
1278.07/1278.54 c 1278s | 25 | 7289221 | 6241798 | 1287 11512 | 36 | 24
1280.08/1280.56 c 1280s | 25 | 7298710 | 6250098 | 1287 11524 | 36 | 24
1282.08/1282.56 c 1282s | 25 | 7308693 | 6258598 | 1287 11537 | 36 | 24
1284.08/1284.57 c 1284s | 25 | 7318322 | 6266998 | 1287 11549 | 36 | 24
1286.08/1286.59 c 1286s | 25 | 7328706 | 6275698 | 1287 11562 | 36 | 24
1288.18/1288.60 c 1288s | 25 | 7338398 | 6283998 | 1287 11574 | 36 | 24
1290.17/1290.60 c 1290s | 25 | 7348082 | 6292298 | 1287 11586 | 36 | 24
1292.18/1292.61 c 1292s | 25 | 7357372 | 6300398 | 1287 11598 | 36 | 24
1294.17/1294.63 c 1294s | 25 | 7367182 | 6308798 | 1287 11610 | 36 | 24
1296.17/1296.64 c 1296s | 25 | 7377081 | 6317398 | 1287 11623 | 36 | 24
1298.17/1298.64 c 1298s | 25 | 7387041 | 6325998 | 1287 11635 | 36 | 24
1300.17/1300.65 c 1300s | 25 | 7397456 | 6334898 | 1287 11649 | 36 | 24
1302.17/1302.66 c 1302s | 25 | 7408554 | 6344498 | 1287 11663 | 36 | 24
1304.18/1304.67 c 1304s | 25 | 7419316 | 6353698 | 1287 11676 | 36 | 24
1306.17/1306.68 c 1306s | 25 | 7431094 | 6363598 | 1287 11691 | 36 | 24
1308.27/1308.70 c 1308s | 25 | 7442506 | 6373098 | 1287 11705 | 36 | 24
1310.27/1310.72 c 1310s | 25 | 7453026 | 6381998 | 1287 11718 | 36 | 24
1312.27/1312.72 c 1312s | 25 | 7463629 | 6390898 | 1287 11731 | 36 | 24
1314.27/1314.73 c 1314s | 25 | 7474447 | 6399898 | 1287 11744 | 36 | 24
1316.27/1316.75 c 1316s | 25 | 7484599 | 6408598 | 1287 11756 | 36 | 24
1318.27/1318.76 c 1318s | 25 | 7493921 | 6416698 | 1287 11768 | 36 | 24
1320.27/1320.76 c 1320s | 25 | 7503818 | 6425198 | 1287 11781 | 36 | 24
1322.27/1322.78 c 1322s | 25 | 7513930 | 6433898 | 1287 11793 | 36 | 24
1324.26/1324.78 c 1324s | 25 | 7524245 | 6442698 | 1287 11806 | 36 | 24
1326.36/1326.80 c 1326s | 25 | 7533820 | 6450798 | 1287 11818 | 36 | 24
1328.37/1328.81 c 1328s | 25 | 7543903 | 6459298 | 1287 11831 | 36 | 24
1330.37/1330.82 c 1330s | 25 | 7553662 | 6467498 | 1287 11842 | 36 | 24
1332.37/1332.84 c 1332s | 25 | 7563668 | 6475798 | 1287 11855 | 36 | 24
1334.37/1334.85 c 1334s | 25 | 7574317 | 6484898 | 1287 11868 | 36 | 24
1336.37/1336.87 c 1336s | 25 | 7585296 | 6494098 | 1287 11881 | 36 | 24
1338.38/1338.89 c 1338s | 25 | 7596097 | 6503098 | 1287 11894 | 36 | 24
1340.37/1340.89 c 1340s | 25 | 7606929 | 6512098 | 1287 11907 | 36 | 24
1342.47/1342.91 c 1342s | 25 | 7617296 | 6520898 | 1287 11920 | 36 | 24
1344.47/1344.92 c 1344s | 25 | 7627476 | 6529598 | 1287 11933 | 36 | 24
1346.47/1346.93 c 1346s | 25 | 7637946 | 6538498 | 1287 11945 | 36 | 24
1348.47/1348.94 c 1348s | 25 | 7648447 | 6547298 | 1287 11958 | 36 | 24
1350.47/1350.95 c 1350s | 25 | 7659057 | 6556098 | 1287 11971 | 36 | 24
1352.47/1352.95 c 1352s | 25 | 7669219 | 6564798 | 1287 11983 | 36 | 24
1354.47/1354.96 c 1354s | 25 | 7679782 | 6573798 | 1287 11996 | 36 | 24
1356.47/1356.97 c 1356s | 25 | 7689649 | 6582198 | 1287 12009 | 36 | 24
1358.47/1358.99 c 1358s | 25 | 7700604 | 6591398 | 1287 12022 | 36 | 24
1360.56/1361.00 c 1360s | 25 | 7711958 | 6601098 | 1287 12036 | 36 | 24
1362.57/1363.02 c 1362s | 25 | 7722026 | 6609798 | 1287 12049 | 36 | 24
1364.56/1365.03 c 1364s | 25 | 7731875 | 6618198 | 1287 12061 | 36 | 24
1366.56/1367.04 c 1366s | 25 | 7743999 | 6628698 | 1287 12076 | 36 | 24
1368.56/1369.05 c 1368s | 25 | 7755002 | 6638398 | 1287 12090 | 36 | 24
1370.56/1371.07 c 1370s | 25 | 7766044 | 6648098 | 1287 12104 | 36 | 24
1372.56/1373.07 c 1372s | 25 | 7778205 | 6658498 | 1287 12120 | 36 | 24
1374.57/1375.07 c 1374s | 25 | 7789905 | 6668598 | 1287 12135 | 36 | 24
1376.56/1377.08 c 1376s | 25 | 7801834 | 6678798 | 1287 12150 | 36 | 24
1378.66/1379.10 c 1378s | 25 | 7813890 | 6689098 | 1287 12165 | 36 | 24
1380.66/1381.11 c 1380s | 25 | 7825370 | 6698798 | 1287 12179 | 36 | 24
1382.66/1383.12 c 1382s | 25 | 7835842 | 6707698 | 1287 12192 | 36 | 24
1384.66/1385.13 c 1384s | 25 | 7845931 | 6716298 | 1287 12205 | 36 | 24
1386.66/1387.15 c 1386s | 25 | 7857021 | 6725798 | 1287 12218 | 36 | 24
1388.65/1389.16 c 1388s | 25 | 7868207 | 6735198 | 1287 12232 | 36 | 24
1390.65/1391.18 c 1390s | 25 | 7878331 | 6743898 | 1287 12245 | 36 | 24
1392.65/1393.18 c 1392s | 25 | 7889430 | 6752998 | 1287 12258 | 36 | 24
1394.65/1395.19 c 1394s | 25 | 7900043 | 6761898 | 1287 12271 | 36 | 24
1396.75/1397.20 c 1396s | 25 | 7910741 | 6770898 | 1287 12284 | 36 | 24
1398.76/1399.21 c 1398s | 25 | 7921237 | 6779698 | 1287 12297 | 36 | 24
1400.75/1401.23 c 1400s | 25 | 7931042 | 6788098 | 1287 12309 | 36 | 24
1402.75/1403.24 c 1402s | 25 | 7941020 | 6796598 | 1287 12322 | 36 | 24
1404.76/1405.25 c 1404s | 25 | 7950966 | 6805098 | 1287 12334 | 36 | 24
1406.76/1407.26 c 1406s | 25 | 7961617 | 6814198 | 1287 12348 | 36 | 24
1408.76/1409.27 c 1408s | 25 | 7972150 | 6823298 | 1287 12361 | 36 | 24
1410.76/1411.29 c 1410s | 25 | 7982575 | 6832198 | 1287 12374 | 36 | 24
1412.86/1413.30 c 1412s | 25 | 7993933 | 6841798 | 1287 12388 | 36 | 24
1414.86/1415.31 c 1414s | 25 | 8004545 | 6850698 | 1287 12401 | 36 | 24
1416.86/1417.32 c 1416s | 25 | 8015571 | 6859898 | 1287 12414 | 36 | 24
1418.86/1419.34 c 1418s | 25 | 8025380 | 6868398 | 1287 12427 | 36 | 24
1420.86/1421.37 c 1420s | 25 | 8035800 | 6877098 | 1287 12439 | 36 | 24
1422.86/1423.37 c 1422s | 25 | 8045778 | 6885598 | 1287 12452 | 36 | 24
1424.86/1425.38 c 1424s | 25 | 8055367 | 6893798 | 1287 12463 | 36 | 24
1426.95/1427.40 c 1426s | 25 | 8065469 | 6902498 | 1287 12476 | 36 | 24
1428.95/1429.42 c 1428s | 25 | 8075427 | 6910998 | 1287 12489 | 36 | 24
1430.95/1431.43 c 1431s | 25 | 8085169 | 6919498 | 1287 12501 | 36 | 24
1432.96/1433.43 c 1433s | 25 | 8095517 | 6928298 | 1287 12514 | 36 | 24
1434.95/1435.44 c 1435s | 25 | 8105587 | 6936998 | 1287 12526 | 36 | 24
1436.95/1437.45 c 1437s | 25 | 8116417 | 6946198 | 1287 12540 | 36 | 24
1438.95/1439.45 c 1439s | 25 | 8126345 | 6954898 | 1287 12552 | 36 | 24
1440.95/1441.48 c 1441s | 25 | 8136730 | 6963798 | 1287 12565 | 36 | 24
1442.95/1443.48 c 1443s | 25 | 8147767 | 6973198 | 1287 12579 | 36 | 24
1444.96/1445.49 c 1445s | 25 | 8157183 | 6981598 | 1287 12591 | 36 | 24
1447.05/1447.51 c 1447s | 25 | 8167026 | 6990298 | 1287 12604 | 36 | 24
1449.05/1449.52 c 1449s | 25 | 8176443 | 6998598 | 1287 12616 | 36 | 24
1451.05/1451.54 c 1451s | 25 | 8186559 | 7007398 | 1287 12629 | 36 | 24
1453.05/1453.54 c 1453s | 25 | 8196543 | 7016098 | 1287 12641 | 36 | 24
1455.05/1455.55 c 1455s | 25 | 8206860 | 7024998 | 1287 12654 | 36 | 24
1457.05/1457.57 c 1457s | 25 | 8216490 | 7033498 | 1287 12667 | 36 | 24
1459.05/1459.58 c 1459s | 25 | 8226143 | 7041898 | 1287 12679 | 36 | 24
1461.04/1461.59 c 1461s | 25 | 8236421 | 7050798 | 1287 12692 | 36 | 24
1463.04/1463.59 c 1463s | 25 | 8246671 | 7059598 | 1287 12705 | 36 | 24
1465.14/1465.61 c 1465s | 25 | 8256484 | 7068098 | 1287 12717 | 36 | 24
1467.14/1467.63 c 1467s | 25 | 8266370 | 7076698 | 1287 12730 | 36 | 24
1469.15/1469.64 c 1469s | 25 | 8276400 | 7085198 | 1287 12742 | 36 | 24
1471.14/1471.66 c 1471s | 25 | 8286790 | 7094098 | 1287 12755 | 36 | 24
1473.14/1473.66 c 1473s | 25 | 8296596 | 7102498 | 1287 12767 | 36 | 24
1475.14/1475.68 c 1475s | 25 | 8306381 | 7110998 | 1287 12780 | 36 | 24
1477.25/1477.70 c 1477s | 25 | 8316129 | 7119498 | 1287 12792 | 36 | 24
1479.25/1479.70 c 1479s | 25 | 8326016 | 7128198 | 1287 12805 | 36 | 24
1481.25/1481.72 c 1481s | 25 | 8335716 | 7136598 | 1287 12817 | 36 | 24
1483.25/1483.72 c 1483s | 25 | 8345361 | 7144898 | 1287 12829 | 36 | 24
1485.25/1485.72 c 1485s | 25 | 8355748 | 7153798 | 1287 12842 | 36 | 24
1487.24/1487.74 c 1487s | 25 | 8366421 | 7162998 | 1287 12855 | 36 | 24
1489.24/1489.74 c 1489s | 25 | 8376578 | 7171698 | 1287 12868 | 36 | 24
1491.25/1491.76 c 1491s | 25 | 8386078 | 7180098 | 1287 12880 | 36 | 24
1493.24/1493.77 c 1493s | 25 | 8395713 | 7188498 | 1287 12893 | 36 | 24
1495.24/1495.79 c 1495s | 25 | 8405691 | 7197198 | 1287 12905 | 36 | 24
1497.24/1497.79 c 1497s | 25 | 8415634 | 7205898 | 1287 12918 | 36 | 24
1499.34/1499.80 c 1499s | 25 | 8425922 | 7214798 | 1287 12931 | 36 | 24
1501.34/1501.80 c 1501s | 25 | 8436269 | 7223598 | 1287 12944 | 36 | 24
1503.35/1503.81 c 1503s | 25 | 8446321 | 7232298 | 1287 12957 | 36 | 24
1505.34/1505.81 c 1505s | 25 | 8456483 | 7240798 | 1287 12969 | 36 | 24
1507.34/1507.82 c 1507s | 25 | 8466759 | 7249398 | 1287 12982 | 36 | 24
1509.34/1509.83 c 1509s | 25 | 8477033 | 7258198 | 1287 12994 | 36 | 24
1511.34/1511.84 c 1511s | 25 | 8487414 | 7267098 | 1287 13007 | 36 | 24
1513.34/1513.86 c 1513s | 25 | 8497551 | 7275798 | 1287 13020 | 36 | 24
1515.35/1515.86 c 1515s | 25 | 8506953 | 7283998 | 1287 13032 | 36 | 24
1517.34/1517.88 c 1517s | 25 | 8517278 | 7292798 | 1287 13045 | 36 | 24
1519.34/1519.89 c 1519s | 25 | 8527631 | 7301698 | 1287 13058 | 36 | 24
1521.44/1521.91 c 1521s | 25 | 8537513 | 7310298 | 1287 13070 | 36 | 24
1523.44/1523.93 c 1523s | 25 | 8546740 | 7318498 | 1287 13082 | 36 | 24
1525.44/1525.93 c 1525s | 25 | 8556228 | 7326898 | 1287 13094 | 36 | 24
1527.44/1527.96 c 1527s | 25 | 8565644 | 7335198 | 1287 13106 | 36 | 24
1529.44/1529.98 c 1529s | 25 | 8574977 | 7343398 | 1287 13118 | 36 | 24
1531.44/1531.99 c 1531s | 25 | 8583755 | 7351098 | 1287 13130 | 36 | 24
1533.53/1534.00 c 1533s | 25 | 8593891 | 7359998 | 1287 13143 | 36 | 24
1535.53/1536.00 c 1535s | 25 | 8602919 | 7367998 | 1287 13154 | 36 | 24
1537.53/1538.03 c 1537s | 25 | 8612337 | 7376298 | 1287 13166 | 36 | 24
1539.54/1540.03 c 1539s | 25 | 8621466 | 7384298 | 1287 13178 | 36 | 24
1541.53/1542.04 c 1541s | 25 | 8630396 | 7392198 | 1287 13189 | 36 | 24
1543.53/1544.05 c 1543s | 25 | 8639541 | 7400298 | 1287 13201 | 36 | 24
1545.53/1546.08 c 1545s | 25 | 8649379 | 7408898 | 1287 13214 | 36 | 24
1547.53/1548.09 c 1547s | 25 | 8659057 | 7417198 | 1287 13226 | 36 | 24
1549.54/1550.09 c 1549s | 25 | 8668125 | 7425098 | 1287 13237 | 36 | 24
1551.64/1552.11 c 1551s | 25 | 8677194 | 7433098 | 1287 13249 | 36 | 24
1553.63/1554.12 c 1553s | 25 | 8686964 | 7441598 | 1287 13261 | 36 | 24
1555.63/1556.14 c 1555s | 25 | 8696590 | 7449798 | 1287 13273 | 36 | 24
1557.63/1558.17 c 1557s | 25 | 8707418 | 7458898 | 1287 13287 | 36 | 24
1559.63/1560.19 c 1559s | 25 | 8718560 | 7468398 | 1287 13301 | 36 | 24
1561.63/1562.19 c 1561s | 25 | 8729153 | 7477498 | 1287 13314 | 36 | 24
1563.73/1564.21 c 1563s | 25 | 8739640 | 7486598 | 1287 13327 | 36 | 24
1565.73/1566.22 c 1565s | 25 | 8749725 | 7495298 | 1287 13340 | 36 | 24
1567.73/1568.24 c 1567s | 25 | 8759381 | 7503798 | 1287 13352 | 36 | 24
1569.73/1570.25 c 1569s | 25 | 8769867 | 7512798 | 1287 13365 | 36 | 24
1571.73/1572.26 c 1571s | 25 | 8780480 | 7521898 | 1287 13379 | 36 | 24
1573.74/1574.27 c 1573s | 25 | 8791434 | 7531298 | 1287 13393 | 36 | 24
1575.73/1576.29 c 1575s | 25 | 8802090 | 7540298 | 1416 13406 | 36 | 24
1577.83/1578.31 c 1577s | 25 | 8811872 | 7548698 | 1416 13417 | 36 | 24
1579.83/1580.33 c 1579s | 25 | 8821352 | 7556898 | 1416 13428 | 36 | 24
1581.83/1582.35 c 1581s | 25 | 8831557 | 7565598 | 1416 13439 | 36 | 24
1583.83/1584.37 c 1583s | 25 | 8841414 | 7573898 | 1416 13451 | 36 | 24
1585.83/1586.38 c 1585s | 25 | 8851848 | 7582698 | 1416 13462 | 36 | 24
1587.83/1588.38 c 1587s | 25 | 8862059 | 7591398 | 1416 13474 | 36 | 24
1589.33/1589.88 c 1589s | 26 | 8869443 | 7597752 | 1416 13482 | 36 | 24
1591.33/1591.90 c 1591s | 26 | 8879785 | 7606652 | 1416 13494 | 36 | 24
1593.43/1593.91 c 1593s | 26 | 8889677 | 7615152 | 1416 13505 | 36 | 24
1595.42/1595.93 c 1595s | 26 | 8899696 | 7623752 | 1416 13517 | 36 | 24
1597.42/1597.95 c 1597s | 26 | 8910264 | 7632752 | 1416 13529 | 36 | 24
1599.42/1599.95 c 1599s | 26 | 8920306 | 7641352 | 1416 13540 | 36 | 24
1601.42/1601.96 c 1601s | 26 | 8930401 | 7650252 | 1416 13552 | 36 | 24
1603.43/1603.98 c 1603s | 26 | 8940973 | 7659452 | 1416 13564 | 36 | 24
1605.42/1605.98 c 1605s | 26 | 8951143 | 7668152 | 1416 13575 | 36 | 24
1607.52/1608.00 c 1607s | 26 | 8961785 | 7677252 | 1416 13587 | 36 | 24
1609.52/1610.00 c 1609s | 26 | 8972140 | 7686252 | 1416 13599 | 36 | 24
1611.52/1612.01 c 1611s | 26 | 8981677 | 7694752 | 1416 13611 | 36 | 24
1613.52/1614.03 c 1613s | 26 | 8991388 | 7703152 | 1416 13622 | 36 | 24
1615.53/1616.05 c 1615s | 26 | 9001481 | 7711852 | 1416 13633 | 36 | 24
1617.52/1618.06 c 1617s | 26 | 9011053 | 7720252 | 1416 13645 | 36 | 24
1619.52/1620.06 c 1619s | 26 | 9020586 | 7728652 | 1416 13656 | 36 | 24
1621.52/1622.07 c 1621s | 26 | 9030067 | 7736952 | 1416 13667 | 36 | 24
1623.52/1624.07 c 1623s | 26 | 9040342 | 7745852 | 1416 13678 | 36 | 24
1625.52/1626.07 c 1625s | 26 | 9050104 | 7754352 | 1416 13690 | 36 | 24
1627.53/1628.08 c 1627s | 26 | 9061328 | 7763952 | 1416 13702 | 36 | 24
1629.63/1630.10 c 1629s | 26 | 9071566 | 7772752 | 1416 13714 | 36 | 24
1631.63/1632.10 c 1631s | 26 | 9081715 | 7781652 | 1416 13726 | 36 | 24
1633.62/1634.11 c 1633s | 26 | 9091993 | 7790552 | 1416 13738 | 36 | 24
1635.62/1636.11 c 1635s | 26 | 9101615 | 7799052 | 1416 13749 | 36 | 24
1637.62/1638.13 c 1637s | 26 | 9111733 | 7807752 | 1416 13761 | 36 | 24
1639.63/1640.14 c 1639s | 26 | 9121607 | 7816252 | 1416 13772 | 36 | 24
1641.62/1642.15 c 1641s | 26 | 9132242 | 7825352 | 1416 13784 | 36 | 24
1643.62/1644.16 c 1643s | 26 | 9141715 | 7833652 | 1416 13795 | 36 | 24
1645.62/1646.17 c 1645s | 26 | 9151385 | 7842052 | 1416 13806 | 36 | 24
1647.62/1648.19 c 1647s | 26 | 9161117 | 7850552 | 1416 13817 | 36 | 24
1649.72/1650.20 c 1649s | 26 | 9170478 | 7858752 | 1416 13828 | 36 | 24
1651.72/1652.22 c 1651s | 26 | 9180164 | 7867252 | 1416 13839 | 36 | 24
1653.72/1654.22 c 1653s | 26 | 9190746 | 7876352 | 1416 13851 | 36 | 24
1655.72/1656.23 c 1655s | 26 | 9201604 | 7885552 | 1416 13864 | 36 | 24
1657.72/1658.23 c 1657s | 26 | 9212863 | 7895052 | 1416 13876 | 36 | 24
1659.72/1660.25 c 1659s | 26 | 9223218 | 7903952 | 1416 13888 | 36 | 24
1661.72/1662.26 c 1661s | 26 | 9233640 | 7912952 | 1416 13900 | 36 | 24
1663.71/1664.26 c 1663s | 26 | 9244537 | 7922152 | 1416 13912 | 36 | 24
1665.71/1666.29 c 1665s | 26 | 9254015 | 7930252 | 1416 13923 | 36 | 24
1667.81/1668.30 c 1667s | 26 | 9263706 | 7938652 | 1416 13934 | 36 | 24
1669.81/1670.30 c 1669s | 26 | 9273046 | 7946752 | 1416 13945 | 36 | 24
1671.81/1672.32 c 1671s | 26 | 9283185 | 7955452 | 1416 13957 | 36 | 24
1673.82/1674.34 c 1673s | 26 | 9294520 | 7965252 | 1416 13970 | 36 | 24
1675.81/1676.36 c 1675s | 26 | 9303550 | 7973352 | 1416 13980 | 36 | 24
1677.81/1678.37 c 1677s | 26 | 9313475 | 7981752 | 1416 13991 | 36 | 24
1679.81/1680.37 c 1679s | 26 | 9322567 | 7989652 | 1416 14002 | 36 | 24
1681.81/1682.40 c 1681s | 26 | 9331681 | 7997652 | 1416 14012 | 36 | 24
1683.91/1684.41 c 1683s | 26 | 9341080 | 8005652 | 1416 14023 | 36 | 24
1685.92/1686.41 c 1685s | 26 | 9349878 | 8013352 | 1416 14033 | 36 | 24
1687.91/1688.42 c 1687s | 26 | 9359147 | 8021352 | 1416 14044 | 36 | 24
1689.91/1690.43 c 1690s | 26 | 9369216 | 8029852 | 1416 14055 | 36 | 24
1691.91/1692.45 c 1692s | 26 | 9381040 | 8040052 | 1416 14068 | 36 | 24
1693.91/1694.47 c 1694s | 26 | 9391930 | 8049352 | 1416 14081 | 36 | 24
1695.91/1696.47 c 1696s | 26 | 9402558 | 8058352 | 1416 14093 | 36 | 24
1697.91/1698.48 c 1698s | 26 | 9413908 | 8067852 | 1416 14105 | 36 | 24
1700.01/1700.50 c 1700s | 26 | 9425239 | 8077352 | 1416 14118 | 36 | 24
1702.01/1702.51 c 1702s | 26 | 9435685 | 8086352 | 1416 14130 | 36 | 24
1704.01/1704.52 c 1704s | 26 | 9446502 | 8095152 | 1416 14142 | 36 | 24
1706.01/1706.53 c 1706s | 26 | 9457635 | 8104652 | 1416 14155 | 36 | 24
1708.01/1708.55 c 1708s | 26 | 9468796 | 8114152 | 1416 14167 | 36 | 24
1710.02/1710.57 c 1710s | 26 | 9478941 | 8123052 | 1416 14179 | 36 | 24
1712.01/1712.58 c 1712s | 26 | 9489506 | 8132252 | 1416 14191 | 36 | 24
1714.01/1714.59 c 1714s | 26 | 9499670 | 8140952 | 1416 14203 | 36 | 24
1716.01/1716.59 c 1716s | 26 | 9509295 | 8149252 | 1416 14214 | 36 | 24
1718.11/1718.62 c 1718s | 26 | 9518888 | 8157552 | 1416 14225 | 36 | 24
1720.11/1720.63 c 1720s | 26 | 9528920 | 8166152 | 1416 14236 | 36 | 24
1722.12/1722.63 c 1722s | 26 | 9538507 | 8174552 | 1416 14247 | 36 | 24
1724.11/1724.64 c 1724s | 26 | 9548393 | 8183252 | 1416 14259 | 36 | 24
1726.11/1726.65 c 1726s | 26 | 9558715 | 8191952 | 1416 14270 | 36 | 24
1728.11/1728.65 c 1728s | 26 | 9568340 | 8200352 | 1416 14282 | 36 | 24
1730.11/1730.65 c 1730s | 26 | 9577830 | 8208652 | 1416 14293 | 36 | 24
1732.11/1732.66 c 1732s | 26 | 9587191 | 8216852 | 1416 14304 | 36 | 24
1734.11/1734.66 c 1734s | 26 | 9597067 | 8225552 | 1416 14315 | 36 | 24
1736.11/1736.67 c 1736s | 26 | 9607956 | 8234752 | 1416 14327 | 36 | 24
1738.10/1738.68 c 1738s | 26 | 9618640 | 8244052 | 1416 14340 | 36 | 24
1740.10/1740.69 c 1740s | 26 | 9629085 | 8253152 | 1416 14352 | 36 | 24
1742.10/1742.69 c 1742s | 26 | 9639463 | 8262152 | 1416 14364 | 36 | 24
1744.21/1744.70 c 1744s | 26 | 9649626 | 8271052 | 1416 14376 | 36 | 24
1746.20/1746.73 c 1746s | 26 | 9659937 | 8279952 | 1416 14388 | 36 | 24
1748.20/1748.74 c 1748s | 26 | 9669709 | 8288352 | 1416 14399 | 36 | 24
1750.20/1750.74 c 1750s | 26 | 9679679 | 8296852 | 1416 14410 | 36 | 24
1752.20/1752.76 c 1752s | 26 | 9690111 | 8305652 | 1416 14422 | 36 | 24
1754.20/1754.78 c 1754s | 26 | 9700744 | 8314652 | 1416 14434 | 36 | 24
1756.21/1756.79 c 1756s | 26 | 9710714 | 8323252 | 1416 14445 | 36 | 24
1758.30/1758.81 c 1758s | 26 | 9720914 | 8332152 | 1416 14457 | 36 | 24
1760.30/1760.83 c 1760s | 26 | 9730956 | 8340852 | 1416 14469 | 36 | 24
1762.30/1762.83 c 1762s | 26 | 9741448 | 8350052 | 1416 14481 | 36 | 24
1764.30/1764.85 c 1764s | 26 | 9752184 | 8359252 | 1416 14493 | 36 | 24
1766.30/1766.86 c 1766s | 26 | 9762898 | 8368452 | 1416 14505 | 36 | 24
1768.30/1768.87 c 1768s | 26 | 9772967 | 8376952 | 1416 14517 | 36 | 24
1770.30/1770.88 c 1770s | 26 | 9784030 | 8386152 | 1416 14529 | 36 | 24
1772.29/1772.89 c 1772s | 26 | 9794472 | 8394952 | 1416 14541 | 36 | 24
1774.29/1774.89 c 1774s | 26 | 9804308 | 8403352 | 1416 14552 | 36 | 24
1776.29/1776.89 c 1776s | 26 | 9814199 | 8411852 | 1416 14563 | 36 | 24
1778.39/1778.91 c 1778s | 26 | 9824863 | 8420852 | 1416 14575 | 36 | 24
1780.40/1780.93 c 1780s | 26 | 9835198 | 8429552 | 1416 14587 | 36 | 24
1782.39/1782.94 c 1782s | 26 | 9844447 | 8437652 | 1416 14597 | 36 | 24
1784.39/1784.95 c 1784s | 26 | 9854114 | 8445952 | 1416 14608 | 36 | 24
1786.39/1786.96 c 1786s | 26 | 9863829 | 8454252 | 1416 14619 | 36 | 24
1788.39/1788.97 c 1788s | 26 | 9875006 | 8463552 | 1416 14632 | 36 | 24
1790.40/1790.98 c 1790s | 26 | 9884598 | 8471852 | 1416 14643 | 36 | 24
1792.40/1793.00 c 1792s | 26 | 9894493 | 8480452 | 1416 14654 | 36 | 24
1794.50/1795.01 c 1794s | 26 | 9904684 | 8489052 | 1416 14666 | 36 | 24
1796.50/1797.02 c 1796s | 26 | 9914381 | 8497352 | 1416 14677 | 36 | 24
1798.50/1799.04 c 1798s | 26 | 9924558 | 8505952 | 1416 14688 | 36 | 24
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-4117438-1467212617/watcher-4117438-1467212617 -o /tmp/evaluation-result-4117438-1467212617/solver-4117438-1467212617 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467208982-19136 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117438-1467212617.opb
pid=19456
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.11 2.17 2.17 3/170 19459
/proc/meminfo: memFree=29625036/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 2635 0 0 0 0 0 0 0 20 0 4 0 11290256 723972096 2996 33554432000 4194304 16246674 140734442430752 140734442430176 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 177263 3004 441 2943 0 174157 0
[pid=19459/tid=19460] ppid=19456 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 741797888 3062 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 745992192 3078 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=732604 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11290257 750186496 3095 33554432000 4194304 16246674 140734442430752 140564202773680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.100165 s]
/proc/loadavg: 2.11 2.17 2.17 3/170 19459
/proc/meminfo: memFree=29625036/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 24193 0 0 0 6 3 0 0 20 0 4 0 11290256 1247350784 24541 33554432000 4194304 16246674 140734442430752 140734442430176 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 304529 24548 785 2943 0 301423 0
[pid=19459/tid=19460] ppid=19456 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1247350784 24555 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1247350784 24559 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11290257 1247350784 24565 33554432000 4194304 16246674 140734442430752 140564202773680 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.20048 s]
/proc/loadavg: 2.11 2.17 2.17 3/170 19459
/proc/meminfo: memFree=29625036/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 44206 0 0 0 13 6 0 0 20 0 4 0 11290256 1247350784 44554 33554432000 4194304 16246674 140734442430752 140734442413744 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 304529 44563 785 2943 0 301423 0
[pid=19459/tid=19460] ppid=19456 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1247350784 44568 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1247350784 44575 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11290257 1247350784 44580 33554432000 4194304 16246674 140734442430752 140564202773680 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) 1218116
[startup+0.300473 s]
/proc/loadavg: 2.11 2.17 2.17 3/170 19459
/proc/meminfo: memFree=29625036/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 64301 0 0 0 20 9 0 0 20 0 4 0 11290256 1247350784 64648 33554432000 4194304 16246674 140734442430752 140734442413744 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 304529 64655 786 2943 0 301423 0
[pid=19459/tid=19460] ppid=19456 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1247350784 64662 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1247350784 64667 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11290257 1247350784 64672 33554432000 4194304 16246674 140734442430752 140564202773680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700451 s]
/proc/loadavg: 2.11 2.17 2.17 3/170 19459
/proc/meminfo: memFree=29625036/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 146314 0 0 0 49 20 0 0 20 0 4 0 11290256 1247350784 146662 33554432000 4194304 16246674 140734442430752 140734442413744 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 304529 146675 787 2943 0 301423 0
[pid=19459/tid=19460] ppid=19456 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1247350784 146677 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1247350784 146677 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11290257 1247350784 146685 33554432000 4194304 16246674 140734442430752 140564202773680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50046 s]
/proc/loadavg: 2.02 2.15 2.17 3/183 19476
/proc/meminfo: memFree=28040220/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 245682 0 0 0 116 32 0 0 20 0 4 0 11290256 1248399360 246007 33554432000 4194304 16246674 140734442430752 140734442430064 5659668 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 304785 246007 846 2943 0 301679 0
[pid=19459/tid=19460] ppid=19456 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1248399360 246007 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1248399360 246007 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1248399360 246007 33554432000 4194304 16246674 140734442430752 140564202773680 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) 1219140
[startup+3.10041 s]
/proc/loadavg: 2.02 2.15 2.17 3/183 19476
/proc/meminfo: memFree=27474392/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 267513 0 0 0 274 35 0 0 20 0 4 0 11290256 1337528320 267838 33554432000 4194304 16246674 140734442430752 140734442413752 5723768 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326545 267838 846 2943 0 323439 0
[pid=19459/tid=19460] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267838 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267838 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267838 33554432000 4194304 16246674 140734442430752 140564202773680 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) 1306180
[startup+6.30043 s]
/proc/loadavg: 2.02 2.15 2.16 3/183 19476
/proc/meminfo: memFree=27473788/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 267513 0 0 0 594 35 0 0 20 0 4 0 11290256 1337528320 267838 33554432000 4194304 16246674 140734442430752 140734442413752 12477752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326545 267838 846 2943 0 323439 0
[pid=19459/tid=19460] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267838 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267838 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267838 33554432000 4194304 16246674 140734442430752 140564202773680 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) 1306180
[startup+12.7004 s]
/proc/loadavg: 2.02 2.14 2.16 3/183 19476
/proc/meminfo: memFree=27473712/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 267542 0 0 0 1233 35 0 0 20 0 4 0 11290256 1337528320 267867 33554432000 4194304 16246674 140734442430752 140734442413752 5662092 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326545 267867 846 2943 0 323439 0
[pid=19459/tid=19460] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267867 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267867 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267867 33554432000 4194304 16246674 140734442430752 140564202773680 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) 1306180
[startup+25.5005 s]
/proc/loadavg: 2.08 2.15 2.17 3/183 19476
/proc/meminfo: memFree=27474860/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 267544 0 0 0 2513 35 0 0 20 0 4 0 11290256 1337528320 267869 33554432000 4194304 16246674 140734442430752 140734442413752 5974204 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326545 267869 847 2943 0 323439 0
[pid=19459/tid=19460] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267869 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267869 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267869 33554432000 4194304 16246674 140734442430752 140564202773680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180
[startup+51.1005 s]
/proc/loadavg: 2.11 2.15 2.17 3/183 19477
/proc/meminfo: memFree=27468384/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 267552 0 0 0 5072 36 0 0 20 0 4 0 11290256 1337528320 267871 33554432000 4194304 16246674 140734442430752 140734442412672 6026716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326545 267871 849 2943 0 323439 0
[pid=19459/tid=19460] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267871 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267871 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267871 33554432000 4194304 16246674 140734442430752 140564202773680 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) 1306180
[startup+102.3 s]
/proc/loadavg: 2.14 2.16 2.17 3/183 19478
/proc/meminfo: memFree=27463940/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1306180 CPUtime=102.27 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 267596 0 0 0 10190 37 0 0 20 0 4 0 11290256 1337528320 267898 33554432000 4194304 16246674 140734442430752 140734442412672 6843116 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326545 267898 849 2943 0 323439 0
[pid=19459/tid=19460] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267898 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267898 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1337528320 267898 33554432000 4194304 16246674 140734442430752 140564202773680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180
################
# More data... #
################
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564202773680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1307204
[startup+1362.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/183 19510
/proc/meminfo: memFree=27386956/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1307204 CPUtime=1361.86 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 268214 0 0 0 136131 55 0 0 20 0 4 0 11290256 1338576896 268188 33554432000 4194304 16246674 140734442430752 140734442412672 5553724 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326801 268188 850 2943 0 323695 0
[pid=19459/tid=19460] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564202773680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1307204
[startup+1422.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/183 19511
/proc/meminfo: memFree=27387064/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1307204 CPUtime=1421.86 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 268214 0 0 0 142130 56 0 0 20 0 4 0 11290256 1338576896 268188 33554432000 4194304 16246674 140734442430752 140734442412672 5717780 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326801 268188 850 2943 0 323695 0
[pid=19459/tid=19460] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564202773680 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) 1307204
[startup+1482.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 19512
/proc/meminfo: memFree=27386816/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1307204 CPUtime=1481.85 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 268214 0 0 0 148128 57 0 0 20 0 4 0 11290256 1338576896 268188 33554432000 4194304 16246674 140734442430752 140734442413752 12415665 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326801 268188 850 2943 0 323695 0
[pid=19459/tid=19460] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564202773680 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) 1307204
[startup+1542.31 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 19513
/proc/meminfo: memFree=27386944/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1307204 CPUtime=1541.84 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 268214 0 0 0 154127 57 0 0 20 0 4 0 11290256 1338576896 268188 33554432000 4194304 16246674 140734442430752 140734442412672 5523139 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326801 268188 850 2943 0 323695 0
[pid=19459/tid=19460] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564202773680 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) 1307204
[startup+1602.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/184 19518
/proc/meminfo: memFree=27370628/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1307204 CPUtime=1601.82 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 268214 0 0 0 160124 58 0 0 20 0 4 0 11290256 1338576896 268188 33554432000 4194304 16246674 140734442430752 140734442412672 5672865 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326801 268188 850 2943 0 323695 0
[pid=19459/tid=19460] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564202773680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1307204
[startup+1662.3 s]
/proc/loadavg: 2.16 2.21 2.18 3/183 19519
/proc/meminfo: memFree=27370380/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1307204 CPUtime=1661.81 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 268214 0 0 0 166122 59 0 0 20 0 4 0 11290256 1338576896 268188 33554432000 4194304 16246674 140734442430752 140734442413752 5829927 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326801 268188 850 2943 0 323695 0
[pid=19459/tid=19460] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564202773680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1307204
[startup+1722.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/183 19520
/proc/meminfo: memFree=27370380/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1307204 CPUtime=1721.81 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 268214 0 0 0 172121 60 0 0 20 0 4 0 11290256 1338576896 268188 33554432000 4194304 16246674 140734442430752 140734442413752 12483481 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326801 268188 850 2943 0 323695 0
[pid=19459/tid=19460] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564202773680 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) 1307204
[startup+1782.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/183 19521
/proc/meminfo: memFree=27369880/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1307204 CPUtime=1781.79 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 268214 0 0 0 178119 60 0 0 20 0 4 0 11290256 1338576896 268188 33554432000 4194304 16246674 140734442430752 140734442413752 5546160 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326801 268188 850 2943 0 323695 0
[pid=19459/tid=19460] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564202773680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1307204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.31 2.26 2.19 4/183 19521
/proc/meminfo: memFree=27370140/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1307204 CPUtime=1800 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 268214 0 0 0 179939 61 0 0 20 0 4 0 11290256 1338576896 268188 33554432000 4194304 16246674 140734442430752 140734442412672 6012041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326801 268188 850 2943 0 323695 0
[pid=19459/tid=19460] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564202773680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1307204
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 19459 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.31 2.26 2.19 4/183 19521
/proc/meminfo: memFree=27370140/32872528 swapFree=1394328/1580332
[pid=19459] ppid=19456 vsize=1307204 CPUtime=1800 cores=1,3,5,7
/proc/19459/stat : 19459 (toysat) R 19456 19459 19119 0 -1 4202496 268214 0 0 0 179939 61 0 0 20 0 4 0 11290256 1338576896 268188 33554432000 4194304 16246674 140734442430752 140734442412672 6012041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19459/statm: 326801 268188 850 2943 0 323695 0
[pid=19459/tid=19460] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19460/stat : 19460 (toysat) S 19456 19459 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564296084720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19459/tid=19461] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19461/stat : 19461 (toysat) S 19456 19459 19119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564213247216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19459/tid=19462] ppid=19456 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19459/task/19462/stat : 19462 (toysat) S 19456 19459 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11290257 1338576896 268188 33554432000 4194304 16246674 140734442430752 140564202773680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1307204
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.4
CPU system time (s): 0.610907
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1307204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.610907
maximum resident set size= 1072752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268214
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= 365
involuntary context switches= 2016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.72867 second user time and 7.50586 second system time
The end