Trace number 4106985

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.07 1800.61

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_4_40.opb
MD5SUM83d1e3d1d0816aba7f8b7eb415a5cecb
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12520
Sum of products size (including duplicates)25040
Number of different products6260
Sum of products size12520

Solver Data 

0.00/0.00	c 2016-06-18T22:11:53+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-4106985-1466280713.opb"]
0.00/0.01	c use --random-gen="669002448 344510107 2441330501 1228661882 231503654 1445802710 3750045721 2980864241 541699385 1053583598 69499705 2441451777 182616388 2132763978 3476427232 1193384799 2492019698 759832650 2748135835 3150193583 150029382 3445198050 4211079508 1491764353 1751802107 3714775656 1922551435 671313374 234290706 2299987901 3842314790 91167010 1565782269 1458210873 640503576 2063499659 2226159583 2360903646 3134006373 3720841176 4246844963 984368192 431572464 4070397194 3530754616 3000364507 376024322 1884212549 1740195669 2737204762 2841816686 3393376290 2607791569 1726806638 1685795880 1394818204 909112516 2926382732 424094192 3502606277 1865346223 1986318193 2653647006 1397072175 4252411036 973630728 2917972184 2426732980 2489013060 1244804375 1721302977 1327572242 928496109 1587388195 2508874777 3377249860 1494448335 3064460596 2100006484 415424130 2261746811 1304303238 1281534412 733291281 2080071899 2911630720 3554906621 657540932 3164195086 4182291290 1445123323 663159673 747443389 3848904066 2856076573 279245614 1846237026 124078197 2740778213 1329207968 393461224 953098836 162759766 2122448095 2574542501 4250505788 1589031529 3156963362 164623155 3899358883 1606132243 746136085 2234574321 808563639 933431408 4189438178 1680915686 3755936158 2376044076 1468084032 3372481788 628154342 3082320892 2638374357 4110212591 3402472607 1465536193 3962499348 2049945340 721560932 1704427323 642427888 682608629 4198928943 2231981119 282183898 1506350911 801137834 149187302 1213210321 100111311 836004384 2070812143 1611940532 2950862880 2212157719 3266431258 1208367052 86120905 1034355265 2663699036 962918434 3316378303 3433205128 3406006569 1778665075 3359959369 757525581 4263474105 2726763770 2885521745 69309210 462116971 3125369859 517505031 414261316 1929303569 1766502926 3700352035 472080592 1758391198 3241799435 744565390 4049570692 3544596220 320121206 3055470323 1023813337 2482706573 574755430 3953922736 3594427578 633917973 139463779 1279900102 1141226945 4056573733 3889836691 642838761 669311849 2046987631 1081191227 978054182 1587853574 3446201909 30347830 1705967652 2994686820 2117051013 3476427013 296891655 2597710213 389398172 3838299306 2760689964 1436623922 1768889025 3943288426 885965925 3365822091 413122725 2509694427 352070256 2865613776 1250907718 612167715 912243598 910037776 4264650680 1892712452 2613334073 2335220834 1542613173 4193948838 435998754 1641249103 2231348808 2245797246 1691712121 3403050260 1625247999 1527169172 1500843438 517090992 1305606594 2254044093 4113160209 3173182514 1376760827 3775196297 1646680530 4155435619 163527899 3025495205 866612107 3758765490 4116844840 2155603953 2455691475 2955418890 903129376 1504166558 1458619949 3591555464 1584686391 1106191882 255 362436" option to reproduce the execution
0.00/0.05	c #vars 400
0.00/0.05	c #constraints 602
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     4507      0 |        0 |        0
0.29/0.31	c  0.1s |       1 |      409 |      100 |     4507      0 |        0 |        0
0.39/0.41	c  0.2s |       2 |    11598 |      250 |     4958      0 |        0 |        0
0.49/0.55	c  0.3s |       3 |    13145 |      475 |     5454      0 |        0 |        0
0.79/0.82	c  0.6s |       4 |    14377 |      813 |     6000      0 |        0 |        0
1.29/1.32	c  1.1s |       5 |    15351 |     1320 |     6601      0 |        0 |        0
1.79/1.88	c  1.7s |       6 |    16441 |     2081 |     7989      0 |        0 |        0
2.69/2.73	c  2.5s |       7 |    18009 |     3223 |     8788      0 |        0 |        0
4.29/4.34	c  4.1s |       8 |    20131 |     4936 |     9667      0 |        0 |        0
6.29/6.34	c  6.1s |       8 |    22121 |     6736 |     9667      0 |        0 |        0
7.19/7.20	c  7.0s |       9 |    22962 |     7506 |    10634      0 |        0 |        0
9.29/9.31	c  9.1s |       9 |    24780 |     9106 |    10634      0 |        0 |        0
11.39/11.41	c 11.2s |       9 |    26367 |    10606 |    10634      0 |        0 |        0
12.39/12.42	c 12.2s |      10 |    27192 |    11361 |    11698      1 |        0 |        0
14.39/14.45	c 14.2s |      10 |    29171 |    13061 |    11698      1 |        0 |        0
16.49/16.56	c 16.4s |      10 |    30897 |    14761 |    11698      1 |        0 |        0
18.49/18.58	c 18.4s |      10 |    32416 |    16261 |    11698      1 |        0 |        0
19.79/19.84	c 19.6s |      11 |    33325 |    17144 |    12868      1 |        0 |        0
21.79/21.86	c 21.6s |      11 |    35028 |    18444 |    12868      1 |        0 |        0
23.89/23.93	c 23.7s |      11 |    36888 |    20044 |    12868      2 |        0 |        0
25.89/25.95	c 25.7s |      11 |    38985 |    21844 |    12868      2 |        0 |        0
27.88/27.98	c 27.8s |      11 |    40627 |    23344 |    12868      2 |        0 |        0
29.98/30.02	c 29.8s |      11 |    42400 |    24944 |    12868      2 |        0 |        0
31.38/31.45	c 31.2s |      12 |    43335 |    25819 |    14155      3 |        0 |        0
33.48/33.57	c 33.4s |      12 |    45213 |    27319 |    14155      3 |        0 |        0
35.58/35.61	c 35.4s |      12 |    46775 |    28819 |    14155      3 |        0 |        0
37.58/37.67	c 37.5s |      12 |    48400 |    30319 |    14155      3 |        0 |        0
39.69/39.76	c 39.6s |      12 |    50065 |    31819 |    14155      3 |        0 |        0
41.68/41.78	c 41.6s |      12 |    51476 |    33119 |    14155      4 |        0 |        0
43.78/43.87	c 43.7s |      12 |    53154 |    34719 |    14155      4 |        0 |        0
45.88/45.90	c 45.7s |      12 |    54753 |    36219 |    14155      4 |        0 |        0
47.88/47.94	c 47.7s |      12 |    56375 |    37719 |    14155      4 |        0 |        0
49.68/49.77	c 49.6s |      13 |    57761 |    38832 |    15571      4 |        0 |        0
51.79/51.88	c 51.7s |      13 |    59097 |    39832 |    15571      4 |        0 |        0
53.89/53.91	c 53.7s |      13 |    60125 |    40832 |    15571      4 |        0 |        0
55.99/56.01	c 55.8s |      13 |    61284 |    41932 |    15571      5 |        0 |        0
58.39/58.49	c 58.3s |      13 |    63151 |    43532 |    15571      5 |        0 |        0
60.38/60.50	c 60.3s |      13 |    64484 |    44732 |    15571      5 |        0 |        0
62.48/62.55	c 62.3s |      13 |    66226 |    46332 |    15571      5 |        0 |        0
64.68/64.70	c 64.5s |      13 |    67561 |    47532 |    15571      5 |        0 |        0
66.88/66.92	c 66.7s |      13 |    68729 |    48632 |    15571      5 |        0 |        0
68.98/69.03	c 68.8s |      13 |    69813 |    49632 |    15571      6 |        0 |        0
71.28/71.37	c 71.2s |      13 |    71901 |    51532 |    15571      6 |        0 |        0
73.28/73.37	c 73.2s |      13 |    73419 |    52932 |    15571      6 |        0 |        0
75.38/75.48	c 75.3s |      13 |    74931 |    54332 |    15571      6 |        0 |        0
77.48/77.57	c 77.4s |      13 |    76153 |    55532 |    15571      6 |        0 |        0
79.67/79.72	c 79.5s |      13 |    77905 |    57032 |    15571      6 |        0 |        0
81.48/81.51	c 81.3s |      14 |    79388 |    58352 |    17129      7 |        0 |        0
83.47/83.56	c 83.3s |      14 |    80763 |    59452 |    17129      7 |        0 |        0
85.47/85.58	c 85.4s |      14 |    82188 |    60752 |    17129      7 |        0 |        0
87.57/87.63	c 87.4s |      14 |    83824 |    62252 |    17129      7 |        0 |        0
89.77/89.82	c 89.6s |      14 |    85424 |    63652 |    17129      7 |        0 |        0
91.87/91.92	c 91.7s |      14 |    86840 |    64952 |    17129      7 |        0 |        0
93.97/94.01	c 93.8s |      14 |    88147 |    66152 |    17129      7 |        0 |        0
96.07/96.11	c 95.9s |      14 |    89116 |    67052 |    17129      8 |        0 |        0
98.07/98.15	c 97.9s |      14 |    90875 |    68552 |    17129      8 |        0 |        0
100.18/100.29	c  100s |      14 |    93022 |    70352 |    17129      8 |        0 |        0
102.28/102.35	c  102s |      14 |    94903 |    71952 |    17129      8 |        0 |        0
104.49/104.54	c  104s |      14 |    96300 |    73252 |    17129      8 |        0 |        0
107.08/107.15	c  106s |      14 |    97554 |    74352 |    17129      8 |        0 |        0
109.18/109.29	c  109s |      14 |    98695 |    75452 |    17129      8 |        0 |        0
111.28/111.30	c  111s |      14 |    99943 |    76652 |    17129      9 |        0 |        0
113.28/113.33	c  113s |      14 |   101569 |    78252 |    17129      9 |        0 |        0
115.28/115.35	c  115s |      14 |   103267 |    79852 |    17129      9 |        0 |        0
117.28/117.37	c  117s |      14 |   104606 |    81152 |    17129      9 |        0 |        0
119.37/119.40	c  119s |      14 |   105930 |    82452 |    17129      9 |        0 |        0
121.47/121.54	c  121s |      14 |   107781 |    84152 |    17129      9 |        0 |        0
123.47/123.55	c  123s |      14 |   109349 |    85552 |    17129     10 |        0 |        0
125.67/125.72	c  125s |      14 |   110825 |    86952 |    17129     10 |        0 |        0
126.87/126.93	c  126s |      15 |   111566 |    87632 |    18842     10 |        0 |        0
128.87/128.99	c  128s |      15 |   112974 |    88832 |    18842     10 |        0 |        0
130.98/131.07	c  130s |      15 |   114688 |    90332 |    18842     10 |        0 |        0
133.08/133.12	c  132s |      15 |   116015 |    91532 |    18842     10 |        0 |        0
135.07/135.18	c  134s |      15 |   117258 |    92732 |    18842     10 |        0 |        0
137.27/137.36	c  137s |      15 |   118670 |    93932 |    18842     10 |        0 |        0
139.47/139.55	c  139s |      15 |   119738 |    94932 |    18842     11 |        0 |        0
141.47/141.57	c  141s |      15 |   121382 |    96432 |    18842     11 |        0 |        0
143.67/143.73	c  143s |      15 |   123007 |    97932 |    18842     11 |        0 |        0
145.77/145.83	c  145s |      15 |   124616 |    99432 |    18842     11 |        0 |        0
147.87/147.99	c  147s |      15 |   126243 |   100932 |    18842     11 |        0 |        0
149.97/150.01	c  149s |      15 |   127513 |   102132 |    18842     11 |        0 |        0
151.97/152.08	c  151s |      15 |   129155 |   103532 |    18842     11 |        0 |        0
154.07/154.17	c  153s |      15 |   130515 |   104732 |    18842     12 |        0 |        0
156.07/156.18	c  155s |      15 |   132592 |   106632 |    18842     12 |        0 |        0
158.17/158.20	c  157s |      15 |   134792 |   108532 |    18842     12 |        0 |        0
160.27/160.35	c  160s |      15 |   135776 |   109332 |    18842     12 |        0 |        0
162.37/162.46	c  162s |      15 |   136873 |   110332 |    18842     12 |        0 |        0
164.46/164.52	c  164s |      15 |   138293 |   111632 |    18842     12 |        0 |        0
166.56/166.60	c  166s |      15 |   139678 |   112832 |    18842     12 |        0 |        0
168.66/168.73	c  168s |      15 |   140684 |   113832 |    18842     12 |        0 |        0
170.66/170.75	c  170s |      15 |   141976 |   115032 |    18842     13 |        0 |        0
172.77/172.80	c  172s |      15 |   143452 |   116432 |    18842     13 |        0 |        0
174.87/174.91	c  174s |      15 |   145226 |   118032 |    18842     13 |        0 |        0
176.96/177.06	c  176s |      15 |   146636 |   119332 |    18842     13 |        0 |        0
179.06/179.12	c  178s |      15 |   147829 |   120332 |    18842     13 |        0 |        0
181.16/181.21	c  180s |      15 |   148918 |   121332 |    18842     13 |        0 |        0
183.36/183.41	c  183s |      15 |   149942 |   122332 |    18842     13 |        0 |        0
185.36/185.42	c  185s |      15 |   151103 |   123432 |    18842     13 |        0 |        0
187.36/187.44	c  187s |      15 |   152201 |   124432 |    18842     14 |        0 |        0
189.46/189.51	c  189s |      15 |   153965 |   126032 |    18842     14 |        0 |        0
191.46/191.51	c  191s |      15 |   155397 |   127432 |    18842     14 |        0 |        0
193.46/193.52	c  193s |      15 |   156897 |   128832 |    18842     14 |        0 |        0
195.66/195.70	c  195s |      15 |   158580 |   130332 |    18842     14 |        0 |        0
197.46/197.57	c  197s |      16 |   159886 |   131552 |    20727     14 |        0 |        0
199.66/199.73	c  199s |      16 |   161379 |   132752 |    20727     14 |        0 |        0
201.76/201.83	c  201s |      16 |   162414 |   133752 |    20727     14 |        0 |        0
203.96/204.08	c  203s |      16 |   163433 |   134752 |    20727     14 |        0 |        0
205.95/206.08	c  205s |      16 |   164694 |   135952 |    20727     15 |        0 |        0
209.36/209.46	c  209s |      16 |   165526 |   136652 |    20727     15 |        0 |        0
211.46/211.54	c  211s |      16 |   167278 |   138252 |    20727     15 |        0 |        0
213.56/213.69	c  213s |      16 |   169173 |   139952 |    20727     15 |        0 |        0
219.06/219.10	c  218s |      16 |   170901 |   141452 |    20727     15 |        0 |        0
221.06/221.18	c  220s |      16 |   171935 |   142452 |    20727     15 |        0 |        0
223.16/223.21	c  222s |      16 |   173119 |   143552 |    20727     15 |        0 |        0
225.36/225.41	c  225s |      16 |   174554 |   144852 |    20727     15 |        0 |        0
227.36/227.47	c  227s |      16 |   175668 |   145952 |    20727     16 |        0 |        0
229.46/229.54	c  229s |      16 |   177310 |   147452 |    20727     16 |        0 |        0
231.56/231.62	c  231s |      16 |   178936 |   148952 |    20727     16 |        0 |        0
233.56/233.66	c  233s |      16 |   180383 |   150352 |    20727     16 |        0 |        0
235.66/235.78	c  235s |      16 |   181866 |   151752 |    20727     16 |        0 |        0
237.75/237.81	c  237s |      16 |   183208 |   153052 |    20727     16 |        0 |        0
239.76/239.84	c  239s |      16 |   184657 |   154352 |    20727     16 |        0 |        0
241.85/241.98	c  241s |      16 |   186204 |   155752 |    20727     16 |        0 |        0
243.95/244.02	c  243s |      16 |   187563 |   157052 |    20727     17 |        0 |        0
245.95/246.07	c  245s |      16 |   189338 |   158652 |    20727     17 |        0 |        0
248.05/248.16	c  247s |      16 |   190855 |   159852 |    20727     17 |        0 |        0
250.25/250.34	c  250s |      16 |   192173 |   161052 |    20727     17 |        0 |        0
252.34/252.48	c  252s |      16 |   193803 |   162552 |    20727     17 |        0 |        0
254.44/254.56	c  254s |      16 |   195275 |   163952 |    20727     17 |        0 |        0
256.64/256.76	c  256s |      16 |   196394 |   165052 |    20727     17 |        0 |        0
258.74/258.87	c  258s |      16 |   197782 |   166352 |    20727     17 |        0 |        0
260.84/260.92	c  260s |      16 |   198993 |   167552 |    20727     18 |        0 |        0
262.84/262.96	c  262s |      16 |   200658 |   169052 |    20727     18 |        0 |        0
264.93/265.02	c  264s |      16 |   202245 |   170552 |    20727     18 |        0 |        0
267.03/267.17	c  266s |      16 |   203849 |   172052 |    20727     18 |        0 |        0
269.23/269.33	c  269s |      16 |   205280 |   173452 |    20727     18 |        0 |        0
271.33/271.42	c  271s |      16 |   206738 |   174852 |    20727     18 |        0 |        0
273.33/273.43	c  273s |      16 |   208200 |   176152 |    20727     18 |        0 |        0
275.43/275.52	c  275s |      16 |   209727 |   177552 |    20727     19 |        0 |        0
277.53/277.64	c  277s |      16 |   210952 |   178652 |    20727     19 |        0 |        0
279.63/279.70	c  279s |      16 |   212285 |   179952 |    20727     19 |        0 |        0
281.73/281.85	c  281s |      16 |   213722 |   181352 |    20727     19 |        0 |        0
283.83/283.97	c  283s |      16 |   215047 |   182652 |    20727     19 |        0 |        0
285.93/286.08	c  285s |      16 |   216275 |   183852 |    20727     19 |        0 |        0
288.03/288.19	c  287s |      16 |   217463 |   184952 |    20727     19 |        0 |        0
290.13/290.22	c  290s |      16 |   219043 |   186352 |    20727     19 |        0 |        0
292.32/292.41	c  292s |      16 |   220053 |   187352 |    20727     19 |        0 |        0
294.32/294.43	c  294s |      16 |   221480 |   188752 |    20727     20 |        0 |        0
296.32/296.48	c  296s |      16 |   223162 |   190252 |    20727     20 |        0 |        0
298.42/298.50	c  298s |      16 |   224858 |   191852 |    20727     20 |        0 |        0
300.53/300.64	c  300s |      16 |   226286 |   193152 |    20727     20 |        0 |        0
302.63/302.71	c  302s |      16 |   227525 |   194352 |    20727     20 |        0 |        0
304.63/304.73	c  304s |      16 |   228870 |   195652 |    20727     20 |        0 |        0
306.73/306.89	c  306s |      16 |   230277 |   196952 |    22800     20 |        0 |        0
307.73/307.84	c  307s |      17 |   230777 |   197432 |    22800     20 |        0 |        0
313.32/313.47	c  313s |      17 |   231048 |   197532 |    22800     20 |        0 |        0
315.42/315.51	c  315s |      17 |   232320 |   198732 |    22800     20 |        0 |        0
317.52/317.61	c  317s |      17 |   233362 |   199732 |    22800     20 |        0 |        0
319.62/319.75	c  319s |      17 |   234417 |   200732 |    22800     21 |        0 |        0
322.11/322.26	c  322s |      17 |   235918 |   202132 |    22800     21 |        0 |        0
324.22/324.34	c  324s |      17 |   237281 |   203432 |    22800     21 |        0 |        0
326.32/326.40	c  326s |      17 |   238614 |   204732 |    22800     21 |        0 |        0
328.32/328.41	c  328s |      17 |   240382 |   206332 |    22800     21 |        0 |        0
330.62/330.77	c  330s |      17 |   241269 |   207132 |    22800     21 |        0 |        0
332.61/332.77	c  332s |      17 |   242375 |   208232 |    22800     21 |        0 |        0
334.71/334.89	c  334s |      17 |   243296 |   209132 |    22800     21 |        0 |        0
336.91/337.07	c  336s |      17 |   244350 |   210132 |    22800     21 |        0 |        0
339.01/339.11	c  338s |      17 |   245646 |   211332 |    22800     21 |        0 |        0
341.02/341.16	c  340s |      17 |   246512 |   212132 |    22800     22 |        0 |        0
343.11/343.30	c  343s |      17 |   247967 |   213532 |    22800     22 |        0 |        0
345.31/345.40	c  345s |      17 |   249673 |   215132 |    22800     22 |        0 |        0
347.30/347.42	c  347s |      17 |   251444 |   216732 |    22800     22 |        0 |        0
349.50/349.62	c  349s |      17 |   253305 |   218332 |    22800     22 |        0 |        0
351.70/351.80	c  351s |      17 |   254494 |   219432 |    22800     22 |        0 |        0
353.80/353.95	c  353s |      17 |   255685 |   220532 |    22800     22 |        0 |        0
356.00/356.13	c  355s |      17 |   256957 |   221732 |    22800     22 |        0 |        0
358.20/358.31	c  358s |      17 |   258113 |   222832 |    22800     22 |        0 |        0
360.30/360.47	c  360s |      17 |   259496 |   224032 |    22800     23 |        0 |        0
362.30/362.47	c  362s |      17 |   261071 |   225332 |    22800     23 |        0 |        0
364.40/364.52	c  364s |      17 |   262772 |   226832 |    22800     23 |        0 |        0
366.40/366.58	c  366s |      17 |   264135 |   228132 |    22800     23 |        0 |        0
368.51/368.65	c  368s |      17 |   265772 |   229632 |    22800     23 |        0 |        0
370.50/370.70	c  370s |      17 |   267501 |   231132 |    22800     23 |        0 |        0
372.69/372.80	c  372s |      17 |   268732 |   232332 |    22800     23 |        0 |        0
374.69/374.87	c  374s |      17 |   269975 |   233532 |    22800     23 |        0 |        0
376.99/377.13	c  376s |      17 |   271269 |   234732 |    22800     24 |        0 |        0
379.09/379.23	c  379s |      17 |   273267 |   236532 |    22800     24 |        0 |        0
381.19/381.31	c  381s |      17 |   275398 |   238432 |    22800     24 |        0 |        0
383.18/383.37	c  383s |      17 |   277537 |   240332 |    22800     24 |        0 |        0
385.28/385.42	c  385s |      17 |   279350 |   241932 |    22800     24 |        0 |        0
387.38/387.59	c  387s |      17 |   280690 |   243232 |    22800     24 |        0 |        0
389.48/389.69	c  389s |      17 |   282322 |   244732 |    22800     24 |        0 |        0
391.68/391.81	c  391s |      17 |   283770 |   246132 |    22800     24 |        0 |        0
393.68/393.90	c  393s |      17 |   285318 |   247532 |    22800     25 |        0 |        0
395.78/395.98	c  395s |      17 |   287012 |   249132 |    22800     25 |        0 |        0
406.27/406.49	c  406s |      17 |   288932 |   250832 |    22800     25 |        0 |        0
408.37/408.52	c  408s |      17 |   290133 |   251932 |    22800     25 |        0 |        0
410.37/410.58	c  410s |      17 |   291473 |   253132 |    22800     25 |        0 |        0
412.57/412.75	c  412s |      17 |   292853 |   254432 |    22800     25 |        0 |        0
414.67/414.85	c  414s |      17 |   294015 |   255532 |    22800     25 |        0 |        0
416.77/416.95	c  416s |      17 |   294900 |   256332 |    22800     25 |        0 |        0
418.97/419.20	c  418s |      17 |   295707 |   257132 |    22800     25 |        0 |        0
421.07/421.21	c  421s |      17 |   296352 |   257732 |    22800     26 |        0 |        0
423.07/423.28	c  423s |      17 |   297830 |   259132 |    22800     26 |        0 |        0
425.17/425.33	c  425s |      17 |   299513 |   260632 |    22800     26 |        0 |        0
427.27/427.41	c  427s |      17 |   300792 |   261732 |    22800     26 |        0 |        0
429.36/429.55	c  429s |      17 |   302192 |   263032 |    22800     26 |        0 |        0
431.46/431.63	c  431s |      17 |   303469 |   264232 |    22800     26 |        0 |        0
433.46/433.68	c  433s |      17 |   304753 |   265432 |    22800     26 |        0 |        0
435.57/435.80	c  435s |      17 |   306042 |   266632 |    22800     26 |        0 |        0
437.67/437.88	c  437s |      17 |   307410 |   267832 |    22800     26 |        0 |        0
439.76/439.90	c  439s |      17 |   308837 |   269132 |    22800     26 |        0 |        0
441.75/441.96	c  441s |      17 |   309985 |   270132 |    22800     27 |        0 |        0
443.95/444.12	c  443s |      17 |   311668 |   271732 |    22800     27 |        0 |        0
445.95/446.16	c  445s |      17 |   313174 |   273132 |    22800     27 |        0 |        0
448.15/448.30	c  448s |      17 |   314610 |   274532 |    22800     27 |        0 |        0
450.15/450.38	c  450s |      17 |   316000 |   275832 |    22800     27 |        0 |        0
452.15/452.39	c  452s |      17 |   317236 |   277032 |    22800     27 |        0 |        0
454.25/454.48	c  454s |      17 |   318416 |   278132 |    22800     27 |        0 |        0
456.55/456.75	c  456s |      17 |   319589 |   279232 |    22800     27 |        0 |        0
458.65/458.81	c  458s |      17 |   320283 |   279932 |    22800     27 |        0 |        0
460.75/460.99	c  460s |      17 |   321080 |   280732 |    22800     27 |        0 |        0
462.95/463.13	c  462s |      17 |   322064 |   281632 |    22800     28 |        0 |        0
464.94/465.14	c  464s |      17 |   323394 |   282932 |    22800     28 |        0 |        0
467.04/467.22	c  467s |      17 |   324448 |   283932 |    22800     28 |        0 |        0
469.14/469.30	c  469s |      17 |   326187 |   285532 |    22800     28 |        0 |        0
471.14/471.32	c  471s |      17 |   327626 |   286932 |    22800     28 |        0 |        0
473.14/473.39	c  473s |      17 |   328947 |   288132 |    22800     28 |        0 |        0
475.34/475.54	c  475s |      17 |   330291 |   289432 |    22800     28 |        0 |        0
477.34/477.55	c  477s |      17 |   331723 |   290732 |    22800     28 |        0 |        0
479.44/479.61	c  479s |      17 |   332862 |   291732 |    22800     28 |        0 |        0
481.43/481.63	c  481s |      17 |   333560 |   292432 |    22800     29 |        0 |        0
483.43/483.64	c  483s |      17 |   334945 |   293732 |    22800     29 |        0 |        0
485.53/485.74	c  485s |      17 |   336648 |   295332 |    25081     29 |        0 |        0
486.93/487.14	c  486s |      18 |   337669 |   296252 |    25081     29 |        0 |        0
490.34/490.58	c  490s |      18 |   339133 |   297452 |    25081     29 |        0 |        0
492.44/492.60	c  492s |      18 |   340435 |   298752 |    25081     29 |        0 |        0
494.44/494.65	c  494s |      18 |   341758 |   300052 |    25081     29 |        0 |        0
496.54/496.77	c  496s |      18 |   343472 |   301652 |    25081     29 |        0 |        0
498.64/498.82	c  498s |      18 |   344605 |   302752 |    25081     29 |        0 |        0
500.64/500.83	c  500s |      18 |   345549 |   303652 |    25081     29 |        0 |        0
502.73/502.94	c  502s |      18 |   346436 |   304552 |    25081     29 |        0 |        0
504.84/505.01	c  504s |      18 |   347351 |   305452 |    25081     29 |        0 |        0
507.04/507.22	c  507s |      18 |   348392 |   306452 |    25081     30 |        0 |        0
509.14/509.33	c  509s |      18 |   349412 |   307452 |    25081     30 |        0 |        0
511.13/511.34	c  511s |      18 |   350477 |   308452 |    25081     30 |        0 |        0
513.13/513.34	c  513s |      18 |   351499 |   309452 |    25081     30 |        0 |        0
515.12/515.36	c  515s |      18 |   352551 |   310452 |    25081     30 |        0 |        0
517.22/517.43	c  517s |      18 |   353707 |   311552 |    25081     30 |        0 |        0
519.32/519.54	c  519s |      18 |   354776 |   312552 |    25081     30 |        0 |        0
521.33/521.56	c  521s |      18 |   355825 |   313552 |    25081     30 |        0 |        0
523.43/523.62	c  523s |      18 |   356905 |   314552 |    25081     30 |        0 |        0
525.63/525.83	c  525s |      18 |   357966 |   315552 |    25081     30 |        0 |        0
527.62/527.89	c  527s |      18 |   358806 |   316352 |    25081     30 |        0 |        0
529.72/529.96	c  529s |      18 |   359851 |   317352 |    25081     30 |        0 |        0
531.81/532.03	c  531s |      18 |   360795 |   318252 |    25081     30 |        0 |        0
533.81/534.09	c  533s |      18 |   361648 |   319052 |    25081     31 |        0 |        0
536.91/537.18	c  536s |      18 |   363221 |   320452 |    25081     31 |        0 |        0
539.11/539.31	c  539s |      18 |   364250 |   321452 |    25081     31 |        0 |        0
541.20/541.44	c  541s |      18 |   365358 |   322552 |    25081     31 |        0 |        0
543.31/543.58	c  543s |      18 |   366906 |   324052 |    25081     31 |        0 |        0
545.51/545.75	c  545s |      18 |   367952 |   325052 |    25081     31 |        0 |        0
547.71/547.95	c  547s |      18 |   369082 |   326152 |    25081     31 |        0 |        0
549.81/550.07	c  549s |      18 |   370027 |   327052 |    25081     31 |        0 |        0
552.00/552.25	c  552s |      18 |   371281 |   328252 |    25081     31 |        0 |        0
554.00/554.27	c  554s |      18 |   372204 |   329152 |    25081     31 |        0 |        0
556.00/556.29	c  556s |      18 |   373314 |   330152 |    25081     31 |        0 |        0
558.10/558.33	c  558s |      18 |   374233 |   331052 |    25081     31 |        0 |        0
560.20/560.45	c  560s |      18 |   375178 |   331952 |    25081     32 |        0 |        0
562.40/562.66	c  562s |      18 |   376591 |   333252 |    25081     32 |        0 |        0
564.60/564.84	c  564s |      18 |   377993 |   334552 |    25081     32 |        0 |        0
566.70/566.91	c  566s |      18 |   379339 |   335852 |    25081     32 |        0 |        0
568.70/568.93	c  568s |      18 |   380754 |   337152 |    25081     32 |        0 |        0
570.81/571.04	c  570s |      18 |   382361 |   338552 |    25081     32 |        0 |        0
573.00/573.23	c  573s |      18 |   383466 |   339552 |    25081     32 |        0 |        0
575.10/575.34	c  575s |      18 |   384625 |   340652 |    25081     32 |        0 |        0
577.09/577.39	c  577s |      18 |   385339 |   341352 |    25081     32 |        0 |        0
579.19/579.48	c  579s |      18 |   385949 |   341952 |    25081     32 |        0 |        0
581.39/581.67	c  581s |      18 |   386399 |   342352 |    25081     32 |        0 |        0
583.49/583.75	c  583s |      18 |   387232 |   343152 |    25081     32 |        0 |        0
585.49/585.79	c  585s |      18 |   387838 |   343752 |    25081     32 |        0 |        0
587.69/587.90	c  587s |      18 |   388344 |   344252 |    25081     33 |        0 |        0
597.58/597.81	c  597s |      18 |   389694 |   345552 |    25081     33 |        0 |        0
599.68/599.99	c  599s |      18 |   391026 |   346852 |    25081     33 |        0 |        0
601.78/602.04	c  601s |      18 |   391929 |   347752 |    25081     33 |        0 |        0
603.88/604.18	c  603s |      18 |   392845 |   348652 |    25081     33 |        0 |        0
605.98/606.29	c  606s |      18 |   393971 |   349752 |    25081     33 |        0 |        0
608.18/608.49	c  608s |      18 |   395025 |   350752 |    25081     33 |        0 |        0
610.38/610.62	c  610s |      18 |   396257 |   351852 |    25081     33 |        0 |        0
612.58/612.85	c  612s |      18 |   397184 |   352752 |    25081     33 |        0 |        0
614.78/615.01	c  614s |      18 |   398216 |   353752 |    25081     33 |        0 |        0
616.98/617.25	c  617s |      18 |   399309 |   354752 |    25081     33 |        0 |        0
619.27/619.54	c  619s |      18 |   400020 |   355452 |    25081     33 |        0 |        0
621.37/621.61	c  621s |      18 |   400731 |   356152 |    25081     33 |        0 |        0
623.47/623.71	c  623s |      18 |   401477 |   356852 |    25081     34 |        0 |        0
625.56/625.87	c  625s |      18 |   402956 |   358252 |    25081     34 |        0 |        0
627.66/627.91	c  627s |      18 |   404079 |   359352 |    25081     34 |        0 |        0
629.66/629.99	c  629s |      18 |   405437 |   360652 |    25081     34 |        0 |        0
631.85/632.10	c  631s |      18 |   406460 |   361652 |    25081     34 |        0 |        0
633.85/634.14	c  633s |      18 |   407783 |   362852 |    25081     34 |        0 |        0
635.85/636.18	c  635s |      18 |   408949 |   363952 |    25081     34 |        0 |        0
638.05/638.37	c  638s |      18 |   410249 |   365152 |    25081     34 |        0 |        0
640.25/640.52	c  640s |      18 |   411391 |   366252 |    25081     34 |        0 |        0
642.26/642.56	c  642s |      18 |   412548 |   367352 |    25081     34 |        0 |        0
644.35/644.62	c  644s |      18 |   413711 |   368352 |    25081     34 |        0 |        0
646.35/646.67	c  646s |      18 |   414525 |   369152 |    25081     34 |        0 |        0
649.04/649.32	c  649s |      18 |   414943 |   369552 |    25081     35 |        0 |        0
651.15/651.49	c  651s |      18 |   415877 |   370452 |    25081     35 |        0 |        0
653.35/653.60	c  653s |      18 |   417307 |   371852 |    25081     35 |        0 |        0
655.46/655.71	c  655s |      18 |   418676 |   373152 |    25081     35 |        0 |        0
657.56/657.82	c  657s |      18 |   420204 |   374552 |    25081     35 |        0 |        0
659.65/659.92	c  659s |      18 |   421371 |   375652 |    25081     35 |        0 |        0
661.75/662.08	c  661s |      18 |   422767 |   376952 |    25081     35 |        0 |        0
663.95/664.24	c  664s |      18 |   424198 |   378252 |    25081     35 |        0 |        0
665.94/666.27	c  666s |      18 |   425553 |   379552 |    25081     35 |        0 |        0
667.94/668.28	c  668s |      18 |   426572 |   380352 |    25081     35 |        0 |        0
670.14/670.45	c  670s |      18 |   427748 |   381452 |    25081     35 |        0 |        0
672.14/672.50	c  672s |      18 |   428557 |   382152 |    25081     36 |        0 |        0
674.24/674.50	c  674s |      18 |   430194 |   383652 |    25081     36 |        0 |        0
676.35/676.62	c  676s |      18 |   431527 |   384852 |    25081     36 |        0 |        0
678.44/678.75	c  678s |      18 |   432984 |   386252 |    25081     36 |        0 |        0
680.44/680.75	c  680s |      18 |   434436 |   387652 |    25081     36 |        0 |        0
682.53/682.87	c  682s |      18 |   435702 |   388852 |    25081     36 |        0 |        0
684.73/685.03	c  684s |      18 |   436824 |   389952 |    25081     36 |        0 |        0
686.83/687.10	c  686s |      18 |   438631 |   391552 |    25081     36 |        0 |        0
688.93/689.21	c  689s |      18 |   439898 |   392652 |    25081     36 |        0 |        0
690.93/691.24	c  691s |      18 |   440723 |   393452 |    25081     36 |        0 |        0
693.02/693.30	c  693s |      18 |   441690 |   394352 |    25081     36 |        0 |        0
695.03/695.32	c  695s |      18 |   442385 |   394952 |    25081     37 |        0 |        0
697.02/697.35	c  697s |      18 |   443749 |   396252 |    25081     37 |        0 |        0
699.02/699.37	c  699s |      18 |   445543 |   397852 |    25081     37 |        0 |        0
701.22/701.56	c  701s |      18 |   446709 |   398952 |    25081     37 |        0 |        0
703.42/703.73	c  703s |      18 |   448151 |   400252 |    25081     37 |        0 |        0
705.42/705.75	c  705s |      18 |   449310 |   401352 |    25081     37 |        0 |        0
707.42/707.77	c  707s |      18 |   450564 |   402452 |    25081     37 |        0 |        0
709.62/709.96	c  709s |      18 |   451825 |   403652 |    25081     37 |        0 |        0
711.71/712.05	c  711s |      18 |   453326 |   404952 |    25081     37 |        0 |        0
713.81/714.12	c  713s |      18 |   454365 |   405952 |    25081     37 |        0 |        0
715.81/716.14	c  715s |      18 |   455705 |   407152 |    25081     37 |        0 |        0
718.01/718.36	c  718s |      18 |   457053 |   408352 |    25081     38 |        0 |        0
720.01/720.38	c  720s |      18 |   458816 |   409852 |    25081     38 |        0 |        0
722.10/722.43	c  722s |      18 |   460333 |   411152 |    25081     38 |        0 |        0
724.20/724.52	c  724s |      18 |   462282 |   412752 |    25081     38 |        0 |        0
726.20/726.56	c  726s |      18 |   464266 |   414352 |    25081     38 |        0 |        0
728.20/728.58	c  728s |      18 |   465918 |   415752 |    25081     38 |        0 |        0
730.30/730.68	c  730s |      18 |   468178 |   417352 |    25081     38 |        0 |        0
733.29/733.67	c  733s |      18 |   469106 |   418152 |    25081     38 |        0 |        0
735.49/735.81	c  735s |      18 |   470830 |   419552 |    25081     38 |        0 |        0
737.80/738.13	c  737s |      18 |   472018 |   420452 |    25081     39 |        0 |        0
742.29/742.67	c  742s |      18 |   472224 |   420552 |    25081     39 |        0 |        0
746.88/747.26	c  747s |      18 |   472432 |   420652 |    25081     39 |        0 |        0
748.97/749.30	c  749s |      18 |   474365 |   422152 |    25081     39 |        0 |        0
750.98/751.38	c  751s |      18 |   475868 |   423552 |    25081     39 |        0 |        0
755.38/755.76	c  755s |      18 |   477023 |   424452 |    25081     39 |        0 |        0
758.97/759.33	c  759s |      18 |   478014 |   425352 |    25081     39 |        0 |        0
761.07/761.43	c  761s |      18 |   479189 |   426452 |    25081     39 |        0 |        0
763.26/763.64	c  763s |      18 |   480415 |   427452 |    25081     39 |        0 |        0
765.37/765.76	c  765s |      18 |   481719 |   428552 |    25081     39 |        0 |        0
767.57/767.99	c  767s |      18 |   482687 |   429452 |    25081     39 |        0 |        0
769.77/770.15	c  769s |      18 |   483881 |   430452 |    25081     39 |        0 |        0
772.05/772.40	c  772s |      18 |   484945 |   431452 |    25081     39 |        0 |        0
774.06/774.50	c  774s |      18 |   485795 |   432252 |    25081     39 |        0 |        0
776.15/776.51	c  776s |      18 |   486613 |   432952 |    25081     40 |        0 |        0
778.15/778.54	c  778s |      18 |   488030 |   434252 |    25081     40 |        0 |        0
780.35/780.71	c  780s |      18 |   489529 |   435552 |    25081     40 |        0 |        0
782.55/782.91	c  782s |      18 |   490921 |   436752 |    25081     40 |        0 |        0
784.65/785.09	c  784s |      18 |   491855 |   437652 |    25081     40 |        0 |        0
786.95/787.37	c  787s |      18 |   493141 |   438752 |    25081     40 |        0 |        0
789.15/789.52	c  789s |      18 |   494041 |   439652 |    25081     40 |        0 |        0
791.24/791.66	c  791s |      18 |   495385 |   440852 |    25081     40 |        0 |        0
793.34/793.73	c  793s |      18 |   496232 |   441652 |    27590     40 |        0 |        0
795.34/795.76	c  795s |      18 |   497191 |   442552 |    27590     40 |        0 |        0
797.54/797.90	c  797s |      18 |   498180 |   443452 |    27590     40 |        0 |        0
799.54/799.96	c  799s |      18 |   499127 |   444352 |    27590     40 |        0 |        0
799.94/800.31	c  800s |      19 |   499254 |   444482 |    27590     40 |        0 |        0
803.24/803.67	c  803s |      19 |   500341 |   445282 |    27590     40 |        0 |        0
805.44/805.85	c  805s |      19 |   501379 |   446282 |    27590     40 |        0 |        0
807.74/808.17	c  807s |      19 |   502561 |   447382 |    27590     40 |        0 |        0
809.94/810.33	c  810s |      19 |   503167 |   447982 |    27590     41 |        0 |        0
812.44/812.87	c  812s |      19 |   503501 |   448282 |    27590     41 |        0 |        0
814.54/814.95	c  814s |      19 |   504496 |   449282 |    27590     41 |        0 |        0
816.64/817.02	c  816s |      19 |   505693 |   450382 |    27590     41 |        0 |        0
818.74/819.11	c  818s |      19 |   507212 |   451782 |    27590     41 |        0 |        0
820.74/821.15	c  820s |      19 |   508140 |   452682 |    27590     41 |        0 |        0
822.83/823.23	c  823s |      19 |   509142 |   453582 |    27590     41 |        0 |        0
824.83/825.29	c  825s |      19 |   510375 |   454682 |    27590     41 |        0 |        0
827.03/827.49	c  827s |      19 |   511702 |   455882 |    27590     41 |        0 |        0
829.14/829.58	c  829s |      19 |   512518 |   456682 |    27590     41 |        0 |        0
831.24/831.62	c  831s |      19 |   513336 |   457482 |    27590     41 |        0 |        0
833.23/833.62	c  833s |      19 |   514281 |   458382 |    27590     41 |        0 |        0
835.23/835.67	c  835s |      19 |   515255 |   459282 |    27590     41 |        0 |        0
837.33/837.72	c  837s |      19 |   516265 |   460182 |    27590     41 |        0 |        0
839.43/839.80	c  839s |      19 |   517146 |   460982 |    27590     41 |        0 |        0
841.83/842.22	c  842s |      19 |   518213 |   461982 |    27590     42 |        0 |        0
843.93/844.30	c  844s |      19 |   519608 |   463182 |    27590     42 |        0 |        0
854.53/854.99	c  854s |      19 |   521028 |   464382 |    27590     42 |        0 |        0
856.73/857.11	c  856s |      19 |   522075 |   465382 |    27590     42 |        0 |        0
858.83/859.24	c  859s |      19 |   523408 |   466582 |    27590     42 |        0 |        0
861.12/861.55	c  861s |      19 |   524212 |   467382 |    27590     42 |        0 |        0
863.32/863.72	c  863s |      19 |   525026 |   468182 |    27590     42 |        0 |        0
865.43/865.81	c  865s |      19 |   525975 |   469082 |    27590     42 |        0 |        0
867.42/867.84	c  867s |      19 |   526899 |   469982 |    27590     42 |        0 |        0
869.42/869.87	c  869s |      19 |   527726 |   470782 |    27590     42 |        0 |        0
871.62/872.08	c  871s |      19 |   528782 |   471782 |    27590     42 |        0 |        0
873.72/874.14	c  873s |      19 |   529609 |   472582 |    27590     42 |        0 |        0
876.02/876.49	c  876s |      19 |   530645 |   473582 |    27590     42 |        0 |        0
878.32/878.71	c  878s |      19 |   531451 |   474382 |    27590     42 |        0 |        0
880.42/880.85	c  880s |      19 |   532480 |   475282 |    27590     42 |        0 |        0
882.71/883.18	c  882s |      19 |   533198 |   475982 |    27590     43 |        0 |        0
884.71/885.20	c  884s |      19 |   534286 |   476982 |    27590     43 |        0 |        0
886.81/887.20	c  886s |      19 |   535580 |   478182 |    27590     43 |        0 |        0
888.91/889.39	c  889s |      19 |   536949 |   479482 |    27590     43 |        0 |        0
891.01/891.45	c  891s |      19 |   538194 |   480682 |    27590     43 |        0 |        0
893.31/893.74	c  893s |      19 |   539797 |   482082 |    27590     43 |        0 |        0
895.41/895.84	c  895s |      19 |   540757 |   482982 |    27590     43 |        0 |        0
897.41/897.90	c  897s |      19 |   541579 |   483782 |    27590     43 |        0 |        0
899.71/900.12	c  899s |      19 |   542550 |   484682 |    27590     43 |        0 |        0
901.71/902.19	c  901s |      19 |   543256 |   485382 |    27590     43 |        0 |        0
903.91/904.38	c  904s |      19 |   544286 |   486382 |    27590     43 |        0 |        0
906.20/906.66	c  906s |      19 |   545110 |   487182 |    27590     43 |        0 |        0
908.50/908.95	c  908s |      19 |   546041 |   488082 |    27590     43 |        0 |        0
910.70/911.16	c  910s |      19 |   546984 |   488982 |    27590     43 |        0 |        0
913.10/913.58	c  913s |      19 |   547700 |   489682 |    27590     43 |        0 |        0
915.30/915.80	c  915s |      19 |   548215 |   490182 |    27590     44 |        0 |        0
917.40/917.87	c  917s |      19 |   549222 |   491182 |    27590     44 |        0 |        0
919.60/920.00	c  919s |      19 |   550641 |   492482 |    27590     44 |        0 |        0
921.70/922.15	c  921s |      19 |   551683 |   493482 |    27590     44 |        0 |        0
923.90/924.31	c  924s |      19 |   552656 |   494382 |    27590     44 |        0 |        0
926.00/926.45	c  926s |      19 |   553939 |   495582 |    27590     44 |        0 |        0
928.30/928.72	c  928s |      19 |   554849 |   496482 |    27590     44 |        0 |        0
930.41/930.89	c  930s |      19 |   555870 |   497482 |    27590     44 |        0 |        0
932.61/933.08	c  932s |      19 |   557021 |   498582 |    27590     44 |        0 |        0
934.71/935.12	c  934s |      19 |   558190 |   499682 |    27590     44 |        0 |        0
936.81/937.30	c  937s |      19 |   559210 |   500582 |    27590     44 |        0 |        0
939.01/939.42	c  939s |      19 |   560186 |   501482 |    27590     44 |        0 |        0
941.00/941.49	c  941s |      19 |   561242 |   502482 |    27590     44 |        0 |        0
943.20/943.62	c  943s |      19 |   562417 |   503582 |    27590     44 |        0 |        0
945.20/945.70	c  945s |      19 |   563456 |   504582 |    27590     45 |        0 |        0
947.40/947.80	c  947s |      19 |   564972 |   505982 |    27590     45 |        0 |        0
949.60/950.02	c  949s |      19 |   565891 |   506882 |    27590     45 |        0 |        0
951.80/952.21	c  951s |      19 |   566752 |   507682 |    27590     45 |        0 |        0
953.80/954.24	c  954s |      19 |   567686 |   508582 |    27590     45 |        0 |        0
955.80/956.28	c  956s |      19 |   568497 |   509382 |    27590     45 |        0 |        0
958.00/958.43	c  958s |      19 |   569547 |   510382 |    27590     45 |        0 |        0
960.10/960.55	c  960s |      19 |   570597 |   511382 |    27590     45 |        0 |        0
962.10/962.55	c  962s |      19 |   571708 |   512282 |    27590     45 |        0 |        0
964.10/964.56	c  964s |      19 |   572220 |   512782 |    27590     45 |        0 |        0
966.40/966.81	c  966s |      19 |   572924 |   513482 |    27590     45 |        0 |        0
968.50/968.98	c  968s |      19 |   574103 |   514582 |    27590     45 |        0 |        0
970.70/971.19	c  970s |      19 |   574821 |   515282 |    27590     45 |        0 |        0
972.80/973.27	c  973s |      19 |   575493 |   515882 |    27590     45 |        0 |        0
975.00/975.41	c  975s |      19 |   576144 |   516482 |    27590     45 |        0 |        0
977.00/977.48	c  977s |      19 |   576870 |   517182 |    27590     45 |        0 |        0
979.29/979.79	c  979s |      19 |   577480 |   517782 |    27590     46 |        0 |        0
981.29/981.79	c  981s |      19 |   578254 |   518482 |    27590     46 |        0 |        0
983.39/983.80	c  983s |      19 |   579294 |   519482 |    27590     46 |        0 |        0
985.39/985.85	c  985s |      19 |   580345 |   520482 |    27590     46 |        0 |        0
987.50/987.97	c  987s |      19 |   581759 |   521782 |    27590     46 |        0 |        0
989.89/990.32	c  990s |      19 |   582943 |   522782 |    27590     46 |        0 |        0
991.99/992.40	c  992s |      19 |   583673 |   523482 |    27590     46 |        0 |        0
994.19/994.63	c  994s |      19 |   584590 |   524382 |    27590     46 |        0 |        0
996.20/996.69	c  996s |      19 |   585386 |   525182 |    27590     46 |        0 |        0
998.29/998.70	c  998s |      19 |   586109 |   525882 |    27590     46 |        0 |        0
1000.29/1000.79	c 1000s |      19 |   587138 |   526882 |    27590     46 |        0 |        0
1002.49/1002.91	c 1002s |      19 |   587941 |   527682 |    27590     46 |        0 |        0
1004.49/1004.96	c 1004s |      19 |   589220 |   528882 |    27590     46 |        0 |        0
1006.49/1006.97	c 1006s |      19 |   590388 |   529982 |    27590     46 |        0 |        0
1008.79/1009.25	c 1009s |      19 |   591813 |   531282 |    27590     46 |        0 |        0
1011.79/1012.23	c 1012s |      19 |   592322 |   531782 |    27590     47 |        0 |        0
1013.89/1014.31	c 1014s |      19 |   593516 |   532882 |    27590     47 |        0 |        0
1015.89/1016.33	c 1016s |      19 |   594773 |   534082 |    27590     47 |        0 |        0
1017.99/1018.40	c 1018s |      19 |   595639 |   534882 |    27590     47 |        0 |        0
1019.99/1020.49	c 1020s |      19 |   596685 |   535882 |    27590     47 |        0 |        0
1022.08/1022.57	c 1022s |      19 |   598039 |   537182 |    27590     47 |        0 |        0
1024.18/1024.69	c 1024s |      19 |   599255 |   538382 |    27590     47 |        0 |        0
1026.28/1026.77	c 1026s |      19 |   600640 |   539682 |    27590     47 |        0 |        0
1028.28/1028.78	c 1028s |      19 |   601741 |   540682 |    27590     47 |        0 |        0
1030.39/1030.81	c 1030s |      19 |   602763 |   541682 |    27590     47 |        0 |        0
1032.39/1032.85	c 1032s |      19 |   604082 |   542882 |    27590     47 |        0 |        0
1034.49/1034.98	c 1034s |      19 |   605384 |   544082 |    27590     47 |        0 |        0
1036.69/1037.14	c 1036s |      19 |   606831 |   545382 |    27590     47 |        0 |        0
1039.09/1039.58	c 1039s |      19 |   607653 |   546182 |    27590     48 |        0 |        0
1041.29/1041.72	c 1041s |      19 |   609203 |   547582 |    27590     48 |        0 |        0
1043.28/1043.77	c 1043s |      19 |   610536 |   548782 |    27590     48 |        0 |        0
1045.48/1045.92	c 1045s |      19 |   612137 |   550182 |    27590     48 |        0 |        0
1047.48/1047.99	c 1047s |      19 |   613580 |   551482 |    27590     48 |        0 |        0
1049.68/1050.15	c 1049s |      19 |   615057 |   552782 |    27590     48 |        0 |        0
1051.78/1052.21	c 1052s |      19 |   616586 |   554182 |    27590     48 |        0 |        0
1053.78/1054.28	c 1054s |      19 |   618419 |   555682 |    27590     48 |        0 |        0
1055.88/1056.38	c 1056s |      19 |   619817 |   556982 |    27590     48 |        0 |        0
1057.98/1058.40	c 1058s |      19 |   621605 |   558482 |    27590     48 |        0 |        0
1060.38/1060.81	c 1060s |      19 |   622925 |   559582 |    27590     49 |        0 |        0
1080.99/1081.46	c 1081s |      19 |   623343 |   559982 |    27590     49 |        0 |        0
1083.09/1083.50	c 1083s |      19 |   624714 |   561282 |    27590     49 |        0 |        0
1085.08/1085.58	c 1085s |      19 |   625931 |   562482 |    27590     49 |        0 |        0
1087.18/1087.68	c 1087s |      19 |   627379 |   563782 |    27590     49 |        0 |        0
1089.38/1089.84	c 1089s |      19 |   628770 |   564982 |    27590     49 |        0 |        0
1091.48/1091.91	c 1091s |      19 |   630298 |   566282 |    27590     49 |        0 |        0
1093.58/1094.05	c 1093s |      19 |   631226 |   567182 |    27590     49 |        0 |        0
1095.68/1096.12	c 1095s |      19 |   632270 |   568182 |    27590     49 |        0 |        0
1097.78/1098.21	c 1097s |      19 |   633325 |   569182 |    27590     49 |        0 |        0
1099.87/1100.30	c 1100s |      19 |   634325 |   570082 |    27590     49 |        0 |        0
1102.07/1102.55	c 1102s |      19 |   635422 |   571082 |    27590     49 |        0 |        0
1104.17/1104.68	c 1104s |      19 |   636360 |   571982 |    27590     49 |        0 |        0
1106.47/1106.95	c 1106s |      19 |   637445 |   572982 |    27590     49 |        0 |        0
1108.57/1109.08	c 1108s |      19 |   638405 |   573882 |    27590     50 |        0 |        0
1110.68/1111.13	c 1110s |      19 |   639631 |   575082 |    27590     50 |        0 |        0
1112.78/1113.23	c 1113s |      19 |   640892 |   576282 |    27590     50 |        0 |        0
1114.98/1115.42	c 1115s |      19 |   642238 |   577482 |    27590     50 |        0 |        0
1116.97/1117.49	c 1117s |      19 |   643473 |   578582 |    27590     50 |        0 |        0
1119.07/1119.58	c 1119s |      19 |   644905 |   579782 |    27590     50 |        0 |        0
1121.17/1121.68	c 1121s |      19 |   645543 |   580382 |    27590     50 |        0 |        0
1123.37/1123.84	c 1123s |      19 |   646477 |   581282 |    27590     50 |        0 |        0
1125.47/1125.91	c 1125s |      19 |   647102 |   581882 |    27590     50 |        0 |        0
1127.67/1128.11	c 1127s |      19 |   647798 |   582582 |    27590     50 |        0 |        0
1129.67/1130.16	c 1129s |      19 |   648751 |   583382 |    27590     50 |        0 |        0
1131.87/1132.31	c 1132s |      19 |   649485 |   584082 |    27590     50 |        0 |        0
1133.97/1134.44	c 1134s |      19 |   650518 |   584982 |    27590     50 |        0 |        0
1136.07/1136.50	c 1136s |      19 |   651225 |   585682 |    27590     50 |        0 |        0
1138.07/1138.58	c 1138s |      19 |   652057 |   586482 |    27590     50 |        0 |        0
1141.06/1141.54	c 1141s |      19 |   652922 |   587282 |    27590     51 |        0 |        0
1143.06/1143.55	c 1143s |      19 |   653887 |   588182 |    27590     51 |        0 |        0
1145.26/1145.73	c 1145s |      19 |   655192 |   589382 |    27590     51 |        0 |        0
1147.36/1147.81	c 1147s |      19 |   656423 |   590582 |    27590     51 |        0 |        0
1150.87/1151.36	c 1151s |      19 |   657770 |   591782 |    27590     51 |        0 |        0
1152.87/1153.36	c 1153s |      19 |   658923 |   592882 |    27590     51 |        0 |        0
1154.97/1155.43	c 1155s |      19 |   660043 |   593982 |    27590     51 |        0 |        0
1157.07/1157.53	c 1157s |      19 |   661426 |   595282 |    27590     51 |        0 |        0
1159.07/1159.55	c 1159s |      19 |   662485 |   596282 |    27590     51 |        0 |        0
1161.27/1161.78	c 1161s |      19 |   663397 |   597182 |    27590     51 |        0 |        0
1163.37/1163.85	c 1163s |      19 |   664199 |   597982 |    27590     51 |        0 |        0
1165.46/1166.00	c 1165s |      19 |   665236 |   598982 |    27590     51 |        0 |        0
1167.56/1168.01	c 1167s |      19 |   665933 |   599682 |    27590     51 |        0 |        0
1169.76/1170.24	c 1170s |      19 |   667006 |   600682 |    27590     51 |        0 |        0
1173.06/1173.56	c 1173s |      19 |   667850 |   601382 |    27590     52 |        0 |        0
1175.06/1175.56	c 1175s |      19 |   668746 |   602282 |    27590     52 |        0 |        0
1177.26/1177.72	c 1177s |      19 |   670119 |   603582 |    27590     52 |        0 |        0
1179.36/1179.84	c 1179s |      19 |   671453 |   604882 |    27590     52 |        0 |        0
1181.36/1181.86	c 1181s |      19 |   672828 |   606182 |    27590     52 |        0 |        0
1183.56/1184.00	c 1183s |      19 |   673062 |   606382 |    27590     52 |        0 |        0
1185.56/1186.01	c 1185s |      19 |   673811 |   607082 |    27590     52 |        0 |        0
1187.67/1188.12	c 1187s |      19 |   674753 |   607982 |    27590     52 |        0 |        0
1189.87/1190.36	c 1190s |      19 |   675936 |   609082 |    27590     52 |        0 |        0
1191.86/1192.38	c 1192s |      19 |   676648 |   609782 |    27590     52 |        0 |        0
1193.96/1194.40	c 1194s |      19 |   677582 |   610682 |    27590     52 |        0 |        0
1196.06/1196.57	c 1196s |      19 |   679031 |   611982 |    27590     52 |        0 |        0
1198.16/1198.68	c 1198s |      19 |   679855 |   612782 |    27590     52 |        0 |        0
1200.36/1200.89	c 1200s |      19 |   680690 |   613582 |    27590     52 |        0 |        0
1202.66/1203.14	c 1202s |      19 |   681722 |   614582 |    27590     52 |        0 |        0
1204.76/1205.26	c 1205s |      19 |   682454 |   615282 |    27590     53 |        0 |        0
1206.76/1207.29	c 1207s |      19 |   683762 |   616482 |    27590     53 |        0 |        0
1208.96/1209.42	c 1209s |      19 |   685224 |   617782 |    27590     53 |        0 |        0
1211.06/1211.54	c 1211s |      19 |   686603 |   619082 |    27590     53 |        0 |        0
1213.16/1213.61	c 1213s |      19 |   688038 |   620482 |    27590     53 |        0 |        0
1215.35/1215.84	c 1215s |      19 |   689629 |   621882 |    27590     53 |        0 |        0
1217.55/1218.05	c 1217s |      19 |   690250 |   622482 |    27590     53 |        0 |        0
1219.85/1220.37	c 1220s |      19 |   690948 |   623182 |    27590     53 |        0 |        0
1230.95/1231.43	c 1231s |      19 |   691520 |   623682 |    27590     53 |        0 |        0
1232.95/1233.45	c 1233s |      19 |   692437 |   624582 |    27590     53 |        0 |        0
1235.15/1235.65	c 1235s |      19 |   693277 |   625382 |    27590     53 |        0 |        0
1237.16/1237.66	c 1237s |      19 |   694232 |   626282 |    27590     53 |        0 |        0
1239.36/1239.84	c 1239s |      19 |   695181 |   627182 |    27590     53 |        0 |        0
1241.35/1241.85	c 1241s |      19 |   696247 |   628182 |    27590     53 |        0 |        0
1243.85/1244.35	c 1244s |      19 |   697150 |   628982 |    27590     54 |        0 |        0
1247.74/1248.26	c 1248s |      19 |   697613 |   629382 |    27590     54 |        0 |        0
1249.84/1250.36	c 1250s |      19 |   698756 |   630482 |    27590     54 |        0 |        0
1251.94/1252.47	c 1252s |      19 |   700095 |   631782 |    27590     54 |        0 |        0
1254.04/1254.55	c 1254s |      19 |   701495 |   633082 |    27590     54 |        0 |        0
1256.14/1256.62	c 1256s |      19 |   702864 |   634382 |    27590     54 |        0 |        0
1258.24/1258.75	c 1258s |      19 |   704757 |   636082 |    27590     54 |        0 |        0
1260.25/1260.79	c 1260s |      19 |   705894 |   637182 |    27590     54 |        0 |        0
1262.24/1262.80	c 1262s |      19 |   707341 |   638482 |    27590     54 |        0 |        0
1264.35/1264.86	c 1264s |      19 |   708777 |   639782 |    27590     54 |        0 |        0
1266.45/1266.96	c 1266s |      19 |   710232 |   641082 |    27590     54 |        0 |        0
1268.55/1269.05	c 1268s |      19 |   711517 |   642282 |    27590     54 |        0 |        0
1270.65/1271.13	c 1270s |      19 |   712395 |   643082 |    27590     55 |        0 |        0
1272.75/1273.21	c 1272s |      19 |   713931 |   644482 |    27590     55 |        0 |        0
1274.85/1275.31	c 1275s |      19 |   716056 |   646282 |    27590     55 |        0 |        0
1276.95/1277.42	c 1277s |      19 |   717904 |   647882 |    27590     55 |        0 |        0
1279.05/1279.50	c 1279s |      19 |   718647 |   648582 |    27590     55 |        0 |        0
1281.15/1281.62	c 1281s |      19 |   719823 |   649682 |    27590     55 |        0 |        0
1285.74/1286.23	c 1286s |      19 |   719954 |   649782 |    27590     55 |        0 |        0
1287.84/1288.35	c 1288s |      19 |   721106 |   650882 |    27590     55 |        0 |        0
1290.14/1290.66	c 1290s |      19 |   722066 |   651782 |    27590     55 |        0 |        0
1292.24/1292.71	c 1292s |      19 |   722982 |   652682 |    27590     55 |        0 |        0
1294.44/1294.97	c 1294s |      19 |   724110 |   653682 |    27590     55 |        0 |        0
1296.45/1296.98	c 1296s |      19 |   725114 |   654582 |    27590     55 |        0 |        0
1298.54/1299.08	c 1298s |      19 |   726015 |   655382 |    27590     55 |        0 |        0
1300.74/1301.26	c 1301s |      19 |   727040 |   656282 |    27590     55 |        0 |        0
1303.04/1303.52	c 1303s |      19 |   727701 |   656882 |    27590     56 |        0 |        0
1305.04/1305.55	c 1305s |      19 |   728867 |   657982 |    27590     56 |        0 |        0
1307.14/1307.67	c 1307s |      19 |   730271 |   659282 |    27590     56 |        0 |        0
1309.14/1309.68	c 1309s |      19 |   731716 |   660582 |    27590     56 |        0 |        0
1311.14/1311.69	c 1311s |      19 |   732660 |   661482 |    27590     56 |        0 |        0
1313.34/1313.80	c 1313s |      19 |   733771 |   662482 |    30350     56 |        0 |        0
1315.44/1315.91	c 1315s |      19 |   734687 |   663382 |    30350     56 |        0 |        0
1317.54/1318.07	c 1317s |      19 |   735809 |   664482 |    30350     56 |        0 |        0
1319.64/1320.14	c 1319s |      19 |   737109 |   665682 |    30350     56 |        0 |        0
1321.64/1322.15	c 1321s |      19 |   738020 |   666582 |    30350     56 |        0 |        0
1322.14/1322.68	c 1322s |      20 |   738335 |   666827 |    30350     56 |        0 |        0
1324.23/1324.73	c 1324s |      20 |   739125 |   667427 |    30350     56 |        0 |        0
1326.33/1326.81	c 1326s |      20 |   739954 |   668227 |    30350     56 |        0 |        0
1328.44/1328.91	c 1328s |      20 |   740807 |   669027 |    30350     56 |        0 |        0
1330.43/1330.91	c 1330s |      20 |   741813 |   669927 |    30350     56 |        0 |        0
1332.53/1333.04	c 1332s |      20 |   742767 |   670827 |    30350     56 |        0 |        0
1334.63/1335.19	c 1334s |      20 |   743922 |   671927 |    30350     56 |        0 |        0
1336.73/1337.28	c 1337s |      20 |   744648 |   672627 |    30350     56 |        0 |        0
1338.93/1339.48	c 1339s |      20 |   745359 |   673327 |    30350     56 |        0 |        0
1345.94/1346.43	c 1346s |      20 |   745929 |   673827 |    30350     57 |        0 |        0
1348.14/1348.63	c 1348s |      20 |   747080 |   674927 |    30350     57 |        0 |        0
1350.23/1350.70	c 1350s |      20 |   748235 |   676027 |    30350     57 |        0 |        0
1352.33/1352.82	c 1352s |      20 |   749864 |   677527 |    30350     57 |        0 |        0
1354.53/1355.01	c 1354s |      20 |   751064 |   678627 |    30350     57 |        0 |        0
1356.63/1357.14	c 1356s |      20 |   751850 |   679427 |    30350     57 |        0 |        0
1358.73/1359.21	c 1359s |      20 |   752660 |   680227 |    30350     57 |        0 |        0
1360.83/1361.37	c 1361s |      20 |   753685 |   681227 |    30350     57 |        0 |        0
1362.93/1363.42	c 1363s |      20 |   754487 |   682027 |    30350     57 |        0 |        0
1365.13/1365.61	c 1365s |      20 |   755565 |   683027 |    30350     57 |        0 |        0
1367.13/1367.63	c 1367s |      20 |   756271 |   683727 |    30350     57 |        0 |        0
1369.14/1369.65	c 1369s |      20 |   757216 |   684627 |    30350     57 |        0 |        0
1371.43/1371.90	c 1371s |      20 |   758019 |   685427 |    30350     57 |        0 |        0
1373.73/1374.21	c 1374s |      20 |   758963 |   686327 |    30350     57 |        0 |        0
1375.73/1376.22	c 1376s |      20 |   759916 |   687227 |    30350     57 |        0 |        0
1377.83/1378.38	c 1378s |      20 |   760731 |   688027 |    30350     57 |        0 |        0
1380.53/1381.02	c 1380s |      20 |   761725 |   688927 |    30350     58 |        0 |        0
1382.63/1383.17	c 1382s |      20 |   762856 |   690027 |    30350     58 |        0 |        0
1384.73/1385.29	c 1385s |      20 |   764454 |   691427 |    30350     58 |        0 |        0
1389.92/1390.41	c 1390s |      20 |   764609 |   691527 |    30350     58 |        0 |        0
1392.02/1392.50	c 1392s |      20 |   765541 |   692427 |    30350     58 |        0 |        0
1394.02/1394.53	c 1394s |      20 |   766368 |   693227 |    30350     58 |        0 |        0
1396.22/1396.73	c 1396s |      20 |   767167 |   694027 |    30350     58 |        0 |        0
1398.41/1398.99	c 1398s |      20 |   767973 |   694827 |    30350     58 |        0 |        0
1400.61/1401.11	c 1400s |      20 |   768870 |   695727 |    30350     58 |        0 |        0
1402.61/1403.18	c 1402s |      20 |   770112 |   696827 |    30350     58 |        0 |        0
1405.01/1405.54	c 1405s |      20 |   771040 |   697727 |    30350     58 |        0 |        0
1407.21/1407.74	c 1407s |      20 |   771740 |   698427 |    30350     58 |        0 |        0
1409.21/1409.78	c 1409s |      20 |   772462 |   699127 |    30350     58 |        0 |        0
1411.51/1412.05	c 1411s |      20 |   773454 |   700027 |    30350     58 |        0 |        0
1413.51/1414.06	c 1413s |      20 |   774163 |   700727 |    30350     58 |        0 |        0
1415.71/1416.21	c 1416s |      20 |   775002 |   701527 |    30350     58 |        0 |        0
1417.71/1418.24	c 1418s |      20 |   775829 |   702327 |    30350     58 |        0 |        0
1419.81/1420.30	c 1420s |      20 |   776556 |   703027 |    30350     58 |        0 |        0
1421.82/1422.37	c 1422s |      20 |   777360 |   703827 |    30350     58 |        0 |        0
1423.92/1424.48	c 1424s |      20 |   778093 |   704527 |    30350     59 |        0 |        0
1426.02/1426.53	c 1426s |      20 |   779149 |   705527 |    30350     59 |        0 |        0
1428.12/1428.66	c 1428s |      20 |   780624 |   706927 |    30350     59 |        0 |        0
1430.42/1430.95	c 1430s |      20 |   780951 |   707227 |    30350     59 |        0 |        0
1432.52/1433.04	c 1432s |      20 |   781787 |   708027 |    30350     59 |        0 |        0
1434.51/1435.08	c 1434s |      20 |   782919 |   709127 |    30350     59 |        0 |        0
1436.61/1437.12	c 1436s |      20 |   783870 |   710027 |    30350     59 |        0 |        0
1438.61/1439.19	c 1438s |      20 |   785175 |   711227 |    30350     59 |        0 |        0
1440.81/1441.34	c 1441s |      20 |   786438 |   712427 |    30350     59 |        0 |        0
1443.01/1443.57	c 1443s |      20 |   787735 |   713627 |    30350     59 |        0 |        0
1445.11/1445.62	c 1445s |      20 |   788341 |   714227 |    30350     59 |        0 |        0
1447.12/1447.67	c 1447s |      20 |   789191 |   715027 |    30350     59 |        0 |        0
1449.32/1449.82	c 1449s |      20 |   789990 |   715827 |    30350     59 |        0 |        0
1451.31/1451.89	c 1451s |      20 |   790877 |   716627 |    30350     59 |        0 |        0
1453.41/1453.93	c 1453s |      20 |   791490 |   717227 |    30350     59 |        0 |        0
1455.41/1455.99	c 1455s |      20 |   792085 |   717827 |    30350     59 |        0 |        0
1457.51/1458.00	c 1457s |      20 |   792912 |   718627 |    30350     59 |        0 |        0
1460.21/1460.80	c 1460s |      20 |   793758 |   719427 |    30350     60 |        0 |        0
1462.41/1462.95	c 1462s |      20 |   794588 |   720227 |    30350     60 |        0 |        0
1464.81/1465.35	c 1465s |      20 |   795014 |   720627 |    30350     60 |        0 |        0
1466.91/1467.46	c 1467s |      20 |   796022 |   721627 |    30350     60 |        0 |        0
1469.00/1469.50	c 1469s |      20 |   797268 |   722827 |    30350     60 |        0 |        0
1471.20/1471.80	c 1471s |      20 |   798288 |   723827 |    30350     60 |        0 |        0
1473.51/1474.03	c 1473s |      20 |   799193 |   724727 |    30350     60 |        0 |        0
1475.60/1476.19	c 1475s |      20 |   800398 |   725827 |    30350     60 |        0 |        0
1477.80/1478.32	c 1478s |      20 |   801319 |   726727 |    30350     60 |        0 |        0
1479.80/1480.33	c 1480s |      20 |   802027 |   727427 |    30350     60 |        0 |        0
1482.10/1482.64	c 1482s |      20 |   802917 |   728227 |    30350     60 |        0 |        0
1484.40/1484.90	c 1484s |      20 |   803765 |   729027 |    30350     60 |        0 |        0
1486.50/1487.06	c 1486s |      20 |   804373 |   729627 |    30350     60 |        0 |        0
1488.70/1489.20	c 1488s |      20 |   805213 |   730427 |    30350     60 |        0 |        0
1490.80/1491.32	c 1491s |      20 |   806132 |   731327 |    30350     60 |        0 |        0
1493.00/1493.55	c 1493s |      20 |   806992 |   732127 |    30350     60 |        0 |        0
1495.00/1495.56	c 1495s |      20 |   807860 |   732927 |    30350     60 |        0 |        0
1497.20/1497.74	c 1497s |      20 |   808811 |   733827 |    30350     60 |        0 |        0
1499.31/1499.83	c 1499s |      20 |   809614 |   734627 |    30350     60 |        0 |        0
1501.70/1502.22	c 1502s |      20 |   810167 |   735127 |    30350     61 |        0 |        0
1504.20/1504.70	c 1504s |      20 |   811478 |   736327 |    30350     61 |        0 |        0
1506.30/1506.86	c 1506s |      20 |   812388 |   737227 |    30350     61 |        0 |        0
1508.50/1509.04	c 1508s |      20 |   813670 |   738427 |    30350     61 |        0 |        0
1510.70/1511.24	c 1511s |      20 |   814720 |   739427 |    30350     61 |        0 |        0
1512.70/1513.25	c 1513s |      20 |   815878 |   740527 |    30350     61 |        0 |        0
1514.80/1515.32	c 1515s |      20 |   816969 |   741527 |    30350     61 |        0 |        0
1517.10/1517.63	c 1517s |      20 |   817976 |   742527 |    30350     61 |        0 |        0
1519.10/1519.68	c 1519s |      20 |   818799 |   743327 |    30350     61 |        0 |        0
1521.30/1521.88	c 1521s |      20 |   819829 |   744327 |    30350     61 |        0 |        0
1523.40/1523.91	c 1523s |      20 |   820805 |   745227 |    30350     61 |        0 |        0
1525.40/1525.91	c 1525s |      20 |   821912 |   746227 |    30350     61 |        0 |        0
1527.40/1527.95	c 1527s |      20 |   822977 |   747227 |    30350     61 |        0 |        0
1529.50/1530.01	c 1529s |      20 |   823950 |   748127 |    30350     61 |        0 |        0
1531.70/1532.26	c 1532s |      20 |   824990 |   749027 |    30350     61 |        0 |        0
1533.79/1534.39	c 1534s |      20 |   826144 |   750027 |    30350     61 |        0 |        0
1535.89/1536.42	c 1536s |      20 |   826657 |   750527 |    30350     62 |        0 |        0
1537.89/1538.48	c 1538s |      20 |   828079 |   751827 |    30350     62 |        0 |        0
1541.30/1541.83	c 1541s |      20 |   829328 |   752827 |    30350     62 |        0 |        0
1543.29/1543.83	c 1543s |      20 |   830356 |   753827 |    30350     62 |        0 |        0
1545.49/1546.00	c 1545s |      20 |   831612 |   755027 |    30350     62 |        0 |        0
1547.59/1548.12	c 1547s |      20 |   832820 |   756127 |    30350     62 |        0 |        0
1549.79/1550.32	c 1550s |      20 |   833997 |   757227 |    30350     62 |        0 |        0
1551.89/1552.42	c 1552s |      20 |   835219 |   758327 |    30350     62 |        0 |        0
1553.99/1554.55	c 1554s |      20 |   836597 |   759627 |    30350     62 |        0 |        0
1556.19/1556.78	c 1556s |      20 |   837933 |   760827 |    30350     62 |        0 |        0
1558.39/1558.93	c 1558s |      20 |   839007 |   761827 |    30350     62 |        0 |        0
1560.50/1561.08	c 1560s |      20 |   840164 |   762927 |    30350     62 |        0 |        0
1562.60/1563.11	c 1562s |      20 |   841330 |   764027 |    30350     62 |        0 |        0
1564.59/1565.16	c 1564s |      20 |   842490 |   765127 |    30350     62 |        0 |        0
1567.00/1567.53	c 1567s |      20 |   843131 |   765627 |    30350     63 |        0 |        0
1569.09/1569.62	c 1569s |      20 |   844874 |   767127 |    30350     63 |        0 |        0
1571.19/1571.71	c 1571s |      20 |   847323 |   769027 |    30350     63 |        0 |        0
1573.89/1574.48	c 1574s |      20 |   847894 |   769427 |    30350     63 |        0 |        0
1586.59/1587.18	c 1586s |      20 |   848020 |   769527 |    30350     63 |        0 |        0
1588.79/1589.32	c 1589s |      20 |   849072 |   770527 |    30350     63 |        0 |        0
1590.79/1591.34	c 1591s |      20 |   850266 |   771627 |    30350     63 |        0 |        0
1592.79/1593.39	c 1593s |      20 |   851416 |   772727 |    30350     63 |        0 |        0
1594.79/1595.40	c 1595s |      20 |   852369 |   773627 |    30350     63 |        0 |        0
1596.89/1597.42	c 1597s |      20 |   853440 |   774627 |    30350     63 |        0 |        0
1598.99/1599.57	c 1599s |      20 |   854510 |   775627 |    30350     63 |        0 |        0
1601.19/1601.72	c 1601s |      20 |   855588 |   776627 |    30350     63 |        0 |        0
1603.48/1604.04	c 1603s |      20 |   856455 |   777427 |    30350     63 |        0 |        0
1605.59/1606.15	c 1605s |      20 |   857181 |   778127 |    30350     63 |        0 |        0
1607.69/1608.26	c 1608s |      20 |   858017 |   778927 |    30350     63 |        0 |        0
1609.89/1610.43	c 1610s |      20 |   859084 |   779927 |    30350     63 |        0 |        0
1612.58/1613.17	c 1612s |      20 |   859944 |   780727 |    30350     64 |        0 |        0
1614.58/1615.18	c 1614s |      20 |   860987 |   781727 |    30350     64 |        0 |        0
1616.68/1617.20	c 1616s |      20 |   862284 |   782927 |    30350     64 |        0 |        0
1618.79/1619.32	c 1619s |      20 |   863753 |   784327 |    30350     64 |        0 |        0
1621.28/1621.83	c 1621s |      20 |   865218 |   785627 |    30350     64 |        0 |        0
1623.28/1623.86	c 1623s |      20 |   866178 |   786527 |    30350     64 |        0 |        0
1625.39/1625.92	c 1625s |      20 |   867117 |   787427 |    30350     64 |        0 |        0
1627.48/1628.03	c 1627s |      20 |   867910 |   788227 |    30350     64 |        0 |        0
1629.58/1630.12	c 1629s |      20 |   868943 |   789227 |    30350     64 |        0 |        0
1631.59/1632.18	c 1631s |      20 |   869940 |   790127 |    30350     64 |        0 |        0
1633.69/1634.26	c 1634s |      20 |   870754 |   790927 |    30350     64 |        0 |        0
1635.79/1636.31	c 1636s |      20 |   871666 |   791827 |    30350     64 |        0 |        0
1637.98/1638.51	c 1638s |      20 |   872616 |   792727 |    30350     64 |        0 |        0
1639.98/1640.54	c 1640s |      20 |   873673 |   793627 |    30350     64 |        0 |        0
1641.98/1642.55	c 1642s |      20 |   874526 |   794427 |    30350     64 |        0 |        0
1644.18/1644.72	c 1644s |      20 |   875686 |   795427 |    30350     64 |        0 |        0
1646.88/1647.42	c 1647s |      20 |   876336 |   796027 |    30350     65 |        0 |        0
1649.08/1649.61	c 1649s |      20 |   878122 |   797627 |    30350     65 |        0 |        0
1651.18/1651.71	c 1651s |      20 |   879170 |   798627 |    30350     65 |        0 |        0
1653.18/1653.79	c 1653s |      20 |   880255 |   799627 |    30350     65 |        0 |        0
1655.28/1655.87	c 1655s |      20 |   881173 |   800527 |    30350     65 |        0 |        0
1657.38/1657.96	c 1657s |      20 |   882057 |   801327 |    30350     65 |        0 |        0
1659.48/1660.09	c 1659s |      20 |   883155 |   802327 |    30350     65 |        0 |        0
1661.48/1662.09	c 1661s |      20 |   884100 |   803227 |    30350     65 |        0 |        0
1663.58/1664.16	c 1663s |      20 |   885241 |   804327 |    30350     65 |        0 |        0
1665.58/1666.17	c 1665s |      20 |   886379 |   805427 |    30350     65 |        0 |        0
1667.88/1668.46	c 1668s |      20 |   887299 |   806327 |    30350     65 |        0 |        0
1669.98/1670.50	c 1670s |      20 |   888326 |   807327 |    30350     65 |        0 |        0
1672.07/1672.63	c 1672s |      20 |   889578 |   808427 |    30350     65 |        0 |        0
1674.17/1674.74	c 1674s |      20 |   890643 |   809427 |    30350     65 |        0 |        0
1676.27/1676.89	c 1676s |      20 |   891698 |   810427 |    30350     65 |        0 |        0
1678.67/1679.26	c 1679s |      20 |   892637 |   811327 |    30350     66 |        0 |        0
1680.67/1681.29	c 1681s |      20 |   893063 |   811727 |    30350     66 |        0 |        0
1683.28/1683.82	c 1683s |      20 |   893686 |   812327 |    30350     66 |        0 |        0
1685.28/1685.89	c 1685s |      20 |   894709 |   813327 |    30350     66 |        0 |        0
1687.38/1687.96	c 1687s |      20 |   895835 |   814427 |    30350     66 |        0 |        0
1689.48/1690.00	c 1689s |      20 |   897356 |   815727 |    30350     66 |        0 |        0
1691.58/1692.12	c 1691s |      20 |   898824 |   817127 |    30350     66 |        0 |        0
1693.68/1694.26	c 1694s |      20 |   899960 |   818227 |    30350     66 |        0 |        0
1695.78/1696.35	c 1696s |      20 |   900997 |   819227 |    30350     66 |        0 |        0
1697.78/1698.36	c 1698s |      20 |   902157 |   820327 |    30350     66 |        0 |        0
1699.77/1700.39	c 1700s |      20 |   903585 |   821627 |    30350     66 |        0 |        0
1701.97/1702.51	c 1702s |      20 |   904791 |   822727 |    30350     66 |        0 |        0
1704.07/1704.68	c 1704s |      20 |   905859 |   823727 |    30350     66 |        0 |        0
1706.17/1706.73	c 1706s |      20 |   906897 |   824727 |    30350     66 |        0 |        0
1708.17/1708.76	c 1708s |      20 |   908282 |   826027 |    30350     66 |        0 |        0
1710.27/1710.89	c 1710s |      20 |   909274 |   826927 |    30350     67 |        0 |        0
1712.37/1712.91	c 1712s |      20 |   910563 |   828127 |    30350     67 |        0 |        0
1714.48/1715.01	c 1714s |      20 |   911822 |   829327 |    30350     67 |        0 |        0
1716.47/1717.09	c 1716s |      20 |   913328 |   830727 |    30350     67 |        0 |        0
1718.57/1719.12	c 1718s |      20 |   914952 |   832227 |    30350     67 |        0 |        0
1720.67/1721.22	c 1721s |      20 |   916614 |   833727 |    30350     67 |        0 |        0
1722.67/1723.24	c 1723s |      20 |   918122 |   835127 |    30350     67 |        0 |        0
1733.96/1734.51	c 1734s |      20 |   919586 |   836327 |    30350     67 |        0 |        0
1736.06/1736.65	c 1736s |      20 |   920552 |   837227 |    30350     67 |        0 |        0
1738.36/1738.90	c 1738s |      20 |   921382 |   838027 |    30350     67 |        0 |        0
1740.67/1741.23	c 1741s |      20 |   922105 |   838727 |    30350     67 |        0 |        0
1742.77/1743.31	c 1743s |      20 |   922955 |   839527 |    30350     67 |        0 |        0
1744.77/1745.34	c 1745s |      20 |   923668 |   840227 |    30350     67 |        0 |        0
1746.87/1747.41	c 1747s |      20 |   924614 |   841127 |    30350     67 |        0 |        0
1749.57/1750.19	c 1749s |      20 |   925418 |   841927 |    30350     68 |        0 |        0
1751.67/1752.29	c 1752s |      20 |   926425 |   842927 |    30350     68 |        0 |        0
1753.87/1754.40	c 1754s |      20 |   927798 |   844227 |    30350     68 |        0 |        0
1755.87/1756.45	c 1756s |      20 |   929345 |   845627 |    30350     68 |        0 |        0
1758.76/1759.30	c 1759s |      20 |   930855 |   847027 |    30350     68 |        0 |        0
1760.76/1761.32	c 1761s |      20 |   931775 |   847927 |    30350     68 |        0 |        0
1762.77/1763.39	c 1763s |      20 |   932686 |   848827 |    30350     68 |        0 |        0
1764.86/1765.45	c 1765s |      20 |   933894 |   850027 |    30350     68 |        0 |        0
1766.96/1767.56	c 1767s |      20 |   934711 |   850827 |    30350     68 |        0 |        0
1768.96/1769.57	c 1769s |      20 |   935747 |   851827 |    30350     68 |        0 |        0
1771.06/1771.68	c 1771s |      20 |   936618 |   852627 |    30350     68 |        0 |        0
1773.26/1773.81	c 1773s |      20 |   937670 |   853627 |    30350     68 |        0 |        0
1775.26/1775.81	c 1775s |      20 |   938514 |   854427 |    30350     68 |        0 |        0
1777.36/1777.91	c 1777s |      20 |   939676 |   855427 |    30350     68 |        0 |        0
1779.37/1779.99	c 1779s |      20 |   940649 |   856327 |    30350     68 |        0 |        0
1781.47/1782.09	c 1781s |      20 |   941488 |   857127 |    30350     68 |        0 |        0
1785.66/1786.25	c 1786s |      20 |   941794 |   857427 |    30350     69 |        0 |        0
1787.76/1788.33	c 1788s |      20 |   942806 |   858427 |    30350     69 |        0 |        0
1789.86/1790.47	c 1790s |      20 |   944046 |   859627 |    30350     69 |        0 |        0
1791.95/1792.56	c 1792s |      20 |   945192 |   860727 |    30350     69 |        0 |        0
1794.15/1794.79	c 1794s |      20 |   946212 |   861727 |    30350     69 |        0 |        0
1796.35/1796.92	c 1796s |      20 |   947395 |   862827 |    30350     69 |        0 |        0
1798.35/1798.94	c 1798s |      20 |   948645 |   864027 |    30350     69 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106985-1466280713/watcher-4106985-1466280713 -o /tmp/evaluation-result-4106985-1466280713/solver-4106985-1466280713 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10297 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106985-1466280713.opb 

