Trace number 4108953

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.11 1800.53

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-27.opb
MD5SUMc3ba46c0ae63598a4f58d494ccf9f418
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark223.373
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9355
Total number of constraints199372
Number of constraints which are clauses178529
Number of constraints which are cardinality constraints (but not clauses)722
Number of constraints which are nor clauses,nor cardinality constraints20121
Minimum length of a constraint2
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
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-19T01:33:06+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-4108953-1466292785.opb"]
0.00/0.01	c use --random-gen="2035104525 4110400775 2693252300 2428746362 208952405 3471816755 2630416258 2149768312 3205327340 1917677047 4272746002 3887707605 3021236471 275010690 1038614686 1578292668 318996834 1533763051 3948555919 1282974361 1608082745 1527618889 2069531474 1628104068 3465558899 3498498896 3606118790 2952830913 3106030779 169447174 3189811764 670421343 2580268709 3160855294 3143207905 3156953070 1767872779 2898097951 1047953821 3873864022 1520587201 1034891048 2100436815 3126581331 961389268 1049830836 1680777380 2713688027 148804449 3976598991 3235298300 1957029733 3612307665 2628792140 982262588 785087232 246830186 2137135946 3750033246 1709143872 1208478672 3057790970 1031263170 3030792257 3558535547 1384166641 3657733581 1637454217 1012590321 3613055098 1212885268 1072241607 1338011779 2985419943 1945155516 697992448 1566948088 783699394 3157664039 3836862136 3115942809 2745456188 3394835012 4057376765 2683192766 943272940 1063527784 2113717749 97949744 3998735966 1968540057 806327599 2021939515 3657020298 429933065 3943682965 462524314 2083565070 2046178831 4188298710 1196178644 2967898262 1457930634 1446267144 3104196780 1538141518 901782843 3200155029 326623265 149782616 3757907288 4967233 1408321483 759802490 1330484279 2928508208 3309260406 2539685177 846741504 2707939301 646577074 2239208146 1252363833 2187696709 945641328 2296345315 2586650841 1411158543 1647440011 1319182782 4064120588 1505545827 2438386218 1751893556 557865835 2554501372 3821970796 3771609223 3246642113 4107946539 4028885925 143205881 3538645195 3386081178 3884476069 3791952402 3264568941 1576811275 499632219 1764805587 1656419754 2812173517 2097723621 1875828496 1309296633 2609482564 4218025666 3496006978 3192614171 2887162687 3582468901 2233801130 2532204978 4007612488 2121306937 3977943563 3985067172 1516558184 435401910 622784803 964476724 1279581619 1724786740 4207378159 1671596574 1993442866 1000186053 4084196106 1929230389 820745810 96595603 1302738995 2617662259 202483946 3585137436 358600795 202456550 956014766 2855614657 975157768 2596876362 535450598 1427035351 3594170969 2268154740 3619701084 423127988 3494366913 69862544 1099148759 3336279453 663979422 2349678233 3044450367 1392982427 1215699543 3482317633 1454483820 4246645096 2733444847 2846515061 1142983252 672241614 1396430185 1663137917 8784129 997889456 1878894510 66497106 3637828337 1989038675 654681353 3083576413 2887463734 2041371911 2022678458 261920480 4135697872 4151462572 3746372278 1000723191 3711902923 1204836526 2252759447 813694178 2114146365 3505128465 2038474056 609852458 928390233 1856150324 1645695219 3422479123 1658587363 2809170288 243170337 2079370502 2156076886 2503276692 2728571690 3581161231 1436553400 2005282154 3670409924 113465227 695823938 255 362436" option to reproduce the execution
1.59/1.66	c #vars 9355
1.59/1.66	c #constraints 199372
5.19/5.22	c Solving starts ...
5.19/5.22	c ============================[ Search Statistics ]============================
5.19/5.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.19/5.22	c       |         |          |          |    Limit     GC | Var      | Constra 
5.19/5.22	c =============================================================================
5.19/5.23	c  0.0s |       0 |        0 |        0 |    69699      0 |        0 |        0
5.50/5.60	c  0.4s |       1 |      137 |      100 |    69699      0 |        0 |        0
6.49/6.52	c  1.3s |       2 |     8383 |      250 |    76669      0 |        0 |        0
7.09/7.14	c  1.9s |       3 |    11749 |      475 |    84336      0 |        0 |        0
8.90/8.98	c  3.8s |       4 |    38159 |      813 |    92770      0 |        0 |        0
10.69/10.76	c  5.5s |       5 |    72530 |     1320 |   102048      0 |        0 |        0
12.39/12.42	c  7.2s |       6 |   102679 |     2081 |   123479      0 |        0 |        0
13.99/14.00	c  8.8s |       7 |   127934 |     3223 |   135827      0 |        0 |        0
15.99/16.04	c 10.8s |       7 |   148925 |     4923 |   149410      0 |        0 |        0
15.99/16.06	c 10.8s |       8 |   148944 |     4936 |   149410      0 |        0 |        0
17.99/18.07	c 12.8s |       8 |   197325 |     6536 |   149410      0 |        0 |        0
18.99/19.05	c 13.8s |       9 |   234241 |     7506 |   164351      0 |        0 |        0
21.09/21.18	c 16.0s |       9 |   256930 |     8406 |   164351      0 |        0 |        0
23.19/23.27	c 18.0s |       9 |   276054 |     9806 |   164351      0 |        0 |        0
24.89/24.94	c 19.7s |      10 |   299493 |    11361 |   180787      0 |        0 |        0
26.89/26.99	c 21.8s |      10 |   302031 |    12961 |   180787      0 |        0 |        0
29.09/29.14	c 23.9s |      10 |   303822 |    14561 |   180787      0 |        0 |        0
31.09/31.19	c 26.0s |      10 |   305482 |    16061 |   180787      0 |        0 |        0
32.79/32.86	c 27.6s |      11 |   306722 |    17144 |   198866      0 |        0 |        0
34.88/34.95	c 29.7s |      11 |   340351 |    19344 |   198866      0 |        0 |        0
36.88/36.96	c 31.7s |      11 |   370659 |    20944 |   198866      0 |        0 |        0
38.88/39.00	c 33.8s |      11 |   396746 |    23944 |   198866      0 |        0 |        0
40.98/41.05	c 35.8s |      11 |   429686 |    25544 |   198866      0 |        0 |        0
41.38/41.49	c 36.3s |      12 |   436684 |    25819 |   218753      0 |        0 |        0
43.48/43.52	c 38.3s |      12 |   441135 |    26819 |   218753      0 |        0 |        0
45.68/45.79	c 40.6s |      12 |   442195 |    27719 |   218753      0 |        0 |        0
47.78/47.81	c 42.6s |      12 |   459825 |    28619 |   218753      0 |        0 |        0
49.78/49.87	c 44.7s |      12 |   462110 |    29919 |   218753      0 |        0 |        0
51.98/52.04	c 46.8s |      12 |   463396 |    31019 |   218753      0 |        0 |        0
53.99/54.04	c 48.8s |      12 |   464645 |    32119 |   218753      0 |        0 |        0
56.09/56.12	c 50.9s |      12 |   466087 |    33419 |   218753      0 |        0 |        0
58.08/58.18	c 53.0s |      12 |   467098 |    34319 |   218753      0 |        0 |        0
60.18/60.25	c 55.0s |      12 |   468107 |    35219 |   218753      0 |        0 |        0
62.38/62.49	c 57.3s |      12 |   469139 |    36119 |   218753      0 |        0 |        0
64.68/64.79	c 59.6s |      12 |   470149 |    37019 |   218753      0 |        0 |        0
66.78/66.81	c 61.6s |      12 |   471025 |    37819 |   218753      0 |        0 |        0
68.98/69.07	c 63.8s |      12 |   471805 |    38519 |   218753      0 |        0 |        0
69.88/69.91	c 64.7s |      13 |   472138 |    38832 |   240629      0 |        0 |        0
71.88/71.96	c 66.7s |      13 |   501563 |    40932 |   240629      0 |        0 |        0
73.98/74.01	c 68.8s |      13 |   530716 |    42632 |   240629      0 |        0 |        0
75.98/76.02	c 70.8s |      13 |   548877 |    44532 |   240629      0 |        0 |        0
78.18/78.23	c 73.0s |      13 |   555900 |    47032 |   240629      0 |        0 |        0
80.17/80.29	c 75.1s |      13 |   559062 |    48532 |   240629      0 |        0 |        0
82.37/82.41	c 77.2s |      13 |   563103 |    50332 |   240629      0 |        0 |        0
84.37/84.49	c 79.3s |      13 |   573767 |    52232 |   240629      0 |        0 |        0
86.57/86.60	c 81.4s |      13 |   584570 |    53632 |   240629      0 |        0 |        0
88.57/88.67	c 83.5s |      13 |   594705 |    55332 |   240629      0 |        0 |        0
90.57/90.69	c 85.5s |      13 |   600289 |    57032 |   240629      0 |        0 |        0
91.87/91.91	c 86.7s |      14 |   615365 |    58352 |   264692      0 |        0 |        0
94.07/94.11	c 88.9s |      14 |   616681 |    59152 |   264692      0 |        0 |        0
96.27/96.31	c 91.1s |      14 |   617568 |    59952 |   264692      0 |        0 |        0
98.27/98.32	c 93.1s |      14 |   618469 |    60752 |   264692      0 |        0 |        0
100.47/100.52	c 95.3s |      14 |   619258 |    61452 |   264692      0 |        0 |        0
102.67/102.71	c 97.5s |      14 |   620034 |    62152 |   264692      0 |        0 |        0
104.87/104.91	c 99.7s |      14 |   620910 |    62952 |   264692      0 |        0 |        0
106.96/107.09	c  101s |      14 |   621657 |    63652 |   264692      0 |        0 |        0
109.16/109.25	c  104s |      14 |   622408 |    64352 |   264692      0 |        0 |        0
111.36/111.42	c  106s |      14 |   623393 |    65152 |   264692      0 |        0 |        0
113.56/113.67	c  108s |      14 |   624154 |    65852 |   264692      0 |        0 |        0
115.66/115.72	c  110s |      14 |   625112 |    66652 |   264692      0 |        0 |        0
117.66/117.80	c  112s |      14 |   625848 |    67252 |   264692      0 |        0 |        0
119.75/119.82	c  114s |      14 |   626596 |    67952 |   264692      0 |        0 |        0
121.85/121.90	c  116s |      14 |   627776 |    68552 |   264692      0 |        0 |        0
124.15/124.20	c  118s |      14 |   628540 |    69052 |   264692      0 |        0 |        0
126.25/126.33	c  121s |      14 |   629846 |    69852 |   264692      0 |        0 |        0
128.45/128.54	c  123s |      14 |   630492 |    70452 |   264692      0 |        0 |        0
130.55/130.62	c  125s |      14 |   632302 |    71452 |   264692      0 |        0 |        0
132.85/132.94	c  127s |      14 |   633097 |    72152 |   264692      0 |        0 |        0
134.95/135.09	c  129s |      14 |   634635 |    73052 |   264692      0 |        0 |        0
137.25/137.30	c  132s |      14 |   635568 |    73652 |   264692      0 |        0 |        0
139.45/139.59	c  134s |      14 |   636213 |    74252 |   264692      0 |        0 |        0
141.75/141.80	c  136s |      14 |   643770 |    75252 |   264692      0 |        0 |        0
143.85/143.91	c  138s |      14 |   649230 |    76152 |   264692      0 |        0 |        0
146.15/146.28	c  141s |      14 |   652658 |    76852 |   264692      0 |        0 |        0
148.35/148.48	c  143s |      14 |   656985 |    77752 |   264692      0 |        0 |        0
150.95/151.03	c  145s |      14 |   681728 |    78752 |   264692      0 |        0 |        0
153.25/153.36	c  148s |      14 |   696494 |    79852 |   264692      0 |        0 |        0
155.35/155.46	c  150s |      14 |   703062 |    80652 |   264692      0 |        0 |        0
157.55/157.60	c  152s |      14 |   715037 |    81652 |   264692      0 |        0 |        0
159.74/159.82	c  154s |      14 |   725835 |    82852 |   264692      0 |        0 |        0
162.04/162.17	c  156s |      14 |   728472 |    83552 |   264692      0 |        0 |        0
164.34/164.48	c  159s |      14 |   729127 |    84152 |   264692      0 |        0 |        0
166.44/166.52	c  161s |      14 |   737818 |    85052 |   264692      0 |        0 |        0
168.44/168.57	c  163s |      14 |   740263 |    85752 |   264692      0 |        0 |        0
170.64/170.76	c  165s |      14 |   742317 |    86352 |   264692      0 |        0 |        0
172.75/172.84	c  167s |      14 |   747022 |    87052 |   291162      0 |        0 |        0
174.44/174.57	c  169s |      15 |   748470 |    87632 |   291162      0 |        0 |        0
176.64/176.77	c  171s |      15 |   754177 |    88532 |   291162      0 |        0 |        0
178.74/178.82	c  173s |      15 |   755734 |    89432 |   291162      0 |        0 |        0
180.74/180.86	c  175s |      15 |   762474 |    90532 |   291162      0 |        1 |       11
182.84/182.99	c  177s |      15 |   772621 |    91732 |   291162      0 |        1 |       11
184.94/185.01	c  179s |      15 |   780290 |    93032 |   291162      0 |        1 |       11
187.04/187.18	c  181s |      15 |   785794 |    93932 |   291162      0 |        1 |       11
189.34/189.43	c  184s |      15 |   789015 |    94732 |   291162      0 |        1 |       11
191.34/191.45	c  186s |      15 |   789791 |    95232 |   291162      0 |        1 |       11
193.54/193.64	c  188s |      15 |   795688 |    96032 |   291162      0 |        1 |       11
195.54/195.69	c  190s |      15 |   807709 |    97132 |   291162      0 |        1 |       11
197.64/197.73	c  192s |      15 |   822607 |    98532 |   291162      0 |        1 |       11
199.63/199.75	c  194s |      15 |   827650 |    99532 |   291162      0 |        1 |       11
201.73/201.82	c  196s |      15 |   830004 |   100232 |   291162      0 |        1 |       11
204.03/204.11	c  198s |      15 |   833327 |   101132 |   291162      0 |        1 |       11
206.13/206.27	c  201s |      15 |   834976 |   101932 |   291162      0 |        1 |       11
208.33/208.42	c  203s |      15 |   841536 |   103132 |   291162      0 |        1 |       11
210.33/210.43	c  205s |      15 |   888503 |   104132 |   291162      0 |        1 |       11
212.34/212.45	c  207s |      15 |   901965 |   105032 |   291162      0 |        1 |       11
214.33/214.45	c  209s |      15 |   913586 |   106232 |   291162      0 |        1 |       11
216.43/216.57	c  211s |      15 |   918342 |   107432 |   291162      0 |        1 |       11
218.63/218.70	c  213s |      15 |   922582 |   108632 |   291162      0 |        1 |       11
220.73/220.83	c  215s |      15 |   943063 |   110232 |   291162      0 |        1 |       11
223.03/223.12	c  217s |      15 |   960634 |   111332 |   291162      0 |        1 |       11
225.13/225.23	c  220s |      15 |   980680 |   112332 |   291162      0 |        1 |       11
227.43/227.59	c  222s |      15 |   986708 |   113232 |   291162      0 |        1 |       11
229.83/229.92	c  224s |      15 |   996308 |   113932 |   291162      0 |        1 |       11
231.82/231.94	c  226s |      15 |  1000711 |   114532 |   291162      0 |        1 |       11
233.92/234.03	c  228s |      15 |  1007438 |   115232 |   291162      0 |        1 |       11
235.92/236.05	c  230s |      15 |  1026735 |   116132 |   291162      0 |        1 |       11
238.22/238.34	c  233s |      15 |  1048278 |   117032 |   291162      0 |        1 |       11
240.42/240.51	c  235s |      15 |  1065336 |   118032 |   291162      0 |        1 |       11
242.72/242.86	c  237s |      15 |  1072532 |   118832 |   291162      0 |        1 |       11
245.12/245.29	c  240s |      15 |  1077319 |   119432 |   291162      0 |        1 |       11
247.53/247.63	c  242s |      15 |  1084090 |   119932 |   291162      0 |        1 |       11
249.63/249.72	c  244s |      15 |  1087318 |   120532 |   291162      0 |        1 |       11
251.72/251.85	c  246s |      15 |  1088765 |   121032 |   291162      0 |        1 |       11
253.82/253.94	c  248s |      15 |  1090260 |   121532 |   291162      0 |        1 |       11
255.92/256.00	c  250s |      15 |  1096105 |   122132 |   291162      0 |        1 |       11
257.92/258.07	c  252s |      15 |  1097765 |   122632 |   291162      0 |        1 |       11
260.12/260.23	c  255s |      15 |  1100121 |   123132 |   291162      0 |        1 |       11
262.12/262.26	c  257s |      15 |  1107396 |   123832 |   291162      0 |        1 |       11
264.22/264.39	c  259s |      15 |  1109729 |   124432 |   291162      0 |        1 |       11
266.42/266.55	c  261s |      15 |  1117936 |   125032 |   291162      0 |        1 |       11
268.72/268.83	c  263s |      15 |  1122797 |   125532 |   291162      0 |        1 |       11
270.92/271.03	c  265s |      15 |  1125889 |   126032 |   291162      0 |        1 |       11
273.32/273.44	c  268s |      15 |  1128171 |   126532 |   291162      0 |        1 |       11
275.72/275.83	c  270s |      15 |  1136076 |   127232 |   291162      0 |        1 |       11
277.92/278.05	c  272s |      15 |  1141108 |   127932 |   291162      0 |        1 |       11
280.02/280.19	c  274s |      15 |  1144908 |   128532 |   291162      0 |        1 |       11
282.22/282.36	c  277s |      15 |  1147686 |   129032 |   291162      0 |        1 |       11
284.52/284.61	c  279s |      15 |  1150068 |   129532 |   291162      0 |        1 |       11
286.62/286.77	c  281s |      15 |  1150824 |   129932 |   291162      0 |        1 |       11
288.82/288.93	c  283s |      15 |  1151531 |   130332 |   291162      0 |        1 |       11
290.81/290.96	c  285s |      15 |  1152247 |   130732 |   320279      0 |        1 |       11
293.11/293.22	c  288s |      15 |  1153151 |   131132 |   320279      0 |        1 |       11
295.11/295.27	c  290s |      15 |  1153485 |   131432 |   320279      0 |        1 |       11
295.71/295.89	c  290s |      16 |  1153716 |   131552 |   320279      0 |        1 |       11
298.21/298.34	c  293s |      16 |  1158726 |   132052 |   320279      0 |        1 |       11
300.51/300.61	c  295s |      16 |  1161211 |   132452 |   320279      0 |        1 |       11
302.71/302.88	c  297s |      16 |  1165378 |   132952 |   320279      0 |        1 |       11
305.01/305.18	c  299s |      16 |  1181185 |   133952 |   320279      0 |        1 |       11
307.11/307.24	c  302s |      16 |  1183399 |   134752 |   320279      0 |        1 |       11
309.61/309.72	c  304s |      16 |  1196089 |   135852 |   320279      0 |        1 |       11
311.71/311.80	c  306s |      16 |  1197280 |   136252 |   320279      0 |        1 |       11
313.91/314.00	c  308s |      16 |  1200814 |   136452 |   320279      0 |        2 |       22
316.01/316.12	c  310s |      16 |  1210560 |   137352 |   320279      0 |        2 |       22
318.01/318.18	c  312s |      16 |  1213348 |   137952 |   320279      0 |        2 |       22
320.61/320.70	c  315s |      16 |  1217689 |   138452 |   320279      0 |        2 |       22
323.31/323.45	c  318s |      16 |  1221132 |   139352 |   320279      0 |        2 |       22
325.81/325.90	c  320s |      16 |  1221504 |   139652 |   320279      0 |        2 |       22
328.10/328.27	c  323s |      16 |  1221834 |   139952 |   320279      0 |        2 |       22
330.10/330.29	c  325s |      16 |  1222159 |   140252 |   320279      0 |        2 |       22
332.30/332.49	c  327s |      16 |  1222475 |   140552 |   320279      0 |        2 |       22
335.00/335.18	c  329s |      16 |  1222908 |   140952 |   320279      0 |        2 |       22
337.60/337.75	c  332s |      16 |  1223349 |   141352 |   320279      0 |        2 |       22
339.90/340.04	c  334s |      16 |  1223781 |   141752 |   320279      0 |        2 |       22
341.90/342.06	c  336s |      16 |  1228614 |   142352 |   320279      0 |        2 |       22
343.90/344.07	c  338s |      16 |  1230549 |   142952 |   320279      0 |        2 |       22
346.30/346.41	c  341s |      16 |  1235603 |   143452 |   320279      0 |        2 |       22
348.49/348.61	c  343s |      16 |  1238873 |   144052 |   320279      0 |        2 |       22
350.80/350.95	c  345s |      16 |  1239906 |   144452 |   320279      0 |        2 |       22
353.19/353.31	c  348s |      16 |  1240264 |   144752 |   320279      0 |        2 |       22
355.39/355.53	c  350s |      16 |  1240748 |   145052 |   320279      0 |        2 |       22
357.40/357.58	c  352s |      16 |  1242874 |   145452 |   320279      0 |        2 |       22
359.70/359.84	c  354s |      16 |  1245545 |   146152 |   320279      0 |        2 |       22
362.19/362.35	c  357s |      16 |  1246824 |   146752 |   320279      0 |        2 |       22
364.19/364.37	c  359s |      16 |  1249203 |   147152 |   320279      0 |        2 |       22
366.30/366.41	c  361s |      16 |  1259620 |   148652 |   320279      0 |        2 |       22
368.39/368.52	c  363s |      16 |  1267327 |   149852 |   320279      0 |        2 |       22
370.48/370.69	c  365s |      16 |  1270580 |   150852 |   320279      0 |        2 |       22
372.58/372.70	c  367s |      16 |  1277113 |   152052 |   320279      0 |        2 |       22
374.68/374.80	c  369s |      16 |  1287958 |   153252 |   320279      0 |        2 |       22
376.78/376.98	c  371s |      16 |  1290499 |   154152 |   320279      0 |        2 |       22
378.88/379.06	c  373s |      16 |  1292136 |   154852 |   320279      0 |        2 |       22
381.28/381.49	c  376s |      16 |  1293894 |   155652 |   320279      0 |        2 |       22
383.38/383.56	c  378s |      16 |  1295767 |   156152 |   320279      0 |        2 |       22
385.48/385.69	c  380s |      16 |  1298037 |   156952 |   320279      0 |        2 |       22
387.68/387.82	c  382s |      16 |  1300952 |   157652 |   320279      0 |        2 |       22
389.78/389.95	c  384s |      16 |  1302596 |   158252 |   320279      0 |        2 |       22
391.88/392.03	c  386s |      16 |  1303972 |   158752 |   320279      0 |        2 |       22
393.98/394.14	c  388s |      16 |  1315802 |   159252 |   320279      0 |        2 |       22
396.07/396.21	c  390s |      16 |  1343310 |   160652 |   320279      0 |        2 |       22
398.08/398.24	c  393s |      16 |  1366179 |   162152 |   320279      0 |        2 |       22
400.17/400.35	c  395s |      16 |  1380316 |   163052 |   320279      0 |        2 |       22
402.17/402.36	c  397s |      16 |  1390824 |   164052 |   320279      0 |        2 |       22
404.37/404.53	c  399s |      16 |  1394323 |   164752 |   320279      0 |        2 |       22
406.57/406.73	c  401s |      16 |  1397091 |   165452 |   320279      0 |        2 |       22
408.66/408.88	c  403s |      16 |  1405465 |   166352 |   320279      0 |        2 |       22
410.86/411.02	c  405s |      16 |  1407927 |   166952 |   320279      0 |        2 |       22
412.96/413.13	c  407s |      16 |  1411992 |   167652 |   320279      0 |        2 |       22
415.46/415.63	c  410s |      16 |  1413173 |   168052 |   320279      0 |        2 |       22
417.66/417.88	c  412s |      16 |  1414415 |   168452 |   320279      0 |        2 |       22
419.86/420.02	c  414s |      16 |  1415604 |   168852 |   320279      0 |        2 |       22
422.27/422.43	c  417s |      16 |  1416826 |   169352 |   320279      0 |        2 |       22
424.36/424.56	c  419s |      16 |  1417464 |   169752 |   320279      0 |        2 |       22
426.96/427.16	c  421s |      16 |  1418781 |   170252 |   320279      0 |        2 |       22
428.96/429.19	c  423s |      16 |  1420256 |   170652 |   320279      0 |        2 |       22
431.26/431.47	c  426s |      16 |  1420819 |   171052 |   320279      0 |        2 |       22
433.56/433.71	c  428s |      16 |  1421428 |   171452 |   320279      0 |        2 |       22
435.56/435.75	c  430s |      16 |  1423271 |   171952 |   320279      0 |        2 |       22
437.55/437.80	c  432s |      16 |  1424046 |   172452 |   320279      0 |        2 |       22
439.65/439.86	c  434s |      16 |  1425401 |   172852 |   320279      0 |        2 |       22
441.95/442.14	c  436s |      16 |  1425845 |   173152 |   320279      0 |        2 |       22
444.05/444.27	c  439s |      16 |  1426168 |   173452 |   320279      0 |        2 |       22
446.35/446.58	c  441s |      16 |  1426496 |   173752 |   320279      0 |        2 |       22
449.15/449.32	c  444s |      16 |  1427185 |   174152 |   320279      0 |        2 |       22
451.15/451.35	c  446s |      16 |  1428521 |   174752 |   320279      0 |        2 |       22
453.55/453.75	c  448s |      16 |  1429051 |   175152 |   320279      0 |        2 |       22
455.75/455.96	c  450s |      16 |  1429611 |   175552 |   320279      0 |        2 |       22
458.14/458.32	c  453s |      16 |  1429935 |   175852 |   320279      0 |        2 |       22
460.14/460.32	c  455s |      16 |  1430310 |   176152 |   320279      0 |        2 |       22
462.34/462.50	c  457s |      16 |  1430777 |   176452 |   320279      0 |        2 |       22
465.04/465.23	c  460s |      16 |  1431597 |   176852 |   320279      0 |        2 |       22
467.14/467.32	c  462s |      16 |  1432072 |   177152 |   320279      0 |        2 |       22
469.24/469.41	c  464s |      16 |  1432500 |   177452 |   320279      0 |        2 |       22
471.34/471.51	c  466s |      16 |  1432921 |   177752 |   320279      0 |        2 |       22
473.44/473.67	c  468s |      16 |  1433590 |   178052 |   320279      0 |        2 |       22
475.94/476.19	c  470s |      16 |  1434086 |   178352 |   320279      0 |        2 |       22
478.44/478.68	c  473s |      16 |  1434701 |   178652 |   320279      0 |        2 |       22
480.64/480.85	c  475s |      16 |  1434949 |   178852 |   320279      0 |        2 |       22
483.34/483.51	c  478s |      16 |  1435403 |   179152 |   320279      0 |        2 |       22
485.34/485.59	c  480s |      16 |  1435624 |   179352 |   320279      0 |        2 |       22
487.63/487.83	c  482s |      16 |  1435971 |   179652 |   320279      0 |        2 |       22
490.44/490.62	c  485s |      16 |  1436332 |   179952 |   320279      0 |        2 |       22
492.83/493.08	c  487s |      16 |  1436807 |   180252 |   320279      0 |        2 |       22
495.13/495.31	c  490s |      16 |  1437045 |   180452 |   320279      0 |        2 |       22
497.23/497.47	c  492s |      16 |  1437290 |   180652 |   320279      0 |        2 |       22
500.03/500.24	c  495s |      16 |  1437639 |   180952 |   320279      0 |        2 |       22
502.43/502.70	c  497s |      16 |  1437873 |   181152 |   320279      0 |        2 |       22
505.03/505.20	c  499s |      16 |  1438091 |   181352 |   320279      0 |        2 |       22
507.12/507.37	c  502s |      16 |  1438327 |   181552 |   320279      0 |        2 |       22
509.82/510.03	c  504s |      16 |  1438661 |   181852 |   320279      0 |        2 |       22
512.02/512.22	c  506s |      16 |  1438880 |   182052 |   320279      0 |        2 |       22
514.42/514.61	c  509s |      16 |  1439109 |   182252 |   320279      0 |        2 |       22
516.62/516.83	c  511s |      16 |  1439325 |   182452 |   320279      0 |        2 |       22
518.72/518.98	c  513s |      16 |  1439581 |   182652 |   320279      0 |        2 |       22
521.72/521.95	c  516s |      16 |  1440071 |   182952 |   320279      0 |        2 |       22
523.72/523.98	c  518s |      16 |  1440367 |   183152 |   320279      0 |        2 |       22
525.92/526.16	c  520s |      16 |  1440604 |   183352 |   320279      0 |        2 |       22
528.01/528.26	c  523s |      16 |  1440815 |   183552 |   320279      0 |        2 |       22
530.61/530.83	c  525s |      16 |  1441352 |   183852 |   320279      0 |        2 |       22
533.51/533.71	c  528s |      16 |  1441695 |   184152 |   320279      0 |        2 |       22
536.01/536.26	c  531s |      16 |  1442321 |   184452 |   320279      0 |        2 |       22
538.31/538.53	c  533s |      16 |  1442747 |   184752 |   320279      0 |        2 |       22
541.11/541.39	c  536s |      16 |  1443082 |   185052 |   320279      0 |        2 |       22
544.21/544.42	c  539s |      16 |  1443419 |   185352 |   320279      0 |        2 |       22
547.20/547.40	c  542s |      16 |  1443762 |   185652 |   320279      0 |        2 |       22
549.60/549.84	c  544s |      16 |  1444235 |   185952 |   320279      0 |        2 |       22
551.70/551.95	c  546s |      16 |  1444453 |   186152 |   320279      0 |        2 |       22
554.21/554.46	c  549s |      16 |  1444868 |   186452 |   320279      0 |        2 |       22
556.60/556.88	c  551s |      16 |  1445375 |   186752 |   320279      0 |        2 |       22
558.80/559.04	c  553s |      16 |  1445640 |   186952 |   320279      0 |        2 |       22
561.40/561.67	c  556s |      16 |  1446026 |   187252 |   320279      0 |        2 |       22
564.20/564.41	c  559s |      16 |  1446437 |   187552 |   320279      0 |        2 |       22
566.20/566.50	c  561s |      16 |  1446699 |   187752 |   320279      0 |        2 |       22
568.50/568.72	c  563s |      16 |  1446903 |   187952 |   320279      0 |        2 |       22
571.49/571.75	c  566s |      16 |  1447254 |   188252 |   320279      0 |        2 |       22
574.49/574.78	c  569s |      16 |  1447622 |   188552 |   320279      0 |        2 |       22
576.69/576.95	c  571s |      16 |  1447857 |   188752 |   320279      0 |        2 |       22
579.39/579.68	c  574s |      16 |  1448332 |   189052 |   320279      0 |        2 |       22
582.39/582.67	c  577s |      16 |  1448682 |   189352 |   320279      0 |        2 |       22
585.29/585.55	c  580s |      16 |  1449138 |   189652 |   320279      0 |        2 |       22
587.39/587.60	c  582s |      16 |  1449346 |   189852 |   320279      0 |        2 |       22
590.19/590.41	c  585s |      16 |  1449711 |   190152 |   320279      0 |        2 |       22
592.99/593.22	c  588s |      16 |  1450051 |   190452 |   320279      0 |        2 |       22
595.09/595.38	c  590s |      16 |  1450264 |   190652 |   320279      0 |        2 |       22
597.39/597.67	c  592s |      16 |  1450468 |   190852 |   320279      0 |        2 |       22
600.09/600.35	c  595s |      16 |  1450807 |   191152 |   320279      0 |        2 |       22
603.09/603.31	c  598s |      16 |  1451135 |   191452 |   320279      0 |        2 |       22
605.29/605.56	c  600s |      16 |  1451333 |   191652 |   320279      0 |        2 |       22
607.49/607.74	c  602s |      16 |  1451593 |   191852 |   320279      0 |        2 |       22
609.49/609.78	c  604s |      16 |  1451841 |   192052 |   320279      0 |        2 |       22
611.79/612.06	c  606s |      16 |  1452044 |   192252 |   320279      0 |        2 |       22
614.08/614.39	c  609s |      16 |  1452277 |   192452 |   320279      0 |        2 |       22
616.38/616.65	c  611s |      16 |  1452481 |   192652 |   320279      0 |        2 |       22
618.68/618.90	c  613s |      16 |  1452692 |   192852 |   320279      0 |        2 |       22
620.98/621.28	c  616s |      16 |  1452895 |   193052 |   320279      0 |        2 |       22
623.38/623.67	c  618s |      16 |  1453103 |   193252 |   320279      0 |        2 |       22
625.68/625.99	c  620s |      16 |  1453301 |   193452 |   320279      0 |        2 |       22
628.17/628.43	c  623s |      16 |  1453504 |   193652 |   320279      0 |        2 |       22
630.57/630.81	c  625s |      16 |  1453707 |   193852 |   320279      0 |        2 |       22
632.57/632.88	c  627s |      16 |  1454015 |   194052 |   320279      0 |        2 |       22
635.68/635.98	c  630s |      16 |  1454345 |   194352 |   320279      0 |        2 |       22
637.97/638.23	c  633s |      16 |  1454556 |   194552 |   320279      0 |        2 |       22
640.87/641.17	c  635s |      16 |  1454966 |   194852 |   320279      0 |        2 |       22
643.07/643.39	c  638s |      16 |  1455219 |   195052 |   320279      0 |        2 |       22
645.37/645.60	c  640s |      16 |  1455437 |   195252 |   320279      0 |        2 |       22
647.86/648.10	c  642s |      16 |  1455651 |   195452 |   320279      0 |        2 |       22
649.87/650.19	c  644s |      16 |  1455879 |   195652 |   320279      0 |        2 |       22
652.26/652.51	c  647s |      16 |  1456106 |   195852 |   320279      0 |        2 |       22
655.26/655.51	c  650s |      16 |  1456441 |   196152 |   352307      0 |        2 |       22
657.86/658.17	c  652s |      16 |  1456967 |   196452 |   352307      0 |        2 |       22
659.96/660.25	c  655s |      16 |  1457209 |   196652 |   352307      0 |        2 |       22
662.46/662.73	c  657s |      16 |  1457512 |   196852 |   352307      0 |        2 |       22
664.96/665.24	c  660s |      16 |  1458604 |   197152 |   352307      0 |        2 |       22
667.06/667.39	c  662s |      17 |  1459344 |   197432 |   352307      0 |        2 |       22
669.45/669.80	c  664s |      17 |  1462457 |   197632 |   352307      0 |        2 |       22
672.25/672.51	c  667s |      17 |  1471358 |   197932 |   352307      0 |        2 |       22
674.25/674.59	c  669s |      17 |  1473304 |   198932 |   352307      0 |        2 |       22
676.65/676.96	c  671s |      17 |  1473730 |   199232 |   352307      0 |        2 |       22
679.15/679.44	c  674s |      17 |  1474109 |   199532 |   352307      0 |        2 |       22
681.35/681.65	c  676s |      17 |  1474728 |   199932 |   352307      0 |        2 |       22
683.35/683.69	c  678s |      17 |  1484756 |   200432 |   352307      0 |        2 |       22
685.55/685.81	c  680s |      17 |  1489432 |   201532 |   352307      0 |        2 |       22
687.85/688.13	c  682s |      17 |  1490804 |   202032 |   352307      0 |        2 |       22
689.95/690.26	c  685s |      17 |  1492500 |   202732 |   352307      0 |        2 |       22
692.15/692.45	c  687s |      17 |  1499499 |   203332 |   352307      0 |        2 |       22
694.25/694.53	c  689s |      17 |  1509188 |   204332 |   352307      0 |        2 |       22
696.35/696.63	c  691s |      17 |  1517371 |   205032 |   352307      0 |        2 |       22
698.44/698.72	c  693s |      17 |  1517698 |   205332 |   352307      0 |        2 |       22
700.45/700.72	c  695s |      17 |  1521663 |   205832 |   352307      0 |        2 |       22
702.94/703.20	c  697s |      17 |  1530498 |   206632 |   352307      0 |        2 |       22
705.24/705.54	c  700s |      17 |  1533275 |   207032 |   352307      0 |        2 |       22
707.84/708.16	c  702s |      17 |  1534538 |   207432 |   352307      0 |        2 |       22
710.34/710.64	c  705s |      17 |  1536048 |   207832 |   352307      0 |        2 |       22
712.54/712.80	c  707s |      17 |  1537740 |   208232 |   352307      0 |        2 |       22
714.54/714.86	c  709s |      17 |  1540706 |   209032 |   352307      0 |        2 |       22
716.74/717.05	c  711s |      17 |  1545905 |   210232 |   352307      0 |        2 |       22
719.15/719.46	c  714s |      17 |  1547005 |   210732 |   352307      0 |        2 |       22
721.24/721.54	c  716s |      17 |  1547807 |   211132 |   352307      0 |        2 |       22
724.14/724.46	c  719s |      17 |  1548313 |   211432 |   352307      0 |        2 |       22
726.34/726.62	c  721s |      17 |  1548751 |   211732 |   352307      0 |        2 |       22
728.34/728.63	c  723s |      17 |  1550350 |   212332 |   352307      0 |        2 |       22
730.54/730.89	c  725s |      17 |  1551800 |   212932 |   352307      0 |        2 |       22
732.84/733.13	c  727s |      17 |  1552775 |   213332 |   352307      0 |        2 |       22
735.14/735.48	c  730s |      17 |  1557350 |   214532 |   352307      0 |        2 |       22
737.44/737.77	c  732s |      17 |  1559772 |   215032 |   352307      0 |        2 |       22
739.54/739.81	c  734s |      17 |  1561618 |   215632 |   352307      0 |        2 |       22
741.64/741.92	c  736s |      17 |  1563557 |   216232 |   352307      0 |        2 |       22
743.64/743.94	c  738s |      17 |  1566047 |   217132 |   352307      0 |        2 |       22
745.94/746.21	c  740s |      17 |  1570741 |   218032 |   352307      0 |        2 |       22
748.04/748.36	c  743s |      17 |  1571299 |   218432 |   352307      0 |        2 |       22
750.24/750.52	c  745s |      17 |  1571719 |   218732 |   352307      0 |        2 |       22
752.44/752.75	c  747s |      17 |  1572177 |   219032 |   352307      0 |        2 |       22
754.54/754.81	c  749s |      17 |  1573766 |   219832 |   352307      0 |        2 |       22
756.64/756.96	c  751s |      17 |  1577055 |   220632 |   352307      0 |        2 |       22
758.74/759.10	c  753s |      17 |  1578139 |   221132 |   352307      0 |        2 |       22
761.73/762.03	c  756s |      17 |  1579322 |   221832 |   352307      0 |        2 |       22
764.03/764.36	c  759s |      17 |  1580201 |   222432 |   352307      0 |        2 |       22
766.13/766.44	c  761s |      17 |  1580611 |   222632 |   352307      0 |        2 |       22
768.13/768.46	c  763s |      17 |  1585826 |   224332 |   352307      0 |        2 |       22
770.23/770.58	c  765s |      17 |  1588960 |   224932 |   352307      0 |        2 |       22
772.43/772.78	c  767s |      17 |  1590909 |   225732 |   352307      0 |        2 |       22
774.63/774.94	c  769s |      17 |  1592499 |   226532 |   352307      0 |        2 |       22
776.73/777.10	c  771s |      17 |  1595296 |   227332 |   352307      0 |        2 |       22
778.83/779.17	c  773s |      17 |  1596656 |   227832 |   352307      0 |        2 |       22
781.03/781.38	c  776s |      17 |  1598364 |   228532 |   352307      0 |        2 |       22
783.13/783.48	c  778s |      17 |  1599129 |   228932 |   352307      0 |        2 |       22
785.53/785.88	c  780s |      17 |  1599778 |   229332 |   352307      0 |        2 |       22
788.33/788.61	c  783s |      17 |  1606592 |   230132 |   352307      0 |        2 |       22
790.33/790.62	c  785s |      17 |  1609506 |   231032 |   352307      0 |        2 |       22
792.43/792.71	c  787s |      17 |  1616854 |   231832 |   352307      0 |        2 |       22
794.63/794.95	c  789s |      17 |  1626857 |   232432 |   352307      0 |        2 |       22
796.93/797.25	c  792s |      17 |  1628555 |   232932 |   352307      0 |        2 |       22
799.03/799.33	c  794s |      17 |  1633356 |   233532 |   352307      0 |        2 |       22
801.33/801.62	c  796s |      17 |  1636139 |   234332 |   352307      0 |        2 |       22
803.43/803.77	c  798s |      17 |  1641795 |   235232 |   352307      0 |        2 |       22
805.83/806.18	c  800s |      17 |  1642925 |   235932 |   352307      0 |        2 |       22
807.93/808.27	c  803s |      17 |  1644479 |   236532 |   352307      0 |        2 |       22
809.93/810.29	c  805s |      17 |  1648061 |   237232 |   352307      0 |        2 |       22
812.43/812.71	c  807s |      17 |  1652050 |   237532 |   352307      0 |        3 |       33
814.73/815.04	c  809s |      17 |  1654233 |   238132 |   352307      0 |        3 |       33
816.82/817.14	c  811s |      17 |  1656432 |   238432 |   352307      0 |        3 |       33
819.52/819.89	c  814s |      17 |  1665748 |   238932 |   352307      0 |        3 |       33
822.02/822.34	c  817s |      17 |  1669842 |   239432 |   352307      0 |        3 |       33
824.12/824.41	c  819s |      17 |  1671443 |   239732 |   352307      0 |        3 |       33
826.22/826.57	c  821s |      17 |  1674225 |   240032 |   352307      0 |        3 |       33
828.32/828.60	c  823s |      17 |  1675793 |   240332 |   352307      0 |        3 |       33
830.82/831.14	c  825s |      17 |  1676803 |   240632 |   352307      0 |        3 |       33
833.42/833.71	c  828s |      17 |  1677205 |   240932 |   352307      0 |        3 |       33
835.42/835.73	c  830s |      17 |  1677451 |   241132 |   352307      0 |        3 |       33
838.12/838.42	c  833s |      17 |  1681505 |   241432 |   352307      0 |        3 |       33
840.42/840.72	c  835s |      17 |  1690297 |   241832 |   352307      0 |        3 |       33
842.52/842.80	c  837s |      17 |  1692180 |   242132 |   352307      0 |        3 |       33
844.82/845.15	c  839s |      17 |  1692903 |   242432 |   352307      0 |        3 |       33
848.12/848.43	c  843s |      17 |  1693322 |   242732 |   352307      0 |        3 |       33
851.13/851.45	c  846s |      17 |  1693952 |   243032 |   352307      0 |        3 |       33
853.12/853.46	c  848s |      17 |  1695434 |   243432 |   352307      0 |        3 |       33
856.02/856.35	c  851s |      17 |  1696949 |   243832 |   352307      0 |        3 |       33
858.12/858.45	c  853s |      17 |  1697588 |   244132 |   352307      0 |        3 |       33
860.22/860.57	c  855s |      17 |  1697963 |   244332 |   352307      0 |        3 |       33
862.42/862.73	c  857s |      17 |  1698245 |   244532 |   352307      0 |        3 |       33
864.52/864.80	c  859s |      17 |  1698486 |   244732 |   352307      0 |        3 |       33
867.42/867.79	c  862s |      17 |  1698909 |   245032 |   352307      0 |        3 |       33
869.52/869.85	c  864s |      17 |  1699178 |   245232 |   352307      0 |        3 |       33
871.62/871.93	c  866s |      17 |  1699484 |   245432 |   352307      0 |        3 |       33
873.62/873.98	c  868s |      17 |  1699949 |   245632 |   352307      0 |        3 |       33
876.02/876.33	c  871s |      17 |  1700239 |   245832 |   352307      0 |        3 |       33
878.82/879.19	c  873s |      17 |  1700642 |   246132 |   352307      0 |        3 |       33
881.02/881.30	c  876s |      17 |  1700876 |   246332 |   352307      0 |        3 |       33
883.41/883.72	c  878s |      17 |  1701097 |   246532 |   352307      0 |        3 |       33
886.32/886.67	c  881s |      17 |  1701571 |   246832 |   352307      0 |        3 |       33
888.81/889.11	c  883s |      17 |  1703208 |   247132 |   352307      0 |        3 |       33
891.11/891.45	c  886s |      17 |  1704218 |   247432 |   352307      0 |        3 |       33
893.31/893.66	c  888s |      17 |  1704939 |   247732 |   352307      0 |        3 |       33
895.51/895.82	c  890s |      17 |  1705718 |   248032 |   352307      0 |        3 |       33
897.81/898.14	c  892s |      17 |  1706264 |   248332 |   352307      0 |        3 |       33
900.51/900.84	c  895s |      17 |  1706804 |   248632 |   352307      0 |        3 |       33
903.11/903.47	c  898s |      17 |  1707217 |   248932 |   352307      0 |        3 |       33
905.51/905.88	c  900s |      17 |  1707718 |   249232 |   352307      0 |        3 |       33
908.11/908.40	c  903s |      17 |  1710950 |   249932 |   352307      0 |        3 |       33
910.31/910.63	c  905s |      17 |  1716189 |   250332 |   352307      0 |        3 |       33
912.51/912.80	c  907s |      17 |  1718190 |   250632 |   352307      0 |        3 |       33
915.02/915.35	c  910s |      17 |  1719893 |   251032 |   352307      0 |        3 |       33
917.81/918.16	c  912s |      17 |  1723304 |   251432 |   352307      0 |        3 |       33
920.41/920.77	c  915s |      17 |  1724262 |   251732 |   352307      0 |        3 |       33
922.71/923.06	c  917s |      17 |  1726032 |   252132 |   352307      0 |        3 |       33
924.81/925.13	c  919s |      17 |  1726902 |   252532 |   352307      0 |        3 |       33
927.01/927.38	c  922s |      17 |  1728021 |   253032 |   352307      0 |        3 |       33
929.11/929.46	c  924s |      17 |  1736900 |   253432 |   352307      0 |        3 |       33
931.21/931.54	c  926s |      17 |  1738376 |   253832 |   352307      0 |        3 |       33
933.61/933.97	c  928s |      17 |  1740481 |   254332 |   352307      0 |        3 |       33
936.00/936.34	c  931s |      17 |  1741454 |   254732 |   352307      0 |        3 |       33
938.11/938.41	c  933s |      17 |  1742658 |   255132 |   352307      0 |        3 |       33
940.50/940.82	c  935s |      17 |  1744064 |   255732 |   352307      0 |        3 |       33
942.51/942.84	c  937s |      17 |  1745103 |   256132 |   352307      0 |        3 |       33
944.71/945.06	c  939s |      17 |  1745632 |   256432 |   352307      0 |        3 |       33
946.81/947.16	c  941s |      17 |  1750432 |   256932 |   352307      0 |        3 |       33
948.90/949.26	c  944s |      17 |  1751234 |   257332 |   352307      0 |        3 |       33
951.21/951.54	c  946s |      17 |  1752187 |   257832 |   352307      0 |        3 |       33
953.41/953.70	c  948s |      17 |  1752834 |   258232 |   352307      0 |        3 |       33
955.61/956.00	c  950s |      17 |  1753602 |   258532 |   352307      0 |        3 |       33
958.10/958.45	c  953s |      17 |  1755963 |   259132 |   352307      0 |        3 |       33
960.60/960.91	c  955s |      17 |  1756580 |   259432 |   352307      0 |        3 |       33
963.31/963.61	c  958s |      17 |  1757070 |   259732 |   352307      0 |        3 |       33
965.51/965.88	c  960s |      17 |  1758162 |   260232 |   352307      0 |        3 |       33
967.90/968.25	c  963s |      17 |  1759229 |   260732 |   352307      0 |        3 |       33
970.80/971.15	c  965s |      17 |  1759671 |   261032 |   352307      0 |        3 |       33
972.80/973.19	c  967s |      17 |  1759923 |   261232 |   352307      0 |        3 |       33
975.40/975.76	c  970s |      17 |  1760538 |   261632 |   352307      0 |        3 |       33
978.00/978.34	c  973s |      17 |  1760967 |   261932 |   352307      0 |        3 |       33
980.10/980.48	c  975s |      17 |  1761467 |   262232 |   352307      0 |        3 |       33
982.70/983.01	c  977s |      17 |  1761949 |   262532 |   352307      0 |        3 |       33
984.90/985.22	c  979s |      17 |  1762431 |   262832 |   352307      0 |        3 |       33
987.60/987.96	c  982s |      17 |  1763054 |   263132 |   352307      0 |        3 |       33
989.70/990.03	c  984s |      17 |  1764150 |   263632 |   352307      0 |        3 |       33
992.39/992.70	c  987s |      17 |  1764945 |   264032 |   352307      0 |        3 |       33
994.39/994.78	c  989s |      17 |  1766690 |   264432 |   352307      0 |        3 |       33
996.59/996.96	c  991s |      17 |  1768592 |   264932 |   352307      0 |        3 |       33
999.49/999.83	c  994s |      17 |  1769481 |   265332 |   352307      0 |        3 |       33
1001.49/1001.89	c  996s |      17 |  1770360 |   265732 |   352307      0 |        3 |       33
1003.59/1003.96	c  998s |      17 |  1771295 |   266232 |   352307      0 |        3 |       33
1005.69/1006.02	c 1000s |      17 |  1772404 |   266632 |   352307      0 |        3 |       33
1008.09/1008.47	c 1003s |      17 |  1773027 |   266932 |   352307      0 |        3 |       33
1010.39/1010.71	c 1005s |      17 |  1773798 |   267332 |   352307      0 |        3 |       33
1013.09/1013.46	c 1008s |      17 |  1774821 |   267732 |   352307      0 |        3 |       33
1015.10/1015.49	c 1010s |      17 |  1776183 |   268032 |   352307      0 |        3 |       33
1018.09/1018.49	c 1013s |      17 |  1776670 |   268332 |   352307      0 |        3 |       33
1020.29/1020.62	c 1015s |      17 |  1777000 |   268532 |   352307      0 |        3 |       33
1022.39/1022.72	c 1017s |      17 |  1777538 |   268832 |   352307      0 |        3 |       33
1025.39/1025.77	c 1020s |      17 |  1778107 |   269132 |   352307      0 |        3 |       33
1028.39/1028.75	c 1023s |      17 |  1778561 |   269432 |   352307      0 |        3 |       33
1030.89/1031.22	c 1025s |      17 |  1779547 |   269832 |   352307      0 |        3 |       33
1033.19/1033.51	c 1028s |      17 |  1780689 |   270232 |   352307      0 |        3 |       33
1035.89/1036.26	c 1031s |      17 |  1781997 |   270932 |   352307      0 |        3 |       33
1038.59/1038.98	c 1033s |      17 |  1782428 |   271232 |   352307      0 |        3 |       33
1041.19/1041.54	c 1036s |      17 |  1783060 |   271632 |   352307      0 |        3 |       33
1043.59/1043.96	c 1038s |      17 |  1783622 |   271932 |   352307      0 |        3 |       33
1045.89/1046.27	c 1041s |      17 |  1784825 |   272232 |   352307      0 |        3 |       33
1048.28/1048.64	c 1043s |      17 |  1785317 |   272532 |   352307      0 |        3 |       33
1050.68/1051.01	c 1045s |      17 |  1785870 |   272832 |   352307      0 |        3 |       33
1052.98/1053.35	c 1048s |      17 |  1787902 |   273532 |   352307      0 |        3 |       33
1055.48/1055.86	c 1050s |      17 |  1789063 |   274032 |   352307      0 |        3 |       33
1057.78/1058.19	c 1052s |      17 |  1790706 |   274632 |   352307      0 |        3 |       33
1060.28/1060.66	c 1055s |      17 |  1791403 |   275032 |   352307      0 |        3 |       33
1062.58/1062.91	c 1057s |      17 |  1791956 |   275332 |   352307      0 |        3 |       33
1064.78/1065.16	c 1059s |      17 |  1793152 |   275932 |   352307      0 |        3 |       33
1066.88/1067.22	c 1061s |      17 |  1794121 |   276432 |   352307      0 |        3 |       33
1069.38/1069.71	c 1064s |      17 |  1794948 |   276932 |   352307      0 |        3 |       33
1071.58/1071.96	c 1066s |      17 |  1795907 |   277432 |   352307      0 |        3 |       33
1073.68/1074.08	c 1068s |      17 |  1796389 |   277732 |   352307      0 |        3 |       33
1076.18/1076.57	c 1071s |      17 |  1797278 |   278232 |   352307      0 |        3 |       33
1078.38/1078.74	c 1073s |      17 |  1797757 |   278532 |   352307      0 |        3 |       33
1080.48/1080.88	c 1075s |      17 |  1798186 |   278832 |   352307      0 |        3 |       33
1082.88/1083.23	c 1078s |      17 |  1798639 |   279132 |   352307      0 |        3 |       33
1085.18/1085.54	c 1080s |      17 |  1799455 |   279532 |   352307      0 |        3 |       33
1087.28/1087.69	c 1082s |      17 |  1801126 |   280132 |   352307      0 |        3 |       33
1089.79/1090.11	c 1084s |      17 |  1802670 |   280732 |   352307      0 |        3 |       33
1092.28/1092.64	c 1087s |      17 |  1803620 |   281132 |   352307      0 |        3 |       33
1094.38/1094.76	c 1089s |      17 |  1804262 |   281432 |   352307      0 |        3 |       33
1097.28/1097.66	c 1092s |      17 |  1805024 |   281732 |   352307      0 |        3 |       33
1100.28/1100.68	c 1095s |      17 |  1805466 |   282032 |   352307      0 |        3 |       33
1102.48/1102.84	c 1097s |      17 |  1806686 |   282332 |   352307      0 |        3 |       33
1104.58/1104.90	c 1099s |      17 |  1807847 |   282832 |   352307      0 |        3 |       33
1106.68/1107.05	c 1101s |      17 |  1808435 |   283232 |   352307      0 |        3 |       33
1109.18/1109.51	c 1104s |      17 |  1808965 |   283532 |   352307      0 |        3 |       33
1111.58/1111.94	c 1106s |      17 |  1809200 |   283732 |   352307      0 |        3 |       33
1113.77/1114.14	c 1108s |      17 |  1809522 |   283932 |   352307      0 |        3 |       33
1116.37/1116.73	c 1111s |      17 |  1809786 |   284132 |   352307      0 |        3 |       33
1119.17/1119.52	c 1114s |      17 |  1810033 |   284332 |   352307      0 |        3 |       33
1121.87/1122.22	c 1117s |      17 |  1810246 |   284532 |   352307      0 |        3 |       33
1123.98/1124.37	c 1119s |      17 |  1811020 |   284732 |   352307      0 |        3 |       33
1126.57/1126.91	c 1121s |      17 |  1812268 |   285232 |   352307      0 |        3 |       33
1128.77/1129.14	c 1123s |      17 |  1812585 |   285432 |   352307      0 |        3 |       33
1130.87/1131.26	c 1126s |      17 |  1813604 |   285932 |   352307      0 |        3 |       33
1133.07/1133.43	c 1128s |      17 |  1815083 |   286332 |   352307      0 |        3 |       33
1135.27/1135.69	c 1130s |      17 |  1816486 |   286932 |   352307      0 |        3 |       33
1138.18/1138.59	c 1133s |      17 |  1817648 |   287332 |   352307      0 |        3 |       33
1140.67/1141.06	c 1135s |      17 |  1819111 |   287732 |   352307      0 |        3 |       33
1142.97/1143.37	c 1138s |      17 |  1820410 |   288232 |   352307      0 |        3 |       33
1145.27/1145.63	c 1140s |      17 |  1821593 |   288632 |   352307      0 |        3 |       33
1147.57/1147.98	c 1142s |      17 |  1822083 |   288932 |   352307      0 |        3 |       33
1149.97/1150.33	c 1145s |      17 |  1822605 |   289232 |   352307      0 |        3 |       33
1152.37/1152.73	c 1147s |      17 |  1823373 |   289632 |   352307      0 |        3 |       33
1154.57/1154.93	c 1149s |      17 |  1824352 |   290032 |   352307      0 |        3 |       33
1156.97/1157.31	c 1152s |      17 |  1824709 |   290232 |   352307      0 |        3 |       33
1159.57/1159.96	c 1154s |      17 |  1825266 |   290532 |   352307      0 |        3 |       33
1161.97/1162.32	c 1157s |      17 |  1825631 |   290732 |   352307      0 |        3 |       33
1164.47/1164.83	c 1159s |      17 |  1826096 |   291032 |   352307      0 |        3 |       33
1167.17/1167.53	c 1162s |      17 |  1826750 |   291432 |   352307      0 |        3 |       33
1169.67/1170.02	c 1164s |      17 |  1827346 |   291732 |   352307      0 |        3 |       33
1172.16/1172.59	c 1167s |      17 |  1828475 |   292132 |   352307      0 |        3 |       33
1174.36/1174.78	c 1169s |      17 |  1829093 |   292432 |   352307      0 |        3 |       33
1176.67/1177.01	c 1171s |      17 |  1829986 |   292932 |   352307      0 |        3 |       33
1179.36/1179.73	c 1174s |      17 |  1831054 |   293532 |   352307      0 |        3 |       33
1181.46/1181.86	c 1176s |      17 |  1831476 |   293832 |   352307      0 |        3 |       33
1184.06/1184.40	c 1179s |      17 |  1832098 |   294232 |   387538      0 |        3 |       33
1186.46/1186.84	c 1181s |      17 |  1832567 |   294532 |   387538      0 |        3 |       33
1189.56/1189.98	c 1184s |      17 |  1833221 |   294932 |   387538      0 |        3 |       33
1191.56/1191.99	c 1186s |      17 |  1833689 |   295132 |   387538      0 |        3 |       33
1194.16/1194.59	c 1189s |      17 |  1834443 |   295432 |   387538      0 |        3 |       33
1197.06/1197.42	c 1192s |      17 |  1835076 |   295732 |   387538      0 |        3 |       33
1199.56/1199.97	c 1194s |      17 |  1835620 |   296032 |   387538      0 |        3 |       33
1202.07/1202.46	c 1197s |      17 |  1835860 |   296232 |   387538      0 |        3 |       33
1202.36/1202.73	c 1197s |      18 |  1835898 |   296252 |   387538      0 |        3 |       33
1205.06/1205.46	c 1200s |      18 |  1836385 |   296352 |   387538      0 |        3 |       33
1207.66/1208.01	c 1202s |      18 |  1845643 |   296852 |   387538      0 |        3 |       33
1209.77/1210.13	c 1204s |      18 |  1858041 |   298052 |   387538      0 |        3 |       33
1211.97/1212.31	c 1207s |      18 |  1863587 |   299152 |   387538      0 |        3 |       33
1213.96/1214.32	c 1209s |      18 |  1864990 |   299652 |   387538      0 |        3 |       33
1216.06/1216.48	c 1211s |      18 |  1868128 |   300052 |   387538      0 |        3 |       33
1218.16/1218.59	c 1213s |      18 |  1869981 |   300652 |   387538      0 |        3 |       33
1220.26/1220.63	c 1215s |      18 |  1881578 |   301452 |   387538      0 |        3 |       33
1222.36/1222.77	c 1217s |      18 |  1893335 |   302652 |   387538      0 |        3 |       33
1224.46/1224.82	c 1219s |      18 |  1911408 |   303652 |   387538      0 |        3 |       33
1226.76/1227.19	c 1221s |      18 |  1917155 |   304252 |   387538      0 |        3 |       33
1228.96/1229.32	c 1224s |      18 |  1918439 |   304852 |   387538      0 |        3 |       33
1230.96/1231.38	c 1226s |      18 |  1919746 |   305552 |   387538      0 |        3 |       33
1233.26/1233.63	c 1228s |      18 |  1920898 |   306052 |   387538      0 |        3 |       33
1235.46/1235.80	c 1230s |      18 |  1922527 |   306752 |   387538      0 |        3 |       33
1237.65/1238.09	c 1232s |      18 |  1925668 |   307352 |   387538      0 |        3 |       33
1239.85/1240.22	c 1234s |      18 |  1927781 |   307852 |   387538      0 |        3 |       33
1241.85/1242.30	c 1237s |      18 |  1928950 |   308252 |   387538      0 |        3 |       33
1244.15/1244.59	c 1239s |      18 |  1930016 |   308652 |   387538      0 |        3 |       33
1246.25/1246.64	c 1241s |      18 |  1931310 |   309252 |   387538      0 |        3 |       33
1248.45/1248.83	c 1243s |      18 |  1932604 |   309852 |   387538      0 |        3 |       33
1250.85/1251.24	c 1246s |      18 |  1933869 |   310352 |   387538      0 |        3 |       33
1253.05/1253.44	c 1248s |      18 |  1935297 |   310752 |   387538      0 |        3 |       33
1255.35/1255.72	c 1250s |      18 |  1937147 |   311252 |   387538      0 |        3 |       33
1257.75/1258.18	c 1252s |      18 |  1939833 |   311852 |   387538      0 |        3 |       33
1260.15/1260.58	c 1255s |      18 |  1941340 |   312552 |   387538      0 |        3 |       33
1262.56/1262.91	c 1257s |      18 |  1942808 |   313152 |   387538      0 |        3 |       33
1264.76/1265.16	c 1259s |      18 |  1943965 |   313652 |   387538      0 |        3 |       33
1267.05/1267.45	c 1262s |      18 |  1945023 |   314052 |   387538      0 |        3 |       33
1269.25/1269.62	c 1264s |      18 |  1945994 |   314452 |   387538      0 |        3 |       33
1271.36/1271.74	c 1266s |      18 |  1947160 |   314852 |   387538      0 |        3 |       33
1274.05/1274.40	c 1269s |      18 |  1947790 |   315252 |   387538      0 |        3 |       33
1276.05/1276.49	c 1271s |      18 |  1948469 |   315552 |   387538      0 |        3 |       33
1278.15/1278.56	c 1273s |      18 |  1948975 |   315852 |   387538      0 |        3 |       33
1280.35/1280.70	c 1275s |      18 |  1950140 |   316352 |   387538      0 |        3 |       33
1282.65/1283.09	c 1277s |      18 |  1950891 |   316752 |   387538      0 |        3 |       33
1285.15/1285.53	c 1280s |      18 |  1952581 |   317152 |   387538      0 |        3 |       33
1287.35/1287.75	c 1282s |      18 |  1953289 |   317552 |   387538      0 |        3 |       33
1289.45/1289.80	c 1284s |      18 |  1953768 |   317852 |   387538      0 |        3 |       33
1291.75/1292.17	c 1286s |      18 |  1954646 |   318352 |   387538      0 |        3 |       33
1294.15/1294.56	c 1289s |      18 |  1955695 |   318752 |   387538      0 |        3 |       33
1296.15/1296.58	c 1291s |      18 |  1956407 |   319252 |   387538      0 |        3 |       33
1298.25/1298.65	c 1293s |      18 |  1957442 |   319752 |   387538      0 |        3 |       33
1300.25/1300.66	c 1295s |      18 |  1958023 |   320152 |   387538      0 |        3 |       33
1302.45/1302.86	c 1297s |      18 |  1958456 |   320452 |   387538      0 |        3 |       33
1305.04/1305.47	c 1300s |      18 |  1959531 |   320952 |   387538      0 |        3 |       33
1307.44/1307.84	c 1302s |      18 |  1960562 |   321352 |   387538      0 |        3 |       33
1309.64/1310.08	c 1304s |      18 |  1962161 |   321852 |   387538      0 |        3 |       33
1312.14/1312.54	c 1307s |      18 |  1963006 |   322252 |   387538      0 |        3 |       33
1314.34/1314.73	c 1309s |      18 |  1964194 |   322652 |   387538      0 |        3 |       33
1316.54/1316.95	c 1311s |      18 |  1964927 |   323052 |   387538      0 |        3 |       33
1318.74/1319.17	c 1313s |      18 |  1965360 |   323352 |   387538      0 |        3 |       33
1321.14/1321.54	c 1316s |      18 |  1965757 |   323652 |   387538      0 |        3 |       33
1323.54/1323.93	c 1318s |      18 |  1967195 |   324052 |   387538      0 |        3 |       33
1325.84/1326.27	c 1321s |      18 |  1967871 |   324452 |   387538      0 |        3 |       33
1328.14/1328.52	c 1323s |      18 |  1968311 |   324652 |   387538      0 |        3 |       33
1330.14/1330.54	c 1325s |      18 |  1968992 |   324952 |   387538      0 |        3 |       33
1332.95/1333.36	c 1328s |      18 |  1969447 |   325252 |   387538      0 |        3 |       33
1335.05/1335.50	c 1330s |      18 |  1969948 |   325552 |   387538      0 |        3 |       33
1337.14/1337.60	c 1332s |      18 |  1970414 |   325852 |   387538      0 |        3 |       33
1339.34/1339.76	c 1334s |      18 |  1973514 |   326652 |   387538      0 |        3 |       33
1341.75/1342.14	c 1336s |      18 |  1974859 |   327352 |   387538      0 |        3 |       33
1343.85/1344.25	c 1339s |      18 |  1975867 |   327852 |   387538      0 |        3 |       33
1346.44/1346.85	c 1341s |      18 |  1976523 |   328252 |   387538      0 |        3 |       33
1348.54/1348.93	c 1343s |      18 |  1977528 |   328752 |   387538      0 |        3 |       33
1350.64/1351.10	c 1345s |      18 |  1978304 |   329152 |   387538      0 |        3 |       33
1352.74/1353.13	c 1347s |      18 |  1979106 |   329552 |   387538      0 |        3 |       33
1354.94/1355.35	c 1350s |      18 |  1980460 |   330152 |   387538      0 |        3 |       33
1357.04/1357.42	c 1352s |      18 |  1981591 |   330652 |   387538      0 |        3 |       33
1359.54/1359.97	c 1354s |      18 |  1983710 |   331252 |   387538      0 |        3 |       33
1361.74/1362.16	c 1356s |      18 |  1985249 |   331752 |   387538      0 |        3 |       33
1363.94/1364.35	c 1359s |      18 |  1986488 |   332152 |   387538      0 |        3 |       33
1366.04/1366.41	c 1361s |      18 |  1987361 |   332652 |   387538      0 |        3 |       33
1368.44/1368.84	c 1363s |      18 |  1988363 |   333152 |   387538      0 |        3 |       33
1370.83/1371.25	c 1366s |      18 |  1989376 |   333752 |   387538      0 |        3 |       33
1373.33/1373.71	c 1368s |      18 |  1990469 |   334352 |   387538      0 |        3 |       33
1375.43/1375.88	c 1370s |      18 |  1991267 |   334852 |   387538      0 |        3 |       33
1378.13/1378.55	c 1373s |      18 |  1992008 |   335252 |   387538      0 |        3 |       33
1380.53/1380.91	c 1375s |      18 |  1992887 |   335652 |   387538      0 |        3 |       33
1383.23/1383.67	c 1378s |      18 |  1993605 |   336052 |   387538      0 |        3 |       33
1385.23/1385.68	c 1380s |      18 |  1994078 |   336352 |   387538      0 |        3 |       33
1387.33/1387.74	c 1382s |      18 |  1994596 |   336652 |   387538      0 |        3 |       33
1390.33/1390.79	c 1385s |      18 |  1995283 |   337052 |   387538      0 |        3 |       33
1392.43/1392.84	c 1387s |      18 |  1995518 |   337252 |   387538      0 |        3 |       33
1394.54/1394.99	c 1389s |      18 |  1995773 |   337452 |   387538      0 |        3 |       33
1396.74/1397.16	c 1391s |      18 |  1996385 |   337752 |   387538      0 |        3 |       33
1399.83/1400.22	c 1394s |      18 |  1996758 |   338052 |   387538      0 |        3 |       33
1402.53/1402.99	c 1397s |      18 |  1997337 |   338352 |   387538      0 |        3 |       33
1404.63/1405.03	c 1399s |      18 |  1997819 |   338652 |   387538      0 |        3 |       33
1407.23/1407.65	c 1402s |      18 |  1998345 |   338952 |   387538      0 |        3 |       33
1409.94/1410.31	c 1405s |      18 |  1998761 |   339252 |   387538      0 |        3 |       33
1412.43/1412.83	c 1407s |      18 |  1999818 |   339552 |   387538      0 |        3 |       33
1414.93/1415.33	c 1410s |      18 |  2000542 |   339952 |   387538      0 |        3 |       33
1417.53/1417.96	c 1412s |      18 |  2001255 |   340352 |   387538      0 |        3 |       33
1419.63/1420.01	c 1414s |      18 |  2001528 |   340552 |   387538      0 |        3 |       33
1421.83/1422.21	c 1416s |      18 |  2001759 |   340752 |   387538      0 |        3 |       33
1424.33/1424.72	c 1419s |      18 |  2002154 |   341052 |   387538      0 |        3 |       33
1426.63/1427.09	c 1421s |      18 |  2002630 |   341352 |   387538      0 |        3 |       33
1429.43/1429.83	c 1424s |      18 |  2003033 |   341652 |   387538      0 |        3 |       33
1431.43/1431.85	c 1426s |      18 |  2003744 |   342052 |   387538      0 |        3 |       33
1433.63/1434.06	c 1428s |      18 |  2004120 |   342352 |   387538      0 |        3 |       33
1436.02/1436.40	c 1431s |      18 |  2004532 |   342652 |   387538      0 |        3 |       33
1438.53/1438.94	c 1433s |      18 |  2004937 |   342952 |   387538      0 |        3 |       33
1441.02/1441.40	c 1436s |      18 |  2005332 |   343252 |   387538      0 |        3 |       33
1443.72/1444.19	c 1438s |      18 |  2005835 |   343552 |   387538      0 |        3 |       33
1446.13/1446.57	c 1441s |      18 |  2006383 |   343852 |   387538      0 |        3 |       33
1448.82/1449.27	c 1444s |      18 |  2006806 |   344152 |   387538      0 |        3 |       33
1451.02/1451.49	c 1446s |      18 |  2007189 |   344452 |   387538      0 |        3 |       33
1453.52/1453.94	c 1448s |      18 |  2007803 |   344752 |   387538      0 |        3 |       33
1456.32/1456.72	c 1451s |      18 |  2008256 |   345052 |   387538      0 |        3 |       33
1458.82/1459.29	c 1454s |      18 |  2009472 |   345452 |   387538      0 |        3 |       33
1461.82/1462.29	c 1457s |      18 |  2009854 |   345752 |   387538      0 |        3 |       33
1464.12/1464.54	c 1459s |      18 |  2010150 |   345952 |   387538      0 |        3 |       33
1466.12/1466.54	c 1461s |      18 |  2010406 |   346152 |   387538      0 |        3 |       33
1468.42/1468.80	c 1463s |      18 |  2010932 |   346452 |   387538      0 |        3 |       33
1471.12/1471.52	c 1466s |      18 |  2011365 |   346652 |   387538      0 |        3 |       33
1473.22/1473.61	c 1468s |      18 |  2011770 |   346852 |   387538      0 |        3 |       33
1475.93/1476.37	c 1471s |      18 |  2012321 |   347252 |   387538      0 |        3 |       33
1478.13/1478.56	c 1473s |      18 |  2012552 |   347452 |   387538      0 |        3 |       33
1480.33/1480.77	c 1475s |      18 |  2013477 |   347852 |   387538      0 |        3 |       33
1482.72/1483.11	c 1477s |      18 |  2014095 |   348252 |   387538      0 |        3 |       33
1485.12/1485.55	c 1480s |      18 |  2014770 |   348652 |   387538      0 |        3 |       33
1487.42/1487.88	c 1482s |      18 |  2015211 |   348952 |   387538      0 |        3 |       33
1489.72/1490.18	c 1484s |      18 |  2015612 |   349252 |   387538      0 |        3 |       33
1492.62/1493.07	c 1487s |      18 |  2016214 |   349652 |   387538      0 |        3 |       33
1495.32/1495.79	c 1490s |      18 |  2016602 |   349952 |   387538      0 |        3 |       33
1497.72/1498.15	c 1492s |      18 |  2017105 |   350252 |   387538      0 |        3 |       33
1500.03/1500.47	c 1495s |      18 |  2017582 |   350552 |   387538      0 |        3 |       33
1502.52/1502.94	c 1497s |      18 |  2018091 |   350852 |   387538      0 |        3 |       33
1505.32/1505.73	c 1500s |      18 |  2018478 |   351152 |   387538      0 |        3 |       33
1507.52/1507.92	c 1502s |      18 |  2018913 |   351452 |   387538      0 |        3 |       33
1509.72/1510.16	c 1504s |      18 |  2019432 |   351752 |   387538      0 |        3 |       33
1511.82/1512.24	c 1507s |      18 |  2019785 |   351952 |   387538      0 |        3 |       33
1514.32/1514.71	c 1509s |      18 |  2020637 |   352252 |   387538      0 |        3 |       33
1517.02/1517.42	c 1512s |      18 |  2021052 |   352552 |   387538      0 |        3 |       33
1519.72/1520.11	c 1514s |      18 |  2021512 |   352852 |   387538      0 |        3 |       33
1522.12/1522.57	c 1517s |      18 |  2021958 |   353152 |   387538      0 |        3 |       33
1524.42/1524.88	c 1519s |      18 |  2022545 |   353452 |   387538      0 |        3 |       33
1526.92/1527.39	c 1522s |      18 |  2022947 |   353752 |   387538      0 |        3 |       33
1529.52/1529.93	c 1524s |      18 |  2023472 |   354052 |   387538      0 |        3 |       33
1531.82/1532.22	c 1527s |      18 |  2024066 |   354452 |   387538      0 |        3 |       33
1533.91/1534.37	c 1529s |      18 |  2024600 |   354852 |   387538      0 |        3 |       33
1536.51/1536.92	c 1531s |      18 |  2025178 |   355252 |   387538      0 |        3 |       33
1538.71/1539.13	c 1533s |      18 |  2025658 |   355552 |   387538      0 |        3 |       33
1541.51/1541.93	c 1536s |      18 |  2026029 |   355852 |   387538      0 |        3 |       33
1544.21/1544.60	c 1539s |      18 |  2026495 |   356152 |   387538      0 |        3 |       33
1546.61/1547.05	c 1541s |      18 |  2026881 |   356452 |   387538      0 |        3 |       33
1549.11/1549.55	c 1544s |      18 |  2027763 |   356952 |   387538      0 |        3 |       33
1551.11/1551.56	c 1546s |      18 |  2028755 |   357252 |   387538      0 |        3 |       33
1553.51/1553.98	c 1548s |      18 |  2029486 |   357652 |   387538      0 |        3 |       33
1555.91/1556.30	c 1551s |      18 |  2030196 |   358052 |   387538      0 |        3 |       33
1558.71/1559.11	c 1553s |      18 |  2030773 |   358452 |   387538      0 |        3 |       33
1560.71/1561.15	c 1555s |      18 |  2031189 |   358752 |   387538      0 |        3 |       33
1563.61/1564.05	c 1558s |      18 |  2031546 |   359052 |   387538      0 |        3 |       33
1565.71/1566.19	c 1560s |      18 |  2032195 |   359452 |   387538      0 |        3 |       33
1567.81/1568.29	c 1563s |      18 |  2034659 |   360452 |   387538      0 |        3 |       33
1570.01/1570.43	c 1565s |      18 |  2035282 |   360752 |   387538      0 |        3 |       33
1572.72/1573.11	c 1567s |      18 |  2035940 |   361152 |   387538      0 |        3 |       33
1575.51/1575.94	c 1570s |      18 |  2036395 |   361452 |   387538      0 |        3 |       33
1577.61/1578.04	c 1572s |      18 |  2036787 |   361652 |   387538      0 |        3 |       33
1580.51/1580.99	c 1575s |      18 |  2037289 |   361952 |   387538      0 |        3 |       33
1583.01/1583.43	c 1578s |      18 |  2038136 |   362352 |   387538      0 |        3 |       33
1585.91/1586.34	c 1581s |      18 |  2038496 |   362652 |   387538      0 |        3 |       33
1588.01/1588.47	c 1583s |      18 |  2043639 |   363052 |   387538      0 |        3 |       33
1590.21/1590.67	c 1585s |      18 |  2045447 |   363752 |   387538      0 |        3 |       33
1592.61/1593.03	c 1587s |      18 |  2046760 |   364352 |   387538      0 |        3 |       33
1594.81/1595.25	c 1590s |      18 |  2048132 |   364752 |   387538      0 |        3 |       33
1597.01/1597.43	c 1592s |      18 |  2049092 |   365152 |   387538      0 |        3 |       33
1599.40/1599.82	c 1594s |      18 |  2049905 |   365552 |   387538      0 |        3 |       33
1601.50/1601.96	c 1596s |      18 |  2050754 |   365952 |   387538      0 |        3 |       33
1604.00/1604.48	c 1599s |      18 |  2051456 |   366352 |   387538      0 |        3 |       33
1606.10/1606.58	c 1601s |      18 |  2052529 |   366752 |   387538      0 |        3 |       33
1609.01/1609.44	c 1604s |      18 |  2053688 |   367252 |   387538      0 |        3 |       33
1611.90/1612.39	c 1607s |      18 |  2054081 |   367552 |   387538      0 |        3 |       33
1614.00/1614.42	c 1609s |      18 |  2057485 |   368152 |   387538      0 |        3 |       33
1616.30/1616.76	c 1611s |      18 |  2059638 |   368752 |   387538      0 |        3 |       33
1618.70/1619.11	c 1613s |      18 |  2060897 |   369152 |   387538      0 |        3 |       33
1620.80/1621.25	c 1616s |      18 |  2061975 |   369652 |   387538      0 |        3 |       33
1623.00/1623.40	c 1618s |      18 |  2062940 |   370152 |   387538      0 |        3 |       33
1625.10/1625.55	c 1620s |      18 |  2063933 |   370552 |   387538      0 |        3 |       33
1627.50/1627.97	c 1622s |      18 |  2065028 |   371052 |   387538      0 |        3 |       33
1629.91/1630.31	c 1625s |      18 |  2065842 |   371452 |   387538      0 |        3 |       33
1632.01/1632.48	c 1627s |      18 |  2066380 |   371752 |   387538      0 |        3 |       33
1634.21/1634.62	c 1629s |      18 |  2067053 |   372152 |   387538      0 |        3 |       33
1636.30/1636.77	c 1631s |      18 |  2067715 |   372452 |   387538      0 |        3 |       33
1638.80/1639.20	c 1633s |      18 |  2068659 |   372852 |   387538      0 |        3 |       33
1641.10/1641.53	c 1636s |      18 |  2069771 |   373252 |   387538      0 |        3 |       33
1643.60/1644.09	c 1638s |      18 |  2070206 |   373552 |   387538      0 |        3 |       33
1645.80/1646.25	c 1641s |      18 |  2072898 |   374352 |   387538      0 |        3 |       33
1648.10/1648.59	c 1643s |      18 |  2074569 |   375052 |   387538      0 |        3 |       33
1650.80/1651.22	c 1645s |      18 |  2076145 |   375452 |   387538      0 |        3 |       33
1653.00/1653.44	c 1648s |      18 |  2076375 |   375652 |   387538      0 |        3 |       33
1655.60/1656.04	c 1650s |      18 |  2076817 |   375952 |   387538      0 |        3 |       33
1658.20/1658.64	c 1653s |      18 |  2077313 |   376252 |   387538      0 |        3 |       33
1661.00/1661.46	c 1656s |      18 |  2077727 |   376552 |   387538      0 |        3 |       33
1663.30/1663.72	c 1658s |      18 |  2078399 |   376952 |   387538      0 |        3 |       33
1665.59/1666.00	c 1660s |      18 |  2079056 |   377352 |   387538      0 |        3 |       33
1667.69/1668.17	c 1662s |      18 |  2079434 |   377652 |   387538      0 |        3 |       33
1670.50/1670.94	c 1665s |      18 |  2079800 |   377952 |   387538      0 |        3 |       33
1673.19/1673.69	c 1668s |      18 |  2080174 |   378252 |   387538      0 |        3 |       33
1675.39/1675.85	c 1670s |      18 |  2080423 |   378452 |   387538      0 |        3 |       33
1677.99/1678.44	c 1673s |      18 |  2080831 |   378752 |   387538      0 |        3 |       33
1680.09/1680.53	c 1675s |      18 |  2081675 |   379052 |   387538      0 |        3 |       33
1682.39/1682.89	c 1677s |      18 |  2082306 |   379352 |   387538      0 |        3 |       33
1684.49/1684.91	c 1679s |      18 |  2083500 |   379752 |   387538      0 |        3 |       33
1687.59/1688.02	c 1682s |      18 |  2084231 |   380152 |   387538      0 |        3 |       33
1689.89/1690.39	c 1685s |      18 |  2084703 |   380452 |   387538      0 |        3 |       33
1692.60/1693.02	c 1687s |      18 |  2085503 |   380852 |   387538      0 |        3 |       33
1695.29/1695.75	c 1690s |      18 |  2086049 |   381152 |   387538      0 |        3 |       33
1697.69/1698.18	c 1692s |      18 |  2086620 |   381452 |   387538      0 |        3 |       33
1700.30/1700.72	c 1695s |      18 |  2087080 |   381752 |   387538      0 |        3 |       33
1702.40/1702.89	c 1697s |      18 |  2087778 |   382052 |   387538      0 |        3 |       33
1704.60/1705.04	c 1699s |      18 |  2088408 |   382352 |   387538      0 |        3 |       33
1706.90/1707.34	c 1702s |      18 |  2089199 |   382652 |   387538      0 |        3 |       33
1709.00/1709.44	c 1704s |      18 |  2089824 |   382952 |   387538      0 |        3 |       33
1711.39/1711.84	c 1706s |      18 |  2090181 |   383152 |   387538      0 |        3 |       33
1713.89/1714.31	c 1709s |      18 |  2090437 |   383352 |   387538      0 |        3 |       33
1716.09/1716.54	c 1711s |      18 |  2090977 |   383652 |   387538      0 |        3 |       33
1718.99/1719.47	c 1714s |      18 |  2091342 |   383952 |   387538      0 |        3 |       33
1721.19/1721.66	c 1716s |      18 |  2096179 |   384252 |   387538      0 |        3 |       33
1723.59/1724.07	c 1718s |      18 |  2098017 |   384752 |   387538      0 |        3 |       33
1725.88/1726.32	c 1721s |      18 |  2101809 |   385352 |   387538      0 |        3 |       33
1728.68/1729.15	c 1723s |      18 |  2102826 |   385752 |   387538      0 |        3 |       33
1730.68/1731.19	c 1725s |      18 |  2104592 |   386152 |   387538      0 |        3 |       33
1732.88/1733.37	c 1728s |      18 |  2106194 |   386652 |   387538      0 |        3 |       33
1735.08/1735.53	c 1730s |      18 |  2107586 |   387252 |   387538      0 |        3 |       33
1737.98/1738.44	c 1733s |      18 |  2108657 |   387752 |   387538      0 |        3 |       33
1740.48/1740.93	c 1735s |      18 |  2109310 |   388052 |   387538      0 |        3 |       33
1742.68/1743.12	c 1737s |      18 |  2109895 |   388352 |   387538      0 |        3 |       33
1744.98/1745.49	c 1740s |      18 |  2110328 |   388652 |   387538      0 |        3 |       33
1747.18/1747.62	c 1742s |      18 |  2111444 |   389052 |   387538      0 |        3 |       33
1749.48/1749.97	c 1744s |      18 |  2112238 |   389552 |   387538      0 |        3 |       33
1751.68/1752.16	c 1746s |      18 |  2113984 |   390052 |   387538      0 |        3 |       33
1759.69/1760.17	c 1754s |      18 |  2114824 |   390152 |   387538      1 |        3 |       33
1761.98/1762.40	c 1757s |      18 |  2115470 |   390352 |   387538      1 |        3 |       33
1763.99/1764.44	c 1759s |      18 |  2116650 |   390952 |   387538      1 |        3 |       33
1766.19/1766.68	c 1761s |      18 |  2117598 |   391352 |   387538      1 |        3 |       33
1768.58/1769.02	c 1763s |      18 |  2118108 |   391752 |   387538      1 |        3 |       33
1770.88/1771.38	c 1766s |      18 |  2119051 |   392252 |   387538      1 |        3 |       33
1773.08/1773.51	c 1768s |      18 |  2120215 |   392752 |   387538      1 |        3 |       33
1775.48/1775.90	c 1770s |      18 |  2121120 |   393252 |   387538      1 |        3 |       33
1777.58/1778.01	c 1772s |      18 |  2123230 |   393852 |   387538      1 |        3 |       33
1779.98/1780.47	c 1775s |      18 |  2124517 |   394452 |   387538      1 |        3 |       33
1782.38/1782.81	c 1777s |      18 |  2125343 |   394952 |   387538      1 |        3 |       33
1784.48/1784.91	c 1779s |      18 |  2126217 |   395352 |   387538      1 |        3 |       33
1786.58/1787.09	c 1781s |      18 |  2126948 |   395752 |   387538      1 |        3 |       33
1789.08/1789.50	c 1784s |      18 |  2127545 |   396152 |   387538      1 |        3 |       33
1791.07/1791.54	c 1786s |      18 |  2128135 |   396452 |   387538      1 |        3 |       33
1793.17/1793.65	c 1788s |      18 |  2128578 |   396752 |   387538      1 |        3 |       33
1795.37/1795.80	c 1790s |      18 |  2129385 |   397252 |   387538      1 |        3 |       33
1797.57/1798.06	c 1792s |      18 |  2130453 |   397752 |   387538      1 |        3 |       33
1799.67/1800.16	c 1794s |      18 |  2131683 |   398352 |   387538      1 |        3 |       33

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

