Trace number 3743344

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.29 1802.57

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb
MD5SUM8f97c77928b15936b90881f480455177
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-6736
Best CPU time to get the best result obtained on this benchmark1801.43
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 892
Biggest coefficient in the objective function 842
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 750251
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 842
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 750251
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 

4.18/4.20	c SCIP version 1.1.0.7
4.18/4.20	c LP-Solver SoPlex 1.4.1
4.18/4.20	c user parameter file <scip.set> not found - using default parameters
4.18/4.20	c read problem <HOME/instance-3743344-1338804637.opb>
4.18/4.20	c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
5.68/5.72	c start presolving problem
5.68/5.72	c presolving:
8.59/8.69	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.88/11.93	c (round 2) 671 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 100458 impls, 1977 clqs
12.50/12.51	c (round 3) 674 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 100466 impls, 1977 clqs
89.38/89.42	c (round 4) 1350 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 17080982 impls, 1977 clqs
89.58/89.64	c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 17086324 impls, 1977 clqs
90.68/90.76	c (round 6) 3356 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 17119676 impls, 1977 clqs
90.87/90.97	c (round 7) 3356 del vars, 5326 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 17119684 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-3743344-1338804637/watcher-3743344-1338804637 -o /tmp/evaluation-result-3743344-1338804637/solver-3743344-1338804637 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743344-1338804637.opb 

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: 1.93 1.98 1.99 3/177 17971
/proc/meminfo: memFree=25421952/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=9128 CPUtime=0 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 1623 0 0 0 0 0 0 0 20 0 1 0 346588167 9347072 1575 33554432000 4194304 7823515 140733267302048 140736374970536 6888849 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 2282 1575 349 887 0 1392 0

