Trace number 4099889

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.09 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10b.opb
MD5SUMc577d7edde274bfe6a240a0f24a19644
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.022995
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint31
Maximum length of a constraint300
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4957
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 526705
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526705
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T02:08:54+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-4099889-1466208533.opb"]
0.00/0.01	c use --random-gen="933701646 4112038533 3508227568 94874074 2140731969 3345096534 1944904479 1223328894 3712151287 1835694921 2720356533 3983847137 3809146784 1392343238 90591367 2693009218 391647652 426507353 3283141804 3093718655 783233612 1762325792 407739339 1873311572 729735759 2606435656 1224257671 1316579369 3883255904 96593863 1241288517 1940126612 1824035070 3592483564 952891737 1977547449 459630045 4218456749 1801584611 1186743297 227894244 987472812 3547050649 418371644 3854905063 5304395 665653864 893287686 2413877348 54788269 2388832967 322686063 3320936637 2401848033 3969962793 4147073694 2155703454 332749449 1077068970 3476495246 2541404807 1800524893 2151821202 1922067629 1507556862 2952460936 1431420993 1288593650 2563354575 3191766003 442328301 128775992 2281415846 2999941820 3751220686 1349126852 35642625 1727107725 1431295325 2824948829 1387003790 327620103 1456701632 1407250611 656248937 2277527909 365796758 68087225 3282985594 4109559563 3395914958 61220894 3385233468 3721006954 365813987 4211105273 434955510 1430600955 603424717 3150299718 1128456683 2684141073 2377159609 2328721254 4251453653 3015621173 3428487818 2335204656 1642522176 1171642971 642235196 3854438989 2798882725 3886034410 1637689570 678824270 3564347862 354165929 3678841013 3736275821 2784481719 1844142585 558137284 1413625437 264190765 3045805525 1806299114 1514463348 3193643390 4290517362 545753320 890971118 881613967 2920997778 3129384814 3099824556 1421997647 2948350879 2485129049 1765069493 30021650 2712332290 2869959766 3241137108 3944013630 3920151656 4201394293 3184638686 2490976212 2902870475 2496184142 4164611660 2262079544 297834013 2333396629 2419181560 581574796 3986965780 803381539 3878346176 1759509515 2060401252 2155002634 1928315933 2386698702 2141932783 2180654368 3115109230 2003833821 1988224452 356989333 3608466506 2575651331 2758312275 2503066172 3734418128 3549490131 3358386081 2987585816 3280041140 2319790230 1881706714 3898374621 1666790436 2590422694 4123765944 612079618 1405603841 1871565643 1493982995 1255068887 3541474382 3620357174 2629895400 1830729423 2935774426 1663595263 1634003232 3076853509 3296907544 2040537933 1073563711 1157052070 1581116489 3467520930 3721255793 3478131910 185252022 3458617835 1442839913 1449680930 1525905086 3413251764 2425216265 2857142284 736704223 1054202186 2944091048 2547537700 3022190953 3400848870 3780292034 3833645406 4029215410 3859543052 790445825 933574264 4071398870 2156895156 1306416372 1701541375 4099341039 79805626 3495688796 2475444238 2648384710 314122139 1491285683 144420060 366177533 1376068829 1075756072 4083440579 646004130 3511865095 3721110355 2491933482 955597243 3400738735 2280041818 3496688024 1498128150 2969472028 4086043203 856266698 256121696 255 362436" option to reproduce the execution
0.00/0.04	c #vars 3100
0.00/0.04	c #constraints 120
0.00/0.07	c BCD2: Hardening is enabled.
0.00/0.07	c BCD2: BiasedSearch is enabled.
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |     1080      0 |     1662 |        0
0.09/0.16	c  0.1s |       1 |      696 |      100 |     1080      0 |     1662 |        0
0.29/0.35	c  0.3s |       2 |     1724 |      250 |     1188      0 |     1662 |        0
0.99/1.02	c  0.9s |       3 |     2979 |      475 |     1307      0 |     1662 |        0
1.48/1.58	c  1.5s |       4 |     4893 |      813 |     1438      0 |     1662 |        0
2.39/2.49	c  2.4s |       5 |    10553 |     1320 |     1582      0 |     1662 |        0
3.58/3.68	c  3.6s |       6 |    14668 |     2081 |     1916      0 |     1662 |        0
5.29/5.34	c  5.3s |       7 |    18908 |     3223 |     2108      0 |     1662 |        0
7.59/7.65	c  7.6s |       7 |    24143 |     4223 |     2108      0 |     1662 |        0
9.39/9.47	c  9.4s |       8 |    26833 |     4936 |     2319      0 |     1662 |        0
11.49/11.50	c 11.4s |       8 |    31089 |     5736 |     2319      1 |     1662 |        0
13.69/13.78	c 13.7s |       8 |    32681 |     6336 |     2319      1 |     1662 |        0
16.09/16.19	c 16.1s |       8 |    35623 |     6936 |     2319      1 |     1662 |        0
17.69/17.78	c 17.7s |       9 |    37961 |     7506 |     2551      1 |     1662 |        0
19.89/19.98	c 19.9s |       9 |    43010 |     8506 |     2551      2 |     1662 |        0
22.09/22.20	c 22.1s |       9 |    46717 |     9406 |     2551      2 |     1662 |        0
24.30/24.35	c 24.3s |       9 |    49143 |    10006 |     2551      2 |     1662 |        0
26.39/26.42	c 26.4s |       9 |    52951 |    10906 |     2551      3 |     1662 |        0
27.70/27.73	c 27.7s |      10 |    54402 |    11361 |     2807      3 |     1662 |        0
29.69/29.77	c 29.7s |      10 |    59502 |    12161 |     2807      3 |     1662 |        0
31.89/31.97	c 31.9s |      10 |    62374 |    12861 |     2807      3 |     1662 |        0
34.08/34.15	c 34.1s |      10 |    64475 |    13561 |     2807      4 |     1662 |        0
36.39/36.41	c 36.3s |      10 |    66402 |    14261 |     2807      4 |     1662 |        0
38.38/38.47	c 38.4s |      10 |    67969 |    14861 |     2807      4 |     1662 |        0
40.58/40.63	c 40.6s |      10 |    70193 |    15461 |     2807      4 |     1662 |        0
42.68/42.77	c 42.7s |      10 |    72601 |    16161 |     2807      4 |     1662 |        0
44.88/44.98	c 44.9s |      10 |    74590 |    16661 |     2807      5 |     1662 |        0
46.68/46.74	c 46.7s |      11 |    76651 |    17144 |     3088      5 |     1662 |        0
48.78/48.82	c 48.8s |      11 |    84750 |    18644 |     3088      5 |     1662 |        0
50.79/50.89	c 50.8s |      11 |    88747 |    19844 |     3088      6 |     1662 |        0
52.78/52.90	c 52.8s |      11 |    94440 |    21344 |     3088      6 |     1662 |        0
54.98/55.00	c 54.9s |      11 |    99334 |    22644 |     3088      7 |     1662 |        0
57.08/57.13	c 57.1s |      11 |   103060 |    23644 |     3088      7 |     1662 |        0
59.18/59.24	c 59.2s |      11 |   107411 |    24644 |     3088      8 |     1662 |        0
60.38/60.49	c 60.4s |      12 |   112437 |    25819 |     3397      8 |     1662 |        0
62.58/62.62	c 62.5s |      12 |   115890 |    26919 |     3397      8 |     1662 |        0
64.78/64.86	c 64.8s |      12 |   117159 |    27719 |     3397      8 |     1662 |        0
66.88/66.92	c 66.8s |      12 |   118351 |    28419 |     3397      9 |     1662 |        0
68.98/69.01	c 68.9s |      12 |   119379 |    29119 |     3397      9 |     1662 |        0
71.08/71.10	c 71.0s |      12 |   120445 |    29819 |     3397      9 |     1662 |        0
73.08/73.17	c 73.1s |      12 |   121553 |    30419 |     3397      9 |     1662 |        0
75.47/75.50	c 75.4s |      12 |   122982 |    31119 |     3397      9 |     1662 |        0
77.47/77.57	c 77.5s |      12 |   123968 |    31719 |     3397     10 |     1662 |        0
79.47/79.58	c 79.5s |      12 |   125031 |    32319 |     3397     10 |     1662 |        0
81.58/81.60	c 81.5s |      12 |   126233 |    32919 |     3397     10 |     1662 |        0
83.69/83.78	c 83.7s |      12 |   127489 |    33519 |     3397     10 |     1662 |        0
86.18/86.25	c 86.2s |      12 |   128655 |    34119 |     3397     10 |     1662 |        0
88.48/88.56	c 88.5s |      12 |   129715 |    34719 |     3397     11 |     1662 |        0
90.88/90.94	c 90.9s |      12 |   130888 |    35319 |     3397     11 |     1662 |        0
92.97/93.08	c 93.0s |      12 |   132240 |    35919 |     3397     11 |     1662 |        0
95.17/95.23	c 95.2s |      12 |   133515 |    36519 |     3397     11 |     1662 |        0
97.18/97.26	c 97.2s |      12 |   135010 |    37119 |     3397     11 |     1662 |        0
99.18/99.30	c 99.2s |      12 |   136239 |    37719 |     3397     12 |     1662 |        0
101.18/101.30	c  101s |      12 |   137560 |    38319 |     3397     12 |     1662 |        0
102.88/102.93	c  102s |      13 |   138852 |    38832 |     3737     12 |     1662 |        0
104.88/104.95	c  104s |      13 |   143562 |    39832 |     3737     12 |     1662 |        0
107.07/107.19	c  107s |      13 |   145629 |    40632 |     3737     12 |     1662 |        0
109.17/109.20	c  109s |      13 |   147710 |    41232 |     3737     13 |     1662 |        0
111.18/111.23	c  111s |      13 |   150797 |    41932 |     3737     13 |     1662 |        0
113.27/113.36	c  113s |      13 |   152875 |    42532 |     3737     13 |     1662 |        0
115.47/115.50	c  115s |      13 |   154904 |    43132 |     3737     13 |     1662 |        0
117.47/117.56	c  117s |      13 |   157355 |    43732 |     3737     13 |     1662 |        0
119.87/119.98	c  119s |      13 |   158848 |    44232 |     3737     14 |     1662 |        0
122.28/122.36	c  122s |      13 |   160579 |    44632 |     3737     14 |     1662 |        0
124.57/124.68	c  124s |      13 |   162559 |    45232 |     3737     14 |     1662 |        0
126.77/126.85	c  126s |      13 |   164305 |    45732 |     3737     14 |     1662 |        0
128.78/128.87	c  128s |      13 |   165630 |    46232 |     3737     14 |     1662 |        0
131.07/131.15	c  131s |      13 |   168616 |    46832 |     3737     14 |     1662 |        0
133.06/133.19	c  133s |      13 |   170863 |    47432 |     3737     14 |     1662 |        0
135.17/135.24	c  135s |      13 |   171964 |    47932 |     3737     15 |     1662 |        0
137.27/137.34	c  137s |      13 |   173103 |    48432 |     3737     15 |     1662 |        0
139.67/139.72	c  139s |      13 |   174765 |    49032 |     3737     15 |     1662 |        0
141.98/142.08	c  142s |      13 |   176768 |    49632 |     3737     15 |     1662 |        0
144.18/144.24	c  144s |      13 |   179301 |    50332 |     3737     15 |     1662 |        0
146.27/146.37	c  146s |      13 |   181812 |    51132 |     3737     16 |     1662 |        0
148.47/148.58	c  148s |      13 |   184513 |    51932 |     3737     16 |     1662 |        0
150.67/150.79	c  150s |      13 |   186352 |    52632 |     3737     16 |     1662 |        0
152.97/153.10	c  153s |      13 |   188145 |    53232 |     3737     16 |     1662 |        0
155.17/155.23	c  155s |      13 |   189443 |    53732 |     3737     16 |     1662 |        0
157.37/157.48	c  157s |      13 |   190578 |    54232 |     3737     17 |     1662 |        0
159.46/159.55	c  159s |      13 |   191736 |    54732 |     3737     17 |     1662 |        0
161.77/161.82	c  161s |      13 |   193626 |    55332 |     3737     17 |     1662 |        0
164.07/164.16	c  164s |      13 |   196223 |    56032 |     3737     17 |     1662 |        0
166.36/166.40	c  166s |      13 |   197940 |    56632 |     3737     17 |     1662 |        0
168.66/168.71	c  168s |      13 |   199485 |    57132 |     3737     17 |     1662 |        0
170.76/170.82	c  170s |      13 |   201336 |    57632 |     3737     18 |     1662 |        0
172.77/172.89	c  172s |      13 |   202791 |    58132 |     4111     18 |     1662 |        0
173.76/173.85	c  173s |      14 |   203688 |    58352 |     4111     18 |     1662 |        0
175.86/175.93	c  175s |      14 |   206756 |    59252 |     4111     18 |     1662 |        0
177.87/177.95	c  177s |      14 |   208684 |    60052 |     4111     18 |     1662 |        0
179.97/180.05	c  179s |      14 |   210254 |    60752 |     4111     18 |     1662 |        0
182.07/182.14	c  182s |      14 |   211387 |    61352 |     4111     19 |     1662 |        0
184.17/184.24	c  184s |      14 |   214678 |    62252 |     4111     19 |     1662 |        0
186.46/186.51	c  186s |      14 |   216791 |    62952 |     4111     19 |     1662 |        0
188.76/188.86	c  188s |      14 |   219676 |    63752 |     4111     19 |     1662 |        0
190.86/190.90	c  190s |      14 |   222054 |    64452 |     4111     19 |     1662 |        0
193.06/193.14	c  193s |      14 |   224662 |    65152 |     4111     20 |     1662 |        0
195.06/195.16	c  195s |      14 |   227200 |    65852 |     4111     20 |     1662 |        0
197.07/197.18	c  197s |      14 |   229366 |    66452 |     4111     20 |     1662 |        0
199.45/199.57	c  199s |      14 |   231652 |    67152 |     4111     20 |     1662 |        0
201.55/201.63	c  201s |      14 |   233329 |    67752 |     4111     20 |     1662 |        0
203.75/203.80	c  203s |      14 |   235411 |    68352 |     4111     21 |     1662 |        0
206.05/206.12	c  206s |      14 |   237811 |    69052 |     4111     21 |     1662 |        0
208.35/208.43	c  208s |      14 |   240382 |    69852 |     4111     21 |     1662 |        0
210.46/210.55	c  210s |      14 |   242050 |    70452 |     4111     21 |     1662 |        0
212.56/212.62	c  212s |      14 |   243599 |    71052 |     4111     21 |     1662 |        0
214.86/214.94	c  214s |      14 |   245631 |    71752 |     4111     22 |     1662 |        0
217.06/217.17	c  217s |      14 |   247686 |    72352 |     4111     22 |     1662 |        0
219.56/219.67	c  219s |      14 |   249555 |    72852 |     4111     22 |     1662 |        0
221.76/221.88	c  221s |      14 |   251053 |    73452 |     4111     22 |     1662 |        0
224.26/224.36	c  224s |      14 |   252261 |    74052 |     4111     22 |     1662 |        0
226.25/226.39	c  226s |      14 |   253552 |    74452 |     4111     22 |     1662 |        0
228.65/228.70	c  228s |      14 |   255252 |    74852 |     4111     22 |     1662 |        0
230.95/231.04	c  230s |      14 |   256401 |    75252 |     4111     23 |     1662 |        0
233.45/233.53	c  233s |      14 |   258573 |    75752 |     4111     23 |     1662 |        0
235.46/235.53	c  235s |      14 |   260054 |    76252 |     4111     23 |     1662 |        0
237.95/238.03	c  237s |      14 |   261262 |    76752 |     4111     23 |     1662 |        0
240.35/240.44	c  240s |      14 |   262667 |    77252 |     4111     23 |     1662 |        0
242.75/242.81	c  242s |      14 |   263782 |    77652 |     4111     23 |     1662 |        0
245.05/245.14	c  245s |      14 |   264477 |    77952 |     4111     23 |     1662 |        0
247.15/247.28	c  247s |      14 |   265623 |    78352 |     4111     23 |     1662 |        0
249.45/249.52	c  249s |      14 |   266596 |    78752 |     4111     23 |     1662 |        0
251.96/252.06	c  251s |      14 |   267540 |    79152 |     4111     24 |     1662 |        0
254.26/254.35	c  254s |      14 |   268596 |    79552 |     4111     24 |     1662 |        0
256.46/256.54	c  256s |      14 |   270969 |    80152 |     4111     24 |     1662 |        0
258.75/258.84	c  258s |      14 |   273028 |    80752 |     4111     24 |     1662 |        0
260.76/260.85	c  260s |      14 |   274086 |    81152 |     4111     24 |     1662 |        0
262.75/262.86	c  262s |      14 |   275723 |    81652 |     4111     24 |     1662 |        0
265.26/265.37	c  265s |      14 |   277649 |    82252 |     4111     25 |     1662 |        0
267.45/267.58	c  267s |      14 |   280343 |    82952 |     4111     25 |     1662 |        0
269.75/269.89	c  269s |      14 |   282821 |    83652 |     4111     25 |     1662 |        0
271.85/271.91	c  271s |      14 |   285858 |    84452 |     4111     25 |     1662 |        0
273.95/274.02	c  273s |      14 |   288230 |    85152 |     4111     25 |     1662 |        0
275.94/276.02	c  275s |      14 |   290866 |    85752 |     4111     26 |     1662 |        0
278.14/278.26	c  278s |      14 |   293807 |    86552 |     4111     26 |     1662 |        0
280.34/280.43	c  280s |      14 |   296183 |    87252 |     4523     26 |     1662 |        0
281.54/281.62	c  281s |      15 |   297516 |    87632 |     4523     26 |     1662 |        0
283.55/283.65	c  283s |      15 |   299399 |    88332 |     4523     26 |     1662 |        0
285.65/285.71	c  285s |      15 |   300940 |    89032 |     4523     26 |     1662 |        0
287.95/288.05	c  287s |      15 |   303112 |    89732 |     4523     27 |     1662 |        0
290.15/290.28	c  290s |      15 |   304874 |    90332 |     4523     27 |     1662 |        0
292.35/292.47	c  292s |      15 |   306529 |    90832 |     4523     27 |     1662 |        0
294.74/294.83	c  294s |      15 |   307694 |    91332 |     4523     27 |     1662 |        0
297.05/297.10	c  297s |      15 |   309229 |    91932 |     4523     27 |     1662 |        0
299.04/299.13	c  299s |      15 |   310907 |    92432 |     4523     27 |     1662 |        0
301.14/301.24	c  301s |      15 |   312226 |    92932 |     4523     27 |     1662 |        0
303.14/303.29	c  303s |      15 |   313528 |    93432 |     4523     28 |     1662 |        0
305.24/305.35	c  305s |      15 |   314968 |    93932 |     4523     28 |     1662 |        0
307.25/307.38	c  307s |      15 |   316475 |    94432 |     4523     28 |     1662 |        0
309.55/309.69	c  309s |      15 |   318177 |    95032 |     4523     28 |     1662 |        0
311.85/311.98	c  311s |      15 |   319724 |    95532 |     4523     28 |     1662 |        0
314.24/314.33	c  314s |      15 |   320947 |    96032 |     4523     28 |     1662 |        0
316.44/316.58	c  316s |      15 |   322193 |    96532 |     4523     28 |     1662 |        0
318.84/318.97	c  318s |      15 |   323924 |    97032 |     4523     29 |     1662 |        0
320.94/321.09	c  321s |      15 |   325316 |    97532 |     4523     29 |     1662 |        0
323.45/323.51	c  323s |      15 |   326689 |    98032 |     4523     29 |     1662 |        0
325.64/325.72	c  325s |      15 |   327895 |    98532 |     4523     29 |     1662 |        0
327.74/327.82	c  327s |      15 |   329171 |    99032 |     4523     29 |     1662 |        0
330.14/330.23	c  330s |      15 |   330749 |    99532 |     4523     29 |     1662 |        0
332.43/332.52	c  332s |      15 |   332572 |   100032 |     4523     29 |     1662 |        0
334.54/334.69	c  334s |      15 |   334172 |   100532 |     4523     29 |     1662 |        0
336.83/336.96	c  336s |      15 |   335319 |   100932 |     4523     30 |     1662 |        0
339.24/339.32	c  339s |      15 |   336802 |   101432 |     4523     30 |     1662 |        0
341.44/341.55	c  341s |      15 |   339513 |   102032 |     4523     30 |     1662 |        0
343.84/343.96	c  343s |      15 |   342337 |   102732 |     4523     30 |     1662 |        0
346.03/346.12	c  346s |      15 |   344307 |   103232 |     4523     30 |     1662 |        0
348.43/348.52	c  348s |      15 |   346134 |   103732 |     4523     30 |     1662 |        0
350.74/350.87	c  350s |      15 |   347540 |   104232 |     4523     30 |     1662 |        0
353.14/353.22	c  353s |      15 |   349034 |   104732 |     4523     31 |     1662 |        0
355.34/355.41	c  355s |      15 |   350423 |   105232 |     4523     31 |     1662 |        0
357.54/357.65	c  357s |      15 |   351997 |   105732 |     4523     31 |     1662 |        0
359.64/359.71	c  359s |      15 |   353474 |   106232 |     4523     31 |     1662 |        0
361.83/361.92	c  361s |      15 |   354297 |   106632 |     4523     31 |     1662 |        0
364.03/364.18	c  364s |      15 |   356008 |   107132 |     4523     31 |     1662 |        0
366.34/366.44	c  366s |      15 |   357616 |   107632 |     4523     31 |     1662 |        0
368.93/369.09	c  369s |      15 |   359030 |   108132 |     4523     32 |     1662 |        0
371.23/371.30	c  371s |      15 |   360163 |   108532 |     4523     32 |     1662 |        0
373.63/373.76	c  373s |      15 |   361315 |   109032 |     4523     32 |     1662 |        0
375.93/376.08	c  376s |      15 |   363329 |   109532 |     4523     32 |     1662 |        0
378.03/378.11	c  378s |      15 |   364557 |   109932 |     4523     32 |     1662 |        0
380.43/380.50	c  380s |      15 |   366552 |   110432 |     4523     32 |     1662 |        0
382.53/382.65	c  382s |      15 |   368832 |   111032 |     4523     32 |     1662 |        0
384.63/384.76	c  384s |      15 |   370196 |   111432 |     4523     32 |     1662 |        0
386.63/386.78	c  386s |      15 |   372501 |   112032 |     4523     33 |     1662 |        0
388.93/389.05	c  388s |      15 |   376006 |   112932 |     4523     33 |     1662 |        0
390.93/391.07	c  390s |      15 |   378646 |   113632 |     4523     33 |     1662 |        0
393.23/393.37	c  393s |      15 |   380512 |   114232 |     4523     33 |     1662 |        0
395.33/395.46	c  395s |      15 |   382030 |   114732 |     4523     33 |     1662 |        0
397.72/397.86	c  397s |      15 |   384052 |   115332 |     4523     33 |     1662 |        0
399.92/400.02	c  399s |      15 |   386468 |   116032 |     4523     34 |     1662 |        0
402.22/402.31	c  402s |      15 |   389040 |   116832 |     4523     34 |     1662 |        0
404.22/404.38	c  404s |      15 |   391141 |   117532 |     4523     34 |     1662 |        0
406.62/406.71	c  406s |      15 |   392642 |   118132 |     4523     34 |     1662 |        0
408.82/408.98	c  408s |      15 |   393902 |   118632 |     4523     34 |     1662 |        0
411.12/411.28	c  411s |      15 |   394904 |   119132 |     4523     34 |     1662 |        0
413.23/413.38	c  413s |      15 |   396218 |   119632 |     4523     35 |     1662 |        0
415.33/415.42	c  415s |      15 |   397374 |   120132 |     4523     35 |     1662 |        0
417.62/417.73	c  417s |      15 |   399344 |   120732 |     4523     35 |     1662 |        0
419.82/419.91	c  419s |      15 |   400980 |   121332 |     4523     35 |     1662 |        0
422.02/422.13	c  422s |      15 |   403223 |   121932 |     4523     35 |     1662 |        0
424.42/424.51	c  424s |      15 |   404857 |   122532 |     4523     35 |     1662 |        0
426.42/426.57	c  426s |      15 |   407706 |   123232 |     4523     36 |     1662 |        0
428.72/428.84	c  428s |      15 |   409612 |   123932 |     4523     36 |     1662 |        0
430.82/430.91	c  430s |      15 |   412790 |   124732 |     4523     36 |     1662 |        0
432.82/432.93	c  432s |      15 |   414695 |   125332 |     4523     36 |     1662 |        0
435.12/435.21	c  435s |      15 |   416356 |   126032 |     4523     36 |     1662 |        0
437.22/437.35	c  437s |      15 |   418115 |   126532 |     4523     37 |     1662 |        0
439.32/439.43	c  439s |      15 |   419822 |   127132 |     4523     37 |     1662 |        0
441.52/441.68	c  441s |      15 |   422615 |   127932 |     4523     37 |     1662 |        0
443.72/443.83	c  443s |      15 |   424366 |   128532 |     4523     37 |     1662 |        0
445.92/446.00	c  445s |      15 |   426781 |   129132 |     4523     37 |     1662 |        0
447.92/448.09	c  448s |      15 |   428630 |   129632 |     4523     37 |     1662 |        0
450.02/450.14	c  450s |      15 |   430704 |   130132 |     4523     37 |     1662 |        0
452.01/452.18	c  452s |      15 |   432736 |   130632 |     4523     38 |     1662 |        0
454.42/454.53	c  454s |      15 |   434405 |   131132 |     4976     38 |     1662 |        0
456.11/456.26	c  456s |      16 |   435590 |   131552 |     4976     38 |     1662 |        0
458.21/458.36	c  458s |      16 |   438805 |   132352 |     4976     38 |     1662 |        0
460.42/460.50	c  460s |      16 |   441421 |   133152 |     4976     38 |     1662 |        0
462.42/462.54	c  462s |      16 |   443394 |   133752 |     4976     38 |     1662 |        0
464.81/464.96	c  464s |      16 |   445280 |   134452 |     4976     39 |     1662 |        0
467.01/467.12	c  467s |      16 |   448154 |   135152 |     4976     39 |     1662 |        0
469.01/469.18	c  469s |      16 |   450367 |   135752 |     4976     39 |     1662 |        0
471.41/471.53	c  471s |      16 |   452175 |   136352 |     4976     39 |     1662 |        0
473.71/473.84	c  473s |      16 |   454010 |   136952 |     4976     39 |     1662 |        0
475.71/475.87	c  475s |      16 |   455690 |   137452 |     4976     39 |     1662 |        0
477.80/477.98	c  477s |      16 |   457151 |   137952 |     4976     39 |     1662 |        0
480.51/480.64	c  480s |      16 |   458898 |   138452 |     4976     40 |     1662 |        0
482.81/482.92	c  482s |      16 |   459814 |   138852 |     4976     40 |     1662 |        0
484.91/485.00	c  484s |      16 |   460711 |   139252 |     4976     40 |     1662 |        0
487.41/487.54	c  487s |      16 |   462569 |   139752 |     4976     40 |     1662 |        0
489.61/489.77	c  489s |      16 |   463401 |   140152 |     4976     40 |     1662 |        0
491.71/491.88	c  491s |      16 |   465669 |   140752 |     4976     40 |     1662 |        0
494.01/494.15	c  494s |      16 |   466735 |   141252 |     4976     40 |     1662 |        0
496.41/496.54	c  496s |      16 |   468037 |   141752 |     4976     40 |     1662 |        0
498.70/498.89	c  498s |      16 |   469595 |   142252 |     4976     40 |     1662 |        0
501.00/501.17	c  501s |      16 |   470952 |   142752 |     4976     41 |     1662 |        0
503.30/503.45	c  503s |      16 |   472597 |   143352 |     4976     41 |     1662 |        0
505.30/505.48	c  505s |      16 |   473867 |   143752 |     4976     41 |     1662 |        0
507.60/507.72	c  507s |      16 |   474915 |   144052 |     4976     41 |     1662 |        0
509.90/510.01	c  509s |      16 |   476679 |   144552 |     4976     41 |     1662 |        0
511.90/512.02	c  511s |      16 |   478005 |   145052 |     4976     41 |     1662 |        0
514.00/514.17	c  514s |      16 |   480304 |   145652 |     4976     41 |     1662 |        0
516.20/516.30	c  516s |      16 |   481925 |   146152 |     4976     41 |     1662 |        0
518.50/518.63	c  518s |      16 |   483811 |   146652 |     4976     42 |     1662 |        0
520.70/520.84	c  520s |      16 |   485664 |   147152 |     4976     42 |     1662 |        0
522.80/522.99	c  522s |      16 |   487948 |   147852 |     4976     42 |     1662 |        0
525.09/525.23	c  525s |      16 |   489951 |   148352 |     4976     42 |     1662 |        0
527.19/527.39	c  527s |      16 |   494947 |   148952 |     4976     42 |     1662 |        0
529.39/529.52	c  529s |      16 |   504498 |   149952 |     4976     42 |     1662 |        0
531.40/531.55	c  531s |      16 |   507660 |   150752 |     4976     43 |     1662 |        0
533.60/533.74	c  533s |      16 |   510884 |   151552 |     4976     43 |     1662 |        0
535.69/535.82	c  535s |      16 |   514280 |   152252 |     4976     43 |     1662 |        0
537.79/537.92	c  537s |      16 |   519548 |   152852 |     4976     43 |     1662 |        0
539.79/539.97	c  539s |      16 |   521250 |   153352 |     4976     43 |     1662 |        0
541.79/541.99	c  541s |      16 |   523387 |   154052 |     4976     44 |     1662 |        0
544.09/544.23	c  544s |      16 |   526462 |   154852 |     4976     44 |     1662 |        0
546.29/546.49	c  546s |      16 |   529001 |   155552 |     4976     44 |     1662 |        0
548.39/548.50	c  548s |      16 |   532063 |   156252 |     4976     44 |     1662 |        0
550.79/550.96	c  550s |      16 |   534355 |   156852 |     4976     44 |     1662 |        0
553.09/553.20	c  553s |      16 |   535770 |   157352 |     4976     44 |     1662 |        0
555.09/555.26	c  555s |      16 |   540053 |   158152 |     4976     45 |     1662 |        0
557.19/557.33	c  557s |      16 |   542840 |   158952 |     4976     45 |     1662 |        0
559.39/559.53	c  559s |      16 |   545878 |   159752 |     4976     45 |     1662 |        0
561.59/561.76	c  561s |      16 |   548099 |   160452 |     4976     45 |     1662 |        0
563.98/564.13	c  564s |      16 |   550422 |   161152 |     4976     45 |     1662 |        0
566.18/566.33	c  566s |      16 |   551189 |   161552 |     4976     46 |     1662 |        0
568.28/568.44	c  568s |      16 |   554344 |   162052 |     4976     46 |     1662 |        0
570.38/570.57	c  570s |      16 |   557547 |   162752 |     4976     46 |     1662 |        0
572.68/572.89	c  572s |      16 |   559539 |   163352 |     4976     46 |     1662 |        0
574.68/574.89	c  574s |      16 |   561728 |   163752 |     4976     46 |     1662 |        0
576.78/576.95	c  576s |      16 |   564906 |   164352 |     4976     46 |     1662 |        0
578.88/579.05	c  578s |      16 |   567391 |   164952 |     4976     46 |     1662 |        0
581.28/581.42	c  581s |      16 |   570528 |   165352 |     4976     47 |     1662 |        0
583.27/583.49	c  583s |      16 |   572067 |   165852 |     4976     47 |     1662 |        0
585.48/585.69	c  585s |      16 |   574721 |   166552 |     4976     47 |     1662 |        0
588.49/588.68	c  588s |      16 |   575816 |   166952 |     4976     47 |     1662 |        0
591.28/591.44	c  591s |      16 |   576617 |   167252 |     4976     47 |     1662 |        0
593.98/594.17	c  594s |      16 |   577307 |   167552 |     4976     47 |     1662 |        0
596.28/596.49	c  596s |      16 |   577654 |   167752 |     4976     47 |     1662 |        0
598.28/598.50	c  598s |      16 |   579484 |   168152 |     4976     47 |     1662 |        0
600.37/600.51	c  600s |      16 |   580778 |   168552 |     4976     47 |     1662 |        0
602.78/602.99	c  602s |      16 |   582678 |   169052 |     4976     47 |     1662 |        0
605.27/605.41	c  605s |      16 |   583529 |   169452 |     4976     48 |     1662 |        0
607.77/607.92	c  607s |      16 |   584564 |   169852 |     4976     48 |     1662 |        0
610.17/610.33	c  610s |      16 |   585800 |   170252 |     4976     48 |     1662 |        0
612.87/613.04	c  612s |      16 |   587011 |   170652 |     4976     48 |     1662 |        0
615.17/615.39	c  615s |      16 |   587706 |   170952 |     4976     48 |     1662 |        0
617.77/617.93	c  617s |      16 |   588958 |   171352 |     4976     48 |     1662 |        0
619.97/620.10	c  620s |      16 |   589615 |   171652 |     4976     48 |     1662 |        0
622.27/622.49	c  622s |      16 |   590535 |   172052 |     4976     48 |     1662 |        0
624.96/625.15	c  625s |      16 |   592121 |   172452 |     4976     48 |     1662 |        0
627.46/627.68	c  627s |      16 |   593189 |   172752 |     4976     48 |     1662 |        0
629.86/630.06	c  629s |      16 |   594170 |   173152 |     4976     49 |     1662 |        0
632.26/632.49	c  632s |      16 |   594999 |   173452 |     4976     49 |     1662 |        0
634.36/634.57	c  634s |      16 |   595462 |   173652 |     4976     49 |     1662 |        0
636.87/637.09	c  637s |      16 |   596197 |   173952 |     4976     49 |     1662 |        0
639.07/639.25	c  639s |      16 |   596712 |   174152 |     4976     49 |     1662 |        0
641.37/641.52	c  641s |      16 |   597779 |   174552 |     4976     49 |     1662 |        0
643.35/643.54	c  643s |      16 |   599487 |   174952 |     4976     49 |     1662 |        0
645.55/645.74	c  645s |      16 |   601726 |   175452 |     4976     49 |     1662 |        0
648.05/648.24	c  648s |      16 |   604233 |   176052 |     4976     49 |     1662 |        0
650.46/650.62	c  650s |      16 |   606324 |   176552 |     4976     49 |     1662 |        0
652.86/653.06	c  652s |      16 |   608916 |   176952 |     4976     50 |     1662 |        0
655.25/655.40	c  655s |      16 |   610597 |   177452 |     4976     50 |     1662 |        0
657.35/657.59	c  657s |      16 |   612203 |   177852 |     4976     50 |     1662 |        0
659.65/659.87	c  659s |      16 |   612979 |   178252 |     4976     50 |     1662 |        0
662.65/662.87	c  662s |      16 |   613968 |   178552 |     4976     50 |     1662 |        0
666.55/666.77	c  666s |      16 |   614764 |   178752 |     4976     50 |     1662 |        0
669.14/669.33	c  669s |      16 |   618721 |   179452 |     4976     50 |     1662 |        0
671.24/671.44	c  671s |      16 |   622096 |   179952 |     4976     50 |     1662 |        0
673.55/673.78	c  673s |      16 |   623444 |   180452 |     4976     50 |     1662 |        0
675.75/675.98	c  675s |      16 |   624967 |   180852 |     4976     51 |     1662 |        0
678.24/678.42	c  678s |      16 |   625951 |   181352 |     4976     51 |     1662 |        0
680.24/680.46	c  680s |      16 |   626798 |   181752 |     4976     51 |     1662 |        0
682.44/682.65	c  682s |      16 |   628139 |   182152 |     4976     51 |     1662 |        0
684.94/685.13	c  685s |      16 |   629285 |   182652 |     4976     51 |     1662 |        0
687.14/687.31	c  687s |      16 |   630799 |   183152 |     4976     51 |     1662 |        0
689.64/689.90	c  689s |      16 |   632151 |   183652 |     4976     51 |     1662 |        0
691.85/692.07	c  691s |      16 |   633266 |   184052 |     4976     51 |     1662 |        0
694.44/694.68	c  694s |      16 |   634294 |   184452 |     4976     52 |     1662 |        0
697.14/697.31	c  697s |      16 |   635229 |   184852 |     4976     52 |     1662 |        0
699.44/699.70	c  699s |      16 |   640575 |   185452 |     4976     52 |     1662 |        0
701.94/702.10	c  702s |      16 |   643086 |   186052 |     4976     52 |     1662 |        0
704.04/704.23	c  704s |      16 |   644412 |   186452 |     4976     52 |     1662 |        0
706.43/706.65	c  706s |      16 |   645466 |   186752 |     4976     52 |     1662 |        0
708.73/708.99	c  708s |      16 |   646869 |   187152 |     4976     52 |     1662 |        0
711.33/711.52	c  711s |      16 |   648631 |   187552 |     4976     52 |     1662 |        0
713.83/714.04	c  713s |      16 |   650018 |   187952 |     4976     52 |     1662 |        0
716.32/716.54	c  716s |      16 |   651297 |   188352 |     4976     52 |     1662 |        0
718.34/718.58	c  718s |      16 |   651808 |   188552 |     4976     53 |     1662 |        0
720.63/720.83	c  720s |      16 |   653450 |   189052 |     4976     53 |     1662 |        0
722.64/722.87	c  722s |      16 |   656031 |   189552 |     4976     53 |     1662 |        0
724.84/725.09	c  725s |      16 |   659875 |   190452 |     4976     53 |     1662 |        0
726.93/727.16	c  727s |      16 |   663395 |   191352 |     4976     53 |     1662 |        0
729.23/729.43	c  729s |      16 |   665755 |   191952 |     4976     53 |     1662 |        0
731.33/731.59	c  731s |      16 |   667316 |   192252 |     4976     54 |     1662 |        0
733.73/733.92	c  733s |      16 |   669320 |   192752 |     4976     54 |     1662 |        0
735.73/735.96	c  735s |      16 |   671424 |   193352 |     4976     54 |     1662 |        0
738.23/738.41	c  738s |      16 |   672770 |   193852 |     4976     54 |     1662 |        0
740.43/740.68	c  740s |      16 |   674252 |   194352 |     4976     54 |     1662 |        0
742.72/742.95	c  742s |      16 |   675927 |   194952 |     4976     54 |     1662 |        0
744.92/745.17	c  745s |      16 |   678422 |   195752 |     4976     54 |     1662 |        0
747.22/747.48	c  747s |      16 |   680545 |   196352 |     5474     55 |     1662 |        0
749.72/749.97	c  749s |      16 |   682390 |   196852 |     5474     55 |     1662 |        0
752.62/752.80	c  752s |      16 |   683232 |   197252 |     5474     55 |     1662 |        0
754.81/755.09	c  755s |      17 |   683717 |   197432 |     5474     55 |     1662 |        0
757.12/757.39	c  757s |      17 |   687110 |   197932 |     5474     55 |     1662 |        0
759.32/759.51	c  759s |      17 |   689025 |   198532 |     5474     55 |     1662 |        0
761.72/761.94	c  761s |      17 |   691246 |   199132 |     5474     55 |     1662 |        0
763.82/764.06	c  763s |      17 |   693021 |   199732 |     5474     55 |     1662 |        0
766.51/766.74	c  766s |      17 |   694458 |   200232 |     5474     56 |     1662 |        0
769.21/769.43	c  769s |      17 |   695291 |   200632 |     5474     56 |     1662 |        0
771.51/771.70	c  771s |      17 |   696183 |   201032 |     5474     56 |     1662 |        0
773.61/773.86	c  773s |      17 |   696942 |   201332 |     5474     56 |     1662 |        0
775.71/775.97	c  775s |      17 |   701221 |   202132 |     5474     56 |     1662 |        0
777.81/778.08	c  778s |      17 |   705431 |   202932 |     5474     56 |     1662 |        0
780.00/780.28	c  780s |      17 |   707967 |   203532 |     5474     56 |     1662 |        0
782.21/782.44	c  782s |      17 |   711425 |   204232 |     5474     57 |     1662 |        0
784.40/784.64	c  784s |      17 |   714494 |   205032 |     5474     57 |     1662 |        0
786.60/786.80	c  786s |      17 |   719007 |   205832 |     5474     57 |     1662 |        0
788.80/789.06	c  788s |      17 |   722231 |   206732 |     5474     57 |     1662 |        0
791.00/791.27	c  791s |      17 |   724279 |   207332 |     5474     57 |     1662 |        0
793.60/793.80	c  793s |      17 |   725497 |   207832 |     5474     57 |     1662 |        0
795.60/795.84	c  795s |      17 |   727856 |   208332 |     5474     58 |     1662 |        0
797.70/797.96	c  797s |      17 |   735119 |   209432 |     5474     58 |     1662 |        0
799.90/800.13	c  800s |      17 |   738984 |   210132 |     5474     58 |     1662 |        0
802.20/802.48	c  802s |      17 |   742321 |   210932 |     5474     58 |     1662 |        0
804.19/804.49	c  804s |      17 |   745218 |   211632 |     5474     58 |     1662 |        0
806.39/806.62	c  806s |      17 |   748319 |   212332 |     5474     59 |     1662 |        0
809.40/809.60	c  809s |      17 |   752822 |   213132 |     5474     59 |     1662 |        0
811.40/811.63	c  811s |      17 |   755659 |   213632 |     5474     59 |     1662 |        0
813.39/813.64	c  813s |      17 |   757910 |   214132 |     5474     59 |     1662 |        0
815.49/815.76	c  815s |      17 |   759105 |   214432 |     5474     59 |     1662 |        0
817.89/818.10	c  818s |      17 |   761222 |   214732 |     5474     59 |     1662 |        0
820.08/820.39	c  820s |      17 |   763283 |   215232 |     5474     59 |     1662 |        0
822.19/822.46	c  822s |      17 |   765024 |   215732 |     5474     59 |     1662 |        0
824.49/824.79	c  824s |      17 |   766217 |   216132 |     5474     59 |     1662 |        0
826.69/826.96	c  826s |      17 |   767483 |   216532 |     5474     60 |     1662 |        0
829.08/829.30	c  829s |      17 |   769066 |   217032 |     5474     60 |     1662 |        0
831.39/831.67	c  831s |      17 |   771179 |   217532 |     5474     60 |     1662 |        0
833.48/833.75	c  833s |      17 |   772308 |   217832 |     5474     60 |     1662 |        0
835.69/835.97	c  835s |      17 |   773196 |   218132 |     5474     60 |     1662 |        0
838.10/838.39	c  838s |      17 |   774334 |   218532 |     5474     60 |     1662 |        0
840.59/840.87	c  840s |      17 |   775558 |   218932 |     5474     60 |     1662 |        0
842.78/843.02	c  842s |      17 |   777921 |   219432 |     5474     60 |     1662 |        0
844.88/845.14	c  845s |      17 |   781171 |   219932 |     5474     60 |     1662 |        0
846.89/847.17	c  847s |      17 |   782977 |   220432 |     5474     60 |     1662 |        0
849.48/849.78	c  849s |      17 |   784378 |   220832 |     5474     61 |     1662 |        0
851.88/852.14	c  852s |      17 |   785762 |   221332 |     5474     61 |     1662 |        0
854.18/854.43	c  854s |      17 |   787893 |   221932 |     5474     61 |     1662 |        0
856.88/857.12	c  857s |      17 |   789188 |   222332 |     5474     61 |     1662 |        0
859.09/859.32	c  859s |      17 |   790977 |   222932 |     5474     61 |     1662 |        0
861.19/861.44	c  861s |      17 |   791828 |   223332 |     5474     61 |     1662 |        0
863.38/863.67	c  863s |      17 |   797569 |   224132 |     5474     61 |     1662 |        0
866.47/866.70	c  866s |      17 |   799210 |   224632 |     5474     62 |     1662 |        0
868.77/869.03	c  868s |      17 |   801405 |   225132 |     5474     62 |     1662 |        0
871.18/871.44	c  871s |      17 |   803924 |   225732 |     5474     62 |     1662 |        0
873.38/873.68	c  873s |      17 |   806069 |   226432 |     5474     62 |     1662 |        0
875.47/875.71	c  875s |      17 |   807218 |   226832 |     5474     62 |     1662 |        0
877.87/878.11	c  878s |      17 |   809788 |   227432 |     5474     62 |     1662 |        0
880.07/880.35	c  880s |      17 |   811493 |   227932 |     5474     62 |     1662 |        0
882.47/882.71	c  882s |      17 |   812939 |   228432 |     5474     62 |     1662 |        0
884.56/884.80	c  884s |      17 |   814558 |   228832 |     5474     63 |     1662 |        0
886.77/887.07	c  887s |      17 |   816243 |   229432 |     5474     63 |     1662 |        0
888.86/889.12	c  889s |      17 |   817660 |   229832 |     5474     63 |     1662 |        0
891.47/891.78	c  891s |      17 |   818944 |   230232 |     5474     63 |     1662 |        0
893.66/893.99	c  893s |      17 |   822454 |   230732 |     5474     63 |     1662 |        0
895.75/896.02	c  895s |      17 |   823980 |   231232 |     5474     63 |     1662 |        0
897.95/898.27	c  898s |      17 |   827804 |   231932 |     5474     63 |     1662 |        0
900.36/900.62	c  900s |      17 |   830313 |   232432 |     5474     63 |     1662 |        0
902.66/902.96	c  902s |      17 |   832002 |   232932 |     5474     63 |     1662 |        0
905.26/905.52	c  905s |      17 |   833091 |   233332 |     5474     64 |     1662 |        0
907.36/907.64	c  907s |      17 |   836045 |   233832 |     5474     64 |     1662 |        0
909.35/909.65	c  909s |      17 |   837853 |   234232 |     5474     64 |     1662 |        0
911.66/911.97	c  911s |      17 |   839957 |   234732 |     5474     64 |     1662 |        0
913.96/914.23	c  914s |      17 |   841709 |   235132 |     5474     64 |     1662 |        0
916.15/916.43	c  916s |      17 |   843577 |   235532 |     5474     64 |     1662 |        0
918.24/918.58	c  918s |      17 |   845704 |   236032 |     5474     64 |     1662 |        0
920.34/920.62	c  920s |      17 |   847365 |   236432 |     5474     64 |     1662 |        0
922.44/922.73	c  922s |      17 |   848680 |   236732 |     5474     64 |     1662 |        0
924.96/925.27	c  925s |      17 |   849228 |   237032 |     5474     64 |     1662 |        0
927.55/927.82	c  927s |      17 |   850730 |   237432 |     5474     65 |     1662 |        0
929.94/930.22	c  930s |      17 |   852375 |   237932 |     5474     65 |     1662 |        0
932.25/932.55	c  932s |      17 |   853900 |   238332 |     5474     65 |     1662 |        0
934.55/934.87	c  934s |      17 |   854874 |   238632 |     5474     65 |     1662 |        0
936.74/937.03	c  936s |      17 |   855706 |   238932 |     5474     65 |     1662 |        0
938.84/939.14	c  939s |      17 |   856924 |   239332 |     5474     65 |     1662 |        0
940.94/941.28	c  941s |      17 |   858137 |   239732 |     5474     65 |     1662 |        0
943.24/943.53	c  943s |      17 |   859775 |   240132 |     5474     65 |     1662 |        0
945.74/946.08	c  946s |      17 |   861156 |   240632 |     5474     65 |     1662 |        0
947.93/948.20	c  948s |      17 |   862276 |   241032 |     5474     65 |     1662 |        0
950.13/950.45	c  950s |      17 |   863162 |   241332 |     5474     66 |     1662 |        0
952.63/952.98	c  952s |      17 |   864997 |   241732 |     5474     66 |     1662 |        0
954.83/955.15	c  955s |      17 |   866753 |   242132 |     5474     66 |     1662 |        0
956.93/957.24	c  957s |      17 |   868562 |   242532 |     5474     66 |     1662 |        0
959.04/959.39	c  959s |      17 |   870085 |   242932 |     5474     66 |     1662 |        0
961.13/961.43	c  961s |      17 |   872260 |   243232 |     5474     66 |     1662 |        0
963.62/963.99	c  963s |      17 |   873788 |   243632 |     5474     66 |     1662 |        0
966.53/966.82	c  966s |      17 |   875285 |   244032 |     5474     66 |     1662 |        0
968.93/969.27	c  969s |      17 |   876099 |   244332 |     5474     66 |     1662 |        0
971.23/971.53	c  971s |      17 |   877105 |   244632 |     5474     66 |     1662 |        0
973.63/973.93	c  973s |      17 |   879383 |   245132 |     5474     66 |     1662 |        0
975.63/975.99	c  975s |      17 |   880677 |   245432 |     5474     67 |     1662 |        0
977.73/978.02	c  977s |      17 |   882500 |   245832 |     5474     67 |     1662 |        0
979.93/980.24	c  980s |      17 |   883648 |   246132 |     5474     67 |     1662 |        0
982.62/982.99	c  982s |      17 |   884554 |   246432 |     5474     67 |     1662 |        0
984.92/985.27	c  985s |      17 |   885413 |   246732 |     5474     67 |     1662 |        0
986.92/987.27	c  987s |      17 |   887187 |   247032 |     5474     67 |     1662 |        0
989.41/989.74	c  989s |      17 |   889021 |   247332 |     5474     67 |     1662 |        0
991.72/992.09	c  992s |      17 |   890131 |   247632 |     5474     67 |     1662 |        0
994.42/994.71	c  994s |      17 |   891985 |   248032 |     5474     67 |     1662 |        0
996.52/996.87	c  996s |      17 |   892740 |   248332 |     5474     67 |     1662 |        0
998.81/999.18	c  999s |      17 |   893616 |   248632 |     5474     67 |     1662 |        0
1001.11/1001.49	c 1001s |      17 |   894433 |   248932 |     5474     67 |     1662 |        0
1003.31/1003.69	c 1003s |      17 |   895238 |   249232 |     5474     67 |     1662 |        0
1006.01/1006.36	c 1006s |      17 |   895827 |   249532 |     5474     68 |     1662 |        0
1008.31/1008.67	c 1008s |      17 |   896748 |   249832 |     5474     68 |     1662 |        0
1010.31/1010.69	c 1010s |      17 |   898681 |   250232 |     5474     68 |     1662 |        0
1012.91/1013.30	c 1013s |      17 |   899869 |   250632 |     5474     68 |     1662 |        0
1015.21/1015.56	c 1015s |      17 |   901032 |   250932 |     5474     68 |     1662 |        0
1017.20/1017.59	c 1017s |      17 |   901648 |   251132 |     5474     68 |     1662 |        0
1019.30/1019.66	c 1019s |      17 |   902555 |   251432 |     5474     68 |     1662 |        0
1021.61/1021.99	c 1021s |      17 |   903497 |   251732 |     5474     68 |     1662 |        0
1023.80/1024.11	c 1024s |      17 |   905044 |   252032 |     5474     68 |     1662 |        0
1026.30/1026.60	c 1026s |      17 |   906791 |   252332 |     5474     68 |     1662 |        0
1028.31/1028.62	c 1028s |      17 |   907425 |   252532 |     5474     68 |     1662 |        0
1030.40/1030.71	c 1030s |      17 |   910521 |   253132 |     5474     68 |     1662 |        0
1032.71/1033.06	c 1032s |      17 |   913131 |   253632 |     5474     68 |     1662 |        0
1034.90/1035.27	c 1035s |      17 |   917633 |   254332 |     5474     69 |     1662 |        0
1037.10/1037.41	c 1037s |      17 |   920247 |   254932 |     5474     69 |     1662 |        0
1039.30/1039.64	c 1039s |      17 |   923001 |   255532 |     5474     69 |     1662 |        0
1041.80/1042.10	c 1042s |      17 |   925602 |   256132 |     5474     69 |     1662 |        0
1044.19/1044.51	c 1044s |      17 |   927517 |   256632 |     5474     69 |     1662 |        0
1046.29/1046.65	c 1046s |      17 |   928838 |   257032 |     5474     69 |     1662 |        0
1048.39/1048.74	c 1048s |      17 |   929917 |   257432 |     5474     69 |     1662 |        0
1050.49/1050.89	c 1050s |      17 |   931492 |   257832 |     5474     70 |     1662 |        0
1053.09/1053.44	c 1053s |      17 |   933263 |   258332 |     5474     70 |     1662 |        0
1055.20/1055.50	c 1055s |      17 |   935468 |   258832 |     5474     70 |     1662 |        0
1057.19/1057.53	c 1057s |      17 |   937579 |   259332 |     5474     70 |     1662 |        0
1059.59/1059.90	c 1059s |      17 |   940428 |   260032 |     5474     70 |     1662 |        0
1062.09/1062.45	c 1062s |      17 |   942675 |   260532 |     5474     70 |     1662 |        0
1064.19/1064.58	c 1064s |      17 |   945182 |   261032 |     5474     70 |     1662 |        0
1066.39/1066.75	c 1066s |      17 |   947461 |   261532 |     5474     70 |     1662 |        0
1069.00/1069.34	c 1069s |      17 |   948829 |   261932 |     5474     71 |     1662 |        0
1070.99/1071.39	c 1071s |      17 |   951236 |   262432 |     5474     71 |     1662 |        0
1073.39/1073.74	c 1073s |      17 |   954606 |   263032 |     5474     71 |     1662 |        0
1075.49/1075.88	c 1075s |      17 |   959020 |   263832 |     5474     71 |     1662 |        0
1077.69/1078.00	c 1077s |      17 |   962914 |   264632 |     5474     71 |     1662 |        0
1080.00/1080.35	c 1080s |      17 |   967096 |   265332 |     5474     71 |     1662 |        0
1082.09/1082.41	c 1082s |      17 |   969350 |   265832 |     5474     71 |     1662 |        0
1084.39/1084.80	c 1084s |      17 |   971113 |   266232 |     5474     72 |     1662 |        0
1086.99/1087.34	c 1087s |      17 |   972292 |   266532 |     5474     72 |     1662 |        0
1090.59/1090.98	c 1090s |      17 |   972763 |   266732 |     5474     72 |     1662 |        0
1093.09/1093.43	c 1093s |      17 |   973681 |   266932 |     5474     72 |     1662 |        0
1095.39/1095.76	c 1095s |      17 |   974626 |   267132 |     5474     72 |     1662 |        0
1097.69/1098.09	c 1098s |      17 |   975658 |   267432 |     5474     72 |     1662 |        0
1099.68/1100.10	c 1100s |      17 |   976201 |   267632 |     5474     72 |     1662 |        0
1103.10/1103.46	c 1103s |      17 |   977186 |   267932 |     5474     72 |     1662 |        0
1105.19/1105.51	c 1105s |      17 |   977696 |   268132 |     5474     72 |     1662 |        0
1107.29/1107.66	c 1107s |      17 |   978600 |   268432 |     5474     72 |     1662 |        0
1109.39/1109.72	c 1109s |      17 |   981682 |   269032 |     5474     72 |     1662 |        0
1111.58/1111.98	c 1111s |      17 |   983335 |   269532 |     5474     72 |     1662 |        0
1113.99/1114.32	c 1114s |      17 |   985288 |   269932 |     5474     72 |     1662 |        0
1116.49/1116.82	c 1116s |      17 |   985927 |   270132 |     5474     73 |     1662 |        0
1118.88/1119.21	c 1119s |      17 |   988032 |   270632 |     5474     73 |     1662 |        0
1120.88/1121.28	c 1121s |      17 |   989714 |   271132 |     5474     73 |     1662 |        0
1123.18/1123.50	c 1123s |      17 |   992527 |   271832 |     5474     73 |     1662 |        0
1125.38/1125.74	c 1125s |      17 |   994772 |   272632 |     5474     73 |     1662 |        0
1127.68/1128.07	c 1128s |      17 |   996561 |   273132 |     5474     73 |     1662 |        0
1129.98/1130.34	c 1130s |      17 |   997718 |   273532 |     5474     73 |     1662 |        0
1132.48/1132.88	c 1132s |      17 |   999079 |   273932 |     5474     73 |     1662 |        0
1135.09/1135.42	c 1135s |      17 |  1000509 |   274332 |     5474     74 |     1662 |        0
1137.29/1137.66	c 1137s |      17 |  1001870 |   274832 |     5474     74 |     1662 |        0
1139.88/1140.29	c 1140s |      17 |  1004344 |   275332 |     5474     74 |     1662 |        0
1142.08/1142.45	c 1142s |      17 |  1008079 |   275932 |     5474     74 |     1662 |        0
1144.38/1144.78	c 1144s |      17 |  1015025 |   276632 |     5474     74 |     1662 |        0
1147.18/1147.56	c 1147s |      17 |  1017611 |   277232 |     5474     74 |     1662 |        0
1149.28/1149.60	c 1149s |      17 |  1020242 |   277732 |     5474     74 |     1662 |        0
1151.88/1152.25	c 1152s |      17 |  1021379 |   278232 |     5474     74 |     1662 |        0
1154.18/1154.56	c 1154s |      17 |  1024618 |   278732 |     5474     75 |     1662 |        0
1156.28/1156.69	c 1156s |      17 |  1027247 |   279332 |     5474     75 |     1662 |        0
1158.58/1158.93	c 1158s |      17 |  1031763 |   279932 |     5474     75 |     1662 |        0
1162.07/1162.47	c 1162s |      17 |  1034629 |   280332 |     5474     75 |     1662 |        0
1164.17/1164.52	c 1164s |      17 |  1035121 |   280532 |     5474     75 |     1662 |        0
1166.27/1166.66	c 1166s |      17 |  1036676 |   280832 |     5474     75 |     1662 |        0
1168.48/1168.87	c 1168s |      17 |  1041244 |   281432 |     5474     75 |     1662 |        0
1170.77/1171.12	c 1171s |      17 |  1043306 |   281832 |     5474     75 |     1662 |        0
1172.88/1173.20	c 1173s |      17 |  1045346 |   282132 |     5474     75 |     1662 |        0
1174.88/1175.27	c 1175s |      17 |  1046558 |   282432 |     5474     76 |     1662 |        0
1177.37/1177.72	c 1177s |      17 |  1047601 |   282732 |     5474     76 |     1662 |        0
1179.97/1180.31	c 1180s |      17 |  1050736 |   283332 |     5474     76 |     1662 |        0
1182.17/1182.55	c 1182s |      17 |  1051636 |   283632 |     5474     76 |     1662 |        0
1184.48/1184.88	c 1184s |      17 |  1053873 |   284032 |     5474     76 |     1662 |        0
1186.68/1187.02	c 1186s |      17 |  1055789 |   284432 |     5474     76 |     1662 |        0
1188.68/1189.07	c 1189s |      17 |  1058128 |   284932 |     5474     76 |     1662 |        0
1191.37/1191.72	c 1191s |      17 |  1060260 |   285332 |     5474     76 |     1662 |        0
1193.47/1193.82	c 1193s |      17 |  1062370 |   285632 |     5474     76 |     1662 |        0
1195.57/1195.93	c 1195s |      17 |  1064346 |   286032 |     5474     76 |     1662 |        0
1198.27/1198.64	c 1198s |      17 |  1065711 |   286332 |     5474     76 |     1662 |        0
1200.67/1201.05	c 1200s |      17 |  1066902 |   286632 |     5474     77 |     1662 |        0
1202.67/1203.06	c 1202s |      17 |  1068961 |   287032 |     5474     77 |     1662 |        0
1204.97/1205.35	c 1205s |      17 |  1072701 |   287832 |     5474     77 |     1662 |        0
1206.97/1207.36	c 1207s |      17 |  1074701 |   288432 |     5474     77 |     1662 |        0
1209.26/1209.62	c 1209s |      17 |  1077772 |   289132 |     5474     77 |     1662 |        0
1211.47/1211.89	c 1211s |      17 |  1081233 |   289832 |     5474     77 |     1662 |        0
1213.87/1214.21	c 1214s |      17 |  1084446 |   290432 |     5474     78 |     1662 |        0
1216.07/1216.43	c 1216s |      17 |  1086201 |   290932 |     5474     78 |     1662 |        0
1218.26/1218.68	c 1218s |      17 |  1087823 |   291332 |     5474     78 |     1662 |        0
1220.37/1220.76	c 1220s |      17 |  1090560 |   291832 |     5474     78 |     1662 |        0
1223.17/1223.50	c 1223s |      17 |  1092745 |   292232 |     5474     78 |     1662 |        0
1225.77/1226.15	c 1226s |      17 |  1093093 |   292432 |     5474     78 |     1662 |        0
1228.26/1228.65	c 1228s |      17 |  1094182 |   292832 |     5474     78 |     1662 |        0
1230.27/1230.69	c 1230s |      17 |  1098109 |   293232 |     5474     78 |     1662 |        0
1232.37/1232.74	c 1232s |      17 |  1099332 |   293632 |     5474     78 |     1662 |        0
1234.67/1235.01	c 1234s |      17 |  1101923 |   294232 |     6022     78 |     1662 |        0
1236.86/1237.27	c 1237s |      17 |  1104180 |   294832 |     6022     78 |     1662 |        0
1239.06/1239.42	c 1239s |      17 |  1105293 |   295232 |     6022     79 |     1662 |        0
1241.26/1241.65	c 1241s |      17 |  1106773 |   295732 |     6022     79 |     1662 |        0
1243.26/1243.66	c 1243s |      17 |  1108653 |   296232 |     6022     79 |     1662 |        0
1243.36/1243.72	c 1243s |      18 |  1108921 |   296252 |     6022     79 |     1662 |        0
1245.56/1245.91	c 1245s |      18 |  1112562 |   296952 |     6022     79 |     1662 |        0
1247.67/1248.05	c 1247s |      18 |  1118507 |   298052 |     6022     79 |     1662 |        0
1249.86/1250.25	c 1250s |      18 |  1122804 |   299052 |     6022     79 |     1662 |        0
1251.96/1252.38	c 1252s |      18 |  1126724 |   300052 |     6022     80 |     1662 |        0
1254.06/1254.45	c 1254s |      18 |  1131989 |   300952 |     6022     80 |     1662 |        0
1256.17/1256.51	c 1256s |      18 |  1136220 |   301952 |     6022     80 |     1662 |        0
1258.27/1258.64	c 1258s |      18 |  1138271 |   302552 |     6022     80 |     1662 |        0
1260.26/1260.67	c 1260s |      18 |  1140199 |   303152 |     6022     80 |     1662 |        0
1262.26/1262.68	c 1262s |      18 |  1143030 |   303952 |     6022     80 |     1662 |        0
1264.36/1264.77	c 1264s |      18 |  1145922 |   304652 |     6022     81 |     1662 |        0
1266.46/1266.84	c 1266s |      18 |  1148461 |   305352 |     6022     81 |     1662 |        0
1268.76/1269.15	c 1269s |      18 |  1150024 |   305952 |     6022     81 |     1662 |        0
1270.86/1271.29	c 1271s |      18 |  1151601 |   306452 |     6022     81 |     1662 |        0
1273.15/1273.56	c 1273s |      18 |  1153395 |   306952 |     6022     81 |     1662 |        0
1275.46/1275.86	c 1275s |      18 |  1155359 |   307452 |     6022     81 |     1662 |        0
1277.66/1278.00	c 1277s |      18 |  1157041 |   307952 |     6022     81 |     1662 |        0
1279.66/1280.07	c 1279s |      18 |  1160249 |   308352 |     6022     82 |     1662 |        0
1281.86/1282.27	c 1282s |      18 |  1163404 |   308952 |     6022     82 |     1662 |        0
1284.05/1284.47	c 1284s |      18 |  1168531 |   309852 |     6022     82 |     1662 |        0
1286.15/1286.58	c 1286s |      18 |  1173049 |   310752 |     6022     82 |     1662 |        0
1288.36/1288.78	c 1288s |      18 |  1176341 |   311552 |     6022     82 |     1662 |        0
1290.46/1290.87	c 1290s |      18 |  1178525 |   312152 |     6022     82 |     1662 |        0
1292.85/1293.27	c 1293s |      18 |  1179816 |   312652 |     6022     82 |     1662 |        0
1295.05/1295.46	c 1295s |      18 |  1182016 |   313252 |     6022     83 |     1662 |        0
1297.66/1298.01	c 1297s |      18 |  1184741 |   313852 |     6022     83 |     1662 |        0
1299.65/1300.07	c 1300s |      18 |  1185420 |   314152 |     6022     83 |     1662 |        0
1301.95/1302.35	c 1302s |      18 |  1187305 |   314652 |     6022     83 |     1662 |        0
1304.46/1304.83	c 1304s |      18 |  1189664 |   315152 |     6022     83 |     1662 |        0
1307.06/1307.42	c 1307s |      18 |  1191775 |   315552 |     6022     83 |     1662 |        0
1309.26/1309.66	c 1309s |      18 |  1193309 |   316052 |     6022     83 |     1662 |        0
1311.45/1311.82	c 1311s |      18 |  1195934 |   316752 |     6022     83 |     1662 |        0
1313.75/1314.15	c 1314s |      18 |  1197141 |   317152 |     6022     84 |     1662 |        0
1316.35/1316.70	c 1316s |      18 |  1199502 |   317652 |     6022     84 |     1662 |        0
1318.66/1319.06	c 1318s |      18 |  1204044 |   318352 |     6022     84 |     1662 |        0
1320.75/1321.16	c 1321s |      18 |  1213926 |   318852 |     6022     84 |     1662 |        0
1322.85/1323.23	c 1323s |      18 |  1225631 |   319852 |     6022     84 |     1662 |        0
1325.05/1325.47	c 1325s |      18 |  1235464 |   320752 |     6022     84 |     1662 |        0
1327.36/1327.76	c 1327s |      18 |  1244729 |   321552 |     6022     85 |     1662 |        0
1329.76/1330.13	c 1330s |      18 |  1253309 |   322552 |     6022     85 |     1662 |        0
1331.75/1332.16	c 1332s |      18 |  1262443 |   323652 |     6022     85 |     1662 |        0
1334.25/1334.64	c 1334s |      18 |  1268855 |   324552 |     6022     85 |     1662 |        0
1336.45/1336.86	c 1336s |      18 |  1272296 |   325352 |     6022     85 |     1662 |        0
1338.65/1339.07	c 1338s |      18 |  1275781 |   325952 |     6022     86 |     1662 |        0
1341.05/1341.46	c 1341s |      18 |  1277713 |   326452 |     6022     86 |     1662 |        0
1344.15/1344.56	c 1344s |      18 |  1279801 |   326852 |     6022     86 |     1662 |        0
1346.74/1347.10	c 1347s |      18 |  1281045 |   327152 |     6022     86 |     1662 |        0
1348.84/1349.27	c 1349s |      18 |  1284684 |   327652 |     6022     86 |     1662 |        0
1351.25/1351.60	c 1351s |      18 |  1288005 |   328252 |     6022     86 |     1662 |        0
1353.55/1353.92	c 1353s |      18 |  1292550 |   329052 |     6022     86 |     1662 |        0
1355.65/1356.05	c 1355s |      18 |  1297393 |   329752 |     6022     87 |     1662 |        0
1357.85/1358.22	c 1358s |      18 |  1320753 |   330552 |     6022     87 |     1662 |        0
1360.05/1360.40	c 1360s |      18 |  1334213 |   331252 |     6022     87 |     1662 |        0
1362.15/1362.56	c 1362s |      18 |  1339172 |   331752 |     6022     87 |     1662 |        0
1364.24/1364.67	c 1364s |      18 |  1341509 |   332352 |     6022     87 |     1662 |        0
1366.44/1366.84	c 1366s |      18 |  1344492 |   332952 |     6022     87 |     1662 |        0
1368.84/1369.22	c 1369s |      18 |  1348790 |   333752 |     6022     88 |     1662 |        0
1370.94/1371.31	c 1371s |      18 |  1353783 |   334452 |     6022     88 |     1662 |        0
1373.14/1373.56	c 1373s |      18 |  1355375 |   334952 |     6022     88 |     1662 |        0
1375.55/1375.96	c 1375s |      18 |  1357781 |   335452 |     6022     88 |     1662 |        0
1377.64/1378.09	c 1378s |      18 |  1360214 |   336052 |     6022     88 |     1662 |        0
1379.84/1380.27	c 1380s |      18 |  1363460 |   336552 |     6022     88 |     1662 |        0
1382.45/1382.83	c 1382s |      18 |  1365337 |   337052 |     6022     88 |     1662 |        0
1384.44/1384.86	c 1384s |      18 |  1367555 |   337652 |     6022     88 |     1662 |        0
1386.95/1387.39	c 1387s |      18 |  1368351 |   337952 |     6022     88 |     1662 |        0
1389.64/1390.05	c 1389s |      18 |  1369392 |   338252 |     6022     89 |     1662 |        0
1392.14/1392.53	c 1392s |      18 |  1370445 |   338652 |     6022     89 |     1662 |        0
1394.24/1394.68	c 1394s |      18 |  1373668 |   339252 |     6022     89 |     1662 |        0
1396.84/1397.22	c 1397s |      18 |  1375605 |   339752 |     6022     89 |     1662 |        0
1399.54/1399.90	c 1399s |      18 |  1377123 |   340252 |     6022     89 |     1662 |        0
1401.74/1402.14	c 1402s |      18 |  1377831 |   340552 |     6022     89 |     1662 |        0
1403.94/1404.38	c 1404s |      18 |  1378852 |   340852 |     6022     89 |     1662 |        0
1406.75/1407.16	c 1407s |      18 |  1379789 |   341252 |     6022     89 |     1662 |        0
1409.14/1409.55	c 1409s |      18 |  1381395 |   341652 |     6022     89 |     1662 |        0
1411.24/1411.69	c 1411s |      18 |  1383059 |   342052 |     6022     89 |     1662 |        0
1413.34/1413.79	c 1413s |      18 |  1385013 |   342452 |     6022     90 |     1662 |        0
1415.63/1416.04	c 1415s |      18 |  1387624 |   342952 |     6022     90 |     1662 |        0
1417.74/1418.13	c 1418s |      18 |  1389424 |   343252 |     6022     90 |     1662 |        0
1420.73/1421.15	c 1421s |      18 |  1390560 |   343552 |     6022     90 |     1662 |        0
1423.24/1423.67	c 1423s |      18 |  1392591 |   344052 |     6022     90 |     1662 |        0
1425.63/1426.01	c 1425s |      18 |  1393710 |   344452 |     6022     90 |     1662 |        0
1428.14/1428.52	c 1428s |      18 |  1395325 |   344952 |     6022     90 |     1662 |        0
1430.44/1430.81	c 1430s |      18 |  1396260 |   345352 |     6022     90 |     1662 |        0
1432.63/1433.01	c 1432s |      18 |  1398253 |   345852 |     6022     90 |     1662 |        0
1435.43/1435.81	c 1435s |      18 |  1400010 |   346252 |     6022     90 |     1662 |        0
1437.44/1437.86	c 1437s |      18 |  1400999 |   346552 |     6022     91 |     1662 |        0
1439.43/1439.87	c 1439s |      18 |  1401771 |   346752 |     6022     91 |     1662 |        0
1441.54/1441.99	c 1441s |      18 |  1402653 |   347052 |     6022     91 |     1662 |        0
1443.83/1444.29	c 1444s |      18 |  1404474 |   347552 |     6022     91 |     1662 |        0
1446.24/1446.60	c 1446s |      18 |  1406138 |   348052 |     6022     91 |     1662 |        0
1448.63/1449.08	c 1449s |      18 |  1407374 |   348452 |     6022     91 |     1662 |        0
1450.83/1451.27	c 1451s |      18 |  1408516 |   348752 |     6022     91 |     1662 |        0
1453.13/1453.56	c 1453s |      18 |  1410897 |   349252 |     6022     91 |     1662 |        0
1455.23/1455.61	c 1455s |      18 |  1412392 |   349652 |     6022     91 |     1662 |        0
1457.23/1457.62	c 1457s |      18 |  1413618 |   350052 |     6022     91 |     1662 |        0
1459.64/1460.01	c 1459s |      18 |  1415206 |   350452 |     6022     91 |     1662 |        0
1462.13/1462.50	c 1462s |      18 |  1416183 |   350752 |     6022     92 |     1662 |        0
1464.53/1464.95	c 1464s |      18 |  1417240 |   351052 |     6022     92 |     1662 |        0
1466.73/1467.16	c 1467s |      18 |  1417989 |   351252 |     6022     92 |     1662 |        0
1469.13/1469.52	c 1469s |      18 |  1419176 |   351652 |     6022     92 |     1662 |        0
1471.13/1471.55	c 1471s |      18 |  1420818 |   352052 |     6022     92 |     1662 |        0
1473.43/1473.81	c 1473s |      18 |  1422422 |   352452 |     6022     92 |     1662 |        0
1475.53/1475.92	c 1475s |      18 |  1426654 |   352952 |     6022     92 |     1662 |        0
1477.93/1478.35	c 1478s |      18 |  1429556 |   353652 |     6022     92 |     1662 |        0
1480.23/1480.61	c 1480s |      18 |  1432366 |   354252 |     6022     92 |     1662 |        0
1482.22/1482.62	c 1482s |      18 |  1434127 |   354552 |     6022     92 |     1662 |        0
1484.42/1484.86	c 1484s |      18 |  1435274 |   354752 |     6022     93 |     1662 |        0
1486.52/1486.94	c 1486s |      18 |  1436645 |   355052 |     6022     93 |     1662 |        0
1488.72/1489.15	c 1489s |      18 |  1438555 |   355552 |     6022     93 |     1662 |        0
1491.22/1491.66	c 1491s |      18 |  1439848 |   356052 |     6022     93 |     1662 |        0
1493.64/1494.02	c 1493s |      18 |  1441078 |   356552 |     6022     93 |     1662 |        0
1495.74/1496.14	c 1496s |      18 |  1441732 |   356852 |     6022     93 |     1662 |        0
1498.13/1498.50	c 1498s |      18 |  1442595 |   357152 |     6022     93 |     1662 |        0
1500.23/1500.64	c 1500s |      18 |  1443212 |   357452 |     6022     93 |     1662 |        0
1502.43/1502.89	c 1502s |      18 |  1444052 |   357752 |     6022     93 |     1662 |        0
1504.72/1505.18	c 1505s |      18 |  1446832 |   358352 |     6022     93 |     1662 |        0
1506.92/1507.35	c 1507s |      18 |  1449424 |   358852 |     6022     94 |     1662 |        0
1509.12/1509.53	c 1509s |      18 |  1451531 |   359352 |     6022     94 |     1662 |        0
1511.42/1511.86	c 1511s |      18 |  1454099 |   359952 |     6022     94 |     1662 |        0
1513.72/1514.16	c 1514s |      18 |  1456648 |   360552 |     6022     94 |     1662 |        0
1515.82/1516.23	c 1516s |      18 |  1458203 |   361052 |     6022     94 |     1662 |        0
1517.83/1518.29	c 1518s |      18 |  1459150 |   361452 |     6022     94 |     1662 |        0
1519.93/1520.36	c 1520s |      18 |  1460927 |   361952 |     6022     94 |     1662 |        0
1522.02/1522.44	c 1522s |      18 |  1461799 |   362252 |     6022     94 |     1662 |        0
1524.33/1524.72	c 1524s |      18 |  1463315 |   362652 |     6022     94 |     1662 |        0
1526.53/1526.90	c 1526s |      18 |  1464842 |   363152 |     6022     95 |     1662 |        0
1528.62/1529.04	c 1528s |      18 |  1466305 |   363652 |     6022     95 |     1662 |        0
1530.72/1531.19	c 1531s |      18 |  1467744 |   364152 |     6022     95 |     1662 |        0
1533.13/1533.60	c 1533s |      18 |  1468542 |   364452 |     6022     95 |     1662 |        0
1535.52/1535.98	c 1535s |      18 |  1470255 |   364952 |     6022     95 |     1662 |        0
1537.72/1538.11	c 1538s |      18 |  1473032 |   365452 |     6022     95 |     1662 |        0
1539.92/1540.31	c 1540s |      18 |  1474400 |   365852 |     6022     95 |     1662 |        0
1542.11/1542.57	c 1542s |      18 |  1476131 |   366352 |     6022     95 |     1662 |        0
1544.22/1544.69	c 1544s |      18 |  1478476 |   367052 |     6022     95 |     1662 |        0
1546.43/1546.81	c 1546s |      18 |  1480878 |   367752 |     6022     96 |     1662 |        0
1548.63/1549.01	c 1548s |      18 |  1483116 |   368252 |     6022     96 |     1662 |        0
1551.01/1551.45	c 1551s |      18 |  1485354 |   368852 |     6022     96 |     1662 |        0
1553.31/1553.72	c 1553s |      18 |  1486740 |   369352 |     6022     96 |     1662 |        0
1555.71/1556.11	c 1556s |      18 |  1488590 |   369952 |     6022     96 |     1662 |        0
1557.81/1558.26	c 1558s |      18 |  1489877 |   370452 |     6022     96 |     1662 |        0
1560.11/1560.51	c 1560s |      18 |  1491150 |   370852 |     6022     96 |     1662 |        0
1562.51/1562.92	c 1562s |      18 |  1492314 |   371252 |     6022     97 |     1662 |        0
1564.61/1565.03	c 1564s |      18 |  1493234 |   371652 |     6022     97 |     1662 |        0
1566.71/1567.20	c 1567s |      18 |  1497630 |   372552 |     6022     97 |     1662 |        0
1568.82/1569.21	c 1569s |      18 |  1501626 |   373452 |     6022     97 |     1662 |        0
1570.82/1571.29	c 1571s |      18 |  1503752 |   373952 |     6022     97 |     1662 |        0
1573.02/1573.41	c 1573s |      18 |  1505820 |   374452 |     6022     97 |     1662 |        0
1575.11/1575.55	c 1575s |      18 |  1508461 |   375052 |     6022     97 |     1662 |        0
1577.31/1577.73	c 1577s |      18 |  1511043 |   375652 |     6022     98 |     1662 |        0
1579.51/1579.96	c 1579s |      18 |  1513301 |   376252 |     6022     98 |     1662 |        0
1581.71/1582.11	c 1582s |      18 |  1514935 |   376752 |     6022     98 |     1662 |        0
1583.91/1584.36	c 1584s |      18 |  1517591 |   377552 |     6022     98 |     1662 |        0
1585.92/1586.37	c 1586s |      18 |  1519168 |   377952 |     6022     98 |     1662 |        0
1588.41/1588.87	c 1588s |      18 |  1521392 |   378552 |     6022     98 |     1662 |        0
1590.61/1591.06	c 1590s |      18 |  1523350 |   379152 |     6022     98 |     1662 |        0
1593.11/1593.51	c 1593s |      18 |  1524892 |   379652 |     6022     99 |     1662 |        0
1595.31/1595.79	c 1595s |      18 |  1526572 |   380152 |     6022     99 |     1662 |        0
1597.41/1597.85	c 1597s |      18 |  1528580 |   380652 |     6022     99 |     1662 |        0
1599.61/1600.05	c 1599s |      18 |  1530531 |   381252 |     6022     99 |     1662 |        0
1601.60/1602.07	c 1601s |      18 |  1532226 |   381652 |     6022     99 |     1662 |        0
1604.21/1604.69	c 1604s |      18 |  1533988 |   382152 |     6022     99 |     1662 |        0
1606.61/1607.08	c 1607s |      18 |  1536210 |   382852 |     6022     99 |     1662 |        0
1608.81/1609.21	c 1609s |      18 |  1537458 |   383252 |     6022     99 |     1662 |        0
1611.21/1611.68	c 1611s |      18 |  1538847 |   383652 |     6022    100 |     1662 |        0
1613.60/1614.03	c 1613s |      18 |  1540744 |   384052 |     6022    100 |     1662 |        0
1616.51/1616.91	c 1616s |      18 |  1542134 |   384352 |     6022    100 |     1662 |        0
1619.11/1619.57	c 1619s |      18 |  1543919 |   384752 |     6022    100 |     1662 |        0
1621.71/1622.18	c 1622s |      18 |  1545427 |   385152 |     6022    100 |     1662 |        0
1623.91/1624.33	c 1624s |      18 |  1547577 |   385652 |     6022    100 |     1662 |        0
1626.01/1626.45	c 1626s |      18 |  1548711 |   386052 |     6022    100 |     1662 |        0
1628.50/1628.93	c 1628s |      18 |  1549521 |   386352 |     6022    100 |     1662 |        0
1630.60/1631.09	c 1631s |      18 |  1551030 |   386752 |     6022    100 |     1662 |        0
1633.31/1633.72	c 1633s |      18 |  1552168 |   387152 |     6022    100 |     1662 |        0
1635.70/1636.13	c 1636s |      18 |  1553599 |   387552 |     6022    100 |     1662 |        0
1638.71/1639.20	c 1639s |      18 |  1554635 |   387852 |     6022    101 |     1662 |        0
1641.61/1642.00	c 1641s |      18 |  1555354 |   388152 |     6022    101 |     1662 |        0
1643.61/1644.09	c 1644s |      18 |  1557849 |   388552 |     6022    101 |     1662 |        0
1646.00/1646.47	c 1646s |      18 |  1559574 |   389052 |     6022    101 |     1662 |        0
1648.10/1648.57	c 1648s |      18 |  1561541 |   389552 |     6022    101 |     1662 |        0
1650.10/1650.57	c 1650s |      18 |  1563282 |   390152 |     6022    101 |     1662 |        0
1652.40/1652.88	c 1652s |      18 |  1565392 |   390852 |     6022    101 |     1662 |        0
1654.50/1654.97	c 1654s |      18 |  1567158 |   391352 |     6022    101 |     1662 |        0
1656.90/1657.33	c 1657s |      18 |  1569944 |   391952 |     6022    102 |     1662 |        0
1659.20/1659.63	c 1659s |      18 |  1571860 |   392452 |     6022    102 |     1662 |        0
1661.91/1662.39	c 1662s |      18 |  1573611 |   392952 |     6022    102 |     1662 |        0
1664.01/1664.44	c 1664s |      18 |  1574373 |   393252 |     6022    102 |     1662 |        0
1666.80/1667.26	c 1667s |      18 |  1575328 |   393652 |     6022    102 |     1662 |        0
1669.00/1669.40	c 1669s |      18 |  1576719 |   393952 |     6022    102 |     1662 |        0
1671.40/1671.81	c 1671s |      18 |  1578130 |   394352 |     6022    102 |     1662 |        0
1674.00/1674.49	c 1674s |      18 |  1579386 |   394752 |     6022    102 |     1662 |        0
1676.21/1676.61	c 1676s |      18 |  1585080 |   395652 |     6022    102 |     1662 |        0
1678.20/1678.67	c 1678s |      18 |  1587209 |   396252 |     6022    102 |     1662 |        0
1680.30/1680.71	c 1680s |      18 |  1588794 |   396552 |     6022    103 |     1662 |        0
1682.60/1683.07	c 1682s |      18 |  1593384 |   397552 |     6022    103 |     1662 |        0
1684.79/1685.28	c 1685s |      18 |  1595406 |   398052 |     6022    103 |     1662 |        0
1686.90/1687.31	c 1687s |      18 |  1601203 |   398652 |     6022    103 |     1662 |        0
1689.20/1689.62	c 1689s |      18 |  1604398 |   399152 |     6022    103 |     1662 |        0
1691.29/1691.72	c 1691s |      18 |  1607049 |   399752 |     6022    103 |     1662 |        0
1693.49/1693.94	c 1693s |      18 |  1610324 |   400352 |     6022    103 |     1662 |        0
1695.90/1696.33	c 1696s |      18 |  1611806 |   400852 |     6022    104 |     1662 |        0
1698.11/1698.57	c 1698s |      18 |  1613813 |   401252 |     6022    104 |     1662 |        0
1700.20/1700.69	c 1700s |      18 |  1615014 |   401552 |     6022    104 |     1662 |        0
1703.09/1703.53	c 1703s |      18 |  1616220 |   401852 |     6022    104 |     1662 |        0
1705.19/1705.70	c 1705s |      18 |  1619832 |   402652 |     6022    104 |     1662 |        0
1707.40/1707.84	c 1707s |      18 |  1622849 |   403452 |     6022    104 |     1662 |        0
1709.39/1709.88	c 1709s |      18 |  1625030 |   404152 |     6022    104 |     1662 |        0
1711.59/1712.00	c 1711s |      18 |  1626975 |   404752 |     6022    104 |     1662 |        0
1713.79/1714.24	c 1714s |      18 |  1628420 |   405252 |     6022    105 |     1662 |        0
1715.89/1716.35	c 1716s |      18 |  1629866 |   405852 |     6022    105 |     1662 |        0
1718.09/1718.52	c 1718s |      18 |  1631503 |   406552 |     6022    105 |     1662 |        0
1720.29/1720.76	c 1720s |      18 |  1632994 |   407152 |     6022    105 |     1662 |        0
1722.49/1722.92	c 1722s |      18 |  1637061 |   407852 |     6022    105 |     1662 |        0
1724.60/1725.03	c 1724s |      18 |  1638723 |   408252 |     6022    105 |     1662 |        0
1726.59/1727.03	c 1726s |      18 |  1640069 |   408652 |     6022    105 |     1662 |        0
1728.89/1729.38	c 1729s |      18 |  1641452 |   409052 |     6022    106 |     1662 |        0
1731.09/1731.51	c 1731s |      18 |  1643038 |   409652 |     6022    106 |     1662 |        0
1733.08/1733.56	c 1733s |      18 |  1644221 |   410052 |     6022    106 |     1662 |        0
1735.50/1735.94	c 1735s |      18 |  1646478 |   410552 |     6022    106 |     1662 |        0
1737.59/1738.06	c 1737s |      18 |  1653020 |   411152 |     6022    106 |     1662 |        0
1739.69/1740.12	c 1740s |      18 |  1657755 |   412252 |     6022    106 |     1662 |        0
1741.99/1742.45	c 1742s |      18 |  1660366 |   413052 |     6022    106 |     1662 |        0
1744.09/1744.51	c 1744s |      18 |  1663594 |   413652 |     6022    107 |     1662 |        0
1746.38/1746.82	c 1746s |      18 |  1667958 |   414452 |     6022    107 |     1662 |        0
1748.70/1749.14	c 1749s |      18 |  1669483 |   415052 |     6022    107 |     1662 |        0
1750.90/1751.40	c 1751s |      18 |  1672039 |   415752 |     6022    107 |     1662 |        0
1753.19/1753.65	c 1753s |      18 |  1673944 |   416352 |     6022    107 |     1662 |        0
1755.48/1755.97	c 1755s |      18 |  1676726 |   417052 |     6022    107 |     1662 |        0
1757.88/1758.30	c 1758s |      18 |  1680853 |   417652 |     6022    108 |     1662 |        0
1760.08/1760.57	c 1760s |      18 |  1682966 |   418152 |     6022    108 |     1662 |        0
1762.58/1763.01	c 1762s |      18 |  1683955 |   418452 |     6022    108 |     1662 |        0
1764.98/1765.45	c 1765s |      18 |  1685210 |   418852 |     6022    108 |     1662 |        0
1767.29/1767.78	c 1767s |      18 |  1685978 |   419252 |     6022    108 |     1662 |        0
1769.69/1770.10	c 1770s |      18 |  1688247 |   419752 |     6022    108 |     1662 |        0
1771.69/1772.15	c 1772s |      18 |  1690906 |   420252 |     6022    108 |     1662 |        0
1773.68/1774.16	c 1774s |      18 |  1692606 |   420652 |     6022    108 |     1662 |        0
1776.08/1776.58	c 1776s |      18 |  1696215 |   421252 |     6022    108 |     1662 |        0
1778.59/1779.06	c 1778s |      18 |  1697396 |   421652 |     6022    109 |     1662 |        0
1781.08/1781.51	c 1781s |      18 |  1699153 |   422252 |     6022    109 |     1662 |        0
1783.18/1783.63	c 1783s |      18 |  1703606 |   422752 |     6022    109 |     1662 |        0
1785.49/1785.92	c 1785s |      18 |  1705179 |   423052 |     6022    109 |     1662 |        0
1787.78/1788.24	c 1788s |      18 |  1709542 |   423752 |     6022    109 |     1662 |        0
1789.88/1790.32	c 1790s |      18 |  1710562 |   424152 |     6022    109 |     1662 |        0
1792.38/1792.89	c 1792s |      18 |  1711978 |   424652 |     6022    109 |     1662 |        0
1794.58/1795.02	c 1794s |      18 |  1715646 |   425252 |     6022    109 |     1662 |        0
1796.58/1797.04	c 1796s |      18 |  1717857 |   425652 |     6022    109 |     1662 |        0
1799.07/1799.53	c 1799s |      18 |  1719299 |   426052 |     6022    110 |     1662 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-4099889-1466208533/watcher-4099889-1466208533 -o /tmp/evaluation-result-4099889-1466208533/solver-4099889-1466208533 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099889-1466208533.opb 

