Trace number 2702338

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.11 1800.58

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_4.opb
MD5SUMefe239846afd4f2627c83cec32ebc27d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1798.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint61
Maximum length of a constraint107
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37458
Sum of products size (including duplicates)74916
Number of different products37458
Sum of products size74916

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-2702338-1278548044.opb.
0.00/0.00	c Instance file HOME/instance-2702338-1278548044.opb
0.00/0.00	c File size is 2902143 bytes.
0.39/0.45	c Highest Coefficient sum: 108
0.39/0.45	c ============================[ Problem Statistics ]=============================
0.39/0.45	c |                                                                             |
0.39/0.45	c |  Parsing time:          0.44         s                                      |
0.39/0.45	c |  Number Variables:      37958                                               |
0.39/0.45	c |  Number Clauses:        37958                                               |
0.39/0.45	c |  Number Cardinality:    0                                                   |
0.39/0.45	c |  Number PB Constraints: 37458                                               |
0.49/0.51	c ============================[ Search Statistics ]==============================
0.49/0.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.51	c ===============================================================================
0.49/0.51	c |         0 |   37958    75416   262706 |    25138        0    nan |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: 198
0.49/0.56	o 198
0.49/0.56	c Elapsed CPU time: 0.534918 s	Remaining CPU time: 179.465 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |         0 |   37958    75417   263206 |    25139        0    nan |  0.000 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c New solution: 93
0.59/0.62	o 93
0.59/0.62	c Elapsed CPU time: 0.59191 s	Remaining CPU time: 179.408 s
0.59/0.62	c ===============================================================================
0.59/0.62	c |         0 |   37958    75418   263706 |    25139        0    nan |  0.000 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: 92
0.59/0.67	o 92
0.59/0.67	c Elapsed CPU time: 0.644901 s	Remaining CPU time: 179.355 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |         0 |   37958    75419   264206 |    25139        0    nan |  0.000 % |
0.69/0.72	c ===============================================================================
0.69/0.72	c New solution: 91
0.69/0.72	o 91
0.69/0.72	c Elapsed CPU time: 0.694894 s	Remaining CPU time: 179.305 s
0.69/0.72	c ===============================================================================
0.69/0.72	c |         1 |   37958    75420   264706 |    25140        1     92 |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: 24
0.69/0.78	o 24
0.69/0.78	c Elapsed CPU time: 0.753885 s	Remaining CPU time: 179.246 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |         2 |   37958    75421   265206 |    25140        2     76 |  0.000 % |
1.69/1.78	c |       102 |   37958    75421   265206 |    27654      102    111 |  0.000 % |
1.89/1.92	c |       252 |   37958    75421   265206 |    30419      252    207 |  0.000 % |
1.99/2.07	c ===============================================================================
1.99/2.07	c New solution: 23
1.99/2.07	o 23
1.99/2.07	c Elapsed CPU time: 2.03769 s	Remaining CPU time: 177.962 s
1.99/2.07	c ===============================================================================
1.99/2.07	c |       418 |   37958    75422   265706 |    25140      418    246 |  0.000 % |
2.09/2.19	c |       518 |   37958    75422   265706 |    27654      518    254 |  0.000 % |
2.19/2.25	c ===============================================================================
2.19/2.25	c New solution: 22
2.19/2.25	o 22
2.19/2.25	c Elapsed CPU time: 2.21766 s	Remaining CPU time: 177.782 s
2.19/2.25	c ===============================================================================
2.19/2.25	c |       518 |   37958    75423   266206 |    25141      518    254 |  0.000 % |
2.29/2.35	c |       618 |   37958    75423   266206 |    27655      618    263 |  0.000 % |
2.39/2.48	c |       768 |   37958    75423   266206 |    30420      768    278 |  0.000 % |
2.59/2.66	c |       993 |   37958    75423   266206 |    33462      993    282 |  0.000 % |
2.99/3.01	c |      1330 |   37958    75423   266206 |    36808     1330    286 |  0.000 % |
3.29/3.39	c |      1838 |   37958    75423   266206 |    40489     1838    302 |  0.000 % |
3.89/3.97	c |      2598 |   37958    75423   266206 |    44538     2598    322 |  0.000 % |
4.79/4.89	c |      3738 |   37958    75423   266206 |    48992     3738    314 |  0.000 % |
6.19/6.29	c |      5448 |   37958    75423   266206 |    53891     5448    331 |  0.000 % |
8.29/8.38	c |      8010 |   37958    75423   266206 |    59281     8010    371 |  0.000 % |
10.58/10.69	c ===============================================================================
10.58/10.69	c New solution: 21
10.58/10.69	o 21
10.58/10.69	c Elapsed CPU time: 10.5684 s	Remaining CPU time: 169.432 s
10.58/10.69	c ===============================================================================
10.58/10.69	c |     10982 |   37958    75424   266706 |    25141    10982    360 |  0.000 % |
10.79/10.80	c |     11083 |   37958    75424   266706 |    27655    11083    359 |  0.000 % |
10.90/10.96	c |     11235 |   37958    75424   266706 |    30421    11235    360 |  0.000 % |
11.09/11.17	c |     11460 |   37958    75424   266706 |    33463    11460    360 |  0.000 % |
11.39/11.47	c |     11800 |   37958    75424   266706 |    36809    11800    359 |  0.000 % |
11.88/11.94	c |     12307 |   37958    75424   266706 |    40490    12307    359 |  0.000 % |
12.59/12.64	c |     13066 |   37958    75424   266706 |    44539    13066    359 |  0.000 % |
13.59/13.64	c |     14205 |   37958    75424   266706 |    48993    14205    361 |  0.000 % |
14.98/15.06	c |     15913 |   37958    75424   266706 |    53892    15913    362 |  0.000 % |
17.50/17.58	c |     18476 |   37958    75424   266706 |    59281    18476    356 |  0.000 % |
21.18/21.25	c |     22322 |   37958    75424   266706 |    65210    22322    360 |  0.000 % |
27.88/27.95	c |     28089 |   37958    75424   266706 |    71731    28089    363 |  0.000 % |
37.98/38.00	c |     36741 |   37958    75424   266706 |    78904    36741    362 |  0.000 % |
54.48/54.54	c |     49715 |   37958    75424   266706 |    86794    49715    387 |  0.000 % |
79.27/79.31	c |     69176 |   37958    75424   266706 |    95474    69176    412 |  0.000 % |
138.16/138.21	c |     98368 |   37958    75424   266706 |   105021    98368    393 |  0.000 % |
180.95/181.07	c There are 0 assigned variables. 0 in cost function.
181.65/181.74	c core #1
181.65/181.74	c core #2
181.65/181.74	c ============================[ Search Statistics ]==============================
181.65/181.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.65/181.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.65/181.74	c ===============================================================================
181.65/181.74	c |         0 |   12733    75927   192030 |    25309        0    nan |  0.000 % |
181.94/182.08	c |       108 |   12733    75927   192030 |    27839      108    407 | 66.609 % |
182.64/182.76	c ===============================================================================
182.84/182.96	c core #3
182.84/182.96	c ============================[ Search Statistics ]==============================
182.84/182.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.84/182.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.84/182.96	c ===============================================================================
182.84/182.96	c |         0 |   36690    75928   263315 |    25309        0    nan |  0.000 % |
183.34/183.44	c |       100 |   36690    75928   263315 |    27840      100    603 |  4.946 % |
183.94/184.04	c |       250 |   36690    75928   263315 |    30624      250    649 |  4.946 % |
184.75/184.89	c |       476 |   36690    75928   263315 |    33686      476    849 |  4.946 % |
186.74/186.84	c |       813 |   36690    75928   263315 |    37055      813    934 |  4.946 % |
189.84/189.92	c |      1319 |   36690    75928   263315 |    40760     1319    943 |  4.946 % |
196.04/196.13	c |      2078 |   36690    75928   263315 |    44837     2078    892 |  4.946 % |
206.34/206.43	c |      3219 |   36690    75928   263315 |    49320     3219    871 |  4.946 % |
221.83/221.98	c |      4931 |   36690    75928   263315 |    54252     4931    741 |  4.946 % |
244.14/244.22	c |      7493 |   36690    75928   263315 |    59678     7493    860 |  4.946 % |
286.81/286.93	c |     11338 |   36690    75928   263315 |    65645    11338    892 |  4.946 % |
355.70/355.89	c |     17106 |   36690    75928   263315 |    72210    17106    834 |  4.946 % |
461.57/461.79	c |     25755 |   36690    75928   263315 |    79431    25755    905 |  4.946 % |
618.73/618.99	c |     38730 |   36690    75928   263315 |    87374    38730   1075 |  4.946 % |
876.66/876.98	c |     58192 |   36690    75928   263315 |    96112    58192   1183 |  4.946 % |
1183.38/1183.79	c ===============================================================================
1185.28/1185.64	c core #4
1185.28/1185.64	c ============================[ Search Statistics ]==============================
1185.28/1185.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1185.28/1185.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1185.28/1185.64	c ===============================================================================
1185.28/1185.64	c |         0 |   39099    75930   269991 |    25310        0    nan |  0.000 % |
1185.68/1186.02	c |       102 |   39099    75930   269991 |    27841      102    595 |  0.000 % |
1186.28/1186.68	c |       255 |   39099    75930   269991 |    30625      255    462 |  0.000 % |
1187.59/1187.91	c |       485 |   39099    75930   269991 |    33687      485    437 |  0.000 % |
1189.58/1189.93	c |       824 |   39099    75930   269991 |    37056      824    443 |  0.000 % |
1193.27/1193.62	c |      1331 |   39099    75930   269991 |    40762     1331    400 |  0.000 % |
1199.57/1199.91	c |      2090 |   39099    75930   269991 |    44838     2090    409 |  0.000 % |
1208.58/1208.98	c |      3232 |   39099    75930   269991 |    49322     3232    505 |  0.000 % |
1220.47/1220.81	c |      4941 |   39099    75930   269991 |    54254     4941    688 |  0.000 % |
1239.37/1239.71	c |      7503 |   39099    75930   269991 |    59679     7503    806 |  0.000 % |
1273.86/1274.23	c |     11347 |   39099    75930   269991 |    65647    11347    925 |  0.000 % |
1325.54/1325.90	c |     17114 |   39099    75930   269991 |    72212    17114   1146 |  0.000 % |
1409.92/1410.38	c |     25767 |   39099    75930   269991 |    79433    25767   1491 |  0.000 % |
1541.39/1541.81	c |     38741 |   39099    75930   269991 |    87376    38741   1894 |  0.000 % |
1768.82/1769.34	c |     58205 |   39099    75930   269991 |    96114    58205   1679 |  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-2702338-1278548044/watcher-2702338-1278548044 -o /tmp/evaluation-result-2702338-1278548044/solver-2702338-1278548044 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702338-1278548044.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.25 1.06 0.86 2/105 29547
/proc/meminfo: memFree=1699000/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=6112 CPUtime=0
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 436 0 0 0 0 0 0 0 21 0 1 0 23012768 6258688 354 1992294400 134512640 135751879 4291473984 18446744073709551615 134613677 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 1528 354 142 303 0 514 0