pid=13363
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.23 2.26 2.20 3/179 13366
/proc/meminfo: memFree=28955916/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 2929 0 0 0 0 0 0 0 20 0 4 0 31325699 801566720 3290 33554432000 4194304 16246674 140734084827984 140734084827408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 196463 3299 441 2943 0 193357 0
[pid=13366/tid=13367] ppid=13363 vsize=801212 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 820441088 3360 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 824635392 3377 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=809404 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31325699 828829696 3394 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.23 2.26 2.20 3/179 13366
/proc/meminfo: memFree=28955916/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 29997 0 0 0 6 3 0 0 20 0 4 0 31325699 1249447936 30296 33554432000 4194304 16246674 140734084827984 140734084827296 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 305041 30296 801 2943 0 301935 0
[pid=13366/tid=13367] ppid=13363 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1249447936 30296 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1249447936 30296 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1249447936 30296 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200518 s]
/proc/loadavg: 2.23 2.26 2.20 3/179 13366
/proc/meminfo: memFree=28955916/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1308228 CPUtime=0.19 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 51362 0 0 0 13 6 0 0 20 0 4 0 31325699 1339625472 52173 33554432000 4194304 16246674 140734084827984 140734084827296 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 327057 52176 801 2943 0 323951 0
[pid=13366/tid=13367] ppid=13363 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1339625472 52179 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1339625472 52182 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1339625472 52184 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1308228

