Trace number 3727889

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.72? 1800.02 1800.02

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb
MD5SUM1a988adb2582fdda2a937cfe38fb69f2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-36224
Best CPU time to get the best result obtained on this benchmark989.98
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1605
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 370186
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 370186
Number of bits of the biggest sum of numbers19
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 ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                     1.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727889-1338672913.opb.
0.00/0.00	c Instance file HOME/instance-3727889-1338672913.opb
0.00/0.00	c File size is 28233538 bytes.
2.79/2.80	c Cost Offset: -370186
2.79/2.80	c Highest Coefficient sum: 63716
2.79/2.80	c ============================[ Problem Statistics ]=============================
2.79/2.80	c |                                                                             |
2.79/2.80	c |  Parsing time:          2.81         s                                      |
2.79/2.80	c |  Number Variables:      400896                                              |
2.79/2.80	c |  Number Clauses:        400785                                              |
2.79/2.80	c |  Number Cardinality:    1977                                                |
2.79/2.80	c |  Number PB Constraints: 1                                                   |
2.79/2.80	c |                                                                             |
2.99/3.08	c |  Problem Type:          Optimization                                        |
2.99/3.08	c |  Objective Function:    PB Constraint                                       |
2.99/3.08	c |                                                                             |
2.99/3.08	c ============================[ Search Statistics ]==============================
2.99/3.08	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
2.99/3.08	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
2.99/3.08	c ===============================================================================
3.48/3.55	c | 3.55      | 0  | -370185      lb |  0                0                0.00  |
3.88/3.96	c | 3.96      | 0  | -370184      lb |  0                0                0.00  |
4.29/4.34	c | 4.34      | 0  | -370182      lb |  0                0                0.00  |
4.69/4.71	c | 4.71      | 0  | -370178      lb |  0                0                0.00  |
4.98/5.09	c | 5.09      | 0  | -370170      lb |  0                0                0.00  |
5.39/5.47	c | 5.47      | 0  | -370154      lb |  0                0                0.00  |
5.79/5.84	c | 5.84      | 0  | -370122      lb |  0                0                0.00  |
6.18/6.23	c | 6.23      | 0  | -370058      lb |  0                0                0.00  |
6.59/6.61	c | 6.61      | 0  | -369930      lb |  0                0                0.00  |
6.98/7.00	c | 7.00      | 0  | -369674      lb |  0                0                0.00  |
7.29/7.39	c | 7.39      | 0  | -369162      lb |  0                0                0.00  |
8.38/8.46	c | 8.46      | 0  | -369161      lb |  0                0                0.00  |
9.18/9.23	c | 9.23      | 0  | -369160      lb |  0                0                0.00  |
9.89/9.93	c | 9.93      | 0  | -369159      lb |  0                0                0.00  |
10.58/10.61	c | 10.62     | 0  | -369158      lb |  0                0                0.00  |
11.18/11.25	c | 11.25     | 0  | -369157      lb |  0                0                0.00  |
11.78/11.81	c | 11.81     | 0  | -369156      lb |  0                0                0.00  |
12.28/12.34	c | 12.34     | 0  | -369155      lb |  0                0                0.00  |
12.88/12.96	c | 12.97     | 0  | -369154      lb |  0                0                0.00  |
13.48/13.58	c | 13.59     | 0  | -369153      lb |  0                0                0.00  |
14.18/14.26	c | 14.26     | 0  | -369152      lb |  0                0                0.00  |
14.78/14.88	c | 14.88     | 0  | -369151      lb |  0                0                0.00  |
15.38/15.49	c | 15.49     | 0  | -369150      lb |  0                0                0.00  |
16.08/16.12	c | 16.12     | 0  | -369149      lb |  0                0                0.00  |
16.57/16.66	c | 16.66     | 0  | -369148      lb |  0                0                0.00  |
17.28/17.34	c | 17.34     | 0  | -369147      lb |  0                0                0.00  |
17.88/17.97	c | 17.97     | 0  | -369146      lb |  0                0                0.00  |
18.48/18.57	c | 18.58     | 0  | -369145      lb |  0                0                0.00  |
19.08/19.19	c | 19.20     | 0  | -369144      lb |  0                0                0.00  |
19.68/19.72	c | 19.72     | 0  | -369143      lb |  0                0                0.00  |
20.27/20.39	c | 20.39     | 0  | -369142      lb |  0                0                0.00  |
20.97/21.09	c | 21.09     | 0  | -369140      lb |  0                0                0.00  |
21.68/21.72	c | 21.72     | 0  | -369128      lb |  0                0                0.00  |
22.28/22.32	c | 22.32     | 0  | -369127      lb |  0                0                0.00  |
22.87/22.95	c | 22.96     | 0  | -369126      lb |  0                0                0.00  |
23.47/23.58	c | 23.58     | 0  | -369124      lb |  0                0                0.00  |
24.19/24.21	c | 24.21     | 0  | -369086      lb |  0                0                0.00  |
24.78/24.83	c | 24.83     | 0  | -369084      lb |  0                0                0.00  |
25.37/25.45	c | 25.45     | 0  | -369083      lb |  0                0                0.00  |
25.97/26.06	c | 26.06     | 0  | -369075      lb |  0                0                0.00  |
26.58/26.68	c | 26.69     | 0  | -368991      lb |  0                0                0.00  |
27.28/27.39	c | 27.39     | 0  | -368987      lb |  0                0                0.00  |
28.08/28.13	c | 28.14     | 0  | -368983      lb |  0                0                0.00  |
28.78/28.86	c | 28.86     | 0  | -368743      lb |  0                0                0.00  |
29.48/29.60	c | 29.61     | 0  | -368650      lb |  0                0                0.00  |
30.27/30.33	c | 30.34     | 0  | -368649      lb |  0                0                0.00  |
30.98/31.08	c | 31.08     | 0  | -368648      lb |  0                0                0.00  |
31.78/31.81	c | 31.81     | 0  | -368647      lb |  0                0                0.00  |
32.48/32.54	c | 32.54     | 0  | -368646      lb |  0                0                0.00  |
33.18/33.27	c | 33.27     | 0  | -368645      lb |  0                0                0.00  |
33.98/34.01	c | 34.01     | 0  | -368644      lb |  0                0                0.00  |
34.68/34.73	c | 34.73     | 0  | -368643      lb |  0                0                0.00  |
35.37/35.46	c | 35.46     | 0  | -368642      lb |  0                0                0.00  |
36.08/36.19	c | 36.19     | 0  | -368641      lb |  0                0                0.00  |
36.88/36.92	c | 36.93     | 0  | -368640      lb |  0                0                0.00  |
37.57/37.65	c | 37.66     | 0  | -368639      lb |  0                0                0.00  |
38.27/38.39	c | 38.39     | 0  | -368638      lb |  0                0                0.00  |
39.08/39.12	c | 39.13     | 0  | -368637      lb |  0                0                0.00  |
39.78/39.86	c | 39.86     | 0  | -368636      lb |  0                0                0.00  |
40.47/40.60	c | 40.60     | 0  | -368634      lb |  0                0                0.00  |
41.28/41.34	c | 41.34     | 0  | -368633      lb |  0                0                0.00  |
41.97/42.08	c | 42.09     | 0  | -368632      lb |  0                0                0.00  |
42.78/42.82	c | 42.82     | 0  | -368630      lb |  0                0                0.00  |
43.47/43.56	c | 43.57     | 0  | -368629      lb |  0                0                0.00  |
44.27/44.31	c | 44.31     | 0  | -368628      lb |  0                0                0.00  |
44.98/45.05	c | 45.06     | 0  | -368627      lb |  0                0                0.00  |
45.77/45.80	c | 45.80     | 0  | -368626      lb |  0                0                0.00  |
46.47/46.55	c | 46.55     | 0  | -368625      lb |  0                0                0.00  |
47.18/47.29	c | 47.29     | 0  | -368624      lb |  0                0                0.00  |
47.98/48.04	c | 48.04     | 0  | -368623      lb |  0                0                0.00  |
48.68/48.79	c | 48.79     | 0  | -368622      lb |  0                0                0.00  |
49.48/49.54	c | 49.54     | 0  | -368621      lb |  0                0                0.00  |
50.17/50.28	c | 50.29     | 0  | -368619      lb |  0                0                0.00  |
50.87/50.96	c | 50.96     | 0  | -368618      lb |  0                0                0.00  |
51.67/51.72	c | 51.72     | 0  | -368617      lb |  0                0                0.00  |
52.37/52.46	c | 52.47     | 0  | -368616      lb |  0                0                0.00  |
53.17/53.21	c | 53.22     | 0  | -368615      lb |  0                0                0.00  |
53.87/53.97	c | 53.97     | 0  | -368612      lb |  0                0                0.00  |
54.67/54.72	c | 54.72     | 0  | -368611      lb |  0                0                0.00  |
55.37/55.47	c | 55.47     | 0  | -368591      lb |  0                0                0.00  |
56.17/56.22	c | 56.23     | 0  | -368590      lb |  0                0                0.00  |
56.87/56.98	c | 56.99     | 0  | -368589      lb |  0                0                0.00  |
57.67/57.74	c | 57.75     | 0  | -368587      lb |  0                0                0.00  |
58.47/58.50	c | 58.50     | 0  | -368586      lb |  0                0                0.00  |
59.17/59.26	c | 59.26     | 0  | -368585      lb |  0                0                0.00  |
59.97/60.02	c | 60.03     | 0  | -368584      lb |  0                0                0.00  |
60.67/60.79	c | 60.79     | 0  | -368571      lb |  0                0                0.00  |
61.48/61.55	c | 61.55     | 0  | -368570      lb |  0                0                0.00  |
62.27/62.33	c | 62.33     | 0  | -368568      lb |  0                0                0.00  |
62.97/63.09	c | 63.09     | 0  | -368567      lb |  0                0                0.00  |
63.78/63.87	c | 63.87     | 0  | -368566      lb |  0                0                0.00  |
64.57/64.64	c | 64.65     | 0  | -368560      lb |  0                0                0.00  |
65.37/65.41	c | 65.41     | 0  | -368558      lb |  0                0                0.00  |
66.07/66.17	c | 66.17     | 0  | -368549      lb |  0                0                0.00  |
66.97/67.03	c | 67.03     | 0  | -368548      lb |  0                0                0.00  |
67.77/67.80	c | 67.81     | 0  | -368547      lb |  0                0                0.00  |
68.47/68.58	c | 68.58     | 0  | -368521      lb |  0                0                0.00  |
69.28/69.35	c | 69.35     | 0  | -368520      lb |  0                0                0.00  |
70.07/70.12	c | 70.13     | 0  | -368463      lb |  0                0                0.00  |
70.77/70.89	c | 70.90     | 0  | -368461      lb |  0                0                0.00  |
71.57/71.60	c | 71.60     | 0  | -368460      lb |  0                0                0.00  |
72.27/72.30	c | 72.30     | 0  | -368436      lb |  0                0                0.00  |
72.97/73.08	c | 73.08     | 0  | -368433      lb |  0                0                0.00  |
73.77/73.85	c | 73.85     | 0  | -368393      lb |  0                0                0.00  |
74.57/74.63	c | 74.64     | 0  | -368392      lb |  0                0                0.00  |
79.18/79.21	c | 79.22     | 0  | -368391      lb |  0                0                0.00  |
79.97/80.01	c | 80.01     | 0  | -368383      lb |  0                0                0.00  |
80.57/80.62	c | 80.63     | 0  | -368378      lb |  0                0                0.00  |
81.16/81.23	c | 81.23     | 0  | -368367      lb |  0                0                0.00  |
82.77/82.82	c | 82.82     | 0  | -368366      lb |  0                0                0.00  |
92.56/92.67	c | 92.67     | 0  | -368365      lb |  0                0                0.00  |
93.26/93.30	c | 93.30     | 0  | -368364      lb |  0                0                0.00  |
93.87/93.91	c | 93.91     | 0  | -368362      lb |  0                0                0.00  |
94.47/94.53	c | 94.53     | 0  | -368361      lb |  0                0                0.00  |
96.36/96.42	c | 96.43     | 0  | -368360      lb |  0                0                0.00  |
97.57/97.69	c | 97.70     | 0  | -368359      lb |  0                0                0.00  |
102.07/102.11	c | 102.11    | 0  | -368358      lb |  0                0                0.00  |
104.37/104.42	c | 104.42    | 0  | -368357      lb |  0                0                0.00  |
107.26/107.34	c | 107.35    | 0  | -368356      lb |  0                0                0.00  |
111.36/111.41	c | 111.42    | 0  | -368355      lb |  0                0                0.00  |
115.86/115.91	c | 115.92    | 0  | -368354      lb |  0                0                0.00  |
120.06/120.19	c | 120.19    | 0  | -368353      lb |  0                0                0.00  |
123.96/124.09	c | 124.10    | 0  | -368352      lb |  0                0                0.00  |
128.26/128.33	c | 128.34    | 0  | -368351      lb |  0                0                0.00  |
132.66/132.72	c | 132.72    | 0  | -368350      lb |  0                0                0.00  |
134.07/134.13	c | 134.13    | 0  | -368347      lb |  0                0                0.00  |
138.26/138.38	c | 138.39    | 0  | -368346      lb |  0                0                0.00  |
142.26/142.34	c | 142.34    | 0  | -368345      lb |  0                0                0.00  |
146.76/146.84	c | 146.84    | 0  | -368344      lb |  0                0                0.00  |
151.36/151.41	c | 151.41    | 0  | -368343      lb |  0                0                0.00  |
154.45/154.54	c | 154.54    | 0  | -368342      lb |  0                0                0.00  |
158.96/159.02	c | 159.02    | 0  | -368341      lb |  0                0                0.00  |
160.36/160.48	c | 160.49    | 0  | -368340      lb |  0                0                0.00  |
164.96/165.01	c | 165.01    | 0  | -368339      lb |  0                0                0.00  |
169.26/169.32	c | 169.32    | 0  | -368338      lb |  0                0                0.00  |
173.56/173.67	c | 173.67    | 0  | -368336      lb |  0                0                0.00  |
177.95/178.05	c | 178.05    | 0  | -368335      lb |  0                0                0.00  |
179.36/179.49	c | 179.49    | 0  | -368334      lb |  0                0                0.00  |
183.66/183.78	c | 183.78    | 0  | -368333      lb |  0                0                0.00  |
188.15/188.28	c | 188.29    | 0  | -368332      lb |  0                0                0.00  |
192.55/192.64	c | 192.65    | 0  | -368330      lb |  0                0                0.00  |
196.95/197.05	c | 197.06    | 0  | -368326      lb |  0                0                0.00  |
201.25/201.37	c | 201.38    | 0  | -368325      lb |  0                0                0.00  |
202.74/202.88	c | 202.88    | 0  | -368324      lb |  0                0                0.00  |
207.54/207.61	c | 207.61    | 0  | -368323      lb |  0                0                0.00  |
210.25/210.39	c | 210.39    | 0  | -368322      lb |  0                0                0.00  |
214.55/214.65	c | 214.66    | 0  | -368320      lb |  0                0                0.00  |
218.95/219.02	c | 219.02    | 0  | -368319      lb |  0                0                0.00  |
223.44/223.57	c | 223.57    | 0  | -368318      lb |  0                0                0.00  |
227.94/228.05	c | 228.06    | 0  | -368317      lb |  0                0                0.00  |
232.54/232.66	c | 232.66    | 0  | -368316      lb |  0                0                0.00  |
236.85/236.96	c | 236.97    | 0  | -368315      lb |  0                0                0.00  |
239.95/240.07	c | 240.07    | 0  | -368314      lb |  0                0                0.00  |
240.75/240.86	c | 240.86    | 0  | -368313      lb |  0                0                0.00  |
241.85/241.90	c | 241.91    | 0  | -368312      lb |  0                0                0.00  |
243.24/243.33	c | 243.33    | 0  | -368311      lb |  0                0                0.00  |
244.44/244.52	c | 244.52    | 0  | -368148      lb |  0                0                0.00  |
245.54/245.60	c | 245.61    | 0  | -368142      lb |  0                0                0.00  |
246.65/246.73	c | 246.73    | 0  | -368141      lb |  0                0                0.00  |
247.85/247.95	c | 247.95    | 0  | -368130      lb |  0                0                0.00  |
249.04/249.11	c | 249.11    | 0  | -368129      lb |  0                0                0.00  |
250.14/250.20	c | 250.20    | 0  | -368128      lb |  0                0                0.00  |
251.34/251.43	c | 251.43    | 0  | -368126      lb |  0                0                0.00  |
252.44/252.50	c | 252.51    | 0  | -368125      lb |  0                0                0.00  |
253.74/253.83	c | 253.83    | 0  | -368122      lb |  0                0                0.00  |
254.94/255.01	c | 255.01    | 0  | -368121      lb |  0                0                0.00  |
256.44/256.57	c | 256.57    | 0  | -368120      lb |  0                0                0.00  |
260.65/260.75	c | 260.75    | 0  | -368119      lb |  0                0                0.00  |
264.14/264.22	c | 264.22    | 0  | -368118      lb |  0                0                0.00  |
265.44/265.55	c | 265.55    | 0  | -368117      lb |  0                0                0.00  |
268.74/268.81	c | 268.81    | 0  | -368116      lb |  0                0                0.00  |
270.54/270.62	c | 270.63    | 0  | -368115      lb |  0                0                0.00  |
272.44/272.54	c | 272.55    | 0  | -368114      lb |  0                0                0.00  |
275.84/275.93	c | 275.94    | 0  | -368113      lb |  0                0                0.00  |
278.94/279.00	c | 279.00    | 0  | -368112      lb |  0                0                0.00  |
280.35/280.43	c | 280.43    | 0  | -368111      lb |  0                0                0.00  |
281.63/281.76	c | 281.76    | 0  | -368110      lb |  0                0                0.00  |
284.23/284.30	c | 284.30    | 0  | -368109      lb |  0                0                0.00  |
285.23/285.35	c | 285.36    | 0  | -368108      lb |  0                0                0.00  |
286.34/286.49	c | 286.49    | 0  | -368107      lb |  0                0                0.00  |
290.93/291.03	c | 291.03    | 0  | -368106      lb |  0                0                0.00  |
295.74/295.89	c | 295.89    | 0  | -368105      lb |  0                0                0.00  |
297.84/297.96	c | 297.96    | 0  | -368104      lb |  0                0                0.00  |
300.93/301.06	c | 301.06    | 0  | -368103      lb |  0                0                0.00  |
305.23/305.33	c | 305.34    | 0  | -368102      lb |  0                0                0.00  |
307.53/307.66	c | 307.66    | 0  | -368101      lb |  0                0                0.00  |
308.63/308.78	c | 308.78    | 0  | -368100      lb |  0                0                0.00  |
309.93/310.01	c | 310.01    | 0  | -368099      lb |  0                0                0.00  |
312.34/312.42	c | 312.42    | 0  | -368098      lb |  0                0                0.00  |
313.44/313.59	c | 313.60    | 0  | -368097      lb |  0                0                0.00  |
314.63/314.76	c | 314.77    | 0  | -368094      lb |  0                0                0.00  |
315.83/315.98	c | 315.98    | 0  | -368093      lb |  0                0                0.00  |
317.03/317.14	c | 317.14    | 0  | -368092      lb |  0                0                0.00  |
318.43/318.53	c | 318.54    | 0  | -368091      lb |  0                0                0.00  |
319.73/319.80	c | 319.81    | 0  | -368090      lb |  0                0                0.00  |
321.33/321.40	c | 321.40    | 0  | -368089      lb |  0                0                0.00  |
322.83/322.98	c | 322.98    | 0  | -368088      lb |  0                0                0.00  |
325.43/325.58	c | 325.59    | 0  | -368087      lb |  0                0                0.00  |
327.74/327.83	c | 327.83    | 0  | -368086      lb |  0                0                0.00  |
332.04/332.20	c | 332.20    | 0  | -368085      lb |  0                0                0.00  |
337.03/337.13	c | 337.13    | 0  | -368084      lb |  0                0                0.00  |
338.53/338.64	c | 338.64    | 0  | -368083      lb |  0                0                0.00  |
341.43/341.58	c | 341.59    | 0  | -368082      lb |  0                0                0.00  |
343.52/343.63	c | 343.63    | 0  | -368081      lb |  0                0                0.00  |
348.02/348.14	c | 348.15    | 0  | -368080      lb |  0                0                0.00  |
351.33/351.41	c | 351.42    | 0  | -368079      lb |  0                0                0.00  |
354.33/354.43	c | 354.43    | 0  | -368078      lb |  0                0                0.00  |
359.83/359.98	c | 359.98    | 0  | -368077      lb |  0                0                0.00  |
365.03/365.11	c | 365.11    | 0  | -368076      lb |  0                0                0.00  |
368.02/368.18	c | 368.18    | 0  | -368075      lb |  0                0                0.00  |
373.12/373.29	c | 373.29    | 0  | -368074      lb |  0                0                0.00  |
375.23/375.35	c | 375.35    | 0  | -368073      lb |  0                0                0.00  |
379.12/379.20	c | 379.20    | 0  | -368072      lb |  0                0                0.00  |
384.42/384.58	c | 384.59    | 0  | -368071      lb |  0                0                0.00  |
389.72/389.87	c | 389.88    | 0  | -368070      lb |  0                0                0.00  |
391.72/391.83	c | 391.83    | 0  | -368069      lb |  0                0                0.00  |
393.73/393.87	c | 393.88    | 0  | -368068      lb |  0                0                0.00  |
398.91/399.04	c | 399.04    | 0  | -368067      lb |  0                0                0.00  |
400.71/400.89	c | 400.89    | 0  | -368066      lb |  0                0                0.00  |
403.32/403.49	c | 403.50    | 0  | -368065      lb |  0                0                0.00  |
408.52/408.63	c | 408.63    | 0  | -368064      lb |  0                0                0.00  |
410.12/410.27	c | 410.27    | 0  | -368063      lb |  0                0                0.00  |
416.91/417.00	c | 417.00    | 0  | -368062      lb |  0                0                0.00  |
424.62/424.72	c | 424.72    | 0  | -368061      lb |  0                0                0.00  |
426.72/426.83	c | 426.84    | 0  | -368060      lb |  0                0                0.00  |
428.61/428.78	c | 428.78    | 0  | -368059      lb |  0                0                0.00  |
430.62/430.76	c | 430.77    | 0  | -368058      lb |  0                0                0.00  |
432.51/432.70	c | 432.70    | 0  | -368057      lb |  0                0                0.00  |
434.32/434.50	c | 434.50    | 0  | -368056      lb |  0                0                0.00  |
436.52/436.67	c | 436.68    | 0  | -368055      lb |  0                0                0.00  |
439.82/439.94	c | 439.94    | 0  | -368054      lb |  0                0                0.00  |
443.61/443.72	c | 443.72    | 0  | -368053      lb |  0                0                0.00  |
450.81/450.98	c | 450.98    | 0  | -368052      lb |  0                0                0.00  |
454.21/454.31	c | 454.31    | 0  | -368051      lb |  0                0                0.00  |
457.31/457.42	c | 457.42    | 0  | -368050      lb |  0                0                0.00  |
460.31/460.42	c | 460.43    | 0  | -368049      lb |  0                0                0.00  |
465.31/465.43	c | 465.44    | 0  | -368048      lb |  0                0                0.00  |
470.81/470.97	c | 470.97    | 0  | -368047      lb |  0                0                0.00  |
475.80/475.97	c | 475.97    | 0  | -368046      lb |  0                0                0.00  |
480.80/480.93	c | 480.93    | 0  | -368045      lb |  0                0                0.00  |
483.41/483.58	c | 483.58    | 0  | -368044      lb |  0                0                0.00  |
486.61/486.73	c | 486.73    | 0  | -368043      lb |  0                0                0.00  |
490.30/490.41	c | 490.41    | 0  | -368042      lb |  0                0                0.00  |
492.20/492.33	c | 492.33    | 0  | -368041      lb |  0                0                0.00  |
494.01/494.12	c | 494.12    | 0  | -368040      lb |  0                0                0.00  |
498.71/498.85	c | 498.85    | 0  | -368039      lb |  0                0                0.00  |
500.51/500.60	c | 500.60    | 0  | -368038      lb |  0                0                0.00  |
504.10/504.24	c | 504.24    | 0  | -368037      lb |  0                0                0.00  |
507.30/507.46	c | 507.46    | 0  | -368036      lb |  0                0                0.00  |
556.30/556.48	c | 556.48    | 0  | -368035      lb |  0                0                0.00  |
561.69/561.84	c | 561.84    | 0  | -368034      lb |  0                0                0.00  |
563.49/563.63	c | 563.64    | 0  | -368033      lb |  0                0                0.00  |
567.69/567.89	c | 567.89    | 0  | -368032      lb |  0                0                0.00  |
572.29/572.41	c | 572.41    | 0  | -368031      lb |  0                0                0.00  |
579.69/579.85	c | 579.85    | 0  | -368030      lb |  0                0                0.00  |
584.69/584.82	c | 584.82    | 0  | -368029      lb |  0                0                0.00  |
586.89/587.01	c | 587.01    | 0  | -368028      lb |  0                0                0.00  |
592.29/592.49	c | 592.49    | 0  | -368027      lb |  0                0                0.00  |
597.29/597.42	c | 597.43    | 0  | -368026      lb |  0                0                0.00  |
601.89/602.00	c | 602.00    | 0  | -368025      lb |  0                0                0.00  |
1326.99/1327.31	c | 1327.31   | 0  | -368024      lb |  0                0                0.00  |
1329.99/1330.38	c | 1330.38   | 0  | -368023      lb |  0                0                0.00  |
1335.39/1335.72	c | 1335.72   | 0  | -368022      lb |  0                0                0.00  |
1338.79/1339.17	c | 1339.17   | 0  | -368021      lb |  0                0                0.00  |
1343.99/1344.31	c | 1344.31   | 0  | -368020      lb |  0                0                0.00  |
1349.40/1349.70	c | 1349.71   | 0  | -368019      lb |  0                0                0.00  |
1352.79/1353.12	c | 1353.13   | 0  | -368018      lb |  0                0                0.00  |
1799.62/1800.00	c ===============================================================================
1799.62/1800.00	c Wall Clock Time: 1800.00 s
1799.62/1800.00	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3727889-1338672913/watcher-3727889-1338672913 -o /tmp/evaluation-result-3727889-1338672913/solver-3727889-1338672913 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727889-1338672913.opb 

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.00 2.02 2.03 3/176 23199
/proc/meminfo: memFree=26818244/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=31824 CPUtime=0 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) R 23197 23199 22671 0 -1 4202496 582 0 0 0 0 0 0 0 20 0 1 0 333418734 32587776 534 33554432000 4194304 5964350 140733623663616 140733623661560 4395326 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 7956 536 173 433 0 627 0

