Trace number 4078832

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.04 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12047_6-sat.opb
MD5SUM937ecf63c168ba3c2555061c1a7466e0
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33396
Total number of constraints116135
Number of constraints which are clauses115587
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints548
Minimum length of a constraint1
Maximum length of a constraint66
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 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 383
Number of bits of the biggest sum of numbers9
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-07T06:23:00+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-4078832-1465273380.opb"]
0.00/0.01	c use --random-gen="22244165 667790224 345357864 2818235291 989318916 2025338465 2638525785 2765099462 2825049375 716046581 3475954355 111720553 3890245742 1313206109 2835764865 3045585013 3300389715 3134888222 4054378601 894098444 1527306287 2831283265 851811412 291831065 4017226437 2573886688 1112701803 4059713428 4009530832 786376380 596281220 3980273417 2829628730 99211057 237970470 175167320 845910599 4271084664 2561485729 2176332843 4271486431 648880747 765824371 3126234202 2597303323 2825628002 3858875757 1108391383 2494227749 3256162801 1233808733 702912190 3200199999 971019759 1639442961 1621019017 2832495135 430375046 2895240582 479986370 303438545 101991692 1295718478 2793429937 3860312517 2585411734 1055958334 1999731452 3311628654 3627151597 3050084094 1664543273 1182729558 1185239114 3547792183 642384552 1456412351 1551647124 1662018659 452850793 2863371231 2162706396 1922835980 2114123030 1005637917 2375498512 562637833 3736131989 3597795431 2898014238 3607524197 2288559419 3459892663 4158548076 649946704 3321207648 208358685 2772547259 3358026634 511758687 3437817167 3801386922 675919517 85972241 2481859262 1971610001 855426127 219866406 4029478328 3114652002 2907497664 3072295691 2366922548 2617872936 4000082982 862415110 1848269539 2252576245 1233435434 114718583 2277205908 167140146 2205487644 1450583068 3786037357 3710464746 1632884197 3291792908 1339141706 437680342 1846255165 1867936409 3565311623 936570767 1314216502 2343070031 1395510623 3296055590 200278385 572210009 2949276143 3766932215 4169599800 3152977097 4249590427 1380610123 218943744 4241465923 4088792219 4126285511 1547314764 2407306685 403913364 3524828181 1035430040 2143642878 3109104529 1706566062 4221997016 2622626103 2061640821 771985728 2029770590 1923230729 1586431759 340145498 3134868306 564684898 2481732159 1083650119 902331918 1757439840 474719895 1825059157 1985678890 2962991456 500479495 1434999749 2751320580 4060784280 2676862020 2245562417 93439629 2896468244 1636166088 2708015531 1026178865 294880814 3268554858 1160282486 2236393279 405620938 373575997 1265771191 236416395 2708810947 478638463 1223917376 406789089 3352453298 3796041933 3974667027 3522846905 1309452404 2989142531 1711991252 535863369 2746610651 3466170360 3977915510 82382616 826404259 2380420468 900952684 253127948 4065113202 177668783 4017353459 542603424 222974282 1880303103 2062143548 3648297255 2041801840 2284763001 1701119975 251715141 1011757669 3710072865 1099485041 1306613161 3047495227 3633758008 2553438434 3702583786 2008435436 2081112045 2563750559 1659103899 1035852025 3908471037 3507097776 3730299962 4146893684 896024039 3934344400 1161960225 3851752463 1259383707 1542110607 3051612595 749083928 404719396 3411002899 1926891762 3575470022 255 362436" option to reproduce the execution
0.59/0.68	c #vars 33396
0.59/0.68	c #constraints 116135
1.79/1.85	c Solving starts ...
1.79/1.85	c ============================[ Search Statistics ]============================
1.79/1.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.79/1.85	c       |         |          |          |    Limit     GC | Var      | Constra 
1.79/1.85	c =============================================================================
1.79/1.85	c  0.0s |       0 |        0 |        0 |    33039      0 |    19708 |        0
2.09/2.13	c  0.3s |       1 |      232 |      100 |    33039      0 |    19708 |    26683
2.39/2.47	c  0.6s |       2 |      471 |      250 |    36343      0 |    19708 |    26683
2.89/2.99	c  1.1s |       3 |      827 |      475 |    39978      0 |    19708 |    26683
3.79/3.88	c  2.0s |       4 |     1344 |      813 |    43976      0 |    19708 |    26683
4.89/4.90	c  3.1s |       5 |     2140 |     1320 |    48374      0 |    19708 |    26683
6.29/6.37	c  4.5s |       6 |     3297 |     2081 |    58534      0 |    19708 |    26683
8.19/8.28	c  6.4s |       7 |     5092 |     3223 |    64388      0 |    19708 |    26683
10.39/10.40	c  8.5s |       7 |     6880 |     4323 |    64388      0 |    19714 |    26700
11.89/11.94	c 10.1s |       8 |     7739 |     4936 |    70827      0 |    19714 |    26700
13.89/13.99	c 12.1s |       8 |     9423 |     6036 |    70827      0 |    19714 |    26700
15.99/16.03	c 14.2s |       8 |    10888 |     7236 |    70827      0 |    19714 |    26700
16.49/16.51	c 14.7s |       9 |    11234 |     7506 |    77910      0 |    19714 |    26700
18.58/18.70	c 16.8s |       9 |    12397 |     8306 |    77910      0 |    19714 |    26700
20.68/20.78	c 18.9s |       9 |    13633 |     9106 |    77910      0 |    19714 |    26700
22.78/22.82	c 21.0s |       9 |    14878 |     9906 |    77910      0 |    19714 |    26700
24.78/24.87	c 23.0s |       9 |    15991 |    10706 |    77910      0 |    19714 |    26700
26.49/26.52	c 24.7s |      10 |    16828 |    11361 |    85701      0 |    19714 |    26700
28.48/28.59	c 26.7s |      10 |    18074 |    12161 |    85701      0 |    19714 |    26700
30.79/30.83	c 29.0s |      10 |    19160 |    12961 |    85701      0 |    19714 |    26700
32.99/33.05	c 31.2s |      10 |    20079 |    13661 |    85701      0 |    19714 |    26700
35.19/35.27	c 33.4s |      10 |    21062 |    14361 |    85701      0 |    19714 |    26700
37.39/37.47	c 35.6s |      10 |    21975 |    15061 |    85701      0 |    19714 |    26700
39.48/39.59	c 37.7s |      10 |    22897 |    15761 |    85701      0 |    19714 |    26700
41.68/41.70	c 39.8s |      10 |    23927 |    16561 |    85701      0 |    19714 |    26700
43.28/43.34	c 41.5s |      11 |    24724 |    17144 |    94272      0 |    19714 |    26700
45.28/45.34	c 43.5s |      11 |    25686 |    17844 |    94272      0 |    19714 |    26700
47.39/47.41	c 45.6s |      11 |    26675 |    18644 |    94272      0 |    19714 |    26700
49.49/49.51	c 47.7s |      11 |    27889 |    19544 |    94272      0 |    19714 |    26700
51.58/51.62	c 49.8s |      11 |    29012 |    20444 |    94272      0 |    19714 |    26700
53.78/53.88	c 52.0s |      11 |    30161 |    21344 |    94272      0 |    19714 |    26700
55.98/56.04	c 54.2s |      11 |    31187 |    22144 |    94272      0 |    19714 |    26700
58.18/58.28	c 56.4s |      11 |    32304 |    22944 |    94272      0 |    19714 |    26700
60.27/60.37	c 58.5s |      11 |    33262 |    23644 |    94272      0 |    19714 |    26700
62.57/62.65	c 60.8s |      11 |    34288 |    24444 |    94272      0 |    19714 |    26700
64.77/64.88	c 63.0s |      11 |    35187 |    25144 |    94272      0 |    19714 |    26700
66.97/67.01	c 65.2s |      12 |    36021 |    25819 |   103700      0 |    19714 |    26700
69.07/69.10	c 67.3s |      12 |    36964 |    26519 |   103700      0 |    19714 |    26700
71.17/71.20	c 69.3s |      12 |    37894 |    27219 |   103700      0 |    19714 |    26700
73.37/73.40	c 71.6s |      12 |    39026 |    28019 |   103700      0 |    19714 |    26700
75.57/75.68	c 73.8s |      12 |    40114 |    28819 |   103700      0 |    19714 |    26700
77.67/77.74	c 75.9s |      12 |    41170 |    29619 |   103700      0 |    19714 |    26700
79.77/79.81	c 78.0s |      12 |    42108 |    30319 |   103700      0 |    19714 |    26700
81.87/81.97	c 80.1s |      12 |    43113 |    31019 |   103700      0 |    19714 |    26700
84.07/84.17	c 82.3s |      12 |    44250 |    31819 |   103700      0 |    19714 |    26700
86.17/86.24	c 84.4s |      12 |    45150 |    32519 |   103700      0 |    19714 |    26700
88.37/88.40	c 86.6s |      12 |    46090 |    33219 |   103700      0 |    19714 |    26700
90.47/90.57	c 88.7s |      12 |    47035 |    33919 |   103700      0 |    19714 |    26700
92.57/92.64	c 90.8s |      12 |    47889 |    34519 |   103700      0 |    19714 |    26700
94.77/94.85	c 93.0s |      12 |    48667 |    35119 |   103700      0 |    19714 |    26700
96.87/96.94	c 95.1s |      12 |    49608 |    35819 |   103700      0 |    19714 |    26700
99.07/99.16	c 97.3s |      12 |    50610 |    36619 |   103700      0 |    19714 |    26700
101.17/101.22	c 99.4s |      12 |    51523 |    37319 |   103700      0 |    19714 |    26700
103.16/103.27	c  101s |      12 |    52116 |    37819 |   103700      0 |    19714 |    26700
105.36/105.40	c  103s |      12 |    52866 |    38419 |   103700      0 |    19714 |    26700
106.67/106.78	c  104s |      13 |    53344 |    38832 |   114071      0 |    19714 |    26700
108.76/108.87	c  107s |      13 |    54334 |    39432 |   114071      0 |    19714 |    26700
110.86/110.90	c  109s |      13 |    55109 |    40032 |   114071      0 |    19714 |    26700
113.06/113.16	c  111s |      13 |    55926 |    40632 |   114071      0 |    19714 |    26700
115.16/115.29	c  113s |      13 |    56808 |    41232 |   114071      0 |    19714 |    26700
117.36/117.47	c  115s |      13 |    57579 |    41832 |   114071      0 |    19714 |    26700
119.46/119.59	c  117s |      13 |    58502 |    42432 |   114071      0 |    19714 |    26700
121.86/121.90	c  120s |      13 |    59283 |    43032 |   114071      0 |    19714 |    26700
124.06/124.15	c  122s |      13 |    60102 |    43632 |   114071      0 |    19714 |    26700
126.46/126.50	c  124s |      13 |    60911 |    44232 |   114071      0 |    19714 |    26700
128.55/128.66	c  126s |      13 |    61608 |    44732 |   114071      0 |    19714 |    26700
130.86/131.00	c  129s |      13 |    62458 |    45332 |   114071      0 |    19714 |    26700
133.35/133.42	c  131s |      13 |    63235 |    45932 |   114071      0 |    19714 |    26700
135.36/135.45	c  133s |      13 |    63869 |    46432 |   114071      0 |    19714 |    26700
137.56/137.67	c  135s |      13 |    64707 |    47032 |   114071      0 |    19714 |    26700
139.76/139.81	c  137s |      13 |    65337 |    47532 |   114071      0 |    19714 |    26700
142.05/142.18	c  140s |      13 |    66082 |    48132 |   114071      0 |    19714 |    26700
144.35/144.48	c  142s |      13 |    66888 |    48732 |   114071      0 |    19714 |    26700
146.45/146.50	c  144s |      13 |    67563 |    49232 |   114071      0 |    19714 |    26700
148.65/148.71	c  146s |      13 |    68172 |    49732 |   114071      0 |    19714 |    26700
150.95/151.01	c  149s |      13 |    68803 |    50232 |   114071      0 |    19714 |    26700
153.15/153.22	c  151s |      13 |    69467 |    50732 |   114071      0 |    19714 |    26700
155.65/155.72	c  153s |      13 |    70054 |    51232 |   114071      0 |    19714 |    26700
157.75/157.89	c  156s |      13 |    70681 |    51732 |   114071      0 |    19714 |    26700
160.15/160.28	c  158s |      13 |    71337 |    52232 |   114071      0 |    19714 |    26700
162.55/162.65	c  160s |      13 |    71982 |    52732 |   114071      0 |    19714 |    26700
164.55/164.68	c  162s |      13 |    72492 |    53132 |   114071      0 |    19714 |    26700
166.94/167.04	c  165s |      13 |    73177 |    53632 |   114071      0 |    19714 |    26700
169.04/169.18	c  167s |      13 |    73906 |    54132 |   114071      0 |    19714 |    26700
171.34/171.43	c  169s |      13 |    74543 |    54632 |   114071      0 |    19714 |    26700
173.54/173.67	c  171s |      13 |    75227 |    55132 |   114071      0 |    19714 |    26700
175.84/175.93	c  174s |      13 |    75885 |    55632 |   114071      0 |    19714 |    26700
177.94/178.00	c  176s |      13 |    76578 |    56132 |   114071      0 |    19714 |    26700
180.04/180.17	c  178s |      13 |    77258 |    56632 |   114071      0 |    19714 |    26700
182.24/182.31	c  180s |      13 |    77934 |    57132 |   114071      0 |    19714 |    26700
184.24/184.38	c  182s |      13 |    78712 |    57632 |   114071      0 |    19714 |    26700
186.64/186.70	c  184s |      13 |    79627 |    58232 |   125479      0 |    19714 |    26700
187.24/187.34	c  185s |      14 |    79769 |    58352 |   125479      0 |    19714 |    26700
189.54/189.68	c  187s |      14 |    80582 |    58852 |   125479      0 |    19714 |    26700
191.93/192.06	c  190s |      14 |    81361 |    59452 |   125479      0 |    19714 |    26700
194.03/194.16	c  192s |      14 |    82188 |    60052 |   125479      0 |    19714 |    26700
196.14/196.25	c  194s |      14 |    83037 |    60652 |   125479      0 |    19714 |    26700
198.34/198.42	c  196s |      14 |    83752 |    61152 |   125479      0 |    19714 |    26700
200.64/200.70	c  198s |      14 |    84535 |    61752 |   125479      0 |    19714 |    26700
202.74/202.85	c  201s |      14 |    85366 |    62352 |   125479      0 |    19714 |    26700
204.84/204.98	c  203s |      14 |    86428 |    63052 |   125479      0 |    19714 |    26700
207.04/207.12	c  205s |      14 |    87229 |    63652 |   125479      0 |    19714 |    26700
209.05/209.13	c  207s |      14 |    87983 |    64252 |   125479      0 |    19714 |    26700
211.34/211.42	c  209s |      14 |    88934 |    64952 |   125479      0 |    19714 |    26700
213.45/213.52	c  211s |      14 |    90283 |    65852 |   125479      0 |    19714 |    26700
215.55/215.62	c  213s |      14 |    91513 |    66752 |   125479      0 |    19714 |    26700
217.74/217.90	c  216s |      14 |    92692 |    67652 |   125479      0 |    19714 |    26700
219.94/220.03	c  218s |      14 |    93798 |    68452 |   125479      0 |    19714 |    26700
222.04/222.20	c  220s |      14 |    94980 |    69252 |   125479      0 |    19714 |    26700
224.44/224.55	c  222s |      14 |    96126 |    70052 |   125479      0 |    19714 |    26700
226.54/226.63	c  224s |      14 |    96974 |    70652 |   125479      0 |    19714 |    26700
228.74/228.86	c  227s |      14 |    97987 |    71352 |   125479      0 |    19714 |    26700
230.83/231.00	c  229s |      14 |    98742 |    71952 |   125479      0 |    19714 |    26700
233.14/233.22	c  231s |      14 |    99669 |    72652 |   125479      0 |    19714 |    26700
235.34/235.44	c  233s |      14 |   100427 |    73252 |   125479      0 |    19714 |    26700
237.54/237.66	c  235s |      14 |   101190 |    73852 |   125479      0 |    19714 |    26700
239.53/239.67	c  237s |      14 |   101789 |    74352 |   125479      0 |    19714 |    26700
241.83/241.90	c  240s |      14 |   102500 |    74952 |   125479      0 |    19714 |    26700
243.93/244.04	c  242s |      14 |   103239 |    75552 |   125479      0 |    19714 |    26700
246.23/246.33	c  244s |      14 |   103968 |    76152 |   125479      0 |    19714 |    26700
248.33/248.45	c  246s |      14 |   104811 |    76852 |   125479      0 |    19714 |    26700
250.33/250.47	c  248s |      14 |   105543 |    77452 |   125479      0 |    19714 |    26700
252.53/252.69	c  250s |      14 |   106240 |    78052 |   125479      0 |    19714 |    26700
254.82/254.95	c  253s |      14 |   106967 |    78652 |   125479      0 |    19714 |    26700
257.22/257.35	c  255s |      14 |   107844 |    79352 |   125479      0 |    19714 |    26700
259.53/259.65	c  257s |      14 |   108605 |    79952 |   125479      0 |    19714 |    26700
261.83/261.99	c  260s |      14 |   109308 |    80552 |   125479      0 |    19714 |    26700
264.22/264.30	c  262s |      14 |   110087 |    81152 |   125479      0 |    19714 |    26700
266.22/266.36	c  264s |      14 |   110825 |    81752 |   125479      0 |    19714 |    26700
268.42/268.52	c  266s |      14 |   111679 |    82452 |   125479      0 |    19714 |    26700
270.82/270.90	c  269s |      14 |   112385 |    83052 |   125479      0 |    19714 |    26700
272.82/272.97	c  271s |      14 |   113111 |    83552 |   125479      0 |    19714 |    26700
274.92/275.01	c  273s |      14 |   113778 |    84052 |   125479      0 |    19714 |    26700
277.12/277.27	c  275s |      14 |   114363 |    84552 |   125479      0 |    19714 |    26700
279.51/279.69	c  277s |      14 |   115075 |    85152 |   125479      0 |    19714 |    26700
281.81/281.90	c  280s |      14 |   115678 |    85652 |   125479      0 |    19714 |    26700
284.11/284.21	c  282s |      14 |   116413 |    86252 |   125479      0 |    19714 |    26700
286.11/286.23	c  284s |      14 |   117243 |    86852 |   125479      0 |    19714 |    26700
288.31/288.46	c  286s |      14 |   118107 |    87552 |   138027      0 |    19714 |    26700
288.61/288.79	c  286s |      15 |   118207 |    87632 |   138027      0 |    19714 |    26700
291.01/291.10	c  289s |      15 |   119182 |    88232 |   138027      0 |    19714 |    26700
293.31/293.42	c  291s |      15 |   120165 |    88932 |   138027      0 |    19714 |    26700
295.51/295.65	c  293s |      15 |   121117 |    89532 |   138027      0 |    19714 |    26700
297.80/297.99	c  296s |      15 |   121948 |    90132 |   138027      0 |    19714 |    26700
300.10/300.27	c  298s |      15 |   122714 |    90732 |   138027      0 |    19714 |    26700
302.20/302.39	c  300s |      15 |   123796 |    91432 |   138027      0 |    19714 |    26700
304.61/304.80	c  302s |      15 |   124860 |    92232 |   138027      0 |    19714 |    26700
306.70/306.85	c  304s |      15 |   125680 |    92832 |   138027      0 |    19714 |    26700
308.80/308.97	c  307s |      15 |   126470 |    93432 |   138027      0 |    19714 |    26700
311.10/311.20	c  309s |      15 |   127208 |    94032 |   138027      0 |    19714 |    26700
313.41/313.52	c  311s |      15 |   127998 |    94632 |   138027      0 |    19714 |    26700
315.50/315.62	c  313s |      15 |   128594 |    95132 |   138027      0 |    19714 |    26700
317.60/317.77	c  315s |      15 |   129350 |    95732 |   138027      0 |    19714 |    26700
319.80/319.97	c  318s |      15 |   129983 |    96232 |   138027      0 |    19714 |    26700
322.00/322.14	c  320s |      15 |   130607 |    96732 |   138027      0 |    19714 |    26700
324.19/324.32	c  322s |      15 |   131437 |    97332 |   138027      0 |    19714 |    26700
326.39/326.53	c  324s |      15 |   132233 |    97932 |   138027      0 |    19714 |    26700
328.69/328.86	c  327s |      15 |   133072 |    98532 |   138027      0 |    19714 |    26700
330.79/330.97	c  329s |      15 |   133843 |    99132 |   138027      0 |    19714 |    26700
333.09/333.20	c  331s |      15 |   134744 |    99732 |   138027      0 |    19714 |    26700
335.40/335.52	c  333s |      15 |   135421 |   100232 |   138027      0 |    19714 |    26700
337.60/337.76	c  335s |      15 |   136088 |   100732 |   138027      0 |    19714 |    26700
339.90/340.03	c  338s |      15 |   136732 |   101232 |   138027      0 |    19714 |    26700
342.19/342.39	c  340s |      15 |   137539 |   101832 |   138027      0 |    19714 |    26700
344.30/344.42	c  342s |      15 |   138157 |   102332 |   138027      0 |    19714 |    26700
346.28/346.44	c  344s |      15 |   138675 |   102732 |   138027      0 |    19714 |    26700
348.38/348.59	c  346s |      15 |   139353 |   103232 |   138027      0 |    19714 |    26700
350.89/351.08	c  349s |      15 |   139945 |   103732 |   138027      0 |    19714 |    26700
352.88/353.09	c  351s |      15 |   140475 |   104132 |   138027      0 |    19714 |    26700
355.19/355.32	c  353s |      15 |   141182 |   104632 |   138027      0 |    19714 |    26700
357.28/357.48	c  355s |      15 |   141852 |   105132 |   138027      0 |    19714 |    26700
359.38/359.55	c  357s |      15 |   142458 |   105632 |   138027      0 |    19714 |    26700
361.38/361.57	c  359s |      15 |   143126 |   106132 |   138027      0 |    19714 |    26700
363.48/363.61	c  361s |      15 |   143764 |   106632 |   138027      0 |    19714 |    26700
365.68/365.82	c  363s |      15 |   144399 |   107132 |   138027      0 |    19714 |    26700
368.08/368.23	c  366s |      15 |   145002 |   107632 |   138027      0 |    19714 |    26700
370.38/370.51	c  368s |      15 |   145654 |   108132 |   138027      0 |    19714 |    26700
372.68/372.84	c  370s |      15 |   146263 |   108632 |   138027      0 |    19714 |    26700
374.88/375.02	c  373s |      15 |   146882 |   109132 |   138027      0 |    19714 |    26700
377.18/377.31	c  375s |      15 |   147622 |   109732 |   138027      0 |    19714 |    26700
379.48/379.66	c  377s |      15 |   148372 |   110332 |   138027      0 |    19714 |    26700
381.77/381.91	c  380s |      15 |   149058 |   110832 |   138027      0 |    19714 |    26700
383.88/384.08	c  382s |      15 |   149685 |   111332 |   138027      0 |    19714 |    26700
386.27/386.45	c  384s |      15 |   150343 |   111832 |   138027      0 |    19714 |    26700
388.67/388.83	c  386s |      15 |   151014 |   112332 |   138027      0 |    19714 |    26700
391.17/391.32	c  389s |      15 |   151692 |   112832 |   138027      0 |    19714 |    26700
393.47/393.64	c  391s |      15 |   152334 |   113332 |   138027      0 |    19714 |    26700
395.87/396.04	c  394s |      15 |   152976 |   113832 |   138027      0 |    19714 |    26700
397.86/398.05	c  396s |      15 |   153554 |   114232 |   138027      0 |    19714 |    26700
400.16/400.34	c  398s |      15 |   154237 |   114732 |   138027      0 |    19714 |    26700
402.36/402.54	c  400s |      15 |   154907 |   115232 |   138027      0 |    19714 |    26700
404.66/404.83	c  402s |      15 |   155526 |   115732 |   138027      0 |    19714 |    26700
406.86/407.05	c  405s |      15 |   156180 |   116232 |   138027      0 |    19714 |    26700
409.35/409.52	c  407s |      15 |   156824 |   116732 |   138027      0 |    19714 |    26700
411.75/411.92	c  410s |      15 |   157464 |   117232 |   138027      0 |    19714 |    26700
414.05/414.22	c  412s |      15 |   157981 |   117632 |   138027      0 |    19714 |    26700
416.25/416.43	c  414s |      15 |   158507 |   118032 |   138027      0 |    19714 |    26700
418.65/418.89	c  417s |      15 |   159129 |   118532 |   138027      0 |    19714 |    26700
421.05/421.20	c  419s |      15 |   159968 |   119132 |   138027      0 |    19714 |    26700
423.35/423.58	c  421s |      15 |   160702 |   119732 |   138027      0 |    19714 |    26700
425.65/425.83	c  423s |      15 |   161349 |   120232 |   138027      0 |    19714 |    26700
428.04/428.22	c  426s |      15 |   161998 |   120732 |   138027      0 |    19714 |    26700
430.05/430.28	c  428s |      15 |   162497 |   121132 |   138027      0 |    19714 |    26700
432.44/432.63	c  430s |      15 |   163146 |   121632 |   138027      0 |    19714 |    26700
434.54/434.75	c  432s |      15 |   163636 |   122032 |   138027      0 |    19714 |    26700
436.94/437.18	c  435s |      15 |   164269 |   122532 |   138027      0 |    19714 |    26700
439.04/439.29	c  437s |      15 |   164728 |   122932 |   138027      0 |    19714 |    26700
441.44/441.64	c  439s |      15 |   165365 |   123432 |   138027      0 |    19714 |    26700
443.54/443.70	c  441s |      15 |   165887 |   123832 |   138027      0 |    19714 |    26700
445.64/445.87	c  444s |      15 |   166376 |   124232 |   138027      0 |    19714 |    26700
448.14/448.33	c  446s |      15 |   166996 |   124732 |   138027      0 |    19714 |    26700
450.54/450.71	c  448s |      15 |   167640 |   125232 |   138027      0 |    19714 |    26700
452.94/453.17	c  451s |      15 |   168298 |   125732 |   138027      0 |    19714 |    26700
455.43/455.60	c  453s |      15 |   168930 |   126232 |   138027      0 |    19714 |    26700
457.63/457.82	c  455s |      15 |   169585 |   126732 |   138027      0 |    19714 |    26700
459.83/460.04	c  458s |      15 |   170195 |   127232 |   138027      0 |    19714 |    26700
461.84/462.09	c  460s |      15 |   170681 |   127632 |   138027      0 |    19714 |    26700
464.04/464.28	c  462s |      15 |   171293 |   128132 |   138027      0 |    19714 |    26700
466.33/466.53	c  464s |      15 |   171961 |   128632 |   138027      0 |    19714 |    26700
468.53/468.79	c  466s |      15 |   172620 |   129132 |   138027      0 |    19714 |    26700
470.92/471.11	c  469s |      15 |   173255 |   129632 |   138027      0 |    19714 |    26700
473.32/473.53	c  471s |      15 |   173872 |   130132 |   138027      0 |    19714 |    26700
475.52/475.72	c  473s |      15 |   174387 |   130532 |   138027      0 |    19714 |    26700
477.72/477.92	c  476s |      15 |   174898 |   130932 |   151830      0 |    19714 |    26700
479.72/479.93	c  478s |      15 |   175394 |   131332 |   151830      0 |    19714 |    26700
480.92/481.18	c  479s |      16 |   175658 |   131552 |   151830      0 |    19714 |    26700
483.22/483.49	c  481s |      16 |   176129 |   131852 |   151830      0 |    19714 |    26700
485.42/485.67	c  483s |      16 |   176843 |   132352 |   151830      0 |    19714 |    26700
487.82/488.01	c  486s |      16 |   177607 |   132852 |   151830      0 |    19714 |    26700
489.82/490.02	c  488s |      16 |   178160 |   133252 |   151830      0 |    19714 |    26700
492.22/492.40	c  490s |      16 |   178943 |   133752 |   151830      0 |    19714 |    26700
494.32/494.59	c  492s |      16 |   179704 |   134252 |   151830      0 |    19714 |    26700
496.41/496.66	c  494s |      16 |   180527 |   134752 |   151830      0 |    19714 |    26700
498.81/499.02	c  497s |      16 |   181269 |   135252 |   151830      0 |    19714 |    26700
500.81/501.04	c  499s |      16 |   181979 |   135752 |   151830      0 |    19714 |    26700
503.31/503.50	c  501s |      16 |   182720 |   136252 |   151830      0 |    19714 |    26700
505.41/505.67	c  503s |      16 |   183229 |   136652 |   151830      0 |    19714 |    26700
507.50/507.75	c  505s |      16 |   183770 |   137052 |   151830      0 |    19714 |    26700
509.80/510.01	c  508s |      16 |   184298 |   137452 |   151830      0 |    19714 |    26700
511.80/512.07	c  510s |      16 |   184892 |   137852 |   151830      0 |    19714 |    26700
514.30/514.59	c  512s |      16 |   185602 |   138352 |   151830      0 |    19714 |    26700
516.50/516.76	c  514s |      16 |   186320 |   138852 |   151830      0 |    19714 |    26700
518.70/518.92	c  517s |      16 |   186863 |   139252 |   151830      0 |    19714 |    26700
520.80/521.05	c  519s |      16 |   187497 |   139652 |   151830      0 |    19714 |    26700
522.80/523.05	c  521s |      16 |   188015 |   140052 |   151830      0 |    19714 |    26700
524.90/525.10	c  523s |      16 |   188648 |   140552 |   151830      0 |    19714 |    26700
527.39/527.61	c  525s |      16 |   189294 |   141052 |   151830      0 |    19714 |    26700
529.79/530.03	c  528s |      16 |   189971 |   141552 |   151830      0 |    19714 |    26700
531.89/532.15	c  530s |      16 |   190474 |   141952 |   151830      0 |    19714 |    26700
534.29/534.55	c  532s |      16 |   191224 |   142452 |   151830      0 |    19714 |    26700
536.59/536.85	c  535s |      16 |   191780 |   142852 |   151830      0 |    19714 |    26700
538.98/539.29	c  537s |      16 |   192436 |   143352 |   151830      0 |    19714 |    26700
541.28/541.54	c  539s |      16 |   193160 |   143852 |   151830      0 |    19714 |    26700
543.38/543.67	c  541s |      16 |   193722 |   144252 |   151830      0 |    19714 |    26700
545.78/546.05	c  544s |      16 |   194451 |   144752 |   151830      0 |    19714 |    26700
547.78/548.09	c  546s |      16 |   194931 |   145152 |   151830      0 |    19714 |    26700
550.38/550.61	c  548s |      16 |   195538 |   145652 |   151830      0 |    19714 |    26700
552.38/552.62	c  550s |      16 |   196127 |   146052 |   151830      0 |    19714 |    26700
554.78/555.02	c  553s |      16 |   196748 |   146552 |   151830      0 |    19714 |    26700
557.17/557.44	c  555s |      16 |   197348 |   147052 |   151830      0 |    19714 |    26700
559.47/559.72	c  557s |      16 |   197839 |   147452 |   151830      0 |    19714 |    26700
561.67/561.94	c  560s |      16 |   198358 |   147852 |   151830      0 |    19714 |    26700
563.87/564.14	c  562s |      16 |   198890 |   148252 |   151830      0 |    19714 |    26700
565.97/566.26	c  564s |      16 |   199461 |   148652 |   151830      0 |    19714 |    26700
568.07/568.34	c  566s |      16 |   199816 |   148952 |   151830      0 |    19714 |    26700
570.07/570.34	c  568s |      16 |   200200 |   149252 |   151830      0 |    19714 |    26700
572.67/572.97	c  571s |      16 |   200729 |   149652 |   151830      0 |    19714 |    26700
574.97/575.21	c  573s |      16 |   201227 |   150052 |   151830      0 |    19714 |    26700
576.96/577.21	c  575s |      16 |   201696 |   150352 |   151830      0 |    19714 |    26700
579.66/579.96	c  578s |      16 |   202269 |   150752 |   151830      0 |    19714 |    26700
581.76/582.02	c  580s |      16 |   202665 |   151052 |   151830      0 |    19714 |    26700
584.36/584.60	c  582s |      16 |   203213 |   151452 |   151830      0 |    19714 |    26700
586.55/586.85	c  584s |      16 |   203594 |   151752 |   151830      0 |    19714 |    26700
588.75/589.04	c  587s |      16 |   203947 |   152052 |   151830      0 |    19714 |    26700
590.95/591.23	c  589s |      16 |   204313 |   152352 |   151830      0 |    19714 |    26700
593.05/593.30	c  591s |      16 |   204668 |   152652 |   151830      0 |    19714 |    26700
595.65/595.99	c  594s |      16 |   205155 |   153052 |   151830      0 |    19714 |    26700
598.35/598.69	c  596s |      16 |   205629 |   153452 |   151830      0 |    19714 |    26700
600.35/600.70	c  598s |      16 |   206007 |   153752 |   151830      0 |    19714 |    26700
602.85/603.10	c  601s |      16 |   206517 |   154152 |   151830      0 |    19714 |    26700
605.05/605.34	c  603s |      16 |   206998 |   154552 |   151830      0 |    19714 |    26700
607.34/607.68	c  605s |      16 |   207693 |   155052 |   151830      0 |    19714 |    26700
609.84/610.11	c  608s |      16 |   208252 |   155452 |   151830      0 |    19714 |    26700
612.04/612.38	c  610s |      16 |   208784 |   155852 |   151830      0 |    19714 |    26700
614.44/614.72	c  612s |      16 |   209309 |   156252 |   151830      0 |    19714 |    26700
616.64/616.92	c  615s |      16 |   209890 |   156752 |   151830      0 |    19714 |    26700
618.64/618.95	c  617s |      16 |   210276 |   157052 |   151830      0 |    19714 |    26700
620.74/621.05	c  619s |      16 |   210787 |   157452 |   151830      0 |    19714 |    26700
623.04/623.30	c  621s |      16 |   211279 |   157852 |   151830      0 |    19714 |    26700
625.24/625.52	c  623s |      16 |   211682 |   158152 |   151830      0 |    19714 |    26700
627.44/627.70	c  625s |      16 |   212079 |   158452 |   151830      0 |    19714 |    26700
629.64/629.97	c  628s |      16 |   212597 |   158852 |   151830      0 |    19714 |    26700
632.14/632.41	c  630s |      16 |   213086 |   159252 |   151830      0 |    19714 |    26700
634.44/634.71	c  632s |      16 |   213631 |   159652 |   151830      0 |    19714 |    26700
636.93/637.22	c  635s |      16 |   214183 |   160052 |   151830      0 |    19714 |    26700
639.23/639.51	c  637s |      16 |   214799 |   160552 |   151830      0 |    19714 |    26700
641.73/642.00	c  640s |      16 |   215322 |   160952 |   151830      0 |    19714 |    26700
643.73/644.01	c  642s |      16 |   215692 |   161252 |   151830      0 |    19714 |    26700
646.03/646.38	c  644s |      16 |   216047 |   161552 |   151830      0 |    19714 |    26700
648.62/648.92	c  647s |      16 |   216536 |   161952 |   151830      0 |    19714 |    26700
651.12/651.40	c  649s |      16 |   217034 |   162352 |   151830      0 |    19714 |    26700
653.32/653.69	c  651s |      16 |   217514 |   162752 |   151830      0 |    19714 |    26700
655.62/655.96	c  654s |      16 |   217975 |   163152 |   151830      0 |    19714 |    26700
658.12/658.44	c  656s |      16 |   218545 |   163652 |   151830      0 |    19714 |    26700
660.32/660.66	c  658s |      16 |   219035 |   164052 |   151830      0 |    19714 |    26700
662.72/663.02	c  661s |      16 |   219511 |   164452 |   151830      0 |    19714 |    26700
664.72/665.09	c  663s |      16 |   219857 |   164752 |   151830      0 |    19714 |    26700
667.21/667.51	c  665s |      16 |   220306 |   165152 |   151830      0 |    19714 |    26700
670.11/670.42	c  668s |      16 |   220666 |   165452 |   151830      0 |    19714 |    26700
672.11/672.46	c  670s |      16 |   221085 |   165752 |   151830      0 |    19714 |    26700
674.31/674.65	c  672s |      16 |   221513 |   166052 |   151830      0 |    19714 |    26700
676.40/676.79	c  674s |      16 |   221964 |   166352 |   151830      0 |    19714 |    26700
678.60/678.90	c  677s |      16 |   222377 |   166652 |   151830      0 |    19714 |    26700
680.71/681.03	c  679s |      16 |   222792 |   166952 |   151830      0 |    19714 |    26700
682.81/683.14	c  681s |      16 |   223180 |   167252 |   151830      0 |    19714 |    26700
685.30/685.69	c  683s |      16 |   223572 |   167552 |   151830      0 |    19714 |    26700
687.80/688.17	c  686s |      16 |   223974 |   167852 |   151830      0 |    19714 |    26700
690.20/690.56	c  688s |      16 |   224354 |   168152 |   151830      0 |    19714 |    26700
692.50/692.81	c  690s |      16 |   224786 |   168452 |   151830      0 |    19714 |    26700
694.80/695.15	c  693s |      16 |   225135 |   168752 |   151830      0 |    19714 |    26700
697.69/698.08	c  696s |      16 |   225511 |   169052 |   151830      0 |    19714 |    26700
700.19/700.58	c  698s |      16 |   226002 |   169352 |   151830      0 |    19714 |    26700
702.49/702.82	c  700s |      16 |   226387 |   169652 |   151830      0 |    19714 |    26700
704.69/705.00	c  703s |      16 |   226822 |   169952 |   151830      0 |    19714 |    26700
707.19/707.54	c  705s |      16 |   227343 |   170352 |   151830      0 |    19714 |    26700
709.39/709.75	c  707s |      16 |   227842 |   170752 |   151830      0 |    19714 |    26700
711.89/712.22	c  710s |      16 |   228422 |   171152 |   151830      0 |    19714 |    26700
714.29/714.65	c  712s |      16 |   228865 |   171452 |   151830      0 |    19714 |    26700
716.59/716.91	c  715s |      16 |   229237 |   171752 |   151830      0 |    19714 |    26700
719.10/719.45	c  717s |      16 |   229784 |   172152 |   151830      0 |    19714 |    26700
721.19/721.50	c  719s |      16 |   230151 |   172452 |   151830      0 |    19714 |    26700
723.50/723.88	c  722s |      16 |   230559 |   172752 |   151830      0 |    19714 |    26700
726.09/726.42	c  724s |      16 |   231118 |   173152 |   151830      0 |    19714 |    26700
728.39/728.76	c  726s |      16 |   231520 |   173452 |   151830      0 |    19714 |    26700
730.89/731.22	c  729s |      16 |   232073 |   173852 |   151830      0 |    19714 |    26700
733.19/733.59	c  731s |      16 |   232589 |   174252 |   151830      0 |    19714 |    26700
735.29/735.67	c  733s |      16 |   232992 |   174552 |   151830      0 |    19714 |    26700
737.49/737.84	c  735s |      16 |   233402 |   174852 |   151830      0 |    19714 |    26700
740.09/740.44	c  738s |      16 |   233791 |   175152 |   151830      0 |    19714 |    26700
742.29/742.62	c  740s |      16 |   234278 |   175452 |   151830      0 |    19714 |    26700
744.79/745.10	c  743s |      16 |   234699 |   175752 |   151830      0 |    19714 |    26700
747.39/747.75	c  745s |      16 |   235094 |   176052 |   151830      0 |    19714 |    26700
750.19/750.52	c  748s |      16 |   235580 |   176452 |   151830      0 |    19714 |    26700
752.48/752.85	c  750s |      16 |   235979 |   176752 |   151830      0 |    19714 |    26700
754.68/755.04	c  753s |      16 |   236390 |   177052 |   151830      0 |    19714 |    26700
757.08/757.41	c  755s |      16 |   236763 |   177352 |   151830      0 |    19714 |    26700
759.18/759.58	c  757s |      16 |   237202 |   177652 |   151830      0 |    19714 |    26700
762.88/763.20	c  761s |      16 |   237614 |   177952 |   151830      1 |    19714 |    26700
765.09/765.49	c  763s |      16 |   238172 |   178352 |   151830      1 |    19714 |    26700
767.19/767.54	c  765s |      16 |   238670 |   178752 |   151830      1 |    19714 |    26700
769.59/769.97	c  768s |      16 |   239204 |   179152 |   151830      1 |    19714 |    26700
771.68/772.01	c  770s |      16 |   239563 |   179452 |   151830      1 |    19714 |    26700
773.88/774.25	c  772s |      16 |   240076 |   179852 |   151830      1 |    19714 |    26700
776.48/776.83	c  774s |      16 |   240621 |   180252 |   151830      1 |    19714 |    26700
778.88/779.24	c  777s |      16 |   241118 |   180652 |   151830      1 |    19714 |    26700
781.38/781.71	c  779s |      16 |   241648 |   181052 |   151830      1 |    19714 |    26700
783.88/784.27	c  782s |      16 |   242173 |   181452 |   151830      1 |    19714 |    26700
785.98/786.34	c  784s |      16 |   242714 |   181852 |   151830      1 |    19714 |    26700
788.18/788.50	c  786s |      16 |   243290 |   182252 |   151830      1 |    19714 |    26700
790.88/791.20	c  789s |      16 |   243842 |   182652 |   151830      1 |    19714 |    26700
792.98/793.38	c  791s |      16 |   244378 |   183052 |   151830      1 |    19714 |    26700
795.28/795.66	c  793s |      16 |   244876 |   183452 |   151830      1 |    19714 |    26700
797.58/797.99	c  796s |      16 |   245410 |   183852 |   151830      1 |    19714 |    26700
799.78/800.13	c  798s |      16 |   245907 |   184252 |   151830      1 |    19714 |    26700
802.08/802.40	c  800s |      16 |   246384 |   184652 |   151830      1 |    19714 |    26700
804.08/804.43	c  802s |      16 |   246743 |   184952 |   151830      1 |    19714 |    26700
806.28/806.64	c  804s |      16 |   247251 |   185352 |   151830      1 |    19714 |    26700
808.48/808.87	c  807s |      16 |   247769 |   185752 |   151830      1 |    19714 |    26700
810.98/811.36	c  809s |      16 |   248268 |   186152 |   151830      1 |    19714 |    26700
813.08/813.48	c  811s |      16 |   248626 |   186452 |   151830      1 |    19714 |    26700
815.48/815.88	c  814s |      16 |   249188 |   186852 |   151830      1 |    19714 |    26700
817.88/818.24	c  816s |      16 |   249725 |   187252 |   151830      1 |    19714 |    26700
820.38/820.72	c  818s |      16 |   250220 |   187652 |   151830      1 |    19714 |    26700
822.88/823.22	c  821s |      16 |   250720 |   188052 |   151830      1 |    19714 |    26700
825.38/825.78	c  823s |      16 |   251233 |   188452 |   151830      1 |    19714 |    26700
827.68/828.09	c  826s |      16 |   251756 |   188852 |   151830      1 |    19714 |    26700
830.07/830.41	c  828s |      16 |   252292 |   189252 |   151830      1 |    19714 |    26700
832.17/832.55	c  830s |      16 |   252823 |   189652 |   151830      1 |    19714 |    26700
834.17/834.59	c  832s |      16 |   253401 |   190052 |   151830      1 |    19714 |    26700
836.27/836.62	c  834s |      16 |   253965 |   190452 |   151830      1 |    19714 |    26700
838.37/838.71	c  836s |      16 |   254527 |   190852 |   151830      1 |    19714 |    26700
840.97/841.30	c  839s |      16 |   255058 |   191252 |   151830      1 |    19714 |    26700
843.48/843.89	c  842s |      16 |   255562 |   191652 |   151830      1 |    19714 |    26700
845.58/845.94	c  844s |      16 |   255935 |   191952 |   151830      1 |    19714 |    26700
847.67/848.07	c  846s |      16 |   256321 |   192252 |   151830      1 |    19714 |    26700
849.77/850.12	c  848s |      16 |   256688 |   192552 |   151830      1 |    19714 |    26700
852.07/852.43	c  850s |      16 |   257080 |   192852 |   151830      1 |    19714 |    26700
854.67/855.04	c  853s |      16 |   257564 |   193252 |   151830      1 |    19714 |    26700
857.37/857.72	c  855s |      16 |   258036 |   193652 |   151830      1 |    19714 |    26700
859.67/860.04	c  858s |      16 |   258782 |   194152 |   151830      1 |    19714 |    26700
861.97/862.36	c  860s |      16 |   259367 |   194652 |   151830      1 |    19714 |    26700
864.87/865.22	c  863s |      16 |   259976 |   195152 |   151830      1 |    19714 |    26700
867.07/867.49	c  865s |      16 |   260351 |   195452 |   151830      1 |    19714 |    26700
869.47/869.86	c  868s |      16 |   260929 |   195852 |   151830      1 |    19714 |    26700
871.98/872.32	c  870s |      16 |   261407 |   196252 |   167013      1 |    19714 |    26700
873.97/874.38	c  872s |      16 |   261762 |   196552 |   167013      1 |    19714 |    26700
876.57/876.90	c  875s |      16 |   262275 |   196952 |   167013      1 |    19714 |    26700
878.77/879.13	c  877s |      16 |   262765 |   197352 |   167013      1 |    19714 |    26700
879.07/879.44	c  877s |      17 |   262867 |   197432 |   167013      1 |    19714 |    26700
881.17/881.53	c  879s |      17 |   263313 |   197732 |   167013      1 |    19714 |    26700
883.27/883.62	c  881s |      17 |   263873 |   198132 |   167013      1 |    19714 |    26700
885.27/885.67	c  883s |      17 |   264428 |   198532 |   167013      1 |    19714 |    26700
887.77/888.13	c  886s |      17 |   265048 |   199032 |   167013      1 |    19714 |    26700
889.86/890.26	c  888s |      17 |   265626 |   199432 |   167013      1 |    19714 |    26700
891.87/892.28	c  890s |      17 |   266154 |   199832 |   167013      1 |    19714 |    26700
893.86/894.29	c  892s |      17 |   266673 |   200232 |   167013      1 |    19714 |    26700
896.27/896.62	c  894s |      17 |   267299 |   200732 |   167013      1 |    19714 |    26700
898.76/899.12	c  897s |      17 |   268070 |   201332 |   167013      1 |    19714 |    26700
901.16/901.51	c  899s |      17 |   268665 |   201832 |   167013      1 |    19714 |    26700
903.36/903.75	c  901s |      17 |   269144 |   202232 |   167013      1 |    19714 |    26700
905.66/906.07	c  904s |      17 |   269741 |   202632 |   167013      1 |    19714 |    26700
907.66/908.07	c  906s |      17 |   270288 |   203032 |   167013      1 |    19714 |    26700
909.96/910.32	c  908s |      17 |   270790 |   203432 |   167013      1 |    19714 |    26700
911.96/912.35	c  910s |      17 |   271348 |   203832 |   167013      1 |    19714 |    26700
914.46/914.82	c  912s |      17 |   272040 |   204332 |   167013      1 |    19714 |    26700
916.56/916.92	c  915s |      17 |   272619 |   204732 |   167013      1 |    19714 |    26700
919.06/919.42	c  917s |      17 |   273268 |   205232 |   167013      1 |    19714 |    26700
921.16/921.53	c  919s |      17 |   273777 |   205632 |   167013      1 |    19714 |    26700
923.77/924.11	c  922s |      17 |   274286 |   206032 |   167013      1 |    19714 |    26700
926.26/926.62	c  924s |      17 |   274760 |   206432 |   167013      1 |    19714 |    26700
928.56/928.92	c  927s |      17 |   275260 |   206832 |   167013      1 |    19714 |    26700
931.06/931.44	c  929s |      17 |   275918 |   207332 |   167013      1 |    19714 |    26700
933.06/933.46	c  931s |      17 |   276458 |   207732 |   167013      1 |    19714 |    26700
935.26/935.68	c  933s |      17 |   276987 |   208132 |   167013      1 |    19714 |    26700
937.36/937.74	c  935s |      17 |   277485 |   208532 |   167013      1 |    19714 |    26700
939.86/940.21	c  938s |      17 |   277978 |   208932 |   167013      1 |    19714 |    26700
942.26/942.66	c  940s |      17 |   278497 |   209332 |   167013      1 |    19714 |    26700
944.36/944.72	c  942s |      17 |   278897 |   209632 |   167013      1 |    19714 |    26700
946.36/946.79	c  944s |      17 |   279319 |   209932 |   167013      1 |    19714 |    26700
948.65/949.02	c  947s |      17 |   279842 |   210332 |   167013      1 |    19714 |    26700
950.75/951.13	c  949s |      17 |   280359 |   210732 |   167013      1 |    19714 |    26700
953.25/953.62	c  951s |      17 |   281029 |   211232 |   167013      1 |    19714 |    26700
955.75/956.13	c  954s |      17 |   281652 |   211732 |   167013      1 |    19714 |    26700
958.35/958.70	c  956s |      17 |   282199 |   212132 |   167013      1 |    19714 |    26700
960.55/960.98	c  959s |      17 |   282733 |   212532 |   167013      1 |    19714 |    26700
962.85/963.20	c  961s |      17 |   283243 |   212932 |   167013      1 |    19714 |    26700
965.15/965.51	c  963s |      17 |   283718 |   213332 |   167013      1 |    19714 |    26700
967.35/967.74	c  965s |      17 |   284198 |   213732 |   167013      1 |    19714 |    26700
969.55/969.91	c  968s |      17 |   284698 |   214132 |   167013      1 |    19714 |    26700
971.65/972.06	c  970s |      17 |   285183 |   214532 |   167013      1 |    19714 |    26700
973.75/974.16	c  972s |      17 |   285677 |   214932 |   167013      1 |    19714 |    26700
975.85/976.29	c  974s |      17 |   286140 |   215332 |   167013      1 |    19714 |    26700
977.95/978.33	c  976s |      17 |   286627 |   215732 |   167013      1 |    19714 |    26700
980.15/980.55	c  978s |      17 |   287112 |   216132 |   167013      1 |    19714 |    26700
982.55/982.94	c  981s |      17 |   287710 |   216632 |   167013      1 |    19714 |    26700
984.95/985.30	c  983s |      17 |   288367 |   217132 |   167013      1 |    19714 |    26700
987.35/987.78	c  985s |      17 |   289017 |   217632 |   167013      1 |    19714 |    26700
989.65/990.09	c  988s |      17 |   289612 |   218132 |   167013      1 |    19714 |    26700
991.95/992.33	c  990s |      17 |   290081 |   218532 |   167013      1 |    19714 |    26700
994.25/994.69	c  992s |      17 |   290690 |   219032 |   167013      1 |    19714 |    26700
996.65/997.02	c  995s |      17 |   291265 |   219532 |   167013      1 |    19714 |    26700
998.85/999.21	c  997s |      17 |   291756 |   219932 |   167013      1 |    19714 |    26700
1000.85/1001.27	c  999s |      17 |   292246 |   220332 |   167013      1 |    19714 |    26700
1003.25/1003.67	c 1001s |      17 |   292876 |   220832 |   167013      1 |    19714 |    26700
1005.65/1006.03	c 1004s |      17 |   293366 |   221232 |   167013      1 |    19714 |    26700
1007.94/1008.37	c 1006s |      17 |   293844 |   221632 |   167013      1 |    19714 |    26700
1010.14/1010.55	c 1008s |      17 |   294342 |   222032 |   167013      1 |    19714 |    26700
1012.64/1013.00	c 1011s |      17 |   294927 |   222432 |   167013      1 |    19714 |    26700
1014.84/1015.28	c 1013s |      17 |   295465 |   222832 |   167013      1 |    19714 |    26700
1017.04/1017.40	c 1015s |      17 |   296029 |   223232 |   167013      1 |    19714 |    26700
1019.35/1019.74	c 1017s |      17 |   296519 |   223632 |   167013      1 |    19714 |    26700
1021.55/1021.93	c 1020s |      17 |   297022 |   224032 |   167013      1 |    19714 |    26700
1023.64/1024.07	c 1022s |      17 |   297599 |   224432 |   167013      1 |    19714 |    26700
1025.74/1026.15	c 1024s |      17 |   298106 |   224832 |   167013      1 |    19714 |    26700
1028.15/1028.54	c 1026s |      17 |   298756 |   225332 |   167013      1 |    19714 |    26700
1030.54/1030.97	c 1029s |      17 |   299383 |   225832 |   167013      1 |    19714 |    26700
1032.65/1033.00	c 1031s |      17 |   299741 |   226132 |   167013      1 |    19714 |    26700
1035.14/1035.51	c 1033s |      17 |   300211 |   226532 |   167013      1 |    19714 |    26700
1037.74/1038.13	c 1036s |      17 |   300716 |   226932 |   167013      1 |    19714 |    26700
1039.84/1040.28	c 1038s |      17 |   301079 |   227232 |   167013      1 |    19714 |    26700
1042.34/1042.76	c 1040s |      17 |   301575 |   227632 |   167013      1 |    19714 |    26700
1044.84/1045.26	c 1043s |      17 |   302065 |   228032 |   167013      1 |    19714 |    26700
1047.24/1047.67	c 1045s |      17 |   302548 |   228432 |   167013      1 |    19714 |    26700
1049.64/1050.04	c 1048s |      17 |   303013 |   228832 |   167013      1 |    19714 |    26700
1051.84/1052.28	c 1050s |      17 |   303514 |   229232 |   167013      1 |    19714 |    26700
1054.24/1054.60	c 1052s |      17 |   304050 |   229632 |   167013      1 |    19714 |    26700
1056.54/1056.90	c 1055s |      17 |   304555 |   230032 |   167013      1 |    19714 |    26700
1059.04/1059.44	c 1057s |      17 |   305039 |   230432 |   167013      1 |    19714 |    26700
1061.14/1061.55	c 1059s |      17 |   305436 |   230732 |   167013      1 |    19714 |    26700
1063.84/1064.22	c 1062s |      17 |   305903 |   231132 |   167013      1 |    19714 |    26700
1066.23/1066.68	c 1064s |      17 |   306387 |   231532 |   167013      1 |    19714 |    26700
1068.84/1069.23	c 1067s |      17 |   306881 |   231932 |   167013      1 |    19714 |    26700
1071.14/1071.59	c 1069s |      17 |   307393 |   232332 |   167013      1 |    19714 |    26700
1073.43/1073.81	c 1071s |      17 |   307816 |   232632 |   167013      1 |    19714 |    26700
1075.83/1076.28	c 1074s |      17 |   308313 |   233032 |   167013      1 |    19714 |    26700
1078.23/1078.64	c 1076s |      17 |   308690 |   233332 |   167013      1 |    19714 |    26700
1080.73/1081.16	c 1079s |      17 |   309206 |   233732 |   167013      1 |    19714 |    26700
1082.93/1083.35	c 1081s |      17 |   309592 |   234032 |   167013      1 |    19714 |    26700
1085.03/1085.41	c 1083s |      17 |   309967 |   234332 |   167013      1 |    19714 |    26700
1087.13/1087.56	c 1085s |      17 |   310341 |   234632 |   167013      1 |    19714 |    26700
1089.13/1089.56	c 1087s |      17 |   310727 |   234932 |   167013      1 |    19714 |    26700
1091.53/1091.95	c 1090s |      17 |   311085 |   235232 |   167013      1 |    19714 |    26700
1094.14/1094.53	c 1092s |      17 |   311606 |   235632 |   167013      1 |    19714 |    26700
1096.63/1097.01	c 1095s |      17 |   312079 |   236032 |   167013      1 |    19714 |    26700
1098.64/1099.08	c 1097s |      17 |   312446 |   236332 |   167013      1 |    19714 |    26700
1101.23/1101.68	c 1099s |      17 |   312959 |   236732 |   167013      1 |    19714 |    26700
1103.33/1103.78	c 1101s |      17 |   313333 |   237032 |   167013      1 |    19714 |    26700
1105.53/1105.93	c 1104s |      17 |   313848 |   237432 |   167013      1 |    19714 |    26700
1107.63/1108.04	c 1106s |      17 |   314199 |   237732 |   167013      1 |    19714 |    26700
1109.93/1110.31	c 1108s |      17 |   314593 |   238032 |   167013      1 |    19714 |    26700
1112.03/1112.47	c 1110s |      17 |   314960 |   238332 |   167013      1 |    19714 |    26700
1114.13/1114.50	c 1112s |      17 |   315355 |   238632 |   167013      1 |    19714 |    26700
1116.33/1116.75	c 1114s |      17 |   315729 |   238932 |   167013      1 |    19714 |    26700
1118.73/1119.14	c 1117s |      17 |   316113 |   239232 |   167013      1 |    19714 |    26700
1120.83/1121.22	c 1119s |      17 |   316487 |   239532 |   167013      1 |    19714 |    26700
1123.13/1123.59	c 1121s |      17 |   316898 |   239832 |   167013      1 |    19714 |    26700
1125.72/1126.13	c 1124s |      17 |   317311 |   240132 |   167013      1 |    19714 |    26700
1128.23/1128.60	c 1126s |      17 |   317672 |   240432 |   167013      1 |    19714 |    26700
1130.53/1130.91	c 1129s |      17 |   318082 |   240732 |   167013      1 |    19714 |    26700
1133.12/1133.55	c 1131s |      17 |   318447 |   241032 |   167013      1 |    19714 |    26700
1135.52/1135.90	c 1134s |      17 |   318835 |   241332 |   167013      1 |    19714 |    26700
1138.13/1138.53	c 1136s |      17 |   319180 |   241632 |   167013      1 |    19714 |    26700
1140.92/1141.38	c 1139s |      17 |   319562 |   241932 |   167013      1 |    19714 |    26700
1143.42/1143.86	c 1142s |      17 |   319944 |   242232 |   167013      1 |    19714 |    26700
1145.42/1145.89	c 1144s |      17 |   320315 |   242532 |   167013      1 |    19714 |    26700
1148.03/1148.43	c 1146s |      17 |   320662 |   242832 |   167013      1 |    19714 |    26700
1150.52/1150.91	c 1149s |      17 |   321009 |   243132 |   167013      1 |    19714 |    26700
1152.82/1153.29	c 1151s |      17 |   321392 |   243432 |   167013      1 |    19714 |    26700
1155.12/1155.56	c 1153s |      17 |   321750 |   243732 |   167013      1 |    19714 |    26700
1157.42/1157.81	c 1155s |      17 |   322130 |   244032 |   167013      1 |    19714 |    26700
1159.82/1160.25	c 1158s |      17 |   322517 |   244332 |   167013      1 |    19714 |    26700
1162.12/1162.52	c 1160s |      17 |   322911 |   244632 |   167013      1 |    19714 |    26700
1164.42/1164.85	c 1162s |      17 |   323276 |   244932 |   167013      1 |    19714 |    26700
1166.72/1167.16	c 1165s |      17 |   323658 |   245232 |   167013      1 |    19714 |    26700
1169.12/1169.57	c 1167s |      17 |   324022 |   245532 |   167013      1 |    19714 |    26700
1171.32/1171.73	c 1169s |      17 |   324389 |   245832 |   167013      1 |    19714 |    26700
1173.72/1174.15	c 1172s |      17 |   324792 |   246132 |   167013      1 |    19714 |    26700
1176.32/1176.75	c 1174s |      17 |   325322 |   246532 |   167013      1 |    19714 |    26700
1178.82/1179.21	c 1177s |      17 |   325678 |   246832 |   167013      1 |    19714 |    26700
1181.02/1181.47	c 1179s |      17 |   326057 |   247132 |   167013      1 |    19714 |    26700
1183.51/1183.95	c 1182s |      17 |   326412 |   247432 |   167013      1 |    19714 |    26700
1185.71/1186.15	c 1184s |      17 |   326791 |   247732 |   167013      1 |    19714 |    26700
1188.11/1188.59	c 1186s |      17 |   327176 |   248032 |   167013      1 |    19714 |    26700
1190.41/1190.83	c 1188s |      17 |   327611 |   248332 |   167013      1 |    19714 |    26700
1192.71/1193.13	c 1191s |      17 |   328013 |   248632 |   167013      1 |    19714 |    26700
1194.91/1195.36	c 1193s |      17 |   328416 |   248932 |   167013      1 |    19714 |    26700
1197.01/1197.47	c 1195s |      17 |   328805 |   249232 |   167013      1 |    19714 |    26700
1199.21/1199.68	c 1197s |      17 |   329194 |   249532 |   167013      1 |    19714 |    26700
1201.51/1201.95	c 1200s |      17 |   329577 |   249832 |   167013      1 |    19714 |    26700
1203.61/1204.03	c 1202s |      17 |   329957 |   250132 |   167013      1 |    19714 |    26700
1205.81/1206.28	c 1204s |      17 |   330344 |   250432 |   167013      1 |    19714 |    26700
1208.11/1208.54	c 1206s |      17 |   330745 |   250732 |   167013      1 |    19714 |    26700
1210.61/1211.09	c 1209s |      17 |   331141 |   251032 |   167013      1 |    19714 |    26700
1213.21/1213.60	c 1211s |      17 |   331521 |   251332 |   167013      1 |    19714 |    26700
1215.51/1215.95	c 1214s |      17 |   331912 |   251632 |   167013      1 |    19714 |    26700
1217.91/1218.33	c 1216s |      17 |   332301 |   251932 |   167013      1 |    19714 |    26700
1220.31/1220.79	c 1218s |      17 |   332684 |   252232 |   167013      1 |    19714 |    26700
1222.71/1223.17	c 1221s |      17 |   333038 |   252532 |   167013      1 |    19714 |    26700
1225.31/1225.77	c 1223s |      17 |   333388 |   252832 |   167013      1 |    19714 |    26700
1227.91/1228.36	c 1226s |      17 |   333800 |   253132 |   167013      1 |    19714 |    26700
1230.11/1230.58	c 1228s |      17 |   334192 |   253432 |   167013      1 |    19714 |    26700
1232.71/1233.11	c 1231s |      17 |   334719 |   253832 |   167013      1 |    19714 |    26700
1234.71/1235.17	c 1233s |      17 |   335129 |   254132 |   167013      1 |    19714 |    26700
1236.91/1237.35	c 1235s |      17 |   335572 |   254432 |   167013      1 |    19714 |    26700
1239.31/1239.80	c 1237s |      17 |   335956 |   254732 |   167013      1 |    19714 |    26700
1241.81/1242.22	c 1240s |      17 |   336353 |   255032 |   167013      1 |    19714 |    26700
1244.20/1244.62	c 1242s |      17 |   336745 |   255332 |   167013      1 |    19714 |    26700
1246.50/1246.94	c 1245s |      17 |   337119 |   255632 |   167013      1 |    19714 |    26700
1248.90/1249.34	c 1247s |      17 |   337543 |   255932 |   167013      1 |    19714 |    26700
1251.00/1251.47	c 1249s |      17 |   337947 |   256232 |   167013      1 |    19714 |    26700
1253.30/1253.78	c 1251s |      17 |   338332 |   256532 |   167013      1 |    19714 |    26700
1255.70/1256.15	c 1254s |      17 |   338704 |   256832 |   167013      1 |    19714 |    26700
1258.01/1258.50	c 1256s |      17 |   339101 |   257132 |   167013      1 |    19714 |    26700
1261.00/1261.44	c 1259s |      17 |   339458 |   257432 |   167013      1 |    19714 |    26700
1263.61/1264.07	c 1262s |      17 |   339828 |   257732 |   167013      1 |    19714 |    26700
1266.20/1266.65	c 1264s |      17 |   340203 |   258032 |   167013      1 |    19714 |    26700
1268.70/1269.12	c 1267s |      17 |   340571 |   258332 |   167013      1 |    19714 |    26700
1271.10/1271.57	c 1269s |      17 |   340963 |   258632 |   167013      1 |    19714 |    26700
1273.30/1273.73	c 1271s |      17 |   341376 |   258932 |   167013      1 |    19714 |    26700
1275.40/1275.81	c 1273s |      17 |   341770 |   259232 |   167013      1 |    19714 |    26700
1277.40/1277.86	c 1276s |      17 |   342130 |   259532 |   167013      1 |    19714 |    26700
1279.90/1280.32	c 1278s |      17 |   342530 |   259832 |   167013      1 |    19714 |    26700
1282.50/1282.99	c 1281s |      17 |   342926 |   260132 |   167013      1 |    19714 |    26700
1285.00/1285.47	c 1283s |      17 |   343306 |   260432 |   167013      1 |    19714 |    26700
1287.50/1287.90	c 1286s |      17 |   343651 |   260732 |   167013      1 |    19714 |    26700
1290.10/1290.54	c 1288s |      17 |   344062 |   261032 |   167013      1 |    19714 |    26700
1292.70/1293.19	c 1291s |      17 |   344430 |   261332 |   167013      1 |    19714 |    26700
1295.40/1295.85	c 1293s |      17 |   344821 |   261632 |   167013      1 |    19714 |    26700
1297.80/1298.28	c 1296s |      17 |   345329 |   262032 |   167013      1 |    19714 |    26700
1300.10/1300.54	c 1298s |      17 |   345699 |   262332 |   167013      1 |    19714 |    26700
1302.40/1302.89	c 1301s |      17 |   346057 |   262632 |   167013      1 |    19714 |    26700
1304.69/1305.12	c 1303s |      17 |   346451 |   262932 |   167013      1 |    19714 |    26700
1307.29/1307.77	c 1305s |      17 |   346817 |   263232 |   167013      1 |    19714 |    26700
1309.70/1310.18	c 1308s |      17 |   347196 |   263532 |   167013      1 |    19714 |    26700
1312.29/1312.72	c 1310s |      17 |   347581 |   263832 |   167013      1 |    19714 |    26700
1314.89/1315.30	c 1313s |      17 |   347976 |   264132 |   167013      1 |    19714 |    26700
1317.59/1318.07	c 1316s |      17 |   348371 |   264432 |   167013      1 |    19714 |    26700
1319.70/1320.12	c 1318s |      17 |   348604 |   264632 |   167013      1 |    19714 |    26700
1322.49/1322.99	c 1321s |      17 |   348964 |   264932 |   167013      1 |    19714 |    26700
1325.29/1325.78	c 1323s |      17 |   349341 |   265232 |   167013      1 |    19714 |    26700
1327.49/1327.96	c 1326s |      17 |   349730 |   265532 |   167013      1 |    19714 |    26700
1329.99/1330.43	c 1328s |      17 |   350162 |   265832 |   167013      1 |    19714 |    26700
1332.69/1333.16	c 1331s |      17 |   350577 |   266132 |   167013      1 |    19714 |    26700
1335.49/1335.90	c 1334s |      17 |   351008 |   266432 |   167013      1 |    19714 |    26700
1338.09/1338.54	c 1336s |      17 |   351433 |   266732 |   167013      1 |    19714 |    26700
1340.50/1341.00	c 1339s |      17 |   351808 |   267032 |   167013      1 |    19714 |    26700
1343.09/1343.57	c 1341s |      17 |   352204 |   267332 |   167013      1 |    19714 |    26700
1345.69/1346.18	c 1344s |      17 |   352626 |   267632 |   167013      1 |    19714 |    26700
1348.49/1348.94	c 1347s |      17 |   353001 |   267932 |   167013      1 |    19714 |    26700
1351.19/1351.64	c 1349s |      17 |   353387 |   268232 |   167013      1 |    19714 |    26700
1353.79/1354.21	c 1352s |      17 |   353761 |   268532 |   167013      1 |    19714 |    26700
1356.59/1357.05	c 1355s |      17 |   354153 |   268832 |   167013      1 |    19714 |    26700
1358.59/1359.07	c 1357s |      17 |   354379 |   269032 |   167013      1 |    19714 |    26700
1361.19/1361.68	c 1359s |      17 |   354778 |   269332 |   167013      1 |    19714 |    26700
1363.89/1364.36	c 1362s |      17 |   355143 |   269632 |   167013      1 |    19714 |    26700
1366.29/1366.79	c 1364s |      17 |   355542 |   269932 |   167013      1 |    19714 |    26700
1369.38/1369.84	c 1367s |      17 |   355874 |   270232 |   167013      1 |    19714 |    26700
1371.48/1371.93	c 1370s |      17 |   356116 |   270432 |   167013      1 |    19714 |    26700
1373.59/1374.05	c 1372s |      17 |   356391 |   270632 |   167013      1 |    19714 |    26700
1376.29/1376.78	c 1374s |      17 |   356772 |   270932 |   167013      1 |    19714 |    26700
1379.10/1379.58	c 1377s |      17 |   357188 |   271232 |   167013      1 |    19714 |    26700
1381.79/1382.28	c 1380s |      17 |   357616 |   271532 |   167013      1 |    19714 |    26700
1384.29/1384.70	c 1382s |      17 |   357996 |   271832 |   167013      1 |    19714 |    26700
1386.49/1386.91	c 1385s |      17 |   358217 |   272032 |   167013      1 |    19714 |    26700
1389.19/1389.63	c 1387s |      17 |   358738 |   272432 |   167013      1 |    19714 |    26700
1392.09/1392.55	c 1390s |      17 |   359095 |   272732 |   167013      1 |    19714 |    26700
1394.69/1395.12	c 1393s |      17 |   359492 |   273032 |   167013      1 |    19714 |    26700
1397.29/1397.73	c 1395s |      17 |   359832 |   273332 |   167013      1 |    19714 |    26700
1399.79/1400.25	c 1398s |      17 |   360201 |   273632 |   167013      1 |    19714 |    26700
1402.69/1403.11	c 1401s |      17 |   360558 |   273932 |   167013      1 |    19714 |    26700
1405.19/1405.63	c 1403s |      17 |   360929 |   274232 |   167013      1 |    19714 |    26700
1407.59/1408.05	c 1406s |      17 |   361273 |   274532 |   167013      1 |    19714 |    26700
1410.19/1410.66	c 1408s |      17 |   361644 |   274832 |   167013      1 |    19714 |    26700
1412.99/1413.42	c 1411s |      17 |   362012 |   275132 |   167013      1 |    19714 |    26700
1415.89/1416.34	c 1414s |      17 |   362350 |   275432 |   167013      1 |    19714 |    26700
1418.69/1419.11	c 1417s |      17 |   362704 |   275732 |   167013      1 |    19714 |    26700
1420.69/1421.17	c 1419s |      17 |   362944 |   275932 |   167013      1 |    19714 |    26700
1423.78/1424.27	c 1422s |      17 |   363292 |   276232 |   167013      1 |    19714 |    26700
1426.68/1427.12	c 1425s |      17 |   363651 |   276532 |   167013      1 |    19714 |    26700
1428.88/1429.33	c 1427s |      17 |   364066 |   276832 |   167013      1 |    19714 |    26700
1431.38/1431.87	c 1430s |      17 |   364469 |   277132 |   167013      1 |    19714 |    26700
1433.99/1434.47	c 1432s |      17 |   364838 |   277432 |   167013      1 |    19714 |    26700
1436.58/1437.09	c 1435s |      17 |   365196 |   277732 |   167013      1 |    19714 |    26700
1439.28/1439.77	c 1437s |      17 |   365554 |   278032 |   167013      1 |    19714 |    26700
1441.79/1442.22	c 1440s |      17 |   365917 |   278332 |   167013      1 |    19714 |    26700
1444.18/1444.66	c 1442s |      17 |   366316 |   278632 |   167013      1 |    19714 |    26700
1446.78/1447.28	c 1445s |      17 |   366678 |   278932 |   167013      1 |    19714 |    26700
1449.49/1449.92	c 1448s |      17 |   367071 |   279232 |   167013      1 |    19714 |    26700
1451.98/1452.46	c 1450s |      17 |   367479 |   279532 |   167013      1 |    19714 |    26700
1454.58/1455.06	c 1453s |      17 |   368005 |   279932 |   167013      1 |    19714 |    26700
1456.68/1457.13	c 1455s |      17 |   368280 |   280132 |   167013      1 |    19714 |    26700
1458.68/1459.18	c 1457s |      17 |   368522 |   280332 |   167013      1 |    19714 |    26700
1461.28/1461.77	c 1459s |      17 |   368893 |   280632 |   167013      1 |    19714 |    26700
1464.28/1464.70	c 1462s |      17 |   369333 |   280932 |   167013      1 |    19714 |    26700
1467.08/1467.52	c 1465s |      17 |   369704 |   281232 |   167013      1 |    19714 |    26700
1471.28/1471.74	c 1469s |      17 |   369979 |   281432 |   167013      2 |    19714 |    26700
1473.78/1474.27	c 1472s |      17 |   370350 |   281732 |   167013      2 |    19714 |    26700
1476.28/1476.77	c 1474s |      17 |   370751 |   282032 |   167013      2 |    19714 |    26700
1478.48/1478.90	c 1477s |      17 |   371103 |   282332 |   167013      2 |    19714 |    26700
1480.98/1481.42	c 1479s |      17 |   371457 |   282632 |   167013      2 |    19714 |    26700
1483.58/1484.05	c 1482s |      17 |   371799 |   282932 |   167013      2 |    19714 |    26700
1486.08/1486.57	c 1484s |      17 |   372206 |   283232 |   167013      2 |    19714 |    26700
1488.48/1488.90	c 1487s |      17 |   372574 |   283532 |   167013      2 |    19714 |    26700
1490.48/1490.97	c 1489s |      17 |   372929 |   283832 |   167013      2 |    19714 |    26700
1492.68/1493.12	c 1491s |      17 |   373295 |   284132 |   167013      2 |    19714 |    26700
1494.77/1495.23	c 1493s |      17 |   373662 |   284432 |   167013      2 |    19714 |    26700
1496.97/1497.48	c 1495s |      17 |   374033 |   284732 |   167013      2 |    19714 |    26700
1499.17/1499.68	c 1497s |      17 |   374379 |   285032 |   167013      2 |    19714 |    26700
1501.27/1501.78	c 1499s |      17 |   374781 |   285332 |   167013      2 |    19714 |    26700
1503.38/1503.87	c 1502s |      17 |   375186 |   285632 |   167013      2 |    19714 |    26700
1505.97/1506.45	c 1504s |      17 |   375663 |   286032 |   167013      2 |    19714 |    26700
1508.37/1508.88	c 1507s |      17 |   376185 |   286432 |   167013      2 |    19714 |    26700
1510.67/1511.19	c 1509s |      17 |   376668 |   286832 |   167013      2 |    19714 |    26700
1513.37/1513.83	c 1511s |      17 |   377186 |   287232 |   167013      2 |    19714 |    26700
1515.57/1516.00	c 1514s |      17 |   377560 |   287532 |   167013      2 |    19714 |    26700
1517.68/1518.11	c 1516s |      17 |   377931 |   287832 |   167013      2 |    19714 |    26700
1519.88/1520.38	c 1518s |      17 |   378301 |   288132 |   167013      2 |    19714 |    26700
1522.17/1522.69	c 1520s |      17 |   378641 |   288432 |   167013      2 |    19714 |    26700
1524.37/1524.87	c 1523s |      17 |   379032 |   288732 |   167013      2 |    19714 |    26700
1526.77/1527.22	c 1525s |      17 |   379396 |   289032 |   167013      2 |    19714 |    26700
1528.97/1529.47	c 1527s |      17 |   379798 |   289332 |   167013      2 |    19714 |    26700
1531.37/1531.89	c 1530s |      17 |   380362 |   289732 |   167013      2 |    19714 |    26700
1533.87/1534.36	c 1532s |      17 |   380826 |   290132 |   167013      2 |    19714 |    26700
1536.07/1536.56	c 1534s |      17 |   381204 |   290432 |   167013      2 |    19714 |    26700
1538.27/1538.78	c 1536s |      17 |   381606 |   290732 |   167013      2 |    19714 |    26700
1540.97/1541.48	c 1539s |      17 |   382140 |   291132 |   167013      2 |    19714 |    26700
1543.07/1543.52	c 1541s |      17 |   382512 |   291432 |   167013      2 |    19714 |    26700
1545.07/1545.57	c 1543s |      17 |   382873 |   291732 |   167013      2 |    19714 |    26700
1547.37/1547.86	c 1546s |      17 |   383259 |   292032 |   167013      2 |    19714 |    26700
1550.07/1550.52	c 1548s |      17 |   383761 |   292432 |   167013      2 |    19714 |    26700
1552.57/1553.03	c 1551s |      17 |   384277 |   292832 |   167013      2 |    19714 |    26700
1554.57/1555.05	c 1553s |      17 |   384629 |   293132 |   167013      2 |    19714 |    26700
1556.87/1557.31	c 1555s |      17 |   384999 |   293432 |   167013      2 |    19714 |    26700
1558.87/1559.38	c 1557s |      17 |   385382 |   293732 |   167013      2 |    19714 |    26700
1560.96/1561.43	c 1559s |      17 |   385724 |   294032 |   167013      2 |    19714 |    26700
1562.96/1563.46	c 1561s |      17 |   386065 |   294332 |   183715      2 |    19714 |    26700
1565.16/1565.64	c 1563s |      17 |   386442 |   294632 |   183715      2 |    19714 |    26700
1567.46/1567.93	c 1566s |      17 |   386795 |   294932 |   183715      2 |    19714 |    26700
1569.66/1570.13	c 1568s |      17 |   387130 |   295232 |   183715      2 |    19714 |    26700
1572.36/1572.88	c 1571s |      17 |   387597 |   295632 |   183715      2 |    19714 |    26700
1574.87/1575.39	c 1573s |      17 |   387951 |   295932 |   183715      2 |    19714 |    26700
1577.07/1577.54	c 1575s |      17 |   388305 |   296232 |   183715      2 |    19714 |    26700
1577.26/1577.70	c 1575s |      18 |   388325 |   296252 |   183715      2 |    19714 |    26700
1579.36/1579.86	c 1578s |      18 |   388581 |   296452 |   183715      2 |    19714 |    26700
1581.76/1582.22	c 1580s |      18 |   388937 |   296752 |   183715      2 |    19714 |    26700
1584.46/1584.93	c 1583s |      18 |   389414 |   297152 |   183715      2 |    19714 |    26700
1586.76/1587.23	c 1585s |      18 |   389944 |   297552 |   183715      2 |    19714 |    26700
1589.17/1589.66	c 1587s |      18 |   390416 |   297952 |   183715      2 |    19714 |    26700
1592.06/1592.54	c 1590s |      18 |   390854 |   298352 |   183715      2 |    19714 |    26700
1594.06/1594.54	c 1592s |      18 |   391422 |   298752 |   183715      2 |    19714 |    26700
1596.46/1596.98	c 1595s |      18 |   391956 |   299152 |   183715      2 |    19714 |    26700
1598.76/1599.23	c 1597s |      18 |   392474 |   299552 |   183715      2 |    19714 |    26700
1600.96/1601.40	c 1599s |      18 |   393009 |   299952 |   183715      2 |    19714 |    26700
1603.26/1603.71	c 1601s |      18 |   393505 |   300352 |   183715      2 |    19714 |    26700
1605.26/1605.75	c 1603s |      18 |   394038 |   300752 |   183715      2 |    19714 |    26700
1607.76/1608.30	c 1606s |      18 |   394656 |   301252 |   183715      2 |    19714 |    26700
1610.16/1610.69	c 1608s |      18 |   395157 |   301652 |   183715      2 |    19714 |    26700
1612.56/1613.01	c 1611s |      18 |   395650 |   302052 |   183715      2 |    19714 |    26700
1614.76/1615.29	c 1613s |      18 |   396121 |   302452 |   183715      2 |    19714 |    26700
1617.16/1617.63	c 1615s |      18 |   396602 |   302852 |   183715      2 |    19714 |    26700
1619.35/1619.83	c 1617s |      18 |   397092 |   303252 |   183715      2 |    19714 |    26700
1621.65/1622.16	c 1620s |      18 |   397578 |   303652 |   183715      2 |    19714 |    26700
1624.26/1624.72	c 1622s |      18 |   398067 |   304052 |   183715      2 |    19714 |    26700
1626.75/1627.27	c 1625s |      18 |   398561 |   304452 |   183715      2 |    19714 |    26700
1629.35/1629.86	c 1628s |      18 |   399019 |   304852 |   183715      2 |    19714 |    26700
1631.65/1632.14	c 1630s |      18 |   399527 |   305252 |   183715      2 |    19714 |    26700
1633.95/1634.40	c 1632s |      18 |   400048 |   305652 |   183715      2 |    19714 |    26700
1636.36/1636.84	c 1634s |      18 |   400590 |   306052 |   183715      2 |    19714 |    26700
1638.56/1639.05	c 1637s |      18 |   401114 |   306452 |   183715      2 |    19714 |    26700
1640.76/1641.21	c 1639s |      18 |   401596 |   306852 |   183715      2 |    19714 |    26700
1643.06/1643.58	c 1641s |      18 |   402089 |   307252 |   183715      2 |    19714 |    26700
1645.45/1645.93	c 1644s |      18 |   402585 |   307652 |   183715      2 |    19714 |    26700
1648.05/1648.57	c 1646s |      18 |   403080 |   308052 |   183715      2 |    19714 |    26700
1650.25/1650.77	c 1648s |      18 |   403536 |   308452 |   183715      2 |    19714 |    26700
1652.55/1653.08	c 1651s |      18 |   404013 |   308852 |   183715      2 |    19714 |    26700
1655.05/1655.56	c 1653s |      18 |   404552 |   309252 |   183715      2 |    19714 |    26700
1657.65/1658.12	c 1656s |      18 |   405046 |   309652 |   183715      2 |    19714 |    26700
1660.15/1660.69	c 1658s |      18 |   405564 |   310052 |   183715      2 |    19714 |    26700
1662.85/1663.38	c 1661s |      18 |   406078 |   310452 |   183715      2 |    19714 |    26700
1665.05/1665.58	c 1663s |      18 |   406455 |   310752 |   183715      2 |    19714 |    26700
1667.15/1667.68	c 1665s |      18 |   406832 |   311052 |   183715      2 |    19714 |    26700
1669.65/1670.18	c 1668s |      18 |   407328 |   311452 |   183715      2 |    19714 |    26700
1671.94/1672.40	c 1670s |      18 |   407813 |   311852 |   183715      2 |    19714 |    26700
1673.94/1674.45	c 1672s |      18 |   408141 |   312152 |   183715      2 |    19714 |    26700
1676.14/1676.68	c 1674s |      18 |   408467 |   312452 |   183715      2 |    19714 |    26700
1678.25/1678.76	c 1676s |      18 |   408826 |   312752 |   183715      2 |    19714 |    26700
1680.84/1681.34	c 1679s |      18 |   409301 |   313152 |   183715      2 |    19714 |    26700
1683.04/1683.54	c 1681s |      18 |   409660 |   313452 |   183715      2 |    19714 |    26700
1685.04/1685.55	c 1683s |      18 |   410017 |   313752 |   183715      2 |    19714 |    26700
1687.44/1687.95	c 1686s |      18 |   410480 |   314152 |   183715      2 |    19714 |    26700
1689.94/1690.42	c 1688s |      18 |   411000 |   314552 |   183715      2 |    19714 |    26700
1692.34/1692.88	c 1691s |      18 |   411479 |   314952 |   183715      2 |    19714 |    26700
1694.84/1695.36	c 1693s |      18 |   412006 |   315352 |   183715      2 |    19714 |    26700
1697.14/1697.61	c 1695s |      18 |   412359 |   315652 |   183715      2 |    19714 |    26700
1699.34/1699.80	c 1697s |      18 |   412710 |   315952 |   183715      2 |    19714 |    26700
1701.94/1702.43	c 1700s |      18 |   413170 |   316352 |   183715      2 |    19714 |    26700
1704.14/1704.69	c 1702s |      18 |   413521 |   316652 |   183715      2 |    19714 |    26700
1706.84/1707.31	c 1705s |      18 |   413866 |   316952 |   183715      2 |    19714 |    26700
1708.84/1709.37	c 1707s |      18 |   414239 |   317252 |   183715      2 |    19714 |    26700
1711.24/1711.76	c 1709s |      18 |   414571 |   317552 |   183715      2 |    19714 |    26700
1713.74/1714.21	c 1712s |      18 |   414915 |   317852 |   183715      2 |    19714 |    26700
1716.34/1716.82	c 1714s |      18 |   415276 |   318152 |   183715      2 |    19714 |    26700
1718.44/1718.92	c 1717s |      18 |   415664 |   318452 |   183715      2 |    19714 |    26700
1720.94/1721.47	c 1719s |      18 |   416127 |   318852 |   183715      2 |    19714 |    26700
1723.54/1724.03	c 1722s |      18 |   416608 |   319252 |   183715      2 |    19714 |    26700
1725.54/1726.09	c 1724s |      18 |   416954 |   319552 |   183715      2 |    19714 |    26700
1727.74/1728.22	c 1726s |      18 |   417299 |   319852 |   183715      2 |    19714 |    26700
1730.43/1730.94	c 1729s |      18 |   417745 |   320252 |   183715      2 |    19714 |    26700
1732.43/1732.99	c 1731s |      18 |   418107 |   320552 |   183715      2 |    19714 |    26700
1734.83/1735.32	c 1733s |      18 |   418590 |   320952 |   183715      2 |    19714 |    26700
1737.13/1737.61	c 1735s |      18 |   419115 |   321352 |   183715      2 |    19714 |    26700
1739.63/1740.19	c 1738s |      18 |   419567 |   321752 |   183715      2 |    19714 |    26700
1742.23/1742.77	c 1740s |      18 |   420032 |   322152 |   183715      2 |    19714 |    26700
1744.63/1745.12	c 1743s |      18 |   420533 |   322552 |   183715      2 |    19714 |    26700
1746.73/1747.26	c 1745s |      18 |   420653 |   322652 |   183715      2 |    19714 |    26700
1749.33/1749.81	c 1747s |      18 |   421158 |   323052 |   183715      2 |    19714 |    26700
1751.53/1752.00	c 1750s |      18 |   421537 |   323352 |   183715      2 |    19714 |    26700
1753.83/1754.36	c 1752s |      18 |   422046 |   323752 |   183715      2 |    19714 |    26700
1756.13/1756.65	c 1754s |      18 |   422571 |   324152 |   183715      2 |    19714 |    26700
1758.53/1759.05	c 1757s |      18 |   423052 |   324552 |   183715      2 |    19714 |    26700
1760.73/1761.28	c 1759s |      18 |   423515 |   324952 |   183715      2 |    19714 |    26700
1763.23/1763.72	c 1761s |      18 |   424147 |   325452 |   183715      2 |    19714 |    26700
1765.63/1766.17	c 1764s |      18 |   424648 |   325852 |   183715      2 |    19714 |    26700
1767.73/1768.23	c 1766s |      18 |   425141 |   326252 |   183715      2 |    19714 |    26700
1769.73/1770.26	c 1768s |      18 |   425760 |   326752 |   183715      2 |    19714 |    26700
1772.12/1772.69	c 1770s |      18 |   426364 |   327252 |   183715      2 |    19714 |    26700
1774.22/1774.75	c 1772s |      18 |   426738 |   327552 |   183715      2 |    19714 |    26700
1776.32/1776.80	c 1774s |      18 |   427109 |   327852 |   183715      2 |    19714 |    26700
1778.42/1779.00	c 1777s |      18 |   427511 |   328152 |   183715      2 |    19714 |    26700
1780.62/1781.17	c 1779s |      18 |   427873 |   328452 |   183715      2 |    19714 |    26700
1783.22/1783.76	c 1781s |      18 |   428237 |   328752 |   183715      2 |    19714 |    26700
1785.62/1786.10	c 1784s |      18 |   428618 |   329052 |   183715      2 |    19714 |    26700
1787.72/1788.26	c 1786s |      18 |   428994 |   329352 |   183715      2 |    19714 |    26700
1790.33/1790.88	c 1789s |      18 |   429483 |   329752 |   183715      2 |    19714 |    26700
1792.53/1793.08	c 1791s |      18 |   429857 |   330052 |   183715      2 |    19714 |    26700
1794.83/1795.38	c 1793s |      18 |   430222 |   330352 |   183715      2 |    19714 |    26700
1797.22/1797.70	c 1795s |      18 |   430607 |   330652 |   183715      2 |    19714 |    26700
1799.42/1799.91	c 1798s |      18 |   431104 |   331052 |   183715      2 |    19714 |    26700

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

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

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


