Trace number 3446526

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.6OPTIMUM 967.183 967.154

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo
MD5SUMc0d431beb578ab67ce1970cb297cf650
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark122.111
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 constraints2707
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 137973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
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.6 beta - 20110321
0.00/0.00	c Parsing wbo file format. File HOME/instance-3446526-1307906745.wbo.
0.00/0.00	c Instance file HOME/instance-3446526-1307906745.wbo
0.00/0.00	c File size is 96792 bytes.
0.00/0.00	c Highest Coefficient sum: 689
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 |       100 |     231     2707     8338 |     5500      100     22 |  0.002 % |
0.00/0.01	c |       250 |     231     2707     8338 |     6050      250     33 |  0.002 % |
0.00/0.01	c |       477 |     231     2707     8338 |     6655      477     33 |  0.002 % |
0.00/0.02	c |       814 |     231     2707     8338 |     7320      814     32 |  0.002 % |
0.03/0.03	c |      1321 |     231     2707     8338 |     8052     1321     30 |  0.002 % |
0.03/0.05	c |      2081 |     231     2707     8338 |     8857     2081     29 |  0.002 % |
0.03/0.07	c |      3222 |     231     2707     8338 |     9743     3222     30 |  0.002 % |
0.09/0.12	c |      4930 |     231     2707     8338 |    10717     4930     30 |  0.002 % |
0.19/0.20	c |      7492 |     231     2707     8338 |    11789     7492     32 |  0.002 % |
0.29/0.35	c |     11336 |     231     2707     8338 |    12968    11336     32 |  0.002 % |
0.49/0.58	c |     17104 |     231     2707     8338 |    14265    10570     32 |  0.002 % |
1.00/1.05	c |     25755 |     231     2707     8338 |    15692    12041     35 |  0.002 % |
1.69/1.79	c |     38729 |     231     2707     8338 |    17261     9208     36 |  0.002 % |
2.79/2.86	c |     58190 |     231     2707     8338 |    18987    11307     32 |  0.002 % |
4.59/4.62	c |     87384 |     231     2707     8338 |    20886    11879     36 |  0.002 % |
7.79/7.82	c |    131173 |     231     2707     8338 |    22974    13708     37 |  0.002 % |
12.80/12.89	c |    196857 |     231     2707     8338 |    25272    21697     36 |  0.002 % |
21.09/21.18	c |    295384 |     231     2707     8338 |    27799    13798     35 |  0.002 % |
32.89/32.96	c |    443175 |     231     2707     8338 |    30579    19533     38 |  0.002 % |
51.30/51.39	c |    664859 |     231     2707     8338 |    33637    18247     36 |  0.002 % |
79.49/79.54	c ===============================================================================
86.39/86.48	c core #1
86.39/86.48	c 
86.39/86.48	c 
86.39/86.48	c Core size: 2581	Core Weight: 1	Total Weight: 1
86.39/86.48	c Current CPU time: 84.1142 s
86.39/86.48	c
86.39/86.48	c ============================[ Search Statistics ]==============================
86.39/86.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
86.39/86.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
86.39/86.48	c ===============================================================================
86.39/86.48	c |         0 |    1585     5256    20247 |     5000        0   -nan |  0.000 % |
86.39/86.49	c |       100 |    1585     5256    20247 |     5500      100     27 |  0.000 % |
86.39/86.49	c |       251 |    1585     5256    20247 |     6050      251     30 |  0.000 % |
86.39/86.50	c |       478 |    1585     5256    20247 |     6655      478     30 |  0.000 % |
86.50/86.50	c |       818 |    1585     5256    20247 |     7320      818     28 |  0.000 % |
86.50/86.52	c |      1324 |    1585     5256    20247 |     8052     1324     28 |  0.000 % |
86.50/86.54	c |      2084 |    1585     5256    20247 |     8857     2084     29 |  0.000 % |
86.50/86.58	c |      3226 |    1585     5256    20247 |     9743     3226     30 |  0.000 % |
86.60/86.64	c |      4934 |    1585     5256    20247 |    10717     4934     31 |  0.000 % |
86.69/86.74	c |      7497 |    1585     5256    20247 |    11789     7497     31 |  0.000 % |
86.90/86.90	c |     11341 |    1585     5256    20247 |    12968    11341     30 |  0.000 % |
87.10/87.19	c |     17107 |    1585     5256    20247 |    14265    10559     31 |  0.000 % |
87.69/87.70	c |     25759 |    1585     5256    20247 |    15692    12044     36 |  0.000 % |
88.49/88.50	c |     38734 |    1585     5256    20247 |    17261     9217     36 |  0.000 % |
89.69/89.79	c |     58195 |    1585     5256    20247 |    18987    11313     34 |  0.000 % |
91.79/91.80	c |     87389 |    1585     5256    20247 |    20886    11872     37 |  0.000 % |
95.09/95.16	c |    131180 |    1585     5256    20247 |    22974    13670     34 |  0.000 % |
100.49/100.57	c |    196864 |    1585     5256    20247 |    25272    21677     36 |  0.000 % |
108.40/108.47	c |    295390 |    1585     5256    20247 |    27799    13009     36 |  0.000 % |
121.49/121.54	c |    443180 |    1585     5256    20247 |    30579    18087     37 |  0.000 % |
140.80/140.88	c |    664863 |    1585     5256    20247 |    33637    16602     36 |  0.000 % |
167.70/167.78	c ===============================================================================
174.50/174.54	c core #2
174.50/174.54	c 
174.50/174.54	c 
174.50/174.54	c Core size: 2583	Core Weight: 1	Total Weight: 2
174.50/174.54	c Current CPU time: 170.345 s
174.50/174.54	c
174.50/174.54	c ============================[ Search Statistics ]==============================
174.50/174.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
174.50/174.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
174.50/174.54	c ===============================================================================
174.50/174.54	c |         0 |    2939     7791    32116 |     5000        0   -nan |  0.000 % |
174.50/174.55	c |       103 |    2939     7791    32116 |     5500      103     20 |  0.000 % |
174.50/174.55	c |       253 |    2939     7791    32116 |     6050      253     23 |  0.000 % |
174.50/174.56	c |       478 |    2939     7791    32116 |     6655      478     27 |  0.000 % |
174.50/174.57	c |       815 |    2939     7791    32116 |     7320      815     28 |  0.000 % |
174.50/174.59	c |      1322 |    2939     7791    32116 |     8052     1322     27 |  0.000 % |
174.60/174.61	c |      2083 |    2939     7791    32116 |     8857     2083     27 |  0.000 % |
174.60/174.65	c |      3224 |    2939     7791    32116 |     9743     3224     28 |  0.000 % |
174.70/174.73	c |      4932 |    2939     7791    32116 |    10717     4932     29 |  0.000 % |
174.80/174.85	c |      7495 |    2939     7791    32116 |    11789     7495     29 |  0.000 % |
175.00/175.06	c |     11339 |    2939     7791    32116 |    12968    11339     29 |  0.000 % |
175.39/175.41	c |     17106 |    2939     7791    32116 |    14265    10584     31 |  0.000 % |
175.80/175.89	c |     25755 |    2939     7791    32116 |    15692    12061     30 |  0.000 % |
176.70/176.70	c |     38731 |    2939     7791    32116 |    17261     9227     33 |  0.000 % |
177.99/178.03	c |     58193 |    2939     7791    32116 |    18987    11323     36 |  0.000 % |
180.20/180.24	c |     87385 |    2939     7791    32116 |    20886    11890     36 |  0.000 % |
183.50/183.56	c |    131174 |    2939     7791    32116 |    22974    13671     36 |  0.000 % |
189.40/189.45	c |    196858 |    2939     7791    32116 |    25272    21477     41 |  0.000 % |
198.60/198.64	c |    295385 |    2939     7791    32116 |    27799    12519     35 |  0.000 % |
212.10/212.18	c |    443176 |    2939     7791    32116 |    30579    18435     39 |  0.000 % |
233.50/233.55	c |    664862 |    2939     7791    32116 |    33637    21218     36 |  0.000 % |
258.50/258.57	c ===============================================================================
264.20/264.28	c core #3
264.20/264.28	c 
264.20/264.28	c 
264.20/264.28	c Core size: 2596	Core Weight: 1	Total Weight: 3
264.20/264.28	c Current CPU time: 258.299 s
264.20/264.28	c
264.20/264.28	c ============================[ Search Statistics ]==============================
264.20/264.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
264.20/264.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
264.20/264.28	c ===============================================================================
264.20/264.28	c |         0 |    4302    10312    43958 |     5000        0   -nan |  0.000 % |
264.20/264.29	c |       100 |    4302    10312    43958 |     5500      100     21 |  0.000 % |
264.20/264.29	c |       252 |    4302    10312    43958 |     6050      252     26 |  0.000 % |
264.29/264.30	c |       478 |    4302    10312    43958 |     6655      478     25 |  0.000 % |
264.29/264.31	c |       817 |    4302    10312    43958 |     7320      817     25 |  0.000 % |
264.29/264.33	c |      1324 |    4302    10312    43958 |     8052     1324     28 |  0.000 % |
264.29/264.36	c |      2084 |    4302    10312    43958 |     8857     2084     30 |  0.000 % |
264.40/264.41	c |      3223 |    4302    10312    43958 |     9743     3223     30 |  0.000 % |
264.40/264.49	c |      4934 |    4302    10312    43958 |    10717     4934     30 |  0.000 % |
264.59/264.62	c |      7497 |    4302    10312    43958 |    11789     7497     31 |  0.000 % |
264.80/264.85	c |     11341 |    4302    10312    43958 |    12968    11341     32 |  0.000 % |
265.20/265.21	c |     17107 |    4302    10312    43958 |    14265    10563     31 |  0.000 % |
265.70/265.78	c |     25757 |    4302    10312    43958 |    15692    12020     32 |  0.000 % |
266.60/266.68	c |     38735 |    4302    10312    43958 |    17261     9186     32 |  0.000 % |
268.10/268.13	c |     58197 |    4302    10312    43958 |    18987    11293     33 |  0.000 % |
270.51/270.55	c |     87391 |    4302    10312    43958 |    20886    11848     40 |  0.000 % |
274.10/274.18	c |    131180 |    4302    10312    43958 |    22974    13651     34 |  0.000 % |
280.70/280.74	c |    196869 |    4302    10312    43958 |    25272    21538     36 |  0.000 % |
290.60/290.64	c |    295398 |    4302    10312    43958 |    27799    14706     36 |  0.000 % |
304.50/304.53	c |    443187 |    4302    10312    43958 |    30579    18774     33 |  0.000 % |
327.50/327.58	c |    664870 |    4302    10312    43958 |    33637    22187     37 |  0.000 % |
349.10/349.11	c ===============================================================================
354.90/354.96	c core #4
354.90/354.96	c 
354.90/354.96	c 
354.90/354.96	c Core size: 2620	Core Weight: 1	Total Weight: 4
354.90/354.96	c Current CPU time: 347.223 s
354.90/354.96	c
354.90/354.96	c ============================[ Search Statistics ]==============================
354.90/354.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
354.90/354.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
354.90/354.96	c ===============================================================================
354.90/354.96	c |         0 |    5678    12810    55753 |     5000        0   -nan |  0.000 % |
354.90/354.97	c |       101 |    5678    12810    55753 |     5500      101     31 |  0.000 % |
354.90/354.98	c |       251 |    5678    12810    55753 |     6050      251     32 |  0.000 % |
354.90/355.00	c |       476 |    5678    12810    55753 |     6655      476     32 |  0.000 % |
355.01/355.01	c |       813 |    5678    12810    55753 |     7320      813     29 |  0.000 % |
355.01/355.03	c |      1324 |    5678    12810    55753 |     8052     1324     29 |  0.000 % |
355.01/355.06	c |      2083 |    5678    12810    55753 |     8857     2083     31 |  0.000 % |
355.10/355.11	c |      3222 |    5678    12810    55753 |     9743     3222     30 |  0.000 % |
355.10/355.20	c |      4931 |    5678    12810    55753 |    10717     4931     29 |  0.000 % |
355.31/355.34	c |      7494 |    5678    12810    55753 |    11789     7494     29 |  0.000 % |
355.60/355.60	c |     11339 |    5678    12810    55753 |    12968    11339     31 |  0.000 % |
356.01/356.01	c |     17106 |    5678    12810    55753 |    14265    10565     34 |  0.000 % |
356.60/356.63	c |     25756 |    5678    12810    55753 |    15692    12039     32 |  0.000 % |
357.60/357.65	c |     38731 |    5678    12810    55753 |    17261     9239     34 |  0.000 % |
359.30/359.33	c |     58194 |    5678    12810    55753 |    18987    11357     35 |  0.000 % |
361.60/361.64	c |     87386 |    5678    12810    55753 |    20886    11933     32 |  0.000 % |
365.40/365.48	c |    131176 |    5678    12810    55753 |    22974    13753     38 |  0.000 % |
371.60/371.70	c |    196861 |    5678    12810    55753 |    25272    21787     39 |  0.000 % |
381.40/381.45	c |    295389 |    5678    12810    55753 |    27799    13048     37 |  0.000 % |
395.51/395.54	c |    443179 |    5678    12810    55753 |    30579    17716     32 |  0.000 % |
416.81/416.90	c |    664864 |    5678    12810    55753 |    33637    15452     33 |  0.000 % |
453.30/453.39	c |    997389 |    5678    12810    55753 |    37001    31647     41 |  0.000 % |
509.22/509.25	c |   1496179 |    5678    12810    55753 |    40701    16138     39 |  0.000 % |
525.81/525.80	c ===============================================================================
537.40/537.46	c core #5
537.40/537.46	c 
537.40/537.46	c 
537.40/537.46	c Core size: 2682	Core Weight: 1	Total Weight: 5
537.40/537.46	c Current CPU time: 526.037 s
537.40/537.46	c
537.40/537.46	c ============================[ Search Statistics ]==============================
537.40/537.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
537.40/537.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
537.40/537.46	c ===============================================================================
537.40/537.46	c |         0 |    7093    15284    67575 |     5094        0   -nan |  0.000 % |
537.40/537.48	c |       101 |    7093    15284    67575 |     5604      101     27 |  0.000 % |
537.40/537.48	c |       252 |    7093    15284    67575 |     6164      252     27 |  0.000 % |
537.40/537.49	c |       478 |    7093    15284    67575 |     6781      478     24 |  0.000 % |
537.51/537.51	c |       815 |    7093    15284    67575 |     7459      815     26 |  0.000 % |
537.51/537.53	c |      1322 |    7093    15284    67575 |     8205     1322     26 |  0.000 % |
537.51/537.56	c |      2081 |    7093    15284    67575 |     9025     2081     27 |  0.000 % |
537.61/537.62	c |      3220 |    7093    15284    67575 |     9928     3220     28 |  0.000 % |
537.71/537.71	c |      4929 |    7093    15284    67575 |    10920     4929     28 |  0.000 % |
537.81/537.86	c |      7491 |    7093    15284    67575 |    12012     7491     29 |  0.000 % |
538.10/538.11	c |     11335 |    7093    15284    67575 |    13214    11335     30 |  0.000 % |
538.51/538.52	c |     17101 |    7093    15284    67575 |    14535    10443     32 |  0.000 % |
539.10/539.12	c |     25751 |    7093    15284    67575 |    15989    11768     31 |  0.000 % |
540.12/540.14	c |     38725 |    7093    15284    67575 |    17588     8638     32 |  0.000 % |
541.71/541.70	c |     58187 |    7093    15284    67575 |    19346    10386     36 |  0.000 % |
544.21/544.24	c |     87379 |    7093    15284    67575 |    21281    10373     33 |  0.000 % |
548.11/548.14	c |    131168 |    7093    15284    67575 |    23409    11365     36 |  0.000 % |
554.61/554.65	c |    196853 |    7093    15284    67575 |    25750    17233     35 |  0.000 % |
564.71/564.79	c |    295382 |    7093    15284    67575 |    28325    16002     38 |  0.000 % |
580.11/580.11	c |    443173 |    7093    15284    67575 |    31158    15730     34 |  0.000 % |
605.41/605.49	c |    664857 |    7093    15284    67575 |    34274    29283     39 |  0.000 % |
644.21/644.28	c |    997382 |    7093    15284    67575 |    37701    14137     40 |  0.000 % |
704.21/704.28	c |   1496174 |    7093    15284    67575 |    41471    37302     39 |  0.000 % |
753.12/753.14	c ===============================================================================
767.31/767.34	c core #6
767.31/767.34	c 
767.31/767.34	c 
767.31/767.34	c Core size: 2756	Core Weight: 1	Total Weight: 6
767.31/767.34	c Current CPU time: 752.027 s
767.31/767.34	c
767.31/767.34	c ============================[ Search Statistics ]==============================
767.31/767.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
767.31/767.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
767.31/767.34	c ===============================================================================
767.31/767.34	c |         0 |    8574    17739    79481 |     5913        0   -nan |  0.000 % |
767.31/767.37	c |       100 |    8574    17739    79481 |     6504      100     28 |  0.000 % |
767.31/767.37	c |       252 |    8574    17739    79481 |     7154      252     25 |  0.000 % |
767.31/767.38	c |       477 |    8574    17739    79481 |     7870      477     27 |  0.000 % |
767.41/767.40	c |       814 |    8574    17739    79481 |     8657      814     28 |  0.000 % |
767.41/767.43	c |      1320 |    8574    17739    79481 |     9522     1320     30 |  0.000 % |
767.41/767.47	c |      2079 |    8574    17739    79481 |    10475     2079     30 |  0.000 % |
767.52/767.53	c |      3221 |    8574    17739    79481 |    11522     3221     30 |  0.000 % |
767.61/767.64	c |      4929 |    8574    17739    79481 |    12675     4929     31 |  0.000 % |
767.82/767.84	c |      7492 |    8574    17739    79481 |    13942     7492     33 |  0.000 % |
768.11/768.16	c |     11336 |    8574    17739    79481 |    15336    11336     32 |  0.000 % |
768.61/768.69	c |     17103 |    8574    17739    79481 |    16870     9373     33 |  0.000 % |
769.42/769.41	c |     25755 |    8574    17739    79481 |    18557     9541     34 |  0.000 % |
770.52/770.50	c |     38730 |    8574    17739    79481 |    20413    13197     31 |  0.000 % |
772.71/772.74	c |     58192 |    8574    17739    79481 |    22454    12144     37 |  0.000 % |
775.71/775.72	c |     87384 |    8574    17739    79481 |    24700    18774     41 |  0.000 % |
780.41/780.40	c |    131174 |    8574    17739    79481 |    27170    23503     38 |  0.000 % |
788.22/788.27	c |    196860 |    8574    17739    79481 |    29887    12167     38 |  0.000 % |
799.73/799.76	c |    295388 |    8574    17739    79481 |    32875    21559     36 |  0.000 % |
818.02/818.05	c |    443178 |    8574    17739    79481 |    36163    25449     38 |  0.000 % |
844.72/844.75	c |    664861 |    8574    17739    79481 |    39779    32985     39 |  0.000 % |
887.63/887.70	c |    997386 |    8574    17739    79481 |    43757    37898     42 |  0.000 % |
954.32/954.31	c |   1496174 |    8574    17739    79481 |    48133    42253     38 |  0.000 % |
967.12/967.13	c ===============================================================================
967.12/967.13	c #cores: 6
967.12/967.13	o 6
967.12/967.13	s OPTIMUM FOUND
967.12/967.13	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
967.12/967.13	c Total CPU time: 949.547 s