[startup+0.0472499 s]
/proc/loadavg: 2.00 2.02 2.03 3/176 23199
/proc/meminfo: memFree=26818244/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=37720 CPUtime=0.04 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) R 23197 23199 22671 0 -1 4202496 2009 0 0 0 4 0 0 0 20 0 1 0 333418734 38625280 1961 33554432000 4194304 5964350 140733623663616 140733623661560 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 9430 1961 314 433 0 2101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 37720

[startup+0.100293 s]
/proc/loadavg: 2.00 2.02 2.03 3/176 23199
/proc/meminfo: memFree=26818244/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=42384 CPUtime=0.09 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) R 23197 23199 22671 0 -1 4202496 3389 0 0 0 9 0 0 0 20 0 1 0 333418734 43401216 3228 33554432000 4194304 5964350 140733623663616 140733623661560 4441929 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 10596 3228 488 433 0 3267 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42384

[startup+0.300286 s]
/proc/loadavg: 2.00 2.02 2.03 3/176 23199
/proc/meminfo: memFree=26818244/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=53804 CPUtime=0.28 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) R 23197 23199 22671 0 -1 4202496 7063 0 0 0 28 0 0 0 20 0 1 0 333418734 55095296 6764 33554432000 4194304 5964350 140733623663616 140733623661560 4344195 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 13451 6765 1092 433 0 6122 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 53804

