Trace number 2696040

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
pb_cplex 2010-06-29? (TO) 1800.13 1475.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_2.opb
MD5SUM1d334f36842eecbe8db395477b7c6bcb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1791.89
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6340
Number of bits of the biggest sum of numbers13
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 pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2696040-1278020249.opb.
0.00/0.00	c Instance file HOME/instance-2696040-1278020249.opb
0.00/0.00	c File size is 13323 bytes.
0.00/0.04	c Highest Coefficient sum: 6340
0.00/0.04	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Parsing time:          0.04         s                                      |
0.00/0.04	c |  Number Variables:      198                                                 |
0.00/0.04	c |  Number Constraints:    16                                                  |
0.00/0.04	c ===============================================================================
1800.13/1475.21	c Remaining time 1799.96 sec.
1800.13/1475.21	c 
1800.13/1475.21	c *** INTERRUPTED ***
1800.13/1475.21	s UNKNOWN
1800.13/1475.21	c Total CPU time              : 1707.32 s
1800.13/1475.21	c Memory used           : 112.70 MB
1800.13/1475.21	c CPU time              : 1707.32 s
1800.13/1475.21	c 
1800.13/1475.21	c *** INTERRUPTED ***

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-2696040-1278020249/watcher-2696040-1278020249 -o /tmp/evaluation-result-2696040-1278020249/solver-2696040-1278020249 -C 1800 -W 2000 -M 1800 run HOME/instance-2696040-1278020249.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.85 1.78 1.65 3/106 24838
/proc/meminfo: memFree=1775012/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0

[startup+0.0918921 s]
/proc/loadavg: 1.85 1.78 1.65 3/106 24838
/proc/meminfo: memFree=1775012/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.106618 s]
/proc/loadavg: 1.85 1.78 1.65 3/106 24838
/proc/meminfo: memFree=1775012/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.359615 s]
/proc/loadavg: 1.85 1.78 1.65 3/106 24838
/proc/meminfo: memFree=1775012/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700611 s]
/proc/loadavg: 1.85 1.78 1.65 3/106 24838
/proc/meminfo: memFree=1775012/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5006 s]
/proc/loadavg: 1.85 1.78 1.65 2/109 24847
/proc/meminfo: memFree=1770400/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=29156 CPUtime=2.05
/proc/24839/stat : 24839 (pb_cplex) S 24838 24838 24318 0 -1 4202496 5383 0 0 0 192 13 0 0 16 0 2 0 177628418 29855744 2018 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24839/statm: 7289 2018 1074 2985 0 3831 0
[pid=24839/tid=24847] ppid=24838 vsize=29156 CPUtime=0.43
/proc/24839/task/24847/stat : 24847 (pb_cplex) R 24838 24838 24318 0 -1 4202560 72 0 0 0 42 1 0 0 16 0 2 0 177628497 29855744 2018 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 37856

[startup+3.10142 s]
/proc/loadavg: 1.85 1.78 1.65 2/109 24847
/proc/meminfo: memFree=1769904/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=30824 CPUtime=3.9
/proc/24839/stat : 24839 (pb_cplex) S 24838 24838 24318 0 -1 4202496 8324 0 0 0 367 23 0 0 16 0 2 0 177628418 31563776 2289 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 7706 2289 1074 2985 0 4248 0
[pid=24839/tid=24847] ppid=24838 vsize=30824 CPUtime=1.38
/proc/24839/task/24847/stat : 24847 (pb_cplex) R 24838 24838 24318 0 -1 4202560 992 0 0 0 131 7 0 0 16 0 2 0 177628497 31563776 2289 1992294400 134512640 146736320 4293233040 18446744073709551615 136494110 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 39524

[startup+6.30101 s]
/proc/loadavg: 1.79 1.77 1.65 2/109 24847
/proc/meminfo: memFree=1767672/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=32516 CPUtime=7.48
/proc/24839/stat : 24839 (pb_cplex) S 24838 24838 24318 0 -1 4202496 14906 0 0 0 708 40 0 0 16 0 2 0 177628418 33296384 2772 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 8129 2772 1075 2985 0 4671 0
[pid=24839/tid=24847] ppid=24838 vsize=32516 CPUtime=3.15
/proc/24839/task/24847/stat : 24847 (pb_cplex) R 24838 24838 24318 0 -1 4202560 4525 0 0 0 299 16 0 0 16 0 2 0 177628497 33296384 2772 1992294400 134512640 146736320 4293233040 18446744073709551615 136931505 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 41216

