Trace number 4078774

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.06 1800.62

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
MD5SUMdab917560b0808668d6327532459772d
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.049992
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables4970
Total number of constraints141
Number of constraints which are clauses71
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint71
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T21:13:51+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-4078774-1465240431.opb"]
0.00/0.01	c use --random-gen="1074236507 572807102 2324494798 3033215629 3769711553 3327229790 125642061 3475038326 436676183 3488599348 489332000 4158830710 3255814725 1679593193 2859096370 3411732089 91001860 1092496623 2270761 1335908634 1588513960 1662431623 2209066023 254667269 2682132635 4036678192 1296484351 3879103784 1169374619 2557293491 1412678907 385288188 3173196052 407898575 2649477160 2320743737 956054344 4170506568 2927603050 95075728 3574396690 1235535941 897218034 2124041724 1061174919 2342267012 248689084 2947654395 1883303163 2858382127 984380964 2126761297 1925966441 2557017212 3020305587 3111910208 1850010752 575252878 783823743 658360755 3751538343 4253112493 2674777258 319042484 2489266295 3963415431 1861454532 2206676185 4246226221 1745147138 2408340703 2648682666 711091781 3787308240 3088758751 261527986 709186779 1179742332 1116543952 687232958 136813404 450650318 14025683 2556217861 3686709937 2100929006 2719995127 3487933608 4245390624 1380354514 3951178748 1531118095 3919214547 725236915 1330897987 2264599452 1986591936 325000246 311730493 2070120449 2281545988 499277749 798251640 1141630696 1247197479 1818295826 3584534038 3744215645 1152859108 3176336253 647324883 2206128338 3339827970 2826576694 3792250576 940555444 3744645650 1931474063 2662836613 177342368 704840415 4242719019 1379466007 338642663 3598904216 2672107283 635443685 3255006507 453994511 1712029823 400263598 3423659394 1573569125 327802109 2250303927 2115669633 2173183992 972410357 3367277212 426534938 3394807244 1767709835 2288963948 1730355751 2293836373 2167008990 2898161401 2840858279 171521049 1981661195 3306990013 3478038074 2631290392 283661180 3766127218 110561695 4040858311 2462708155 1185339381 2202727426 1153259724 1954817390 1355238709 763798009 3408367235 1833248881 2301303821 4275808369 765044118 3190935381 777019655 208038900 401875979 1524452848 1583646459 753248720 2566100681 2347603749 209378033 2812120799 1953927103 2350494275 2495438028 2371132645 3996599646 816927495 1441800343 259632211 126080841 3867115881 1628435454 2848649019 2343289285 205372674 3064698852 1238650861 4225050900 3460143144 4008994768 1725756288 2174912750 3565550462 2717765856 2823130842 2571873228 1786919669 2402059311 2107277159 2041740224 1978700476 3043461185 1684310467 363145890 2528427153 1417409535 1597738251 694936626 3160018322 3450196787 1677631558 903224782 3385267760 2907781211 2030159670 3899770082 584762503 2835263847 3153336316 760193249 4294356781 1255952014 4151914616 2369996651 1065547949 3754294215 3579621487 2385903314 3812023129 2754905852 3958732790 1986708857 732831922 3876400613 821595904 4177322811 1525160940 3966954348 4252706028 397834228 101938484 3399684118 3844526094 3536205134 1832340244 549072429 1592868795 255 362436" option to reproduce the execution
0.00/0.03	c #vars 4970
0.00/0.03	c #constraints 141
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |     1703      0 |        0 |        0
0.09/0.13	c  0.1s |       1 |      187 |      100 |     1703      0 |        0 |        0
0.28/0.35	c  0.3s |       2 |     2312 |      250 |     1874      0 |        0 |        0
0.59/0.63	c  0.6s |       3 |     5104 |      475 |     2062      0 |        0 |        0
1.39/1.44	c  1.4s |       4 |     8098 |      813 |     2269      0 |        0 |        0
2.19/2.22	c  2.2s |       5 |    12222 |     1320 |     2496      0 |        0 |        0
3.30/3.39	c  3.3s |       6 |    15644 |     2081 |     3021      0 |        0 |        0
5.39/5.42	c  5.4s |       7 |    19444 |     3223 |     3324      0 |        0 |        0
7.49/7.58	c  7.5s |       7 |    23741 |     4723 |     3324      0 |        0 |        0
7.89/7.91	c  7.9s |       8 |    23979 |     4936 |     3657      0 |        0 |        0
9.89/9.99	c  9.9s |       8 |    29215 |     6136 |     3657      1 |        0 |        0
12.10/12.15	c 12.1s |       8 |    30188 |     7036 |     3657      1 |        0 |        0
13.20/13.25	c 13.2s |       9 |    30720 |     7506 |     4023      1 |        0 |        0
15.19/15.29	c 15.2s |       9 |    34532 |     8706 |     4023      2 |        0 |        0
17.29/17.30	c 17.2s |       9 |    35408 |     9506 |     4023      2 |        0 |        0
19.29/19.37	c 19.3s |       9 |    36315 |    10306 |     4023      2 |        0 |        0
21.28/21.37	c 21.3s |       9 |    37098 |    11006 |     4023      2 |        0 |        0
22.38/22.48	c 22.4s |      10 |    37504 |    11361 |     4426      2 |        0 |        0
24.49/24.50	c 24.4s |      10 |    41576 |    12261 |     4426      3 |        0 |        0
26.50/26.51	c 26.4s |      10 |    42685 |    13161 |     4426      3 |        0 |        0
28.59/28.64	c 28.6s |      10 |    43624 |    13961 |     4426      3 |        0 |        0
30.58/30.65	c 30.6s |      10 |    44300 |    14561 |     4426      3 |        0 |        0
32.88/32.95	c 32.9s |      10 |    45084 |    15261 |     4426      3 |        0 |        0
35.08/35.16	c 35.1s |      10 |    45798 |    15861 |     4426      3 |        0 |        0
37.08/37.16	c 37.1s |      10 |    46371 |    16361 |     4426      3 |        0 |        0
39.08/39.19	c 39.1s |      10 |    46923 |    16861 |     4426      3 |        0 |        0
39.99/40.03	c 40.0s |      11 |    47279 |    17144 |     4869      3 |        0 |        0
41.99/42.08	c 42.0s |      11 |    50956 |    18044 |     4869      4 |        0 |        0
43.99/44.10	c 44.0s |      11 |    52057 |    18944 |     4869      4 |        0 |        0
46.29/46.36	c 46.3s |      11 |    53079 |    19844 |     4869      4 |        0 |        0
48.28/48.37	c 48.3s |      11 |    54006 |    20644 |     4869      4 |        0 |        0
50.48/50.58	c 50.5s |      11 |    54876 |    21444 |     4869      4 |        0 |        0
52.79/52.84	c 52.8s |      11 |    55643 |    22144 |     4869      4 |        0 |        0
54.99/55.09	c 55.0s |      11 |    56346 |    22744 |     4869      5 |        0 |        0
57.19/57.28	c 57.2s |      11 |    57187 |    23444 |     4869      5 |        0 |        0
59.28/59.37	c 59.3s |      11 |    57984 |    24144 |     4869      5 |        0 |        0
61.59/61.68	c 61.6s |      11 |    58813 |    24844 |     4869      5 |        0 |        0
63.79/63.80	c 63.7s |      11 |    59638 |    25544 |     4869      5 |        0 |        0
64.68/64.79	c 64.7s |      12 |    59960 |    25819 |     5356      5 |        0 |        0
66.78/66.88	c 66.8s |      12 |    63757 |    26719 |     5356      6 |        0 |        0
68.98/69.05	c 69.0s |      12 |    64905 |    27719 |     5356      6 |        0 |        0
71.07/71.13	c 71.1s |      12 |    65819 |    28519 |     5356      6 |        0 |        0
73.28/73.37	c 73.3s |      12 |    66783 |    29319 |     5356      6 |        0 |        0
75.28/75.37	c 75.3s |      12 |    67596 |    30019 |     5356      6 |        0 |        0
77.38/77.47	c 77.4s |      12 |    68374 |    30719 |     5356      6 |        0 |        0
79.68/79.75	c 79.7s |      12 |    69147 |    31419 |     5356      6 |        0 |        0
81.88/81.99	c 81.9s |      12 |    69843 |    32019 |     5356      7 |        0 |        0
84.08/84.15	c 84.1s |      12 |    70534 |    32619 |     5356      7 |        0 |        0
86.37/86.46	c 86.4s |      12 |    71299 |    33219 |     5356      7 |        0 |        0
88.67/88.76	c 88.7s |      12 |    71989 |    33819 |     5356      7 |        0 |        0
90.68/90.77	c 90.7s |      12 |    72540 |    34319 |     5356      7 |        0 |        0
92.88/92.93	c 92.9s |      12 |    73194 |    34919 |     5356      7 |        0 |        0
95.08/95.19	c 95.1s |      12 |    73874 |    35519 |     5356      7 |        0 |        0
97.18/97.22	c 97.2s |      12 |    74433 |    36019 |     5356      7 |        0 |        0
99.17/99.27	c 99.2s |      12 |    74988 |    36519 |     5356      7 |        0 |        0
101.87/101.91	c  101s |      12 |    75535 |    37019 |     5356      8 |        0 |        0
103.98/104.08	c  104s |      12 |    76204 |    37619 |     5356      8 |        0 |        0
106.08/106.15	c  106s |      12 |    76884 |    38219 |     5356      8 |        0 |        0
108.17/108.28	c  108s |      12 |    77587 |    38819 |     5892      8 |        0 |        0
108.27/108.34	c  108s |      13 |    77603 |    38832 |     5892      8 |        0 |        0
110.37/110.41	c  110s |      13 |    80807 |    39432 |     5892      9 |        0 |        0
112.68/112.72	c  112s |      13 |    81761 |    40232 |     5892      9 |        0 |        0
114.87/114.97	c  114s |      13 |    82486 |    40832 |     5892      9 |        0 |        0
116.97/117.05	c  116s |      13 |    83030 |    41332 |     5892      9 |        0 |        0
119.47/119.56	c  119s |      13 |    83705 |    41932 |     5892      9 |        0 |        0
121.57/121.62	c  121s |      13 |    84366 |    42532 |     5892      9 |        0 |        0
123.88/123.93	c  123s |      13 |    85034 |    43132 |     5892      9 |        0 |        0
126.27/126.35	c  126s |      13 |    85709 |    43732 |     5892      9 |        0 |        0
128.37/128.42	c  128s |      13 |    86265 |    44232 |     5892      9 |        0 |        0
130.37/130.45	c  130s |      13 |    86802 |    44732 |     5892      9 |        0 |        0
132.67/132.71	c  132s |      13 |    87342 |    45232 |     5892      9 |        0 |        0
134.87/134.99	c  134s |      13 |    87896 |    45732 |     5892      9 |        0 |        0
137.37/137.41	c  137s |      13 |    88323 |    46132 |     5892     10 |        0 |        0
139.57/139.70	c  139s |      13 |    88930 |    46632 |     5892     10 |        0 |        0
141.87/141.97	c  141s |      13 |    89472 |    47132 |     5892     10 |        0 |        0
144.17/144.22	c  144s |      13 |    90034 |    47632 |     5892     10 |        0 |        0
146.56/146.61	c  146s |      13 |    90608 |    48132 |     5892     10 |        0 |        0
148.58/148.64	c  148s |      13 |    91067 |    48532 |     5892     10 |        0 |        0
150.68/150.77	c  150s |      13 |    91501 |    48932 |     5892     10 |        0 |        0
152.67/152.79	c  152s |      13 |    91944 |    49332 |     5892     10 |        0 |        0
154.77/154.87	c  154s |      13 |    92371 |    49732 |     5892     10 |        0 |        0
156.96/157.04	c  156s |      13 |    92823 |    50132 |     5892     10 |        0 |        0
159.36/159.50	c  159s |      13 |    93393 |    50632 |     5892     10 |        0 |        0
161.77/161.83	c  161s |      13 |    94008 |    51132 |     5892     10 |        0 |        0
164.07/164.17	c  164s |      13 |    94452 |    51532 |     5892     11 |        0 |        0
166.07/166.17	c  166s |      13 |    95019 |    52032 |     5892     11 |        0 |        0
168.27/168.32	c  168s |      13 |    95591 |    52532 |     5892     11 |        0 |        0
170.47/170.58	c  170s |      13 |    96135 |    53032 |     5892     11 |        0 |        0
172.56/172.61	c  172s |      13 |    96581 |    53432 |     5892     11 |        0 |        0
174.56/174.63	c  174s |      13 |    97036 |    53832 |     5892     11 |        0 |        0
176.66/176.79	c  176s |      13 |    97517 |    54232 |     5892     11 |        0 |        0
179.27/179.34	c  179s |      13 |    98064 |    54732 |     5892     11 |        0 |        0
181.37/181.41	c  181s |      13 |    98500 |    55132 |     5892     11 |        0 |        0
183.36/183.43	c  183s |      13 |    98938 |    55532 |     5892     11 |        0 |        0
185.46/185.50	c  185s |      13 |    99394 |    55932 |     5892     11 |        0 |        0
187.66/187.75	c  187s |      13 |    99986 |    56432 |     5892     11 |        0 |        0
189.76/189.81	c  189s |      13 |   100321 |    56732 |     5892     12 |        0 |        0
191.96/192.01	c  191s |      13 |   101018 |    57332 |     5892     12 |        0 |        0
194.06/194.14	c  194s |      13 |   101584 |    57832 |     5892     12 |        0 |        0
196.26/196.33	c  196s |      13 |   102164 |    58332 |     6482     12 |        0 |        0
196.36/196.44	c  196s |      14 |   102181 |    58352 |     6482     12 |        0 |        0
198.46/198.51	c  198s |      14 |   105407 |    59352 |     6482     13 |        0 |        0
200.56/200.69	c  200s |      14 |   106766 |    60552 |     6482     13 |        0 |        0
202.66/202.70	c  202s |      14 |   107810 |    61452 |     6482     13 |        0 |        0
204.67/204.77	c  204s |      14 |   108905 |    62452 |     6482     13 |        0 |        0
206.77/206.81	c  206s |      14 |   109904 |    63352 |     6482     13 |        0 |        0
208.76/208.88	c  208s |      14 |   110774 |    64152 |     6482     13 |        0 |        0
210.86/210.98	c  210s |      14 |   111663 |    64952 |     6482     13 |        0 |        0
213.16/213.25	c  213s |      14 |   112588 |    65752 |     6482     13 |        0 |        0
215.35/215.44	c  215s |      14 |   113140 |    66252 |     6482     14 |        0 |        0
217.35/217.49	c  217s |      14 |   113926 |    66952 |     6482     14 |        0 |        0
219.66/219.71	c  219s |      14 |   114810 |    67752 |     6482     14 |        0 |        0
221.86/221.93	c  221s |      14 |   115679 |    68552 |     6482     14 |        0 |        0
224.16/224.27	c  224s |      14 |   116450 |    69252 |     6482     14 |        0 |        0
226.25/226.30	c  226s |      14 |   117101 |    69852 |     6482     14 |        0 |        0
228.35/228.45	c  228s |      14 |   117766 |    70452 |     6482     14 |        0 |        0
230.55/230.68	c  230s |      14 |   118435 |    71052 |     6482     14 |        0 |        0
232.65/232.75	c  232s |      14 |   119092 |    71652 |     6482     14 |        0 |        0
234.75/234.86	c  234s |      14 |   119746 |    72252 |     6482     15 |        0 |        0
236.86/236.93	c  236s |      14 |   120289 |    72752 |     6482     15 |        0 |        0
239.16/239.26	c  239s |      14 |   121048 |    73452 |     6482     15 |        0 |        0
241.45/241.55	c  241s |      14 |   121847 |    74152 |     6482     15 |        0 |        0
243.55/243.61	c  243s |      14 |   122606 |    74852 |     6482     15 |        0 |        0
245.66/245.75	c  245s |      14 |   123373 |    75552 |     6482     15 |        0 |        0
247.65/247.79	c  247s |      14 |   124015 |    76152 |     6482     15 |        0 |        0
249.95/250.05	c  249s |      14 |   124995 |    76952 |     6482     15 |        0 |        0
252.15/252.27	c  252s |      14 |   125587 |    77452 |     6482     16 |        0 |        0
254.45/254.56	c  254s |      14 |   126629 |    78352 |     6482     16 |        0 |        0
256.55/256.67	c  256s |      14 |   127420 |    79052 |     6482     16 |        0 |        0
258.65/258.78	c  258s |      14 |   128100 |    79652 |     6482     16 |        0 |        0
260.76/260.89	c  260s |      14 |   128798 |    80252 |     6482     16 |        0 |        0
263.05/263.15	c  263s |      14 |   129511 |    80852 |     6482     16 |        0 |        0
265.15/265.28	c  265s |      14 |   130241 |    81452 |     6482     16 |        0 |        0
267.45/267.50	c  267s |      14 |   130939 |    82052 |     6482     16 |        0 |        0
269.75/269.83	c  269s |      14 |   131610 |    82652 |     6482     16 |        0 |        0
271.85/271.99	c  271s |      14 |   132077 |    83052 |     6482     17 |        0 |        0
274.15/274.20	c  274s |      14 |   132863 |    83752 |     6482     17 |        0 |        0
276.24/276.39	c  276s |      14 |   133634 |    84452 |     6482     17 |        0 |        0
278.45/278.55	c  278s |      14 |   134415 |    85152 |     6482     17 |        0 |        0
280.65/280.80	c  280s |      14 |   135224 |    85852 |     6482     17 |        0 |        0
283.05/283.15	c  283s |      14 |   135891 |    86452 |     6482     17 |        0 |        0
285.35/285.49	c  285s |      14 |   136586 |    87052 |     7131     17 |        0 |        0
287.64/287.72	c  287s |      15 |   137228 |    87632 |     7131     17 |        0 |        0
289.64/289.76	c  289s |      15 |   140106 |    88632 |     7131     18 |        0 |        0
291.84/291.90	c  291s |      15 |   141487 |    89832 |     7131     18 |        0 |        0
293.95/294.08	c  294s |      15 |   142728 |    90932 |     7131     18 |        0 |        0
296.14/296.24	c  296s |      15 |   143854 |    91932 |     7131     18 |        0 |        0
298.15/298.25	c  298s |      15 |   144750 |    92732 |     7131     18 |        0 |        0
300.14/300.25	c  300s |      15 |   145654 |    93532 |     7131     18 |        0 |        0
302.64/302.70	c  302s |      15 |   146524 |    94332 |     7131     19 |        0 |        0
304.65/304.72	c  304s |      15 |   147435 |    95132 |     7131     19 |        0 |        0
306.75/306.82	c  306s |      15 |   148221 |    95832 |     7131     19 |        0 |        0
308.95/309.02	c  308s |      15 |   149082 |    96632 |     7131     19 |        0 |        0
311.04/311.14	c  311s |      15 |   149860 |    97332 |     7131     19 |        0 |        0
313.04/313.19	c  313s |      15 |   150610 |    98032 |     7131     19 |        0 |        0
315.14/315.21	c  315s |      15 |   151278 |    98632 |     7131     19 |        0 |        0
317.14/317.28	c  317s |      15 |   151927 |    99232 |     7131     19 |        0 |        0
319.24/319.35	c  319s |      15 |   152584 |    99832 |     7131     19 |        0 |        0
321.25/321.38	c  321s |      15 |   153121 |   100332 |     7131     20 |        0 |        0
323.35/323.48	c  323s |      15 |   153765 |   100932 |     7131     20 |        0 |        0
325.65/325.72	c  325s |      15 |   154761 |   101832 |     7131     20 |        0 |        0
327.85/327.91	c  327s |      15 |   155633 |   102632 |     7131     20 |        0 |        0
329.84/329.93	c  329s |      15 |   156333 |   103232 |     7131     20 |        0 |        0
331.84/331.97	c  331s |      15 |   157036 |   103832 |     7131     20 |        0 |        0
333.84/333.98	c  333s |      15 |   157831 |   104532 |     7131     20 |        0 |        0
336.24/336.32	c  336s |      15 |   158717 |   105332 |     7131     20 |        0 |        0
338.64/338.70	c  338s |      15 |   159412 |   105932 |     7131     20 |        0 |        0
340.74/340.83	c  340s |      15 |   159960 |   106432 |     7131     21 |        0 |        0
342.94/343.07	c  343s |      15 |   160727 |   107132 |     7131     21 |        0 |        0
345.04/345.17	c  345s |      15 |   161499 |   107832 |     7131     21 |        0 |        0
347.13/347.27	c  347s |      15 |   162288 |   108532 |     7131     21 |        0 |        0
349.24/349.36	c  349s |      15 |   163060 |   109232 |     7131     21 |        0 |        0
351.44/351.53	c  351s |      15 |   163824 |   109932 |     7131     21 |        0 |        0
353.53/353.61	c  353s |      15 |   164490 |   110532 |     7131     21 |        0 |        0
355.64/355.76	c  355s |      15 |   165128 |   111132 |     7131     21 |        0 |        0
357.84/357.92	c  357s |      15 |   165674 |   111632 |     7131     21 |        0 |        0
360.13/360.20	c  360s |      15 |   166243 |   112132 |     7131     22 |        0 |        0
362.23/362.31	c  362s |      15 |   167042 |   112832 |     7131     22 |        0 |        0
364.43/364.56	c  364s |      15 |   167813 |   113532 |     7131     22 |        0 |        0
366.54/366.61	c  366s |      15 |   168601 |   114232 |     7131     22 |        0 |        0
368.54/368.67	c  368s |      15 |   169272 |   114832 |     7131     22 |        0 |        0
370.64/370.71	c  370s |      15 |   169933 |   115432 |     7131     22 |        0 |        0
372.64/372.73	c  372s |      15 |   170591 |   116032 |     7131     22 |        0 |        0
374.93/375.03	c  374s |      15 |   171368 |   116732 |     7131     22 |        0 |        0
376.93/377.03	c  376s |      15 |   172058 |   117332 |     7131     22 |        0 |        0
378.93/379.08	c  379s |      15 |   172726 |   117932 |     7131     22 |        0 |        0
381.03/381.19	c  381s |      15 |   173412 |   118532 |     7131     23 |        0 |        0
383.13/383.21	c  383s |      15 |   174188 |   119232 |     7131     23 |        0 |        0
385.33/385.44	c  385s |      15 |   175089 |   120032 |     7131     23 |        0 |        0
387.63/387.72	c  387s |      15 |   175990 |   120832 |     7131     23 |        0 |        0
389.73/389.86	c  389s |      15 |   176750 |   121532 |     7131     23 |        0 |        0
391.83/391.93	c  391s |      15 |   177403 |   122132 |     7131     23 |        0 |        0
393.84/393.97	c  393s |      15 |   178056 |   122732 |     7131     23 |        0 |        0
396.13/396.24	c  396s |      15 |   178838 |   123432 |     7131     23 |        0 |        0
398.83/398.91	c  398s |      15 |   179512 |   124032 |     7131     24 |        0 |        0
400.93/401.01	c  400s |      15 |   180182 |   124632 |     7131     24 |        0 |        0
403.03/403.13	c  403s |      15 |   180751 |   125132 |     7131     24 |        0 |        0
405.13/405.26	c  405s |      15 |   181648 |   125932 |     7131     24 |        0 |        0
407.33/407.46	c  407s |      15 |   182424 |   126632 |     7131     24 |        0 |        0
409.63/409.72	c  409s |      15 |   183198 |   127332 |     7131     24 |        0 |        0
411.63/411.74	c  411s |      15 |   183861 |   127932 |     7131     24 |        0 |        0
413.83/413.97	c  413s |      15 |   184532 |   128532 |     7131     24 |        0 |        0
416.02/416.17	c  416s |      15 |   185197 |   129132 |     7131     24 |        0 |        0
418.32/418.46	c  418s |      15 |   185891 |   129732 |     7131     24 |        0 |        0
420.52/420.63	c  420s |      15 |   186441 |   130232 |     7131     25 |        0 |        0
422.53/422.68	c  422s |      15 |   187228 |   130932 |     7845     25 |        0 |        0
424.43/424.55	c  424s |      16 |   187942 |   131552 |     7845     25 |        0 |        0
426.43/426.56	c  426s |      16 |   190892 |   132552 |     7845     25 |        0 |        0
428.63/428.71	c  428s |      16 |   192090 |   133652 |     7845     25 |        0 |        0
430.73/430.88	c  430s |      16 |   193222 |   134652 |     7845     25 |        0 |        0
432.92/433.04	c  432s |      16 |   194364 |   135652 |     7845     25 |        0 |        0
435.53/435.67	c  435s |      16 |   195351 |   136552 |     7845     26 |        0 |        0
437.73/437.82	c  437s |      16 |   196305 |   137352 |     7845     26 |        0 |        0
439.73/439.88	c  439s |      16 |   197098 |   138052 |     7845     26 |        0 |        0
441.82/441.95	c  441s |      16 |   197888 |   138752 |     7845     26 |        0 |        0
444.12/444.25	c  444s |      16 |   198681 |   139452 |     7845     26 |        0 |        0
446.22/446.36	c  446s |      16 |   199339 |   140052 |     7845     26 |        0 |        0
448.53/448.64	c  448s |      16 |   200000 |   140652 |     7845     26 |        0 |        0
450.52/450.65	c  450s |      16 |   200537 |   141152 |     7845     26 |        0 |        0
452.52/452.66	c  452s |      16 |   201074 |   141652 |     7845     26 |        0 |        0
454.52/454.67	c  454s |      16 |   201630 |   142152 |     7845     26 |        0 |        0
456.72/456.88	c  456s |      16 |   202164 |   142652 |     7845     26 |        0 |        0
458.82/458.91	c  458s |      16 |   202599 |   143052 |     7845     27 |        0 |        0
460.93/461.05	c  460s |      16 |   203271 |   143652 |     7845     27 |        0 |        0
462.92/463.06	c  463s |      16 |   204084 |   144352 |     7845     27 |        0 |        0
465.23/465.35	c  465s |      16 |   204961 |   145152 |     7845     27 |        0 |        0
467.42/467.53	c  467s |      16 |   205734 |   145852 |     7845     27 |        0 |        0
469.72/469.82	c  469s |      16 |   206532 |   146552 |     7845     27 |        0 |        0
471.83/471.98	c  471s |      16 |   207217 |   147152 |     7845     27 |        0 |        0
474.22/474.34	c  474s |      16 |   207904 |   147752 |     7845     27 |        0 |        0
476.52/476.61	c  476s |      16 |   208570 |   148352 |     7845     27 |        0 |        0
478.52/478.64	c  478s |      16 |   209102 |   148852 |     7845     27 |        0 |        0
480.62/480.74	c  480s |      16 |   209545 |   149252 |     7845     28 |        0 |        0
482.83/482.96	c  482s |      16 |   210298 |   149952 |     7845     28 |        0 |        0
484.92/485.06	c  485s |      16 |   211056 |   150652 |     7845     28 |        0 |        0
487.02/487.18	c  487s |      16 |   211701 |   151252 |     7845     28 |        0 |        0
489.02/489.18	c  489s |      16 |   212334 |   151852 |     7845     28 |        0 |        0
491.32/491.41	c  491s |      16 |   213001 |   152452 |     7845     28 |        0 |        0
493.31/493.47	c  493s |      16 |   213672 |   153052 |     7845     28 |        0 |        0
495.51/495.60	c  495s |      16 |   214310 |   153652 |     7845     28 |        0 |        0
497.61/497.75	c  497s |      16 |   214954 |   154252 |     7845     28 |        0 |        0
499.92/500.04	c  499s |      16 |   215615 |   154852 |     7845     28 |        0 |        0
502.11/502.26	c  502s |      16 |   216252 |   155452 |     7845     28 |        0 |        0
504.21/504.30	c  504s |      16 |   216805 |   155952 |     7845     29 |        0 |        0
506.42/506.56	c  506s |      16 |   217556 |   156652 |     7845     29 |        0 |        0
508.51/508.67	c  508s |      16 |   218226 |   157252 |     7845     29 |        0 |        0
510.81/510.91	c  510s |      16 |   219013 |   157952 |     7845     29 |        0 |        0
513.01/513.18	c  513s |      16 |   219922 |   158752 |     7845     29 |        0 |        0
515.31/515.41	c  515s |      16 |   220677 |   159452 |     7845     29 |        0 |        0
517.61/517.70	c  517s |      16 |   221423 |   160152 |     7845     29 |        0 |        0
519.72/519.85	c  519s |      16 |   222112 |   160752 |     7845     29 |        0 |        0
521.91/522.03	c  521s |      16 |   222762 |   161352 |     7845     29 |        0 |        0
524.11/524.29	c  524s |      16 |   223305 |   161852 |     7845     30 |        0 |        0
526.41/526.55	c  526s |      16 |   224085 |   162552 |     7845     30 |        0 |        0
528.51/528.61	c  528s |      16 |   224741 |   163152 |     7845     30 |        0 |        0
530.71/530.88	c  530s |      16 |   225392 |   163752 |     7845     30 |        0 |        0
533.01/533.15	c  533s |      16 |   226210 |   164452 |     7845     30 |        0 |        0
535.31/535.48	c  535s |      16 |   227014 |   165152 |     7845     30 |        0 |        0
537.41/537.58	c  537s |      16 |   227665 |   165752 |     7845     30 |        0 |        0
539.71/539.85	c  539s |      16 |   228333 |   166352 |     7845     30 |        0 |        0
541.91/542.02	c  541s |      16 |   229018 |   166952 |     7845     30 |        0 |        0
544.20/544.33	c  544s |      16 |   229707 |   167552 |     7845     30 |        0 |        0
546.80/546.90	c  546s |      16 |   230280 |   168052 |     7845     31 |        0 |        0
548.82/548.91	c  548s |      16 |   231048 |   168652 |     7845     31 |        0 |        0
551.01/551.18	c  551s |      16 |   231870 |   169352 |     7845     31 |        0 |        0
553.11/553.22	c  553s |      16 |   232544 |   169952 |     7845     31 |        0 |        0
555.30/555.43	c  555s |      16 |   233223 |   170552 |     7845     31 |        0 |        0
557.61/557.76	c  557s |      16 |   233904 |   171152 |     7845     31 |        0 |        0
559.61/559.78	c  559s |      16 |   234436 |   171652 |     7845     31 |        0 |        0
561.61/561.79	c  561s |      16 |   235097 |   172152 |     7845     31 |        0 |        0
564.00/564.13	c  564s |      16 |   235837 |   172752 |     7845     31 |        0 |        0
566.30/566.43	c  566s |      16 |   236502 |   173352 |     7845     31 |        0 |        0
568.40/568.52	c  568s |      16 |   237037 |   173852 |     7845     31 |        0 |        0
570.50/570.63	c  570s |      16 |   237495 |   174252 |     7845     32 |        0 |        0
572.71/572.83	c  572s |      16 |   238276 |   174952 |     7845     32 |        0 |        0
574.80/574.98	c  574s |      16 |   238966 |   175552 |     7845     32 |        0 |        0
577.00/577.16	c  577s |      16 |   239611 |   176152 |     7845     32 |        0 |        0
579.11/579.29	c  579s |      16 |   240280 |   176752 |     7845     32 |        0 |        0
581.30/581.49	c  581s |      16 |   241105 |   177452 |     7845     32 |        0 |        0
583.60/583.75	c  583s |      16 |   241777 |   178052 |     7845     32 |        0 |        0
586.00/586.15	c  586s |      16 |   242443 |   178652 |     7845     32 |        0 |        0
588.20/588.34	c  588s |      16 |   243024 |   179152 |     7845     32 |        0 |        0
590.61/590.75	c  590s |      16 |   243730 |   179752 |     7845     32 |        0 |        0
592.70/592.88	c  592s |      16 |   244275 |   180252 |     7845     32 |        0 |        0
594.90/595.07	c  595s |      16 |   244721 |   180652 |     7845     33 |        0 |        0
597.00/597.17	c  597s |      16 |   245369 |   181252 |     7845     33 |        0 |        0
599.20/599.34	c  599s |      16 |   246010 |   181852 |     7845     33 |        0 |        0
601.50/601.70	c  601s |      16 |   246660 |   182452 |     7845     33 |        0 |        0
603.70/603.90	c  603s |      16 |   247233 |   182952 |     7845     33 |        0 |        0
605.90/606.10	c  606s |      16 |   247894 |   183552 |     7845     33 |        0 |        0
608.30/608.41	c  608s |      16 |   248548 |   184152 |     7845     33 |        0 |        0
610.41/610.54	c  610s |      16 |   249076 |   184652 |     7845     33 |        0 |        0
612.50/612.65	c  612s |      16 |   249617 |   185152 |     7845     33 |        0 |        0
614.80/614.99	c  614s |      16 |   250161 |   185652 |     7845     33 |        0 |        0
617.19/617.30	c  617s |      16 |   250709 |   186152 |     7845     33 |        0 |        0
619.60/619.78	c  619s |      16 |   251245 |   186652 |     7845     33 |        0 |        0
621.70/621.83	c  621s |      16 |   251571 |   186952 |     7845     34 |        0 |        0
623.79/623.94	c  623s |      16 |   252239 |   187552 |     7845     34 |        0 |        0
625.99/626.13	c  626s |      16 |   253271 |   188452 |     7845     34 |        0 |        0
628.20/628.33	c  628s |      16 |   254228 |   189252 |     7845     34 |        0 |        0
630.20/630.36	c  630s |      16 |   255038 |   189952 |     7845     34 |        0 |        0
632.29/632.48	c  632s |      16 |   255822 |   190652 |     7845     34 |        0 |        0
634.40/634.50	c  634s |      16 |   256641 |   191352 |     7845     34 |        0 |        0
636.50/636.60	c  636s |      16 |   257421 |   192052 |     7845     34 |        0 |        0
638.70/638.88	c  638s |      16 |   258205 |   192752 |     7845     34 |        0 |        0
640.79/640.91	c  640s |      16 |   258777 |   193252 |     7845     35 |        0 |        0
642.79/642.95	c  642s |      16 |   259677 |   194052 |     7845     35 |        0 |        0
644.99/645.19	c  645s |      16 |   260606 |   194852 |     7845     35 |        0 |        0
647.29/647.41	c  647s |      16 |   261512 |   195652 |     7845     35 |        0 |        0
649.49/649.62	c  649s |      16 |   262315 |   196352 |     8630     35 |        0 |        0
651.59/651.74	c  651s |      16 |   263098 |   197052 |     8630     35 |        0 |        0
652.79/652.93	c  652s |      17 |   263509 |   197432 |     8630     35 |        0 |        0
654.89/655.02	c  654s |      17 |   266629 |   198632 |     8630     36 |        0 |        0
656.99/657.11	c  657s |      17 |   268176 |   200032 |     8630     36 |        0 |        0
658.99/659.19	c  659s |      17 |   269485 |   201232 |     8630     36 |        0 |        0
661.10/661.28	c  661s |      17 |   270684 |   202332 |     8630     36 |        0 |        0
663.20/663.39	c  663s |      17 |   271787 |   203332 |     8630     36 |        0 |        0
665.29/665.45	c  665s |      17 |   272813 |   204232 |     8630     36 |        0 |        0
667.39/667.53	c  667s |      17 |   273813 |   205132 |     8630     36 |        0 |        0
669.48/669.69	c  669s |      17 |   274571 |   205832 |     8630     37 |        0 |        0
671.69/671.86	c  671s |      17 |   275566 |   206732 |     8630     37 |        0 |        0
673.79/673.91	c  673s |      17 |   276472 |   207532 |     8630     37 |        0 |        0
675.89/676.05	c  675s |      17 |   277366 |   208332 |     8630     37 |        0 |        0
677.99/678.19	c  678s |      17 |   278123 |   209032 |     8630     37 |        0 |        0
680.09/680.25	c  680s |      17 |   278797 |   209632 |     8630     37 |        0 |        0
682.19/682.37	c  682s |      17 |   279463 |   210232 |     8630     37 |        0 |        0
684.29/684.49	c  684s |      17 |   280121 |   210832 |     8630     37 |        0 |        0
686.39/686.55	c  686s |      17 |   280780 |   211432 |     8630     37 |        0 |        0
688.49/688.61	c  688s |      17 |   281439 |   212032 |     8630     37 |        0 |        0
690.48/690.67	c  690s |      17 |   281892 |   212432 |     8630     38 |        0 |        0
692.68/692.88	c  692s |      17 |   282881 |   213332 |     8630     38 |        0 |        0
694.68/694.90	c  694s |      17 |   283759 |   214132 |     8630     38 |        0 |        0
696.98/697.13	c  697s |      17 |   284633 |   214932 |     8630     38 |        0 |        0
699.29/699.40	c  699s |      17 |   285514 |   215732 |     8630     38 |        0 |        0
701.29/701.42	c  701s |      17 |   286263 |   216432 |     8630     38 |        0 |        0
703.48/703.66	c  703s |      17 |   287119 |   217232 |     8630     38 |        0 |        0
705.68/705.84	c  705s |      17 |   287988 |   218032 |     8630     38 |        0 |        0
707.88/708.01	c  707s |      17 |   288734 |   218732 |     8630     38 |        0 |        0
709.98/710.17	c  710s |      17 |   289282 |   219232 |     8630     39 |        0 |        0
712.08/712.28	c  712s |      17 |   290265 |   220132 |     8630     39 |        0 |        0
714.18/714.34	c  714s |      17 |   291232 |   221032 |     8630     39 |        0 |        0
716.68/716.81	c  716s |      17 |   292105 |   221832 |     8630     39 |        0 |        0
718.78/718.99	c  718s |      17 |   292856 |   222532 |     8630     39 |        0 |        0
720.98/721.16	c  721s |      17 |   293712 |   223332 |     8630     39 |        0 |        0
723.17/723.38	c  723s |      17 |   294600 |   224132 |     8630     39 |        0 |        0
725.27/725.46	c  725s |      17 |   295340 |   224832 |     8630     39 |        0 |        0
728.77/728.99	c  728s |      17 |   296103 |   225532 |     8630     40 |        0 |        0
730.87/731.00	c  730s |      17 |   297076 |   226432 |     8630     40 |        0 |        0
732.97/733.12	c  733s |      17 |   298044 |   227332 |     8630     40 |        0 |        0
735.07/735.25	c  735s |      17 |   298818 |   228032 |     8630     40 |        0 |        0
737.37/737.56	c  737s |      17 |   299689 |   228832 |     8630     40 |        0 |        0
739.66/739.85	c  739s |      17 |   300439 |   229532 |     8630     40 |        0 |        0
741.76/741.94	c  741s |      17 |   301213 |   230232 |     8630     40 |        0 |        0
743.97/744.19	c  744s |      17 |   302132 |   231032 |     8630     40 |        0 |        0
746.16/746.30	c  746s |      17 |   302917 |   231732 |     8630     40 |        0 |        0
748.26/748.48	c  748s |      17 |   303586 |   232332 |     8630     41 |        0 |        0
750.46/750.68	c  750s |      17 |   304609 |   233232 |     8630     41 |        0 |        0
752.55/752.77	c  752s |      17 |   305474 |   234032 |     8630     41 |        0 |        0
754.75/754.91	c  754s |      17 |   306239 |   234732 |     8630     41 |        0 |        0
756.86/757.04	c  756s |      17 |   306996 |   235432 |     8630     41 |        0 |        0
758.86/759.07	c  759s |      17 |   307655 |   236032 |     8630     41 |        0 |        0
761.16/761.31	c  761s |      17 |   308577 |   236832 |     8630     41 |        0 |        0
763.15/763.39	c  763s |      17 |   309380 |   237532 |     8630     41 |        0 |        0
765.35/765.54	c  765s |      17 |   310149 |   238232 |     8630     41 |        0 |        0
767.85/768.09	c  768s |      17 |   310942 |   238932 |     8630     42 |        0 |        0
769.95/770.14	c  770s |      17 |   311808 |   239732 |     8630     42 |        0 |        0
772.05/772.26	c  772s |      17 |   312703 |   240532 |     8630     42 |        0 |        0
774.35/774.51	c  774s |      17 |   313600 |   241332 |     8630     42 |        0 |        0
776.45/776.67	c  776s |      17 |   314282 |   241932 |     8630     42 |        0 |        0
778.65/778.85	c  778s |      17 |   315352 |   242832 |     8630     42 |        0 |        0
780.64/780.90	c  780s |      17 |   316229 |   243632 |     8630     42 |        0 |        0
782.74/782.97	c  782s |      17 |   317110 |   244432 |     8630     42 |        0 |        0
784.85/785.05	c  784s |      17 |   317869 |   245132 |     8630     42 |        0 |        0
787.04/787.22	c  787s |      17 |   318554 |   245732 |     8630     43 |        0 |        0
789.04/789.27	c  789s |      17 |   319691 |   246732 |     8630     43 |        0 |        0
791.34/791.51	c  791s |      17 |   320684 |   247632 |     8630     43 |        0 |        0
793.73/793.93	c  793s |      17 |   321450 |   248332 |     8630     43 |        0 |        0
795.73/795.98	c  795s |      17 |   322314 |   249132 |     8630     43 |        0 |        0
797.74/797.98	c  797s |      17 |   323103 |   249832 |     8630     43 |        0 |        0
799.94/800.11	c  800s |      17 |   323849 |   250532 |     8630     43 |        0 |        0
802.14/802.33	c  802s |      17 |   324591 |   251232 |     8630     43 |        0 |        0
804.33/804.51	c  804s |      17 |   325327 |   251932 |     8630     43 |        0 |        0
806.43/806.61	c  806s |      17 |   326015 |   252532 |     8630     44 |        0 |        0
808.44/808.66	c  808s |      17 |   326890 |   253332 |     8630     44 |        0 |        0
810.53/810.71	c  810s |      17 |   327665 |   254032 |     8630     44 |        0 |        0
812.73/812.92	c  812s |      17 |   328547 |   254832 |     8630     44 |        0 |        0
814.83/815.06	c  815s |      17 |   329352 |   255532 |     8630     44 |        0 |        0
816.93/817.14	c  817s |      17 |   330025 |   256132 |     8630     44 |        0 |        0
819.12/819.32	c  819s |      17 |   330698 |   256732 |     8630     44 |        0 |        0
821.32/821.58	c  821s |      17 |   331460 |   257432 |     8630     44 |        0 |        0
823.62/823.88	c  823s |      17 |   332117 |   258032 |     8630     44 |        0 |        0
825.82/826.02	c  825s |      17 |   332787 |   258632 |     8630     44 |        0 |        0
827.92/828.14	c  828s |      17 |   333206 |   259032 |     8630     45 |        0 |        0
830.02/830.29	c  830s |      17 |   333871 |   259632 |     8630     45 |        0 |        0
832.31/832.51	c  832s |      17 |   334628 |   260332 |     8630     45 |        0 |        0
834.51/834.78	c  834s |      17 |   335395 |   261032 |     8630     45 |        0 |        0
836.82/837.08	c  837s |      17 |   336154 |   261732 |     8630     45 |        0 |        0
839.02/839.27	c  839s |      17 |   336801 |   262332 |     8630     45 |        0 |        0
841.32/841.57	c  841s |      17 |   337442 |   262932 |     8630     45 |        0 |        0
843.71/843.94	c  843s |      17 |   338114 |   263532 |     8630     45 |        0 |        0
846.11/846.31	c  846s |      17 |   338755 |   264132 |     8630     45 |        0 |        0
848.40/848.68	c  848s |      17 |   339422 |   264732 |     8630     45 |        0 |        0
851.01/851.28	c  851s |      17 |   340076 |   265332 |     8630     45 |        0 |        0
853.11/853.38	c  853s |      17 |   340654 |   265832 |     8630     46 |        0 |        0
855.20/855.45	c  855s |      17 |   341434 |   266532 |     8630     46 |        0 |        0
857.50/857.72	c  857s |      17 |   342209 |   267232 |     8630     46 |        0 |        0
859.60/859.85	c  859s |      17 |   343000 |   267932 |     8630     46 |        0 |        0
861.90/862.17	c  862s |      17 |   343743 |   268632 |     8630     46 |        0 |        0
863.99/864.27	c  864s |      17 |   344408 |   269232 |     8630     46 |        0 |        0
866.09/866.34	c  866s |      17 |   345173 |   269932 |     8630     46 |        0 |        0
868.19/868.46	c  868s |      17 |   345967 |   270632 |     8630     46 |        0 |        0
870.19/870.49	c  870s |      17 |   346798 |   271332 |     8630     46 |        0 |        0
872.30/872.57	c  872s |      17 |   347637 |   272032 |     8630     46 |        0 |        0
874.40/874.67	c  874s |      17 |   348320 |   272632 |     8630     47 |        0 |        0
876.60/876.83	c  876s |      17 |   349220 |   273432 |     8630     47 |        0 |        0
878.59/878.90	c  878s |      17 |   349964 |   274132 |     8630     47 |        0 |        0
880.89/881.15	c  881s |      17 |   350741 |   274832 |     8630     47 |        0 |        0
882.99/883.29	c  883s |      17 |   351385 |   275432 |     8630     47 |        0 |        0
885.08/885.36	c  885s |      17 |   352144 |   276132 |     8630     47 |        0 |        0
887.49/887.72	c  887s |      17 |   352930 |   276832 |     8630     47 |        0 |        0
889.88/890.11	c  890s |      17 |   353589 |   277432 |     8630     47 |        0 |        0
891.89/892.17	c  892s |      17 |   354251 |   278032 |     8630     47 |        0 |        0
893.98/894.26	c  894s |      17 |   354897 |   278632 |     8630     47 |        0 |        0
896.28/896.55	c  896s |      17 |   355448 |   279132 |     8630     48 |        0 |        0
898.27/898.60	c  898s |      17 |   356088 |   279732 |     8630     48 |        0 |        0
900.47/900.70	c  900s |      17 |   356729 |   280332 |     8630     48 |        0 |        0
902.57/902.83	c  902s |      17 |   357366 |   280932 |     8630     48 |        0 |        0
904.57/904.87	c  904s |      17 |   357907 |   281432 |     8630     48 |        0 |        0
906.87/907.13	c  907s |      17 |   358873 |   282232 |     8630     48 |        0 |        0
908.87/909.14	c  909s |      17 |   359640 |   282932 |     8630     48 |        0 |        0
911.17/911.42	c  911s |      17 |   360400 |   283632 |     8630     48 |        0 |        0
913.37/913.69	c  913s |      17 |   361167 |   284332 |     8630     48 |        0 |        0
915.77/916.01	c  915s |      17 |   361949 |   285032 |     8630     48 |        0 |        0
917.86/918.18	c  918s |      17 |   362482 |   285532 |     8630     49 |        0 |        0
920.06/920.40	c  920s |      17 |   363270 |   286232 |     8630     49 |        0 |        0
922.16/922.46	c  922s |      17 |   364022 |   286932 |     8630     49 |        0 |        0
924.46/924.73	c  924s |      17 |   364768 |   287632 |     8630     49 |        0 |        0
926.56/926.89	c  926s |      17 |   365540 |   288332 |     8630     49 |        0 |        0
928.96/929.23	c  929s |      17 |   366100 |   288832 |     8630     49 |        0 |        0
931.16/931.43	c  931s |      17 |   367118 |   289732 |     8630     49 |        0 |        0
933.15/933.47	c  933s |      17 |   368036 |   290532 |     8630     49 |        0 |        0
935.35/935.62	c  935s |      17 |   368941 |   291332 |     8630     49 |        0 |        0
937.35/937.67	c  937s |      17 |   369732 |   292032 |     8630     49 |        0 |        0
939.55/939.83	c  939s |      17 |   370444 |   292632 |     8630     50 |        0 |        0
941.55/941.87	c  941s |      17 |   371339 |   293432 |     8630     50 |        0 |        0
943.65/943.94	c  943s |      17 |   372113 |   294132 |     8630     50 |        0 |        0
945.76/946.01	c  945s |      17 |   372902 |   294832 |     9493     50 |        0 |        0
947.85/948.19	c  948s |      17 |   373779 |   295632 |     9493     50 |        0 |        0
949.65/949.97	c  949s |      18 |   374471 |   296252 |     9493     50 |        0 |        0
951.75/952.09	c  952s |      18 |   377361 |   297152 |     9493     51 |        0 |        0
953.74/954.09	c  954s |      18 |   378978 |   298552 |     9493     51 |        0 |        0
955.85/956.19	c  956s |      18 |   380369 |   299752 |     9493     51 |        0 |        0
958.05/958.31	c  958s |      18 |   381366 |   300652 |     9493     51 |        0 |        0
960.05/960.38	c  960s |      18 |   382509 |   301652 |     9493     51 |        0 |        0
962.25/962.53	c  962s |      18 |   383513 |   302552 |     9493     51 |        0 |        0
964.34/964.65	c  964s |      18 |   384431 |   303352 |     9493     51 |        0 |        0
966.54/966.82	c  966s |      18 |   385344 |   304152 |     9493     51 |        0 |        0
968.73/969.03	c  968s |      18 |   386216 |   304952 |     9493     51 |        0 |        0
970.93/971.24	c  971s |      18 |   387010 |   305652 |     9493     52 |        0 |        0
972.93/973.26	c  973s |      18 |   387799 |   306352 |     9493     52 |        0 |        0
975.04/975.30	c  975s |      18 |   388580 |   307052 |     9493     52 |        0 |        0
977.14/977.42	c  977s |      18 |   389347 |   307752 |     9493     52 |        0 |        0
979.14/979.48	c  979s |      18 |   390120 |   308452 |     9493     52 |        0 |        0
981.33/981.62	c  981s |      18 |   390894 |   309152 |     9493     52 |        0 |        0
983.33/983.68	c  983s |      18 |   391536 |   309752 |     9493     52 |        0 |        0
985.43/985.79	c  985s |      18 |   392207 |   310352 |     9493     52 |        0 |        0
987.63/987.93	c  987s |      18 |   392881 |   310952 |     9493     52 |        0 |        0
989.93/990.29	c  990s |      18 |   393421 |   311452 |     9493     52 |        0 |        0
991.94/992.29	c  992s |      18 |   394001 |   311952 |     9493     52 |        0 |        0
994.23/994.52	c  994s |      18 |   394569 |   312452 |     9493     53 |        0 |        0
996.33/996.70	c  996s |      18 |   395495 |   313252 |     9493     53 |        0 |        0
998.53/998.90	c  998s |      18 |   396259 |   313952 |     9493     53 |        0 |        0
1000.62/1000.97	c 1000s |      18 |   396916 |   314552 |     9493     53 |        0 |        0
1002.61/1002.98	c 1002s |      18 |   397714 |   315252 |     9493     53 |        0 |        0
1004.91/1005.22	c 1005s |      18 |   398603 |   316052 |     9493     53 |        0 |        0
1007.11/1007.43	c 1007s |      18 |   399398 |   316752 |     9493     53 |        0 |        0
1009.42/1009.76	c 1009s |      18 |   400203 |   317452 |     9493     53 |        0 |        0
1011.42/1011.78	c 1011s |      18 |   400895 |   318052 |     9493     53 |        0 |        0
1013.51/1013.83	c 1013s |      18 |   401485 |   318552 |     9493     53 |        0 |        0
1015.61/1015.94	c 1015s |      18 |   402056 |   319052 |     9493     53 |        0 |        0
1017.71/1018.03	c 1017s |      18 |   402533 |   319452 |     9493     54 |        0 |        0
1019.81/1020.13	c 1020s |      18 |   403386 |   320152 |     9493     54 |        0 |        0
1021.81/1022.13	c 1022s |      18 |   404070 |   320752 |     9493     54 |        0 |        0
1024.01/1024.35	c 1024s |      18 |   404886 |   321452 |     9493     54 |        0 |        0
1026.31/1026.62	c 1026s |      18 |   405713 |   322152 |     9493     54 |        0 |        0
1028.41/1028.71	c 1028s |      18 |   406392 |   322752 |     9493     54 |        0 |        0
1030.41/1030.77	c 1030s |      18 |   407064 |   323352 |     9493     54 |        0 |        0
1032.71/1033.02	c 1032s |      18 |   407750 |   323952 |     9493     54 |        0 |        0
1034.81/1035.17	c 1035s |      18 |   408530 |   324652 |     9493     54 |        0 |        0
1036.90/1037.28	c 1037s |      18 |   409326 |   325352 |     9493     54 |        0 |        0
1039.22/1039.56	c 1039s |      18 |   410137 |   326052 |     9493     54 |        0 |        0
1041.31/1041.63	c 1041s |      18 |   410685 |   326552 |     9493     55 |        0 |        0
1043.90/1044.28	c 1044s |      18 |   411468 |   327252 |     9493     55 |        0 |        0
1046.20/1046.50	c 1046s |      18 |   412381 |   328052 |     9493     55 |        0 |        0
1048.40/1048.73	c 1048s |      18 |   413156 |   328752 |     9493     55 |        0 |        0
1050.60/1050.93	c 1050s |      18 |   413926 |   329452 |     9493     55 |        0 |        0
1052.70/1053.03	c 1052s |      18 |   414586 |   330052 |     9493     55 |        0 |        0
1054.79/1055.17	c 1055s |      18 |   415248 |   330652 |     9493     55 |        0 |        0
1056.90/1057.29	c 1057s |      18 |   415908 |   331252 |     9493     55 |        0 |        0
1059.10/1059.46	c 1059s |      18 |   416561 |   331852 |     9493     55 |        0 |        0
1061.49/1061.83	c 1061s |      18 |   417205 |   332452 |     9493     55 |        0 |        0
1063.49/1063.89	c 1063s |      18 |   417775 |   332952 |     9493     55 |        0 |        0
1065.79/1066.13	c 1066s |      18 |   418306 |   333452 |     9493     56 |        0 |        0
1067.90/1068.28	c 1068s |      18 |   418913 |   333952 |     9493     56 |        0 |        0
1070.10/1070.49	c 1070s |      18 |   419822 |   334752 |     9493     56 |        0 |        0
1072.20/1072.56	c 1072s |      18 |   420610 |   335452 |     9493     56 |        0 |        0
1074.49/1074.81	c 1074s |      18 |   421399 |   336152 |     9493     56 |        0 |        0
1076.69/1077.09	c 1077s |      18 |   422328 |   336952 |     9493     56 |        0 |        0
1078.89/1079.24	c 1079s |      18 |   423115 |   337652 |     9493     56 |        0 |        0
1081.09/1081.50	c 1081s |      18 |   423875 |   338352 |     9493     56 |        0 |        0
1083.28/1083.60	c 1083s |      18 |   424554 |   338952 |     9493     56 |        0 |        0
1085.49/1085.82	c 1085s |      18 |   425358 |   339652 |     9493     56 |        0 |        0
1087.48/1087.90	c 1087s |      18 |   426185 |   340352 |     9493     56 |        0 |        0
1089.67/1090.05	c 1089s |      18 |   426740 |   340852 |     9493     57 |        0 |        0
1091.77/1092.16	c 1092s |      18 |   427532 |   341552 |     9493     57 |        0 |        0
1093.98/1094.36	c 1094s |      18 |   428300 |   342252 |     9493     57 |        0 |        0
1096.28/1096.63	c 1096s |      18 |   428981 |   342852 |     9493     57 |        0 |        0
1098.47/1098.88	c 1098s |      18 |   429770 |   343552 |     9493     57 |        0 |        0
1100.67/1101.04	c 1100s |      18 |   430425 |   344152 |     9493     57 |        0 |        0
1102.67/1103.09	c 1103s |      18 |   431091 |   344752 |     9493     57 |        0 |        0
1104.86/1105.23	c 1105s |      18 |   431757 |   345352 |     9493     57 |        0 |        0
1107.06/1107.45	c 1107s |      18 |   432668 |   346152 |     9493     57 |        0 |        0
1109.27/1109.64	c 1109s |      18 |   433465 |   346852 |     9493     57 |        0 |        0
1111.27/1111.67	c 1111s |      18 |   434168 |   347452 |     9493     57 |        0 |        0
1113.46/1113.88	c 1113s |      18 |   434839 |   348052 |     9493     58 |        0 |        0
1115.76/1116.13	c 1116s |      18 |   435847 |   348952 |     9493     58 |        0 |        0
1117.76/1118.18	c 1118s |      18 |   436656 |   349652 |     9493     58 |        0 |        0
1120.05/1120.49	c 1120s |      18 |   437565 |   350452 |     9493     58 |        0 |        0
1122.45/1122.84	c 1122s |      18 |   438351 |   351152 |     9493     58 |        0 |        0
1124.65/1125.01	c 1124s |      18 |   439123 |   351852 |     9493     58 |        0 |        0
1126.75/1127.13	c 1127s |      18 |   439690 |   352352 |     9493     58 |        0 |        0
1128.86/1129.25	c 1129s |      18 |   440466 |   353052 |     9493     58 |        0 |        0
1130.95/1131.39	c 1131s |      18 |   441123 |   353652 |     9493     58 |        0 |        0
1133.05/1133.43	c 1133s |      18 |   441806 |   354252 |     9493     58 |        0 |        0
1135.25/1135.68	c 1135s |      18 |   442387 |   354752 |     9493     59 |        0 |        0
1137.35/1137.79	c 1137s |      18 |   443171 |   355452 |     9493     59 |        0 |        0
1139.44/1139.88	c 1139s |      18 |   443976 |   356152 |     9493     59 |        0 |        0
1141.55/1141.93	c 1141s |      18 |   444665 |   356752 |     9493     59 |        0 |        0
1143.75/1144.11	c 1144s |      18 |   445563 |   357552 |     9493     59 |        0 |        0
1146.04/1146.45	c 1146s |      18 |   446507 |   358352 |     9493     59 |        0 |        0
1148.34/1148.72	c 1148s |      18 |   447284 |   359052 |     9493     59 |        0 |        0
1150.35/1150.72	c 1150s |      18 |   447957 |   359652 |     9493     59 |        0 |        0
1152.63/1153.05	c 1152s |      18 |   448754 |   360352 |     9493     59 |        0 |        0
1154.64/1155.06	c 1154s |      18 |   449423 |   360952 |     9493     59 |        0 |        0
1157.03/1157.41	c 1157s |      18 |   450096 |   361552 |     9493     59 |        0 |        0
1159.14/1159.56	c 1159s |      18 |   450437 |   361852 |     9493     60 |        0 |        0
1161.34/1161.72	c 1161s |      18 |   451457 |   362752 |     9493     60 |        0 |        0
1163.43/1163.84	c 1163s |      18 |   452234 |   363452 |     9493     60 |        0 |        0
1165.52/1165.92	c 1165s |      18 |   453035 |   364152 |     9493     60 |        0 |        0
1167.52/1167.97	c 1167s |      18 |   453814 |   364852 |     9493     60 |        0 |        0
1169.63/1170.07	c 1170s |      18 |   454584 |   365552 |     9493     60 |        0 |        0
1172.03/1172.41	c 1172s |      18 |   455361 |   366252 |     9493     60 |        0 |        0
1174.02/1174.42	c 1174s |      18 |   456025 |   366852 |     9493     60 |        0 |        0
1176.02/1176.47	c 1176s |      18 |   456670 |   367452 |     9493     60 |        0 |        0
1178.32/1178.74	c 1178s |      18 |   457322 |   368052 |     9493     60 |        0 |        0
1180.62/1181.00	c 1180s |      18 |   457980 |   368652 |     9493     60 |        0 |        0
1182.62/1183.07	c 1183s |      18 |   458420 |   369052 |     9493     61 |        0 |        0
1184.72/1185.13	c 1185s |      18 |   458859 |   369452 |     9493     61 |        0 |        0
1186.82/1187.27	c 1187s |      18 |   459634 |   370152 |     9493     61 |        0 |        0
1189.11/1189.52	c 1189s |      18 |   460396 |   370852 |     9493     61 |        0 |        0
1191.52/1191.91	c 1191s |      18 |   461176 |   371552 |     9493     61 |        0 |        0
1193.71/1194.17	c 1194s |      18 |   461840 |   372152 |     9493     61 |        0 |        0
1195.81/1196.29	c 1196s |      18 |   462385 |   372652 |     9493     61 |        0 |        0
1198.11/1198.57	c 1198s |      18 |   462924 |   373152 |     9493     61 |        0 |        0
1200.31/1200.73	c 1200s |      18 |   463493 |   373652 |     9493     61 |        0 |        0
1202.61/1203.03	c 1202s |      18 |   464039 |   374152 |     9493     61 |        0 |        0
1204.81/1205.21	c 1205s |      18 |   464582 |   374652 |     9493     61 |        0 |        0
1206.81/1207.24	c 1207s |      18 |   465016 |   375052 |     9493     61 |        0 |        0
1209.11/1209.54	c 1209s |      18 |   465539 |   375552 |     9493     61 |        0 |        0
1211.21/1211.68	c 1211s |      18 |   465863 |   375852 |     9493     62 |        0 |        0
1213.61/1214.03	c 1213s |      18 |   466526 |   376452 |     9493     62 |        0 |        0
1215.70/1216.19	c 1216s |      18 |   467083 |   376952 |     9493     62 |        0 |        0
1218.00/1218.44	c 1218s |      18 |   467633 |   377452 |     9493     62 |        0 |        0
1220.00/1220.47	c 1220s |      18 |   468329 |   378052 |     9493     62 |        0 |        0
1222.30/1222.76	c 1222s |      18 |   469128 |   378752 |     9493     62 |        0 |        0
1224.30/1224.78	c 1224s |      18 |   469805 |   379352 |     9493     62 |        0 |        0
1226.40/1226.86	c 1226s |      18 |   470494 |   379952 |     9493     62 |        0 |        0
1228.70/1229.15	c 1229s |      18 |   471438 |   380752 |     9493     62 |        0 |        0
1231.00/1231.46	c 1231s |      18 |   472223 |   381452 |     9493     62 |        0 |        0
1233.19/1233.69	c 1233s |      18 |   472865 |   382052 |     9493     62 |        0 |        0
1235.29/1235.70	c 1235s |      18 |   473535 |   382652 |     9493     62 |        0 |        0
1237.39/1237.82	c 1237s |      18 |   473980 |   383052 |     9493     63 |        0 |        0
1239.59/1240.07	c 1240s |      18 |   474773 |   383752 |     9493     63 |        0 |        0
1241.60/1242.09	c 1242s |      18 |   475444 |   384352 |     9493     63 |        0 |        0
1243.80/1244.23	c 1244s |      18 |   476102 |   384952 |     9493     63 |        0 |        0
1245.79/1246.23	c 1246s |      18 |   476767 |   385552 |     9493     63 |        0 |        0
1248.19/1248.61	c 1248s |      18 |   477541 |   386252 |     9493     63 |        0 |        0
1250.49/1250.93	c 1250s |      18 |   478208 |   386852 |     9493     63 |        0 |        0
1252.78/1253.23	c 1253s |      18 |   478855 |   387452 |     9493     63 |        0 |        0
1255.19/1255.65	c 1255s |      18 |   479507 |   388052 |     9493     63 |        0 |        0
1257.39/1257.86	c 1257s |      18 |   480037 |   388552 |     9493     63 |        0 |        0
1259.68/1260.19	c 1260s |      18 |   480574 |   389052 |     9493     63 |        0 |        0
1261.98/1262.47	c 1262s |      18 |   481124 |   389552 |     9493     63 |        0 |        0
1264.38/1264.85	c 1264s |      18 |   481576 |   389952 |     9493     64 |        0 |        0
1266.68/1267.14	c 1267s |      18 |   482232 |   390552 |     9493     64 |        0 |        0
1268.77/1269.21	c 1269s |      18 |   482862 |   391152 |     9493     64 |        0 |        0
1271.08/1271.59	c 1271s |      18 |   483526 |   391752 |     9493     64 |        0 |        0
1273.48/1273.92	c 1273s |      18 |   484183 |   392352 |     9493     64 |        0 |        0
1275.48/1275.96	c 1275s |      18 |   484735 |   392852 |     9493     64 |        0 |        0
1277.67/1278.13	c 1278s |      18 |   485290 |   393352 |     9493     64 |        0 |        0
1279.87/1280.33	c 1280s |      18 |   485985 |   393952 |     9493     64 |        0 |        0
1281.97/1282.46	c 1282s |      18 |   486664 |   394552 |     9493     64 |        0 |        0
1284.06/1284.56	c 1284s |      18 |   487349 |   395152 |     9493     64 |        0 |        0
1286.26/1286.79	c 1286s |      18 |   488011 |   395752 |     9493     64 |        0 |        0
1288.67/1289.15	c 1289s |      18 |   488795 |   396452 |     9493     64 |        0 |        0
1290.77/1291.20	c 1291s |      18 |   489330 |   396952 |     9493     64 |        0 |        0
1292.76/1293.24	c 1293s |      18 |   489800 |   397352 |     9493     65 |        0 |        0
1294.86/1295.31	c 1295s |      18 |   490454 |   397952 |     9493     65 |        0 |        0
1296.86/1297.35	c 1297s |      18 |   490890 |   398352 |     9493     65 |        0 |        0
1299.25/1299.73	c 1299s |      18 |   491550 |   398952 |     9493     65 |        0 |        0
1301.55/1302.04	c 1301s |      18 |   492107 |   399452 |     9493     65 |        0 |        0
1303.75/1304.24	c 1304s |      18 |   493026 |   400252 |     9493     65 |        0 |        0
1305.76/1306.25	c 1306s |      18 |   493674 |   400852 |     9493     65 |        0 |        0
1307.85/1308.37	c 1308s |      18 |   494355 |   401452 |     9493     65 |        0 |        0
1310.05/1310.57	c 1310s |      18 |   495009 |   402052 |     9493     65 |        0 |        0
1312.15/1312.67	c 1312s |      18 |   495697 |   402652 |     9493     65 |        0 |        0
1314.16/1314.69	c 1314s |      18 |   496247 |   403152 |     9493     65 |        0 |        0
1316.55/1317.07	c 1317s |      18 |   496895 |   403752 |     9493     65 |        0 |        0
1318.85/1319.33	c 1319s |      18 |   497479 |   404252 |     9493     66 |        0 |        0
1320.84/1321.36	c 1321s |      18 |   498154 |   404852 |     9493     66 |        0 |        0
1323.05/1323.52	c 1323s |      18 |   498803 |   405452 |     9493     66 |        0 |        0
1325.15/1325.62	c 1325s |      18 |   499465 |   406052 |     9493     66 |        0 |        0
1327.35/1327.84	c 1327s |      18 |   500123 |   406652 |     9493     66 |        0 |        0
1329.64/1330.12	c 1330s |      18 |   500794 |   407252 |     9493     66 |        0 |        0
1331.75/1332.21	c 1332s |      18 |   501335 |   407752 |     9493     66 |        0 |        0
1333.74/1334.29	c 1334s |      18 |   501881 |   408252 |     9493     66 |        0 |        0
1336.14/1336.65	c 1336s |      18 |   502528 |   408852 |     9493     66 |        0 |        0
1338.24/1338.76	c 1338s |      18 |   503067 |   409352 |     9493     66 |        0 |        0
1340.63/1341.17	c 1341s |      18 |   503705 |   409952 |     9493     66 |        0 |        0
1343.03/1343.53	c 1343s |      18 |   504234 |   410452 |     9493     66 |        0 |        0
1345.53/1346.01	c 1345s |      18 |   504892 |   411052 |     9493     66 |        0 |        0
1347.93/1348.41	c 1348s |      18 |   505236 |   411352 |     9493     67 |        0 |        0
1350.02/1350.57	c 1350s |      18 |   506017 |   412052 |     9493     67 |        0 |        0
1352.13/1352.69	c 1352s |      18 |   506663 |   412652 |     9493     67 |        0 |        0
1354.53/1355.02	c 1354s |      18 |   507320 |   413252 |     9493     67 |        0 |        0
1356.83/1357.36	c 1357s |      18 |   507996 |   413852 |     9493     67 |        0 |        0
1358.92/1359.43	c 1359s |      18 |   508697 |   414452 |     9493     67 |        0 |        0
1360.92/1361.48	c 1361s |      18 |   509249 |   414952 |     9493     67 |        0 |        0
1363.22/1363.73	c 1363s |      18 |   509779 |   415452 |     9493     67 |        0 |        0
1365.52/1366.08	c 1366s |      18 |   510422 |   416052 |     9493     67 |        0 |        0
1367.92/1368.47	c 1368s |      18 |   511096 |   416652 |     9493     67 |        0 |        0
1370.23/1370.78	c 1370s |      18 |   511641 |   417152 |     9493     67 |        0 |        0
1372.61/1373.14	c 1373s |      18 |   512177 |   417652 |     9493     67 |        0 |        0
1374.91/1375.49	c 1375s |      18 |   512710 |   418152 |     9493     67 |        0 |        0
1377.21/1377.71	c 1377s |      18 |   513157 |   418552 |     9493     68 |        0 |        0
1379.31/1379.83	c 1379s |      18 |   513799 |   419152 |     9493     68 |        0 |        0
1381.61/1382.18	c 1382s |      18 |   514442 |   419752 |     9493     68 |        0 |        0
1384.00/1384.51	c 1384s |      18 |   514998 |   420252 |     9493     68 |        0 |        0
1386.01/1386.59	c 1386s |      18 |   515439 |   420652 |     9493     68 |        0 |        0
1388.21/1388.70	c 1388s |      18 |   515979 |   421152 |     9493     68 |        0 |        0
1390.21/1390.74	c 1390s |      18 |   516510 |   421652 |     9493     68 |        0 |        0
1392.50/1393.08	c 1393s |      18 |   517069 |   422152 |     9493     68 |        0 |        0
1394.70/1395.25	c 1395s |      18 |   517610 |   422652 |     9493     68 |        0 |        0
1396.80/1397.34	c 1397s |      18 |   518139 |   423152 |     9493     68 |        0 |        0
1399.20/1399.78	c 1399s |      18 |   518791 |   423752 |     9493     68 |        0 |        0
1401.30/1401.81	c 1401s |      18 |   519383 |   424252 |     9493     68 |        0 |        0
1403.50/1404.09	c 1404s |      18 |   520174 |   424852 |     9493     68 |        0 |        0
1406.40/1406.91	c 1406s |      18 |   520749 |   425352 |     9493     69 |        0 |        0
1408.40/1408.93	c 1408s |      18 |   521316 |   425852 |     9493     69 |        0 |        0
1410.50/1411.06	c 1411s |      18 |   522224 |   426552 |     9493     69 |        0 |        0
1412.69/1413.29	c 1413s |      18 |   522928 |   427152 |     9493     69 |        0 |        0
1414.69/1415.30	c 1415s |      18 |   523565 |   427652 |     9493     69 |        0 |        0
1417.19/1417.70	c 1417s |      18 |   524510 |   428252 |     9493     69 |        0 |        0
1419.19/1419.71	c 1419s |      18 |   525099 |   428752 |     9493     69 |        0 |        0
1421.59/1422.18	c 1422s |      18 |   525646 |   429252 |     9493     69 |        0 |        0
1424.00/1424.51	c 1424s |      18 |   526185 |   429752 |     9493     69 |        0 |        0
1426.30/1426.89	c 1426s |      18 |   526719 |   430252 |     9493     69 |        0 |        0
1428.69/1429.26	c 1429s |      18 |   527262 |   430752 |     9493     69 |        0 |        0
1430.79/1431.30	c 1431s |      18 |   527690 |   431152 |     9493     69 |        0 |        0
1433.19/1433.73	c 1433s |      18 |   528234 |   431652 |     9493     69 |        0 |        0
1435.49/1436.05	c 1435s |      18 |   528772 |   432152 |     9493     69 |        0 |        0
1437.99/1438.52	c 1438s |      18 |   529099 |   432452 |     9493     70 |        0 |        0
1440.19/1440.77	c 1440s |      18 |   529638 |   432952 |     9493     70 |        0 |        0
1442.70/1443.24	c 1443s |      18 |   530158 |   433452 |     9493     70 |        0 |        0
1444.99/1445.54	c 1445s |      18 |   530884 |   434052 |     9493     70 |        0 |        0
1447.29/1447.82	c 1447s |      18 |   531554 |   434652 |     9493     70 |        0 |        0
1449.58/1450.12	c 1450s |      18 |   532234 |   435252 |     9493     70 |        0 |        0
1451.68/1452.28	c 1452s |      18 |   532769 |   435752 |     9493     70 |        0 |        0
1453.88/1454.43	c 1454s |      18 |   533291 |   436252 |     9493     70 |        0 |        0
1456.19/1456.72	c 1456s |      18 |   533821 |   436752 |     9493     70 |        0 |        0
1458.20/1458.74	c 1458s |      18 |   534345 |   437252 |     9493     70 |        0 |        0
1460.59/1461.15	c 1461s |      18 |   534995 |   437852 |     9493     70 |        0 |        0
1462.78/1463.34	c 1463s |      18 |   535531 |   438352 |     9493     70 |        0 |        0
1465.09/1465.64	c 1465s |      18 |   536102 |   438852 |     9493     70 |        0 |        0
1467.59/1468.10	c 1468s |      18 |   536626 |   439352 |     9493     70 |        0 |        0
1469.89/1470.43	c 1470s |      18 |   536944 |   439652 |     9493     71 |        0 |        0
1472.09/1472.67	c 1472s |      18 |   537698 |   440252 |     9493     71 |        0 |        0
1474.69/1475.21	c 1475s |      18 |   538146 |   440652 |     9493     71 |        0 |        0
1476.79/1477.40	c 1477s |      18 |   538908 |   441352 |    10443     71 |        0 |        0
1479.09/1479.68	c 1479s |      18 |   539694 |   442052 |    10443     71 |        0 |        0
1481.19/1481.77	c 1481s |      18 |   540406 |   442652 |    10443     71 |        0 |        0
1483.49/1484.08	c 1484s |      18 |   541118 |   443252 |    10443     71 |        0 |        0
1485.48/1486.09	c 1486s |      18 |   541692 |   443752 |    10443     71 |        0 |        0
1487.58/1488.13	c 1488s |      18 |   542248 |   444252 |    10443     71 |        0 |        0
1488.38/1488.99	c 1488s |      19 |   542494 |   444482 |    10443     71 |        0 |        0
1490.48/1491.00	c 1490s |      19 |   545270 |   445182 |    10443     72 |        0 |        0
1492.58/1493.15	c 1493s |      19 |   546764 |   446482 |    10443     72 |        0 |        0
1494.58/1495.19	c 1495s |      19 |   548097 |   447582 |    10443     72 |        0 |        0
1496.78/1497.40	c 1497s |      19 |   549250 |   448582 |    10443     72 |        0 |        0
1499.08/1499.60	c 1499s |      19 |   550268 |   449482 |    10443     72 |        0 |        0
1501.09/1501.66	c 1501s |      19 |   551197 |   450282 |    10443     72 |        0 |        0
1503.08/1503.69	c 1503s |      19 |   551974 |   450982 |    10443     72 |        0 |        0
1505.28/1505.82	c 1505s |      19 |   552729 |   451682 |    10443     72 |        0 |        0
1507.28/1507.86	c 1507s |      19 |   553385 |   452282 |    10443     72 |        0 |        0
1509.47/1510.04	c 1509s |      19 |   554163 |   452982 |    10443     72 |        0 |        0
1511.88/1512.45	c 1512s |      19 |   554823 |   453582 |    10443     73 |        0 |        0
1514.19/1514.72	c 1514s |      19 |   555761 |   454382 |    10443     73 |        0 |        0
1516.28/1516.80	c 1516s |      19 |   556547 |   455082 |    10443     73 |        0 |        0
1518.48/1519.04	c 1518s |      19 |   557419 |   455782 |    10443     73 |        0 |        0
1520.68/1521.23	c 1521s |      19 |   558267 |   456382 |    10443     73 |        0 |        0
1522.98/1523.55	c 1523s |      19 |   558967 |   456982 |    10443     73 |        0 |        0
1525.28/1525.87	c 1525s |      19 |   559607 |   457582 |    10443     73 |        0 |        0
1527.38/1527.95	c 1527s |      19 |   560190 |   458082 |    10443     73 |        0 |        0
1529.48/1530.08	c 1530s |      19 |   560945 |   458682 |    10443     73 |        0 |        0
1531.58/1532.13	c 1532s |      19 |   561505 |   459182 |    10443     73 |        0 |        0
1533.88/1534.43	c 1534s |      19 |   562199 |   459682 |    10443     73 |        0 |        0
1535.88/1536.43	c 1536s |      19 |   562709 |   460082 |    10443     73 |        0 |        0
1537.98/1538.55	c 1538s |      19 |   563258 |   460582 |    10443     73 |        0 |        0
1540.07/1540.64	c 1540s |      19 |   563886 |   461082 |    10443     73 |        0 |        0
1542.17/1542.73	c 1542s |      19 |   564279 |   461382 |    10443     74 |        0 |        0
1544.27/1544.83	c 1544s |      19 |   564934 |   461982 |    10443     74 |        0 |        0
1546.58/1547.19	c 1547s |      19 |   565592 |   462582 |    10443     74 |        0 |        0
1548.67/1549.23	c 1549s |      19 |   566119 |   463082 |    10443     74 |        0 |        0
1550.97/1551.55	c 1551s |      19 |   566767 |   463682 |    10443     74 |        0 |        0
1553.37/1553.91	c 1553s |      19 |   567442 |   464282 |    10443     74 |        0 |        0
1555.57/1556.15	c 1556s |      19 |   568112 |   464882 |    10443     74 |        0 |        0
1557.68/1558.20	c 1558s |      19 |   568655 |   465382 |    10443     74 |        0 |        0
1559.87/1560.42	c 1560s |      19 |   569636 |   465982 |    10443     74 |        0 |        0
1562.07/1562.60	c 1562s |      19 |   570364 |   466482 |    10443     74 |        0 |        0
1564.27/1564.89	c 1564s |      19 |   571126 |   467082 |    10443     74 |        0 |        0
1566.67/1567.29	c 1567s |      19 |   571700 |   467582 |    10443     74 |        0 |        0
1569.07/1569.69	c 1569s |      19 |   572250 |   468082 |    10443     74 |        0 |        0
1571.48/1572.09	c 1572s |      19 |   572865 |   468582 |    10443     74 |        0 |        0
1573.87/1574.48	c 1574s |      19 |   573308 |   468982 |    10443     75 |        0 |        0
1576.17/1576.79	c 1576s |      19 |   573959 |   469582 |    10443     75 |        0 |        0
1578.36/1578.95	c 1578s |      19 |   574631 |   470082 |    10443     75 |        0 |        0
1580.67/1581.25	c 1581s |      19 |   575326 |   470682 |    10443     75 |        0 |        0
1582.87/1583.47	c 1583s |      19 |   576093 |   471282 |    10443     75 |        0 |        0
1585.27/1585.81	c 1585s |      19 |   576799 |   471882 |    10443     75 |        0 |        0
1587.27/1587.86	c 1587s |      19 |   577377 |   472382 |    10443     75 |        0 |        0
1589.57/1590.11	c 1590s |      19 |   578361 |   473182 |    10443     75 |        0 |        0
1591.87/1592.44	c 1592s |      19 |   579142 |   473882 |    10443     75 |        0 |        0
1593.86/1594.45	c 1594s |      19 |   579818 |   474482 |    10443     75 |        0 |        0
1595.96/1596.56	c 1596s |      19 |   580479 |   475082 |    10443     75 |        0 |        0
1598.26/1598.88	c 1598s |      19 |   581207 |   475682 |    10443     75 |        0 |        0
1601.08/1601.65	c 1601s |      19 |   581931 |   476282 |    10443     76 |        0 |        0
1603.17/1603.72	c 1603s |      19 |   582673 |   476882 |    10443     76 |        0 |        0
1605.27/1605.86	c 1605s |      19 |   583457 |   477582 |    10443     76 |        0 |        0
1607.36/1607.94	c 1607s |      19 |   584126 |   478182 |    10443     76 |        0 |        0
1609.36/1609.98	c 1609s |      19 |   584832 |   478782 |    10443     76 |        0 |        0
1611.46/1612.04	c 1611s |      19 |   585551 |   479382 |    10443     76 |        0 |        0
1613.66/1614.20	c 1614s |      19 |   586256 |   479982 |    10443     76 |        0 |        0
1615.66/1616.29	c 1616s |      19 |   586926 |   480582 |    10443     76 |        0 |        0
1617.97/1618.51	c 1618s |      19 |   587612 |   481182 |    10443     76 |        0 |        0
1620.26/1620.85	c 1620s |      19 |   588325 |   481782 |    10443     76 |        0 |        0
1622.46/1623.01	c 1622s |      19 |   588889 |   482282 |    10443     76 |        0 |        0
1624.56/1625.15	c 1625s |      19 |   589485 |   482782 |    10443     76 |        0 |        0
1626.66/1627.25	c 1627s |      19 |   589926 |   483182 |    10443     76 |        0 |        0
1629.06/1629.62	c 1629s |      19 |   590541 |   483682 |    10443     76 |        0 |        0
1631.06/1631.67	c 1631s |      19 |   590856 |   483982 |    10443     77 |        0 |        0
1633.36/1633.90	c 1633s |      19 |   591404 |   484482 |    10443     77 |        0 |        0
1635.36/1635.94	c 1635s |      19 |   591988 |   484982 |    10443     77 |        0 |        0
1637.56/1638.12	c 1638s |      19 |   592559 |   485482 |    10443     77 |        0 |        0
1639.76/1640.35	c 1640s |      19 |   593096 |   485982 |    10443     77 |        0 |        0
1641.87/1642.41	c 1642s |      19 |   593653 |   486482 |    10443     77 |        0 |        0
1644.16/1644.76	c 1644s |      19 |   594334 |   487082 |    10443     77 |        0 |        0
1646.56/1647.13	c 1647s |      19 |   595022 |   487682 |    10443     77 |        0 |        0
1648.76/1649.32	c 1649s |      19 |   595558 |   488182 |    10443     77 |        0 |        0
1650.96/1651.57	c 1651s |      19 |   596133 |   488682 |    10443     77 |        0 |        0
1653.26/1653.81	c 1653s |      19 |   596704 |   489182 |    10443     77 |        0 |        0
1655.35/1655.92	c 1655s |      19 |   597142 |   489582 |    10443     77 |        0 |        0
1657.46/1658.04	c 1657s |      19 |   597713 |   490082 |    10443     77 |        0 |        0
1659.66/1660.21	c 1660s |      19 |   598270 |   490582 |    10443     77 |        0 |        0
1661.86/1662.43	c 1662s |      19 |   598845 |   491082 |    10443     77 |        0 |        0
1663.86/1664.49	c 1664s |      19 |   599193 |   491382 |    10443     78 |        0 |        0
1665.96/1666.58	c 1666s |      19 |   599509 |   491682 |    10443     78 |        0 |        0
1668.35/1668.99	c 1668s |      19 |   600262 |   492282 |    10443     78 |        0 |        0
1670.66/1671.25	c 1671s |      19 |   600981 |   492882 |    10443     78 |        0 |        0
1672.85/1673.45	c 1673s |      19 |   601673 |   493482 |    10443     78 |        0 |        0
1675.05/1675.69	c 1675s |      19 |   602466 |   494182 |    10443     78 |        0 |        0
1677.16/1677.79	c 1677s |      19 |   603334 |   494882 |    10443     78 |        0 |        0
1679.56/1680.15	c 1680s |      19 |   604104 |   495582 |    10443     78 |        0 |        0
1681.75/1682.33	c 1682s |      19 |   604919 |   496182 |    10443     78 |        0 |        0
1683.85/1684.42	c 1684s |      19 |   605486 |   496682 |    10443     78 |        0 |        0
1685.86/1686.49	c 1686s |      19 |   606060 |   497182 |    10443     78 |        0 |        0
1688.26/1688.87	c 1688s |      19 |   606765 |   497782 |    10443     78 |        0 |        0
1690.55/1691.19	c 1691s |      19 |   607320 |   498282 |    10443     78 |        0 |        0
1692.95/1693.51	c 1693s |      19 |   607888 |   498782 |    10443     78 |        0 |        0
1695.15/1695.71	c 1695s |      19 |   608256 |   499082 |    10443     79 |        0 |        0
1697.25/1697.83	c 1697s |      19 |   608995 |   499682 |    10443     79 |        0 |        0
1699.55/1700.10	c 1700s |      19 |   609665 |   500282 |    10443     79 |        0 |        0
1701.65/1702.29	c 1702s |      19 |   610332 |   500882 |    10443     79 |        0 |        0
1704.05/1704.69	c 1704s |      19 |   611054 |   501482 |    10443     79 |        0 |        0
1706.15/1706.70	c 1706s |      19 |   611578 |   501982 |    10443     79 |        0 |        0
1708.25/1708.87	c 1708s |      19 |   612250 |   502582 |    10443     79 |        0 |        0
1710.45/1711.02	c 1710s |      19 |   612939 |   503182 |    10443     79 |        0 |        0
1712.55/1713.12	c 1713s |      19 |   613539 |   503682 |    10443     79 |        0 |        0
1714.65/1715.27	c 1715s |      19 |   614093 |   504182 |    10443     79 |        0 |        0
1717.05/1717.66	c 1717s |      19 |   614770 |   504782 |    10443     79 |        0 |        0
1719.24/1719.82	c 1719s |      19 |   615472 |   505382 |    10443     79 |        0 |        0
1721.25/1721.83	c 1721s |      19 |   616049 |   505882 |    10443     79 |        0 |        0
1723.26/1723.86	c 1723s |      19 |   616601 |   506382 |    10443     79 |        0 |        0
1726.05/1726.64	c 1726s |      19 |   616928 |   506682 |    10443     80 |        0 |        0
1728.25/1728.80	c 1728s |      19 |   617916 |   507482 |    10443     80 |        0 |        0
1730.55/1731.14	c 1731s |      19 |   618709 |   508182 |    10443     80 |        0 |        0
1732.64/1733.26	c 1733s |      19 |   619426 |   508782 |    10443     80 |        0 |        0
1734.84/1735.40	c 1735s |      19 |   620122 |   509382 |    10443     80 |        0 |        0
1737.04/1737.65	c 1737s |      19 |   620869 |   509982 |    10443     80 |        0 |        0
1739.25/1739.83	c 1739s |      19 |   621571 |   510582 |    10443     80 |        0 |        0
1741.45/1742.04	c 1741s |      19 |   622283 |   511182 |    10443     80 |        0 |        0
1743.44/1744.06	c 1743s |      19 |   623007 |   511782 |    10443     80 |        0 |        0
1745.44/1746.07	c 1746s |      19 |   623668 |   512382 |    10443     80 |        0 |        0
1747.84/1748.41	c 1748s |      19 |   624512 |   513082 |    10443     80 |        0 |        0
1750.14/1750.70	c 1750s |      19 |   625164 |   513682 |    10443     80 |        0 |        0
1752.25/1752.82	c 1752s |      19 |   625640 |   514082 |    10443     81 |        0 |        0
1754.54/1755.12	c 1755s |      19 |   626345 |   514682 |    10443     81 |        0 |        0
1756.74/1757.34	c 1757s |      19 |   627093 |   515282 |    10443     81 |        0 |        0
1758.84/1759.48	c 1759s |      19 |   627791 |   515882 |    10443     81 |        0 |        0
1761.75/1762.31	c 1762s |      19 |   628482 |   516482 |    10443     81 |        0 |        0
1763.74/1764.32	c 1764s |      19 |   629035 |   516982 |    10443     81 |        0 |        0
1765.74/1766.35	c 1766s |      19 |   629640 |   517482 |    10443     81 |        0 |        0
1767.84/1768.40	c 1768s |      19 |   630239 |   517982 |    10443     81 |        0 |        0
1770.04/1770.66	c 1770s |      19 |   630815 |   518482 |    10443     81 |        0 |        0
1772.34/1772.99	c 1772s |      19 |   631392 |   518982 |    10443     81 |        0 |        0
1774.54/1775.12	c 1775s |      19 |   631953 |   519482 |    10443     81 |        0 |        0
1776.94/1777.54	c 1777s |      19 |   632525 |   519982 |    10443     81 |        0 |        0
1779.25/1779.87	c 1779s |      19 |   633117 |   520482 |    10443     81 |        0 |        0
1781.34/1781.90	c 1781s |      19 |   633855 |   521082 |    10443     81 |        0 |        0
1783.65/1784.28	c 1784s |      19 |   634441 |   521582 |    10443     82 |        0 |        0
1785.73/1786.39	c 1786s |      19 |   635204 |   522282 |    10443     82 |        0 |        0
1788.05/1788.63	c 1788s |      19 |   635996 |   522982 |    10443     82 |        0 |        0
1790.24/1790.85	c 1790s |      19 |   636795 |   523682 |    10443     82 |        0 |        0
1792.54/1793.15	c 1793s |      19 |   637555 |   524382 |    10443     82 |        0 |        0
1794.84/1795.41	c 1795s |      19 |   638170 |   524882 |    10443     82 |        0 |        0
1796.94/1797.59	c 1797s |      19 |   638831 |   525482 |    10443     82 |        0 |        0
1799.23/1799.83	c 1799s |      19 |   639634 |   526182 |    10443     82 |        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-4078774-1465240431/watcher-4078774-1465240431 -o /tmp/evaluation-result-4078774-1465240431/solver-4078774-1465240431 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078774-1465240431.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.30 2.27 2/179 3488
/proc/meminfo: memFree=29218716/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 2622 0 0 0 0 0 0 0 20 0 4 0 105976125 719777792 2982 33554432000 4194304 16246674 140733684536208 140733684535632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 176495 2990 441 2943 0 173389 0
[pid=3488/tid=3489] ppid=3485 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 737603584 3050 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 742846464 3067 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 747040768 3084 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.25 2.30 2.27 2/179 3488
/proc/meminfo: memFree=29218716/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 29570 0 0 0 5 4 0 0 20 0 4 0 105976125 1247350784 29919 33554432000 4194304 16246674 140733684536208 140733684535632 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 304529 29921 704 2943 0 301423 0
[pid=3488/tid=3489] ppid=3485 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1247350784 29924 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1247350784 29926 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1247350784 29928 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200464 s]
/proc/loadavg: 2.25 2.30 2.27 2/179 3488
/proc/meminfo: memFree=29218716/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1222212 CPUtime=0.19 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 42128 0 0 0 13 6 0 0 20 0 4 0 105976125 1251545088 42457 33554432000 4194304 16246674 140733684536208 140733684535520 6021024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 305553 42457 783 2943 0 302447 0
[pid=3488/tid=3489] ppid=3485 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1251545088 42457 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1251545088 42457 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1251545088 42457 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1222212