[startup+0 s]
/proc/loadavg: 2.30 2.22 2.19 3/179 8999
/proc/meminfo: memFree=29096060/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=776636 CPUtime=0 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 2906 0 0 0 0 0 0 0 20 0 4 0 109271184 795275264 3268 33554432000 4194304 16246674 140734823634928 140734823634352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 194671 3277 441 2943 0 191565 0
[pid=8999/tid=9000] ppid=8996 vsize=794044 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 813101056 3337 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=799164 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 818343936 3354 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=803260 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109271184 822538240 3370 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.30 2.22 2.19 3/179 8999
/proc/meminfo: memFree=29096060/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 25899 0 0 0 6 3 0 0 20 0 4 0 109271184 1333334016 26198 33554432000 4194304 16246674 140734823634928 140734823634240 7368729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 325521 26215 799 2943 0 322415 0
[pid=8999/tid=9000] ppid=8996 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1333334016 26226 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1333334016 26237 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1333334016 26248 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200547 s]
/proc/loadavg: 2.30 2.22 2.19 3/179 8999
/proc/meminfo: memFree=29096060/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 46700 0 0 0 13 6 0 0 20 0 4 0 109271184 1344868352 47510 33554432000 4194304 16246674 140734823634928 140734823634240 7393552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 328337 47510 800 2943 0 325231 0
[pid=8999/tid=9000] ppid=8996 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1344868352 47510 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1344868352 47510 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1344868352 47510 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300464 s]
/proc/loadavg: 2.30 2.22 2.19 3/179 8999
/proc/meminfo: memFree=29096060/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 56828 0 0 0 21 8 0 0 20 0 4 0 109271184 1344868352 57638 33554432000 4194304 16246674 140734823634928 140734823634240 13750945 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 328337 57638 800 2943 0 325231 0
[pid=8999/tid=9000] ppid=8996 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1344868352 57638 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1344868352 57638 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1344868352 57638 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700432 s]
/proc/loadavg: 2.30 2.22 2.19 3/179 8999
/proc/meminfo: memFree=29096060/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 64728 0 0 0 60 9 0 0 20 0 4 0 109271184 1344868352 65538 33554432000 4194304 16246674 140734823634928 140734823634240 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 328337 65538 806 2943 0 325231 0
[pid=8999/tid=9000] ppid=8996 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1344868352 65538 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1344868352 65538 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1344868352 65538 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.30 2.22 2.19 3/183 9003
/proc/meminfo: memFree=28668572/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1322564 CPUtime=1.49 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 176003 0 0 0 121 28 0 0 20 0 4 0 109271184 1354305536 176814 33554432000 4194304 16246674 140734823634928 140734823616832 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 330641 176823 839 2943 0 327535 0
[pid=8999/tid=9000] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 176829 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 176834 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 176839 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1322564