[startup+12.7012 s]
/proc/loadavg: 1.72 1.75 1.65 5/109 24847
/proc/meminfo: memFree=1763332/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=37184 CPUtime=16.15
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 30650 0 0 0 1533 82 0 0 18 0 2 0 177628418 38076416 3796 1992294400 134512640 146736320 4293233040 18446744073709551615 137083064 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24839/statm: 9296 3796 1081 2985 0 5838 0
[pid=24839/tid=24847] ppid=24838 vsize=37184 CPUtime=7.2
/proc/24839/task/24847/stat : 24847 (pb_cplex) R 24838 24838 24318 0 -1 4202560 12202 0 0 0 686 34 0 0 17 0 2 0 177628497 38076416 3796 1992294400 134512640 146736320 4293233040 18446744073709551615 137396076 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 16.15
Current children cumulated vsize (KiB) 45884

[startup+25.5006 s]
/proc/loadavg: 1.77 1.77 1.65 2/109 24854
/proc/meminfo: memFree=1764572/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=35300 CPUtime=32.7
/proc/24839/stat : 24839 (pb_cplex) S 24838 24838 24318 0 -1 4202496 54046 0 0 0 3099 171 0 0 16 0 2 0 177628418 36147200 3353 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 8825 3353 1082 2985 0 5367 0
[pid=24839/tid=24854] ppid=24838 vsize=35300 CPUtime=1.28
/proc/24839/task/24854/stat : 24854 (pb_cplex) R 24838 24838 24318 0 -1 4202560 138 0 0 0 122 6 0 0 16 0 2 0 177630767 36147200 3353 1992294400 134512640 146736320 4293233040 18446744073709551615 136855166 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.7
Current children cumulated vsize (KiB) 44000

[startup+51.1013 s]
/proc/loadavg: 1.51 1.70 1.63 2/109 24854
/proc/meminfo: memFree=1761968/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=37688 CPUtime=63.79
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 67984 0 0 0 6042 337 0 0 16 0 2 0 177628418 38592512 4068 1992294400 134512640 146736320 4293233040 18446744073709551615 144785853 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 9422 4068 1083 2985 0 5964 0
[pid=24839/tid=24854] ppid=24838 vsize=37688 CPUtime=16.25
/proc/24839/task/24854/stat : 24854 (pb_cplex) S 24838 24838 24318 0 -1 4202560 7344 0 0 0 1540 85 0 0 16 0 2 0 177630767 38592512 4068 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 2 4096 16387 18446604437833154880 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 63.79
Current children cumulated vsize (KiB) 46388

[startup+102.309 s]
/proc/loadavg: 1.33 1.62 1.61 2/109 24856
/proc/meminfo: memFree=1756388/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=44252 CPUtime=127.07
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 111958 0 0 0 12008 699 0 0 16 0 2 0 177628418 45314048 5443 1992294400 134512640 146736320 4293233040 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 11063 5443 1082 2985 0 7605 0
[pid=24839/tid=24854] ppid=24838 vsize=44252 CPUtime=47.18
/proc/24839/task/24854/stat : 24854 (pb_cplex) S 24838 24838 24318 0 -1 4202560 30223 0 0 0 4457 261 0 0 16 0 2 0 177630767 45314048 5443 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 2 4096 16387 18446604437833154880 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 127.07
Current children cumulated vsize (KiB) 52952

[startup+162.301 s]
/proc/loadavg: 1.19 1.52 1.57 2/109 24856
/proc/meminfo: memFree=1748328/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=51588 CPUtime=200.71
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 175873 0 0 0 18942 1129 0 0 16 0 2 0 177628418 52826112 7422 1992294400 134512640 146736320 4293233040 18446744073709551615 135455487 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24839/statm: 12897 7422 1083 2985 0 9439 0
[pid=24839/tid=24854] ppid=24838 vsize=51588 CPUtime=83.44
/proc/24839/task/24854/stat : 24854 (pb_cplex) S 24838 24838 24318 0 -1 4202560 61242 0 0 0 7867 477 0 0 16 0 2 0 177630767 52826112 7422 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 2 4096 16387 18446604437833154880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 200.71
Current children cumulated vsize (KiB) 60288