[startup+0.300433 s]
/proc/loadavg: 2.25 2.30 2.27 2/179 3488
/proc/meminfo: memFree=29218716/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1222212 CPUtime=0.28 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 81793 0 0 0 17 11 0 0 20 0 4 0 105976125 1251545088 82123 33554432000 4194304 16246674 140733684536208 140733684535520 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 305553 82146 783 2943 0 302447 0
[pid=3488/tid=3489] ppid=3485 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1251545088 82160 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1251545088 82175 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1251545088 82189 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1222212

[startup+0.700371 s]
/proc/loadavg: 2.25 2.30 2.27 2/179 3488
/proc/meminfo: memFree=29218716/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 132438 0 0 0 51 18 0 0 20 0 4 0 105976125 1338576896 132767 33554432000 4194304 16246674 140733684536208 140733684535384 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 326801 132767 784 2943 0 323695 0
[pid=3488/tid=3489] ppid=3485 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1338576896 132767 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1338576896 132767 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1338576896 132767 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.5004 s]
/proc/loadavg: 2.23 2.29 2.27 3/183 3492
/proc/meminfo: memFree=28689100/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 132672 0 0 0 131 18 0 0 20 0 4 0 105976125 1338576896 133001 33554432000 4194304 16246674 140733684536208 140733684519200 13907079 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 326801 133001 784 2943 0 323695 0
[pid=3488/tid=3489] ppid=3485 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1338576896 133001 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1338576896 133001 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1338576896 133001 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10042 s]
/proc/loadavg: 2.23 2.29 2.27 3/183 3492
/proc/meminfo: memFree=28687612/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 267822 0 0 0 274 35 0 0 20 0 4 0 105976125 1338576896 268151 33554432000 4194304 16246674 140733684536208 140733684518080 13191937 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 326801 268151 784 2943 0 323695 0
[pid=3488/tid=3489] ppid=3485 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1338576896 268151 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1338576896 268151 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1338576896 268151 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.23 2.29 2.27 3/183 3492
/proc/meminfo: memFree=28147024/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 267822 0 0 0 594 35 0 0 20 0 4 0 105976125 1338576896 268151 33554432000 4194304 16246674 140733684536208 140733684518080 5822187 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 326801 268151 784 2943 0 323695 0
[pid=3488/tid=3489] ppid=3485 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1338576896 268151 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1338576896 268151 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1338576896 268151 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.28 2.30 2.27 3/183 3492
/proc/meminfo: memFree=28147288/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 267840 0 0 0 1233 36 0 0 20 0 4 0 105976125 1339625472 268169 33554432000 4194304 16246674 140733684536208 140733684518080 5667359 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 327057 268169 792 2943 0 323951 0
[pid=3488/tid=3489] ppid=3485 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1339625472 268169 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1339625472 268169 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1339625472 268169 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.23 2.29 2.26 4/183 3492
/proc/meminfo: memFree=28138280/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1316420 CPUtime=25.49 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 269977 0 0 0 2512 37 0 0 20 0 4 0 105976125 1348014080 270306 33554432000 4194304 16246674 140733684536208 140733684518080 5546116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 329105 270306 792 2943 0 325999 0
[pid=3488/tid=3489] ppid=3485 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1348014080 270306 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1348014080 270306 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1348014080 270306 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.29 2.30 2.27 3/183 3492
/proc/meminfo: memFree=28138192/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 270049 0 0 0 5070 38 0 0 20 0 4 0 105976125 1348014080 270378 33554432000 4194304 16246674 140733684536208 140733684535384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 329105 270378 792 2943 0 325999 0
[pid=3488/tid=3489] ppid=3485 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1348014080 270378 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1348014080 270378 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1348014080 270378 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.22 2.27 2.26 3/183 3493
/proc/meminfo: memFree=28137340/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1316420 CPUtime=102.28 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 270134 0 0 0 10187 41 0 0 20 0 4 0 105976125 1348014080 270463 33554432000 4194304 16246674 140733684536208 140733684518080 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 329105 270463 792 2943 0 325999 0
[pid=3488/tid=3489] ppid=3485 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1348014080 270463 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1348014080 270463 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1348014080 270463 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1377374208 277670 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1345092

