Trace number 3705588

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.7? 1799.99 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.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3705588-1338161837.opb.
0.00/0.00	c Instance file HOME/instance-3705588-1338161837.opb
0.00/0.00	c File size is 28233538 bytes.
2.69/2.78	c Cost Offset: -370186
2.69/2.78	c Highest Coefficient sum: 63716
2.69/2.78	c ============================[ Problem Statistics ]=============================
2.69/2.78	c |                                                                             |
2.69/2.78	c |  Parsing time:          2.78         s                                      |
2.69/2.78	c |  Number Variables:      400896                                              |
2.69/2.78	c |  Number Clauses:        400785                                              |
2.69/2.78	c |  Number Cardinality:    1977                                                |
2.69/2.78	c |  Number PB Constraints: 1                                                   |
2.69/2.78	c |                                                                             |
2.99/3.06	c |  Problem Type:          Optimization                                        |
2.99/3.06	c |  Objective Function:    PB Constraint                                       |
2.99/3.06	c |                                                                             |
2.99/3.06	c ============================[ Search Statistics ]==============================
2.99/3.06	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
2.99/3.06	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
2.99/3.06	c ===============================================================================
3.48/3.54	c | 3.55      | 0  | -370185      lb |  0                0                0.00  |
3.88/3.98	c | 3.99      | 0  | -370184      lb |  0                0                0.00  |
4.29/4.39	c | 4.39      | 0  | -370182      lb |  0                0                0.00  |
4.69/4.76	c | 4.77      | 0  | -370178      lb |  0                0                0.00  |
5.08/5.14	c | 5.14      | 0  | -370170      lb |  0                0                0.00  |
5.49/5.52	c | 5.53      | 0  | -370154      lb |  0                0                0.00  |
5.88/5.90	c | 5.90      | 0  | -370122      lb |  0                0                0.00  |
6.19/6.29	c | 6.29      | 0  | -370058      lb |  0                0                0.00  |
6.59/6.67	c | 6.67      | 0  | -369930      lb |  0                0                0.00  |
6.98/7.06	c | 7.06      | 0  | -369674      lb |  0                0                0.00  |
7.38/7.44	c | 7.44      | 0  | -369162      lb |  0                0                0.00  |
8.48/8.52	c | 8.52      | 0  | -369161      lb |  0                0                0.00  |
9.18/9.29	c | 9.29      | 0  | -369160      lb |  0                0                0.00  |
9.89/9.98	c | 9.99      | 0  | -369159      lb |  0                0                0.00  |
10.58/10.67	c | 10.67     | 0  | -369158      lb |  0                0                0.00  |
11.28/11.30	c | 11.30     | 0  | -369157      lb |  0                0                0.00  |
11.78/11.86	c | 11.87     | 0  | -369156      lb |  0                0                0.00  |
12.28/12.39	c | 12.40     | 0  | -369155      lb |  0                0                0.00  |
12.98/13.02	c | 13.03     | 0  | -369154      lb |  0                0                0.00  |
13.58/13.64	c | 13.64     | 0  | -369153      lb |  0                0                0.00  |
14.29/14.32	c | 14.32     | 0  | -369152      lb |  0                0                0.00  |
14.88/14.94	c | 14.94     | 0  | -369151      lb |  0                0                0.00  |
15.48/15.55	c | 15.55     | 0  | -369150      lb |  0                0                0.00  |
16.08/16.18	c | 16.18     | 0  | -369149      lb |  0                0                0.00  |
16.68/16.72	c | 16.73     | 0  | -369148      lb |  0                0                0.00  |
17.29/17.39	c | 17.40     | 0  | -369147      lb |  0                0                0.00  |
17.98/18.03	c | 18.03     | 0  | -369146      lb |  0                0                0.00  |
18.58/18.63	c | 18.64     | 0  | -369145      lb |  0                0                0.00  |
19.18/19.25	c | 19.26     | 0  | -369144      lb |  0                0                0.00  |
19.69/19.78	c | 19.78     | 0  | -369143      lb |  0                0                0.00  |
20.38/20.44	c | 20.44     | 0  | -369142      lb |  0                0                0.00  |
21.08/21.14	c | 21.15     | 0  | -369140      lb |  0                0                0.00  |
21.68/21.78	c | 21.78     | 0  | -369128      lb |  0                0                0.00  |
22.28/22.38	c | 22.39     | 0  | -369127      lb |  0                0                0.00  |
22.99/23.01	c | 23.02     | 0  | -369126      lb |  0                0                0.00  |
23.58/23.64	c | 23.65     | 0  | -369124      lb |  0                0                0.00  |
24.19/24.27	c | 24.27     | 0  | -369086      lb |  0                0                0.00  |
24.78/24.89	c | 24.89     | 0  | -369084      lb |  0                0                0.00  |
25.48/25.51	c | 25.51     | 0  | -369083      lb |  0                0                0.00  |
26.08/26.12	c | 26.12     | 0  | -369075      lb |  0                0                0.00  |
26.68/26.74	c | 26.75     | 0  | -368991      lb |  0                0                0.00  |
27.39/27.44	c | 27.45     | 0  | -368987      lb |  0                0                0.00  |
28.08/28.19	c | 28.19     | 0  | -368983      lb |  0                0                0.00  |
28.88/28.92	c | 28.92     | 0  | -368743      lb |  0                0                0.00  |
29.58/29.66	c | 29.67     | 0  | -368650      lb |  0                0                0.00  |
30.38/30.40	c | 30.40     | 0  | -368649      lb |  0                0                0.00  |
31.08/31.14	c | 31.15     | 0  | -368648      lb |  0                0                0.00  |
31.79/31.87	c | 31.87     | 0  | -368647      lb |  0                0                0.00  |
32.58/32.61	c | 32.61     | 0  | -368646      lb |  0                0                0.00  |
33.28/33.33	c | 33.34     | 0  | -368645      lb |  0                0                0.00  |
33.99/34.07	c | 34.08     | 0  | -368644      lb |  0                0                0.00  |
34.68/34.79	c | 34.80     | 0  | -368643      lb |  0                0                0.00  |
35.48/35.53	c | 35.53     | 0  | -368642      lb |  0                0                0.00  |
36.18/36.26	c | 36.26     | 0  | -368641      lb |  0                0                0.00  |
36.98/37.00	c | 37.00     | 0  | -368640      lb |  0                0                0.00  |
37.68/37.72	c | 37.73     | 0  | -368639      lb |  0                0                0.00  |
38.39/38.46	c | 38.47     | 0  | -368638      lb |  0                0                0.00  |
39.18/39.20	c | 39.20     | 0  | -368637      lb |  0                0                0.00  |
39.87/39.94	c | 39.94     | 0  | -368636      lb |  0                0                0.00  |
40.59/40.68	c | 40.69     | 0  | -368634      lb |  0                0                0.00  |
41.38/41.42	c | 41.42     | 0  | -368633      lb |  0                0                0.00  |
42.08/42.16	c | 42.17     | 0  | -368632      lb |  0                0                0.00  |
42.78/42.90	c | 42.90     | 0  | -368630      lb |  0                0                0.00  |
43.58/43.65	c | 43.65     | 0  | -368629      lb |  0                0                0.00  |
44.28/44.39	c | 44.40     | 0  | -368628      lb |  0                0                0.00  |
45.09/45.14	c | 45.15     | 0  | -368627      lb |  0                0                0.00  |
45.78/45.89	c | 45.89     | 0  | -368626      lb |  0                0                0.00  |
46.58/46.63	c | 46.64     | 0  | -368625      lb |  0                0                0.00  |
47.29/47.38	c | 47.39     | 0  | -368624      lb |  0                0                0.00  |
48.08/48.13	c | 48.14     | 0  | -368623      lb |  0                0                0.00  |
48.78/48.89	c | 48.89     | 0  | -368622      lb |  0                0                0.00  |
49.58/49.64	c | 49.64     | 0  | -368621      lb |  0                0                0.00  |
50.28/50.38	c | 50.39     | 0  | -368619      lb |  0                0                0.00  |
50.98/51.06	c | 51.06     | 0  | -368618      lb |  0                0                0.00  |
51.78/51.81	c | 51.82     | 0  | -368617      lb |  0                0                0.00  |
52.48/52.56	c | 52.56     | 0  | -368616      lb |  0                0                0.00  |
53.28/53.31	c | 53.31     | 0  | -368615      lb |  0                0                0.00  |
53.98/54.06	c | 54.07     | 0  | -368612      lb |  0                0                0.00  |
54.78/54.81	c | 54.81     | 0  | -368611      lb |  0                0                0.00  |
55.48/55.56	c | 55.57     | 0  | -368591      lb |  0                0                0.00  |
56.28/56.32	c | 56.32     | 0  | -368590      lb |  0                0                0.00  |
56.98/57.08	c | 57.08     | 0  | -368589      lb |  0                0                0.00  |
57.78/57.84	c | 57.84     | 0  | -368587      lb |  0                0                0.00  |
58.58/58.60	c | 58.60     | 0  | -368586      lb |  0                0                0.00  |
59.28/59.36	c | 59.36     | 0  | -368585      lb |  0                0                0.00  |
60.07/60.12	c | 60.13     | 0  | -368584      lb |  0                0                0.00  |
60.78/60.89	c | 60.89     | 0  | -368571      lb |  0                0                0.00  |
61.59/61.65	c | 61.66     | 0  | -368570      lb |  0                0                0.00  |
62.37/62.43	c | 62.43     | 0  | -368568      lb |  0                0                0.00  |
63.07/63.19	c | 63.20     | 0  | -368567      lb |  0                0                0.00  |
63.87/63.97	c | 63.98     | 0  | -368566      lb |  0                0                0.00  |
64.67/64.76	c | 64.76     | 0  | -368560      lb |  0                0                0.00  |
65.47/65.52	c | 65.53     | 0  | -368558      lb |  0                0                0.00  |
66.17/66.29	c | 66.29     | 0  | -368549      lb |  0                0                0.00  |
67.08/67.15	c | 67.16     | 0  | -368548      lb |  0                0                0.00  |
67.87/67.94	c | 67.94     | 0  | -368547      lb |  0                0                0.00  |
68.68/68.72	c | 68.72     | 0  | -368521      lb |  0                0                0.00  |
69.38/69.49	c | 69.50     | 0  | -368520      lb |  0                0                0.00  |
70.17/70.28	c | 70.28     | 0  | -368463      lb |  0                0                0.00  |
70.97/71.06	c | 71.06     | 0  | -368461      lb |  0                0                0.00  |
71.67/71.77	c | 71.78     | 0  | -368460      lb |  0                0                0.00  |
72.37/72.48	c | 72.48     | 0  | -368436      lb |  0                0                0.00  |
73.18/73.26	c | 73.27     | 0  | -368433      lb |  0                0                0.00  |
73.98/74.04	c | 74.05     | 0  | -368393      lb |  0                0                0.00  |
74.78/74.84	c | 74.84     | 0  | -368392      lb |  0                0                0.00  |
79.38/79.46	c | 79.47     | 0  | -368391      lb |  0                0                0.00  |
80.18/80.27	c | 80.27     | 0  | -368383      lb |  0                0                0.00  |
80.87/80.90	c | 80.91     | 0  | -368378      lb |  0                0                0.00  |
81.47/81.52	c | 81.52     | 0  | -368367      lb |  0                0                0.00  |
83.07/83.12	c | 83.12     | 0  | -368366      lb |  0                0                0.00  |
92.97/93.03	c | 93.03     | 0  | -368365      lb |  0                0                0.00  |
93.57/93.67	c | 93.67     | 0  | -368364      lb |  0                0                0.00  |
94.17/94.29	c | 94.29     | 0  | -368362      lb |  0                0                0.00  |
94.87/94.92	c | 94.92     | 0  | -368361      lb |  0                0                0.00  |
96.78/96.84	c | 96.84     | 0  | -368360      lb |  0                0                0.00  |
98.07/98.12	c | 98.12     | 0  | -368359      lb |  0                0                0.00  |
102.46/102.58	c | 102.59    | 0  | -368358      lb |  0                0                0.00  |
104.86/104.92	c | 104.92    | 0  | -368357      lb |  0                0                0.00  |
107.78/107.87	c | 107.88    | 0  | -368356      lb |  0                0                0.00  |
111.87/111.97	c | 111.98    | 0  | -368355      lb |  0                0                0.00  |
116.47/116.52	c | 116.52    | 0  | -368354      lb |  0                0                0.00  |
120.76/120.84	c | 120.85    | 0  | -368353      lb |  0                0                0.00  |
124.66/124.79	c | 124.79    | 0  | -368352      lb |  0                0                0.00  |
128.97/129.07	c | 129.07    | 0  | -368351      lb |  0                0                0.00  |
133.36/133.49	c | 133.50    | 0  | -368350      lb |  0                0                0.00  |
134.86/134.93	c | 134.93    | 0  | -368347      lb |  0                0                0.00  |
139.16/139.22	c | 139.23    | 0  | -368346      lb |  0                0                0.00  |
143.16/143.23	c | 143.23    | 0  | -368345      lb |  0                0                0.00  |
147.67/147.76	c | 147.77    | 0  | -368344      lb |  0                0                0.00  |
152.26/152.39	c | 152.39    | 0  | -368343      lb |  0                0                0.00  |
155.46/155.56	c | 155.57    | 0  | -368342      lb |  0                0                0.00  |
159.96/160.08	c | 160.09    | 0  | -368341      lb |  0                0                0.00  |
161.46/161.57	c | 161.57    | 0  | -368340      lb |  0                0                0.00  |
166.07/166.15	c | 166.15    | 0  | -368339      lb |  0                0                0.00  |
170.37/170.50	c | 170.50    | 0  | -368338      lb |  0                0                0.00  |
174.76/174.90	c | 174.90    | 0  | -368336      lb |  0                0                0.00  |
179.26/179.34	c | 179.34    | 0  | -368335      lb |  0                0                0.00  |
180.76/180.80	c | 180.80    | 0  | -368334      lb |  0                0                0.00  |
185.06/185.13	c | 185.14    | 0  | -368333      lb |  0                0                0.00  |
189.56/189.69	c | 189.70    | 0  | -368332      lb |  0                0                0.00  |
194.06/194.10	c | 194.10    | 0  | -368330      lb |  0                0                0.00  |
198.45/198.56	c | 198.56    | 0  | -368326      lb |  0                0                0.00  |
202.85/202.93	c | 202.94    | 0  | -368325      lb |  0                0                0.00  |
204.35/204.46	c | 204.47    | 0  | -368324      lb |  0                0                0.00  |
209.15/209.25	c | 209.25    | 0  | -368323      lb |  0                0                0.00  |
211.95/212.05	c | 212.06    | 0  | -368322      lb |  0                0                0.00  |
216.25/216.37	c | 216.38    | 0  | -368320      lb |  0                0                0.00  |
220.65/220.79	c | 220.80    | 0  | -368319      lb |  0                0                0.00  |
225.25/225.40	c | 225.40    | 0  | -368318      lb |  0                0                0.00  |
229.86/229.94	c | 229.94    | 0  | -368317      lb |  0                0                0.00  |
234.55/234.60	c | 234.61    | 0  | -368316      lb |  0                0                0.00  |
238.85/238.96	c | 238.96    | 0  | -368315      lb |  0                0                0.00  |
242.05/242.11	c | 242.12    | 0  | -368314      lb |  0                0                0.00  |
242.85/242.92	c | 242.93    | 0  | -368313      lb |  0                0                0.00  |
243.85/243.99	c | 243.99    | 0  | -368312      lb |  0                0                0.00  |
245.35/245.43	c | 245.44    | 0  | -368311      lb |  0                0                0.00  |
246.55/246.64	c | 246.64    | 0  | -368148      lb |  0                0                0.00  |
247.65/247.73	c | 247.74    | 0  | -368142      lb |  0                0                0.00  |
248.74/248.87	c | 248.87    | 0  | -368141      lb |  0                0                0.00  |
250.05/250.10	c | 250.10    | 0  | -368130      lb |  0                0                0.00  |
251.15/251.27	c | 251.28    | 0  | -368129      lb |  0                0                0.00  |
252.24/252.38	c | 252.38    | 0  | -368128      lb |  0                0                0.00  |
253.54/253.62	c | 253.63    | 0  | -368126      lb |  0                0                0.00  |
254.65/254.71	c | 254.72    | 0  | -368125      lb |  0                0                0.00  |
255.94/256.05	c | 256.05    | 0  | -368122      lb |  0                0                0.00  |
257.14/257.24	c | 257.25    | 0  | -368121      lb |  0                0                0.00  |
258.75/258.81	c | 258.82    | 0  | -368120      lb |  0                0                0.00  |
262.94/263.03	c | 263.03    | 0  | -368119      lb |  0                0                0.00  |
266.44/266.55	c | 266.55    | 0  | -368118      lb |  0                0                0.00  |
267.75/267.89	c | 267.89    | 0  | -368117      lb |  0                0                0.00  |
271.14/271.20	c | 271.20    | 0  | -368116      lb |  0                0                0.00  |
272.94/273.03	c | 273.04    | 0  | -368115      lb |  0                0                0.00  |
274.85/274.99	c | 274.99    | 0  | -368114      lb |  0                0                0.00  |
278.34/278.43	c | 278.43    | 0  | -368113      lb |  0                0                0.00  |
281.45/281.52	c | 281.53    | 0  | -368112      lb |  0                0                0.00  |
282.85/282.97	c | 282.97    | 0  | -368111      lb |  0                0                0.00  |
284.24/284.31	c | 284.32    | 0  | -368110      lb |  0                0                0.00  |
286.74/286.88	c | 286.89    | 0  | -368109      lb |  0                0                0.00  |
287.84/287.95	c | 287.95    | 0  | -368108      lb |  0                0                0.00  |
288.94/289.09	c | 289.10    | 0  | -368107      lb |  0                0                0.00  |
293.55/293.69	c | 293.69    | 0  | -368106      lb |  0                0                0.00  |
298.54/298.62	c | 298.63    | 0  | -368105      lb |  0                0                0.00  |
300.64/300.72	c | 300.73    | 0  | -368104      lb |  0                0                0.00  |
303.73/303.85	c | 303.86    | 0  | -368103      lb |  0                0                0.00  |
308.03/308.18	c | 308.19    | 0  | -368102      lb |  0                0                0.00  |
310.44/310.55	c | 310.56    | 0  | -368101      lb |  0                0                0.00  |
311.54/311.69	c | 311.69    | 0  | -368100      lb |  0                0                0.00  |
312.84/312.94	c | 312.95    | 0  | -368099      lb |  0                0                0.00  |
315.24/315.38	c | 315.38    | 0  | -368098      lb |  0                0                0.00  |
316.44/316.56	c | 316.57    | 0  | -368097      lb |  0                0                0.00  |
317.63/317.75	c | 317.75    | 0  | -368094      lb |  0                0                0.00  |
318.84/318.98	c | 318.98    | 0  | -368093      lb |  0                0                0.00  |
320.04/320.15	c | 320.15    | 0  | -368092      lb |  0                0                0.00  |
321.44/321.56	c | 321.57    | 0  | -368091      lb |  0                0                0.00  |
322.74/322.85	c | 322.85    | 0  | -368090      lb |  0                0                0.00  |
324.34/324.46	c | 324.46    | 0  | -368089      lb |  0                0                0.00  |
325.94/326.06	c | 326.06    | 0  | -368088      lb |  0                0                0.00  |
328.53/328.69	c | 328.69    | 0  | -368087      lb |  0                0                0.00  |
330.84/330.96	c | 330.96    | 0  | -368086      lb |  0                0                0.00  |
335.24/335.40	c | 335.40    | 0  | -368085      lb |  0                0                0.00  |
340.24/340.39	c | 340.40    | 0  | -368084      lb |  0                0                0.00  |
341.84/341.93	c | 341.93    | 0  | -368083      lb |  0                0                0.00  |
344.73/344.89	c | 344.89    | 0  | -368082      lb |  0                0                0.00  |
346.83/346.97	c | 346.97    | 0  | -368081      lb |  0                0                0.00  |
351.43/351.53	c | 351.54    | 0  | -368080      lb |  0                0                0.00  |
354.73/354.84	c | 354.84    | 0  | -368079      lb |  0                0                0.00  |
357.73/357.88	c | 357.89    | 0  | -368078      lb |  0                0                0.00  |
363.43/363.51	c | 363.51    | 0  | -368077      lb |  0                0                0.00  |
368.63/368.72	c | 368.72    | 0  | -368076      lb |  0                0                0.00  |
371.74/371.84	c | 371.84    | 0  | -368075      lb |  0                0                0.00  |
376.93/377.05	c | 377.05    | 0  | -368074      lb |  0                0                0.00  |
379.03/379.15	c | 379.16    | 0  | -368073      lb |  0                0                0.00  |
382.92/383.03	c | 383.04    | 0  | -368072      lb |  0                0                0.00  |
388.32/388.50	c | 388.50    | 0  | -368071      lb |  0                0                0.00  |
393.74/393.86	c | 393.86    | 0  | -368070      lb |  0                0                0.00  |
395.73/395.85	c | 395.85    | 0  | -368069      lb |  0                0                0.00  |
397.83/397.93	c | 397.93    | 0  | -368068      lb |  0                0                0.00  |
403.02/403.15	c | 403.16    | 0  | -368067      lb |  0                0                0.00  |
404.92/405.03	c | 405.04    | 0  | -368066      lb |  0                0                0.00  |
407.52/407.67	c | 407.68    | 0  | -368065      lb |  0                0                0.00  |
412.73/412.89	c | 412.89    | 0  | -368064      lb |  0                0                0.00  |
414.42/414.58	c | 414.58    | 0  | -368063      lb |  0                0                0.00  |
421.32/421.42	c | 421.42    | 0  | -368062      lb |  0                0                0.00  |
429.22/429.34	c | 429.35    | 0  | -368061      lb |  0                0                0.00  |
431.42/431.52	c | 431.52    | 0  | -368060      lb |  0                0                0.00  |
433.42/433.51	c | 433.52    | 0  | -368059      lb |  0                0                0.00  |
435.43/435.52	c | 435.52    | 0  | -368058      lb |  0                0                0.00  |
437.32/437.48	c | 437.48    | 0  | -368057      lb |  0                0                0.00  |
439.22/439.32	c | 439.32    | 0  | -368056      lb |  0                0                0.00  |
441.41/441.53	c | 441.53    | 0  | -368055      lb |  0                0                0.00  |
444.71/444.82	c | 444.83    | 0  | -368054      lb |  0                0                0.00  |
448.52/448.66	c | 448.67    | 0  | -368053      lb |  0                0                0.00  |
455.92/456.00	c | 456.01    | 0  | -368052      lb |  0                0                0.00  |
459.32/459.40	c | 459.40    | 0  | -368051      lb |  0                0                0.00  |
462.51/462.60	c | 462.60    | 0  | -368050      lb |  0                0                0.00  |
465.51/465.68	c | 465.69    | 0  | -368049      lb |  0                0                0.00  |
470.61/470.78	c | 470.79    | 0  | -368048      lb |  0                0                0.00  |
476.22/476.39	c | 476.39    | 0  | -368047      lb |  0                0                0.00  |
481.31/481.46	c | 481.47    | 0  | -368046      lb |  0                0                0.00  |
486.31/486.47	c | 486.48    | 0  | -368045      lb |  0                0                0.00  |
489.01/489.15	c | 489.15    | 0  | -368044      lb |  0                0                0.00  |
492.21/492.34	c | 492.34    | 0  | -368043      lb |  0                0                0.00  |
495.91/496.07	c | 496.07    | 0  | -368042      lb |  0                0                0.00  |
497.91/498.01	c | 498.01    | 0  | -368041      lb |  0                0                0.00  |
499.71/499.82	c | 499.82    | 0  | -368040      lb |  0                0                0.00  |
504.40/504.55	c | 504.56    | 0  | -368039      lb |  0                0                0.00  |
506.21/506.32	c | 506.33    | 0  | -368038      lb |  0                0                0.00  |
509.80/509.99	c | 510.00    | 0  | -368037      lb |  0                0                0.00  |
513.10/513.29	c | 513.29    | 0  | -368036      lb |  0                0                0.00  |
562.39/562.55	c | 562.55    | 0  | -368035      lb |  0                0                0.00  |
567.78/567.97	c | 567.97    | 0  | -368034      lb |  0                0                0.00  |
569.58/569.79	c | 569.79    | 0  | -368033      lb |  0                0                0.00  |
573.87/574.09	c | 574.09    | 0  | -368032      lb |  0                0                0.00  |
578.49/578.62	c | 578.63    | 0  | -368031      lb |  0                0                0.00  |
585.98/586.10	c | 586.10    | 0  | -368030      lb |  0                0                0.00  |
590.88/591.06	c | 591.07    | 0  | -368029      lb |  0                0                0.00  |
593.07/593.28	c | 593.29    | 0  | -368028      lb |  0                0                0.00  |
598.67/598.81	c | 598.81    | 0  | -368027      lb |  0                0                0.00  |
603.57/603.80	c | 603.80    | 0  | -368026      lb |  0                0                0.00  |
608.17/608.38	c | 608.39    | 0  | -368025      lb |  0                0                0.00  |
1313.09/1313.49	c | 1313.49   | 0  | -368024      lb |  0                0                0.00  |
1316.18/1316.57	c | 1316.57   | 0  | -368023      lb |  0                0                0.00  |
1321.58/1321.92	c | 1321.92   | 0  | -368022      lb |  0                0                0.00  |
1324.98/1325.34	c | 1325.34   | 0  | -368021      lb |  0                0                0.00  |
1329.97/1330.32	c | 1330.32   | 0  | -368020      lb |  0                0                0.00  |
1335.27/1335.64	c | 1335.65   | 0  | -368019      lb |  0                0                0.00  |
1338.47/1338.89	c | 1338.90   | 0  | -368018      lb |  0                0                0.00  |
1799.59/1800.00	c ===============================================================================
1799.59/1800.00	c Wall Clock Time: 1800.00 s
1799.59/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-3705588-1338161837/watcher-3705588-1338161837 -o /tmp/evaluation-result-3705588-1338161837/solver-3705588-1338161837 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705588-1338161837.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14642
/proc/meminfo: memFree=29795948/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=31820 CPUtime=0 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) R 14640 14642 14387 0 -1 4202496 593 0 0 0 0 0 0 0 20 0 1 0 282312369 32583680 545 33554432000 4194304 5963574 140736355944928 140736355942808 4394942 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 7955 545 176 432 0 627 0

