0.00/0.00 c 2016-06-18T09:12:41+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-4103249-1466233960.opb"]
0.00/0.01 c use --random-gen="701133029 2459257245 712553815 3393874440 1324961857 4101059963 1404046396 1904584921 624242201 3094085008 1331103579 3426718562 3608235259 1063511034 2158604030 104922123 2874797528 3953935484 961114654 2280079073 2778930353 2955325420 3685447437 1777115314 382553737 3144792347 1669087263 3449219414 1539621472 3662503938 916292109 1782547203 1275681102 4188160366 3902824831 1188969949 3880908046 1127196172 2523432308 3263644280 1985774918 3790093664 1583556154 472423153 4089311164 3748434935 777467389 4138754029 3241885006 697944678 1155774503 283121848 2166977544 3505721926 135825391 2397919593 328441318 3127510972 1770196097 3076547420 117021760 3825722104 763625339 1053928548 2640801017 3560563599 2111982590 2196775104 2946853865 647416551 3241565369 1968465748 1170885523 2875357423 2824407762 3222403426 2581463383 2188088624 995000818 2284401871 1522818192 2138260081 487584412 2415095758 2695182054 734439946 198886331 3886930436 3719094765 1183755402 3339920201 1055627583 1001533976 1672443248 3380735479 2430629939 839107202 477593782 299732030 1332813634 1560356846 4231753069 736948175 1742753150 1902183011 222397270 1959802661 2997466093 4158067339 4015541157 2251751372 4109551085 2715224966 2365900898 1079496625 1010353809 3971288306 3767859111 961171327 104780610 50833626 196667568 3892177781 1780490620 2396081747 4128148735 4284565366 836888207 1569930336 3206646427 2894490980 457781647 1413048600 482618809 3648286380 1745739354 1801469282 2112158816 1972008377 1313013527 2834529411 960383165 1756281044 1592401690 3289356025 301856603 3858848202 1884304731 2522763196 3002135233 1940649217 2878289312 1678968813 3865867747 3741104 3748928027 1517003661 1258628831 2082822890 2653696804 1169770111 4059392883 3425159388 126400621 3396558579 3399687635 993706110 4282238484 2899672751 49648231 998074793 3626657575 1926502375 3851896473 899801716 303170105 4104199862 3725875769 3873889800 1935968858 1155341768 3053702945 2390385468 4039347223 963439751 2169142517 3947522239 3577128617 23220100 3925126067 534956018 1235563626 2403361320 3184587676 311630420 989729045 2563399831 3868566588 229865772 607489287 3158632402 1419813377 4090460626 2487326963 1724337757 2646717699 804329316 4032049074 679131113 708593059 1159300312 1833949951 758492407 2927675673 170915426 1944135310 3672027975 1532000634 578598168 2271685581 2024335795 405510693 4231574704 936610182 3098604187 451036558 2182101088 2055018345 1337522356 2282757626 745605162 2280794799 3091684409 3633175174 1410413790 2643060462 1329817322 1809982317 1562950868 2359335662 4091816562 3090450392 1436545704 1729141062 334127618 3660612562 2510400014 3540445047 840328100 1606026852 699449362 3959423610 2681732258 3624861061 854261144 474421732 255 362436" option to reproduce the execution
0.00/0.04 c #vars 2976
0.00/0.04 c #constraints 116
0.08/0.16 c BCD2: Hardening is enabled.
0.08/0.16 c BCD2: BiasedSearch is enabled.
0.08/0.16 c Solving starts ...
0.08/0.16 c ============================[ Search Statistics ]============================
0.08/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.16 c | | | | Limit GC | Var | Constra
0.08/0.16 c =============================================================================
0.08/0.16 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
0.08/0.17 c 0.0s | 0 | 190 | 0 | 1037 0 | 1513 | 0
0.08/0.17 c #cpu_time = 0.015s
0.08/0.17 c #wall_clock_time = 0.015s
0.08/0.17 c #decision = 190
0.08/0.17 c #random_decision = 1
0.08/0.17 c #conflict = 0
0.08/0.17 c #restart = 0
0.08/0.17 o 178162615
0.99/1.09 c BCD2: hardening fixes 950 literals
0.99/1.09 c BCD2: updating upper bound: 35253236940736 -> 178162614
0.99/1.10 c BCD2: 0 <= obj <= 178162614
0.99/1.10 c BCD2: #cores=0, #unrelaxed=2026, #relaxed=0, #hardened=950
0.99/1.10 c BCD2: #sat=1 #unsat=1 bias=1/2
0.99/1.10 c Solving starts ...
0.99/1.10 c ============================[ Search Statistics ]============================
0.99/1.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.10 c | | | | Limit GC | Var | Constra
0.99/1.10 c =============================================================================
0.99/1.10 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
0.99/1.10 c 0.0s | 0 | 12 | 1 | 1037 0 | 1513 | 0
0.99/1.10 c #cpu_time = 0.002s
0.99/1.10 c #wall_clock_time = 0.002s
0.99/1.10 c #decision = 12
0.99/1.10 c #random_decision = 0
0.99/1.10 c #conflict = 1
0.99/1.10 c #restart = 0
0.99/1.10 c BCD2: found a new core of size 11: cost of the new core is >=1024000
0.99/1.10 c lower bound updated to 1024000
1.69/1.74 c BCD2: hardening fixes 2 literals
1.69/1.74 c BCD2: 1024000 <= obj <= 178162614
1.69/1.74 c BCD2: #cores=1, #unrelaxed=2013, #relaxed=11, #hardened=952
1.69/1.74 c BCD2: #sat=1 #unsat=2 bias=2/3
1.69/1.74 c Solving starts ...
1.69/1.74 c ============================[ Search Statistics ]============================
1.69/1.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.69/1.74 c | | | | Limit GC | Var | Constra
1.69/1.74 c =============================================================================
1.69/1.74 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
1.69/1.74 c 0.0s | 0 | 15 | 0 | 1037 0 | 1513 | 0
1.69/1.74 c #cpu_time = 0.002s
1.69/1.74 c #wall_clock_time = 0.002s
1.69/1.74 c #decision = 15
1.69/1.74 c #random_decision = 0
1.69/1.74 c #conflict = 0
1.69/1.74 c #restart = 0
1.69/1.74 c BCD2: found a new core of size 12: cost of the new core is >=1024000
1.69/1.74 c lower bound updated to 2048000
2.30/2.37 c BCD2: hardening fixes 2 literals
2.30/2.37 c BCD2: 2048000 <= obj <= 178162614
2.30/2.37 c BCD2: #cores=2, #unrelaxed=1999, #relaxed=23, #hardened=954
2.30/2.37 c BCD2: #sat=1 #unsat=3 bias=3/4
2.30/2.37 c Solving starts ...
2.30/2.37 c ============================[ Search Statistics ]============================
2.30/2.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.30/2.37 c | | | | Limit GC | Var | Constra
2.30/2.37 c =============================================================================
2.30/2.37 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
2.30/2.37 c 0.0s | 0 | 16 | 0 | 1037 0 | 1513 | 0
2.30/2.37 c #cpu_time = 0.002s
2.30/2.37 c #wall_clock_time = 0.002s
2.30/2.37 c #decision = 16
2.30/2.37 c #random_decision = 0
2.30/2.37 c #conflict = 0
2.30/2.37 c #restart = 0
2.30/2.37 c BCD2: found a new core of size 11: cost of the new core is >=1126400
2.30/2.37 c lower bound updated to 3174400
2.99/3.04 c BCD2: 3174400 <= obj <= 178162614
2.99/3.04 c BCD2: #cores=3, #unrelaxed=1988, #relaxed=34, #hardened=954
2.99/3.04 c BCD2: #sat=1 #unsat=4 bias=4/5
2.99/3.04 c Solving starts ...
2.99/3.04 c ============================[ Search Statistics ]============================
2.99/3.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.99/3.04 c | | | | Limit GC | Var | Constra
2.99/3.04 c =============================================================================
2.99/3.04 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
2.99/3.04 c 0.0s | 0 | 22 | 1 | 1037 0 | 1513 | 0
2.99/3.04 c #cpu_time = 0.002s
2.99/3.04 c #wall_clock_time = 0.002s
2.99/3.04 c #decision = 22
2.99/3.04 c #random_decision = 0
2.99/3.04 c #conflict = 1
2.99/3.04 c #restart = 0
2.99/3.04 c BCD2: found a new core of size 11: cost of the new core is >=1126400
2.99/3.04 c lower bound updated to 4300800
3.59/3.68 c BCD2: hardening fixes 1 literals
3.59/3.68 c BCD2: 4300800 <= obj <= 178162614
3.59/3.68 c BCD2: #cores=4, #unrelaxed=1976, #relaxed=45, #hardened=955
3.59/3.68 c BCD2: #sat=1 #unsat=5 bias=5/6
3.59/3.68 c Solving starts ...
3.59/3.68 c ============================[ Search Statistics ]============================
3.59/3.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.59/3.68 c | | | | Limit GC | Var | Constra
3.59/3.68 c =============================================================================
3.59/3.68 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
3.59/3.68 c 0.0s | 0 | 23 | 0 | 1037 0 | 1513 | 0
3.59/3.68 c #cpu_time = 0.002s
3.59/3.68 c #wall_clock_time = 0.002s
3.59/3.68 c #decision = 23
3.59/3.68 c #random_decision = 0
3.59/3.68 c #conflict = 0
3.59/3.68 c #restart = 0
3.59/3.68 c BCD2: found a new core of size 11: cost of the new core is >=1126400
3.59/3.68 c lower bound updated to 5427200
4.29/4.36 c BCD2: 5427200 <= obj <= 178162614
4.29/4.36 c BCD2: #cores=5, #unrelaxed=1965, #relaxed=56, #hardened=955
4.29/4.36 c BCD2: #sat=1 #unsat=6 bias=6/7
4.29/4.36 c Solving starts ...
4.29/4.36 c ============================[ Search Statistics ]============================
4.29/4.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.29/4.36 c | | | | Limit GC | Var | Constra
4.29/4.36 c =============================================================================
4.29/4.36 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
4.29/4.37 c 0.0s | 0 | 26 | 1 | 1037 0 | 1513 | 0
4.29/4.37 c #cpu_time = 0.002s
4.29/4.37 c #wall_clock_time = 0.002s
4.29/4.37 c #decision = 26
4.29/4.37 c #random_decision = 0
4.29/4.37 c #conflict = 1
4.29/4.37 c #restart = 0
4.29/4.37 c BCD2: found a new core of size 10: cost of the new core is >=1024000
4.29/4.37 c lower bound updated to 6451200
4.99/5.02 c BCD2: 6451200 <= obj <= 178162614
4.99/5.02 c BCD2: #cores=6, #unrelaxed=1955, #relaxed=66, #hardened=955
4.99/5.02 c BCD2: #sat=1 #unsat=7 bias=7/8
5.19/5.22 c Solving starts ...
5.19/5.22 c ============================[ Search Statistics ]============================
5.19/5.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
5.19/5.22 c | | | | Limit GC | Var | Constra
5.19/5.22 c =============================================================================
5.19/5.22 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
5.19/5.22 c 0.0s | 0 | 31 | 0 | 1037 0 | 1513 | 0
5.19/5.22 c #cpu_time = 0.002s
5.19/5.22 c #wall_clock_time = 0.002s
5.19/5.22 c #decision = 31
5.19/5.22 c #random_decision = 0
5.19/5.22 c #conflict = 0
5.19/5.22 c #restart = 0
5.19/5.22 c BCD2: found a new core of size 12: cost of the new core is >=1024000
5.19/5.22 c lower bound updated to 7475200
5.69/5.70 c BCD2: 7475200 <= obj <= 178162614
5.69/5.70 c BCD2: #cores=7, #unrelaxed=1943, #relaxed=78, #hardened=955
5.69/5.70 c BCD2: #sat=1 #unsat=8 bias=8/9
5.69/5.71 c Solving starts ...
5.69/5.71 c ============================[ Search Statistics ]============================
5.69/5.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
5.69/5.71 c | | | | Limit GC | Var | Constra
5.69/5.71 c =============================================================================
5.69/5.71 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
5.69/5.71 c 0.0s | 0 | 24 | 0 | 1037 0 | 1513 | 0
5.69/5.71 c #cpu_time = 0.002s
5.69/5.71 c #wall_clock_time = 0.002s
5.69/5.71 c #decision = 24
5.69/5.71 c #random_decision = 0
5.69/5.71 c #conflict = 0
5.69/5.71 c #restart = 0
5.69/5.71 c BCD2: found a new core of size 12: cost of the new core is >=1024000
5.69/5.71 c lower bound updated to 8499200
6.29/6.36 c BCD2: 8499200 <= obj <= 178162614
6.29/6.36 c BCD2: #cores=8, #unrelaxed=1931, #relaxed=90, #hardened=955
6.29/6.36 c BCD2: #sat=1 #unsat=9 bias=9/10
6.29/6.36 c Solving starts ...
6.29/6.36 c ============================[ Search Statistics ]============================
6.29/6.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
6.29/6.36 c | | | | Limit GC | Var | Constra
6.29/6.36 c =============================================================================
6.29/6.36 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
6.29/6.36 c 0.0s | 0 | 157 | 0 | 1037 0 | 1513 | 0
6.29/6.36 c #cpu_time = 0.002s
6.29/6.36 c #wall_clock_time = 0.002s
6.29/6.36 c #decision = 157
6.29/6.36 c #random_decision = 0
6.29/6.36 c #conflict = 0
6.29/6.36 c #restart = 0
6.29/6.36 c BCD2: found a new core of size 72: cost of the new core is >=11584
6.29/6.36 c lower bound updated to 8510784
6.99/7.04 c BCD2: 8510784 <= obj <= 178162614
6.99/7.04 c BCD2: #cores=9, #unrelaxed=1859, #relaxed=162, #hardened=955
6.99/7.04 c BCD2: #sat=1 #unsat=10 bias=10/11
6.99/7.04 c Solving starts ...
6.99/7.04 c ============================[ Search Statistics ]============================
6.99/7.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
6.99/7.04 c | | | | Limit GC | Var | Constra
6.99/7.04 c =============================================================================
6.99/7.04 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
6.99/7.05 c 0.0s | 0 | 295 | 0 | 1037 0 | 1513 | 0
6.99/7.05 c #cpu_time = 0.002s
6.99/7.05 c #wall_clock_time = 0.002s
6.99/7.05 c #decision = 295
6.99/7.05 c #random_decision = 0
6.99/7.05 c #conflict = 0
6.99/7.05 c #restart = 0
6.99/7.05 c BCD2: found a new core of size 141: cost of the new core is >=19
6.99/7.05 c lower bound updated to 8510803
7.59/7.70 c BCD2: 8510803 <= obj <= 178162614
7.59/7.70 c BCD2: #cores=10, #unrelaxed=1718, #relaxed=303, #hardened=955
7.59/7.70 c BCD2: #sat=1 #unsat=11 bias=11/12
8.49/8.58 c Solving starts ...
8.49/8.58 c ============================[ Search Statistics ]============================
8.49/8.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
8.49/8.58 c | | | | Limit GC | Var | Constra
8.49/8.58 c =============================================================================
8.49/8.59 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
8.49/8.59 c 0.0s | 0 | 312 | 0 | 1037 0 | 1513 | 0
8.49/8.59 c #cpu_time = 0.002s
8.49/8.59 c #wall_clock_time = 0.002s
8.49/8.59 c #decision = 312
8.49/8.59 c #random_decision = 0
8.49/8.59 c #conflict = 0
8.49/8.59 c #restart = 0
8.49/8.59 c BCD2: found a new core of size 66: cost of the new core is >=1984
8.49/8.59 c lower bound updated to 8512787
9.09/9.18 c BCD2: 8512787 <= obj <= 178162614
9.09/9.18 c BCD2: #cores=11, #unrelaxed=1652, #relaxed=369, #hardened=955
9.09/9.18 c BCD2: #sat=1 #unsat=12 bias=12/13
9.19/9.21 c Solving starts ...
9.19/9.21 c ============================[ Search Statistics ]============================
9.19/9.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
9.19/9.21 c | | | | Limit GC | Var | Constra
9.19/9.21 c =============================================================================
9.19/9.21 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
9.19/9.21 c 0.0s | 0 | 434 | 0 | 1037 0 | 1513 | 0
9.19/9.21 c #cpu_time = 0.003s
9.19/9.21 c #wall_clock_time = 0.003s
9.19/9.21 c #decision = 434
9.19/9.21 c #random_decision = 0
9.19/9.21 c #conflict = 0
9.19/9.21 c #restart = 0
9.19/9.21 c BCD2: found a new core of size 72: cost of the new core is >=17024
9.19/9.21 c lower bound updated to 8529811
9.79/9.84 c BCD2: 8529811 <= obj <= 178162614
9.79/9.84 c BCD2: #cores=12, #unrelaxed=1580, #relaxed=441, #hardened=955
9.79/9.84 c BCD2: #sat=1 #unsat=13 bias=13/14
10.29/10.32 c Solving starts ...
10.29/10.32 c ============================[ Search Statistics ]============================
10.29/10.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
10.29/10.32 c | | | | Limit GC | Var | Constra
10.29/10.32 c =============================================================================
10.29/10.32 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
10.29/10.32 c 0.0s | 0 | 562 | 0 | 1037 0 | 1513 | 0
10.29/10.32 c #cpu_time = 0.003s
10.29/10.32 c #wall_clock_time = 0.003s
10.29/10.32 c #decision = 562
10.29/10.32 c #random_decision = 0
10.29/10.32 c #conflict = 0
10.29/10.32 c #restart = 0
10.29/10.32 c BCD2: found a new core of size 66: cost of the new core is >=17408
10.29/10.32 c lower bound updated to 8547219
11.09/11.12 c BCD2: 8547219 <= obj <= 178162614
11.09/11.12 c BCD2: #cores=13, #unrelaxed=1514, #relaxed=507, #hardened=955
11.09/11.12 c BCD2: #sat=1 #unsat=14 bias=14/15
11.29/11.34 c Solving starts ...
11.29/11.34 c ============================[ Search Statistics ]============================
11.29/11.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
11.29/11.34 c | | | | Limit GC | Var | Constra
11.29/11.34 c =============================================================================
11.29/11.34 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
11.29/11.34 c 0.0s | 0 | 647 | 1 | 1037 0 | 1513 | 0
11.29/11.34 c #cpu_time = 0.003s
11.29/11.34 c #wall_clock_time = 0.003s
11.29/11.34 c #decision = 647
11.29/11.34 c #random_decision = 0
11.29/11.34 c #conflict = 1
11.29/11.34 c #restart = 0
11.29/11.34 c BCD2: found a new core of size 93: cost of the new core is >=332
11.29/11.34 c lower bound updated to 8547551
11.89/11.96 c BCD2: 8547551 <= obj <= 178162614
11.89/11.96 c BCD2: #cores=14, #unrelaxed=1421, #relaxed=600, #hardened=955
11.89/11.96 c BCD2: #sat=1 #unsat=15 bias=15/16
12.59/12.66 c Solving starts ...
12.59/12.66 c ============================[ Search Statistics ]============================
12.59/12.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
12.59/12.66 c | | | | Limit GC | Var | Constra
12.59/12.66 c =============================================================================
12.59/12.66 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
12.59/12.67 c 0.0s | 0 | 807 | 0 | 1037 0 | 1513 | 0
12.59/12.67 c #cpu_time = 0.004s
12.59/12.67 c #wall_clock_time = 0.004s
12.59/12.67 c #decision = 807
12.59/12.67 c #random_decision = 0
12.59/12.67 c #conflict = 0
12.59/12.67 c #restart = 0
12.59/12.67 c BCD2: found a new core of size 145: cost of the new core is >=59
12.59/12.67 c lower bound updated to 8547610
13.19/13.29 c BCD2: 8547610 <= obj <= 178162614
13.19/13.29 c BCD2: #cores=15, #unrelaxed=1276, #relaxed=745, #hardened=955
13.19/13.29 c BCD2: #sat=1 #unsat=16 bias=16/17
89.27/89.33 c Solving starts ...
89.27/89.33 c ============================[ Search Statistics ]============================
89.27/89.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
89.27/89.33 c | | | | Limit GC | Var | Constra
89.27/89.33 c =============================================================================
89.27/89.33 c 0.0s | 0 | 0 | 0 | 1037 0 | 1513 | 0
89.27/89.34 c 0.0s | 0 | 665 | 1 | 1037 0 | 1513 | 0
89.27/89.34 c #cpu_time = 0.004s
89.27/89.34 c #wall_clock_time = 0.004s
89.27/89.34 c #decision = 665
89.27/89.34 c #random_decision = 0
89.27/89.34 c #conflict = 1
89.27/89.34 c #restart = 0
89.27/89.34 c BCD2: relaxing 182 and merging with 2 cores into a new core of size 468: cost of the new core is >=153
89.27/89.34 c lower bound updated to 8547685
90.28/90.35 c BCD2: 8547685 <= obj <= 178162614
90.28/90.35 c BCD2: #cores=14, #unrelaxed=1094, #relaxed=927, #hardened=955
90.28/90.35 c BCD2: #sat=1 #unsat=17 bias=17/18
137.47/137.59 c Solving starts ...
137.47/137.59 c ============================[ Search Statistics ]============================
137.47/137.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
137.47/137.59 c | | | | Limit GC | Var | Constra
137.47/137.59 c =============================================================================
137.47/137.59 c 0.0s | 0 | 0 | 0 | 1037 0 | 1520 | 0
137.47/137.60 c 0.0s | 0 | 536 | 0 | 1037 0 | 1520 | 12
137.47/137.60 c #cpu_time = 0.004s
137.47/137.60 c #wall_clock_time = 0.004s
137.47/137.60 c #decision = 536
137.47/137.60 c #random_decision = 0
137.47/137.60 c #conflict = 0
137.47/137.60 c #restart = 0
137.47/137.60 c BCD2: found a new core of size 59: cost of the new core is >=18176
137.47/137.60 c lower bound updated to 8565861
138.57/138.65 c BCD2: 8565861 <= obj <= 178162614
138.57/138.65 c BCD2: #cores=15, #unrelaxed=1035, #relaxed=986, #hardened=955
138.57/138.65 c BCD2: #sat=1 #unsat=18 bias=18/19
177.96/178.01 c Solving starts ...
177.96/178.01 c ============================[ Search Statistics ]============================
177.96/178.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
177.96/178.01 c | | | | Limit GC | Var | Constra
177.96/178.01 c =============================================================================
177.96/178.01 c 0.0s | 0 | 0 | 0 | 1037 0 | 1520 | 12
177.96/178.02 c 0.0s | 0 | 654 | 26 | 1037 0 | 1520 | 12
177.96/178.02 c #cpu_time = 0.008s
177.96/178.02 c #wall_clock_time = 0.008s
177.96/178.02 c #decision = 654
177.96/178.02 c #random_decision = 0
177.96/178.02 c #conflict = 26
177.96/178.02 c #restart = 0
177.96/178.02 c BCD2: relaxing 49 and merging with 1 cores into a new core of size 142: cost of the new core is >=460
177.96/178.02 c lower bound updated to 8565989
179.15/179.29 c BCD2: 8565989 <= obj <= 178162614
179.15/179.29 c BCD2: #cores=15, #unrelaxed=986, #relaxed=1035, #hardened=955
179.15/179.29 c BCD2: #sat=1 #unsat=19 bias=19/20
255.85/255.95 c Solving starts ...
255.85/255.95 c ============================[ Search Statistics ]============================
255.85/255.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
255.85/255.95 c | | | | Limit GC | Var | Constra
255.85/255.95 c =============================================================================
255.85/255.95 c 0.0s | 0 | 0 | 0 | 1037 0 | 1524 | 12
255.85/255.97 c 0.0s | 1 | 578 | 100 | 1141 0 | 1524 | 19
255.94/256.01 c 0.1s | 2 | 1203 | 250 | 1256 0 | 1524 | 19
255.94/256.08 c 0.1s | 3 | 1936 | 475 | 1382 0 | 1524 | 19
256.14/256.22 c 0.3s | 4 | 2761 | 813 | 1521 0 | 1524 | 19
256.35/256.42 c 0.5s | 5 | 3740 | 1320 | 1674 0 | 1524 | 19
256.64/256.72 c 0.8s | 6 | 5008 | 2081 | 1842 0 | 1524 | 19
257.04/257.18 c 1.2s | 7 | 6654 | 3223 | 2027 0 | 1524 | 19
258.04/258.12 c 2.2s | 8 | 8908 | 4936 | 2230 1 | 1524 | 19
259.65/259.78 c 3.8s | 9 | 12088 | 7506 | 2453 2 | 1524 | 19
261.64/261.79 c 5.8s | 9 | 15720 | 10506 | 2453 3 | 1524 | 19
262.25/262.38 c 6.4s | 10 | 16623 | 11361 | 2699 3 | 1524 | 19
264.34/264.43 c 8.5s | 10 | 20002 | 14161 | 2699 5 | 1524 | 19
266.05/266.17 c 10.2s | 11 | 23098 | 17144 | 2969 6 | 1524 | 19
268.05/268.19 c 12.2s | 11 | 27860 | 20744 | 2969 7 | 1524 | 19
270.14/270.22 c 14.3s | 11 | 31658 | 24444 | 2969 9 | 1524 | 19
270.94/271.03 c 15.1s | 12 | 33131 | 25819 | 3266 9 | 1524 | 19
272.94/273.07 c 17.1s | 12 | 38031 | 29819 | 3266 10 | 1524 | 19
274.95/275.07 c 19.1s | 12 | 42442 | 33419 | 3266 12 | 1524 | 19
276.94/277.08 c 21.1s | 12 | 46532 | 36619 | 3266 13 | 1524 | 19
278.25/278.34 c 22.4s | 13 | 49566 | 38832 | 3593 14 | 1524 | 19
280.24/280.39 c 24.4s | 13 | 54835 | 42232 | 3593 15 | 1524 | 19
282.34/282.44 c 26.5s | 13 | 58953 | 45832 | 3593 16 | 1524 | 19
284.34/284.47 c 28.5s | 13 | 63380 | 49432 | 3593 17 | 1524 | 19
286.44/286.50 c 30.5s | 13 | 68061 | 53032 | 3593 19 | 1524 | 19
288.44/288.52 c 32.6s | 13 | 71257 | 56032 | 3593 20 | 1524 | 19
289.53/289.64 c 33.7s | 14 | 74057 | 58352 | 3953 20 | 1524 | 19
291.55/291.66 c 35.7s | 14 | 79502 | 62252 | 3953 22 | 1524 | 19
293.54/293.67 c 37.7s | 14 | 84306 | 66052 | 3953 23 | 1524 | 19
295.54/295.68 c 39.7s | 14 | 89325 | 69752 | 3953 24 | 1524 | 19
297.54/297.69 c 41.7s | 14 | 93966 | 73152 | 3953 25 | 1524 | 19
299.64/299.71 c 43.8s | 14 | 98488 | 76552 | 3953 26 | 1524 | 19
301.64/301.73 c 45.8s | 14 | 103235 | 79752 | 3953 28 | 1524 | 19
303.64/303.76 c 47.8s | 14 | 107600 | 83052 | 3953 29 | 1524 | 19
305.74/305.81 c 49.9s | 14 | 112288 | 86752 | 3953 30 | 1524 | 19
306.14/306.26 c 50.3s | 15 | 113336 | 87632 | 4349 30 | 1524 | 19
308.13/308.29 c 52.3s | 15 | 118479 | 91332 | 4349 31 | 1524 | 19
310.25/310.31 c 54.4s | 15 | 123410 | 95132 | 4349 32 | 1524 | 19
312.23/312.35 c 56.4s | 15 | 128007 | 98832 | 4349 33 | 1524 | 19
314.23/314.37 c 58.4s | 15 | 132466 | 102332 | 4349 35 | 1524 | 19
316.23/316.38 c 60.4s | 15 | 136661 | 105632 | 4349 36 | 1524 | 19
318.64/318.79 c 62.8s | 15 | 141065 | 109032 | 4349 37 | 1524 | 19
320.64/320.79 c 64.8s | 15 | 146091 | 112832 | 4349 38 | 1524 | 19
322.74/322.81 c 66.9s | 15 | 151139 | 116532 | 4349 39 | 1524 | 19
324.74/324.83 c 68.9s | 15 | 156019 | 120232 | 4349 40 | 1524 | 19
326.74/326.86 c 70.9s | 15 | 160921 | 123832 | 4349 41 | 1524 | 19
328.73/328.88 c 72.9s | 15 | 165768 | 127232 | 4349 42 | 1524 | 19
330.73/330.88 c 74.9s | 15 | 170786 | 130732 | 4784 43 | 1524 | 19
331.23/331.36 c 75.4s | 16 | 171834 | 131552 | 4784 43 | 1524 | 19
333.24/333.39 c 77.4s | 16 | 176612 | 134552 | 4784 44 | 1524 | 19
335.33/335.43 c 79.5s | 16 | 181114 | 137952 | 4784 45 | 1524 | 19
337.33/337.44 c 81.5s | 16 | 185543 | 141252 | 4784 46 | 1524 | 19
339.33/339.45 c 83.5s | 16 | 190589 | 144652 | 4784 47 | 1524 | 19
341.43/341.51 c 85.6s | 16 | 195114 | 148052 | 4784 48 | 1524 | 19
343.43/343.54 c 87.6s | 16 | 199810 | 151552 | 4784 49 | 1524 | 19
345.44/345.59 c 89.6s | 16 | 204649 | 155152 | 4784 50 | 1524 | 19
347.43/347.60 c 91.7s | 16 | 209650 | 158552 | 4784 51 | 1524 | 19
349.53/349.65 c 93.7s | 16 | 216306 | 162452 | 4784 52 | 1524 | 19
351.53/351.66 c 95.7s | 16 | 221326 | 165952 | 4784 53 | 1524 | 19
353.53/353.68 c 97.7s | 16 | 226141 | 169552 | 4784 54 | 1524 | 19
355.63/355.73 c 99.8s | 16 | 231321 | 173052 | 4784 55 | 1524 | 19
357.63/357.77 c 101s | 16 | 236331 | 176552 | 4784 56 | 1524 | 19
359.74/359.83 c 103s | 16 | 240379 | 179652 | 4784 57 | 1524 | 19
361.73/361.88 c 105s | 16 | 245535 | 183352 | 4784 58 | 1524 | 19
363.73/363.90 c 107s | 16 | 251194 | 187152 | 4784 60 | 1524 | 19
365.83/365.93 c 109s | 16 | 255751 | 190652 | 4784 61 | 1524 | 19
367.83/367.94 c 111s | 16 | 260168 | 193952 | 4784 61 | 1524 | 19
369.83/369.99 c 114s | 16 | 264965 | 197252 | 5263 62 | 1524 | 19
370.03/370.10 c 114s | 17 | 265180 | 197432 | 5263 62 | 1524 | 19
372.03/372.13 c 116s | 17 | 270880 | 201232 | 5263 63 | 1524 | 19
374.03/374.19 c 118s | 17 | 276443 | 205032 | 5263 64 | 1524 | 19
376.13/376.21 c 120s | 17 | 281362 | 208632 | 5263 65 | 1524 | 19
378.12/378.22 c 122s | 17 | 286320 | 212232 | 5263 66 | 1524 | 19
380.12/380.25 c 124s | 17 | 290238 | 215032 | 5263 67 | 1524 | 19
382.22/382.30 c 126s | 17 | 292763 | 216932 | 5263 68 | 1524 | 19
384.22/384.34 c 128s | 17 | 295905 | 218832 | 5263 68 | 1524 | 19
386.32/386.42 c 130s | 17 | 298002 | 220432 | 5263 69 | 1524 | 19
388.33/388.43 c 132s | 17 | 301088 | 222432 | 5263 69 | 1524 | 19
390.32/390.46 c 134s | 17 | 304442 | 224632 | 5263 70 | 1524 | 19
392.42/392.54 c 136s | 17 | 308289 | 227132 | 5263 70 | 1524 | 19
394.42/394.55 c 138s | 17 | 311709 | 229432 | 5263 71 | 1524 | 19
396.42/396.56 c 140s | 17 | 315073 | 231532 | 5263 72 | 1524 | 19
398.42/398.58 c 142s | 17 | 318454 | 233832 | 5263 72 | 1524 | 19
400.42/400.58 c 144s | 17 | 322185 | 236432 | 5263 73 | 1524 | 19
402.52/402.65 c 146s | 17 | 325837 | 239232 | 5263 74 | 1524 | 19
404.52/404.67 c 148s | 17 | 329853 | 242032 | 5263 74 | 1524 | 19
406.62/406.73 c 150s | 17 | 334003 | 244732 | 5263 75 | 1524 | 19
408.62/408.77 c 152s | 17 | 337715 | 247232 | 5263 76 | 1524 | 19
410.72/410.84 c 154s | 17 | 341750 | 249932 | 5263 77 | 1524 | 19
412.72/412.89 c 156s | 17 | 345641 | 252732 | 5263 77 | 1524 | 19
414.82/414.94 c 158s | 17 | 349673 | 255332 | 5263 78 | 1524 | 19
416.82/416.97 c 161s | 17 | 353848 | 258032 | 5263 79 | 1524 | 19
418.81/418.97 c 163s | 17 | 357621 | 260532 | 5263 79 | 1524 | 19
420.91/421.00 c 165s | 17 | 361918 | 263132 | 5263 80 | 1524 | 19
422.91/423.04 c 167s | 17 | 365805 | 265532 | 5263 81 | 1524 | 19
424.91/425.06 c 169s | 17 | 369584 | 268032 | 5263 81 | 1524 | 19
426.92/427.06 c 171s | 17 | 372837 | 270232 | 5263 82 | 1524 | 19
428.93/429.10 c 173s | 17 | 376666 | 272732 | 5263 83 | 1524 | 19
431.02/431.11 c 175s | 17 | 380735 | 275332 | 5263 83 | 1524 | 19
433.02/433.16 c 177s | 17 | 385038 | 277932 | 5263 84 | 1524 | 19
435.12/435.24 c 179s | 17 | 389055 | 280532 | 5263 85 | 1524 | 19
437.12/437.24 c 181s | 17 | 391646 | 282132 | 5263 85 | 1524 | 19
439.12/439.29 c 183s | 17 | 395660 | 284532 | 5263 86 | 1524 | 19
441.22/441.32 c 185s | 17 | 398565 | 286832 | 5263 86 | 1524 | 19
443.23/443.34 c 187s | 17 | 402378 | 289632 | 5263 87 | 1524 | 19
445.22/445.39 c 189s | 17 | 406195 | 292232 | 5263 88 | 1524 | 19
447.32/447.41 c 191s | 17 | 409796 | 294732 | 5790 88 | 1524 | 19
448.42/448.55 c 192s | 18 | 412039 | 296252 | 5790 89 | 1524 | 19
450.51/450.62 c 194s | 18 | 417293 | 299352 | 5790 90 | 1524 | 19
452.51/452.63 c 196s | 18 | 422246 | 302452 | 5790 90 | 1524 | 19
454.51/454.67 c 198s | 18 | 426975 | 305352 | 5790 91 | 1524 | 19
456.61/456.71 c 200s | 18 | 431154 | 308152 | 5790 92 | 1524 | 19
458.62/458.74 c 202s | 18 | 435393 | 310952 | 5790 92 | 1524 | 19
460.61/460.74 c 204s | 18 | 439171 | 313552 | 5790 93 | 1524 | 19
462.71/462.80 c 206s | 18 | 443204 | 316352 | 5790 94 | 1524 | 19
464.71/464.81 c 208s | 18 | 447557 | 319252 | 5790 95 | 1524 | 19
466.71/466.85 c 210s | 18 | 451480 | 321752 | 5790 95 | 1524 | 19
468.71/468.86 c 212s | 18 | 455028 | 323852 | 5790 96 | 1524 | 19
470.71/470.89 c 214s | 18 | 460020 | 326952 | 5790 96 | 1524 | 19
472.81/472.91 c 216s | 18 | 464918 | 329852 | 5790 97 | 1524 | 19
474.81/474.97 c 219s | 18 | 468384 | 332552 | 5790 98 | 1524 | 19
476.91/477.03 c 221s | 18 | 472244 | 335252 | 5790 99 | 1524 | 19
478.91/479.06 c 223s | 18 | 476274 | 338052 | 5790 99 | 1524 | 19
480.91/481.08 c 225s | 18 | 480311 | 340852 | 5790 100 | 1524 | 19
483.01/483.11 c 227s | 18 | 484048 | 343352 | 5790 101 | 1524 | 19
485.02/485.12 c 229s | 18 | 487888 | 346152 | 5790 101 | 1524 | 19
487.01/487.14 c 231s | 18 | 492088 | 349052 | 5790 102 | 1524 | 19
489.01/489.16 c 233s | 18 | 496207 | 351952 | 5790 103 | 1524 | 19
491.11/491.23 c 235s | 18 | 500256 | 354652 | 5790 103 | 1524 | 19
493.11/493.30 c 237s | 18 | 505343 | 357652 | 5790 104 | 1524 | 19
495.21/495.34 c 239s | 18 | 510289 | 360452 | 5790 105 | 1524 | 19
497.22/497.39 c 241s | 18 | 514843 | 363552 | 5790 106 | 1524 | 19
499.32/499.49 c 243s | 18 | 519252 | 366652 | 5790 106 | 1524 | 19
501.41/501.54 c 245s | 18 | 523173 | 369452 | 5790 107 | 1524 | 19
503.41/503.56 c 247s | 18 | 526777 | 372152 | 5790 108 | 1524 | 19
505.41/505.58 c 249s | 18 | 531018 | 374852 | 5790 108 | 1524 | 19
507.51/507.60 c 251s | 18 | 535611 | 377752 | 5790 109 | 1524 | 19
509.50/509.62 c 253s | 18 | 540835 | 380752 | 5790 110 | 1524 | 19
511.51/511.64 c 255s | 18 | 545201 | 383352 | 5790 111 | 1524 | 19
513.50/513.64 c 257s | 18 | 550009 | 386252 | 5790 111 | 1524 | 19
515.50/515.67 c 259s | 18 | 554878 | 389152 | 5790 112 | 1524 | 19
517.60/517.71 c 261s | 18 | 559146 | 391952 | 5790 113 | 1524 | 19
519.60/519.75 c 263s | 18 | 563969 | 394852 | 5790 113 | 1524 | 19
521.60/521.79 c 265s | 18 | 569013 | 397952 | 5790 114 | 1524 | 19
523.70/523.86 c 267s | 18 | 573771 | 400852 | 5790 115 | 1524 | 19
525.71/525.87 c 269s | 18 | 577823 | 403252 | 5790 116 | 1524 | 19
527.70/527.87 c 271s | 18 | 582006 | 405952 | 5790 116 | 1524 | 19
529.80/529.93 c 273s | 18 | 586531 | 408852 | 5790 117 | 1524 | 19
531.80/531.94 c 275s | 18 | 590883 | 411752 | 5790 118 | 1524 | 19
533.80/533.99 c 278s | 18 | 595024 | 414752 | 5790 118 | 1524 | 19
535.80/535.99 c 280s | 18 | 599574 | 417752 | 5790 119 | 1524 | 19
537.80/538.00 c 282s | 18 | 603835 | 420552 | 5790 120 | 1524 | 19
539.90/540.05 c 284s | 18 | 608030 | 423352 | 5790 121 | 1524 | 19
542.00/542.11 c 286s | 18 | 612326 | 426452 | 5790 121 | 1524 | 19
544.00/544.13 c 288s | 18 | 616708 | 429352 | 5790 122 | 1524 | 19
546.00/546.15 c 290s | 18 | 621007 | 432152 | 5790 123 | 1524 | 19
548.10/548.20 c 292s | 18 | 625164 | 435152 | 5790 124 | 1524 | 19
550.10/550.23 c 294s | 18 | 628352 | 437552 | 5790 124 | 1524 | 19
552.11/552.25 c 296s | 18 | 632056 | 440352 | 5790 125 | 1524 | 19
554.20/554.30 c 298s | 18 | 635765 | 443352 | 6370 126 | 1524 | 19
555.00/555.16 c 299s | 19 | 637477 | 444482 | 6370 126 | 1524 | 19
557.10/557.20 c 301s | 19 | 642892 | 447482 | 6370 126 | 1524 | 19
559.10/559.23 c 303s | 19 | 645837 | 449482 | 6370 127 | 1524 | 19
561.20/561.32 c 305s | 19 | 649222 | 451782 | 6370 127 | 1524 | 19
563.21/563.36 c 307s | 19 | 652753 | 454182 | 6370 128 | 1524 | 19
565.20/565.36 c 309s | 19 | 655584 | 456282 | 6370 129 | 1524 | 19
567.30/567.41 c 311s | 19 | 659654 | 458882 | 6370 129 | 1524 | 19
569.30/569.49 c 313s | 19 | 663094 | 461282 | 6370 130 | 1524 | 19
571.30/571.49 c 315s | 19 | 666480 | 463582 | 6370 130 | 1524 | 19
573.40/573.54 c 317s | 19 | 669757 | 465982 | 6370 131 | 1524 | 19
575.49/575.61 c 319s | 19 | 673145 | 468482 | 6370 131 | 1524 | 19
577.50/577.66 c 321s | 19 | 676488 | 470682 | 6370 132 | 1524 | 19
579.60/579.74 c 323s | 19 | 679728 | 473082 | 6370 132 | 1524 | 19
581.69/581.84 c 325s | 19 | 682877 | 475282 | 6370 133 | 1524 | 19
583.69/583.90 c 327s | 19 | 686266 | 477682 | 6370 134 | 1524 | 19
585.79/585.91 c 329s | 19 | 689142 | 479982 | 6370 134 | 1524 | 19
587.79/587.99 c 332s | 19 | 691535 | 481982 | 6370 135 | 1524 | 19
589.89/590.03 c 334s | 19 | 694969 | 484282 | 6370 135 | 1524 | 19
591.89/592.03 c 336s | 19 | 699511 | 486982 | 6370 136 | 1524 | 19
593.90/594.08 c 338s | 19 | 704136 | 489682 | 6370 136 | 1524 | 19
595.99/596.11 c 340s | 19 | 707642 | 491982 | 6370 137 | 1524 | 19
597.99/598.15 c 342s | 19 | 711418 | 494682 | 6370 137 | 1524 | 19
600.09/600.20 c 344s | 19 | 715286 | 497482 | 6370 138 | 1524 | 19
602.09/602.21 c 346s | 19 | 718685 | 499882 | 6370 139 | 1524 | 19
604.09/604.29 c 348s | 19 | 722443 | 502782 | 6370 139 | 1524 | 19
606.19/606.35 c 350s | 19 | 725750 | 505382 | 6370 140 | 1524 | 19
608.29/608.41 c 352s | 19 | 729192 | 507882 | 6370 141 | 1524 | 19
610.39/610.52 c 354s | 19 | 732169 | 510282 | 6370 141 | 1524 | 19
612.39/612.57 c 356s | 19 | 735148 | 512582 | 6370 142 | 1524 | 19
614.39/614.59 c 358s | 19 | 738675 | 515082 | 6370 142 | 1524 | 19
616.49/616.65 c 360s | 19 | 742210 | 517482 | 6370 143 | 1524 | 19
618.49/618.69 c 362s | 19 | 745740 | 520182 | 6370 143 | 1524 | 19
620.59/620.71 c 364s | 19 | 750058 | 522982 | 6370 144 | 1524 | 19
622.60/622.78 c 366s | 19 | 753515 | 525382 | 6370 145 | 1524 | 19
624.70/624.85 c 368s | 19 | 757200 | 527982 | 6370 145 | 1524 | 19
626.79/626.90 c 370s | 19 | 761032 | 530582 | 6370 146 | 1524 | 19
628.79/628.91 c 372s | 19 | 764653 | 533082 | 6370 146 | 1524 | 19
630.79/630.93 c 374s | 19 | 768419 | 535582 | 6370 147 | 1524 | 19
632.79/632.95 c 376s | 19 | 772101 | 538082 | 6370 148 | 1524 | 19
634.79/634.97 c 379s | 19 | 775500 | 540482 | 6370 148 | 1524 | 19
636.80/636.97 c 381s | 19 | 778792 | 542882 | 6370 149 | 1524 | 19
638.89/639.01 c 383s | 19 | 782610 | 545482 | 6370 149 | 1524 | 19
640.89/641.08 c 385s | 19 | 785452 | 547782 | 6370 150 | 1524 | 19
642.99/643.13 c 387s | 19 | 789206 | 550482 | 6370 150 | 1524 | 19
644.99/645.18 c 389s | 19 | 792338 | 552882 | 6370 151 | 1524 | 19
647.09/647.22 c 391s | 19 | 795445 | 555182 | 6370 152 | 1524 | 19
649.09/649.22 c 393s | 19 | 799274 | 557982 | 6370 152 | 1524 | 19
651.09/651.28 c 395s | 19 | 802759 | 560382 | 6370 153 | 1524 | 19
653.09/653.29 c 397s | 19 | 806898 | 562882 | 6370 153 | 1524 | 19
655.18/655.33 c 399s | 19 | 810848 | 565382 | 6370 154 | 1524 | 19
657.28/657.42 c 401s | 19 | 814879 | 567882 | 6370 154 | 1524 | 19
659.28/659.48 c 403s | 19 | 819522 | 570782 | 6370 155 | 1524 | 19
661.38/661.55 c 405s | 19 | 823035 | 573282 | 6370 156 | 1524 | 19
663.48/663.62 c 407s | 19 | 827309 | 575982 | 6370 156 | 1524 | 19
665.49/665.65 c 409s | 19 | 831042 | 578482 | 6370 157 | 1524 | 19
667.48/667.68 c 411s | 19 | 835601 | 581382 | 6370 158 | 1524 | 19
669.58/669.71 c 413s | 19 | 838824 | 583582 | 6370 158 | 1524 | 19
671.68/671.80 c 415s | 19 | 842180 | 585982 | 6370 159 | 1524 | 19
673.68/673.85 c 417s | 19 | 846212 | 588582 | 6370 159 | 1524 | 19
675.68/675.87 c 419s | 19 | 849904 | 591182 | 6370 160 | 1524 | 19
677.78/677.90 c 421s | 19 | 853243 | 593582 | 6370 160 | 1524 | 19
679.79/679.96 c 424s | 19 | 856900 | 596182 | 6370 161 | 1524 | 19
681.78/681.97 c 426s | 19 | 860615 | 598882 | 6370 162 | 1524 | 19
683.88/684.01 c 428s | 19 | 864361 | 601582 | 6370 162 | 1524 | 19
685.88/686.01 c 430s | 19 | 867810 | 603982 | 6370 163 | 1524 | 19
687.88/688.07 c 432s | 19 | 871325 | 606482 | 6370 163 | 1524 | 19
689.98/690.10 c 434s | 19 | 874322 | 608582 | 6370 164 | 1524 | 19
691.98/692.17 c 436s | 19 | 877880 | 611082 | 6370 165 | 1524 | 19
694.08/694.23 c 438s | 19 | 881254 | 613482 | 6370 165 | 1524 | 19
696.07/696.23 c 440s | 19 | 884870 | 615782 | 6370 166 | 1524 | 19
698.07/698.27 c 442s | 19 | 888909 | 618382 | 6370 166 | 1524 | 19
700.17/700.32 c 444s | 19 | 893226 | 620882 | 6370 167 | 1524 | 19
702.17/702.37 c 446s | 19 | 897200 | 623482 | 6370 167 | 1524 | 19
704.27/704.46 c 448s | 19 | 900764 | 625882 | 6370 168 | 1524 | 19
706.27/706.47 c 450s | 19 | 904867 | 628382 | 6370 169 | 1524 | 19
708.28/708.49 c 452s | 19 | 908044 | 630682 | 6370 169 | 1524 | 19
710.37/710.51 c 454s | 19 | 911205 | 632882 | 6370 170 | 1524 | 19
712.37/712.55 c 456s | 19 | 915189 | 635382 | 6370 170 | 1524 | 19
714.47/714.60 c 458s | 19 | 919021 | 637882 | 6370 171 | 1524 | 19
716.47/716.62 c 460s | 19 | 922999 | 640382 | 6370 171 | 1524 | 19
718.47/718.65 c 462s | 19 | 926654 | 642782 | 6370 172 | 1524 | 19
720.57/720.71 c 464s | 19 | 930365 | 645282 | 6370 173 | 1524 | 19
722.58/722.80 c 466s | 19 | 933704 | 647882 | 6370 173 | 1524 | 19
724.67/724.81 c 468s | 19 | 937049 | 650182 | 6370 174 | 1524 | 19
726.67/726.83 c 470s | 19 | 940027 | 652482 | 6370 174 | 1524 | 19
728.67/728.85 c 472s | 19 | 943164 | 654682 | 6370 175 | 1524 | 19
730.67/730.85 c 474s | 19 | 946827 | 657082 | 6370 175 | 1524 | 19
732.67/732.89 c 476s | 19 | 950319 | 659382 | 6370 176 | 1524 | 19
734.78/734.93 c 478s | 19 | 954152 | 661982 | 6370 176 | 1524 | 19
736.77/736.93 c 480s | 19 | 957411 | 664182 | 7008 177 | 1524 | 19
738.77/738.98 c 483s | 19 | 960583 | 666482 | 7008 177 | 1524 | 19
739.08/739.26 c 483s | 20 | 961083 | 666827 | 7008 177 | 1524 | 19
741.17/741.32 c 485s | 20 | 964455 | 668827 | 7008 178 | 1524 | 19
743.17/743.37 c 487s | 20 | 967856 | 671227 | 7008 178 | 1524 | 19
745.27/745.44 c 489s | 20 | 971551 | 673627 | 7008 179 | 1524 | 19
747.27/747.49 c 491s | 20 | 975743 | 676227 | 7008 179 | 1524 | 19
749.37/749.53 c 493s | 20 | 979550 | 678727 | 7008 180 | 1524 | 19
751.37/751.53 c 495s | 20 | 983034 | 681127 | 7008 181 | 1524 | 19
753.37/753.59 c 497s | 20 | 986986 | 683727 | 7008 181 | 1524 | 19
755.36/755.59 c 499s | 20 | 990870 | 686327 | 7008 182 | 1524 | 19
757.46/757.60 c 501s | 20 | 993919 | 688727 | 7008 182 | 1524 | 19
759.47/759.64 c 503s | 20 | 997044 | 691027 | 7008 183 | 1524 | 19
761.47/761.67 c 505s | 20 | 1000356 | 693427 | 7008 183 | 1524 | 19
763.57/763.74 c 507s | 20 | 1003592 | 695727 | 7008 184 | 1524 | 19
765.67/765.81 c 509s | 20 | 1006914 | 698227 | 7008 184 | 1524 | 19
767.68/767.88 c 511s | 20 | 1010017 | 700427 | 7008 185 | 1524 | 19
769.67/769.89 c 513s | 20 | 1012908 | 702427 | 7008 185 | 1524 | 19
771.77/771.93 c 515s | 20 | 1016331 | 704627 | 7008 186 | 1524 | 19
773.77/773.98 c 518s | 20 | 1021182 | 707227 | 7008 186 | 1524 | 19
775.87/776.05 c 520s | 20 | 1025529 | 709727 | 7008 187 | 1524 | 19
777.87/778.06 c 522s | 20 | 1029096 | 712227 | 7008 187 | 1524 | 19
779.97/780.13 c 524s | 20 | 1032232 | 714627 | 7008 188 | 1524 | 19
782.08/782.22 c 526s | 20 | 1035613 | 717027 | 7008 188 | 1524 | 19
784.07/784.26 c 528s | 20 | 1037935 | 719027 | 7008 189 | 1524 | 19
786.07/786.29 c 530s | 20 | 1040882 | 721027 | 7008 189 | 1524 | 19
788.17/788.37 c 532s | 20 | 1043584 | 723127 | 7008 190 | 1524 | 19
790.17/790.37 c 534s | 20 | 1046746 | 725627 | 7008 190 | 1524 | 19
792.17/792.38 c 536s | 20 | 1049767 | 727927 | 7008 191 | 1524 | 19
794.27/794.44 c 538s | 20 | 1053047 | 730427 | 7008 191 | 1524 | 19
796.37/796.53 c 540s | 20 | 1055910 | 732727 | 7008 192 | 1524 | 19
798.37/798.54 c 542s | 20 | 1059381 | 735127 | 7008 192 | 1524 | 19
800.46/800.60 c 544s | 20 | 1062240 | 737127 | 7008 193 | 1524 | 19
802.46/802.65 c 546s | 20 | 1065307 | 739527 | 7008 193 | 1524 | 19
804.46/804.65 c 548s | 20 | 1068256 | 741827 | 7008 194 | 1524 | 19
806.46/806.67 c 550s | 20 | 1071404 | 744327 | 7008 194 | 1524 | 19
808.56/808.71 c 552s | 20 | 1074446 | 746727 | 7008 195 | 1524 | 19
810.57/810.76 c 554s | 20 | 1077919 | 749027 | 7008 195 | 1524 | 19
812.56/812.77 c 556s | 20 | 1081252 | 751427 | 7008 196 | 1524 | 19
814.66/814.85 c 558s | 20 | 1084393 | 753827 | 7008 196 | 1524 | 19
816.76/816.93 c 560s | 20 | 1087127 | 756127 | 7008 197 | 1524 | 19
818.76/818.94 c 562s | 20 | 1089961 | 758427 | 7008 197 | 1524 | 19
820.86/821.01 c 565s | 20 | 1093168 | 760927 | 7008 198 | 1524 | 19
822.86/823.04 c 567s | 20 | 1096038 | 763227 | 7008 198 | 1524 | 19
825.06/825.20 c 569s | 20 | 1098867 | 765527 | 7008 199 | 1524 | 19
827.07/827.24 c 571s | 20 | 1102040 | 767927 | 7008 199 | 1524 | 19
829.06/829.28 c 573s | 20 | 1105330 | 770327 | 7008 200 | 1524 | 19
831.16/831.36 c 575s | 20 | 1108804 | 772627 | 7008 200 | 1524 | 19
833.26/833.47 c 577s | 20 | 1111915 | 775127 | 7008 201 | 1524 | 19
835.36/835.55 c 579s | 20 | 1115028 | 777527 | 7008 201 | 1524 | 19
837.36/837.60 c 581s | 20 | 1117797 | 779727 | 7008 202 | 1524 | 19
839.46/839.69 c 583s | 20 | 1120939 | 782027 | 7008 202 | 1524 | 19
841.56/841.73 c 585s | 20 | 1123950 | 784227 | 7008 203 | 1524 | 19
843.56/843.75 c 587s | 20 | 1126943 | 786527 | 7008 203 | 1524 | 19
845.55/845.79 c 589s | 20 | 1129410 | 788427 | 7008 204 | 1524 | 19
847.65/847.82 c 591s | 20 | 1132920 | 790827 | 7008 204 | 1524 | 19
849.65/849.84 c 593s | 20 | 1135746 | 793027 | 7008 205 | 1524 | 19
851.65/851.88 c 595s | 20 | 1139087 | 795427 | 7008 205 | 1524 | 19
853.65/853.88 c 597s | 20 | 1141959 | 797627 | 7008 206 | 1524 | 19
855.76/855.91 c 599s | 20 | 1145481 | 800027 | 7008 206 | 1524 | 19
857.75/857.95 c 601s | 20 | 1148369 | 802327 | 7008 207 | 1524 | 19
859.75/859.95 c 604s | 20 | 1151139 | 804627 | 7008 207 | 1524 | 19
861.75/861.97 c 606s | 20 | 1154071 | 807027 | 7008 208 | 1524 | 19
863.85/864.02 c 608s | 20 | 1157234 | 809427 | 7008 208 | 1524 | 19
865.85/866.07 c 610s | 20 | 1160101 | 811627 | 7008 209 | 1524 | 19
867.86/868.07 c 612s | 20 | 1162763 | 813727 | 7008 209 | 1524 | 19
869.96/870.15 c 614s | 20 | 1165490 | 815927 | 7008 210 | 1524 | 19
871.95/872.18 c 616s | 20 | 1168453 | 818227 | 7008 210 | 1524 | 19
874.05/874.25 c 618s | 20 | 1171015 | 820327 | 7008 211 | 1524 | 19
876.15/876.34 c 620s | 20 | 1173574 | 822427 | 7008 211 | 1524 | 19
878.25/878.42 c 622s | 20 | 1176014 | 824627 | 7008 212 | 1524 | 19
880.25/880.45 c 624s | 20 | 1178814 | 826827 | 7008 212 | 1524 | 19
882.25/882.47 c 626s | 20 | 1181195 | 828827 | 7008 212 | 1524 | 19
884.36/884.56 c 628s | 20 | 1183767 | 830927 | 7008 213 | 1524 | 19
886.46/886.63 c 630s | 20 | 1186375 | 833127 | 7008 213 | 1524 | 19
888.55/888.70 c 632s | 20 | 1188785 | 835327 | 7008 214 | 1524 | 19
890.55/890.78 c 634s | 20 | 1191270 | 837427 | 7008 214 | 1524 | 19
892.55/892.79 c 636s | 20 | 1193644 | 839427 | 7008 215 | 1524 | 19
894.65/894.88 c 638s | 20 | 1196231 | 841627 | 7008 215 | 1524 | 19
896.75/896.95 c 640s | 20 | 1198862 | 843827 | 7008 216 | 1524 | 19
898.75/898.98 c 643s | 20 | 1202123 | 846227 | 7008 216 | 1524 | 19
900.75/900.99 c 645s | 20 | 1204894 | 848427 | 7008 217 | 1524 | 19
902.85/903.01 c 647s | 20 | 1207565 | 850527 | 7008 217 | 1524 | 19
904.85/905.04 c 649s | 20 | 1210267 | 852627 | 7008 218 | 1524 | 19
906.85/907.07 c 651s | 20 | 1212945 | 854827 | 7008 218 | 1524 | 19
908.85/909.09 c 653s | 20 | 1215729 | 857027 | 7008 218 | 1524 | 19
910.94/911.13 c 655s | 20 | 1218480 | 859227 | 7008 219 | 1524 | 19
912.95/913.13 c 657s | 20 | 1221175 | 861327 | 7008 219 | 1524 | 19
915.05/915.22 c 659s | 20 | 1223948 | 863527 | 7008 220 | 1524 | 19
917.04/917.23 c 661s | 20 | 1226638 | 865627 | 7008 220 | 1524 | 19
919.14/919.30 c 663s | 20 | 1229509 | 867927 | 7008 221 | 1524 | 19
921.14/921.33 c 665s | 20 | 1232386 | 870127 | 7008 221 | 1524 | 19
923.24/923.42 c 667s | 20 | 1235598 | 872427 | 7008 222 | 1524 | 19
925.24/925.45 c 669s | 20 | 1238726 | 874827 | 7008 222 | 1524 | 19
927.25/927.47 c 671s | 20 | 1241765 | 877027 | 7008 223 | 1524 | 19
929.24/929.50 c 673s | 20 | 1244431 | 879127 | 7008 223 | 1524 | 19
931.34/931.54 c 675s | 20 | 1247019 | 881227 | 7008 224 | 1524 | 19
933.34/933.55 c 677s | 20 | 1249795 | 883427 | 7008 224 | 1524 | 19
935.34/935.58 c 679s | 20 | 1252586 | 885627 | 7008 225 | 1524 | 19
937.44/937.66 c 681s | 20 | 1255558 | 887927 | 7008 225 | 1524 | 19
939.44/939.69 c 683s | 20 | 1258299 | 890027 | 7008 226 | 1524 | 19
941.54/941.74 c 685s | 20 | 1260718 | 892127 | 7008 226 | 1524 | 19
943.54/943.79 c 687s | 20 | 1263539 | 894527 | 7008 227 | 1524 | 19
945.64/945.81 c 689s | 20 | 1266446 | 896827 | 7008 227 | 1524 | 19
947.64/947.85 c 691s | 20 | 1269506 | 899127 | 7008 228 | 1524 | 19
949.74/949.93 c 693s | 20 | 1272659 | 901627 | 7008 228 | 1524 | 19
951.83/952.00 c 696s | 20 | 1275823 | 904027 | 7008 229 | 1524 | 19
953.83/954.05 c 698s | 20 | 1279020 | 906527 | 7008 229 | 1524 | 19
955.84/956.09 c 700s | 20 | 1281826 | 908827 | 7008 230 | 1524 | 19
957.94/958.16 c 702s | 20 | 1285355 | 911427 | 7008 230 | 1524 | 19
960.03/960.24 c 704s | 20 | 1288707 | 913827 | 7008 231 | 1524 | 19
962.03/962.27 c 706s | 20 | 1292371 | 916327 | 7008 231 | 1524 | 19
964.13/964.36 c 708s | 20 | 1295499 | 918727 | 7008 232 | 1524 | 19
966.13/966.37 c 710s | 20 | 1298883 | 921127 | 7008 232 | 1524 | 19
968.23/968.41 c 712s | 20 | 1302362 | 923427 | 7008 233 | 1524 | 19
970.23/970.47 c 714s | 20 | 1305731 | 925927 | 7008 233 | 1524 | 19
972.24/972.48 c 716s | 20 | 1309075 | 928127 | 7008 234 | 1524 | 19
974.33/974.52 c 718s | 20 | 1312392 | 930527 | 7008 234 | 1524 | 19
976.43/976.60 c 720s | 20 | 1315773 | 932927 | 7008 235 | 1524 | 19
978.43/978.60 c 722s | 20 | 1318658 | 935027 | 7008 235 | 1524 | 19
980.44/980.64 c 724s | 20 | 1321770 | 937227 | 7008 236 | 1524 | 19
982.44/982.67 c 726s | 20 | 1324797 | 939427 | 7008 236 | 1524 | 19
984.64/984.89 c 728s | 20 | 1327726 | 941627 | 7008 237 | 1524 | 19
986.74/986.92 c 730s | 20 | 1331013 | 944027 | 7008 237 | 1524 | 19
988.74/988.94 c 732s | 20 | 1333810 | 946327 | 7008 238 | 1524 | 19
990.74/990.95 c 734s | 20 | 1337186 | 948827 | 7008 238 | 1524 | 19
992.84/993.01 c 737s | 20 | 1340489 | 951227 | 7008 239 | 1524 | 19
994.84/995.02 c 739s | 20 | 1343334 | 953327 | 7008 239 | 1524 | 19
996.93/997.10 c 741s | 20 | 1346406 | 955727 | 7008 240 | 1524 | 19
998.93/999.14 c 743s | 20 | 1349296 | 957927 | 7008 240 | 1524 | 19
1000.94/1001.14 c 745s | 20 | 1352299 | 960127 | 7008 241 | 1524 | 19
1002.93/1003.15 c 747s | 20 | 1355344 | 962427 | 7008 241 | 1524 | 19
1004.93/1005.18 c 749s | 20 | 1358125 | 964527 | 7008 242 | 1524 | 19
1007.03/1007.22 c 751s | 20 | 1361042 | 966827 | 7008 242 | 1524 | 19
1009.03/1009.29 c 753s | 20 | 1363737 | 969027 | 7008 243 | 1524 | 19
1011.13/1011.36 c 755s | 20 | 1366536 | 971227 | 7008 243 | 1524 | 19
1013.13/1013.36 c 757s | 20 | 1369664 | 973527 | 7008 244 | 1524 | 19
1015.14/1015.39 c 759s | 20 | 1372550 | 975827 | 7008 244 | 1524 | 19
1017.23/1017.42 c 761s | 20 | 1375193 | 977927 | 7008 245 | 1524 | 19
1019.23/1019.45 c 763s | 20 | 1378661 | 980527 | 7008 245 | 1524 | 19
1021.23/1021.47 c 765s | 20 | 1382035 | 983127 | 7008 246 | 1524 | 19
1023.43/1023.68 c 767s | 20 | 1386221 | 986327 | 7008 246 | 1524 | 19
1025.53/1025.75 c 769s | 20 | 1389595 | 989027 | 7008 247 | 1524 | 19
1027.53/1027.78 c 771s | 20 | 1392674 | 991527 | 7008 248 | 1524 | 19
1029.63/1029.81 c 773s | 20 | 1395815 | 994027 | 7709 248 | 1524 | 19
1031.63/1031.89 c 775s | 20 | 1398554 | 996327 | 7709 248 | 1524 | 19
1033.63/1033.89 c 777s | 20 | 1400966 | 998327 | 7709 249 | 1524 | 19
1035.33/1035.59 c 779s | 21 | 1403289 | 1000345 | 7709 249 | 1524 | 19
1037.42/1037.62 c 781s | 21 | 1406089 | 1002145 | 7709 250 | 1524 | 19
1039.43/1039.65 c 783s | 21 | 1408709 | 1004245 | 7709 250 | 1524 | 19
1041.42/1041.67 c 785s | 21 | 1411085 | 1006145 | 7709 250 | 1524 | 19
1043.52/1043.72 c 787s | 21 | 1413734 | 1008145 | 7709 251 | 1524 | 19
1045.62/1045.80 c 789s | 21 | 1417334 | 1010645 | 7709 251 | 1524 | 19
1047.62/1047.86 c 791s | 21 | 1419914 | 1012645 | 7709 252 | 1524 | 19
1049.62/1049.86 c 793s | 21 | 1422549 | 1014645 | 7709 252 | 1524 | 19
1051.62/1051.88 c 795s | 21 | 1425199 | 1016745 | 7709 253 | 1524 | 19
1053.73/1053.98 c 798s | 21 | 1428363 | 1019145 | 7709 253 | 1524 | 19
1055.73/1055.99 c 800s | 21 | 1431111 | 1021145 | 7709 253 | 1524 | 19
1057.83/1058.03 c 802s | 21 | 1433864 | 1023345 | 7709 254 | 1524 | 19
1059.83/1060.04 c 804s | 21 | 1436496 | 1025445 | 7709 254 | 1524 | 19
1061.82/1062.09 c 806s | 21 | 1439484 | 1027545 | 7709 255 | 1524 | 19
1063.92/1064.18 c 808s | 21 | 1442698 | 1029745 | 7709 255 | 1524 | 19
1065.92/1066.19 c 810s | 21 | 1445636 | 1031945 | 7709 256 | 1524 | 19
1068.03/1068.21 c 812s | 21 | 1448680 | 1034245 | 7709 256 | 1524 | 19
1070.02/1070.26 c 814s | 21 | 1451521 | 1036445 | 7709 256 | 1524 | 19
1072.12/1072.32 c 816s | 21 | 1454438 | 1038645 | 7709 257 | 1524 | 19
1074.12/1074.33 c 818s | 21 | 1457475 | 1041045 | 7709 257 | 1524 | 19
1076.22/1076.42 c 820s | 21 | 1460260 | 1043145 | 7709 258 | 1524 | 19
1078.22/1078.48 c 822s | 21 | 1462990 | 1045145 | 7709 258 | 1524 | 19
1080.32/1080.53 c 824s | 21 | 1466300 | 1047445 | 7709 259 | 1524 | 19
1082.42/1082.62 c 826s | 21 | 1469510 | 1049745 | 7709 259 | 1524 | 19
1084.43/1084.69 c 828s | 21 | 1472423 | 1051945 | 7709 260 | 1524 | 19
1086.52/1086.76 c 830s | 21 | 1476121 | 1054145 | 7709 260 | 1524 | 19
1088.62/1088.85 c 832s | 21 | 1479153 | 1056445 | 7709 261 | 1524 | 19
1090.62/1090.86 c 834s | 21 | 1482746 | 1058745 | 7709 261 | 1524 | 19
1092.62/1092.88 c 836s | 21 | 1485497 | 1060845 | 7709 261 | 1524 | 19
1094.72/1094.96 c 839s | 21 | 1488139 | 1062845 | 7709 262 | 1524 | 19
1096.82/1097.05 c 841s | 21 | 1491243 | 1065045 | 7709 262 | 1524 | 19
1098.82/1099.09 c 843s | 21 | 1494177 | 1067245 | 7709 263 | 1524 | 19
1100.82/1101.10 c 845s | 21 | 1497723 | 1069445 | 7709 263 | 1524 | 19
1102.92/1103.10 c 847s | 21 | 1500707 | 1071445 | 7709 263 | 1524 | 19
1104.92/1105.12 c 849s | 21 | 1502926 | 1073345 | 7709 264 | 1524 | 19
1106.92/1107.19 c 851s | 21 | 1506517 | 1075645 | 7709 264 | 1524 | 19
1109.12/1109.31 c 853s | 21 | 1509860 | 1078145 | 7709 265 | 1524 | 19
1111.12/1111.39 c 855s | 21 | 1513157 | 1080545 | 7709 265 | 1524 | 19
1113.22/1113.44 c 857s | 21 | 1516028 | 1082745 | 7709 266 | 1524 | 19
1115.22/1115.44 c 859s | 21 | 1519231 | 1085045 | 7709 266 | 1524 | 19
1117.21/1117.46 c 861s | 21 | 1521822 | 1086945 | 7709 267 | 1524 | 19
1119.21/1119.48 c 863s | 21 | 1525228 | 1089245 | 7709 267 | 1524 | 19
1121.31/1121.55 c 865s | 21 | 1528582 | 1091545 | 7709 268 | 1524 | 19
1123.31/1123.56 c 867s | 21 | 1532102 | 1093945 | 7709 268 | 1524 | 19
1125.41/1125.60 c 869s | 21 | 1534969 | 1096145 | 7709 268 | 1524 | 19
1127.42/1127.66 c 871s | 21 | 1538049 | 1098445 | 7709 269 | 1524 | 19
1129.41/1129.68 c 873s | 21 | 1540910 | 1100545 | 7709 269 | 1524 | 19
1131.51/1131.76 c 875s | 21 | 1542935 | 1102245 | 7709 270 | 1524 | 19
1133.61/1133.84 c 877s | 21 | 1545721 | 1104645 | 7709 270 | 1524 | 19
1135.71/1135.93 c 879s | 21 | 1548079 | 1106745 | 7709 271 | 1524 | 19
1137.81/1138.00 c 882s | 21 | 1550857 | 1108945 | 7709 271 | 1524 | 19
1139.81/1140.04 c 884s | 21 | 1554404 | 1111245 | 7709 271 | 1524 | 19
1141.81/1142.07 c 886s | 21 | 1557410 | 1113345 | 7709 272 | 1524 | 19
1143.82/1144.09 c 888s | 21 | 1561307 | 1115845 | 7709 272 | 1524 | 19
1145.91/1146.12 c 890s | 21 | 1564654 | 1118345 | 7709 273 | 1524 | 19
1148.01/1148.20 c 892s | 21 | 1568516 | 1120845 | 7709 273 | 1524 | 19
1150.01/1150.26 c 894s | 21 | 1571453 | 1123245 | 7709 274 | 1524 | 19
1152.01/1152.26 c 896s | 21 | 1574293 | 1125445 | 7709 274 | 1524 | 19
1154.11/1154.32 c 898s | 21 | 1577609 | 1127645 | 7709 275 | 1524 | 19
1156.11/1156.36 c 900s | 21 | 1580976 | 1129945 | 7709 275 | 1524 | 19
1158.11/1158.36 c 902s | 21 | 1583874 | 1132045 | 7709 276 | 1524 | 19
1160.21/1160.41 c 904s | 21 | 1586609 | 1133945 | 7709 276 | 1524 | 19
1162.21/1162.42 c 906s | 21 | 1588901 | 1135745 | 7709 276 | 1524 | 19
1164.21/1164.48 c 908s | 21 | 1591710 | 1137645 | 7709 277 | 1524 | 19
1166.21/1166.49 c 910s | 21 | 1594454 | 1139945 | 7709 277 | 1524 | 19
1168.30/1168.54 c 912s | 21 | 1597393 | 1142145 | 7709 278 | 1524 | 19
1170.31/1170.59 c 914s | 21 | 1600413 | 1144445 | 7709 278 | 1524 | 19
1172.41/1172.65 c 916s | 21 | 1603130 | 1146545 | 7709 279 | 1524 | 19
1174.50/1174.72 c 918s | 21 | 1606168 | 1148845 | 7709 279 | 1524 | 19
1176.50/1176.78 c 920s | 21 | 1609209 | 1151045 | 7709 279 | 1524 | 19
1178.60/1178.87 c 922s | 21 | 1612265 | 1153445 | 7709 280 | 1524 | 19
1180.60/1180.87 c 924s | 21 | 1614848 | 1155545 | 7709 280 | 1524 | 19
1182.70/1182.95 c 927s | 21 | 1617632 | 1157745 | 7709 281 | 1524 | 19
1184.70/1184.96 c 929s | 21 | 1620614 | 1160045 | 7709 281 | 1524 | 19
1186.71/1186.97 c 931s | 21 | 1623629 | 1162345 | 7709 282 | 1524 | 19
1188.70/1188.99 c 933s | 21 | 1626661 | 1164645 | 7709 282 | 1524 | 19
1190.80/1191.05 c 935s | 21 | 1629066 | 1166645 | 7709 283 | 1524 | 19
1192.90/1193.12 c 937s | 21 | 1631671 | 1168645 | 7709 283 | 1524 | 19
1194.90/1195.13 c 939s | 21 | 1635253 | 1171045 | 7709 283 | 1524 | 19
1196.90/1197.15 c 941s | 21 | 1638241 | 1173245 | 7709 284 | 1524 | 19
1198.91/1199.19 c 943s | 21 | 1641281 | 1175545 | 7709 284 | 1524 | 19
1201.01/1201.22 c 945s | 21 | 1644165 | 1177745 | 7709 285 | 1524 | 19
1203.00/1203.26 c 947s | 21 | 1647004 | 1180045 | 7709 285 | 1524 | 19
1205.10/1205.33 c 949s | 21 | 1650114 | 1182345 | 7709 286 | 1524 | 19
1207.10/1207.38 c 951s | 21 | 1653015 | 1184645 | 7709 286 | 1524 | 19
1209.20/1209.45 c 953s | 21 | 1655704 | 1186745 | 7709 287 | 1524 | 19
1211.20/1211.46 c 955s | 21 | 1658436 | 1189045 | 7709 287 | 1524 | 19
1213.30/1213.51 c 957s | 21 | 1661093 | 1191245 | 7709 288 | 1524 | 19
1215.30/1215.59 c 959s | 21 | 1663551 | 1193345 | 7709 288 | 1524 | 19
1217.40/1217.65 c 961s | 21 | 1666122 | 1195445 | 7709 288 | 1524 | 19
1219.50/1219.70 c 963s | 21 | 1669120 | 1197845 | 7709 289 | 1524 | 19
1221.50/1221.77 c 965s | 21 | 1672255 | 1200345 | 7709 289 | 1524 | 19
1223.60/1223.81 c 967s | 21 | 1675201 | 1202645 | 7709 290 | 1524 | 19
1225.59/1225.87 c 969s | 21 | 1677995 | 1204945 | 7709 290 | 1524 | 19
1227.69/1227.90 c 971s | 21 | 1681139 | 1207245 | 7709 291 | 1524 | 19
1229.70/1229.92 c 973s | 21 | 1684899 | 1209645 | 7709 291 | 1524 | 19
1231.69/1231.95 c 975s | 21 | 1687651 | 1211745 | 7709 292 | 1524 | 19
1233.69/1233.97 c 978s | 21 | 1690961 | 1213945 | 7709 292 | 1524 | 19
1235.79/1236.00 c 980s | 21 | 1694426 | 1216345 | 7709 293 | 1524 | 19
1237.79/1238.05 c 982s | 21 | 1697427 | 1218745 | 7709 293 | 1524 | 19
1239.79/1240.07 c 984s | 21 | 1700001 | 1220945 | 7709 293 | 1524 | 19
1241.89/1242.14 c 986s | 21 | 1702972 | 1223245 | 7709 294 | 1524 | 19
1243.90/1244.15 c 988s | 21 | 1706224 | 1225645 | 7709 294 | 1524 | 19
1245.99/1246.21 c 990s | 21 | 1709118 | 1227945 | 7709 295 | 1524 | 19
1247.99/1248.28 c 992s | 21 | 1712199 | 1230145 | 7709 295 | 1524 | 19
1249.99/1250.29 c 994s | 21 | 1714987 | 1232145 | 7709 296 | 1524 | 19
1252.09/1252.32 c 996s | 21 | 1717839 | 1234345 | 7709 296 | 1524 | 19
1254.09/1254.33 c 998s | 21 | 1720296 | 1236245 | 7709 297 | 1524 | 19
1256.10/1256.37 c 1000s | 21 | 1723143 | 1238345 | 7709 297 | 1524 | 19
1258.20/1258.44 c 1002s | 21 | 1725771 | 1240245 | 7709 297 | 1524 | 19
1260.19/1260.49 c 1004s | 21 | 1728382 | 1242245 | 7709 298 | 1524 | 19
1262.19/1262.49 c 1006s | 21 | 1731189 | 1244445 | 7709 298 | 1524 | 19
1264.39/1264.65 c 1008s | 21 | 1734261 | 1246545 | 7709 299 | 1524 | 19
1266.39/1266.66 c 1010s | 21 | 1736906 | 1248745 | 7709 299 | 1524 | 19
1268.49/1268.75 c 1012s | 21 | 1739804 | 1250945 | 7709 300 | 1524 | 19
1270.59/1270.84 c 1014s | 21 | 1742644 | 1253245 | 7709 300 | 1524 | 19
1272.59/1272.88 c 1016s | 21 | 1745456 | 1255445 | 7709 300 | 1524 | 19
1274.69/1274.95 c 1018s | 21 | 1748323 | 1257645 | 7709 301 | 1524 | 19
1276.79/1277.04 c 1021s | 21 | 1751213 | 1259945 | 7709 301 | 1524 | 19
1278.79/1279.07 c 1023s | 21 | 1753729 | 1261945 | 7709 302 | 1524 | 19
1280.88/1281.12 c 1025s | 21 | 1755937 | 1263745 | 7709 302 | 1524 | 19
1282.88/1283.16 c 1027s | 21 | 1759199 | 1265945 | 7709 303 | 1524 | 19
1284.98/1285.23 c 1029s | 21 | 1762002 | 1268245 | 7709 303 | 1524 | 19
1286.98/1287.28 c 1031s | 21 | 1764638 | 1270445 | 7709 303 | 1524 | 19
1288.99/1289.30 c 1033s | 21 | 1767268 | 1272545 | 7709 304 | 1524 | 19
1291.19/1291.43 c 1035s | 21 | 1769855 | 1274545 | 7709 304 | 1524 | 19
1293.18/1293.46 c 1037s | 21 | 1772206 | 1276445 | 7709 305 | 1524 | 19
1295.18/1295.47 c 1039s | 21 | 1774737 | 1278445 | 7709 305 | 1524 | 19
1297.18/1297.49 c 1041s | 21 | 1777356 | 1280645 | 7709 305 | 1524 | 19
1299.28/1299.55 c 1043s | 21 | 1780539 | 1282845 | 7709 306 | 1524 | 19
1301.28/1301.59 c 1045s | 21 | 1783464 | 1285145 | 7709 306 | 1524 | 19
1303.39/1303.61 c 1047s | 21 | 1786406 | 1287345 | 7709 307 | 1524 | 19
1305.38/1305.69 c 1049s | 21 | 1789436 | 1289645 | 7709 307 | 1524 | 19
1307.48/1307.73 c 1051s | 21 | 1792485 | 1291845 | 7709 308 | 1524 | 19
1309.49/1309.75 c 1053s | 21 | 1795584 | 1294045 | 7709 308 | 1524 | 19
1311.59/1311.81 c 1055s | 21 | 1798807 | 1296245 | 7709 309 | 1524 | 19
1313.58/1313.83 c 1057s | 21 | 1801432 | 1298245 | 7709 309 | 1524 | 19
1315.58/1315.86 c 1059s | 21 | 1804042 | 1300345 | 7709 309 | 1524 | 19
1317.59/1317.88 c 1061s | 21 | 1806707 | 1302245 | 7709 310 | 1524 | 19
1319.68/1319.95 c 1064s | 21 | 1809614 | 1304445 | 7709 310 | 1524 | 19
1321.78/1322.03 c 1066s | 21 | 1812507 | 1306645 | 7709 311 | 1524 | 19
1323.78/1324.04 c 1068s | 21 | 1815758 | 1308945 | 7709 311 | 1524 | 19
1325.87/1326.11 c 1070s | 21 | 1818468 | 1311045 | 7709 312 | 1524 | 19
1327.87/1328.16 c 1072s | 21 | 1821763 | 1313445 | 7709 312 | 1524 | 19
1329.97/1330.27 c 1074s | 21 | 1824733 | 1315645 | 7709 312 | 1524 | 19
1332.07/1332.34 c 1076s | 21 | 1828055 | 1317945 | 7709 313 | 1524 | 19
1334.18/1334.42 c 1078s | 21 | 1831007 | 1320145 | 7709 313 | 1524 | 19
1336.17/1336.43 c 1080s | 21 | 1833664 | 1322145 | 7709 314 | 1524 | 19
1338.16/1338.44 c 1082s | 21 | 1836654 | 1324245 | 7709 314 | 1524 | 19
1340.16/1340.46 c 1084s | 21 | 1839219 | 1326345 | 7709 315 | 1524 | 19
1342.26/1342.52 c 1086s | 21 | 1841790 | 1328445 | 7709 315 | 1524 | 19
1344.26/1344.57 c 1088s | 21 | 1843932 | 1330145 | 7709 315 | 1524 | 19
1346.36/1346.65 c 1090s | 21 | 1846914 | 1332245 | 7709 316 | 1524 | 19
1348.37/1348.69 c 1092s | 21 | 1849930 | 1334345 | 7709 316 | 1524 | 19
1350.46/1350.78 c 1094s | 21 | 1852595 | 1336345 | 7709 317 | 1524 | 19
1352.46/1352.79 c 1096s | 21 | 1855538 | 1338345 | 7709 317 | 1524 | 19
1354.56/1354.80 c 1098s | 21 | 1858416 | 1340245 | 7709 317 | 1524 | 19
1356.55/1356.84 c 1100s | 21 | 1861275 | 1342245 | 7709 318 | 1524 | 19
1358.65/1358.92 c 1102s | 21 | 1864229 | 1344445 | 7709 318 | 1524 | 19
1360.65/1360.94 c 1104s | 21 | 1867032 | 1346345 | 7709 319 | 1524 | 19
1362.66/1362.99 c 1107s | 21 | 1869670 | 1348245 | 7709 319 | 1524 | 19
1364.75/1365.02 c 1109s | 21 | 1872343 | 1350145 | 7709 319 | 1524 | 19
1366.75/1367.09 c 1111s | 21 | 1874920 | 1352045 | 7709 320 | 1524 | 19
1368.85/1369.15 c 1113s | 21 | 1877581 | 1353945 | 7709 320 | 1524 | 19
1370.85/1371.17 c 1115s | 21 | 1879675 | 1355645 | 7709 320 | 1524 | 19
1372.94/1373.24 c 1117s | 21 | 1882535 | 1357945 | 7709 321 | 1524 | 19
1374.94/1375.26 c 1119s | 21 | 1885516 | 1360145 | 7709 321 | 1524 | 19
1376.95/1377.29 c 1121s | 21 | 1888303 | 1362345 | 7709 322 | 1524 | 19
1379.04/1379.31 c 1123s | 21 | 1890822 | 1364445 | 7709 322 | 1524 | 19
1381.04/1381.39 c 1125s | 21 | 1893498 | 1366445 | 7709 323 | 1524 | 19
1383.14/1383.42 c 1127s | 21 | 1896268 | 1368445 | 7709 323 | 1524 | 19
1385.14/1385.44 c 1129s | 21 | 1899370 | 1370745 | 7709 324 | 1524 | 19
1387.13/1387.45 c 1131s | 21 | 1902884 | 1373145 | 7709 324 | 1524 | 19
1389.14/1389.48 c 1133s | 21 | 1906010 | 1375645 | 7709 325 | 1524 | 19
1391.24/1391.53 c 1135s | 21 | 1909096 | 1378045 | 7709 325 | 1524 | 19
1393.33/1393.60 c 1137s | 21 | 1911884 | 1380345 | 7709 325 | 1524 | 19
1395.33/1395.66 c 1139s | 21 | 1914916 | 1382645 | 7709 326 | 1524 | 19
1397.43/1397.72 c 1141s | 21 | 1917884 | 1384945 | 7709 326 | 1524 | 19
1399.43/1399.78 c 1143s | 21 | 1920582 | 1387245 | 7709 327 | 1524 | 19
1401.53/1401.83 c 1145s | 21 | 1923165 | 1389545 | 7709 327 | 1524 | 19
1403.53/1403.83 c 1147s | 21 | 1925574 | 1391545 | 7709 328 | 1524 | 19
1405.53/1405.86 c 1149s | 21 | 1928176 | 1393645 | 7709 328 | 1524 | 19
1407.53/1407.89 c 1151s | 21 | 1930798 | 1395745 | 7709 329 | 1524 | 19
1409.63/1409.97 c 1154s | 21 | 1933864 | 1398145 | 7709 329 | 1524 | 19
1411.72/1412.06 c 1156s | 21 | 1936705 | 1400345 | 7709 329 | 1524 | 19
1413.72/1414.08 c 1158s | 21 | 1939283 | 1402445 | 7709 330 | 1524 | 19
1415.82/1416.17 c 1160s | 21 | 1941882 | 1404745 | 7709 330 | 1524 | 19
1417.92/1418.21 c 1162s | 21 | 1944060 | 1406645 | 7709 331 | 1524 | 19
1419.92/1420.24 c 1164s | 21 | 1946697 | 1408945 | 7709 331 | 1524 | 19
1421.92/1422.28 c 1166s | 21 | 1949641 | 1411245 | 7709 332 | 1524 | 19
1423.92/1424.29 c 1168s | 21 | 1952592 | 1413345 | 7709 332 | 1524 | 19
1426.11/1426.40 c 1170s | 21 | 1955505 | 1415545 | 7709 333 | 1524 | 19
1428.11/1428.44 c 1172s | 21 | 1958465 | 1417845 | 7709 333 | 1524 | 19
1430.11/1430.45 c 1174s | 21 | 1960891 | 1419945 | 7709 333 | 1524 | 19
1432.21/1432.51 c 1176s | 21 | 1963953 | 1422245 | 7709 334 | 1524 | 19
1434.22/1434.55 c 1178s | 21 | 1966551 | 1424345 | 7709 334 | 1524 | 19
1436.21/1436.58 c 1180s | 21 | 1969288 | 1426445 | 7709 335 | 1524 | 19
1438.41/1438.71 c 1182s | 21 | 1972825 | 1429245 | 7709 335 | 1524 | 19
1440.40/1440.72 c 1184s | 21 | 1975463 | 1431445 | 7709 336 | 1524 | 19
1442.40/1442.72 c 1186s | 21 | 1978135 | 1433745 | 7709 336 | 1524 | 19
1444.40/1444.73 c 1188s | 21 | 1980715 | 1435945 | 7709 337 | 1524 | 19
1446.50/1446.81 c 1190s | 21 | 1983583 | 1438145 | 7709 337 | 1524 | 19
1448.51/1448.81 c 1192s | 21 | 1986543 | 1440345 | 7709 337 | 1524 | 19
1450.50/1450.84 c 1194s | 21 | 1989124 | 1442545 | 7709 338 | 1524 | 19
1452.50/1452.88 c 1196s | 21 | 1991581 | 1444645 | 7709 338 | 1524 | 19
1454.50/1454.88 c 1198s | 21 | 1994291 | 1446745 | 7709 339 | 1524 | 19
1456.59/1456.91 c 1200s | 21 | 1997117 | 1448945 | 7709 339 | 1524 | 19
1458.59/1458.95 c 1203s | 21 | 1999538 | 1450945 | 7709 340 | 1524 | 19
1460.69/1461.04 c 1205s | 21 | 2002170 | 1453145 | 7709 340 | 1524 | 19
1462.70/1463.05 c 1207s | 21 | 2004968 | 1455245 | 7709 340 | 1524 | 19
1464.79/1465.10 c 1209s | 21 | 2007223 | 1457145 | 7709 341 | 1524 | 19
1466.79/1467.17 c 1211s | 21 | 2010187 | 1459345 | 7709 341 | 1524 | 19
1468.79/1469.17 c 1213s | 21 | 2012661 | 1461245 | 7709 342 | 1524 | 19
1470.79/1471.19 c 1215s | 21 | 2015465 | 1463345 | 7709 342 | 1524 | 19
1472.90/1473.27 c 1217s | 21 | 2018226 | 1465445 | 7709 343 | 1524 | 19
1475.00/1475.32 c 1219s | 21 | 2021038 | 1467745 | 7709 343 | 1524 | 19
1477.10/1477.41 c 1221s | 21 | 2023893 | 1469945 | 7709 343 | 1524 | 19
1479.09/1479.44 c 1223s | 21 | 2026592 | 1472045 | 7709 344 | 1524 | 19
1481.19/1481.53 c 1225s | 21 | 2029554 | 1474245 | 7709 344 | 1524 | 19
1483.19/1483.56 c 1227s | 21 | 2031996 | 1476345 | 7709 345 | 1524 | 19
1485.19/1485.59 c 1229s | 21 | 2034772 | 1478445 | 7709 345 | 1524 | 19
1487.29/1487.66 c 1231s | 21 | 2037398 | 1480545 | 7709 346 | 1524 | 19
1489.39/1489.74 c 1233s | 21 | 2040267 | 1482845 | 7709 346 | 1524 | 19
1491.49/1491.81 c 1235s | 21 | 2043180 | 1485145 | 7709 346 | 1524 | 19
1493.49/1493.89 c 1237s | 21 | 2045972 | 1487345 | 7709 347 | 1524 | 19
1495.59/1495.92 c 1239s | 21 | 2048712 | 1489545 | 7709 347 | 1524 | 19
1497.58/1497.95 c 1242s | 21 | 2050935 | 1491545 | 8480 348 | 1524 | 19
1499.58/1499.96 c 1244s | 21 | 2053461 | 1493645 | 8480 348 | 1524 | 19
1501.68/1502.01 c 1246s | 21 | 2056054 | 1495845 | 8480 348 | 1524 | 19
1503.68/1504.08 c 1248s | 21 | 2058369 | 1497845 | 8480 349 | 1524 | 19
1505.78/1506.14 c 1250s | 21 | 2060569 | 1499645 | 8480 349 | 1524 | 19
1506.69/1507.05 c 1251s | 22 | 2061838 | 1500622 | 8480 349 | 1524 | 19
1508.68/1509.05 c 1253s | 22 | 2063721 | 1501822 | 8480 350 | 1524 | 19
1510.68/1511.07 c 1255s | 22 | 2065794 | 1503522 | 8480 350 | 1524 | 19
1512.78/1513.11 c 1257s | 22 | 2068883 | 1505822 | 8480 350 | 1524 | 19
1514.88/1515.20 c 1259s | 22 | 2070858 | 1507322 | 8480 351 | 1524 | 19
1516.87/1517.23 c 1261s | 22 | 2072468 | 1508722 | 8480 351 | 1524 | 19
1518.97/1519.31 c 1263s | 22 | 2074861 | 1510522 | 8480 351 | 1524 | 19
1520.98/1521.33 c 1265s | 22 | 2076992 | 1512222 | 8480 351 | 1524 | 19
1523.07/1523.40 c 1267s | 22 | 2079259 | 1514122 | 8480 352 | 1524 | 19
1525.17/1525.51 c 1269s | 22 | 2081287 | 1515822 | 8480 352 | 1524 | 19
1527.26/1527.60 c 1271s | 22 | 2083561 | 1517522 | 8480 352 | 1524 | 19
1529.26/1529.62 c 1273s | 22 | 2085429 | 1519022 | 8480 353 | 1524 | 19
1531.26/1531.66 c 1275s | 22 | 2087386 | 1520622 | 8480 353 | 1524 | 19
1533.26/1533.69 c 1277s | 22 | 2090110 | 1522722 | 8480 353 | 1524 | 19
1535.27/1535.70 c 1279s | 22 | 2092587 | 1524722 | 8480 354 | 1524 | 19
1537.36/1537.77 c 1281s | 22 | 2095224 | 1526922 | 8480 354 | 1524 | 19
1539.67/1540.02 c 1284s | 22 | 2097603 | 1528922 | 8480 355 | 1524 | 19
1541.66/1542.07 c 1286s | 22 | 2100379 | 1531022 | 8480 355 | 1524 | 19
1543.66/1544.08 c 1288s | 22 | 2102925 | 1533122 | 8480 355 | 1524 | 19
1545.66/1546.08 c 1290s | 22 | 2105399 | 1535122 | 8480 356 | 1524 | 19
1547.65/1548.09 c 1292s | 22 | 2108467 | 1537322 | 8480 356 | 1524 | 19
1549.85/1550.20 c 1294s | 22 | 2111241 | 1539522 | 8480 357 | 1524 | 19
1551.86/1552.29 c 1296s | 22 | 2114196 | 1541822 | 8480 357 | 1524 | 19
1553.96/1554.39 c 1298s | 22 | 2117085 | 1544022 | 8480 357 | 1524 | 19
1556.04/1556.41 c 1300s | 22 | 2119717 | 1546122 | 8480 358 | 1524 | 19
1558.04/1558.41 c 1302s | 22 | 2122331 | 1548222 | 8480 358 | 1524 | 19
1560.14/1560.51 c 1304s | 22 | 2124794 | 1550122 | 8480 358 | 1524 | 19
1562.24/1562.63 c 1306s | 22 | 2127708 | 1552322 | 8480 359 | 1524 | 19
1564.24/1564.68 c 1308s | 22 | 2130494 | 1554422 | 8480 359 | 1524 | 19
1566.34/1566.72 c 1310s | 22 | 2132978 | 1556422 | 8480 360 | 1524 | 19
1568.35/1568.74 c 1312s | 22 | 2135655 | 1558422 | 8480 360 | 1524 | 19
1570.44/1570.84 c 1314s | 22 | 2138175 | 1560422 | 8480 360 | 1524 | 19
1572.54/1572.91 c 1316s | 22 | 2140471 | 1562322 | 8480 361 | 1524 | 19
1574.64/1575.04 c 1319s | 22 | 2142954 | 1564422 | 8480 361 | 1524 | 19
1576.73/1577.11 c 1321s | 22 | 2145493 | 1566422 | 8480 362 | 1524 | 19
1578.83/1579.20 c 1323s | 22 | 2148414 | 1568622 | 8480 362 | 1524 | 19
1580.83/1581.26 c 1325s | 22 | 2150976 | 1570622 | 8480 362 | 1524 | 19
1582.83/1583.26 c 1327s | 22 | 2153282 | 1572522 | 8480 363 | 1524 | 19
1584.84/1585.27 c 1329s | 22 | 2156023 | 1574822 | 8480 363 | 1524 | 19
1586.83/1587.30 c 1331s | 22 | 2158042 | 1576322 | 8480 363 | 1524 | 19
1588.93/1589.30 c 1333s | 22 | 2160165 | 1578322 | 8480 364 | 1524 | 19
1590.93/1591.34 c 1335s | 22 | 2162578 | 1580422 | 8480 364 | 1524 | 19
1593.03/1593.46 c 1337s | 22 | 2165270 | 1582522 | 8480 365 | 1524 | 19
1595.23/1595.66 c 1339s | 22 | 2167942 | 1584722 | 8480 365 | 1524 | 19
1597.42/1597.80 c 1341s | 22 | 2170261 | 1586622 | 8480 365 | 1524 | 19
1599.42/1599.88 c 1343s | 22 | 2172654 | 1588522 | 8480 366 | 1524 | 19
1601.52/1601.97 c 1346s | 22 | 2174930 | 1590322 | 8480 366 | 1524 | 19
1603.62/1604.00 c 1348s | 22 | 2177452 | 1592422 | 8480 366 | 1524 | 19
1605.63/1606.04 c 1350s | 22 | 2179791 | 1594322 | 8480 367 | 1524 | 19
1607.62/1608.05 c 1352s | 22 | 2182251 | 1596322 | 8480 367 | 1524 | 19
1609.61/1610.06 c 1354s | 22 | 2184811 | 1598422 | 8480 367 | 1524 | 19
1611.71/1612.15 c 1356s | 22 | 2187384 | 1600522 | 8480 368 | 1524 | 19
1613.91/1614.30 c 1358s | 22 | 2189729 | 1602522 | 8480 368 | 1524 | 19
1615.91/1616.36 c 1360s | 22 | 2192183 | 1604522 | 8480 369 | 1524 | 19
1617.91/1618.39 c 1362s | 22 | 2194792 | 1606522 | 8480 369 | 1524 | 19
1620.02/1620.41 c 1364s | 22 | 2196959 | 1608322 | 8480 369 | 1524 | 19
1622.01/1622.46 c 1366s | 22 | 2198843 | 1609822 | 8480 370 | 1524 | 19
1624.11/1624.52 c 1368s | 22 | 2201308 | 1611522 | 8480 370 | 1524 | 19
1626.11/1626.59 c 1370s | 22 | 2203418 | 1613222 | 8480 370 | 1524 | 19
1628.21/1628.65 c 1372s | 22 | 2205723 | 1614822 | 8480 371 | 1524 | 19
1630.31/1630.73 c 1374s | 22 | 2208155 | 1616722 | 8480 371 | 1524 | 19
1632.31/1632.79 c 1376s | 22 | 2210897 | 1618822 | 8480 371 | 1524 | 19
1634.41/1634.81 c 1378s | 22 | 2213451 | 1620822 | 8480 372 | 1524 | 19
1636.41/1636.83 c 1380s | 22 | 2215886 | 1622822 | 8480 372 | 1524 | 19
1638.40/1638.88 c 1382s | 22 | 2218497 | 1624822 | 8480 372 | 1524 | 19
1640.50/1640.92 c 1384s | 22 | 2221412 | 1627022 | 8480 373 | 1524 | 19
1642.60/1643.01 c 1387s | 22 | 2224011 | 1629122 | 8480 373 | 1524 | 19
1644.60/1645.08 c 1389s | 22 | 2226277 | 1630922 | 8480 374 | 1524 | 19
1646.60/1647.09 c 1391s | 22 | 2228945 | 1632922 | 8480 374 | 1524 | 19
1648.70/1649.17 c 1393s | 22 | 2231542 | 1634822 | 8480 374 | 1524 | 19
1650.80/1651.25 c 1395s | 22 | 2234265 | 1636922 | 8480 375 | 1524 | 19
1652.90/1653.31 c 1397s | 22 | 2236483 | 1638822 | 8480 375 | 1524 | 19
1654.90/1655.33 c 1399s | 22 | 2238573 | 1640622 | 8480 375 | 1524 | 19
1656.89/1657.37 c 1401s | 22 | 2240611 | 1642222 | 8480 376 | 1524 | 19
1658.89/1659.39 c 1403s | 22 | 2243239 | 1644222 | 8480 376 | 1524 | 19
1660.99/1661.40 c 1405s | 22 | 2245587 | 1646122 | 8480 376 | 1524 | 19
1662.99/1663.42 c 1407s | 22 | 2247878 | 1648022 | 8480 377 | 1524 | 19
1665.00/1665.47 c 1409s | 22 | 2250475 | 1650122 | 8480 377 | 1524 | 19
1667.08/1667.50 c 1411s | 22 | 2252774 | 1651822 | 8480 377 | 1524 | 19
1669.08/1669.52 c 1413s | 22 | 2254887 | 1653522 | 8480 378 | 1524 | 19
1671.08/1671.54 c 1415s | 22 | 2256843 | 1655122 | 8480 378 | 1524 | 19
1673.08/1673.58 c 1417s | 22 | 2258999 | 1657022 | 8480 378 | 1524 | 19
1675.18/1675.66 c 1419s | 22 | 2261730 | 1659022 | 8480 379 | 1524 | 19
1677.28/1677.78 c 1421s | 22 | 2264125 | 1660822 | 8480 379 | 1524 | 19
1679.38/1679.84 c 1423s | 22 | 2266202 | 1662522 | 8480 379 | 1524 | 19
1681.48/1681.92 c 1425s | 22 | 2268362 | 1664222 | 8480 380 | 1524 | 19
1683.48/1683.99 c 1428s | 22 | 2270590 | 1665922 | 8480 380 | 1524 | 19
1685.58/1686.09 c 1430s | 22 | 2272803 | 1667722 | 8480 380 | 1524 | 19
1687.67/1688.16 c 1432s | 22 | 2274945 | 1669522 | 8480 381 | 1524 | 19
1689.87/1690.35 c 1434s | 22 | 2277678 | 1671422 | 8480 381 | 1524 | 19
1691.87/1692.37 c 1436s | 22 | 2280306 | 1673622 | 8480 381 | 1524 | 19
1693.87/1694.38 c 1438s | 22 | 2282845 | 1675722 | 8480 382 | 1524 | 19
1695.97/1696.47 c 1440s | 22 | 2285048 | 1677622 | 8480 382 | 1524 | 19
1698.08/1698.56 c 1442s | 22 | 2287304 | 1679422 | 8480 383 | 1524 | 19
1700.17/1700.61 c 1444s | 22 | 2289677 | 1681322 | 8480 383 | 1524 | 19
1702.27/1702.70 c 1446s | 22 | 2292254 | 1683422 | 8480 383 | 1524 | 19
1704.27/1704.73 c 1448s | 22 | 2294523 | 1685222 | 8480 384 | 1524 | 19
1706.26/1706.75 c 1450s | 22 | 2296408 | 1686822 | 8480 384 | 1524 | 19
1708.36/1708.84 c 1452s | 22 | 2298666 | 1688622 | 8480 384 | 1524 | 19
1710.46/1710.98 c 1455s | 22 | 2300707 | 1690422 | 8480 385 | 1524 | 19
1712.56/1713.06 c 1457s | 22 | 2303057 | 1692322 | 8480 385 | 1524 | 19
1714.57/1715.08 c 1459s | 22 | 2305227 | 1694022 | 8480 385 | 1524 | 19
1716.66/1717.16 c 1461s | 22 | 2307149 | 1695622 | 8480 386 | 1524 | 19
1718.76/1719.20 c 1463s | 22 | 2308928 | 1697122 | 8480 386 | 1524 | 19
1720.76/1721.21 c 1465s | 22 | 2310889 | 1698722 | 8480 386 | 1524 | 19
1722.86/1723.34 c 1467s | 22 | 2312958 | 1700422 | 8480 386 | 1524 | 19
1724.96/1725.47 c 1469s | 22 | 2314895 | 1701922 | 8480 387 | 1524 | 19
1727.05/1727.59 c 1471s | 22 | 2316898 | 1703522 | 8480 387 | 1524 | 19
1729.15/1729.65 c 1473s | 22 | 2318962 | 1705122 | 8480 387 | 1524 | 19
1731.25/1731.70 c 1475s | 22 | 2320534 | 1706522 | 8480 388 | 1524 | 19
1733.26/1733.79 c 1477s | 22 | 2322661 | 1708222 | 8480 388 | 1524 | 19
1735.36/1735.88 c 1479s | 22 | 2324295 | 1709622 | 8480 388 | 1524 | 19
1737.45/1737.99 c 1482s | 22 | 2326137 | 1711122 | 8480 388 | 1524 | 19
1739.55/1740.01 c 1484s | 22 | 2328224 | 1712722 | 8480 389 | 1524 | 19
1741.55/1742.07 c 1486s | 22 | 2330453 | 1714522 | 8480 389 | 1524 | 19
1743.65/1744.15 c 1488s | 22 | 2332662 | 1716222 | 8480 389 | 1524 | 19
1745.65/1746.19 c 1490s | 22 | 2334646 | 1717922 | 8480 390 | 1524 | 19
1747.75/1748.25 c 1492s | 22 | 2336982 | 1719722 | 8480 390 | 1524 | 19
1749.85/1750.30 c 1494s | 22 | 2339290 | 1721522 | 8480 390 | 1524 | 19
1751.85/1752.33 c 1496s | 22 | 2341875 | 1723422 | 8480 391 | 1524 | 19
1753.84/1754.35 c 1498s | 22 | 2344347 | 1725222 | 8480 391 | 1524 | 19
1755.94/1756.47 c 1500s | 22 | 2346739 | 1726922 | 8480 391 | 1524 | 19
1758.14/1758.60 c 1502s | 22 | 2348913 | 1728522 | 8480 392 | 1524 | 19
1760.14/1760.60 c 1504s | 22 | 2350793 | 1730022 | 8480 392 | 1524 | 19
1762.14/1762.64 c 1506s | 22 | 2352538 | 1731522 | 8480 392 | 1524 | 19
1764.14/1764.68 c 1508s | 22 | 2354937 | 1733322 | 8480 393 | 1524 | 19
1766.25/1766.78 c 1510s | 22 | 2357675 | 1735322 | 8480 393 | 1524 | 19
1768.24/1768.78 c 1512s | 22 | 2360325 | 1737222 | 8480 393 | 1524 | 19
1770.34/1770.84 c 1514s | 22 | 2362648 | 1738922 | 8480 394 | 1524 | 19
1772.44/1772.96 c 1517s | 22 | 2364895 | 1740622 | 8480 394 | 1524 | 19
1774.44/1774.98 c 1519s | 22 | 2367182 | 1742422 | 8480 394 | 1524 | 19
1776.54/1777.04 c 1521s | 22 | 2369197 | 1743922 | 8480 395 | 1524 | 19
1778.65/1779.15 c 1523s | 22 | 2371553 | 1745922 | 8480 395 | 1524 | 19
1780.65/1781.17 c 1525s | 22 | 2373502 | 1747622 | 8480 395 | 1524 | 19
1782.75/1783.26 c 1527s | 22 | 2375751 | 1749422 | 8480 396 | 1524 | 19
1784.85/1785.34 c 1529s | 22 | 2378020 | 1751122 | 8480 396 | 1524 | 19
1786.85/1787.35 c 1531s | 22 | 2380607 | 1753122 | 8480 396 | 1524 | 19
1788.95/1789.40 c 1533s | 22 | 2382902 | 1755022 | 8480 397 | 1524 | 19
1790.95/1791.45 c 1535s | 22 | 2385770 | 1757122 | 8480 397 | 1524 | 19
1792.94/1793.46 c 1537s | 22 | 2388354 | 1759122 | 8480 397 | 1524 | 19
1795.04/1795.54 c 1539s | 22 | 2391186 | 1761122 | 8480 398 | 1524 | 19
1797.05/1797.56 c 1541s | 22 | 2393951 | 1763322 | 8480 398 | 1524 | 19
1799.04/1799.59 c 1543s | 22 | 2396487 | 1765322 | 8480 399 | 1524 | 19
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-4103249-1466233960/watcher-4103249-1466233960 -o /tmp/evaluation-result-4103249-1466233960/solver-4103249-1466233960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103249-1466233960.opb
pid=18920
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 18923
/proc/meminfo: memFree=28712228/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 2554 0 0 0 0 0 0 0 20 0 4 0 25442671 703000576 2915 33554432000 4194304 16246674 140734711127808 140734711127232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18923/statm: 172399 2924 441 2943 0 169293 0
[pid=18923/tid=18924] ppid=18920 vsize=704956 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 721874944 2986 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 726069248 3001 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=713148 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25442672 730263552 3019 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.100134 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 18923
/proc/meminfo: memFree=28712228/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=1220164 CPUtime=0.08 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 26395 0 0 0 5 3 0 0 20 0 4 0 25442671 1249447936 26695 33554432000 4194304 16246674 140734711127808 140734711127120 12653060 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18923/statm: 305041 26705 830 2943 0 301935 0
[pid=18923/tid=18924] ppid=18920 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 1249447936 26714 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 1249447936 26723 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25442672 1249447936 26731 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164
[startup+0.200551 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 18923
/proc/meminfo: memFree=28712228/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 49980 0 0 0 12 7 0 0 20 0 4 0 25442671 1249447936 50279 33554432000 4194304 16246674 140734711127808 140734711127120 6958465 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18923/statm: 305041 50291 866 2943 0 301935 0
[pid=18923/tid=18924] ppid=18920 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 1249447936 50298 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 1249447936 50305 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25442672 1249447936 50312 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164
[startup+0.300391 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 18923
/proc/meminfo: memFree=28712228/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 72909 0 0 0 19 10 0 0 20 0 4 0 25442671 1249447936 73208 33554432000 4194304 16246674 140734711127808 140734711127120 12449130 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18923/statm: 305041 73224 866 2943 0 301935 0
[pid=18923/tid=18924] ppid=18920 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 1249447936 73233 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 1249447936 73242 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25442672 1249447936 73251 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164
[startup+0.700414 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 18923
/proc/meminfo: memFree=28712228/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 163853 0 0 0 46 23 0 0 20 0 4 0 25442671 1249447936 164152 33554432000 4194304 16246674 140734711127808 140734711127120 12429797 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18923/statm: 305041 164159 866 2943 0 301935 0
[pid=18923/tid=18924] ppid=18920 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 1249447936 164162 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 1249447936 164166 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25442672 1249447936 164169 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164
[startup+1.50042 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 18927
/proc/meminfo: memFree=27717248/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 266560 0 0 0 112 37 0 0 20 0 4 0 25442671 1333334016 266859 33554432000 4194304 16246674 140734711127808 140734711127120 12656096 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18923/statm: 325521 266859 903 2943 0 322415 0
[pid=18923/tid=18924] ppid=18920 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 1333334016 266859 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 1333334016 266859 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 1333334016 266859 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084
[startup+3.10043 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 18927
/proc/meminfo: memFree=27640864/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=1368644 CPUtime=3.09 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 283209 0 0 0 270 39 0 0 20 0 4 0 25442671 1401491456 283508 33554432000 4194304 16246674 140734711127808 140734711109696 12429072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18923/statm: 342161 283508 906 2943 0 339055 0
[pid=18923/tid=18924] ppid=18920 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 1401491456 283508 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 1401491456 283508 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 1401491456 283508 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1368644
[startup+6.30033 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 18927
/proc/meminfo: memFree=27578556/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=1368644 CPUtime=6.29 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 283360 0 0 0 590 39 0 0 20 0 4 0 25442671 1401491456 283659 33554432000 4194304 16246674 140734711127808 140734711109696 12429241 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18923/statm: 342161 283659 906 2943 0 339055 0
[pid=18923/tid=18924] ppid=18920 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 1401491456 283659 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 1401491456 283659 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 1401491456 283659 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1368644
[startup+12.7004 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 18927
/proc/meminfo: memFree=27579472/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=1368644 CPUtime=12.69 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 283365 0 0 0 1230 39 0 0 20 0 4 0 25442671 1401491456 283664 33554432000 4194304 16246674 140734711127808 140734711110800 12653056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18923/statm: 342161 283664 910 2943 0 339055 0
[pid=18923/tid=18924] ppid=18920 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 1401491456 283664 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 1401491456 283664 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 1401491456 283664 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1368644
[startup+25.5005 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 18927
/proc/meminfo: memFree=26491252/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=2455108 CPUtime=25.49 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 554981 0 0 0 2473 76 0 0 20 0 4 0 25442671 2514030592 555280 33554432000 4194304 16246674 140734711127808 140734711125632 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18923/statm: 613777 555280 910 2943 0 610671 0
[pid=18923/tid=18924] ppid=18920 vsize=2455108 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 2514030592 555280 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=2455108 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 2514030592 555280 33554432000 4194304 16246674 140734711127808 140617428474896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=2455108 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 2514030592 555280 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2455108
[startup+51.1005 s]
/proc/loadavg: 2.20 2.20 2.18 4/183 18927
/proc/meminfo: memFree=26741496/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=2205252 CPUtime=51.08 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 1161191 0 0 0 4935 173 0 0 20 0 4 0 25442671 2258178048 492818 33554432000 4194304 16246674 140734711127808 140734711125632 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18923/statm: 551313 492818 911 2943 0 548207 0
[pid=18923/tid=18924] ppid=18920 vsize=2205252 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 2258178048 492818 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=2205252 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 2258178048 492818 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=2205252 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 2258178048 492818 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2205252
[startup+102.3 s]
/proc/loadavg: 2.23 2.21 2.18 4/183 18929
/proc/meminfo: memFree=26349052/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=2595396 CPUtime=102.28 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 1697769 0 0 0 9969 259 0 0 20 0 4 0 25442671 2657685504 590356 33554432000 4194304 16246674 140734711127808 140734711127120 4206688 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18923/statm: 648849 590356 913 2943 0 645743 0
[pid=18923/tid=18924] ppid=18920 vsize=2595396 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 2657685504 590356 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=2595396 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 2657685504 590356 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=2595396 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 2657685504 590356 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2595396
################
# More data... #
################
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 3201604
[startup+1362.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/183 18960
/proc/meminfo: memFree=25737308/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=3201604 CPUtime=1362.05 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 5845285 0 0 0 135276 929 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140734711109696 13780585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18923/statm: 800401 741925 925 2943 0 797295 0
[pid=18923/tid=18924] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 3201604
[startup+1422.3 s]
/proc/loadavg: 2.39 2.29 2.20 3/183 19009
/proc/meminfo: memFree=26383368/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=3201604 CPUtime=1422.02 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 5845316 0 0 0 141273 929 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140734711109696 5711980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18923/statm: 800401 741925 925 2943 0 797295 0
[pid=18923/tid=18924] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 3201604
[startup+1482.3 s]
/proc/loadavg: 2.19 2.25 2.19 3/183 19010
/proc/meminfo: memFree=26383168/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=3201604 CPUtime=1481.99 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 5845354 0 0 0 147269 930 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140734711110808 5722849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18923/statm: 800401 741925 925 2943 0 797295 0
[pid=18923/tid=18924] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 3201604
[startup+1542.31 s]
/proc/loadavg: 2.11 2.21 2.18 3/183 19011
/proc/meminfo: memFree=26383336/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=3201604 CPUtime=1541.96 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 5845387 0 0 0 153266 930 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140734711109696 5712004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18923/statm: 800401 741925 925 2943 0 797295 0
[pid=18923/tid=18924] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 3201604
[startup+1602.3 s]
/proc/loadavg: 2.11 2.19 2.17 3/183 19012
/proc/meminfo: memFree=26383000/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=3201604 CPUtime=1601.92 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 5845428 0 0 0 159261 931 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140734711110800 13780585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18923/statm: 800401 741925 925 2943 0 797295 0
[pid=18923/tid=18924] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 3201604
[startup+1662.3 s]
/proc/loadavg: 2.04 2.15 2.16 3/184 19017
/proc/meminfo: memFree=26383220/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=3201604 CPUtime=1661.89 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 5845457 0 0 0 165258 931 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140734711109696 5711968 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18923/statm: 800401 741925 925 2943 0 797295 0
[pid=18923/tid=18924] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 3201604
[startup+1722.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/183 19018
/proc/meminfo: memFree=26383208/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=3201604 CPUtime=1721.86 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 5845485 0 0 0 171255 931 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140734711109696 5711518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18923/statm: 800401 741925 925 2943 0 797295 0
[pid=18923/tid=18924] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 3201604
[startup+1782.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 19019
/proc/meminfo: memFree=26382880/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=3201604 CPUtime=1781.85 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 5845497 0 0 0 177253 932 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140734711109696 13781168 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18923/statm: 800401 741925 925 2943 0 797295 0
[pid=18923/tid=18924] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 3201604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 19020
/proc/meminfo: memFree=26382724/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=3201604 CPUtime=1800.04 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) R 18920 18923 14522 0 -1 4202496 5845497 0 0 0 179072 932 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140734711109696 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18923/statm: 800401 741925 925 2943 0 797295 0
[pid=18923/tid=18924] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) S 18920 18923 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617438964976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18923/tid=18925] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18925/stat : 18925 (toysat) S 18920 18923 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25442671 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617428475120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18923/tid=18926] ppid=18920 vsize=3201604 CPUtime=0 cores=1,3,5,7
/proc/18923/task/18926/stat : 18926 (toysat) S 18920 18923 14522 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25442672 3278442496 741925 33554432000 4194304 16246674 140734711127808 140617418001584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3201604
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 18923 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 19020
/proc/meminfo: memFree=26382724/32872528 swapFree=1191052/1305516
[pid=18923] ppid=18920 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/18923/stat : 18923 (toysat) Z 18920 18923 14522 0 -1 4203532 5845497 0 0 0 179073 941 0 0 20 0 2 0 25442671 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18923/statm: 0 0 0 0 0 0 0
[pid=18923/tid=18924] ppid=18920 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/18923/task/18924/stat : 18924 (toysat) R 18920 18923 14522 0 -1 4203588 9 0 0 0 0 8 0 0 20 0 2 0 25442671 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.16
CPU user time (s): 1790.73
CPU system time (s): 9.42757
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 7335492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.73
system time used= 9.42757
maximum resident set size= 7101576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5845497
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= 571
involuntary context switches= 1954
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47732 second user time and 7.05293 second system time
The end