Trace number 2702426

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.24 1800.75

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_5.opb
MD5SUMe3f554c192a1ee7b261cc2808827870e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark1789.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint50
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6226
Sum of products size (including duplicates)12452
Number of different products6226
Sum of products size12452

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702426-1278566597.opb.
0.00/0.00	c Instance file HOME/instance-2702426-1278566597.opb
0.00/0.00	c File size is 460397 bytes.
0.01/0.07	c Highest Coefficient sum: 51
0.01/0.07	c ============================[ Problem Statistics ]=============================
0.01/0.07	c |                                                                             |
0.01/0.07	c |  Parsing time:          0.07         s                                      |
0.01/0.07	c |  Number Variables:      6426                                                |
0.01/0.07	c |  Number Clauses:        6426                                                |
0.01/0.07	c |  Number Cardinality:    0                                                   |
0.01/0.07	c |  Number PB Constraints: 6226                                                |
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |    6426    12652    43782 |     5000        0    nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c New solution: 199
0.01/0.09	o 199
0.01/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 179.913 s
0.01/0.09	c ===============================================================================
0.01/0.09	c |         0 |    6426    12653    43982 |     5000        0    nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c New solution: 149
0.01/0.09	o 149
0.01/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 179.909 s
0.01/0.09	c ===============================================================================
0.01/0.09	c |         0 |    6426    12654    44182 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 148
0.09/0.10	o 148
0.09/0.10	c Elapsed CPU time: 0.095985 s	Remaining CPU time: 179.904 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    6426    12655    44382 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 147
0.09/0.10	o 147
0.09/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 179.899 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    6426    12656    44582 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 146
0.09/0.11	o 146
0.09/0.11	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 179.894 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    6426    12657    44782 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 145
0.09/0.11	o 145
0.09/0.11	c Elapsed CPU time: 0.110983 s	Remaining CPU time: 179.889 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    6426    12658    44982 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 144
0.09/0.12	o 144
0.09/0.12	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 179.884 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    6426    12659    45182 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 143
0.09/0.12	o 143
0.09/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 179.88 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    6426    12660    45382 |     5000        0    nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 142
0.09/0.13	o 142
0.09/0.13	c Elapsed CPU time: 0.12598 s	Remaining CPU time: 179.874 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    6426    12661    45582 |     5000        0    nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 140
0.09/0.13	o 140
0.09/0.13	c Elapsed CPU time: 0.13098 s	Remaining CPU time: 179.869 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |         1 |    6426    12662    45782 |     5000        1    142 |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 15
0.09/0.14	o 15
0.09/0.14	c Elapsed CPU time: 0.136979 s	Remaining CPU time: 179.863 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |         1 |    6426    12663    45982 |     5000        1    142 |  0.000 % |
0.09/0.16	c |       101 |    6426    12663    45982 |     5500      101    140 |  0.000 % |
0.19/0.20	c |       253 |    6426    12663    45982 |     6050      253    138 |  0.000 % |
0.19/0.25	c |       478 |    6426    12663    45982 |     6655      478    140 |  0.000 % |
0.29/0.33	c |       815 |    6426    12663    45982 |     7320      815    140 |  0.000 % |
0.40/0.45	c |      1322 |    6426    12663    45982 |     8052     1322    141 |  0.000 % |
0.59/0.64	c |      2081 |    6426    12663    45982 |     8857     2081    139 |  0.000 % |
0.89/0.97	c |      3220 |    6426    12663    45982 |     9743     3220    145 |  0.000 % |
1.39/1.41	c |      4928 |    6426    12663    45982 |    10717     4928    143 |  0.000 % |
2.09/2.15	c |      7491 |    6426    12663    45982 |    11789     7491    141 |  0.000 % |
3.30/3.37	c |     11336 |    6426    12663    45982 |    12968    11336    143 |  0.000 % |
5.59/5.62	c |     17105 |    6426    12663    45982 |    14265    17105    143 |  0.000 % |
8.80/8.89	c |     25755 |    6426    12663    45982 |    15692    17203    131 |  0.000 % |
14.09/14.14	c |     38731 |    6426    12663    45982 |    17261    11072    128 |  0.000 % |
21.90/21.94	c |     58192 |    6426    12663    45982 |    18987    18750    139 |  0.000 % |
35.49/35.55	c |     87384 |    6426    12663    45982 |    20886    21714    133 |  0.000 % |
58.07/58.17	c |    131175 |    6426    12663    45982 |    22974    25003    123 |  0.000 % |
93.96/94.08	c |    196859 |    6426    12663    45982 |    25272    11929    134 |  0.000 % |
148.55/148.66	c |    295385 |    6426    12663    45982 |    27799    17364    151 |  0.000 % |
181.45/181.59	c There are 0 assigned variables. 0 in cost function.
182.04/182.10	c core #1
182.04/182.10	c core #2
182.04/182.10	c ============================[ Search Statistics ]==============================
182.04/182.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.04/182.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.04/182.10	c ===============================================================================
182.04/182.10	c |         0 |    1787    12866    30709 |     5000        0    nan |  0.000 % |
182.04/182.12	c ===============================================================================
182.04/182.17	c core #3
182.04/182.17	c ============================[ Search Statistics ]==============================
182.04/182.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.04/182.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.04/182.17	c ===============================================================================
182.04/182.17	c |         0 |    6306    12867    45617 |     5000        0    nan |  0.000 % |
182.14/182.29	c |       102 |    6306    12867    45617 |     5500      102    187 |  5.244 % |
182.45/182.51	c |       254 |    6306    12867    45617 |     6050      254    234 |  5.244 % |
182.94/183.05	c |       481 |    6306    12867    45617 |     6655      481    212 |  5.244 % |
183.74/183.89	c |       820 |    6306    12867    45617 |     7320      820    174 |  5.244 % |
183.94/184.02	c ===============================================================================
183.94/184.08	c core #4
183.94/184.08	c ============================[ Search Statistics ]==============================
183.94/184.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.94/184.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.94/184.08	c ===============================================================================
183.94/184.08	c |         0 |    6854    12868    47238 |     5000        0    nan |  0.000 % |
184.04/184.18	c |       101 |    6854    12868    47238 |     5500      101    238 |  0.000 % |
184.24/184.32	c |       253 |    6854    12868    47238 |     6050      253    297 |  0.000 % |
184.54/184.61	c |       479 |    6854    12868    47238 |     6655      479    298 |  0.000 % |
184.94/185.06	c |       816 |    6854    12868    47238 |     7320      816    328 |  0.000 % |
185.74/185.80	c |      1322 |    6854    12868    47238 |     8052     1322    325 |  0.000 % |
186.84/186.91	c |      2087 |    6854    12868    47238 |     8857     2087    360 |  0.000 % |
188.54/188.69	c |      3231 |    6854    12868    47238 |     9743     3231    313 |  0.000 % |
191.74/191.83	c |      4940 |    6854    12868    47238 |    10717     4940    286 |  0.000 % |
197.64/197.75	c |      7507 |    6854    12868    47238 |    11789     7507    280 |  0.000 % |
207.14/207.29	c |     11351 |    6854    12868    47238 |    12968    11351    340 |  0.000 % |
222.73/222.84	c |     17118 |    6854    12868    47238 |    14265     9844    397 |  0.000 % |
244.23/244.38	c |     25767 |    6854    12868    47238 |    15692    11066    267 |  0.000 % |
278.92/279.08	c |     38743 |    6854    12868    47238 |    17261    15554    311 |  0.000 % |
333.20/333.32	c |     58204 |    6854    12868    47238 |    18987    16971    371 |  0.000 % |
390.68/390.84	c ===============================================================================
392.28/392.43	c core #5
392.28/392.43	c ============================[ Search Statistics ]==============================
392.28/392.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
392.28/392.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
392.28/392.43	c ===============================================================================
392.28/392.43	c |         0 |    7054    12869    47638 |     5000        0    nan |  0.000 % |
392.38/392.57	c |       106 |    7054    12869    47638 |     5500      106    312 |  0.000 % |
392.59/392.72	c |       257 |    7054    12869    47638 |     6050      257    287 |  0.000 % |
392.78/392.94	c |       482 |    7054    12869    47638 |     6655      482    212 |  0.000 % |
393.18/393.35	c |       819 |    7054    12869    47638 |     7320      819    210 |  0.000 % |
393.59/393.79	c |      1326 |    7054    12869    47638 |     8052     1326    226 |  0.000 % |
394.38/394.55	c |      2086 |    7054    12869    47638 |     8857     2086    213 |  0.000 % |
395.79/395.91	c |      3225 |    7054    12869    47638 |     9743     3225    235 |  0.000 % |
397.88/398.06	c |      4936 |    7054    12869    47638 |    10717     4936    277 |  0.000 % |
401.67/401.85	c |      7501 |    7054    12869    47638 |    11789     7501    325 |  0.000 % |
409.98/410.13	c |     11346 |    7054    12869    47638 |    12968    11346    350 |  0.000 % |
423.98/424.10	c |     17117 |    7054    12869    47638 |    14265     9536    388 |  0.000 % |
443.56/443.72	c |     25766 |    7054    12869    47638 |    15692    10065    466 |  0.000 % |
474.16/474.33	c |     38743 |    7054    12869    47638 |    17261    14036    450 |  0.000 % |
521.85/522.04	c |     58211 |    7054    12869    47638 |    18987    14478    386 |  0.000 % |
603.52/603.77	c |     87406 |    7054    12869    47638 |    20886    12081    345 |  0.000 % |
759.38/759.67	c |    131196 |    7054    12869    47638 |    22974    21863    720 |  0.000 % |
937.13/937.48	c |    196887 |    7054    12869    47638 |    25272    13882    556 |  0.000 % |
1221.76/1222.15	c |    295413 |    7054    12869    47638 |    27799    18611    438 |  0.000 % |
1751.20/1751.79	c |    443207 |    7054    12869    47638 |    30579    25275    600 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702426-1278566597/watcher-2702426-1278566597 -o /tmp/evaluation-result-2702426-1278566597/solver-2702426-1278566597 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702426-1278566597.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2533
/proc/meminfo: memFree=1648580/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=3580 CPUtime=0
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 415 0 0 0 0 0 0 0 20 0 1 0 24872679 3665920 334 1992294400 134512640 135751879 4292802912 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 895 334 142 303 0 477 0

