Trace number 2690115

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
wbo 1.4aOPTIMUM 1410.7 1410.67

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546076--soft-66-100-0.wbo
MD5SUM0b9d6337ad7964b2b0f1686d5d01e741
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark331.135
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints900
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 45741
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45740
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
Number of bits of the biggest sum of numbers10
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 wbo 1.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2690115-1277908258.wbo.
0.00/0.00	c Instance file HOME/instance-2690115-1277908258.wbo
0.00/0.00	c File size is 87861 bytes.
0.00/0.00	c Highest Coefficient sum: 723
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      231                                                 |
0.00/0.00	c |  Number Clauses:        2684                                                |
0.00/0.00	c |  Number Cardinality:    22                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     231     2707     8338 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       102 |     231     2707     8338 |     5500      102     20 |  0.002 % |
0.00/0.01	c |       253 |     231     2707     8338 |     6050      253     21 |  0.002 % |
0.00/0.01	c |       479 |     231     2707     8338 |     6655      479     27 |  0.002 % |
0.00/0.02	c |       816 |     231     2707     8338 |     7320      816     30 |  0.002 % |
0.00/0.04	c |      1322 |     231     2707     8338 |     8052     1322     31 |  0.002 % |
0.06/0.06	c |      2081 |     231     2707     8338 |     8857     2081     31 |  0.002 % |
0.09/0.10	c |      3221 |     231     2707     8338 |     9743     3221     31 |  0.002 % |
0.09/0.17	c |      4930 |     231     2707     8338 |    10717     4930     31 |  0.002 % |
0.19/0.29	c |      7492 |     231     2707     8338 |    11789     7492     32 |  0.002 % |
0.49/0.51	c |     11338 |     231     2707     8338 |    12968    11338     33 |  0.002 % |
0.79/0.82	c |     17106 |     231     2707     8338 |    14265    10593     32 |  0.002 % |
1.29/1.39	c |     25755 |     231     2707     8338 |    15692    12062     37 |  0.002 % |
2.20/2.29	c |     38729 |     231     2707     8338 |    17261     9253     36 |  0.002 % |
3.59/3.64	c |     58190 |     231     2707     8338 |    18987    11350     35 |  0.002 % |
5.90/5.96	c |     87384 |     231     2707     8338 |    20886    11932     38 |  0.002 % |
8.79/8.85	c ===============================================================================
9.29/9.34	c core #1
9.29/9.34	c ============================[ Search Statistics ]==============================
9.29/9.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.29/9.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.29/9.34	c ===============================================================================
9.29/9.34	c |         0 |     694     3549    12329 |     5000        0    nan |  0.000 % |
9.29/9.35	c |       100 |     694     3549    12329 |     5500      100     22 |  0.000 % |
9.29/9.36	c |       250 |     694     3549    12329 |     6050      250     29 |  0.000 % |
9.29/9.36	c |       475 |     694     3549    12329 |     6655      475     26 |  0.000 % |
9.29/9.37	c |       814 |     694     3549    12329 |     7320      814     29 |  0.000 % |
9.29/9.39	c |      1322 |     694     3549    12329 |     8052     1322     31 |  0.000 % |
9.39/9.42	c |      2084 |     694     3549    12329 |     8857     2084     31 |  0.000 % |
9.39/9.46	c |      3224 |     694     3549    12329 |     9743     3224     31 |  0.000 % |
9.49/9.54	c |      4932 |     694     3549    12329 |    10717     4932     32 |  0.000 % |
9.59/9.66	c |      7497 |     694     3549    12329 |    11789     7497     33 |  0.000 % |
9.89/9.91	c |     11343 |     694     3549    12329 |    12968    11343     34 |  0.000 % |
10.29/10.31	c |     17109 |     694     3549    12329 |    14265    10580     36 |  0.000 % |
10.79/10.89	c |     25759 |     694     3549    12329 |    15692    12047     34 |  0.000 % |
11.89/12.00	c |     38734 |     694     3549    12329 |    17261     9201     37 |  0.000 % |
13.49/13.50	c |     58196 |     694     3549    12329 |    18987    11320     39 |  0.000 % |
15.99/16.01	c |     87389 |     694     3549    12329 |    20886    11876     37 |  0.000 % |
19.89/19.93	c |    131181 |     694     3549    12329 |    22974    13693     38 |  0.000 % |
26.40/26.47	c |    196867 |     694     3549    12329 |    25272    21656     37 |  0.000 % |
36.00/36.08	c |    295394 |     694     3549    12329 |    27799    15951     34 |  0.000 % |
50.50/50.51	c |    443183 |     694     3549    12329 |    30579    21928     36 |  0.000 % |
59.99/60.03	c ===============================================================================
62.89/62.91	c core #2
62.89/62.91	c ============================[ Search Statistics ]==============================
62.89/62.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
62.89/62.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
62.89/62.91	c ===============================================================================
62.89/62.91	c |         0 |    1153     4377    16271 |     5000        0    nan |  0.000 % |
62.99/63.03	c |       100 |    1153     4377    16271 |     5500      100     29 |  0.000 % |
62.99/63.04	c |       252 |    1153     4377    16271 |     6050      252     33 |  0.000 % |
62.99/63.06	c |       477 |    1153     4377    16271 |     6655      477     31 |  0.000 % |
62.99/63.07	c |       814 |    1153     4377    16271 |     7320      814     27 |  0.000 % |
62.99/63.09	c |      1320 |    1153     4377    16271 |     8052     1320     28 |  0.000 % |
63.09/63.12	c |      2080 |    1153     4377    16271 |     8857     2080     28 |  0.000 % |
63.09/63.17	c |      3219 |    1153     4377    16271 |     9743     3219     28 |  0.000 % |
63.19/63.24	c |      4927 |    1153     4377    16271 |    10717     4927     30 |  0.000 % |
63.30/63.39	c |      7491 |    1153     4377    16271 |    11789     7491     31 |  0.000 % |
63.60/63.63	c |     11335 |    1153     4377    16271 |    12968    11335     32 |  0.000 % |
63.89/63.98	c |     17102 |    1153     4377    16271 |    14265    10365     34 |  0.000 % |
64.59/64.68	c |     25753 |    1153     4377    16271 |    15692    11816     38 |  0.000 % |
65.60/65.69	c |     38727 |    1153     4377    16271 |    17261     9005     36 |  0.000 % |
67.19/67.29	c |     58189 |    1153     4377    16271 |    18987    11098     36 |  0.000 % |
69.99/70.02	c |     87385 |    1153     4377    16271 |    20886    11661     37 |  0.000 % |
74.69/74.72	c |    131177 |    1153     4377    16271 |    22974    13488     39 |  0.000 % |
81.30/81.33	c |    196861 |    1153     4377    16271 |    25272    21363     37 |  0.000 % |
91.59/91.67	c |    295387 |    1153     4377    16271 |    27799    13399     36 |  0.000 % |
108.29/108.34	c |    443178 |    1153     4377    16271 |    30579    22821     36 |  0.000 % |
119.00/119.02	c ===============================================================================
122.10/122.14	c core #3
122.10/122.14	c ============================[ Search Statistics ]==============================
122.10/122.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
122.10/122.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
122.10/122.14	c ===============================================================================
122.10/122.14	c |         0 |    1621     5212    20261 |     5000        0    nan |  0.000 % |
122.10/122.17	c |       101 |    1621     5212    20261 |     5500      101     22 |  0.000 % |
122.10/122.18	c |       251 |    1621     5212    20261 |     6050      251     24 |  0.000 % |
122.10/122.18	c |       476 |    1621     5212    20261 |     6655      476     28 |  0.000 % |
122.19/122.20	c |       814 |    1621     5212    20261 |     7320      814     28 |  0.000 % |
122.19/122.22	c |      1320 |    1621     5212    20261 |     8052     1320     28 |  0.000 % |
122.19/122.26	c |      2079 |    1621     5212    20261 |     8857     2079     29 |  0.000 % |
122.29/122.30	c |      3218 |    1621     5212    20261 |     9743     3218     29 |  0.000 % |
122.29/122.39	c |      4927 |    1621     5212    20261 |    10717     4927     30 |  0.000 % |
122.49/122.54	c |      7491 |    1621     5212    20261 |    11789     7491     31 |  0.000 % |
122.79/122.83	c |     11336 |    1621     5212    20261 |    12968    11336     32 |  0.000 % |
123.29/123.31	c |     17102 |    1621     5212    20261 |    14265    10575     35 |  0.000 % |
124.10/124.14	c |     25751 |    1621     5212    20261 |    15692    12053     39 |  0.000 % |
125.30/125.37	c |     38725 |    1621     5212    20261 |    17261     9230     35 |  0.000 % |
127.19/127.21	c |     58187 |    1621     5212    20261 |    18987    11344     35 |  0.000 % |
129.89/129.96	c |     87379 |    1621     5212    20261 |    20886    11870     39 |  0.000 % |
134.50/134.56	c |    131169 |    1621     5212    20261 |    22974    13673     40 |  0.000 % |
141.99/142.09	c |    196855 |    1621     5212    20261 |    25272    21679     41 |  0.000 % |
153.90/153.97	c |    295381 |    1621     5212    20261 |    27799    17595     40 |  0.000 % |
169.30/169.32	c |    443170 |    1621     5212    20261 |    30579    25537     35 |  0.000 % |
190.20/190.25	c ===============================================================================
194.09/194.18	c core #4
194.09/194.18	c ============================[ Search Statistics ]==============================
194.09/194.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.09/194.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.09/194.18	c ===============================================================================
194.09/194.18	c |         0 |    2093     6030    24205 |     5000        0    nan |  0.000 % |
194.20/194.21	c |       102 |    2093     6030    24205 |     5500      102     21 |  0.000 % |
194.20/194.23	c |       253 |    2093     6030    24205 |     6050      253     27 |  0.000 % |
194.20/194.24	c |       479 |    2093     6030    24205 |     6655      479     28 |  0.000 % |
194.20/194.26	c |       817 |    2093     6030    24205 |     7320      817     26 |  0.000 % |
194.20/194.28	c |      1323 |    2093     6030    24205 |     8052     1323     26 |  0.000 % |
194.30/194.33	c |      2082 |    2093     6030    24205 |     8857     2082     27 |  0.000 % |
194.30/194.38	c |      3222 |    2093     6030    24205 |     9743     3222     28 |  0.000 % |
194.40/194.47	c |      4932 |    2093     6030    24205 |    10717     4932     29 |  0.000 % |
194.61/194.62	c |      7494 |    2093     6030    24205 |    11789     7494     30 |  0.000 % |
194.89/194.90	c |     11338 |    2093     6030    24205 |    12968    11338     33 |  0.000 % |
195.30/195.36	c |     17106 |    2093     6030    24205 |    14265    10580     34 |  0.000 % |
196.20/196.24	c |     25756 |    2093     6030    24205 |    15692    12055     37 |  0.000 % |
197.49/197.50	c |     38731 |    2093     6030    24205 |    17261     9262     34 |  0.000 % |
199.30/199.36	c |     58194 |    2093     6030    24205 |    18987    11356     35 |  0.000 % |
202.40/202.42	c |     87387 |    2093     6030    24205 |    20886    11908     34 |  0.000 % |
206.90/206.94	c |    131176 |    2093     6030    24205 |    22974    13724     37 |  0.000 % |
213.59/213.64	c |    196860 |    2093     6030    24205 |    25272    21374     34 |  0.000 % |
223.69/223.72	c |    295387 |    2093     6030    24205 |    27799    15304     34 |  0.000 % |
238.99/239.01	c |    443176 |    2093     6030    24205 |    30579    20874     38 |  0.000 % |
263.90/263.96	c |    664860 |    2093     6030    24205 |    33637    22450     35 |  0.000 % |
293.90/293.94	c ===============================================================================
299.40/299.43	c core #5
299.40/299.43	c ============================[ Search Statistics ]==============================
299.40/299.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
299.40/299.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
299.40/299.43	c ===============================================================================
299.40/299.43	c |         0 |    2581     6834    28134 |     5000        0    nan |  0.000 % |
299.40/299.49	c |       100 |    2581     6834    28134 |     5500      100     19 |  0.000 % |
299.50/299.50	c |       250 |    2581     6834    28134 |     6050      250     19 |  0.000 % |
299.50/299.51	c |       478 |    2581     6834    28134 |     6655      478     25 |  0.000 % |
299.50/299.53	c |       815 |    2581     6834    28134 |     7320      815     28 |  0.000 % |
299.50/299.56	c |      1321 |    2581     6834    28134 |     8052     1321     29 |  0.000 % |
299.60/299.61	c |      2081 |    2581     6834    28134 |     8857     2081     30 |  0.000 % |
299.60/299.66	c |      3220 |    2581     6834    28134 |     9743     3220     33 |  0.000 % |
299.70/299.75	c |      4930 |    2581     6834    28134 |    10717     4930     32 |  0.000 % |
299.89/299.92	c |      7492 |    2581     6834    28134 |    11789     7492     33 |  0.000 % |
300.10/300.17	c |     11336 |    2581     6834    28134 |    12968    11336     32 |  0.000 % |
300.60/300.61	c |     17105 |    2581     6834    28134 |    14265    10582     33 |  0.000 % |
301.31/301.35	c |     25755 |    2581     6834    28134 |    15692    12046     35 |  0.000 % |
302.50/302.57	c |     38729 |    2581     6834    28134 |    17261     9240     37 |  0.000 % |
304.39/304.43	c |     58190 |    2581     6834    28134 |    18987    11344     37 |  0.000 % |
307.49/307.53	c |     87383 |    2581     6834    28134 |    20886    11915     38 |  0.000 % |
312.49/312.56	c |    131172 |    2581     6834    28134 |    22974    13713     37 |  0.000 % |
320.70/320.71	c |    196860 |    2581     6834    28134 |    25272    21711     37 |  0.000 % |
330.49/330.57	c |    295387 |    2581     6834    28134 |    27799    12085     38 |  0.000 % |
346.40/346.49	c |    443176 |    2581     6834    28134 |    30579    19607     39 |  0.000 % |
371.20/371.29	c |    664860 |    2560     6834    28134 |    33637    30419     36 |  0.814 % |
374.90/374.91	c ===============================================================================
379.10/379.16	c core #6
379.10/379.16	c ============================[ Search Statistics ]==============================
379.10/379.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
379.10/379.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
379.10/379.16	c ===============================================================================
379.10/379.16	c |         0 |    3083     7634    32093 |     5000        0    nan |  0.000 % |
379.20/379.23	c |       100 |    3083     7634    32093 |     5500      100     24 |  0.000 % |
379.20/379.24	c |       252 |    3083     7634    32093 |     6050      252     27 |  0.000 % |
379.20/379.25	c |       477 |    3083     7634    32093 |     6655      477     28 |  0.000 % |
379.20/379.26	c |       816 |    3083     7634    32093 |     7320      816     27 |  0.000 % |
379.20/379.29	c |      1324 |    3083     7634    32093 |     8052     1324     27 |  0.000 % |
379.30/379.33	c |      2085 |    3083     7634    32093 |     8857     2085     28 |  0.000 % |
379.30/379.38	c |      3224 |    3083     7634    32093 |     9743     3224     30 |  0.000 % |
379.41/379.48	c |      4933 |    3083     7634    32093 |    10717     4933     30 |  0.000 % |
379.60/379.63	c |      7495 |    3083     7634    32093 |    11789     7495     30 |  0.000 % |
379.90/379.91	c |     11339 |    3083     7634    32093 |    12968    11339     31 |  0.000 % |
380.30/380.37	c |     17105 |    3083     7634    32093 |    14265    10554     32 |  0.000 % |
381.00/381.08	c |     25754 |    3083     7634    32093 |    15692    12006     34 |  0.000 % |
382.30/382.38	c |     38728 |    3083     7634    32093 |    17261     9176     40 |  0.000 % |
384.00/384.08	c |     58189 |    3083     7634    32093 |    18987    11267     34 |  0.000 % |
386.80/386.88	c |     87382 |    3083     7634    32093 |    20886    11856     35 |  0.000 % |
391.40/391.41	c |    131173 |    3083     7634    32093 |    22974    13623     35 |  0.000 % |
398.11/398.19	c |    196859 |    3083     7634    32093 |    25272    21632     36 |  0.000 % |
409.11/409.13	c |    295385 |    3083     7634    32093 |    27799    15543     37 |  0.000 % |
427.00/427.09	c |    443175 |    3083     7634    32093 |    30579    26123     42 |  0.000 % |
442.21/442.21	c ===============================================================================
445.70/445.72	c core #7
445.70/445.72	c ============================[ Search Statistics ]==============================
445.70/445.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
445.70/445.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
445.70/445.72	c ===============================================================================
445.70/445.72	c |         0 |    3603     8430    36067 |     5000        0    nan |  0.000 % |
445.70/445.78	c |       100 |    3603     8430    36067 |     5500      100     32 |  0.000 % |
445.70/445.79	c |       251 |    3603     8430    36067 |     6050      251     37 |  0.000 % |
445.80/445.80	c |       476 |    3603     8430    36067 |     6655      476     31 |  0.000 % |
445.80/445.83	c |       814 |    3603     8430    36067 |     7320      814     31 |  0.000 % |
445.80/445.85	c |      1320 |    3603     8430    36067 |     8052     1320     30 |  0.000 % |
445.80/445.89	c |      2081 |    3603     8430    36067 |     8857     2081     29 |  0.000 % |
445.91/445.95	c |      3220 |    3603     8430    36067 |     9743     3220     29 |  0.000 % |
446.00/446.03	c |      4928 |    3603     8430    36067 |    10717     4928     29 |  0.000 % |
446.20/446.20	c |      7490 |    3603     8430    36067 |    11789     7490     29 |  0.000 % |
446.40/446.49	c |     11334 |    3603     8430    36067 |    12968    11334     30 |  0.000 % |
446.90/446.93	c |     17102 |    3603     8430    36067 |    14265    10583     30 |  0.000 % |
447.71/447.71	c |     25751 |    3603     8430    36067 |    15692    12044     35 |  0.000 % |
448.90/448.92	c |     38726 |    3603     8430    36067 |    17261     9224     37 |  0.000 % |
450.81/450.82	c |     58187 |    3603     8430    36067 |    18987    11329     36 |  0.000 % |
453.80/453.89	c |     87381 |    3603     8430    36067 |    20886    11890     41 |  0.000 % |
458.50/458.54	c |    131172 |    3603     8430    36067 |    22974    13733     37 |  0.000 % |
465.60/465.66	c |    196856 |    3603     8430    36067 |    25272    21555     39 |  0.000 % |
477.50/477.57	c |    295382 |    3603     8430    36067 |    27799    14973     41 |  0.000 % |
494.51/494.59	c |    443173 |    3603     8430    36067 |    30579    20686     38 |  0.000 % |
519.70/519.70	c |    664857 |    3603     8430    36067 |    33637    23988     34 |  0.000 % |
550.02/550.05	c ===============================================================================
555.80/555.87	c core #8
555.80/555.87	c ============================[ Search Statistics ]==============================
555.80/555.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
555.80/555.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
555.80/555.87	c ===============================================================================
555.80/555.87	c |         0 |    4135     9221    40049 |     5000        0    nan |  0.000 % |
555.91/555.95	c |       105 |    4135     9221    40049 |     5500      105     20 |  0.000 % |
555.91/555.96	c |       255 |    4135     9221    40049 |     6050      255     26 |  0.000 % |
555.91/555.97	c |       481 |    4135     9221    40049 |     6655      481     28 |  0.000 % |
555.91/555.99	c |       818 |    4135     9221    40049 |     7320      818     29 |  0.000 % |
556.00/556.02	c |      1327 |    4135     9221    40049 |     8052     1327     28 |  0.000 % |
556.00/556.07	c |      2087 |    4135     9221    40049 |     8857     2087     28 |  0.000 % |
556.11/556.13	c |      3226 |    4135     9221    40049 |     9743     3226     29 |  0.000 % |
556.20/556.22	c |      4936 |    4135     9221    40049 |    10717     4936     29 |  0.000 % |
556.31/556.39	c |      7498 |    4135     9221    40049 |    11789     7498     31 |  0.000 % |
556.70/556.72	c |     11342 |    4135     9221    40049 |    12968    11342     31 |  0.000 % |
557.11/557.15	c |     17109 |    4135     9221    40049 |    14265    10572     32 |  0.000 % |
557.80/557.85	c |     25759 |    4135     9221    40049 |    15692    12046     33 |  0.000 % |
559.21/559.25	c |     38733 |    4135     9221    40049 |    17261     9243     36 |  0.000 % |
561.10/561.13	c |     58194 |    4135     9221    40049 |    18987    11361     40 |  0.000 % |
564.40/564.41	c |     87387 |    4135     9221    40049 |    20886    11899     37 |  0.000 % |
569.11/569.19	c |    131176 |    4135     9221    40049 |    22974    13730     38 |  0.000 % |
577.01/577.02	c |    196860 |    4135     9221    40049 |    25272    21721     39 |  0.000 % |
587.70/587.77	c |    295386 |    4135     9221    40049 |    27799    13740     35 |  0.000 % |
605.10/605.12	c |    443176 |    4135     9221    40049 |    30579    19290     36 |  0.000 % |
631.41/631.46	c |    664860 |    4135     9221    40049 |    33637    22307     37 |  0.000 % |
644.71/644.79	c ===============================================================================
649.71/649.73	c core #9
649.71/649.73	c ============================[ Search Statistics ]==============================
649.71/649.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
649.71/649.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
649.71/649.73	c ===============================================================================
649.71/649.73	c |         0 |    4656     9998    43971 |     5000        0    nan |  0.000 % |
649.80/649.81	c |       103 |    4656     9998    43971 |     5500      103     21 |  0.000 % |
649.80/649.82	c |       253 |    4656     9998    43971 |     6050      253     24 |  0.000 % |
649.80/649.83	c |       479 |    4656     9998    43971 |     6655      479     26 |  0.000 % |
649.80/649.85	c |       817 |    4656     9998    43971 |     7320      817     28 |  0.000 % |
649.80/649.88	c |      1325 |    4656     9998    43971 |     8052     1325     28 |  0.000 % |
649.91/649.93	c |      2085 |    4656     9998    43971 |     8857     2085     29 |  0.000 % |
649.91/649.99	c |      3228 |    4656     9998    43971 |     9743     3228     30 |  0.000 % |
650.01/650.09	c |      4936 |    4656     9998    43971 |    10717     4936     31 |  0.000 % |
650.21/650.26	c |      7498 |    4656     9998    43971 |    11789     7498     32 |  0.000 % |
650.50/650.57	c |     11343 |    4656     9998    43971 |    12968    11343     34 |  0.000 % |
651.00/651.07	c |     17110 |    4656     9998    43971 |    14265    10576     38 |  0.000 % |
651.80/651.86	c |     25759 |    4656     9998    43971 |    15692    12039     37 |  0.000 % |
653.01/653.07	c |     38735 |    4656     9998    43971 |    17261     9219     38 |  0.000 % |
654.91/654.93	c |     58197 |    4656     9998    43971 |    18987    11319     36 |  0.000 % |
657.61/657.67	c |     87391 |    4656     9998    43971 |    20886    11861     33 |  0.000 % |
662.30/662.33	c |    131182 |    4656     9998    43971 |    22974    13673     36 |  0.000 % |
669.50/669.57	c |    196866 |    4656     9998    43971 |    25272    21688     38 |  0.000 % |
680.61/680.64	c |    295392 |    4656     9998    43971 |    27799    14567     36 |  0.000 % |
699.52/699.50	c |    443183 |    4656     9998    43971 |    30579    23273     38 |  0.000 % |
728.21/728.21	c |    664866 |    4656     9998    43971 |    33637    29125     39 |  0.000 % |
745.50/745.52	c ===============================================================================
750.91/750.97	c core #10
750.91/750.97	c ============================[ Search Statistics ]==============================
750.91/750.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
750.91/750.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
750.91/750.97	c ===============================================================================
750.91/750.97	c |         0 |    5174    10777    47892 |     5000        0    nan |  0.000 % |
751.00/751.06	c |       100 |    5174    10777    47892 |     5500      100     28 |  0.000 % |
751.00/751.07	c |       250 |    5174    10777    47892 |     6050      250     30 |  0.000 % |
751.00/751.08	c |       475 |    5174    10777    47892 |     6655      475     29 |  0.000 % |
751.11/751.10	c |       812 |    5174    10777    47892 |     7320      812     28 |  0.000 % |
751.11/751.14	c |      1318 |    5174    10777    47892 |     8052     1318     28 |  0.000 % |
751.11/751.18	c |      2079 |    5174    10777    47892 |     8857     2079     27 |  0.000 % |
751.21/751.24	c |      3220 |    5174    10777    47892 |     9743     3220     29 |  0.000 % |
751.32/751.35	c |      4928 |    5174    10777    47892 |    10717     4928     31 |  0.000 % |
751.51/751.51	c |      7491 |    5174    10777    47892 |    11789     7491     31 |  0.000 % |
751.80/751.81	c |     11342 |    5174    10777    47892 |    12968    11342     32 |  0.000 % |
752.31/752.34	c |     17111 |    5174    10777    47892 |    14265    10579     36 |  0.000 % |
753.21/753.25	c |     25762 |    5174    10777    47892 |    15692    12045     38 |  0.000 % |
754.62/754.66	c |     38740 |    5174    10777    47892 |    17261     9221     36 |  0.000 % |
756.51/756.56	c |     58203 |    5174    10777    47892 |    18987    11305     33 |  0.000 % |
759.31/759.34	c |     87397 |    5174    10777    47892 |    20886    11866     38 |  0.000 % |
764.60/764.65	c |    131186 |    5174    10777    47892 |    22974    13684     39 |  0.000 % |
772.51/772.54	c |    196871 |    5174    10777    47892 |    25272    21679     38 |  0.000 % |
784.32/784.39	c |    295397 |    5174    10777    47892 |    27799    13400     35 |  0.000 % |
801.31/801.33	c |    443188 |    5174    10777    47892 |    30579    19178     36 |  0.000 % |
828.01/828.08	c |    664871 |    5174    10777    47892 |    33637    24329     38 |  0.000 % |
860.01/860.04	c ===============================================================================
865.91/865.98	c core #11
865.91/865.98	c ============================[ Search Statistics ]==============================
865.91/865.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
865.91/865.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
865.91/865.98	c ===============================================================================
865.91/865.98	c |         0 |    5685    11537    51726 |     5000        0    nan |  0.000 % |
866.01/866.07	c |       100 |    5685    11537    51726 |     5500      100     37 |  0.000 % |
866.01/866.08	c |       251 |    5685    11537    51726 |     6050      251     38 |  0.000 % |
866.11/866.10	c |       478 |    5685    11537    51726 |     6655      478     34 |  0.000 % |
866.11/866.12	c |       816 |    5685    11537    51726 |     7320      816     33 |  0.000 % |
866.11/866.16	c |      1324 |    5685    11537    51726 |     8052     1324     31 |  0.000 % |
866.21/866.22	c |      2083 |    5685    11537    51726 |     8857     2083     30 |  0.000 % |
866.21/866.29	c |      3225 |    5685    11537    51726 |     9743     3225     31 |  0.000 % |
866.41/866.40	c |      4934 |    5685    11537    51726 |    10717     4934     31 |  0.000 % |
866.51/866.59	c |      7497 |    5685    11537    51726 |    11789     7497     33 |  0.000 % |
866.91/866.93	c |     11342 |    5685    11537    51726 |    12968    11342     34 |  0.000 % |
868.01/868.03	c |     17110 |    5685    11537    51726 |    14265    10278     39 |  0.000 % |
868.71/868.74	c |     25759 |    5685    11537    51726 |    15692    11692     38 |  0.000 % |
869.91/869.92	c |     38733 |    5685    11537    51726 |    17261     8857     35 |  0.000 % |
871.81/871.81	c |     58196 |    5685    11537    51726 |    18987    10943     37 |  0.000 % |
874.81/874.86	c |     87388 |    5685    11537    51726 |    20886    11503     37 |  0.000 % |
879.31/879.39	c |    131179 |    5685    11537    51726 |    22974    13295     35 |  0.000 % |
887.51/887.55	c |    196863 |    5685    11537    51726 |    25272    21050     38 |  0.000 % |
898.82/898.89	c |    295389 |    5685    11537    51726 |    27799    14536     35 |  0.000 % |
918.11/918.17	c |    443179 |    5685    11537    51726 |    30579    22222     40 |  0.000 % |
950.82/950.81	c |    664864 |    5685    11537    51726 |    33637    27723     38 |  0.000 % |
993.91/993.91	c |    997391 |    5685    11537    51726 |    37001    16526     37 |  0.000 % |
1025.32/1025.39	c ===============================================================================
1033.51/1033.58	c core #12
1033.51/1033.58	c ============================[ Search Statistics ]==============================
1033.51/1033.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1033.51/1033.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1033.51/1033.58	c ===============================================================================
1033.51/1033.58	c |         0 |    6364    12292    55931 |     5000        0    nan |  0.000 % |
1033.61/1033.70	c |       101 |    6364    12292    55931 |     5500      101     33 |  0.000 % |
1033.71/1033.70	c |       252 |    6364    12292    55931 |     6050      252     29 |  0.000 % |
1033.71/1033.72	c |       477 |    6364    12292    55931 |     6655      477     30 |  0.000 % |
1033.71/1033.74	c |       814 |    6364    12292    55931 |     7320      814     30 |  0.000 % |
1033.71/1033.78	c |      1321 |    6364    12292    55931 |     8052     1321     29 |  0.000 % |
1033.82/1033.83	c |      2080 |    6364    12292    55931 |     8857     2080     27 |  0.000 % |
1033.92/1033.91	c |      3219 |    6364    12292    55931 |     9743     3219     26 |  0.000 % |
1034.02/1034.02	c |      4927 |    6364    12292    55931 |    10717     4927     28 |  0.000 % |
1034.21/1034.20	c |      7489 |    6364    12292    55931 |    11789     7489     29 |  0.000 % |
1034.51/1034.52	c |     11334 |    6364    12292    55931 |    12968    11334     30 |  0.000 % |
1035.02/1035.02	c |     17101 |    6364    12292    55931 |    14265    10578     33 |  0.000 % |
1035.81/1035.82	c |     25752 |    6364    12292    55931 |    15692    12039     35 |  0.000 % |
1037.12/1037.11	c |     38728 |    6364    12292    55931 |    17261     9220     33 |  0.000 % |
1039.31/1039.32	c |     58189 |    6364    12292    55931 |    18987    11316     36 |  0.000 % |
1042.51/1042.58	c |     87382 |    6364    12292    55931 |    20886    11881     36 |  0.000 % |
1048.02/1048.01	c |    131173 |    6364    12292    55931 |    22974    13693     35 |  0.000 % |
1056.22/1056.27	c |    196857 |    6364    12292    55931 |    25272    21684     36 |  0.000 % |
1069.62/1069.69	c |    295383 |    6364    12292    55931 |    27799    13622     39 |  0.000 % |
1101.71/1101.79	c |    443173 |    6364    12292    55931 |    30579    20407     46 |  0.000 % |
1173.31/1173.30	c |    664858 |    6364    12292    55931 |    33637    31880     46 |  0.000 % |
1241.82/1241.89	c |    997385 |    6364    12292    55931 |    37001    17951     41 |  0.000 % |
1364.42/1364.45	c |   1496175 |    6364    12292    55931 |    40701    23010     36 |  0.000 % |
1391.92/1391.94	c ===============================================================================
1401.72/1401.70	c core #13
1401.72/1401.70	c ============================[ Search Statistics ]==============================
1401.72/1401.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1401.72/1401.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1401.72/1401.70	c ===============================================================================
1401.72/1401.70	c |         0 |    7021    13042    60081 |     5000        0    nan |  0.000 % |
1401.83/1401.83	c |       100 |    7021    13042    60081 |     5500      100     28 |  0.000 % |
1401.83/1401.84	c |       251 |    7021    13042    60081 |     6050      251     28 |  0.000 % |
1401.83/1401.86	c |       477 |    7021    13042    60081 |     6655      477     26 |  0.000 % |
1401.83/1401.89	c |       817 |    7021    13042    60081 |     7320      817     29 |  0.000 % |
1401.93/1401.93	c |      1325 |    7021    13042    60081 |     8052     1325     30 |  0.000 % |
1402.03/1402.01	c |      2087 |    7021    13042    60081 |     8857     2087     31 |  0.000 % |
1402.12/1402.11	c |      3228 |    7021    13042    60081 |     9743     3228     33 |  0.000 % |
1402.22/1402.22	c |      4936 |    7021    13042    60081 |    10717     4936     32 |  0.000 % |
1402.43/1402.41	c |      7499 |    7021    13042    60081 |    11789     7499     31 |  0.000 % |
1402.73/1402.76	c |     11348 |    7021    13042    60081 |    12968    11348     32 |  0.000 % |
1403.32/1403.34	c |     17116 |    7021    13042    60081 |    14265    10593     35 |  0.000 % |
1404.13/1404.17	c |     25765 |    7021    13042    60081 |    15692    12074     35 |  0.000 % |
1405.52/1405.50	c |     38740 |    7021    13042    60081 |    17261     9244     35 |  0.000 % |
1407.82/1407.86	c |     58202 |    7021    13042    60081 |    18987    11331     36 |  0.000 % |
1410.63/1410.60	c ===============================================================================
1410.63/1410.60	c #cores: 13
1410.63/1410.60	c Final Weight: 13
1410.63/1410.60	o 13
1410.63/1410.60	s OPTIMUM FOUND
1410.63/1410.60	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1410.63/1410.60	c Total CPU time: 1387.01 s