[startup+222.302 s]
/proc/loadavg: 1.22 1.47 1.55 2/109 24858
/proc/meminfo: memFree=1744236/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=55508 CPUtime=272
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 238969 0 0 0 25693 1507 0 0 15 0 2 0 177628418 56840192 8411 1992294400 134512640 146736320 4293233040 18446744073709551615 144785853 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 13877 8411 1082 2985 0 10419 0
[pid=24839/tid=24854] ppid=24838 vsize=55508 CPUtime=118.87
/proc/24839/task/24854/stat : 24854 (pb_cplex) S 24838 24838 24318 0 -1 4202560 94089 0 0 0 11219 668 0 0 16 0 2 0 177630767 56840192 8411 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 2 4096 16387 18446604437833154880 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 272
Current children cumulated vsize (KiB) 64208

[startup+282.302 s]
/proc/loadavg: 1.18 1.41 1.52 2/109 24860
/proc/meminfo: memFree=1740516/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=59904 CPUtime=343.1
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 301165 0 0 0 32425 1885 0 0 16 0 2 0 177628418 61341696 9356 1992294400 134512640 146736320 4293233040 18446744073709551615 144785853 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 14976 9356 1082 2985 0 11518 0
[pid=24839/tid=24854] ppid=24838 vsize=59904 CPUtime=155.2
/proc/24839/task/24854/stat : 24854 (pb_cplex) S 24838 24838 24318 0 -1 4202560 127850 0 0 0 14655 865 0 0 16 0 2 0 177630767 61341696 9356 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 2 4096 16387 18446604437833154880 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 343.1
Current children cumulated vsize (KiB) 68604

[startup+342.301 s]
/proc/loadavg: 1.72 1.52 1.55 2/109 24867
/proc/meminfo: memFree=1757256/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0

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

[pid=24839] ppid=24838 vsize=78048 CPUtime=1082.23
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 1012963 0 0 0 102561 5662 0 0 16 0 2 0 177628418 79921152 13775 1992294400 134512640 146736320 4293233040 18446744073709551615 144785853 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 19512 13775 1085 2985 0 16054 0
[pid=24839/tid=24865] ppid=24838 vsize=78048 CPUtime=347.93
/proc/24839/task/24865/stat : 24865 (pb_cplex) S 24838 24838 24318 0 -1 4202560 342554 0 0 0 33002 1791 0 0 16 0 2 0 177659338 79921152 13775 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 2 4096 16387 18446604437833154880 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1082.23
Current children cumulated vsize (KiB) 86748

[startup+942.302 s]
/proc/loadavg: 1.29 1.25 1.37 3/109 24883
/proc/meminfo: memFree=1720428/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=79228 CPUtime=1153.99
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 1098879 0 0 0 109389 6010 0 0 16 0 2 0 177628418 81129472 14218 1992294400 134512640 146736320 4293233040 18446744073709551615 144785853 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 19807 14218 1085 2985 0 16349 0
[pid=24839/tid=24865] ppid=24838 vsize=79228 CPUtime=382.75
/proc/24839/task/24865/stat : 24865 (pb_cplex) S 24838 24838 24318 0 -1 4202560 385150 0 0 0 36320 1955 0 0 16 0 2 0 177659338 81129472 14218 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 2 4096 16387 18446604437833154880 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1153.99
Current children cumulated vsize (KiB) 87928

[startup+1002.3 s]
/proc/loadavg: 1.29 1.26 1.36 3/109 24885
/proc/meminfo: memFree=1717948/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=81016 CPUtime=1226.03
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 1179249 0 0 0 116238 6365 0 0 16 0 2 0 177628418 82960384 14661 1992294400 134512640 146736320 4293233040 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 20254 14661 1089 2985 0 16796 0
[pid=24839/tid=24865] ppid=24838 vsize=81016 CPUtime=418.26
/proc/24839/task/24865/stat : 24865 (pb_cplex) R 24838 24838 24318 0 -1 4202560 425809 0 0 0 39701 2125 0 0 16 0 2 0 177659338 82960384 14661 1992294400 134512640 146736320 4293233040 18446744073709551615 136387815 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1226.03
Current children cumulated vsize (KiB) 89716