[startup+0.0352081 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 17971
/proc/meminfo: memFree=25421952/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=17220 CPUtime=0.02 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 3673 0 0 0 2 0 0 0 20 0 1 0 346588167 17633280 3625 33554432000 4194304 7823515 140733267302048 140733267168152 6911832 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 4305 3625 354 887 0 3415 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17220

[startup+0.100325 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 17971
/proc/meminfo: memFree=25421952/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=29248 CPUtime=0.09 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 6650 0 0 0 8 1 0 0 20 0 1 0 346588167 29949952 6602 33554432000 4194304 7823515 140733267302048 140733267168152 6957168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 7312 6602 354 887 0 6422 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29248

[startup+0.300284 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 17971
/proc/meminfo: memFree=25421952/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=53100 CPUtime=0.29 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 12607 0 0 0 28 1 0 0 20 0 1 0 346588167 54374400 12559 33554432000 4194304 7823515 140733267302048 140733267168152 6957168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 13275 12559 354 887 0 12385 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53100

[startup+0.700279 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 17971
/proc/meminfo: memFree=25421952/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=89264 CPUtime=0.69 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 21656 0 0 0 66 3 0 0 20 0 1 0 346588167 91406336 21608 33554432000 4194304 7823515 140733267302048 140733267168152 6957168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 22316 21608 354 887 0 21426 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89264

[startup+1.50666 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 17972
/proc/meminfo: memFree=24867888/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=191788 CPUtime=1.5 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 47238 0 0 0 143 7 0 0 20 0 1 0 346588167 196390912 47190 33554432000 4194304 7823515 140733267302048 140733267166664 6830515 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 47947 47190 354 887 0 47057 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 191788

[startup+3.1003 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 17972
/proc/meminfo: memFree=24729504/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=387144 CPUtime=3.09 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 95976 0 0 0 295 14 0 0 20 0 1 0 346588167 396435456 95928 33554432000 4194304 7823515 140733267302048 140733267168152 6957168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 96786 95928 354 887 0 95896 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 387144

[startup+6.30029 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 17972
/proc/meminfo: memFree=23979060/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=1071632 CPUtime=6.28 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 266588 0 0 0 577 51 0 0 20 0 1 0 346588167 1097351168 266659 33554432000 4194304 7823515 140733267302048 140733267298984 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 267908 266659 419 887 0 267018 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1071632

[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/178 17972
/proc/meminfo: memFree=23558788/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=1482488 CPUtime=12.69 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 370832 0 0 0 1167 102 0 0 20 0 1 0 346588167 1518067712 369129 33554432000 4194304 7823515 140733267302048 140733267298984 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 370622 369129 460 887 0 369732 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1482488

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 17972
/proc/meminfo: memFree=23488232/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=1507976 CPUtime=25.48 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 377205 0 0 0 2440 108 0 0 20 0 1 0 346588167 1544167424 375111 33554432000 4194304 7823515 140733267302048 140733267298232 5803662 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 376994 375111 461 887 0 376104 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1507976

[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 17972
/proc/meminfo: memFree=23034220/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=1752956 CPUtime=51.08 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 437662 0 0 0 4989 119 0 0 20 0 1 0 346588167 1795026944 435568 33554432000 4194304 7823515 140733267302048 140733267298744 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 438239 435568 462 887 0 437349 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1752956

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 17972
/proc/meminfo: memFree=22427532/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=2130644 CPUtime=102.27 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 529896 0 0 0 10066 161 0 0 20 0 1 0 346588167 2181779456 527020 33554432000 4194304 7823515 140733267302048 140733267298104 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 532661 527020 462 887 0 531771 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2130644

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17972
/proc/meminfo: memFree=22034640/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=2293356 CPUtime=162.26 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 550113 0 0 0 16060 166 0 0 20 0 1 0 346588167 2348396544 566655 33554432000 4194304 7823515 140733267302048 140733267298104 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 573339 566655 462 887 0 572449 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2293356

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17972
/proc/meminfo: memFree=21701720/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=2620572 CPUtime=222.25 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 626206 0 0 0 22048 177 0 0 20 0 1 0 346588167 2683465728 644281 33554432000 4194304 7823515 140733267302048 140733267297912 5803662 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 655143 644281 462 887 0 654253 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2620572

[startup+282.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 17973
/proc/meminfo: memFree=21175740/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=2851184 CPUtime=282.25 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 682796 0 0 0 28037 188 0 0 20 0 1 0 346588167 2919612416 700871 33554432000 4194304 7823515 140733267302048 140733267297912 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 712796 700871 462 887 0 711906 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 2851184

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 17973
/proc/meminfo: memFree=20925660/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=2971680 CPUtime=342.23 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 714226 0 0 0 34028 195 0 0 20 0 1 0 346588167 3043000320 732301 33554432000 4194304 7823515 140733267302048 140733267297912 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 742920 732301 462 887 0 742030 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2971680

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17973
/proc/meminfo: memFree=20692444/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=3101408 CPUtime=402.23 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 746558 0 0 0 40021 202 0 0 20 0 1 0 346588167 3175841792 764633 33554432000 4194304 7823515 140733267302048 140733267297912 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 775352 764633 462 887 0 774462 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3101408

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17973
/proc/meminfo: memFree=20428848/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=3252392 CPUtime=462.22 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 783217 0 0 0 46012 210 0 0 20 0 1 0 346588167 3330449408 801292 33554432000 4194304 7823515 140733267302048 140733267297912 5803662 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 813098 801292 462 887 0 812208 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3252392

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17973
/proc/meminfo: memFree=20030712/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=3418424 CPUtime=522.21 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 820841 0 0 0 52005 216 0 0 20 0 1 0 346588167 3500466176 838916 33554432000 4194304 7823515 140733267302048 140733267297912 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 854606 838916 462 887 0 853716 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3418424

[startup+582.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17977
/proc/meminfo: memFree=19974436/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=3427984 CPUtime=582.21 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 824913 0 0 0 58003 218 0 0 20 0 1 0 346588167 3510255616 842988 33554432000 4194304 7823515 140733267302048 140733267297912 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 856996 842988 462 887 0 856106 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 3427984

[startup+642.3 s]

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

/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 943524 0 0 0 105969 243 0 0 20 0 1 0 346588167 4003930112 961599 33554432000 4194304 7823515 140733267302048 140733267297912 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 977522 961599 462 887 0 976632 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 3910088

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17978
/proc/meminfo: memFree=18828768/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=3922376 CPUtime=1122.12 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 948481 0 0 0 111966 246 0 0 20 0 1 0 346588167 4016513024 966556 33554432000 4194304 7823515 140733267302048 140733267297912 5803600 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 980594 966556 462 887 0 979704 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3922376

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 17982
/proc/meminfo: memFree=18792828/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=3932612 CPUtime=1182.11 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 953055 0 0 0 117962 249 0 0 20 0 1 0 346588167 4026994688 971130 33554432000 4194304 7823515 140733267302048 140733267297912 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 983153 971130 462 887 0 982263 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3932612

[startup+1242.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 17982
/proc/meminfo: memFree=18756532/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=3941828 CPUtime=1242.1 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 956664 0 0 0 123960 250 0 0 20 0 1 0 346588167 4036431872 974739 33554432000 4194304 7823515 140733267302048 140733267297912 5803600 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 985457 974739 462 887 0 984567 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3941828

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 17982
/proc/meminfo: memFree=18507088/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=4212328 CPUtime=1302.09 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 1015192 0 0 0 129948 261 0 0 20 0 1 0 346588167 4313423872 1033267 33554432000 4194304 7823515 140733267302048 140733267297912 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 1053082 1033267 462 887 0 1052192 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 4212328

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17982
/proc/meminfo: memFree=18254512/32873844 swapFree=7624/7624
[pid=17971] ppid=17969 vsize=4221544 CPUtime=1362.08 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 1019054 0 0 0 135946 262 0 0 20 0 1 0 346588167 4322861056 1037129 33554432000 4194304 7823515 140733267302048 140733267297912 5803658 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 1055386 1037129 462 887 0 1054496 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 4221544

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17982
/proc/meminfo: memFree=18226408/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=4228708 CPUtime=1422.07 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 1022285 0 0 0 141943 264 0 0 20 0 1 0 346588167 4330196992 1040360 33554432000 4194304 7823515 140733267302048 140733267297912 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 1057177 1040360 462 887 0 1056287 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 4228708

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17983
/proc/meminfo: memFree=18198024/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=4236788 CPUtime=1482.07 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 1025403 0 0 0 147941 266 0 0 20 0 1 0 346588167 4338470912 1043478 33554432000 4194304 7823515 140733267302048 140733267297912 5803643 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 1059197 1043478 462 887 0 1058307 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 4236788

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17983
/proc/meminfo: memFree=18178848/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=4240884 CPUtime=1542.06 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 1027156 0 0 0 153939 267 0 0 20 0 1 0 346588167 4342665216 1045231 33554432000 4194304 7823515 140733267302048 140733267297912 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 1060221 1045231 462 887 0 1059331 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 4240884

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17983
/proc/meminfo: memFree=18150480/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=4249076 CPUtime=1602.04 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 1030522 0 0 0 159936 268 0 0 20 0 1 0 346588167 4351053824 1048597 33554432000 4194304 7823515 140733267302048 140733267297912 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 1062269 1048597 462 887 0 1061379 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 4249076

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17983
/proc/meminfo: memFree=18130916/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=4253168 CPUtime=1662.03 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 1032722 0 0 0 165934 269 0 0 20 0 1 0 346588167 4355244032 1050797 33554432000 4194304 7823515 140733267302048 140733267297912 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 1063292 1050797 462 887 0 1062402 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 4253168

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17983
/proc/meminfo: memFree=18107508/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=4260336 CPUtime=1722.02 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 1035588 0 0 0 171932 270 0 0 20 0 1 0 346588167 4362584064 1053663 33554432000 4194304 7823515 140733267302048 140733267297912 5803619 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 1065084 1053663 462 887 0 1064194 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 4260336

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17987
/proc/meminfo: memFree=17818592/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=4585248 CPUtime=1782.02 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 1104988 0 0 0 177921 281 0 0 20 0 1 0 346588167 4695293952 1123063 33554432000 4194304 7823515 140733267302048 140733267297912 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 1146312 1123063 462 887 0 1145422 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 4585248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18026
/proc/meminfo: memFree=21337300/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=4588316 CPUtime=1800.02 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 1106222 0 0 0 179720 282 0 0 20 0 1 0 346588167 4698435584 1124297 33554432000 4194304 7823515 140733267302048 140733267297912 5803619 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 1147079 1124297 462 887 0 1146189 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4588316

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17971

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

[startup+1801.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18027
/proc/meminfo: memFree=21300100/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=4588316 CPUtime=1801.51 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 1106271 0 0 0 179869 282 0 0 20 0 1 0 346588167 4698435584 1124346 33554432000 4194304 7823515 140733267302048 140733267297344 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 1147079 1124346 462 887 0 1146189 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 4588316

[startup+1802.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18027
/proc/meminfo: memFree=21266736/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=4588316 CPUtime=1801.92 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4202496 1106283 0 0 0 179910 282 0 0 20 0 1 0 346588167 4698435584 1124358 33554432000 4194304 7823515 140733267302048 140733267297344 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 1147079 1124358 462 887 0 1146189 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 4588316

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18027
/proc/meminfo: memFree=21266736/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=0 CPUtime=1802.12 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4203524 1106286 0 0 0 179920 292 0 0 20 0 1 0 346588167 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18027
/proc/meminfo: memFree=21266736/32873844 swapFree=7628/7628
[pid=17971] ppid=17969 vsize=0 CPUtime=1802.22 cores=0,2,4,6
/proc/17971/stat : 17971 (pbscip.linux.x8) R 17969 17971 17511 0 -1 4203524 1106286 0 0 0 179920 302 0 0 20 0 1 0 346588167 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17971/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.57
CPU time (s): 1802.29
CPU user time (s): 1799.2
CPU system time (s): 3.08653
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 4588316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.2
system time used= 3.08653
maximum resident set size= 4497612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1106286
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= 5
involuntary context switches= 1998

runsolver used 4.82427 second user time and 11.2073 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-04 12:10:38
IDJOB=3743344
IDBENCH=91040
IDSOLVER=2321
FILE ID=node145/3743344-1338804637
RUNJOBID= node145-1338797440-17527
PBS_JOBID= 14636861
Free space on /tmp= 70864 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_fibo_50null50mast_rapportOE2.0_TMAX120_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-3743344-1338804637/watcher-3743344-1338804637 -o /tmp/evaluation-result-3743344-1338804637/solver-3743344-1338804637 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743344-1338804637.opb

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

MD5SUM BENCH= 8f97c77928b15936b90881f480455177
RANDOM SEED=1206552954

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:        25422596 kB
Buffers:          456464 kB
Cached:          5021864 kB
SwapCached:            0 kB
Active:          2911160 kB
Inactive:        3669700 kB
Active(anon):    1093784 kB
Inactive(anon):    10916 kB
Active(file):    1817376 kB
Inactive(file):  3658784 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             74824 kB
Writeback:             0 kB
AnonPages:       1191600 kB
Mapped:            15748 kB
Shmem:               200 kB
Slab:             728008 kB
SReclaimable:     168960 kB
SUnreclaim:       559048 kB
KernelStack:        1480 kB
PageTables:         6124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1218392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 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= 70864 MiB
End job on node145 at 2012-06-04 12:40:41