pid=10621
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.15 2.16 2.11 3/170 10624
/proc/meminfo: memFree=31259356/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=742980 CPUtime=0 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 2775 0 0 0 0 0 0 0 20 0 4 0 30121428 760811520 3137 33554432000 4194304 16246674 140734613211232 140734613210656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10624/statm: 186257 3147 442 2943 0 183151 0
[pid=10624/tid=10626] ppid=10621 vsize=759364 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 777588736 3204 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=764484 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 782831616 3222 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=768580 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30121429 787025920 3240 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.15 2.16 2.11 3/170 10624
/proc/meminfo: memFree=31259356/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 22751 0 0 0 6 3 0 0 20 0 4 0 30121428 1249447936 23050 33554432000 4194304 16246674 140734613211232 140734613210544 12457395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10624/statm: 305041 23061 839 2943 0 301935 0
[pid=10624/tid=10626] ppid=10621 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1249447936 23069 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1249447936 23076 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30121429 1249447936 23081 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200425 s]
/proc/loadavg: 2.15 2.16 2.11 3/170 10624
/proc/meminfo: memFree=31259356/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1299012 CPUtime=0.19 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 41898 0 0 0 13 6 0 0 20 0 4 0 30121428 1330188288 42198 33554432000 4194304 16246674 140734613211232 140734613210544 13956064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10624/statm: 324753 42207 840 2943 0 321647 0
[pid=10624/tid=10626] ppid=10621 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1330188288 42214 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1330188288 42220 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1330188288 42226 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1299012