pid=16433
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.21 2.28 2.07 3/179 16436
/proc/meminfo: memFree=29389572/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=668092 CPUtime=0 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 2485 0 0 0 0 0 0 0 20 0 4 0 22902078 684126208 2845 33554432000 4194304 16246674 140736251454304 140736251453728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 167791 2853 441 2943 0 164685 0
[pid=16436/tid=16437] ppid=16433 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 703000576 2914 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=690620 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 707194880 2930 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=694716 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22902079 711389184 2946 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.21 2.28 2.07 3/179 16436
/proc/meminfo: memFree=29389572/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 20372 0 0 0 7 2 0 0 20 0 4 0 22902078 1251545088 20679 33554432000 4194304 16246674 140736251454304 140736251453616 5723366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 305553 20680 885 2943 0 302447 0
[pid=16436/tid=16437] ppid=16433 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1251545088 20683 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1251545088 20692 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1251545088 20702 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200531 s]
/proc/loadavg: 2.21 2.28 2.07 3/179 16436
/proc/meminfo: memFree=29389572/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1222212 CPUtime=0.18 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 40590 0 0 0 14 4 0 0 20 0 4 0 22902078 1251545088 40897 33554432000 4194304 16246674 140736251454304 140736251453616 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 305553 40902 885 2943 0 302447 0
[pid=16436/tid=16437] ppid=16433 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1251545088 40908 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1251545088 40918 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1251545088 40929 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1222212