[startup+0.0338841 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14642
/proc/meminfo: memFree=29795948/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=36240 CPUtime=0.02 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) R 14640 14642 14387 0 -1 4202496 1687 0 0 0 2 0 0 0 20 0 1 0 282312369 37109760 1639 33554432000 4194304 5963574 140736355944928 140736355942808 4343959 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 9060 1641 274 432 0 1732 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 36240

[startup+0.100296 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14642
/proc/meminfo: memFree=29795948/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=42508 CPUtime=0.09 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) R 14640 14642 14387 0 -1 4202496 3425 0 0 0 9 0 0 0 20 0 1 0 282312369 43528192 3263 33554432000 4194304 5963574 140736355944928 140736355942808 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 10627 3265 497 432 0 3299 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42508

[startup+0.300278 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14642
/proc/meminfo: memFree=29795948/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=53932 CPUtime=0.29 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) R 14640 14642 14387 0 -1 4202496 7110 0 0 0 28 1 0 0 20 0 1 0 282312369 55226368 6811 33554432000 4194304 5963574 140736355944928 140736355942808 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 13483 6811 1104 432 0 6155 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53932

[startup+0.700273 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14642
/proc/meminfo: memFree=29795948/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=93048 CPUtime=0.69 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) R 14640 14642 14387 0 -1 4202496 16782 0 0 0 67 2 0 0 20 0 1 0 282312369 95281152 15825 33554432000 4194304 5963574 140736355944928 140736355942808 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 23262 15827 2332 432 0 15934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93048

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14643
/proc/meminfo: memFree=29688868/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=147752 CPUtime=1.49 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) R 14640 14642 14387 0 -1 4202496 31683 0 0 0 145 4 0 0 20 0 1 0 282312369 151298048 31402 33554432000 4194304 5963574 140736355944928 140736355943272 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 36938 31404 4313 432 0 29610 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 147752