Verifier Data 

OK	13

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690115-1277908258/watcher-2690115-1277908258 -o /tmp/evaluation-result-2690115-1277908258/solver-2690115-1277908258 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690115-1277908258.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 2.02 2.04 4/178 24877
/proc/meminfo: memFree=31271116/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=2804 CPUtime=0
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 313 0 0 0 0 0 0 0 21 0 1 0 164465295 2871296 231 4089446400 134512640 135751879 4290141472 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 701 231 147 303 0 374 0

[startup+0.064922 s]
/proc/loadavg: 1.99 2.02 2.04 4/178 24877
/proc/meminfo: memFree=31271116/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=3244 CPUtime=0.06
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 480 0 0 0 6 0 0 0 21 0 1 0 164465295 3321856 376 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 811 376 143 303 0 506 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3244

[startup+0.100929 s]
/proc/loadavg: 1.99 2.02 2.04 4/178 24877
/proc/meminfo: memFree=31271116/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=3508 CPUtime=0.09
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 548 0 0 0 9 0 0 0 21 0 1 0 164465295 3592192 444 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 877 444 143 303 0 572 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3508

[startup+0.30088 s]
/proc/loadavg: 1.99 2.02 2.04 4/178 24877
/proc/meminfo: memFree=31271116/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=4828 CPUtime=0.29
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 864 0 0 0 28 1 0 0 21 0 1 0 164465295 4943872 760 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 1207 761 143 303 0 902 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4828