Verifier Data 

OK	6

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 /var/tmp/evaluation-result-3446526-1307906745/watcher-3446526-1307906745 -o /var/tmp/evaluation-result-3446526-1307906745/solver-3446526-1307906745 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446526-1307906745.wbo 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.96 1.99 1.89 2/177 5190
/proc/meminfo: memFree=1480332/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=2204 CPUtime=0 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 319 0 0 0 0 0 0 0 25 0 1 0 902275238 2256896 270 33554432000 4194304 5714214 140736641650912 18446744073709551615 4251460 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 551 271 179 372 0 152 0

[startup+0.033894 s]
/proc/loadavg: 1.96 1.99 1.89 2/177 5190
/proc/meminfo: memFree=1480332/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=2644 CPUtime=0.03 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 486 0 0 0 3 0 0 0 25 0 1 0 902275238 2707456 413 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 661 413 177 372 0 286 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2644

[startup+0.10088 s]
/proc/loadavg: 1.96 1.99 1.89 2/177 5190
/proc/meminfo: memFree=1480332/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=3732 CPUtime=0.09 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 744 0 0 0 9 0 0 0 25 0 1 0 902275238 3821568 671 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 933 672 177 372 0 558 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3732

[startup+0.300856 s]
/proc/loadavg: 1.96 1.99 1.89 2/177 5190
/proc/meminfo: memFree=1480332/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=6016 CPUtime=0.29 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 1309 0 0 0 28 1 0 0 25 0 1 0 902275238 6160384 1236 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 1504 1236 177 372 0 1129 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6016

