Trace number 3737982

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 NameAnswerCPU timeWall clock time
PB07: bsolo 3.0.17? (TO) 1800.1 1800.61

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_5_15.opb
MD5SUM22b768493fb377a7ad184ec8975ae3ca
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.22181
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75000
Sum of products size (including duplicates)150000
Number of different products37500
Sum of products size75000

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-3737982-1338730846.opb
0.00/0.00	c File size is 987576 bytes.
0.19/0.21	c Highest Coefficient sum: 1000
0.19/0.21	c Parsing was ok!!
0.19/0.21	c Total parsing time: 0.213 s
0.19/0.27	c Var: 76000 Constr: 151503 75500/1003/75000 Lit: 528500 Watch. Lit: 452018
0.19/0.27	c Obj. Vars: 0 (0 % of total variables)
179.24/179.33	c Pre-processing Time: 179.283 s
179.24/179.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.24/179.34	c        0  76000   151503   528500    3   452018  500000      0      0 179.28
179.24/179.34	c Switching off LPR mode.
1800.08/1800.60	c      406  76000   151909   845710    5   452830  550001    406      2 182.10
1800.08/1800.60	c      967  76000   152470  1250297    8   453952  605002    967      5 192.18
1800.08/1800.60	c     1213  76000   152716  1490808    9   454444  665503   1213      6 192.57
1800.08/1800.60	c     1579  76000   153082  1846082   12   455176  732054   1579      8 193.31
1800.08/1800.60	c     2101  76000   153604  2349419   15   456220  805260   2101     10 194.45
1800.08/1800.60	c     2869  76000   154372  3097029   20   457756  885787   2869     14 195.88
1800.08/1800.60	c     4025  76000   155528  4229621   27   460068  974366   4025     20 198.92
1800.08/1800.60	c     5746  76000   157249  5837343   37   463510  500000   5746     27 205.38
1800.08/1800.60	c     8346  76000   159849  8350632   52   468710  550001   8346     36 228.43
1800.08/1800.60	c    12250  76000   163753 12086821   73   476518  605002  12250     47 259.39
1800.08/1800.60	c    18080  76000   169583 17627885  103   488178  665503  18080     52 345.57
1800.08/1800.60	c    26818  76000   178321 25874657  145   505654  732054  26818     59 450.27
1800.08/1800.60	c    39928  76000   191431 37845162  197   531874  805260  39928     46 854.52
1800.08/1800.60	c Caught signal: 15
1800.08/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.60	c   13    57564   4010   184550   209067 54260055  57564     31 1800.09
1800.08/1800.60	s UNKNOWN
1800.08/1800.60	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-3737982-1338730846/watcher-3737982-1338730846 -o /tmp/evaluation-result-3737982-1338730846/solver-3737982-1338730846 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737982-1338730846.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/177 24345
/proc/meminfo: memFree=28588048/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=5796 CPUtime=0 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 502 0 0 0 0 0 0 0 20 0 1 0 339213059 5935104 438 33554432000 134512640 135840783 4287862288 4287860896 7742759 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24345/statm: 1449 438 331 325 0 143 0

