0.00/0.00 c 2016-06-29T19:21:48+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.01 c loop-0.3.0
0.00/0.01 c mtl-2.2.1
0.00/0.01 c multiset-0.3.2
0.00/0.01 c mwc-random-0.13.3.2
0.00/0.01 c parse_dimacs-1.3
0.00/0.01 c parsec-3.1.9
0.00/0.01 c prettyclass-1.0.0.0
0.00/0.01 c primes-0.2.1.0
0.00/0.01 c primitive-0.6.1.0
0.00/0.01 c process-1.2.3.0
0.00/0.01 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-4118090-1467220908.opb"]
0.00/0.02 c use --random-gen="3114210682 2108369844 2707222227 3174847981 3918091941 3199276831 3119183228 3883383856 3724187631 343896859 2468625012 2677900328 3053207608 280193731 3642977610 1440251413 707726911 2331184541 2250045395 2903691699 3363923341 1532965208 2271271967 935314398 1638812365 3955690101 297246474 3992601327 3002080717 3512846830 4191210153 3685460143 2551799594 2280175844 3199655317 802938739 1874641557 2395366135 2604266158 1972165131 2631670340 1144228608 864339099 2318548267 1109666674 2574294940 1969866932 2443075909 2066655173 1102158989 2443954166 992410515 881442306 1405824257 1652642789 4151649471 2471617545 4031059667 1535967165 1114169659 845138483 2259479505 2792267040 1940622979 19904786 3419337947 129278335 1562815379 3037899089 1980592686 3991977605 3962349442 3144321559 1437842589 719057428 2581783735 1025614559 2325855943 3850601702 3796202537 1415180196 1661011735 2286591556 1955897754 3442747494 3614388082 874992066 2404801328 4118269120 2875511895 1551221239 823099439 2860855500 1740924698 289024175 1163515153 2414237335 4173521419 1703441800 1441545382 56275749 2832256821 1293766205 3145089207 117512798 273116804 2650722672 734376760 3713945858 3929409488 3998659364 2842388913 2083678827 3137555072 894754092 2537572127 511256176 3314222768 346892835 3186543228 3984303443 4161954363 1777481342 664182399 1428466482 2897463014 3652984488 3004257593 3033259607 2912298143 81455104 36615996 3570419183 1877738927 334728717 213554778 2053341240 821587230 3503075804 1104824557 3467053947 598130649 1677281777 839176598 277252648 4259950824 1573221759 331134375 3823872341 2600402724 3335767888 693739642 315926715 840922614 616575542 3611545356 1423997776 3403194297 2316008940 2643644822 4175576541 454589375 3276341893 2840602621 2422036692 1140288877 803254685 4286111280 3253279992 2205230923 3128999032 2342036338 1358647278 3771738876 3500828315 259945789 1164523732 1131879107 1890317512 2430536421 2522187451 2349899540 2942620357 505163591 3711200685 1484710964 3081616990 174722289 2438631797 4274209926 2573370902 1561577725 2577527697 320273262 4158160876 3730762211 3431309312 732335668 2312254151 3500336376 3367891352 975643648 2470509149 1858451967 2147058391 485080134 3963522959 3632085960 259096411 1377557971 906695452 3073001121 190581435 3067653361 2342616039 3662646076 2924690658 643969160 1976182850 266960541 1822893902 4282221137 1953837039 4219141267 3053689755 928362786 1855524698 1228594350 655346197 1142897384 3584369255 3004733596 2135860102 3131754330 3234890464 886938481 706967536 1464164696 1118479769 2122893057 2994834354 798791967 4109623667 2909006836 1542276797 1146337266 2306257627 3606575884 3446396799 4251397986 928114802 3971865726 3254482663 3720518899 118829875 15016466 255 362436" option to reproduce the execution
0.00/0.03 c #vars 240
0.00/0.03 c #constraints 46
0.00/0.08 c BCD2: Hardening is enabled.
0.00/0.08 c BCD2: BiasedSearch is enabled.
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 2537 0 | 0 | 0
0.08/0.10 c 0.0s | 1 | 3773 | 100 | 2537 0 | 0 | 0
0.08/0.11 c 0.0s | 1 | 11085 | 106 | 2791 0 | 0 | 0
0.08/0.11 c #cpu_time = 0.027s
0.08/0.11 c #wall_clock_time = 0.027s
0.08/0.11 c #decision = 11085
0.08/0.11 c #random_decision = 49
0.08/0.11 c #conflict = 106
0.08/0.11 c #restart = 1
0.08/0.11 o 18240
0.08/0.12 c BCD2: updating upper bound: 1147840 -> 18239
0.08/0.14 c BCD2: 0 <= obj <= 18239
0.08/0.14 c BCD2: #cores=0, #unrelaxed=3648, #relaxed=0, #hardened=0
0.08/0.14 c BCD2: #sat=1 #unsat=1 bias=1/2
0.08/0.14 c Solving starts ...
0.08/0.14 c ============================[ Search Statistics ]============================
0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.14 c | | | | Limit GC | Var | Constra
0.08/0.14 c =============================================================================
0.08/0.14 c 0.0s | 0 | 0 | 0 | 2791 0 | 0 | 0
0.08/0.16 c 0.0s | 0 | 18789 | 12 | 2791 0 | 0 | 0
0.08/0.16 c #cpu_time = 0.023s
0.08/0.16 c #wall_clock_time = 0.023s
0.08/0.16 c #decision = 18789
0.08/0.16 c #random_decision = 0
0.08/0.16 c #conflict = 12
0.08/0.16 c #restart = 0
0.08/0.16 c BCD2: found a new core of size 64: cost of the new core is >=192
0.08/0.16 c lower bound updated to 192
0.08/0.18 c BCD2: 192 <= obj <= 18239
0.08/0.18 c BCD2: #cores=1, #unrelaxed=3584, #relaxed=64, #hardened=0
0.08/0.18 c BCD2: #sat=1 #unsat=2 bias=2/3
0.08/0.18 c Solving starts ...
0.08/0.18 c ============================[ Search Statistics ]============================
0.08/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.18 c | | | | Limit GC | Var | Constra
0.08/0.18 c =============================================================================
0.08/0.18 c 0.0s | 0 | 0 | 0 | 2791 0 | 0 | 0
0.08/0.20 c 0.0s | 0 | 24799 | 26 | 2791 0 | 0 | 0
0.08/0.20 c #cpu_time = 0.017s
0.08/0.20 c #wall_clock_time = 0.017s
0.08/0.20 c #decision = 24799
0.08/0.20 c #random_decision = 0
0.08/0.20 c #conflict = 26
0.08/0.20 c #restart = 0
0.08/0.20 c BCD2: found a new core of size 64: cost of the new core is >=184
0.08/0.20 c lower bound updated to 376
0.18/0.20 c BCD2: 376 <= obj <= 18239
0.18/0.20 c BCD2: #cores=2, #unrelaxed=3520, #relaxed=128, #hardened=0
0.18/0.20 c BCD2: #sat=1 #unsat=3 bias=3/4
0.18/0.20 c Solving starts ...
0.18/0.20 c ============================[ Search Statistics ]============================
0.18/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.18/0.20 c | | | | Limit GC | Var | Constra
0.18/0.20 c =============================================================================
0.18/0.20 c 0.0s | 0 | 0 | 0 | 2791 0 | 0 | 0
0.18/0.20 c 0.0s | 0 | 1818 | 7 | 2791 0 | 0 | 0
0.18/0.20 c #cpu_time = 0.004s
0.18/0.20 c #wall_clock_time = 0.004s
0.18/0.20 c #decision = 1818
0.18/0.20 c #random_decision = 0
0.18/0.20 c #conflict = 7
0.18/0.20 c #restart = 0
0.18/0.20 c BCD2: found a new core of size 64: cost of the new core is >=336
0.18/0.20 c lower bound updated to 712
0.18/0.20 c BCD2: 712 <= obj <= 18239
0.18/0.20 c BCD2: #cores=3, #unrelaxed=3456, #relaxed=192, #hardened=0
0.18/0.20 c BCD2: #sat=1 #unsat=4 bias=4/5
0.18/0.21 c Solving starts ...
0.18/0.21 c ============================[ Search Statistics ]============================
0.18/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.18/0.21 c | | | | Limit GC | Var | Constra
0.18/0.21 c =============================================================================
0.18/0.21 c 0.0s | 0 | 0 | 0 | 2791 0 | 0 | 0
0.18/0.22 c 0.0s | 0 | 5025 | 35 | 2791 0 | 0 | 0
0.18/0.22 c #cpu_time = 0.011s
0.18/0.22 c #wall_clock_time = 0.011s
0.18/0.22 c #decision = 5025
0.18/0.22 c #random_decision = 0
0.18/0.22 c #conflict = 35
0.18/0.22 c #restart = 0
0.18/0.22 c BCD2: found a new core of size 64: cost of the new core is >=232
0.18/0.22 c lower bound updated to 944
0.18/0.22 c BCD2: 944 <= obj <= 18239
0.18/0.22 c BCD2: #cores=4, #unrelaxed=3392, #relaxed=256, #hardened=0
0.18/0.22 c BCD2: #sat=1 #unsat=5 bias=5/6
0.18/0.22 c Solving starts ...
0.18/0.22 c ============================[ Search Statistics ]============================
0.18/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.18/0.22 c | | | | Limit GC | Var | Constra
0.18/0.22 c =============================================================================
0.18/0.22 c 0.0s | 0 | 0 | 0 | 2791 0 | 0 | 0
0.18/0.23 c 0.0s | 0 | 603 | 0 | 2791 0 | 0 | 0
0.18/0.23 c #cpu_time = 0.002s
0.18/0.23 c #wall_clock_time = 0.002s
0.18/0.23 c #decision = 603
0.18/0.23 c #random_decision = 0
0.18/0.23 c #conflict = 0
0.18/0.23 c #restart = 0
0.18/0.23 c BCD2: found a new core of size 64: cost of the new core is >=136
0.18/0.23 c lower bound updated to 1080
0.18/0.23 c BCD2: 1080 <= obj <= 18239
0.18/0.23 c BCD2: #cores=5, #unrelaxed=3328, #relaxed=320, #hardened=0
0.18/0.23 c BCD2: #sat=1 #unsat=6 bias=6/7
0.18/0.23 c Solving starts ...
0.18/0.23 c ============================[ Search Statistics ]============================
0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.18/0.23 c | | | | Limit GC | Var | Constra
0.18/0.23 c =============================================================================
0.18/0.23 c 0.0s | 0 | 0 | 0 | 2791 0 | 0 | 0
0.18/0.23 c 0.0s | 0 | 2348 | 7 | 2791 0 | 0 | 0
0.18/0.23 c #cpu_time = 0.004s
0.18/0.23 c #wall_clock_time = 0.004s
0.18/0.23 c #decision = 2348
0.18/0.23 c #random_decision = 0
0.18/0.23 c #conflict = 7
0.18/0.23 c #restart = 0
0.18/0.23 c BCD2: found a new core of size 64: cost of the new core is >=200
0.18/0.23 c lower bound updated to 1280
0.18/0.23 c BCD2: 1280 <= obj <= 18239
0.18/0.23 c BCD2: #cores=6, #unrelaxed=3264, #relaxed=384, #hardened=0
0.18/0.23 c BCD2: #sat=1 #unsat=7 bias=7/8
0.18/0.24 c Solving starts ...
0.18/0.24 c ============================[ Search Statistics ]============================
0.18/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.18/0.24 c | | | | Limit GC | Var | Constra
0.18/0.24 c =============================================================================
0.18/0.24 c 0.0s | 0 | 0 | 0 | 2791 0 | 0 | 0
0.18/0.24 c 0.0s | 0 | 1005 | 0 | 2791 0 | 0 | 0
0.18/0.24 c #cpu_time = 0.003s
0.18/0.24 c #wall_clock_time = 0.003s
0.18/0.24 c #decision = 1005
0.18/0.24 c #random_decision = 0
0.18/0.24 c #conflict = 0
0.18/0.24 c #restart = 0
0.18/0.24 c BCD2: found a new core of size 64: cost of the new core is >=88
0.18/0.24 c lower bound updated to 1368
0.18/0.24 c BCD2: 1368 <= obj <= 18239
0.18/0.24 c BCD2: #cores=7, #unrelaxed=3200, #relaxed=448, #hardened=0
0.18/0.24 c BCD2: #sat=1 #unsat=8 bias=8/9
0.18/0.24 c Solving starts ...
0.18/0.24 c ============================[ Search Statistics ]============================
0.18/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.18/0.24 c | | | | Limit GC | Var | Constra
0.18/0.24 c =============================================================================
0.18/0.24 c 0.0s | 0 | 0 | 0 | 2791 0 | 0 | 0
0.18/0.25 c 0.0s | 0 | 1406 | 0 | 2791 0 | 0 | 0
0.18/0.25 c #cpu_time = 0.003s
0.18/0.25 c #wall_clock_time = 0.003s
0.18/0.25 c #decision = 1406
0.18/0.25 c #random_decision = 0
0.18/0.25 c #conflict = 0
0.18/0.25 c #restart = 0
0.18/0.25 c BCD2: found a new core of size 64: cost of the new core is >=88
0.18/0.25 c lower bound updated to 1456
0.18/0.25 c BCD2: 1456 <= obj <= 18239
0.18/0.25 c BCD2: #cores=8, #unrelaxed=3136, #relaxed=512, #hardened=0
0.18/0.25 c BCD2: #sat=1 #unsat=9 bias=9/10
0.18/0.25 c Solving starts ...
0.18/0.25 c ============================[ Search Statistics ]============================
0.18/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.18/0.25 c | | | | Limit GC | Var | Constra
0.18/0.25 c =============================================================================
0.18/0.25 c 0.0s | 0 | 0 | 0 | 2791 0 | 0 | 0
0.18/0.26 c 0.0s | 0 | 5995 | 25 | 2791 0 | 0 | 0
0.18/0.26 c #cpu_time = 0.008s
0.18/0.26 c #wall_clock_time = 0.008s
0.18/0.26 c #decision = 5995
0.18/0.26 c #random_decision = 0
0.18/0.26 c #conflict = 25
0.18/0.26 c #restart = 0
0.18/0.26 c BCD2: found a new core of size 72: cost of the new core is >=136
0.18/0.26 c lower bound updated to 1592
0.18/0.26 c BCD2: 1592 <= obj <= 18239
0.18/0.26 c BCD2: #cores=9, #unrelaxed=3064, #relaxed=584, #hardened=0
0.18/0.26 c BCD2: #sat=1 #unsat=10 bias=10/11
0.18/0.26 c Solving starts ...
0.18/0.26 c ============================[ Search Statistics ]============================
0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.18/0.26 c | | | | Limit GC | Var | Constra
0.18/0.26 c =============================================================================
0.18/0.26 c 0.0s | 0 | 0 | 0 | 2791 0 | 0 | 0
0.18/0.27 c 0.0s | 0 | 2942 | 8 | 2791 0 | 0 | 0
0.18/0.27 c #cpu_time = 0.005s
0.18/0.27 c #wall_clock_time = 0.005s
0.18/0.27 c #decision = 2942
0.18/0.27 c #random_decision = 0
0.18/0.27 c #conflict = 8
0.18/0.27 c #restart = 0
0.18/0.27 c BCD2: found a new core of size 64: cost of the new core is >=152
0.18/0.27 c lower bound updated to 1744
0.18/0.27 c BCD2: 1744 <= obj <= 18239
0.18/0.27 c BCD2: #cores=10, #unrelaxed=3000, #relaxed=648, #hardened=0
0.18/0.27 c BCD2: #sat=1 #unsat=11 bias=11/12
0.18/0.27 c Solving starts ...
0.18/0.27 c ============================[ Search Statistics ]============================
0.18/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.18/0.27 c | | | | Limit GC | Var | Constra
0.18/0.27 c =============================================================================
0.18/0.27 c 0.0s | 0 | 0 | 0 | 2791 0 | 0 | 0
0.18/0.29 c 0.0s | 0 | 17596 | 11 | 2791 0 | 0 | 0
0.18/0.29 c #cpu_time = 0.013s
0.18/0.29 c #wall_clock_time = 0.013s
0.18/0.29 c #decision = 17596
0.18/0.29 c #random_decision = 0
0.18/0.29 c #conflict = 11
0.18/0.29 c #restart = 0
0.18/0.29 c BCD2: found a new core of size 64: cost of the new core is >=88
0.18/0.29 c lower bound updated to 1832
0.18/0.29 c BCD2: 1832 <= obj <= 18239
0.18/0.29 c BCD2: #cores=11, #unrelaxed=2936, #relaxed=712, #hardened=0
0.18/0.29 c BCD2: #sat=1 #unsat=12 bias=12/13
0.18/0.29 c Solving starts ...
0.18/0.29 c ============================[ Search Statistics ]============================
0.18/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.18/0.29 c | | | | Limit GC | Var | Constra
0.18/0.29 c =============================================================================
0.18/0.29 c 0.0s | 0 | 0 | 0 | 2791 0 | 0 | 0
0.28/0.31 c 0.0s | 0 | 16513 | 26 | 3071 0 | 0 | 0
0.28/0.31 c #cpu_time = 0.017s
0.28/0.31 c #wall_clock_time = 0.017s
0.28/0.31 c #decision = 16513
0.28/0.31 c #random_decision = 0
0.28/0.31 c #conflict = 26
0.28/0.31 c #restart = 0
0.28/0.31 c BCD2: found a new core of size 64: cost of the new core is >=88
0.28/0.31 c lower bound updated to 1920
0.28/0.31 c BCD2: 1920 <= obj <= 18239
0.28/0.31 c BCD2: #cores=12, #unrelaxed=2872, #relaxed=776, #hardened=0
0.28/0.31 c BCD2: #sat=1 #unsat=13 bias=13/14
0.28/0.32 c Solving starts ...
0.28/0.32 c ============================[ Search Statistics ]============================
0.28/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.28/0.32 c | | | | Limit GC | Var | Constra
0.28/0.32 c =============================================================================
0.28/0.32 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.28/0.32 c 0.0s | 0 | 835 | 0 | 3071 0 | 0 | 0
0.28/0.32 c #cpu_time = 0.003s
0.28/0.32 c #wall_clock_time = 0.003s
0.28/0.32 c #decision = 835
0.28/0.32 c #random_decision = 0
0.28/0.32 c #conflict = 0
0.28/0.32 c #restart = 0
0.28/0.32 c BCD2: found a new core of size 64: cost of the new core is >=224
0.28/0.32 c lower bound updated to 2144
0.28/0.32 c BCD2: 2144 <= obj <= 18239
0.28/0.32 c BCD2: #cores=13, #unrelaxed=2808, #relaxed=840, #hardened=0
0.28/0.32 c BCD2: #sat=1 #unsat=14 bias=14/15
0.28/0.33 c Solving starts ...
0.28/0.33 c ============================[ Search Statistics ]============================
0.28/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.28/0.33 c | | | | Limit GC | Var | Constra
0.28/0.33 c =============================================================================
0.28/0.33 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.28/0.34 c 0.0s | 0 | 13406 | 17 | 3071 0 | 0 | 0
0.28/0.34 c #cpu_time = 0.011s
0.28/0.34 c #wall_clock_time = 0.011s
0.28/0.34 c #decision = 13406
0.28/0.34 c #random_decision = 0
0.28/0.34 c #conflict = 17
0.28/0.34 c #restart = 0
0.28/0.34 c BCD2: found a new core of size 64: cost of the new core is >=128
0.28/0.34 c lower bound updated to 2272
0.28/0.34 c BCD2: 2272 <= obj <= 18239
0.28/0.34 c BCD2: #cores=14, #unrelaxed=2744, #relaxed=904, #hardened=0
0.28/0.34 c BCD2: #sat=1 #unsat=15 bias=15/16
0.28/0.34 c Solving starts ...
0.28/0.34 c ============================[ Search Statistics ]============================
0.28/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.28/0.34 c | | | | Limit GC | Var | Constra
0.28/0.34 c =============================================================================
0.28/0.34 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.28/0.36 c 0.0s | 0 | 14157 | 8 | 3071 0 | 0 | 0
0.28/0.36 c #cpu_time = 0.012s
0.28/0.36 c #wall_clock_time = 0.012s
0.28/0.36 c #decision = 14157
0.28/0.36 c #random_decision = 0
0.28/0.36 c #conflict = 8
0.28/0.36 c #restart = 0
0.28/0.36 c BCD2: found a new core of size 64: cost of the new core is >=120
0.28/0.36 c lower bound updated to 2392
0.28/0.36 c BCD2: 2392 <= obj <= 18239
0.28/0.36 c BCD2: #cores=15, #unrelaxed=2680, #relaxed=968, #hardened=0
0.28/0.36 c BCD2: #sat=1 #unsat=16 bias=16/17
0.28/0.37 c Solving starts ...
0.28/0.37 c ============================[ Search Statistics ]============================
0.28/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.28/0.37 c | | | | Limit GC | Var | Constra
0.28/0.37 c =============================================================================
0.28/0.37 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.28/0.38 c 0.0s | 0 | 11987 | 7 | 3071 0 | 0 | 0
0.28/0.38 c #cpu_time = 0.010s
0.28/0.38 c #wall_clock_time = 0.010s
0.28/0.38 c #decision = 11987
0.28/0.38 c #random_decision = 0
0.28/0.38 c #conflict = 7
0.28/0.38 c #restart = 0
0.28/0.38 c BCD2: found a new core of size 64: cost of the new core is >=120
0.28/0.38 c lower bound updated to 2512
0.28/0.38 c BCD2: 2512 <= obj <= 18239
0.28/0.38 c BCD2: #cores=16, #unrelaxed=2616, #relaxed=1032, #hardened=0
0.28/0.38 c BCD2: #sat=1 #unsat=17 bias=17/18
0.28/0.38 c Solving starts ...
0.28/0.38 c ============================[ Search Statistics ]============================
0.28/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.28/0.38 c | | | | Limit GC | Var | Constra
0.28/0.38 c =============================================================================
0.28/0.38 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.28/0.39 c 0.0s | 0 | 11992 | 15 | 3071 0 | 0 | 0
0.28/0.39 c #cpu_time = 0.011s
0.28/0.39 c #wall_clock_time = 0.011s
0.28/0.39 c #decision = 11992
0.28/0.39 c #random_decision = 0
0.28/0.39 c #conflict = 15
0.28/0.39 c #restart = 0
0.28/0.39 c BCD2: found a new core of size 112: cost of the new core is >=248
0.28/0.39 c lower bound updated to 2760
0.28/0.40 c BCD2: 2760 <= obj <= 18239
0.28/0.40 c BCD2: #cores=17, #unrelaxed=2504, #relaxed=1144, #hardened=0
0.28/0.40 c BCD2: #sat=1 #unsat=18 bias=18/19
0.38/0.40 c Solving starts ...
0.38/0.40 c ============================[ Search Statistics ]============================
0.38/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.38/0.40 c | | | | Limit GC | Var | Constra
0.38/0.40 c =============================================================================
0.38/0.40 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.38/0.42 c 0.0s | 0 | 13436 | 37 | 3071 0 | 0 | 0
0.38/0.42 c #cpu_time = 0.014s
0.38/0.42 c #wall_clock_time = 0.014s
0.38/0.42 c #decision = 13436
0.38/0.42 c #random_decision = 0
0.38/0.42 c #conflict = 37
0.38/0.42 c #restart = 0
0.38/0.42 c BCD2: found a new core of size 73: cost of the new core is >=280
0.38/0.42 c lower bound updated to 3040
0.38/0.42 c BCD2: 3040 <= obj <= 18239
0.38/0.42 c BCD2: #cores=18, #unrelaxed=2431, #relaxed=1217, #hardened=0
0.38/0.42 c BCD2: #sat=1 #unsat=19 bias=19/20
0.38/0.43 c Solving starts ...
0.38/0.43 c ============================[ Search Statistics ]============================
0.38/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.38/0.43 c | | | | Limit GC | Var | Constra
0.38/0.43 c =============================================================================
0.38/0.43 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.38/0.43 c 0.0s | 0 | 612 | 8 | 3071 0 | 0 | 0
0.38/0.43 c #cpu_time = 0.005s
0.38/0.43 c #wall_clock_time = 0.005s
0.38/0.43 c #decision = 612
0.38/0.43 c #random_decision = 0
0.38/0.43 c #conflict = 8
0.38/0.43 c #restart = 0
0.38/0.43 c BCD2: found a new core of size 65: cost of the new core is >=128
0.38/0.43 c lower bound updated to 3168
0.38/0.44 c BCD2: 3168 <= obj <= 18239
0.38/0.44 c BCD2: #cores=19, #unrelaxed=2366, #relaxed=1282, #hardened=0
0.38/0.44 c BCD2: #sat=1 #unsat=20 bias=20/21
0.38/0.45 c Solving starts ...
0.38/0.45 c ============================[ Search Statistics ]============================
0.38/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.38/0.45 c | | | | Limit GC | Var | Constra
0.38/0.45 c =============================================================================
0.38/0.45 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.38/0.45 c 0.0s | 0 | 1020 | 8 | 3071 0 | 0 | 0
0.38/0.45 c #cpu_time = 0.005s
0.38/0.45 c #wall_clock_time = 0.005s
0.38/0.45 c #decision = 1020
0.38/0.45 c #random_decision = 0
0.38/0.45 c #conflict = 8
0.38/0.45 c #restart = 0
0.38/0.45 c BCD2: found a new core of size 64: cost of the new core is >=224
0.38/0.45 c lower bound updated to 3392
0.38/0.45 c BCD2: 3392 <= obj <= 18239
0.38/0.45 c BCD2: #cores=20, #unrelaxed=2302, #relaxed=1346, #hardened=0
0.38/0.45 c BCD2: #sat=1 #unsat=21 bias=21/22
0.38/0.46 c Solving starts ...
0.38/0.46 c ============================[ Search Statistics ]============================
0.38/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.38/0.46 c | | | | Limit GC | Var | Constra
0.38/0.46 c =============================================================================
0.38/0.46 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.38/0.47 c 0.0s | 0 | 593 | 0 | 3071 0 | 0 | 0
0.38/0.47 c #cpu_time = 0.005s
0.38/0.47 c #wall_clock_time = 0.005s
0.38/0.47 c #decision = 593
0.38/0.47 c #random_decision = 0
0.38/0.47 c #conflict = 0
0.38/0.47 c #restart = 0
0.38/0.47 c BCD2: found a new core of size 64: cost of the new core is >=248
0.38/0.47 c lower bound updated to 3640
0.38/0.47 c BCD2: 3640 <= obj <= 18239
0.38/0.47 c BCD2: #cores=21, #unrelaxed=2238, #relaxed=1410, #hardened=0
0.38/0.47 c BCD2: #sat=1 #unsat=22 bias=22/23
0.38/0.49 c Solving starts ...
0.38/0.49 c ============================[ Search Statistics ]============================
0.38/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.38/0.49 c | | | | Limit GC | Var | Constra
0.38/0.49 c =============================================================================
0.38/0.49 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.48/0.50 c 0.0s | 0 | 7330 | 15 | 3071 0 | 0 | 0
0.48/0.50 c #cpu_time = 0.010s
0.48/0.50 c #wall_clock_time = 0.010s
0.48/0.50 c #decision = 7330
0.48/0.50 c #random_decision = 1
0.48/0.50 c #conflict = 15
0.48/0.50 c #restart = 0
0.48/0.50 c BCD2: found a new core of size 64: cost of the new core is >=136
0.48/0.50 c lower bound updated to 3776
0.48/0.50 c BCD2: 3776 <= obj <= 18239
0.48/0.50 c BCD2: #cores=22, #unrelaxed=2174, #relaxed=1474, #hardened=0
0.48/0.50 c BCD2: #sat=1 #unsat=23 bias=23/24
0.48/0.51 c Solving starts ...
0.48/0.51 c ============================[ Search Statistics ]============================
0.48/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.51 c | | | | Limit GC | Var | Constra
0.48/0.51 c =============================================================================
0.48/0.51 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.48/0.52 c 0.0s | 0 | 11799 | 7 | 3071 0 | 0 | 0
0.48/0.52 c #cpu_time = 0.012s
0.48/0.52 c #wall_clock_time = 0.012s
0.48/0.52 c #decision = 11799
0.48/0.52 c #random_decision = 0
0.48/0.52 c #conflict = 7
0.48/0.52 c #restart = 0
0.48/0.52 c BCD2: found a new core of size 70: cost of the new core is >=280
0.48/0.52 c lower bound updated to 4056
0.48/0.52 c BCD2: 4056 <= obj <= 18239
0.48/0.52 c BCD2: #cores=23, #unrelaxed=2104, #relaxed=1544, #hardened=0
0.48/0.52 c BCD2: #sat=1 #unsat=24 bias=24/25
0.48/0.53 c Solving starts ...
0.48/0.53 c ============================[ Search Statistics ]============================
0.48/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.53 c | | | | Limit GC | Var | Constra
0.48/0.53 c =============================================================================
0.48/0.53 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.48/0.55 c 0.0s | 0 | 13477 | 31 | 3071 0 | 0 | 0
0.48/0.55 c #cpu_time = 0.015s
0.48/0.55 c #wall_clock_time = 0.015s
0.48/0.55 c #decision = 13477
0.48/0.55 c #random_decision = 1
0.48/0.55 c #conflict = 31
0.48/0.55 c #restart = 0
0.48/0.55 c BCD2: found a new core of size 82: cost of the new core is >=136
0.48/0.55 c lower bound updated to 4192
0.48/0.55 c BCD2: 4192 <= obj <= 18239
0.48/0.55 c BCD2: #cores=24, #unrelaxed=2022, #relaxed=1626, #hardened=0
0.48/0.55 c BCD2: #sat=1 #unsat=25 bias=25/26
0.48/0.56 c Solving starts ...
0.48/0.56 c ============================[ Search Statistics ]============================
0.48/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.48/0.56 c | | | | Limit GC | Var | Constra
0.48/0.56 c =============================================================================
0.48/0.56 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.48/0.58 c 0.0s | 0 | 13298 | 27 | 3071 0 | 0 | 0
0.48/0.58 c #cpu_time = 0.021s
0.48/0.58 c #wall_clock_time = 0.021s
0.48/0.58 c #decision = 13298
0.48/0.58 c #random_decision = 0
0.48/0.58 c #conflict = 27
0.48/0.58 c #restart = 0
0.48/0.58 c BCD2: found a new core of size 64: cost of the new core is >=88
0.48/0.58 c lower bound updated to 4280
0.48/0.59 c BCD2: 4280 <= obj <= 18239
0.48/0.59 c BCD2: #cores=25, #unrelaxed=1958, #relaxed=1690, #hardened=0
0.48/0.59 c BCD2: #sat=1 #unsat=26 bias=26/27
0.58/0.60 c Solving starts ...
0.58/0.60 c ============================[ Search Statistics ]============================
0.58/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.60 c | | | | Limit GC | Var | Constra
0.58/0.60 c =============================================================================
0.58/0.60 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.58/0.61 c 0.0s | 0 | 408 | 0 | 3071 0 | 0 | 0
0.58/0.61 c #cpu_time = 0.005s
0.58/0.61 c #wall_clock_time = 0.005s
0.58/0.61 c #decision = 408
0.58/0.61 c #random_decision = 0
0.58/0.61 c #conflict = 0
0.58/0.61 c #restart = 0
0.58/0.61 c BCD2: found a new core of size 64: cost of the new core is >=88
0.58/0.61 c lower bound updated to 4368
0.58/0.61 c BCD2: 4368 <= obj <= 18239
0.58/0.61 c BCD2: #cores=26, #unrelaxed=1894, #relaxed=1754, #hardened=0
0.58/0.61 c BCD2: #sat=1 #unsat=27 bias=27/28
0.58/0.62 c Solving starts ...
0.58/0.62 c ============================[ Search Statistics ]============================
0.58/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.62 c | | | | Limit GC | Var | Constra
0.58/0.62 c =============================================================================
0.58/0.62 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.58/0.63 c 0.0s | 0 | 1775 | 0 | 3071 0 | 0 | 0
0.58/0.63 c #cpu_time = 0.007s
0.58/0.63 c #wall_clock_time = 0.007s
0.58/0.63 c #decision = 1775
0.58/0.63 c #random_decision = 0
0.58/0.63 c #conflict = 0
0.58/0.63 c #restart = 0
0.58/0.63 c BCD2: found a new core of size 96: cost of the new core is >=128
0.58/0.63 c lower bound updated to 4496
0.58/0.63 c BCD2: 4496 <= obj <= 18239
0.58/0.63 c BCD2: #cores=27, #unrelaxed=1798, #relaxed=1850, #hardened=0
0.58/0.63 c BCD2: #sat=1 #unsat=28 bias=28/29
0.58/0.64 c Solving starts ...
0.58/0.64 c ============================[ Search Statistics ]============================
0.58/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.64 c | | | | Limit GC | Var | Constra
0.58/0.64 c =============================================================================
0.58/0.64 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.58/0.65 c 0.0s | 0 | 2698 | 8 | 3071 0 | 0 | 0
0.58/0.65 c #cpu_time = 0.008s
0.58/0.65 c #wall_clock_time = 0.008s
0.58/0.65 c #decision = 2698
0.58/0.65 c #random_decision = 0
0.58/0.65 c #conflict = 8
0.58/0.65 c #restart = 0
0.58/0.65 c BCD2: found a new core of size 64: cost of the new core is >=160
0.58/0.65 c lower bound updated to 4656
0.58/0.65 c BCD2: 4656 <= obj <= 18239
0.58/0.65 c BCD2: #cores=28, #unrelaxed=1734, #relaxed=1914, #hardened=0
0.58/0.65 c BCD2: #sat=1 #unsat=29 bias=29/30
0.58/0.66 c Solving starts ...
0.58/0.66 c ============================[ Search Statistics ]============================
0.58/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.66 c | | | | Limit GC | Var | Constra
0.58/0.66 c =============================================================================
0.58/0.67 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.58/0.68 c 0.0s | 0 | 3222 | 19 | 3071 0 | 0 | 0
0.58/0.68 c #cpu_time = 0.009s
0.58/0.68 c #wall_clock_time = 0.009s
0.58/0.68 c #decision = 3222
0.58/0.68 c #random_decision = 0
0.58/0.68 c #conflict = 19
0.58/0.68 c #restart = 0
0.58/0.68 c BCD2: found a new core of size 64: cost of the new core is >=184
0.58/0.68 c lower bound updated to 4840
0.58/0.68 c BCD2: 4840 <= obj <= 18239
0.58/0.68 c BCD2: #cores=29, #unrelaxed=1670, #relaxed=1978, #hardened=0
0.58/0.68 c BCD2: #sat=1 #unsat=30 bias=30/31
0.58/0.69 c Solving starts ...
0.58/0.69 c ============================[ Search Statistics ]============================
0.58/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.69 c | | | | Limit GC | Var | Constra
0.58/0.69 c =============================================================================
0.58/0.69 c 0.0s | 0 | 0 | 0 | 3071 0 | 0 | 0
0.68/0.70 c 0.0s | 0 | 4768 | 23 | 3379 0 | 0 | 0
0.68/0.70 c #cpu_time = 0.011s
0.68/0.70 c #wall_clock_time = 0.011s
0.68/0.70 c #decision = 4768
0.68/0.70 c #random_decision = 0
0.68/0.70 c #conflict = 23
0.68/0.70 c #restart = 0
0.68/0.70 c BCD2: found a new core of size 78: cost of the new core is >=160
0.68/0.70 c lower bound updated to 5000
0.68/0.70 c BCD2: 5000 <= obj <= 18239
0.68/0.70 c BCD2: #cores=30, #unrelaxed=1592, #relaxed=2056, #hardened=0
0.68/0.70 c BCD2: #sat=1 #unsat=31 bias=31/32
0.68/0.71 c Solving starts ...
0.68/0.71 c ============================[ Search Statistics ]============================
0.68/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.68/0.71 c | | | | Limit GC | Var | Constra
0.68/0.71 c =============================================================================
0.68/0.71 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
0.68/0.72 c 0.0s | 0 | 1181 | 0 | 3379 0 | 0 | 0
0.68/0.72 c #cpu_time = 0.008s
0.68/0.72 c #wall_clock_time = 0.008s
0.68/0.72 c #decision = 1181
0.68/0.72 c #random_decision = 0
0.68/0.72 c #conflict = 0
0.68/0.72 c #restart = 0
0.68/0.72 c BCD2: found a new core of size 64: cost of the new core is >=160
0.68/0.72 c lower bound updated to 5160
0.68/0.72 c BCD2: 5160 <= obj <= 18239
0.68/0.72 c BCD2: #cores=31, #unrelaxed=1528, #relaxed=2120, #hardened=0
0.68/0.72 c BCD2: #sat=1 #unsat=32 bias=32/33
0.68/0.74 c Solving starts ...
0.68/0.74 c ============================[ Search Statistics ]============================
0.68/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.68/0.74 c | | | | Limit GC | Var | Constra
0.68/0.74 c =============================================================================
0.68/0.74 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
0.68/0.74 c 0.0s | 0 | 1430 | 0 | 3379 0 | 0 | 0
0.68/0.74 c #cpu_time = 0.008s
0.68/0.74 c #wall_clock_time = 0.008s
0.68/0.74 c #decision = 1430
0.68/0.74 c #random_decision = 0
0.68/0.74 c #conflict = 0
0.68/0.74 c #restart = 0
0.68/0.74 c BCD2: found a new core of size 64: cost of the new core is >=128
0.68/0.74 c lower bound updated to 5288
0.68/0.77 c BCD2: 5288 <= obj <= 18239
0.68/0.77 c BCD2: #cores=32, #unrelaxed=1464, #relaxed=2184, #hardened=0
0.68/0.77 c BCD2: #sat=1 #unsat=33 bias=33/34
0.68/0.78 c Solving starts ...
0.68/0.78 c ============================[ Search Statistics ]============================
0.68/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.68/0.78 c | | | | Limit GC | Var | Constra
0.68/0.78 c =============================================================================
0.68/0.78 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
0.68/0.80 c 0.0s | 0 | 5912 | 12 | 3379 0 | 0 | 0
0.68/0.80 c #cpu_time = 0.012s
0.68/0.80 c #wall_clock_time = 0.012s
0.68/0.80 c #decision = 5912
0.68/0.80 c #random_decision = 0
0.68/0.80 c #conflict = 12
0.68/0.80 c #restart = 0
0.68/0.80 c BCD2: found a new core of size 82: cost of the new core is >=96
0.68/0.80 c lower bound updated to 5384
0.78/0.80 c BCD2: 5384 <= obj <= 18239
0.78/0.80 c BCD2: #cores=33, #unrelaxed=1382, #relaxed=2266, #hardened=0
0.78/0.80 c BCD2: #sat=1 #unsat=34 bias=34/35
0.78/0.81 c Solving starts ...
0.78/0.81 c ============================[ Search Statistics ]============================
0.78/0.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.78/0.81 c | | | | Limit GC | Var | Constra
0.78/0.81 c =============================================================================
0.78/0.81 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
0.78/0.82 c 0.0s | 0 | 5507 | 8 | 3379 0 | 0 | 0
0.78/0.82 c #cpu_time = 0.011s
0.78/0.82 c #wall_clock_time = 0.011s
0.78/0.82 c #decision = 5507
0.78/0.82 c #random_decision = 0
0.78/0.82 c #conflict = 8
0.78/0.82 c #restart = 0
0.78/0.82 c BCD2: found a new core of size 64: cost of the new core is >=160
0.78/0.82 c lower bound updated to 5544
0.78/0.82 c BCD2: 5544 <= obj <= 18239
0.78/0.82 c BCD2: #cores=34, #unrelaxed=1318, #relaxed=2330, #hardened=0
0.78/0.82 c BCD2: #sat=1 #unsat=35 bias=35/36
0.78/0.83 c Solving starts ...
0.78/0.83 c ============================[ Search Statistics ]============================
0.78/0.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.78/0.83 c | | | | Limit GC | Var | Constra
0.78/0.83 c =============================================================================
0.78/0.83 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
0.78/0.84 c 0.0s | 0 | 2043 | 7 | 3379 0 | 0 | 0
0.78/0.84 c #cpu_time = 0.010s
0.78/0.84 c #wall_clock_time = 0.010s
0.78/0.84 c #decision = 2043
0.78/0.84 c #random_decision = 0
0.78/0.84 c #conflict = 7
0.78/0.84 c #restart = 0
0.78/0.84 c BCD2: found a new core of size 67: cost of the new core is >=176
0.78/0.84 c lower bound updated to 5720
0.78/0.85 c BCD2: 5720 <= obj <= 18239
0.78/0.85 c BCD2: #cores=35, #unrelaxed=1251, #relaxed=2397, #hardened=0
0.78/0.85 c BCD2: #sat=1 #unsat=36 bias=36/37
0.78/0.87 c Solving starts ...
0.78/0.87 c ============================[ Search Statistics ]============================
0.78/0.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.78/0.87 c | | | | Limit GC | Var | Constra
0.78/0.87 c =============================================================================
0.78/0.87 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
0.78/0.88 c 0.0s | 0 | 5623 | 17 | 3379 0 | 0 | 0
0.78/0.88 c #cpu_time = 0.012s
0.78/0.88 c #wall_clock_time = 0.012s
0.78/0.88 c #decision = 5623
0.78/0.88 c #random_decision = 0
0.78/0.88 c #conflict = 17
0.78/0.88 c #restart = 0
0.78/0.88 c BCD2: found a new core of size 137: cost of the new core is >=160
0.78/0.88 c lower bound updated to 5880
0.78/0.88 c BCD2: 5880 <= obj <= 18239
0.78/0.88 c BCD2: #cores=36, #unrelaxed=1114, #relaxed=2534, #hardened=0
0.78/0.88 c BCD2: #sat=1 #unsat=37 bias=37/38
0.88/0.90 c Solving starts ...
0.88/0.90 c ============================[ Search Statistics ]============================
0.88/0.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.88/0.90 c | | | | Limit GC | Var | Constra
0.88/0.90 c =============================================================================
0.88/0.90 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
0.88/0.91 c 0.0s | 0 | 6401 | 20 | 3379 0 | 0 | 0
0.88/0.91 c #cpu_time = 0.014s
0.88/0.91 c #wall_clock_time = 0.014s
0.88/0.91 c #decision = 6401
0.88/0.91 c #random_decision = 0
0.88/0.91 c #conflict = 20
0.88/0.91 c #restart = 0
0.88/0.91 c BCD2: found a new core of size 64: cost of the new core is >=184
0.88/0.91 c lower bound updated to 6064
0.88/0.92 c BCD2: 6064 <= obj <= 18239
0.88/0.92 c BCD2: #cores=37, #unrelaxed=1050, #relaxed=2598, #hardened=0
0.88/0.92 c BCD2: #sat=1 #unsat=38 bias=38/39
0.88/0.93 c Solving starts ...
0.88/0.93 c ============================[ Search Statistics ]============================
0.88/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.88/0.93 c | | | | Limit GC | Var | Constra
0.88/0.93 c =============================================================================
0.88/0.93 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
0.88/0.94 c 0.0s | 0 | 2251 | 12 | 3379 0 | 0 | 0
0.88/0.94 c #cpu_time = 0.012s
0.88/0.94 c #wall_clock_time = 0.012s
0.88/0.94 c #decision = 2251
0.88/0.94 c #random_decision = 0
0.88/0.94 c #conflict = 12
0.88/0.94 c #restart = 0
0.88/0.94 c BCD2: found a new core of size 64: cost of the new core is >=136
0.88/0.94 c lower bound updated to 6200
0.88/0.94 c BCD2: 6200 <= obj <= 18239
0.88/0.94 c BCD2: #cores=38, #unrelaxed=986, #relaxed=2662, #hardened=0
0.88/0.94 c BCD2: #sat=1 #unsat=39 bias=39/40
0.88/0.96 c Solving starts ...
0.88/0.96 c ============================[ Search Statistics ]============================
0.88/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.88/0.96 c | | | | Limit GC | Var | Constra
0.88/0.96 c =============================================================================
0.88/0.96 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
0.88/0.98 c 0.0s | 0 | 1015 | 0 | 3379 0 | 0 | 0
0.88/0.98 c #cpu_time = 0.013s
0.88/0.98 c #wall_clock_time = 0.013s
0.88/0.98 c #decision = 1015
0.88/0.98 c #random_decision = 0
0.88/0.98 c #conflict = 0
0.88/0.98 c #restart = 0
0.88/0.98 c BCD2: found a new core of size 64: cost of the new core is >=280
0.88/0.98 c lower bound updated to 6480
0.88/0.99 c BCD2: 6480 <= obj <= 18239
0.88/0.99 c BCD2: #cores=39, #unrelaxed=922, #relaxed=2726, #hardened=0
0.88/0.99 c BCD2: #sat=1 #unsat=40 bias=40/41
0.98/1.01 c Solving starts ...
0.98/1.01 c ============================[ Search Statistics ]============================
0.98/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.01 c | | | | Limit GC | Var | Constra
0.98/1.01 c =============================================================================
0.98/1.01 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
0.98/1.02 c 0.0s | 0 | 4369 | 19 | 3379 0 | 0 | 0
0.98/1.02 c #cpu_time = 0.013s
0.98/1.02 c #wall_clock_time = 0.013s
0.98/1.02 c #decision = 4369
0.98/1.02 c #random_decision = 0
0.98/1.02 c #conflict = 19
0.98/1.02 c #restart = 0
0.98/1.02 c BCD2: found a new core of size 72: cost of the new core is >=320
0.98/1.02 c lower bound updated to 6800
0.98/1.02 c BCD2: 6800 <= obj <= 18239
0.98/1.02 c BCD2: #cores=40, #unrelaxed=850, #relaxed=2798, #hardened=0
0.98/1.02 c BCD2: #sat=1 #unsat=41 bias=41/42
0.98/1.04 c Solving starts ...
0.98/1.04 c ============================[ Search Statistics ]============================
0.98/1.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.04 c | | | | Limit GC | Var | Constra
0.98/1.04 c =============================================================================
0.98/1.04 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
0.98/1.05 c 0.0s | 0 | 787 | 0 | 3379 0 | 0 | 0
0.98/1.05 c #cpu_time = 0.011s
0.98/1.05 c #wall_clock_time = 0.011s
0.98/1.05 c #decision = 787
0.98/1.05 c #random_decision = 0
0.98/1.05 c #conflict = 0
0.98/1.05 c #restart = 0
0.98/1.05 c BCD2: found a new core of size 64: cost of the new core is >=200
0.98/1.05 c lower bound updated to 7000
0.98/1.05 c BCD2: 7000 <= obj <= 18239
0.98/1.05 c BCD2: #cores=41, #unrelaxed=786, #relaxed=2862, #hardened=0
0.98/1.05 c BCD2: #sat=1 #unsat=42 bias=42/43
0.98/1.07 c Solving starts ...
0.98/1.07 c ============================[ Search Statistics ]============================
0.98/1.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.07 c | | | | Limit GC | Var | Constra
0.98/1.07 c =============================================================================
0.98/1.07 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
0.98/1.08 c 0.0s | 0 | 1642 | 10 | 3379 0 | 0 | 0
0.98/1.08 c #cpu_time = 0.013s
0.98/1.08 c #wall_clock_time = 0.013s
0.98/1.08 c #decision = 1642
0.98/1.08 c #random_decision = 0
0.98/1.08 c #conflict = 10
0.98/1.08 c #restart = 0
0.98/1.08 c BCD2: found a new core of size 64: cost of the new core is >=184
0.98/1.08 c lower bound updated to 7184
0.98/1.09 c BCD2: 7184 <= obj <= 18239
0.98/1.09 c BCD2: #cores=42, #unrelaxed=722, #relaxed=2926, #hardened=0
0.98/1.09 c BCD2: #sat=1 #unsat=43 bias=43/44
1.08/1.11 c Solving starts ...
1.08/1.11 c ============================[ Search Statistics ]============================
1.08/1.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.08/1.11 c | | | | Limit GC | Var | Constra
1.08/1.11 c =============================================================================
1.08/1.11 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
1.08/1.13 c 0.0s | 0 | 4830 | 37 | 3379 0 | 0 | 0
1.08/1.13 c #cpu_time = 0.017s
1.08/1.13 c #wall_clock_time = 0.017s
1.08/1.13 c #decision = 4830
1.08/1.13 c #random_decision = 1
1.08/1.13 c #conflict = 37
1.08/1.13 c #restart = 0
1.08/1.13 c BCD2: found a new core of size 70: cost of the new core is >=136
1.08/1.13 c lower bound updated to 7320
1.08/1.13 c BCD2: 7320 <= obj <= 18239
1.08/1.13 c BCD2: #cores=43, #unrelaxed=652, #relaxed=2996, #hardened=0
1.08/1.13 c BCD2: #sat=1 #unsat=44 bias=44/45
1.08/1.14 c Solving starts ...
1.08/1.14 c ============================[ Search Statistics ]============================
1.08/1.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.08/1.14 c | | | | Limit GC | Var | Constra
1.08/1.14 c =============================================================================
1.08/1.14 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
1.08/1.16 c 0.0s | 0 | 2832 | 28 | 3379 0 | 0 | 0
1.08/1.16 c #cpu_time = 0.017s
1.08/1.16 c #wall_clock_time = 0.017s
1.08/1.16 c #decision = 2832
1.08/1.16 c #random_decision = 2
1.08/1.16 c #conflict = 28
1.08/1.16 c #restart = 0
1.08/1.16 c BCD2: found a new core of size 212: cost of the new core is >=96
1.08/1.16 c lower bound updated to 7416
1.08/1.16 c BCD2: 7416 <= obj <= 18239
1.08/1.16 c BCD2: #cores=44, #unrelaxed=440, #relaxed=3208, #hardened=0
1.08/1.16 c BCD2: #sat=1 #unsat=45 bias=45/46
1.08/1.18 c Solving starts ...
1.08/1.18 c ============================[ Search Statistics ]============================
1.08/1.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.08/1.18 c | | | | Limit GC | Var | Constra
1.08/1.18 c =============================================================================
1.08/1.18 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
1.08/1.20 c 0.0s | 0 | 929 | 14 | 3379 0 | 0 | 0
1.08/1.20 c #cpu_time = 0.016s
1.08/1.20 c #wall_clock_time = 0.016s
1.08/1.20 c #decision = 929
1.08/1.20 c #random_decision = 1
1.08/1.20 c #conflict = 14
1.08/1.20 c #restart = 0
1.08/1.20 c BCD2: found a new core of size 64: cost of the new core is >=304
1.08/1.20 c lower bound updated to 7720
1.08/1.20 c BCD2: 7720 <= obj <= 18239
1.08/1.20 c BCD2: #cores=45, #unrelaxed=376, #relaxed=3272, #hardened=0
1.08/1.20 c BCD2: #sat=1 #unsat=46 bias=46/47
1.19/1.22 c Solving starts ...
1.19/1.22 c ============================[ Search Statistics ]============================
1.19/1.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.22 c | | | | Limit GC | Var | Constra
1.19/1.22 c =============================================================================
1.19/1.24 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
1.19/1.25 c 0.0s | 0 | 1335 | 7 | 3379 0 | 0 | 0
1.19/1.25 c #cpu_time = 0.013s
1.19/1.25 c #wall_clock_time = 0.013s
1.19/1.25 c #decision = 1335
1.19/1.25 c #random_decision = 2
1.19/1.25 c #conflict = 7
1.19/1.25 c #restart = 0
1.19/1.25 c BCD2: found a new core of size 64: cost of the new core is >=104
1.19/1.25 c lower bound updated to 7824
1.19/1.25 c BCD2: 7824 <= obj <= 18239
1.19/1.25 c BCD2: #cores=46, #unrelaxed=312, #relaxed=3336, #hardened=0
1.19/1.25 c BCD2: #sat=1 #unsat=47 bias=47/48
1.19/1.27 c Solving starts ...
1.19/1.27 c ============================[ Search Statistics ]============================
1.19/1.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.27 c | | | | Limit GC | Var | Constra
1.19/1.27 c =============================================================================
1.19/1.27 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
1.19/1.29 c 0.0s | 0 | 808 | 14 | 3379 0 | 0 | 0
1.19/1.29 c #cpu_time = 0.014s
1.19/1.29 c #wall_clock_time = 0.014s
1.19/1.29 c #decision = 808
1.19/1.29 c #random_decision = 0
1.19/1.29 c #conflict = 14
1.19/1.29 c #restart = 0
1.19/1.29 c BCD2: found a new core of size 64: cost of the new core is >=160
1.19/1.29 c lower bound updated to 7984
1.19/1.29 c BCD2: 7984 <= obj <= 18239
1.19/1.29 c BCD2: #cores=47, #unrelaxed=248, #relaxed=3400, #hardened=0
1.19/1.29 c BCD2: #sat=1 #unsat=48 bias=48/49
1.28/1.30 c Solving starts ...
1.28/1.30 c ============================[ Search Statistics ]============================
1.28/1.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.28/1.30 c | | | | Limit GC | Var | Constra
1.28/1.30 c =============================================================================
1.28/1.30 c 0.0s | 0 | 0 | 0 | 3379 0 | 0 | 0
1.38/1.48 c 0.2s | 1 | 1124 | 100 | 3379 0 | 0 | 0
1.88/1.95 c 0.6s | 2 | 2051 | 250 | 3717 0 | 0 | 0
2.98/3.03 c 1.7s | 3 | 4556 | 475 | 3717 0 | 0 | 0
4.18/4.28 c 3.0s | 4 | 8134 | 813 | 4089 0 | 0 | 0
5.88/5.93 c 4.6s | 5 | 11904 | 1320 | 4089 0 | 0 | 0
8.08/8.12 c 6.8s | 5 | 16279 | 1920 | 4498 0 | 0 | 0
8.68/8.79 c 7.5s | 6 | 17116 | 2081 | 4498 0 | 0 | 0
10.99/11.06 c 9.8s | 6 | 21217 | 2781 | 4948 0 | 0 | 0
12.28/12.32 c 11.0s | 7 | 22929 | 3223 | 4948 0 | 0 | 0
14.29/14.40 c 13.1s | 7 | 26655 | 3823 | 4948 0 | 0 | 0
16.38/16.46 c 15.2s | 7 | 30239 | 4423 | 5443 0 | 0 | 0
17.69/17.75 c 16.4s | 8 | 33484 | 4936 | 5443 0 | 0 | 0
20.08/20.18 c 18.9s | 8 | 37906 | 5636 | 5443 1 | 0 | 0
22.38/22.46 c 21.2s | 8 | 41316 | 6536 | 5443 1 | 0 | 0
24.48/24.53 c 23.2s | 8 | 45647 | 7136 | 5988 1 | 0 | 0
25.68/25.73 c 24.4s | 9 | 47212 | 7506 | 5988 1 | 0 | 0
27.88/27.96 c 26.7s | 9 | 51688 | 8106 | 5988 1 | 0 | 0
29.88/29.97 c 28.7s | 9 | 54358 | 8706 | 5988 2 | 0 | 0
31.89/32.00 c 30.7s | 9 | 57590 | 9406 | 5988 2 | 0 | 0
33.98/34.03 c 32.7s | 9 | 61065 | 10206 | 5988 2 | 0 | 0
35.98/36.04 c 34.7s | 9 | 64210 | 11006 | 6587 2 | 0 | 0
37.08/37.15 c 35.8s | 10 | 66134 | 11361 | 6587 2 | 0 | 0
39.08/39.20 c 37.9s | 10 | 69968 | 12061 | 6587 2 | 0 | 0
41.38/41.45 c 40.1s | 10 | 74095 | 12861 | 6587 3 | 0 | 0
43.48/43.50 c 42.2s | 10 | 78416 | 13661 | 6587 3 | 0 | 0
45.48/45.58 c 44.3s | 10 | 83545 | 14561 | 6587 3 | 0 | 0
47.58/47.60 c 46.3s | 10 | 87105 | 15361 | 6587 3 | 0 | 0
49.58/49.69 c 48.4s | 10 | 89566 | 16061 | 6587 4 | 0 | 0
51.87/51.98 c 50.7s | 10 | 93985 | 16761 | 7246 4 | 0 | 0
53.37/53.43 c 52.1s | 11 | 95670 | 17144 | 7246 4 | 0 | 0
55.57/55.65 c 54.3s | 11 | 98689 | 17744 | 7246 4 | 0 | 0
57.67/57.78 c 56.5s | 11 | 100820 | 18344 | 7246 4 | 0 | 0
59.97/60.06 c 58.8s | 11 | 104084 | 19044 | 7246 4 | 0 | 0
62.27/62.34 c 61.0s | 11 | 107724 | 19844 | 7246 4 | 0 | 0
64.37/64.48 c 63.2s | 11 | 110121 | 20444 | 7246 5 | 0 | 0
66.77/66.81 c 65.5s | 11 | 112977 | 21144 | 7246 5 | 0 | 0
68.77/68.88 c 67.6s | 11 | 115495 | 21744 | 7246 5 | 0 | 0
71.07/71.18 c 69.9s | 11 | 119338 | 22444 | 7246 5 | 0 | 0
73.27/73.30 c 72.0s | 11 | 121820 | 23144 | 7246 5 | 0 | 0
75.47/75.53 c 74.2s | 11 | 124470 | 23844 | 7246 6 | 0 | 0
77.57/77.67 c 76.4s | 11 | 127388 | 24544 | 7246 6 | 0 | 0
79.67/79.76 c 78.5s | 11 | 130183 | 25244 | 7971 6 | 0 | 0
81.57/81.61 c 80.3s | 12 | 132022 | 25819 | 7971 6 | 0 | 0
83.77/83.80 c 82.5s | 12 | 135273 | 26519 | 7971 6 | 0 | 0
85.88/85.98 c 84.7s | 12 | 138264 | 27419 | 7971 6 | 0 | 0
87.98/88.09 c 86.8s | 12 | 140601 | 28219 | 7971 6 | 0 | 0
90.28/90.34 c 89.0s | 12 | 144015 | 29019 | 7971 7 | 0 | 0
92.38/92.42 c 91.1s | 12 | 147804 | 29719 | 7971 7 | 0 | 0
94.37/94.44 c 93.1s | 12 | 150866 | 30319 | 7971 7 | 0 | 0
96.77/96.84 c 95.5s | 12 | 154429 | 31019 | 7971 7 | 0 | 0
99.07/99.19 c 97.9s | 12 | 157665 | 31619 | 7971 7 | 0 | 0
101.27/101.34 c 100s | 12 | 160366 | 32419 | 7971 7 | 0 | 0
103.47/103.56 c 102s | 12 | 162944 | 33219 | 7971 8 | 0 | 0
105.57/105.68 c 104s | 12 | 164916 | 33919 | 7971 8 | 0 | 0
107.66/107.74 c 106s | 12 | 167977 | 34619 | 7971 8 | 0 | 0
109.76/109.88 c 108s | 12 | 170699 | 35319 | 7971 8 | 0 | 0
111.96/112.07 c 110s | 12 | 173731 | 35919 | 7971 8 | 0 | 0
114.06/114.15 c 112s | 12 | 176335 | 36719 | 7971 9 | 0 | 0
116.26/116.31 c 115s | 12 | 178997 | 37519 | 7971 9 | 0 | 0
118.46/118.50 c 117s | 12 | 181209 | 38219 | 8769 9 | 0 | 0
120.06/120.13 c 118s | 13 | 182737 | 38832 | 8769 9 | 0 | 0
122.17/122.26 c 120s | 13 | 185731 | 39532 | 8769 9 | 0 | 0
124.27/124.35 c 123s | 13 | 188190 | 40132 | 8769 9 | 0 | 0
126.47/126.59 c 125s | 13 | 190163 | 40832 | 8769 9 | 0 | 0
128.67/128.80 c 127s | 13 | 191711 | 41532 | 8769 9 | 0 | 0
130.76/130.85 c 129s | 13 | 194796 | 42132 | 8769 10 | 0 | 0
132.96/133.10 c 131s | 13 | 196885 | 42732 | 8769 10 | 0 | 0
135.26/135.40 c 134s | 13 | 199241 | 43332 | 8769 10 | 0 | 0
137.46/137.52 c 136s | 13 | 202116 | 44032 | 8769 10 | 0 | 0
139.76/139.83 c 138s | 13 | 206118 | 44632 | 8769 10 | 0 | 0
141.96/142.07 c 140s | 13 | 208895 | 45332 | 8769 10 | 0 | 0
144.25/144.30 c 142s | 13 | 214096 | 45932 | 8769 10 | 0 | 0
146.26/146.40 c 145s | 13 | 216417 | 46632 | 8769 11 | 0 | 0
148.46/148.58 c 147s | 13 | 219202 | 47532 | 8769 11 | 0 | 0
150.66/150.73 c 149s | 13 | 221467 | 48232 | 8769 11 | 0 | 0
152.65/152.78 c 151s | 13 | 224446 | 49032 | 8769 11 | 0 | 0
154.75/154.88 c 153s | 13 | 227040 | 49732 | 8769 11 | 0 | 0
157.05/157.13 c 155s | 13 | 229711 | 50532 | 8769 11 | 0 | 0
159.05/159.13 c 157s | 13 | 232016 | 51132 | 8769 12 | 0 | 0
161.15/161.23 c 159s | 13 | 235400 | 51832 | 8769 12 | 0 | 0
163.15/163.24 c 161s | 13 | 237395 | 52532 | 8769 12 | 0 | 0
165.15/165.24 c 163s | 13 | 239634 | 53232 | 8769 12 | 0 | 0
167.55/167.66 c 166s | 13 | 241443 | 53832 | 8769 12 | 0 | 0
169.75/169.85 c 168s | 13 | 242830 | 54432 | 8769 12 | 0 | 0
171.75/171.89 c 170s | 13 | 244367 | 54932 | 8769 12 | 0 | 0
174.05/174.16 c 172s | 13 | 246776 | 55732 | 8769 13 | 0 | 0
176.25/176.30 c 174s | 13 | 248874 | 56532 | 8769 13 | 0 | 0
178.35/178.47 c 177s | 13 | 250888 | 57332 | 9646 13 | 0 | 0
180.46/180.59 c 179s | 13 | 253403 | 58132 | 9646 13 | 0 | 0
181.05/181.13 c 179s | 14 | 253850 | 58352 | 9646 13 | 0 | 0
183.05/183.16 c 181s | 14 | 255966 | 59052 | 9646 13 | 0 | 0
185.36/185.41 c 184s | 14 | 258983 | 59852 | 9646 13 | 0 | 0
187.46/187.50 c 186s | 14 | 261634 | 60552 | 9646 13 | 0 | 0
189.66/189.70 c 188s | 14 | 264250 | 61352 | 9646 14 | 0 | 0
191.76/191.82 c 190s | 14 | 267516 | 61952 | 9646 14 | 0 | 0
193.76/193.86 c 192s | 14 | 269668 | 62652 | 9646 14 | 0 | 0
195.96/196.01 c 194s | 14 | 272867 | 63252 | 9646 14 | 0 | 0
198.06/198.15 c 196s | 14 | 274656 | 63852 | 9646 14 | 0 | 0
200.05/200.20 c 198s | 14 | 276771 | 64452 | 9646 14 | 0 | 0
202.25/202.34 c 201s | 14 | 279416 | 65052 | 9646 14 | 0 | 0
204.35/204.42 c 203s | 14 | 282972 | 65752 | 9646 14 | 0 | 0
206.76/206.83 c 205s | 14 | 285814 | 66452 | 9646 15 | 0 | 0
208.96/209.07 c 207s | 14 | 288244 | 67052 | 9646 15 | 0 | 0
211.26/211.32 c 210s | 14 | 290376 | 67752 | 9646 15 | 0 | 0
213.25/213.38 c 212s | 14 | 292353 | 68352 | 9646 15 | 0 | 0
215.45/215.57 c 214s | 14 | 294245 | 68952 | 9646 15 | 0 | 0
217.55/217.62 c 216s | 14 | 296317 | 69652 | 9646 15 | 0 | 0
219.55/219.63 c 218s | 14 | 298038 | 70452 | 9646 15 | 0 | 0
221.75/221.85 c 220s | 14 | 300364 | 71252 | 9646 16 | 0 | 0
224.15/224.23 c 222s | 14 | 303332 | 71952 | 9646 16 | 0 | 0
226.45/226.50 c 225s | 14 | 305877 | 72752 | 9646 16 | 0 | 0
228.45/228.55 c 227s | 14 | 308290 | 73452 | 9646 16 | 0 | 0
230.75/230.86 c 229s | 14 | 310949 | 74052 | 9646 16 | 0 | 0
233.16/233.22 c 231s | 14 | 313747 | 74752 | 9646 16 | 0 | 0
235.25/235.36 c 234s | 14 | 316025 | 75452 | 9646 16 | 0 | 0
237.35/237.46 c 236s | 14 | 318517 | 76052 | 9646 17 | 0 | 0
239.55/239.62 c 238s | 14 | 321244 | 76652 | 9646 17 | 0 | 0
241.75/241.85 c 240s | 14 | 323732 | 77352 | 9646 17 | 0 | 0
243.95/244.00 c 242s | 14 | 326363 | 78152 | 9646 17 | 0 | 0
246.25/246.35 c 245s | 14 | 328737 | 78852 | 9646 17 | 0 | 0
248.25/248.39 c 247s | 14 | 331318 | 79652 | 9646 17 | 0 | 0
250.44/250.54 c 249s | 14 | 333479 | 80452 | 9646 17 | 0 | 0
252.74/252.81 c 251s | 14 | 335444 | 81252 | 9646 18 | 0 | 0
254.84/254.98 c 253s | 14 | 337421 | 82152 | 9646 18 | 0 | 0
257.14/257.28 c 255s | 14 | 339702 | 83052 | 9646 18 | 0 | 0
259.14/259.28 c 257s | 14 | 341228 | 83652 | 9646 18 | 0 | 0
261.34/261.49 c 260s | 14 | 343501 | 84352 | 9646 18 | 0 | 0
263.44/263.59 c 262s | 14 | 345855 | 84952 | 9646 18 | 0 | 0
265.64/265.76 c 264s | 14 | 347528 | 85552 | 9646 18 | 0 | 0
267.94/268.02 c 266s | 14 | 349657 | 86252 | 9646 19 | 0 | 0
270.24/270.30 c 268s | 14 | 352794 | 87052 | 10611 19 | 0 | 0
272.44/272.51 c 271s | 15 | 355983 | 87632 | 10611 19 | 0 | 0
274.54/274.68 c 273s | 15 | 358202 | 88232 | 10611 19 | 0 | 0
277.04/277.13 c 275s | 15 | 360492 | 88832 | 10611 19 | 0 | 0
279.35/279.41 c 278s | 15 | 362922 | 89532 | 10611 19 | 0 | 0
281.55/281.65 c 280s | 15 | 366185 | 90332 | 10611 19 | 0 | 0
283.64/283.73 c 282s | 15 | 369568 | 91032 | 10611 19 | 0 | 0
285.74/285.84 c 284s | 15 | 373007 | 91632 | 10611 19 | 0 | 0
288.04/288.20 c 286s | 15 | 376780 | 92332 | 10611 20 | 0 | 0
290.24/290.30 c 288s | 15 | 380809 | 93132 | 10611 20 | 0 | 0
292.34/292.47 c 291s | 15 | 383940 | 93832 | 10611 20 | 0 | 0
294.44/294.55 c 293s | 15 | 387154 | 94532 | 10611 20 | 0 | 0
296.64/296.73 c 295s | 15 | 389821 | 95232 | 10611 20 | 0 | 0
298.74/298.81 c 297s | 15 | 394194 | 95832 | 10611 20 | 0 | 0
300.74/300.82 c 299s | 15 | 396423 | 96432 | 10611 20 | 0 | 0
302.84/302.90 c 301s | 15 | 398978 | 97032 | 10611 20 | 0 | 0
304.83/304.95 c 303s | 15 | 401038 | 97632 | 10611 21 | 0 | 0
307.03/307.14 c 305s | 15 | 403129 | 98232 | 10611 21 | 0 | 0
309.23/309.30 c 307s | 15 | 406872 | 99032 | 10611 21 | 0 | 0
311.34/311.48 c 310s | 15 | 410295 | 99732 | 10611 21 | 0 | 0
313.63/313.76 c 312s | 15 | 414110 | 100332 | 10611 21 | 0 | 0
315.83/315.92 c 314s | 15 | 416300 | 100932 | 10611 21 | 0 | 0
318.13/318.20 c 316s | 15 | 418320 | 101532 | 10611 21 | 0 | 0
320.33/320.42 c 319s | 15 | 422590 | 102132 | 10611 21 | 0 | 0
322.43/322.54 c 321s | 15 | 425634 | 102832 | 10611 21 | 0 | 0
324.54/324.65 c 323s | 15 | 429611 | 103432 | 10611 22 | 0 | 0
326.74/326.86 c 325s | 15 | 431566 | 104032 | 10611 22 | 0 | 0
329.23/329.30 c 327s | 15 | 434300 | 104732 | 10611 22 | 0 | 0
331.23/331.30 c 329s | 15 | 437567 | 105232 | 10611 22 | 0 | 0
333.43/333.58 c 332s | 15 | 440271 | 105832 | 10611 22 | 0 | 0
335.63/335.79 c 334s | 15 | 442742 | 106532 | 10611 22 | 0 | 0
337.93/338.09 c 336s | 15 | 445044 | 107132 | 10611 22 | 0 | 0
340.13/340.26 c 338s | 15 | 448196 | 107932 | 10611 22 | 0 | 0
342.23/342.34 c 341s | 15 | 450905 | 108632 | 10611 23 | 0 | 0
344.23/344.39 c 343s | 15 | 454665 | 109432 | 10611 23 | 0 | 0
346.43/346.53 c 345s | 15 | 457096 | 110132 | 10611 23 | 0 | 0
348.63/348.71 c 347s | 15 | 459226 | 110832 | 10611 23 | 0 | 0
350.93/351.07 c 349s | 15 | 462456 | 111532 | 10611 23 | 0 | 0
353.13/353.21 c 351s | 15 | 465724 | 112332 | 10611 23 | 0 | 0
355.33/355.46 c 354s | 15 | 469230 | 113032 | 10611 23 | 0 | 0
357.53/357.62 c 356s | 15 | 472323 | 113832 | 10611 23 | 0 | 0
359.63/359.80 c 358s | 15 | 474905 | 114532 | 10611 24 | 0 | 0
362.02/362.11 c 360s | 15 | 478445 | 115232 | 10611 24 | 0 | 0
364.22/364.32 c 363s | 15 | 480764 | 115932 | 10611 24 | 0 | 0
366.33/366.49 c 365s | 15 | 483932 | 116732 | 10611 24 | 0 | 0
368.62/368.75 c 367s | 15 | 486787 | 117632 | 10611 24 | 0 | 0
370.73/370.84 c 369s | 15 | 489387 | 118532 | 10611 24 | 0 | 0
372.72/372.89 c 371s | 15 | 491765 | 119232 | 10611 24 | 0 | 0
374.82/374.98 c 373s | 15 | 494335 | 120032 | 10611 25 | 0 | 0
376.92/377.06 c 375s | 15 | 496847 | 120732 | 10611 25 | 0 | 0
379.22/379.30 c 377s | 15 | 499472 | 121432 | 10611 25 | 0 | 0
381.42/381.58 c 380s | 15 | 502897 | 122132 | 10611 25 | 0 | 0
383.62/383.72 c 382s | 15 | 505151 | 122732 | 10611 25 | 0 | 0
385.92/386.00 c 384s | 15 | 507685 | 123432 | 10611 25 | 0 | 0
388.33/388.41 c 387s | 15 | 511008 | 124232 | 10611 25 | 0 | 0
390.32/390.50 c 389s | 15 | 513677 | 124932 | 10611 26 | 0 | 0
392.63/392.71 c 391s | 15 | 517598 | 125832 | 10611 26 | 0 | 0
394.62/394.79 c 393s | 15 | 520691 | 126732 | 10611 26 | 0 | 0
396.72/396.84 c 395s | 15 | 523184 | 127632 | 10611 26 | 0 | 0
398.72/398.87 c 397s | 15 | 526070 | 128432 | 10611 26 | 0 | 0
401.02/401.12 c 399s | 15 | 528583 | 129232 | 10611 26 | 0 | 0
403.12/403.22 c 401s | 15 | 530981 | 129932 | 10611 26 | 0 | 0
405.22/405.35 c 404s | 15 | 533771 | 130732 | 11673 26 | 0 | 0
407.22/407.35 c 406s | 16 | 536014 | 131552 | 11673 27 | 0 | 0
409.42/409.56 c 408s | 16 | 539093 | 132352 | 11673 27 | 0 | 0
411.52/411.63 c 410s | 16 | 541818 | 133052 | 11673 27 | 0 | 0
413.82/413.93 c 412s | 16 | 543431 | 133552 | 11673 27 | 0 | 0
416.01/416.14 c 414s | 16 | 545768 | 134252 | 11673 27 | 0 | 0
418.11/418.26 c 416s | 16 | 548209 | 134852 | 11673 27 | 0 | 0
420.61/420.71 c 419s | 16 | 550882 | 135752 | 11673 27 | 0 | 0
422.71/422.85 c 421s | 16 | 553338 | 136452 | 11673 27 | 0 | 0
424.81/424.92 c 423s | 16 | 555503 | 137252 | 11673 27 | 0 | 0
426.82/426.95 c 425s | 16 | 556908 | 137852 | 11673 28 | 0 | 0
428.81/428.96 c 427s | 16 | 558906 | 138452 | 11673 28 | 0 | 0
430.91/431.05 c 429s | 16 | 560964 | 139052 | 11673 28 | 0 | 0
433.01/433.12 c 431s | 16 | 563269 | 139752 | 11673 28 | 0 | 0
435.21/435.31 c 434s | 16 | 565097 | 140452 | 11673 28 | 0 | 0
437.21/437.32 c 436s | 16 | 568443 | 141252 | 11673 28 | 0 | 0
439.31/439.45 c 438s | 16 | 570851 | 141952 | 11673 28 | 0 | 0
441.51/441.63 c 440s | 16 | 572818 | 142652 | 11673 28 | 0 | 0
443.81/443.98 c 442s | 16 | 574736 | 143252 | 11673 28 | 0 | 0
445.81/445.99 c 444s | 16 | 576573 | 143852 | 11673 29 | 0 | 0
447.81/447.99 c 446s | 16 | 579150 | 144552 | 11673 29 | 0 | 0
450.11/450.22 c 448s | 16 | 582548 | 145452 | 11673 29 | 0 | 0
452.12/452.26 c 450s | 16 | 584966 | 146252 | 11673 29 | 0 | 0
454.21/454.33 c 453s | 16 | 587184 | 146852 | 11673 29 | 0 | 0
456.31/456.48 c 455s | 16 | 589983 | 147552 | 11673 29 | 0 | 0
458.41/458.58 c 457s | 16 | 592467 | 148252 | 11673 29 | 0 | 0
460.71/460.87 c 459s | 16 | 594798 | 148952 | 11673 29 | 0 | 0
462.91/463.07 c 461s | 16 | 597195 | 149752 | 11673 30 | 0 | 0
465.31/465.48 c 464s | 16 | 600031 | 150552 | 11673 30 | 0 | 0
467.51/467.69 c 466s | 16 | 603776 | 151552 | 11673 30 | 0 | 0
469.71/469.88 c 468s | 16 | 606310 | 152352 | 11673 30 | 0 | 0
471.81/472.00 c 470s | 16 | 609021 | 153252 | 11673 30 | 0 | 0
473.90/474.04 c 472s | 16 | 611375 | 154152 | 11673 30 | 0 | 0
476.00/476.12 c 474s | 16 | 613664 | 154952 | 11673 30 | 0 | 0
478.01/478.17 c 476s | 16 | 615243 | 155452 | 11673 30 | 0 | 0
480.31/480.44 c 479s | 16 | 617520 | 156052 | 11673 31 | 0 | 0
482.31/482.47 c 481s | 16 | 619431 | 156652 | 11673 31 | 0 | 0
484.61/484.73 c 483s | 16 | 621927 | 157352 | 11673 31 | 0 | 0
486.71/486.83 c 485s | 16 | 624242 | 158052 | 11673 31 | 0 | 0
488.91/489.05 c 487s | 16 | 627629 | 158852 | 11673 31 | 0 | 0
491.11/491.24 c 489s | 16 | 630006 | 159552 | 11673 31 | 0 | 0
493.11/493.29 c 491s | 16 | 631741 | 160052 | 11673 31 | 0 | 0
495.21/495.37 c 494s | 16 | 634142 | 160952 | 11673 31 | 0 | 0
497.41/497.59 c 496s | 16 | 636484 | 161752 | 11673 32 | 0 | 0
499.61/499.78 c 498s | 16 | 638995 | 162652 | 11673 32 | 0 | 0
501.91/502.05 c 500s | 16 | 642021 | 163352 | 11673 32 | 0 | 0
503.91/504.05 c 502s | 16 | 643973 | 163952 | 11673 32 | 0 | 0
506.11/506.24 c 504s | 16 | 647467 | 164552 | 11673 32 | 0 | 0
508.30/508.48 c 507s | 16 | 649723 | 165152 | 11673 32 | 0 | 0
510.50/510.67 c 509s | 16 | 652063 | 165752 | 11673 32 | 0 | 0
512.80/512.95 c 511s | 16 | 655082 | 166352 | 11673 32 | 0 | 0
515.10/515.27 c 513s | 16 | 657116 | 166952 | 11673 32 | 0 | 0
517.40/517.52 c 516s | 16 | 659130 | 167652 | 11673 33 | 0 | 0
519.40/519.55 c 518s | 16 | 662129 | 168452 | 11673 33 | 0 | 0
521.60/521.70 c 520s | 16 | 664484 | 169252 | 11673 33 | 0 | 0
523.70/523.80 c 522s | 16 | 666952 | 169952 | 11673 33 | 0 | 0
525.81/525.95 c 524s | 16 | 669834 | 170652 | 11673 33 | 0 | 0
527.91/528.06 c 526s | 16 | 672633 | 171452 | 11673 33 | 0 | 0
530.00/530.12 c 528s | 16 | 674201 | 172152 | 11673 33 | 0 | 0
532.20/532.33 c 531s | 16 | 676757 | 173052 | 11673 33 | 0 | 0
534.40/534.54 c 533s | 16 | 679051 | 173752 | 11673 34 | 0 | 0
536.60/536.77 c 535s | 16 | 681379 | 174452 | 11673 34 | 0 | 0
538.91/539.06 c 537s | 16 | 683501 | 175252 | 11673 34 | 0 | 0
541.11/541.28 c 539s | 16 | 685658 | 175952 | 11673 34 | 0 | 0
543.20/543.31 c 542s | 16 | 687102 | 176452 | 11673 34 | 0 | 0
545.61/545.73 c 544s | 16 | 688666 | 176952 | 11673 34 | 0 | 0
547.80/547.94 c 546s | 16 | 691057 | 177752 | 11673 34 | 0 | 0
550.00/550.19 c 548s | 16 | 693908 | 178652 | 11673 34 | 0 | 0
552.10/552.23 c 550s | 16 | 696625 | 179452 | 11673 34 | 0 | 0
554.30/554.41 c 553s | 16 | 699022 | 180152 | 11673 35 | 0 | 0
556.40/556.55 c 555s | 16 | 701877 | 180852 | 11673 35 | 0 | 0
558.49/558.66 c 557s | 16 | 704406 | 181552 | 11673 35 | 0 | 0
560.69/560.80 c 559s | 16 | 706689 | 182352 | 11673 35 | 0 | 0
562.89/563.01 c 561s | 16 | 709213 | 183052 | 11673 35 | 0 | 0
564.99/565.19 c 563s | 16 | 712261 | 183952 | 11673 35 | 0 | 0
567.39/567.52 c 566s | 16 | 715304 | 184752 | 11673 35 | 0 | 0
569.39/569.55 c 568s | 16 | 717703 | 185552 | 11673 35 | 0 | 0
571.59/571.74 c 570s | 16 | 719820 | 186152 | 11673 36 | 0 | 0
573.69/573.87 c 572s | 16 | 721783 | 186752 | 11673 36 | 0 | 0
575.89/576.05 c 574s | 16 | 727627 | 187352 | 11673 36 | 0 | 0
577.89/578.06 c 576s | 16 | 731031 | 188052 | 11673 36 | 0 | 0
579.99/580.15 c 578s | 16 | 733391 | 188852 | 11673 36 | 0 | 0
582.09/582.22 c 580s | 16 | 735671 | 189752 | 11673 36 | 0 | 0
584.19/584.38 c 583s | 16 | 738476 | 190452 | 11673 36 | 0 | 0
586.30/586.49 c 585s | 16 | 740687 | 191152 | 11673 36 | 0 | 0
588.59/588.77 c 587s | 16 | 743050 | 191852 | 11673 37 | 0 | 0
590.79/590.95 c 589s | 16 | 746043 | 192652 | 11673 37 | 0 | 0
592.89/593.09 c 591s | 16 | 748608 | 193552 | 11673 37 | 0 | 0
595.09/595.25 c 593s | 16 | 751174 | 194352 | 11673 37 | 0 | 0
597.19/597.31 c 596s | 16 | 753660 | 195152 | 11673 37 | 0 | 0
599.29/599.42 c 598s | 16 | 756311 | 195852 | 12841 37 | 0 | 0
601.49/601.69 c 600s | 16 | 758956 | 196652 | 12841 37 | 0 | 0
603.69/603.85 c 602s | 17 | 761387 | 197432 | 12841 37 | 0 | 0
605.99/606.15 c 604s | 17 | 764109 | 198132 | 12841 37 | 0 | 0
608.19/608.33 c 607s | 17 | 766227 | 198832 | 12841 37 | 0 | 0
610.49/610.61 c 609s | 17 | 768282 | 199532 | 12841 38 | 0 | 0
612.48/612.66 c 611s | 17 | 770424 | 200232 | 12841 38 | 0 | 0
614.68/614.89 c 613s | 17 | 773454 | 201032 | 12841 38 | 0 | 0
616.88/617.06 c 615s | 17 | 775707 | 201832 | 12841 38 | 0 | 0
618.88/619.09 c 617s | 17 | 777870 | 202532 | 12841 38 | 0 | 0
620.98/621.14 c 619s | 17 | 779717 | 203332 | 12841 38 | 0 | 0
623.08/623.20 c 621s | 17 | 782429 | 204132 | 12841 38 | 0 | 0
625.28/625.42 c 624s | 17 | 785163 | 204932 | 12841 38 | 0 | 0
627.38/627.50 c 626s | 17 | 786992 | 205632 | 12841 39 | 0 | 0
629.58/629.78 c 628s | 17 | 789143 | 206432 | 12841 39 | 0 | 0
631.98/632.11 c 630s | 17 | 791438 | 207132 | 12841 39 | 0 | 0
634.08/634.21 c 632s | 17 | 794090 | 207832 | 12841 39 | 0 | 0
636.08/636.26 c 634s | 17 | 796212 | 208532 | 12841 39 | 0 | 0
638.08/638.28 c 636s | 17 | 798419 | 209132 | 12841 39 | 0 | 0
640.28/640.46 c 639s | 17 | 800588 | 209832 | 12841 39 | 0 | 0
642.48/642.64 c 641s | 17 | 803852 | 210632 | 12841 39 | 0 | 0
644.58/644.72 c 643s | 17 | 806032 | 211432 | 12841 39 | 0 | 0
646.58/646.76 c 645s | 17 | 808537 | 212132 | 12841 39 | 0 | 0
648.78/649.00 c 647s | 17 | 810639 | 212932 | 12841 40 | 0 | 0
650.88/651.03 c 649s | 17 | 812474 | 213632 | 12841 40 | 0 | 0
652.98/653.11 c 651s | 17 | 814566 | 214332 | 12841 40 | 0 | 0
655.08/655.27 c 653s | 17 | 817216 | 215232 | 12841 40 | 0 | 0
657.28/657.49 c 656s | 17 | 819707 | 216132 | 12841 40 | 0 | 0
659.58/659.72 c 658s | 17 | 821985 | 216832 | 12841 40 | 0 | 0
661.88/662.05 c 660s | 17 | 824961 | 217732 | 12841 40 | 0 | 0
664.08/664.29 c 662s | 17 | 827721 | 218532 | 12841 40 | 0 | 0
666.18/666.30 c 664s | 17 | 829757 | 219132 | 12841 41 | 0 | 0
668.18/668.34 c 667s | 17 | 832498 | 219732 | 12841 41 | 0 | 0
670.38/670.50 c 669s | 17 | 834572 | 220432 | 12841 41 | 0 | 0
672.48/672.67 c 671s | 17 | 836470 | 221132 | 12841 41 | 0 | 0
674.68/674.80 c 673s | 17 | 839157 | 221832 | 12841 41 | 0 | 0
676.78/676.96 c 675s | 17 | 842537 | 222432 | 12841 41 | 0 | 0
678.88/679.00 c 677s | 17 | 844524 | 223032 | 12841 41 | 0 | 0
681.18/681.31 c 680s | 17 | 847250 | 223732 | 12841 41 | 0 | 0
683.28/683.41 c 682s | 17 | 849933 | 224532 | 12841 41 | 0 | 0
685.38/685.54 c 684s | 17 | 852447 | 225232 | 12841 41 | 0 | 0
687.68/687.80 c 686s | 17 | 855082 | 226032 | 12841 42 | 0 | 0
689.88/690.07 c 688s | 17 | 857332 | 226832 | 12841 42 | 0 | 0
692.08/692.24 c 690s | 17 | 860082 | 227632 | 12841 42 | 0 | 0
694.18/694.36 c 693s | 17 | 861951 | 228432 | 12841 42 | 0 | 0
696.58/696.76 c 695s | 17 | 864082 | 229132 | 12841 42 | 0 | 0
698.68/698.88 c 697s | 17 | 866227 | 229732 | 12841 42 | 0 | 0
700.88/701.04 c 699s | 17 | 867792 | 230332 | 12841 42 | 0 | 0
702.88/703.09 c 701s | 17 | 870068 | 230832 | 12841 42 | 0 | 0
705.08/705.23 c 703s | 17 | 872383 | 231432 | 12841 42 | 0 | 0
707.37/707.50 c 706s | 17 | 874366 | 232232 | 12841 43 | 0 | 0
709.67/709.88 c 708s | 17 | 876881 | 233032 | 12841 43 | 0 | 0
711.77/711.93 c 710s | 17 | 878706 | 233732 | 12841 43 | 0 | 0
714.17/714.31 c 713s | 17 | 880859 | 234432 | 12841 43 | 0 | 0
716.17/716.37 c 715s | 17 | 883571 | 235132 | 12841 43 | 0 | 0
718.37/718.58 c 717s | 17 | 885755 | 235832 | 12841 43 | 0 | 0
720.38/720.58 c 719s | 17 | 888043 | 236532 | 12841 43 | 0 | 0
722.47/722.61 c 721s | 17 | 889973 | 237232 | 12841 43 | 0 | 0
724.67/724.88 c 723s | 17 | 892047 | 237932 | 12841 43 | 0 | 0
726.77/726.97 c 725s | 17 | 894355 | 238632 | 12841 44 | 0 | 0
728.87/729.01 c 727s | 17 | 896738 | 239432 | 12841 44 | 0 | 0
731.17/731.35 c 730s | 17 | 898965 | 240132 | 12841 44 | 0 | 0
733.27/733.41 c 732s | 17 | 901316 | 240832 | 12841 44 | 0 | 0
735.47/735.63 c 734s | 17 | 903838 | 241532 | 12841 44 | 0 | 0
737.67/737.81 c 736s | 17 | 906240 | 242332 | 12841 44 | 0 | 0
739.77/739.97 c 738s | 17 | 908194 | 243032 | 12841 44 | 0 | 0
742.07/742.28 c 740s | 17 | 910970 | 243932 | 12841 44 | 0 | 0
744.17/744.31 c 743s | 17 | 913323 | 244732 | 12841 44 | 0 | 0
746.27/746.40 c 745s | 17 | 916001 | 245532 | 12841 45 | 0 | 0
748.27/748.43 c 747s | 17 | 918120 | 246232 | 12841 45 | 0 | 0
750.37/750.54 c 749s | 17 | 920234 | 246932 | 12841 45 | 0 | 0
752.57/752.74 c 751s | 17 | 922123 | 247632 | 12841 45 | 0 | 0
754.57/754.78 c 753s | 17 | 924117 | 248232 | 12841 45 | 0 | 0
756.67/756.89 c 755s | 17 | 925946 | 248932 | 12841 45 | 0 | 0
758.87/759.00 c 757s | 17 | 928507 | 249632 | 12841 45 | 0 | 0
761.17/761.31 c 760s | 17 | 931189 | 250532 | 12841 45 | 0 | 0
763.27/763.50 c 762s | 17 | 933771 | 251332 | 12841 45 | 0 | 0
765.47/765.67 c 764s | 17 | 935878 | 251932 | 12841 46 | 0 | 0
767.57/767.75 c 766s | 17 | 938212 | 252632 | 12841 46 | 0 | 0
769.67/769.88 c 768s | 17 | 940189 | 253332 | 12841 46 | 0 | 0
771.76/771.95 c 770s | 17 | 942617 | 254032 | 12841 46 | 0 | 0
773.96/774.10 c 772s | 17 | 944892 | 254732 | 12841 46 | 0 | 0
776.06/776.28 c 774s | 17 | 947290 | 255532 | 12841 46 | 0 | 0
778.16/778.33 c 777s | 17 | 949049 | 256232 | 12841 46 | 0 | 0
780.46/780.62 c 779s | 17 | 950916 | 257032 | 12841 46 | 0 | 0
782.46/782.68 c 781s | 17 | 952715 | 257632 | 12841 46 | 0 | 0
784.86/785.00 c 783s | 17 | 954932 | 258332 | 12841 46 | 0 | 0
786.86/787.01 c 785s | 17 | 957137 | 258932 | 12841 47 | 0 | 0
789.06/789.22 c 787s | 17 | 958968 | 259632 | 12841 47 | 0 | 0
791.16/791.31 c 790s | 17 | 960505 | 260132 | 12841 47 | 0 | 0
793.16/793.38 c 792s | 17 | 963079 | 260832 | 12841 47 | 0 | 0
795.36/795.57 c 794s | 17 | 964920 | 261532 | 12841 47 | 0 | 0
797.37/797.59 c 796s | 17 | 967151 | 262132 | 12841 47 | 0 | 0
799.67/799.81 c 798s | 17 | 970182 | 262832 | 12841 47 | 0 | 0
801.87/802.06 c 800s | 17 | 972025 | 263532 | 12841 47 | 0 | 0
804.07/804.26 c 802s | 17 | 973890 | 264232 | 12841 47 | 0 | 0
806.06/806.26 c 804s | 17 | 976298 | 264932 | 12841 47 | 0 | 0
808.26/808.43 c 807s | 17 | 978548 | 265732 | 12841 48 | 0 | 0
810.46/810.68 c 809s | 17 | 981608 | 266532 | 12841 48 | 0 | 0
812.46/812.69 c 811s | 17 | 983710 | 267332 | 12841 48 | 0 | 0
814.76/814.92 c 813s | 17 | 986104 | 268132 | 12841 48 | 0 | 0
816.86/817.09 c 815s | 17 | 988393 | 268932 | 12841 48 | 0 | 0
818.86/819.09 c 817s | 17 | 991034 | 269732 | 12841 48 | 0 | 0
820.95/821.13 c 819s | 17 | 993726 | 270632 | 12841 48 | 0 | 0
823.05/823.27 c 821s | 17 | 996681 | 271432 | 12841 48 | 0 | 0
825.25/825.42 c 824s | 17 | 999010 | 272332 | 12841 49 | 0 | 0
827.35/827.59 c 826s | 17 | 1001834 | 273132 | 12841 49 | 0 | 0
829.55/829.78 c 828s | 17 | 1003471 | 273932 | 12841 49 | 0 | 0
831.75/831.94 c 830s | 17 | 1006161 | 274832 | 12841 49 | 0 | 0
833.95/834.10 c 832s | 17 | 1008054 | 275532 | 12841 49 | 0 | 0
835.96/836.16 c 834s | 17 | 1010261 | 276232 | 12841 49 | 0 | 0
838.25/838.40 c 837s | 17 | 1012117 | 277032 | 12841 49 | 0 | 0
840.45/840.64 c 839s | 17 | 1013884 | 277732 | 12841 49 | 0 | 0
842.56/842.72 c 841s | 17 | 1015816 | 278332 | 12841 50 | 0 | 0
844.66/844.83 c 843s | 17 | 1017579 | 279132 | 12841 50 | 0 | 0
846.96/847.16 c 845s | 17 | 1020593 | 279932 | 12841 50 | 0 | 0
848.95/849.17 c 847s | 17 | 1023036 | 280632 | 12841 50 | 0 | 0
851.05/851.21 c 849s | 17 | 1025132 | 281332 | 12841 50 | 0 | 0
853.15/853.34 c 852s | 17 | 1027606 | 282132 | 12841 50 | 0 | 0
855.35/855.57 c 854s | 17 | 1029899 | 282932 | 12841 50 | 0 | 0
857.65/857.80 c 856s | 17 | 1031638 | 283532 | 12841 50 | 0 | 0
859.65/859.83 c 858s | 17 | 1034071 | 284232 | 12841 50 | 0 | 0
861.75/861.97 c 860s | 17 | 1035708 | 284932 | 12841 51 | 0 | 0
863.75/863.97 c 862s | 17 | 1038000 | 285632 | 12841 51 | 0 | 0
866.04/866.20 c 864s | 17 | 1040234 | 286432 | 12841 51 | 0 | 0
868.24/868.43 c 867s | 17 | 1043681 | 287132 | 12841 51 | 0 | 0
870.24/870.47 c 869s | 17 | 1046039 | 287832 | 12841 51 | 0 | 0
872.44/872.67 c 871s | 17 | 1048458 | 288732 | 12841 51 | 0 | 0
874.54/874.76 c 873s | 17 | 1050802 | 289532 | 12841 51 | 0 | 0
876.94/877.15 c 875s | 17 | 1052382 | 290232 | 12841 51 | 0 | 0
879.04/879.29 c 877s | 17 | 1053969 | 290832 | 12841 51 | 0 | 0
881.24/881.46 c 880s | 17 | 1055372 | 291432 | 12841 51 | 0 | 0
883.44/883.61 c 882s | 17 | 1056986 | 292032 | 12841 52 | 0 | 0
885.64/885.88 c 884s | 17 | 1059266 | 292732 | 12841 52 | 0 | 0
887.74/887.90 c 886s | 17 | 1061322 | 293432 | 12841 52 | 0 | 0
889.75/889.95 c 888s | 17 | 1063469 | 294132 | 14126 52 | 0 | 0
891.84/892.05 c 890s | 17 | 1065633 | 294832 | 14126 52 | 0 | 0
894.04/894.23 c 892s | 17 | 1068127 | 295632 | 14126 52 | 0 | 0
895.84/896.02 c 894s | 18 | 1070411 | 296252 | 14126 52 | 0 | 0
898.24/898.44 c 897s | 18 | 1071809 | 296552 | 14126 52 | 0 | 0
900.64/900.89 c 899s | 18 | 1075474 | 297052 | 14126 52 | 0 | 0
902.84/903.02 c 901s | 18 | 1078969 | 297752 | 14126 52 | 0 | 0
905.04/905.30 c 903s | 18 | 1083512 | 298352 | 14126 52 | 0 | 0
907.24/907.44 c 906s | 18 | 1086138 | 298952 | 14126 52 | 0 | 0
909.44/909.67 c 908s | 18 | 1089162 | 299652 | 14126 53 | 0 | 0
911.74/911.99 c 910s | 18 | 1091880 | 300452 | 14126 53 | 0 | 0
913.94/914.11 c 912s | 18 | 1094679 | 301152 | 14126 53 | 0 | 0
916.04/916.24 c 914s | 18 | 1097624 | 301852 | 14126 53 | 0 | 0
918.04/918.29 c 916s | 18 | 1100147 | 302352 | 14126 53 | 0 | 0
920.34/920.53 c 919s | 18 | 1102358 | 303152 | 14126 53 | 0 | 0
922.33/922.58 c 921s | 18 | 1104440 | 303852 | 14126 53 | 0 | 0
924.43/924.62 c 923s | 18 | 1107180 | 304452 | 14126 53 | 0 | 0
926.43/926.68 c 925s | 18 | 1109465 | 305152 | 14126 53 | 0 | 0
928.63/928.82 c 927s | 18 | 1112084 | 305952 | 14126 53 | 0 | 0
930.83/931.06 c 929s | 18 | 1114456 | 306652 | 14126 53 | 0 | 0
933.03/933.27 c 931s | 18 | 1118207 | 307152 | 14126 54 | 0 | 0
935.03/935.29 c 933s | 18 | 1120472 | 307752 | 14126 54 | 0 | 0
937.14/937.37 c 936s | 18 | 1124245 | 308252 | 14126 54 | 0 | 0
939.34/939.55 c 938s | 18 | 1127234 | 309152 | 14126 54 | 0 | 0
941.33/941.59 c 940s | 18 | 1129365 | 309852 | 14126 54 | 0 | 0
943.64/943.87 c 942s | 18 | 1132433 | 310652 | 14126 54 | 0 | 0
945.73/945.99 c 944s | 18 | 1135135 | 311352 | 14126 54 | 0 | 0
947.83/948.08 c 946s | 18 | 1137654 | 311952 | 14126 54 | 0 | 0
949.93/950.17 c 948s | 18 | 1140028 | 312652 | 14126 54 | 0 | 0
951.93/952.19 c 950s | 18 | 1142875 | 313352 | 14126 54 | 0 | 0
954.33/954.51 c 953s | 18 | 1144852 | 314052 | 14126 55 | 0 | 0
956.53/956.72 c 955s | 18 | 1146947 | 314752 | 14126 55 | 0 | 0
958.53/958.78 c 957s | 18 | 1151524 | 315252 | 14126 55 | 0 | 0
960.73/960.95 c 959s | 18 | 1158395 | 315752 | 14126 55 | 0 | 0
962.74/962.98 c 961s | 18 | 1161925 | 316252 | 14126 55 | 0 | 0
964.94/965.14 c 963s | 18 | 1164994 | 316952 | 14126 55 | 0 | 0
967.04/967.20 c 965s | 18 | 1166932 | 317552 | 14126 55 | 0 | 0
969.04/969.26 c 967s | 18 | 1170241 | 318152 | 14126 55 | 0 | 0
971.24/971.45 c 970s | 18 | 1173128 | 318752 | 14126 55 | 0 | 0
973.74/973.90 c 972s | 18 | 1176089 | 319352 | 14126 55 | 0 | 0
975.84/976.01 c 974s | 18 | 1178264 | 320052 | 14126 55 | 0 | 0
978.04/978.22 c 976s | 18 | 1182445 | 320852 | 14126 55 | 0 | 0
980.24/980.41 c 979s | 18 | 1184508 | 321552 | 14126 56 | 0 | 0
982.24/982.47 c 981s | 18 | 1187072 | 322352 | 14126 56 | 0 | 0
984.34/984.57 c 983s | 18 | 1190214 | 323152 | 14126 56 | 0 | 0
986.64/986.82 c 985s | 18 | 1192808 | 323952 | 14126 56 | 0 | 0
988.84/989.02 c 987s | 18 | 1194403 | 324552 | 14126 56 | 0 | 0
990.83/991.03 c 989s | 18 | 1195991 | 325152 | 14126 56 | 0 | 0
992.93/993.19 c 991s | 18 | 1198904 | 325852 | 14126 56 | 0 | 0
995.13/995.35 c 994s | 18 | 1200862 | 326552 | 14126 56 | 0 | 0
997.33/997.53 c 996s | 18 | 1202928 | 327252 | 14126 56 | 0 | 0
999.33/999.54 c 998s | 18 | 1205207 | 327952 | 14126 56 | 0 | 0
1001.33/1001.56 c 1000s | 18 | 1207260 | 328652 | 14126 57 | 0 | 0
1003.43/1003.66 c 1002s | 18 | 1209268 | 329452 | 14126 57 | 0 | 0
1005.53/1005.72 c 1004s | 18 | 1212193 | 330152 | 14126 57 | 0 | 0
1007.83/1008.04 c 1006s | 18 | 1214465 | 330952 | 14126 57 | 0 | 0
1009.93/1010.14 c 1008s | 18 | 1216415 | 331552 | 14126 57 | 0 | 0
1012.13/1012.34 c 1011s | 18 | 1219075 | 332352 | 14126 57 | 0 | 0
1014.23/1014.48 c 1013s | 18 | 1222608 | 333152 | 14126 57 | 0 | 0
1016.53/1016.78 c 1015s | 18 | 1225545 | 333852 | 14126 57 | 0 | 0
1018.54/1018.78 c 1017s | 18 | 1228002 | 334552 | 14126 57 | 0 | 0
1020.63/1020.86 c 1019s | 18 | 1230731 | 335352 | 14126 57 | 0 | 0
1022.83/1023.03 c 1021s | 18 | 1233027 | 336052 | 14126 58 | 0 | 0
1025.03/1025.22 c 1023s | 18 | 1235508 | 336852 | 14126 58 | 0 | 0
1027.13/1027.34 c 1026s | 18 | 1238792 | 337452 | 14126 58 | 0 | 0
1029.23/1029.48 c 1028s | 18 | 1246098 | 337952 | 14126 58 | 0 | 0
1031.53/1031.72 c 1030s | 18 | 1248652 | 338552 | 14126 58 | 0 | 0
1033.63/1033.88 c 1032s | 18 | 1251560 | 339252 | 14126 58 | 0 | 0
1035.83/1036.09 c 1034s | 18 | 1255024 | 340152 | 14126 58 | 0 | 0
1038.03/1038.21 c 1036s | 18 | 1259172 | 340852 | 14126 58 | 0 | 0
1040.12/1040.38 c 1039s | 18 | 1262195 | 341652 | 14126 58 | 0 | 0
1042.42/1042.62 c 1041s | 18 | 1264655 | 342352 | 14126 58 | 0 | 0
1044.72/1044.96 c 1043s | 18 | 1266774 | 343052 | 14126 59 | 0 | 0
1046.92/1047.16 c 1045s | 18 | 1269279 | 343852 | 14126 59 | 0 | 0
1049.02/1049.21 c 1047s | 18 | 1271749 | 344752 | 14126 59 | 0 | 0
1051.02/1051.29 c 1049s | 18 | 1274092 | 345452 | 14126 59 | 0 | 0
1053.42/1053.69 c 1052s | 18 | 1277502 | 346052 | 14126 59 | 0 | 0
1055.62/1055.80 c 1054s | 18 | 1279320 | 346752 | 14126 59 | 0 | 0
1058.03/1058.26 c 1056s | 18 | 1287159 | 347252 | 14126 59 | 0 | 0
1060.02/1060.27 c 1058s | 18 | 1289531 | 347952 | 14126 59 | 0 | 0
1062.22/1062.40 c 1061s | 18 | 1291835 | 348752 | 14126 59 | 0 | 0
1064.52/1064.72 c 1063s | 18 | 1294306 | 349452 | 14126 59 | 0 | 0
1066.72/1066.90 c 1065s | 18 | 1296906 | 350152 | 14126 59 | 0 | 0
1068.82/1069.09 c 1067s | 18 | 1299560 | 350852 | 14126 60 | 0 | 0
1070.92/1071.13 c 1069s | 18 | 1302155 | 351652 | 14126 60 | 0 | 0
1073.02/1073.27 c 1071s | 18 | 1304255 | 352252 | 14126 60 | 0 | 0
1075.12/1075.33 c 1074s | 18 | 1305973 | 352752 | 14126 60 | 0 | 0
1077.12/1077.34 c 1076s | 18 | 1308816 | 353452 | 14126 60 | 0 | 0
1079.12/1079.39 c 1078s | 18 | 1311295 | 354052 | 14126 60 | 0 | 0
1081.22/1081.48 c 1080s | 18 | 1313867 | 354852 | 14126 60 | 0 | 0
1083.42/1083.63 c 1082s | 18 | 1316535 | 355552 | 14126 60 | 0 | 0
1085.42/1085.67 c 1084s | 18 | 1318217 | 356252 | 14126 60 | 0 | 0
1087.62/1087.81 c 1086s | 18 | 1320488 | 357052 | 14126 60 | 0 | 0
1089.82/1090.07 c 1088s | 18 | 1323004 | 357752 | 14126 61 | 0 | 0
1092.02/1092.22 c 1090s | 18 | 1325747 | 358552 | 14126 61 | 0 | 0
1094.11/1094.38 c 1093s | 18 | 1328327 | 359352 | 14126 61 | 0 | 0
1096.21/1096.50 c 1095s | 18 | 1330370 | 360152 | 14126 61 | 0 | 0
1098.41/1098.67 c 1097s | 18 | 1334064 | 360852 | 14126 61 | 0 | 0
1100.51/1100.74 c 1099s | 18 | 1338340 | 361552 | 14126 61 | 0 | 0
1102.81/1103.02 c 1101s | 18 | 1341155 | 362452 | 14126 61 | 0 | 0
1104.91/1105.16 c 1103s | 18 | 1343504 | 363152 | 14126 61 | 0 | 0
1107.01/1107.28 c 1105s | 18 | 1345938 | 363652 | 14126 61 | 0 | 0
1109.11/1109.38 c 1108s | 18 | 1347863 | 364252 | 14126 61 | 0 | 0
1111.21/1111.42 c 1110s | 18 | 1350343 | 364852 | 14126 62 | 0 | 0
1113.21/1113.49 c 1112s | 18 | 1353957 | 365452 | 14126 62 | 0 | 0
1115.41/1115.60 c 1114s | 18 | 1357491 | 366252 | 14126 62 | 0 | 0
1117.42/1117.67 c 1116s | 18 | 1360684 | 366952 | 14126 62 | 0 | 0
1119.62/1119.85 c 1118s | 18 | 1366598 | 367552 | 14126 62 | 0 | 0
1121.61/1121.88 c 1120s | 18 | 1368894 | 368352 | 14126 62 | 0 | 0
1123.71/1123.97 c 1122s | 18 | 1372144 | 369252 | 14126 62 | 0 | 0
1125.91/1126.11 c 1124s | 18 | 1374361 | 370152 | 14126 62 | 0 | 0
1127.91/1128.13 c 1126s | 18 | 1376496 | 370852 | 14126 62 | 0 | 0
1129.91/1130.15 c 1128s | 18 | 1381438 | 371452 | 14126 62 | 0 | 0
1132.01/1132.25 c 1130s | 18 | 1383667 | 372052 | 14126 63 | 0 | 0
1134.21/1134.46 c 1133s | 18 | 1387811 | 372852 | 14126 63 | 0 | 0
1136.31/1136.55 c 1135s | 18 | 1393852 | 373252 | 14126 63 | 0 | 0
1138.41/1138.68 c 1137s | 18 | 1397437 | 373852 | 14126 63 | 0 | 0
1140.61/1140.89 c 1139s | 18 | 1400015 | 374352 | 14126 63 | 0 | 0
1142.81/1143.01 c 1141s | 18 | 1403650 | 375052 | 14126 63 | 0 | 0
1145.01/1145.21 c 1143s | 18 | 1405544 | 375652 | 14126 63 | 0 | 0
1147.00/1147.27 c 1145s | 18 | 1409130 | 376152 | 14126 63 | 0 | 0
1149.31/1149.53 c 1148s | 18 | 1412937 | 376752 | 14126 63 | 0 | 0
1151.51/1151.73 c 1150s | 18 | 1416100 | 377552 | 14126 63 | 0 | 0
1153.81/1154.03 c 1152s | 18 | 1420017 | 378252 | 14126 63 | 0 | 0
1155.91/1156.16 c 1154s | 18 | 1422188 | 379052 | 14126 63 | 0 | 0
1158.11/1158.35 c 1157s | 18 | 1424828 | 379852 | 14126 64 | 0 | 0
1160.10/1160.38 c 1159s | 18 | 1427271 | 380652 | 14126 64 | 0 | 0
1162.30/1162.56 c 1161s | 18 | 1429538 | 381452 | 14126 64 | 0 | 0
1164.40/1164.64 c 1163s | 18 | 1431828 | 382152 | 14126 64 | 0 | 0
1166.70/1166.99 c 1165s | 18 | 1434538 | 382852 | 14126 64 | 0 | 0
1168.80/1169.09 c 1167s | 18 | 1436839 | 383452 | 14126 64 | 0 | 0
1171.20/1171.41 c 1170s | 18 | 1439682 | 384252 | 14126 64 | 0 | 0
1173.40/1173.67 c 1172s | 18 | 1441899 | 384952 | 14126 64 | 0 | 0
1175.50/1175.76 c 1174s | 18 | 1444429 | 385752 | 14126 64 | 0 | 0
1177.80/1178.04 c 1176s | 18 | 1446930 | 386552 | 14126 65 | 0 | 0
1180.00/1180.26 c 1178s | 18 | 1448866 | 387252 | 14126 65 | 0 | 0
1182.10/1182.34 c 1181s | 18 | 1450965 | 387952 | 14126 65 | 0 | 0
1184.40/1184.60 c 1183s | 18 | 1453308 | 388752 | 14126 65 | 0 | 0
1186.70/1186.92 c 1185s | 18 | 1455397 | 389552 | 14126 65 | 0 | 0
1188.80/1189.01 c 1187s | 18 | 1458577 | 390252 | 14126 65 | 0 | 0
1191.00/1191.22 c 1189s | 18 | 1460563 | 391052 | 14126 65 | 0 | 0
1192.99/1193.27 c 1191s | 18 | 1463249 | 391752 | 14126 65 | 0 | 0
1195.19/1195.46 c 1194s | 18 | 1466176 | 392252 | 14126 65 | 0 | 0
1197.49/1197.73 c 1196s | 18 | 1469715 | 393052 | 14126 65 | 0 | 0
1199.79/1200.09 c 1198s | 18 | 1473133 | 393752 | 14126 66 | 0 | 0
1201.90/1202.18 c 1200s | 18 | 1475023 | 394352 | 14126 66 | 0 | 0
1204.10/1204.36 c 1203s | 18 | 1477545 | 395052 | 14126 66 | 0 | 0
1206.40/1206.68 c 1205s | 18 | 1479962 | 395652 | 14126 66 | 0 | 0
1208.60/1208.87 c 1207s | 18 | 1482471 | 396352 | 14126 66 | 0 | 0
1210.80/1211.00 c 1209s | 18 | 1484992 | 397152 | 14126 66 | 0 | 0
1213.11/1213.32 c 1212s | 18 | 1487664 | 397852 | 14126 66 | 0 | 0
1215.31/1215.52 c 1214s | 18 | 1489830 | 398552 | 14126 66 | 0 | 0
1217.51/1217.80 c 1216s | 18 | 1492155 | 399252 | 14126 66 | 0 | 0
1219.71/1219.93 c 1218s | 18 | 1494543 | 399852 | 14126 66 | 0 | 0
1221.80/1222.07 c 1220s | 18 | 1496445 | 400452 | 14126 66 | 0 | 0
1224.00/1224.22 c 1222s | 18 | 1498893 | 401152 | 14126 67 | 0 | 0
1226.10/1226.35 c 1225s | 18 | 1500884 | 401852 | 14126 67 | 0 | 0
1228.20/1228.45 c 1227s | 18 | 1503121 | 402552 | 14126 67 | 0 | 0
1230.40/1230.60 c 1229s | 18 | 1506816 | 403252 | 14126 67 | 0 | 0
1232.50/1232.73 c 1231s | 18 | 1509881 | 404052 | 14126 67 | 0 | 0
1234.50/1234.76 c 1233s | 18 | 1512311 | 404752 | 14126 67 | 0 | 0
1236.60/1236.86 c 1235s | 18 | 1514483 | 405652 | 14126 67 | 0 | 0
1238.69/1238.91 c 1237s | 18 | 1516458 | 406252 | 14126 67 | 0 | 0
1240.70/1240.94 c 1239s | 18 | 1518845 | 406952 | 14126 67 | 0 | 0
1242.90/1243.13 c 1241s | 18 | 1521506 | 407552 | 14126 67 | 0 | 0
1245.10/1245.39 c 1244s | 18 | 1523737 | 408252 | 14126 68 | 0 | 0
1247.30/1247.55 c 1246s | 18 | 1526099 | 408952 | 14126 68 | 0 | 0
1249.50/1249.78 c 1248s | 18 | 1529156 | 409652 | 14126 68 | 0 | 0
1251.70/1251.92 c 1250s | 18 | 1531137 | 410452 | 14126 68 | 0 | 0
1253.90/1254.17 c 1252s | 18 | 1533122 | 411152 | 14126 68 | 0 | 0
1255.89/1256.18 c 1254s | 18 | 1535023 | 411752 | 14126 68 | 0 | 0
1258.20/1258.46 c 1257s | 18 | 1536739 | 412352 | 14126 68 | 0 | 0
1260.40/1260.64 c 1259s | 18 | 1539215 | 413052 | 14126 68 | 0 | 0
1262.49/1262.70 c 1261s | 18 | 1542108 | 413852 | 14126 68 | 0 | 0
1264.59/1264.86 c 1263s | 18 | 1544861 | 414452 | 14126 68 | 0 | 0
1266.69/1266.93 c 1265s | 18 | 1548687 | 415152 | 14126 68 | 0 | 0
1268.89/1269.17 c 1267s | 18 | 1551497 | 415752 | 14126 69 | 0 | 0
1271.19/1271.49 c 1270s | 18 | 1554323 | 416452 | 14126 69 | 0 | 0
1273.60/1273.88 c 1272s | 18 | 1558638 | 417252 | 14126 69 | 0 | 0
1275.69/1275.98 c 1274s | 18 | 1564501 | 417752 | 14126 69 | 0 | 0
1277.79/1278.09 c 1276s | 18 | 1567471 | 418652 | 14126 69 | 0 | 0
1280.09/1280.38 c 1279s | 18 | 1570484 | 419352 | 14126 69 | 0 | 0
1282.40/1282.66 c 1281s | 18 | 1573051 | 420152 | 14126 69 | 0 | 0
1284.59/1284.83 c 1283s | 18 | 1575717 | 420952 | 14126 69 | 0 | 0
1286.69/1286.98 c 1285s | 18 | 1578726 | 421652 | 14126 69 | 0 | 0
1288.79/1289.00 c 1287s | 18 | 1580741 | 422452 | 14126 69 | 0 | 0
1290.99/1291.24 c 1289s | 18 | 1583502 | 423252 | 14126 70 | 0 | 0
1293.29/1293.51 c 1292s | 18 | 1585865 | 424052 | 14126 70 | 0 | 0
1295.39/1295.67 c 1294s | 18 | 1587934 | 424852 | 14126 70 | 0 | 0
1297.89/1298.14 c 1296s | 18 | 1590058 | 425452 | 14126 70 | 0 | 0
1299.89/1300.14 c 1298s | 18 | 1591769 | 426152 | 14126 70 | 0 | 0
1302.09/1302.30 c 1300s | 18 | 1593852 | 426852 | 14126 70 | 0 | 0
1304.08/1304.35 c 1303s | 18 | 1596027 | 427352 | 14126 70 | 0 | 0
1306.08/1306.39 c 1305s | 18 | 1597719 | 427952 | 14126 70 | 0 | 0
1308.18/1308.41 c 1307s | 18 | 1599309 | 428452 | 14126 70 | 0 | 0
1310.38/1310.69 c 1309s | 18 | 1602064 | 429152 | 14126 70 | 0 | 0
1312.78/1313.06 c 1311s | 18 | 1604116 | 429952 | 14126 70 | 0 | 0
1315.08/1315.31 c 1314s | 18 | 1606529 | 430552 | 14126 71 | 0 | 0
1317.28/1317.59 c 1316s | 18 | 1608778 | 431252 | 14126 71 | 0 | 0
1319.38/1319.67 c 1318s | 18 | 1611150 | 431852 | 14126 71 | 0 | 0
1321.58/1321.82 c 1320s | 18 | 1613216 | 432552 | 14126 71 | 0 | 0
1323.68/1323.92 c 1322s | 18 | 1614899 | 433252 | 14126 71 | 0 | 0
1325.68/1325.92 c 1324s | 18 | 1617075 | 433952 | 14126 71 | 0 | 0
1327.78/1328.09 c 1326s | 18 | 1619396 | 434652 | 14126 71 | 0 | 0
1330.08/1330.34 c 1329s | 18 | 1621244 | 435352 | 14126 71 | 0 | 0
1332.38/1332.68 c 1331s | 18 | 1623340 | 436052 | 14126 71 | 0 | 0
1334.78/1335.09 c 1333s | 18 | 1625047 | 436652 | 14126 71 | 0 | 0
1336.98/1337.25 c 1335s | 18 | 1627396 | 437352 | 14126 72 | 0 | 0
1339.28/1339.53 c 1338s | 18 | 1630722 | 438052 | 14126 72 | 0 | 0
1341.68/1341.90 c 1340s | 18 | 1632614 | 438652 | 14126 72 | 0 | 0
1343.88/1344.10 c 1342s | 18 | 1634524 | 439352 | 14126 72 | 0 | 0
1345.88/1346.14 c 1344s | 18 | 1636859 | 440052 | 14126 72 | 0 | 0
1348.08/1348.32 c 1347s | 18 | 1639508 | 440952 | 15539 72 | 0 | 0
1350.08/1350.34 c 1349s | 18 | 1641329 | 441552 | 15539 72 | 0 | 0
1352.38/1352.62 c 1351s | 18 | 1643440 | 442352 | 15539 72 | 0 | 0
1354.48/1354.78 c 1353s | 18 | 1645351 | 442952 | 15539 72 | 0 | 0
1356.68/1356.96 c 1355s | 18 | 1647772 | 443752 | 15539 72 | 0 | 0
1358.88/1359.17 c 1357s | 18 | 1650158 | 444452 | 15539 72 | 0 | 0
1358.98/1359.24 c 1357s | 19 | 1650229 | 444482 | 15539 72 | 0 | 0
1360.98/1361.26 c 1359s | 19 | 1652664 | 445082 | 15539 72 | 0 | 0
1363.07/1363.36 c 1362s | 19 | 1654504 | 445682 | 15539 72 | 0 | 0
1365.17/1365.43 c 1364s | 19 | 1661971 | 446182 | 15539 73 | 0 | 0
1367.57/1367.82 c 1366s | 19 | 1663894 | 446782 | 15539 73 | 0 | 0
1370.17/1370.46 c 1369s | 19 | 1665705 | 447282 | 15539 73 | 0 | 0
1372.27/1372.54 c 1371s | 19 | 1668590 | 448082 | 15539 73 | 0 | 0
1374.27/1374.55 c 1373s | 19 | 1671067 | 448882 | 15539 73 | 0 | 0
1376.47/1376.71 c 1375s | 19 | 1673418 | 449582 | 15539 73 | 0 | 0
1378.47/1378.75 c 1377s | 19 | 1676433 | 450282 | 15539 73 | 0 | 0
1380.57/1380.86 c 1379s | 19 | 1678944 | 451182 | 15539 73 | 0 | 0
1382.87/1383.19 c 1381s | 19 | 1681072 | 451882 | 15539 73 | 0 | 0
1385.07/1385.32 c 1384s | 19 | 1683833 | 452682 | 15539 73 | 0 | 0
1387.17/1387.45 c 1386s | 19 | 1686858 | 453482 | 15539 73 | 0 | 0
1389.46/1389.77 c 1388s | 19 | 1689469 | 454182 | 15539 74 | 0 | 0
1391.56/1391.81 c 1390s | 19 | 1691579 | 454782 | 15539 74 | 0 | 0
1393.66/1393.97 c 1392s | 19 | 1694230 | 455682 | 15539 74 | 0 | 0
1395.96/1396.22 c 1394s | 19 | 1697071 | 456382 | 15539 74 | 0 | 0
1398.26/1398.56 c 1397s | 19 | 1699682 | 457082 | 15539 74 | 0 | 0
1400.36/1400.63 c 1399s | 19 | 1702286 | 457882 | 15539 74 | 0 | 0
1402.66/1402.95 c 1401s | 19 | 1704939 | 458682 | 15539 74 | 0 | 0
1404.85/1405.18 c 1403s | 19 | 1707594 | 459582 | 15539 74 | 0 | 0
1407.05/1407.33 c 1406s | 19 | 1710012 | 460382 | 15539 74 | 0 | 0
1409.25/1409.53 c 1408s | 19 | 1713140 | 461082 | 15539 74 | 0 | 0
1411.36/1411.62 c 1410s | 19 | 1715776 | 461682 | 15539 74 | 0 | 0
1413.76/1414.07 c 1412s | 19 | 1718581 | 462482 | 15539 75 | 0 | 0
1416.06/1416.37 c 1415s | 19 | 1721987 | 463282 | 15539 75 | 0 | 0
1418.16/1418.43 c 1417s | 19 | 1724543 | 463882 | 15539 75 | 0 | 0
1420.16/1420.46 c 1419s | 19 | 1727060 | 464582 | 15539 75 | 0 | 0
1422.16/1422.48 c 1421s | 19 | 1729758 | 465282 | 15539 75 | 0 | 0
1424.16/1424.49 c 1423s | 19 | 1733475 | 465882 | 15539 75 | 0 | 0
1426.36/1426.66 c 1425s | 19 | 1735659 | 466682 | 15539 75 | 0 | 0
1428.46/1428.72 c 1427s | 19 | 1737318 | 467382 | 15539 75 | 0 | 0
1430.56/1430.81 c 1429s | 19 | 1739363 | 468082 | 15539 75 | 0 | 0
1432.76/1433.00 c 1431s | 19 | 1741706 | 468982 | 15539 75 | 0 | 0
1434.85/1435.12 c 1433s | 19 | 1744232 | 469782 | 15539 76 | 0 | 0
1436.85/1437.16 c 1435s | 19 | 1747073 | 470682 | 15539 76 | 0 | 0
1438.95/1439.22 c 1437s | 19 | 1749941 | 471582 | 15539 76 | 0 | 0
1440.95/1441.26 c 1439s | 19 | 1753078 | 472282 | 15539 76 | 0 | 0
1442.96/1443.29 c 1441s | 19 | 1756316 | 473282 | 15539 76 | 0 | 0
1445.25/1445.51 c 1444s | 19 | 1759488 | 473982 | 15539 76 | 0 | 0
1447.35/1447.61 c 1446s | 19 | 1761836 | 474682 | 15539 76 | 0 | 0
1449.75/1450.06 c 1448s | 19 | 1768422 | 475382 | 15539 76 | 0 | 0
1451.85/1452.13 c 1450s | 19 | 1771730 | 475882 | 15539 76 | 0 | 0
1454.14/1454.43 c 1453s | 19 | 1775432 | 476482 | 15539 76 | 0 | 0
1456.15/1456.50 c 1455s | 19 | 1777571 | 477282 | 15539 76 | 0 | 0
1458.24/1458.57 c 1457s | 19 | 1780062 | 477982 | 15539 77 | 0 | 0
1460.55/1460.81 c 1459s | 19 | 1782186 | 478482 | 15539 77 | 0 | 0
1462.75/1463.05 c 1461s | 19 | 1784759 | 479182 | 15539 77 | 0 | 0
1464.84/1465.14 c 1463s | 19 | 1787002 | 479982 | 15539 77 | 0 | 0
1467.04/1467.40 c 1466s | 19 | 1789516 | 480782 | 15539 77 | 0 | 0
1469.34/1469.66 c 1468s | 19 | 1793160 | 481382 | 15539 77 | 0 | 0
1471.44/1471.75 c 1470s | 19 | 1795058 | 482182 | 15539 77 | 0 | 0
1473.54/1473.82 c 1472s | 19 | 1797865 | 482882 | 15539 77 | 0 | 0
1475.53/1475.84 c 1474s | 19 | 1801886 | 483382 | 15539 77 | 0 | 0
1477.73/1478.04 c 1476s | 19 | 1805333 | 483882 | 15539 77 | 0 | 0
1480.03/1480.33 c 1479s | 19 | 1810063 | 484582 | 15539 77 | 0 | 0
1482.33/1482.64 c 1481s | 19 | 1813191 | 485082 | 15539 77 | 0 | 0
1484.63/1484.99 c 1483s | 19 | 1815574 | 485682 | 15539 78 | 0 | 0
1486.73/1487.07 c 1485s | 19 | 1819847 | 486382 | 15539 78 | 0 | 0
1488.92/1489.29 c 1487s | 19 | 1822550 | 487182 | 15539 78 | 0 | 0
1491.02/1491.37 c 1490s | 19 | 1825243 | 487882 | 15539 78 | 0 | 0
1493.02/1493.38 c 1492s | 19 | 1827555 | 488682 | 15539 78 | 0 | 0
1495.22/1495.59 c 1494s | 19 | 1829538 | 489382 | 15539 78 | 0 | 0
1497.22/1497.59 c 1496s | 19 | 1832257 | 490082 | 15539 78 | 0 | 0
1499.42/1499.71 c 1498s | 19 | 1834652 | 490582 | 15539 78 | 0 | 0
1501.82/1502.19 c 1500s | 19 | 1836744 | 491282 | 15539 78 | 0 | 0
1503.91/1504.23 c 1502s | 19 | 1838857 | 491982 | 15539 78 | 0 | 0
1506.21/1506.50 c 1505s | 19 | 1841990 | 492782 | 15539 78 | 0 | 0
1508.31/1508.61 c 1507s | 19 | 1845001 | 493482 | 15539 78 | 0 | 0
1510.41/1510.70 c 1509s | 19 | 1847081 | 494182 | 15539 79 | 0 | 0
1512.41/1512.77 c 1511s | 19 | 1849905 | 495082 | 15539 79 | 0 | 0
1514.52/1514.82 c 1513s | 19 | 1852172 | 495882 | 15539 79 | 0 | 0
1516.63/1516.94 c 1515s | 19 | 1854667 | 496682 | 15539 79 | 0 | 0
1518.62/1518.96 c 1517s | 19 | 1856540 | 497282 | 15539 79 | 0 | 0
1520.82/1521.13 c 1519s | 19 | 1859526 | 498082 | 15539 79 | 0 | 0
1522.82/1523.16 c 1521s | 19 | 1862132 | 498782 | 15539 79 | 0 | 0
1525.21/1525.53 c 1524s | 19 | 1865811 | 499582 | 15539 79 | 0 | 0
1527.41/1527.78 c 1526s | 19 | 1869526 | 500382 | 15539 79 | 0 | 0
1529.71/1530.00 c 1528s | 19 | 1873545 | 501182 | 15539 79 | 0 | 0
1531.81/1532.14 c 1530s | 19 | 1875593 | 501882 | 15539 80 | 0 | 0
1533.81/1534.19 c 1532s | 19 | 1878596 | 502482 | 15539 80 | 0 | 0
1535.91/1536.22 c 1534s | 19 | 1880844 | 503282 | 15539 80 | 0 | 0
1538.21/1538.51 c 1537s | 19 | 1883416 | 503982 | 15539 80 | 0 | 0
1540.31/1540.64 c 1539s | 19 | 1885736 | 504682 | 15539 80 | 0 | 0
1542.41/1542.71 c 1541s | 19 | 1887632 | 505382 | 15539 80 | 0 | 0
1544.50/1544.82 c 1543s | 19 | 1891557 | 505982 | 15539 80 | 0 | 0
1546.70/1547.04 c 1545s | 19 | 1894662 | 506782 | 15539 80 | 0 | 0
1548.90/1549.27 c 1547s | 19 | 1896697 | 507582 | 15539 80 | 0 | 0
1551.30/1551.64 c 1550s | 19 | 1900550 | 508282 | 15539 80 | 0 | 0
1553.40/1553.78 c 1552s | 19 | 1903689 | 508782 | 15539 80 | 0 | 0
1555.40/1555.78 c 1554s | 19 | 1905610 | 509382 | 15539 80 | 0 | 0
1557.60/1557.93 c 1556s | 19 | 1909368 | 510182 | 15539 81 | 0 | 0
1559.60/1559.98 c 1558s | 19 | 1911628 | 510982 | 15539 81 | 0 | 0
1562.10/1562.44 c 1561s | 19 | 1915986 | 511682 | 15539 81 | 0 | 0
1564.09/1564.49 c 1563s | 19 | 1918649 | 512382 | 15539 81 | 0 | 0
1566.39/1566.79 c 1565s | 19 | 1922311 | 513082 | 15539 81 | 0 | 0
1568.69/1569.03 c 1567s | 19 | 1925096 | 513882 | 15539 81 | 0 | 0
1570.69/1571.04 c 1569s | 19 | 1927389 | 514582 | 15539 81 | 0 | 0
1572.89/1573.27 c 1571s | 19 | 1930245 | 515382 | 15539 81 | 0 | 0
1574.89/1575.28 c 1573s | 19 | 1931980 | 516082 | 15539 81 | 0 | 0
1577.09/1577.42 c 1576s | 19 | 1934108 | 516682 | 15539 81 | 0 | 0
1579.29/1579.65 c 1578s | 19 | 1935853 | 517282 | 15539 81 | 0 | 0
1581.49/1581.81 c 1580s | 19 | 1938856 | 517782 | 15539 82 | 0 | 0
1583.48/1583.87 c 1582s | 19 | 1941555 | 518482 | 15539 82 | 0 | 0
1585.58/1585.93 c 1584s | 19 | 1944128 | 519082 | 15539 82 | 0 | 0
1587.98/1588.35 c 1587s | 19 | 1947340 | 519982 | 15539 82 | 0 | 0
1590.08/1590.48 c 1589s | 19 | 1950239 | 520482 | 15539 82 | 0 | 0
1592.48/1592.90 c 1591s | 19 | 1953954 | 521182 | 15539 82 | 0 | 0
1594.87/1595.23 c 1593s | 19 | 1956445 | 521882 | 15539 82 | 0 | 0
1596.98/1597.32 c 1596s | 19 | 1958093 | 522482 | 15539 82 | 0 | 0
1599.08/1599.43 c 1598s | 19 | 1961062 | 523182 | 15539 82 | 0 | 0
1601.28/1601.68 c 1600s | 19 | 1963358 | 523682 | 15539 82 | 0 | 0
1603.48/1603.86 c 1602s | 19 | 1965308 | 524382 | 15539 82 | 0 | 0
1605.47/1605.88 c 1604s | 19 | 1967484 | 525082 | 15539 82 | 0 | 0
1607.77/1608.15 c 1606s | 19 | 1970101 | 525782 | 15539 83 | 0 | 0
1609.97/1610.34 c 1609s | 19 | 1972348 | 526582 | 15539 83 | 0 | 0
1612.06/1612.41 c 1611s | 19 | 1975172 | 527382 | 15539 83 | 0 | 0
1614.16/1614.58 c 1613s | 19 | 1978313 | 528182 | 15539 83 | 0 | 0
1616.46/1616.86 c 1615s | 19 | 1980825 | 528982 | 15539 83 | 0 | 0
1618.66/1619.00 c 1617s | 19 | 1982738 | 529482 | 15539 83 | 0 | 0
1620.86/1621.27 c 1619s | 19 | 1985061 | 530182 | 15539 83 | 0 | 0
1623.16/1623.59 c 1622s | 19 | 1987062 | 530882 | 15539 83 | 0 | 0
1625.26/1625.63 c 1624s | 19 | 1989679 | 531682 | 15539 83 | 0 | 0
1627.56/1627.96 c 1626s | 19 | 1992813 | 532482 | 15539 83 | 0 | 0
1629.66/1630.05 c 1628s | 19 | 1995031 | 533082 | 15539 83 | 0 | 0
1631.76/1632.10 c 1630s | 19 | 1997383 | 533682 | 15539 84 | 0 | 0
1633.75/1634.16 c 1632s | 19 | 1999701 | 534482 | 15539 84 | 0 | 0
1635.75/1636.17 c 1634s | 19 | 2001712 | 535182 | 15539 84 | 0 | 0
1637.85/1638.29 c 1636s | 19 | 2004271 | 535782 | 15539 84 | 0 | 0
1639.95/1640.31 c 1639s | 19 | 2006264 | 536382 | 15539 84 | 0 | 0
1642.25/1642.64 c 1641s | 19 | 2010180 | 536982 | 15539 84 | 0 | 0
1644.25/1644.69 c 1643s | 19 | 2015870 | 537582 | 15539 84 | 0 | 0
1646.55/1646.98 c 1645s | 19 | 2020729 | 538282 | 15539 84 | 0 | 0
1648.65/1649.02 c 1647s | 19 | 2023558 | 538882 | 15539 84 | 0 | 0
1650.65/1651.09 c 1649s | 19 | 2030505 | 539382 | 15539 84 | 0 | 0
1652.74/1653.13 c 1651s | 19 | 2032624 | 540082 | 15539 84 | 0 | 0
1654.84/1655.25 c 1653s | 19 | 2035286 | 540882 | 15539 84 | 0 | 0
1657.04/1657.44 c 1656s | 19 | 2037408 | 541682 | 15539 85 | 0 | 0
1659.14/1659.59 c 1658s | 19 | 2039418 | 542482 | 15539 85 | 0 | 0
1661.44/1661.89 c 1660s | 19 | 2042391 | 543282 | 15539 85 | 0 | 0
1663.84/1664.25 c 1662s | 19 | 2044720 | 543982 | 15539 85 | 0 | 0
1665.94/1666.33 c 1665s | 19 | 2047345 | 544582 | 15539 85 | 0 | 0
1668.24/1668.69 c 1667s | 19 | 2050971 | 545382 | 15539 85 | 0 | 0
1670.33/1670.79 c 1669s | 19 | 2053662 | 546182 | 15539 85 | 0 | 0
1672.63/1673.03 c 1671s | 19 | 2055954 | 546882 | 15539 85 | 0 | 0
1674.73/1675.12 c 1673s | 19 | 2058812 | 547582 | 15539 85 | 0 | 0
1676.93/1677.30 c 1675s | 19 | 2062258 | 548182 | 15539 85 | 0 | 0
1678.93/1679.39 c 1678s | 19 | 2064408 | 548882 | 15539 85 | 0 | 0
1681.03/1681.44 c 1680s | 19 | 2066406 | 549682 | 15539 86 | 0 | 0
1683.13/1683.59 c 1682s | 19 | 2068587 | 550382 | 15539 86 | 0 | 0
1685.12/1685.59 c 1684s | 19 | 2071965 | 550782 | 15539 86 | 0 | 0
1687.42/1687.83 c 1686s | 19 | 2074117 | 551482 | 15539 86 | 0 | 0
1689.52/1689.98 c 1688s | 19 | 2077108 | 552382 | 15539 86 | 0 | 0
1691.72/1692.19 c 1690s | 19 | 2079491 | 553182 | 15539 86 | 0 | 0
1694.11/1694.52 c 1693s | 19 | 2082007 | 553882 | 15539 86 | 0 | 0
1696.11/1696.54 c 1695s | 19 | 2084188 | 554582 | 15539 86 | 0 | 0
1698.12/1698.55 c 1697s | 19 | 2086716 | 555182 | 15539 86 | 0 | 0
1700.32/1700.76 c 1699s | 19 | 2088898 | 555782 | 15539 86 | 0 | 0
1702.71/1703.14 c 1701s | 19 | 2091240 | 556482 | 15539 86 | 0 | 0
1704.71/1705.17 c 1703s | 19 | 2093348 | 557182 | 15539 86 | 0 | 0
1706.81/1707.26 c 1705s | 19 | 2095185 | 557882 | 15539 87 | 0 | 0
1708.91/1709.32 c 1708s | 19 | 2097089 | 558582 | 15539 87 | 0 | 0
1711.00/1711.47 c 1710s | 19 | 2098982 | 559282 | 15539 87 | 0 | 0
1713.00/1713.47 c 1712s | 19 | 2101096 | 559882 | 15539 87 | 0 | 0
1715.10/1715.52 c 1714s | 19 | 2103358 | 560482 | 15539 87 | 0 | 0
1717.10/1717.54 c 1716s | 19 | 2105145 | 561082 | 15539 87 | 0 | 0
1719.20/1719.65 c 1718s | 19 | 2107530 | 561782 | 15539 87 | 0 | 0
1721.40/1721.89 c 1720s | 19 | 2110931 | 562482 | 15539 87 | 0 | 0
1723.60/1724.07 c 1722s | 19 | 2112858 | 563182 | 15539 87 | 0 | 0
1725.79/1726.24 c 1724s | 19 | 2115092 | 563882 | 15539 87 | 0 | 0
1728.09/1728.57 c 1727s | 19 | 2118417 | 564482 | 15539 87 | 0 | 0
1730.29/1730.73 c 1729s | 19 | 2120625 | 565182 | 15539 87 | 0 | 0
1732.49/1732.93 c 1731s | 19 | 2122379 | 565782 | 15539 88 | 0 | 0
1734.79/1735.21 c 1733s | 19 | 2124619 | 566482 | 15539 88 | 0 | 0
1736.99/1737.46 c 1736s | 19 | 2127079 | 567082 | 15539 88 | 0 | 0
1739.08/1739.57 c 1738s | 19 | 2129089 | 567782 | 15539 88 | 0 | 0
1741.18/1741.62 c 1740s | 19 | 2130807 | 568382 | 15539 88 | 0 | 0
1743.28/1743.72 c 1742s | 19 | 2132708 | 569182 | 15539 88 | 0 | 0
1745.39/1745.89 c 1744s | 19 | 2136070 | 569882 | 15539 88 | 0 | 0
1747.68/1748.10 c 1746s | 19 | 2138318 | 570582 | 15539 88 | 0 | 0
1749.79/1750.23 c 1748s | 19 | 2141177 | 571282 | 15539 88 | 0 | 0
1751.78/1752.28 c 1750s | 19 | 2143714 | 571882 | 15539 88 | 0 | 0
1753.97/1754.43 c 1753s | 19 | 2145645 | 572482 | 15539 88 | 0 | 0
1756.28/1756.73 c 1755s | 19 | 2147766 | 573282 | 15539 89 | 0 | 0
1758.58/1759.05 c 1757s | 19 | 2150124 | 574082 | 15539 89 | 0 | 0
1760.57/1761.07 c 1759s | 19 | 2152697 | 574782 | 15539 89 | 0 | 0
1762.77/1763.25 c 1761s | 19 | 2155474 | 575482 | 15539 89 | 0 | 0
1765.07/1765.57 c 1764s | 19 | 2157961 | 576182 | 15539 89 | 0 | 0
1767.27/1767.74 c 1766s | 19 | 2159614 | 576682 | 15539 89 | 0 | 0
1769.57/1770.04 c 1768s | 19 | 2161957 | 577282 | 15539 89 | 0 | 0
1771.67/1772.19 c 1770s | 19 | 2163707 | 577882 | 15539 89 | 0 | 0
1773.87/1774.33 c 1773s | 19 | 2164968 | 578482 | 15539 89 | 0 | 0
1776.17/1776.64 c 1775s | 19 | 2167520 | 579182 | 15539 89 | 0 | 0
1778.27/1778.72 c 1777s | 19 | 2169931 | 579982 | 15539 89 | 0 | 0
1780.36/1780.88 c 1779s | 19 | 2172004 | 580682 | 15539 89 | 0 | 0
1782.46/1782.94 c 1781s | 19 | 2173709 | 581382 | 15539 90 | 0 | 0
1784.45/1784.98 c 1783s | 19 | 2176135 | 582082 | 15539 90 | 0 | 0
1786.95/1787.42 c 1786s | 19 | 2177355 | 582582 | 15539 90 | 0 | 0
1789.05/1789.57 c 1788s | 19 | 2178776 | 583082 | 15539 90 | 0 | 0
1791.25/1791.77 c 1790s | 19 | 2180940 | 583782 | 15539 90 | 0 | 0
1793.46/1793.99 c 1792s | 19 | 2181985 | 584082 | 15539 90 | 0 | 0
1795.65/1796.11 c 1794s | 19 | 2184185 | 584782 | 15539 90 | 0 | 0
1797.65/1798.13 c 1796s | 19 | 2186221 | 585482 | 15539 90 | 0 | 0
1799.85/1800.36 c 1799s | 19 | 2188974 | 586182 | 15539 90 | 0 | 0
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-4118090-1467220908/watcher-4118090-1467220908 -o /tmp/evaluation-result-4118090-1467220908/solver-4118090-1467220908 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467215373-3684 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118090-1467220908.opb
pid=4387
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.42 2.39 2.34 3/179 4390
/proc/meminfo: memFree=27431316/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/4390/stat : 4390 (runsolver) D 4387 4390 1867 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 1116843 24911872 151 33554432000 4194304 4338465 140734942242336 140734942239976 260190325943 0 0 4096 24578 18446744072101238148 0 0 17 1 0 0 0 0 0
/proc/4390/statm: 6082 151 105 36 0 2655 0
[startup+0.100175 s]
/proc/loadavg: 2.42 2.39 2.34 3/179 4390
/proc/meminfo: memFree=27431316/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1222212 CPUtime=0.08 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 19148 0 0 0 6 2 0 0 20 0 4 0 1116843 1251545088 18956 33554432000 4194304 16246674 140736428099200 140736428098512 5823275 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 305553 18956 836 2943 0 302447 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1222212
[startup+0.200392 s]
/proc/loadavg: 2.42 2.39 2.34 3/179 4390
/proc/meminfo: memFree=27431316/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1307204 CPUtime=0.18 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 34262 0 0 0 14 4 0 0 20 0 4 0 1116843 1338576896 34071 33554432000 4194304 16246674 140736428099200 140736428098512 13930363 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 326801 34073 856 2943 0 323695 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1307204
[startup+0.300309 s]
/proc/loadavg: 2.42 2.39 2.34 3/179 4390
/proc/meminfo: memFree=27431316/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1307204 CPUtime=0.28 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 41274 0 0 0 23 5 0 0 20 0 4 0 1116843 1338576896 41082 33554432000 4194304 16246674 140736428099200 140736428082192 5830026 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 326801 41099 856 2943 0 323695 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1307204
[startup+0.700329 s]
/proc/loadavg: 2.42 2.39 2.34 3/179 4390
/proc/meminfo: memFree=27431316/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1308228 CPUtime=0.68 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 48294 0 0 0 62 6 0 0 20 0 4 0 1116843 1339625472 48102 33554432000 4194304 16246674 140736428099200 140736428082192 6074111 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 327057 48102 856 2943 0 323951 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1308228
[startup+1.50037 s]
/proc/loadavg: 2.42 2.39 2.34 3/183 4394
/proc/meminfo: memFree=27221584/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1310276 CPUtime=1.48 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 57214 0 0 0 140 8 0 0 20 0 4 0 1116843 1341722624 57022 33554432000 4194304 16246674 140736428099200 140736428081088 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 327569 57025 856 2943 0 324463 0
[pid=4390/tid=4392] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 57026 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 57030 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 57032 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1310276
[startup+3.10042 s]
/proc/loadavg: 2.42 2.39 2.34 3/183 4394
/proc/meminfo: memFree=27024548/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1310276 CPUtime=3.08 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 160769 0 0 0 287 21 0 0 20 0 4 0 1116843 1341722624 160577 33554432000 4194304 16246674 140736428099200 140736428081088 5711820 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 327569 160578 856 2943 0 324463 0
[pid=4390/tid=4392] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 160578 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 160579 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 160579 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1310276
[startup+6.30041 s]
/proc/loadavg: 2.46 2.40 2.34 3/183 4394
/proc/meminfo: memFree=26358120/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1310276 CPUtime=6.28 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 268571 0 0 0 590 38 0 0 20 0 4 0 1116843 1341722624 268379 33554432000 4194304 16246674 140736428099200 140736428081088 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 327569 268379 858 2943 0 324463 0
[pid=4390/tid=4392] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268379 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268379 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268379 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1310276
[startup+12.7005 s]
/proc/loadavg: 2.51 2.41 2.35 3/183 4394
/proc/meminfo: memFree=26357904/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1310276 CPUtime=12.68 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 268575 0 0 0 1230 38 0 0 20 0 4 0 1116843 1341722624 268383 33554432000 4194304 16246674 140736428099200 140736428081088 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 327569 268383 862 2943 0 324463 0
[pid=4390/tid=4392] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268383 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268383 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268383 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1310276
[startup+25.5004 s]
/proc/loadavg: 2.47 2.41 2.35 3/183 4394
/proc/meminfo: memFree=26357536/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1310276 CPUtime=25.48 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 268693 0 0 0 2510 38 0 0 20 0 4 0 1116843 1341722624 268501 33554432000 4194304 16246674 140736428099200 140736428081088 13780640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 327569 268501 867 2943 0 324463 0
[pid=4390/tid=4392] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268501 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268501 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268501 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276
[startup+51.1005 s]
/proc/loadavg: 2.43 2.41 2.35 3/183 4394
/proc/meminfo: memFree=26357540/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1310276 CPUtime=51.07 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 268695 0 0 0 5069 38 0 0 20 0 4 0 1116843 1341722624 268503 33554432000 4194304 16246674 140736428099200 140736428081088 13780640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 327569 268503 869 2943 0 324463 0
[pid=4390/tid=4392] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268503 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268503 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268503 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1310276
[startup+102.301 s]
/proc/loadavg: 2.29 2.37 2.34 3/183 4395
/proc/meminfo: memFree=26357632/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1310276 CPUtime=102.27 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 268695 0 0 0 10189 38 0 0 20 0 4 0 1116843 1341722624 268503 33554432000 4194304 16246674 140736428099200 140736428081088 12483583 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 327569 268503 869 2943 0 324463 0
[pid=4390/tid=4392] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268503 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268503 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1341722624 268503 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1310276
[startup+162.3 s]
/proc/loadavg: 2.40 2.39 2.35 3/183 4397
/proc/meminfo: memFree=26349872/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1317444 CPUtime=162.25 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 270487 0 0 0 16187 38 0 0 20 0 4 0 1116843 1349062656 270295 33554432000 4194304 16246674 140736428099200 140736428081088 13820950 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 329361 270295 869 2943 0 326255 0
[pid=4390/tid=4392] ppid=4387 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1349062656 270295 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1349062656 270295 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1349062656 270295 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1317444
[startup+222.308 s]
/proc/loadavg: 2.36 2.38 2.35 3/183 4398
/proc/meminfo: memFree=26348636/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1318468 CPUtime=222.26 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 270743 0 0 0 22187 39 0 0 20 0 4 0 1116843 1350111232 270551 33554432000 4194304 16246674 140736428099200 140736428081088 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 329617 270551 869 2943 0 326511 0
[pid=4390/tid=4392] ppid=4387 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1350111232 270551 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1350111232 270551 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1350111232 270551 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1318468
################
# More data... #
################
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1356402688 272087 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1324612
[startup+1362.3 s]
/proc/loadavg: 2.34 2.30 2.28 3/183 4428
/proc/meminfo: memFree=26336004/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1328708 CPUtime=1362.07 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 273303 0 0 0 136164 43 0 0 20 0 4 0 1116843 1360596992 273111 33554432000 4194304 16246674 140736428099200 140736428081088 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 332177 273111 869 2943 0 329071 0
[pid=4390/tid=4392] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273111 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273111 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273111 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1328708
[startup+1422.3 s]
/proc/loadavg: 2.28 2.29 2.27 3/183 4429
/proc/meminfo: memFree=26334884/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1328708 CPUtime=1422.06 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 273324 0 0 0 142162 44 0 0 20 0 4 0 1116843 1360596992 273367 33554432000 4194304 16246674 140736428099200 140736428081088 13906983 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 332177 273367 869 2943 0 329071 0
[pid=4390/tid=4392] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1328708
[startup+1482.3 s]
/proc/loadavg: 2.40 2.31 2.28 3/183 4430
/proc/meminfo: memFree=26334700/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1328708 CPUtime=1482.03 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 273355 0 0 0 148159 44 0 0 20 0 4 0 1116843 1360596992 273367 33554432000 4194304 16246674 140736428099200 140736428081088 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 332177 273367 869 2943 0 329071 0
[pid=4390/tid=4392] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1328708
[startup+1542.31 s]
/proc/loadavg: 2.26 2.29 2.27 3/183 4431
/proc/meminfo: memFree=26334388/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1328708 CPUtime=1542.01 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 273382 0 0 0 154156 45 0 0 20 0 4 0 1116843 1360596992 273367 33554432000 4194304 16246674 140736428099200 140736428081088 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 332177 273367 869 2943 0 329071 0
[pid=4390/tid=4392] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1328708
[startup+1602.3 s]
/proc/loadavg: 2.26 2.28 2.27 3/183 4432
/proc/meminfo: memFree=26334664/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1328708 CPUtime=1601.97 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 273419 0 0 0 160152 45 0 0 20 0 4 0 1116843 1360596992 273367 33554432000 4194304 16246674 140736428099200 140736428081088 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 332177 273367 869 2943 0 329071 0
[pid=4390/tid=4392] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1328708
[startup+1662.3 s]
/proc/loadavg: 2.38 2.31 2.28 4/183 4434
/proc/meminfo: memFree=26334548/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1328708 CPUtime=1661.94 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 273447 0 0 0 166149 45 0 0 20 0 4 0 1116843 1360596992 273367 33554432000 4194304 16246674 140736428099200 140736428081088 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 332177 273367 869 2943 0 329071 0
[pid=4390/tid=4392] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1360596992 273367 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1328708
[startup+1722.3 s]
/proc/loadavg: 2.25 2.28 2.27 4/184 4486
/proc/meminfo: memFree=26340832/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1330756 CPUtime=1721.9 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 273997 0 0 0 172145 45 0 0 20 0 4 0 1116843 1362694144 273879 33554432000 4194304 16246674 140736428099200 140736428081088 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 332689 273879 869 2943 0 329583 0
[pid=4390/tid=4392] ppid=4387 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1362694144 273879 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1362694144 273879 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1362694144 273879 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1330756
[startup+1782.3 s]
/proc/loadavg: 2.18 2.26 2.26 3/183 4487
/proc/meminfo: memFree=26339592/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1330756 CPUtime=1781.86 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 274036 0 0 0 178141 45 0 0 20 0 4 0 1116843 1362694144 273879 33554432000 4194304 16246674 140736428099200 140736428081088 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 332689 273879 869 2943 0 329583 0
[pid=4390/tid=4392] ppid=4387 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1362694144 273879 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1362694144 273879 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1362694144 273879 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1330756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.27 2.27 2.27 3/183 4488
/proc/meminfo: memFree=26339052/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1330756 CPUtime=1800.05 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 274050 0 0 0 179959 46 0 0 20 0 4 0 1116843 1362694144 273879 33554432000 4194304 16246674 140736428099200 140736428081088 5711644 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 332689 273879 869 2943 0 329583 0
[pid=4390/tid=4392] ppid=4387 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1362694144 273879 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1362694144 273879 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1362694144 273879 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1330756
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 4390 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.27 2.27 2.27 3/183 4488
/proc/meminfo: memFree=26339052/32872528 swapFree=1631852/1795372
[pid=4390] ppid=4387 vsize=1330756 CPUtime=1800.05 cores=1,3,5,7
/proc/4390/stat : 4390 (toysat) R 4387 4390 1867 0 -1 4202496 274050 0 0 0 179959 46 0 0 20 0 4 0 1116843 1362694144 273879 33554432000 4194304 16246674 140736428099200 140736428081088 5711644 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4390/statm: 332689 273879 869 2943 0 329583 0
[pid=4390/tid=4392] ppid=4387 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4392/stat : 4392 (toysat) S 4387 4390 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1116844 1362694144 273879 33554432000 4194304 16246674 140736428099200 140094752140528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4390/tid=4393] ppid=4387 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4393/stat : 4393 (toysat) S 4387 4390 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1116844 1362694144 273879 33554432000 4194304 16246674 140736428099200 140094741650672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=4390/tid=4394] ppid=4387 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/4390/task/4394/stat : 4394 (toysat) S 4387 4390 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1116844 1362694144 273879 33554432000 4194304 16246674 140736428099200 140094731177136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1330756
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.09
CPU user time (s): 1799.6
CPU system time (s): 0.481926
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 1330756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.481926
maximum resident set size= 1095516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274050
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= 248
involuntary context switches= 2085
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.15422 second user time and 7.11392 second system time
The end