[startup+0.300509 s]
/proc/loadavg: 2.21 2.28 2.07 3/179 16436
/proc/meminfo: memFree=29389572/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 64895 0 0 0 21 8 0 0 20 0 4 0 22902078 1251545088 65202 33554432000 4194304 16246674 140736251454304 140736251453616 5721898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 305553 65203 885 2943 0 302447 0
[pid=16436/tid=16437] ppid=16433 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1251545088 65209 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1251545088 65218 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1251545088 65227 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.700409 s]
/proc/loadavg: 2.21 2.28 2.07 3/179 16436
/proc/meminfo: memFree=29389572/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 155211 0 0 0 49 20 0 0 20 0 4 0 22902078 1251545088 155518 33554432000 4194304 16246674 140736251454304 140736251453616 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 305553 155518 885 2943 0 302447 0
[pid=16436/tid=16437] ppid=16433 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1251545088 155519 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1251545088 155520 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1251545088 155520 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50043 s]
/proc/loadavg: 2.19 2.27 2.07 3/183 16440
/proc/meminfo: memFree=28398188/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1307204 CPUtime=1.48 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 267977 0 0 0 114 34 0 0 20 0 4 0 22902078 1338576896 268284 33554432000 4194304 16246674 140736251454304 140736251436224 5712536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 326801 268284 893 2943 0 323695 0
[pid=16436/tid=16437] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268284 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268284 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268284 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.10043 s]
/proc/loadavg: 2.19 2.27 2.07 3/183 16440
/proc/meminfo: memFree=28317588/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 267977 0 0 0 274 34 0 0 20 0 4 0 22902078 1338576896 268284 33554432000 4194304 16246674 140736251454304 140736251436224 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 326801 268284 893 2943 0 323695 0
[pid=16436/tid=16437] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268284 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268284 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268284 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30038 s]
/proc/loadavg: 2.18 2.27 2.07 3/183 16440
/proc/meminfo: memFree=28317608/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 267977 0 0 0 594 35 0 0 20 0 4 0 22902078 1338576896 268284 33554432000 4194304 16246674 140736251454304 140736251453480 5711576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 326801 268284 893 2943 0 323695 0
[pid=16436/tid=16437] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268284 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268284 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268284 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.16 2.26 2.07 3/183 16440
/proc/meminfo: memFree=28317536/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 267983 0 0 0 1234 35 0 0 20 0 4 0 22902078 1338576896 268290 33554432000 4194304 16246674 140736251454304 140736251436224 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 326801 268290 899 2943 0 323695 0
[pid=16436/tid=16437] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268290 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268290 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268290 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5076 s]
/proc/loadavg: 2.20 2.26 2.08 3/183 16440
/proc/meminfo: memFree=28317520/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1307204 CPUtime=25.5 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 267983 0 0 0 2514 36 0 0 20 0 4 0 22902078 1338576896 268290 33554432000 4194304 16246674 140736251454304 140736251436224 5545876 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 326801 268290 899 2943 0 323695 0
[pid=16436/tid=16437] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268290 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268290 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1338576896 268290 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 2.21 2.26 2.08 3/183 16441
/proc/meminfo: memFree=28309316/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 270032 0 0 0 5071 37 0 0 20 0 4 0 22902078 1346965504 270339 33554432000 4194304 16246674 140736251454304 140736251436224 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 328849 270339 900 2943 0 325743 0
[pid=16436/tid=16437] ppid=16433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1346965504 270339 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1346965504 270339 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1346965504 270339 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.17 2.25 2.08 3/184 16445
/proc/meminfo: memFree=28309336/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 270032 0 0 0 10187 41 0 0 20 0 4 0 22902078 1346965504 270339 33554432000 4194304 16246674 140736251454304 140736251436224 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 328849 270339 900 2943 0 325743 0
[pid=16436/tid=16437] ppid=16433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1346965504 270339 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1346965504 270339 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1346965504 270339 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