[startup+0.300475 s]
/proc/loadavg: 2.23 2.26 2.20 3/179 13366
/proc/meminfo: memFree=28955916/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 61050 0 0 0 22 7 0 0 20 0 4 0 31325699 1345916928 61860 33554432000 4194304 16246674 140734084827984 140734084810976 4206572 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 328593 61860 801 2943 0 325487 0
[pid=13366/tid=13367] ppid=13363 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1345916928 61860 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1345916928 61860 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1345916928 61860 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700398 s]
/proc/loadavg: 2.23 2.26 2.20 3/179 13366
/proc/meminfo: memFree=28955916/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 69973 0 0 0 61 8 0 0 20 0 4 0 31325699 1345916928 70783 33554432000 4194304 16246674 140734084827984 140734084810976 7889456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 328593 70783 801 2943 0 325487 0
[pid=13366/tid=13367] ppid=13363 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1345916928 70783 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1345916928 70783 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1345916928 70783 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50037 s]
/proc/loadavg: 2.21 2.26 2.20 3/183 13370
/proc/meminfo: memFree=28627032/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 83861 0 0 0 139 10 0 0 20 0 4 0 31325699 1345916928 84671 33554432000 4194304 16246674 140734084827984 140734084825792 8058576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 328593 84671 802 2943 0 325487 0
[pid=13366/tid=13367] ppid=13363 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1345916928 84671 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1345916928 84671 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1345916928 84671 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10041 s]
/proc/loadavg: 2.21 2.26 2.20 4/183 13370
/proc/meminfo: memFree=28256272/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1349188 CPUtime=3.09 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 277691 0 0 0 271 38 0 0 20 0 4 0 31325699 1381568512 278501 33554432000 4194304 16246674 140734084827984 140734084825856 12855524 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 337297 278501 847 2943 0 334191 0
[pid=13366/tid=13367] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278501 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278501 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278501 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1349188

