Trace number 3743339

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
PB11: SCIP spx E_2 2011-06-10 (fixed)? (TO) 1802.3 1802.59

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null20mast_rapportOE1.0_TMAX120_K192_cod2.opb
MD5SUM56c896ad570d19cbe5f94a10c4a31629
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1783.1
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 905768
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 905768
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 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3743339-1338797766.opb>
3.48/3.50	c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
3.48/3.50	c problem read
3.48/3.50	c presolving settings loaded
5.19/5.29	c presolving:
7.89/7.94	c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
8.59/8.70	c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
79.88/79.95	c (round 3) 679 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12195506 impls, 1977 clqs
80.08/80.15	c (round 4) 679 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12199508 impls, 1977 clqs
81.28/81.33	c (round 5) 2683 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12232930 impls, 1977 clqs
81.48/81.52	c (round 6) 2683 del vars, 4657 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12232942 impls, 1977 clqs
267.85/267.91	c (round 7) 3353 del vars, 4657 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 18984366 impls, 1977 clqs
268.05/268.10	c (round 8) 3353 del vars, 5324 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 18984374 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-3743339-1338797766/watcher-3743339-1338797766 -o /tmp/evaluation-result-3743339-1338797766/solver-3743339-1338797766 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3743339-1338797766.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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.02 2.01 2.00 3/176 1235
/proc/meminfo: memFree=23338096/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=9324 CPUtime=0 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1427 0 0 0 0 0 0 0 20 0 1 0 345902414 9547776 1381 33554432000 4194304 9016284 140733880404560 140733880403096 7854962 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 2331 1384 293 1178 0 1149 0

