Trace number 3743352

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.06 1800.42

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null0mast_rapportOE2.0_TMAX180_K192_cod2.opb
MD5SUM9ed9dacab453c9b73d400442dcf06abd
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-21805
Best CPU time to get the best result obtained on this benchmark1800.77
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 998
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 733864
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 998
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 733864
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-3743352-1338780478.opb
0.00/0.00	c File size is 28233148 bytes.
3.89/3.92	c Highest Coefficient sum: 733864
3.89/3.92	c Parsing was ok!!
3.89/3.92	c Total parsing time: 3.92 s
4.08/4.17	c Var: 400896 Constr: 402763 400785/1977/1 Lit: 2338937 Watch. Lit: 1260326
4.08/4.17	c Obj. Vars: 1427 (0.355953 % of total variables)
183.31/183.43	c Pre-processing Time: 183.358 s
183.31/183.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.31/183.44	c        0 399937   401643  2331966    5  1256963  500000      0      0 183.36
183.31/183.44	c Switching off LPR mode.
1800.04/1800.40	c      100 399841   401743  2437268    6  1257158  550001    100      0 185.31
1800.04/1800.40	c      251 399841   401894  2453593    6  1257568  605002    251      1 186.22
1800.04/1800.40	c      477 399841   402120  2648326    6  1258030  665503    477      2 190.85
1800.04/1800.40	c      816 399841   402459  2785029    6  1258707  732054    816      4 193.91
1800.04/1800.40	c     1324 399841   402967  3038468    7  1259724  805260   1324      6 203.81
1800.04/1800.40	c     2087 399841   403730  3398422    8  1261249  885787   2087      9 222.44
1800.04/1800.40	c     3233 399841   404876  3992192    9  1263542  974366   3233     12 268.33
1800.04/1800.40	c     4954 399841   406597  5390968   13  1266983  500000   4954     13 353.91
1800.04/1800.40	c     7539 399841   409182  7074920   17  1272154  550001   7539     16 466.15
1800.04/1800.40	c    11418 399841   413061 10002659   24  1279911  605002  11418     18 630.34
1800.04/1800.40	c    17240 399841   418883 12563709   29  1291556  665503  17240     21 819.74
1800.04/1800.40	c    25977 399841   427620 16836711   39  1309029  732054  25977     25 1005.28
1800.04/1800.40	c    39087 399841   440730 22365077   50  1335249  805260  39087     27 1403.48
1800.04/1800.40	c Caught signal: 15
1800.04/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.40	c   13    50360  30573  3610526   452003 28860719  50360     27 1800.05
1800.04/1800.40	s UNKNOWN
1800.04/1800.40	c Total time: 1800.05 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-3743352-1338780478/watcher-3743352-1338780478 -o /tmp/evaluation-result-3743352-1338780478/solver-3743352-1338780478 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743352-1338780478.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: 2.00 2.00 2.00 3/176 17211
/proc/meminfo: memFree=30818452/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 344172844 4583424 153 33554432000 134512640 135840783 4288051056 4288050396 9651455 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 1119 154 132 325 0 39 0