[startup+0.700787 s]
/proc/loadavg: 1.99 2.02 2.04 4/178 24877
/proc/meminfo: memFree=31271116/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=6740 CPUtime=0.69
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 1362 0 0 0 67 2 0 0 22 0 1 0 164465295 6901760 1258 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 1685 1258 143 303 0 1380 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6740

[startup+1.50066 s]
/proc/loadavg: 1.99 2.02 2.04 3/179 24878
/proc/meminfo: memFree=31265528/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=10568 CPUtime=1.49
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 2297 0 0 0 144 5 0 0 25 0 1 0 164465295 10821632 2193 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 2642 2193 143 303 0 2337 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10568

[startup+3.10039 s]
/proc/loadavg: 1.99 2.02 2.04 3/179 24878
/proc/meminfo: memFree=31260444/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=17172 CPUtime=3.09
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 3961 0 0 0 298 11 0 0 25 0 1 0 164465295 17584128 3857 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 4293 3857 143 303 0 3988 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17172

[startup+6.30082 s]
/proc/loadavg: 1.99 2.02 2.04 3/179 24878
/proc/meminfo: memFree=31248460/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=28896 CPUtime=6.3
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 6887 0 0 0 608 22 0 0 25 0 1 0 164465295 29589504 6783 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 7224 6783 143 303 0 6919 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 28896