[startup+0.700782 s]
/proc/loadavg: 1.96 1.99 1.89 2/177 5190
/proc/meminfo: memFree=1480332/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=8404 CPUtime=0.69 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 1924 0 0 0 66 3 0 0 25 0 1 0 902275238 8605696 1851 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 2101 1851 177 372 0 1726 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8404

[startup+1.50064 s]
/proc/loadavg: 1.96 1.99 1.89 3/178 5191
/proc/meminfo: memFree=1472908/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=11448 CPUtime=1.49 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 2667 0 0 0 143 6 0 0 25 0 1 0 902275238 11722752 2594 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 2862 2594 177 372 0 2487 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11448

[startup+3.10033 s]
/proc/loadavg: 1.96 1.99 1.89 3/178 5191
/proc/meminfo: memFree=1467824/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=17444 CPUtime=3.09 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 4179 0 0 0 300 9 0 0 19 0 1 0 902275238 17862656 4106 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 4361 4106 177 372 0 3986 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17444

[startup+6.30075 s]
/proc/loadavg: 1.96 1.99 1.89 3/178 5229
/proc/meminfo: memFree=1472652/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=27716 CPUtime=6.29 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 6714 0 0 0 611 18 0 0 25 0 1 0 902275238 28381184 6641 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 6929 6641 177 372 0 6554 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27716