[startup+0.700287 s]
/proc/loadavg: 2.00 2.02 2.03 3/176 23199
/proc/meminfo: memFree=26818244/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=87060 CPUtime=0.69 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) R 23197 23199 22671 0 -1 4202496 16529 0 0 0 67 2 0 0 20 0 1 0 333418734 89149440 15572 33554432000 4194304 5964350 140733623663616 140733623661496 5248490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 22979 15572 2295 433 0 15650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87060

[startup+1.50027 s]
/proc/loadavg: 2.00 2.02 2.03 3/177 23200
/proc/meminfo: memFree=26672272/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=147092 CPUtime=1.49 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) R 23197 23199 22671 0 -1 4202496 31185 0 0 0 145 4 0 0 20 0 1 0 333418734 150622208 30904 33554432000 4194304 5964350 140733623663616 140733623661960 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 36773 30905 4256 433 0 29444 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 147092

[startup+3.10017 s]
/proc/loadavg: 2.00 2.02 2.03 3/177 23200
/proc/meminfo: memFree=26552340/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=302756 CPUtime=3.09 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 70420 0 0 0 297 12 0 0 20 0 2 0 333418734 310022144 68037 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 75689 68037 185 433 0 75253 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 302756

[startup+6.30033 s]
/proc/loadavg: 2.16 2.05 2.04 3/179 23202
/proc/meminfo: memFree=25826220/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=565652 CPUtime=6.28 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 111698 0 0 0 606 22 0 0 20 0 2 0 333418734 579227648 124804 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 141413 124804 193 433 0 140977 0
[pid=23199/tid=23202] ppid=23197 vsize=565652 CPUtime=3.47 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 64491 0 0 0 333 14 0 0 20 0 2 0 333419014 579227648 124804 33554432000 4194304 5964350 140733623663616 140585841426752 5130914 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 565652