[startup+0.300376 s]
/proc/loadavg: 2.15 2.16 2.11 3/170 10624
/proc/meminfo: memFree=31259356/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1299012 CPUtime=0.29 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 53167 0 0 0 22 7 0 0 20 0 4 0 30121428 1330188288 53466 33554432000 4194304 16246674 140734613211232 140734613210544 13191638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10624/statm: 324753 53478 877 2943 0 321647 0
[pid=10624/tid=10626] ppid=10621 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1330188288 53484 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1330188288 53495 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1330188288 53498 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1299012

[startup+0.700239 s]
/proc/loadavg: 2.15 2.16 2.11 3/170 10624
/proc/meminfo: memFree=31259356/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1299012 CPUtime=0.69 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 140657 0 0 0 50 19 0 0 20 0 4 0 30121428 1330188288 140956 33554432000 4194304 16246674 140734613211232 140734613193152 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10624/statm: 324753 140973 877 2943 0 321647 0
[pid=10624/tid=10626] ppid=10621 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1330188288 140981 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1330188288 140989 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1330188288 140997 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1299012

[startup+1.50036 s]
/proc/loadavg: 2.22 2.18 2.11 4/183 10690
/proc/meminfo: memFree=29898836/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1308228 CPUtime=1.49 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 268117 0 0 0 112 37 0 0 20 0 4 0 30121428 1339625472 268416 33554432000 4194304 16246674 140734613211232 140734613193152 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10624/statm: 327057 268416 884 2943 0 323951 0
[pid=10624/tid=10626] ppid=10621 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1339625472 268416 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1339625472 268416 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1339625472 268416 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10041 s]
/proc/loadavg: 2.22 2.18 2.11 3/183 10690
/proc/meminfo: memFree=29120852/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 268241 0 0 0 272 37 0 0 20 0 4 0 30121428 1339625472 268540 33554432000 4194304 16246674 140734613211232 140734613193152 5707807 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10624/statm: 327057 268540 884 2943 0 323951 0
[pid=10624/tid=10626] ppid=10621 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1339625472 268540 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1339625472 268540 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1339625472 268540 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.3004 s]
/proc/loadavg: 2.22 2.18 2.11 3/183 10690
/proc/meminfo: memFree=29108340/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 268241 0 0 0 592 37 0 0 20 0 4 0 30121428 1339625472 268540 33554432000 4194304 16246674 140734613211232 140734613194232 12483272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10624/statm: 327057 268540 884 2943 0 323951 0
[pid=10624/tid=10626] ppid=10621 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1339625472 268540 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1339625472 268540 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1339625472 268540 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.18 2.17 2.11 4/183 10690
/proc/meminfo: memFree=29104236/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 268247 0 0 0 1232 37 0 0 20 0 4 0 30121428 1339625472 268546 33554432000 4194304 16246674 140734613211232 140734613193152 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10624/statm: 327057 268546 890 2943 0 323951 0
[pid=10624/tid=10626] ppid=10621 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1339625472 268546 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1339625472 268546 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1339625472 268546 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.15 2.16 2.11 3/183 10690
/proc/meminfo: memFree=29099844/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 269346 0 0 0 2512 37 0 0 20 0 4 0 30121428 1344868352 269645 33554432000 4194304 16246674 140734613211232 140734613193152 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10624/statm: 328337 269645 891 2943 0 325231 0
[pid=10624/tid=10626] ppid=10621 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1344868352 269645 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1344868352 269645 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1344868352 269645 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.25 2.18 2.11 3/183 10690
/proc/meminfo: memFree=29089932/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 270040 0 0 0 5071 37 0 0 20 0 4 0 30121428 1346965504 270339 33554432000 4194304 16246674 140734613211232 140734613193152 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10624/statm: 328849 270339 891 2943 0 325743 0
[pid=10624/tid=10626] ppid=10621 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1346965504 270339 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1346965504 270339 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1346965504 270339 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.16 2.17 2.11 3/183 10691
/proc/meminfo: memFree=29046844/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1332804 CPUtime=102.28 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 274392 0 0 0 10190 38 0 0 20 0 4 0 30121428 1364791296 274691 33554432000 4194304 16246674 140734613211232 140734613193152 12483272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10624/statm: 333201 274691 891 2943 0 330095 0
[pid=10624/tid=10626] ppid=10621 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1364791296 274691 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1364791296 274691 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1364791296 274691 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1332804


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