[startup+0.02115 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2533
/proc/meminfo: memFree=1648580/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=4148 CPUtime=0.01
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 549 0 0 0 1 0 0 0 20 0 1 0 24872679 4247552 468 1992294400 134512640 135751879 4292802912 18446744073709551615 135209065 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 1037 468 162 303 0 619 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4148

[startup+0.10116 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2533
/proc/meminfo: memFree=1648580/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=5060 CPUtime=0.09
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 1178 0 0 0 9 0 0 0 20 0 1 0 24872679 5181440 802 1992294400 134512640 135751879 4292802912 18446744073709551615 134598751 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 1265 802 146 303 0 960 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5060

[startup+0.301186 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2533
/proc/meminfo: memFree=1648580/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=5584 CPUtime=0.29
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 1307 0 0 0 29 0 0 0 20 0 1 0 24872679 5718016 931 1992294400 134512640 135751879 4292802912 18446744073709551615 134607799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 1396 931 147 303 0 1091 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5584

[startup+0.701239 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2533
/proc/meminfo: memFree=1648580/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=6768 CPUtime=0.69
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 1584 0 0 0 68 1 0 0 20 0 1 0 24872679 6930432 1208 1992294400 134512640 135751879 4292802912 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 1692 1208 147 303 0 1387 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6768

[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2534
/proc/meminfo: memFree=1643736/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=8744 CPUtime=1.49
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 2093 0 0 0 147 2 0 0 22 0 1 0 24872679 8953856 1717 1992294400 134512640 135751879 4292802912 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 2186 1717 147 303 0 1881 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8744

[startup+3.10155 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2534
/proc/meminfo: memFree=1640884/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=12568 CPUtime=3.09
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 3023 0 0 0 305 4 0 0 25 0 1 0 24872679 12869632 2647 1992294400 134512640 135751879 4292802912 18446744073709551615 134620419 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 3142 2647 147 303 0 2837 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12568

[startup+6.30097 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2534
/proc/meminfo: memFree=1634312/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=18236 CPUtime=6.29
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 4451 0 0 0 622 7 0 0 25 0 1 0 24872679 18673664 4075 1992294400 134512640 135751879 4292802912 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 4559 4075 148 303 0 4254 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18236

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2534
/proc/meminfo: memFree=1623648/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=28312 CPUtime=12.69
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 6958 0 0 0 1255 14 0 0 25 0 1 0 24872679 28991488 6582 1992294400 134512640 135751879 4292802912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 7078 6582 148 303 0 6773 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28312

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2534
/proc/meminfo: memFree=1602940/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=48356 CPUtime=25.48
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 11987 0 0 0 2521 27 0 0 25 0 1 0 24872679 49516544 11611 1992294400 134512640 135751879 4292802912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 12089 11611 148 303 0 11784 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48356

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2536
/proc/meminfo: memFree=1570328/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=80972 CPUtime=51.08
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 20150 0 0 0 5059 49 0 0 25 0 1 0 24872679 82915328 19774 1992294400 134512640 135751879 4292802912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 20243 19774 148 303 0 19938 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 80972

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2536
/proc/meminfo: memFree=1505600/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=145000 CPUtime=102.27
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 36132 0 0 0 10136 91 0 0 25 0 1 0 24872679 148480000 35756 1992294400 134512640 135751879 4292802912 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 36250 35756 148 303 0 35945 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 145000

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2538
/proc/meminfo: memFree=1426860/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=224236 CPUtime=162.24
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 55937 0 0 0 16084 140 0 0 25 0 1 0 24872679 229617664 55561 1992294400 134512640 135751879 4292802912 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 56059 55561 148 303 0 55754 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 224236

[startup+222.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 2540
/proc/meminfo: memFree=1402432/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=247116 CPUtime=222.23
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 61893 0 0 0 22057 166 0 0 25 0 1 0 24872679 253046784 61332 1992294400 134512640 135751879 4292802912 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 61779 61332 151 303 0 61474 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 247116

[startup+282.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 2542
/proc/meminfo: memFree=1374036/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=276488 CPUtime=282.21
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 69250 0 0 0 28033 188 0 0 25 0 1 0 24872679 283123712 68689 1992294400 134512640 135751879 4292802912 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 69122 68689 151 303 0 68817 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 276488

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2544
/proc/meminfo: memFree=1338076/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=312116 CPUtime=342.19
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 78125 0 0 0 34009 210 0 0 25 0 1 0 24872679 319606784 77564 1992294400 134512640 135751879 4292802912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 78029 77564 151 303 0 77724 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 312116

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2544
/proc/meminfo: memFree=1316252/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=334416 CPUtime=402.18
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 83732 0 0 0 39983 235 0 0 25 0 1 0 24872679 342441984 83171 1992294400 134512640 135751879 4292802912 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 83604 83171 151 303 0 83299 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 334416

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2546
/proc/meminfo: memFree=1265784/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=384080 CPUtime=462.16
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 96144 0 0 0 45957 259 0 0 25 0 1 0 24872679 393297920 95583 1992294400 134512640 135751879 4292802912 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 96020 95583 151 303 0 95715 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 384080

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2548
/proc/meminfo: memFree=1227592/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=422808 CPUtime=522.14
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 105801 0 0 0 51930 284 0 0 25 0 1 0 24872679 432955392 105240 1992294400 134512640 135751879 4292802912 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 105702 105240 151 303 0 105397 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 422808

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2550
/proc/meminfo: memFree=1184440/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=465532 CPUtime=582.12
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 116481 0 0 0 57907 305 0 0 25 0 1 0 24872679 476704768 115920 1992294400 134512640 135751879 4292802912 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 116383 115920 151 303 0 116078 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 465532

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2552
/proc/meminfo: memFree=1131864/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=517568 CPUtime=642.12
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 129478 0 0 0 63884 328 0 0 25 0 1 0 24872679 529989632 128917 1992294400 134512640 135751879 4292802912 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 129392 128917 151 303 0 129087 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 517568

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2558
/proc/meminfo: memFree=916104/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=733120 CPUtime=882.04
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 183317 0 0 0 87784 420 0 0 25 0 1 0 24872679 750714880 182756 1992294400 134512640 135751879 4292802912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 183280 182756 151 303 0 182975 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 733120

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2560
/proc/meminfo: memFree=868116/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=781260 CPUtime=942.02
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 195348 0 0 0 93761 441 0 0 25 0 1 0 24872679 800010240 194787 1992294400 134512640 135751879 4292802912 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 195315 194787 151 303 0 195010 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 781260

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2560
/proc/meminfo: memFree=819508/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=829748 CPUtime=1002.01
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 207441 0 0 0 99738 463 0 0 25 0 1 0 24872679 849661952 206880 1992294400 134512640 135751879 4292802912 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 207437 206880 151 303 0 207132 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 829748

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2562
/proc/meminfo: memFree=777224/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=872484 CPUtime=1061.99
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 218131 0 0 0 105712 487 0 0 25 0 1 0 24872679 893423616 217570 1992294400 134512640 135751879 4292802912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 218121 217570 151 303 0 217816 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 872484

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2564
/proc/meminfo: memFree=738288/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=910952 CPUtime=1121.98
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 227715 0 0 0 111688 510 0 0 25 0 1 0 24872679 932814848 227154 1992294400 134512640 135751879 4292802912 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 227738 227154 151 303 0 227433 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 910952

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2566
/proc/meminfo: memFree=702328/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=947088 CPUtime=1181.96
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 236760 0 0 0 117665 531 0 0 25 0 1 0 24872679 969818112 236199 1992294400 134512640 135751879 4292802912 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 236772 236199 151 303 0 236467 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 947088

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2568
/proc/meminfo: memFree=652232/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=996744 CPUtime=1241.94
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 249143 0 0 0 123642 552 0 0 25 0 1 0 24872679 1020665856 248582 1992294400 134512640 135751879 4292802912 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 249186 248582 151 303 0 248881 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 996744

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2568
/proc/meminfo: memFree=606972/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=1041496 CPUtime=1301.93
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 260325 0 0 0 129619 574 0 0 25 0 1 0 24872679 1066491904 259764 1992294400 134512640 135751879 4292802912 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 260374 259764 151 303 0 260069 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1041496

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2570
/proc/meminfo: memFree=554892/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=1093964 CPUtime=1361.91
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 273451 0 0 0 135595 596 0 0 25 0 1 0 24872679 1120219136 272890 1992294400 134512640 135751879 4292802912 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 273491 272890 151 303 0 273186 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1093964

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2572
/proc/meminfo: memFree=510872/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=1137576 CPUtime=1421.9
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 284330 0 0 0 141576 614 0 0 25 0 1 0 24872679 1164877824 283769 1992294400 134512640 135751879 4292802912 18446744073709551615 134611026 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 284394 283769 151 303 0 284089 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1137576

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2574
/proc/meminfo: memFree=458296/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=1190312 CPUtime=1481.88
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 297509 0 0 0 147554 634 0 0 25 0 1 0 24872679 1218879488 296948 1992294400 134512640 135751879 4292802912 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 297578 296948 151 303 0 297273 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1190312

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2576
/proc/meminfo: memFree=409192/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=1239160 CPUtime=1541.86
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 309718 0 0 0 153531 655 0 0 25 0 1 0 24872679 1268899840 309157 1992294400 134512640 135751879 4292802912 18446744073709551615 134606030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 309790 309157 151 303 0 309485 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1239160

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2576
/proc/meminfo: memFree=362568/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=1286400 CPUtime=1601.84
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 321524 0 0 0 159510 674 0 0 25 0 1 0 24872679 1317273600 320963 1992294400 134512640 135751879 4292802912 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 321600 320963 151 303 0 321295 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1286400

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2578
/proc/meminfo: memFree=307140/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=1341264 CPUtime=1661.82
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 335232 0 0 0 165487 695 0 0 25 0 1 0 24872679 1373454336 334671 1992294400 134512640 135751879 4292802912 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 335316 334671 151 303 0 335011 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1341264

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2580
/proc/meminfo: memFree=256300/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=1392452 CPUtime=1721.8
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 348031 0 0 0 171461 719 0 0 25 0 1 0 24872679 1425870848 347470 1992294400 134512640 135751879 4292802912 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 348113 347470 151 303 0 347808 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1392452

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2582
/proc/meminfo: memFree=216496/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=1431468 CPUtime=1781.78
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 357755 0 0 0 177443 735 0 0 25 0 1 0 24872679 1465823232 357194 1992294400 134512640 135751879 4292802912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 357867 357194 151 303 0 357562 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1431468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 2582
/proc/meminfo: memFree=203600/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=1444180 CPUtime=1800.09
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4202496 360925 0 0 0 179268 741 0 0 25 0 1 0 24872679 1478840320 360364 1992294400 134512640 135751879 4292802912 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2533/statm: 361045 360364 151 303 0 360740 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1444180

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 2582
/proc/meminfo: memFree=203600/2059040 swapFree=4086148/4192956
[pid=2533] ppid=2531 vsize=0 CPUtime=1800.19
/proc/2533/stat : 2533 (wbo1.4b) R 2531 2533 1086 0 -1 4203524 360925 0 0 0 179268 751 0 0 25 0 1 0 24872679 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/2533/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.75
CPU time (s): 1800.24
CPU user time (s): 1792.69
CPU system time (s): 7.55085
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1444180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.69
system time used= 7.55085
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360925
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= 6
involuntary context switches= 1005

runsolver used 2.86056 second user time and 8.62469 second system time

The end

Launcher Data 

Begin job on node013 at 2010-07-08 07:23:17
IDJOB=2702426
IDBENCH=48148
IDSOLVER=1161
FILE ID=node013/2702426-1278566597
PBS_JOBID= 11239534
Free space on /tmp= 62552 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702426-1278566597/watcher-2702426-1278566597 -o /tmp/evaluation-result-2702426-1278566597/solver-2702426-1278566597 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702426-1278566597.opb

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

MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e
RANDOM SEED=2124902712

node013.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1649728 kB
Buffers:         49960 kB
Cached:         214868 kB
SwapCached:      61580 kB
Active:         118664 kB
Inactive:       211344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1649728 kB
SwapTotal:     4192956 kB
SwapFree:      4086148 kB
Dirty:            2732 kB
Writeback:           0 kB
AnonPages:       12044 kB
Mapped:           8504 kB
Slab:            57268 kB
PageTables:       4188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181660 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702426-1278566597.opb

Free space on /tmp at the end= 62548 MiB
End job on node013 at 2010-07-08 07:53:20