[startup+12.7003 s]
/proc/loadavg: 2.15 2.05 2.04 3/179 23202
/proc/meminfo: memFree=25753920/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=631188 CPUtime=12.68 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 114774 0 0 0 1244 24 0 0 20 0 2 0 333418734 646336512 135627 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 157797 135627 196 433 0 157361 0
[pid=23199/tid=23202] ppid=23197 vsize=631188 CPUtime=9.88 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 67567 0 0 0 972 16 0 0 20 0 2 0 333419014 646336512 135627 33554432000 4194304 5964350 140733623663616 140585841437208 5142429 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 631188

[startup+25.5003 s]
/proc/loadavg: 2.11 2.04 2.04 3/179 23202
/proc/meminfo: memFree=25706212/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=631308 CPUtime=25.47 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 127228 0 0 0 2519 28 0 0 20 0 2 0 333418734 646459392 137328 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 157827 137328 196 433 0 157391 0
[pid=23199/tid=23202] ppid=23197 vsize=631308 CPUtime=22.68 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 80021 0 0 0 2247 21 0 0 20 0 2 0 333419014 646459392 137328 33554432000 4194304 5964350 140733623663616 140585841426752 5133814 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 631308

[startup+51.1003 s]
/proc/loadavg: 2.07 2.04 2.04 3/179 23202
/proc/meminfo: memFree=25398348/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=778784 CPUtime=51.07 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 157769 0 0 0 5068 39 0 0 20 0 2 0 333418734 797474816 173267 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 194696 173267 196 433 0 194260 0
[pid=23199/tid=23202] ppid=23197 vsize=778784 CPUtime=48.27 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 110562 0 0 0 4795 32 0 0 20 0 2 0 333419014 797474816 173267 33554432000 4194304 5964350 140733623663616 140585841437208 5133765 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 778784