[startup+1062.3 s]
/proc/loadavg: 1.17 1.23 1.34 2/109 24885
/proc/meminfo: memFree=1716336/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=83532 CPUtime=1300.15
/proc/24839/stat : 24839 (pb_cplex) S 24838 24838 24318 0 -1 4202496 1253089 0 0 0 123275 6740 0 0 16 0 2 0 177628418 85536768 15171 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 20883 15171 1085 2985 0 17425 0
[pid=24839/tid=24865] ppid=24838 vsize=83532 CPUtime=455.41
/proc/24839/task/24865/stat : 24865 (pb_cplex) R 24838 24838 24318 0 -1 4202560 464310 0 0 0 43228 2313 0 0 16 0 2 0 177659338 85536768 15171 1992294400 134512640 146736320 4293233040 18446744073709551615 136705702 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1300.15
Current children cumulated vsize (KiB) 92232

[startup+1122.3 s]
/proc/loadavg: 1.27 1.24 1.34 3/109 24887
/proc/meminfo: memFree=1714104/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=86524 CPUtime=1373.6
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 1329973 0 0 0 130251 7109 0 0 16 0 2 0 177628418 88600576 15826 1992294400 134512640 146736320 4293233040 18446744073709551615 144785853 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 21631 15826 1086 2985 0 18173 0
[pid=24839/tid=24865] ppid=24838 vsize=86524 CPUtime=491.52
/proc/24839/task/24865/stat : 24865 (pb_cplex) R 24838 24838 24318 0 -1 4202560 503659 0 0 0 46654 2498 0 0 16 0 2 0 177659338 88600576 15826 1992294400 134512640 146736320 4293233040 18446744073709551615 136015584 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1373.6
Current children cumulated vsize (KiB) 95224

[startup+1182.3 s]
/proc/loadavg: 1.18 1.22 1.33 2/109 24889
/proc/meminfo: memFree=1711624/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=87332 CPUtime=1445.92
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 1405052 0 0 0 137112 7480 0 0 16 0 2 0 177628418 89427968 16208 1992294400 134512640 146736320 4293233040 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 21833 16208 1085 2985 0 18375 0
[pid=24839/tid=24865] ppid=24838 vsize=87332 CPUtime=527.78
/proc/24839/task/24865/stat : 24865 (pb_cplex) R 24838 24838 24318 0 -1 4202560 543762 0 0 0 50092 2686 0 0 16 0 2 0 177659338 89427968 16208 1992294400 134512640 146736320 4293233040 18446744073709551615 135852696 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1445.92
Current children cumulated vsize (KiB) 96032

[startup+1242.3 s]
/proc/loadavg: 1.32 1.24 1.32 2/109 24891
/proc/meminfo: memFree=1709392/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=89052 CPUtime=1517.2
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 1481590 0 0 0 143886 7834 0 0 16 0 2 0 177628418 91189248 16889 1992294400 134512640 146736320 4293233040 18446744073709551615 144785853 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 22263 16889 1092 2985 0 18805 0
[pid=24839/tid=24865] ppid=24838 vsize=89052 CPUtime=562.66
/proc/24839/task/24865/stat : 24865 (pb_cplex) S 24838 24838 24318 0 -1 4202560 581519 0 0 0 53401 2865 0 0 16 0 2 0 177659338 91189248 16889 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 2 4096 16387 18446604437833154880 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1517.2
Current children cumulated vsize (KiB) 97752

[startup+1302.3 s]
/proc/loadavg: 1.38 1.26 1.32 3/109 24893
/proc/meminfo: memFree=1706788/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=92500 CPUtime=1590.55
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 1555146 0 0 0 150865 8190 0 0 15 0 2 0 177628418 94720000 17488 1992294400 134512640 146736320 4293233040 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 23125 17488 1085 2985 0 19667 0
[pid=24839/tid=24865] ppid=24838 vsize=92500 CPUtime=598.73
/proc/24839/task/24865/stat : 24865 (pb_cplex) R 24838 24838 24318 0 -1 4202560 617708 0 0 0 56830 3043 0 0 16 0 2 0 177659338 94720000 17488 1992294400 134512640 146736320 4293233040 18446744073709551615 144580332 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1590.55
Current children cumulated vsize (KiB) 101200

