Trace number 1876132

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.26 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein45.opb
MD5SUM5084bd7d25dcb1d535d550da78b2db16
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark30
Best CPU time to get the best result obtained on this benchmark30.5394
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved YES
Number of variables45
Total number of constraints331
Number of constraints which are clauses330
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint45
Number of terms in the objective function 45
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 45
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 67
Number of bits of the biggest sum of numbers7
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1876132-1245133822.opb.
0.00/0.00	c Instance file HOME/instance-1876132-1245133822.opb
0.00/0.00	c File size is 9856 bytes.
0.00/0.00	c Highest Coefficient sum: 67
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      45                                                  |
0.00/0.00	c |  Number Clauses:        375                                                 |
0.00/0.00	c |  Number Cardinality:    1                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c core #1
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 1
0.00/0.00	c Elapsed CPU time: 0.000999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #2
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 2
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #3
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 3
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #4
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 4
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #5
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 5
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #6
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 6
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #7
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 7
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #8
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 8
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #9
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 9
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #10
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 10
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #11
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 11
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #12
0.00/0.00	c Core size: 3	Core Weight: 1	Total Weight: 12
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #13
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 13
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #14
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 14
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #15
0.00/0.00	c Core size: 21	Core Weight: 1	Total Weight: 15
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
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 |      98      391     1185 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #16
0.00/0.00	c Core size: 34	Core Weight: 1	Total Weight: 16
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
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 |     115      392     1219 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #17
0.00/0.00	c Core size: 104	Core Weight: 1	Total Weight: 17
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     158      393     1305 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       100 |     158      393     1305 |     5500      100     17 |  0.004 % |
0.01/0.01	c |       252 |     157      393     1305 |     6050      149     17 |  0.637 % |
0.01/0.02	c ===============================================================================
0.01/0.02	c core #18
0.01/0.02	c Core size: 183	Core Weight: 1	Total Weight: 18
0.01/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c ============================[ Search Statistics ]==============================
0.01/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.02	c ===============================================================================
0.01/0.02	c |         0 |     203      394     1395 |     5000        0    nan |  0.000 % |
0.01/0.02	c |       102 |     203      394     1395 |     5500      102     40 |  0.002 % |
0.01/0.03	c |       253 |     203      394     1395 |     6050      253     36 |  0.002 % |
0.01/0.04	c |       481 |     203      394     1395 |     6655      481     33 |  0.002 % |
0.01/0.07	c |       819 |     203      394     1395 |     7320      819     32 |  0.002 % |
0.09/0.10	c |      1327 |     202      394     1395 |     8052      191     29 |  0.495 % |
0.09/0.15	c |      2086 |     202      394     1395 |     8857      950     25 |  0.495 % |
0.19/0.25	c |      3229 |     202      394     1395 |     9743     2093     28 |  0.497 % |
0.29/0.37	c |      4937 |     201      394     1395 |    10717     1693     20 |  0.988 % |
0.49/0.60	c |      7500 |     201      394     1395 |    11789     4256     21 |  0.990 % |
0.89/0.92	c ===============================================================================
0.99/1.00	c core #19
0.99/1.00	c Core size: 317	Core Weight: 1	Total Weight: 19
0.99/1.00	c Elapsed CPU time: 0.987849 s	Remaining CPU time: 1799.01 s
0.99/1.01	c ============================[ Search Statistics ]==============================
0.99/1.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.99/1.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.99/1.01	c ===============================================================================
0.99/1.01	c |         0 |     248      395     1485 |     5000        0    nan |  0.000 % |
0.99/1.01	c |       100 |     248      395     1485 |     5500      100     53 |  0.002 % |
0.99/1.02	c |       251 |     248      395     1485 |     6050      251     50 |  0.002 % |
0.99/1.04	c |       478 |     248      395     1485 |     6655      478     47 |  0.002 % |
0.99/1.08	c |       817 |     248      395     1485 |     7320      817     45 |  0.002 % |
1.09/1.14	c |      1323 |     248      395     1485 |     8052     1323     47 |  0.002 % |
1.19/1.24	c |      2084 |     248      395     1485 |     8857     2084     51 |  0.002 % |
1.39/1.45	c |      3224 |     248      395     1485 |     9743     3224     50 |  0.002 % |
1.69/1.77	c |      4935 |     248      395     1485 |    10717     4935     47 |  0.002 % |
1.99/2.04	c |      7498 |     248      395     1485 |    11789     7498     38 |  0.002 % |
2.49/2.54	c |     11342 |     248      395     1485 |    12968    11342     34 |  0.002 % |
3.29/3.37	c |     17111 |     248      395     1485 |    14265    10611     26 |  0.002 % |
4.69/4.73	c |     25762 |     248      395     1485 |    15692    12094     25 |  0.002 % |
7.29/7.33	c |     38737 |     248      395     1485 |    17261     9307     26 |  0.002 % |
11.19/11.24	c |     58198 |     248      395     1485 |    18987    11455     27 |  0.002 % |
18.29/18.34	c |     87390 |     248      395     1485 |    20886    12051     27 |  0.002 % |
29.98/30.07	c |    131180 |     248      395     1485 |    22974    13992     26 |  0.003 % |
51.68/51.73	c |    196865 |     248      395     1485 |    25272    22106     30 |  0.002 % |
83.97/84.07	c |    295393 |     248      395     1485 |    27799    19296     30 |  0.003 % |
125.45/125.51	c ===============================================================================
131.55/131.62	c core #20
131.55/131.62	c Core size: 344	Core Weight: 1	Total Weight: 20
131.55/131.62	c Elapsed CPU time: 130.534 s	Remaining CPU time: 1669.47 s
131.85/131.99	c ============================[ Search Statistics ]==============================
131.85/131.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
131.85/131.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
131.85/131.99	c ===============================================================================
131.85/131.99	c |         0 |     293      396     1575 |     5000        0    nan |  0.000 % |
131.95/132.04	c |       100 |     293      396     1575 |     5500      100     68 |  0.001 % |
131.95/132.08	c |       254 |     293      396     1575 |     6050      254     49 |  0.001 % |
131.95/132.09	c |       479 |     293      396     1575 |     6655      479     39 |  0.001 % |
132.05/132.11	c |       817 |     293      396     1575 |     7320      817     34 |  0.001 % |
132.05/132.14	c |      1326 |     293      396     1575 |     8052     1326     29 |  0.001 % |
132.15/132.20	c |      2089 |     293      396     1575 |     8857     2089     30 |  0.001 % |
132.25/132.30	c |      3228 |     293      396     1575 |     9743     3228     30 |  0.001 % |
132.35/132.46	c |      4936 |     293      396     1575 |    10717     4936     29 |  0.001 % |
132.75/132.83	c |      7498 |     293      396     1575 |    11789     7498     30 |  0.001 % |
133.35/133.47	c |     11346 |     293      396     1575 |    12968    11346     30 |  0.001 % |
134.25/134.38	c |     17113 |     293      396     1575 |    14265    10604     32 |  0.001 % |
136.05/136.16	c |     25763 |     293      396     1575 |    15692    12069     35 |  0.001 % |
139.15/139.26	c |     38739 |     293      396     1575 |    17261     9272     33 |  0.001 % |
144.75/144.84	c |     58202 |     293      396     1575 |    18987    11392     40 |  0.001 % |
154.85/154.94	c |     87397 |     293      396     1575 |    20886    11964     39 |  0.001 % |
170.94/171.07	c |    131187 |     293      396     1575 |    22974    13821     37 |  0.001 % |
202.53/202.63	c |    196874 |     293      396     1575 |    25272    21812     50 |  0.001 % |
245.62/245.76	c |    295405 |     293      396     1575 |    27799    18858     35 |  0.001 % |
316.10/316.25	c |    443194 |     293      396     1575 |    30579    22586     44 |  0.001 % |
431.46/431.69	c |    664878 |     293      396     1575 |    33637    26495     47 |  0.001 % |
628.01/628.29	c |    997403 |     293      396     1575 |    37001    28446     48 |  0.001 % |
952.02/952.35	c |   1496195 |     293      396     1575 |    40701    34066     52 |  0.001 % |
1462.57/1463.01	c |   2244378 |     292      396     1575 |    44771    39022     50 |  0.342 % |

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-1876132-1245133822/watcher-1876132-1245133822 -o /tmp/evaluation-result-1876132-1245133822/solver-1876132-1245133822 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876132-1245133822.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: 0.92 0.98 0.99 3/64 2166
/proc/meminfo: memFree=1771184/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=2392 CPUtime=0
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 195 0 0 0 0 0 0 0 18 0 1 0 180982943 2449408 176 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 598 176 133 292 0 303 0