[startup+0.093374 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 24345
/proc/meminfo: memFree=28588048/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=15568 CPUtime=0.08 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 3082 0 0 0 8 0 0 0 20 0 1 0 339213059 15941632 2978 33554432000 134512640 135840783 4287862288 4287861232 134524167 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24345/statm: 3892 2979 430 325 0 2586 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15568

[startup+0.10027 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 24345
/proc/meminfo: memFree=28588048/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=16124 CPUtime=0.09 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 3256 0 0 0 9 0 0 0 20 0 1 0 339213059 16510976 3152 33554432000 134512640 135840783 4287862288 4287860912 7745219 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24345/statm: 4031 3153 438 325 0 2725 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16124

[startup+0.300222 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 24345
/proc/meminfo: memFree=28588048/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=44936 CPUtime=0.29 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 10696 0 0 0 27 2 0 0 20 0 1 0 339213059 46014464 10222 33554432000 134512640 135840783 4287862288 4286949308 134519592 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24345/statm: 11234 10222 343 325 0 10170 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44936

[startup+0.700231 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 24345
/proc/meminfo: memFree=28588048/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=45596 CPUtime=0.69 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 10870 0 0 0 67 2 0 0 20 0 1 0 339213059 46690304 10396 33554432000 134512640 135840783 4287862288 4286948932 7729506 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24345/statm: 11399 10396 343 325 0 10335 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45596

[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24346
/proc/meminfo: memFree=28548120/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=45596 CPUtime=1.49 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 10875 0 0 0 147 2 0 0 20 0 1 0 339213059 46690304 10401 33554432000 134512640 135840783 4287862288 4286949376 134583456 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24345/statm: 11399 10401 343 325 0 10335 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45596

[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24346
/proc/meminfo: memFree=28547252/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=45596 CPUtime=3.09 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 10875 0 0 0 307 2 0 0 20 0 1 0 339213059 46690304 10401 33554432000 134512640 135840783 4287862288 4286948932 7729506 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24345/statm: 11399 10401 343 325 0 10335 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45596

[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 24346
/proc/meminfo: memFree=28547004/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=45596 CPUtime=6.29 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 10887 0 0 0 627 2 0 0 20 0 1 0 339213059 46690304 10413 33554432000 134512640 135840783 4287862288 4286949040 7740318 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24345/statm: 11399 10413 343 325 0 10335 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45596

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 24346
/proc/meminfo: memFree=28546772/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=45596 CPUtime=12.68 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 10893 0 0 0 1266 2 0 0 20 0 1 0 339213059 46690304 10419 33554432000 134512640 135840783 4287862288 4286949040 7740318 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24345/statm: 11399 10419 343 325 0 10335 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45596

[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 24346
/proc/meminfo: memFree=28546312/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=45596 CPUtime=25.48 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 10893 0 0 0 2545 3 0 0 20 0 1 0 339213059 46690304 10419 33554432000 134512640 135840783 4287862288 4286949472 134567665 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 11399 10419 343 325 0 10335 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45596

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 24346
/proc/meminfo: memFree=28544852/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=45728 CPUtime=51.06 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 10916 0 0 0 5103 3 0 0 20 0 1 0 339213059 46825472 10429 33554432000 134512640 135840783 4287862288 4286949264 134551646 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 11432 10429 343 325 0 10368 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 45728

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 24346
/proc/meminfo: memFree=28542248/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=45728 CPUtime=102.25 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 10916 0 0 0 10221 4 0 0 20 0 1 0 339213059 46825472 10429 33554432000 134512640 135840783 4287862288 4286949376 134583111 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 11432 10429 343 325 0 10368 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 45728

[startup+162.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 24346
/proc/meminfo: memFree=28535236/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=45728 CPUtime=162.24 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 10916 0 0 0 16218 6 0 0 20 0 1 0 339213059 46825472 10429 33554432000 134512640 135840783 4287862288 4286949376 134583085 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 11432 10429 343 325 0 10368 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 45728

[startup+222.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24347
/proc/meminfo: memFree=28437824/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=137300 CPUtime=222.24 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 34129 0 0 0 22212 12 0 0 20 0 1 0 339213059 140595200 33491 33554432000 134512640 135840783 4287862288 4287861648 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 34325 33491 346 325 0 33261 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 137300

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24347
/proc/meminfo: memFree=28354372/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=215808 CPUtime=282.22 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 53738 0 0 0 28204 18 0 0 20 0 1 0 339213059 220987392 53100 33554432000 134512640 135840783 4287862288 4287849716 7737438 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 53952 53100 346 325 0 52888 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 215808

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24347
/proc/meminfo: memFree=28302404/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=263440 CPUtime=342.21 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 65640 0 0 0 34200 21 0 0 20 0 1 0 339213059 269762560 65002 33554432000 134512640 135840783 4287862288 4287861648 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 65860 65002 346 325 0 64796 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 263440

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24347
/proc/meminfo: memFree=28229520/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=333200 CPUtime=402.16 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 83143 0 0 0 40190 26 0 0 20 0 1 0 339213059 341196800 82464 33554432000 134512640 135840783 4287862288 4287861600 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 83300 82464 346 325 0 82236 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 333200

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24347
/proc/meminfo: memFree=28178956/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=378292 CPUtime=462.11 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 94460 0 0 0 46181 30 0 0 20 0 1 0 339213059 387371008 93746 33554432000 134512640 135840783 4287862288 4287861648 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 94573 93746 346 325 0 93509 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 378292

[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 24348
/proc/meminfo: memFree=28161872/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=392740 CPUtime=522.07 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 98083 0 0 0 52176 31 0 0 20 0 1 0 339213059 402165760 97329 33554432000 134512640 135840783 4287862288 4287861648 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 98185 97329 346 325 0 97121 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 392740

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24351
/proc/meminfo: memFree=28145008/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=404296 CPUtime=582.04 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 101023 0 0 0 58172 32 0 0 20 0 1 0 339213059 413999104 100247 33554432000 134512640 135840783 4287862288 4287861648 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 101074 100247 346 325 0 100010 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 404296

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24352
/proc/meminfo: memFree=27992288/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=539720 CPUtime=882 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 134851 0 0 0 88158 42 0 0 20 0 1 0 339213059 552673280 134075 33554432000 134512640 135840783 4287862288 4287861648 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 134930 134075 346 325 0 133866 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 539720

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24352
/proc/meminfo: memFree=27977648/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=553428 CPUtime=941.98 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 138288 0 0 0 94154 44 0 0 20 0 1 0 339213059 566710272 137508 33554432000 134512640 135840783 4287862288 4287861648 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 138357 137508 346 325 0 137293 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 553428

[startup+1002.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 24352
/proc/meminfo: memFree=27961184/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=569240 CPUtime=1001.95 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 142272 0 0 0 100149 46 0 0 20 0 1 0 339213059 582901760 141458 33554432000 134512640 135840783 4287862288 4287861600 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 142310 141458 346 325 0 141246 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 569240

[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 24352
/proc/meminfo: memFree=27949148/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=580988 CPUtime=1061.91 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 145245 0 0 0 106144 47 0 0 20 0 1 0 339213059 594931712 144406 33554432000 134512640 135840783 4287862288 4287861648 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 145247 144406 346 325 0 144183 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 580988

[startup+1122.3 s]
/proc/loadavg: 1.96 2.00 1.99 3/177 24391
/proc/meminfo: memFree=28121272/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=586892 CPUtime=1121.91 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 146735 0 0 0 112143 48 0 0 20 0 1 0 339213059 600977408 145896 33554432000 134512640 135840783 4287862288 4287861648 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 146723 145896 346 325 0 145659 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 586892

[startup+1182.3 s]
/proc/loadavg: 1.98 2.00 1.99 3/178 24395
/proc/meminfo: memFree=28096960/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=595052 CPUtime=1181.89 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 148762 0 0 0 118140 49 0 0 20 0 1 0 339213059 609333248 147923 33554432000 134512640 135840783 4287862288 4287861648 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 148763 147923 346 325 0 147699 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 595052

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 24418
/proc/meminfo: memFree=28074888/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=603756 CPUtime=1241.89 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 150949 0 0 0 124139 50 0 0 20 0 1 0 339213059 618246144 150110 33554432000 134512640 135840783 4287862288 4287861648 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 150939 150110 346 325 0 149875 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 603756

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24418
/proc/meminfo: memFree=28064604/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=613760 CPUtime=1301.87 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 153424 0 0 0 130137 50 0 0 20 0 1 0 339213059 628490240 152585 33554432000 134512640 135840783 4287862288 4287861648 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 153440 152585 346 325 0 152376 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 613760

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24418
/proc/meminfo: memFree=28034348/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=637172 CPUtime=1361.87 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 159299 0 0 0 136135 52 0 0 20 0 1 0 339213059 652464128 158460 33554432000 134512640 135840783 4287862288 4287861648 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 159293 158460 346 325 0 158229 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 637172

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24418
/proc/meminfo: memFree=28014020/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=650208 CPUtime=1421.87 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 162549 0 0 0 142134 53 0 0 20 0 1 0 339213059 665812992 161710 33554432000 134512640 135840783 4287862288 4287861648 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 162552 161710 346 325 0 161488 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 650208

[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 24420
/proc/meminfo: memFree=27999484/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=664228 CPUtime=1481.82 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 166083 0 0 0 148129 53 0 0 20 0 1 0 339213059 680169472 165222 33554432000 134512640 135840783 4287862288 4287861648 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 166057 165222 346 325 0 164993 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 664228

[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24420
/proc/meminfo: memFree=27987560/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=676112 CPUtime=1541.82 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 169031 0 0 0 154128 54 0 0 20 0 1 0 339213059 692338688 168170 33554432000 134512640 135840783 4287862288 4287861648 134551347 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 169028 168170 346 325 0 167964 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 676112

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24420
/proc/meminfo: memFree=27965860/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=698056 CPUtime=1601.81 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 174527 0 0 0 160125 56 0 0 20 0 1 0 339213059 714809344 173666 33554432000 134512640 135840783 4287862288 4287861648 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 174514 173666 346 325 0 173450 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 698056

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24420
/proc/meminfo: memFree=27944160/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=710880 CPUtime=1661.8 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 177736 0 0 0 166123 57 0 0 20 0 1 0 339213059 727941120 176875 33554432000 134512640 135840783 4287862288 4287861648 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 177720 176875 346 325 0 176656 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 710880

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24420
/proc/meminfo: memFree=27933124/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=721360 CPUtime=1721.79 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 180360 0 0 0 172121 58 0 0 20 0 1 0 339213059 738672640 179499 33554432000 134512640 135840783 4287862288 4287861648 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 180340 179499 346 325 0 179276 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 721360

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24424
/proc/meminfo: memFree=27921212/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=731876 CPUtime=1781.78 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 182978 0 0 0 178118 60 0 0 20 0 1 0 339213059 749441024 182117 33554432000 134512640 135840783 4287862288 4287861648 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 182969 182117 346 325 0 181905 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 731876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24424
/proc/meminfo: memFree=27917492/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=735480 CPUtime=1800.08 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 183895 0 0 0 179948 60 0 0 20 0 1 0 339213059 753131520 183034 33554432000 134512640 135840783 4287862288 4287861648 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 183870 183034 346 325 0 182806 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 735480

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

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

[startup+1800.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24424
/proc/meminfo: memFree=27917492/32873844 swapFree=6872/6872
[pid=24345] ppid=24343 vsize=735480 CPUtime=1800.08 cores=0,2,4,6
/proc/24345/stat : 24345 (bsolo3.0.17) R 24343 24345 23291 0 -1 4202496 183895 0 0 0 179948 60 0 0 20 0 1 0 339213059 753131520 183034 33554432000 134512640 135840783 4287862288 4287861648 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24345/statm: 183870 183034 346 325 0 182806 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 735480

Child status: 15
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.49
CPU system time (s): 0.611906
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 735480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.611906
maximum resident set size= 732136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183898
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= 266
involuntary context switches= 2100

runsolver used 2.83157 second user time and 9.89349 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-03 15:40:46
IDJOB=3737982
IDBENCH=48368
IDSOLVER=2318
FILE ID=node106/3737982-1338730846
RUNJOBID= node106-1338714620-23307
PBS_JOBID= 14636759
Free space on /tmp= 70852 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_5_15.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737982-1338730846/watcher-3737982-1338730846 -o /tmp/evaluation-result-3737982-1338730846/solver-3737982-1338730846 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737982-1338730846.opb            

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

MD5SUM BENCH= 22b768493fb377a7ad184ec8975ae3ca
RANDOM SEED=285424202

node106.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.065
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.13
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.065
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.065
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.065
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.92
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.065
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.065
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.065
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.065
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:        28588692 kB
Buffers:          310184 kB
Cached:          2958420 kB
SwapCached:         2004 kB
Active:          1182936 kB
Inactive:        2249828 kB
Active(anon):     161664 kB
Inactive(anon):     4984 kB
Active(file):    1021272 kB
Inactive(file):  2244844 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              7396 kB
Writeback:             0 kB
AnonPages:        169332 kB
Mapped:            10308 kB
Shmem:                 0 kB
Slab:             712908 kB
SReclaimable:     155220 kB
SUnreclaim:       557688 kB
KernelStack:        1464 kB
PageTables:         3924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     284396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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= 70848 MiB
End job on node106 at 2012-06-03 16:10:48