[startup+1362.3 s]
/proc/loadavg: 1.22 1.24 1.31 2/109 24893
/proc/meminfo: memFree=1697240/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=102744 CPUtime=1662.42
/proc/24839/stat : 24839 (pb_cplex) S 24838 24838 24318 0 -1 4202496 1637001 0 0 0 157695 8547 0 0 16 0 2 0 177628418 105209856 19994 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24839/statm: 25686 19994 1085 2985 0 22228 0
[pid=24839/tid=24865] ppid=24838 vsize=102744 CPUtime=634.49
/proc/24839/task/24865/stat : 24865 (pb_cplex) R 24838 24838 24318 0 -1 4202560 659539 0 0 0 60228 3221 0 0 16 0 2 0 177659338 105209856 19994 1992294400 134512640 146736320 4293233040 18446744073709551615 144785853 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1662.42
Current children cumulated vsize (KiB) 111444

[startup+1422.31 s]
/proc/loadavg: 1.20 1.22 1.30 3/109 24904
/proc/meminfo: memFree=1685956/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=112296 CPUtime=1735.12
/proc/24839/stat : 24839 (pb_cplex) S 24838 24838 24318 0 -1 4202496 1711529 0 0 0 164594 8918 0 0 16 0 2 0 177628418 114991104 22609 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 28074 22609 1085 2985 0 24616 0
[pid=24839/tid=24865] ppid=24838 vsize=112296 CPUtime=669.77
/proc/24839/task/24865/stat : 24865 (pb_cplex) R 24838 24838 24318 0 -1 4202560 695695 0 0 0 63572 3405 0 0 16 0 2 0 177659338 114991104 22609 1992294400 134512640 146736320 4293233040 18446744073709551615 136561796 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1735.12
Current children cumulated vsize (KiB) 120996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1475.2 s]
/proc/loadavg: 1.12 1.20 1.28 2/109 24906
/proc/meminfo: memFree=1683724/2059040 swapFree=4139180/4192956
[pid=24838] ppid=24836 vsize=8700 CPUtime=0
/proc/24838/stat : 24838 (run) S 24836 24838 24318 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 177628418 8908800 249 1992294400 4194304 4922060 140735240583216 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24838/statm: 2175 249 208 178 0 68 0
[pid=24839] ppid=24838 vsize=115400 CPUtime=1800.13
/proc/24839/stat : 24839 (pb_cplex) R 24838 24838 24318 0 -1 4202496 1763034 0 0 0 170731 9282 0 0 16 0 2 0 177628418 118169600 23167 1992294400 134512640 146736320 4293233040 18446744073709551615 144580332 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 28850 23167 1085 2985 0 25392 0
[pid=24839/tid=24865] ppid=24838 vsize=115400 CPUtime=700.98
/proc/24839/task/24865/stat : 24865 (pb_cplex) R 24838 24838 24318 0 -1 4202560 720440 0 0 0 66515 3583 0 0 16 0 2 0 177659338 118169600 23167 1992294400 134512640 146736320 4293233040 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 124100

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24838 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1475.22
CPU time (s): 1800.13
CPU user time (s): 1707.31
CPU system time (s): 92.82
CPU usage (%): 122.025
Max. virtual memory (cumulated for all children) (KiB): 124800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364
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= 2

runsolver used 2.6246 second user time and 6.79597 second system time

The end

Launcher Data 

Begin job on node007 at 2010-07-01 23:37:30
IDJOB=2696040
IDBENCH=2895
IDSOLVER=1209
FILE ID=node007/2696040-1278020249
PBS_JOBID= 11198747
Free space on /tmp= 62228 MiB

SOLVER NAME= pb_cplex 2010-06-29
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2696040-1278020249/watcher-2696040-1278020249 -o /tmp/evaluation-result-2696040-1278020249/solver-2696040-1278020249 -C 1800 -W 2000 -M 1800  run HOME/instance-2696040-1278020249.opb

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

MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb
RANDOM SEED=1549246406

node007.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.264
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.52
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.264
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1775540 kB
Buffers:         69648 kB
Cached:         117060 kB
SwapCached:       8544 kB
Active:         104684 kB
Inactive:        97708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1775540 kB
SwapTotal:     4192956 kB
SwapFree:      4139180 kB
Dirty:           16636 kB
Writeback:           0 kB
AnonPages:       12992 kB
Mapped:          11968 kB
Slab:            59132 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183476 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62212 MiB
End job on node007 at 2010-07-02 00:02:05