[startup+6.3004 s]
/proc/loadavg: 2.21 2.26 2.20 3/183 13370
/proc/meminfo: memFree=27841740/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1349188 CPUtime=6.29 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 277965 0 0 0 591 38 0 0 20 0 4 0 31325699 1381568512 278775 33554432000 4194304 16246674 140734084827984 140734084809856 5659568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 337297 278775 886 2943 0 334191 0
[pid=13366/tid=13367] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278775 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278775 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278775 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1349188

[startup+12.7004 s]
/proc/loadavg: 2.25 2.27 2.20 3/183 13370
/proc/meminfo: memFree=27841264/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1349188 CPUtime=12.69 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 277967 0 0 0 1231 38 0 0 20 0 4 0 31325699 1381568512 278777 33554432000 4194304 16246674 140734084827984 140734084809856 6836949 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 337297 278777 886 2943 0 334191 0
[pid=13366/tid=13367] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278777 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278777 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278777 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1349188

[startup+25.5005 s]
/proc/loadavg: 2.21 2.26 2.20 4/183 13370
/proc/meminfo: memFree=27841712/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1349188 CPUtime=25.49 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 277968 0 0 0 2511 38 0 0 20 0 4 0 31325699 1381568512 278778 33554432000 4194304 16246674 140734084827984 140734084809856 5677520 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 337297 278778 886 2943 0 334191 0
[pid=13366/tid=13367] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278778 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278778 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278778 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1349188

