0.00/0.00 c 2016-06-30T04:01:33+0200
0.00/0.00 c version = 0.5.0
0.00/0.00 c githash = 1a49202
0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00 c arch = x86_64
0.00/0.00 c os = linux
0.00/0.00 c compiler = ghc 7.10
0.00/0.00 c packages:
0.00/0.00 c OptDir-0.0.3
0.00/0.00 c array-0.5.1.0
0.00/0.00 c base-4.8.2.0
0.00/0.00 c bytestring-0.10.6.0
0.00/0.00 c bytestring-builder-0.10.6.0.0
0.00/0.00 c clock-0.7.2
0.00/0.00 c containers-0.5.6.2
0.00/0.00 c data-default-0.5.3
0.00/0.00 c data-default-class-0.0.1
0.00/0.00 c data-interval-1.2.0
0.00/0.00 c deepseq-1.4.1.1
0.00/0.00 c directory-1.2.2.0
0.00/0.00 c exceptions-0.8.2.1
0.00/0.00 c extended-reals-0.2.1.0
0.00/0.00 c filepath-1.4.0.0
0.00/0.00 c finite-field-0.8.0
0.00/0.00 c hashable-1.2.4.0
0.00/0.00 c heaps-0.3.3
0.00/0.00 c intern-0.9.1.4
0.00/0.00 c loop-0.3.0
0.00/0.00 c mtl-2.2.1
0.00/0.00 c multiset-0.3.2
0.00/0.00 c mwc-random-0.13.3.2
0.00/0.00 c parse_dimacs-1.3
0.00/0.00 c parsec-3.1.9
0.00/0.00 c prettyclass-1.0.0.0
0.00/0.00 c primes-0.2.1.0
0.00/0.00 c primitive-0.6.1.0
0.00/0.00 c process-1.2.3.0
0.00/0.00 c pseudo-boolean-0.1.3.0
0.00/0.01 c queue-0.1.2
0.00/0.01 c semigroups-0.18.1
0.00/0.01 c sign-0.4.3
0.00/0.01 c stm-2.4.4.1
0.00/0.01 c template-haskell-2.10.0.0
0.00/0.01 c temporary-1.2.0.4
0.00/0.01 c time-1.5.0.1
0.00/0.01 c transformers-0.4.2.0
0.00/0.01 c transformers-compat-0.5.1.4
0.00/0.01 c type-level-numbers-0.1.1.1
0.00/0.01 c unbounded-delays-0.1.0.9
0.00/0.01 c unordered-containers-0.2.6.0
0.00/0.01 c vector-0.11.0.0
0.00/0.01 c vector-space-0.10.3
0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4119300-1467252092.opb"]
0.00/0.01 c use --random-gen="1469696299 1281527018 2267853897 695910727 4071177574 1199651939 3355841278 2165677167 1988076889 1301578157 3890689946 621487392 1114110176 3914577029 126218619 1295468647 3553168545 4103721000 3950495403 2532466642 3135543244 2870756816 4110272003 1697510438 1526301679 1250016011 1425180108 3384817982 450349523 2038398130 1965766638 4244917162 306847694 4032305931 2147894739 63829160 1333735913 933006233 1380653112 1421147834 1905649502 3466405716 3814962104 1731043416 457049331 3727710534 2882326372 2992595755 3422165967 374728990 1357647376 960600698 689013082 1452814466 18110528 1855196350 1131269170 4102420634 1891612760 2981267274 2427115597 2409216578 1766749648 3651581469 1480707747 3064361083 2305901322 2415561351 700645479 3268399954 291360451 502320937 4234166510 3404853880 1497273939 3533499271 3028813073 3597180406 2253547898 8376528 4089580363 1691516682 2521631493 1998838979 88734897 926073265 1067211112 1275264544 3170622739 278349229 559673866 2784177565 4227605485 1033903429 2851977036 3037242123 1073369518 360874240 741887704 818381220 3865563954 3569279186 4146874329 2947584659 4235372620 1019907983 3817723130 573915591 3097989551 2422816262 1433323270 1957710325 1772984177 185828041 2856899000 3978953557 4066309843 1323405072 1720250148 2015699079 1231784630 1985032998 1581870486 3961542741 3012028257 1804406252 3636542739 1379646149 716907830 2962776220 1683122694 2177754638 989316521 3815902469 2771071880 1310574236 3561495641 770474236 2115903108 4135178318 112808566 4155479223 911607457 1557780737 3089844133 2260566967 1116954827 2480701440 2982653973 3774750108 2392803780 3558379390 2949370548 3869282294 3561425980 2098900762 2430321876 720437944 3806545293 3211511042 3505922411 2409937249 1312878453 2942703372 3180137666 2055963422 4207542780 745270409 1870911147 2743611807 788838756 2144071992 2373166912 1673351875 2728620763 272564385 2393798845 1534546702 4191262521 2737060299 1444582457 1522907908 1033590257 3520507123 2958369413 1056766108 2084760734 2169697242 2681051149 4213629790 3980301280 3977137872 965062610 4157817725 3934464458 1249008444 1569034195 465107786 2544440395 759641027 979854922 1012806565 1598178709 2015099433 1697671807 3947800875 1066751962 2242721454 13006150 487677902 4016829488 378809812 3299384948 1850277237 1608773503 3390183078 1460348660 4072322995 3287834574 3114731867 221062251 1451414987 3437311699 3099487485 1252050519 1462494193 2276811794 125145047 3697040900 2517417461 622909543 2096888417 3948918493 2739260215 2393264565 1602070121 2944110085 2873389125 2554816874 4005096642 2183555062 1102800994 2903886080 2467021920 2802072018 1398867413 978268040 97335913 2415124633 15729794 2282809058 426450131 52457716 1067232794 82951303 515483550 255 362436" option to reproduce the execution
0.00/0.02 c #vars 210
0.00/0.02 c #constraints 44
0.00/0.07 c BCD2: Hardening is enabled.
0.00/0.07 c BCD2: BiasedSearch is enabled.
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 1956 0 | 0 | 0
0.00/0.09 c 0.0s | 0 | 2821 | 0 | 1956 0 | 0 | 0
0.00/0.09 c #cpu_time = 0.017s
0.00/0.09 c #wall_clock_time = 0.017s
0.00/0.09 c #decision = 2821
0.00/0.09 c #random_decision = 16
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 o 16206
0.00/0.09 c BCD2: updating upper bound: 818496 -> 16205
0.09/0.10 c BCD2: 0 <= obj <= 16205
0.09/0.10 c BCD2: #cores=0, #unrelaxed=2793, #relaxed=0, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 1956 0 | 0 | 0
0.09/0.14 c 0.0s | 0 | 29545 | 15 | 1956 0 | 0 | 0
0.09/0.14 c #cpu_time = 0.033s
0.09/0.14 c #wall_clock_time = 0.033s
0.09/0.14 c #decision = 29545
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 15
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: found a new core of size 52: cost of the new core is >=200
0.09/0.14 c lower bound updated to 200
0.09/0.14 c BCD2: 200 <= obj <= 16205
0.09/0.14 c BCD2: #cores=1, #unrelaxed=2741, #relaxed=52, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=2 bias=2/3
0.09/0.15 c Solving starts ...
0.09/0.15 c ============================[ Search Statistics ]============================
0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.15 c | | | | Limit GC | Var | Constra
0.09/0.15 c =============================================================================
0.09/0.15 c 0.0s | 0 | 0 | 0 | 1956 0 | 0 | 0
0.09/0.16 c 0.0s | 0 | 9433 | 11 | 1956 0 | 0 | 0
0.09/0.16 c #cpu_time = 0.013s
0.09/0.16 c #wall_clock_time = 0.014s
0.09/0.16 c #decision = 9433
0.09/0.16 c #random_decision = 0
0.09/0.16 c #conflict = 11
0.09/0.16 c #restart = 0
0.09/0.16 c BCD2: found a new core of size 49: cost of the new core is >=256
0.09/0.16 c lower bound updated to 456
0.09/0.16 c BCD2: 456 <= obj <= 16205
0.09/0.16 c BCD2: #cores=2, #unrelaxed=2692, #relaxed=101, #hardened=0
0.09/0.16 c BCD2: #sat=1 #unsat=3 bias=3/4
0.09/0.17 c Solving starts ...
0.09/0.17 c ============================[ Search Statistics ]============================
0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.17 c | | | | Limit GC | Var | Constra
0.09/0.17 c =============================================================================
0.09/0.17 c 0.0s | 0 | 0 | 0 | 1956 0 | 0 | 0
0.09/0.18 c 0.0s | 0 | 26970 | 14 | 1956 0 | 0 | 0
0.09/0.18 c #cpu_time = 0.017s
0.09/0.18 c #wall_clock_time = 0.017s
0.09/0.18 c #decision = 26970
0.09/0.18 c #random_decision = 0
0.09/0.18 c #conflict = 14
0.09/0.18 c #restart = 0
0.09/0.18 c BCD2: found a new core of size 49: cost of the new core is >=128
0.09/0.18 c lower bound updated to 584
0.09/0.19 c BCD2: 584 <= obj <= 16205
0.09/0.19 c BCD2: #cores=3, #unrelaxed=2643, #relaxed=150, #hardened=0
0.09/0.19 c BCD2: #sat=1 #unsat=4 bias=4/5
0.19/0.20 c Solving starts ...
0.19/0.20 c ============================[ Search Statistics ]============================
0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.20 c | | | | Limit GC | Var | Constra
0.19/0.20 c =============================================================================
0.19/0.20 c 0.0s | 0 | 0 | 0 | 1956 0 | 0 | 0
0.19/0.21 c 0.0s | 0 | 11658 | 38 | 1956 0 | 0 | 0
0.19/0.21 c #cpu_time = 0.011s
0.19/0.21 c #wall_clock_time = 0.011s
0.19/0.21 c #decision = 11658
0.19/0.21 c #random_decision = 0
0.19/0.21 c #conflict = 38
0.19/0.21 c #restart = 0
0.19/0.21 c BCD2: found a new core of size 49: cost of the new core is >=344
0.19/0.21 c lower bound updated to 928
0.19/0.21 c BCD2: 928 <= obj <= 16205
0.19/0.21 c BCD2: #cores=4, #unrelaxed=2594, #relaxed=199, #hardened=0
0.19/0.21 c BCD2: #sat=1 #unsat=5 bias=5/6
0.19/0.21 c Solving starts ...
0.19/0.21 c ============================[ Search Statistics ]============================
0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.21 c | | | | Limit GC | Var | Constra
0.19/0.21 c =============================================================================
0.19/0.21 c 0.0s | 0 | 0 | 0 | 1956 0 | 0 | 0
0.19/0.22 c 0.0s | 0 | 2667 | 6 | 1956 0 | 0 | 0
0.19/0.22 c #cpu_time = 0.004s
0.19/0.22 c #wall_clock_time = 0.004s
0.19/0.22 c #decision = 2667
0.19/0.22 c #random_decision = 0
0.19/0.22 c #conflict = 6
0.19/0.22 c #restart = 0
0.19/0.22 c BCD2: found a new core of size 49: cost of the new core is >=200
0.19/0.22 c lower bound updated to 1128
0.19/0.22 c BCD2: 1128 <= obj <= 16205
0.19/0.22 c BCD2: #cores=5, #unrelaxed=2545, #relaxed=248, #hardened=0
0.19/0.22 c BCD2: #sat=1 #unsat=6 bias=6/7
0.19/0.22 c Solving starts ...
0.19/0.22 c ============================[ Search Statistics ]============================
0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.22 c | | | | Limit GC | Var | Constra
0.19/0.22 c =============================================================================
0.19/0.22 c 0.0s | 0 | 0 | 0 | 1956 0 | 0 | 0
0.19/0.22 c 0.0s | 0 | 995 | 0 | 1956 0 | 0 | 0
0.19/0.22 c #cpu_time = 0.002s
0.19/0.22 c #wall_clock_time = 0.002s
0.19/0.22 c #decision = 995
0.19/0.22 c #random_decision = 0
0.19/0.22 c #conflict = 0
0.19/0.22 c #restart = 0
0.19/0.22 c BCD2: found a new core of size 49: cost of the new core is >=88
0.19/0.22 c lower bound updated to 1216
0.19/0.22 c BCD2: 1216 <= obj <= 16205
0.19/0.22 c BCD2: #cores=6, #unrelaxed=2496, #relaxed=297, #hardened=0
0.19/0.22 c BCD2: #sat=1 #unsat=7 bias=7/8
0.19/0.23 c Solving starts ...
0.19/0.23 c ============================[ Search Statistics ]============================
0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.23 c | | | | Limit GC | Var | Constra
0.19/0.23 c =============================================================================
0.19/0.23 c 0.0s | 0 | 0 | 0 | 1956 0 | 0 | 0
0.19/0.23 c 0.0s | 0 | 2936 | 5 | 1956 0 | 0 | 0
0.19/0.23 c #cpu_time = 0.004s
0.19/0.23 c #wall_clock_time = 0.004s
0.19/0.23 c #decision = 2936
0.19/0.23 c #random_decision = 0
0.19/0.23 c #conflict = 5
0.19/0.23 c #restart = 0
0.19/0.23 c BCD2: found a new core of size 49: cost of the new core is >=96
0.19/0.23 c lower bound updated to 1312
0.19/0.23 c BCD2: 1312 <= obj <= 16205
0.19/0.23 c BCD2: #cores=7, #unrelaxed=2447, #relaxed=346, #hardened=0
0.19/0.23 c BCD2: #sat=1 #unsat=8 bias=8/9
0.19/0.24 c Solving starts ...
0.19/0.24 c ============================[ Search Statistics ]============================
0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.24 c | | | | Limit GC | Var | Constra
0.19/0.24 c =============================================================================
0.19/0.24 c 0.0s | 0 | 0 | 0 | 1956 0 | 0 | 0
0.19/0.24 c 0.0s | 0 | 1895 | 7 | 1956 0 | 0 | 0
0.19/0.24 c #cpu_time = 0.003s
0.19/0.24 c #wall_clock_time = 0.003s
0.19/0.24 c #decision = 1895
0.19/0.24 c #random_decision = 0
0.19/0.24 c #conflict = 7
0.19/0.24 c #restart = 0
0.19/0.24 c BCD2: found a new core of size 84: cost of the new core is >=248
0.19/0.24 c lower bound updated to 1560
0.19/0.24 c BCD2: 1560 <= obj <= 16205
0.19/0.24 c BCD2: #cores=8, #unrelaxed=2363, #relaxed=430, #hardened=0
0.19/0.24 c BCD2: #sat=1 #unsat=9 bias=9/10
0.19/0.25 c Solving starts ...
0.19/0.25 c ============================[ Search Statistics ]============================
0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.25 c | | | | Limit GC | Var | Constra
0.19/0.25 c =============================================================================
0.19/0.25 c 0.0s | 0 | 0 | 0 | 1956 0 | 0 | 0
0.19/0.25 c 0.0s | 0 | 3011 | 8 | 2152 0 | 0 | 0
0.19/0.25 c #cpu_time = 0.004s
0.19/0.25 c #wall_clock_time = 0.004s
0.19/0.25 c #decision = 3011
0.19/0.25 c #random_decision = 0
0.19/0.25 c #conflict = 8
0.19/0.25 c #restart = 0
0.19/0.25 c BCD2: found a new core of size 49: cost of the new core is >=88
0.19/0.25 c lower bound updated to 1648
0.19/0.25 c BCD2: 1648 <= obj <= 16205
0.19/0.25 c BCD2: #cores=9, #unrelaxed=2314, #relaxed=479, #hardened=0
0.19/0.25 c BCD2: #sat=1 #unsat=10 bias=10/11
0.19/0.25 c Solving starts ...
0.19/0.25 c ============================[ Search Statistics ]============================
0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.25 c | | | | Limit GC | Var | Constra
0.19/0.25 c =============================================================================
0.19/0.25 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.19/0.26 c 0.0s | 0 | 10343 | 14 | 2152 0 | 0 | 0
0.19/0.26 c #cpu_time = 0.008s
0.19/0.26 c #wall_clock_time = 0.008s
0.19/0.26 c #decision = 10343
0.19/0.26 c #random_decision = 1
0.19/0.26 c #conflict = 14
0.19/0.26 c #restart = 0
0.19/0.26 c BCD2: found a new core of size 49: cost of the new core is >=184
0.19/0.26 c lower bound updated to 1832
0.19/0.26 c BCD2: 1832 <= obj <= 16205
0.19/0.26 c BCD2: #cores=10, #unrelaxed=2265, #relaxed=528, #hardened=0
0.19/0.26 c BCD2: #sat=1 #unsat=11 bias=11/12
0.19/0.27 c Solving starts ...
0.19/0.27 c ============================[ Search Statistics ]============================
0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.27 c | | | | Limit GC | Var | Constra
0.19/0.27 c =============================================================================
0.19/0.27 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.19/0.27 c 0.0s | 0 | 2462 | 15 | 2152 0 | 0 | 0
0.19/0.27 c #cpu_time = 0.004s
0.19/0.27 c #wall_clock_time = 0.004s
0.19/0.27 c #decision = 2462
0.19/0.27 c #random_decision = 0
0.19/0.27 c #conflict = 15
0.19/0.27 c #restart = 0
0.19/0.27 c BCD2: found a new core of size 49: cost of the new core is >=256
0.19/0.27 c lower bound updated to 2088
0.19/0.27 c BCD2: 2088 <= obj <= 16205
0.19/0.27 c BCD2: #cores=11, #unrelaxed=2216, #relaxed=577, #hardened=0
0.19/0.27 c BCD2: #sat=1 #unsat=12 bias=12/13
0.19/0.28 c Solving starts ...
0.19/0.28 c ============================[ Search Statistics ]============================
0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.28 c | | | | Limit GC | Var | Constra
0.19/0.28 c =============================================================================
0.19/0.28 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.19/0.28 c 0.0s | 0 | 777 | 0 | 2152 0 | 0 | 0
0.19/0.28 c #cpu_time = 0.002s
0.19/0.28 c #wall_clock_time = 0.002s
0.19/0.28 c #decision = 777
0.19/0.28 c #random_decision = 0
0.19/0.28 c #conflict = 0
0.19/0.28 c #restart = 0
0.19/0.28 c BCD2: found a new core of size 49: cost of the new core is >=160
0.19/0.28 c lower bound updated to 2248
0.19/0.28 c BCD2: 2248 <= obj <= 16205
0.19/0.28 c BCD2: #cores=12, #unrelaxed=2167, #relaxed=626, #hardened=0
0.19/0.28 c BCD2: #sat=1 #unsat=13 bias=13/14
0.19/0.29 c Solving starts ...
0.19/0.29 c ============================[ Search Statistics ]============================
0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.29 c | | | | Limit GC | Var | Constra
0.19/0.29 c =============================================================================
0.19/0.29 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.29/0.30 c 0.0s | 0 | 10712 | 23 | 2152 0 | 0 | 0
0.29/0.30 c #cpu_time = 0.009s
0.29/0.30 c #wall_clock_time = 0.009s
0.29/0.30 c #decision = 10712
0.29/0.30 c #random_decision = 0
0.29/0.30 c #conflict = 23
0.29/0.30 c #restart = 0
0.29/0.30 c BCD2: found a new core of size 49: cost of the new core is >=256
0.29/0.30 c lower bound updated to 2504
0.29/0.30 c BCD2: 2504 <= obj <= 16205
0.29/0.30 c BCD2: #cores=13, #unrelaxed=2118, #relaxed=675, #hardened=0
0.29/0.30 c BCD2: #sat=1 #unsat=14 bias=14/15
0.29/0.30 c Solving starts ...
0.29/0.30 c ============================[ Search Statistics ]============================
0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.30 c | | | | Limit GC | Var | Constra
0.29/0.30 c =============================================================================
0.29/0.30 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.29/0.31 c 0.0s | 0 | 541 | 0 | 2152 0 | 0 | 0
0.29/0.31 c #cpu_time = 0.003s
0.29/0.31 c #wall_clock_time = 0.003s
0.29/0.31 c #decision = 541
0.29/0.31 c #random_decision = 0
0.29/0.31 c #conflict = 0
0.29/0.31 c #restart = 0
0.29/0.31 c BCD2: found a new core of size 49: cost of the new core is >=336
0.29/0.31 c lower bound updated to 2840
0.29/0.31 c BCD2: 2840 <= obj <= 16205
0.29/0.31 c BCD2: #cores=14, #unrelaxed=2069, #relaxed=724, #hardened=0
0.29/0.31 c BCD2: #sat=1 #unsat=15 bias=15/16
0.29/0.31 c Solving starts ...
0.29/0.31 c ============================[ Search Statistics ]============================
0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.31 c | | | | Limit GC | Var | Constra
0.29/0.31 c =============================================================================
0.29/0.31 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.29/0.32 c 0.0s | 0 | 6851 | 14 | 2152 0 | 0 | 0
0.29/0.32 c #cpu_time = 0.007s
0.29/0.32 c #wall_clock_time = 0.007s
0.29/0.32 c #decision = 6851
0.29/0.32 c #random_decision = 0
0.29/0.32 c #conflict = 14
0.29/0.32 c #restart = 0
0.29/0.32 c BCD2: found a new core of size 49: cost of the new core is >=272
0.29/0.32 c lower bound updated to 3112
0.29/0.32 c BCD2: 3112 <= obj <= 16205
0.29/0.32 c BCD2: #cores=15, #unrelaxed=2020, #relaxed=773, #hardened=0
0.29/0.32 c BCD2: #sat=1 #unsat=16 bias=16/17
0.29/0.33 c Solving starts ...
0.29/0.33 c ============================[ Search Statistics ]============================
0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.33 c | | | | Limit GC | Var | Constra
0.29/0.33 c =============================================================================
0.29/0.33 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.29/0.34 c 0.0s | 0 | 2811 | 5 | 2152 0 | 0 | 0
0.29/0.34 c #cpu_time = 0.004s
0.29/0.34 c #wall_clock_time = 0.004s
0.29/0.34 c #decision = 2811
0.29/0.34 c #random_decision = 0
0.29/0.34 c #conflict = 5
0.29/0.34 c #restart = 0
0.29/0.34 c BCD2: found a new core of size 49: cost of the new core is >=248
0.29/0.34 c lower bound updated to 3360
0.29/0.34 c BCD2: 3360 <= obj <= 16205
0.29/0.34 c BCD2: #cores=16, #unrelaxed=1971, #relaxed=822, #hardened=0
0.29/0.34 c BCD2: #sat=1 #unsat=17 bias=17/18
0.29/0.34 c Solving starts ...
0.29/0.34 c ============================[ Search Statistics ]============================
0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.34 c | | | | Limit GC | Var | Constra
0.29/0.34 c =============================================================================
0.29/0.34 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.29/0.35 c 0.0s | 0 | 1769 | 0 | 2152 0 | 0 | 0
0.29/0.35 c #cpu_time = 0.003s
0.29/0.35 c #wall_clock_time = 0.003s
0.29/0.35 c #decision = 1769
0.29/0.35 c #random_decision = 0
0.29/0.35 c #conflict = 0
0.29/0.35 c #restart = 0
0.29/0.35 c BCD2: found a new core of size 49: cost of the new core is >=136
0.29/0.35 c lower bound updated to 3496
0.29/0.35 c BCD2: 3496 <= obj <= 16205
0.29/0.35 c BCD2: #cores=17, #unrelaxed=1922, #relaxed=871, #hardened=0
0.29/0.35 c BCD2: #sat=1 #unsat=18 bias=18/19
0.29/0.35 c Solving starts ...
0.29/0.35 c ============================[ Search Statistics ]============================
0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.35 c | | | | Limit GC | Var | Constra
0.29/0.35 c =============================================================================
0.29/0.35 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.29/0.36 c 0.0s | 0 | 1917 | 0 | 2152 0 | 0 | 0
0.29/0.36 c #cpu_time = 0.004s
0.29/0.36 c #wall_clock_time = 0.004s
0.29/0.36 c #decision = 1917
0.29/0.36 c #random_decision = 0
0.29/0.36 c #conflict = 0
0.29/0.36 c #restart = 0
0.29/0.36 c BCD2: found a new core of size 49: cost of the new core is >=176
0.29/0.36 c lower bound updated to 3672
0.29/0.36 c BCD2: 3672 <= obj <= 16205
0.29/0.36 c BCD2: #cores=18, #unrelaxed=1873, #relaxed=920, #hardened=0
0.29/0.36 c BCD2: #sat=1 #unsat=19 bias=19/20
0.29/0.37 c Solving starts ...
0.29/0.37 c ============================[ Search Statistics ]============================
0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.37 c | | | | Limit GC | Var | Constra
0.29/0.37 c =============================================================================
0.29/0.37 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.29/0.38 c 0.0s | 0 | 10129 | 30 | 2152 0 | 0 | 0
0.29/0.38 c #cpu_time = 0.010s
0.29/0.38 c #wall_clock_time = 0.010s
0.29/0.38 c #decision = 10129
0.29/0.38 c #random_decision = 0
0.29/0.38 c #conflict = 30
0.29/0.38 c #restart = 0
0.29/0.38 c BCD2: found a new core of size 49: cost of the new core is >=112
0.29/0.38 c lower bound updated to 3784
0.29/0.38 c BCD2: 3784 <= obj <= 16205
0.29/0.38 c BCD2: #cores=19, #unrelaxed=1824, #relaxed=969, #hardened=0
0.29/0.38 c BCD2: #sat=1 #unsat=20 bias=20/21
0.29/0.38 c Solving starts ...
0.29/0.38 c ============================[ Search Statistics ]============================
0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.38 c | | | | Limit GC | Var | Constra
0.29/0.38 c =============================================================================
0.29/0.39 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.29/0.39 c 0.0s | 0 | 5837 | 22 | 2152 0 | 0 | 0
0.29/0.39 c #cpu_time = 0.007s
0.29/0.39 c #wall_clock_time = 0.007s
0.29/0.39 c #decision = 5837
0.29/0.39 c #random_decision = 0
0.29/0.39 c #conflict = 22
0.29/0.39 c #restart = 0
0.29/0.39 c BCD2: found a new core of size 49: cost of the new core is >=184
0.29/0.39 c lower bound updated to 3968
0.29/0.40 c BCD2: 3968 <= obj <= 16205
0.29/0.40 c BCD2: #cores=20, #unrelaxed=1775, #relaxed=1018, #hardened=0
0.29/0.40 c BCD2: #sat=1 #unsat=21 bias=21/22
0.39/0.40 c Solving starts ...
0.39/0.40 c ============================[ Search Statistics ]============================
0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.40 c | | | | Limit GC | Var | Constra
0.39/0.40 c =============================================================================
0.39/0.40 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.39/0.41 c 0.0s | 0 | 695 | 0 | 2152 0 | 0 | 0
0.39/0.41 c #cpu_time = 0.004s
0.39/0.41 c #wall_clock_time = 0.004s
0.39/0.41 c #decision = 695
0.39/0.41 c #random_decision = 0
0.39/0.41 c #conflict = 0
0.39/0.41 c #restart = 0
0.39/0.41 c BCD2: found a new core of size 49: cost of the new core is >=128
0.39/0.41 c lower bound updated to 4096
0.39/0.41 c BCD2: 4096 <= obj <= 16205
0.39/0.41 c BCD2: #cores=21, #unrelaxed=1726, #relaxed=1067, #hardened=0
0.39/0.41 c BCD2: #sat=1 #unsat=22 bias=22/23
0.39/0.41 c Solving starts ...
0.39/0.41 c ============================[ Search Statistics ]============================
0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.41 c | | | | Limit GC | Var | Constra
0.39/0.41 c =============================================================================
0.39/0.41 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.39/0.42 c 0.0s | 0 | 1032 | 0 | 2152 0 | 0 | 0
0.39/0.42 c #cpu_time = 0.004s
0.39/0.42 c #wall_clock_time = 0.004s
0.39/0.42 c #decision = 1032
0.39/0.42 c #random_decision = 0
0.39/0.42 c #conflict = 0
0.39/0.42 c #restart = 0
0.39/0.42 c BCD2: found a new core of size 49: cost of the new core is >=96
0.39/0.42 c lower bound updated to 4192
0.39/0.42 c BCD2: 4192 <= obj <= 16205
0.39/0.42 c BCD2: #cores=22, #unrelaxed=1677, #relaxed=1116, #hardened=0
0.39/0.42 c BCD2: #sat=1 #unsat=23 bias=23/24
0.39/0.42 c Solving starts ...
0.39/0.42 c ============================[ Search Statistics ]============================
0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.42 c | | | | Limit GC | Var | Constra
0.39/0.42 c =============================================================================
0.39/0.42 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.39/0.43 c 0.0s | 0 | 3154 | 7 | 2152 0 | 0 | 0
0.39/0.43 c #cpu_time = 0.006s
0.39/0.43 c #wall_clock_time = 0.006s
0.39/0.43 c #decision = 3154
0.39/0.43 c #random_decision = 0
0.39/0.43 c #conflict = 7
0.39/0.43 c #restart = 0
0.39/0.43 c BCD2: found a new core of size 49: cost of the new core is >=240
0.39/0.43 c lower bound updated to 4432
0.39/0.43 c BCD2: 4432 <= obj <= 16205
0.39/0.43 c BCD2: #cores=23, #unrelaxed=1628, #relaxed=1165, #hardened=0
0.39/0.43 c BCD2: #sat=1 #unsat=24 bias=24/25
0.39/0.44 c Solving starts ...
0.39/0.44 c ============================[ Search Statistics ]============================
0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.44 c | | | | Limit GC | Var | Constra
0.39/0.44 c =============================================================================
0.39/0.44 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.39/0.45 c 0.0s | 0 | 1636 | 0 | 2152 0 | 0 | 0
0.39/0.45 c #cpu_time = 0.004s
0.39/0.45 c #wall_clock_time = 0.004s
0.39/0.45 c #decision = 1636
0.39/0.45 c #random_decision = 0
0.39/0.45 c #conflict = 0
0.39/0.45 c #restart = 0
0.39/0.45 c BCD2: found a new core of size 49: cost of the new core is >=176
0.39/0.45 c lower bound updated to 4608
0.39/0.45 c BCD2: 4608 <= obj <= 16205
0.39/0.45 c BCD2: #cores=24, #unrelaxed=1579, #relaxed=1214, #hardened=0
0.39/0.45 c BCD2: #sat=1 #unsat=25 bias=25/26
0.39/0.46 c Solving starts ...
0.39/0.46 c ============================[ Search Statistics ]============================
0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.46 c | | | | Limit GC | Var | Constra
0.39/0.46 c =============================================================================
0.39/0.46 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.39/0.47 c 0.0s | 0 | 8441 | 15 | 2152 0 | 0 | 0
0.39/0.47 c #cpu_time = 0.009s
0.39/0.47 c #wall_clock_time = 0.009s
0.39/0.47 c #decision = 8441
0.39/0.47 c #random_decision = 0
0.39/0.47 c #conflict = 15
0.39/0.47 c #restart = 0
0.39/0.47 c BCD2: found a new core of size 49: cost of the new core is >=240
0.39/0.47 c lower bound updated to 4848
0.39/0.47 c BCD2: 4848 <= obj <= 16205
0.39/0.47 c BCD2: #cores=25, #unrelaxed=1530, #relaxed=1263, #hardened=0
0.39/0.47 c BCD2: #sat=1 #unsat=26 bias=26/27
0.39/0.47 c Solving starts ...
0.39/0.47 c ============================[ Search Statistics ]============================
0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.47 c | | | | Limit GC | Var | Constra
0.39/0.47 c =============================================================================
0.39/0.47 c 0.0s | 0 | 0 | 0 | 2152 0 | 0 | 0
0.39/0.48 c 0.0s | 0 | 1816 | 13 | 2368 0 | 0 | 0
0.39/0.48 c #cpu_time = 0.006s
0.39/0.48 c #wall_clock_time = 0.006s
0.39/0.48 c #decision = 1816
0.39/0.48 c #random_decision = 0
0.39/0.48 c #conflict = 13
0.39/0.48 c #restart = 0
0.39/0.48 c BCD2: found a new core of size 49: cost of the new core is >=96
0.39/0.48 c lower bound updated to 4944
0.39/0.48 c BCD2: 4944 <= obj <= 16205
0.39/0.48 c BCD2: #cores=26, #unrelaxed=1481, #relaxed=1312, #hardened=0
0.39/0.48 c BCD2: #sat=1 #unsat=27 bias=27/28
0.39/0.49 c Solving starts ...
0.39/0.49 c ============================[ Search Statistics ]============================
0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.49 c | | | | Limit GC | Var | Constra
0.39/0.49 c =============================================================================
0.39/0.49 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.39/0.49 c 0.0s | 0 | 1135 | 0 | 2368 0 | 0 | 0
0.39/0.49 c #cpu_time = 0.005s
0.39/0.49 c #wall_clock_time = 0.005s
0.39/0.49 c #decision = 1135
0.39/0.49 c #random_decision = 0
0.39/0.49 c #conflict = 0
0.39/0.49 c #restart = 0
0.39/0.49 c BCD2: found a new core of size 49: cost of the new core is >=120
0.39/0.49 c lower bound updated to 5064
0.39/0.49 c BCD2: 5064 <= obj <= 16205
0.39/0.49 c BCD2: #cores=27, #unrelaxed=1432, #relaxed=1361, #hardened=0
0.39/0.49 c BCD2: #sat=1 #unsat=28 bias=28/29
0.49/0.50 c Solving starts ...
0.49/0.50 c ============================[ Search Statistics ]============================
0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.50 c | | | | Limit GC | Var | Constra
0.49/0.50 c =============================================================================
0.49/0.51 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.49/0.51 c 0.0s | 0 | 2711 | 7 | 2368 0 | 0 | 0
0.49/0.51 c #cpu_time = 0.006s
0.49/0.51 c #wall_clock_time = 0.006s
0.49/0.51 c #decision = 2711
0.49/0.51 c #random_decision = 0
0.49/0.51 c #conflict = 7
0.49/0.51 c #restart = 0
0.49/0.51 c BCD2: found a new core of size 49: cost of the new core is >=160
0.49/0.51 c lower bound updated to 5224
0.49/0.51 c BCD2: 5224 <= obj <= 16205
0.49/0.51 c BCD2: #cores=28, #unrelaxed=1383, #relaxed=1410, #hardened=0
0.49/0.51 c BCD2: #sat=1 #unsat=29 bias=29/30
0.49/0.52 c Solving starts ...
0.49/0.52 c ============================[ Search Statistics ]============================
0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.52 c | | | | Limit GC | Var | Constra
0.49/0.52 c =============================================================================
0.49/0.52 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.49/0.52 c 0.0s | 0 | 1158 | 0 | 2368 0 | 0 | 0
0.49/0.52 c #cpu_time = 0.005s
0.49/0.52 c #wall_clock_time = 0.005s
0.49/0.52 c #decision = 1158
0.49/0.52 c #random_decision = 0
0.49/0.52 c #conflict = 0
0.49/0.52 c #restart = 0
0.49/0.52 c BCD2: found a new core of size 49: cost of the new core is >=120
0.49/0.52 c lower bound updated to 5344
0.49/0.53 c BCD2: 5344 <= obj <= 16205
0.49/0.53 c BCD2: #cores=29, #unrelaxed=1334, #relaxed=1459, #hardened=0
0.49/0.53 c BCD2: #sat=1 #unsat=30 bias=30/31
0.49/0.53 c Solving starts ...
0.49/0.53 c ============================[ Search Statistics ]============================
0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.53 c | | | | Limit GC | Var | Constra
0.49/0.53 c =============================================================================
0.49/0.53 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.49/0.54 c 0.0s | 0 | 1895 | 8 | 2368 0 | 0 | 0
0.49/0.54 c #cpu_time = 0.006s
0.49/0.54 c #wall_clock_time = 0.006s
0.49/0.54 c #decision = 1895
0.49/0.54 c #random_decision = 0
0.49/0.54 c #conflict = 8
0.49/0.54 c #restart = 0
0.49/0.54 c BCD2: found a new core of size 49: cost of the new core is >=304
0.49/0.54 c lower bound updated to 5648
0.49/0.54 c BCD2: 5648 <= obj <= 16205
0.49/0.54 c BCD2: #cores=30, #unrelaxed=1285, #relaxed=1508, #hardened=0
0.49/0.54 c BCD2: #sat=1 #unsat=31 bias=31/32
0.49/0.55 c Solving starts ...
0.49/0.55 c ============================[ Search Statistics ]============================
0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.55 c | | | | Limit GC | Var | Constra
0.49/0.55 c =============================================================================
0.49/0.55 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.49/0.56 c 0.0s | 0 | 6720 | 29 | 2368 0 | 0 | 0
0.49/0.56 c #cpu_time = 0.011s
0.49/0.56 c #wall_clock_time = 0.011s
0.49/0.56 c #decision = 6720
0.49/0.56 c #random_decision = 0
0.49/0.56 c #conflict = 29
0.49/0.56 c #restart = 0
0.49/0.56 c BCD2: found a new core of size 49: cost of the new core is >=240
0.49/0.56 c lower bound updated to 5888
0.49/0.56 c BCD2: 5888 <= obj <= 16205
0.49/0.56 c BCD2: #cores=31, #unrelaxed=1236, #relaxed=1557, #hardened=0
0.49/0.56 c BCD2: #sat=1 #unsat=32 bias=32/33
0.49/0.57 c Solving starts ...
0.49/0.57 c ============================[ Search Statistics ]============================
0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.57 c | | | | Limit GC | Var | Constra
0.49/0.57 c =============================================================================
0.49/0.59 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.49/0.59 c 0.0s | 0 | 223 | 0 | 2368 0 | 0 | 0
0.49/0.59 c #cpu_time = 0.005s
0.49/0.59 c #wall_clock_time = 0.005s
0.49/0.59 c #decision = 223
0.49/0.59 c #random_decision = 0
0.49/0.59 c #conflict = 0
0.49/0.59 c #restart = 0
0.49/0.59 c BCD2: found a new core of size 49: cost of the new core is >=112
0.49/0.59 c lower bound updated to 6000
0.49/0.59 c BCD2: 6000 <= obj <= 16205
0.49/0.59 c BCD2: #cores=32, #unrelaxed=1187, #relaxed=1606, #hardened=0
0.49/0.59 c BCD2: #sat=1 #unsat=33 bias=33/34
0.59/0.60 c Solving starts ...
0.59/0.60 c ============================[ Search Statistics ]============================
0.59/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.60 c | | | | Limit GC | Var | Constra
0.59/0.60 c =============================================================================
0.59/0.60 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.59/0.61 c 0.0s | 0 | 3833 | 29 | 2368 0 | 0 | 0
0.59/0.61 c #cpu_time = 0.009s
0.59/0.61 c #wall_clock_time = 0.009s
0.59/0.61 c #decision = 3833
0.59/0.61 c #random_decision = 0
0.59/0.61 c #conflict = 29
0.59/0.61 c #restart = 0
0.59/0.61 c BCD2: found a new core of size 49: cost of the new core is >=112
0.59/0.61 c lower bound updated to 6112
0.59/0.61 c BCD2: 6112 <= obj <= 16205
0.59/0.61 c BCD2: #cores=33, #unrelaxed=1138, #relaxed=1655, #hardened=0
0.59/0.61 c BCD2: #sat=1 #unsat=34 bias=34/35
0.59/0.62 c Solving starts ...
0.59/0.62 c ============================[ Search Statistics ]============================
0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.62 c | | | | Limit GC | Var | Constra
0.59/0.62 c =============================================================================
0.59/0.62 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.59/0.63 c 0.0s | 0 | 225 | 0 | 2368 0 | 0 | 0
0.59/0.63 c #cpu_time = 0.006s
0.59/0.63 c #wall_clock_time = 0.006s
0.59/0.63 c #decision = 225
0.59/0.63 c #random_decision = 0
0.59/0.63 c #conflict = 0
0.59/0.63 c #restart = 0
0.59/0.63 c BCD2: found a new core of size 49: cost of the new core is >=392
0.59/0.63 c lower bound updated to 6504
0.59/0.63 c BCD2: 6504 <= obj <= 16205
0.59/0.63 c BCD2: #cores=34, #unrelaxed=1089, #relaxed=1704, #hardened=0
0.59/0.63 c BCD2: #sat=1 #unsat=35 bias=35/36
0.59/0.64 c Solving starts ...
0.59/0.64 c ============================[ Search Statistics ]============================
0.59/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.64 c | | | | Limit GC | Var | Constra
0.59/0.64 c =============================================================================
0.59/0.64 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.59/0.65 c 0.0s | 0 | 317 | 0 | 2368 0 | 0 | 0
0.59/0.65 c #cpu_time = 0.006s
0.59/0.65 c #wall_clock_time = 0.006s
0.59/0.65 c #decision = 317
0.59/0.65 c #random_decision = 0
0.59/0.65 c #conflict = 0
0.59/0.65 c #restart = 0
0.59/0.65 c BCD2: found a new core of size 55: cost of the new core is >=160
0.59/0.65 c lower bound updated to 6664
0.59/0.65 c BCD2: 6664 <= obj <= 16205
0.59/0.65 c BCD2: #cores=35, #unrelaxed=1034, #relaxed=1759, #hardened=0
0.59/0.65 c BCD2: #sat=1 #unsat=36 bias=36/37
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.59/0.66 c 0.0s | 0 | 990 | 15 | 2368 0 | 0 | 0
0.59/0.66 c #cpu_time = 0.007s
0.59/0.66 c #wall_clock_time = 0.007s
0.59/0.66 c #decision = 990
0.59/0.66 c #random_decision = 0
0.59/0.66 c #conflict = 15
0.59/0.66 c #restart = 0
0.59/0.66 c BCD2: found a new core of size 49: cost of the new core is >=184
0.59/0.66 c lower bound updated to 6848
0.59/0.67 c BCD2: 6848 <= obj <= 16205
0.59/0.67 c BCD2: #cores=36, #unrelaxed=985, #relaxed=1808, #hardened=0
0.59/0.67 c BCD2: #sat=1 #unsat=37 bias=37/38
0.59/0.67 c Solving starts ...
0.59/0.67 c ============================[ Search Statistics ]============================
0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.67 c | | | | Limit GC | Var | Constra
0.59/0.67 c =============================================================================
0.59/0.67 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.59/0.68 c 0.0s | 0 | 418 | 0 | 2368 0 | 0 | 0
0.59/0.68 c #cpu_time = 0.007s
0.59/0.68 c #wall_clock_time = 0.007s
0.59/0.68 c #decision = 418
0.59/0.68 c #random_decision = 0
0.59/0.68 c #conflict = 0
0.59/0.68 c #restart = 0
0.59/0.68 c BCD2: found a new core of size 49: cost of the new core is >=248
0.59/0.68 c lower bound updated to 7096
0.59/0.68 c BCD2: 7096 <= obj <= 16205
0.59/0.68 c BCD2: #cores=37, #unrelaxed=936, #relaxed=1857, #hardened=0
0.59/0.68 c BCD2: #sat=1 #unsat=38 bias=38/39
0.59/0.69 c Solving starts ...
0.59/0.69 c ============================[ Search Statistics ]============================
0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.69 c | | | | Limit GC | Var | Constra
0.59/0.69 c =============================================================================
0.59/0.69 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.69/0.70 c 0.0s | 0 | 524 | 0 | 2368 0 | 0 | 0
0.69/0.70 c #cpu_time = 0.007s
0.69/0.70 c #wall_clock_time = 0.007s
0.69/0.70 c #decision = 524
0.69/0.70 c #random_decision = 0
0.69/0.70 c #conflict = 0
0.69/0.70 c #restart = 0
0.69/0.70 c BCD2: found a new core of size 49: cost of the new core is >=168
0.69/0.70 c lower bound updated to 7264
0.69/0.70 c BCD2: 7264 <= obj <= 16205
0.69/0.70 c BCD2: #cores=38, #unrelaxed=887, #relaxed=1906, #hardened=0
0.69/0.70 c BCD2: #sat=1 #unsat=39 bias=39/40
0.69/0.70 c Solving starts ...
0.69/0.70 c ============================[ Search Statistics ]============================
0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.70 c | | | | Limit GC | Var | Constra
0.69/0.70 c =============================================================================
0.69/0.71 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.69/0.72 c 0.0s | 0 | 4431 | 23 | 2368 0 | 0 | 0
0.69/0.72 c #cpu_time = 0.010s
0.69/0.72 c #wall_clock_time = 0.010s
0.69/0.72 c #decision = 4431
0.69/0.72 c #random_decision = 0
0.69/0.72 c #conflict = 23
0.69/0.72 c #restart = 0
0.69/0.72 c BCD2: found a new core of size 49: cost of the new core is >=128
0.69/0.72 c lower bound updated to 7392
0.69/0.73 c BCD2: 7392 <= obj <= 16205
0.69/0.73 c BCD2: #cores=39, #unrelaxed=838, #relaxed=1955, #hardened=0
0.69/0.73 c BCD2: #sat=1 #unsat=40 bias=40/41
0.69/0.73 c Solving starts ...
0.69/0.73 c ============================[ Search Statistics ]============================
0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.73 c | | | | Limit GC | Var | Constra
0.69/0.73 c =============================================================================
0.69/0.73 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.69/0.74 c 0.0s | 0 | 813 | 0 | 2368 0 | 0 | 0
0.69/0.74 c #cpu_time = 0.008s
0.69/0.74 c #wall_clock_time = 0.008s
0.69/0.74 c #decision = 813
0.69/0.74 c #random_decision = 0
0.69/0.74 c #conflict = 0
0.69/0.74 c #restart = 0
0.69/0.74 c BCD2: found a new core of size 49: cost of the new core is >=160
0.69/0.74 c lower bound updated to 7552
0.69/0.74 c BCD2: 7552 <= obj <= 16205
0.69/0.74 c BCD2: #cores=40, #unrelaxed=789, #relaxed=2004, #hardened=0
0.69/0.74 c BCD2: #sat=1 #unsat=41 bias=41/42
0.69/0.75 c Solving starts ...
0.69/0.75 c ============================[ Search Statistics ]============================
0.69/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.75 c | | | | Limit GC | Var | Constra
0.69/0.75 c =============================================================================
0.69/0.75 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.69/0.76 c 0.0s | 0 | 1735 | 21 | 2368 0 | 0 | 0
0.69/0.76 c #cpu_time = 0.010s
0.69/0.76 c #wall_clock_time = 0.010s
0.69/0.76 c #decision = 1735
0.69/0.76 c #random_decision = 0
0.69/0.76 c #conflict = 21
0.69/0.76 c #restart = 0
0.69/0.76 c BCD2: found a new core of size 49: cost of the new core is >=120
0.69/0.76 c lower bound updated to 7672
0.69/0.76 c BCD2: 7672 <= obj <= 16205
0.69/0.76 c BCD2: #cores=41, #unrelaxed=740, #relaxed=2053, #hardened=0
0.69/0.76 c BCD2: #sat=1 #unsat=42 bias=42/43
0.69/0.77 c Solving starts ...
0.69/0.77 c ============================[ Search Statistics ]============================
0.69/0.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.77 c | | | | Limit GC | Var | Constra
0.69/0.77 c =============================================================================
0.69/0.77 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.69/0.78 c 0.0s | 0 | 724 | 0 | 2368 0 | 0 | 0
0.69/0.78 c #cpu_time = 0.009s
0.69/0.78 c #wall_clock_time = 0.009s
0.69/0.78 c #decision = 724
0.69/0.78 c #random_decision = 0
0.69/0.78 c #conflict = 0
0.69/0.78 c #restart = 0
0.69/0.78 c BCD2: found a new core of size 53: cost of the new core is >=160
0.69/0.78 c lower bound updated to 7832
0.69/0.78 c BCD2: 7832 <= obj <= 16205
0.69/0.78 c BCD2: #cores=42, #unrelaxed=687, #relaxed=2106, #hardened=0
0.69/0.78 c BCD2: #sat=1 #unsat=43 bias=43/44
0.69/0.78 c Solving starts ...
0.69/0.78 c ============================[ Search Statistics ]============================
0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.78 c | | | | Limit GC | Var | Constra
0.69/0.78 c =============================================================================
0.79/0.80 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.79/0.81 c 0.0s | 0 | 3578 | 17 | 2368 0 | 0 | 0
0.79/0.81 c #cpu_time = 0.011s
0.79/0.81 c #wall_clock_time = 0.011s
0.79/0.81 c #decision = 3578
0.79/0.81 c #random_decision = 0
0.79/0.81 c #conflict = 17
0.79/0.81 c #restart = 0
0.79/0.81 c BCD2: found a new core of size 49: cost of the new core is >=160
0.79/0.81 c lower bound updated to 7992
0.79/0.81 c BCD2: 7992 <= obj <= 16205
0.79/0.81 c BCD2: #cores=43, #unrelaxed=638, #relaxed=2155, #hardened=0
0.79/0.81 c BCD2: #sat=1 #unsat=44 bias=44/45
0.79/0.82 c Solving starts ...
0.79/0.82 c ============================[ Search Statistics ]============================
0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.82 c | | | | Limit GC | Var | Constra
0.79/0.82 c =============================================================================
0.79/0.82 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.79/0.83 c 0.0s | 0 | 523 | 0 | 2368 0 | 0 | 0
0.79/0.83 c #cpu_time = 0.009s
0.79/0.83 c #wall_clock_time = 0.009s
0.79/0.83 c #decision = 523
0.79/0.83 c #random_decision = 0
0.79/0.83 c #conflict = 0
0.79/0.83 c #restart = 0
0.79/0.83 c BCD2: found a new core of size 49: cost of the new core is >=224
0.79/0.83 c lower bound updated to 8216
0.79/0.83 c BCD2: 8216 <= obj <= 16205
0.79/0.83 c BCD2: #cores=44, #unrelaxed=589, #relaxed=2204, #hardened=0
0.79/0.83 c BCD2: #sat=1 #unsat=45 bias=45/46
0.79/0.83 c Solving starts ...
0.79/0.83 c ============================[ Search Statistics ]============================
0.79/0.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.83 c | | | | Limit GC | Var | Constra
0.79/0.83 c =============================================================================
0.79/0.83 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.79/0.85 c 0.0s | 0 | 1882 | 16 | 2368 0 | 0 | 0
0.79/0.85 c #cpu_time = 0.011s
0.79/0.85 c #wall_clock_time = 0.011s
0.79/0.85 c #decision = 1882
0.79/0.85 c #random_decision = 0
0.79/0.85 c #conflict = 16
0.79/0.85 c #restart = 0
0.79/0.85 c BCD2: found a new core of size 49: cost of the new core is >=304
0.79/0.85 c lower bound updated to 8520
0.79/0.85 c BCD2: 8520 <= obj <= 16205
0.79/0.85 c BCD2: #cores=45, #unrelaxed=540, #relaxed=2253, #hardened=0
0.79/0.85 c BCD2: #sat=1 #unsat=46 bias=46/47
0.79/0.85 c Solving starts ...
0.79/0.85 c ============================[ Search Statistics ]============================
0.79/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.85 c | | | | Limit GC | Var | Constra
0.79/0.85 c =============================================================================
0.79/0.85 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.79/0.86 c 0.0s | 0 | 434 | 0 | 2368 0 | 0 | 0
0.79/0.86 c #cpu_time = 0.010s
0.79/0.86 c #wall_clock_time = 0.010s
0.79/0.86 c #decision = 434
0.79/0.86 c #random_decision = 0
0.79/0.86 c #conflict = 0
0.79/0.86 c #restart = 0
0.79/0.86 c BCD2: found a new core of size 51: cost of the new core is >=224
0.79/0.86 c lower bound updated to 8744
0.79/0.87 c BCD2: 8744 <= obj <= 16205
0.79/0.87 c BCD2: #cores=46, #unrelaxed=489, #relaxed=2304, #hardened=0
0.79/0.87 c BCD2: #sat=1 #unsat=47 bias=47/48
0.79/0.87 c Solving starts ...
0.79/0.87 c ============================[ Search Statistics ]============================
0.79/0.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.87 c | | | | Limit GC | Var | Constra
0.79/0.87 c =============================================================================
0.79/0.89 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.88/0.90 c 0.0s | 0 | 1910 | 19 | 2368 0 | 0 | 0
0.88/0.90 c #cpu_time = 0.011s
0.88/0.90 c #wall_clock_time = 0.011s
0.88/0.90 c #decision = 1910
0.88/0.90 c #random_decision = 0
0.88/0.90 c #conflict = 19
0.88/0.90 c #restart = 0
0.88/0.90 c BCD2: found a new core of size 49: cost of the new core is >=248
0.88/0.90 c lower bound updated to 8992
0.88/0.90 c BCD2: 8992 <= obj <= 16205
0.88/0.90 c BCD2: #cores=47, #unrelaxed=440, #relaxed=2353, #hardened=0
0.88/0.90 c BCD2: #sat=1 #unsat=48 bias=48/49
0.88/0.91 c Solving starts ...
0.88/0.91 c ============================[ Search Statistics ]============================
0.88/0.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.88/0.91 c | | | | Limit GC | Var | Constra
0.88/0.91 c =============================================================================
0.88/0.91 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.88/0.92 c 0.0s | 0 | 358 | 6 | 2368 0 | 0 | 0
0.88/0.92 c #cpu_time = 0.010s
0.88/0.92 c #wall_clock_time = 0.010s
0.88/0.92 c #decision = 358
0.88/0.92 c #random_decision = 0
0.88/0.92 c #conflict = 6
0.88/0.92 c #restart = 0
0.88/0.92 c BCD2: found a new core of size 49: cost of the new core is >=304
0.88/0.92 c lower bound updated to 9296
0.88/0.92 c BCD2: 9296 <= obj <= 16205
0.88/0.92 c BCD2: #cores=48, #unrelaxed=391, #relaxed=2402, #hardened=0
0.88/0.92 c BCD2: #sat=1 #unsat=49 bias=49/50
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 | 2368 0 | 0 | 0
0.88/0.94 c 0.0s | 0 | 295 | 0 | 2368 0 | 0 | 0
0.88/0.94 c #cpu_time = 0.010s
0.88/0.94 c #wall_clock_time = 0.010s
0.88/0.94 c #decision = 295
0.88/0.94 c #random_decision = 0
0.88/0.94 c #conflict = 0
0.88/0.94 c #restart = 0
0.88/0.94 c BCD2: found a new core of size 49: cost of the new core is >=320
0.88/0.94 c lower bound updated to 9616
0.88/0.94 c BCD2: 9616 <= obj <= 16205
0.88/0.94 c BCD2: #cores=49, #unrelaxed=342, #relaxed=2451, #hardened=0
0.88/0.94 c BCD2: #sat=1 #unsat=50 bias=50/51
0.88/0.94 c Solving starts ...
0.88/0.94 c ============================[ Search Statistics ]============================
0.88/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.88/0.94 c | | | | Limit GC | Var | Constra
0.88/0.94 c =============================================================================
0.88/0.94 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.88/0.96 c 0.0s | 0 | 2061 | 8 | 2368 0 | 0 | 0
0.88/0.96 c #cpu_time = 0.013s
0.88/0.96 c #wall_clock_time = 0.013s
0.88/0.96 c #decision = 2061
0.88/0.96 c #random_decision = 1
0.88/0.96 c #conflict = 8
0.88/0.96 c #restart = 0
0.88/0.96 c BCD2: found a new core of size 49: cost of the new core is >=248
0.88/0.96 c lower bound updated to 9864
0.88/0.97 c BCD2: 9864 <= obj <= 16205
0.88/0.97 c BCD2: #cores=50, #unrelaxed=293, #relaxed=2500, #hardened=0
0.88/0.97 c BCD2: #sat=1 #unsat=51 bias=51/52
0.88/0.98 c Solving starts ...
0.88/0.98 c ============================[ Search Statistics ]============================
0.88/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.88/0.98 c | | | | Limit GC | Var | Constra
0.88/0.98 c =============================================================================
0.88/0.98 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.88/0.99 c 0.0s | 0 | 384 | 6 | 2368 0 | 0 | 0
0.88/0.99 c #cpu_time = 0.011s
0.88/0.99 c #wall_clock_time = 0.011s
0.88/0.99 c #decision = 384
0.88/0.99 c #random_decision = 0
0.88/0.99 c #conflict = 6
0.88/0.99 c #restart = 0
0.88/0.99 c BCD2: found a new core of size 49: cost of the new core is >=248
0.88/0.99 c lower bound updated to 10112
0.88/0.99 c BCD2: 10112 <= obj <= 16205
0.88/0.99 c BCD2: #cores=51, #unrelaxed=244, #relaxed=2549, #hardened=0
0.88/0.99 c BCD2: #sat=1 #unsat=52 bias=52/53
0.98/1.00 c Solving starts ...
0.98/1.00 c ============================[ Search Statistics ]============================
0.98/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.00 c | | | | Limit GC | Var | Constra
0.98/1.00 c =============================================================================
0.98/1.00 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.98/1.01 c 0.0s | 0 | 547 | 10 | 2368 0 | 0 | 0
0.98/1.01 c #cpu_time = 0.013s
0.98/1.01 c #wall_clock_time = 0.013s
0.98/1.01 c #decision = 547
0.98/1.01 c #random_decision = 0
0.98/1.01 c #conflict = 10
0.98/1.01 c #restart = 0
0.98/1.01 c BCD2: found a new core of size 49: cost of the new core is >=304
0.98/1.01 c lower bound updated to 10416
0.98/1.01 c BCD2: 10416 <= obj <= 16205
0.98/1.01 c BCD2: #cores=52, #unrelaxed=195, #relaxed=2598, #hardened=0
0.98/1.01 c BCD2: #sat=1 #unsat=53 bias=53/54
0.98/1.02 c Solving starts ...
0.98/1.02 c ============================[ Search Statistics ]============================
0.98/1.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.02 c | | | | Limit GC | Var | Constra
0.98/1.02 c =============================================================================
0.98/1.02 c 0.0s | 0 | 0 | 0 | 2368 0 | 0 | 0
0.98/1.04 c 0.0s | 0 | 614 | 14 | 2605 0 | 0 | 0
0.98/1.04 c #cpu_time = 0.014s
0.98/1.04 c #wall_clock_time = 0.014s
0.98/1.04 c #decision = 614
0.98/1.04 c #random_decision = 1
0.98/1.04 c #conflict = 14
0.98/1.04 c #restart = 0
0.98/1.04 c BCD2: found a new core of size 49: cost of the new core is >=120
0.98/1.04 c lower bound updated to 10536
0.98/1.04 c BCD2: 10536 <= obj <= 16205
0.98/1.04 c BCD2: #cores=53, #unrelaxed=146, #relaxed=2647, #hardened=0
0.98/1.04 c BCD2: #sat=1 #unsat=54 bias=54/55
0.98/1.05 c Solving starts ...
0.98/1.05 c ============================[ Search Statistics ]============================
0.98/1.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.05 c | | | | Limit GC | Var | Constra
0.98/1.05 c =============================================================================
0.98/1.05 c 0.0s | 0 | 0 | 0 | 2605 0 | 0 | 0
1.19/1.25 c 0.2s | 1 | 1068 | 100 | 2605 0 | 0 | 0
1.68/1.75 c 0.7s | 2 | 2519 | 250 | 2605 0 | 0 | 0
2.39/2.41 c 1.4s | 3 | 4386 | 475 | 2866 0 | 0 | 0
3.39/3.47 c 2.4s | 4 | 8164 | 813 | 2866 0 | 0 | 0
4.58/4.65 c 3.6s | 5 | 11302 | 1320 | 3153 0 | 0 | 0
6.18/6.22 c 5.2s | 6 | 16835 | 2081 | 3469 0 | 0 | 0
8.08/8.14 c 7.1s | 6 | 24739 | 2888 | 3816 0 | 0 | 0
8.08/8.14 c #cpu_time = 7.092s
8.08/8.14 c #wall_clock_time = 7.092s
8.08/8.14 c #decision = 24739
8.08/8.14 c #random_decision = 102
8.08/8.14 c #conflict = 2888
8.08/8.14 c #restart = 6
8.08/8.14 c BCD2: found a new core of size 49: cost of the new core is >=248
8.08/8.14 c lower bound updated to 10784
8.08/8.14 c BCD2: 10784 <= obj <= 16205
8.08/8.14 c BCD2: #cores=54, #unrelaxed=97, #relaxed=2696, #hardened=0
8.08/8.14 c BCD2: #sat=1 #unsat=55 bias=55/56
8.08/8.15 c Solving starts ...
8.08/8.15 c ============================[ Search Statistics ]============================
8.08/8.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
8.08/8.15 c | | | | Limit GC | Var | Constra
8.08/8.15 c =============================================================================
8.08/8.15 c 0.0s | 0 | 0 | 0 | 3816 0 | 0 | 0
8.38/8.42 c 0.3s | 1 | 729 | 100 | 3816 0 | 0 | 0
8.68/8.79 c 0.6s | 2 | 2343 | 250 | 3816 0 | 0 | 0
9.18/9.24 c 1.1s | 3 | 3824 | 475 | 3816 0 | 0 | 0
10.08/10.11 c 2.0s | 4 | 5941 | 813 | 3816 1 | 0 | 0
11.09/11.13 c 3.0s | 5 | 8910 | 1320 | 3816 1 | 0 | 0
12.58/12.64 c 4.5s | 6 | 12371 | 2081 | 4198 1 | 0 | 0
14.68/14.71 c 6.6s | 6 | 16984 | 3081 | 4198 2 | 0 | 0
14.98/15.08 c 6.9s | 7 | 17336 | 3223 | 4198 2 | 0 | 0
17.18/17.23 c 9.1s | 7 | 21777 | 4323 | 4618 2 | 0 | 0
18.38/18.42 c 10.3s | 8 | 23936 | 4936 | 4618 2 | 0 | 0
20.38/20.43 c 12.3s | 8 | 27608 | 6036 | 4618 3 | 0 | 0
22.48/22.52 c 14.4s | 8 | 32275 | 7136 | 4618 3 | 0 | 0
23.19/23.21 c 15.1s | 9 | 33596 | 7506 | 4618 3 | 0 | 0
25.39/25.42 c 17.3s | 9 | 39543 | 8406 | 5080 3 | 0 | 0
27.38/27.43 c 19.3s | 9 | 42826 | 9206 | 5080 4 | 0 | 0
29.38/29.43 c 21.3s | 9 | 46300 | 9906 | 5080 4 | 0 | 0
31.38/31.46 c 23.3s | 9 | 50633 | 10606 | 5080 4 | 0 | 0
33.08/33.12 c 25.0s | 10 | 53871 | 11361 | 5080 5 | 0 | 0
35.28/35.32 c 27.2s | 10 | 59217 | 12361 | 5080 5 | 0 | 0
37.38/37.45 c 29.3s | 10 | 64002 | 13461 | 5080 5 | 0 | 0
39.48/39.60 c 31.5s | 10 | 68887 | 14761 | 5588 6 | 0 | 0
41.67/41.77 c 33.6s | 10 | 72570 | 15761 | 5588 6 | 0 | 0
43.77/43.89 c 35.7s | 10 | 78683 | 16561 | 5588 6 | 0 | 0
44.87/44.93 c 36.8s | 11 | 80922 | 17144 | 5588 6 | 0 | 0
46.87/46.95 c 38.8s | 11 | 87798 | 18244 | 5588 7 | 0 | 0
48.97/49.01 c 40.9s | 11 | 92904 | 19344 | 5588 7 | 0 | 0
51.07/51.15 c 43.0s | 11 | 98880 | 20444 | 5588 8 | 0 | 0
53.17/53.21 c 45.1s | 11 | 103090 | 21444 | 5588 8 | 0 | 0
55.17/55.28 c 47.1s | 11 | 108366 | 22544 | 6147 8 | 0 | 0
57.28/57.33 c 49.2s | 11 | 113538 | 23544 | 6147 8 | 0 | 0
59.48/59.54 c 51.4s | 11 | 122980 | 24544 | 6147 9 | 0 | 0
61.58/61.67 c 53.5s | 11 | 129819 | 25244 | 6147 9 | 0 | 0
63.27/63.30 c 55.2s | 12 | 132820 | 25819 | 6147 9 | 0 | 0
65.27/65.34 c 57.2s | 12 | 136814 | 26919 | 6147 10 | 0 | 0
67.47/67.52 c 59.4s | 12 | 141168 | 28219 | 6147 10 | 0 | 0
69.57/69.60 c 61.4s | 12 | 146153 | 29219 | 6147 10 | 0 | 0
71.48/71.60 c 63.5s | 12 | 149935 | 30319 | 6147 11 | 0 | 0
73.57/73.67 c 65.5s | 12 | 156310 | 31319 | 6147 11 | 0 | 0
75.77/75.89 c 67.7s | 12 | 160855 | 32419 | 6147 11 | 0 | 0
77.87/77.90 c 69.8s | 12 | 164960 | 33419 | 6147 12 | 0 | 0
79.97/80.04 c 71.9s | 12 | 170168 | 34619 | 6147 12 | 0 | 0
82.07/82.10 c 74.0s | 12 | 173808 | 35719 | 6762 12 | 0 | 0
84.07/84.18 c 76.0s | 12 | 178096 | 36719 | 6762 12 | 0 | 0
86.17/86.22 c 78.1s | 12 | 181858 | 37619 | 6762 13 | 0 | 0
88.37/88.45 c 80.3s | 12 | 191015 | 38419 | 6762 13 | 0 | 0
89.67/89.73 c 81.6s | 13 | 194465 | 38832 | 6762 13 | 0 | 0
91.77/91.83 c 83.7s | 13 | 202269 | 39532 | 6762 13 | 0 | 0
93.87/93.95 c 85.8s | 13 | 210663 | 40332 | 6762 13 | 0 | 0
95.97/96.04 c 87.9s | 13 | 217765 | 41232 | 6762 14 | 0 | 0
98.17/98.20 c 90.1s | 13 | 224436 | 42032 | 6762 14 | 0 | 0
100.36/100.42 c 92.3s | 13 | 230945 | 42932 | 6762 14 | 0 | 0
102.47/102.57 c 94.4s | 13 | 235837 | 43932 | 6762 14 | 0 | 0
104.67/104.70 c 96.5s | 13 | 243294 | 44832 | 6762 15 | 0 | 0
106.87/106.90 c 98.8s | 13 | 248833 | 46032 | 6762 15 | 0 | 0
108.88/108.93 c 100s | 13 | 252783 | 47032 | 6762 15 | 0 | 0
110.87/110.96 c 102s | 13 | 256421 | 48132 | 6762 16 | 0 | 0
113.07/113.11 c 104s | 13 | 260769 | 49332 | 6762 16 | 0 | 0
115.27/115.37 c 107s | 13 | 267002 | 50432 | 6762 16 | 0 | 0
117.47/117.50 c 109s | 13 | 269778 | 51332 | 6762 17 | 0 | 0
119.47/119.55 c 111s | 13 | 273839 | 52232 | 6762 17 | 0 | 0
121.57/121.63 c 113s | 13 | 277412 | 53232 | 6762 17 | 0 | 0
123.67/123.71 c 115s | 13 | 283035 | 54232 | 6762 17 | 0 | 0
125.77/125.82 c 117s | 13 | 287005 | 55532 | 7439 18 | 0 | 0
127.87/127.93 c 119s | 13 | 291337 | 56632 | 7439 18 | 0 | 0
129.87/129.95 c 121s | 13 | 294940 | 57732 | 7439 18 | 0 | 0
131.17/131.22 c 123s | 14 | 297734 | 58352 | 7439 18 | 0 | 0
133.27/133.36 c 125s | 14 | 306203 | 59152 | 7439 19 | 0 | 0
135.47/135.51 c 127s | 14 | 312740 | 59952 | 7439 19 | 0 | 0
137.57/137.64 c 129s | 14 | 317918 | 61052 | 7439 19 | 0 | 0
139.67/139.74 c 131s | 14 | 320828 | 62252 | 7439 19 | 0 | 0
141.76/141.82 c 133s | 14 | 325705 | 63352 | 7439 20 | 0 | 0
143.76/143.84 c 135s | 14 | 333047 | 64252 | 7439 20 | 0 | 0
145.86/145.95 c 137s | 14 | 337551 | 65352 | 7439 20 | 0 | 0
148.06/148.14 c 139s | 14 | 342358 | 66452 | 7439 21 | 0 | 0
150.16/150.20 c 142s | 14 | 345742 | 67552 | 7439 21 | 0 | 0
152.26/152.32 c 144s | 14 | 350330 | 68452 | 7439 21 | 0 | 0
154.36/154.47 c 146s | 14 | 355561 | 69252 | 7439 21 | 0 | 0
156.56/156.65 c 148s | 14 | 360577 | 70052 | 7439 22 | 0 | 0
158.56/158.69 c 150s | 14 | 364107 | 71152 | 7439 22 | 0 | 0
160.86/160.96 c 152s | 14 | 369440 | 72252 | 7439 22 | 0 | 0
162.96/163.04 c 154s | 14 | 373456 | 73452 | 7439 22 | 0 | 0
165.07/165.14 c 156s | 14 | 378252 | 74452 | 7439 23 | 0 | 0
167.17/167.22 c 159s | 14 | 381523 | 75452 | 7439 23 | 0 | 0
169.26/169.35 c 161s | 14 | 385577 | 76552 | 7439 23 | 0 | 0
171.36/171.50 c 163s | 14 | 394445 | 77352 | 7439 23 | 0 | 0
173.56/173.62 c 165s | 14 | 400880 | 78352 | 7439 24 | 0 | 0
175.66/175.73 c 167s | 14 | 405141 | 79352 | 7439 24 | 0 | 0
177.66/177.77 c 169s | 14 | 408361 | 80352 | 7439 24 | 0 | 0
179.96/180.01 c 171s | 14 | 412035 | 81352 | 7439 24 | 0 | 0
181.96/182.08 c 173s | 14 | 417018 | 82352 | 7439 25 | 0 | 0
184.06/184.19 c 176s | 14 | 421165 | 83452 | 7439 25 | 0 | 0
186.26/186.36 c 178s | 14 | 426276 | 84552 | 8183 25 | 0 | 0
188.26/188.37 c 180s | 14 | 433778 | 85452 | 8183 25 | 0 | 0
190.46/190.55 c 182s | 14 | 442377 | 86452 | 8183 26 | 0 | 0
192.66/192.72 c 184s | 14 | 447800 | 87452 | 8183 26 | 0 | 0
193.06/193.10 c 184s | 15 | 448617 | 87632 | 8183 26 | 0 | 0
195.06/195.14 c 186s | 15 | 453448 | 88532 | 8183 26 | 0 | 0
197.16/197.29 c 189s | 15 | 457180 | 89532 | 8183 26 | 0 | 0
199.26/199.33 c 191s | 15 | 461702 | 90632 | 8183 27 | 0 | 0
201.26/201.39 c 193s | 15 | 467864 | 91532 | 8183 27 | 0 | 0
203.46/203.54 c 195s | 15 | 472154 | 92632 | 8183 27 | 0 | 0
205.45/205.59 c 197s | 15 | 476527 | 93632 | 8183 27 | 0 | 0
207.65/207.72 c 199s | 15 | 480469 | 94632 | 8183 28 | 0 | 0
209.65/209.73 c 201s | 15 | 484395 | 95732 | 8183 28 | 0 | 0
211.75/211.82 c 203s | 15 | 488647 | 96732 | 8183 28 | 0 | 0
213.75/213.86 c 205s | 15 | 492981 | 97832 | 8183 28 | 0 | 0
215.75/215.87 c 207s | 15 | 496042 | 98832 | 8183 29 | 0 | 0
217.86/217.92 c 209s | 15 | 501947 | 99832 | 8183 29 | 0 | 0
220.06/220.15 c 212s | 15 | 510016 | 100732 | 8183 29 | 0 | 0
222.05/222.17 c 214s | 15 | 515026 | 101732 | 8183 29 | 0 | 0
224.25/224.35 c 216s | 15 | 518688 | 102932 | 8183 30 | 0 | 0
226.25/226.39 c 218s | 15 | 522365 | 104132 | 8183 30 | 0 | 0
228.35/228.49 c 220s | 15 | 525651 | 105232 | 8183 30 | 0 | 0
230.35/230.49 c 222s | 15 | 528439 | 106032 | 8183 30 | 0 | 0
232.45/232.58 c 224s | 15 | 533265 | 107132 | 8183 31 | 0 | 0
234.55/234.64 c 226s | 15 | 537432 | 108232 | 8183 31 | 0 | 0
236.75/236.87 c 228s | 15 | 544486 | 109032 | 8183 31 | 0 | 0
238.85/238.94 c 230s | 15 | 548024 | 110032 | 8183 31 | 0 | 0
240.95/241.02 c 232s | 15 | 551946 | 111132 | 8183 31 | 0 | 0
243.05/243.15 c 235s | 15 | 555228 | 112232 | 8183 32 | 0 | 0
245.05/245.16 c 237s | 15 | 558674 | 113332 | 8183 32 | 0 | 0
247.35/247.46 c 239s | 15 | 563412 | 114432 | 8183 32 | 0 | 0
249.55/249.61 c 241s | 15 | 569368 | 115232 | 8183 32 | 0 | 0
251.64/251.78 c 243s | 15 | 572243 | 116232 | 8183 33 | 0 | 0
253.74/253.89 c 245s | 15 | 576524 | 117332 | 8183 33 | 0 | 0
256.04/256.19 c 248s | 15 | 582062 | 118332 | 8183 33 | 0 | 0
258.14/258.26 c 250s | 15 | 589189 | 119232 | 8183 33 | 0 | 0
260.34/260.42 c 252s | 15 | 593541 | 120232 | 8183 34 | 0 | 0
262.44/262.55 c 254s | 15 | 596826 | 121332 | 8183 34 | 0 | 0
264.54/264.60 c 256s | 15 | 600109 | 122332 | 8183 34 | 0 | 0
266.54/266.67 c 258s | 15 | 603599 | 123532 | 8183 34 | 0 | 0
268.74/268.82 c 260s | 15 | 607547 | 124532 | 8183 35 | 0 | 0
270.74/270.83 c 262s | 15 | 610851 | 125532 | 8183 35 | 0 | 0
272.75/272.88 c 264s | 15 | 614519 | 126632 | 8183 35 | 0 | 0
274.84/274.98 c 266s | 15 | 617988 | 127732 | 9002 35 | 0 | 0
277.04/277.13 c 268s | 15 | 621477 | 128832 | 9002 35 | 0 | 0
279.14/279.24 c 271s | 15 | 624863 | 129932 | 9002 36 | 0 | 0
281.24/281.38 c 273s | 15 | 628223 | 131032 | 9002 36 | 0 | 0
282.24/282.34 c 274s | 16 | 629960 | 131552 | 9002 36 | 0 | 0
284.34/284.48 c 276s | 16 | 633649 | 132552 | 9002 36 | 0 | 0
286.44/286.57 c 278s | 16 | 637459 | 133652 | 9002 37 | 0 | 0
288.54/288.67 c 280s | 16 | 640786 | 134652 | 9002 37 | 0 | 0
290.74/290.81 c 282s | 16 | 644929 | 135752 | 9002 37 | 0 | 0
292.94/293.03 c 284s | 16 | 648206 | 136752 | 9002 37 | 0 | 0
295.04/295.10 c 286s | 16 | 651679 | 137852 | 9002 37 | 0 | 0
297.04/297.13 c 288s | 16 | 655475 | 138952 | 9002 38 | 0 | 0
299.24/299.36 c 291s | 16 | 659253 | 140052 | 9002 38 | 0 | 0
301.34/301.43 c 293s | 16 | 662599 | 140952 | 9002 38 | 0 | 0
303.44/303.57 c 295s | 16 | 666715 | 141852 | 9002 38 | 0 | 0
305.54/305.63 c 297s | 16 | 669865 | 142852 | 9002 39 | 0 | 0
307.64/307.75 c 299s | 16 | 673039 | 143952 | 9002 39 | 0 | 0
309.73/309.83 c 301s | 16 | 676020 | 144952 | 9002 39 | 0 | 0
311.94/312.04 c 303s | 16 | 680263 | 146052 | 9002 39 | 0 | 0
314.03/314.18 c 306s | 16 | 682639 | 147052 | 9002 39 | 0 | 0
316.23/316.37 c 308s | 16 | 685628 | 148152 | 9002 40 | 0 | 0
318.33/318.46 c 310s | 16 | 688715 | 149152 | 9002 40 | 0 | 0
320.73/320.81 c 312s | 16 | 692553 | 150252 | 9002 40 | 0 | 0
322.83/322.93 c 314s | 16 | 696331 | 151052 | 9002 40 | 0 | 0
325.03/325.11 c 316s | 16 | 700295 | 151952 | 9002 41 | 0 | 0
327.13/327.25 c 319s | 16 | 705689 | 152752 | 9002 41 | 0 | 0
329.33/329.47 c 321s | 16 | 711916 | 153652 | 9002 41 | 0 | 0
331.63/331.75 c 323s | 16 | 716609 | 154652 | 9002 41 | 0 | 0
333.63/333.79 c 325s | 16 | 720343 | 155552 | 9002 41 | 0 | 0
335.73/335.81 c 327s | 16 | 724713 | 156452 | 9002 41 | 0 | 0
337.83/337.90 c 329s | 16 | 728985 | 157552 | 9002 42 | 0 | 0
340.03/340.13 c 331s | 16 | 732290 | 158452 | 9002 42 | 0 | 0
342.14/342.24 c 334s | 16 | 735930 | 159552 | 9002 42 | 0 | 0
344.13/344.30 c 336s | 16 | 738835 | 160652 | 9002 42 | 0 | 0
346.23/346.34 c 338s | 16 | 743655 | 161552 | 9002 43 | 0 | 0
348.43/348.57 c 340s | 16 | 748545 | 162652 | 9002 43 | 0 | 0
350.53/350.66 c 342s | 16 | 752094 | 163752 | 9002 43 | 0 | 0
352.73/352.85 c 344s | 16 | 755974 | 164852 | 9002 43 | 0 | 0
354.73/354.86 c 346s | 16 | 759357 | 165752 | 9002 43 | 0 | 0
356.73/356.87 c 348s | 16 | 763376 | 166752 | 9002 44 | 0 | 0
358.83/358.98 c 350s | 16 | 768470 | 167752 | 9002 44 | 0 | 0
360.93/361.08 c 352s | 16 | 771733 | 168852 | 9002 44 | 0 | 0
363.13/363.23 c 355s | 16 | 775502 | 169952 | 9002 44 | 0 | 0
365.23/365.30 c 357s | 16 | 780036 | 170852 | 9002 45 | 0 | 0
367.23/367.36 c 359s | 16 | 784020 | 171752 | 9002 45 | 0 | 0
369.43/369.53 c 361s | 16 | 788358 | 172852 | 9002 45 | 0 | 0
371.43/371.59 c 363s | 16 | 791710 | 174052 | 9002 45 | 0 | 0
373.73/373.83 c 365s | 16 | 796377 | 175052 | 9002 45 | 0 | 0
375.72/375.88 c 367s | 16 | 800011 | 176052 | 9002 46 | 0 | 0
377.92/378.01 c 369s | 16 | 803991 | 177052 | 9002 46 | 0 | 0
379.92/380.04 c 371s | 16 | 807279 | 178052 | 9002 46 | 0 | 0
381.92/382.06 c 373s | 16 | 810582 | 178952 | 9002 46 | 0 | 0
384.02/384.12 c 375s | 16 | 814292 | 180052 | 9002 47 | 0 | 0
386.13/386.25 c 378s | 16 | 817535 | 181052 | 9002 47 | 0 | 0
388.33/388.42 c 380s | 16 | 825274 | 182052 | 9002 47 | 0 | 0
390.43/390.55 c 382s | 16 | 829352 | 183052 | 9002 47 | 0 | 0
392.42/392.56 c 384s | 16 | 833972 | 183952 | 9002 47 | 0 | 0
394.62/394.74 c 386s | 16 | 837774 | 185052 | 9002 48 | 0 | 0
396.62/396.75 c 388s | 16 | 841470 | 186252 | 9002 48 | 0 | 0
398.62/398.76 c 390s | 16 | 845968 | 187352 | 9002 48 | 0 | 0
400.62/400.77 c 392s | 16 | 849133 | 188452 | 9002 48 | 0 | 0
402.82/402.92 c 394s | 16 | 852987 | 189552 | 9002 49 | 0 | 0
404.92/405.06 c 396s | 16 | 856693 | 190552 | 9002 49 | 0 | 0
406.93/407.10 c 398s | 16 | 861877 | 191252 | 9002 49 | 0 | 0
409.13/409.24 c 401s | 16 | 865797 | 192152 | 9002 49 | 0 | 0
411.12/411.24 c 403s | 16 | 869332 | 193152 | 9903 49 | 0 | 0
413.22/413.31 c 405s | 16 | 872997 | 194152 | 9903 49 | 0 | 0
415.32/415.44 c 407s | 16 | 876234 | 195152 | 9903 50 | 0 | 0
417.42/417.57 c 409s | 16 | 879577 | 196352 | 9903 50 | 0 | 0
419.32/419.47 c 411s | 17 | 883055 | 197432 | 9903 50 | 0 | 0
421.42/421.56 c 413s | 17 | 886773 | 198232 | 9903 50 | 0 | 0
423.62/423.76 c 415s | 17 | 892904 | 199132 | 9903 50 | 0 | 0
425.82/425.92 c 417s | 17 | 895643 | 200132 | 9903 51 | 0 | 0
427.92/428.09 c 419s | 17 | 900934 | 201432 | 9903 51 | 0 | 0
430.02/430.11 c 421s | 17 | 904766 | 202432 | 9903 51 | 0 | 0
432.12/432.22 c 424s | 17 | 908422 | 203632 | 9903 51 | 0 | 0
434.32/434.42 c 426s | 17 | 913955 | 204832 | 9903 52 | 0 | 0
436.31/436.48 c 428s | 17 | 918095 | 205732 | 9903 52 | 0 | 0
438.41/438.52 c 430s | 17 | 921819 | 206832 | 9903 52 | 0 | 0
440.41/440.59 c 432s | 17 | 925467 | 208032 | 9903 52 | 0 | 0
442.51/442.64 c 434s | 17 | 930133 | 209132 | 9903 52 | 0 | 0
444.61/444.74 c 436s | 17 | 934513 | 210232 | 9903 53 | 0 | 0
446.62/446.75 c 438s | 17 | 938014 | 211232 | 9903 53 | 0 | 0
448.72/448.89 c 440s | 17 | 942301 | 212532 | 9903 53 | 0 | 0
450.81/450.97 c 442s | 17 | 947285 | 213732 | 9903 53 | 0 | 0
453.01/453.10 c 444s | 17 | 951158 | 214532 | 9903 53 | 0 | 0
455.01/455.19 c 447s | 17 | 955415 | 215532 | 9903 54 | 0 | 0
457.11/457.27 c 449s | 17 | 959335 | 216532 | 9903 54 | 0 | 0
459.31/459.45 c 451s | 17 | 962960 | 217732 | 9903 54 | 0 | 0
461.31/461.49 c 453s | 17 | 966578 | 218932 | 9903 54 | 0 | 0
463.41/463.56 c 455s | 17 | 970243 | 220132 | 9903 55 | 0 | 0
465.51/465.66 c 457s | 17 | 974371 | 221332 | 9903 55 | 0 | 0
467.51/467.69 c 459s | 17 | 977953 | 222532 | 9903 55 | 0 | 0
469.71/469.82 c 461s | 17 | 982420 | 223532 | 9903 55 | 0 | 0
471.71/471.82 c 463s | 17 | 985830 | 224732 | 9903 55 | 0 | 0
473.71/473.86 c 465s | 17 | 989204 | 225832 | 9903 56 | 0 | 0
475.81/475.92 c 467s | 17 | 993622 | 227132 | 9903 56 | 0 | 0
477.92/478.01 c 469s | 17 | 999367 | 228232 | 9903 56 | 0 | 0
480.02/480.18 c 472s | 17 | 1005010 | 229432 | 9903 56 | 0 | 0
482.11/482.21 c 474s | 17 | 1008442 | 230532 | 9903 57 | 0 | 0
484.21/484.31 c 476s | 17 | 1012245 | 231632 | 9903 57 | 0 | 0
486.32/486.41 c 478s | 17 | 1015343 | 232732 | 9903 57 | 0 | 0
488.32/488.43 c 480s | 17 | 1018031 | 233732 | 9903 57 | 0 | 0
490.31/490.46 c 482s | 17 | 1021255 | 234832 | 9903 57 | 0 | 0
492.41/492.58 c 484s | 17 | 1025037 | 235832 | 9903 58 | 0 | 0
494.61/494.72 c 486s | 17 | 1028248 | 236832 | 9903 58 | 0 | 0
496.61/496.77 c 488s | 17 | 1031576 | 237832 | 9903 58 | 0 | 0
498.71/498.88 c 490s | 17 | 1035077 | 239132 | 9903 58 | 0 | 0
500.81/500.90 c 492s | 17 | 1039264 | 240232 | 9903 59 | 0 | 0
502.91/503.01 c 494s | 17 | 1043528 | 241532 | 9903 59 | 0 | 0
505.01/505.11 c 496s | 17 | 1047739 | 242732 | 9903 59 | 0 | 0
507.12/507.25 c 499s | 17 | 1052958 | 243932 | 9903 59 | 0 | 0
509.22/509.33 c 501s | 17 | 1056181 | 245032 | 9903 59 | 0 | 0
511.21/511.36 c 503s | 17 | 1060171 | 246132 | 9903 60 | 0 | 0
513.21/513.39 c 505s | 17 | 1063718 | 247232 | 9903 60 | 0 | 0
515.31/515.46 c 507s | 17 | 1067927 | 248432 | 9903 60 | 0 | 0
517.51/517.62 c 509s | 17 | 1071550 | 249732 | 9903 60 | 0 | 0
519.61/519.78 c 511s | 17 | 1078124 | 250932 | 9903 61 | 0 | 0
521.71/521.82 c 513s | 17 | 1082121 | 252132 | 9903 61 | 0 | 0
523.71/523.82 c 515s | 17 | 1085961 | 253232 | 9903 61 | 0 | 0
525.72/525.85 c 517s | 17 | 1089914 | 254332 | 9903 61 | 0 | 0
527.81/527.95 c 519s | 17 | 1093589 | 255532 | 9903 62 | 0 | 0
529.91/530.02 c 521s | 17 | 1097589 | 256632 | 9903 62 | 0 | 0
532.01/532.19 c 524s | 17 | 1102045 | 257932 | 9903 62 | 0 | 0
534.21/534.39 c 526s | 17 | 1106229 | 259032 | 9903 62 | 0 | 0
536.31/536.44 c 528s | 17 | 1110115 | 260332 | 9903 63 | 0 | 0
538.41/538.56 c 530s | 17 | 1114415 | 261432 | 9903 63 | 0 | 0
540.60/540.74 c 532s | 17 | 1118069 | 262732 | 9903 63 | 0 | 0
542.80/542.92 c 534s | 17 | 1122689 | 264032 | 9903 63 | 0 | 0
544.80/544.99 c 536s | 17 | 1125054 | 265032 | 9903 63 | 0 | 0
546.90/547.01 c 538s | 17 | 1128268 | 266132 | 9903 64 | 0 | 0
548.91/549.09 c 540s | 17 | 1131583 | 267532 | 9903 64 | 0 | 0
551.01/551.15 c 542s | 17 | 1135415 | 268832 | 9903 64 | 0 | 0
553.00/553.17 c 545s | 17 | 1138558 | 270032 | 9903 64 | 0 | 0
555.00/555.20 c 547s | 17 | 1142376 | 271432 | 9903 65 | 0 | 0
557.10/557.22 c 549s | 17 | 1144719 | 272132 | 9903 65 | 0 | 0
559.20/559.35 c 551s | 17 | 1148322 | 273232 | 9903 65 | 0 | 0
561.30/561.41 c 553s | 17 | 1151325 | 274432 | 9903 65 | 0 | 0
563.30/563.41 c 555s | 17 | 1156502 | 274932 | 9903 65 | 0 | 0
565.41/565.59 c 557s | 17 | 1160070 | 275832 | 9903 66 | 0 | 0
567.51/567.67 c 559s | 17 | 1163308 | 276932 | 9903 66 | 0 | 0
569.71/569.87 c 561s | 17 | 1169478 | 278032 | 9903 66 | 0 | 0
571.91/572.01 c 563s | 17 | 1173144 | 279232 | 9903 66 | 0 | 0
573.90/574.03 c 565s | 17 | 1176545 | 280332 | 9903 66 | 0 | 0
575.90/576.03 c 567s | 17 | 1180540 | 281432 | 9903 67 | 0 | 0
578.10/578.20 c 570s | 17 | 1184222 | 282632 | 9903 67 | 0 | 0
580.20/580.38 c 572s | 17 | 1188329 | 283832 | 9903 67 | 0 | 0
582.40/582.51 c 574s | 17 | 1192024 | 284932 | 9903 67 | 0 | 0
584.40/584.57 c 576s | 17 | 1195251 | 286032 | 9903 68 | 0 | 0
586.60/586.75 c 578s | 17 | 1198708 | 287232 | 9903 68 | 0 | 0
588.70/588.84 c 580s | 17 | 1201598 | 288132 | 9903 68 | 0 | 0
590.90/591.02 c 582s | 17 | 1204934 | 289232 | 9903 68 | 0 | 0
593.00/593.17 c 585s | 17 | 1208403 | 290332 | 9903 68 | 0 | 0
595.20/595.31 c 587s | 17 | 1213248 | 291332 | 10894 69 | 0 | 0
597.30/597.45 c 589s | 17 | 1216622 | 292432 | 10894 69 | 0 | 0
599.40/599.52 c 591s | 17 | 1220281 | 293532 | 10894 69 | 0 | 0
601.49/601.63 c 593s | 17 | 1223464 | 294632 | 10894 69 | 0 | 0
603.59/603.78 c 595s | 17 | 1226627 | 295732 | 10894 69 | 0 | 0
604.59/604.71 c 596s | 18 | 1227899 | 296252 | 10894 69 | 0 | 0
606.59/606.78 c 598s | 18 | 1230752 | 297252 | 10894 70 | 0 | 0
608.69/608.84 c 600s | 18 | 1234243 | 298352 | 10894 70 | 0 | 0
610.79/610.91 c 602s | 18 | 1237540 | 299352 | 10894 70 | 0 | 0
612.89/613.00 c 604s | 18 | 1240536 | 300452 | 10894 70 | 0 | 0
614.89/615.02 c 606s | 18 | 1244027 | 301552 | 10894 70 | 0 | 0
616.89/617.03 c 608s | 18 | 1247217 | 302652 | 10894 71 | 0 | 0
618.89/619.04 c 610s | 18 | 1251203 | 303852 | 10894 71 | 0 | 0
620.99/621.14 c 612s | 18 | 1255397 | 305152 | 10894 71 | 0 | 0
623.39/623.56 c 615s | 18 | 1259351 | 306552 | 10894 71 | 0 | 0
625.59/625.77 c 617s | 18 | 1265468 | 307552 | 10894 71 | 0 | 0
627.79/627.91 c 619s | 18 | 1269418 | 308652 | 10894 72 | 0 | 0
629.89/630.07 c 621s | 18 | 1273460 | 309952 | 10894 72 | 0 | 0
631.99/632.19 c 624s | 18 | 1276900 | 311052 | 10894 72 | 0 | 0
634.09/634.20 c 626s | 18 | 1280214 | 312252 | 10894 72 | 0 | 0
636.09/636.28 c 628s | 18 | 1283994 | 313352 | 10894 73 | 0 | 0
638.19/638.30 c 630s | 18 | 1287148 | 314552 | 10894 73 | 0 | 0
640.19/640.39 c 632s | 18 | 1290383 | 315852 | 10894 73 | 0 | 0
642.29/642.42 c 634s | 18 | 1293625 | 317052 | 10894 73 | 0 | 0
644.29/644.45 c 636s | 18 | 1297318 | 318252 | 10894 73 | 0 | 0
646.49/646.61 c 638s | 18 | 1302666 | 319552 | 10894 74 | 0 | 0
648.49/648.63 c 640s | 18 | 1308365 | 320752 | 10894 74 | 0 | 0
650.59/650.75 c 642s | 18 | 1312648 | 321752 | 10894 74 | 0 | 0
652.59/652.78 c 644s | 18 | 1317223 | 322652 | 10894 74 | 0 | 0
654.68/654.84 c 646s | 18 | 1320701 | 323752 | 10894 74 | 0 | 0
656.69/656.84 c 648s | 18 | 1324137 | 324852 | 10894 75 | 0 | 0
658.79/658.92 c 650s | 18 | 1327711 | 325852 | 10894 75 | 0 | 0
660.78/660.99 c 652s | 18 | 1331713 | 327052 | 10894 75 | 0 | 0
662.98/663.12 c 654s | 18 | 1335378 | 328152 | 10894 75 | 0 | 0
664.98/665.19 c 657s | 18 | 1339646 | 329252 | 10894 75 | 0 | 0
667.08/667.27 c 659s | 18 | 1343751 | 330552 | 10894 76 | 0 | 0
669.18/669.34 c 661s | 18 | 1347795 | 331752 | 10894 76 | 0 | 0
671.28/671.48 c 663s | 18 | 1352036 | 332952 | 10894 76 | 0 | 0
673.38/673.57 c 665s | 18 | 1355376 | 334152 | 10894 76 | 0 | 0
675.48/675.66 c 667s | 18 | 1358798 | 335352 | 10894 76 | 0 | 0
677.59/677.78 c 669s | 18 | 1362899 | 336752 | 10894 77 | 0 | 0
679.69/679.81 c 671s | 18 | 1366288 | 338052 | 10894 77 | 0 | 0
681.78/681.92 c 673s | 18 | 1370224 | 339452 | 10894 77 | 0 | 0
683.98/684.11 c 675s | 18 | 1376915 | 340552 | 10894 77 | 0 | 0
686.08/686.27 c 678s | 18 | 1380365 | 341552 | 10894 78 | 0 | 0
688.18/688.32 c 680s | 18 | 1383543 | 342752 | 10894 78 | 0 | 0
690.18/690.36 c 682s | 18 | 1386928 | 344152 | 10894 78 | 0 | 0
692.28/692.41 c 684s | 18 | 1389906 | 345452 | 10894 78 | 0 | 0
694.28/694.47 c 686s | 18 | 1393503 | 346752 | 10894 79 | 0 | 0
696.29/696.47 c 688s | 18 | 1397356 | 348152 | 10894 79 | 0 | 0
698.48/698.66 c 690s | 18 | 1401004 | 349452 | 10894 79 | 0 | 0
700.58/700.80 c 692s | 18 | 1405062 | 350752 | 10894 79 | 0 | 0
702.68/702.85 c 694s | 18 | 1408474 | 352052 | 10894 79 | 0 | 0
704.68/704.88 c 696s | 18 | 1411449 | 353252 | 10894 80 | 0 | 0
706.78/706.94 c 698s | 18 | 1415168 | 354352 | 10894 80 | 0 | 0
708.88/709.10 c 700s | 18 | 1419225 | 355452 | 10894 80 | 0 | 0
710.98/711.16 c 703s | 18 | 1422793 | 356652 | 10894 80 | 0 | 0
713.07/713.26 c 705s | 18 | 1426454 | 357752 | 10894 81 | 0 | 0
715.08/715.27 c 707s | 18 | 1429838 | 358852 | 10894 81 | 0 | 0
717.18/717.39 c 709s | 18 | 1434048 | 360152 | 10894 81 | 0 | 0
719.28/719.41 c 711s | 18 | 1437348 | 361352 | 10894 81 | 0 | 0
721.37/721.53 c 713s | 18 | 1441017 | 362552 | 10894 81 | 0 | 0
723.47/723.60 c 715s | 18 | 1445315 | 363652 | 10894 82 | 0 | 0
725.57/725.70 c 717s | 18 | 1449369 | 364552 | 10894 82 | 0 | 0
727.57/727.75 c 719s | 18 | 1452584 | 365452 | 10894 82 | 0 | 0
729.77/729.92 c 721s | 18 | 1457362 | 366652 | 10894 82 | 0 | 0
731.77/731.99 c 723s | 18 | 1460550 | 367752 | 10894 82 | 0 | 0
733.97/734.14 c 725s | 18 | 1464288 | 368852 | 10894 82 | 0 | 0
736.17/736.32 c 728s | 18 | 1468515 | 369852 | 10894 83 | 0 | 0
738.27/738.43 c 730s | 18 | 1472785 | 370852 | 10894 83 | 0 | 0
740.36/740.57 c 732s | 18 | 1476349 | 372152 | 10894 83 | 0 | 0
742.56/742.70 c 734s | 18 | 1482590 | 373152 | 10894 83 | 0 | 0
744.67/744.88 c 736s | 18 | 1486304 | 374052 | 10894 83 | 0 | 0
746.77/746.98 c 738s | 18 | 1489749 | 375152 | 10894 84 | 0 | 0
748.86/749.08 c 740s | 18 | 1494495 | 376152 | 10894 84 | 0 | 0
750.96/751.14 c 742s | 18 | 1497852 | 377052 | 10894 84 | 0 | 0
752.96/753.16 c 745s | 18 | 1502608 | 378252 | 10894 84 | 0 | 0
755.06/755.26 c 747s | 18 | 1507057 | 379252 | 10894 84 | 0 | 0
757.16/757.38 c 749s | 18 | 1510715 | 380152 | 10894 85 | 0 | 0
759.36/759.56 c 751s | 18 | 1514792 | 381452 | 10894 85 | 0 | 0
761.45/761.64 c 753s | 18 | 1518311 | 382452 | 10894 85 | 0 | 0
763.55/763.77 c 755s | 18 | 1521609 | 383452 | 10894 85 | 0 | 0
765.75/765.93 c 757s | 18 | 1525620 | 384552 | 10894 85 | 0 | 0
767.95/768.11 c 759s | 18 | 1529812 | 385552 | 10894 85 | 0 | 0
769.95/770.18 c 762s | 18 | 1532654 | 386652 | 10894 86 | 0 | 0
772.05/772.23 c 764s | 18 | 1535636 | 387952 | 10894 86 | 0 | 0
774.15/774.40 c 766s | 18 | 1540120 | 389052 | 10894 86 | 0 | 0
776.25/776.47 c 768s | 18 | 1544084 | 390152 | 10894 86 | 0 | 0
778.45/778.65 c 770s | 18 | 1548432 | 391352 | 10894 87 | 0 | 0
780.44/780.68 c 772s | 18 | 1553455 | 392452 | 10894 87 | 0 | 0
782.54/782.76 c 774s | 18 | 1556935 | 393552 | 10894 87 | 0 | 0
784.54/784.77 c 776s | 18 | 1561206 | 394852 | 10894 87 | 0 | 0
786.74/786.90 c 778s | 18 | 1565617 | 395752 | 10894 87 | 0 | 0
788.74/788.95 c 780s | 18 | 1570052 | 396852 | 10894 88 | 0 | 0
790.74/790.97 c 782s | 18 | 1573105 | 397952 | 10894 88 | 0 | 0
792.94/793.11 c 784s | 18 | 1577076 | 398852 | 10894 88 | 0 | 0
794.94/795.15 c 787s | 18 | 1580835 | 400052 | 10894 88 | 0 | 0
797.04/797.22 c 789s | 18 | 1583542 | 401052 | 10894 88 | 0 | 0
799.04/799.22 c 791s | 18 | 1586528 | 402252 | 10894 88 | 0 | 0
801.03/801.26 c 793s | 18 | 1589696 | 403552 | 10894 89 | 0 | 0
803.13/803.34 c 795s | 18 | 1593636 | 404952 | 10894 89 | 0 | 0
805.23/805.46 c 797s | 18 | 1596775 | 406352 | 10894 89 | 0 | 0
807.43/807.67 c 799s | 18 | 1600781 | 407452 | 10894 89 | 0 | 0
809.54/809.72 c 801s | 18 | 1604332 | 408652 | 10894 90 | 0 | 0
811.53/811.79 c 803s | 18 | 1609403 | 409752 | 10894 90 | 0 | 0
813.63/813.86 c 805s | 18 | 1614027 | 411052 | 10894 90 | 0 | 0
815.73/815.98 c 807s | 18 | 1617908 | 412352 | 10894 90 | 0 | 0
817.83/818.08 c 809s | 18 | 1620930 | 413552 | 10894 91 | 0 | 0
819.93/820.12 c 811s | 18 | 1624736 | 414752 | 10894 91 | 0 | 0
821.93/822.17 c 814s | 18 | 1628172 | 415952 | 10894 91 | 0 | 0
824.03/824.27 c 816s | 18 | 1631884 | 417252 | 10894 91 | 0 | 0
826.13/826.34 c 818s | 18 | 1635070 | 418352 | 10894 91 | 0 | 0
828.23/828.43 c 820s | 18 | 1638506 | 419652 | 10894 92 | 0 | 0
830.33/830.55 c 822s | 18 | 1642312 | 420952 | 10894 92 | 0 | 0
832.32/832.57 c 824s | 18 | 1645353 | 422152 | 10894 92 | 0 | 0
834.42/834.68 c 826s | 18 | 1648918 | 423452 | 10894 92 | 0 | 0
836.52/836.70 c 828s | 18 | 1652042 | 424552 | 10894 93 | 0 | 0
838.52/838.76 c 830s | 18 | 1655108 | 425852 | 10894 93 | 0 | 0
840.52/840.78 c 832s | 18 | 1658219 | 427152 | 10894 93 | 0 | 0
842.62/842.87 c 834s | 18 | 1661481 | 428452 | 10894 93 | 0 | 0
844.72/844.92 c 836s | 18 | 1664660 | 429652 | 10894 93 | 0 | 0
846.72/847.00 c 838s | 18 | 1668308 | 430952 | 10894 94 | 0 | 0
848.82/849.04 c 840s | 18 | 1671933 | 432252 | 10894 94 | 0 | 0
851.01/851.22 c 843s | 18 | 1675322 | 433652 | 10894 94 | 0 | 0
853.01/853.24 c 845s | 18 | 1678829 | 434752 | 10894 94 | 0 | 0
855.01/855.24 c 847s | 18 | 1681603 | 435852 | 10894 95 | 0 | 0
857.11/857.30 c 849s | 18 | 1684904 | 437152 | 10894 95 | 0 | 0
859.11/859.32 c 851s | 18 | 1688764 | 438552 | 11984 95 | 0 | 0
861.22/861.42 c 853s | 18 | 1692183 | 439852 | 11984 95 | 0 | 0
863.32/863.59 c 855s | 18 | 1695659 | 441252 | 11984 95 | 0 | 0
865.53/865.72 c 857s | 18 | 1698097 | 442152 | 11984 95 | 0 | 0
867.52/867.77 c 859s | 18 | 1701301 | 443252 | 11984 96 | 0 | 0
869.42/869.67 c 861s | 19 | 1704188 | 444482 | 11984 96 | 0 | 0
871.52/871.79 c 863s | 19 | 1707722 | 445782 | 11984 96 | 0 | 0
873.91/874.19 c 866s | 19 | 1709078 | 446382 | 11984 96 | 0 | 0
876.01/876.22 c 868s | 19 | 1711840 | 447282 | 11984 96 | 0 | 0
878.01/878.26 c 870s | 19 | 1717157 | 448282 | 11984 96 | 0 | 0
880.11/880.35 c 872s | 19 | 1719856 | 449482 | 11984 97 | 0 | 0
882.12/882.39 c 874s | 19 | 1723633 | 450682 | 11984 97 | 0 | 0
884.32/884.53 c 876s | 19 | 1727470 | 451982 | 11984 97 | 0 | 0
886.31/886.57 c 878s | 19 | 1731511 | 453282 | 11984 97 | 0 | 0
888.51/888.71 c 880s | 19 | 1735312 | 454382 | 11984 97 | 0 | 0
890.51/890.76 c 882s | 19 | 1740295 | 455382 | 11984 98 | 0 | 0
892.61/892.84 c 884s | 19 | 1744822 | 456482 | 11984 98 | 0 | 0
894.71/894.92 c 886s | 19 | 1749878 | 457782 | 11984 98 | 0 | 0
896.71/896.98 c 888s | 19 | 1753304 | 458882 | 11984 98 | 0 | 0
898.91/899.12 c 890s | 19 | 1756275 | 460082 | 11984 98 | 0 | 0
901.00/901.23 c 893s | 19 | 1759881 | 461282 | 11984 99 | 0 | 0
903.10/903.31 c 895s | 19 | 1764159 | 462582 | 11984 99 | 0 | 0
905.21/905.46 c 897s | 19 | 1767835 | 463882 | 11984 99 | 0 | 0
907.31/907.53 c 899s | 19 | 1770690 | 465082 | 11984 99 | 0 | 0
909.30/909.55 c 901s | 19 | 1774169 | 466282 | 11984 99 | 0 | 0
911.30/911.59 c 903s | 19 | 1777701 | 467482 | 11984 100 | 0 | 0
913.50/913.71 c 905s | 19 | 1781301 | 468682 | 11984 100 | 0 | 0
915.50/915.75 c 907s | 19 | 1784791 | 469882 | 11984 100 | 0 | 0
917.50/917.75 c 909s | 19 | 1787714 | 470982 | 11984 100 | 0 | 0
919.59/919.84 c 911s | 19 | 1790350 | 471982 | 11984 100 | 0 | 0
921.70/921.93 c 913s | 19 | 1793583 | 473082 | 11984 101 | 0 | 0
923.69/923.98 c 915s | 19 | 1797347 | 474382 | 11984 101 | 0 | 0
925.79/926.06 c 917s | 19 | 1800936 | 475482 | 11984 101 | 0 | 0
927.99/928.28 c 920s | 19 | 1804273 | 476582 | 11984 101 | 0 | 0
930.19/930.42 c 922s | 19 | 1807128 | 477582 | 11984 101 | 0 | 0
932.19/932.46 c 924s | 19 | 1810367 | 478682 | 11984 101 | 0 | 0
934.19/934.48 c 926s | 19 | 1813859 | 479782 | 11984 102 | 0 | 0
936.38/936.64 c 928s | 19 | 1816988 | 480982 | 11984 102 | 0 | 0
938.48/938.74 c 930s | 19 | 1819980 | 482182 | 11984 102 | 0 | 0
940.58/940.87 c 932s | 19 | 1822983 | 483282 | 11984 102 | 0 | 0
942.78/943.01 c 934s | 19 | 1825811 | 484382 | 11984 102 | 0 | 0
944.88/945.10 c 936s | 19 | 1829388 | 485582 | 11984 103 | 0 | 0
946.88/947.16 c 939s | 19 | 1832735 | 486782 | 11984 103 | 0 | 0
949.08/949.31 c 941s | 19 | 1835504 | 487982 | 11984 103 | 0 | 0
951.17/951.42 c 943s | 19 | 1838969 | 489182 | 11984 103 | 0 | 0
953.27/953.51 c 945s | 19 | 1842248 | 490382 | 11984 103 | 0 | 0
955.27/955.54 c 947s | 19 | 1845016 | 491482 | 11984 104 | 0 | 0
957.27/957.56 c 949s | 19 | 1848391 | 492682 | 11984 104 | 0 | 0
959.47/959.75 c 951s | 19 | 1850588 | 493582 | 11984 104 | 0 | 0
961.67/961.90 c 953s | 19 | 1853805 | 494782 | 11984 104 | 0 | 0
963.66/963.94 c 955s | 19 | 1857496 | 495982 | 11984 104 | 0 | 0
965.67/965.95 c 957s | 19 | 1860893 | 497082 | 11984 104 | 0 | 0
967.66/968.00 c 959s | 19 | 1865077 | 498182 | 11984 105 | 0 | 0
969.76/970.02 c 961s | 19 | 1868239 | 499282 | 11984 105 | 0 | 0
971.76/972.05 c 963s | 19 | 1871344 | 500382 | 11984 105 | 0 | 0
973.76/974.09 c 965s | 19 | 1874882 | 501582 | 11984 105 | 0 | 0
975.86/976.11 c 967s | 19 | 1878431 | 502882 | 11984 105 | 0 | 0
977.96/978.27 c 970s | 19 | 1882079 | 503982 | 11984 106 | 0 | 0
980.06/980.32 c 972s | 19 | 1885650 | 505082 | 11984 106 | 0 | 0
982.16/982.49 c 974s | 19 | 1888873 | 506282 | 11984 106 | 0 | 0
984.36/984.66 c 976s | 19 | 1892195 | 507482 | 11984 106 | 0 | 0
986.46/986.80 c 978s | 19 | 1896231 | 508682 | 11984 106 | 0 | 0
988.66/988.99 c 980s | 19 | 1900066 | 509982 | 11984 107 | 0 | 0
990.75/991.06 c 982s | 19 | 1903084 | 511182 | 11984 107 | 0 | 0
992.75/993.09 c 984s | 19 | 1906380 | 512282 | 11984 107 | 0 | 0
994.94/995.27 c 987s | 19 | 1909475 | 513382 | 11984 107 | 0 | 0
997.14/997.40 c 989s | 19 | 1912463 | 514582 | 11984 107 | 0 | 0
999.24/999.58 c 991s | 19 | 1915984 | 515782 | 11984 108 | 0 | 0
1001.44/1001.72 c 993s | 19 | 1919808 | 516882 | 11984 108 | 0 | 0
1003.44/1003.76 c 995s | 19 | 1922918 | 517982 | 11984 108 | 0 | 0
1005.64/1005.90 c 997s | 19 | 1925649 | 519082 | 11984 108 | 0 | 0
1007.64/1007.94 c 999s | 19 | 1928352 | 520182 | 11984 108 | 0 | 0
1009.73/1010.08 c 1001s | 19 | 1931827 | 521482 | 11984 108 | 0 | 0
1011.84/1012.19 c 1004s | 19 | 1935585 | 522782 | 11984 109 | 0 | 0
1014.04/1014.32 c 1006s | 19 | 1938932 | 523982 | 11984 109 | 0 | 0
1016.14/1016.43 c 1008s | 19 | 1942072 | 525082 | 11984 109 | 0 | 0
1018.13/1018.49 c 1010s | 19 | 1945353 | 526282 | 11984 109 | 0 | 0
1020.23/1020.55 c 1012s | 19 | 1949295 | 527582 | 11984 109 | 0 | 0
1022.33/1022.62 c 1014s | 19 | 1953027 | 528782 | 11984 110 | 0 | 0
1024.33/1024.65 c 1016s | 19 | 1956361 | 530082 | 11984 110 | 0 | 0
1026.43/1026.75 c 1018s | 19 | 1960710 | 531382 | 11984 110 | 0 | 0
1028.53/1028.84 c 1020s | 19 | 1964211 | 532682 | 11984 110 | 0 | 0
1030.54/1030.86 c 1022s | 19 | 1967945 | 534082 | 11984 111 | 0 | 0
1032.64/1032.97 c 1024s | 19 | 1970839 | 535182 | 11984 111 | 0 | 0
1034.73/1035.04 c 1026s | 19 | 1973595 | 536382 | 11984 111 | 0 | 0
1037.13/1037.45 c 1029s | 19 | 1974818 | 536882 | 11984 111 | 0 | 0
1039.23/1039.51 c 1031s | 19 | 1977902 | 537882 | 11984 111 | 0 | 0
1041.22/1041.58 c 1033s | 19 | 1980107 | 538682 | 11984 111 | 0 | 0
1043.42/1043.71 c 1035s | 19 | 1982964 | 539782 | 11984 111 | 0 | 0
1045.42/1045.77 c 1037s | 19 | 1986108 | 540982 | 11984 112 | 0 | 0
1047.52/1047.88 c 1039s | 19 | 1989597 | 542282 | 11984 112 | 0 | 0
1049.72/1050.02 c 1041s | 19 | 1992715 | 543482 | 11984 112 | 0 | 0
1051.82/1052.11 c 1043s | 19 | 1995832 | 544582 | 11984 112 | 0 | 0
1053.92/1054.23 c 1046s | 19 | 1999196 | 545782 | 11984 112 | 0 | 0
1056.02/1056.31 c 1048s | 19 | 2002701 | 546982 | 11984 113 | 0 | 0
1058.22/1058.50 c 1050s | 19 | 2007180 | 548282 | 11984 113 | 0 | 0
1060.32/1060.61 c 1052s | 19 | 2010584 | 549482 | 11984 113 | 0 | 0
1062.33/1062.63 c 1054s | 19 | 2013902 | 550582 | 11984 113 | 0 | 0
1064.32/1064.64 c 1056s | 19 | 2017738 | 551782 | 11984 113 | 0 | 0
1066.42/1066.76 c 1058s | 19 | 2020971 | 552882 | 11984 114 | 0 | 0
1068.52/1068.85 c 1060s | 19 | 2024815 | 553982 | 11984 114 | 0 | 0
1070.62/1070.98 c 1062s | 19 | 2028620 | 555282 | 11984 114 | 0 | 0
1072.82/1073.14 c 1064s | 19 | 2032212 | 556582 | 11984 114 | 0 | 0
1074.82/1075.16 c 1067s | 19 | 2035869 | 557682 | 11984 114 | 0 | 0
1076.91/1077.28 c 1069s | 19 | 2039121 | 558782 | 11984 115 | 0 | 0
1079.02/1079.36 c 1071s | 19 | 2042480 | 560082 | 11984 115 | 0 | 0
1081.12/1081.46 c 1073s | 19 | 2045589 | 561182 | 11984 115 | 0 | 0
1083.22/1083.55 c 1075s | 19 | 2049155 | 562282 | 11984 115 | 0 | 0
1085.21/1085.59 c 1077s | 19 | 2052620 | 563582 | 11984 115 | 0 | 0
1087.41/1087.71 c 1079s | 19 | 2055906 | 564782 | 11984 116 | 0 | 0
1089.61/1089.93 c 1081s | 19 | 2059979 | 565982 | 11984 116 | 0 | 0
1091.61/1091.96 c 1083s | 19 | 2063308 | 567182 | 11984 116 | 0 | 0
1093.71/1094.09 c 1085s | 19 | 2066377 | 568382 | 11984 116 | 0 | 0
1095.80/1096.14 c 1087s | 19 | 2069435 | 569582 | 11984 116 | 0 | 0
1097.80/1098.15 c 1090s | 19 | 2072478 | 570582 | 11984 117 | 0 | 0
1099.91/1100.28 c 1092s | 19 | 2075617 | 571682 | 11984 117 | 0 | 0
1102.02/1102.39 c 1094s | 19 | 2079288 | 572882 | 11984 117 | 0 | 0
1104.12/1104.43 c 1096s | 19 | 2082966 | 574082 | 11984 117 | 0 | 0
1106.21/1106.52 c 1098s | 19 | 2086506 | 575282 | 11984 117 | 0 | 0
1108.31/1108.64 c 1100s | 19 | 2090049 | 576482 | 11984 117 | 0 | 0
1110.30/1110.65 c 1102s | 19 | 2092848 | 577482 | 11984 118 | 0 | 0
1112.50/1112.81 c 1104s | 19 | 2095753 | 578582 | 11984 118 | 0 | 0
1114.50/1114.83 c 1106s | 19 | 2098218 | 579582 | 11984 118 | 0 | 0
1116.60/1116.98 c 1108s | 19 | 2101680 | 580782 | 11984 118 | 0 | 0
1118.80/1119.13 c 1110s | 19 | 2104432 | 581882 | 11984 118 | 0 | 0
1120.80/1121.17 c 1113s | 19 | 2107003 | 582882 | 11984 119 | 0 | 0
1122.90/1123.26 c 1115s | 19 | 2110260 | 584182 | 11984 119 | 0 | 0
1125.00/1125.32 c 1117s | 19 | 2113303 | 585282 | 11984 119 | 0 | 0
1127.00/1127.39 c 1119s | 19 | 2117420 | 586582 | 11984 119 | 0 | 0
1129.10/1129.40 c 1121s | 19 | 2121379 | 587882 | 11984 119 | 0 | 0
1131.10/1131.41 c 1123s | 19 | 2124375 | 589182 | 11984 120 | 0 | 0
1133.20/1133.51 c 1125s | 19 | 2127877 | 590482 | 11984 120 | 0 | 0
1135.20/1135.57 c 1127s | 19 | 2131706 | 591682 | 11984 120 | 0 | 0
1137.30/1137.62 c 1129s | 19 | 2134485 | 592782 | 11984 120 | 0 | 0
1139.49/1139.81 c 1131s | 19 | 2137240 | 594082 | 11984 120 | 0 | 0
1141.60/1141.92 c 1133s | 19 | 2140257 | 595182 | 11984 121 | 0 | 0
1143.70/1144.01 c 1135s | 19 | 2143183 | 596382 | 11984 121 | 0 | 0
1145.79/1146.14 c 1137s | 19 | 2146610 | 597582 | 11984 121 | 0 | 0
1147.89/1148.24 c 1140s | 19 | 2149825 | 598782 | 11984 121 | 0 | 0
1149.89/1150.28 c 1142s | 19 | 2152929 | 599882 | 11984 121 | 0 | 0
1151.99/1152.35 c 1144s | 19 | 2156602 | 601082 | 11984 122 | 0 | 0
1154.09/1154.46 c 1146s | 19 | 2159497 | 602182 | 11984 122 | 0 | 0
1156.19/1156.51 c 1148s | 19 | 2162683 | 603382 | 11984 122 | 0 | 0
1158.29/1158.60 c 1150s | 19 | 2165705 | 604682 | 11984 122 | 0 | 0
1160.30/1160.68 c 1152s | 19 | 2169094 | 605882 | 11984 122 | 0 | 0
1162.40/1162.80 c 1154s | 19 | 2172575 | 607182 | 11984 123 | 0 | 0
1164.60/1164.91 c 1156s | 19 | 2175479 | 608282 | 11984 123 | 0 | 0
1166.59/1166.92 c 1158s | 19 | 2179134 | 609682 | 11984 123 | 0 | 0
1168.59/1168.99 c 1160s | 19 | 2182250 | 610982 | 11984 123 | 0 | 0
1170.68/1171.00 c 1162s | 19 | 2185474 | 612282 | 11984 123 | 0 | 0
1172.68/1173.09 c 1164s | 19 | 2188357 | 613282 | 11984 124 | 0 | 0
1174.78/1175.13 c 1166s | 19 | 2191483 | 614382 | 11984 124 | 0 | 0
1176.79/1177.19 c 1169s | 19 | 2194475 | 615582 | 11984 124 | 0 | 0
1179.58/1179.96 c 1171s | 19 | 2197528 | 616882 | 11984 124 | 0 | 0
1181.77/1182.12 c 1173s | 19 | 2200239 | 617782 | 11984 124 | 0 | 0
1183.87/1184.29 c 1176s | 19 | 2203857 | 618982 | 11984 124 | 0 | 0
1185.97/1186.33 c 1178s | 19 | 2208870 | 620082 | 11984 125 | 0 | 0
1188.07/1188.47 c 1180s | 19 | 2212865 | 621482 | 11984 125 | 0 | 0
1190.27/1190.61 c 1182s | 19 | 2217002 | 622782 | 11984 125 | 0 | 0
1192.27/1192.64 c 1184s | 19 | 2220100 | 623982 | 11984 125 | 0 | 0
1194.47/1194.80 c 1186s | 19 | 2223724 | 625182 | 11984 125 | 0 | 0
1196.48/1196.83 c 1188s | 19 | 2227096 | 626382 | 11984 126 | 0 | 0
1198.57/1198.98 c 1190s | 19 | 2230735 | 627582 | 11984 126 | 0 | 0
1200.77/1201.10 c 1192s | 19 | 2234294 | 628782 | 11984 126 | 0 | 0
1202.77/1203.19 c 1195s | 19 | 2237681 | 629882 | 11984 126 | 0 | 0
1204.97/1205.35 c 1197s | 19 | 2241778 | 630882 | 11984 126 | 0 | 0
1207.07/1207.42 c 1199s | 19 | 2244829 | 631882 | 11984 127 | 0 | 0
1209.17/1209.53 c 1201s | 19 | 2248563 | 632982 | 11984 127 | 0 | 0
1211.26/1211.69 c 1203s | 19 | 2254490 | 634082 | 11984 127 | 0 | 0
1213.36/1213.70 c 1205s | 19 | 2257216 | 635082 | 11984 127 | 0 | 0
1215.46/1215.83 c 1207s | 19 | 2261219 | 636382 | 11984 127 | 0 | 0
1217.47/1217.85 c 1209s | 19 | 2264310 | 637482 | 11984 127 | 0 | 0
1219.46/1219.89 c 1211s | 19 | 2270632 | 638482 | 11984 128 | 0 | 0
1221.55/1221.92 c 1213s | 19 | 2275262 | 639582 | 11984 128 | 0 | 0
1223.65/1224.08 c 1215s | 19 | 2278322 | 640682 | 11984 128 | 0 | 0
1225.85/1226.21 c 1218s | 19 | 2281559 | 641882 | 11984 128 | 0 | 0
1227.95/1228.32 c 1220s | 19 | 2284717 | 643082 | 11984 128 | 0 | 0
1229.95/1230.34 c 1222s | 19 | 2287824 | 644282 | 11984 129 | 0 | 0
1232.05/1232.48 c 1224s | 19 | 2291308 | 645582 | 11984 129 | 0 | 0
1234.15/1234.53 c 1226s | 19 | 2296147 | 646782 | 11984 129 | 0 | 0
1236.15/1236.55 c 1228s | 19 | 2299134 | 647982 | 11984 129 | 0 | 0
1238.25/1238.62 c 1230s | 19 | 2303073 | 649282 | 11984 129 | 0 | 0
1240.34/1240.70 c 1232s | 19 | 2306299 | 650482 | 11984 130 | 0 | 0
1242.44/1242.84 c 1234s | 19 | 2310642 | 651782 | 11984 130 | 0 | 0
1244.54/1244.91 c 1236s | 19 | 2314040 | 653082 | 11984 130 | 0 | 0
1246.64/1247.02 c 1238s | 19 | 2317894 | 654382 | 11984 130 | 0 | 0
1248.64/1249.03 c 1240s | 19 | 2320902 | 655482 | 11984 130 | 0 | 0
1250.74/1251.14 c 1242s | 19 | 2323987 | 656682 | 11984 131 | 0 | 0
1252.75/1253.20 c 1245s | 19 | 2327521 | 657582 | 11984 131 | 0 | 0
1254.85/1255.21 c 1247s | 19 | 2333581 | 658682 | 11984 131 | 0 | 0
1256.85/1257.28 c 1249s | 19 | 2336340 | 659882 | 13183 131 | 0 | 0
1259.05/1259.46 c 1251s | 19 | 2340230 | 661082 | 13183 131 | 0 | 0
1261.04/1261.48 c 1253s | 19 | 2343056 | 662282 | 13183 131 | 0 | 0
1263.04/1263.49 c 1255s | 19 | 2348018 | 663182 | 13183 132 | 0 | 0
1265.24/1265.61 c 1257s | 19 | 2350561 | 664182 | 13183 132 | 0 | 0
1267.34/1267.76 c 1259s | 19 | 2353757 | 665182 | 13183 132 | 0 | 0
1269.44/1269.87 c 1261s | 19 | 2356955 | 666182 | 13183 132 | 0 | 0
1270.93/1271.32 c 1263s | 20 | 2359073 | 666827 | 13183 132 | 0 | 0
1273.03/1273.41 c 1265s | 20 | 2362111 | 667727 | 13183 132 | 0 | 0
1275.13/1275.53 c 1267s | 20 | 2364838 | 668827 | 13183 132 | 0 | 0
1277.33/1277.78 c 1269s | 20 | 2368418 | 669927 | 13183 133 | 0 | 0
1279.43/1279.81 c 1271s | 20 | 2371141 | 670827 | 13183 133 | 0 | 0
1281.43/1281.84 c 1273s | 20 | 2374197 | 671827 | 13183 133 | 0 | 0
1283.53/1283.91 c 1275s | 20 | 2377017 | 672827 | 13183 133 | 0 | 0
1285.54/1285.95 c 1277s | 20 | 2379255 | 673827 | 13183 133 | 0 | 0
1287.74/1288.14 c 1279s | 20 | 2382325 | 674827 | 13183 133 | 0 | 0
1289.82/1290.30 c 1282s | 20 | 2385035 | 675927 | 13183 133 | 0 | 0
1291.92/1292.33 c 1284s | 20 | 2387590 | 677027 | 13183 134 | 0 | 0
1294.02/1294.42 c 1286s | 20 | 2392241 | 678027 | 13183 134 | 0 | 0
1296.12/1296.59 c 1288s | 20 | 2395468 | 679227 | 13183 134 | 0 | 0
1298.32/1298.77 c 1290s | 20 | 2398537 | 680427 | 13183 134 | 0 | 0
1300.42/1300.81 c 1292s | 20 | 2401471 | 681527 | 13183 134 | 0 | 0
1302.52/1302.98 c 1294s | 20 | 2405026 | 682727 | 13183 134 | 0 | 0
1304.72/1305.16 c 1297s | 20 | 2408487 | 683827 | 13183 135 | 0 | 0
1306.82/1307.23 c 1299s | 20 | 2411873 | 685027 | 13183 135 | 0 | 0
1308.92/1309.30 c 1301s | 20 | 2415189 | 686327 | 13183 135 | 0 | 0
1311.02/1311.42 c 1303s | 20 | 2418204 | 687227 | 13183 135 | 0 | 0
1313.13/1313.53 c 1305s | 20 | 2422180 | 688527 | 13183 135 | 0 | 0
1315.12/1315.57 c 1307s | 20 | 2426816 | 689627 | 13183 135 | 0 | 0
1317.12/1317.58 c 1309s | 20 | 2430430 | 690827 | 13183 136 | 0 | 0
1319.32/1319.73 c 1311s | 20 | 2433827 | 692027 | 13183 136 | 0 | 0
1321.42/1321.89 c 1313s | 20 | 2437027 | 693227 | 13183 136 | 0 | 0
1323.51/1323.97 c 1315s | 20 | 2440179 | 694427 | 13183 136 | 0 | 0
1325.61/1326.06 c 1317s | 20 | 2443216 | 695527 | 13183 136 | 0 | 0
1327.91/1328.32 c 1320s | 20 | 2446531 | 696727 | 13183 137 | 0 | 0
1329.91/1330.33 c 1322s | 20 | 2449518 | 697827 | 13183 137 | 0 | 0
1332.01/1332.40 c 1324s | 20 | 2454789 | 698927 | 13183 137 | 0 | 0
1334.02/1334.47 c 1326s | 20 | 2458279 | 700027 | 13183 137 | 0 | 0
1336.12/1336.55 c 1328s | 20 | 2460734 | 701027 | 13183 137 | 0 | 0
1338.21/1338.66 c 1330s | 20 | 2463392 | 702027 | 13183 137 | 0 | 0
1340.31/1340.78 c 1332s | 20 | 2466305 | 703227 | 13183 137 | 0 | 0
1342.41/1342.82 c 1334s | 20 | 2469363 | 704327 | 13183 138 | 0 | 0
1344.51/1344.95 c 1336s | 20 | 2473319 | 705727 | 13183 138 | 0 | 0
1346.71/1347.12 c 1338s | 20 | 2476169 | 706827 | 13183 138 | 0 | 0
1348.71/1349.19 c 1341s | 20 | 2479448 | 707927 | 13183 138 | 0 | 0
1350.80/1351.26 c 1343s | 20 | 2482209 | 709027 | 13183 138 | 0 | 0
1352.90/1353.30 c 1345s | 20 | 2485485 | 710227 | 13183 139 | 0 | 0
1354.91/1355.39 c 1347s | 20 | 2488969 | 711527 | 13183 139 | 0 | 0
1357.01/1357.43 c 1349s | 20 | 2492310 | 712727 | 13183 139 | 0 | 0
1359.00/1359.45 c 1351s | 20 | 2496399 | 714027 | 13183 139 | 0 | 0
1361.79/1362.28 c 1354s | 20 | 2498456 | 714827 | 13183 139 | 0 | 0
1363.89/1364.38 c 1356s | 20 | 2500854 | 715627 | 13183 139 | 0 | 0
1366.09/1366.51 c 1358s | 20 | 2503734 | 716627 | 13183 139 | 0 | 0
1368.10/1368.55 c 1360s | 20 | 2507138 | 717627 | 13183 140 | 0 | 0
1370.20/1370.64 c 1362s | 20 | 2510905 | 718927 | 13183 140 | 0 | 0
1372.29/1372.71 c 1364s | 20 | 2514122 | 720127 | 13183 140 | 0 | 0
1374.39/1374.88 c 1366s | 20 | 2518214 | 721327 | 13183 140 | 0 | 0
1376.59/1377.01 c 1368s | 20 | 2523659 | 722227 | 13183 140 | 0 | 0
1378.69/1379.12 c 1370s | 20 | 2527322 | 723427 | 13183 140 | 0 | 0
1380.69/1381.14 c 1372s | 20 | 2530811 | 724727 | 13183 141 | 0 | 0
1382.69/1383.17 c 1375s | 20 | 2534162 | 725927 | 13183 141 | 0 | 0
1384.89/1385.33 c 1377s | 20 | 2538190 | 726927 | 13183 141 | 0 | 0
1386.99/1387.44 c 1379s | 20 | 2544018 | 727827 | 13183 141 | 0 | 0
1388.99/1389.45 c 1381s | 20 | 2548021 | 728927 | 13183 141 | 0 | 0
1391.19/1391.65 c 1383s | 20 | 2552943 | 729927 | 13183 141 | 0 | 0
1393.39/1393.82 c 1385s | 20 | 2557069 | 731027 | 13183 142 | 0 | 0
1395.49/1395.93 c 1387s | 20 | 2560817 | 732127 | 13183 142 | 0 | 0
1397.49/1397.94 c 1389s | 20 | 2563714 | 733127 | 13183 142 | 0 | 0
1399.49/1399.96 c 1391s | 20 | 2566618 | 734227 | 13183 142 | 0 | 0
1401.68/1402.12 c 1393s | 20 | 2570639 | 735427 | 13183 142 | 0 | 0
1403.68/1404.18 c 1396s | 20 | 2574063 | 736427 | 13183 142 | 0 | 0
1405.78/1406.24 c 1398s | 20 | 2576814 | 737527 | 13183 143 | 0 | 0
1407.88/1408.34 c 1400s | 20 | 2580056 | 738727 | 13183 143 | 0 | 0
1410.08/1410.53 c 1402s | 20 | 2583637 | 740027 | 13183 143 | 0 | 0
1412.09/1412.54 c 1404s | 20 | 2586486 | 741127 | 13183 143 | 0 | 0
1414.19/1414.60 c 1406s | 20 | 2589704 | 742327 | 13183 143 | 0 | 0
1416.18/1416.69 c 1408s | 20 | 2593075 | 743327 | 13183 143 | 0 | 0
1418.28/1418.75 c 1410s | 20 | 2596499 | 744327 | 13183 144 | 0 | 0
1420.28/1420.78 c 1412s | 20 | 2599483 | 745227 | 13183 144 | 0 | 0
1422.38/1422.89 c 1414s | 20 | 2603048 | 746227 | 13183 144 | 0 | 0
1424.48/1424.95 c 1416s | 20 | 2606512 | 747227 | 13183 144 | 0 | 0
1426.58/1427.07 c 1418s | 20 | 2610411 | 748327 | 13183 144 | 0 | 0
1428.68/1429.10 c 1420s | 20 | 2613509 | 749427 | 13183 144 | 0 | 0
1430.79/1431.25 c 1423s | 20 | 2617249 | 750627 | 13183 145 | 0 | 0
1432.89/1433.33 c 1425s | 20 | 2620414 | 751927 | 13183 145 | 0 | 0
1434.98/1435.46 c 1427s | 20 | 2623641 | 753227 | 13183 145 | 0 | 0
1436.98/1437.48 c 1429s | 20 | 2626385 | 754327 | 13183 145 | 0 | 0
1439.08/1439.51 c 1431s | 20 | 2629339 | 755427 | 13183 145 | 0 | 0
1441.08/1441.57 c 1433s | 20 | 2632385 | 756627 | 13183 145 | 0 | 0
1443.18/1443.60 c 1435s | 20 | 2636139 | 757627 | 13183 146 | 0 | 0
1445.28/1445.76 c 1437s | 20 | 2641509 | 758827 | 13183 146 | 0 | 0
1447.48/1447.92 c 1439s | 20 | 2644655 | 759927 | 13183 146 | 0 | 0
1449.58/1450.08 c 1441s | 20 | 2647732 | 760927 | 13183 146 | 0 | 0
1451.68/1452.19 c 1444s | 20 | 2650501 | 762027 | 13183 146 | 0 | 0
1453.88/1454.32 c 1446s | 20 | 2653379 | 763027 | 13183 146 | 0 | 0
1455.98/1456.50 c 1448s | 20 | 2656345 | 764127 | 13183 147 | 0 | 0
1458.08/1458.51 c 1450s | 20 | 2659285 | 765227 | 13183 147 | 0 | 0
1460.18/1460.67 c 1452s | 20 | 2661562 | 766227 | 13183 147 | 0 | 0
1462.37/1462.86 c 1454s | 20 | 2664296 | 767227 | 13183 147 | 0 | 0
1464.57/1465.00 c 1456s | 20 | 2667190 | 768227 | 13183 147 | 0 | 0
1466.77/1467.21 c 1459s | 20 | 2670650 | 769327 | 13183 147 | 0 | 0
1468.87/1469.38 c 1461s | 20 | 2673061 | 770327 | 13183 147 | 0 | 0
1471.07/1471.53 c 1463s | 20 | 2675773 | 771427 | 13183 148 | 0 | 0
1473.17/1473.66 c 1465s | 20 | 2678513 | 772527 | 13183 148 | 0 | 0
1475.17/1475.67 c 1467s | 20 | 2680562 | 773427 | 13183 148 | 0 | 0
1477.27/1477.73 c 1469s | 20 | 2683099 | 774427 | 13183 148 | 0 | 0
1479.27/1479.74 c 1471s | 20 | 2685182 | 775327 | 13183 148 | 0 | 0
1481.47/1481.95 c 1473s | 20 | 2687537 | 776327 | 13183 148 | 0 | 0
1483.58/1484.03 c 1475s | 20 | 2690110 | 777327 | 13183 149 | 0 | 0
1485.68/1486.14 c 1477s | 20 | 2692714 | 778427 | 13183 149 | 0 | 0
1487.98/1488.43 c 1480s | 20 | 2694963 | 779327 | 13183 149 | 0 | 0
1489.98/1490.48 c 1482s | 20 | 2698194 | 780527 | 13183 149 | 0 | 0
1492.08/1492.52 c 1484s | 20 | 2700939 | 781627 | 13183 149 | 0 | 0
1494.17/1494.62 c 1486s | 20 | 2703851 | 782827 | 13183 149 | 0 | 0
1496.27/1496.71 c 1488s | 20 | 2706753 | 783927 | 13183 150 | 0 | 0
1498.28/1498.79 c 1490s | 20 | 2710051 | 785227 | 13183 150 | 0 | 0
1500.47/1500.91 c 1492s | 20 | 2713553 | 786527 | 13183 150 | 0 | 0
1502.57/1503.00 c 1494s | 20 | 2717061 | 787827 | 13183 150 | 0 | 0
1504.67/1505.18 c 1497s | 20 | 2720024 | 789027 | 13183 150 | 0 | 0
1506.87/1507.30 c 1499s | 20 | 2723050 | 790127 | 13183 150 | 0 | 0
1508.97/1509.41 c 1501s | 20 | 2725789 | 791227 | 13183 151 | 0 | 0
1511.08/1511.55 c 1503s | 20 | 2729085 | 792427 | 13183 151 | 0 | 0
1513.07/1513.60 c 1505s | 20 | 2731846 | 793527 | 13183 151 | 0 | 0
1515.27/1515.77 c 1507s | 20 | 2734914 | 794727 | 13183 151 | 0 | 0
1517.37/1517.86 c 1509s | 20 | 2738356 | 795927 | 13183 151 | 0 | 0
1519.57/1520.01 c 1511s | 20 | 2741033 | 797127 | 13183 151 | 0 | 0
1521.57/1522.09 c 1513s | 20 | 2744495 | 798327 | 13183 152 | 0 | 0
1523.77/1524.20 c 1516s | 20 | 2747800 | 799727 | 13183 152 | 0 | 0
1525.87/1526.35 c 1518s | 20 | 2751511 | 800927 | 13183 152 | 0 | 0
1527.97/1528.42 c 1520s | 20 | 2754139 | 802027 | 13183 152 | 0 | 0
1530.07/1530.58 c 1522s | 20 | 2757415 | 803327 | 13183 152 | 0 | 0
1532.27/1532.70 c 1524s | 20 | 2759814 | 804427 | 13183 153 | 0 | 0
1534.37/1534.86 c 1526s | 20 | 2762901 | 805727 | 13183 153 | 0 | 0
1536.47/1536.95 c 1528s | 20 | 2764894 | 806727 | 13183 153 | 0 | 0
1538.48/1538.99 c 1530s | 20 | 2768251 | 807927 | 13183 153 | 0 | 0
1540.57/1541.06 c 1532s | 20 | 2771732 | 809227 | 13183 153 | 0 | 0
1542.77/1543.23 c 1535s | 20 | 2774218 | 810327 | 13183 153 | 0 | 0
1544.87/1545.31 c 1537s | 20 | 2776822 | 811427 | 13183 154 | 0 | 0
1546.87/1547.37 c 1539s | 20 | 2779826 | 812527 | 13183 154 | 0 | 0
1549.07/1549.51 c 1541s | 20 | 2782729 | 813727 | 13183 154 | 0 | 0
1551.17/1551.68 c 1543s | 20 | 2785519 | 814927 | 13183 154 | 0 | 0
1553.26/1553.77 c 1545s | 20 | 2788685 | 816227 | 13183 154 | 0 | 0
1555.36/1555.88 c 1547s | 20 | 2791121 | 817327 | 13183 155 | 0 | 0
1557.56/1558.04 c 1549s | 20 | 2793425 | 818227 | 13183 155 | 0 | 0
1559.66/1560.19 c 1552s | 20 | 2796850 | 819527 | 13183 155 | 0 | 0
1562.06/1562.52 c 1554s | 20 | 2798704 | 820127 | 13183 155 | 0 | 0
1564.06/1564.55 c 1556s | 20 | 2800645 | 820727 | 13183 155 | 0 | 0
1566.16/1566.60 c 1558s | 20 | 2804843 | 821827 | 13183 155 | 0 | 0
1568.27/1568.74 c 1560s | 20 | 2807805 | 822927 | 13183 155 | 0 | 0
1570.47/1570.92 c 1562s | 20 | 2810574 | 823927 | 13183 156 | 0 | 0
1572.56/1573.07 c 1564s | 20 | 2813686 | 825027 | 13183 156 | 0 | 0
1574.66/1575.18 c 1567s | 20 | 2816735 | 826127 | 13183 156 | 0 | 0
1576.76/1577.26 c 1569s | 20 | 2820205 | 827227 | 13183 156 | 0 | 0
1578.96/1579.41 c 1571s | 20 | 2823397 | 828427 | 13183 156 | 0 | 0
1580.96/1581.45 c 1573s | 20 | 2825681 | 829527 | 13183 156 | 0 | 0
1583.16/1583.61 c 1575s | 20 | 2828571 | 830627 | 13183 157 | 0 | 0
1585.16/1585.69 c 1577s | 20 | 2836193 | 831327 | 13183 157 | 0 | 0
1587.26/1587.70 c 1579s | 20 | 2841779 | 832327 | 13183 157 | 0 | 0
1589.26/1589.78 c 1581s | 20 | 2845623 | 833327 | 13183 157 | 0 | 0
1591.46/1591.95 c 1583s | 20 | 2849429 | 834527 | 13183 157 | 0 | 0
1593.66/1594.12 c 1585s | 20 | 2852509 | 835727 | 13183 157 | 0 | 0
1595.66/1596.14 c 1587s | 20 | 2855569 | 836827 | 13183 157 | 0 | 0
1597.65/1598.16 c 1590s | 20 | 2858395 | 837927 | 13183 158 | 0 | 0
1599.75/1600.27 c 1592s | 20 | 2861922 | 839127 | 13183 158 | 0 | 0
1601.85/1602.32 c 1594s | 20 | 2865737 | 840327 | 13183 158 | 0 | 0
1603.85/1604.39 c 1596s | 20 | 2871493 | 841527 | 13183 158 | 0 | 0
1605.95/1606.48 c 1598s | 20 | 2874863 | 842827 | 13183 158 | 0 | 0
1608.05/1608.55 c 1600s | 20 | 2877955 | 844027 | 13183 158 | 0 | 0
1610.15/1610.65 c 1602s | 20 | 2881610 | 845327 | 13183 159 | 0 | 0
1612.26/1612.77 c 1604s | 20 | 2885044 | 846627 | 13183 159 | 0 | 0
1614.36/1614.88 c 1606s | 20 | 2888670 | 847627 | 13183 159 | 0 | 0
1616.56/1617.05 c 1608s | 20 | 2891614 | 848627 | 13183 159 | 0 | 0
1618.55/1619.08 c 1610s | 20 | 2894415 | 849627 | 13183 159 | 0 | 0
1620.65/1621.13 c 1612s | 20 | 2897152 | 850627 | 13183 159 | 0 | 0
1622.75/1623.20 c 1615s | 20 | 2900199 | 851627 | 13183 160 | 0 | 0
1624.85/1625.31 c 1617s | 20 | 2903555 | 852627 | 13183 160 | 0 | 0
1627.05/1627.52 c 1619s | 20 | 2907014 | 853727 | 13183 160 | 0 | 0
1629.25/1629.73 c 1621s | 20 | 2911939 | 854727 | 13183 160 | 0 | 0
1631.35/1631.82 c 1623s | 20 | 2915337 | 855527 | 13183 160 | 0 | 0
1633.45/1633.99 c 1625s | 20 | 2919382 | 856527 | 13183 160 | 0 | 0
1635.65/1636.11 c 1627s | 20 | 2921955 | 857527 | 13183 161 | 0 | 0
1637.65/1638.11 c 1629s | 20 | 2925124 | 858627 | 13183 161 | 0 | 0
1639.65/1640.16 c 1632s | 20 | 2928152 | 859627 | 13183 161 | 0 | 0
1641.74/1642.29 c 1634s | 20 | 2931584 | 860827 | 13183 161 | 0 | 0
1643.94/1644.48 c 1636s | 20 | 2934723 | 862027 | 13183 161 | 0 | 0
1646.14/1646.64 c 1638s | 20 | 2937320 | 863027 | 13183 161 | 0 | 0
1648.14/1648.69 c 1640s | 20 | 2940518 | 864127 | 13183 161 | 0 | 0
1650.44/1650.95 c 1642s | 20 | 2943616 | 865227 | 13183 162 | 0 | 0
1652.54/1653.00 c 1644s | 20 | 2946723 | 866327 | 13183 162 | 0 | 0
1654.54/1655.07 c 1646s | 20 | 2949422 | 867327 | 13183 162 | 0 | 0
1656.74/1657.27 c 1649s | 20 | 2952025 | 868527 | 13183 162 | 0 | 0
1658.94/1659.44 c 1651s | 20 | 2955598 | 869727 | 13183 162 | 0 | 0
1661.14/1661.67 c 1653s | 20 | 2959503 | 870927 | 13183 163 | 0 | 0
1663.34/1663.81 c 1655s | 20 | 2963237 | 872127 | 13183 163 | 0 | 0
1665.44/1665.96 c 1657s | 20 | 2966944 | 873227 | 13183 163 | 0 | 0
1667.74/1668.22 c 1660s | 20 | 2971636 | 874427 | 13183 163 | 0 | 0
1669.84/1670.38 c 1662s | 20 | 2977095 | 875327 | 13183 163 | 0 | 0
1672.04/1672.57 c 1664s | 20 | 2982675 | 876227 | 13183 163 | 0 | 0
1674.14/1674.69 c 1666s | 20 | 2986958 | 877127 | 13183 163 | 0 | 0
1676.24/1676.76 c 1668s | 20 | 2991632 | 878127 | 13183 164 | 0 | 0
1678.25/1678.77 c 1670s | 20 | 2994700 | 879127 | 13183 164 | 0 | 0
1680.35/1680.89 c 1672s | 20 | 2998272 | 880327 | 13183 164 | 0 | 0
1682.55/1683.04 c 1674s | 20 | 3002189 | 881627 | 13183 164 | 0 | 0
1684.54/1685.09 c 1676s | 20 | 3005405 | 882827 | 13183 164 | 0 | 0
1686.64/1687.12 c 1678s | 20 | 3008949 | 883827 | 13183 164 | 0 | 0
1688.74/1689.28 c 1681s | 20 | 3012548 | 885027 | 13183 165 | 0 | 0
1690.84/1691.32 c 1683s | 20 | 3016103 | 886327 | 13183 165 | 0 | 0
1692.84/1693.33 c 1685s | 20 | 3019271 | 887427 | 13183 165 | 0 | 0
1695.04/1695.55 c 1687s | 20 | 3024190 | 888627 | 13183 165 | 0 | 0
1697.04/1697.57 c 1689s | 20 | 3027273 | 889627 | 13183 165 | 0 | 0
1699.05/1699.60 c 1691s | 20 | 3030395 | 890727 | 13183 165 | 0 | 0
1701.14/1701.64 c 1693s | 20 | 3033852 | 891827 | 13183 166 | 0 | 0
1703.14/1703.67 c 1695s | 20 | 3036697 | 892927 | 13183 166 | 0 | 0
1705.24/1705.70 c 1697s | 20 | 3039438 | 894027 | 13183 166 | 0 | 0
1707.24/1707.77 c 1699s | 20 | 3042908 | 895327 | 13183 166 | 0 | 0
1709.44/1709.98 c 1701s | 20 | 3045844 | 896427 | 13183 166 | 0 | 0
1711.54/1712.09 c 1703s | 20 | 3049101 | 897627 | 13183 166 | 0 | 0
1713.74/1714.22 c 1706s | 20 | 3052842 | 898927 | 13183 167 | 0 | 0
1715.84/1716.33 c 1708s | 20 | 3056090 | 900027 | 13183 167 | 0 | 0
1717.94/1718.46 c 1710s | 20 | 3059529 | 901327 | 13183 167 | 0 | 0
1720.05/1720.57 c 1712s | 20 | 3063133 | 902527 | 13183 167 | 0 | 0
1722.15/1722.66 c 1714s | 20 | 3066060 | 903727 | 13183 167 | 0 | 0
1724.24/1724.73 c 1716s | 20 | 3068990 | 904927 | 13183 168 | 0 | 0
1726.34/1726.81 c 1718s | 20 | 3072281 | 906227 | 13183 168 | 0 | 0
1728.34/1728.88 c 1720s | 20 | 3075429 | 907427 | 13183 168 | 0 | 0
1730.44/1730.95 c 1722s | 20 | 3078693 | 908627 | 13183 168 | 0 | 0
1732.54/1733.09 c 1724s | 20 | 3081928 | 909827 | 13183 168 | 0 | 0
1734.74/1735.23 c 1727s | 20 | 3085217 | 911027 | 13183 168 | 0 | 0
1736.84/1737.32 c 1729s | 20 | 3089095 | 912327 | 13183 169 | 0 | 0
1738.94/1739.43 c 1731s | 20 | 3093098 | 913627 | 13183 169 | 0 | 0
1741.04/1741.52 c 1733s | 20 | 3096898 | 915027 | 13183 169 | 0 | 0
1743.43/1743.95 c 1735s | 20 | 3099899 | 916127 | 13183 169 | 0 | 0
1745.63/1746.13 c 1737s | 20 | 3101488 | 916727 | 13183 169 | 0 | 0
1747.63/1748.19 c 1740s | 20 | 3106918 | 917727 | 13183 169 | 0 | 0
1749.74/1750.22 c 1742s | 20 | 3111299 | 918527 | 13183 170 | 0 | 0
1751.84/1752.36 c 1744s | 20 | 3114003 | 919527 | 13183 170 | 0 | 0
1754.04/1754.52 c 1746s | 20 | 3117833 | 920727 | 13183 170 | 0 | 0
1756.13/1756.60 c 1748s | 20 | 3120737 | 921827 | 13183 170 | 0 | 0
1758.23/1758.70 c 1750s | 20 | 3124025 | 923027 | 13183 170 | 0 | 0
1760.23/1760.75 c 1752s | 20 | 3127574 | 924127 | 13183 170 | 0 | 0
1762.33/1762.81 c 1754s | 20 | 3130686 | 925127 | 13183 171 | 0 | 0
1764.33/1764.86 c 1756s | 20 | 3134211 | 926327 | 13183 171 | 0 | 0
1766.43/1766.91 c 1758s | 20 | 3137363 | 927427 | 13183 171 | 0 | 0
1768.43/1768.97 c 1760s | 20 | 3140526 | 928527 | 13183 171 | 0 | 0
1770.53/1771.07 c 1762s | 20 | 3143609 | 929727 | 13183 171 | 0 | 0
1772.63/1773.19 c 1765s | 20 | 3147152 | 930927 | 13183 171 | 0 | 0
1774.83/1775.35 c 1767s | 20 | 3151642 | 931927 | 13183 172 | 0 | 0
1777.03/1777.51 c 1769s | 20 | 3155608 | 933127 | 13183 172 | 0 | 0
1779.03/1779.53 c 1771s | 20 | 3158443 | 934227 | 13183 172 | 0 | 0
1781.13/1781.66 c 1773s | 20 | 3161763 | 935327 | 13183 172 | 0 | 0
1783.22/1783.74 c 1775s | 20 | 3168585 | 936427 | 13183 172 | 0 | 0
1785.22/1785.80 c 1777s | 20 | 3171598 | 937527 | 13183 172 | 0 | 0
1787.32/1787.88 c 1779s | 20 | 3174483 | 938527 | 13183 173 | 0 | 0
1789.52/1790.02 c 1781s | 20 | 3177729 | 939627 | 13183 173 | 0 | 0
1791.72/1792.20 c 1784s | 20 | 3181436 | 940827 | 13183 173 | 0 | 0
1793.73/1794.27 c 1786s | 20 | 3185217 | 942027 | 13183 173 | 0 | 0
1795.83/1796.31 c 1788s | 20 | 3189853 | 943127 | 13183 173 | 0 | 0
1797.82/1798.39 c 1790s | 20 | 3193815 | 944327 | 13183 173 | 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-4119300-1467252092/watcher-4119300-1467252092 -o /tmp/evaluation-result-4119300-1467252092/solver-4119300-1467252092 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467248489-5465 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119300-1467252092.opb
pid=6056
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6059
/proc/meminfo: memFree=30982208/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 727 0 0 0 0 0 0 0 20 0 4 0 4240587 246870016 1599 33554432000 4194304 16246674 140734976758112 140734976757536 13587469 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6059/statm: 60271 1603 426 2943 0 57165 0
[pid=6059/tid=6060] ppid=6056 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 246870016 1628 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 246870016 1635 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4240587 246870016 1643 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[startup+0.100128 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6059
/proc/meminfo: memFree=30982208/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1222212 CPUtime=0.09 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 20204 0 0 0 6 3 0 0 20 0 4 0 4240587 1251545088 21041 33554432000 4194304 16246674 140734976758112 140734976757536 4220850 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6059/statm: 305553 21041 829 2943 0 302447 0
[pid=6059/tid=6060] ppid=6056 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1251545088 21041 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1251545088 21041 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4240587 1251545088 21041 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212
[startup+0.200475 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6059
/proc/meminfo: memFree=30982208/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1307204 CPUtime=0.19 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 41405 0 0 0 13 6 0 0 20 0 4 0 4240587 1338576896 42242 33554432000 4194304 16246674 140734976758112 140734976741104 12654409 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6059/statm: 326801 42242 851 2943 0 323695 0
[pid=6059/tid=6060] ppid=6056 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1338576896 42242 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1338576896 42242 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1338576896 42242 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1307204
[startup+0.30046 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6059
/proc/meminfo: memFree=30982208/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1307204 CPUtime=0.29 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 41475 0 0 0 23 6 0 0 20 0 4 0 4240587 1338576896 42312 33554432000 4194304 16246674 140734976758112 140734976741104 5661344 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 326801 42312 851 2943 0 323695 0
[pid=6059/tid=6060] ppid=6056 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1338576896 42312 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1338576896 42312 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1338576896 42312 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204
[startup+0.700462 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6059
/proc/meminfo: memFree=30982208/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1308228 CPUtime=0.69 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 41733 0 0 0 63 6 0 0 20 0 4 0 4240587 1339625472 42570 33554432000 4194304 16246674 140734976758112 140734976741104 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 327057 42570 851 2943 0 323951 0
[pid=6059/tid=6060] ppid=6056 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1339625472 42570 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1339625472 42570 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1339625472 42570 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 6063
/proc/meminfo: memFree=30288012/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1309252 CPUtime=1.48 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 64934 0 0 0 139 9 0 0 20 0 4 0 4240587 1340674048 65771 33554432000 4194304 16246674 140734976758112 140734976740032 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 327313 65771 851 2943 0 324207 0
[pid=6059/tid=6060] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 65771 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 65772 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 65772 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1309252
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 6063
/proc/meminfo: memFree=30005788/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1309252 CPUtime=3.09 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 173527 0 0 0 284 25 0 0 20 0 4 0 4240587 1340674048 174365 33554432000 4194304 16246674 140734976758112 140734976740032 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 327313 174368 851 2943 0 324207 0
[pid=6059/tid=6060] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 174369 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 174369 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 174370 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1309252
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 6063
/proc/meminfo: memFree=29381460/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1309252 CPUtime=6.28 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 268288 0 0 0 591 37 0 0 20 0 4 0 4240587 1340674048 269125 33554432000 4194304 16246674 140734976758112 140734976740032 13906983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 327313 269125 852 2943 0 324207 0
[pid=6059/tid=6060] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 269125 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 269125 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 269125 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1309252
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 6063
/proc/meminfo: memFree=29381268/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1309252 CPUtime=12.68 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 268394 0 0 0 1231 37 0 0 20 0 4 0 4240587 1340674048 269231 33554432000 4194304 16246674 140734976758112 140734976740032 13820864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 327313 269231 858 2943 0 324207 0
[pid=6059/tid=6060] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 269231 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 269231 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 269231 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 6063
/proc/meminfo: memFree=29381328/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1309252 CPUtime=25.48 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 268394 0 0 0 2511 37 0 0 20 0 4 0 4240587 1340674048 269231 33554432000 4194304 16246674 140734976758112 140734976740032 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 327313 269231 858 2943 0 324207 0
[pid=6059/tid=6060] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 269231 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 269231 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 269231 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6063
/proc/meminfo: memFree=29380988/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1309252 CPUtime=51.07 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 268414 0 0 0 5070 37 0 0 20 0 4 0 4240587 1340674048 269251 33554432000 4194304 16246674 140734976758112 140734976740032 5721725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 327313 269251 859 2943 0 324207 0
[pid=6059/tid=6060] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 269251 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 269251 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1340674048 269251 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1309252
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6064
/proc/meminfo: memFree=29379548/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1310276 CPUtime=102.27 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 268670 0 0 0 10190 37 0 0 20 0 4 0 4240587 1341722624 269507 33554432000 4194304 16246674 140734976758112 140734976740032 6022140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 327569 269507 859 2943 0 324463 0
[pid=6059/tid=6060] ppid=6056 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1341722624 269507 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1341722624 269507 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1341722624 269507 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1310276
################
# More data... #
################
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1361645568 274375 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1329732
[startup+1362.3 s]
/proc/loadavg: 2.11 2.10 2.03 3/183 6096
/proc/meminfo: memFree=29340504/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1329732 CPUtime=1361.89 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 273849 0 0 0 136146 43 0 0 20 0 4 0 4240587 1361645568 274377 33554432000 4194304 16246674 140734976758112 140734976757288 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 332433 274377 860 2943 0 329327 0
[pid=6059/tid=6060] ppid=6056 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1361645568 274377 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1361645568 274377 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1361645568 274377 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1329732
[startup+1422.3 s]
/proc/loadavg: 2.15 2.11 2.03 3/183 6097
/proc/meminfo: memFree=29341464/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1329732 CPUtime=1421.89 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 273852 0 0 0 142146 43 0 0 20 0 4 0 4240587 1361645568 274377 33554432000 4194304 16246674 140734976758112 140734976740032 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 332433 274377 860 2943 0 329327 0
[pid=6059/tid=6060] ppid=6056 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1361645568 274377 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1361645568 274377 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1361645568 274377 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1329732
[startup+1482.3 s]
/proc/loadavg: 2.09 2.10 2.03 4/183 6098
/proc/meminfo: memFree=29341340/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1329732 CPUtime=1481.87 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 273852 0 0 0 148144 43 0 0 20 0 4 0 4240587 1361645568 274377 33554432000 4194304 16246674 140734976758112 140734976740032 5823182 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 332433 274377 860 2943 0 329327 0
[pid=6059/tid=6060] ppid=6056 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1361645568 274377 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1361645568 274377 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1361645568 274377 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1329732
[startup+1542.31 s]
/proc/loadavg: 2.07 2.10 2.03 3/183 6099
/proc/meminfo: memFree=29331604/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1337924 CPUtime=1541.88 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 275900 0 0 0 154144 44 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 140734976740032 5598360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 334481 276425 860 2943 0 331375 0
[pid=6059/tid=6060] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1337924
[startup+1602.3 s]
/proc/loadavg: 2.02 2.08 2.03 3/183 6100
/proc/meminfo: memFree=29331468/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1337924 CPUtime=1601.85 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 275900 0 0 0 160141 44 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 140734976740032 6861584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 334481 276425 860 2943 0 331375 0
[pid=6059/tid=6060] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1337924
[startup+1662.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/183 6102
/proc/meminfo: memFree=29331464/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1337924 CPUtime=1661.84 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 275900 0 0 0 166140 44 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 140734976740032 6837238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 334481 276425 860 2943 0 331375 0
[pid=6059/tid=6060] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1337924
[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/184 6106
/proc/meminfo: memFree=29330868/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1337924 CPUtime=1721.84 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 275900 0 0 0 172139 45 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 140734976740032 6022628 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 334481 276425 860 2943 0 331375 0
[pid=6059/tid=6060] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1337924
[startup+1782.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/183 6107
/proc/meminfo: memFree=29330592/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1337924 CPUtime=1781.83 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 275900 0 0 0 178138 45 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 140734976740032 5711318 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 334481 276425 860 2943 0 331375 0
[pid=6059/tid=6060] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1337924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.12 2.08 2.02 3/183 6107
/proc/meminfo: memFree=29330600/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1337924 CPUtime=1800.02 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 275900 0 0 0 179957 45 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 140734976740032 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 334481 276425 860 2943 0 331375 0
[pid=6059/tid=6060] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1337924
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 6059 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.12 2.08 2.02 3/183 6107
/proc/meminfo: memFree=29330600/32872528 swapFree=170020/176152
[pid=6059] ppid=6056 vsize=1337924 CPUtime=1800.02 cores=0,2,4,6
/proc/6059/stat : 6059 (toysat) R 6056 6059 5284 0 -1 4202496 275900 0 0 0 179957 45 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 140734976740032 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 334481 276425 860 2943 0 331375 0
[pid=6059/tid=6060] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6060/stat : 6060 (toysat) S 6056 6059 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933616418032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6059/tid=6061] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6061/stat : 6061 (toysat) S 6056 6059 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933605928176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6059/tid=6062] ppid=6056 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6059/task/6062/stat : 6062 (toysat) S 6056 6059 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4240587 1370034176 276425 33554432000 4194304 16246674 140734976758112 139933524159664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1337924
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.58
CPU system time (s): 0.45893
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 1337924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.45893
maximum resident set size= 1105700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275900
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= 337
involuntary context switches= 1946
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5509 second user time and 15.4077 second system time
The end