/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291331 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1398340

[startup+1302.3 s]
/proc/loadavg: 2.13 2.14 2.12 3/183 10721
/proc/meminfo: memFree=28960888/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1398340 CPUtime=1301.84 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 291163 0 0 0 130123 61 0 0 20 0 4 0 30121428 1431900160 291331 33554432000 4194304 16246674 140734613211232 140734613193152 5677228 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10624/statm: 349585 291331 891 2943 0 346479 0
[pid=10624/tid=10626] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291331 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291331 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291331 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1398340

[startup+1362.3 s]
/proc/loadavg: 2.08 2.13 2.12 3/183 10722
/proc/meminfo: memFree=28960532/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1398340 CPUtime=1361.83 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 291163 0 0 0 136121 62 0 0 20 0 4 0 30121428 1431900160 291331 33554432000 4194304 16246674 140734613211232 140734613193152 5822496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10624/statm: 349585 291331 891 2943 0 346479 0
[pid=10624/tid=10626] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291331 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291331 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291331 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1398340

[startup+1422.3 s]
/proc/loadavg: 2.08 2.12 2.11 3/183 10723
/proc/meminfo: memFree=28960564/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1398340 CPUtime=1421.82 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 291163 0 0 0 142120 62 0 0 20 0 4 0 30121428 1431900160 291331 33554432000 4194304 16246674 140734613211232 140734613193152 6021684 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10624/statm: 349585 291331 891 2943 0 346479 0
[pid=10624/tid=10626] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291331 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291331 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291331 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1398340