[startup+102.307 s]
/proc/loadavg: 2.15 2.06 2.05 3/179 23202
/proc/meminfo: memFree=25031444/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=909856 CPUtime=102.27 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 180631 0 0 0 10180 47 0 0 20 0 2 0 333418734 931692544 193315 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 227464 193315 197 433 0 227028 0
[pid=23199/tid=23202] ppid=23197 vsize=909856 CPUtime=99.48 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 133424 0 0 0 9908 40 0 0 20 0 2 0 333419014 931692544 193315 33554432000 4194304 5964350 140733623663616 140585841436968 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 909856

[startup+162.3 s]
/proc/loadavg: 2.18 2.08 2.05 3/179 23202
/proc/meminfo: memFree=24692724/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=909856 CPUtime=162.25 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 192008 0 0 0 16174 51 0 0 20 0 2 0 333418734 931692544 201911 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 227464 201911 197 433 0 227028 0
[pid=23199/tid=23202] ppid=23197 vsize=909856 CPUtime=159.48 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 144801 0 0 0 15903 45 0 0 20 0 2 0 333419014 931692544 201911 33554432000 4194304 5964350 140733623663616 140585841437208 4403501 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 909856

[startup+222.3 s]
/proc/loadavg: 2.10 2.08 2.05 3/179 23203
/proc/meminfo: memFree=24336176/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=975392 CPUtime=222.24 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 199748 0 0 0 22170 54 0 0 20 0 2 0 333418734 998801408 215926 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 243848 215926 197 433 0 243412 0
[pid=23199/tid=23202] ppid=23197 vsize=975392 CPUtime=219.48 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 152541 0 0 0 21899 49 0 0 20 0 2 0 333419014 998801408 215926 33554432000 4194304 5964350 140733623663616 140585841437016 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 975392

