0.00/0.00 c 2016-06-07T08:37:20+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-4080017-1465281438.opb"]
0.00/0.01 c use --random-gen="328667514 3415282831 1992810753 3697747642 665435782 347476256 656595231 651677206 126056003 8961140 1258924408 353481559 3489083426 1692613099 652186565 852894812 2846702208 706323369 2301047960 238082742 1316357964 3467505087 3818332903 900492532 3391600081 1785630642 3580045272 1775079901 2338252102 3512487398 3528001145 2508593106 506171334 165564951 3749054198 4171174181 4146063753 1998484813 3705406223 3265205449 2571858051 3037651911 2120358641 2363694361 1669662926 2075340326 1474066210 440184957 3634385099 3259782810 4119375719 3490481877 2705201429 2171897444 1858107191 4136550805 225950782 1043767699 1267220382 2937530712 1224324770 1269437531 1884901375 809186160 2033274771 2034919767 1396108653 3159482652 1311703477 3544366334 1195528617 3460639236 193519453 3695733306 3956821246 1819957474 3006553519 2562722360 860138591 2547060599 3388687441 2318316509 4133224310 2042055139 1345725203 1038316815 839644557 239640750 2961844188 1326284532 2934255856 1266329108 3440814632 1414771386 1469374435 2240879059 817839818 2579858128 1399321854 3045913479 1341251430 1660982958 2654986643 4105805903 2000513099 2311759809 2604806346 596985645 2680588614 2165160270 308451216 678201707 963973331 3230925825 2780095466 1581108173 147921815 2971367903 800631557 2033920894 1727075777 102337990 2059011522 1260554248 186543764 63636046 580372369 225334307 54150286 2679056426 576247381 3241849949 3836659108 2280779149 3328439205 3926238400 1082498974 1675377991 3357718629 3629762179 2998953787 3575687192 4076299826 1757592957 1345255575 1221601851 1324393905 3643474311 5399943 3383719617 3939442105 3924776454 2975475260 629054739 57222317 3057116110 3786320589 3424220442 3659978352 1806484260 1958760023 1425804556 1233193252 1963033747 2404103184 825468718 2114010431 2917271625 1304602705 1319767146 3420662624 1284604649 1941451191 4276901920 1969342434 4021392151 883301264 3552808581 502950298 217861305 3603829126 1264629057 982487530 3444546138 3050920693 4214822206 3320828957 2097275533 555634311 2063096990 4075557165 659185068 817997318 133241561 662648418 638947588 884906552 777957499 3427453174 327044338 3564962039 1451621440 2723047348 1288384774 1407743662 2908592063 737193485 3619972978 2488687666 1310895962 274957544 1945446753 2250407767 150256409 1031625777 1864113927 1650564156 646799127 35417739 4040119362 4029847218 3371545519 3124492606 1410594831 933549795 1381690363 2732426818 2203212930 1958727685 3183378131 476898475 240111790 4026405984 240376872 623268796 2321668501 3517379587 2030943638 1297432654 4130651576 1349886316 3383280618 3828794446 618316302 771552957 315106663 872462712 295787830 2281924858 2784575597 1861334333 1205799328 4076799942 2527616242 1176624862 3034306995 255 362436" option to reproduce the execution
8.99/9.02 c #vars 15008
8.99/9.02 c #constraints 65280
26.39/26.42 c BCD2: Hardening is enabled.
26.39/26.42 c BCD2: BiasedSearch is enabled.
26.39/26.42 c Solving starts ...
26.39/26.42 c ============================[ Search Statistics ]============================
26.39/26.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.39/26.42 c | | | | Limit GC | Var | Constra
26.39/26.42 c =============================================================================
26.39/26.42 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 0
26.78/26.81 c 0.4s | 0 | 15008 | 0 | 26762 0 | 0 | 0
26.78/26.81 c #cpu_time = 0.380s
26.78/26.81 c #wall_clock_time = 0.381s
26.78/26.81 c #decision = 15008
26.78/26.81 c #random_decision = 60
26.78/26.81 c #conflict = 0
26.78/26.81 c #restart = 0
26.78/26.81 o 15008
26.78/26.83 c BCD2: updating upper bound: 15008 -> 15007
26.78/26.88 c BCD2: 0 <= obj <= 15007
26.78/26.88 c BCD2: #cores=0, #unrelaxed=15008, #relaxed=0, #hardened=0
26.78/26.88 c BCD2: #sat=1 #unsat=1 bias=1/2
26.78/26.88 c Solving starts ...
26.78/26.88 c ============================[ Search Statistics ]============================
26.78/26.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.78/26.88 c | | | | Limit GC | Var | Constra
26.78/26.88 c =============================================================================
26.78/26.88 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 0
27.18/27.25 c 0.4s | 0 | 4172 | 0 | 26762 0 | 0 | 0
27.18/27.25 c #cpu_time = 0.366s
27.18/27.25 c #wall_clock_time = 0.367s
27.18/27.25 c #decision = 4172
27.18/27.25 c #random_decision = 0
27.18/27.25 c #conflict = 0
27.18/27.25 c #restart = 0
27.18/27.25 c BCD2: found a new core of size 75: cost of the new core is >=1
27.18/27.25 c lower bound updated to 1
27.18/27.26 c BCD2: 1 <= obj <= 15007
27.18/27.26 c BCD2: #cores=1, #unrelaxed=14933, #relaxed=75, #hardened=0
27.18/27.26 c BCD2: #sat=1 #unsat=2 bias=2/3
27.18/27.26 c Solving starts ...
27.18/27.26 c ============================[ Search Statistics ]============================
27.18/27.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.18/27.26 c | | | | Limit GC | Var | Constra
27.18/27.26 c =============================================================================
27.18/27.26 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 1
27.59/27.63 c 0.4s | 0 | 4099 | 0 | 26762 0 | 0 | 1
27.59/27.63 c #cpu_time = 0.367s
27.59/27.63 c #wall_clock_time = 0.368s
27.59/27.63 c #decision = 4099
27.59/27.63 c #random_decision = 0
27.59/27.63 c #conflict = 0
27.59/27.63 c #restart = 0
27.59/27.63 c BCD2: found a new core of size 75: cost of the new core is >=1
27.59/27.63 c lower bound updated to 2
27.59/27.65 c BCD2: 2 <= obj <= 15007
27.59/27.65 c BCD2: #cores=2, #unrelaxed=14858, #relaxed=150, #hardened=0
27.59/27.65 c BCD2: #sat=1 #unsat=3 bias=3/4
27.59/27.65 c Solving starts ...
27.59/27.65 c ============================[ Search Statistics ]============================
27.59/27.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.59/27.65 c | | | | Limit GC | Var | Constra
27.59/27.65 c =============================================================================
27.59/27.65 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 2
27.98/28.02 c 0.4s | 0 | 4026 | 0 | 26762 0 | 0 | 2
27.98/28.02 c #cpu_time = 0.368s
27.98/28.02 c #wall_clock_time = 0.369s
27.98/28.02 c #decision = 4026
27.98/28.02 c #random_decision = 0
27.98/28.02 c #conflict = 0
27.98/28.02 c #restart = 0
27.98/28.02 c BCD2: found a new core of size 75: cost of the new core is >=1
27.98/28.02 c lower bound updated to 3
27.98/28.04 c BCD2: 3 <= obj <= 15007
27.98/28.04 c BCD2: #cores=3, #unrelaxed=14783, #relaxed=225, #hardened=0
27.98/28.04 c BCD2: #sat=1 #unsat=4 bias=4/5
27.98/28.04 c Solving starts ...
27.98/28.04 c ============================[ Search Statistics ]============================
27.98/28.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.98/28.04 c | | | | Limit GC | Var | Constra
27.98/28.04 c =============================================================================
27.98/28.04 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 3
28.38/28.41 c 0.4s | 0 | 3953 | 0 | 26762 0 | 0 | 3
28.38/28.41 c #cpu_time = 0.366s
28.38/28.41 c #wall_clock_time = 0.367s
28.38/28.41 c #decision = 3953
28.38/28.41 c #random_decision = 0
28.38/28.41 c #conflict = 0
28.38/28.41 c #restart = 0
28.38/28.41 c BCD2: found a new core of size 75: cost of the new core is >=1
28.38/28.41 c lower bound updated to 4
28.38/28.43 c BCD2: 4 <= obj <= 15007
28.38/28.43 c BCD2: #cores=4, #unrelaxed=14708, #relaxed=300, #hardened=0
28.38/28.43 c BCD2: #sat=1 #unsat=5 bias=5/6
28.38/28.43 c Solving starts ...
28.38/28.43 c ============================[ Search Statistics ]============================
28.38/28.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.38/28.43 c | | | | Limit GC | Var | Constra
28.38/28.43 c =============================================================================
28.38/28.43 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 4
28.78/28.80 c 0.4s | 0 | 8052 | 0 | 26762 0 | 0 | 4
28.78/28.80 c #cpu_time = 0.369s
28.78/28.80 c #wall_clock_time = 0.370s
28.78/28.80 c #decision = 8052
28.78/28.80 c #random_decision = 0
28.78/28.80 c #conflict = 0
28.78/28.80 c #restart = 0
28.78/28.80 c BCD2: found a new core of size 75: cost of the new core is >=1
28.78/28.80 c lower bound updated to 5
28.78/28.82 c BCD2: 5 <= obj <= 15007
28.78/28.82 c BCD2: #cores=5, #unrelaxed=14633, #relaxed=375, #hardened=0
28.78/28.82 c BCD2: #sat=1 #unsat=6 bias=6/7
28.78/28.82 c Solving starts ...
28.78/28.82 c ============================[ Search Statistics ]============================
28.78/28.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.78/28.82 c | | | | Limit GC | Var | Constra
28.78/28.82 c =============================================================================
28.78/28.82 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 5
29.08/29.19 c 0.4s | 0 | 7979 | 0 | 26762 0 | 0 | 5
29.08/29.19 c #cpu_time = 0.369s
29.08/29.19 c #wall_clock_time = 0.370s
29.08/29.19 c #decision = 7979
29.08/29.19 c #random_decision = 0
29.08/29.19 c #conflict = 0
29.08/29.19 c #restart = 0
29.08/29.19 c BCD2: found a new core of size 75: cost of the new core is >=1
29.08/29.19 c lower bound updated to 6
29.18/29.21 c BCD2: 6 <= obj <= 15007
29.18/29.21 c BCD2: #cores=6, #unrelaxed=14558, #relaxed=450, #hardened=0
29.18/29.21 c BCD2: #sat=1 #unsat=7 bias=7/8
29.18/29.21 c Solving starts ...
29.18/29.21 c ============================[ Search Statistics ]============================
29.18/29.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.18/29.21 c | | | | Limit GC | Var | Constra
29.18/29.21 c =============================================================================
29.18/29.21 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 6
29.48/29.59 c 0.4s | 0 | 7906 | 0 | 26762 0 | 0 | 6
29.48/29.59 c #cpu_time = 0.369s
29.48/29.59 c #wall_clock_time = 0.370s
29.48/29.59 c #decision = 7906
29.48/29.59 c #random_decision = 0
29.48/29.59 c #conflict = 0
29.48/29.59 c #restart = 0
29.48/29.59 c BCD2: found a new core of size 75: cost of the new core is >=1
29.48/29.59 c lower bound updated to 7
29.58/29.60 c BCD2: 7 <= obj <= 15007
29.58/29.60 c BCD2: #cores=7, #unrelaxed=14483, #relaxed=525, #hardened=0
29.58/29.60 c BCD2: #sat=1 #unsat=8 bias=8/9
29.58/29.61 c Solving starts ...
29.58/29.61 c ============================[ Search Statistics ]============================
29.58/29.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.58/29.61 c | | | | Limit GC | Var | Constra
29.58/29.61 c =============================================================================
29.58/29.61 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 7
29.88/29.98 c 0.4s | 0 | 7833 | 0 | 26762 0 | 0 | 7
29.88/29.98 c #cpu_time = 0.370s
29.88/29.98 c #wall_clock_time = 0.371s
29.88/29.98 c #decision = 7833
29.88/29.98 c #random_decision = 0
29.88/29.98 c #conflict = 0
29.88/29.98 c #restart = 0
29.88/29.98 c BCD2: found a new core of size 75: cost of the new core is >=1
29.88/29.98 c lower bound updated to 8
29.98/30.00 c BCD2: 8 <= obj <= 15007
29.98/30.00 c BCD2: #cores=8, #unrelaxed=14408, #relaxed=600, #hardened=0
29.98/30.00 c BCD2: #sat=1 #unsat=9 bias=9/10
29.98/30.00 c Solving starts ...
29.98/30.00 c ============================[ Search Statistics ]============================
29.98/30.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.98/30.00 c | | | | Limit GC | Var | Constra
29.98/30.00 c =============================================================================
29.98/30.00 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 8
30.29/30.38 c 0.4s | 0 | 13216 | 0 | 26762 0 | 0 | 8
30.29/30.38 c #cpu_time = 0.375s
30.29/30.38 c #wall_clock_time = 0.376s
30.29/30.38 c #decision = 13216
30.29/30.38 c #random_decision = 0
30.29/30.38 c #conflict = 0
30.29/30.38 c #restart = 0
30.29/30.38 c BCD2: found a new core of size 73: cost of the new core is >=1
30.29/30.38 c lower bound updated to 9
30.39/30.40 c BCD2: 9 <= obj <= 15007
30.39/30.40 c BCD2: #cores=9, #unrelaxed=14335, #relaxed=673, #hardened=0
30.39/30.40 c BCD2: #sat=1 #unsat=10 bias=10/11
30.39/30.40 c Solving starts ...
30.39/30.40 c ============================[ Search Statistics ]============================
30.39/30.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
30.39/30.40 c | | | | Limit GC | Var | Constra
30.39/30.40 c =============================================================================
30.39/30.40 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 9
30.69/30.78 c 0.4s | 0 | 13145 | 0 | 26762 0 | 0 | 9
30.69/30.78 c #cpu_time = 0.374s
30.69/30.78 c #wall_clock_time = 0.375s
30.69/30.78 c #decision = 13145
30.69/30.78 c #random_decision = 0
30.69/30.78 c #conflict = 0
30.69/30.78 c #restart = 0
30.69/30.78 c BCD2: found a new core of size 73: cost of the new core is >=1
30.69/30.78 c lower bound updated to 10
30.69/30.80 c BCD2: 10 <= obj <= 15007
30.69/30.80 c BCD2: #cores=10, #unrelaxed=14262, #relaxed=746, #hardened=0
30.69/30.80 c BCD2: #sat=1 #unsat=11 bias=11/12
30.69/30.80 c Solving starts ...
30.69/30.80 c ============================[ Search Statistics ]============================
30.69/30.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
30.69/30.80 c | | | | Limit GC | Var | Constra
30.69/30.80 c =============================================================================
30.69/30.80 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 10
31.08/31.18 c 0.4s | 0 | 13076 | 0 | 26762 0 | 0 | 10
31.08/31.18 c #cpu_time = 0.374s
31.08/31.18 c #wall_clock_time = 0.375s
31.08/31.18 c #decision = 13076
31.08/31.18 c #random_decision = 0
31.08/31.18 c #conflict = 0
31.08/31.18 c #restart = 0
31.08/31.18 c BCD2: found a new core of size 73: cost of the new core is >=1
31.08/31.18 c lower bound updated to 11
31.08/31.20 c BCD2: 11 <= obj <= 15007
31.08/31.20 c BCD2: #cores=11, #unrelaxed=14189, #relaxed=819, #hardened=0
31.08/31.20 c BCD2: #sat=1 #unsat=12 bias=12/13
31.18/31.20 c Solving starts ...
31.18/31.20 c ============================[ Search Statistics ]============================
31.18/31.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
31.18/31.20 c | | | | Limit GC | Var | Constra
31.18/31.20 c =============================================================================
31.18/31.20 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 11
31.48/31.58 c 0.4s | 0 | 13005 | 0 | 26762 0 | 0 | 11
31.48/31.58 c #cpu_time = 0.374s
31.48/31.58 c #wall_clock_time = 0.375s
31.48/31.58 c #decision = 13005
31.48/31.58 c #random_decision = 0
31.48/31.58 c #conflict = 0
31.48/31.58 c #restart = 0
31.48/31.58 c BCD2: found a new core of size 73: cost of the new core is >=1
31.48/31.58 c lower bound updated to 12
31.48/31.59 c BCD2: 12 <= obj <= 15007
31.48/31.59 c BCD2: #cores=12, #unrelaxed=14116, #relaxed=892, #hardened=0
31.48/31.59 c BCD2: #sat=1 #unsat=13 bias=13/14
31.48/31.60 c Solving starts ...
31.48/31.60 c ============================[ Search Statistics ]============================
31.48/31.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
31.48/31.60 c | | | | Limit GC | Var | Constra
31.48/31.60 c =============================================================================
31.58/31.60 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 12
31.89/31.98 c 0.4s | 0 | 13313 | 0 | 26762 0 | 0 | 12
31.89/31.98 c #cpu_time = 0.376s
31.89/31.98 c #wall_clock_time = 0.377s
31.89/31.98 c #decision = 13313
31.89/31.98 c #random_decision = 0
31.89/31.98 c #conflict = 0
31.89/31.98 c #restart = 0
31.89/31.98 c BCD2: found a new core of size 77: cost of the new core is >=1
31.89/31.98 c lower bound updated to 13
31.89/31.99 c BCD2: 13 <= obj <= 15007
31.89/31.99 c BCD2: #cores=13, #unrelaxed=14039, #relaxed=969, #hardened=0
31.89/31.99 c BCD2: #sat=1 #unsat=14 bias=14/15
31.89/32.00 c Solving starts ...
31.89/32.00 c ============================[ Search Statistics ]============================
31.89/32.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
31.89/32.00 c | | | | Limit GC | Var | Constra
31.89/32.00 c =============================================================================
31.89/32.00 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 13
32.28/32.38 c 0.4s | 0 | 13243 | 0 | 26762 0 | 0 | 13
32.28/32.38 c #cpu_time = 0.373s
32.28/32.38 c #wall_clock_time = 0.374s
32.28/32.38 c #decision = 13243
32.28/32.38 c #random_decision = 0
32.28/32.38 c #conflict = 0
32.28/32.38 c #restart = 0
32.28/32.38 c BCD2: found a new core of size 86: cost of the new core is >=1
32.28/32.38 c lower bound updated to 14
32.28/32.39 c BCD2: 14 <= obj <= 15007
32.28/32.39 c BCD2: #cores=14, #unrelaxed=13953, #relaxed=1055, #hardened=0
32.28/32.39 c BCD2: #sat=1 #unsat=15 bias=15/16
32.28/32.40 c Solving starts ...
32.28/32.40 c ============================[ Search Statistics ]============================
32.28/32.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
32.28/32.40 c | | | | Limit GC | Var | Constra
32.28/32.40 c =============================================================================
32.28/32.40 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 14
32.68/32.77 c 0.4s | 0 | 13536 | 0 | 26762 0 | 0 | 14
32.68/32.77 c #cpu_time = 0.373s
32.68/32.77 c #wall_clock_time = 0.374s
32.68/32.77 c #decision = 13536
32.68/32.77 c #random_decision = 0
32.68/32.77 c #conflict = 0
32.68/32.77 c #restart = 0
32.68/32.77 c BCD2: found a new core of size 77: cost of the new core is >=1
32.68/32.77 c lower bound updated to 15
32.68/32.79 c BCD2: 15 <= obj <= 15007
32.68/32.79 c BCD2: #cores=15, #unrelaxed=13876, #relaxed=1132, #hardened=0
32.68/32.79 c BCD2: #sat=1 #unsat=16 bias=16/17
32.68/32.79 c Solving starts ...
32.68/32.79 c ============================[ Search Statistics ]============================
32.68/32.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
32.68/32.79 c | | | | Limit GC | Var | Constra
32.68/32.79 c =============================================================================
32.68/32.79 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 15
33.09/33.17 c 0.4s | 0 | 13571 | 0 | 26762 0 | 0 | 15
33.09/33.17 c #cpu_time = 0.377s
33.09/33.17 c #wall_clock_time = 0.378s
33.09/33.17 c #decision = 13571
33.09/33.17 c #random_decision = 0
33.09/33.17 c #conflict = 0
33.09/33.17 c #restart = 0
33.09/33.17 c BCD2: found a new core of size 76: cost of the new core is >=1
33.09/33.17 c lower bound updated to 16
33.09/33.19 c BCD2: 16 <= obj <= 15007
33.09/33.19 c BCD2: #cores=16, #unrelaxed=13800, #relaxed=1208, #hardened=0
33.09/33.19 c BCD2: #sat=1 #unsat=17 bias=17/18
33.09/33.19 c Solving starts ...
33.09/33.19 c ============================[ Search Statistics ]============================
33.09/33.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
33.09/33.19 c | | | | Limit GC | Var | Constra
33.09/33.19 c =============================================================================
33.09/33.19 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 16
33.49/33.57 c 0.4s | 0 | 13500 | 0 | 26762 0 | 0 | 16
33.49/33.57 c #cpu_time = 0.372s
33.49/33.57 c #wall_clock_time = 0.373s
33.49/33.57 c #decision = 13500
33.49/33.57 c #random_decision = 0
33.49/33.57 c #conflict = 0
33.49/33.57 c #restart = 0
33.49/33.57 c BCD2: found a new core of size 76: cost of the new core is >=1
33.49/33.57 c lower bound updated to 17
33.49/33.59 c BCD2: 17 <= obj <= 15007
33.49/33.59 c BCD2: #cores=17, #unrelaxed=13724, #relaxed=1284, #hardened=0
33.49/33.59 c BCD2: #sat=1 #unsat=18 bias=18/19
33.49/33.59 c Solving starts ...
33.49/33.59 c ============================[ Search Statistics ]============================
33.49/33.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
33.49/33.59 c | | | | Limit GC | Var | Constra
33.49/33.59 c =============================================================================
33.49/33.59 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 17
33.89/33.97 c 0.4s | 0 | 13549 | 0 | 26762 0 | 0 | 17
33.89/33.97 c #cpu_time = 0.376s
33.89/33.97 c #wall_clock_time = 0.377s
33.89/33.97 c #decision = 13549
33.89/33.97 c #random_decision = 0
33.89/33.97 c #conflict = 0
33.89/33.97 c #restart = 0
33.89/33.97 c BCD2: found a new core of size 76: cost of the new core is >=1
33.89/33.97 c lower bound updated to 18
33.89/33.99 c BCD2: 18 <= obj <= 15007
33.89/33.99 c BCD2: #cores=18, #unrelaxed=13648, #relaxed=1360, #hardened=0
33.89/33.99 c BCD2: #sat=1 #unsat=19 bias=19/20
33.89/33.99 c Solving starts ...
33.89/33.99 c ============================[ Search Statistics ]============================
33.89/33.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
33.89/33.99 c | | | | Limit GC | Var | Constra
33.89/33.99 c =============================================================================
33.89/33.99 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 18
34.28/34.37 c 0.4s | 0 | 13493 | 0 | 26762 0 | 0 | 18
34.28/34.37 c #cpu_time = 0.374s
34.28/34.37 c #wall_clock_time = 0.375s
34.28/34.37 c #decision = 13493
34.28/34.37 c #random_decision = 0
34.28/34.37 c #conflict = 0
34.28/34.37 c #restart = 0
34.28/34.37 c BCD2: found a new core of size 76: cost of the new core is >=1
34.28/34.37 c lower bound updated to 19
34.28/34.39 c BCD2: 19 <= obj <= 15007
34.28/34.39 c BCD2: #cores=19, #unrelaxed=13572, #relaxed=1436, #hardened=0
34.28/34.39 c BCD2: #sat=1 #unsat=20 bias=20/21
34.28/34.39 c Solving starts ...
34.28/34.39 c ============================[ Search Statistics ]============================
34.28/34.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
34.28/34.39 c | | | | Limit GC | Var | Constra
34.28/34.39 c =============================================================================
34.28/34.39 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 19
34.68/34.78 c 0.4s | 0 | 13543 | 0 | 26762 0 | 0 | 19
34.68/34.78 c #cpu_time = 0.384s
34.68/34.78 c #wall_clock_time = 0.385s
34.68/34.78 c #decision = 13543
34.68/34.78 c #random_decision = 0
34.68/34.78 c #conflict = 0
34.68/34.78 c #restart = 0
34.68/34.78 c BCD2: found a new core of size 69: cost of the new core is >=1
34.68/34.78 c lower bound updated to 20
34.68/34.80 c BCD2: 20 <= obj <= 15007
34.68/34.80 c BCD2: #cores=20, #unrelaxed=13503, #relaxed=1505, #hardened=0
34.68/34.80 c BCD2: #sat=1 #unsat=21 bias=21/22
34.78/34.80 c Solving starts ...
34.78/34.80 c ============================[ Search Statistics ]============================
34.78/34.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
34.78/34.80 c | | | | Limit GC | Var | Constra
34.78/34.80 c =============================================================================
34.78/34.80 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 20
35.08/35.17 c 0.4s | 0 | 13478 | 0 | 26762 0 | 0 | 20
35.08/35.17 c #cpu_time = 0.373s
35.08/35.17 c #wall_clock_time = 0.374s
35.08/35.17 c #decision = 13478
35.08/35.17 c #random_decision = 0
35.08/35.17 c #conflict = 0
35.08/35.17 c #restart = 0
35.08/35.18 c BCD2: found a new core of size 73: cost of the new core is >=1
35.08/35.18 c lower bound updated to 21
35.08/35.19 c BCD2: 21 <= obj <= 15007
35.08/35.19 c BCD2: #cores=21, #unrelaxed=13430, #relaxed=1578, #hardened=0
35.08/35.19 c BCD2: #sat=1 #unsat=22 bias=22/23
35.08/35.19 c Solving starts ...
35.08/35.19 c ============================[ Search Statistics ]============================
35.08/35.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
35.08/35.19 c | | | | Limit GC | Var | Constra
35.08/35.19 c =============================================================================
35.08/35.19 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 21
35.49/35.59 c 0.4s | 0 | 13424 | 0 | 26762 0 | 0 | 21
35.49/35.59 c #cpu_time = 0.388s
35.49/35.59 c #wall_clock_time = 0.389s
35.49/35.59 c #decision = 13424
35.49/35.59 c #random_decision = 0
35.49/35.59 c #conflict = 0
35.49/35.59 c #restart = 0
35.49/35.59 c BCD2: found a new core of size 71: cost of the new core is >=1
35.49/35.59 c lower bound updated to 22
35.59/35.60 c BCD2: 22 <= obj <= 15007
35.59/35.60 c BCD2: #cores=22, #unrelaxed=13359, #relaxed=1649, #hardened=0
35.59/35.60 c BCD2: #sat=1 #unsat=23 bias=23/24
35.59/35.61 c Solving starts ...
35.59/35.61 c ============================[ Search Statistics ]============================
35.59/35.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
35.59/35.61 c | | | | Limit GC | Var | Constra
35.59/35.61 c =============================================================================
35.59/35.61 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 22
35.99/36.02 c 0.4s | 0 | 13376 | 0 | 26762 0 | 0 | 22
35.99/36.02 c #cpu_time = 0.403s
35.99/36.02 c #wall_clock_time = 0.404s
35.99/36.02 c #decision = 13376
35.99/36.02 c #random_decision = 0
35.99/36.02 c #conflict = 0
35.99/36.02 c #restart = 0
35.99/36.02 c BCD2: found a new core of size 67: cost of the new core is >=1
35.99/36.02 c lower bound updated to 23
35.99/36.03 c BCD2: 23 <= obj <= 15007
35.99/36.03 c BCD2: #cores=23, #unrelaxed=13292, #relaxed=1716, #hardened=0
35.99/36.03 c BCD2: #sat=1 #unsat=24 bias=24/25
35.99/36.04 c Solving starts ...
35.99/36.04 c ============================[ Search Statistics ]============================
35.99/36.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
35.99/36.04 c | | | | Limit GC | Var | Constra
35.99/36.04 c =============================================================================
35.99/36.04 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 23
36.39/36.43 c 0.4s | 0 | 13312 | 0 | 26762 0 | 0 | 23
36.39/36.43 c #cpu_time = 0.380s
36.39/36.43 c #wall_clock_time = 0.381s
36.39/36.43 c #decision = 13312
36.39/36.43 c #random_decision = 0
36.39/36.43 c #conflict = 0
36.39/36.43 c #restart = 0
36.39/36.43 c BCD2: found a new core of size 67: cost of the new core is >=1
36.39/36.43 c lower bound updated to 24
36.39/36.44 c BCD2: 24 <= obj <= 15007
36.39/36.44 c BCD2: #cores=24, #unrelaxed=13225, #relaxed=1783, #hardened=0
36.39/36.44 c BCD2: #sat=1 #unsat=25 bias=25/26
36.39/36.45 c Solving starts ...
36.39/36.45 c ============================[ Search Statistics ]============================
36.39/36.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
36.39/36.45 c | | | | Limit GC | Var | Constra
36.39/36.45 c =============================================================================
36.39/36.45 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 24
36.78/36.83 c 0.4s | 0 | 13247 | 0 | 26762 0 | 0 | 24
36.78/36.83 c #cpu_time = 0.377s
36.78/36.83 c #wall_clock_time = 0.378s
36.78/36.83 c #decision = 13247
36.78/36.83 c #random_decision = 0
36.78/36.83 c #conflict = 0
36.78/36.83 c #restart = 0
36.78/36.83 c BCD2: found a new core of size 85: cost of the new core is >=1
36.78/36.83 c lower bound updated to 25
36.78/36.85 c BCD2: 25 <= obj <= 15007
36.78/36.85 c BCD2: #cores=25, #unrelaxed=13140, #relaxed=1868, #hardened=0
36.78/36.85 c BCD2: #sat=1 #unsat=26 bias=26/27
36.78/36.85 c Solving starts ...
36.78/36.85 c ============================[ Search Statistics ]============================
36.78/36.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
36.78/36.85 c | | | | Limit GC | Var | Constra
36.78/36.85 c =============================================================================
36.78/36.85 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 25
37.18/37.23 c 0.4s | 0 | 13164 | 0 | 26762 0 | 0 | 25
37.18/37.23 c #cpu_time = 0.377s
37.18/37.23 c #wall_clock_time = 0.378s
37.18/37.23 c #decision = 13164
37.18/37.23 c #random_decision = 0
37.18/37.23 c #conflict = 0
37.18/37.23 c #restart = 0
37.18/37.23 c BCD2: found a new core of size 67: cost of the new core is >=1
37.18/37.23 c lower bound updated to 26
37.18/37.25 c BCD2: 26 <= obj <= 15007
37.18/37.25 c BCD2: #cores=26, #unrelaxed=13073, #relaxed=1935, #hardened=0
37.18/37.25 c BCD2: #sat=1 #unsat=27 bias=27/28
37.18/37.25 c Solving starts ...
37.18/37.25 c ============================[ Search Statistics ]============================
37.18/37.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
37.18/37.25 c | | | | Limit GC | Var | Constra
37.18/37.25 c =============================================================================
37.18/37.25 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 26
37.58/37.67 c 0.4s | 0 | 15018 | 0 | 26762 0 | 0 | 26
37.58/37.67 c #cpu_time = 0.409s
37.58/37.67 c #wall_clock_time = 0.410s
37.58/37.67 c #decision = 15018
37.58/37.67 c #random_decision = 2
37.58/37.67 c #conflict = 0
37.58/37.67 c #restart = 0
37.58/37.67 o 153
37.58/37.68 c BCD2: updating upper bound: 15007 -> 152
37.68/37.75 c BCD2: 26 <= obj <= 152
37.68/37.75 c BCD2: #cores=26, #unrelaxed=13073, #relaxed=1935, #hardened=0
37.68/37.75 c BCD2: #sat=2 #unsat=27 bias=27/29
37.68/37.76 c Solving starts ...
37.68/37.76 c ============================[ Search Statistics ]============================
37.68/37.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
37.68/37.76 c | | | | Limit GC | Var | Constra
37.68/37.76 c =============================================================================
37.68/37.76 c 0.0s | 0 | 0 | 0 | 26762 0 | 0 | 27
38.19/38.26 c 0.5s | 1 | 13793 | 100 | 26762 0 | 0 | 27
38.68/38.78 c 1.0s | 2 | 27353 | 250 | 29439 0 | 0 | 27
39.28/39.37 c 1.6s | 3 | 41162 | 475 | 32383 0 | 0 | 27
39.99/40.02 c 2.3s | 4 | 55377 | 813 | 35622 0 | 0 | 27
40.88/40.92 c 3.2s | 5 | 69977 | 1320 | 39185 0 | 0 | 27
42.98/43.01 c 5.3s | 5 | 84337 | 1820 | 43104 0 | 0 | 27
43.48/43.53 c 5.8s | 6 | 84816 | 2081 | 47415 0 | 0 | 27
45.29/45.32 c 7.6s | 7 | 100883 | 3223 | 52157 0 | 0 | 27
47.39/47.43 c 9.7s | 7 | 117054 | 4623 | 52157 0 | 0 | 27
47.98/48.07 c 10.3s | 8 | 117664 | 4936 | 57373 0 | 0 | 27
50.08/50.12 c 12.4s | 8 | 133657 | 6236 | 57373 0 | 0 | 27
52.18/52.23 c 14.5s | 9 | 135757 | 7506 | 63111 0 | 0 | 27
54.28/54.34 c 16.6s | 9 | 151623 | 8606 | 63111 0 | 0 | 27
56.28/56.36 c 18.6s | 9 | 153594 | 9706 | 63111 0 | 0 | 27
58.39/58.45 c 20.7s | 9 | 154912 | 10506 | 63111 0 | 0 | 27
59.88/59.96 c 22.2s | 10 | 156794 | 11361 | 69423 0 | 0 | 27
62.18/62.21 c 24.5s | 10 | 170895 | 11961 | 69423 0 | 0 | 27
64.18/64.27 c 26.5s | 10 | 172437 | 12861 | 69423 0 | 0 | 27
66.48/66.54 c 28.8s | 10 | 173442 | 13461 | 69423 0 | 0 | 27
68.78/68.87 c 31.1s | 10 | 174418 | 14061 | 69423 0 | 0 | 27
71.37/71.47 c 33.7s | 10 | 175580 | 14761 | 69423 0 | 0 | 27
73.88/73.98 c 36.2s | 10 | 176031 | 15061 | 69423 0 | 0 | 27
76.38/76.42 c 38.7s | 10 | 176690 | 15561 | 69423 0 | 0 | 27
78.78/78.83 c 41.1s | 10 | 177567 | 16161 | 69423 0 | 0 | 27
80.77/80.86 c 43.1s | 10 | 178291 | 16661 | 69423 0 | 0 | 27
83.18/83.20 c 45.4s | 11 | 179002 | 17144 | 76366 0 | 0 | 27
85.18/85.24 c 47.5s | 11 | 192597 | 17444 | 76366 0 | 0 | 27
87.27/87.32 c 49.6s | 11 | 193995 | 18244 | 76366 0 | 0 | 27
89.48/89.60 c 51.8s | 11 | 194825 | 18844 | 76366 0 | 0 | 27
91.58/91.66 c 53.9s | 11 | 195686 | 19444 | 76366 0 | 0 | 27
93.67/93.78 c 56.0s | 11 | 196495 | 19944 | 76366 0 | 0 | 27
95.97/96.01 c 58.3s | 11 | 197339 | 20444 | 76366 0 | 0 | 27
98.37/98.42 c 60.7s | 11 | 198450 | 21044 | 76366 0 | 0 | 27
100.48/100.50 c 62.7s | 11 | 199549 | 21644 | 76366 0 | 0 | 27
102.87/102.91 c 65.2s | 11 | 200313 | 22144 | 76366 0 | 0 | 27
104.87/104.98 c 67.2s | 11 | 200860 | 22544 | 76366 0 | 0 | 27
107.07/107.12 c 69.4s | 11 | 201551 | 22944 | 76366 0 | 0 | 27
109.17/109.27 c 71.5s | 11 | 202098 | 23344 | 76366 0 | 0 | 27
111.57/111.61 c 73.9s | 11 | 202602 | 23744 | 76366 0 | 0 | 27
113.67/113.72 c 76.0s | 11 | 203396 | 24244 | 76366 0 | 0 | 27
115.97/116.02 c 78.3s | 11 | 204109 | 24744 | 76366 0 | 0 | 27
118.17/118.24 c 80.5s | 11 | 205056 | 25344 | 76366 0 | 0 | 27
120.27/120.30 c 82.5s | 12 | 205740 | 25819 | 84003 0 | 0 | 27
122.67/122.76 c 85.0s | 12 | 219131 | 25919 | 84003 0 | 0 | 27
125.07/125.15 c 87.4s | 12 | 219891 | 26319 | 84003 0 | 0 | 27
127.47/127.59 c 89.8s | 12 | 220981 | 26919 | 84003 0 | 0 | 27
129.78/129.86 c 92.1s | 12 | 221961 | 27419 | 84003 0 | 0 | 27
131.77/131.88 c 94.1s | 12 | 223200 | 28019 | 84003 0 | 0 | 27
133.87/133.98 c 96.2s | 12 | 224478 | 28619 | 84003 0 | 0 | 27
136.27/136.39 c 98.6s | 12 | 225855 | 29219 | 84003 0 | 0 | 27
138.47/138.52 c 100s | 12 | 226903 | 29819 | 84003 0 | 0 | 27
140.88/140.91 c 103s | 12 | 228426 | 30519 | 84003 0 | 0 | 27
142.97/143.02 c 105s | 12 | 229198 | 30919 | 84003 0 | 0 | 27
144.96/145.08 c 107s | 12 | 232334 | 31919 | 84003 0 | 0 | 27
147.07/147.16 c 109s | 12 | 234254 | 32819 | 84003 0 | 0 | 27
149.27/149.32 c 111s | 12 | 234962 | 33219 | 84003 0 | 0 | 27
151.26/151.34 c 113s | 12 | 238223 | 34419 | 84003 0 | 0 | 27
153.26/153.36 c 115s | 12 | 240326 | 35319 | 84003 0 | 0 | 27
155.37/155.44 c 117s | 12 | 241839 | 36019 | 84003 0 | 0 | 27
157.66/157.72 c 119s | 12 | 242867 | 36619 | 84003 0 | 0 | 27
159.76/159.82 c 122s | 12 | 244118 | 37219 | 84003 0 | 0 | 27
161.97/162.03 c 124s | 12 | 246122 | 38119 | 84003 0 | 0 | 27
163.87/163.97 c 126s | 13 | 247655 | 38832 | 92404 0 | 0 | 27
166.96/167.02 c 129s | 13 | 261135 | 38932 | 92404 0 | 0 | 27
169.37/169.43 c 131s | 13 | 263012 | 39632 | 92404 0 | 0 | 27
171.67/171.76 c 133s | 13 | 264579 | 40432 | 92404 0 | 0 | 27
174.17/174.27 c 136s | 13 | 265512 | 40932 | 92404 0 | 0 | 27
176.26/176.32 c 138s | 13 | 266140 | 41332 | 92404 0 | 0 | 27
179.66/179.75 c 141s | 13 | 267372 | 41932 | 92404 0 | 0 | 27
181.86/181.91 c 144s | 13 | 268027 | 42332 | 92404 0 | 0 | 27
184.36/184.42 c 146s | 13 | 268658 | 42732 | 92404 0 | 0 | 27
186.36/186.47 c 148s | 13 | 269663 | 43332 | 92404 0 | 0 | 27
188.36/188.48 c 150s | 13 | 270338 | 43832 | 92404 0 | 0 | 27
190.46/190.50 c 152s | 13 | 270849 | 44132 | 92404 0 | 0 | 27
192.56/192.61 c 154s | 13 | 271445 | 44432 | 92404 0 | 0 | 27
195.06/195.10 c 157s | 13 | 271940 | 44632 | 92404 0 | 0 | 27
197.16/197.26 c 159s | 13 | 272989 | 45032 | 92404 0 | 0 | 27
199.25/199.34 c 161s | 13 | 273666 | 45432 | 92404 0 | 0 | 27
201.96/202.08 c 164s | 13 | 274297 | 45832 | 92404 0 | 0 | 27
204.85/204.91 c 167s | 13 | 274561 | 46032 | 92404 0 | 0 | 27
206.86/206.92 c 169s | 13 | 275016 | 46332 | 92404 0 | 0 | 27
208.85/208.94 c 171s | 13 | 275557 | 46632 | 92404 0 | 0 | 27
211.35/211.41 c 173s | 13 | 276349 | 47032 | 92404 0 | 0 | 27
213.86/213.90 c 176s | 13 | 276924 | 47332 | 92404 0 | 0 | 27
216.15/216.24 c 178s | 13 | 277210 | 47532 | 92404 0 | 0 | 27
218.16/218.29 c 180s | 13 | 277599 | 47832 | 92404 0 | 0 | 27
220.35/220.49 c 182s | 13 | 278221 | 48132 | 92404 0 | 0 | 27
223.36/223.47 c 185s | 13 | 278799 | 48432 | 92404 0 | 0 | 27
226.75/226.80 c 189s | 13 | 279286 | 48732 | 92404 0 | 0 | 27
229.64/229.75 c 191s | 13 | 279603 | 48932 | 92404 0 | 0 | 27
231.95/232.07 c 194s | 13 | 280047 | 49232 | 92404 0 | 0 | 27
234.14/234.21 c 196s | 13 | 280321 | 49432 | 92404 0 | 0 | 27
237.35/237.43 c 199s | 13 | 280897 | 49732 | 92404 0 | 0 | 27
240.05/240.10 c 202s | 13 | 281329 | 49932 | 92404 0 | 0 | 27
242.14/242.25 c 204s | 13 | 281866 | 50232 | 92404 0 | 0 | 27
245.14/245.20 c 207s | 13 | 282406 | 50532 | 92404 0 | 0 | 27
247.64/247.77 c 210s | 13 | 282697 | 50732 | 92404 0 | 0 | 27
250.14/250.23 c 212s | 13 | 282868 | 50832 | 92404 0 | 0 | 27
252.34/252.41 c 214s | 13 | 283196 | 51032 | 92404 0 | 0 | 27
254.44/254.50 c 216s | 13 | 283359 | 51132 | 92404 0 | 0 | 27
257.44/257.58 c 219s | 13 | 283784 | 51432 | 92404 0 | 0 | 27
259.94/260.04 c 222s | 13 | 284396 | 51832 | 92404 0 | 0 | 27
262.14/262.23 c 224s | 13 | 284788 | 52132 | 92404 0 | 0 | 27
264.44/264.54 c 226s | 13 | 285094 | 52332 | 92404 0 | 0 | 27
266.53/266.66 c 228s | 13 | 285354 | 52532 | 92404 0 | 0 | 27
268.84/268.94 c 231s | 13 | 285663 | 52732 | 92404 0 | 0 | 27
271.03/271.10 c 233s | 13 | 286063 | 53032 | 92404 0 | 0 | 27
273.34/273.48 c 235s | 13 | 286523 | 53332 | 92404 0 | 0 | 27
275.43/275.50 c 237s | 13 | 286831 | 53532 | 92404 0 | 0 | 27
278.63/278.71 c 240s | 13 | 287337 | 53832 | 92404 0 | 0 | 27
281.33/281.46 c 243s | 13 | 287799 | 54132 | 92404 0 | 0 | 27
283.84/283.99 c 246s | 13 | 288270 | 54432 | 92404 0 | 0 | 27
286.53/286.67 c 248s | 13 | 288587 | 54632 | 92404 0 | 0 | 27
289.23/289.35 c 251s | 13 | 288868 | 54832 | 92404 0 | 0 | 27
292.13/292.24 c 254s | 13 | 289314 | 55132 | 92404 0 | 0 | 27
294.74/294.90 c 257s | 13 | 289617 | 55332 | 92404 0 | 0 | 27
296.93/297.08 c 259s | 13 | 289938 | 55532 | 92404 0 | 0 | 27
299.13/299.29 c 261s | 13 | 290668 | 56032 | 92404 0 | 0 | 27
301.72/301.81 c 264s | 13 | 291356 | 56532 | 92404 0 | 0 | 27
303.73/303.86 c 266s | 13 | 291782 | 56832 | 92404 0 | 0 | 27
305.92/306.09 c 268s | 13 | 292174 | 57132 | 92404 0 | 0 | 27
308.12/308.28 c 270s | 13 | 293025 | 57632 | 92404 0 | 0 | 27
310.23/310.36 c 272s | 13 | 293721 | 58132 | 101645 0 | 0 | 27
311.13/311.26 c 273s | 14 | 294029 | 58352 | 101645 0 | 0 | 27
316.62/316.77 c 279s | 14 | 307509 | 58452 | 101645 0 | 0 | 27
318.72/318.87 c 281s | 14 | 309006 | 59252 | 101645 0 | 0 | 27
321.02/321.18 c 283s | 14 | 310485 | 59952 | 101645 0 | 0 | 27
323.32/323.44 c 285s | 14 | 311041 | 60352 | 101645 0 | 0 | 27
325.53/325.70 c 287s | 14 | 311978 | 60852 | 101645 0 | 0 | 27
327.92/328.05 c 290s | 14 | 312784 | 61352 | 101645 0 | 0 | 27
330.92/331.03 c 293s | 14 | 313371 | 61752 | 101645 0 | 0 | 27
333.33/333.46 c 295s | 14 | 314028 | 62152 | 101645 0 | 0 | 27
335.61/335.76 c 298s | 14 | 314486 | 62452 | 101645 0 | 0 | 27
337.82/337.98 c 300s | 14 | 314979 | 62752 | 101645 0 | 0 | 27
339.93/340.01 c 302s | 14 | 315884 | 63252 | 101645 0 | 0 | 27
342.41/342.51 c 304s | 14 | 317164 | 63852 | 101645 0 | 0 | 27
344.91/345.09 c 307s | 14 | 317696 | 64152 | 101645 0 | 0 | 27
347.31/347.49 c 309s | 14 | 318216 | 64452 | 101645 0 | 0 | 27
350.81/350.97 c 313s | 14 | 319103 | 64852 | 101645 0 | 0 | 27
352.91/353.02 c 315s | 14 | 319456 | 65052 | 101645 0 | 0 | 27
355.41/355.55 c 317s | 14 | 319832 | 65252 | 101645 0 | 0 | 27
357.71/357.88 c 320s | 14 | 320139 | 65452 | 101645 0 | 0 | 27
360.11/360.28 c 322s | 14 | 320592 | 65752 | 101645 0 | 0 | 27
363.61/363.71 c 325s | 14 | 321551 | 66152 | 101645 0 | 0 | 27
365.70/365.84 c 328s | 14 | 322277 | 66552 | 101645 0 | 0 | 27
368.21/368.30 c 330s | 14 | 322968 | 66952 | 101645 0 | 0 | 27
370.21/370.32 c 332s | 14 | 323340 | 67152 | 101645 0 | 0 | 27
372.40/372.50 c 334s | 14 | 323790 | 67452 | 101645 0 | 0 | 27
374.81/374.99 c 337s | 14 | 324641 | 67952 | 101645 0 | 0 | 27
377.91/378.03 c 340s | 14 | 325256 | 68352 | 101645 0 | 0 | 27
380.30/380.40 c 342s | 14 | 326098 | 68752 | 101645 0 | 0 | 27
382.51/382.69 c 344s | 14 | 326867 | 69152 | 101645 0 | 0 | 27
384.60/384.79 c 347s | 14 | 327626 | 69552 | 101645 0 | 0 | 27
387.11/387.27 c 349s | 14 | 328690 | 70052 | 101645 0 | 0 | 27
389.50/389.60 c 351s | 14 | 329404 | 70352 | 101645 0 | 0 | 27
392.51/392.69 c 354s | 14 | 329718 | 70552 | 101645 0 | 0 | 27
395.20/395.37 c 357s | 14 | 330075 | 70752 | 101645 0 | 0 | 27
398.40/398.55 c 360s | 14 | 330470 | 70952 | 101645 0 | 0 | 27
401.10/401.28 c 363s | 14 | 330889 | 71152 | 101645 0 | 0 | 27
403.20/403.37 c 365s | 14 | 331061 | 71252 | 101645 0 | 0 | 27
406.20/406.36 c 368s | 14 | 331416 | 71452 | 101645 0 | 0 | 27
409.40/409.53 c 371s | 14 | 332043 | 71752 | 101645 0 | 0 | 27
411.60/411.78 c 374s | 14 | 332409 | 71952 | 101645 0 | 0 | 27
415.20/415.37 c 377s | 14 | 333062 | 72252 | 101645 0 | 0 | 27
417.91/418.08 c 380s | 14 | 333372 | 72452 | 101645 0 | 0 | 27
421.10/421.26 c 383s | 14 | 333902 | 72652 | 101645 0 | 0 | 27
423.50/423.68 c 385s | 14 | 334246 | 72852 | 101645 0 | 0 | 27
427.70/427.84 c 390s | 14 | 334544 | 73052 | 101645 0 | 0 | 27
430.19/430.30 c 392s | 14 | 334990 | 73252 | 101645 0 | 0 | 27
433.20/433.30 c 395s | 14 | 335437 | 73452 | 101645 0 | 0 | 27
435.29/435.42 c 397s | 14 | 335571 | 73552 | 101645 0 | 0 | 27
440.00/440.17 c 402s | 14 | 335940 | 73752 | 101645 0 | 0 | 27
442.59/442.71 c 404s | 14 | 336094 | 73852 | 101645 0 | 0 | 27
445.50/445.65 c 407s | 14 | 336252 | 73952 | 101645 0 | 0 | 27
447.70/447.87 c 410s | 14 | 336573 | 74152 | 101645 0 | 0 | 27
450.79/450.98 c 413s | 14 | 337243 | 74552 | 101645 0 | 0 | 27
452.99/453.19 c 415s | 14 | 338070 | 74952 | 101645 0 | 0 | 27
455.19/455.35 c 417s | 14 | 338764 | 75352 | 101645 0 | 0 | 27
458.39/458.58 c 420s | 14 | 339283 | 75652 | 101645 0 | 0 | 27
460.79/460.99 c 423s | 14 | 339983 | 76052 | 101645 0 | 0 | 27
463.49/463.62 c 425s | 14 | 341084 | 76552 | 101645 0 | 0 | 27
466.39/466.58 c 428s | 14 | 342074 | 76952 | 101645 0 | 0 | 27
468.69/468.82 c 431s | 14 | 342994 | 77352 | 101645 0 | 0 | 27
471.08/471.29 c 433s | 14 | 343848 | 77752 | 101645 0 | 0 | 27
473.59/473.77 c 436s | 14 | 344417 | 78052 | 101645 0 | 0 | 27
476.19/476.35 c 438s | 14 | 344779 | 78252 | 101645 0 | 0 | 27
478.99/479.17 c 441s | 14 | 345239 | 78552 | 101645 0 | 0 | 27
481.48/481.62 c 443s | 14 | 345810 | 78852 | 101645 0 | 0 | 27
484.38/484.56 c 446s | 14 | 346142 | 79052 | 101645 0 | 0 | 27
487.19/487.33 c 449s | 14 | 346480 | 79252 | 101645 0 | 0 | 27
490.77/490.95 c 453s | 14 | 347263 | 79652 | 101645 0 | 0 | 27
493.78/493.98 c 456s | 14 | 347786 | 79952 | 101645 0 | 0 | 27
496.17/496.35 c 458s | 14 | 348117 | 80152 | 101645 0 | 0 | 27
498.28/498.41 c 460s | 14 | 348265 | 80252 | 101645 0 | 0 | 27
501.27/501.41 c 463s | 14 | 348507 | 80452 | 101645 0 | 0 | 27
504.68/504.80 c 467s | 14 | 349030 | 80752 | 101645 0 | 0 | 27
506.87/507.04 c 469s | 14 | 349440 | 81052 | 101645 0 | 0 | 27
509.58/509.71 c 471s | 14 | 350038 | 81352 | 101645 0 | 0 | 27
512.37/512.53 c 474s | 14 | 350682 | 81752 | 101645 0 | 0 | 27
514.88/515.03 c 477s | 14 | 351669 | 82252 | 101645 0 | 0 | 27
517.07/517.28 c 479s | 14 | 352583 | 82752 | 101645 0 | 0 | 27
519.87/520.02 c 482s | 14 | 353831 | 83452 | 101645 0 | 0 | 27
522.07/522.28 c 484s | 14 | 354143 | 83652 | 101645 0 | 0 | 27
524.87/525.07 c 487s | 14 | 354408 | 83852 | 101645 0 | 0 | 27
527.67/527.82 c 490s | 14 | 354993 | 84152 | 101645 0 | 0 | 27
530.66/530.81 c 493s | 14 | 355609 | 84452 | 101645 0 | 0 | 27
533.66/533.85 c 496s | 14 | 355923 | 84652 | 101645 0 | 0 | 27
536.37/536.51 c 498s | 14 | 356463 | 84952 | 101645 0 | 0 | 27
539.37/539.53 c 501s | 14 | 356778 | 85152 | 101645 0 | 0 | 27
542.46/542.69 c 504s | 14 | 357382 | 85452 | 101645 0 | 0 | 27
544.56/544.79 c 507s | 14 | 357715 | 85652 | 101645 0 | 0 | 27
547.56/547.73 c 509s | 14 | 358219 | 85952 | 101645 0 | 0 | 27
549.76/549.93 c 512s | 14 | 358750 | 86252 | 101645 0 | 0 | 27
552.07/552.28 c 514s | 14 | 359069 | 86452 | 101645 0 | 0 | 27
554.16/554.35 c 516s | 14 | 359401 | 86652 | 101645 0 | 0 | 27
557.46/557.65 c 519s | 14 | 359863 | 86952 | 101645 0 | 0 | 27
559.77/559.93 c 522s | 14 | 360703 | 87352 | 111810 0 | 0 | 27
561.56/561.73 c 523s | 15 | 361165 | 87632 | 111810 0 | 0 | 27
569.77/569.98 c 532s | 15 | 374540 | 87732 | 111810 0 | 0 | 27
572.16/572.33 c 534s | 15 | 376206 | 88432 | 111810 0 | 0 | 27
574.45/574.69 c 536s | 15 | 377058 | 88732 | 111810 0 | 0 | 27
576.86/577.01 c 539s | 15 | 378164 | 89132 | 111810 0 | 0 | 27
579.35/579.56 c 541s | 15 | 378589 | 89332 | 111810 0 | 0 | 27
581.77/581.91 c 544s | 15 | 378765 | 89432 | 111810 0 | 0 | 27
584.25/584.48 c 546s | 15 | 379433 | 89632 | 111810 0 | 0 | 27
590.45/590.65 c 552s | 15 | 379777 | 89832 | 111810 0 | 0 | 27
597.95/598.19 c 560s | 15 | 379934 | 89932 | 111810 0 | 0 | 27
604.75/604.99 c 567s | 15 | 380131 | 90032 | 111810 0 | 0 | 27
607.16/607.34 c 569s | 15 | 381418 | 90532 | 111810 0 | 0 | 27
610.25/610.40 c 572s | 15 | 381865 | 90732 | 111810 0 | 0 | 27
612.45/612.68 c 574s | 15 | 382642 | 91032 | 111810 0 | 0 | 27
615.55/615.76 c 578s | 15 | 383033 | 91232 | 111810 0 | 0 | 27
618.06/618.21 c 580s | 15 | 383547 | 91432 | 111810 0 | 0 | 27
622.46/622.69 c 584s | 15 | 383998 | 91632 | 111810 0 | 0 | 27
624.54/624.78 c 587s | 15 | 384214 | 91732 | 111810 0 | 0 | 27
627.65/627.88 c 590s | 15 | 384602 | 91932 | 111810 0 | 0 | 27
630.16/630.38 c 592s | 15 | 386673 | 92532 | 111810 0 | 0 | 27
633.05/633.23 c 595s | 15 | 388094 | 92932 | 111810 0 | 0 | 27
635.44/635.60 c 597s | 15 | 389104 | 93232 | 111810 0 | 0 | 27
638.25/638.41 c 600s | 15 | 389967 | 93632 | 111810 0 | 0 | 27
640.94/641.19 c 603s | 15 | 390854 | 94032 | 111810 0 | 0 | 27
643.64/643.88 c 606s | 15 | 391010 | 94132 | 111810 0 | 0 | 27
646.24/646.49 c 608s | 15 | 391180 | 94232 | 111810 0 | 0 | 27
648.85/649.06 c 611s | 15 | 391574 | 94432 | 111810 0 | 0 | 27
650.94/651.10 c 613s | 15 | 392332 | 94732 | 111810 0 | 0 | 27
653.64/653.80 c 616s | 15 | 392731 | 94932 | 111810 0 | 0 | 27
656.34/656.53 c 618s | 15 | 393239 | 95132 | 111810 0 | 0 | 27
659.34/659.51 c 621s | 15 | 393608 | 95332 | 111810 0 | 0 | 27
661.94/662.11 c 624s | 15 | 393792 | 95432 | 111810 0 | 0 | 27
664.04/664.27 c 626s | 15 | 394255 | 95632 | 111810 0 | 0 | 27
666.24/666.49 c 628s | 15 | 394614 | 95832 | 111810 0 | 0 | 27
668.54/668.71 c 630s | 15 | 394765 | 95932 | 111810 0 | 0 | 27
671.83/672.05 c 634s | 15 | 395293 | 96232 | 111810 0 | 0 | 27
674.14/674.35 c 636s | 15 | 395592 | 96432 | 111810 0 | 0 | 27
676.74/676.94 c 639s | 15 | 395820 | 96532 | 111810 0 | 0 | 27
680.23/680.48 c 642s | 15 | 395955 | 96632 | 111810 0 | 0 | 27
683.73/683.94 c 646s | 15 | 396102 | 96732 | 111810 0 | 0 | 27
687.23/687.45 c 649s | 15 | 396537 | 96932 | 111810 0 | 0 | 27
689.32/689.59 c 651s | 15 | 396709 | 97032 | 111810 0 | 0 | 27
691.52/691.75 c 653s | 15 | 396899 | 97132 | 111810 0 | 0 | 27
694.42/694.69 c 656s | 15 | 397137 | 97232 | 111810 0 | 0 | 27
697.82/698.07 c 660s | 15 | 397510 | 97432 | 111810 0 | 0 | 27
700.43/700.67 c 662s | 15 | 397671 | 97532 | 111810 0 | 0 | 27
702.83/703.07 c 665s | 15 | 397814 | 97632 | 111810 0 | 0 | 27
706.62/706.87 c 669s | 15 | 397933 | 97732 | 111810 0 | 0 | 27
710.22/710.49 c 672s | 15 | 398380 | 97932 | 111810 0 | 0 | 27
712.52/712.70 c 674s | 15 | 399316 | 98332 | 111810 0 | 0 | 27
715.52/715.73 c 677s | 15 | 400043 | 98732 | 111810 0 | 0 | 27
717.72/717.95 c 680s | 15 | 400213 | 98832 | 111810 0 | 0 | 27
720.22/720.46 c 682s | 15 | 400620 | 99032 | 111810 0 | 0 | 27
722.63/722.82 c 685s | 15 | 400994 | 99232 | 111810 0 | 0 | 27
725.51/725.71 c 687s | 15 | 401130 | 99332 | 111810 0 | 0 | 27
727.52/727.79 c 690s | 15 | 401283 | 99432 | 111810 0 | 0 | 27
730.12/730.39 c 692s | 15 | 401427 | 99532 | 111810 0 | 0 | 27
735.01/735.24 c 697s | 15 | 401742 | 99732 | 111810 0 | 0 | 27
737.61/737.84 c 700s | 15 | 401887 | 99832 | 111810 0 | 0 | 27
740.61/740.90 c 703s | 15 | 402321 | 100032 | 111810 0 | 0 | 27
744.52/744.80 c 707s | 15 | 402799 | 100232 | 111810 0 | 0 | 27
747.01/747.23 c 709s | 15 | 402930 | 100332 | 111810 0 | 0 | 27
749.81/750.06 c 712s | 15 | 403225 | 100532 | 111810 0 | 0 | 27
753.11/753.38 c 715s | 15 | 403695 | 100732 | 111810 0 | 0 | 27
756.41/756.66 c 718s | 15 | 404019 | 100932 | 111810 0 | 0 | 27
759.41/759.62 c 721s | 15 | 404158 | 101032 | 111810 0 | 0 | 27
761.70/761.95 c 724s | 15 | 404360 | 101132 | 111810 0 | 0 | 27
764.21/764.48 c 726s | 15 | 404524 | 101232 | 111810 0 | 0 | 27
766.70/766.92 c 729s | 15 | 404693 | 101332 | 111810 0 | 0 | 27
769.70/769.90 c 732s | 15 | 404849 | 101432 | 111810 0 | 0 | 27
773.70/773.93 c 736s | 15 | 405029 | 101532 | 111810 0 | 0 | 27
776.51/776.77 c 739s | 15 | 405170 | 101632 | 111810 0 | 0 | 27
779.20/779.43 c 741s | 15 | 405405 | 101732 | 111810 0 | 0 | 27
781.80/782.02 c 744s | 15 | 405565 | 101832 | 111810 0 | 0 | 27
786.20/786.40 c 748s | 15 | 405932 | 102032 | 111810 0 | 0 | 27
788.51/788.75 c 750s | 15 | 406072 | 102132 | 111810 0 | 0 | 27
792.40/792.69 c 754s | 15 | 406205 | 102232 | 111810 0 | 0 | 27
794.50/794.76 c 757s | 15 | 406437 | 102332 | 111810 0 | 0 | 27
797.00/797.24 c 759s | 15 | 407905 | 102932 | 111810 0 | 0 | 27
799.40/799.68 c 761s | 15 | 408693 | 103332 | 111810 0 | 0 | 27
801.81/802.08 c 764s | 15 | 409113 | 103532 | 111810 0 | 0 | 27
804.49/804.72 c 766s | 15 | 409658 | 103832 | 111810 0 | 0 | 27
806.99/807.24 c 769s | 15 | 410349 | 104132 | 111810 0 | 0 | 27
810.69/810.97 c 773s | 15 | 411174 | 104532 | 111810 0 | 0 | 27
812.89/813.13 c 775s | 15 | 412332 | 105032 | 111810 0 | 0 | 27
815.09/815.34 c 777s | 15 | 412854 | 105332 | 111810 0 | 0 | 27
817.99/818.26 c 780s | 15 | 413460 | 105632 | 111810 0 | 0 | 27
820.50/820.75 c 782s | 15 | 413627 | 105732 | 111810 0 | 0 | 27
822.79/823.04 c 785s | 15 | 414203 | 106032 | 111810 0 | 0 | 27
825.29/825.57 c 787s | 15 | 415034 | 106432 | 111810 0 | 0 | 27
827.38/827.64 c 789s | 15 | 415642 | 106732 | 111810 0 | 0 | 27
830.49/830.76 c 793s | 15 | 416632 | 107132 | 111810 0 | 0 | 27
833.09/833.31 c 795s | 15 | 417274 | 107432 | 111810 0 | 0 | 27
835.59/835.89 c 798s | 15 | 417814 | 107732 | 111810 0 | 0 | 27
839.59/839.88 c 802s | 15 | 418476 | 108032 | 111810 0 | 0 | 27
841.88/842.11 c 804s | 15 | 418813 | 108232 | 111810 0 | 0 | 27
844.69/844.98 c 807s | 15 | 419133 | 108432 | 111810 0 | 0 | 27
847.18/847.42 c 809s | 15 | 419707 | 108732 | 111810 0 | 0 | 27
849.17/849.49 c 811s | 15 | 419855 | 108832 | 111810 0 | 0 | 27
851.38/851.69 c 813s | 15 | 420218 | 109032 | 111810 0 | 0 | 27
854.78/855.07 c 817s | 15 | 420525 | 109232 | 111810 0 | 0 | 27
858.08/858.30 c 820s | 15 | 420694 | 109332 | 111810 0 | 0 | 27
860.38/860.60 c 822s | 15 | 421025 | 109532 | 111810 0 | 0 | 27
863.17/863.45 c 825s | 15 | 421753 | 109932 | 111810 0 | 0 | 27
865.58/865.84 c 828s | 15 | 422648 | 110432 | 111810 0 | 0 | 27
868.08/868.31 c 830s | 15 | 423602 | 110932 | 111810 0 | 0 | 27
870.57/870.83 c 833s | 15 | 424299 | 111332 | 111810 0 | 0 | 27
872.57/872.87 c 835s | 15 | 424796 | 111632 | 111810 0 | 0 | 27
875.17/875.46 c 837s | 15 | 425301 | 111932 | 111810 0 | 0 | 27
877.27/877.55 c 839s | 15 | 425640 | 112132 | 111810 0 | 0 | 27
879.37/879.68 c 841s | 15 | 425804 | 112232 | 111810 0 | 0 | 27
881.47/881.74 c 843s | 15 | 426174 | 112432 | 111810 0 | 0 | 27
884.07/884.40 c 846s | 15 | 426624 | 112732 | 111810 0 | 0 | 27
886.47/886.78 c 849s | 15 | 427593 | 113232 | 111810 0 | 0 | 27
890.17/890.42 c 852s | 15 | 428331 | 113632 | 111810 0 | 0 | 27
892.27/892.55 c 854s | 15 | 429350 | 114032 | 111810 0 | 0 | 27
894.27/894.57 c 856s | 15 | 429984 | 114332 | 111810 0 | 0 | 27
896.76/897.09 c 859s | 15 | 430944 | 114732 | 111810 0 | 0 | 27
899.06/899.31 c 861s | 15 | 432013 | 115232 | 111810 0 | 0 | 27
901.07/901.39 c 863s | 15 | 432642 | 115532 | 111810 0 | 0 | 27
903.37/903.66 c 865s | 15 | 434110 | 116032 | 111810 0 | 0 | 27
905.96/906.29 c 868s | 15 | 434868 | 116432 | 111810 0 | 0 | 27
908.16/908.48 c 870s | 15 | 435495 | 116732 | 111810 0 | 0 | 27
910.46/910.73 c 872s | 15 | 435875 | 116932 | 111810 0 | 0 | 27
912.87/913.15 c 875s | 15 | 436283 | 117132 | 111810 0 | 0 | 27
915.27/915.50 c 877s | 15 | 436560 | 117332 | 111810 0 | 0 | 27
918.37/918.67 c 880s | 15 | 436810 | 117532 | 111810 0 | 0 | 27
921.36/921.66 c 883s | 15 | 437289 | 117832 | 111810 0 | 0 | 27
924.16/924.49 c 886s | 15 | 437635 | 118032 | 111810 0 | 0 | 27
927.07/927.33 c 889s | 15 | 438197 | 118332 | 111810 0 | 0 | 27
929.46/929.77 c 892s | 15 | 438556 | 118532 | 111810 0 | 0 | 27
932.57/932.89 c 895s | 15 | 438928 | 118732 | 111810 0 | 0 | 27
935.66/935.95 c 898s | 15 | 439302 | 118932 | 111810 0 | 0 | 27
937.96/938.28 c 900s | 15 | 439840 | 119232 | 111810 0 | 0 | 27
940.96/941.26 c 903s | 15 | 440340 | 119532 | 111810 0 | 0 | 27
943.46/943.75 c 905s | 15 | 440475 | 119632 | 111810 0 | 0 | 27
946.36/946.60 c 908s | 15 | 440774 | 119832 | 111810 0 | 0 | 27
948.76/949.09 c 911s | 15 | 441334 | 120132 | 111810 0 | 0 | 27
952.05/952.39 c 914s | 15 | 441670 | 120332 | 111810 0 | 0 | 27
954.56/954.87 c 917s | 15 | 442012 | 120532 | 111810 0 | 0 | 27
957.76/958.09 c 920s | 15 | 442285 | 120732 | 111810 0 | 0 | 27
962.36/962.69 c 924s | 15 | 442560 | 120932 | 111810 0 | 0 | 27
965.25/965.57 c 927s | 15 | 442885 | 121132 | 111810 0 | 0 | 27
967.65/967.97 c 930s | 15 | 443178 | 121332 | 111810 0 | 0 | 27
970.26/970.57 c 932s | 15 | 443299 | 121432 | 111810 0 | 0 | 27
972.35/972.65 c 934s | 15 | 443438 | 121532 | 111810 0 | 0 | 27
975.35/975.61 c 937s | 15 | 443738 | 121732 | 111810 0 | 0 | 27
977.55/977.84 c 940s | 15 | 443888 | 121832 | 111810 0 | 0 | 27
981.06/981.40 c 943s | 15 | 444126 | 122032 | 111810 0 | 0 | 27
984.25/984.55 c 946s | 15 | 444523 | 122232 | 111810 0 | 0 | 27
987.15/987.47 c 949s | 15 | 444675 | 122332 | 111810 0 | 0 | 27
990.55/990.87 c 953s | 15 | 445011 | 122532 | 111810 0 | 0 | 27
994.75/995.06 c 957s | 15 | 445400 | 122732 | 111810 0 | 0 | 27
998.14/998.44 c 960s | 15 | 445681 | 122932 | 111810 0 | 0 | 27
1000.45/1000.79 c 963s | 15 | 445790 | 123032 | 111810 0 | 0 | 27
1004.24/1004.50 c 966s | 15 | 446287 | 123332 | 111810 0 | 0 | 27
1006.35/1006.62 c 968s | 15 | 446407 | 123432 | 111810 0 | 0 | 27
1009.44/1009.73 c 971s | 15 | 446722 | 123632 | 111810 0 | 0 | 27
1013.14/1013.41 c 975s | 15 | 446883 | 123732 | 111810 0 | 0 | 27
1016.15/1016.43 c 978s | 15 | 447252 | 123932 | 111810 0 | 0 | 27
1018.24/1018.57 c 980s | 15 | 447771 | 124232 | 111810 0 | 0 | 27
1020.65/1020.91 c 983s | 15 | 448310 | 124532 | 111810 0 | 0 | 27
1024.24/1024.50 c 986s | 15 | 448615 | 124732 | 111810 0 | 0 | 27
1027.24/1027.59 c 989s | 15 | 448975 | 124932 | 111810 0 | 0 | 27
1029.74/1030.05 c 992s | 15 | 449576 | 125132 | 111810 0 | 0 | 27
1032.03/1032.31 c 994s | 15 | 449765 | 125232 | 111810 0 | 0 | 27
1067.94/1068.25 c 1030s | 15 | 449897 | 125332 | 111810 1 | 0 | 27
1071.63/1071.97 c 1034s | 15 | 450050 | 125432 | 111810 1 | 0 | 27
1074.12/1074.41 c 1036s | 15 | 450363 | 125632 | 111810 1 | 0 | 27
1079.63/1079.97 c 1042s | 15 | 450631 | 125832 | 111810 1 | 0 | 27
1081.82/1082.19 c 1044s | 15 | 450747 | 125932 | 111810 1 | 0 | 27
1085.13/1085.49 c 1047s | 15 | 450868 | 126032 | 111810 1 | 0 | 27
1088.92/1089.25 c 1051s | 15 | 450977 | 126132 | 111810 1 | 0 | 27
1090.93/1091.29 c 1053s | 15 | 451273 | 126332 | 111810 1 | 0 | 27
1093.13/1093.45 c 1055s | 15 | 451656 | 126532 | 111810 1 | 0 | 27
1095.22/1095.60 c 1057s | 15 | 451895 | 126632 | 111810 1 | 0 | 27
1097.92/1098.22 c 1060s | 15 | 452215 | 126832 | 111810 1 | 0 | 27
1100.12/1100.46 c 1062s | 15 | 452494 | 127032 | 111810 1 | 0 | 27
1104.02/1104.39 c 1066s | 15 | 452775 | 127232 | 111810 1 | 0 | 27
1106.92/1107.23 c 1069s | 15 | 452914 | 127332 | 111810 1 | 0 | 27
1109.32/1109.69 c 1071s | 15 | 453048 | 127432 | 111810 1 | 0 | 27
1112.32/1112.69 c 1074s | 15 | 453223 | 127532 | 111810 1 | 0 | 27
1115.72/1116.08 c 1078s | 15 | 453496 | 127732 | 111810 1 | 0 | 27
1118.72/1119.09 c 1081s | 15 | 453791 | 127832 | 111810 1 | 0 | 27
1122.12/1122.41 c 1084s | 15 | 454117 | 128032 | 111810 1 | 0 | 27
1124.51/1124.84 c 1087s | 15 | 454453 | 128232 | 111810 1 | 0 | 27
1127.72/1128.01 c 1090s | 15 | 454751 | 128432 | 111810 1 | 0 | 27
1131.11/1131.43 c 1093s | 15 | 455048 | 128632 | 111810 1 | 0 | 27
1134.02/1134.32 c 1096s | 15 | 455390 | 128832 | 111810 1 | 0 | 27
1137.22/1137.54 c 1099s | 15 | 455930 | 129132 | 111810 1 | 0 | 27
1139.81/1140.12 c 1102s | 15 | 456219 | 129332 | 111810 1 | 0 | 27
1143.01/1143.31 c 1105s | 15 | 456564 | 129532 | 111810 1 | 0 | 27
1145.92/1146.28 c 1108s | 15 | 456859 | 129732 | 111810 1 | 0 | 27
1148.12/1148.46 c 1110s | 15 | 457058 | 129832 | 111810 1 | 0 | 27
1151.52/1151.85 c 1114s | 15 | 457429 | 130032 | 111810 1 | 0 | 27
1153.91/1154.24 c 1116s | 15 | 457763 | 130232 | 111810 1 | 0 | 27
1156.11/1156.49 c 1118s | 15 | 458049 | 130432 | 111810 1 | 0 | 27
1159.90/1160.25 c 1122s | 15 | 458331 | 130632 | 111810 1 | 0 | 27
1162.80/1163.13 c 1125s | 15 | 458586 | 130832 | 122992 1 | 0 | 27
1165.81/1166.17 c 1128s | 15 | 458849 | 131032 | 122992 1 | 0 | 27
1168.10/1168.48 c 1130s | 15 | 458983 | 131132 | 122992 1 | 0 | 27
1171.20/1171.51 c 1133s | 15 | 459264 | 131332 | 122992 1 | 0 | 27
1174.51/1174.86 c 1137s | 15 | 459549 | 131532 | 122992 1 | 0 | 27
1174.70/1175.07 c 1137s | 16 | 459581 | 131552 | 122992 1 | 0 | 27
1184.40/1184.71 c 1146s | 16 | 472973 | 131652 | 122992 1 | 0 | 27
1186.49/1186.85 c 1149s | 16 | 473296 | 131852 | 122992 1 | 0 | 27
1188.70/1189.00 c 1151s | 16 | 474151 | 132352 | 122992 1 | 0 | 27
1190.80/1191.17 c 1153s | 16 | 475912 | 133052 | 122992 1 | 0 | 27
1193.30/1193.65 c 1155s | 16 | 476751 | 133552 | 122992 1 | 0 | 27
1195.59/1195.94 c 1158s | 16 | 477405 | 133852 | 122992 1 | 0 | 27
1197.70/1198.05 c 1160s | 16 | 478139 | 134252 | 122992 1 | 0 | 27
1199.99/1200.32 c 1162s | 16 | 478656 | 134552 | 122992 1 | 0 | 27
1202.29/1202.64 c 1164s | 16 | 480264 | 135252 | 122992 1 | 0 | 27
1204.89/1205.27 c 1167s | 16 | 480904 | 135552 | 122992 1 | 0 | 27
1207.19/1207.52 c 1169s | 16 | 481665 | 135952 | 122992 1 | 0 | 27
1209.59/1210.00 c 1172s | 16 | 482313 | 136352 | 122992 1 | 0 | 27
1211.69/1212.07 c 1174s | 16 | 482828 | 136652 | 122992 1 | 0 | 27
1214.20/1214.51 c 1176s | 16 | 483476 | 137052 | 122992 1 | 0 | 27
1216.59/1216.93 c 1179s | 16 | 483957 | 137352 | 122992 1 | 0 | 27
1219.19/1219.52 c 1181s | 16 | 484739 | 137752 | 122992 1 | 0 | 27
1221.39/1221.74 c 1183s | 16 | 485930 | 138152 | 122992 1 | 0 | 27
1224.09/1224.47 c 1186s | 16 | 486989 | 138552 | 122992 1 | 0 | 27
1226.09/1226.50 c 1188s | 16 | 487729 | 138952 | 122992 1 | 0 | 27
1228.50/1228.82 c 1191s | 16 | 488101 | 139152 | 122992 1 | 0 | 27
1231.09/1231.41 c 1193s | 16 | 488926 | 139552 | 122992 1 | 0 | 27
1233.89/1234.26 c 1196s | 16 | 489647 | 139952 | 122992 1 | 0 | 27
1237.08/1237.46 c 1199s | 16 | 490239 | 140252 | 122992 1 | 0 | 27
1239.58/1239.96 c 1202s | 16 | 490592 | 140452 | 122992 1 | 0 | 27
1241.99/1242.32 c 1204s | 16 | 491360 | 140752 | 122992 1 | 0 | 27
1245.19/1245.53 c 1207s | 16 | 492081 | 141152 | 122992 1 | 0 | 27
1247.38/1247.71 c 1209s | 16 | 492487 | 141352 | 122992 1 | 0 | 27
1249.39/1249.78 c 1212s | 16 | 493151 | 141652 | 122992 1 | 0 | 27
1251.69/1252.03 c 1214s | 16 | 493895 | 142052 | 122992 1 | 0 | 27
1254.48/1254.88 c 1217s | 16 | 494551 | 142452 | 122992 1 | 0 | 27
1257.98/1258.40 c 1220s | 16 | 495015 | 142752 | 122992 1 | 0 | 27
1261.18/1261.50 c 1223s | 16 | 495457 | 143052 | 122992 1 | 0 | 27
1263.58/1263.97 c 1226s | 16 | 496174 | 143452 | 122992 1 | 0 | 27
1265.88/1266.26 c 1228s | 16 | 496886 | 143752 | 122992 1 | 0 | 27
1268.28/1268.61 c 1230s | 16 | 497252 | 143952 | 122992 1 | 0 | 27
1270.88/1271.25 c 1233s | 16 | 498327 | 144352 | 122992 1 | 0 | 27
1273.07/1273.45 c 1235s | 16 | 498825 | 144552 | 122992 1 | 0 | 27
1276.98/1277.37 c 1239s | 16 | 499379 | 144852 | 122992 1 | 0 | 27
1280.08/1280.44 c 1242s | 16 | 499867 | 145152 | 122992 1 | 0 | 27
1282.77/1283.14 c 1245s | 16 | 500332 | 145452 | 122992 1 | 0 | 27
1285.37/1285.79 c 1248s | 16 | 500686 | 145652 | 122992 1 | 0 | 27
1287.67/1288.04 c 1250s | 16 | 501141 | 145952 | 122992 1 | 0 | 27
1290.17/1290.59 c 1252s | 16 | 501438 | 146152 | 122992 1 | 0 | 27
1292.28/1292.64 c 1254s | 16 | 501892 | 146352 | 122992 1 | 0 | 27
1294.27/1294.67 c 1256s | 16 | 502057 | 146452 | 122992 1 | 0 | 27
1296.37/1296.80 c 1259s | 16 | 502943 | 146852 | 122992 1 | 0 | 27
1299.07/1299.43 c 1261s | 16 | 503770 | 147252 | 122992 1 | 0 | 27
1301.37/1301.76 c 1263s | 16 | 504481 | 147552 | 122992 1 | 0 | 27
1304.97/1305.32 c 1267s | 16 | 505273 | 147852 | 122992 1 | 0 | 27
1308.57/1308.94 c 1271s | 16 | 505703 | 148052 | 122992 1 | 0 | 27
1311.77/1312.18 c 1274s | 16 | 505902 | 148152 | 122992 1 | 0 | 27
1314.46/1314.88 c 1277s | 16 | 506561 | 148452 | 122992 1 | 0 | 27
1316.66/1317.01 c 1279s | 16 | 506915 | 148652 | 122992 1 | 0 | 27
1319.86/1320.23 c 1282s | 16 | 507497 | 148952 | 122992 1 | 0 | 27
1322.16/1322.56 c 1284s | 16 | 507726 | 149052 | 122992 1 | 0 | 27
1326.56/1326.95 c 1289s | 16 | 508074 | 149252 | 122992 1 | 0 | 27
1329.46/1329.86 c 1292s | 16 | 508221 | 149352 | 122992 1 | 0 | 27
1331.56/1331.96 c 1294s | 16 | 509107 | 149752 | 122992 1 | 0 | 27
1334.16/1334.51 c 1296s | 16 | 509707 | 150052 | 122992 1 | 0 | 27
1336.56/1336.97 c 1299s | 16 | 510025 | 150252 | 122992 1 | 0 | 27
1340.46/1340.82 c 1303s | 16 | 510357 | 150452 | 122992 1 | 0 | 27
1343.36/1343.76 c 1305s | 16 | 510651 | 150652 | 122992 1 | 0 | 27
1347.26/1347.67 c 1309s | 16 | 510975 | 150852 | 122992 1 | 0 | 27
1349.36/1349.72 c 1311s | 16 | 511150 | 150952 | 122992 1 | 0 | 27
1352.45/1352.83 c 1315s | 16 | 511591 | 151252 | 122992 1 | 0 | 27
1355.26/1355.65 c 1317s | 16 | 511886 | 151452 | 122992 1 | 0 | 27
1358.45/1358.89 c 1321s | 16 | 512340 | 151752 | 122992 1 | 0 | 27
1361.95/1362.36 c 1324s | 16 | 512787 | 152052 | 122992 1 | 0 | 27
1364.06/1364.42 c 1326s | 16 | 512905 | 152152 | 122992 1 | 0 | 27
1366.76/1367.15 c 1329s | 16 | 513181 | 152352 | 122992 1 | 0 | 27
1369.06/1369.45 c 1331s | 16 | 513430 | 152552 | 122992 1 | 0 | 27
1371.36/1371.72 c 1333s | 16 | 513968 | 152852 | 122992 1 | 0 | 27
1373.66/1374.02 c 1336s | 16 | 514326 | 153052 | 122992 1 | 0 | 27
1375.95/1376.32 c 1338s | 16 | 514612 | 153252 | 122992 1 | 0 | 27
1378.55/1378.90 c 1341s | 16 | 514940 | 153452 | 122992 1 | 0 | 27
1381.05/1381.49 c 1343s | 16 | 515267 | 153652 | 122992 1 | 0 | 27
1384.46/1384.88 c 1347s | 16 | 515540 | 153852 | 122992 1 | 0 | 27
1387.75/1388.12 c 1350s | 16 | 515866 | 154052 | 122992 1 | 0 | 27
1392.15/1392.57 c 1354s | 16 | 516106 | 154252 | 122992 1 | 0 | 27
1395.25/1395.60 c 1357s | 16 | 516436 | 154452 | 122992 1 | 0 | 27
1397.55/1397.92 c 1360s | 16 | 516790 | 154652 | 122992 1 | 0 | 27
1401.05/1401.45 c 1363s | 16 | 517070 | 154852 | 122992 1 | 0 | 27
1403.65/1404.05 c 1366s | 16 | 517377 | 155052 | 122992 1 | 0 | 27
1407.14/1407.57 c 1369s | 16 | 517746 | 155252 | 122992 1 | 0 | 27
1410.14/1410.60 c 1372s | 16 | 517891 | 155352 | 122992 1 | 0 | 27
1412.45/1412.88 c 1375s | 16 | 518180 | 155552 | 122992 1 | 0 | 27
1414.74/1415.15 c 1377s | 16 | 518483 | 155752 | 122992 1 | 0 | 27
1418.55/1419.00 c 1381s | 16 | 518812 | 155952 | 122992 1 | 0 | 27
1421.74/1422.18 c 1384s | 16 | 519119 | 156152 | 122992 1 | 0 | 27
1424.65/1425.03 c 1387s | 16 | 519423 | 156352 | 122992 1 | 0 | 27
1427.15/1427.51 c 1389s | 16 | 519551 | 156452 | 122992 1 | 0 | 27
1430.05/1430.42 c 1392s | 16 | 519945 | 156652 | 122992 1 | 0 | 27
1433.85/1434.24 c 1396s | 16 | 520234 | 156852 | 122992 1 | 0 | 27
1435.94/1436.39 c 1398s | 16 | 520374 | 156952 | 122992 1 | 0 | 27
1439.14/1439.56 c 1401s | 16 | 520518 | 157052 | 122992 1 | 0 | 27
1441.54/1441.90 c 1404s | 16 | 520666 | 157152 | 122992 1 | 0 | 27
1443.64/1444.02 c 1406s | 16 | 520785 | 157252 | 122992 1 | 0 | 27
1446.94/1447.30 c 1409s | 16 | 520919 | 157352 | 122992 1 | 0 | 27
1449.84/1450.25 c 1412s | 16 | 521060 | 157452 | 122992 1 | 0 | 27
1451.84/1452.29 c 1414s | 16 | 521202 | 157552 | 122992 1 | 0 | 27
1454.04/1454.42 c 1416s | 16 | 521332 | 157652 | 122992 1 | 0 | 27
1457.15/1457.56 c 1419s | 16 | 521514 | 157752 | 122992 1 | 0 | 27
1459.64/1460.02 c 1422s | 16 | 521697 | 157852 | 122992 1 | 0 | 27
1463.34/1463.73 c 1425s | 16 | 522065 | 158052 | 122992 1 | 0 | 27
1465.95/1466.32 c 1428s | 16 | 522209 | 158152 | 122992 1 | 0 | 27
1468.94/1469.30 c 1431s | 16 | 522476 | 158352 | 122992 1 | 0 | 27
1474.33/1474.72 c 1436s | 16 | 522734 | 158552 | 122992 1 | 0 | 27
1476.33/1476.73 c 1438s | 16 | 522857 | 158652 | 122992 1 | 0 | 27
1479.44/1479.88 c 1442s | 16 | 523496 | 158952 | 122992 1 | 0 | 27
1482.73/1483.16 c 1445s | 16 | 523914 | 159152 | 122992 1 | 0 | 27
1486.44/1486.85 c 1449s | 16 | 524279 | 159352 | 122992 1 | 0 | 27
1490.73/1491.10 c 1453s | 16 | 524633 | 159552 | 122992 1 | 0 | 27
1493.83/1494.29 c 1456s | 16 | 524924 | 159752 | 122992 1 | 0 | 27
1497.43/1497.86 c 1460s | 16 | 525287 | 159952 | 122992 1 | 0 | 27
1500.33/1500.71 c 1462s | 16 | 525430 | 160052 | 122992 1 | 0 | 27
1502.43/1502.80 c 1465s | 16 | 525761 | 160252 | 122992 1 | 0 | 27
1504.54/1504.93 c 1467s | 16 | 526049 | 160452 | 122992 1 | 0 | 27
1508.33/1508.75 c 1470s | 16 | 526340 | 160652 | 122992 1 | 0 | 27
1510.83/1511.27 c 1473s | 16 | 526640 | 160852 | 122992 1 | 0 | 27
1515.83/1516.27 c 1478s | 16 | 526900 | 161052 | 122992 1 | 0 | 27
1518.33/1518.74 c 1480s | 16 | 527049 | 161152 | 122992 1 | 0 | 27
1520.43/1520.81 c 1483s | 16 | 527323 | 161352 | 122992 1 | 0 | 27
1522.72/1523.12 c 1485s | 16 | 527721 | 161552 | 122992 1 | 0 | 27
1524.73/1525.16 c 1487s | 16 | 527945 | 161652 | 122992 1 | 0 | 27
1528.03/1528.46 c 1490s | 16 | 528187 | 161852 | 122992 1 | 0 | 27
1530.93/1531.31 c 1493s | 16 | 528495 | 162052 | 122992 1 | 0 | 27
1533.92/1534.38 c 1496s | 16 | 528843 | 162252 | 122992 1 | 0 | 27
1536.22/1536.67 c 1498s | 16 | 529376 | 162552 | 122992 1 | 0 | 27
1538.63/1539.04 c 1501s | 16 | 530003 | 162852 | 122992 1 | 0 | 27
1541.62/1542.07 c 1504s | 16 | 530696 | 163252 | 122992 1 | 0 | 27
1543.72/1544.10 c 1506s | 16 | 531248 | 163552 | 122992 1 | 0 | 27
1545.92/1546.37 c 1508s | 16 | 531873 | 163752 | 122992 1 | 0 | 27
1548.12/1548.52 c 1510s | 16 | 532203 | 163952 | 122992 1 | 0 | 27
1550.42/1550.86 c 1513s | 16 | 532501 | 164152 | 122992 1 | 0 | 27
1553.71/1554.13 c 1516s | 16 | 533029 | 164452 | 122992 1 | 0 | 27
1556.42/1556.86 c 1519s | 16 | 533346 | 164652 | 122992 1 | 0 | 27
1559.72/1560.16 c 1522s | 16 | 533652 | 164852 | 122992 1 | 0 | 27
1562.22/1562.69 c 1524s | 16 | 534208 | 165152 | 122992 1 | 0 | 27
1564.52/1564.99 c 1527s | 16 | 534561 | 165352 | 122992 1 | 0 | 27
1567.31/1567.71 c 1529s | 16 | 534882 | 165552 | 122992 1 | 0 | 27
1570.01/1570.48 c 1532s | 16 | 535200 | 165752 | 122992 1 | 0 | 27
1572.51/1572.91 c 1535s | 16 | 535492 | 165952 | 122992 1 | 0 | 27
1575.62/1576.01 c 1538s | 16 | 535919 | 166152 | 122992 1 | 0 | 27
1578.22/1578.64 c 1540s | 16 | 536236 | 166352 | 122992 1 | 0 | 27
1581.11/1581.58 c 1543s | 16 | 536544 | 166552 | 122992 1 | 0 | 27
1583.51/1583.94 c 1546s | 16 | 537096 | 166852 | 122992 1 | 0 | 27
1586.31/1586.73 c 1548s | 16 | 537455 | 167052 | 122992 1 | 0 | 27
1588.72/1589.12 c 1551s | 16 | 537765 | 167252 | 122992 1 | 0 | 27
1591.21/1591.60 c 1553s | 16 | 538254 | 167552 | 122992 1 | 0 | 27
1593.91/1594.37 c 1556s | 16 | 538745 | 167852 | 122992 1 | 0 | 27
1596.11/1596.51 c 1558s | 16 | 538880 | 167952 | 122992 1 | 0 | 27
1599.31/1599.76 c 1561s | 16 | 539230 | 168152 | 122992 1 | 0 | 27
1601.61/1602.07 c 1564s | 16 | 539816 | 168452 | 122992 1 | 0 | 27
1604.21/1604.61 c 1566s | 16 | 540365 | 168752 | 122992 1 | 0 | 27
1607.11/1607.56 c 1569s | 16 | 540724 | 168952 | 122992 1 | 0 | 27
1609.21/1609.60 c 1571s | 16 | 541234 | 169252 | 122992 1 | 0 | 27
1611.51/1611.95 c 1574s | 16 | 541514 | 169452 | 122992 1 | 0 | 27
1613.91/1614.35 c 1576s | 16 | 541771 | 169652 | 122992 1 | 0 | 27
1616.90/1617.33 c 1579s | 16 | 542445 | 169952 | 122992 1 | 0 | 27
1619.61/1620.06 c 1582s | 16 | 542904 | 170152 | 122992 1 | 0 | 27
1623.10/1623.59 c 1585s | 16 | 543230 | 170352 | 122992 1 | 0 | 27
1627.30/1627.78 c 1590s | 16 | 543600 | 170552 | 122992 1 | 0 | 27
1630.01/1630.46 c 1592s | 16 | 543975 | 170752 | 122992 1 | 0 | 27
1634.01/1634.42 c 1596s | 16 | 544349 | 170952 | 122992 1 | 0 | 27
1636.90/1637.33 c 1599s | 16 | 544530 | 171052 | 122992 1 | 0 | 27
1639.30/1639.79 c 1602s | 16 | 544886 | 171252 | 122992 1 | 0 | 27
1641.50/1641.91 c 1604s | 16 | 545492 | 171652 | 122992 1 | 0 | 27
1644.70/1645.18 c 1607s | 16 | 546011 | 171952 | 122992 1 | 0 | 27
1647.00/1647.46 c 1609s | 16 | 546166 | 172052 | 122992 1 | 0 | 27
1650.00/1650.42 c 1612s | 16 | 546471 | 172252 | 122992 1 | 0 | 27
1652.81/1653.24 c 1615s | 16 | 546779 | 172452 | 122992 1 | 0 | 27
1655.40/1655.82 c 1618s | 16 | 547087 | 172652 | 122992 1 | 0 | 27
1658.10/1658.50 c 1620s | 16 | 547199 | 172752 | 122992 1 | 0 | 27
1660.20/1660.68 c 1622s | 16 | 547340 | 172852 | 122992 1 | 0 | 27
1664.30/1664.77 c 1627s | 16 | 547620 | 173052 | 122992 1 | 0 | 27
1667.70/1668.16 c 1630s | 16 | 548161 | 173252 | 122992 1 | 0 | 27
1670.40/1670.86 c 1633s | 16 | 548454 | 173452 | 122992 1 | 0 | 27
1673.30/1673.79 c 1636s | 16 | 548880 | 173752 | 122992 1 | 0 | 27
1676.20/1676.62 c 1638s | 16 | 549459 | 174052 | 122992 1 | 0 | 27
1678.40/1678.80 c 1641s | 16 | 549623 | 174152 | 122992 1 | 0 | 27
1681.00/1681.44 c 1643s | 16 | 550149 | 174452 | 122992 1 | 0 | 27
1683.80/1684.23 c 1646s | 16 | 550645 | 174752 | 122992 1 | 0 | 27
1686.00/1686.42 c 1648s | 16 | 550996 | 174952 | 122992 1 | 0 | 27
1688.20/1688.61 c 1650s | 16 | 551358 | 175152 | 122992 1 | 0 | 27
1690.80/1691.21 c 1653s | 16 | 551663 | 175352 | 122992 1 | 0 | 27
1693.30/1693.74 c 1655s | 16 | 551989 | 175552 | 122992 1 | 0 | 27
1696.39/1696.85 c 1659s | 16 | 552633 | 175852 | 122992 1 | 0 | 27
1700.49/1700.98 c 1663s | 16 | 553105 | 176152 | 122992 1 | 0 | 27
1703.79/1704.20 c 1666s | 16 | 553401 | 176352 | 122992 1 | 0 | 27
1705.80/1706.26 c 1668s | 16 | 553559 | 176452 | 122992 1 | 0 | 27
1710.29/1710.74 c 1672s | 16 | 553845 | 176652 | 122992 1 | 0 | 27
1712.89/1713.31 c 1675s | 16 | 554175 | 176852 | 122992 1 | 0 | 27
1714.89/1715.33 c 1677s | 16 | 554299 | 176952 | 122992 1 | 0 | 27
1719.68/1720.15 c 1682s | 16 | 554628 | 177152 | 122992 1 | 0 | 27
1722.69/1723.18 c 1685s | 16 | 554950 | 177352 | 122992 1 | 0 | 27
1726.08/1726.52 c 1688s | 16 | 555246 | 177552 | 122992 1 | 0 | 27
1729.69/1730.11 c 1692s | 16 | 555415 | 177652 | 122992 1 | 0 | 27
1734.18/1734.60 c 1696s | 16 | 555738 | 177852 | 122992 1 | 0 | 27
1737.78/1738.28 c 1700s | 16 | 556022 | 178052 | 122992 1 | 0 | 27
1740.68/1741.16 c 1703s | 16 | 556362 | 178252 | 122992 1 | 0 | 27
1743.68/1744.13 c 1706s | 16 | 556684 | 178452 | 122992 1 | 0 | 27
1749.08/1749.59 c 1711s | 16 | 557033 | 178652 | 122992 1 | 0 | 27
1751.79/1752.26 c 1714s | 16 | 557159 | 178752 | 122992 1 | 0 | 27
1754.29/1754.72 c 1716s | 16 | 557304 | 178852 | 122992 1 | 0 | 27
1758.08/1758.51 c 1720s | 16 | 557448 | 178952 | 122992 1 | 0 | 27
1761.48/1761.98 c 1724s | 16 | 557559 | 179052 | 122992 1 | 0 | 27
1766.18/1766.67 c 1728s | 16 | 557686 | 179152 | 122992 1 | 0 | 27
1770.08/1770.57 c 1732s | 16 | 557861 | 179252 | 122992 1 | 0 | 27
1774.88/1775.39 c 1737s | 16 | 557998 | 179352 | 122992 1 | 0 | 27
1779.18/1779.65 c 1741s | 16 | 558130 | 179452 | 122992 1 | 0 | 27
1782.57/1783.10 c 1745s | 16 | 558294 | 179552 | 122992 1 | 0 | 27
1786.87/1787.32 c 1749s | 16 | 558477 | 179652 | 122992 1 | 0 | 27
1791.68/1792.17 c 1754s | 16 | 558601 | 179752 | 122992 1 | 0 | 27
1796.37/1796.87 c 1759s | 16 | 558746 | 179852 | 122992 1 | 0 | 27
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-4080017-1465281438/watcher-4080017-1465281438 -o /tmp/evaluation-result-4080017-1465281438/solver-4080017-1465281438 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080017-1465281438.opb
pid=18431
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.31 2.25 2.20 3/178 18434
/proc/meminfo: memFree=27082596/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=786876 CPUtime=0 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 2947 0 0 0 0 0 0 0 20 0 4 0 110075929 805761024 2796 33554432000 4194304 16246674 140734250752128 140734250751552 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 197231 2805 441 2943 0 194125 0
[pid=18434/tid=18435] ppid=18431 vsize=804284 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 823586816 2867 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=808380 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 827781120 2884 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110075929 831975424 2900 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.100133 s]
/proc/loadavg: 2.31 2.25 2.20 3/178 18434
/proc/meminfo: memFree=27082596/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 29078 0 0 0 5 4 0 0 20 0 4 0 110075929 1333334016 28866 33554432000 4194304 16246674 140734250752128 140734250751440 7374276 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 325521 28883 799 2943 0 322415 0
[pid=18434/tid=18435] ppid=18431 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 1333334016 28893 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 1333334016 28905 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 1333334016 28916 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084
[startup+0.200537 s]
/proc/loadavg: 2.31 2.25 2.20 3/178 18434
/proc/meminfo: memFree=27082596/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 47531 0 0 0 13 6 0 0 20 0 4 0 110075929 1344868352 47829 33554432000 4194304 16246674 140734250752128 140734250751440 14795819 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 328337 47829 800 2943 0 325231 0
[pid=18434/tid=18435] ppid=18431 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 1344868352 47829 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 1344868352 47829 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 1344868352 47829 33554432000 4194304 16246674 140734250752128 139781976607920 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) 1313348
[startup+0.300501 s]
/proc/loadavg: 2.31 2.25 2.20 3/178 18434
/proc/meminfo: memFree=27082596/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 59009 0 0 0 21 8 0 0 20 0 4 0 110075929 1344868352 59307 33554432000 4194304 16246674 140734250752128 140734250751440 8057033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 328337 59307 800 2943 0 325231 0
[pid=18434/tid=18435] ppid=18431 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 1344868352 59307 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 1344868352 59307 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 1344868352 59307 33554432000 4194304 16246674 140734250752128 139781976607920 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) 1313348
[startup+0.700425 s]
/proc/loadavg: 2.31 2.25 2.20 3/178 18434
/proc/meminfo: memFree=27082596/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 71634 0 0 0 59 10 0 0 20 0 4 0 110075929 1344868352 71932 33554432000 4194304 16246674 140734250752128 140734250751224 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 328337 71932 801 2943 0 325231 0
[pid=18434/tid=18435] ppid=18431 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 1344868352 71932 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 1344868352 71932 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 1344868352 71932 33554432000 4194304 16246674 140734250752128 139781976607920 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) 1313348
[startup+1.50042 s]
/proc/loadavg: 2.28 2.25 2.20 3/182 18438
/proc/meminfo: memFree=26771648/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 85846 0 0 0 137 12 0 0 20 0 4 0 110075929 1344868352 86144 33554432000 4194304 16246674 140734250752128 140734250735120 4220489 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 328337 86144 801 2943 0 325231 0
[pid=18434/tid=18435] ppid=18431 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 1344868352 86144 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 1344868352 86144 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 1344868352 86144 33554432000 4194304 16246674 140734250752128 139781976607920 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) 1313348
[startup+3.10042 s]
/proc/loadavg: 2.28 2.25 2.20 3/182 18438
/proc/meminfo: memFree=26572636/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 127801 0 0 0 290 19 0 0 20 0 4 0 110075929 1370034176 132187 33554432000 4194304 16246674 140734250752128 140734250735120 7378300 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 334481 132187 801 2943 0 331375 0
[pid=18434/tid=18435] ppid=18431 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 1370034176 132187 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 1370034176 132187 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 1370034176 132187 33554432000 4194304 16246674 140734250752128 139781976607920 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) 1337924
[startup+6.30044 s]
/proc/loadavg: 2.28 2.25 2.20 4/183 18439
/proc/meminfo: memFree=26260136/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=1387076 CPUtime=6.29 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 192097 0 0 0 601 28 0 0 20 0 4 0 110075929 1420365824 206703 33554432000 4194304 16246674 140734250752128 140734250735120 7439603 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 346769 206703 801 2943 0 343663 0
[pid=18434/tid=18435] ppid=18431 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 1420365824 206703 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 1420365824 206703 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 1420365824 206703 33554432000 4194304 16246674 140734250752128 139781976607920 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) 1387076
[startup+12.7004 s]
/proc/loadavg: 2.31 2.25 2.20 4/183 18439
/proc/meminfo: memFree=25934488/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=1387076 CPUtime=12.68 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 269808 0 0 0 1230 38 0 0 20 0 4 0 110075929 1420365824 287480 33554432000 4194304 16246674 140734250752128 140734250734016 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 346769 287480 834 2943 0 343663 0
[pid=18434/tid=18435] ppid=18431 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 1420365824 287480 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 1420365824 287480 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 1420365824 287480 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1387076
[startup+25.5005 s]
/proc/loadavg: 2.34 2.26 2.20 4/183 18439
/proc/meminfo: memFree=25182408/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=2134596 CPUtime=25.48 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 456692 0 0 0 2484 64 0 0 20 0 4 0 110075929 2185826304 474364 33554432000 4194304 16246674 140734250752128 140734250751304 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 533649 474364 836 2943 0 530543 0
[pid=18434/tid=18435] ppid=18431 vsize=2134596 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 2185826304 474364 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=2134596 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 2185826304 474364 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=2134596 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 2185826304 474364 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2134596
[startup+51.1005 s]
/proc/loadavg: 2.42 2.29 2.21 3/183 18439
/proc/meminfo: memFree=24941832/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=2362948 CPUtime=51.08 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 514071 0 0 0 5027 81 0 0 20 0 4 0 110075929 2419658752 531743 33554432000 4194304 16246674 140734250752128 140734250751304 8224815 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 590737 531743 916 2943 0 587631 0
[pid=18434/tid=18435] ppid=18431 vsize=2362948 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 2419658752 531743 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=2362948 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 2419658752 531743 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=2362948 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 2419658752 531743 33554432000 4194304 16246674 140734250752128 139781976607920 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) 2362948
[startup+102.301 s]
/proc/loadavg: 2.23 2.25 2.20 3/183 18440
/proc/meminfo: memFree=24922700/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=2362948 CPUtime=102.28 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 514071 0 0 0 10140 88 0 0 20 0 4 0 110075929 2419658752 531743 33554432000 4194304 16246674 140734250752128 140734250751304 5823877 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 590737 531743 916 2943 0 587631 0
[pid=18434/tid=18435] ppid=18431 vsize=2362948 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 2419658752 531743 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=2362948 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 2419658752 531743 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=2362948 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 2419658752 531743 33554432000 4194304 16246674 140734250752128 139781976607920 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) 2362948
################
# More data... #
################
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 4617474048 1068578 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=4509252 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 4617474048 1068578 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=4509252 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 4617474048 1068578 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 4509252
[startup+1362.3 s]
/proc/loadavg: 2.30 2.24 2.19 4/184 18523
/proc/meminfo: memFree=24929368/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=4509252 CPUtime=1361.95 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 1050869 0 0 0 135507 688 0 0 20 0 4 0 110075929 4617474048 1068578 33554432000 4194304 16246674 140734250752128 140734250751304 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 1127313 1068578 919 2943 0 1124207 0
[pid=18434/tid=18435] ppid=18431 vsize=4509252 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 4617474048 1068578 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=4509252 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 4617474048 1068578 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=4509252 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 4617474048 1068578 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 4509252
[startup+1422.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/184 18547
/proc/meminfo: memFree=24927212/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=4509252 CPUtime=1421.96 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 1050869 0 0 0 141479 717 0 0 20 0 4 0 110075929 4617474048 1068578 33554432000 4194304 16246674 140734250752128 140734250751304 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 1127313 1068578 919 2943 0 1124207 0
[pid=18434/tid=18435] ppid=18431 vsize=4509252 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 4617474048 1068578 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=4509252 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 4617474048 1068578 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=4509252 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 4617474048 1068578 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 4509252
[startup+1482.3 s]
/proc/loadavg: 2.14 2.21 2.18 4/183 18548
/proc/meminfo: memFree=24865388/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=4591172 CPUtime=1481.94 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 1071240 0 0 0 147448 746 0 0 20 0 4 0 110075929 4701360128 1088943 33554432000 4194304 16246674 140734250752128 140734250751440 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 1147793 1088943 919 2943 0 1144687 0
[pid=18434/tid=18435] ppid=18431 vsize=4591172 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 4701360128 1088943 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=4591172 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 4701360128 1088943 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=4591172 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 4701360128 1088943 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 4591172
[startup+1542.31 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 18549
/proc/meminfo: memFree=24781600/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=4656708 CPUtime=1541.92 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 1087748 0 0 0 153417 775 0 0 20 0 4 0 110075929 4768468992 1105442 33554432000 4194304 16246674 140734250752128 140734250751224 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 1164177 1105442 919 2943 0 1161071 0
[pid=18434/tid=18435] ppid=18431 vsize=4656708 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 4768468992 1105442 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=4656708 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 4768468992 1105442 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=4656708 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 4768468992 1105442 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 4656708
[startup+1602.3 s]
/proc/loadavg: 2.11 2.17 2.17 3/183 18551
/proc/meminfo: memFree=24706736/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=4731460 CPUtime=1601.91 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 1106395 0 0 0 159389 802 0 0 20 0 4 0 110075929 4845015040 1124086 33554432000 4194304 16246674 140734250752128 140734250751304 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 1182865 1124086 919 2943 0 1179759 0
[pid=18434/tid=18435] ppid=18431 vsize=4731460 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 4845015040 1124086 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=4731460 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 4845015040 1124086 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=4731460 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 4845015040 1124086 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 4731460
[startup+1662.3 s]
/proc/loadavg: 2.20 2.18 2.17 3/183 18552
/proc/meminfo: memFree=24555608/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=4883012 CPUtime=1661.9 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 1144214 0 0 0 165353 837 0 0 20 0 4 0 110075929 5000204288 1161898 33554432000 4194304 16246674 140734250752128 140734250751224 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 1220753 1161898 919 2943 0 1217647 0
[pid=18434/tid=18435] ppid=18431 vsize=4883012 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 5000204288 1161898 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=4883012 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 5000204288 1161898 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=4883012 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 5000204288 1161898 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 4883012
[startup+1722.3 s]
/proc/loadavg: 2.23 2.19 2.18 4/183 18553
/proc/meminfo: memFree=24428540/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=5009988 CPUtime=1721.89 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 1176006 0 0 0 171317 872 0 0 20 0 4 0 110075929 5130227712 1193687 33554432000 4194304 16246674 140734250752128 140734250751224 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 1252497 1193687 919 2943 0 1249391 0
[pid=18434/tid=18435] ppid=18431 vsize=5009988 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 5130227712 1193687 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=5009988 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 5130227712 1193687 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=5009988 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 5130227712 1193687 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 5009988
[startup+1782.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/183 18554
/proc/meminfo: memFree=24327020/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=5111364 CPUtime=1781.88 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 1201183 0 0 0 177286 902 0 0 20 0 4 0 110075929 5234036736 1218859 33554432000 4194304 16246674 140734250752128 140734250751224 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 1277841 1218859 919 2943 0 1274735 0
[pid=18434/tid=18435] ppid=18431 vsize=5111364 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 5234036736 1218859 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=5111364 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 5234036736 1218859 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=5111364 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 5234036736 1218859 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 5111364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.10 2.16 2.17 4/183 18554
/proc/meminfo: memFree=24304312/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=5133892 CPUtime=1800.07 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) R 18431 18434 13546 0 -1 4202496 1206880 0 0 0 179096 911 0 0 20 0 4 0 110075929 5257105408 1224556 33554432000 4194304 16246674 140734250752128 140734250751224 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 1283473 1224556 919 2943 0 1280367 0
[pid=18434/tid=18435] ppid=18431 vsize=5133892 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18435/stat : 18435 (toysat) S 18431 18434 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110075929 5257105408 1224556 33554432000 4194304 16246674 140734250752128 139781997571312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=5133892 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) S 18431 18434 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110075929 5257105408 1224556 33554432000 4194304 16246674 140734250752128 139781987081456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18434/tid=18437] ppid=18431 vsize=5133892 CPUtime=0 cores=1,3,5,7
/proc/18434/task/18437/stat : 18437 (toysat) S 18431 18434 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110075929 5257105408 1224556 33554432000 4194304 16246674 140734250752128 139781976607920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 5133892
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 18434 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.10 2.16 2.17 4/183 18554
/proc/meminfo: memFree=24304312/32872528 swapFree=17452/1581112
[pid=18434] ppid=18431 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/18434/stat : 18434 (toysat) Z 18431 18434 13546 0 -1 4203532 1206880 0 0 0 179097 921 0 0 20 0 2 0 110075929 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18434/statm: 0 0 0 0 0 0 0
[pid=18434/tid=18436] ppid=18431 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/18434/task/18436/stat : 18436 (toysat) R 18431 18434 13546 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 110075929 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1800.22
CPU user time (s): 1790.97
CPU system time (s): 9.25059
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 5133892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.97
system time used= 9.25059
maximum resident set size= 4898224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1206880
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= 853
involuntary context switches= 1818
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5853 second user time and 6.95394 second system time
The end