Trace number 3743440

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
PB07: bsolo 3.0.17? (TO) 1800.1 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE1.0_TMAX15_K192_cod2.opb
MD5SUMbddfe521cf91a77d0e4de5a51a3aa343
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-1051
Best CPU time to get the best result obtained on this benchmark1800.29
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 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 914879
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 914879
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3743440-1338781350.opb
0.00/0.00	c File size is 28233149 bytes.
3.58/3.63	c Highest Coefficient sum: 914879
3.58/3.63	c Parsing was ok!!
3.58/3.63	c Total parsing time: 3.625 s
3.79/3.86	c Var: 400896 Constr: 402763 400785/1977/1 Lit: 2338937 Watch. Lit: 1260488
3.79/3.86	c Obj. Vars: 1427 (0.355953 % of total variables)
182.93/183.01	c Pre-processing Time: 182.953 s
182.93/183.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.93/183.03	c        0 399937   401643  2331966    5  1257125  500000      0      0 182.95
182.93/183.03	c Switching off LPR mode.
1800.08/1800.40	c      123 399842   401766  2422235    6  1257370  550001    123      0 184.56
1800.08/1800.40	c      273 399842   401916  2428344    6  1257670  605002    273      1 185.46
1800.08/1800.40	c      498 399842   402141  2446510    6  1258120  665503    498      2 190.48
1800.08/1800.40	c      836 399842   402479  2471945    6  1258797  732054    836      4 195.28
1800.08/1800.40	c     1347 399842   402990  2601995    6  1259819  805260   1347      6 205.35
1800.08/1800.40	c     2113 399842   403756  2832767    7  1261351  885787   2113      9 216.94
1800.08/1800.40	c     3259 399842   404902  2999418    7  1263643  974366   3259     14 229.36
1800.08/1800.40	c     4980 399842   406623  3194622    7  1267085  500000   4980     19 260.39
1800.08/1800.40	c     7565 399842   409208  3269672    7  1272255  550001   7565     19 380.50
1800.08/1800.40	c    11449 399842   413092  3953014    9  1280023  605002  11449     22 515.81
1800.08/1800.40	c    17273 399842   418916  4251053   10  1291672  665503  17273     21 791.31
1800.08/1800.40	c    26013 399842   427656  5099942   11  1309151  732054  26013     23 1130.29
1800.08/1800.40	c    39123 399842   440766  5855504   13  1335371  805260  39123     22 1704.70
1800.08/1800.40	c Caught signal: 15
1800.08/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.40	c   13    42504  24828  4244816   444147  6144395  42504     23 1800.09
1800.08/1800.40	s UNKNOWN
1800.08/1800.40	c Total time: 1800.09 s

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-3743440-1338781350/watcher-3743440-1338781350 -o /tmp/evaluation-result-3743440-1338781350/solver-3743440-1338781350 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743440-1338781350.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.92 1.98 1.99 3/176 15168
/proc/meminfo: memFree=27114536/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=4412 CPUtime=0 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 296 0 0 0 0 0 0 0 20 0 1 0 344259481 4517888 233 33554432000 134512640 135840783 4292935872 4292935644 135654672 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 1103 254 226 325 0 39 0