[startup+12.7006 s]
/proc/loadavg: 1.96 1.99 1.89 3/178 5229
/proc/meminfo: memFree=1434012/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=43456 CPUtime=12.69 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 10641 0 0 0 1238 31 0 0 25 0 1 0 902275238 44498944 10568 33554432000 4194304 5714214 140736641650912 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 10864 10568 177 372 0 10489 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43456

[startup+25.5002 s]
/proc/loadavg: 1.97 1.99 1.90 3/178 5230
/proc/meminfo: memFree=1373132/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=73416 CPUtime=25.49 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 18104 0 0 0 2491 58 0 0 25 0 1 0 902275238 75177984 18031 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 18354 18031 177 372 0 17979 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73416

[startup+51.1005 s]
/proc/loadavg: 1.98 1.99 1.90 3/178 5230
/proc/meminfo: memFree=1263180/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=130596 CPUtime=51.09 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 32361 0 0 0 4990 119 0 0 25 0 1 0 902275238 133730304 32288 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 32649 32288 177 372 0 32274 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 130596

[startup+102.306 s]
/proc/loadavg: 1.99 1.99 1.90 3/178 5232
/proc/meminfo: memFree=1060124/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=230360 CPUtime=102.3 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 57377 0 0 0 9998 232 0 0 20 0 1 0 902275238 235888640 57238 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 57590 57238 178 372 0 57215 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 230360

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/178 5271
/proc/meminfo: memFree=1258872/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=230360 CPUtime=162.29 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 57466 0 0 0 15865 364 0 0 25 0 1 0 902275238 235888640 57327 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 57590 57327 178 372 0 57215 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 230360

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/178 5273
/proc/meminfo: memFree=1113012/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=230360 CPUtime=222.29 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 57493 0 0 0 21744 485 0 0 25 0 1 0 902275238 235888640 57354 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 57590 57354 178 372 0 57215 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 230360

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/178 5274
/proc/meminfo: memFree=1105636/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=230360 CPUtime=282.3 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 57494 0 0 0 27632 598 0 0 20 0 1 0 902275238 235888640 57355 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 57590 57355 178 372 0 57215 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 230360

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/178 5276
/proc/meminfo: memFree=1104712/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=230360 CPUtime=342.3 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 57494 0 0 0 33512 718 0 0 25 0 1 0 902275238 235888640 57355 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 57590 57355 178 372 0 57215 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 230360

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/178 5278
/proc/meminfo: memFree=1067940/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=230360 CPUtime=402.3 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 57495 0 0 0 39394 836 0 0 25 0 1 0 902275238 235888640 57356 33554432000 4194304 5714214 140736641650912 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 57590 57356 178 372 0 57215 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 230360

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/178 5279
/proc/meminfo: memFree=1067992/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=230360 CPUtime=462.31 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 57496 0 0 0 45290 941 0 0 25 0 1 0 902275238 235888640 57357 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 57590 57357 178 372 0 57215 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 230360

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/178 5281
/proc/meminfo: memFree=948504/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=304880 CPUtime=522.31 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 76087 0 0 0 51179 1052 0 0 25 0 1 0 902275238 312197120 75948 33554432000 4194304 5714214 140736641650912 18446744073709551615 4322911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 76220 75948 178 372 0 75845 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 304880