[startup+1302.3 s]
/proc/loadavg: 2.44 2.28 2.25 3/183 3671
/proc/meminfo: memFree=28051212/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1345092 CPUtime=1301.85 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 277706 0 0 0 130055 130 0 0 20 0 4 0 105976125 1377374208 277888 33554432000 4194304 16246674 140733684536208 140733684535384 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 336273 277888 793 2943 0 333167 0
[pid=3488/tid=3489] ppid=3485 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1377374208 277888 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1377374208 277888 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1377374208 277888 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1345092

[startup+1362.3 s]
/proc/loadavg: 2.36 2.29 2.26 3/183 3672
/proc/meminfo: memFree=28050872/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1345092 CPUtime=1361.82 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 277748 0 0 0 136048 134 0 0 20 0 4 0 105976125 1377374208 277888 33554432000 4194304 16246674 140733684536208 140733684518080 12483632 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 336273 277888 793 2943 0 333167 0
[pid=3488/tid=3489] ppid=3485 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1377374208 277888 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1377374208 277888 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1377374208 277888 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1345092

[startup+1422.3 s]
/proc/loadavg: 2.32 2.28 2.26 3/183 3673
/proc/meminfo: memFree=28004228/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1392196 CPUtime=1421.8 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 289433 0 0 0 142041 139 0 0 20 0 4 0 105976125 1425608704 289539 33554432000 4194304 16246674 140733684536208 140733684535384 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 348049 289539 793 2943 0 344943 0
[pid=3488/tid=3489] ppid=3485 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1425608704 289539 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1425608704 289539 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1425608704 289539 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1392196