[startup+0.0550899 s]
/proc/loadavg: 1.25 1.06 0.86 2/105 29547
/proc/meminfo: memFree=1699000/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=10180 CPUtime=0.05
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 1455 0 0 0 5 0 0 0 23 0 1 0 23012768 10424320 1349 1992294400 134512640 135751879 4291473984 18446744073709551615 135228657 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 2545 1349 202 303 0 1531 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10180

[startup+0.101095 s]
/proc/loadavg: 1.25 1.06 0.86 2/105 29547
/proc/meminfo: memFree=1699000/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=11808 CPUtime=0.09
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 1882 0 0 0 9 0 0 0 23 0 1 0 23012768 12091392 1776 1992294400 134512640 135751879 4291473984 18446744073709551615 135379222 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 2952 1777 276 303 0 1938 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11808

[startup+0.301117 s]
/proc/loadavg: 1.25 1.06 0.86 2/105 29547
/proc/meminfo: memFree=1699000/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=15536 CPUtime=0.29
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 3121 0 0 0 28 1 0 0 23 0 1 0 23012768 15908864 3015 1992294400 134512640 135751879 4291473984 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 3884 3016 586 303 0 2870 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15536

[startup+0.701161 s]
/proc/loadavg: 1.25 1.06 0.86 2/105 29547
/proc/meminfo: memFree=1699000/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=17676 CPUtime=0.69
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 5929 0 0 0 66 3 0 0 18 0 1 0 23012768 18100224 3761 1992294400 134512640 135751879 4291473984 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 4419 3761 146 303 0 4114 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17676

