Trace number 3743179

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1802.16 1802.51

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb
MD5SUMecfb37e57149da15322fff965cafdd0d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-60544
Best CPU time to get the best result obtained on this benchmark1010.68
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1605
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 370126
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 370126
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

4.30/4.34	c SCIP version 1.1.0.7
4.30/4.34	c LP-Solver SoPlex 1.4.1
4.30/4.34	c user parameter file <scip.set> not found - using default parameters
4.30/4.34	c read problem <HOME/instance-3743179-1338802826.opb>
4.30/4.34	c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
6.19/6.25	c start presolving problem
6.19/6.25	c presolving:
9.58/9.66	c (round 1) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
13.28/13.31	c (round 2) 672 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 81776 impls, 1977 clqs
13.99/14.04	c (round 3) 675 del vars, 2645 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 81784 impls, 1977 clqs
78.67/78.70	c (round 4) 1350 del vars, 2645 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12206672 impls, 1977 clqs
78.87/78.97	c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12210678 impls, 1977 clqs
79.97/80.01	c (round 6) 3354 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231588 impls, 1977 clqs
80.17/80.27	c (round 7) 3354 del vars, 5324 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231596 impls, 1977 clqs

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3743179-1338802826/watcher-3743179-1338802826 -o /tmp/evaluation-result-3743179-1338802826/solver-3743179-1338802826 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743179-1338802826.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17817
/proc/meminfo: memFree=22455724/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=8232 CPUtime=0 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 1444 0 0 0 0 0 0 0 20 0 1 0 346407046 8429568 1396 33554432000 4194304 7823515 140735805377520 140734906571736 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 2058 1396 337 887 0 1168 0