[startup+0.0495649 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 15168
/proc/meminfo: memFree=27114536/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=34504 CPUtime=0.04 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 1157 0 0 0 4 0 0 0 20 0 1 0 344259481 35332096 1094 33554432000 134512640 135840783 4292935872 4292934560 11330855 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 8626 1094 451 325 0 669 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34504

[startup+0.100273 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 15168
/proc/meminfo: memFree=27114536/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=36656 CPUtime=0.09 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 1835 0 0 0 9 0 0 0 20 0 1 0 344259481 37535744 1732 33554432000 134512640 135840783 4292935872 4292934560 11330855 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 9164 1732 583 325 0 1207 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36656

[startup+0.30023 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 15168
/proc/meminfo: memFree=27114536/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=43632 CPUtime=0.29 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 4209 0 0 0 28 1 0 0 20 0 1 0 344259481 44679168 3978 33554432000 134512640 135840783 4292935872 4292934864 134525286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 10908 3979 1105 325 0 2951 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43632

[startup+0.700266 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 15168
/proc/meminfo: memFree=27114536/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=56068 CPUtime=0.68 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 8527 0 0 0 67 1 0 0 20 0 1 0 344259481 57413632 8042 33554432000 134512640 135840783 4292935872 4292934592 11330855 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 14017 8043 2060 325 0 6060 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56068

[startup+1.50027 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 15169
/proc/meminfo: memFree=27080420/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=82856 CPUtime=1.49 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 17363 0 0 0 145 4 0 0 20 0 1 0 344259481 84844544 16372 33554432000 134512640 135840783 4292935872 4292934688 11330855 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 20715 16373 3733 325 0 12758 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82856

[startup+3.10026 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 15169
/proc/meminfo: memFree=27046432/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=115804 CPUtime=3.08 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 27752 0 0 0 303 5 0 0 20 0 1 0 344259481 118583296 27283 33554432000 134512640 135840783 4292935872 4292932304 11330855 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 28951 27283 6479 325 0 20994 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 115804

[startup+6.30028 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 15169
/proc/meminfo: memFree=26957684/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=166156 CPUtime=6.29 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 45090 0 0 0 620 9 0 0 20 0 1 0 344259481 170143744 39658 33554432000 134512640 135840783 4292935872 4288124172 11325376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 41539 39658 342 325 0 40475 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 166156

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 15169
/proc/meminfo: memFree=26957716/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=166156 CPUtime=12.69 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 45090 0 0 0 1260 9 0 0 20 0 1 0 344259481 170143744 39658 33554432000 134512640 135840783 4292935872 4288123824 11329457 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 41539 39658 342 325 0 40475 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 166156

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 15169
/proc/meminfo: memFree=26957840/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=166156 CPUtime=25.48 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 45090 0 0 0 2539 9 0 0 20 0 1 0 344259481 170143744 39658 33554432000 134512640 135840783 4292935872 4288123812 11317500 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 41539 39658 342 325 0 40475 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 166156

[startup+51.1003 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 15169
/proc/meminfo: memFree=26957064/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=166156 CPUtime=51.07 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 45105 0 0 0 5097 10 0 0 20 0 1 0 344259481 170143744 39661 33554432000 134512640 135840783 4292935872 4288124304 134567665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 41539 39661 342 325 0 40475 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 166156

[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15169
/proc/meminfo: memFree=26953700/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=166156 CPUtime=102.25 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 45131 0 0 0 10215 10 0 0 20 0 1 0 344259481 170143744 39661 33554432000 134512640 135840783 4292935872 4288123812 11317602 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 41539 39661 342 325 0 40475 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 166156

[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 15169
/proc/meminfo: memFree=26950952/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=166288 CPUtime=162.23 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 45144 0 0 0 16212 11 0 0 20 0 1 0 344259481 170278912 40160 33554432000 134512640 135840783 4292935872 4288124096 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 41572 40160 342 325 0 40508 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 166288

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15170
/proc/meminfo: memFree=26942456/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=171312 CPUtime=222.23 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 46869 0 0 0 22211 12 0 0 20 0 1 0 344259481 175423488 41953 33554432000 134512640 135840783 4292935872 4292935232 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 42828 41953 346 325 0 41764 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 171312

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15170
/proc/meminfo: memFree=26939288/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=174496 CPUtime=282.21 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 47660 0 0 0 28209 12 0 0 20 0 1 0 344259481 178683904 42744 33554432000 134512640 135840783 4292935872 4292935168 134571798 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 43624 42744 346 325 0 42560 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 174496

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15170
/proc/meminfo: memFree=26934320/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=174500 CPUtime=342.2 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 47661 0 0 0 34208 12 0 0 20 0 1 0 344259481 178688000 42745 33554432000 134512640 135840783 4292935872 4292935008 11328414 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 43625 42745 346 325 0 42561 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 174500

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15170
/proc/meminfo: memFree=26933328/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=175032 CPUtime=402.19 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 47796 0 0 0 40207 12 0 0 20 0 1 0 344259481 179232768 42880 33554432000 134512640 135840783 4292935872 4292935232 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 43758 42880 346 325 0 42694 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 175032

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15173
/proc/meminfo: memFree=26926300/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=181264 CPUtime=462.19 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 49347 0 0 0 46206 13 0 0 20 0 1 0 344259481 185614336 44431 33554432000 134512640 135840783 4292935872 4292935232 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 45316 44431 346 325 0 44252 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 181264

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15174
/proc/meminfo: memFree=26924332/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=182472 CPUtime=522.18 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 49641 0 0 0 52205 13 0 0 20 0 1 0 344259481 186851328 44725 33554432000 134512640 135840783 4292935872 4292935168 134572040 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 45618 44725 346 325 0 44554 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 182472

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15174
/proc/meminfo: memFree=26922588/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=183796 CPUtime=582.17 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 49978 0 0 0 58204 13 0 0 20 0 1 0 344259481 188207104 45061 33554432000 134512640 135840783 4292935872 4292935168 134572646 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 45949 45061 346 325 0 44885 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 183796

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15175
/proc/meminfo: memFree=26912848/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=187776 CPUtime=822.13 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 50981 0 0 0 82199 14 0 0 20 0 1 0 344259481 192282624 46063 33554432000 134512640 135840783 4292935872 4292935008 11328414 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 46944 46063 346 325 0 45880 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 187776

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15175
/proc/meminfo: memFree=26909376/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=189768 CPUtime=882.12 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 51491 0 0 0 88198 14 0 0 20 0 1 0 344259481 194322432 46573 33554432000 134512640 135840783 4292935872 4292934900 11317500 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 47442 46573 346 325 0 46378 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 189768

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15175
/proc/meminfo: memFree=26905896/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=191620 CPUtime=942.11 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 51944 0 0 0 94197 14 0 0 20 0 1 0 344259481 196218880 47026 33554432000 134512640 135840783 4292935872 4292935232 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 47905 47026 346 325 0 46841 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 191620

[startup+1002.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 15214
/proc/meminfo: memFree=27131904/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=197304 CPUtime=1002.1 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 53377 0 0 0 100196 14 0 0 20 0 1 0 344259481 202039296 48459 33554432000 134512640 135840783 4292935872 4292935168 134572687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 49326 48459 346 325 0 48262 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 197304

[startup+1062.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 15217
/proc/meminfo: memFree=27092864/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=197308 CPUtime=1062.09 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 53381 0 0 0 106195 14 0 0 20 0 1 0 344259481 202043392 48460 33554432000 134512640 135840783 4292935872 4292935008 11328414 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 49327 48460 346 325 0 48263 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 197308

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15241
/proc/meminfo: memFree=27047884/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=198508 CPUtime=1122.09 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 53655 0 0 0 112194 15 0 0 20 0 1 0 344259481 203272192 48734 33554432000 134512640 135840783 4292935872 4292934900 11317602 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 49627 48734 346 325 0 48563 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 198508

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 15241
/proc/meminfo: memFree=27018336/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=198908 CPUtime=1182.08 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 53770 0 0 0 118193 15 0 0 20 0 1 0 344259481 203681792 48849 33554432000 134512640 135840783 4292935872 4292934900 11317602 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 49727 48849 346 325 0 48663 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 198908

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 15241
/proc/meminfo: memFree=26989752/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=199972 CPUtime=1242.06 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 54036 0 0 0 124191 15 0 0 20 0 1 0 344259481 204771328 49115 33554432000 134512640 135840783 4292935872 4292935044 11325570 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 49993 49115 346 325 0 48929 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 199972

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 15241
/proc/meminfo: memFree=26963712/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=201692 CPUtime=1302.06 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 54459 0 0 0 130191 15 0 0 20 0 1 0 344259481 206532608 49538 33554432000 134512640 135840783 4292935872 4292935008 11328414 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 50423 49538 346 325 0 49359 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 201692

[startup+1362.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 15241
/proc/meminfo: memFree=26941880/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=203808 CPUtime=1362.05 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 54995 0 0 0 136189 16 0 0 20 0 1 0 344259481 208699392 50074 33554432000 134512640 135840783 4292935872 4292935168 134572665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 50952 50074 346 325 0 49888 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 203808

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15242
/proc/meminfo: memFree=26919224/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=203944 CPUtime=1422.05 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 55010 0 0 0 142189 16 0 0 20 0 1 0 344259481 208838656 50089 33554432000 134512640 135840783 4292935872 4292935088 134574878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 50986 50089 346 325 0 49922 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 203944

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15242
/proc/meminfo: memFree=26895412/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=204612 CPUtime=1482.03 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 55196 0 0 0 148187 16 0 0 20 0 1 0 344259481 209522688 50273 33554432000 134512640 135840783 4292935872 4292935108 11336295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 51153 50273 346 325 0 50089 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 204612

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15242
/proc/meminfo: memFree=26870372/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=205540 CPUtime=1542.02 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 55418 0 0 0 154186 16 0 0 20 0 1 0 344259481 210472960 50495 33554432000 134512640 135840783 4292935872 4292935168 134571798 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 51385 50495 346 325 0 50321 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 205540

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15243
/proc/meminfo: memFree=26848292/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=206996 CPUtime=1602.01 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 55778 0 0 0 160185 16 0 0 20 0 1 0 344259481 211963904 50855 33554432000 134512640 135840783 4292935872 4292935168 134572687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 51749 50855 346 325 0 50685 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 206996

[startup+1662.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 15246
/proc/meminfo: memFree=26824948/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=208324 CPUtime=1662.01 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 56109 0 0 0 166184 17 0 0 20 0 1 0 344259481 213323776 51186 33554432000 134512640 135840783 4292935872 4292935168 134572689 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 52081 51186 346 325 0 51017 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 208324

[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 15247
/proc/meminfo: memFree=26804652/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=211104 CPUtime=1721.99 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 56810 0 0 0 172182 17 0 0 20 0 1 0 344259481 216170496 51887 33554432000 134512640 135840783 4292935872 4292935008 11328414 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 52776 51887 346 325 0 51712 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 211104

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 15247
/proc/meminfo: memFree=26782208/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=212828 CPUtime=1781.98 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 57258 0 0 0 178181 17 0 0 20 0 1 0 344259481 217935872 52335 33554432000 134512640 135840783 4292935872 4292935152 11333259 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 53207 52335 346 325 0 52143 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 212828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15247
/proc/meminfo: memFree=26775812/32873844 swapFree=6608/6608
[pid=15168] ppid=15166 vsize=213224 CPUtime=1800.08 cores=0,2,4,6
/proc/15168/stat : 15168 (bsolo3.0.17) R 15166 15168 12501 0 -1 4202496 57362 0 0 0 179991 17 0 0 20 0 1 0 344259481 218341376 52435 33554432000 134512640 135840783 4292935872 4292935168 134572040 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15168/statm: 53306 52435 346 325 0 52242 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 213224

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

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

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.92
CPU system time (s): 0.177972
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 213224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.177972
maximum resident set size= 209740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57365
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= 67
involuntary context switches= 2057

runsolver used 3.45047 second user time and 9.13661 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-04 05:42:31
IDJOB=3743440
IDBENCH=91127
IDSOLVER=2318
FILE ID=node140/3743440-1338781350
RUNJOBID= node140-1338749243-12517
PBS_JOBID= 14636796
Free space on /tmp= 70556 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null50mast_rapportOE1.0_TMAX15_K192_cod2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743440-1338781350/watcher-3743440-1338781350 -o /tmp/evaluation-result-3743440-1338781350/solver-3743440-1338781350 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3743440-1338781350.opb            

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

MD5SUM BENCH= bddfe521cf91a77d0e4de5a51a3aa343
RANDOM SEED=512966650

node140.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.094
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.18
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.094
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.094
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.094
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.094
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.92
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.094
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.88
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.094
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.90
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.094
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:       32873844 kB
MemFree:        27114924 kB
Buffers:          524916 kB
Cached:          4085444 kB
SwapCached:         1620 kB
Active:          1806776 kB
Inactive:        3018088 kB
Active(anon):     207144 kB
Inactive(anon):     9476 kB
Active(file):    1599632 kB
Inactive(file):  3008612 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105264 kB
Dirty:             34284 kB
Writeback:             0 kB
AnonPages:        221352 kB
Mapped:            11788 kB
Shmem:                 8 kB
Slab:             793808 kB
SReclaimable:     234608 kB
SUnreclaim:       559200 kB
KernelStack:        1448 kB
PageTables:         4564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     331472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 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= 70576 MiB
End job on node140 at 2012-06-04 06:12:33