[startup+0.047874 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17211
/proc/meminfo: memFree=30818452/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=34228 CPUtime=0.04 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 1077 0 0 0 4 0 0 0 20 0 1 0 344172844 35049472 1013 33554432000 134512640 135840783 4288051056 4288050204 10951575 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 8557 1013 431 325 0 600 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34228

[startup+0.100215 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17211
/proc/meminfo: memFree=30818452/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=36380 CPUtime=0.09 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 1751 0 0 0 9 0 0 0 20 0 1 0 344172844 37253120 1647 33554432000 134512640 135840783 4288051056 4288049744 10212647 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 9095 1647 560 325 0 1138 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36380

[startup+0.300203 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17211
/proc/meminfo: memFree=30818452/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=43364 CPUtime=0.28 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 4098 0 0 0 28 0 0 0 20 0 1 0 344172844 44404736 3866 33554432000 134512640 135840783 4288051056 4288050000 134524167 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 10841 3866 1053 325 0 2884 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 43364

[startup+0.700215 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17211
/proc/meminfo: memFree=30818452/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=53992 CPUtime=0.69 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 7825 0 0 0 68 1 0 0 20 0 1 0 344172844 55287808 7339 33554432000 134512640 135840783 4288051056 4288049792 10212647 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 13498 7339 1918 325 0 5541 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53992

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17212
/proc/meminfo: memFree=30784104/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=79536 CPUtime=1.48 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 16274 0 0 0 146 2 0 0 20 0 1 0 344172844 81444864 15282 33554432000 134512640 135840783 4288051056 4288049872 10212647 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 19884 15282 3509 325 0 11927 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 79536

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17212
/proc/meminfo: memFree=30751256/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=114216 CPUtime=3.08 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 27504 0 0 0 304 4 0 0 20 0 1 0 344172844 116957184 26523 33554432000 134512640 135840783 4288051056 4288049948 10951071 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 28554 26524 6160 325 0 20597 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 114216

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17212
/proc/meminfo: memFree=30658616/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=166156 CPUtime=6.28 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 44557 0 0 0 621 7 0 0 20 0 1 0 344172844 170143744 39635 33554432000 134512640 135840783 4288051056 4283239280 134550723 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 41539 39635 342 325 0 40475 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 166156

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17212
/proc/meminfo: memFree=30658376/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=166156 CPUtime=12.68 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 44557 0 0 0 1261 7 0 0 20 0 1 0 344172844 170143744 39635 33554432000 134512640 135840783 4288051056 4283239056 10210564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 41539 39635 342 325 0 40475 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 166156

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17212
/proc/meminfo: memFree=30658624/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=166156 CPUtime=25.48 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 44557 0 0 0 2541 7 0 0 20 0 1 0 344172844 170143744 39635 33554432000 134512640 135840783 4288051056 4283239056 10210624 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 41539 39635 342 325 0 40475 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 166156

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17212
/proc/meminfo: memFree=30658748/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=166156 CPUtime=51.08 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 44560 0 0 0 5100 8 0 0 20 0 1 0 344172844 170143744 39638 33554432000 134512640 135840783 4288051056 4283239056 10210564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 41539 39638 342 325 0 40475 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 166156

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17212
/proc/meminfo: memFree=30658056/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=166156 CPUtime=102.27 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 44560 0 0 0 10219 8 0 0 20 0 1 0 344172844 170143744 39638 33554432000 134512640 135840783 4288051056 4283239280 134551093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 41539 39638 342 325 0 40475 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 166156

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17215
/proc/meminfo: memFree=30657720/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=166288 CPUtime=162.24 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 44600 0 0 0 16215 9 0 0 20 0 1 0 344172844 170278912 39646 33554432000 134512640 135840783 4288051056 4283239056 10210522 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 41572 39646 342 325 0 40508 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 166288

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17215
/proc/meminfo: memFree=30641868/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=178120 CPUtime=222.22 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 48036 0 0 0 22212 10 0 0 20 0 1 0 344172844 182394880 43402 33554432000 134512640 135840783 4288051056 4288050352 134572040 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 44530 43402 346 325 0 43466 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 178120

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17215
/proc/meminfo: memFree=30632440/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=186352 CPUtime=282.2 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 50114 0 0 0 28210 10 0 0 20 0 1 0 344172844 190824448 45480 33554432000 134512640 135840783 4288051056 4288050320 9117676 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 46588 45480 346 325 0 45524 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 186352

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17216
/proc/meminfo: memFree=30618056/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=200104 CPUtime=342.19 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 53545 0 0 0 34208 11 0 0 20 0 1 0 344172844 204906496 48911 33554432000 134512640 135840783 4288051056 4288050352 134572646 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 50026 48911 346 325 0 48962 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 200104

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17216
/proc/meminfo: memFree=30609224/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=208452 CPUtime=402.18 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 55631 0 0 0 40206 12 0 0 20 0 1 0 344172844 213454848 50995 33554432000 134512640 135840783 4288051056 4288050416 134551071 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 52113 50995 346 325 0 51049 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 208452

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17217
/proc/meminfo: memFree=30596060/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=220924 CPUtime=462.18 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 58745 0 0 0 46204 14 0 0 20 0 1 0 344172844 226226176 54109 33554432000 134512640 135840783 4288051056 4288050416 134551814 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 55231 54109 346 325 0 54167 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 220924

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17217
/proc/meminfo: memFree=30583728/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=232480 CPUtime=522.16 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 61637 0 0 0 52201 15 0 0 20 0 1 0 344172844 238059520 57001 33554432000 134512640 135840783 4288051056 4288050352 134572568 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17211/statm: 58120 57001 346 325 0 57056 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 232480

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17217
/proc/meminfo: memFree=30567980/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=248384 CPUtime=582.15 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 65606 0 0 0 58199 16 0 0 20 0 1 0 344172844 254345216 60970 33554432000 134512640 135840783 4288051056 4288050352 134572600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 62096 60970 346 325 0 61032 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 248384

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17221
/proc/meminfo: memFree=30518444/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=292608 CPUtime=822.1 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 76682 0 0 0 82189 21 0 0 20 0 1 0 344172844 299630592 72029 33554432000 134512640 135840783 4288051056 4288050416 134550524 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 73152 72029 346 325 0 72088 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 292608

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17221
/proc/meminfo: memFree=30508028/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=302208 CPUtime=882.1 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 79068 0 0 0 88188 22 0 0 20 0 1 0 344172844 309460992 74415 33554432000 134512640 135840783 4288051056 4288050416 134551368 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 75552 74415 346 325 0 74488 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 302208

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17222
/proc/meminfo: memFree=30486700/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=322812 CPUtime=942.09 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 84228 0 0 0 94186 23 0 0 20 0 1 0 344172844 330559488 79575 33554432000 134512640 135840783 4288051056 4288050192 10210206 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 80703 79575 346 325 0 79639 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 322812

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17222
/proc/meminfo: memFree=30461332/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=346620 CPUtime=1002.06 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 90200 0 0 0 100182 24 0 0 20 0 1 0 344172844 354938880 85521 33554432000 134512640 135840783 4288051056 4288050352 134571901 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 86655 85521 346 325 0 85591 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 346620

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17222
/proc/meminfo: memFree=30450544/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=356560 CPUtime=1062.05 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 92709 0 0 0 106180 25 0 0 20 0 1 0 344172844 365117440 88030 33554432000 134512640 135840783 4288051056 4288050352 134572040 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 89140 88030 346 325 0 88076 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 356560

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17222
/proc/meminfo: memFree=30439380/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=366476 CPUtime=1122.04 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 95159 0 0 0 112178 26 0 0 20 0 1 0 344172844 375271424 90480 33554432000 134512640 135840783 4288051056 4288050416 134551065 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 91619 90480 346 325 0 90555 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 366476

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17222
/proc/meminfo: memFree=30427600/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=376000 CPUtime=1182.03 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 97564 0 0 0 118176 27 0 0 20 0 1 0 344172844 385024000 92885 33554432000 134512640 135840783 4288051056 4288050352 134571901 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 94000 92885 346 325 0 92936 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 376000

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17223
/proc/meminfo: memFree=30413340/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=387908 CPUtime=1242.03 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 100525 0 0 0 124175 28 0 0 20 0 1 0 344172844 397217792 95846 33554432000 134512640 135840783 4288051056 4288050416 134550705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 96977 95846 346 325 0 95913 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 387908

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17262
/proc/meminfo: memFree=30601864/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=399284 CPUtime=1302.02 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 103382 0 0 0 130173 29 0 0 20 0 1 0 344172844 408866816 98703 33554432000 134512640 135840783 4288051056 4288045428 10199394 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 99821 98703 346 325 0 98757 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 399284

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17265
/proc/meminfo: memFree=30404692/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=411472 CPUtime=1361.99 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 106439 0 0 0 136169 30 0 0 20 0 1 0 344172844 421347328 101742 33554432000 134512640 135840783 4288051056 4288050416 134551081 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 102868 101742 346 325 0 101804 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 411472

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17265
/proc/meminfo: memFree=29903712/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=423396 CPUtime=1421.99 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 109418 0 0 0 142168 31 0 0 20 0 1 0 344172844 433557504 104721 33554432000 134512640 135840783 4288051056 4288050144 10210564 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 105849 104721 346 325 0 104785 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 423396

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17265
/proc/meminfo: memFree=29752336/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=435616 CPUtime=1481.98 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 112469 0 0 0 148166 32 0 0 20 0 1 0 344172844 446070784 107772 33554432000 134512640 135840783 4288051056 4288050352 134572040 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 108904 107772 346 325 0 107840 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 435616

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17266
/proc/meminfo: memFree=29694332/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=447876 CPUtime=1541.97 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 115542 0 0 0 154165 32 0 0 20 0 1 0 344172844 458625024 110845 33554432000 134512640 135840783 4288051056 4288050416 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 111969 110845 346 325 0 110905 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 447876

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17266
/proc/meminfo: memFree=29488272/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=459152 CPUtime=1601.96 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 118366 0 0 0 160163 33 0 0 20 0 1 0 344172844 470171648 113669 33554432000 134512640 135840783 4288051056 4288050352 134572040 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 114788 113669 346 325 0 113724 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 459152

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17266
/proc/meminfo: memFree=29134032/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=472376 CPUtime=1661.95 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 121671 0 0 0 166161 34 0 0 20 0 1 0 344172844 483713024 116974 33554432000 134512640 135840783 4288051056 4288050416 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 118094 116974 346 325 0 117030 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 472376

[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 17266
/proc/meminfo: memFree=28822076/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=483692 CPUtime=1721.94 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 124490 0 0 0 172159 35 0 0 20 0 1 0 344172844 495300608 119793 33554432000 134512640 135840783 4288051056 4288050352 134572040 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 120923 119793 346 325 0 119859 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 483692

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17266
/proc/meminfo: memFree=28471804/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=498788 CPUtime=1781.94 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 128271 0 0 0 178158 36 0 0 20 0 1 0 344172844 510758912 123574 33554432000 134512640 135840783 4288051056 4288050416 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 124697 123574 346 325 0 123633 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 498788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17266
/proc/meminfo: memFree=28393404/32873844 swapFree=7116/7116
[pid=17211] ppid=17209 vsize=502780 CPUtime=1800.04 cores=0,2,4,6
/proc/17211/stat : 17211 (bsolo3.0.17) R 17209 17211 16841 0 -1 4202496 129258 0 0 0 179968 36 0 0 20 0 1 0 344172844 514846720 124561 33554432000 134512640 135840783 4288051056 4288050192 10210206 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17211/statm: 125695 124561 346 325 0 124631 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 502780

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.42
CPU time (s): 1800.06
CPU user time (s): 1799.69
CPU system time (s): 0.373943
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 502780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.373943
maximum resident set size= 498244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129261
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= 132
involuntary context switches= 2048

runsolver used 3.21151 second user time and 9.43356 second system time

The end

Launcher Data 

Begin job on node146 at 2012-06-04 05:27:59
IDJOB=3743352
IDBENCH=91042
IDSOLVER=2318
FILE ID=node146/3743352-1338780478
RUNJOBID= node146-1338775068-16857
PBS_JOBID= 14636828
Free space on /tmp= 70848 MiB

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

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

MD5SUM BENCH= 9ed9dacab453c9b73d400442dcf06abd
RANDOM SEED=738346383

node146.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.034
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.06
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.034
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.92
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.034
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.034
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.034
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.034
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.034
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.034
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30819096 kB
Buffers:          331144 kB
Cached:           725756 kB
SwapCached:         1792 kB
Active:           723740 kB
Inactive:         510800 kB
Active(anon):     178300 kB
Inactive(anon):     1664 kB
Active(file):     545440 kB
Inactive(file):   509136 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099888 kB
Dirty:             34132 kB
Writeback:            16 kB
AnonPages:        185792 kB
Mapped:            10268 kB
Shmem:                 0 kB
Slab:             678880 kB
SReclaimable:     118668 kB
SUnreclaim:       560212 kB
KernelStack:        1464 kB
PageTables:         4656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     299644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 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 node146 at 2012-06-04 05:58:02