[startup+0.0230069 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17817
/proc/meminfo: memFree=22455724/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=14028 CPUtime=0.01 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 2881 0 0 0 1 0 0 0 20 0 1 0 346407046 14364672 2833 33554432000 4194304 7823515 140735805377520 140734906571736 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 3507 2833 354 887 0 2617 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14028

[startup+0.100338 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17817
/proc/meminfo: memFree=22455724/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=27856 CPUtime=0.08 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 6336 0 0 0 8 0 0 0 20 0 1 0 346407046 28524544 6288 33554432000 4194304 7823515 140735805377520 140734906571736 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 6964 6288 354 887 0 6074 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27856

[startup+0.300323 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17817
/proc/meminfo: memFree=22455724/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=54052 CPUtime=0.29 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 12848 0 0 0 27 2 0 0 20 0 1 0 346407046 55349248 12800 33554432000 4194304 7823515 140735805377520 140735805243624 4403196 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 13513 12800 354 887 0 12623 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54052

[startup+0.700316 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17817
/proc/meminfo: memFree=22455724/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=89192 CPUtime=0.69 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 21624 0 0 0 66 3 0 0 20 0 1 0 346407046 91332608 21576 33554432000 4194304 7823515 140735805377520 140735805243624 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 22298 21576 354 887 0 21408 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89192

[startup+1.50032 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17818
/proc/meminfo: memFree=22331228/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=189400 CPUtime=1.49 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 46638 0 0 0 142 7 0 0 20 0 1 0 346407046 193945600 46590 33554432000 4194304 7823515 140735805377520 140735805243624 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 47350 46590 354 887 0 46460 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 189400

[startup+3.10032 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17818
/proc/meminfo: memFree=22193208/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=380400 CPUtime=3.08 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 94268 0 0 0 294 14 0 0 20 0 1 0 346407046 389529600 94220 33554432000 4194304 7823515 140735805377520 140735805243624 6908052 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 95100 94220 354 887 0 94210 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 380400

[startup+6.30037 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17818
/proc/meminfo: memFree=21463660/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=1062820 CPUtime=6.29 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 263850 0 0 0 590 39 0 0 20 0 1 0 346407046 1088327680 264432 33554432000 4194304 7823515 140735805377520 140735805375112 5416251 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 265705 264432 396 887 0 264815 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1062820

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17856
/proc/meminfo: memFree=24431312/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=1482688 CPUtime=12.68 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 370707 0 0 0 1173 95 0 0 20 0 1 0 346407046 1518272512 368497 33554432000 4194304 7823515 140735805377520 140735805375208 5061266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 370672 368497 456 887 0 369782 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1482688

[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 17856
/proc/meminfo: memFree=23561600/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=1482688 CPUtime=25.48 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 371307 0 0 0 2439 109 0 0 20 0 1 0 346407046 1518272512 369215 33554432000 4194304 7823515 140735805377520 140735805374216 4788726 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 370672 369215 461 887 0 369782 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1482688

[startup+51.1003 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 17856
/proc/meminfo: memFree=23137356/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=1703468 CPUtime=51.07 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 425416 0 0 0 4986 121 0 0 20 0 1 0 346407046 1744351232 423361 33554432000 4194304 7823515 140735805377520 140735805374216 5102406 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 425867 423361 462 887 0 424977 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1703468

[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 17856
/proc/meminfo: memFree=22586592/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=1967616 CPUtime=102.26 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 490563 0 0 0 10069 157 0 0 20 0 1 0 346407046 2014838784 487722 33554432000 4194304 7823515 140735805377520 140735805373576 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 491904 487722 462 887 0 491014 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1967616

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 17856
/proc/meminfo: memFree=22101384/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=2230344 CPUtime=162.25 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 535821 0 0 0 16056 169 0 0 20 0 1 0 346407046 2283872256 551886 33554432000 4194304 7823515 140735805377520 140735805373576 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 557586 551886 462 887 0 556696 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 2230344

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 17857
/proc/meminfo: memFree=22050812/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=2254272 CPUtime=222.24 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 540161 0 0 0 22054 170 0 0 20 0 1 0 346407046 2308374528 557758 33554432000 4194304 7823515 140735805377520 140735805373624 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 563568 557758 462 887 0 562678 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 2254272

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17857
/proc/meminfo: memFree=21401328/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=2563080 CPUtime=282.23 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 614388 0 0 0 28038 185 0 0 20 0 1 0 346407046 2624593920 631981 33554432000 4194304 7823515 140735805377520 140735805373384 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 640770 631981 462 887 0 639880 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 2563080

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17857
/proc/meminfo: memFree=21156084/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=2694820 CPUtime=342.22 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 645804 0 0 0 34029 193 0 0 20 0 1 0 346407046 2759495680 663396 33554432000 4194304 7823515 140735805377520 140735805373384 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 673705 663396 462 887 0 672815 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 2694820

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17857
/proc/meminfo: memFree=20889636/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=2796472 CPUtime=402.2 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 672112 0 0 0 40019 201 0 0 20 0 1 0 346407046 2863587328 689952 33554432000 4194304 7823515 140735805377520 140735805373384 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 699118 689952 462 887 0 698228 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 2796472

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17857
/proc/meminfo: memFree=20642408/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=2907064 CPUtime=462.18 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 699646 0 0 0 46010 208 0 0 20 0 1 0 346407046 2976833536 717486 33554432000 4194304 7823515 140735805377520 140735805373384 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 726766 717486 462 887 0 725876 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 2907064

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17858
/proc/meminfo: memFree=20344712/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=3042944 CPUtime=522.17 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 733866 0 0 0 52001 216 0 0 20 0 1 0 346407046 3115974656 751706 33554432000 4194304 7823515 140735805377520 140735805373384 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 760736 751706 462 887 0 759846 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 3042944

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17861
/proc/meminfo: memFree=20053456/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=3197000 CPUtime=582.16 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 771125 0 0 0 57990 226 0 0 20 0 1 0 346407046 3273728000 788965 33554432000 4194304 7823515 140735805377520 140735805373384 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 799250 788965 462 887 0 798360 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 3197000

[startup+642.3 s]

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

/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 927044 0 0 0 105937 270 0 0 20 0 1 0 346407046 3937423360 948943 33554432000 4194304 7823515 140735805377520 140735805373384 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 961285 948943 462 887 0 960395 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 3845140

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17862
/proc/meminfo: memFree=18869268/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=3848212 CPUtime=1122.06 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 928477 0 0 0 111935 271 0 0 20 0 1 0 346407046 3940569088 951605 33554432000 4194304 7823515 140735805377520 140735805373384 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 962053 951605 462 887 0 961163 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 3848212

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17866
/proc/meminfo: memFree=18837536/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=3855376 CPUtime=1182.04 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 931645 0 0 0 117932 272 0 0 20 0 1 0 346407046 3947905024 955357 33554432000 4194304 7823515 140735805377520 140735805373384 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 963844 955357 462 887 0 962954 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 3855376

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17889
/proc/meminfo: memFree=18578372/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=3867664 CPUtime=1242.04 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 936747 0 0 0 123928 276 0 0 20 0 1 0 346407046 3960487936 960579 33554432000 4194304 7823515 140735805377520 140735805373384 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 966916 960579 462 887 0 966026 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 3867664

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17889
/proc/meminfo: memFree=18543356/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=3876876 CPUtime=1302.04 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 940707 0 0 0 129926 278 0 0 20 0 1 0 346407046 3969921024 964763 33554432000 4194304 7823515 140735805377520 140735805373384 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 969219 964763 462 887 0 968329 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 3876876

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17889
/proc/meminfo: memFree=18514492/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=3886092 CPUtime=1362.01 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 944405 0 0 0 135921 280 0 0 20 0 1 0 346407046 3979358208 968849 33554432000 4194304 7823515 140735805377520 140735805373384 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 971523 968849 462 887 0 970633 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 3886092

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 17889
/proc/meminfo: memFree=18267264/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=4156592 CPUtime=1422.02 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 1002879 0 0 0 141909 293 0 0 20 0 1 0 346407046 4256350208 1027576 33554432000 4194304 7823515 140735805377520 140735805373384 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 1039148 1027576 462 887 0 1038258 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 4156592

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 17890
/proc/meminfo: memFree=18237656/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=4164784 CPUtime=1481.99 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 1006326 0 0 0 147904 295 0 0 20 0 1 0 346407046 4264738816 1031197 33554432000 4194304 7823515 140735805377520 140735805373384 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 1041196 1031197 462 887 0 1040306 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 4164784

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 17890
/proc/meminfo: memFree=18208792/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=4171948 CPUtime=1541.98 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 1009552 0 0 0 153901 297 0 0 20 0 1 0 346407046 4272074752 1034423 33554432000 4194304 7823515 140735805377520 140735805373384 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 1042987 1034423 462 887 0 1042097 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 4171948

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17890
/proc/meminfo: memFree=18190964/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=4178092 CPUtime=1601.97 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 1012099 0 0 0 159899 298 0 0 20 0 1 0 346407046 4278366208 1037231 33554432000 4194304 7823515 140735805377520 140735805373384 5803604 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 1044523 1037231 462 887 0 1043633 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 4178092

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17890
/proc/meminfo: memFree=17903648/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=4184236 CPUtime=1661.96 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 1014743 0 0 0 165896 300 0 0 20 0 1 0 346407046 4284657664 1039875 33554432000 4194304 7823515 140735805377520 140735805373384 5803647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 1046059 1039875 462 887 0 1045169 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 4184236

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17890
/proc/meminfo: memFree=17874536/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=4192428 CPUtime=1721.95 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 1018044 0 0 0 171893 302 0 0 20 0 1 0 346407046 4293046272 1043489 33554432000 4194304 7823515 140735805377520 140735805373384 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 1048107 1043489 462 887 0 1047217 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 4192428

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17894
/proc/meminfo: memFree=17848880/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=4199592 CPUtime=1781.94 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 1021347 0 0 0 177889 305 0 0 20 0 1 0 346407046 4300382208 1046792 33554432000 4194304 7823515 140735805377520 140735805373384 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 1049898 1046792 462 887 0 1049008 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 4199592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17894
/proc/meminfo: memFree=17841060/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=4201640 CPUtime=1800.05 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 1022159 0 0 0 179699 306 0 0 20 0 1 0 346407046 4302479360 1047604 33554432000 4194304 7823515 140735805377520 140735805373384 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 1050410 1047604 462 887 0 1049520 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 4201640

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17817

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17895
/proc/meminfo: memFree=17841060/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=4201640 CPUtime=1801.05 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 1022175 0 0 0 179799 306 0 0 20 0 1 0 346407046 4302479360 1047620 33554432000 4194304 7823515 140735805377520 140735805372864 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 1050410 1047620 462 887 0 1049520 0
Current children cumulated CPU time (s) 1801.05
Current children cumulated vsize (KiB) 4201640

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17895
/proc/meminfo: memFree=17840416/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=4201640 CPUtime=1801.85 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 1022192 0 0 0 179879 306 0 0 20 0 1 0 346407046 4302479360 1047637 33554432000 4194304 7823515 140735805377520 140735805372864 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 1050410 1047637 462 887 0 1049520 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 4201640

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17895
/proc/meminfo: memFree=17840416/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=4201640 CPUtime=1802.05 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4202496 1022196 0 0 0 179899 306 0 0 20 0 1 0 346407046 4302479360 1047641 33554432000 4194304 7823515 140735805377520 140735805372864 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 1050410 1047641 462 887 0 1049520 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 4201640

[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17895
/proc/meminfo: memFree=17840416/32873844 swapFree=7628/7628
[pid=17817] ppid=17815 vsize=0 CPUtime=1802.14 cores=1,3,5,7
/proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17511 0 -1 4203524 1022196 0 0 0 179899 315 0 0 20 0 1 0 346407046 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17817/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.51
CPU time (s): 1802.16
CPU user time (s): 1799
CPU system time (s): 3.15852
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 4201640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 3.15852
maximum resident set size= 4190564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1022196
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= 102
involuntary context switches= 1829

runsolver used 3.44948 second user time and 10.2764 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-04 11:40:26
IDJOB=3743179
IDBENCH=90887
IDSOLVER=2321
FILE ID=node145/3743179-1338802826
RUNJOBID= node145-1338797440-17528
PBS_JOBID= 14636861
Free space on /tmp= 70888 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743179-1338802826/watcher-3743179-1338802826 -o /tmp/evaluation-result-3743179-1338802826/solver-3743179-1338802826 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743179-1338802826.opb

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

MD5SUM BENCH= ecfb37e57149da15322fff965cafdd0d
RANDOM SEED=1740107488

node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5313.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        22456608 kB
Buffers:          456256 kB
Cached:          4991292 kB
SwapCached:            0 kB
Active:          5874360 kB
Inactive:        3667104 kB
Active(anon):    4084804 kB
Inactive(anon):    10916 kB
Active(file):    1789556 kB
Inactive(file):  3656188 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             37072 kB
Writeback:             0 kB
AnonPages:       4101140 kB
Mapped:            15916 kB
Shmem:               200 kB
Slab:             727324 kB
SReclaimable:     168456 kB
SUnreclaim:       558868 kB
KernelStack:        1456 kB
PageTables:        11992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    4289036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70852 MiB
End job on node145 at 2012-06-04 12:10:29