[startup+0.0175701 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 2166
/proc/meminfo: memFree=1771184/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=2524 CPUtime=0.01
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 217 0 0 0 1 0 0 0 18 0 1 0 180982943 2584576 198 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 631 198 136 292 0 336 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2524

[startup+0.101579 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 2166
/proc/meminfo: memFree=1771184/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=2920 CPUtime=0.09
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 309 0 0 0 9 0 0 0 18 0 1 0 180982943 2990080 290 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 730 290 136 292 0 435 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2920

[startup+0.301601 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 2166
/proc/meminfo: memFree=1771184/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=3712 CPUtime=0.29
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 526 0 0 0 29 0 0 0 19 0 1 0 180982943 3801088 507 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 928 507 136 292 0 633 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3712

[startup+0.701645 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 2166
/proc/meminfo: memFree=1771184/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=5032 CPUtime=0.69
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 855 0 0 0 68 1 0 0 23 0 1 0 180982943 5152768 836 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 1258 836 136 292 0 963 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5032

[startup+1.50174 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1767464/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=5960 CPUtime=1.49
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 1072 0 0 0 148 1 0 0 25 0 1 0 180982943 6103040 1053 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 1490 1053 136 292 0 1195 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5960

[startup+3.10191 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1766632/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=8868 CPUtime=3.09
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 1782 0 0 0 305 4 0 0 25 0 1 0 180982943 9080832 1763 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 2217 1763 136 292 0 1922 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8868

[startup+6.30127 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1760488/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=14024 CPUtime=6.28
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 3085 0 0 0 621 7 0 0 25 0 1 0 180982943 14360576 3066 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 3506 3066 136 292 0 3211 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14024

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1750824/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=23136 CPUtime=12.69
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 5367 0 0 0 1255 14 0 0 25 0 1 0 180982943 23691264 5348 1992294400 134512640 135709839 4294956240 18446744073709551615 134573775 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 5784 5348 136 292 0 5489 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23136

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1735016/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=38352 CPUtime=25.48
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 9178 0 0 0 2523 25 0 0 25 0 1 0 180982943 39272448 9159 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 9588 9159 136 292 0 9293 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38352

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1710696/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=62804 CPUtime=51.07
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 15287 0 0 0 5062 45 0 0 25 0 1 0 180982943 64311296 15268 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 15701 15268 136 292 0 15406 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62804

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1666792/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=106232 CPUtime=102.27
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 26108 0 0 0 10139 88 0 0 25 0 1 0 180982943 108781568 26089 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 26558 26089 136 292 0 26263 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 106232

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1640744/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=131980 CPUtime=162.24
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 32598 0 0 0 16097 127 0 0 25 0 1 0 180982943 135147520 32551 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 32995 32551 136 292 0 32700 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 131980

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1627688/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=145164 CPUtime=222.22
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 35886 0 0 0 22066 156 0 0 25 0 1 0 180982943 148647936 35839 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 36291 35839 136 292 0 35996 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 145164

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1580712/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=192536 CPUtime=282.21
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 47682 0 0 0 28027 194 0 0 25 0 1 0 180982943 197156864 47635 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 48134 47635 136 292 0 47839 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 192536

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1535144/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=237732 CPUtime=342.19
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 58973 0 0 0 33991 228 0 0 25 0 1 0 180982943 243437568 58926 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 59433 58926 136 292 0 59138 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 237732

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1494120/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=279284 CPUtime=402.17
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 69343 0 0 0 39959 258 0 0 25 0 1 0 180982943 285986816 69296 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 69821 69296 136 292 0 69526 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 279284

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1453928/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=318916 CPUtime=462.16
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 79262 0 0 0 45926 290 0 0 25 0 1 0 180982943 326569984 79215 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 79729 79215 136 292 0 79434 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 318916

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1418664/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=354912 CPUtime=522.14
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 88214 0 0 0 51897 317 0 0 25 0 1 0 180982943 363429888 88167 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 88728 88167 136 292 0 88433 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 354912

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1376168/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=396684 CPUtime=582.12
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 98656 0 0 0 57863 349 0 0 25 0 1 0 180982943 406204416 98609 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 99171 98609 136 292 0 98876 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 396684

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1337640/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=434736 CPUtime=642.11
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 108177 0 0 0 63828 383 0 0 25 0 1 0 180982943 445169664 108130 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 108684 108130 136 292 0 108389 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 434736

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1202728/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=569524 CPUtime=882.03
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 141822 0 0 0 87712 491 0 0 25 0 1 0 180982943 583192576 141775 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 142381 141775 136 292 0 142086 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 569524

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1165544/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=607600 CPUtime=942.01
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 151321 0 0 0 93682 519 0 0 25 0 1 0 180982943 622182400 151274 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 151900 151274 136 292 0 151605 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 607600

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1125928/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=646260 CPUtime=1002
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 160981 0 0 0 99654 546 0 0 25 0 1 0 180982943 661770240 160934 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 161565 160934 136 292 0 161270 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 646260

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2167
/proc/meminfo: memFree=1091432/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=681068 CPUtime=1061.99
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 169682 0 0 0 105625 574 0 0 25 0 1 0 180982943 697413632 169635 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 170267 169635 136 292 0 169972 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 681068

[startup+1122.3 s]
/proc/loadavg: 1.11 1.02 1.00 2/65 2167
/proc/meminfo: memFree=1057384/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=714812 CPUtime=1121.97
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 178099 0 0 0 111598 599 0 0 25 0 1 0 180982943 731967488 178052 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 178703 178052 136 292 0 178408 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 714812

[startup+1182.3 s]
/proc/loadavg: 1.11 1.03 1.00 2/65 2167
/proc/meminfo: memFree=1021672/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=751040 CPUtime=1181.95
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 187082 0 0 0 117569 626 0 0 25 0 1 0 180982943 769064960 187035 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 187760 187035 136 292 0 187465 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 751040

[startup+1242.3 s]
/proc/loadavg: 1.11 1.04 1.00 2/65 2167
/proc/meminfo: memFree=986344/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=786348 CPUtime=1241.93
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 195921 0 0 0 123538 655 0 0 25 0 1 0 180982943 805220352 195874 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 196587 195874 136 292 0 196292 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 786348

[startup+1302.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/65 2169
/proc/meminfo: memFree=947944/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=823808 CPUtime=1301.92
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 205295 0 0 0 129507 685 0 0 25 0 1 0 180982943 843579392 205248 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 205952 205248 136 292 0 205657 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 823808

[startup+1362.3 s]
/proc/loadavg: 1.09 1.05 1.00 2/65 2169
/proc/meminfo: memFree=913832/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=858404 CPUtime=1361.9
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 213903 0 0 0 135480 710 0 0 25 0 1 0 180982943 879005696 213856 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 214601 213856 136 292 0 214306 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 858404

[startup+1422.31 s]
/proc/loadavg: 1.08 1.05 1.00 2/65 2169
/proc/meminfo: memFree=876200/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=895680 CPUtime=1421.88
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 223221 0 0 0 141449 739 0 0 25 0 1 0 180982943 917176320 223174 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 223920 223174 136 292 0 223625 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 895680

[startup+1482.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/65 2169
/proc/meminfo: memFree=836776/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=935180 CPUtime=1481.86
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 233107 0 0 0 147419 767 0 0 25 0 1 0 180982943 957624320 233060 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 233795 233060 136 292 0 233500 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 935180

[startup+1542.3 s]
/proc/loadavg: 1.11 1.07 1.01 2/65 2169
/proc/meminfo: memFree=807016/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=964700 CPUtime=1541.84
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 240482 0 0 0 153393 791 0 0 25 0 1 0 180982943 987852800 240435 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 241175 240435 136 292 0 240880 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 964700

[startup+1602.3 s]
/proc/loadavg: 1.08 1.07 1.01 2/65 2169
/proc/meminfo: memFree=775976/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=995928 CPUtime=1601.83
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 248276 0 0 0 159366 817 0 0 25 0 1 0 180982943 1019830272 248229 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 248982 248229 136 292 0 248687 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 995928

[startup+1662.3 s]
/proc/loadavg: 1.11 1.08 1.01 2/65 2169
/proc/meminfo: memFree=746728/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=1025304 CPUtime=1661.81
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 255575 0 0 0 165342 839 0 0 25 0 1 0 180982943 1049911296 255528 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 256326 255528 136 292 0 256031 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1025304

[startup+1722.3 s]
/proc/loadavg: 1.07 1.08 1.01 2/65 2169
/proc/meminfo: memFree=715368/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=1056652 CPUtime=1721.79
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 263407 0 0 0 171315 864 0 0 25 0 1 0 180982943 1082011648 263360 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 264163 263360 136 292 0 263868 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1056652

[startup+1782.3 s]
/proc/loadavg: 1.10 1.08 1.01 2/65 2169
/proc/meminfo: memFree=677352/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=1094452 CPUtime=1781.77
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 272881 0 0 0 177284 893 0 0 25 0 1 0 180982943 1120718848 272834 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 273613 272834 136 292 0 273318 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1094452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.07 1.07 1.01 2/65 2169
/proc/meminfo: memFree=665128/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=1106332 CPUtime=1800.08
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4194304 275854 0 0 0 179107 901 0 0 25 0 1 0 180982943 1132883968 275807 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 276583 275807 136 292 0 276288 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1106332

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

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

[startup+1800.71 s]
/proc/loadavg: 1.07 1.07 1.01 2/65 2169
/proc/meminfo: memFree=665128/2055920 swapFree=4191900/4192956
[pid=2166] ppid=2164 vsize=0 CPUtime=1800.18
/proc/2166/stat : 2166 (wbo) R 2164 2166 2023 0 -1 4195332 275854 0 0 0 179107 911 0 0 25 0 1 0 180982943 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/2166/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.78
CPU time (s): 1800.26
CPU user time (s): 1791.07
CPU system time (s): 9.1816
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1106332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.07
system time used= 9.1816
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275854
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= 2
involuntary context switches= 2931

runsolver used 1.53377 second user time and 3.47247 second system time

The end

Launcher Data 

Begin job on node9 at 2009-06-16 08:30:22
IDJOB=1876132
IDBENCH=1865
IDSOLVER=698
FILE ID=node9/1876132-1245133822
PBS_JOBID= 9363692
Free space on /tmp= 66160 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876132-1245133822/watcher-1876132-1245133822 -o /tmp/evaluation-result-1876132-1245133822/solver-1876132-1245133822 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1876132-1245133822.opb

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

MD5SUM BENCH= 5084bd7d25dcb1d535d550da78b2db16
RANDOM SEED=1839321268

node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.231
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.231
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1771536 kB
Buffers:         33752 kB
Cached:         183792 kB
SwapCached:        260 kB
Active:          69380 kB
Inactive:       160876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771536 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2388 kB
Writeback:           0 kB
Mapped:          21936 kB
Slab:            40120 kB
Committed_AS:   152904 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876132-1245133822.opb

Free space on /tmp at the end= 66160 MiB
End job on node9 at 2009-06-16 09:00:25