################
# More data... #
################

/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1322564

[startup+1302.3 s]
/proc/loadavg: 2.38 2.34 2.23 3/184 16524
/proc/meminfo: memFree=28307236/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1322564 CPUtime=1301.95 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 272080 0 0 0 130072 123 0 0 20 0 4 0 22902078 1354305536 272134 33554432000 4194304 16246674 140736251454304 140736251453480 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 330641 272134 900 2943 0 327535 0
[pid=16436/tid=16437] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.29 2.32 2.23 3/183 16525
/proc/meminfo: memFree=28307252/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1322564 CPUtime=1361.95 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 272080 0 0 0 136067 128 0 0 20 0 4 0 22902078 1354305536 272134 33554432000 4194304 16246674 140736251454304 140736251453480 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 330641 272134 900 2943 0 327535 0
[pid=16436/tid=16437] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.30 2.32 2.23 3/183 16526
/proc/meminfo: memFree=28302544/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1322564 CPUtime=1421.93 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 272080 0 0 0 142061 132 0 0 20 0 4 0 22902078 1354305536 272134 33554432000 4194304 16246674 140736251454304 140736251436224 12483286 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 330641 272134 900 2943 0 327535 0
[pid=16436/tid=16437] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1322564

[startup+1482.3 s]
/proc/loadavg: 2.26 2.30 2.23 3/183 16527
/proc/meminfo: memFree=28301920/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1322564 CPUtime=1481.93 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 272080 0 0 0 148056 137 0 0 20 0 4 0 22902078 1354305536 272134 33554432000 4194304 16246674 140736251454304 140736251436224 12483399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 330641 272134 900 2943 0 327535 0
[pid=16436/tid=16437] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1322564