[startup+582.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/178 5283
/proc/meminfo: memFree=717892/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=380848 CPUtime=582.31 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 95017 0 0 0 57080 1151 0 0 25 0 1 0 902275238 389988352 94878 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 95212 94878 178 372 0 94837 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 380848

[startup+642.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 5284
/proc/meminfo: memFree=717384/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=380848 CPUtime=642.31 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 95028 0 0 0 62980 1251 0 0 25 0 1 0 902275238 389988352 94889 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 95212 94889 178 372 0 94837 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 380848

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 5286
/proc/meminfo: memFree=716896/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=380848 CPUtime=702.31 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 95044 0 0 0 68880 1351 0 0 25 0 1 0 902275238 389988352 94905 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 95212 94905 178 372 0 94837 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 380848

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 5287
/proc/meminfo: memFree=660708/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=436552 CPUtime=762.32 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 108985 0 0 0 74794 1438 0 0 25 0 1 0 902275238 447029248 108846 33554432000 4194304 5714214 140736641650912 18446744073709551615 4324888 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 109138 108846 178 372 0 108763 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 436552

[startup+822.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/178 5289
/proc/meminfo: memFree=658964/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=438192 CPUtime=822.32 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 109394 0 0 0 80693 1539 0 0 25 0 1 0 902275238 448708608 109255 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 109548 109255 178 372 0 109173 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 438192

[startup+882.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 5291
/proc/meminfo: memFree=658560/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=438192 CPUtime=882.32 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 109394 0 0 0 86598 1634 0 0 25 0 1 0 902275238 448708608 109255 33554432000 4194304 5714214 140736641650912 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 109548 109255 178 372 0 109173 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 438192

[startup+942.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 5292
/proc/meminfo: memFree=658600/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=438192 CPUtime=942.32 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 109394 0 0 0 92511 1721 0 0 25 0 1 0 902275238 448708608 109255 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 109548 109255 178 372 0 109173 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 438192

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

[startup+947.106 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 5292
/proc/meminfo: memFree=658608/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=438192 CPUtime=947.12 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 109394 0 0 0 92981 1731 0 0 25 0 1 0 902275238 448708608 109255 33554432000 4194304 5714214 140736641650912 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 109548 109255 178 372 0 109173 0
Current children cumulated CPU time (s) 947.12
Current children cumulated vsize (KiB) 438192

[startup+959.901 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5293
/proc/meminfo: memFree=589836/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=438192 CPUtime=959.92 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 109394 0 0 0 94241 1751 0 0 25 0 1 0 902275238 448708608 109255 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 109548 109255 178 372 0 109173 0
Current children cumulated CPU time (s) 959.92
Current children cumulated vsize (KiB) 438192

[startup+963.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5293
/proc/meminfo: memFree=580876/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=438192 CPUtime=963.12 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 109394 0 0 0 94556 1756 0 0 25 0 1 0 902275238 448708608 109255 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 109548 109255 178 372 0 109173 0
Current children cumulated CPU time (s) 963.12
Current children cumulated vsize (KiB) 438192

[startup+964.706 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5293
/proc/meminfo: memFree=580972/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=438192 CPUtime=964.73 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 109394 0 0 0 94715 1758 0 0 25 0 1 0 902275238 448708608 109255 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 109548 109255 178 372 0 109173 0
Current children cumulated CPU time (s) 964.73
Current children cumulated vsize (KiB) 438192

[startup+966.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5293
/proc/meminfo: memFree=580964/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=438192 CPUtime=966.32 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 109394 0 0 0 94871 1761 0 0 25 0 1 0 902275238 448708608 109255 33554432000 4194304 5714214 140736641650912 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 109548 109255 178 372 0 109173 0
Current children cumulated CPU time (s) 966.32
Current children cumulated vsize (KiB) 438192

[startup+966.701 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5293
/proc/meminfo: memFree=580964/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=438192 CPUtime=966.72 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 109394 0 0 0 94911 1761 0 0 25 0 1 0 902275238 448708608 109255 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 109548 109255 178 372 0 109173 0
Current children cumulated CPU time (s) 966.72
Current children cumulated vsize (KiB) 438192

[startup+967.101 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5293
/proc/meminfo: memFree=580964/32951124 swapFree=67056684/67111528
[pid=5190] ppid=5188 vsize=438192 CPUtime=967.12 cores=1,3,5,7
/proc/5190/stat : 5190 (wbo1.6) R 5188 5190 2586 0 -1 4202496 109394 0 0 0 94951 1761 0 0 25 0 1 0 902275238 448708608 109255 33554432000 4194304 5714214 140736641650912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5190/statm: 109548 109255 178 372 0 109173 0
Current children cumulated CPU time (s) 967.12
Current children cumulated vsize (KiB) 438192

Child status: 0
Real time (s): 967.154
CPU time (s): 967.183
CPU user time (s): 949.547
CPU system time (s): 17.6363
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 438192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 949.547
system time used= 17.6363
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109397
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= 31
involuntary context switches= 1263

runsolver used 1.23781 second user time and 3.17452 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-12 21:25:45
IDJOB=3446526
IDBENCH=79258
IDSOLVER=1943
FILE ID=node109/3446526-1307906745
RUNJOBID= node109-1307904474-4442
PBS_JOBID= 13559594
Free space on /var/tmp= 2884 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo
COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3446526-1307906745/watcher-3446526-1307906745 -o /var/tmp/evaluation-result-3446526-1307906745/solver-3446526-1307906745 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446526-1307906745.wbo

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

MD5SUM BENCH= c0d431beb578ab67ce1970cb297cf650
RANDOM SEED=1825328489

node109.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.809
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.61
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.809
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.809
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.74
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.809
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.809
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.82
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.809
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.809
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.82
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1480636 kB
Buffers:         60344 kB
Cached:       30415716 kB
SwapCached:       8608 kB
Active:       15651112 kB
Inactive:     14866420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1480636 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:            9028 kB
Writeback:           0 kB
AnonPages:       38864 kB
Mapped:          13880 kB
Slab:           889680 kB
PageTables:       4416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   230948 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 /var/tmp at the end= 2880 MiB
End job on node109 at 2011-06-12 21:41:52