[startup+1482.3 s]
/proc/loadavg: 2.07 2.11 2.11 3/183 10724
/proc/meminfo: memFree=28961108/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1398340 CPUtime=1481.8 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 291163 0 0 0 148117 63 0 0 20 0 4 0 30121428 1431900160 291331 33554432000 4194304 16246674 140734613211232 140734613193152 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10624/statm: 349585 291331 891 2943 0 346479 0
[pid=10624/tid=10626] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291331 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291331 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291331 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1398340

[startup+1542.31 s]
/proc/loadavg: 2.17 2.13 2.11 3/183 10726
/proc/meminfo: memFree=28960252/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1398340 CPUtime=1541.8 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 291164 0 0 0 154115 65 0 0 20 0 4 0 30121428 1431900160 291332 33554432000 4194304 16246674 140734613211232 140734613209024 13808416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10624/statm: 349585 291332 892 2943 0 346479 0
[pid=10624/tid=10626] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1398340

[startup+1602.3 s]
/proc/loadavg: 2.15 2.13 2.11 3/183 10727
/proc/meminfo: memFree=28960916/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1398340 CPUtime=1601.78 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 291164 0 0 0 160111 67 0 0 20 0 4 0 30121428 1431900160 291332 33554432000 4194304 16246674 140734613211232 140734613193152 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10624/statm: 349585 291332 892 2943 0 346479 0
[pid=10624/tid=10626] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1398340