[startup+1542.3 s]
/proc/loadavg: 2.34 2.32 2.24 3/183 16528
/proc/meminfo: memFree=28302172/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1322564 CPUtime=1541.92 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 272080 0 0 0 154050 142 0 0 20 0 4 0 22902078 1354305536 272134 33554432000 4194304 16246674 140736251454304 140736251453480 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 330641 272134 900 2943 0 327535 0
[pid=16436/tid=16437] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.36 2.33 2.25 3/183 16530
/proc/meminfo: memFree=28302044/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1322564 CPUtime=1601.9 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 272080 0 0 0 160045 145 0 0 20 0 4 0 22902078 1354305536 272134 33554432000 4194304 16246674 140736251454304 140736251453480 6843442 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 330641 272134 900 2943 0 327535 0
[pid=16436/tid=16437] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1322564

[startup+1662.31 s]
/proc/loadavg: 2.30 2.32 2.25 3/183 16531
/proc/meminfo: memFree=28288648/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1322564 CPUtime=1661.91 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 272080 0 0 0 166042 149 0 0 20 0 4 0 22902078 1354305536 272134 33554432000 4194304 16246674 140736251454304 140736251453480 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 330641 272134 900 2943 0 327535 0
[pid=16436/tid=16437] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1354305536 272134 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.24 2.30 2.24 3/183 16532
/proc/meminfo: memFree=28287408/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1323588 CPUtime=1721.89 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 272336 0 0 0 172034 155 0 0 20 0 4 0 22902078 1355354112 272390 33554432000 4194304 16246674 140736251454304 140736251453480 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 330897 272390 900 2943 0 327791 0
[pid=16436/tid=16437] ppid=16433 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1355354112 272390 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1355354112 272390 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1355354112 272390 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1323588