[startup+51.1005 s]
/proc/loadavg: 2.26 2.27 2.20 3/183 13370
/proc/meminfo: memFree=27842540/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1349188 CPUtime=51.08 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 277968 0 0 0 5070 38 0 0 20 0 4 0 31325699 1381568512 278778 33554432000 4194304 16246674 140734084827984 140734084809856 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 337297 278778 886 2943 0 334191 0
[pid=13366/tid=13367] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278778 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278778 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278778 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1349188

[startup+102.3 s]
/proc/loadavg: 2.34 2.28 2.20 3/183 13372
/proc/meminfo: memFree=27842208/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1349188 CPUtime=102.27 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 277990 0 0 0 10189 38 0 0 20 0 4 0 31325699 1381568512 278783 33554432000 4194304 16246674 140734084827984 140734084809856 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 337297 278783 890 2943 0 334191 0
[pid=13366/tid=13367] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278783 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278783 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278783 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1349188


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

/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278786 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1349188

[startup+1362.3 s]
/proc/loadavg: 1.32 1.68 1.96 2/173 13434
/proc/meminfo: memFree=28986032/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1349188 CPUtime=1361.94 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 278249 0 0 0 136155 39 0 0 20 0 4 0 31325699 1381568512 278786 33554432000 4194304 16246674 140734084827984 140734084809856 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 337297 278786 893 2943 0 334191 0
[pid=13366/tid=13367] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278786 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278786 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278786 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1349188

