Trace number 3743311

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.18 1802.54

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX300_K192_cod2.opb
MD5SUMd6bdbf89ddd7448cef1f1e681200f2c0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-25980
Best CPU time to get the best result obtained on this benchmark1801.09
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 1427
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 881564
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 881564
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3.99/4.09	c SCIP version 1.1.0.7
3.99/4.09	c LP-Solver SoPlex 1.4.1
3.99/4.09	c user parameter file <scip.set> not found - using default parameters
3.99/4.09	c read problem <HOME/instance-3743311-1338804427.opb>
3.99/4.09	c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
5.49/5.54	c start presolving problem
5.49/5.54	c presolving:
8.39/8.43	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
11.39/11.40	c (round 2) 671 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 81778 impls, 1977 clqs
11.89/11.95	c (round 3) 674 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 81786 impls, 1977 clqs
65.47/65.57	c (round 4) 1350 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12227162 impls, 1977 clqs
65.67/65.78	c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231168 impls, 1977 clqs
66.66/66.72	c (round 6) 3354 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12256858 impls, 1977 clqs
66.87/66.93	c (round 7) 3354 del vars, 5324 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12256866 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-3743311-1338804427/watcher-3743311-1338804427 -o /tmp/evaluation-result-3743311-1338804427/solver-3743311-1338804427 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743311-1338804427.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.01 2.01 2.00 3/176 8572
/proc/meminfo: memFree=22860932/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=8732 CPUtime=0 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1540 0 0 0 0 0 0 0 20 0 1 0 346568244 8941568 1492 33554432000 4194304 7823515 140733951854064 140737381628824 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 2183 1492 349 887 0 1293 0