[startup+0.0078709 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1235
/proc/meminfo: memFree=23338096/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=13316 CPUtime=0 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 2299 0 0 0 0 0 0 0 20 0 1 0 345902414 13635584 2253 33554432000 4194304 9016284 140733880404560 140733880403096 6181764 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 3329 2253 353 1178 0 2147 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13316

[startup+0.100154 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1235
/proc/meminfo: memFree=23338096/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=35928 CPUtime=0.09 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 7949 0 0 0 9 0 0 0 20 0 1 0 345902414 36790272 7903 33554432000 4194304 9016284 140733880404560 140733880403096 7847674 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 8982 7903 360 1178 0 7800 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35928

[startup+0.300233 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1235
/proc/meminfo: memFree=23338096/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=63920 CPUtime=0.29 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 14961 0 0 0 28 1 0 0 20 0 1 0 345902414 65454080 14915 33554432000 4194304 9016284 140733880404560 140733880403096 7937002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 15980 14916 360 1178 0 14798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63920

[startup+0.700231 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1235
/proc/meminfo: memFree=23338096/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=117348 CPUtime=0.68 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 28337 0 0 0 65 3 0 0 20 0 1 0 345902414 120164352 28291 33554432000 4194304 9016284 140733880404560 140733880268456 7870448 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 29337 28291 360 1178 0 28155 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 117348

[startup+1.50027 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1236
/proc/meminfo: memFree=23179600/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=239824 CPUtime=1.49 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 58750 0 0 0 141 8 0 0 20 0 1 0 345902414 245579776 58705 33554432000 4194304 9016284 140733880404560 140733880268456 6813403 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 59956 58743 360 1178 0 58774 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 239824

[startup+3.10017 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1236
/proc/meminfo: memFree=23014540/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=453536 CPUtime=3.08 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 112344 0 0 0 293 15 0 0 20 0 1 0 345902414 464420864 112298 33554432000 4194304 9016284 140733880404560 140733880268456 7928096 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 113384 112298 360 1178 0 112202 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 453536

[startup+6.30031 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1236
/proc/meminfo: memFree=22176976/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=1239672 CPUtime=6.29 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 307305 0 0 0 584 45 0 0 20 0 1 0 345902414 1269424128 307460 33554432000 4194304 9016284 140733880404560 140733880400200 4318833 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 309918 307460 487 1178 0 308736 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1239672

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1236
/proc/meminfo: memFree=21847860/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=1504296 CPUtime=12.69 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 408225 0 0 0 1209 60 0 0 20 0 1 0 345902414 1540399104 372240 33554432000 4194304 9016284 140733880404560 140733880400152 6469440 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 376074 372240 529 1178 0 374892 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1504296

[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1236
/proc/meminfo: memFree=21739724/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=1614068 CPUtime=25.48 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 434983 0 0 0 2485 63 0 0 20 0 1 0 345902414 1652805632 398998 33554432000 4194304 9016284 140733880404560 140733880400008 4880495 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 403517 398998 529 1178 0 402335 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1614068

[startup+51.1003 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 1236
/proc/meminfo: memFree=21538564/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=1810764 CPUtime=51.08 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 483702 0 0 0 5039 69 0 0 20 0 1 0 345902414 1854222336 447717 33554432000 4194304 9016284 140733880404560 140733880399944 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 452691 447717 529 1178 0 451509 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1810764

[startup+102.306 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 1237
/proc/meminfo: memFree=21101244/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=2048972 CPUtime=102.28 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 543178 0 0 0 10149 79 0 0 20 0 1 0 345902414 2098147328 506168 33554432000 4194304 9016284 140733880404560 140733880400152 4889380 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 512243 506168 529 1178 0 511061 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2048972

[startup+162.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/177 1237
/proc/meminfo: memFree=20826100/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=2310188 CPUtime=162.26 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 586903 0 0 0 16141 85 0 0 20 0 1 0 345902414 2365632512 569822 33554432000 4194304 9016284 140733880404560 140733880400152 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 577547 569822 529 1178 0 576365 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2310188

[startup+222.3 s]
/proc/loadavg: 2.22 2.09 2.02 3/177 1237
/proc/meminfo: memFree=20790044/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=2322428 CPUtime=222.26 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 589884 0 0 0 22140 86 0 0 20 0 1 0 345902414 2378166272 572803 33554432000 4194304 9016284 140733880404560 140733880400152 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 580607 572803 529 1178 0 579425 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2322428

[startup+282.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/178 1240
/proc/meminfo: memFree=20594520/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=2500800 CPUtime=282.24 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 632471 0 0 0 28132 92 0 0 20 0 1 0 345902414 2560819200 614999 33554432000 4194304 9016284 140733880404560 140733880399944 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 625200 614999 529 1178 0 624018 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2500800

[startup+342.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 1240
/proc/meminfo: memFree=20086032/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=2771752 CPUtime=342.24 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 699042 0 0 0 34120 104 0 0 20 0 1 0 345902414 2838274048 681570 33554432000 4194304 9016284 140733880404560 140733880399944 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 692938 681571 529 1178 0 691756 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2771752

[startup+402.3 s]
/proc/loadavg: 2.19 2.09 2.02 4/177 1241
/proc/meminfo: memFree=19865592/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=2972844 CPUtime=402.23 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 748272 0 0 0 40109 114 0 0 20 0 1 0 345902414 3044192256 730800 33554432000 4194304 9016284 140733880404560 140733880399944 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 743211 730800 529 1178 0 742029 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2972844

[startup+462.3 s]
/proc/loadavg: 2.15 2.09 2.02 3/177 1241
/proc/meminfo: memFree=19583516/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=3246056 CPUtime=462.21 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 813092 0 0 0 46098 123 0 0 20 0 1 0 345902414 3323961344 795620 33554432000 4194304 9016284 140733880404560 140733880399944 6480407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 811514 795620 529 1178 0 810332 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3246056

[startup+522.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/177 1241
/proc/meminfo: memFree=19541712/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=3261756 CPUtime=522.21 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 819470 0 0 0 52095 126 0 0 20 0 1 0 345902414 3340038144 801998 33554432000 4194304 9016284 140733880404560 140733880399944 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 815439 801998 529 1178 0 814257 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3261756

[startup+582.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/177 1241
/proc/meminfo: memFree=19368248/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=3432908 CPUtime=582.2 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 859545 0 0 0 58087 133 0 0 20 0 1 0 345902414 3515297792 842073 33554432000 4194304 9016284 140733880404560 140733880399944 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 858227 842073 529 1178 0 857045 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3432908

[startup+642.3 s]

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

/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 991287 0 0 0 106051 160 0 0 20 0 1 0 345902414 4040425472 974000 33554432000 4194304 9016284 140733880404560 140733880399944 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 986432 974000 529 1178 0 985250 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 3945728

[startup+1122.3 s]
/proc/loadavg: 1.18 1.75 1.90 2/171 1272
/proc/meminfo: memFree=22877048/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4221348 CPUtime=1122.11 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1051771 0 0 0 112042 169 0 0 20 0 1 0 345902414 4322660352 1034901 33554432000 4194304 9016284 140733880404560 140733880399944 6480384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1055337 1034901 529 1178 0 1054155 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 4221348

[startup+1182.3 s]
/proc/loadavg: 1.06 1.61 1.84 2/171 1272
/proc/meminfo: memFree=22855252/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4233636 CPUtime=1182.09 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1056942 0 0 0 118039 170 0 0 20 0 1 0 345902414 4335243264 1040373 33554432000 4194304 9016284 140733880404560 140733880399944 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1058409 1040373 529 1178 0 1057227 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 4233636

[startup+1242.3 s]
/proc/loadavg: 1.02 1.50 1.78 2/171 1272
/proc/meminfo: memFree=22835412/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4244896 CPUtime=1242.09 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1061739 0 0 0 124037 172 0 0 20 0 1 0 345902414 4346773504 1045543 33554432000 4194304 9016284 140733880404560 140733880399944 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1061224 1045543 529 1178 0 1060042 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 4244896

[startup+1302.3 s]
/proc/loadavg: 1.01 1.40 1.73 2/171 1272
/proc/meminfo: memFree=22811844/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4256160 CPUtime=1302.08 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1066522 0 0 0 130034 174 0 0 20 0 1 0 345902414 4358307840 1050928 33554432000 4194304 9016284 140733880404560 140733880399944 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1064040 1050928 529 1178 0 1062858 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 4256160

[startup+1362.3 s]
/proc/loadavg: 1.00 1.33 1.68 2/171 1273
/proc/meminfo: memFree=22805080/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4259232 CPUtime=1362.07 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1067988 0 0 0 136032 175 0 0 20 0 1 0 345902414 4361453568 1052854 33554432000 4194304 9016284 140733880404560 140733880399944 6480407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1064808 1052854 529 1178 0 1063626 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 4259232

[startup+1422.31 s]
/proc/loadavg: 1.00 1.26 1.64 3/171 1273
/proc/meminfo: memFree=22794064/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4263328 CPUtime=1422.06 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1069747 0 0 0 142031 175 0 0 20 0 1 0 345902414 4365647872 1055116 33554432000 4194304 9016284 140733880404560 140733880399944 6480433 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1065832 1055116 529 1178 0 1064650 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 4263328

[startup+1482.3 s]
/proc/loadavg: 1.00 1.21 1.59 2/172 1276
/proc/meminfo: memFree=22786380/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4268444 CPUtime=1482.04 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1071964 0 0 0 148028 176 0 0 20 0 1 0 345902414 4370886656 1057569 33554432000 4194304 9016284 140733880404560 140733880399944 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1067111 1057569 529 1178 0 1065929 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 4268444

[startup+1542.3 s]
/proc/loadavg: 1.00 1.17 1.55 2/171 1276
/proc/meminfo: memFree=22769740/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4276524 CPUtime=1542.04 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1075140 0 0 0 154026 178 0 0 20 0 1 0 345902414 4379160576 1061970 33554432000 4194304 9016284 140733880404560 140733880399944 6480407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1069131 1061970 529 1178 0 1067949 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 4276524

[startup+1602.3 s]
/proc/loadavg: 1.00 1.14 1.52 2/171 1276
/proc/meminfo: memFree=22484072/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4602456 CPUtime=1602.03 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1145288 0 0 0 160016 187 0 0 20 0 1 0 345902414 4712914944 1133077 33554432000 4194304 9016284 140733880404560 140733880399944 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1150614 1133077 529 1178 0 1149432 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 4602456

[startup+1662.3 s]
/proc/loadavg: 1.00 1.11 1.48 2/171 1277
/proc/meminfo: memFree=22462524/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4613720 CPUtime=1662.02 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1149866 0 0 0 166013 189 0 0 20 0 1 0 345902414 4724449280 1138394 33554432000 4194304 9016284 140733880404560 140733880399944 6480384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1153430 1138394 529 1178 0 1152248 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 4613720

[startup+1722.3 s]
/proc/loadavg: 1.00 1.09 1.45 2/171 1277
/proc/meminfo: memFree=22444048/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4622932 CPUtime=1722.01 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1153870 0 0 0 172011 190 0 0 20 0 1 0 345902414 4733882368 1143036 33554432000 4194304 9016284 140733880404560 140733880399944 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1155733 1143036 529 1178 0 1154551 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 4622932

[startup+1782.3 s]
/proc/loadavg: 1.00 1.07 1.42 2/171 1277
/proc/meminfo: memFree=22426840/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4632148 CPUtime=1782 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1157816 0 0 0 178009 191 0 0 20 0 1 0 345902414 4743319552 1147206 33554432000 4194304 9016284 140733880404560 140733880399944 6480407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1158037 1147206 529 1178 0 1156855 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 4632148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.06 1.41 2/171 1277
/proc/meminfo: memFree=22423244/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4634196 CPUtime=1800.09 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1158781 0 0 0 179818 191 0 0 20 0 1 0 345902414 4745416704 1148171 33554432000 4194304 9016284 140733880404560 140733880399944 6480429 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1158549 1148171 529 1178 0 1157367 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 4634196

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -1235

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.06 1.41 2/172 1278
/proc/meminfo: memFree=22423244/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4634196 CPUtime=1801.09 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1158797 0 0 0 179918 191 0 0 20 0 1 0 345902414 4745416704 1148187 33554432000 4194304 9016284 140733880404560 140733880399424 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1158549 1148187 529 1178 0 1157367 0
Current children cumulated CPU time (s) 1801.09
Current children cumulated vsize (KiB) 4634196

[startup+1802.2 s]
/proc/loadavg: 1.00 1.06 1.41 2/172 1278
/proc/meminfo: memFree=22422368/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4635220 CPUtime=1801.89 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1159072 0 0 0 179998 191 0 0 20 0 1 0 345902414 4746465280 1148462 33554432000 4194304 9016284 140733880404560 140733880399944 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1158805 1148462 529 1178 0 1157623 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 4635220

[startup+1802.4 s]
/proc/loadavg: 1.00 1.06 1.41 2/172 1278
/proc/meminfo: memFree=22422368/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=4635220 CPUtime=1802.09 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4202496 1159074 0 0 0 180018 191 0 0 20 0 1 0 345902414 4746465280 1148464 33554432000 4194304 9016284 140733880404560 140733880399944 6480407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 1158805 1148464 529 1178 0 1157623 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 4635220

[startup+1802.5 s]
/proc/loadavg: 1.00 1.06 1.41 2/172 1278
/proc/meminfo: memFree=22422368/32873660 swapFree=7120/7120
[pid=1235] ppid=1233 vsize=0 CPUtime=1802.19 cores=0,2,4,6
/proc/1235/stat : 1235 (scip-2.0.1.4b_2) R 1233 1235 31309 0 -1 4203524 1159074 0 0 0 180018 201 0 0 20 0 1 0 345902414 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.59
CPU time (s): 1802.3
CPU user time (s): 1800.19
CPU system time (s): 2.10768
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 4635220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.19
system time used= 2.10768
maximum resident set size= 4593856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1159074
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= 25
involuntary context switches= 1891

runsolver used 3.39448 second user time and 8.27474 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-04 10:16:07
IDJOB=3743339
IDBENCH=91035
IDSOLVER=2329
FILE ID=node117/3743339-1338797766
RUNJOBID= node117-1338764718-31325
PBS_JOBID= 14636813
Free space on /tmp= 69052 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE1.0_TMAX120_K192_cod2.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743339-1338797766/watcher-3743339-1338797766 -o /tmp/evaluation-result-3743339-1338797766/solver-3743339-1338797766 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3743339-1338797766.opb -t 1800 -m 15500

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

MD5SUM BENCH= 56c896ad570d19cbe5f94a10c4a31629
RANDOM SEED=12153955

node117.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.148
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.148
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.148
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.91
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.148
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.95
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.148
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.148
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.148
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.148
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:       32873660 kB
MemFree:        23338476 kB
Buffers:          639652 kB
Cached:          4322736 kB
SwapCached:          776 kB
Active:          6124964 kB
Inactive:        2486832 kB
Active(anon):    3635108 kB
Inactive(anon):     9972 kB
Active(file):    2489856 kB
Inactive(file):  2476860 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:             44364 kB
Writeback:             0 kB
AnonPages:       3650976 kB
Mapped:            14380 kB
Shmem:                80 kB
Slab:             780720 kB
SReclaimable:     224728 kB
SUnreclaim:       555992 kB
KernelStack:        1448 kB
PageTables:        11500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:    3802856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 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= 69080 MiB
End job on node117 at 2012-06-04 10:46:09