[startup+1422.3 s]
/proc/loadavg: 1.25 1.60 1.91 2/173 13435
/proc/meminfo: memFree=28985980/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1349188 CPUtime=1421.93 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 278249 0 0 0 142154 39 0 0 20 0 4 0 31325699 1381568512 278786 33554432000 4194304 16246674 140734084827984 140734084809856 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 337297 278786 893 2943 0 334191 0
[pid=13366/tid=13367] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278786 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278786 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1381568512 278786 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1349188

[startup+1482.3 s]
/proc/loadavg: 1.27 1.55 1.87 2/173 13436
/proc/meminfo: memFree=28905560/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1430084 CPUtime=1481.92 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 298406 0 0 0 148150 42 0 0 20 0 4 0 31325699 1464406016 298943 33554432000 4194304 16246674 140734084827984 140734084809856 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 357521 298943 893 2943 0 354415 0
[pid=13366/tid=13367] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 298943 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 298943 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 298943 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1430084

[startup+1542.31 s]
/proc/loadavg: 1.26 1.49 1.83 2/173 13437
/proc/meminfo: memFree=28905252/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1430084 CPUtime=1541.92 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 298473 0 0 0 154150 42 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140734084809856 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 357521 299010 893 2943 0 354415 0
[pid=13366/tid=13367] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1430084