[startup+282.3 s]
/proc/loadavg: 2.04 2.06 2.04 3/179 23203
/proc/meminfo: memFree=24075376/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1040928 CPUtime=282.23 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 222652 0 0 0 28163 60 0 0 20 0 2 0 333418734 1065910272 230381 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 260232 230381 197 433 0 259796 0
[pid=23199/tid=23202] ppid=23197 vsize=1040928 CPUtime=279.48 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 175445 0 0 0 27891 57 0 0 20 0 2 0 333419014 1065910272 230381 33554432000 4194304 5964350 140733623663616 140585841436968 5122159 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1040928

[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.04 3/180 23206
/proc/meminfo: memFree=23812120/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1035540 CPUtime=342.22 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 233902 0 0 0 34155 67 0 0 20 0 2 0 333418734 1060392960 237973 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 258885 237973 197 433 0 258449 0
[pid=23199/tid=23202] ppid=23197 vsize=1035540 CPUtime=339.49 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 186695 0 0 0 33884 65 0 0 20 0 2 0 333419014 1060392960 237973 33554432000 4194304 5964350 140733623663616 140585841436936 4400439 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1035540

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/179 23206
/proc/meminfo: memFree=23558836/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1090060 CPUtime=402.22 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 241266 0 0 0 40150 72 0 0 20 0 2 0 333418734 1116221440 250581 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 272515 250581 197 433 0 272079 0
[pid=23199/tid=23202] ppid=23197 vsize=1090060 CPUtime=399.49 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 194059 0 0 0 39879 70 0 0 20 0 2 0 333419014 1116221440 250581 33554432000 4194304 5964350 140733623663616 140585841437208 4403508 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1090060

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/179 23206
/proc/meminfo: memFree=23336044/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1117400 CPUtime=462.21 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 249244 0 0 0 46146 75 0 0 20 0 2 0 333418734 1144217600 255976 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 279350 255976 197 433 0 278914 0
[pid=23199/tid=23202] ppid=23197 vsize=1117400 CPUtime=459.49 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 202037 0 0 0 45876 73 0 0 20 0 2 0 333419014 1144217600 255976 33554432000 4194304 5964350 140733623663616 140585841436968 4403618 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0

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

/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 218420 0 0 0 129845 100 0 0 20 0 2 0 333419014 1250439168 281108 33554432000 4194304 5964350 140733623663616 140585841436472 4392783 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1221132

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23223
/proc/meminfo: memFree=20703220/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1361.99 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 288810 0 0 0 136104 95 0 0 20 0 2 0 333418734 1451765760 317575 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 317575 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1359.45 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 241603 0 0 0 135838 107 0 0 20 0 2 0 333419014 1451765760 317575 33554432000 4194304 5964350 140733623663616 140585841437208 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1417740

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23224
/proc/meminfo: memFree=20640388/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1421.98 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 288822 0 0 0 142103 95 0 0 20 0 2 0 333418734 1451765760 317587 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 317587 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1419.46 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 241615 0 0 0 141838 108 0 0 20 0 2 0 333419014 1451765760 317587 33554432000 4194304 5964350 140733623663616 140585841437208 4392713 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1417740

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23224
/proc/meminfo: memFree=20498700/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1481.97 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 288822 0 0 0 148102 95 0 0 20 0 2 0 333418734 1451765760 317587 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 317587 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1479.46 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 241615 0 0 0 147837 109 0 0 20 0 2 0 333419014 1451765760 317587 33554432000 4194304 5964350 140733623663616 140585841437208 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1417740

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23227
/proc/meminfo: memFree=20369380/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1541.96 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 288822 0 0 0 154101 95 0 0 20 0 2 0 333418734 1451765760 317587 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 317587 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1539.46 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 241615 0 0 0 153836 110 0 0 20 0 2 0 333419014 1451765760 317587 33554432000 4194304 5964350 140733623663616 140585841437208 4389080 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1417740

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23249
/proc/meminfo: memFree=20365836/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1601.95 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 288822 0 0 0 160100 95 0 0 20 0 2 0 333418734 1451765760 317587 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 317587 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1599.46 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 241615 0 0 0 159835 111 0 0 20 0 2 0 333419014 1451765760 317587 33554432000 4194304 5964350 140733623663616 140585841437208 4392905 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1417740

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23249
/proc/meminfo: memFree=20209572/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1661.94 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 288827 0 0 0 166099 95 0 0 20 0 2 0 333418734 1451765760 317592 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 317592 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1659.47 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 241620 0 0 0 165835 112 0 0 20 0 2 0 333419014 1451765760 317592 33554432000 4194304 5964350 140733623663616 140585841437208 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1417740

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23250
/proc/meminfo: memFree=20162900/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1721.93 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 288851 0 0 0 172098 95 0 0 20 0 2 0 333418734 1451765760 317616 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 317616 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1719.47 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 241644 0 0 0 171834 113 0 0 20 0 2 0 333419014 1451765760 317616 33554432000 4194304 5964350 140733623663616 140585841437208 4403637 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1417740

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23250
/proc/meminfo: memFree=20064396/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1781.92 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 294136 0 0 0 178094 98 0 0 20 0 2 0 333418734 1451765760 322901 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 322901 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1779.48 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 246929 0 0 0 177831 117 0 0 20 0 2 0 333419014 1451765760 322901 33554432000 4194304 5964350 140733623663616 140585841436472 4403647 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1417740

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23250
/proc/meminfo: memFree=20024936/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1791.53 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 296194 0 0 0 179054 99 0 0 20 0 2 0 333418734 1451765760 324959 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 324959 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1789.08 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 248987 0 0 0 178790 118 0 0 20 0 2 0 333419014 1451765760 324959 33554432000 4194304 5964350 140733623663616 140585841436664 5130821 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 1417740

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23250
/proc/meminfo: memFree=20007012/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1794.72 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 296619 0 0 0 179373 99 0 0 20 0 2 0 333418734 1451765760 325384 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 325384 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1792.28 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 249412 0 0 0 179110 118 0 0 20 0 2 0 333419014 1451765760 325384 33554432000 4194304 5964350 140733623663616 140585841436664 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 1417740

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23250
/proc/meminfo: memFree=19930364/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1797.91 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 297264 0 0 0 179692 99 0 0 20 0 2 0 333418734 1451765760 326029 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 326029 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1795.48 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 250057 0 0 0 179429 119 0 0 20 0 2 0 333419014 1451765760 326029 33554432000 4194304 5964350 140733623663616 140585841436664 4400017 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 1417740

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23250
/proc/meminfo: memFree=20006012/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1798.72 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 297381 0 0 0 179772 100 0 0 20 0 2 0 333418734 1451765760 326146 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 326146 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1796.28 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 250174 0 0 0 179509 119 0 0 20 0 2 0 333419014 1451765760 326146 33554432000 4194304 5964350 140733623663616 140585841436184 4403573 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.72
Current children cumulated vsize (KiB) 1417740

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23250
/proc/meminfo: memFree=19879048/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1799.13 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 297439 0 0 0 179813 100 0 0 20 0 2 0 333418734 1451765760 326204 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 326204 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1796.68 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 250232 0 0 0 179549 119 0 0 20 0 2 0 333419014 1451765760 326204 33554432000 4194304 5964350 140733623663616 140585841436664 4403594 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.13
Current children cumulated vsize (KiB) 1417740

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23250
/proc/meminfo: memFree=19879048/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1799.52 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 297531 0 0 0 179852 100 0 0 20 0 2 0 333418734 1451765760 326296 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 326296 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1797.08 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 250324 0 0 0 179589 119 0 0 20 0 2 0 333419014 1451765760 326296 33554432000 4194304 5964350 140733623663616 140585841436664 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (KiB) 1417740

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23250
/proc/meminfo: memFree=19879048/32873648 swapFree=7120/7120
[pid=23199] ppid=23197 vsize=1417740 CPUtime=1799.62 cores=1,3,5,7
/proc/23199/stat : 23199 (wbo1.72) S 23197 23199 22671 0 -1 4202496 297546 0 0 0 179862 100 0 0 20 0 2 0 333418734 1451765760 326311 33554432000 4194304 5964350 140733623663616 140733623663136 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23199/statm: 354435 326311 197 433 0 353999 0
[pid=23199/tid=23202] ppid=23197 vsize=1417740 CPUtime=1797.18 cores=1,3,5,7
/proc/23199/task/23202/stat : 23202 (wbo1.72) R 23197 23199 22671 0 -1 4202560 250339 0 0 0 179599 119 0 0 20 0 2 0 333419014 1451765760 326311 33554432000 4194304 5964350 140733623663616 140585841436664 4403624 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (KiB) 1417740

Child status: 255
Real time (s): 1800.02
CPU time (s): 1800.02
CPU user time (s): 1798.71
CPU system time (s): 1.3028
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 1417740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 1.3028
maximum resident set size= 1305252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297548
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= 116
involuntary context switches= 1988

runsolver used 2.56061 second user time and 7.29989 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-02 23:35:14
IDJOB=3727889
IDBENCH=90949
IDSOLVER=2313
FILE ID=node114/3727889-1338672913
RUNJOBID= node114-1338669312-22961
PBS_JOBID= 14636511
Free space on /tmp= 70080 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727889-1338672913/watcher-3727889-1338672913 -o /tmp/evaluation-result-3727889-1338672913/solver-3727889-1338672913 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727889-1338672913.opb

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

MD5SUM BENCH= 1a988adb2582fdda2a937cfe38fb69f2
RANDOM SEED=237679024

node114.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.242
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.48
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.242
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	: 5331.91
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.242
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	: 5451.90
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.242
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	: 5331.91
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.242
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	: 5331.91
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.242
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	: 5331.91
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.242
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	: 5331.91
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.242
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26819632 kB
Buffers:          883984 kB
Cached:          4177828 kB
SwapCached:         2312 kB
Active:          2602032 kB
Inactive:        2496852 kB
Active(anon):      23224 kB
Inactive(anon):     8444 kB
Active(file):    2578808 kB
Inactive(file):  2488408 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103580 kB
Dirty:             65612 kB
Writeback:            64 kB
AnonPages:         37088 kB
Mapped:            14712 kB
Shmem:               104 kB
Slab:             817156 kB
SReclaimable:     260972 kB
SUnreclaim:       556184 kB
KernelStack:        1432 kB
PageTables:         3920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     148464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70076 MiB
End job on node114 at 2012-06-03 00:05:14