[startup+1662.3 s]
/proc/loadavg: 2.09 2.12 2.10 3/183 10728
/proc/meminfo: memFree=28961136/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1398340 CPUtime=1661.78 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 291164 0 0 0 166110 68 0 0 20 0 4 0 30121428 1431900160 291332 33554432000 4194304 16246674 140734613211232 140734613194232 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10624/statm: 349585 291332 892 2943 0 346479 0
[pid=10624/tid=10626] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1398340

[startup+1722.3 s]
/proc/loadavg: 2.14 2.13 2.10 3/184 10732
/proc/meminfo: memFree=28961572/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1398340 CPUtime=1721.77 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 291164 0 0 0 172108 69 0 0 20 0 4 0 30121428 1431900160 291332 33554432000 4194304 16246674 140734613211232 140734613193152 5553672 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10624/statm: 349585 291332 892 2943 0 346479 0
[pid=10624/tid=10626] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1398340

[startup+1782.3 s]
/proc/loadavg: 2.14 2.13 2.10 3/183 10733
/proc/meminfo: memFree=28960832/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1398340 CPUtime=1781.76 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 291164 0 0 0 178106 70 0 0 20 0 4 0 30121428 1431900160 291332 33554432000 4194304 16246674 140734613211232 140734613193152 13191984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10624/statm: 349585 291332 892 2943 0 346479 0
[pid=10624/tid=10626] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1398340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.11 2.12 2.10 4/182 10733
/proc/meminfo: memFree=28961088/32872528 swapFree=526336/559040
[pid=10624] ppid=10621 vsize=1398340 CPUtime=1800.05 cores=1,3,5,7
/proc/10624/stat : 10624 (toysat) R 10621 10624 10280 0 -1 4202496 291164 0 0 0 179935 70 0 0 20 0 4 0 30121428 1431900160 291332 33554432000 4194304 16246674 140734613211232 140734613193152 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10624/statm: 349585 291332 892 2943 0 346479 0
[pid=10624/tid=10626] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10626/stat : 10626 (toysat) S 10621 10624 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891133361392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10627/stat : 10627 (toysat) S 10621 10624 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891122871536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/10624/task/10628/stat : 10628 (toysat) S 10621 10624 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121429 1431900160 291332 33554432000 4194304 16246674 140734613211232 139891044248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1398340

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.36
CPU system time (s): 0.707892
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 1398340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.707892
maximum resident set size= 1165328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291164
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= 402
involuntary context switches= 2416

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.63929 second user time and 6.88195 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 22:11:53
IDJOB=4106985
IDBENCH=48353
IDSOLVER=2542
FILE ID=node106/4106985-1466280713
RUNJOBID= node106-1466277111-10297
PBS_JOBID= 19918270
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_4_40.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106985-1466280713/watcher-4106985-1466280713 -o /tmp/evaluation-result-4106985-1466280713/solver-4106985-1466280713 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10297 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106985-1466280713.opb

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

MD5SUM BENCH= 83d1e3d1d0816aba7f8b7eb415a5cecb
RANDOM SEED=1130168172

node106.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		: 2667.073
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	: 5334.14
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		: 2667.073
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		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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		: 2667.073
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.38
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		: 2667.073
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:        31259628 kB
Buffers:          104736 kB
Cached:           200700 kB
SwapCached:         1736 kB
Active:            98464 kB
Inactive:         211568 kB
Active(anon):       3256 kB
Inactive(anon):     3048 kB
Active(file):      95208 kB
Inactive(file):   208520 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             32616 kB
Writeback:             0 kB
AnonPages:        614936 kB
Mapped:             7212 kB
Shmem:                 0 kB
Slab:             613120 kB
SReclaimable:      56944 kB
SUnreclaim:       556176 kB
KernelStack:        1520 kB
PageTables:         4360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     655344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 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= 71668 MiB
End job on node106 at 2016-06-18 22:41:54