[startup+1602.3 s]
/proc/loadavg: 1.31 1.46 1.80 2/173 13438
/proc/meminfo: memFree=28905316/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1430084 CPUtime=1601.9 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 298473 0 0 0 160148 42 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140734084809856 5523192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 357521 299010 893 2943 0 354415 0
[pid=13366/tid=13367] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1430084

[startup+1662.3 s]
/proc/loadavg: 1.28 1.42 1.76 2/174 13443
/proc/meminfo: memFree=28905344/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1430084 CPUtime=1661.9 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 298473 0 0 0 166148 42 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140734084809856 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 357521 299010 893 2943 0 354415 0
[pid=13366/tid=13367] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1430084

[startup+1722.3 s]
/proc/loadavg: 1.24 1.37 1.72 2/174 13467
/proc/meminfo: memFree=28904424/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1430084 CPUtime=1721.89 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 298473 0 0 0 172147 42 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140734084809856 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 357521 299010 893 2943 0 354415 0
[pid=13366/tid=13367] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1464406016 299010 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1430084

[startup+1782.3 s]
/proc/loadavg: 1.33 1.36 1.70 2/173 13468
/proc/meminfo: memFree=28614912/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1718852 CPUtime=1781.88 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 370666 0 0 0 178137 51 0 0 20 0 4 0 31325699 1760104448 371203 33554432000 4194304 16246674 140734084827984 140734084809856 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 429713 371203 894 2943 0 426607 0
[pid=13366/tid=13367] ppid=13363 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1760104448 371203 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1760104448 371203 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1760104448 371203 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1718852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.33 1.36 1.69 2/173 13468
/proc/meminfo: memFree=28615096/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1718852 CPUtime=1800.07 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 370666 0 0 0 179956 51 0 0 20 0 4 0 31325699 1760104448 371203 33554432000 4194304 16246674 140734084827984 140734084809856 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 429713 371203 894 2943 0 426607 0
[pid=13366/tid=13367] ppid=13363 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1760104448 371203 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1760104448 371203 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1760104448 371203 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1718852

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

