0.00/0.00 c 2016-06-18T09:07:29+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-4103201-1466233649.opb"]
0.00/0.01 c use --random-gen="411712944 329409481 3316583876 3455700600 1503501200 2832667110 3710507746 3355663896 4039308438 738203332 2816882056 4037072523 2548916544 3368669114 1973425343 3254508744 2387626303 1081028385 1199255137 2890293116 1711942080 981848086 1104092871 3344487824 4178209896 1362062433 51627223 3641568283 2853878887 4016261530 999700262 1733100688 3479200215 2425025990 3640814534 1655947465 4135187129 2966398724 152495525 1117559573 1229009687 3264740969 3555560750 3934269843 2257496409 2154281482 3514407951 4180672390 2272531277 3807988715 4082993208 2484026870 2347435082 4268309234 1750276564 3037755914 1546018372 741520175 805919362 3930935017 1850576868 3063952203 604349369 3791247297 860820630 2704543877 637864189 3813459866 729493172 2053313670 3115575300 2624405891 3356795579 596539087 1789783450 1731460319 2368542254 2984215073 973588258 1064754800 3814172048 3986776844 1922131932 960470377 1166082910 1576551094 4018778503 119250280 4032738372 3808603346 2551757930 2221073990 4091226911 2563646736 3596021787 1434327879 4043484370 2139430282 1812411940 2460732612 2804449575 2916287693 740649321 3505179640 690941046 4073866610 1024477188 3431457676 3442538616 2084238934 457814829 2240758653 3789973497 627250706 1865429393 1529900863 2778437134 2487736757 3443949243 2391830583 2045823445 528575809 3158698537 2056953119 1509041821 3519104851 1956934127 3337261593 1821409377 1538284244 1285556369 4036883204 3447066469 951571197 2971154228 2776538985 1534820709 692627158 3586708245 2367440761 4149656332 3370205743 306042901 237693174 859000808 175622846 1551452173 2125905602 891575842 877460391 2091716441 1694288093 2485119230 396398452 839215968 2629736636 1583559245 4145573462 1097619827 312086910 99490464 2118591186 1272012284 2002881333 879636474 2876432596 1329164044 573945208 198016099 132609750 2850620411 203927217 3443317823 1134676328 4279427599 2440387983 815891378 3580024229 2614336081 565249242 3490511883 3077086834 743957688 1527593694 3835280219 3338960913 1945861046 937839957 1088567510 1913053154 2661586728 3277346485 1625429756 2076379012 3625093404 1913247812 3682176713 461574542 444286967 1357892213 584068348 976351773 3256329926 1116596670 2568324985 3043343307 3718253130 2805326266 3713894829 501110648 2069441269 225656411 593391686 2588095579 4011058209 4204533402 1774306740 676594002 1912304213 509710267 965090784 3972706567 1414408367 1474807784 2759682448 2307317391 3222358017 1028827955 412873206 2590360147 2231818319 4070749248 2718033976 3283053722 2938371120 3912304543 2173554881 3715606416 3107344871 4175178309 2443753196 3010922404 818711318 652584399 1492769014 2576041204 4101425360 3439855927 2029633514 2358280239 3611467011 18426156 2151817084 3662418548 2483484870 154016012 255 362436" option to reproduce the execution
0.00/0.05 c #vars 5239
0.00/0.05 c #constraints 195
0.19/0.27 c BCD2: Hardening is enabled.
0.19/0.27 c BCD2: BiasedSearch is enabled.
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 | 1820 0 | 2818 | 0
0.19/0.29 c 0.0s | 0 | 267 | 0 | 1820 0 | 2818 | 0
0.19/0.29 c #cpu_time = 0.017s
0.19/0.29 c #wall_clock_time = 0.017s
0.19/0.29 c #decision = 267
0.19/0.29 c #random_decision = 0
0.19/0.29 c #conflict = 0
0.19/0.29 c #restart = 0
0.19/0.29 o 34101249
0.29/0.31 c BCD2: hardening fixes 1091 literals
0.29/0.31 c BCD2: updating upper bound: 968548072570 -> 34101248
1.79/1.86 c BCD2: 0 <= obj <= 34101248
1.79/1.86 c BCD2: #cores=0, #unrelaxed=4148, #relaxed=0, #hardened=1091
1.79/1.86 c BCD2: #sat=1 #unsat=1 bias=1/2
1.79/1.86 c Solving starts ...
1.79/1.86 c ============================[ Search Statistics ]============================
1.79/1.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.86 c | | | | Limit GC | Var | Constra
1.79/1.86 c =============================================================================
1.79/1.86 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.79/1.86 c 0.0s | 0 | 24 | 1 | 1820 0 | 2818 | 0
1.79/1.86 c #cpu_time = 0.003s
1.79/1.86 c #wall_clock_time = 0.003s
1.79/1.86 c #decision = 24
1.79/1.86 c #random_decision = 0
1.79/1.86 c #conflict = 1
1.79/1.86 c #restart = 0
1.79/1.86 c BCD2: found a new core of size 12: cost of the new core is >=87040
1.79/1.86 c lower bound updated to 87040
1.79/1.86 c BCD2: 87040 <= obj <= 34101248
1.79/1.86 c BCD2: #cores=1, #unrelaxed=4136, #relaxed=12, #hardened=1091
1.79/1.86 c BCD2: #sat=1 #unsat=2 bias=2/3
1.79/1.88 c Solving starts ...
1.79/1.88 c ============================[ Search Statistics ]============================
1.79/1.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.88 c | | | | Limit GC | Var | Constra
1.79/1.88 c =============================================================================
1.79/1.88 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.79/1.88 c 0.0s | 0 | 26 | 0 | 1820 0 | 2818 | 0
1.79/1.88 c #cpu_time = 0.003s
1.79/1.88 c #wall_clock_time = 0.003s
1.79/1.88 c #decision = 26
1.79/1.88 c #random_decision = 0
1.79/1.88 c #conflict = 0
1.79/1.88 c #restart = 0
1.79/1.88 c BCD2: found a new core of size 13: cost of the new core is >=100352
1.79/1.88 c lower bound updated to 187392
1.79/1.88 c BCD2: 187392 <= obj <= 34101248
1.79/1.88 c BCD2: #cores=2, #unrelaxed=4123, #relaxed=25, #hardened=1091
1.79/1.88 c BCD2: #sat=1 #unsat=3 bias=3/4
1.79/1.88 c Solving starts ...
1.79/1.88 c ============================[ Search Statistics ]============================
1.79/1.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.88 c | | | | Limit GC | Var | Constra
1.79/1.88 c =============================================================================
1.79/1.88 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.79/1.89 c 0.0s | 0 | 28 | 0 | 1820 0 | 2818 | 0
1.79/1.89 c #cpu_time = 0.003s
1.79/1.89 c #wall_clock_time = 0.003s
1.79/1.89 c #decision = 28
1.79/1.89 c #random_decision = 0
1.79/1.89 c #conflict = 0
1.79/1.89 c #restart = 0
1.79/1.89 c BCD2: found a new core of size 13: cost of the new core is >=91136
1.79/1.89 c lower bound updated to 278528
1.79/1.89 c BCD2: 278528 <= obj <= 34101248
1.79/1.89 c BCD2: #cores=3, #unrelaxed=4110, #relaxed=38, #hardened=1091
1.79/1.89 c BCD2: #sat=1 #unsat=4 bias=4/5
1.79/1.89 c Solving starts ...
1.79/1.89 c ============================[ Search Statistics ]============================
1.79/1.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.89 c | | | | Limit GC | Var | Constra
1.79/1.89 c =============================================================================
1.79/1.89 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.79/1.89 c 0.0s | 0 | 30 | 1 | 1820 0 | 2818 | 0
1.79/1.89 c #cpu_time = 0.003s
1.79/1.89 c #wall_clock_time = 0.003s
1.79/1.89 c #decision = 30
1.79/1.89 c #random_decision = 0
1.79/1.89 c #conflict = 1
1.79/1.89 c #restart = 0
1.79/1.89 c BCD2: found a new core of size 12: cost of the new core is >=102400
1.79/1.89 c lower bound updated to 380928
1.79/1.89 c BCD2: 380928 <= obj <= 34101248
1.79/1.89 c BCD2: #cores=4, #unrelaxed=4098, #relaxed=50, #hardened=1091
1.79/1.89 c BCD2: #sat=1 #unsat=5 bias=5/6
1.79/1.89 c Solving starts ...
1.79/1.89 c ============================[ Search Statistics ]============================
1.79/1.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.89 c | | | | Limit GC | Var | Constra
1.79/1.89 c =============================================================================
1.79/1.89 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/1.90 c 0.0s | 0 | 34 | 0 | 1820 0 | 2818 | 0
1.89/1.90 c #cpu_time = 0.003s
1.89/1.90 c #wall_clock_time = 0.003s
1.89/1.90 c #decision = 34
1.89/1.90 c #random_decision = 0
1.89/1.90 c #conflict = 0
1.89/1.90 c #restart = 0
1.89/1.90 c BCD2: found a new core of size 13: cost of the new core is >=116736
1.89/1.90 c lower bound updated to 497664
1.89/1.90 c BCD2: 497664 <= obj <= 34101248
1.89/1.90 c BCD2: #cores=5, #unrelaxed=4085, #relaxed=63, #hardened=1091
1.89/1.90 c BCD2: #sat=1 #unsat=6 bias=6/7
1.89/1.90 c Solving starts ...
1.89/1.90 c ============================[ Search Statistics ]============================
1.89/1.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.90 c | | | | Limit GC | Var | Constra
1.89/1.90 c =============================================================================
1.89/1.90 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/1.90 c 0.0s | 0 | 46 | 0 | 1820 0 | 2818 | 0
1.89/1.90 c #cpu_time = 0.004s
1.89/1.90 c #wall_clock_time = 0.004s
1.89/1.90 c #decision = 46
1.89/1.90 c #random_decision = 0
1.89/1.90 c #conflict = 0
1.89/1.90 c #restart = 0
1.89/1.90 c BCD2: found a new core of size 13: cost of the new core is >=92160
1.89/1.90 c lower bound updated to 589824
1.89/1.91 c BCD2: hardening fixes 68 literals
1.89/1.91 c BCD2: 589824 <= obj <= 34101248
1.89/1.91 c BCD2: #cores=6, #unrelaxed=4004, #relaxed=76, #hardened=1159
1.89/1.91 c BCD2: #sat=1 #unsat=7 bias=7/8
1.89/1.91 c Solving starts ...
1.89/1.91 c ============================[ Search Statistics ]============================
1.89/1.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.91 c | | | | Limit GC | Var | Constra
1.89/1.91 c =============================================================================
1.89/1.91 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/1.91 c 0.0s | 0 | 48 | 0 | 1820 0 | 2818 | 0
1.89/1.91 c #cpu_time = 0.003s
1.89/1.91 c #wall_clock_time = 0.003s
1.89/1.91 c #decision = 48
1.89/1.91 c #random_decision = 0
1.89/1.91 c #conflict = 0
1.89/1.91 c #restart = 0
1.89/1.91 c BCD2: found a new core of size 13: cost of the new core is >=100352
1.89/1.91 c lower bound updated to 690176
1.89/1.91 c BCD2: 690176 <= obj <= 34101248
1.89/1.91 c BCD2: #cores=7, #unrelaxed=3991, #relaxed=89, #hardened=1159
1.89/1.91 c BCD2: #sat=1 #unsat=8 bias=8/9
1.89/1.91 c Solving starts ...
1.89/1.91 c ============================[ Search Statistics ]============================
1.89/1.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.91 c | | | | Limit GC | Var | Constra
1.89/1.91 c =============================================================================
1.89/1.91 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/1.92 c 0.0s | 0 | 44 | 1 | 1820 0 | 2818 | 0
1.89/1.92 c #cpu_time = 0.004s
1.89/1.92 c #wall_clock_time = 0.004s
1.89/1.92 c #decision = 44
1.89/1.92 c #random_decision = 0
1.89/1.92 c #conflict = 1
1.89/1.92 c #restart = 0
1.89/1.92 c BCD2: found a new core of size 12: cost of the new core is >=86016
1.89/1.92 c lower bound updated to 776192
1.89/1.92 c BCD2: 776192 <= obj <= 34101248
1.89/1.92 c BCD2: #cores=8, #unrelaxed=3979, #relaxed=101, #hardened=1159
1.89/1.92 c BCD2: #sat=1 #unsat=9 bias=9/10
1.89/1.92 c Solving starts ...
1.89/1.92 c ============================[ Search Statistics ]============================
1.89/1.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.92 c | | | | Limit GC | Var | Constra
1.89/1.92 c =============================================================================
1.89/1.92 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/1.92 c 0.0s | 0 | 39 | 0 | 1820 0 | 2818 | 0
1.89/1.92 c #cpu_time = 0.003s
1.89/1.92 c #wall_clock_time = 0.003s
1.89/1.92 c #decision = 39
1.89/1.92 c #random_decision = 0
1.89/1.92 c #conflict = 0
1.89/1.92 c #restart = 0
1.89/1.92 c BCD2: found a new core of size 13: cost of the new core is >=106496
1.89/1.92 c lower bound updated to 882688
1.89/1.93 c BCD2: 882688 <= obj <= 34101248
1.89/1.93 c BCD2: #cores=9, #unrelaxed=3966, #relaxed=114, #hardened=1159
1.89/1.93 c BCD2: #sat=1 #unsat=10 bias=10/11
1.89/1.93 c Solving starts ...
1.89/1.93 c ============================[ Search Statistics ]============================
1.89/1.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.93 c | | | | Limit GC | Var | Constra
1.89/1.93 c =============================================================================
1.89/1.93 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/1.93 c 0.0s | 0 | 42 | 0 | 1820 0 | 2818 | 0
1.89/1.93 c #cpu_time = 0.003s
1.89/1.93 c #wall_clock_time = 0.003s
1.89/1.93 c #decision = 42
1.89/1.93 c #random_decision = 0
1.89/1.93 c #conflict = 0
1.89/1.93 c #restart = 0
1.89/1.93 c BCD2: found a new core of size 13: cost of the new core is >=114688
1.89/1.93 c lower bound updated to 997376
1.89/1.93 c BCD2: 997376 <= obj <= 34101248
1.89/1.93 c BCD2: #cores=10, #unrelaxed=3953, #relaxed=127, #hardened=1159
1.89/1.93 c BCD2: #sat=1 #unsat=11 bias=11/12
1.89/1.93 c Solving starts ...
1.89/1.93 c ============================[ Search Statistics ]============================
1.89/1.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.93 c | | | | Limit GC | Var | Constra
1.89/1.93 c =============================================================================
1.89/1.93 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/1.94 c 0.0s | 0 | 44 | 0 | 1820 0 | 2818 | 0
1.89/1.94 c #cpu_time = 0.003s
1.89/1.94 c #wall_clock_time = 0.003s
1.89/1.94 c #decision = 44
1.89/1.94 c #random_decision = 0
1.89/1.94 c #conflict = 0
1.89/1.94 c #restart = 0
1.89/1.94 c BCD2: found a new core of size 13: cost of the new core is >=91136
1.89/1.94 c lower bound updated to 1088512
1.89/1.94 c BCD2: 1088512 <= obj <= 34101248
1.89/1.94 c BCD2: #cores=11, #unrelaxed=3940, #relaxed=140, #hardened=1159
1.89/1.94 c BCD2: #sat=1 #unsat=12 bias=12/13
1.89/1.94 c Solving starts ...
1.89/1.94 c ============================[ Search Statistics ]============================
1.89/1.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.94 c | | | | Limit GC | Var | Constra
1.89/1.94 c =============================================================================
1.89/1.94 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/1.94 c 0.0s | 0 | 36 | 0 | 1820 0 | 2818 | 0
1.89/1.94 c #cpu_time = 0.003s
1.89/1.94 c #wall_clock_time = 0.003s
1.89/1.94 c #decision = 36
1.89/1.94 c #random_decision = 0
1.89/1.94 c #conflict = 0
1.89/1.94 c #restart = 0
1.89/1.94 c BCD2: found a new core of size 13: cost of the new core is >=86016
1.89/1.94 c lower bound updated to 1174528
1.89/1.94 c BCD2: 1174528 <= obj <= 34101248
1.89/1.94 c BCD2: #cores=12, #unrelaxed=3927, #relaxed=153, #hardened=1159
1.89/1.94 c BCD2: #sat=1 #unsat=13 bias=13/14
1.89/1.94 c Solving starts ...
1.89/1.94 c ============================[ Search Statistics ]============================
1.89/1.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.94 c | | | | Limit GC | Var | Constra
1.89/1.94 c =============================================================================
1.89/1.94 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/1.95 c 0.0s | 0 | 27 | 0 | 1820 0 | 2818 | 0
1.89/1.95 c #cpu_time = 0.003s
1.89/1.95 c #wall_clock_time = 0.003s
1.89/1.95 c #decision = 27
1.89/1.95 c #random_decision = 0
1.89/1.95 c #conflict = 0
1.89/1.95 c #restart = 0
1.89/1.95 c BCD2: found a new core of size 13: cost of the new core is >=109568
1.89/1.95 c lower bound updated to 1284096
1.89/1.95 c BCD2: 1284096 <= obj <= 34101248
1.89/1.95 c BCD2: #cores=13, #unrelaxed=3914, #relaxed=166, #hardened=1159
1.89/1.95 c BCD2: #sat=1 #unsat=14 bias=14/15
1.89/1.95 c Solving starts ...
1.89/1.95 c ============================[ Search Statistics ]============================
1.89/1.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.95 c | | | | Limit GC | Var | Constra
1.89/1.95 c =============================================================================
1.89/1.95 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/1.95 c 0.0s | 0 | 305 | 0 | 1820 0 | 2818 | 0
1.89/1.95 c #cpu_time = 0.003s
1.89/1.95 c #wall_clock_time = 0.003s
1.89/1.95 c #decision = 305
1.89/1.95 c #random_decision = 0
1.89/1.95 c #conflict = 0
1.89/1.95 c #restart = 0
1.89/1.95 c BCD2: found a new core of size 73: cost of the new core is >=64
1.89/1.95 c lower bound updated to 1284160
1.89/1.96 c BCD2: 1284160 <= obj <= 34101248
1.89/1.96 c BCD2: #cores=14, #unrelaxed=3841, #relaxed=239, #hardened=1159
1.89/1.96 c BCD2: #sat=1 #unsat=15 bias=15/16
1.89/1.96 c Solving starts ...
1.89/1.96 c ============================[ Search Statistics ]============================
1.89/1.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.96 c | | | | Limit GC | Var | Constra
1.89/1.96 c =============================================================================
1.89/1.96 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/1.96 c 0.0s | 0 | 426 | 0 | 1820 0 | 2818 | 0
1.89/1.96 c #cpu_time = 0.004s
1.89/1.96 c #wall_clock_time = 0.004s
1.89/1.96 c #decision = 426
1.89/1.96 c #random_decision = 0
1.89/1.96 c #conflict = 0
1.89/1.96 c #restart = 0
1.89/1.96 c BCD2: found a new core of size 71: cost of the new core is >=128
1.89/1.96 c lower bound updated to 1284288
1.89/1.96 c BCD2: 1284288 <= obj <= 34101248
1.89/1.96 c BCD2: #cores=15, #unrelaxed=3770, #relaxed=310, #hardened=1159
1.89/1.96 c BCD2: #sat=1 #unsat=16 bias=16/17
1.89/1.96 c Solving starts ...
1.89/1.96 c ============================[ Search Statistics ]============================
1.89/1.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.96 c | | | | Limit GC | Var | Constra
1.89/1.96 c =============================================================================
1.89/1.97 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/1.97 c 0.0s | 0 | 540 | 0 | 1820 0 | 2818 | 0
1.89/1.97 c #cpu_time = 0.004s
1.89/1.97 c #wall_clock_time = 0.004s
1.89/1.97 c #decision = 540
1.89/1.97 c #random_decision = 0
1.89/1.97 c #conflict = 0
1.89/1.97 c #restart = 0
1.89/1.97 c BCD2: found a new core of size 76: cost of the new core is >=128
1.89/1.97 c lower bound updated to 1284416
1.89/1.97 c BCD2: 1284416 <= obj <= 34101248
1.89/1.97 c BCD2: #cores=16, #unrelaxed=3694, #relaxed=386, #hardened=1159
1.89/1.97 c BCD2: #sat=1 #unsat=17 bias=17/18
1.89/1.98 c Solving starts ...
1.89/1.98 c ============================[ Search Statistics ]============================
1.89/1.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.98 c | | | | Limit GC | Var | Constra
1.89/1.98 c =============================================================================
1.89/1.98 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/1.98 c 0.0s | 0 | 640 | 0 | 1820 0 | 2818 | 0
1.89/1.98 c #cpu_time = 0.006s
1.89/1.98 c #wall_clock_time = 0.006s
1.89/1.98 c #decision = 640
1.89/1.98 c #random_decision = 0
1.89/1.98 c #conflict = 0
1.89/1.98 c #restart = 0
1.89/1.98 c BCD2: found a new core of size 52: cost of the new core is >=512
1.89/1.98 c lower bound updated to 1284928
1.89/1.98 c BCD2: 1284928 <= obj <= 34101248
1.89/1.98 c BCD2: #cores=17, #unrelaxed=3642, #relaxed=438, #hardened=1159
1.89/1.98 c BCD2: #sat=1 #unsat=18 bias=18/19
1.89/1.99 c Solving starts ...
1.89/1.99 c ============================[ Search Statistics ]============================
1.89/1.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.99 c | | | | Limit GC | Var | Constra
1.89/1.99 c =============================================================================
1.89/1.99 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.89/2.00 c 0.0s | 0 | 802 | 0 | 1820 0 | 2818 | 0
1.89/2.00 c #cpu_time = 0.004s
1.89/2.00 c #wall_clock_time = 0.004s
1.89/2.00 c #decision = 802
1.89/2.00 c #random_decision = 0
1.89/2.00 c #conflict = 0
1.89/2.00 c #restart = 0
1.99/2.00 c BCD2: found a new core of size 77: cost of the new core is >=64
1.99/2.00 c lower bound updated to 1284992
1.99/2.00 c BCD2: 1284992 <= obj <= 34101248
1.99/2.00 c BCD2: #cores=18, #unrelaxed=3565, #relaxed=515, #hardened=1159
1.99/2.00 c BCD2: #sat=1 #unsat=19 bias=19/20
1.99/2.01 c Solving starts ...
1.99/2.01 c ============================[ Search Statistics ]============================
1.99/2.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.99/2.01 c | | | | Limit GC | Var | Constra
1.99/2.01 c =============================================================================
1.99/2.01 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.99/2.01 c 0.0s | 0 | 1049 | 0 | 1820 0 | 2818 | 0
1.99/2.01 c #cpu_time = 0.005s
1.99/2.01 c #wall_clock_time = 0.005s
1.99/2.01 c #decision = 1049
1.99/2.01 c #random_decision = 0
1.99/2.01 c #conflict = 0
1.99/2.01 c #restart = 0
1.99/2.01 c BCD2: found a new core of size 150: cost of the new core is >=2
1.99/2.01 c lower bound updated to 1284994
1.99/2.01 c BCD2: 1284994 <= obj <= 34101248
1.99/2.01 c BCD2: #cores=19, #unrelaxed=3415, #relaxed=665, #hardened=1159
1.99/2.01 c BCD2: #sat=1 #unsat=20 bias=20/21
1.99/2.02 c Solving starts ...
1.99/2.02 c ============================[ Search Statistics ]============================
1.99/2.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.99/2.02 c | | | | Limit GC | Var | Constra
1.99/2.02 c =============================================================================
1.99/2.02 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
1.99/2.02 c 0.0s | 0 | 1086 | 0 | 1820 0 | 2818 | 0
1.99/2.02 c #cpu_time = 0.006s
1.99/2.02 c #wall_clock_time = 0.006s
1.99/2.02 c #decision = 1086
1.99/2.02 c #random_decision = 0
1.99/2.02 c #conflict = 0
1.99/2.02 c #restart = 0
1.99/2.02 c BCD2: found a new core of size 293: cost of the new core is >=2
1.99/2.02 c lower bound updated to 1284996
1.99/2.03 c BCD2: 1284996 <= obj <= 34101248
1.99/2.03 c BCD2: #cores=20, #unrelaxed=3122, #relaxed=958, #hardened=1159
1.99/2.03 c BCD2: #sat=1 #unsat=21 bias=21/22
3.59/3.62 c Solving starts ...
3.59/3.62 c ============================[ Search Statistics ]============================
3.59/3.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.59/3.62 c | | | | Limit GC | Var | Constra
3.59/3.62 c =============================================================================
3.59/3.62 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
3.59/3.63 c 0.0s | 0 | 986 | 0 | 1820 0 | 2818 | 0
3.59/3.63 c #cpu_time = 0.005s
3.59/3.63 c #wall_clock_time = 0.005s
3.59/3.63 c #decision = 986
3.59/3.63 c #random_decision = 0
3.59/3.63 c #conflict = 0
3.59/3.63 c #restart = 0
3.59/3.63 c BCD2: found a new core of size 163: cost of the new core is >=1
3.59/3.63 c lower bound updated to 1284997
3.59/3.63 c BCD2: 1284997 <= obj <= 34101248
3.59/3.63 c BCD2: #cores=21, #unrelaxed=2959, #relaxed=1121, #hardened=1159
3.59/3.63 c BCD2: #sat=1 #unsat=22 bias=22/23
5.09/5.19 c Solving starts ...
5.09/5.19 c ============================[ Search Statistics ]============================
5.09/5.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
5.09/5.19 c | | | | Limit GC | Var | Constra
5.09/5.19 c =============================================================================
5.09/5.19 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
5.19/5.20 c 0.0s | 0 | 1025 | 0 | 1820 0 | 2818 | 0
5.19/5.20 c #cpu_time = 0.005s
5.19/5.20 c #wall_clock_time = 0.005s
5.19/5.20 c #decision = 1025
5.19/5.20 c #random_decision = 0
5.19/5.20 c #conflict = 0
5.19/5.20 c #restart = 0
5.19/5.20 c BCD2: found a new core of size 146: cost of the new core is >=1
5.19/5.20 c lower bound updated to 1284998
5.19/5.20 c BCD2: 1284998 <= obj <= 34101248
5.19/5.20 c BCD2: #cores=22, #unrelaxed=2813, #relaxed=1267, #hardened=1159
5.19/5.20 c BCD2: #sat=1 #unsat=23 bias=23/24
5.29/5.31 c Solving starts ...
5.29/5.31 c ============================[ Search Statistics ]============================
5.29/5.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
5.29/5.31 c | | | | Limit GC | Var | Constra
5.29/5.31 c =============================================================================
5.29/5.31 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
5.29/5.31 c 0.0s | 0 | 1070 | 0 | 1820 0 | 2818 | 0
5.29/5.31 c #cpu_time = 0.006s
5.29/5.31 c #wall_clock_time = 0.006s
5.29/5.31 c #decision = 1070
5.29/5.31 c #random_decision = 0
5.29/5.31 c #conflict = 0
5.29/5.31 c #restart = 0
5.29/5.31 c BCD2: found a new core of size 151: cost of the new core is >=2
5.29/5.31 c lower bound updated to 1285000
5.29/5.32 c BCD2: 1285000 <= obj <= 34101248
5.29/5.32 c BCD2: #cores=23, #unrelaxed=2662, #relaxed=1418, #hardened=1159
5.29/5.32 c BCD2: #sat=1 #unsat=24 bias=24/25
6.89/6.92 c Solving starts ...
6.89/6.92 c ============================[ Search Statistics ]============================
6.89/6.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
6.89/6.92 c | | | | Limit GC | Var | Constra
6.89/6.92 c =============================================================================
6.89/6.92 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
6.89/6.94 c 0.0s | 0 | 973 | 0 | 1820 0 | 2818 | 0
6.89/6.94 c #cpu_time = 0.006s
6.89/6.94 c #wall_clock_time = 0.006s
6.89/6.94 c #decision = 973
6.89/6.94 c #random_decision = 0
6.89/6.94 c #conflict = 0
6.89/6.94 c #restart = 0
6.89/6.94 c BCD2: found a new core of size 71: cost of the new core is >=64
6.89/6.94 c lower bound updated to 1285064
6.89/6.94 c BCD2: 1285064 <= obj <= 34101248
6.89/6.94 c BCD2: #cores=24, #unrelaxed=2591, #relaxed=1489, #hardened=1159
6.89/6.94 c BCD2: #sat=1 #unsat=25 bias=25/26
10.19/10.22 c Solving starts ...
10.19/10.22 c ============================[ Search Statistics ]============================
10.19/10.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
10.19/10.22 c | | | | Limit GC | Var | Constra
10.19/10.22 c =============================================================================
10.19/10.22 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
10.19/10.23 c 0.0s | 0 | 942 | 0 | 1820 0 | 2818 | 0
10.19/10.23 c #cpu_time = 0.006s
10.19/10.23 c #wall_clock_time = 0.006s
10.19/10.23 c #decision = 942
10.19/10.23 c #random_decision = 0
10.19/10.23 c #conflict = 0
10.19/10.23 c #restart = 0
10.19/10.23 c BCD2: found a new core of size 65: cost of the new core is >=384
10.19/10.23 c lower bound updated to 1285448
10.19/10.23 c BCD2: 1285448 <= obj <= 34101248
10.19/10.23 c BCD2: #cores=25, #unrelaxed=2526, #relaxed=1554, #hardened=1159
10.19/10.23 c BCD2: #sat=1 #unsat=26 bias=26/27
11.79/11.82 c Solving starts ...
11.79/11.82 c ============================[ Search Statistics ]============================
11.79/11.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
11.79/11.82 c | | | | Limit GC | Var | Constra
11.79/11.82 c =============================================================================
11.79/11.82 c 0.0s | 0 | 0 | 0 | 1820 0 | 2818 | 0
11.89/11.91 c 0.1s | 1 | 2058 | 100 | 2003 0 | 2818 | 0
11.89/11.97 c 0.1s | 2 | 3120 | 250 | 2204 0 | 2818 | 0
11.99/12.05 c 0.2s | 3 | 4247 | 475 | 2425 0 | 2818 | 0
12.10/12.18 c 0.4s | 4 | 5489 | 813 | 2668 0 | 2818 | 0
12.29/12.38 c 0.6s | 5 | 6899 | 1320 | 2935 0 | 2818 | 0
12.59/12.66 c 0.8s | 6 | 8564 | 2081 | 3229 0 | 2818 | 0
13.09/13.10 c 1.3s | 7 | 10616 | 3223 | 3552 0 | 2818 | 0
13.79/13.82 c 2.0s | 8 | 13240 | 4936 | 3908 0 | 2818 | 0
14.99/15.01 c 3.2s | 9 | 16724 | 7506 | 4299 0 | 2818 | 0
16.79/16.89 c 5.1s | 10 | 21767 | 11361 | 4729 1 | 2818 | 0
18.89/18.90 c 7.1s | 10 | 26889 | 15561 | 4729 2 | 2818 | 0
19.59/19.68 c 7.9s | 11 | 28482 | 17144 | 5202 3 | 2818 | 0
21.69/21.71 c 9.9s | 11 | 33809 | 21544 | 5202 4 | 2818 | 0
23.69/23.72 c 11.9s | 11 | 38077 | 25544 | 5202 5 | 2818 | 0
23.79/23.84 c 12.0s | 12 | 38357 | 25819 | 5723 5 | 2818 | 0
25.79/25.84 c 14.0s | 12 | 43774 | 30019 | 5723 5 | 2818 | 0
27.49/27.53 c 15.7s | 12 | 49889 | 33651 | 5723 6 | 2818 | 0
27.49/27.53 c #cpu_time = 15.665s
27.49/27.53 c #wall_clock_time = 15.705s
27.49/27.53 c #decision = 49889
27.49/27.53 c #random_decision = 118
27.49/27.53 c #conflict = 33651
27.49/27.53 c #restart = 12
27.49/27.53 c BCD2: relaxing 63 and merging with 1 cores into a new core of size 140: cost of the new core is >=68
27.49/27.53 c lower bound updated to 1285452
27.49/27.53 c BCD2: 1285452 <= obj <= 34101248
27.49/27.53 c BCD2: #cores=25, #unrelaxed=2463, #relaxed=1617, #hardened=1159
27.49/27.53 c BCD2: #sat=1 #unsat=27 bias=27/28
29.18/29.27 c Solving starts ...
29.18/29.27 c ============================[ Search Statistics ]============================
29.18/29.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.18/29.27 c | | | | Limit GC | Var | Constra
29.18/29.27 c =============================================================================
29.18/29.27 c 0.0s | 0 | 0 | 0 | 5723 0 | 2826 | 0
29.69/29.75 c 0.5s | 1 | 954 | 100 | 5723 0 | 2826 | 15
29.88/29.91 c 0.6s | 2 | 1936 | 250 | 5723 0 | 2826 | 15
30.18/30.21 c 0.9s | 3 | 2997 | 475 | 5723 0 | 2826 | 15
30.28/30.31 c 1.0s | 4 | 4171 | 813 | 5723 0 | 2826 | 15
30.38/30.46 c 1.2s | 5 | 5522 | 1320 | 5723 0 | 2826 | 15
30.68/30.70 c 1.4s | 6 | 7123 | 2081 | 5723 0 | 2826 | 15
30.98/31.09 c 1.8s | 7 | 9111 | 3223 | 5723 0 | 2826 | 15
31.68/31.76 c 2.5s | 8 | 11668 | 4936 | 6296 0 | 2826 | 15
32.68/32.79 c 3.5s | 9 | 15352 | 7506 | 6296 0 | 2826 | 15
34.58/34.60 c 5.3s | 10 | 20084 | 11361 | 6296 1 | 2826 | 15
36.58/36.67 c 7.4s | 10 | 24757 | 15161 | 6296 2 | 2826 | 15
37.58/37.64 c 8.4s | 11 | 26755 | 17144 | 6296 2 | 2826 | 15
39.59/39.67 c 10.4s | 11 | 31053 | 20544 | 6296 3 | 2826 | 15
41.68/41.71 c 12.4s | 11 | 35191 | 24644 | 6926 3 | 2826 | 15
42.38/42.41 c 13.1s | 12 | 36380 | 25819 | 6926 4 | 2826 | 15
44.38/44.41 c 15.1s | 12 | 41064 | 29619 | 6926 4 | 2826 | 15
46.38/46.44 c 17.2s | 12 | 44485 | 33019 | 6926 5 | 2826 | 15
48.39/48.47 c 19.2s | 12 | 48539 | 37019 | 6926 6 | 2826 | 15
49.28/49.35 c 20.1s | 13 | 50356 | 38832 | 6926 6 | 2826 | 15
51.28/51.37 c 22.1s | 13 | 53615 | 41232 | 6926 6 | 2826 | 15
53.28/53.39 c 24.1s | 13 | 57424 | 45032 | 6926 7 | 2826 | 15
55.38/55.41 c 26.1s | 13 | 60760 | 48332 | 6926 8 | 2826 | 15
57.38/57.41 c 28.1s | 13 | 64272 | 51832 | 6926 8 | 2826 | 15
59.38/59.45 c 30.2s | 13 | 67194 | 54732 | 7619 9 | 2826 | 15
61.38/61.47 c 32.2s | 13 | 70712 | 58232 | 7619 9 | 2826 | 15
61.48/61.54 c 32.3s | 14 | 70842 | 58352 | 7619 9 | 2826 | 15
63.58/63.60 c 34.3s | 14 | 75126 | 61752 | 7619 10 | 2826 | 15
65.58/65.63 c 36.4s | 14 | 78452 | 65052 | 7619 11 | 2826 | 15
67.58/67.65 c 38.4s | 14 | 81976 | 68552 | 7619 11 | 2826 | 15
69.58/69.66 c 40.4s | 14 | 85312 | 71852 | 7619 12 | 2826 | 15
71.78/71.81 c 42.5s | 14 | 87622 | 74152 | 7619 12 | 2826 | 15
73.79/73.86 c 44.6s | 14 | 91047 | 77552 | 7619 13 | 2826 | 15
75.78/75.88 c 46.6s | 14 | 94260 | 80752 | 7619 13 | 2826 | 15
77.88/77.91 c 48.6s | 14 | 97571 | 84052 | 7619 14 | 2826 | 15
80.78/80.88 c 51.6s | 14 | 100590 | 87052 | 7619 15 | 2826 | 15
81.18/81.20 c 51.9s | 15 | 101179 | 87632 | 7619 15 | 2826 | 15
83.18/83.24 c 54.0s | 15 | 105445 | 91032 | 7619 15 | 2826 | 15
85.28/85.33 c 56.1s | 15 | 108557 | 94132 | 7619 16 | 2826 | 15
87.28/87.37 c 58.1s | 15 | 111984 | 97532 | 8381 16 | 2826 | 15
89.28/89.38 c 60.1s | 15 | 115196 | 100732 | 8381 17 | 2826 | 15
91.28/91.38 c 62.1s | 15 | 118530 | 104032 | 8381 17 | 2826 | 15
94.58/94.62 c 65.4s | 15 | 120649 | 106132 | 8381 18 | 2826 | 15
96.57/96.68 c 67.4s | 15 | 124381 | 109832 | 8381 18 | 2826 | 15
98.67/98.74 c 69.5s | 15 | 128020 | 113432 | 8381 19 | 2826 | 15
100.67/100.75 c 71.5s | 15 | 131546 | 116932 | 8381 19 | 2826 | 15
102.67/102.78 c 73.5s | 15 | 134665 | 120032 | 8381 20 | 2826 | 15
104.67/104.79 c 75.5s | 15 | 137909 | 123232 | 8381 20 | 2826 | 15
106.78/106.82 c 77.5s | 15 | 141231 | 126532 | 8381 21 | 2826 | 15
108.77/108.84 c 79.6s | 15 | 144240 | 129532 | 8381 22 | 2826 | 15
110.47/110.52 c 81.2s | 16 | 146276 | 131552 | 8381 22 | 2826 | 15
112.48/112.55 c 83.3s | 16 | 149432 | 133852 | 8381 22 | 2826 | 15
114.58/114.68 c 85.4s | 16 | 152274 | 136652 | 8381 23 | 2826 | 15
116.78/116.80 c 87.5s | 16 | 155793 | 140152 | 8381 23 | 2826 | 15
118.78/118.83 c 89.6s | 16 | 159640 | 143952 | 8381 24 | 2826 | 15
120.78/120.86 c 91.6s | 16 | 163184 | 147452 | 8381 24 | 2826 | 15
122.88/122.90 c 93.6s | 16 | 166808 | 151052 | 8381 25 | 2826 | 15
124.88/124.94 c 95.7s | 16 | 170151 | 154352 | 8381 26 | 2826 | 15
126.87/126.96 c 97.7s | 16 | 173388 | 157552 | 8381 26 | 2826 | 15
128.97/129.00 c 99.7s | 16 | 176727 | 160852 | 8381 27 | 2826 | 15
130.98/131.05 c 101s | 16 | 179943 | 164052 | 9220 27 | 2826 | 15
132.97/133.08 c 103s | 16 | 182968 | 167052 | 9220 28 | 2826 | 15
135.07/135.11 c 105s | 16 | 185377 | 169452 | 9220 28 | 2826 | 15
137.07/137.15 c 107s | 16 | 188597 | 172652 | 9220 28 | 2826 | 15
139.07/139.19 c 109s | 16 | 191121 | 175152 | 9220 29 | 2826 | 15
141.17/141.20 c 111s | 16 | 194250 | 178252 | 9220 29 | 2826 | 15
143.17/143.23 c 113s | 16 | 196973 | 180952 | 9220 30 | 2826 | 15
145.18/145.27 c 115s | 16 | 200388 | 184352 | 9220 30 | 2826 | 15
147.27/147.31 c 118s | 16 | 202404 | 186352 | 9220 31 | 2826 | 15
149.77/149.86 c 120s | 16 | 204936 | 188852 | 9220 31 | 2826 | 15
151.77/151.90 c 122s | 16 | 209265 | 193152 | 9220 32 | 2826 | 15
153.86/153.92 c 124s | 16 | 213433 | 197252 | 9220 32 | 2826 | 15
153.97/154.00 c 124s | 17 | 213608 | 197432 | 9220 32 | 2826 | 15
155.96/156.03 c 126s | 17 | 218206 | 201132 | 9220 33 | 2826 | 15
157.96/158.07 c 128s | 17 | 222036 | 204932 | 9220 33 | 2826 | 15
160.06/160.10 c 130s | 17 | 225462 | 208332 | 9220 34 | 2826 | 15
162.06/162.13 c 132s | 17 | 229159 | 211932 | 9220 34 | 2826 | 15
164.06/164.13 c 134s | 17 | 232853 | 215532 | 9220 35 | 2826 | 15
166.07/166.16 c 136s | 17 | 236325 | 218932 | 9220 36 | 2826 | 15
168.37/168.48 c 139s | 17 | 239168 | 221732 | 9220 36 | 2826 | 15
170.36/170.49 c 141s | 17 | 242689 | 225232 | 9220 37 | 2826 | 15
172.36/172.49 c 143s | 17 | 246727 | 229232 | 9220 37 | 2826 | 15
174.46/174.52 c 145s | 17 | 250487 | 232932 | 9220 38 | 2826 | 15
176.46/176.53 c 147s | 17 | 254255 | 236632 | 9220 38 | 2826 | 15
178.46/178.55 c 149s | 17 | 256773 | 239132 | 9220 39 | 2826 | 15
180.56/180.64 c 151s | 17 | 260107 | 242432 | 9220 39 | 2826 | 15
182.56/182.65 c 153s | 17 | 263853 | 246132 | 9220 40 | 2826 | 15
184.65/184.70 c 155s | 17 | 267832 | 250032 | 9220 40 | 2826 | 15
186.65/186.70 c 157s | 17 | 271446 | 253632 | 9220 41 | 2826 | 15
188.65/188.71 c 159s | 17 | 274979 | 257132 | 9220 41 | 2826 | 15
190.66/190.72 c 161s | 17 | 276818 | 258932 | 9220 42 | 2826 | 15
192.66/192.72 c 163s | 17 | 280749 | 262832 | 10142 42 | 2826 | 15
194.67/194.76 c 165s | 17 | 284066 | 266132 | 10142 43 | 2826 | 15
196.76/196.82 c 167s | 17 | 287896 | 269932 | 10142 43 | 2826 | 15
198.76/198.82 c 169s | 17 | 291016 | 273032 | 10142 44 | 2826 | 15
200.76/200.87 c 171s | 17 | 293733 | 275732 | 10142 44 | 2826 | 15
202.76/202.87 c 173s | 17 | 297172 | 279132 | 10142 45 | 2826 | 15
204.75/204.89 c 175s | 17 | 300307 | 282232 | 10142 45 | 2826 | 15
206.86/206.98 c 177s | 17 | 302729 | 284632 | 10142 45 | 2826 | 15
208.96/209.02 c 179s | 17 | 306254 | 288132 | 10142 46 | 2826 | 15
210.95/211.04 c 181s | 17 | 310020 | 291832 | 10142 46 | 2826 | 15
212.95/213.05 c 183s | 17 | 313642 | 295432 | 10142 47 | 2826 | 15
213.36/213.48 c 184s | 18 | 314485 | 296252 | 10142 47 | 2826 | 15
216.36/216.41 c 187s | 18 | 317249 | 298152 | 10142 47 | 2826 | 15
218.35/218.42 c 189s | 18 | 320870 | 301752 | 10142 48 | 2826 | 15
220.35/220.47 c 191s | 18 | 324501 | 305352 | 10142 48 | 2826 | 15
222.35/222.49 c 193s | 18 | 328031 | 308852 | 10142 49 | 2826 | 15
224.46/224.51 c 195s | 18 | 331654 | 312452 | 10142 49 | 2826 | 15
226.45/226.55 c 197s | 18 | 335084 | 315852 | 10142 50 | 2826 | 15
228.45/228.57 c 199s | 18 | 338400 | 319152 | 10142 50 | 2826 | 15
230.75/230.83 c 201s | 18 | 341653 | 322352 | 10142 51 | 2826 | 15
232.75/232.87 c 203s | 18 | 345066 | 325752 | 10142 51 | 2826 | 15
234.85/234.90 c 205s | 18 | 348295 | 328952 | 10142 52 | 2826 | 15
236.85/236.91 c 207s | 18 | 351526 | 332152 | 10142 52 | 2826 | 15
238.85/238.93 c 209s | 18 | 354431 | 335052 | 10142 53 | 2826 | 15
240.85/240.94 c 211s | 18 | 357757 | 338352 | 10142 53 | 2826 | 15
242.85/242.97 c 213s | 18 | 360463 | 341052 | 10142 53 | 2826 | 15
244.94/245.03 c 215s | 18 | 363481 | 344052 | 10142 54 | 2826 | 15
246.94/247.05 c 217s | 18 | 366712 | 347252 | 10142 54 | 2826 | 15
249.04/249.10 c 219s | 18 | 370041 | 350552 | 10142 55 | 2826 | 15
251.04/251.10 c 221s | 18 | 372252 | 352752 | 10142 55 | 2826 | 15
253.05/253.14 c 223s | 18 | 374968 | 355452 | 10142 56 | 2826 | 15
255.04/255.17 c 225s | 18 | 378290 | 358752 | 10142 56 | 2826 | 15
257.14/257.21 c 227s | 18 | 380908 | 361352 | 10142 56 | 2826 | 15
259.14/259.24 c 229s | 18 | 384122 | 364552 | 10142 57 | 2826 | 15
261.14/261.27 c 232s | 18 | 385630 | 366052 | 10142 57 | 2826 | 15
263.14/263.28 c 234s | 18 | 388851 | 369252 | 10142 58 | 2826 | 15
265.23/265.33 c 236s | 18 | 391256 | 371652 | 10142 58 | 2826 | 15
267.24/267.35 c 238s | 18 | 394577 | 374952 | 10142 58 | 2826 | 15
269.23/269.38 c 240s | 18 | 396492 | 376852 | 10142 59 | 2826 | 15
271.33/271.40 c 242s | 18 | 400026 | 380352 | 10142 59 | 2826 | 15
273.33/273.40 c 244s | 18 | 403451 | 383752 | 10142 60 | 2826 | 15
275.34/275.42 c 246s | 18 | 406872 | 387152 | 10142 60 | 2826 | 15
277.44/277.54 c 248s | 18 | 409884 | 390152 | 10142 61 | 2826 | 15
279.44/279.59 c 250s | 18 | 413108 | 393352 | 10142 61 | 2826 | 15
281.54/281.64 c 252s | 18 | 416330 | 396552 | 10142 61 | 2826 | 15
283.53/283.67 c 254s | 18 | 417944 | 398152 | 10142 62 | 2826 | 15
285.53/285.69 c 256s | 18 | 421259 | 401452 | 10142 62 | 2826 | 15
287.62/287.70 c 258s | 18 | 424278 | 404452 | 10142 63 | 2826 | 15
289.62/289.73 c 260s | 18 | 427699 | 407852 | 11157 63 | 2826 | 15
291.62/291.73 c 262s | 18 | 430909 | 411052 | 11157 63 | 2826 | 15
293.63/293.79 c 264s | 18 | 434147 | 414252 | 11157 64 | 2826 | 15
295.72/295.80 c 266s | 18 | 437258 | 417352 | 11157 64 | 2826 | 15
297.72/297.81 c 268s | 18 | 440290 | 420352 | 11157 65 | 2826 | 15
300.13/300.23 c 270s | 18 | 443470 | 423452 | 11157 65 | 2826 | 15
302.13/302.23 c 272s | 18 | 446368 | 426352 | 11157 65 | 2826 | 15
304.13/304.28 c 275s | 18 | 449811 | 429752 | 11157 66 | 2826 | 15
306.23/306.32 c 277s | 18 | 452528 | 432452 | 11157 66 | 2826 | 15
308.22/308.33 c 279s | 18 | 454854 | 434752 | 11157 67 | 2826 | 15
310.23/310.36 c 281s | 18 | 457868 | 437752 | 11157 67 | 2826 | 15
312.22/312.39 c 283s | 18 | 461089 | 440952 | 11157 67 | 2826 | 15
314.32/314.40 c 285s | 18 | 463998 | 443852 | 11157 68 | 2826 | 15
314.63/314.79 c 285s | 19 | 464631 | 444482 | 11157 68 | 2826 | 15
316.72/316.85 c 287s | 19 | 468486 | 447482 | 11157 68 | 2826 | 15
318.82/318.90 c 289s | 19 | 471706 | 450682 | 11157 69 | 2826 | 15
320.81/320.93 c 291s | 19 | 474630 | 453582 | 11157 69 | 2826 | 15
322.81/322.95 c 293s | 19 | 477753 | 456682 | 11157 70 | 2826 | 15
324.81/324.95 c 295s | 19 | 480796 | 459682 | 11157 70 | 2826 | 15
326.81/326.98 c 297s | 19 | 482316 | 461182 | 11157 70 | 2826 | 15
328.92/329.01 c 299s | 19 | 485124 | 463982 | 11157 70 | 2826 | 15
330.92/331.04 c 301s | 19 | 486933 | 465782 | 11157 71 | 2826 | 15
332.92/333.05 c 303s | 19 | 490245 | 469082 | 11157 71 | 2826 | 15
334.92/335.08 c 305s | 19 | 493052 | 471882 | 11157 72 | 2826 | 15
337.01/337.13 c 307s | 19 | 496271 | 475082 | 11157 72 | 2826 | 15
339.01/339.14 c 309s | 19 | 499187 | 477982 | 11157 72 | 2826 | 15
341.02/341.16 c 311s | 19 | 502310 | 481082 | 11157 73 | 2826 | 15
343.01/343.19 c 313s | 19 | 505620 | 484382 | 11157 73 | 2826 | 15
345.11/345.25 c 315s | 19 | 508040 | 486782 | 11157 74 | 2826 | 15
347.11/347.26 c 317s | 19 | 511369 | 490082 | 11157 74 | 2826 | 15
349.10/349.26 c 319s | 19 | 513289 | 491982 | 11157 74 | 2826 | 15
351.10/351.26 c 321s | 19 | 516498 | 495182 | 11157 75 | 2826 | 15
353.11/353.28 c 324s | 19 | 519317 | 497982 | 11157 75 | 2826 | 15
355.21/355.33 c 326s | 19 | 522738 | 501382 | 11157 75 | 2826 | 15
357.20/357.39 c 328s | 19 | 526153 | 504782 | 11157 76 | 2826 | 15
359.30/359.46 c 330s | 19 | 529468 | 508082 | 11157 76 | 2826 | 15
361.30/361.47 c 332s | 19 | 532693 | 511282 | 11157 77 | 2826 | 15
363.40/363.53 c 334s | 19 | 535807 | 514382 | 11157 77 | 2826 | 15
365.50/365.68 c 336s | 19 | 538930 | 517482 | 11157 78 | 2826 | 15
367.49/367.69 c 338s | 19 | 542142 | 520682 | 11157 78 | 2826 | 15
369.50/369.70 c 340s | 19 | 545165 | 523682 | 11157 78 | 2826 | 15
371.59/371.73 c 342s | 19 | 548274 | 526782 | 11157 79 | 2826 | 15
373.59/373.73 c 344s | 19 | 548583 | 527082 | 11157 79 | 2826 | 15
375.59/375.78 c 346s | 19 | 552015 | 530482 | 11157 79 | 2826 | 15
377.69/377.82 c 348s | 19 | 555226 | 533682 | 11157 80 | 2826 | 15
379.69/379.84 c 350s | 19 | 558238 | 536682 | 11157 80 | 2826 | 15
381.70/381.86 c 352s | 19 | 561262 | 539682 | 11157 81 | 2826 | 15
383.69/383.88 c 354s | 19 | 564490 | 542882 | 11157 81 | 2826 | 15
385.79/385.91 c 356s | 19 | 567612 | 545982 | 11157 81 | 2826 | 15
387.78/387.98 c 358s | 19 | 570826 | 549182 | 11157 82 | 2826 | 15
390.49/390.63 c 361s | 19 | 573064 | 551382 | 11157 82 | 2826 | 15
392.48/392.68 c 363s | 19 | 575070 | 553382 | 11157 82 | 2826 | 15
394.48/394.68 c 365s | 19 | 578282 | 556582 | 11157 83 | 2826 | 15
396.58/396.71 c 367s | 19 | 581509 | 559782 | 11157 83 | 2826 | 15
398.58/398.73 c 369s | 19 | 584214 | 562482 | 11157 84 | 2826 | 15
400.58/400.75 c 371s | 19 | 587630 | 565882 | 11157 84 | 2826 | 15
402.78/402.93 c 373s | 19 | 590643 | 568882 | 11157 85 | 2826 | 15
404.78/404.93 c 375s | 19 | 593761 | 571982 | 11157 85 | 2826 | 15
406.77/406.96 c 377s | 19 | 596881 | 575082 | 11157 85 | 2826 | 15
409.38/409.56 c 380s | 19 | 598386 | 576582 | 11157 86 | 2826 | 15
411.39/411.60 c 382s | 19 | 601509 | 579682 | 11157 86 | 2826 | 15
413.49/413.65 c 384s | 19 | 604638 | 582782 | 11157 86 | 2826 | 15
415.48/415.68 c 386s | 19 | 607048 | 585182 | 11157 87 | 2826 | 15
417.57/417.72 c 388s | 19 | 610180 | 588282 | 11157 87 | 2826 | 15
419.87/420.07 c 390s | 19 | 612792 | 590882 | 11157 87 | 2826 | 15
421.97/422.10 c 392s | 19 | 615913 | 593982 | 11157 88 | 2826 | 15
423.97/424.10 c 394s | 19 | 619031 | 597082 | 11157 88 | 2826 | 15
425.97/426.12 c 396s | 19 | 622046 | 600082 | 11157 89 | 2826 | 15
427.97/428.17 c 398s | 19 | 624065 | 602082 | 11157 89 | 2826 | 15
429.97/430.19 c 400s | 19 | 627079 | 605082 | 11157 89 | 2826 | 15
432.07/432.22 c 402s | 19 | 630089 | 608082 | 11157 90 | 2826 | 15
434.37/434.53 c 405s | 19 | 631699 | 609682 | 11157 90 | 2826 | 15
436.36/436.57 c 407s | 19 | 635012 | 612982 | 11157 90 | 2826 | 15
438.36/438.58 c 409s | 19 | 637826 | 615782 | 11157 91 | 2826 | 15
440.36/440.60 c 411s | 19 | 641043 | 618982 | 11157 91 | 2826 | 15
442.46/442.61 c 413s | 19 | 643971 | 621882 | 11157 92 | 2826 | 15
444.47/444.63 c 415s | 19 | 647189 | 625082 | 11157 92 | 2826 | 15
446.57/446.72 c 417s | 19 | 649510 | 627382 | 11157 92 | 2826 | 15
448.57/448.73 c 419s | 19 | 652122 | 629982 | 12273 93 | 2826 | 15
450.57/450.78 c 421s | 19 | 655436 | 633282 | 12273 93 | 2826 | 15
452.57/452.79 c 423s | 19 | 657949 | 635782 | 12273 93 | 2826 | 15
454.66/454.85 c 425s | 19 | 660859 | 638682 | 12273 94 | 2826 | 15
456.76/456.90 c 427s | 19 | 664073 | 641882 | 12273 94 | 2826 | 15
458.86/459.06 c 429s | 19 | 667103 | 644882 | 12273 94 | 2826 | 15
460.96/461.10 c 431s | 19 | 668011 | 645782 | 12273 95 | 2826 | 15
462.96/463.13 c 433s | 19 | 670732 | 648482 | 12273 95 | 2826 | 15
464.96/465.18 c 435s | 19 | 674176 | 651882 | 12273 95 | 2826 | 15
467.05/467.23 c 437s | 19 | 677211 | 654882 | 12273 96 | 2826 | 15
469.15/469.30 c 440s | 19 | 679644 | 657282 | 12273 96 | 2826 | 15
471.15/471.35 c 442s | 19 | 683352 | 660982 | 12273 96 | 2826 | 15
473.15/473.37 c 444s | 19 | 686872 | 664482 | 12273 97 | 2826 | 15
474.65/474.84 c 445s | 20 | 689232 | 666827 | 12273 97 | 2826 | 15
476.65/476.89 c 447s | 20 | 694156 | 670827 | 12273 98 | 2826 | 15
478.75/478.91 c 449s | 20 | 698396 | 675027 | 12273 98 | 2826 | 15
480.75/480.92 c 451s | 20 | 701544 | 678127 | 12273 99 | 2826 | 15
482.76/482.95 c 453s | 20 | 705285 | 681827 | 12273 99 | 2826 | 15
485.25/485.49 c 456s | 20 | 708660 | 685127 | 12273 100 | 2826 | 15
487.34/487.51 c 458s | 20 | 711989 | 688427 | 12273 100 | 2826 | 15
489.35/489.57 c 460s | 20 | 715619 | 692027 | 12273 100 | 2826 | 15
492.15/492.36 c 463s | 20 | 718394 | 694727 | 12273 101 | 2826 | 15
494.15/494.36 c 465s | 20 | 722060 | 698327 | 12273 101 | 2826 | 15
496.15/496.38 c 467s | 20 | 725083 | 701327 | 12273 102 | 2826 | 15
498.25/498.42 c 469s | 20 | 728312 | 704527 | 12273 102 | 2826 | 15
500.25/500.46 c 471s | 20 | 732450 | 708627 | 12273 102 | 2826 | 15
502.25/502.49 c 473s | 20 | 736314 | 712427 | 12273 103 | 2826 | 15
504.35/504.52 c 475s | 20 | 739895 | 715927 | 12273 103 | 2826 | 15
506.35/506.56 c 477s | 20 | 743025 | 719027 | 12273 104 | 2826 | 15
508.34/508.59 c 479s | 20 | 746675 | 722627 | 12273 104 | 2826 | 15
510.44/510.60 c 481s | 20 | 748688 | 724627 | 12273 104 | 2826 | 15
512.45/512.64 c 483s | 20 | 752240 | 728127 | 12273 105 | 2826 | 15
514.44/514.66 c 485s | 20 | 755886 | 731727 | 12273 105 | 2826 | 15
516.44/516.67 c 487s | 20 | 759104 | 734927 | 12273 106 | 2826 | 15
518.54/518.71 c 489s | 20 | 762722 | 738527 | 12273 106 | 2826 | 15
520.64/520.89 c 491s | 20 | 765521 | 741327 | 12273 107 | 2826 | 15
522.74/522.92 c 493s | 20 | 768948 | 744727 | 12273 107 | 2826 | 15
524.74/524.96 c 495s | 20 | 772275 | 748027 | 12273 107 | 2826 | 15
526.74/526.97 c 497s | 20 | 774489 | 750227 | 12273 108 | 2826 | 15
528.84/529.00 c 499s | 20 | 778005 | 753727 | 12273 108 | 2826 | 15
530.84/531.01 c 501s | 20 | 781452 | 757127 | 12273 108 | 2826 | 15
532.84/533.02 c 503s | 20 | 784701 | 760327 | 12273 109 | 2826 | 15
534.84/535.06 c 505s | 20 | 787719 | 763327 | 12273 109 | 2826 | 15
536.93/537.11 c 507s | 20 | 790429 | 766027 | 12273 110 | 2826 | 15
538.94/539.13 c 509s | 20 | 791137 | 766727 | 12273 110 | 2826 | 15
540.93/541.15 c 511s | 20 | 794557 | 770127 | 12273 110 | 2826 | 15
543.03/543.21 c 513s | 20 | 797679 | 773227 | 12273 110 | 2826 | 15
545.03/545.21 c 515s | 20 | 800797 | 776327 | 12273 111 | 2826 | 15
547.03/547.26 c 517s | 20 | 804018 | 779527 | 12273 111 | 2826 | 15
549.03/549.29 c 520s | 20 | 806958 | 782427 | 12273 112 | 2826 | 15
551.13/551.33 c 522s | 20 | 810083 | 785527 | 12273 112 | 2826 | 15
553.14/553.33 c 524s | 20 | 813107 | 788527 | 12273 112 | 2826 | 15
555.13/555.34 c 526s | 20 | 816120 | 791527 | 12273 113 | 2826 | 15
557.63/557.86 c 528s | 20 | 817553 | 792927 | 12273 113 | 2826 | 15
559.62/559.90 c 530s | 20 | 820779 | 796127 | 12273 113 | 2826 | 15
561.72/561.95 c 532s | 20 | 824533 | 799827 | 12273 114 | 2826 | 15
563.72/563.98 c 534s | 20 | 827961 | 803227 | 12273 114 | 2826 | 15
565.82/566.02 c 536s | 20 | 831288 | 806527 | 12273 115 | 2826 | 15
567.82/568.02 c 538s | 20 | 834616 | 809827 | 12273 115 | 2826 | 15
569.82/570.06 c 540s | 20 | 838139 | 813327 | 12273 115 | 2826 | 15
571.93/572.12 c 542s | 20 | 841070 | 816227 | 12273 116 | 2826 | 15
573.92/574.13 c 544s | 20 | 844396 | 819527 | 12273 116 | 2826 | 15
575.92/576.18 c 546s | 20 | 847304 | 822427 | 12273 117 | 2826 | 15
578.01/578.22 c 548s | 20 | 850440 | 825527 | 12273 117 | 2826 | 15
580.01/580.28 c 551s | 20 | 853446 | 828527 | 12273 117 | 2826 | 15
582.12/582.33 c 553s | 20 | 856176 | 831227 | 12273 118 | 2826 | 15
584.12/584.37 c 555s | 20 | 859485 | 834527 | 12273 118 | 2826 | 15
586.23/586.41 c 557s | 20 | 862503 | 837527 | 12273 119 | 2826 | 15
588.22/588.47 c 559s | 20 | 865709 | 840727 | 12273 119 | 2826 | 15
590.32/590.50 c 561s | 20 | 868247 | 843227 | 12273 119 | 2826 | 15
592.32/592.51 c 563s | 20 | 871454 | 846427 | 12273 120 | 2826 | 15
594.31/594.52 c 565s | 20 | 875014 | 849927 | 12273 120 | 2826 | 15
596.31/596.54 c 567s | 20 | 878137 | 853027 | 12273 120 | 2826 | 15
598.32/598.56 c 569s | 20 | 881459 | 856327 | 12273 121 | 2826 | 15
600.31/600.56 c 571s | 20 | 884774 | 859627 | 12273 121 | 2826 | 15
602.31/602.57 c 573s | 20 | 887593 | 862427 | 12273 122 | 2826 | 15
604.31/604.58 c 575s | 20 | 891222 | 866027 | 12273 122 | 2826 | 15
606.41/606.64 c 577s | 20 | 894441 | 869227 | 12273 122 | 2826 | 15
608.41/608.67 c 579s | 20 | 897780 | 872527 | 12273 123 | 2826 | 15
610.51/610.70 c 581s | 20 | 900894 | 875627 | 12273 123 | 2826 | 15
612.51/612.71 c 583s | 20 | 902421 | 877127 | 12273 123 | 2826 | 15
614.51/614.73 c 585s | 20 | 905850 | 880527 | 12273 124 | 2826 | 15
616.51/616.74 c 587s | 20 | 909066 | 883727 | 12273 124 | 2826 | 15
618.50/618.75 c 589s | 20 | 912081 | 886727 | 12273 125 | 2826 | 15
620.50/620.77 c 591s | 20 | 915214 | 889827 | 12273 125 | 2826 | 15
622.51/622.78 c 593s | 20 | 918019 | 892627 | 12273 125 | 2826 | 15
624.61/624.84 c 595s | 20 | 921171 | 895727 | 12273 126 | 2826 | 15
628.01/628.25 c 598s | 20 | 922987 | 897527 | 12273 126 | 2826 | 15
630.00/630.28 c 601s | 20 | 926449 | 900927 | 12273 126 | 2826 | 15
632.10/632.32 c 603s | 20 | 928979 | 903427 | 12273 127 | 2826 | 15
634.10/634.33 c 605s | 20 | 933249 | 907627 | 12273 127 | 2826 | 15
636.10/636.34 c 607s | 20 | 936869 | 911227 | 12273 128 | 2826 | 15
638.09/638.39 c 609s | 20 | 939999 | 914327 | 12273 128 | 2826 | 15
640.19/640.42 c 611s | 20 | 943037 | 917327 | 12273 128 | 2826 | 15
642.20/642.42 c 613s | 20 | 946359 | 920627 | 12273 129 | 2826 | 15
644.19/644.44 c 615s | 20 | 949474 | 923727 | 12273 129 | 2826 | 15
646.19/646.45 c 617s | 20 | 953003 | 927227 | 12273 130 | 2826 | 15
648.29/648.52 c 619s | 20 | 956512 | 930727 | 12273 130 | 2826 | 15
650.39/650.60 c 621s | 20 | 959524 | 933727 | 12273 131 | 2826 | 15
652.39/652.66 c 623s | 20 | 963052 | 937227 | 12273 131 | 2826 | 15
654.49/654.70 c 625s | 20 | 966272 | 940427 | 12273 131 | 2826 | 15
656.69/656.96 c 627s | 20 | 967783 | 941927 | 12273 132 | 2826 | 15
658.69/658.96 c 629s | 20 | 971201 | 945327 | 12273 132 | 2826 | 15
660.69/660.98 c 631s | 20 | 974225 | 948327 | 12273 132 | 2826 | 15
662.79/663.01 c 633s | 20 | 977334 | 951427 | 12273 133 | 2826 | 15
664.79/665.06 c 635s | 20 | 979854 | 953927 | 12273 133 | 2826 | 15
666.88/667.12 c 637s | 20 | 982958 | 957027 | 12273 133 | 2826 | 15
671.39/671.60 c 642s | 20 | 986080 | 960127 | 13501 134 | 2826 | 15
673.39/673.63 c 644s | 20 | 990408 | 964427 | 13501 134 | 2826 | 15
675.39/675.66 c 646s | 20 | 993689 | 967627 | 13501 135 | 2826 | 15
677.39/677.67 c 648s | 20 | 997315 | 971227 | 13501 135 | 2826 | 15
679.48/679.71 c 650s | 20 | 1000451 | 974327 | 13501 135 | 2826 | 15
681.48/681.75 c 652s | 20 | 1002990 | 976827 | 13501 136 | 2826 | 15
683.48/683.78 c 654s | 20 | 1006510 | 980327 | 13501 136 | 2826 | 15
685.58/685.81 c 656s | 20 | 1009647 | 983427 | 13501 136 | 2826 | 15
687.58/687.85 c 658s | 20 | 1012859 | 986627 | 13501 137 | 2826 | 15
689.58/689.87 c 660s | 20 | 1015871 | 989627 | 13501 137 | 2826 | 15
691.68/691.93 c 662s | 20 | 1018493 | 992227 | 13501 137 | 2826 | 15
693.68/693.95 c 664s | 20 | 1021107 | 994827 | 13501 138 | 2826 | 15
695.68/695.99 c 666s | 20 | 1023426 | 997127 | 13501 138 | 2826 | 15
697.77/698.03 c 668s | 20 | 1026244 | 999927 | 13501 138 | 2826 | 15
698.07/698.36 c 669s | 21 | 1026665 | 1000345 | 13501 138 | 2826 | 15
700.77/701.05 c 671s | 21 | 1029741 | 1002545 | 13501 139 | 2826 | 15
702.78/703.09 c 673s | 21 | 1031601 | 1004345 | 13501 139 | 2826 | 15
704.88/705.11 c 675s | 21 | 1034557 | 1007245 | 13501 139 | 2826 | 15
706.87/707.16 c 677s | 21 | 1037198 | 1009845 | 13501 139 | 2826 | 15
709.27/709.56 c 680s | 21 | 1039521 | 1012145 | 13501 140 | 2826 | 15
711.36/711.61 c 682s | 21 | 1042622 | 1015245 | 13501 140 | 2826 | 15
713.36/713.65 c 684s | 21 | 1045314 | 1017845 | 13501 140 | 2826 | 15
715.36/715.69 c 686s | 21 | 1048440 | 1020945 | 13501 141 | 2826 | 15
717.46/717.71 c 688s | 21 | 1051656 | 1024145 | 13501 141 | 2826 | 15
719.46/719.71 c 690s | 21 | 1054485 | 1026945 | 13501 141 | 2826 | 15
721.47/721.73 c 692s | 21 | 1057489 | 1029945 | 13501 142 | 2826 | 15
723.46/723.74 c 694s | 21 | 1060503 | 1032945 | 13501 142 | 2826 | 15
725.46/725.75 c 696s | 21 | 1063218 | 1035645 | 13501 142 | 2826 | 15
727.46/727.78 c 698s | 21 | 1066022 | 1038445 | 13501 143 | 2826 | 15
729.56/729.82 c 700s | 21 | 1069049 | 1041445 | 13501 143 | 2826 | 15
731.56/731.86 c 702s | 21 | 1070369 | 1042745 | 13501 143 | 2826 | 15
733.66/733.90 c 704s | 21 | 1073304 | 1045645 | 13501 144 | 2826 | 15
735.67/735.93 c 706s | 21 | 1076512 | 1048845 | 13501 144 | 2826 | 15
737.66/737.96 c 708s | 21 | 1079444 | 1051745 | 13501 144 | 2826 | 15
739.66/739.99 c 710s | 21 | 1082562 | 1054845 | 13501 145 | 2826 | 15
741.76/742.06 c 712s | 21 | 1085897 | 1058145 | 13501 145 | 2826 | 15
743.76/744.07 c 714s | 21 | 1088609 | 1060845 | 13501 145 | 2826 | 15
745.86/746.11 c 716s | 21 | 1090934 | 1063145 | 13501 146 | 2826 | 15
747.86/748.14 c 718s | 21 | 1094046 | 1066245 | 13501 146 | 2826 | 15
749.86/750.20 c 720s | 21 | 1097313 | 1069445 | 13501 146 | 2826 | 15
751.96/752.25 c 722s | 21 | 1100324 | 1072445 | 13501 147 | 2826 | 15
753.96/754.27 c 725s | 21 | 1103437 | 1075545 | 13501 147 | 2826 | 15
756.06/756.30 c 727s | 21 | 1106497 | 1078545 | 13501 147 | 2826 | 15
758.05/758.31 c 729s | 21 | 1109645 | 1081645 | 13501 148 | 2826 | 15
760.05/760.35 c 731s | 21 | 1112557 | 1084545 | 13501 148 | 2826 | 15
762.06/762.38 c 733s | 21 | 1115269 | 1087245 | 13501 148 | 2826 | 15
764.05/764.39 c 735s | 21 | 1118098 | 1090045 | 13501 149 | 2826 | 15
769.25/769.59 c 740s | 21 | 1120470 | 1092345 | 13501 149 | 2826 | 15
771.75/772.07 c 742s | 21 | 1120585 | 1092445 | 13501 149 | 2826 | 15
773.85/774.13 c 744s | 21 | 1123784 | 1095645 | 13501 149 | 2826 | 15
776.74/777.09 c 747s | 21 | 1126604 | 1098445 | 13501 150 | 2826 | 15
778.84/779.15 c 749s | 21 | 1129929 | 1101745 | 13501 150 | 2826 | 15
780.85/781.18 c 751s | 21 | 1132842 | 1104645 | 13501 150 | 2826 | 15
782.95/783.22 c 753s | 21 | 1136051 | 1107845 | 13501 151 | 2826 | 15
784.94/785.24 c 755s | 21 | 1139271 | 1111045 | 13501 151 | 2826 | 15
787.04/787.35 c 758s | 21 | 1142094 | 1113845 | 13501 152 | 2826 | 15
789.94/790.29 c 761s | 21 | 1145810 | 1117545 | 13501 152 | 2826 | 15
792.04/792.34 c 763s | 21 | 1149133 | 1120845 | 13501 152 | 2826 | 15
794.05/794.37 c 765s | 21 | 1152145 | 1123845 | 13501 153 | 2826 | 15
796.15/796.41 c 767s | 21 | 1155361 | 1127045 | 13501 153 | 2826 | 15
798.13/798.45 c 769s | 21 | 1158469 | 1130145 | 13501 153 | 2826 | 15
800.23/800.59 c 771s | 21 | 1161086 | 1132745 | 13501 154 | 2826 | 15
802.33/802.63 c 773s | 21 | 1163794 | 1135445 | 13501 154 | 2826 | 15
804.33/804.64 c 775s | 21 | 1166408 | 1138045 | 13501 154 | 2826 | 15
807.34/807.61 c 778s | 21 | 1167729 | 1139345 | 13501 154 | 2826 | 15
809.34/809.65 c 780s | 21 | 1171670 | 1143245 | 13501 155 | 2826 | 15
811.34/811.68 c 782s | 21 | 1175041 | 1146545 | 13501 155 | 2826 | 15
813.44/813.73 c 784s | 21 | 1177865 | 1149345 | 13501 156 | 2826 | 15
815.44/815.77 c 786s | 21 | 1180827 | 1152245 | 13501 156 | 2826 | 15
817.53/817.81 c 788s | 21 | 1183741 | 1155145 | 13501 156 | 2826 | 15
819.53/819.82 c 790s | 21 | 1186477 | 1157845 | 13501 157 | 2826 | 15
821.54/821.84 c 792s | 21 | 1189526 | 1160845 | 13501 157 | 2826 | 15
823.74/824.05 c 794s | 21 | 1191253 | 1162545 | 13501 157 | 2826 | 15
825.73/826.10 c 796s | 21 | 1193970 | 1165245 | 13501 157 | 2826 | 15
827.83/828.14 c 798s | 21 | 1196515 | 1167745 | 13501 158 | 2826 | 15
829.83/830.19 c 800s | 21 | 1199636 | 1170845 | 13501 158 | 2826 | 15
831.93/832.27 c 802s | 21 | 1202250 | 1173445 | 13501 158 | 2826 | 15
834.03/834.32 c 805s | 21 | 1204560 | 1175745 | 13501 159 | 2826 | 15
836.03/836.33 c 807s | 21 | 1206590 | 1177745 | 13501 159 | 2826 | 15
838.03/838.39 c 809s | 21 | 1209938 | 1181045 | 13501 159 | 2826 | 15
840.03/840.40 c 811s | 21 | 1212755 | 1183845 | 13501 160 | 2826 | 15
842.13/842.41 c 813s | 21 | 1216167 | 1187245 | 13501 160 | 2826 | 15
844.12/844.42 c 815s | 21 | 1219423 | 1190445 | 13501 160 | 2826 | 15
846.13/846.48 c 817s | 21 | 1223005 | 1193945 | 13501 161 | 2826 | 15
848.23/848.52 c 819s | 21 | 1226035 | 1196945 | 13501 161 | 2826 | 15
850.23/850.58 c 821s | 21 | 1228944 | 1199845 | 13501 161 | 2826 | 15
852.34/852.61 c 823s | 21 | 1232060 | 1202945 | 13501 162 | 2826 | 15
854.33/854.67 c 825s | 21 | 1235084 | 1205945 | 13501 162 | 2826 | 15
856.43/856.72 c 827s | 21 | 1237899 | 1208745 | 13501 162 | 2826 | 15
858.43/858.73 c 829s | 21 | 1241028 | 1211845 | 13501 163 | 2826 | 15
860.43/860.74 c 831s | 21 | 1243849 | 1214645 | 13501 163 | 2826 | 15
862.73/863.00 c 833s | 21 | 1246257 | 1217045 | 13501 163 | 2826 | 15
865.93/866.25 c 836s | 21 | 1247768 | 1218545 | 13501 164 | 2826 | 15
867.93/868.27 c 839s | 21 | 1251656 | 1222345 | 13501 164 | 2826 | 15
870.03/870.30 c 841s | 21 | 1254674 | 1225345 | 13501 164 | 2826 | 15
872.03/872.30 c 843s | 21 | 1257845 | 1228445 | 13501 165 | 2826 | 15
874.02/874.31 c 845s | 21 | 1259364 | 1229945 | 13501 165 | 2826 | 15
876.02/876.34 c 847s | 21 | 1262587 | 1233145 | 13501 165 | 2826 | 15
878.02/878.35 c 849s | 21 | 1265098 | 1235645 | 13501 166 | 2826 | 15
880.12/880.40 c 851s | 21 | 1268317 | 1238845 | 13501 166 | 2826 | 15
882.12/882.40 c 853s | 21 | 1271130 | 1241645 | 13501 166 | 2826 | 15
884.13/884.46 c 855s | 21 | 1273746 | 1244245 | 13501 167 | 2826 | 15
886.62/886.91 c 857s | 21 | 1275862 | 1246345 | 13501 167 | 2826 | 15
888.63/888.98 c 859s | 21 | 1278806 | 1249245 | 13501 167 | 2826 | 15
890.62/891.00 c 861s | 21 | 1281136 | 1251545 | 13501 167 | 2826 | 15
892.72/893.02 c 863s | 21 | 1284179 | 1254545 | 13501 168 | 2826 | 15
894.72/895.06 c 865s | 21 | 1287107 | 1257445 | 13501 168 | 2826 | 15
896.72/897.06 c 867s | 21 | 1289925 | 1260245 | 13501 168 | 2826 | 15
898.72/899.06 c 869s | 21 | 1292753 | 1263045 | 13501 169 | 2826 | 15
900.72/901.09 c 871s | 21 | 1296187 | 1266445 | 13501 169 | 2826 | 15
902.82/903.15 c 873s | 21 | 1299000 | 1269245 | 13501 170 | 2826 | 15
904.81/905.18 c 875s | 21 | 1302117 | 1272345 | 13501 170 | 2826 | 15
906.91/907.21 c 877s | 21 | 1305023 | 1275245 | 13501 170 | 2826 | 15
908.91/909.25 c 879s | 21 | 1307548 | 1277745 | 13501 170 | 2826 | 15
910.91/911.29 c 882s | 21 | 1310284 | 1280445 | 13501 171 | 2826 | 15
913.01/913.30 c 884s | 21 | 1313005 | 1283145 | 13501 171 | 2826 | 15
915.02/915.33 c 886s | 21 | 1315914 | 1286045 | 13501 171 | 2826 | 15
917.01/917.35 c 888s | 21 | 1318728 | 1288845 | 13501 172 | 2826 | 15
919.01/919.40 c 890s | 21 | 1321539 | 1291645 | 13501 172 | 2826 | 15
921.12/921.45 c 892s | 21 | 1324176 | 1294245 | 13501 172 | 2826 | 15
923.12/923.47 c 894s | 21 | 1326892 | 1296945 | 13501 173 | 2826 | 15
925.12/925.47 c 896s | 21 | 1329808 | 1299845 | 13501 173 | 2826 | 15
927.22/927.51 c 898s | 21 | 1332019 | 1302045 | 13501 173 | 2826 | 15
929.23/929.51 c 900s | 21 | 1334927 | 1304945 | 13501 174 | 2826 | 15
931.22/931.56 c 902s | 21 | 1337940 | 1307945 | 13501 174 | 2826 | 15
935.42/935.79 c 906s | 21 | 1339971 | 1309945 | 13501 174 | 2826 | 15
937.52/937.81 c 908s | 21 | 1342429 | 1312345 | 13501 175 | 2826 | 15
939.52/939.84 c 910s | 21 | 1346297 | 1316145 | 13501 175 | 2826 | 15
941.51/941.87 c 912s | 21 | 1350399 | 1320145 | 13501 175 | 2826 | 15
943.52/943.89 c 914s | 21 | 1353642 | 1323345 | 13501 176 | 2826 | 15
945.61/945.90 c 916s | 21 | 1357225 | 1326845 | 13501 176 | 2826 | 15
947.61/947.91 c 918s | 21 | 1360406 | 1329945 | 13501 177 | 2826 | 15
949.61/949.95 c 920s | 21 | 1363251 | 1332745 | 13501 177 | 2826 | 15
951.61/951.95 c 922s | 21 | 1366699 | 1336145 | 13501 177 | 2826 | 15
953.61/953.99 c 924s | 21 | 1369961 | 1339345 | 13501 178 | 2826 | 15
955.91/956.23 c 926s | 21 | 1373061 | 1342345 | 13501 178 | 2826 | 15
957.92/958.28 c 929s | 21 | 1376363 | 1345645 | 13501 178 | 2826 | 15
959.91/960.28 c 931s | 21 | 1379488 | 1348745 | 13501 179 | 2826 | 15
962.01/962.31 c 933s | 21 | 1382612 | 1351845 | 13501 179 | 2826 | 15
964.01/964.36 c 935s | 21 | 1385534 | 1354745 | 13501 179 | 2826 | 15
966.11/966.42 c 937s | 21 | 1388163 | 1357345 | 13501 180 | 2826 | 15
968.11/968.47 c 939s | 21 | 1391280 | 1360445 | 13501 180 | 2826 | 15
970.11/970.47 c 941s | 21 | 1393989 | 1363145 | 13501 180 | 2826 | 15
973.41/973.72 c 944s | 21 | 1395723 | 1364845 | 13501 181 | 2826 | 15
975.41/975.74 c 946s | 21 | 1399882 | 1368945 | 13501 181 | 2826 | 15
977.41/977.77 c 948s | 21 | 1403352 | 1372345 | 13501 181 | 2826 | 15
979.41/979.77 c 950s | 21 | 1406848 | 1375745 | 13501 182 | 2826 | 15
981.50/981.81 c 952s | 21 | 1410149 | 1378945 | 13501 182 | 2826 | 15
983.60/983.96 c 954s | 21 | 1412723 | 1381445 | 13501 183 | 2826 | 15
985.60/985.99 c 956s | 21 | 1415866 | 1384545 | 13501 183 | 2826 | 15
987.80/988.12 c 958s | 21 | 1419122 | 1387745 | 13501 183 | 2826 | 15
989.81/990.13 c 960s | 21 | 1421651 | 1390245 | 13501 184 | 2826 | 15
991.80/992.19 c 962s | 21 | 1424578 | 1393145 | 13501 184 | 2826 | 15
993.90/994.21 c 964s | 21 | 1427710 | 1396245 | 13501 184 | 2826 | 15
995.90/996.24 c 966s | 21 | 1430541 | 1399045 | 13501 185 | 2826 | 15
997.90/998.25 c 968s | 21 | 1433762 | 1402245 | 13501 185 | 2826 | 15
1001.11/1001.45 c 972s | 21 | 1435871 | 1404345 | 13501 185 | 2826 | 15
1003.21/1003.57 c 974s | 21 | 1438897 | 1407345 | 13501 186 | 2826 | 15
1005.21/1005.59 c 976s | 21 | 1441931 | 1410345 | 13501 186 | 2826 | 15
1007.31/1007.62 c 978s | 21 | 1445880 | 1414245 | 13501 186 | 2826 | 15
1009.31/1009.62 c 980s | 21 | 1448699 | 1417045 | 13501 187 | 2826 | 15
1011.31/1011.64 c 982s | 21 | 1452279 | 1420545 | 13501 187 | 2826 | 15
1013.31/1013.66 c 984s | 21 | 1455202 | 1423445 | 13501 187 | 2826 | 15
1015.40/1015.70 c 986s | 21 | 1457947 | 1426145 | 13501 188 | 2826 | 15
1017.70/1018.02 c 988s | 21 | 1460981 | 1429145 | 13501 188 | 2826 | 15
1019.70/1020.08 c 990s | 21 | 1464128 | 1432245 | 13501 188 | 2826 | 15
1021.80/1022.14 c 992s | 21 | 1466941 | 1435045 | 13501 189 | 2826 | 15
1023.81/1024.20 c 994s | 21 | 1469857 | 1437945 | 13501 189 | 2826 | 15
1025.90/1026.20 c 996s | 21 | 1472778 | 1440845 | 13501 189 | 2826 | 15
1029.60/1029.98 c 1000s | 21 | 1475911 | 1443945 | 13501 190 | 2826 | 15
1031.61/1031.99 c 1002s | 21 | 1479231 | 1447245 | 13501 190 | 2826 | 15
1033.60/1034.00 c 1004s | 21 | 1481945 | 1449945 | 13501 190 | 2826 | 15
1035.70/1036.03 c 1006s | 21 | 1484966 | 1452945 | 13501 191 | 2826 | 15
1037.70/1038.06 c 1008s | 21 | 1487892 | 1455845 | 13501 191 | 2826 | 15
1039.80/1040.10 c 1010s | 21 | 1490499 | 1458445 | 14852 191 | 2826 | 15
1041.80/1042.11 c 1012s | 21 | 1493128 | 1461045 | 14852 192 | 2826 | 15
1043.80/1044.14 c 1014s | 21 | 1496359 | 1464245 | 14852 192 | 2826 | 15
1045.80/1046.17 c 1016s | 21 | 1499366 | 1467245 | 14852 192 | 2826 | 15
1047.89/1048.20 c 1018s | 21 | 1501580 | 1469445 | 14852 192 | 2826 | 15
1049.89/1050.21 c 1020s | 21 | 1504295 | 1472145 | 14852 193 | 2826 | 15
1051.89/1052.25 c 1022s | 21 | 1507313 | 1475145 | 14852 193 | 2826 | 15
1054.09/1054.44 c 1025s | 21 | 1509423 | 1477245 | 14852 193 | 2826 | 15
1056.09/1056.49 c 1027s | 21 | 1511841 | 1479645 | 14852 194 | 2826 | 15
1058.09/1058.49 c 1029s | 21 | 1514654 | 1482445 | 14852 194 | 2826 | 15
1060.21/1060.52 c 1031s | 21 | 1517369 | 1485145 | 14852 194 | 2826 | 15
1062.20/1062.60 c 1033s | 21 | 1520292 | 1488045 | 14852 194 | 2826 | 15
1064.51/1064.90 c 1035s | 21 | 1523006 | 1490745 | 14852 195 | 2826 | 15
1066.60/1066.91 c 1037s | 21 | 1525340 | 1493045 | 14852 195 | 2826 | 15
1068.60/1068.95 c 1039s | 21 | 1528584 | 1496245 | 14852 195 | 2826 | 15
1070.60/1070.96 c 1041s | 21 | 1531299 | 1498945 | 14852 196 | 2826 | 15
1071.70/1072.04 c 1042s | 22 | 1532984 | 1500622 | 14852 196 | 2826 | 15
1073.80/1074.11 c 1044s | 22 | 1536042 | 1502822 | 14852 196 | 2826 | 15
1075.80/1076.15 c 1046s | 22 | 1539277 | 1506022 | 14852 196 | 2826 | 15
1077.90/1078.20 c 1048s | 22 | 1542413 | 1509122 | 14852 197 | 2826 | 15
1079.90/1080.24 c 1050s | 22 | 1545245 | 1511922 | 14852 197 | 2826 | 15
1081.89/1082.25 c 1052s | 22 | 1547971 | 1514622 | 14852 197 | 2826 | 15
1083.99/1084.30 c 1055s | 22 | 1550286 | 1516922 | 14852 198 | 2826 | 15
1085.99/1086.33 c 1057s | 22 | 1553306 | 1519922 | 14852 198 | 2826 | 15
1087.99/1088.34 c 1059s | 22 | 1556121 | 1522722 | 14852 198 | 2826 | 15
1089.99/1090.37 c 1061s | 22 | 1558745 | 1525322 | 14852 198 | 2826 | 15
1092.10/1092.43 c 1063s | 22 | 1561866 | 1528422 | 14852 199 | 2826 | 15
1094.09/1094.47 c 1065s | 22 | 1565084 | 1531622 | 14852 199 | 2826 | 15
1096.89/1097.21 c 1067s | 22 | 1566800 | 1533322 | 14852 199 | 2826 | 15
1098.89/1099.23 c 1069s | 22 | 1569727 | 1536222 | 14852 200 | 2826 | 15
1100.90/1101.26 c 1071s | 22 | 1573056 | 1539522 | 14852 200 | 2826 | 15
1102.89/1103.27 c 1073s | 22 | 1575985 | 1542422 | 14852 200 | 2826 | 15
1104.99/1105.31 c 1076s | 22 | 1578898 | 1545322 | 14852 201 | 2826 | 15
1106.99/1107.33 c 1078s | 22 | 1582330 | 1548722 | 14852 201 | 2826 | 15
1110.19/1110.59 c 1081s | 22 | 1583435 | 1549822 | 14852 201 | 2826 | 15
1112.29/1112.67 c 1083s | 22 | 1586171 | 1552522 | 14852 201 | 2826 | 15
1114.39/1114.70 c 1085s | 22 | 1589189 | 1555522 | 14852 202 | 2826 | 15
1116.39/1116.72 c 1087s | 22 | 1592618 | 1558922 | 14852 202 | 2826 | 15
1118.40/1118.76 c 1089s | 22 | 1595859 | 1562122 | 14852 202 | 2826 | 15
1120.39/1120.77 c 1091s | 22 | 1598870 | 1565122 | 14852 203 | 2826 | 15
1122.49/1122.82 c 1093s | 22 | 1602107 | 1568322 | 14852 203 | 2826 | 15
1124.49/1124.83 c 1095s | 22 | 1605012 | 1571222 | 14852 203 | 2826 | 15
1126.49/1126.89 c 1097s | 22 | 1607332 | 1573522 | 14852 204 | 2826 | 15
1128.59/1128.94 c 1099s | 22 | 1610365 | 1576522 | 14852 204 | 2826 | 15
1130.60/1130.99 c 1101s | 22 | 1613281 | 1579422 | 14852 204 | 2826 | 15
1132.69/1133.01 c 1103s | 22 | 1615793 | 1581922 | 14852 205 | 2826 | 15
1134.69/1135.03 c 1105s | 22 | 1617097 | 1583222 | 14852 205 | 2826 | 15
1136.69/1137.03 c 1107s | 22 | 1620223 | 1586322 | 14852 205 | 2826 | 15
1138.69/1139.07 c 1109s | 22 | 1622937 | 1589022 | 14852 205 | 2826 | 15
1140.69/1141.08 c 1111s | 22 | 1625561 | 1591622 | 14852 206 | 2826 | 15
1142.79/1143.14 c 1113s | 22 | 1628476 | 1594522 | 14852 206 | 2826 | 15
1144.79/1145.18 c 1115s | 22 | 1630278 | 1596322 | 14852 206 | 2826 | 15
1146.88/1147.23 c 1117s | 22 | 1633713 | 1599722 | 14852 206 | 2826 | 15
1148.88/1149.26 c 1119s | 22 | 1636426 | 1602422 | 14852 207 | 2826 | 15
1150.88/1151.26 c 1121s | 22 | 1639435 | 1605422 | 14852 207 | 2826 | 15
1152.88/1153.27 c 1124s | 22 | 1642365 | 1608322 | 14852 207 | 2826 | 15
1154.98/1155.32 c 1126s | 22 | 1645386 | 1611322 | 14852 208 | 2826 | 15
1156.99/1157.37 c 1128s | 22 | 1648406 | 1614322 | 14852 208 | 2826 | 15
1158.98/1159.38 c 1130s | 22 | 1651129 | 1617022 | 14852 208 | 2826 | 15
1160.98/1161.38 c 1132s | 22 | 1653638 | 1619522 | 14852 209 | 2826 | 15
1163.08/1163.41 c 1134s | 22 | 1654754 | 1620622 | 14852 209 | 2826 | 15
1165.08/1165.48 c 1136s | 22 | 1657984 | 1623822 | 14852 209 | 2826 | 15
1167.18/1167.52 c 1138s | 22 | 1660915 | 1626722 | 14852 209 | 2826 | 15
1169.18/1169.54 c 1140s | 22 | 1663736 | 1629522 | 14852 210 | 2826 | 15
1171.18/1171.57 c 1142s | 22 | 1666955 | 1632722 | 14852 210 | 2826 | 15
1173.28/1173.61 c 1144s | 22 | 1669660 | 1635422 | 14852 210 | 2826 | 15
1175.28/1175.68 c 1146s | 22 | 1671405 | 1637122 | 14852 210 | 2826 | 15
1177.38/1177.74 c 1148s | 22 | 1674355 | 1640022 | 14852 211 | 2826 | 15
1179.37/1179.78 c 1150s | 22 | 1677283 | 1642922 | 14852 211 | 2826 | 15
1181.37/1181.78 c 1152s | 22 | 1680228 | 1645822 | 14852 211 | 2826 | 15
1183.47/1183.81 c 1154s | 22 | 1682563 | 1648122 | 14852 212 | 2826 | 15
1185.48/1185.87 c 1156s | 22 | 1685521 | 1651022 | 14852 212 | 2826 | 15
1187.57/1187.93 c 1158s | 22 | 1688337 | 1653822 | 14852 212 | 2826 | 15
1189.67/1190.03 c 1160s | 22 | 1690674 | 1656122 | 14852 213 | 2826 | 15
1191.67/1192.08 c 1162s | 22 | 1692594 | 1658022 | 14852 213 | 2826 | 15
1193.77/1194.14 c 1164s | 22 | 1695303 | 1660722 | 14852 213 | 2826 | 15
1195.87/1196.20 c 1166s | 22 | 1698010 | 1663422 | 14852 213 | 2826 | 15
1200.67/1201.01 c 1171s | 22 | 1698515 | 1663922 | 14852 213 | 2826 | 15
1202.67/1203.01 c 1173s | 22 | 1701928 | 1667322 | 14852 214 | 2826 | 15
1204.67/1205.04 c 1175s | 22 | 1705450 | 1670822 | 14852 214 | 2826 | 15
1206.77/1207.10 c 1177s | 22 | 1708471 | 1673822 | 14852 214 | 2826 | 15
1208.77/1209.15 c 1179s | 22 | 1711484 | 1676822 | 14852 215 | 2826 | 15
1210.78/1211.17 c 1181s | 22 | 1713905 | 1679222 | 14852 215 | 2826 | 15
1212.87/1213.20 c 1183s | 22 | 1717124 | 1682422 | 14852 215 | 2826 | 15
1214.87/1215.20 c 1185s | 22 | 1720760 | 1686022 | 14852 216 | 2826 | 15
1216.87/1217.21 c 1187s | 22 | 1724384 | 1689622 | 14852 216 | 2826 | 15
1218.87/1219.25 c 1189s | 22 | 1727931 | 1693122 | 14852 216 | 2826 | 15
1220.97/1221.30 c 1192s | 22 | 1731163 | 1696322 | 14852 217 | 2826 | 15
1222.98/1223.31 c 1194s | 22 | 1733596 | 1698722 | 14852 217 | 2826 | 15
1224.97/1225.34 c 1196s | 22 | 1736708 | 1701822 | 14852 217 | 2826 | 15
1226.97/1227.36 c 1198s | 22 | 1739867 | 1704922 | 14852 218 | 2826 | 15
1229.07/1229.41 c 1200s | 22 | 1742797 | 1707822 | 14852 218 | 2826 | 15
1231.07/1231.43 c 1202s | 22 | 1745736 | 1710722 | 14852 218 | 2826 | 15
1233.07/1233.46 c 1204s | 22 | 1748448 | 1713422 | 14852 219 | 2826 | 15
1235.07/1235.48 c 1206s | 22 | 1750070 | 1715022 | 14852 219 | 2826 | 15
1237.06/1237.50 c 1208s | 22 | 1753102 | 1718022 | 14852 219 | 2826 | 15
1239.16/1239.56 c 1210s | 22 | 1756034 | 1720922 | 14852 219 | 2826 | 15
1241.26/1241.68 c 1212s | 22 | 1759149 | 1724022 | 14852 220 | 2826 | 15
1243.36/1243.72 c 1214s | 22 | 1762369 | 1727222 | 14852 220 | 2826 | 15
1245.36/1245.79 c 1216s | 22 | 1765289 | 1730122 | 14852 220 | 2826 | 15
1247.46/1247.83 c 1218s | 22 | 1768524 | 1733322 | 14852 221 | 2826 | 15
1249.46/1249.89 c 1220s | 22 | 1771980 | 1736722 | 14852 221 | 2826 | 15
1251.58/1251.94 c 1222s | 22 | 1775036 | 1739722 | 14852 222 | 2826 | 15
1253.57/1253.96 c 1224s | 22 | 1778056 | 1742722 | 14852 222 | 2826 | 15
1255.57/1255.98 c 1226s | 22 | 1781483 | 1746122 | 14852 222 | 2826 | 15
1259.57/1259.92 c 1230s | 22 | 1782989 | 1747622 | 14852 222 | 2826 | 15
1262.27/1262.60 c 1233s | 22 | 1784695 | 1749322 | 14852 223 | 2826 | 15
1264.26/1264.64 c 1235s | 22 | 1787916 | 1752522 | 14852 223 | 2826 | 15
1266.26/1266.65 c 1237s | 22 | 1791041 | 1755622 | 14852 223 | 2826 | 15
1268.36/1268.70 c 1239s | 22 | 1794079 | 1758622 | 14852 224 | 2826 | 15
1270.36/1270.72 c 1241s | 22 | 1797307 | 1761822 | 14852 224 | 2826 | 15
1272.37/1272.75 c 1243s | 22 | 1800130 | 1764622 | 14852 224 | 2826 | 15
1274.36/1274.77 c 1245s | 22 | 1802843 | 1767322 | 14852 224 | 2826 | 15
1276.36/1276.79 c 1247s | 22 | 1805869 | 1770322 | 14852 225 | 2826 | 15
1278.46/1278.84 c 1249s | 22 | 1808693 | 1773122 | 14852 225 | 2826 | 15
1280.46/1280.86 c 1251s | 22 | 1810401 | 1774822 | 14852 225 | 2826 | 15
1282.46/1282.88 c 1253s | 22 | 1812818 | 1777222 | 14852 226 | 2826 | 15
1284.46/1284.89 c 1255s | 22 | 1815937 | 1780322 | 14852 226 | 2826 | 15
1286.56/1286.91 c 1257s | 22 | 1819375 | 1783722 | 14852 226 | 2826 | 15
1288.56/1288.98 c 1259s | 22 | 1822406 | 1786722 | 14852 227 | 2826 | 15
1290.66/1291.03 c 1261s | 22 | 1825742 | 1790022 | 14852 227 | 2826 | 15
1292.66/1293.04 c 1263s | 22 | 1828665 | 1792922 | 14852 227 | 2826 | 15
1294.66/1295.09 c 1265s | 22 | 1831388 | 1795622 | 14852 228 | 2826 | 15
1296.76/1297.15 c 1267s | 22 | 1834526 | 1798722 | 14852 228 | 2826 | 15
1298.76/1299.17 c 1269s | 22 | 1836750 | 1800922 | 14852 228 | 2826 | 15
1300.75/1301.19 c 1271s | 22 | 1839779 | 1803922 | 14852 228 | 2826 | 15
1303.06/1303.46 c 1274s | 22 | 1842208 | 1806322 | 14852 229 | 2826 | 15
1305.06/1305.47 c 1276s | 22 | 1845563 | 1809622 | 14852 229 | 2826 | 15
1307.16/1307.52 c 1278s | 22 | 1848799 | 1812822 | 14852 229 | 2826 | 15
1312.86/1313.26 c 1283s | 22 | 1850618 | 1814622 | 14852 230 | 2826 | 15
1314.85/1315.27 c 1285s | 22 | 1852125 | 1816122 | 14852 230 | 2826 | 15
1316.95/1317.32 c 1288s | 22 | 1855259 | 1819222 | 14852 230 | 2826 | 15
1318.95/1319.32 c 1290s | 22 | 1858377 | 1822322 | 14852 230 | 2826 | 15
1320.95/1321.34 c 1292s | 22 | 1861496 | 1825422 | 14852 231 | 2826 | 15
1322.96/1323.38 c 1294s | 22 | 1864722 | 1828622 | 14852 231 | 2826 | 15
1324.95/1325.39 c 1296s | 22 | 1867642 | 1831522 | 14852 231 | 2826 | 15
1327.05/1327.43 c 1298s | 22 | 1870449 | 1834322 | 14852 232 | 2826 | 15
1329.05/1329.44 c 1300s | 22 | 1873375 | 1837222 | 14852 232 | 2826 | 15
1331.15/1331.50 c 1302s | 22 | 1876390 | 1840222 | 14852 232 | 2826 | 15
1333.15/1333.52 c 1304s | 22 | 1878801 | 1842622 | 14852 233 | 2826 | 15
1335.16/1335.56 c 1306s | 22 | 1881724 | 1845522 | 14852 233 | 2826 | 15
1337.15/1337.57 c 1308s | 22 | 1884544 | 1848322 | 14852 233 | 2826 | 15
1339.36/1339.71 c 1310s | 22 | 1885957 | 1849722 | 14852 233 | 2826 | 15
1341.36/1341.72 c 1312s | 22 | 1888774 | 1852522 | 14852 234 | 2826 | 15
1343.35/1343.77 c 1314s | 22 | 1891997 | 1855722 | 14852 234 | 2826 | 15
1345.45/1345.86 c 1316s | 22 | 1894805 | 1858522 | 14852 234 | 2826 | 15
1347.45/1347.86 c 1318s | 22 | 1897523 | 1861222 | 14852 235 | 2826 | 15
1349.55/1349.91 c 1320s | 22 | 1900539 | 1864222 | 14852 235 | 2826 | 15
1351.56/1351.92 c 1322s | 22 | 1903656 | 1867322 | 14852 235 | 2826 | 15
1353.55/1353.96 c 1324s | 22 | 1906167 | 1869822 | 14852 235 | 2826 | 15
1355.65/1356.02 c 1326s | 22 | 1909308 | 1872922 | 14852 236 | 2826 | 15
1357.65/1358.05 c 1328s | 22 | 1912834 | 1876422 | 14852 236 | 2826 | 15
1359.65/1360.05 c 1330s | 22 | 1915864 | 1879422 | 14852 237 | 2826 | 15
1361.75/1362.10 c 1332s | 22 | 1919075 | 1882622 | 14852 237 | 2826 | 15
1363.76/1364.11 c 1334s | 22 | 1922002 | 1885522 | 14852 237 | 2826 | 15
1365.86/1366.23 c 1336s | 22 | 1925155 | 1888622 | 14852 238 | 2826 | 15
1367.85/1368.29 c 1339s | 22 | 1928761 | 1892222 | 14852 238 | 2826 | 15
1369.95/1370.33 c 1341s | 22 | 1931573 | 1895022 | 14852 238 | 2826 | 15
1371.95/1372.38 c 1343s | 22 | 1934276 | 1897722 | 14852 238 | 2826 | 15
1373.95/1374.38 c 1345s | 22 | 1937094 | 1900522 | 14852 239 | 2826 | 15
1379.65/1380.01 c 1350s | 22 | 1939812 | 1903222 | 14852 239 | 2826 | 15
1381.84/1382.29 c 1353s | 22 | 1940415 | 1903822 | 14852 239 | 2826 | 15
1384.04/1384.42 c 1355s | 22 | 1943845 | 1907222 | 14852 240 | 2826 | 15
1386.04/1386.47 c 1357s | 22 | 1947265 | 1910622 | 14852 240 | 2826 | 15
1388.14/1388.51 c 1359s | 22 | 1950209 | 1913522 | 14852 240 | 2826 | 15
1390.15/1390.56 c 1361s | 22 | 1953226 | 1916522 | 14852 241 | 2826 | 15
1392.14/1392.58 c 1363s | 22 | 1956942 | 1920222 | 14852 241 | 2826 | 15
1394.14/1394.58 c 1365s | 22 | 1960071 | 1923322 | 14852 241 | 2826 | 15
1396.24/1396.63 c 1367s | 22 | 1963199 | 1926422 | 14852 242 | 2826 | 15
1398.24/1398.67 c 1369s | 22 | 1966944 | 1930122 | 14852 242 | 2826 | 15
1400.34/1400.73 c 1371s | 22 | 1970262 | 1933422 | 14852 242 | 2826 | 15
1402.34/1402.74 c 1373s | 22 | 1972905 | 1936022 | 14852 243 | 2826 | 15
1404.35/1404.79 c 1375s | 22 | 1975904 | 1939022 | 14852 243 | 2826 | 15
1406.44/1406.82 c 1377s | 22 | 1978632 | 1941722 | 14852 243 | 2826 | 15
1408.44/1408.87 c 1379s | 22 | 1981247 | 1944322 | 14852 243 | 2826 | 15
1410.55/1410.93 c 1381s | 22 | 1984169 | 1947222 | 14852 244 | 2826 | 15
1413.94/1414.39 c 1385s | 22 | 1986025 | 1949022 | 14852 244 | 2826 | 15
1416.04/1416.42 c 1387s | 22 | 1989075 | 1952022 | 14852 244 | 2826 | 15
1418.04/1418.48 c 1389s | 22 | 1991537 | 1954422 | 14852 245 | 2826 | 15
1420.04/1420.49 c 1391s | 22 | 1994444 | 1957322 | 14852 245 | 2826 | 15
1422.05/1422.49 c 1393s | 22 | 1997678 | 1960522 | 14852 245 | 2826 | 15
1424.15/1424.51 c 1395s | 22 | 2000704 | 1963522 | 14852 246 | 2826 | 15
1426.14/1426.52 c 1397s | 22 | 2003546 | 1966322 | 14852 246 | 2826 | 15
1428.14/1428.54 c 1399s | 22 | 2006673 | 1969422 | 14852 246 | 2826 | 15
1430.14/1430.57 c 1401s | 22 | 2009592 | 1972322 | 14852 247 | 2826 | 15
1432.14/1432.58 c 1403s | 22 | 2012728 | 1975422 | 14852 247 | 2826 | 15
1434.24/1434.61 c 1405s | 22 | 2015860 | 1978522 | 14852 247 | 2826 | 15
1436.25/1436.63 c 1407s | 22 | 2018684 | 1981322 | 14852 247 | 2826 | 15
1439.44/1439.87 c 1410s | 22 | 2019597 | 1982222 | 14852 248 | 2826 | 15
1441.43/1441.89 c 1412s | 22 | 2020798 | 1983422 | 14852 248 | 2826 | 15
1443.53/1443.94 c 1414s | 22 | 2024416 | 1987022 | 14852 248 | 2826 | 15
1445.53/1445.96 c 1416s | 22 | 2027323 | 1989922 | 14852 248 | 2826 | 15
1447.53/1447.98 c 1418s | 22 | 2030539 | 1993122 | 14852 249 | 2826 | 15
1449.63/1450.01 c 1420s | 22 | 2033856 | 1996422 | 14852 249 | 2826 | 15
1451.65/1452.01 c 1422s | 22 | 2036769 | 1999322 | 14852 249 | 2826 | 15
1453.64/1454.04 c 1424s | 22 | 2039494 | 2002022 | 14852 250 | 2826 | 15
1455.74/1456.12 c 1426s | 22 | 2043471 | 2005922 | 14852 250 | 2826 | 15
1457.74/1458.17 c 1428s | 22 | 2046388 | 2008822 | 14852 250 | 2826 | 15
1459.74/1460.18 c 1430s | 22 | 2049111 | 2011522 | 14852 251 | 2826 | 15
1461.74/1462.19 c 1432s | 22 | 2052117 | 2014522 | 14852 251 | 2826 | 15
1463.85/1464.25 c 1434s | 22 | 2055048 | 2017422 | 14852 251 | 2826 | 15
1465.95/1466.31 c 1437s | 22 | 2058056 | 2020422 | 14852 252 | 2826 | 15
1467.94/1468.33 c 1439s | 22 | 2061179 | 2023522 | 14852 252 | 2826 | 15
1471.93/1472.32 c 1443s | 22 | 2063097 | 2025422 | 14852 252 | 2826 | 15
1473.93/1474.36 c 1445s | 22 | 2065933 | 2028222 | 14852 253 | 2826 | 15
1476.03/1476.42 c 1447s | 22 | 2069046 | 2031322 | 14852 253 | 2826 | 15
1478.04/1478.49 c 1449s | 22 | 2072061 | 2034322 | 14852 253 | 2826 | 15
1480.13/1480.52 c 1451s | 22 | 2074987 | 2037222 | 14852 253 | 2826 | 15
1482.13/1482.56 c 1453s | 22 | 2078116 | 2040322 | 14852 254 | 2826 | 15
1484.23/1484.61 c 1455s | 22 | 2080871 | 2043022 | 14852 254 | 2826 | 15
1486.23/1486.66 c 1457s | 22 | 2083796 | 2045922 | 14852 254 | 2826 | 15
1488.23/1488.68 c 1459s | 22 | 2086732 | 2048822 | 14852 255 | 2826 | 15
1490.24/1490.68 c 1461s | 22 | 2088872 | 2050922 | 14852 255 | 2826 | 15
1492.23/1492.70 c 1463s | 22 | 2092552 | 2054522 | 14852 255 | 2826 | 15
1494.33/1494.71 c 1465s | 22 | 2095462 | 2057422 | 14852 256 | 2826 | 15
1496.33/1496.75 c 1467s | 22 | 2098682 | 2060622 | 14852 256 | 2826 | 15
1498.33/1498.76 c 1469s | 22 | 2101605 | 2063522 | 14852 256 | 2826 | 15
1500.43/1500.81 c 1471s | 22 | 2104528 | 2066422 | 14852 257 | 2826 | 15
1502.43/1502.84 c 1473s | 22 | 2107674 | 2069522 | 14852 257 | 2826 | 15
1504.73/1505.18 c 1475s | 22 | 2110228 | 2072022 | 14852 257 | 2826 | 15
1508.62/1509.02 c 1479s | 22 | 2111247 | 2073022 | 14852 257 | 2826 | 15
1511.14/1511.54 c 1482s | 22 | 2111747 | 2073522 | 14852 257 | 2826 | 15
1513.13/1513.56 c 1484s | 22 | 2113358 | 2075122 | 14852 258 | 2826 | 15
1515.23/1515.64 c 1486s | 22 | 2117288 | 2079022 | 14852 258 | 2826 | 15
1517.23/1517.67 c 1488s | 22 | 2120704 | 2082422 | 14852 258 | 2826 | 15
1519.23/1519.68 c 1490s | 22 | 2123323 | 2085022 | 14852 259 | 2826 | 15
1521.33/1521.73 c 1492s | 22 | 2126745 | 2088422 | 14852 259 | 2826 | 15
1523.33/1523.78 c 1494s | 22 | 2130077 | 2091722 | 14852 259 | 2826 | 15
1525.53/1525.91 c 1496s | 22 | 2132812 | 2094422 | 14852 260 | 2826 | 15
1527.53/1527.96 c 1498s | 22 | 2136233 | 2097822 | 14852 260 | 2826 | 15
1529.63/1530.00 c 1500s | 22 | 2139466 | 2101022 | 14852 260 | 2826 | 15
1531.63/1532.02 c 1502s | 22 | 2142294 | 2103822 | 14852 261 | 2826 | 15
1533.62/1534.04 c 1504s | 22 | 2145417 | 2106922 | 14852 261 | 2826 | 15
1535.62/1536.09 c 1506s | 22 | 2148341 | 2109822 | 14852 261 | 2826 | 15
1537.72/1538.14 c 1508s | 22 | 2151169 | 2112622 | 14852 262 | 2826 | 15
1539.73/1540.19 c 1510s | 22 | 2154098 | 2115522 | 14852 262 | 2826 | 15
1541.83/1542.24 c 1512s | 22 | 2157132 | 2118522 | 14852 262 | 2826 | 15
1543.92/1544.30 c 1515s | 22 | 2159856 | 2121222 | 14852 262 | 2826 | 15
1545.92/1546.35 c 1517s | 22 | 2162692 | 2124022 | 14852 263 | 2826 | 15
1547.92/1548.38 c 1519s | 22 | 2165605 | 2126922 | 14852 263 | 2826 | 15
1550.02/1550.41 c 1521s | 22 | 2168543 | 2129822 | 14852 263 | 2826 | 15
1552.93/1553.37 c 1524s | 22 | 2169357 | 2130622 | 14852 264 | 2826 | 15
1554.92/1555.38 c 1526s | 22 | 2172469 | 2133722 | 14852 264 | 2826 | 15
1557.02/1557.44 c 1528s | 22 | 2175496 | 2136722 | 14852 264 | 2826 | 15
1559.02/1559.49 c 1530s | 22 | 2178345 | 2139522 | 14852 264 | 2826 | 15
1561.12/1561.50 c 1532s | 22 | 2180472 | 2141622 | 14852 265 | 2826 | 15
1563.12/1563.55 c 1534s | 22 | 2183403 | 2144522 | 14852 265 | 2826 | 15
1565.12/1565.56 c 1536s | 22 | 2186119 | 2147222 | 14852 265 | 2826 | 15
1567.12/1567.59 c 1538s | 22 | 2189059 | 2150122 | 14852 266 | 2826 | 15
1569.21/1569.60 c 1540s | 22 | 2192196 | 2153222 | 14852 266 | 2826 | 15
1571.21/1571.65 c 1542s | 22 | 2195115 | 2156122 | 14852 266 | 2826 | 15
1576.22/1576.62 c 1547s | 22 | 2197633 | 2158622 | 14852 267 | 2826 | 15
1578.23/1578.64 c 1549s | 22 | 2201193 | 2162122 | 14852 267 | 2826 | 15
1580.22/1580.68 c 1551s | 22 | 2204544 | 2165422 | 14852 267 | 2826 | 15
1582.22/1582.68 c 1553s | 22 | 2207513 | 2168322 | 14852 268 | 2826 | 15
1584.32/1584.70 c 1555s | 22 | 2211062 | 2171822 | 14852 268 | 2826 | 15
1586.32/1586.74 c 1557s | 22 | 2214199 | 2174922 | 14852 268 | 2826 | 15
1588.32/1588.75 c 1559s | 22 | 2216839 | 2177522 | 14852 269 | 2826 | 15
1590.32/1590.79 c 1561s | 22 | 2220390 | 2181022 | 14852 269 | 2826 | 15
1592.42/1592.81 c 1563s | 22 | 2222809 | 2183422 | 14852 269 | 2826 | 15
1594.41/1594.88 c 1565s | 22 | 2225850 | 2186422 | 14852 270 | 2826 | 15
1596.51/1596.91 c 1567s | 22 | 2228677 | 2189222 | 14852 270 | 2826 | 15
1598.51/1598.92 c 1569s | 22 | 2231690 | 2192222 | 14852 270 | 2826 | 15
1600.51/1600.97 c 1571s | 22 | 2234625 | 2195122 | 14852 270 | 2826 | 15
1602.51/1602.98 c 1573s | 22 | 2237751 | 2198222 | 14852 271 | 2826 | 15
1604.62/1605.03 c 1575s | 22 | 2241095 | 2201522 | 16338 271 | 2826 | 15
1606.61/1607.09 c 1577s | 22 | 2244063 | 2204422 | 16338 271 | 2826 | 15
1608.71/1609.15 c 1579s | 22 | 2245480 | 2205822 | 16338 271 | 2826 | 15
1611.91/1612.32 c 1583s | 22 | 2248002 | 2208322 | 16338 272 | 2826 | 15
1613.91/1614.35 c 1585s | 22 | 2251650 | 2211922 | 16338 272 | 2826 | 15
1615.91/1616.38 c 1587s | 22 | 2254667 | 2214922 | 16338 272 | 2826 | 15
1618.01/1618.41 c 1589s | 22 | 2257387 | 2217622 | 16338 273 | 2826 | 15
1620.01/1620.44 c 1591s | 22 | 2260641 | 2220822 | 16338 273 | 2826 | 15
1622.01/1622.45 c 1593s | 22 | 2262880 | 2223022 | 16338 273 | 2826 | 15
1624.11/1624.52 c 1595s | 22 | 2266213 | 2226322 | 16338 273 | 2826 | 15
1626.11/1626.55 c 1597s | 22 | 2269452 | 2229522 | 16338 274 | 2826 | 15
1628.21/1628.60 c 1599s | 22 | 2272834 | 2232822 | 16338 274 | 2826 | 15
1630.21/1630.66 c 1601s | 22 | 2275977 | 2235922 | 16338 274 | 2826 | 15
1632.20/1632.68 c 1603s | 22 | 2279117 | 2239022 | 16338 275 | 2826 | 15
1634.21/1634.70 c 1605s | 22 | 2282078 | 2241922 | 16338 275 | 2826 | 15
1636.30/1636.71 c 1607s | 22 | 2284915 | 2244722 | 16338 275 | 2826 | 15
1638.30/1638.74 c 1609s | 22 | 2287465 | 2247222 | 16338 276 | 2826 | 15
1640.30/1640.76 c 1611s | 22 | 2290695 | 2250422 | 16338 276 | 2826 | 15
1640.70/1641.13 c 1611s | 23 | 2291308 | 2251038 | 16338 276 | 2826 | 15
1645.81/1646.23 c 1616s | 23 | 2292647 | 2251538 | 16338 276 | 2826 | 15
1648.21/1648.64 c 1619s | 23 | 2294791 | 2253638 | 16338 276 | 2826 | 15
1650.21/1650.66 c 1621s | 23 | 2297509 | 2256338 | 16338 276 | 2826 | 15
1652.31/1652.70 c 1623s | 23 | 2300729 | 2259538 | 16338 277 | 2826 | 15
1654.31/1654.75 c 1625s | 23 | 2304368 | 2263138 | 16338 277 | 2826 | 15
1656.41/1656.82 c 1627s | 23 | 2307786 | 2266538 | 16338 277 | 2826 | 15
1658.41/1658.83 c 1629s | 23 | 2309800 | 2268538 | 16338 278 | 2826 | 15
1660.41/1660.88 c 1631s | 23 | 2313517 | 2272238 | 16338 278 | 2826 | 15
1662.51/1662.92 c 1633s | 23 | 2316636 | 2275338 | 16338 278 | 2826 | 15
1664.51/1664.96 c 1635s | 23 | 2319251 | 2277938 | 16338 279 | 2826 | 15
1666.60/1667.01 c 1637s | 23 | 2322578 | 2281238 | 16338 279 | 2826 | 15
1668.60/1669.04 c 1639s | 23 | 2325107 | 2283738 | 16338 279 | 2826 | 15
1670.70/1671.10 c 1641s | 23 | 2328133 | 2286738 | 16338 279 | 2826 | 15
1673.91/1674.34 c 1645s | 23 | 2330039 | 2288638 | 16338 280 | 2826 | 15
1675.90/1676.38 c 1647s | 23 | 2333253 | 2291838 | 16338 280 | 2826 | 15
1678.00/1678.44 c 1649s | 23 | 2336574 | 2295138 | 16338 280 | 2826 | 15
1681.40/1681.85 c 1652s | 23 | 2338594 | 2297138 | 16338 281 | 2826 | 15
1683.40/1683.85 c 1654s | 23 | 2341807 | 2300338 | 16338 281 | 2826 | 15
1685.40/1685.87 c 1656s | 23 | 2344526 | 2303038 | 16338 281 | 2826 | 15
1687.50/1687.94 c 1658s | 23 | 2347146 | 2305638 | 16338 281 | 2826 | 15
1689.50/1689.98 c 1660s | 23 | 2349255 | 2307738 | 16338 282 | 2826 | 15
1693.71/1694.14 c 1664s | 23 | 2352363 | 2310838 | 16338 282 | 2826 | 15
1695.70/1696.18 c 1666s | 23 | 2355595 | 2314038 | 16338 282 | 2826 | 15
1697.80/1698.20 c 1668s | 23 | 2358208 | 2316638 | 16338 282 | 2826 | 15
1699.80/1700.26 c 1670s | 23 | 2361449 | 2319838 | 16338 283 | 2826 | 15
1701.90/1702.32 c 1673s | 23 | 2364774 | 2323138 | 16338 283 | 2826 | 15
1703.90/1704.33 c 1675s | 23 | 2367610 | 2325938 | 16338 283 | 2826 | 15
1705.90/1706.36 c 1677s | 23 | 2370230 | 2328538 | 16338 284 | 2826 | 15
1707.91/1708.37 c 1679s | 23 | 2373151 | 2331438 | 16338 284 | 2826 | 15
1710.00/1710.41 c 1681s | 23 | 2376107 | 2334338 | 16338 284 | 2826 | 15
1712.00/1712.48 c 1683s | 23 | 2378846 | 2337038 | 16338 284 | 2826 | 15
1714.10/1714.52 c 1685s | 23 | 2381661 | 2339838 | 16338 285 | 2826 | 15
1716.50/1716.93 c 1687s | 23 | 2383477 | 2341638 | 16338 285 | 2826 | 15
1718.50/1718.96 c 1689s | 23 | 2386804 | 2344938 | 16338 285 | 2826 | 15
1720.50/1720.98 c 1691s | 23 | 2389515 | 2347638 | 16338 286 | 2826 | 15
1722.50/1722.99 c 1693s | 23 | 2392761 | 2350838 | 16338 286 | 2826 | 15
1724.59/1725.04 c 1695s | 23 | 2395971 | 2354038 | 16338 286 | 2826 | 15
1726.60/1727.09 c 1697s | 23 | 2399013 | 2357038 | 16338 286 | 2826 | 15
1728.69/1729.12 c 1699s | 23 | 2402130 | 2360138 | 16338 287 | 2826 | 15
1730.69/1731.19 c 1701s | 23 | 2405253 | 2363238 | 16338 287 | 2826 | 15
1732.79/1733.20 c 1703s | 23 | 2408071 | 2366038 | 16338 287 | 2826 | 15
1734.79/1735.23 c 1705s | 23 | 2410183 | 2368138 | 16338 288 | 2826 | 15
1736.79/1737.28 c 1708s | 23 | 2413313 | 2371238 | 16338 288 | 2826 | 15
1738.89/1739.38 c 1710s | 23 | 2415946 | 2373838 | 16338 288 | 2826 | 15
1740.90/1741.39 c 1712s | 23 | 2418778 | 2376638 | 16338 288 | 2826 | 15
1742.99/1743.41 c 1714s | 23 | 2421332 | 2379138 | 16338 289 | 2826 | 15
1744.99/1745.46 c 1716s | 23 | 2424247 | 2382038 | 16338 289 | 2826 | 15
1748.49/1748.93 c 1719s | 23 | 2425066 | 2382838 | 16338 289 | 2826 | 15
1750.49/1750.93 c 1721s | 23 | 2427481 | 2385238 | 16338 289 | 2826 | 15
1752.59/1753.05 c 1723s | 23 | 2429903 | 2387638 | 16338 290 | 2826 | 15
1754.59/1755.09 c 1725s | 23 | 2432823 | 2390538 | 16338 290 | 2826 | 15
1756.69/1757.15 c 1727s | 23 | 2436147 | 2393838 | 16338 290 | 2826 | 15
1758.69/1759.16 c 1729s | 23 | 2439180 | 2396838 | 16338 290 | 2826 | 15
1760.69/1761.20 c 1731s | 23 | 2442115 | 2399738 | 16338 291 | 2826 | 15
1762.79/1763.21 c 1733s | 23 | 2445054 | 2402638 | 16338 291 | 2826 | 15
1764.79/1765.24 c 1735s | 23 | 2447879 | 2405438 | 16338 291 | 2826 | 15
1766.88/1767.30 c 1738s | 23 | 2450203 | 2407738 | 16338 292 | 2826 | 15
1768.88/1769.36 c 1740s | 23 | 2453445 | 2410938 | 16338 292 | 2826 | 15
1770.88/1771.37 c 1742s | 23 | 2456458 | 2413938 | 16338 292 | 2826 | 15
1772.98/1773.40 c 1744s | 23 | 2458491 | 2415938 | 16338 292 | 2826 | 15
1775.00/1775.44 c 1746s | 23 | 2461405 | 2418838 | 16338 293 | 2826 | 15
1776.99/1777.47 c 1748s | 23 | 2464530 | 2421938 | 16338 293 | 2826 | 15
1778.99/1779.48 c 1750s | 23 | 2467043 | 2424438 | 16338 293 | 2826 | 15
1780.99/1781.48 c 1752s | 23 | 2469960 | 2427338 | 16338 293 | 2826 | 15
1783.09/1783.54 c 1754s | 23 | 2473184 | 2430538 | 16338 294 | 2826 | 15
1786.68/1787.14 c 1757s | 23 | 2474284 | 2431638 | 16338 294 | 2826 | 15
1788.68/1789.18 c 1759s | 23 | 2477702 | 2435038 | 16338 294 | 2826 | 15
1790.68/1791.18 c 1761s | 23 | 2480737 | 2438038 | 16338 295 | 2826 | 15
1792.78/1793.22 c 1763s | 23 | 2484150 | 2441438 | 16338 295 | 2826 | 15
1794.79/1795.25 c 1765s | 23 | 2487316 | 2444538 | 16338 295 | 2826 | 15
1796.78/1797.28 c 1768s | 23 | 2490341 | 2447538 | 16338 295 | 2826 | 15
1798.88/1799.34 c 1770s | 23 | 2493567 | 2450738 | 16338 296 | 2826 | 15
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-4103201-1466233649/watcher-4103201-1466233649 -o /tmp/evaluation-result-4103201-1466233649/solver-4103201-1466233649 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103201-1466233649.opb
pid=14977
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.01 2.00 2/179 14980
/proc/meminfo: memFree=21979044/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=784964 CPUtime=0 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 2941 0 0 0 0 0 0 0 20 0 4 0 25415359 803803136 3303 33554432000 4194304 16246674 140735949051008 140735949050432 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 196753 3311 442 2943 0 193647 0
[pid=14980/tid=14981] ppid=14977 vsize=802372 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 821628928 3370 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=806468 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 825823232 3388 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=811588 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25415359 831066112 3406 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100167 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 14980
/proc/meminfo: memFree=21979044/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 27853 0 0 0 5 4 0 0 20 0 4 0 25415359 1249447936 28152 33554432000 4194304 16246674 140735949051008 140735949050320 12657222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 305041 28157 831 2943 0 301935 0
[pid=14980/tid=14981] ppid=14977 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1249447936 28161 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1249447936 28165 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25415359 1249447936 28169 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164
[startup+0.200516 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 14980
/proc/meminfo: memFree=21979044/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 57301 0 0 0 12 7 0 0 20 0 4 0 25415359 1249447936 57600 33554432000 4194304 16246674 140735949051008 140735949032896 12369109 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 305041 57616 831 2943 0 301935 0
[pid=14980/tid=14981] ppid=14977 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1249447936 57623 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1249447936 57633 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25415359 1249447936 57646 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164
[startup+0.300483 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 14980
/proc/meminfo: memFree=21979044/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 76829 0 0 0 19 10 0 0 20 0 4 0 25415359 1334382592 77128 33554432000 4194304 16246674 140735949051008 140735949050320 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 325777 77133 869 2943 0 322671 0
[pid=14980/tid=14981] ppid=14977 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1334382592 77136 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1334382592 77141 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1334382592 77145 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108
[startup+0.700388 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 14980
/proc/meminfo: memFree=21979044/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 142153 0 0 0 52 17 0 0 20 0 4 0 25415359 1338576896 142453 33554432000 4194304 16246674 140735949051008 140735949050320 12449130 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 326801 142468 879 2943 0 323695 0
[pid=14980/tid=14981] ppid=14977 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1338576896 142477 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1338576896 142487 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1338576896 142496 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14984
/proc/meminfo: memFree=20469860/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1335876 CPUtime=1.49 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 274960 0 0 0 117 32 0 0 20 0 4 0 25415359 1367937024 275259 33554432000 4194304 16246674 140735949051008 140735949032896 12371171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 333969 275259 879 2943 0 330863 0
[pid=14980/tid=14981] ppid=14977 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1367937024 275259 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1367937024 275259 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1367937024 275259 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1335876
[startup+3.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14984
/proc/meminfo: memFree=19520516/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 275654 0 0 0 277 32 0 0 20 0 4 0 25415359 1370034176 275953 33554432000 4194304 16246674 140735949051008 140735949032896 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 334481 275953 909 2943 0 331375 0
[pid=14980/tid=14981] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 275953 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 275953 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 275953 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924
[startup+6.30041 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14984
/proc/meminfo: memFree=18750112/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1337924 CPUtime=6.29 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 275690 0 0 0 597 32 0 0 20 0 4 0 25415359 1370034176 275989 33554432000 4194304 16246674 140735949051008 140735949032896 12653056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 334481 275989 909 2943 0 331375 0
[pid=14980/tid=14981] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 275989 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 275989 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 275989 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1337924
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14984
/proc/meminfo: memFree=18750524/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1337924 CPUtime=12.69 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 275692 0 0 0 1237 32 0 0 20 0 4 0 25415359 1370034176 275991 33554432000 4194304 16246674 140735949051008 140735949032896 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 334481 275991 911 2943 0 331375 0
[pid=14980/tid=14981] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 275991 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 275991 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 275991 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1337924
[startup+25.5005 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 14984
/proc/meminfo: memFree=18751664/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1337924 CPUtime=25.49 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 275701 0 0 0 2517 32 0 0 20 0 4 0 25415359 1370034176 276000 33554432000 4194304 16246674 140735949051008 140735949032896 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 334481 276000 920 2943 0 331375 0
[pid=14980/tid=14981] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 276000 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 276000 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 276000 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1337924
[startup+51.1004 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 14984
/proc/meminfo: memFree=18029300/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1337924 CPUtime=51.08 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 275701 0 0 0 5076 32 0 0 20 0 4 0 25415359 1370034176 276000 33554432000 4194304 16246674 140735949051008 140735949050184 6011952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 334481 276000 920 2943 0 331375 0
[pid=14980/tid=14981] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 276000 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 276000 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 276000 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1337924
[startup+102.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 14985
/proc/meminfo: memFree=15024696/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1337924 CPUtime=102.28 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 275702 0 0 0 10195 33 0 0 20 0 4 0 25415359 1370034176 276001 33554432000 4194304 16246674 140735949051008 140735949032896 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 334481 276001 921 2943 0 331375 0
[pid=14980/tid=14981] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 276001 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 276001 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1370034176 276001 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1337924
################
# More data... #
################
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1371716
[startup+1362.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/184 15166
/proc/meminfo: memFree=29396800/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1371716 CPUtime=1361.95 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 284428 0 0 0 136138 57 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140735949034000 12415810 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 342929 284705 921 2943 0 339823 0
[pid=14980/tid=14981] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1371716
[startup+1422.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/183 15167
/proc/meminfo: memFree=29397136/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1371716 CPUtime=1421.95 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 284428 0 0 0 142137 58 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140735949032896 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 342929 284705 921 2943 0 339823 0
[pid=14980/tid=14981] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1371716
[startup+1482.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/183 15168
/proc/meminfo: memFree=29397380/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1371716 CPUtime=1481.93 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 284428 0 0 0 148134 59 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140735949032896 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 342929 284705 921 2943 0 339823 0
[pid=14980/tid=14981] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1371716
[startup+1542.31 s]
/proc/loadavg: 2.01 2.05 2.00 3/183 15169
/proc/meminfo: memFree=29355936/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1371716 CPUtime=1541.93 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 284428 0 0 0 154133 60 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140735949032896 12483376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 342929 284705 921 2943 0 339823 0
[pid=14980/tid=14981] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1371716
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/183 15170
/proc/meminfo: memFree=29355724/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1371716 CPUtime=1601.91 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 284428 0 0 0 160130 61 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140735949032896 5721529 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 342929 284705 921 2943 0 339823 0
[pid=14980/tid=14981] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1371716
[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/183 15172
/proc/meminfo: memFree=29355716/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1371716 CPUtime=1661.91 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 284428 0 0 0 166128 63 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140735949032896 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 342929 284705 921 2943 0 339823 0
[pid=14980/tid=14981] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1371716
[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 15173
/proc/meminfo: memFree=29355468/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1371716 CPUtime=1721.9 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 284428 0 0 0 172126 64 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140735949032896 12483484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 342929 284705 921 2943 0 339823 0
[pid=14980/tid=14981] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1371716
[startup+1782.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/183 15174
/proc/meminfo: memFree=29354720/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1371716 CPUtime=1781.89 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 284428 0 0 0 178124 65 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140735949032896 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 342929 284705 921 2943 0 339823 0
[pid=14980/tid=14981] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1371716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.09 2.07 2.01 3/183 15174
/proc/meminfo: memFree=29355096/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1371716 CPUtime=1800.08 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 284428 0 0 0 179943 65 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140735949032896 5823863 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 342929 284705 921 2943 0 339823 0
[pid=14980/tid=14981] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1371716
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 14980 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.09 2.07 2.01 3/183 15174
/proc/meminfo: memFree=29355096/32872528 swapFree=249320/249320
[pid=14980] ppid=14977 vsize=1371716 CPUtime=1800.08 cores=0,2,4,6
/proc/14980/stat : 14980 (toysat) R 14977 14980 11324 0 -1 4202496 284428 0 0 0 179943 65 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140735949032896 5823863 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14980/statm: 342929 284705 921 2943 0 339823 0
[pid=14980/tid=14981] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14981/stat : 14981 (toysat) S 14977 14980 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307883601136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14980/tid=14982] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14982/stat : 14982 (toysat) S 14977 14980 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307873111280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14980/tid=14983] ppid=14977 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/14980/task/14983/stat : 14983 (toysat) S 14977 14980 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25415359 1404637184 284705 33554432000 4194304 16246674 140735949051008 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1371716
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.44
CPU system time (s): 0.658899
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 1371716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.658899
maximum resident set size= 1138820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284428
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= 293
involuntary context switches= 1858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.00924 second user time and 8.43972 second system time
The end