[startup+0.00679201 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 8572
/proc/meminfo: memFree=22860932/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=9132 CPUtime=0 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1623 0 0 0 0 0 0 0 20 0 1 0 346568244 9351168 1575 33554432000 4194304 7823515 140733951854064 140733951718616 6888849 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 2283 1575 349 887 0 1393 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9132

[startup+0.100206 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 8572
/proc/meminfo: memFree=22860932/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=29148 CPUtime=0.09 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 6659 0 0 0 9 0 0 0 20 0 1 0 346568244 29847552 6611 33554432000 4194304 7823515 140733951854064 140733951718616 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 7287 6611 354 887 0 6397 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29148

[startup+0.300238 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 8572
/proc/meminfo: memFree=22860932/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=54064 CPUtime=0.29 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 12852 0 0 0 28 1 0 0 20 0 1 0 346568244 55361536 12804 33554432000 4194304 7823515 140733951854064 140733951720168 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 13516 12804 354 887 0 12626 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54064

[startup+0.700251 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 8572
/proc/meminfo: memFree=22860932/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=92284 CPUtime=0.69 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 22421 0 0 0 66 3 0 0 20 0 1 0 346568244 94498816 22373 33554432000 4194304 7823515 140733951854064 140733951720168 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 23071 22373 354 887 0 22181 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92284

[startup+1.50026 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8573
/proc/meminfo: memFree=22733956/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=196408 CPUtime=1.48 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 48395 0 0 0 142 6 0 0 20 0 1 0 346568244 201121792 48347 33554432000 4194304 7823515 140733951854064 140733951718680 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 49102 48347 354 887 0 48212 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 196408

[startup+3.10024 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8573
/proc/meminfo: memFree=22592340/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=396764 CPUtime=3.09 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 98435 0 0 0 295 14 0 0 20 0 1 0 346568244 406286336 98387 33554432000 4194304 7823515 140733951854064 140733951720168 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 99191 98387 354 887 0 98301 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 396764

[startup+6.30018 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8573
/proc/meminfo: memFree=21802568/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=1073264 CPUtime=6.29 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 266995 0 0 0 578 51 0 0 20 0 1 0 346568244 1099022336 267066 33554432000 4194304 7823515 140733951854064 140733951851000 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 268316 267066 419 887 0 267426 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1073264

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 8574
/proc/meminfo: memFree=21381524/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=1482652 CPUtime=12.69 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 370749 0 0 0 1165 104 0 0 20 0 1 0 346568244 1518235648 369168 33554432000 4194304 7823515 140733951854064 140733951850072 4817795 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 370663 369168 461 887 0 369773 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1482652

[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8612
/proc/meminfo: memFree=24744368/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=1525560 CPUtime=25.48 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 380992 0 0 0 2441 107 0 0 20 0 1 0 346568244 1562173440 379453 33554432000 4194304 7823515 140733951854064 140733951850120 4243059 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 381390 379453 461 887 0 380500 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1525560

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8612
/proc/meminfo: memFree=24378512/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=1765204 CPUtime=51.06 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 439946 0 0 0 4987 119 0 0 20 0 1 0 346568244 1807568896 438398 33554432000 4194304 7823515 140733951854064 140733951850760 5802393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 441301 438398 462 887 0 440411 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1765204

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8612
/proc/meminfo: memFree=23793772/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=2042928 CPUtime=102.25 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 509373 0 0 0 10064 161 0 0 20 0 1 0 346568244 2091958272 506018 33554432000 4194304 7823515 140733951854064 140733951850120 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 510732 506018 462 887 0 509842 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 2042928

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8613
/proc/meminfo: memFree=23347920/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=2238872 CPUtime=162.23 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 538223 0 0 0 16056 167 0 0 20 0 1 0 346568244 2292604928 553768 33554432000 4194304 7823515 140733951854064 140733951850120 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 559718 553768 462 887 0 558828 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 2238872

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8616
/proc/meminfo: memFree=23169228/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=2403448 CPUtime=222.23 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 576686 0 0 0 22050 173 0 0 20 0 1 0 346568244 2461130752 592741 33554432000 4194304 7823515 140733951854064 140733951849928 5803635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 600862 592741 462 887 0 599972 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 2403448

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8616
/proc/meminfo: memFree=22577548/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=2691764 CPUtime=282.21 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 646464 0 0 0 28036 185 0 0 20 0 1 0 346568244 2756366336 662518 33554432000 4194304 7823515 140733951854064 140733951849928 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 672941 662518 462 887 0 672051 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 2691764

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8616
/proc/meminfo: memFree=22141096/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=2904008 CPUtime=342.2 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 699927 0 0 0 34024 196 0 0 20 0 1 0 346568244 2973704192 715980 33554432000 4194304 7823515 140733951854064 140733951849928 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 726002 715980 462 887 0 725112 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 2904008

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8616
/proc/meminfo: memFree=21658532/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=3178584 CPUtime=402.19 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 765423 0 0 0 40012 207 0 0 20 0 1 0 346568244 3254870016 781726 33554432000 4194304 7823515 140733951854064 140733951849928 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 794646 781726 462 887 0 793756 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 3178584

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8617
/proc/meminfo: memFree=21438096/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=3204180 CPUtime=462.18 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 775844 0 0 0 46006 212 0 0 20 0 1 0 346568244 3281080320 792147 33554432000 4194304 7823515 140733951854064 140733951849928 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 801045 792147 462 887 0 800155 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 3204180

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8617
/proc/meminfo: memFree=21090924/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=3387620 CPUtime=522.16 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 820962 0 0 0 51995 221 0 0 20 0 1 0 346568244 3468922880 837265 33554432000 4194304 7823515 140733951854064 140733951849928 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 846905 837265 462 887 0 846015 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 3387620

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8617
/proc/meminfo: memFree=20699244/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=3593632 CPUtime=582.15 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 869117 0 0 0 57986 229 0 0 20 0 1 0 346568244 3679879168 885420 33554432000 4194304 7823515 140733951854064 140733951849928 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 898408 885420 462 887 0 897518 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 3593632

[startup+642.3 s]

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

/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1018591 0 0 0 105937 269 0 0 20 0 1 0 346568244 4289912832 1038878 33554432000 4194304 7823515 140733951854064 140733951849928 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1047342 1038878 462 887 0 1046452 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 4189368

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8622
/proc/meminfo: memFree=19442976/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4199608 CPUtime=1122.05 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1023077 0 0 0 111934 271 0 0 20 0 1 0 346568244 4300398592 1044440 33554432000 4194304 7823515 140733951854064 140733951849928 5803616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1049902 1044440 462 887 0 1049012 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 4199608

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8622
/proc/meminfo: memFree=19412500/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4204724 CPUtime=1182.04 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1025483 0 0 0 117931 273 0 0 20 0 1 0 346568244 4305637376 1047409 33554432000 4194304 7823515 140733951854064 140733951849928 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1051181 1047409 462 887 0 1050291 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 4204724

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 8623
/proc/meminfo: memFree=18849372/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4531684 CPUtime=1242.03 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1095857 0 0 0 123918 285 0 0 20 0 1 0 346568244 4640444416 1118027 33554432000 4194304 7823515 140733951854064 140733951849928 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1132921 1118027 462 887 0 1132031 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 4531684

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8623
/proc/meminfo: memFree=18809232/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4542944 CPUtime=1302.03 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1100617 0 0 0 129915 288 0 0 20 0 1 0 346568244 4651974656 1123010 33554432000 4194304 7823515 140733951854064 140733951849928 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1135736 1123010 462 887 0 1134846 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 4542944

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8623
/proc/meminfo: memFree=18771680/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4553184 CPUtime=1362.01 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1105143 0 0 0 135911 290 0 0 20 0 1 0 346568244 4662460416 1127925 33554432000 4194304 7823515 140733951854064 140733951849928 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1138296 1127925 462 887 0 1137406 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 4553184

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8627
/proc/meminfo: memFree=18734496/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4565468 CPUtime=1422 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1110196 0 0 0 141908 292 0 0 20 0 1 0 346568244 4675039232 1133230 33554432000 4194304 7823515 140733951854064 140733951849928 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1141367 1133230 462 887 0 1140477 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 4565468

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8627
/proc/meminfo: memFree=18696836/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4574684 CPUtime=1481.99 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1114309 0 0 0 147905 294 0 0 20 0 1 0 346568244 4684476416 1137516 33554432000 4194304 7823515 140733951854064 140733951849928 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1143671 1137516 462 887 0 1142781 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 4574684

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8627
/proc/meminfo: memFree=18667444/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4583896 CPUtime=1541.98 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1118204 0 0 0 153902 296 0 0 20 0 1 0 346568244 4693909504 1141411 33554432000 4194304 7823515 140733951854064 140733951849928 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1145974 1141411 462 887 0 1145084 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 4583896

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8627
/proc/meminfo: memFree=18632884/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4593112 CPUtime=1601.97 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1122258 0 0 0 159899 298 0 0 20 0 1 0 346568244 4703346688 1145727 33554432000 4194304 7823515 140733951854064 140733951849928 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1148278 1145727 462 887 0 1147388 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 4593112

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8627
/proc/meminfo: memFree=18284968/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4982392 CPUtime=1661.96 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1205413 0 0 0 165885 311 0 0 20 0 1 0 346568244 5101969408 1228882 33554432000 4194304 7823515 140733951854064 140733951849928 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1245598 1228882 462 887 0 1244708 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 4982392

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8628
/proc/meminfo: memFree=17935564/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4991608 CPUtime=1721.95 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1209214 0 0 0 171881 314 0 0 20 0 1 0 346568244 5111406592 1232997 33554432000 4194304 7823515 140733951854064 140733951849928 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1247902 1232997 462 887 0 1247012 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 4991608

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8628
/proc/meminfo: memFree=17913808/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4996724 CPUtime=1781.95 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1211298 0 0 0 177880 315 0 0 20 0 1 0 346568244 5116645376 1235081 33554432000 4194304 7823515 140733951854064 140733951849928 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1249181 1235081 462 887 0 1248291 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 4996724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8628
/proc/meminfo: memFree=17906972/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4999796 CPUtime=1800.04 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1212602 0 0 0 179689 315 0 0 20 0 1 0 346568244 5119791104 1236385 33554432000 4194304 7823515 140733951854064 140733951849928 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1249949 1236385 462 887 0 1249059 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4999796

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8572

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8629
/proc/meminfo: memFree=17906972/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=5000820 CPUtime=1801.03 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1212924 0 0 0 179788 315 0 0 20 0 1 0 346568244 5120839680 1236707 33554432000 4194304 7823515 140733951854064 140733951849408 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1250205 1236707 462 887 0 1249315 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 5000820

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8629
/proc/meminfo: memFree=17905212/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=5001844 CPUtime=1801.83 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1213201 0 0 0 179868 315 0 0 20 0 1 0 346568244 5121888256 1236984 33554432000 4194304 7823515 140733951854064 140733951849408 5803627 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1250461 1236984 462 887 0 1249571 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 5001844

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8629
/proc/meminfo: memFree=17905212/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=5001844 CPUtime=1802.03 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1213204 0 0 0 179888 315 0 0 20 0 1 0 346568244 5121888256 1236987 33554432000 4194304 7823515 140733951854064 140733951849928 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1250461 1236987 462 887 0 1249571 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 5001844

[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8629
/proc/meminfo: memFree=17905212/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=0 CPUtime=1802.13 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4203524 1213204 0 0 0 179889 324 0 0 20 0 1 0 346568244 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.54
CPU time (s): 1802.18
CPU user time (s): 1798.9
CPU system time (s): 3.2845
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 5001844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 3.2845
maximum resident set size= 4947948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1213204
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= 111
involuntary context switches= 1827

runsolver used 5.13622 second user time and 14.5318 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-04 12:07:08
IDJOB=3743311
IDBENCH=90976
IDSOLVER=2321
FILE ID=node123/3743311-1338804427
RUNJOBID= node123-1338788257-7646
PBS_JOBID= 14636858
Free space on /tmp= 71232 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_unif_20null20mast_rapportOE2.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-3743311-1338804427/watcher-3743311-1338804427 -o /tmp/evaluation-result-3743311-1338804427/solver-3743311-1338804427 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743311-1338804427.opb

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

MD5SUM BENCH= d6bdbf89ddd7448cef1f1e681200f2c0
RANDOM SEED=1389660007

node123.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.217
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.43
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.217
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.217
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	: 5331.92
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.217
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.217
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.217
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.217
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.217
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        22860832 kB
Buffers:         1817928 kB
Cached:          2375660 kB
SwapCached:         2268 kB
Active:          7223928 kB
Inactive:        1883816 kB
Active(anon):    4907244 kB
Inactive(anon):     5504 kB
Active(file):    2316684 kB
Inactive(file):  1878312 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             37156 kB
Writeback:             0 kB
AnonPages:       5126656 kB
Mapped:            12112 kB
Shmem:                 0 kB
Slab:             751976 kB
SReclaimable:     195936 kB
SUnreclaim:       556040 kB
KernelStack:        1448 kB
PageTables:        13932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    5118600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    317440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71224 MiB
End job on node123 at 2012-06-04 12:37:10