[startup+1482.3 s]
/proc/loadavg: 2.34 2.29 2.26 3/183 3674
/proc/meminfo: memFree=28003516/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1392196 CPUtime=1481.78 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 289433 0 0 0 148035 143 0 0 20 0 4 0 105976125 1425608704 289539 33554432000 4194304 16246674 140733684536208 140733684518080 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 348049 289539 793 2943 0 344943 0
[pid=3488/tid=3489] ppid=3485 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1425608704 289539 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1425608704 289539 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1425608704 289539 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1392196

[startup+1542.31 s]
/proc/loadavg: 2.21 2.26 2.25 3/183 3676
/proc/meminfo: memFree=28003108/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1392196 CPUtime=1541.78 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 289559 0 0 0 154031 147 0 0 20 0 4 0 105976125 1425608704 289665 33554432000 4194304 16246674 140733684536208 140733684535384 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 348049 289665 793 2943 0 344943 0
[pid=3488/tid=3489] ppid=3485 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1425608704 289665 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1425608704 289665 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1425608704 289665 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1392196

[startup+1602.3 s]
/proc/loadavg: 2.12 2.23 2.24 3/184 3680
/proc/meminfo: memFree=28000880/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1394244 CPUtime=1601.77 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 290033 0 0 0 160026 151 0 0 20 0 4 0 105976125 1427705856 290139 33554432000 4194304 16246674 140733684536208 140733684518080 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 348561 290139 793 2943 0 345455 0
[pid=3488/tid=3489] ppid=3485 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1427705856 290139 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1427705856 290139 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1427705856 290139 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1394244