[startup+3.10041 s]
/proc/loadavg: 2.28 2.22 2.18 3/183 9003
/proc/meminfo: memFree=28289248/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1322564 CPUtime=3.09 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 232993 0 0 0 274 35 0 0 20 0 4 0 109271184 1354305536 233803 33554432000 4194304 16246674 140734823634928 140734823616832 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 330641 233809 884 2943 0 327535 0
[pid=8999/tid=9000] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 233812 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 233816 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 233819 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1322564

[startup+6.30044 s]
/proc/loadavg: 2.28 2.22 2.18 3/183 9003
/proc/meminfo: memFree=28007988/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1322564 CPUtime=6.29 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 271316 0 0 0 589 40 0 0 20 0 4 0 109271184 1354305536 272126 33554432000 4194304 16246674 140734823634928 140734823616832 12478249 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 330641 272126 891 2943 0 327535 0
[pid=8999/tid=9000] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272126 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272126 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272126 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1322564

[startup+12.7004 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 9003
/proc/meminfo: memFree=28008176/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1322564 CPUtime=12.69 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 271317 0 0 0 1229 40 0 0 20 0 4 0 109271184 1354305536 272127 33554432000 4194304 16246674 140734823634928 140734823616832 5672304 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 330641 272127 891 2943 0 327535 0
[pid=8999/tid=9000] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272127 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272127 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272127 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1322564

[startup+25.5005 s]
/proc/loadavg: 2.12 2.19 2.17 3/183 9052
/proc/meminfo: memFree=28272792/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1322564 CPUtime=25.48 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 271318 0 0 0 2508 40 0 0 20 0 4 0 109271184 1354305536 272128 33554432000 4194304 16246674 140734823634928 140734823616832 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 330641 272128 891 2943 0 327535 0
[pid=8999/tid=9000] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272128 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272128 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272128 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1322564

[startup+51.1005 s]
/proc/loadavg: 2.13 2.18 2.17 4/183 9052
/proc/meminfo: memFree=28273408/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1322564 CPUtime=51.08 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 271318 0 0 0 5068 40 0 0 20 0 4 0 109271184 1354305536 272128 33554432000 4194304 16246674 140734823634928 140734823616832 13820888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 330641 272128 891 2943 0 327535 0
[pid=8999/tid=9000] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272128 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272128 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272128 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1322564

[startup+102.301 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 9054
/proc/meminfo: memFree=28273748/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1322564 CPUtime=102.27 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 271333 0 0 0 10187 40 0 0 20 0 4 0 109271184 1354305536 272128 33554432000 4194304 16246674 140734823634928 140734823616832 5672056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 330641 272128 891 2943 0 327535 0
[pid=8999/tid=9000] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272128 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272128 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1354305536 272128 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1322564


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

/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1370034176 275971 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1337924

[startup+1362.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 9182
/proc/meminfo: memFree=28223516/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1337924 CPUtime=1361.89 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 275509 0 0 0 136147 42 0 0 20 0 4 0 109271184 1370034176 275971 33554432000 4194304 16246674 140734823634928 140734823616832 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 334481 275971 892 2943 0 331375 0
[pid=8999/tid=9000] ppid=8996 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1370034176 275971 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1370034176 275971 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1370034176 275971 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1337924

[startup+1422.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/183 9183
/proc/meminfo: memFree=28223600/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1337924 CPUtime=1421.89 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 275509 0 0 0 142146 43 0 0 20 0 4 0 109271184 1370034176 275971 33554432000 4194304 16246674 140734823634928 140734823616832 5822171 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 334481 275971 892 2943 0 331375 0
[pid=8999/tid=9000] ppid=8996 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1370034176 275971 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1370034176 275971 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1370034176 275971 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1337924

[startup+1482.3 s]
/proc/loadavg: 2.17 2.21 2.18 4/183 9184
/proc/meminfo: memFree=28186168/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1374788 CPUtime=1481.88 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 284707 0 0 0 148143 45 0 0 20 0 4 0 109271184 1407782912 285169 33554432000 4194304 16246674 140734823634928 140734823616832 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 343697 285169 892 2943 0 340591 0
[pid=8999/tid=9000] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285169 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285169 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285169 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1374788

[startup+1542.31 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 9185
/proc/meminfo: memFree=28186856/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1374788 CPUtime=1541.87 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 284725 0 0 0 154142 45 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140734823616832 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 343697 285187 892 2943 0 340591 0
[pid=8999/tid=9000] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1374788

[startup+1602.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/183 9186
/proc/meminfo: memFree=28186868/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1374788 CPUtime=1601.86 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 284725 0 0 0 160141 45 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140734823616832 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 343697 285187 892 2943 0 340591 0
[pid=8999/tid=9000] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1374788

[startup+1662.3 s]
/proc/loadavg: 2.33 2.24 2.19 4/184 9191
/proc/meminfo: memFree=28187052/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1374788 CPUtime=1661.85 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 284725 0 0 0 166140 45 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140734823616832 12415747 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 343697 285187 892 2943 0 340591 0
[pid=8999/tid=9000] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1374788

[startup+1722.3 s]
/proc/loadavg: 2.38 2.26 2.19 3/183 9192
/proc/meminfo: memFree=28186992/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1374788 CPUtime=1721.84 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 284725 0 0 0 172139 45 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140734823616832 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 343697 285187 892 2943 0 340591 0
[pid=8999/tid=9000] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1374788

[startup+1782.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 9193
/proc/meminfo: memFree=28186928/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1374788 CPUtime=1781.82 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 284725 0 0 0 178137 45 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140734823616832 12483532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 343697 285187 892 2943 0 340591 0
[pid=8999/tid=9000] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1374788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.36 2.26 2.19 3/183 9193
/proc/meminfo: memFree=28186960/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1374788 CPUtime=1800.02 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 284725 0 0 0 179957 45 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140734823616832 13906983 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 343697 285187 892 2943 0 340591 0
[pid=8999/tid=9000] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1374788

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

[startup+1800.5 s]
/proc/loadavg: 2.36 2.26 2.19 3/183 9193
/proc/meminfo: memFree=28186960/32872528 swapFree=16252/1391864
[pid=8999] ppid=8996 vsize=1374788 CPUtime=1800.02 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8996 8999 5783 0 -1 4202496 284725 0 0 0 179957 45 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140734823616832 13906983 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8999/statm: 343697 285187 892 2943 0 340591 0
[pid=8999/tid=9000] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9000/stat : 9000 (toysat) S 8996 8999 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140464031247600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8999/tid=9001] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9001/stat : 9001 (toysat) S 8996 8999 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463952604400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8999/tid=9002] ppid=8996 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8999/task/9002/stat : 9002 (toysat) S 8996 8999 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109271184 1407782912 285187 33554432000 4194304 16246674 140734823634928 140463942130864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1374788

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.58
CPU system time (s): 0.45893
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1374788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.45893
maximum resident set size= 1140748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284725
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= 367
involuntary context switches= 1978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5893 second user time and 6.94194 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-07 06:23:00
IDJOB=4078832
IDBENCH=74121
IDSOLVER=2542
FILE ID=node119/4078832-1465273380
RUNJOBID= node119-1465252213-5800
PBS_JOBID= 19843259
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12047_6-sat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078832-1465273380/watcher-4078832-1465273380 -o /tmp/evaluation-result-4078832-1465273380/solver-4078832-1465273380 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078832-1465273380.opb

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

MD5SUM BENCH= 937ecf63c168ba3c2555061c1a7466e0
RANDOM SEED=210914653

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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:        29096704 kB
Buffers:          122384 kB
Cached:           178008 kB
SwapCached:          888 kB
Active:          1483192 kB
Inactive:         165900 kB
Active(anon):    1349260 kB
Inactive(anon):     1712 kB
Active(file):     133932 kB
Inactive(file):   164188 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100176 kB
Dirty:             19624 kB
Writeback:            48 kB
AnonPages:       2741664 kB
Mapped:            10700 kB
Shmem:                 0 kB
Slab:             600084 kB
SReclaimable:      43924 kB
SUnreclaim:       556160 kB
KernelStack:        1488 kB
PageTables:         9472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2881488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2252800 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= 71696 MiB
End job on node119 at 2016-06-07 06:53:01