[startup+1.50125 s]
/proc/loadavg: 1.23 1.06 0.86 2/106 29548
/proc/meminfo: memFree=1684608/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=17940 CPUtime=1.49
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 5986 0 0 0 146 3 0 0 18 0 1 0 23012768 18370560 3818 1992294400 134512640 135751879 4291473984 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 4485 3818 146 303 0 4180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17940

[startup+3.10142 s]
/proc/loadavg: 1.23 1.06 0.86 2/106 29548
/proc/meminfo: memFree=1683988/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=19792 CPUtime=3.09
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 6441 0 0 0 305 4 0 0 22 0 1 0 23012768 20267008 4273 1992294400 134512640 135751879 4291473984 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 4948 4273 147 303 0 4643 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19792

[startup+6.30078 s]
/proc/loadavg: 1.23 1.06 0.86 2/106 29548
/proc/meminfo: memFree=1678284/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=25744 CPUtime=6.29
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 7940 0 0 0 622 7 0 0 25 0 1 0 23012768 26361856 5772 1992294400 134512640 135751879 4291473984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 6436 5772 147 303 0 6131 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25744

[startup+12.7015 s]
/proc/loadavg: 1.19 1.06 0.86 2/106 29548
/proc/meminfo: memFree=1665264/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=38196 CPUtime=12.69
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 11055 0 0 0 1256 13 0 0 25 0 1 0 23012768 39112704 8887 1992294400 134512640 135751879 4291473984 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 9549 8887 147 303 0 9244 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38196