[startup+1662.3 s]
/proc/loadavg: 2.15 2.21 2.24 3/183 3681
/proc/meminfo: memFree=27907348/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1487428 CPUtime=1661.76 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 313367 0 0 0 166018 158 0 0 20 0 4 0 105976125 1523126272 313473 33554432000 4194304 16246674 140733684536208 140733684535384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 371857 313473 793 2943 0 368751 0
[pid=3488/tid=3489] ppid=3485 vsize=1487428 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1523126272 313473 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1487428 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1523126272 313473 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1487428 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1523126272 313473 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1487428

[startup+1722.3 s]
/proc/loadavg: 2.27 2.23 2.24 3/183 3682
/proc/meminfo: memFree=27821992/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1572420 CPUtime=1721.75 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 334615 0 0 0 172008 167 0 0 20 0 4 0 105976125 1610158080 334721 33554432000 4194304 16246674 140733684536208 140733684535384 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 393105 334721 793 2943 0 389999 0
[pid=3488/tid=3489] ppid=3485 vsize=1572420 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1610158080 334721 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1572420 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1610158080 334721 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1572420 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1610158080 334721 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1572420

[startup+1782.3 s]
/proc/loadavg: 2.25 2.23 2.24 3/183 3683
/proc/meminfo: memFree=27816080/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1578564 CPUtime=1781.74 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 335979 0 0 0 178001 173 0 0 20 0 4 0 105976125 1616449536 336085 33554432000 4194304 16246674 140733684536208 140733684535384 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 394641 336085 793 2943 0 391535 0
[pid=3488/tid=3489] ppid=3485 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1616449536 336085 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1616449536 336085 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1616449536 336085 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1578564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.26 2.24 2.24 3/183 3683
/proc/meminfo: memFree=27816672/32872528 swapFree=16384/1696552
[pid=3488] ppid=3485 vsize=1578564 CPUtime=1800.03 cores=0,2,4,6
/proc/3488/stat : 3488 (toysat) R 3485 3488 1166 0 -1 4202496 335979 0 0 0 179828 175 0 0 20 0 4 0 105976125 1616449536 336085 33554432000 4194304 16246674 140733684536208 140733684535384 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3488/statm: 394641 336085 793 2943 0 391535 0
[pid=3488/tid=3489] ppid=3485 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105976125 1616449536 336085 33554432000 4194304 16246674 140733684536208 140288891792624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105976125 1616449536 336085 33554432000 4194304 16246674 140733684536208 140288881302768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105976125 1616449536 336085 33554432000 4194304 16246674 140733684536208 140288798485680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1578564

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 3488 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.62
CPU time (s): 1800.06
CPU user time (s): 1798.29
CPU system time (s): 1.76673
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1578564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.29
system time used= 1.76673
maximum resident set size= 1344340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335979
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= 493
involuntary context switches= 1916

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

The end

Launcher Data 

Begin job on node125 at 2016-06-06 21:13:51
IDJOB=4078774
IDBENCH=2589
IDSOLVER=2542
FILE ID=node125/4078774-1465240431
RUNJOBID= node125-1465224138-1182
PBS_JOBID= 19843237
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078774-1465240431/watcher-4078774-1465240431 -o /tmp/evaluation-result-4078774-1465240431/solver-4078774-1465240431 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078774-1465240431.opb

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

MD5SUM BENCH= dab917560b0808668d6327532459772d
RANDOM SEED=1998390884

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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:        29219360 kB
Buffers:           39280 kB
Cached:           123364 kB
SwapCached:         2016 kB
Active:          1185712 kB
Inactive:          65936 kB
Active(anon):    1089340 kB
Inactive(anon):     1380 kB
Active(file):      96372 kB
Inactive(file):    64556 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       2783796 kB
Mapped:            10268 kB
Shmem:                 0 kB
Slab:             568052 kB
SReclaimable:      12124 kB
SUnreclaim:       555928 kB
KernelStack:        1472 kB
PageTables:         9664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2931044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1683456 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= 71708 MiB
End job on node125 at 2016-06-06 21:43:51