[startup+12.7007 s]
/proc/loadavg: 1.99 2.02 2.04 3/179 24878
/proc/meminfo: memFree=31233296/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=41456 CPUtime=12.69
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 10039 0 0 0 1230 39 0 0 25 0 1 0 164465295 42450944 9935 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 10364 9935 146 303 0 10059 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41456

[startup+25.5004 s]
/proc/loadavg: 1.99 2.02 2.04 3/179 24878
/proc/meminfo: memFree=31199808/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=76328 CPUtime=25.49
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 18755 0 0 0 2480 69 0 0 25 0 1 0 164465295 78159872 18651 4089446400 134512640 135751879 4290141472 18446744073709551615 134602919 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 19082 18651 146 303 0 18777 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76328

[startup+51.1009 s]
/proc/loadavg: 2.06 2.03 2.04 3/179 24879
/proc/meminfo: memFree=31127692/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=149288 CPUtime=51.09
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 36981 0 0 0 4977 132 0 0 18 0 1 0 164465295 152870912 36877 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 37322 36877 146 303 0 37017 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 149288

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.04 3/179 24880
/proc/meminfo: memFree=31044916/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=229788 CPUtime=102.3
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 57123 0 0 0 9996 234 0 0 25 0 1 0 164465295 235302912 56989 4089446400 134512640 135751879 4290141472 18446744073709551615 134616465 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 57447 56989 146 303 0 57142 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 229788

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/179 24910
/proc/meminfo: memFree=31227976/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=320768 CPUtime=162.29
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 79865 0 0 0 15877 352 0 0 25 0 1 0 164465295 328466432 79731 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 80192 79731 146 303 0 79887 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 320768

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 24912
/proc/meminfo: memFree=31062728/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=422164 CPUtime=222.29
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 105227 0 0 0 21754 475 0 0 25 0 1 0 164465295 432295936 105093 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 105541 105093 146 303 0 105236 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 422164

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/179 24913
/proc/meminfo: memFree=30925408/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=552928 CPUtime=282.29
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 137895 0 0 0 27633 596 0 0 25 0 1 0 164465295 566198272 137761 4089446400 134512640 135751879 4290141472 18446744073709551615 134602472 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 138232 137761 146 303 0 137927 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 552928