[startup+3.10016 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14644
/proc/meminfo: memFree=29371684/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=387328 CPUtime=3.08 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 75824 0 0 0 296 12 0 0 20 0 2 0 282312369 396623872 75485 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 96832 75485 185 432 0 96397 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 387328

[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14645
/proc/meminfo: memFree=28926156/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=565648 CPUtime=6.29 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 111829 0 0 0 607 22 0 0 20 0 2 0 282312369 579223552 124870 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 141412 124870 194 432 0 140977 0
[pid=14642/tid=14645] ppid=14640 vsize=565648 CPUtime=3.5 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 64556 0 0 0 334 16 0 0 20 0 2 0 282312647 579223552 124870 33554432000 4194304 5963574 140736355944928 140396799695384 5178983 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 565648

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14645
/proc/meminfo: memFree=28860300/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=631184 CPUtime=12.68 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 114904 0 0 0 1245 23 0 0 20 0 2 0 282312369 646332416 135692 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 157796 135692 196 432 0 157361 0
[pid=14642/tid=14645] ppid=14640 vsize=631184 CPUtime=9.9 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 67631 0 0 0 973 17 0 0 20 0 2 0 282312647 646332416 135692 33554432000 4194304 5963574 140736355944928 140396799695144 5141661 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 631184

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14645
/proc/meminfo: memFree=28835780/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=631304 CPUtime=25.48 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 126816 0 0 0 2519 29 0 0 20 0 2 0 282312369 646455296 137393 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 157826 137393 196 432 0 157391 0
[pid=14642/tid=14645] ppid=14640 vsize=631304 CPUtime=22.7 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 79543 0 0 0 2247 23 0 0 20 0 2 0 282312647 646455296 137393 33554432000 4194304 5963574 140736355944928 140396799695256 4405930 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 631304

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14645
/proc/meminfo: memFree=28652740/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=778780 CPUtime=51.08 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 157477 0 0 0 5067 41 0 0 20 0 2 0 282312369 797470720 173753 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 194695 173753 196 432 0 194260 0
[pid=14642/tid=14645] ppid=14640 vsize=778780 CPUtime=48.3 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 110204 0 0 0 4795 35 0 0 20 0 2 0 282312647 797470720 173753 33554432000 4194304 5963574 140736355944928 140396799695384 4395716 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 778780

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14645
/proc/meminfo: memFree=28558888/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=909852 CPUtime=102.27 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 180327 0 0 0 10178 49 0 0 20 0 2 0 282312369 931688448 192767 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 227463 192767 197 432 0 227028 0
[pid=14642/tid=14645] ppid=14640 vsize=909852 CPUtime=99.51 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 133054 0 0 0 9907 44 0 0 20 0 2 0 282312647 931688448 192767 33554432000 4194304 5963574 140736355944928 140396799695144 4392341 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 909852

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14646
/proc/meminfo: memFree=28538584/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=909852 CPUtime=162.26 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 191715 0 0 0 16172 54 0 0 20 0 2 0 282312369 931688448 201885 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 227463 201885 197 432 0 227028 0
[pid=14642/tid=14645] ppid=14640 vsize=909852 CPUtime=159.51 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 144442 0 0 0 15901 50 0 0 20 0 2 0 282312647 931688448 201885 33554432000 4194304 5963574 140736355944928 140396799695384 4399423 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 909852

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14649
/proc/meminfo: memFree=28465564/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=975388 CPUtime=222.25 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 199455 0 0 0 22168 57 0 0 20 0 2 0 282312369 998797312 215900 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 243847 215900 197 432 0 243412 0
[pid=14642/tid=14645] ppid=14640 vsize=975388 CPUtime=219.51 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 152182 0 0 0 21897 54 0 0 20 0 2 0 282312647 998797312 215900 33554432000 4194304 5963574 140736355944928 140396799695192 4403100 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 975388

[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 14649
/proc/meminfo: memFree=28394860/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=975388 CPUtime=282.25 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 220667 0 0 0 28160 65 0 0 20 0 2 0 282312369 998797312 219465 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 243847 219465 197 432 0 243412 0
[pid=14642/tid=14645] ppid=14640 vsize=975388 CPUtime=279.51 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 173394 0 0 0 27888 63 0 0 20 0 2 0 282312647 998797312 219465 33554432000 4194304 5963574 140736355944928 140396799695384 5178841 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 975388

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14649
/proc/meminfo: memFree=28298572/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1035536 CPUtime=342.23 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 232388 0 0 0 34151 72 0 0 20 0 2 0 282312369 1060388864 238298 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 258884 238298 197 432 0 258449 0
[pid=14642/tid=14645] ppid=14640 vsize=1035536 CPUtime=339.52 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 185115 0 0 0 33881 71 0 0 20 0 2 0 282312647 1060388864 238298 33554432000 4194304 5963574 140736355944928 140396799695112 5121619 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1035536

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14649
/proc/meminfo: memFree=28203296/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1090056 CPUtime=402.22 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 238941 0 0 0 40147 75 0 0 20 0 2 0 282312369 1116217344 250645 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 272514 250645 197 432 0 272079 0
[pid=14642/tid=14645] ppid=14640 vsize=1090056 CPUtime=399.52 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 191668 0 0 0 39877 75 0 0 20 0 2 0 282312647 1116217344 250645 33554432000 4194304 5963574 140736355944928 140396799695384 4403213 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1090056

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14650
/proc/meminfo: memFree=28137756/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1155592 CPUtime=462.21 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 246345 0 0 0 46142 79 0 0 20 0 2 0 282312369 1183326208 256435 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 288898 256435 197 432 0 288463 0
[pid=14642/tid=14645] ppid=14640 vsize=1155592 CPUtime=459.52 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 199072 0 0 0 45873 79 0 0 20 0 2 0 282312647 1183326208 256435 33554432000 4194304 5963574 140736355944928 140396799695144 4405896 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0

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

/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 217626 0 0 0 129843 105 0 0 20 0 2 0 282312647 1250435072 282203 33554432000 4194304 5963574 140736355944928 140396799694648 4392309 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1221128

[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 14656
/proc/meminfo: memFree=27340748/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1361.98 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 287300 0 0 0 136101 97 0 0 20 0 2 0 282312369 1451761664 317888 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 317888 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1359.47 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 240027 0 0 0 135836 111 0 0 20 0 2 0 282312647 1451761664 317888 33554432000 4194304 5963574 140736355944928 140396799695384 4388646 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1417736

[startup+1422.31 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 14660
/proc/meminfo: memFree=27312636/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1421.97 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 287312 0 0 0 142100 97 0 0 20 0 2 0 282312369 1451761664 317900 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 317900 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1419.48 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 240039 0 0 0 141836 112 0 0 20 0 2 0 282312647 1451761664 317900 33554432000 4194304 5963574 140736355944928 140396799695384 4392541 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1417736

[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 14683
/proc/meminfo: memFree=27288456/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1481.96 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 287312 0 0 0 148099 97 0 0 20 0 2 0 282312369 1451761664 317900 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 317900 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1479.48 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 240039 0 0 0 147835 113 0 0 20 0 2 0 282312647 1451761664 317900 33554432000 4194304 5963574 140736355944928 140396799695384 4388665 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1417736

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 14683
/proc/meminfo: memFree=27260936/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1541.95 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 287312 0 0 0 154098 97 0 0 20 0 2 0 282312369 1451761664 317900 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 317900 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1539.48 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 240039 0 0 0 153834 114 0 0 20 0 2 0 282312647 1451761664 317900 33554432000 4194304 5963574 140736355944928 140396799695384 4388636 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1417736

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14683
/proc/meminfo: memFree=27228696/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1601.94 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 287312 0 0 0 160097 97 0 0 20 0 2 0 282312369 1451761664 317900 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 317900 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1599.49 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 240039 0 0 0 159834 115 0 0 20 0 2 0 282312647 1451761664 317900 33554432000 4194304 5963574 140736355944928 140396799695384 4388683 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1417736

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14683
/proc/meminfo: memFree=27194844/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1661.93 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 287317 0 0 0 166096 97 0 0 20 0 2 0 282312369 1451761664 317905 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 317905 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1659.49 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 240044 0 0 0 165833 116 0 0 20 0 2 0 282312647 1451761664 317905 33554432000 4194304 5963574 140736355944928 140396799695384 4403263 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1417736

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14684
/proc/meminfo: memFree=27161116/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1721.92 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 287354 0 0 0 172095 97 0 0 20 0 2 0 282312369 1451761664 317942 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 317942 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1719.49 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 240081 0 0 0 171832 117 0 0 20 0 2 0 282312647 1451761664 317942 33554432000 4194304 5963574 140736355944928 140396799695384 4388683 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1417736

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 14684
/proc/meminfo: memFree=27106036/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1781.9 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 294834 0 0 0 178090 100 0 0 20 0 2 0 282312369 1451761664 325446 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 325446 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1779.49 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 247561 0 0 0 177828 121 0 0 20 0 2 0 282312647 1451761664 325446 33554432000 4194304 5963574 140736355944928 140396799694888 4388696 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1417736

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

[startup+1791.91 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 14684
/proc/meminfo: memFree=27094612/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1791.49 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 296592 0 0 0 179049 100 0 0 20 0 2 0 282312369 1451761664 327198 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 327198 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1789.09 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 249319 0 0 0 178788 121 0 0 20 0 2 0 282312647 1451761664 327198 33554432000 4194304 5963574 140736355944928 140396799694840 4403126 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 1417736

[startup+1795.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 14684
/proc/meminfo: memFree=27091248/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1794.69 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 297149 0 0 0 179369 100 0 0 20 0 2 0 282312369 1451761664 327752 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 327752 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1792.29 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 249876 0 0 0 179108 121 0 0 20 0 2 0 282312647 1451761664 327752 33554432000 4194304 5963574 140736355944928 140396799694840 4392309 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 1417736

[startup+1798.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 14684
/proc/meminfo: memFree=27089264/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1797.89 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 297688 0 0 0 179688 101 0 0 20 0 2 0 282312369 1451761664 328291 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 328291 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1795.48 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 250415 0 0 0 179426 122 0 0 20 0 2 0 282312647 1451761664 328291 33554432000 4194304 5963574 140736355944928 140396799694840 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 1417736

[startup+1799.1 s]
/proc/loadavg: 2.05 2.02 2.00 3/173 14712
/proc/meminfo: memFree=28630120/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1798.69 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 297875 0 0 0 179768 101 0 0 20 0 2 0 282312369 1451761664 328478 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 328478 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1796.28 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 250602 0 0 0 179506 122 0 0 20 0 2 0 282312647 1451761664 328478 33554432000 4194304 5963574 140736355944928 140396799694888 4403207 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 1417736

[startup+1799.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/176 14722
/proc/meminfo: memFree=28568516/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1799.1 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 297944 0 0 0 179809 101 0 0 20 0 2 0 282312369 1451761664 328547 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 328547 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1796.69 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 250671 0 0 0 179547 122 0 0 20 0 2 0 282312647 1451761664 328547 33554432000 4194304 5963574 140736355944928 140396799694888 4403236 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 1417736

[startup+1799.9 s]
/proc/loadavg: 2.05 2.02 2.00 3/176 14722
/proc/meminfo: memFree=28568516/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1799.49 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 298009 0 0 0 179848 101 0 0 20 0 2 0 282312369 1451761664 328612 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 328612 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1797.08 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 250736 0 0 0 179586 122 0 0 20 0 2 0 282312647 1451761664 328612 33554432000 4194304 5963574 140736355944928 140396799694888 4399958 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 1417736

[startup+1800 s]
/proc/loadavg: 2.05 2.02 2.00 3/176 14722
/proc/meminfo: memFree=28568516/32873844 swapFree=7112/7112
[pid=14642] ppid=14640 vsize=1417736 CPUtime=1799.59 cores=0,2,4,6
/proc/14642/stat : 14642 (wbo1.7) S 14640 14642 14387 0 -1 4202496 298030 0 0 0 179858 101 0 0 20 0 2 0 282312369 1451761664 328633 33554432000 4194304 5963574 140736355944928 140736355944448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14642/statm: 354434 328633 197 432 0 353999 0
[pid=14642/tid=14645] ppid=14640 vsize=1417736 CPUtime=1797.18 cores=0,2,4,6
/proc/14642/task/14645/stat : 14645 (wbo1.7) R 14640 14642 14387 0 -1 4202560 250757 0 0 0 179596 122 0 0 20 0 2 0 282312647 1451761664 328633 33554432000 4194304 5963574 140736355944928 140396799694888 4388646 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 1417736

Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.99
CPU user time (s): 1798.68
CPU system time (s): 1.3128
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 1417736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.68
system time used= 1.3128
maximum resident set size= 1314532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298030
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= 130
involuntary context switches= 2096

runsolver used 7.67283 second user time and 17.0384 second system time

The end

Launcher Data 

Begin job on node104 at 2012-05-28 01:37:18
IDJOB=3705588
IDBENCH=90949
IDSOLVER=2283
FILE ID=node104/3705588-1338161837
RUNJOBID= node104-1338158234-14403
PBS_JOBID= 14624539
Free space on /tmp= 70972 MiB

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

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

MD5SUM BENCH= 1a988adb2582fdda2a937cfe38fb69f2
RANDOM SEED=876917423

node104.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.266
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.53
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.266
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.266
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	: 5331.91
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.266
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.92
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.266
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.266
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.266
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.266
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29797552 kB
Buffers:          358164 kB
Cached:          1742904 kB
SwapCached:         1120 kB
Active:          1330396 kB
Inactive:         907948 kB
Active(anon):     129464 kB
Inactive(anon):     9936 kB
Active(file):    1200932 kB
Inactive(file):   898012 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67106684 kB
Dirty:             66636 kB
Writeback:             0 kB
AnonPages:        136864 kB
Mapped:            34052 kB
Shmem:               196 kB
Slab:             697644 kB
SReclaimable:     139432 kB
SUnreclaim:       558212 kB
KernelStack:        1456 kB
PageTables:         4012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     254940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70968 MiB
End job on node104 at 2012-05-28 02:07:18