[startup+1782.3 s]
/proc/loadavg: 2.27 2.30 2.25 3/183 16533
/proc/meminfo: memFree=28287036/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1323588 CPUtime=1781.88 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 272336 0 0 0 178029 159 0 0 20 0 4 0 22902078 1355354112 272390 33554432000 4194304 16246674 140736251454304 140736251436224 13950202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 330897 272390 900 2943 0 327791 0
[pid=16436/tid=16437] ppid=16433 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1355354112 272390 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1355354112 272390 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1355354112 272390 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1323588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.30 2.25 3/183 16533
/proc/meminfo: memFree=28287408/32872528 swapFree=1431120/1543540
[pid=16436] ppid=16433 vsize=1323588 CPUtime=1800.07 cores=1,3,5,7
/proc/16436/stat : 16436 (toysat) R 16433 16436 15180 0 -1 4202496 272336 0 0 0 179847 160 0 0 20 0 4 0 22902078 1355354112 272390 33554432000 4194304 16246674 140736251454304 140736251453480 5712004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16436/statm: 330897 272390 900 2943 0 327791 0
[pid=16436/tid=16437] ppid=16433 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16437/stat : 16437 (toysat) S 16433 16436 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22902079 1355354112 272390 33554432000 4194304 16246674 140736251454304 140002432363760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16436/tid=16438] ppid=16433 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16438/stat : 16438 (toysat) S 16433 16436 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22902079 1355354112 272390 33554432000 4194304 16246674 140736251454304 140002421873904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16436/tid=16439] ppid=16433 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/16436/task/16439/stat : 16439 (toysat) S 16433 16436 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22902079 1355354112 272390 33554432000 4194304 16246674 140736251454304 140002411400368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1323588

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 16436 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1798.48
CPU system time (s): 1.60876
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 1323588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 1.60875
maximum resident set size= 1089560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272336
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= 269
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17606 second user time and 9.24559 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 02:08:53
IDJOB=4099889
IDBENCH=1547
IDSOLVER=2542
FILE ID=node116/4099889-1466208533
RUNJOBID= node116-1466206094-15197
PBS_JOBID= 19918160
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10b.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099889-1466208533/watcher-4099889-1466208533 -o /tmp/evaluation-result-4099889-1466208533/solver-4099889-1466208533 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099889-1466208533.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= c577d7edde274bfe6a240a0f24a19644
RANDOM SEED=1422374589

node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29389944 kB
Buffers:           40596 kB
Cached:           102028 kB
SwapCached:         2180 kB
Active:          1167664 kB
Inactive:          63476 kB
Active(anon):    1089304 kB
Inactive(anon):     1500 kB
Active(file):      78360 kB
Inactive(file):    61976 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099540 kB
Dirty:             16440 kB
Writeback:             0 kB
AnonPages:       2631236 kB
Mapped:            10632 kB
Shmem:                 0 kB
Slab:             572116 kB
SReclaimable:      16248 kB
SUnreclaim:       555868 kB
KernelStack:        1472 kB
PageTables:         9252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2772168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    589824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71604 MiB
End job on node116 at 2016-06-18 02:38:54