[startup+1800.5 s]
/proc/loadavg: 1.33 1.36 1.69 2/173 13468
/proc/meminfo: memFree=28615096/32872528 swapFree=17888/1798212
[pid=13366] ppid=13363 vsize=1718852 CPUtime=1800.07 cores=0,2,4,6
/proc/13366/stat : 13366 (toysat) R 13363 13366 10472 0 -1 4202496 370666 0 0 0 179956 51 0 0 20 0 4 0 31325699 1760104448 371203 33554432000 4194304 16246674 140734084827984 140734084809856 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13366/statm: 429713 371203 894 2943 0 426607 0
[pid=13366/tid=13367] ppid=13363 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13367/stat : 13367 (toysat) S 13363 13366 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31325699 1760104448 371203 33554432000 4194304 16246674 140734084827984 140730072804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13366/tid=13368] ppid=13363 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13368/stat : 13368 (toysat) S 13363 13366 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31325699 1760104448 371203 33554432000 4194304 16246674 140734084827984 140730062314736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13366/tid=13369] ppid=13363 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/13366/task/13369/stat : 13369 (toysat) S 13363 13366 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31325699 1760104448 371203 33554432000 4194304 16246674 140734084827984 140730051841200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1718852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.11
CPU user time (s): 1799.57
CPU system time (s): 0.532918
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 1718852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.532918
maximum resident set size= 1484812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370666
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= 315
involuntary context switches= 2349

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55731 second user time and 6.96394 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-19 01:33:06
IDJOB=4108953
IDBENCH=89757
IDSOLVER=2542
FILE ID=node123/4108953-1466292785
RUNJOBID= node123-1466275608-10488
PBS_JOBID= 19918249
Free space on /tmp= 71604 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-27.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108953-1466292785/watcher-4108953-1466292785 -o /tmp/evaluation-result-4108953-1466292785/solver-4108953-1466292785 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10488 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108953-1466292785.opb

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

MD5SUM BENCH= c3ba46c0ae63598a4f58d494ccf9f418
RANDOM SEED=1436077863

node123.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.791
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.58
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.791
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.791
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.56
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.791
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.57
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.791
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.56
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.791
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.56
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.791
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.56
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.791
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28956460 kB
Buffers:           84288 kB
Cached:           173588 kB
SwapCached:         1604 kB
Active:          1210692 kB
Inactive:         166400 kB
Active(anon):    1118488 kB
Inactive(anon):     3076 kB
Active(file):      92204 kB
Inactive(file):   163324 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:             24488 kB
Writeback:             0 kB
AnonPages:       2916996 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             603540 kB
SReclaimable:      47456 kB
SUnreclaim:       556084 kB
KernelStack:        1456 kB
PageTables:         9764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3058764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2869248 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= 71612 MiB
End job on node123 at 2016-06-19 02:03:06