[startup+25.5009 s]
/proc/loadavg: 1.16 1.05 0.86 2/106 29548
/proc/meminfo: memFree=1644308/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=58408 CPUtime=25.48
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 16090 0 0 0 2526 22 0 0 25 0 1 0 23012768 59809792 13922 1992294400 134512640 135751879 4291473984 18446744073709551615 134642014 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 14602 13922 147 303 0 14297 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58408

[startup+51.1007 s]
/proc/loadavg: 1.10 1.05 0.86 2/106 29548
/proc/meminfo: memFree=1608472/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=94732 CPUtime=51.08
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 25166 0 0 0 5069 39 0 0 25 0 1 0 23012768 97005568 22998 1992294400 134512640 135751879 4291473984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 23683 22998 147 303 0 23378 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 94732

[startup+102.308 s]
/proc/loadavg: 1.04 1.04 0.87 2/106 29550
/proc/meminfo: memFree=1542132/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=159992 CPUtime=102.27
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 41469 0 0 0 10160 67 0 0 25 0 1 0 23012768 163831808 39301 1992294400 134512640 135751879 4291473984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 39998 39301 147 303 0 39693 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 159992

[startup+162.301 s]
/proc/loadavg: 1.01 1.03 0.87 2/106 29552
/proc/meminfo: memFree=1495260/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=207192 CPUtime=162.25
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 53270 0 0 0 16133 92 0 0 25 0 1 0 23012768 212164608 51102 1992294400 134512640 135751879 4291473984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 51798 51102 147 303 0 51493 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 207192

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 0.88 2/106 29554
/proc/meminfo: memFree=1477900/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=223512 CPUtime=222.23
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59583 0 0 0 22115 108 0 0 25 0 1 0 23012768 228876288 55320 1992294400 134512640 135751879 4291473984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 55878 55320 151 303 0 55573 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 223512

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 0.88 2/106 29554
/proc/meminfo: memFree=1477776/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=223512 CPUtime=282.22
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59583 0 0 0 28108 114 0 0 25 0 1 0 23012768 228876288 55320 1992294400 134512640 135751879 4291473984 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 55878 55320 151 303 0 55573 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 223512

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 0.89 2/106 29556
/proc/meminfo: memFree=1477652/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=223512 CPUtime=342.2
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59583 0 0 0 34099 121 0 0 25 0 1 0 23012768 228876288 55320 1992294400 134512640 135751879 4291473984 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 55878 55320 151 303 0 55573 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 223512

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 0.90 2/106 29561
/proc/meminfo: memFree=1477032/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=223512 CPUtime=402.18
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59586 0 0 0 40093 125 0 0 25 0 1 0 23012768 228876288 55323 1992294400 134512640 135751879 4291473984 18446744073709551615 134606030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 55878 55323 151 303 0 55573 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 223512

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.90 2/106 29563
/proc/meminfo: memFree=1477032/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=223512 CPUtime=462.17
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59587 0 0 0 46088 129 0 0 25 0 1 0 23012768 228876288 55324 1992294400 134512640 135751879 4291473984 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 55878 55324 151 303 0 55573 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 223512

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29565
/proc/meminfo: memFree=1477032/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=223512 CPUtime=522.15
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59587 0 0 0 52081 134 0 0 25 0 1 0 23012768 228876288 55324 1992294400 134512640 135751879 4291473984 18446744073709551615 134620434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 55878 55324 151 303 0 55573 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 223512

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29567
/proc/meminfo: memFree=1477032/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=223512 CPUtime=582.14
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59591 0 0 0 58076 138 0 0 25 0 1 0 23012768 228876288 55328 1992294400 134512640 135751879 4291473984 18446744073709551615 134611290 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 55878 55328 151 303 0 55573 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 223512

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29567
/proc/meminfo: memFree=1477032/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=223512 CPUtime=642.13
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59594 0 0 0 64069 144 0 0 25 0 1 0 23012768 228876288 55331 1992294400 134512640 135751879 4291473984 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 55878 55331 151 303 0 55573 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 223512

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29575
/proc/meminfo: memFree=1384900/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=315952 CPUtime=882.06
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 82698 0 0 0 88025 181 0 0 25 0 1 0 23012768 323534848 78435 1992294400 134512640 135751879 4291473984 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 78988 78435 151 303 0 78683 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 315952

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29575
/proc/meminfo: memFree=1346832/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=354340 CPUtime=942.04
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 92253 0 0 0 94016 188 0 0 25 0 1 0 23012768 362844160 87990 1992294400 134512640 135751879 4291473984 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 88585 87990 151 303 0 88280 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 354340

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29577
/proc/meminfo: memFree=1311616/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=389180 CPUtime=1002.03
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 100979 0 0 0 100005 198 0 0 25 0 1 0 23012768 398520320 96716 1992294400 134512640 135751879 4291473984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 97295 96716 151 303 0 96990 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 389180

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29579
/proc/meminfo: memFree=1283964/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=416996 CPUtime=1062.01
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 107912 0 0 0 105995 206 0 0 25 0 1 0 23012768 427003904 103649 1992294400 134512640 135751879 4291473984 18446744073709551615 134518828 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 104249 103649 151 303 0 103944 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 416996

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29581
/proc/meminfo: memFree=1252220/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=448512 CPUtime=1122
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 115801 0 0 0 111986 214 0 0 25 0 1 0 23012768 459276288 111538 1992294400 134512640 135751879 4291473984 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 112128 111538 151 303 0 111823 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 448512

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29581
/proc/meminfo: memFree=1228536/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=471972 CPUtime=1181.98
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 121662 0 0 0 117977 221 0 0 25 0 1 0 23012768 483299328 117399 1992294400 134512640 135751879 4291473984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 117993 117399 151 303 0 117688 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 471972

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29583
/proc/meminfo: memFree=1215392/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=484392 CPUtime=1241.97
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 125082 0 0 0 123965 232 0 0 25 0 1 0 23012768 496017408 120449 1992294400 134512640 135751879 4291473984 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 121098 120449 151 303 0 120793 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 484392

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29585
/proc/meminfo: memFree=1215268/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=484392 CPUtime=1301.95
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 125120 0 0 0 129959 236 0 0 25 0 1 0 23012768 496017408 120487 1992294400 134512640 135751879 4291473984 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 121098 120487 151 303 0 120793 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 484392

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29587
/proc/meminfo: memFree=1195552/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=505400 CPUtime=1361.93
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 130353 0 0 0 135946 247 0 0 25 0 1 0 23012768 517529600 125720 1992294400 134512640 135751879 4291473984 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 126350 125720 151 303 0 126045 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 505400

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29589
/proc/meminfo: memFree=1133800/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=566184 CPUtime=1421.92
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 145571 0 0 0 141932 260 0 0 25 0 1 0 23012768 579772416 140938 1992294400 134512640 135751879 4291473984 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 141546 140938 151 303 0 141241 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 566184

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29589
/proc/meminfo: memFree=1059400/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=641064 CPUtime=1481.9
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 164271 0 0 0 147914 276 0 0 25 0 1 0 23012768 656449536 159638 1992294400 134512640 135751879 4291473984 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 160266 159638 151 303 0 159961 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 641064

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29591
/proc/meminfo: memFree=1008188/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=691776 CPUtime=1541.88
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 176943 0 0 0 153899 289 0 0 25 0 1 0 23012768 708378624 172310 1992294400 134512640 135751879 4291473984 18446744073709551615 134620394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 172944 172310 151 303 0 172639 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 691776

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29593
/proc/meminfo: memFree=950776/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=749108 CPUtime=1601.87
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 191290 0 0 0 159886 301 0 0 25 0 1 0 23012768 767086592 186657 1992294400 134512640 135751879 4291473984 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 187277 186657 151 303 0 186972 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 749108

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29595
/proc/meminfo: memFree=936268/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=763424 CPUtime=1661.86
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 194857 0 0 0 165874 312 0 0 25 0 1 0 23012768 781746176 190224 1992294400 134512640 135751879 4291473984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 190856 190224 151 303 0 190551 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 763424

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29597
/proc/meminfo: memFree=921884/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=777972 CPUtime=1721.83
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 198478 0 0 0 171862 321 0 0 25 0 1 0 23012768 796643328 193845 1992294400 134512640 135751879 4291473984 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 194493 193845 151 303 0 194188 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 777972

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29599
/proc/meminfo: memFree=903656/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=795812 CPUtime=1781.82
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 202947 0 0 0 177851 331 0 0 25 0 1 0 23012768 814911488 198314 1992294400 134512640 135751879 4291473984 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 198953 198314 151 303 0 198648 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 795812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29599
/proc/meminfo: memFree=899316/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=800040 CPUtime=1800.02
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 203998 0 0 0 179668 334 0 0 25 0 1 0 23012768 819240960 199365 1992294400 134512640 135751879 4291473984 18446744073709551615 134611273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 200010 199365 151 303 0 199705 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 800040

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 29599
/proc/meminfo: memFree=899316/2059040 swapFree=4136400/4192956
[pid=29547] ppid=29545 vsize=800040 CPUtime=1800.02
/proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 203998 0 0 0 179668 334 0 0 25 0 1 0 23012768 819240960 199365 1992294400 134512640 135751879 4291473984 18446744073709551615 134611273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29547/statm: 200010 199365 151 303 0 199705 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 800040

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.58
CPU time (s): 1800.11
CPU user time (s): 1796.69
CPU system time (s): 3.41748
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 800040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.69
system time used= 3.41748
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203998
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= 8
involuntary context switches= 22434

runsolver used 2.81257 second user time and 8.67168 second system time

The end

Launcher Data 

Begin job on node087 at 2010-07-08 02:14:04
IDJOB=2702338
IDBENCH=48104
IDSOLVER=1161
FILE ID=node087/2702338-1278548044
PBS_JOBID= 11239476
Free space on /tmp= 62512 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_4.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-2702338-1278548044/watcher-2702338-1278548044 -o /tmp/evaluation-result-2702338-1278548044/solver-2702338-1278548044 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702338-1278548044.opb

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

MD5SUM BENCH= efe239846afd4f2627c83cec32ebc27d
RANDOM SEED=1472447774

node087.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.201
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.40
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.201
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	: 5999.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1702380 kB
Buffers:         78064 kB
Cached:         185372 kB
SwapCached:      12768 kB
Active:         121140 kB
Inactive:       158964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1702380 kB
SwapTotal:     4192956 kB
SwapFree:      4136400 kB
Dirty:            3380 kB
Writeback:           0 kB
AnonPages:       11456 kB
Mapped:           8404 kB
Slab:            54652 kB
PageTables:       4124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181568 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-2702338-1278548044.opb

Free space on /tmp at the end= 62508 MiB
End job on node087 at 2010-07-08 02:44:08