[startup+342.301 s]
/proc/loadavg: 2.04 2.02 2.02 3/179 24914
/proc/meminfo: memFree=30845512/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=626168 CPUtime=342.3
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 156223 0 0 0 33517 713 0 0 25 0 1 0 164465295 641196032 156089 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 156542 156089 146 303 0 156237 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 626168

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.02 3/179 24916
/proc/meminfo: memFree=30768328/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=700772 CPUtime=402.3
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 174901 0 0 0 39401 829 0 0 25 0 1 0 164465295 717590528 174767 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 175193 174767 146 303 0 174888 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 700772

[startup+462.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 24918
/proc/meminfo: memFree=30681236/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=783660 CPUtime=462.3
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 195593 0 0 0 45287 943 0 0 25 0 1 0 164465295 802467840 195459 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 195915 195459 146 303 0 195610 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 783660

[startup+522.301 s]
/proc/loadavg: 2.03 2.02 2.01 3/179 24920
/proc/meminfo: memFree=30567728/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=898388 CPUtime=522.3
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 224272 0 0 0 51168 1062 0 0 22 0 1 0 164465295 919949312 224138 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 224597 224138 146 303 0 224292 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 898388

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 24921
/proc/meminfo: memFree=30466848/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=993784 CPUtime=582.31
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 248132 0 0 0 57051 1180 0 0 25 0 1 0 164465295 1017634816 247998 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 248446 247998 146 303 0 248141 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 993784

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24925
/proc/meminfo: memFree=30374192/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=1082652 CPUtime=642.31
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 270322 0 0 0 62932 1299 0 0 25 0 1 0 164465295 1108635648 270188 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 270663 270188 146 303 0 270358 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1082652

[startup+702.3 s]

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

/proc/meminfo: memFree=30126072/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=1321648 CPUtime=822.31
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 330087 0 0 0 80601 1630 0 0 25 0 1 0 164465295 1353367552 329953 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 330412 329953 146 303 0 330107 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1321648

[startup+882.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 24932
/proc/meminfo: memFree=30009096/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=1434712 CPUtime=882.32
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 358384 0 0 0 86497 1735 0 0 25 0 1 0 164465295 1469145088 358250 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 358678 358250 146 303 0 358373 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1434712

[startup+942.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 24933
/proc/meminfo: memFree=29960064/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=1484844 CPUtime=942.31
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 370895 0 0 0 92399 1832 0 0 25 0 1 0 164465295 1520480256 370761 4089446400 134512640 135751879 4290141472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 371211 370761 146 303 0 370906 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1484844

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24935
/proc/meminfo: memFree=29834524/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=1609232 CPUtime=1002.32
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 401985 0 0 0 98297 1935 0 0 25 0 1 0 164465295 1647853568 401851 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 402308 401851 146 303 0 402003 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1609232

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 24937
/proc/meminfo: memFree=29748556/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=1693012 CPUtime=1062.31
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 422929 0 0 0 104208 2023 0 0 25 0 1 0 164465295 1733644288 422795 4089446400 134512640 135751879 4290141472 18446744073709551615 134602919 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 423253 422795 146 303 0 422948 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1693012

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 24939
/proc/meminfo: memFree=29719728/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=1721712 CPUtime=1122.32
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 430033 0 0 0 110146 2086 0 0 25 0 1 0 164465295 1763033088 429899 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 430428 429899 146 303 0 430123 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1721712

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24940
/proc/meminfo: memFree=29686208/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=1755084 CPUtime=1182.32
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 438298 0 0 0 116115 2117 0 0 25 0 1 0 164465295 1797206016 438164 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 438771 438164 146 303 0 438466 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1755084

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24941
/proc/meminfo: memFree=29616484/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=1821968 CPUtime=1242.32
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 454978 0 0 0 122045 2187 0 0 25 0 1 0 164465295 1865695232 454844 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 455492 454844 146 303 0 455187 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1821968

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24943
/proc/meminfo: memFree=29538188/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=1897428 CPUtime=1302.33
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 473788 0 0 0 127987 2246 0 0 25 0 1 0 164465295 1942966272 473654 4089446400 134512640 135751879 4290141472 18446744073709551615 134602448 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 474357 473654 146 303 0 474052 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1897428

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24945
/proc/meminfo: memFree=29477772/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=1958832 CPUtime=1362.32
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 489095 0 0 0 133940 2292 0 0 25 0 1 0 164465295 2005843968 488961 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 489708 488961 146 303 0 489403 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1958832

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

[startup+1382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24945
/proc/meminfo: memFree=29434728/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=2000320 CPUtime=1382.32
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 499463 0 0 0 135904 2328 0 0 25 0 1 0 164465295 2048327680 499329 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 500080 499329 146 303 0 499775 0
Current children cumulated CPU time (s) 1382.32
Current children cumulated vsize (KiB) 2000320

[startup+1395.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24945
/proc/meminfo: memFree=29387960/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=2049972 CPUtime=1395.13
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 511880 0 0 0 137169 2344 0 0 25 0 1 0 164465295 2099171328 511746 4089446400 134512640 135751879 4290141472 18446744073709551615 134516828 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 512493 511746 146 303 0 512188 0
Current children cumulated CPU time (s) 1395.13
Current children cumulated vsize (KiB) 2049972

[startup+1401.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24946
/proc/meminfo: memFree=29371088/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=2062800 CPUtime=1401.52
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 515035 0 0 0 137808 2344 0 0 25 0 1 0 164465295 2112307200 514901 4089446400 134512640 135751879 4290141472 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 515700 514901 146 303 0 515395 0
Current children cumulated CPU time (s) 1401.52
Current children cumulated vsize (KiB) 2062800

[startup+1404.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24946
/proc/meminfo: memFree=29371084/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=2062740 CPUtime=1404.74
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 515075 0 0 0 138122 2352 0 0 25 0 1 0 164465295 2112245760 514903 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 515685 514903 146 303 0 515380 0
Current children cumulated CPU time (s) 1404.74
Current children cumulated vsize (KiB) 2062740

[startup+1407.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24946
/proc/meminfo: memFree=29371080/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=2062740 CPUtime=1407.93
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 515075 0 0 0 138435 2358 0 0 25 0 1 0 164465295 2112245760 514903 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 515685 514903 146 303 0 515380 0
Current children cumulated CPU time (s) 1407.93
Current children cumulated vsize (KiB) 2062740

[startup+1409.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24946
/proc/meminfo: memFree=29371080/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=2062740 CPUtime=1409.53
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 515075 0 0 0 138591 2362 0 0 25 0 1 0 164465295 2112245760 514903 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 515685 514903 146 303 0 515380 0
Current children cumulated CPU time (s) 1409.53
Current children cumulated vsize (KiB) 2062740

[startup+1410.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24946
/proc/meminfo: memFree=29371080/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=2062740 CPUtime=1410.32
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 515075 0 0 0 138670 2362 0 0 25 0 1 0 164465295 2112245760 514903 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 515685 514903 146 303 0 515380 0
Current children cumulated CPU time (s) 1410.32
Current children cumulated vsize (KiB) 2062740

[startup+1410.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24946
/proc/meminfo: memFree=29371080/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=2062740 CPUtime=1410.52
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 515075 0 0 0 138690 2362 0 0 25 0 1 0 164465295 2112245760 514903 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 515685 514903 146 303 0 515380 0
Current children cumulated CPU time (s) 1410.52
Current children cumulated vsize (KiB) 2062740

[startup+1410.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24946
/proc/meminfo: memFree=29371080/32951124 swapFree=67111528/67111528
[pid=24877] ppid=24875 vsize=2062740 CPUtime=1410.63
/proc/24877/stat : 24877 (wbo1.4a) R 24875 24877 23744 0 -1 4202496 515075 0 0 0 138700 2363 0 0 25 0 1 0 164465295 2112245760 514903 4089446400 134512640 135751879 4290141472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24877/statm: 515685 514903 146 303 0 515380 0
Current children cumulated CPU time (s) 1410.63
Current children cumulated vsize (KiB) 2062740

Child status: 0
Real time (s): 1410.67
CPU time (s): 1410.7
CPU user time (s): 1387.01
CPU system time (s): 23.6944
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2062800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1387.01
system time used= 23.6944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515075
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= 4
involuntary context switches= 1039

runsolver used 2.52162 second user time and 5.18721 second system time

The end

Launcher Data 

Begin job on node119 at 2010-06-30 16:30:58
IDJOB=2690115
IDBENCH=78957
IDSOLVER=1200
FILE ID=node119/2690115-1277908258
PBS_JOBID= 11197232
Free space on /tmp= 74208 MiB

SOLVER NAME= wbo 1.4a
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546076--soft-66-100-0.wbo
COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690115-1277908258/watcher-2690115-1277908258 -o /tmp/evaluation-result-2690115-1277908258/solver-2690115-1277908258 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690115-1277908258.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0b9d6337ad7964b2b0f1686d5d01e741
RANDOM SEED=649799404

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.802
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.802
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.802
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.802
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.802
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.802
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.802
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.802
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31271148 kB
Buffers:        193728 kB
Cached:         955736 kB
SwapCached:          0 kB
Active:         902696 kB
Inactive:       632776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31271148 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2744 kB
Writeback:           0 kB
AnonPages:      386980 kB
Mapped:          16924 kB
Slab:            78448 kB
PageTables:       5820 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   542848 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node119 at 2010-06-30 16:54:29