Trace number 3733745

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.11 1800.83

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb
MD5SUM285c24e978af8153c6a378b9af59f522
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.049991
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2550
Total number of constraints101
Number of constraints which are clauses51
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
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-3733745-1338698337.opb
0.00/0.00	c File size is 44645 bytes.
0.00/0.01	c Highest Coefficient sum: 52
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.005 s
0.00/0.01	c Var: 2550 Constr: 101 51/50/0 Lit: 5100 Watch. Lit: 2652
0.00/0.01	c Obj. Vars: 0 (0 % of total variables)
0.01/0.06	c Pre-processing Time: 0.061 s
0.01/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.06	c        0   2550      101     5100   50     2652   42517      0      0 0.06
0.01/0.06	c Switching off LPR mode.
1800.08/1800.80	c      100   2550      201    22765  113     2852   46769    100   1428 0.07
1800.08/1800.80	c      252   2550      353    76871  217     3156   51446    252   2709 0.09
1800.08/1800.80	c      477   2550      578   139244  240     3606   56591    477   3726 0.13
1800.08/1800.80	c      815   2550      916   219608  239     4282   62251    815   4116 0.20
1800.08/1800.80	c     1323   2550     1424   312031  219     5298   68477   1323   2208 0.60
1800.08/1800.80	c     2086   2550     2187   484372  221     6824   75325   2086   1517 1.38
1800.08/1800.80	c     3232   2550     3333   790462  237     9116   82858   3232   1332 2.43
1800.08/1800.80	c     4955   2550     5056  2559915  506    12562   91144   4955   1022 4.84
1800.08/1800.80	c     7540   2550     7641  7958120 1041    17732  100259   7540    665 11.33
1800.08/1800.80	c    11421   2550    11522 15471362 1342    25494  110285  11421    502 22.72
1800.08/1800.80	c    17243   2550    17344 27438343 1582    37138  121314  17243    371 46.40
1800.08/1800.80	c    25982   2550    26083 46158524 1769    54616  133446  25982    258 100.36
1800.08/1800.80	c    39098   2550    39199 71946559 1835    80848  146791  39098    198 196.74
1800.08/1800.80	c    58771   2550    58872 111924723 1901   120194  161471  58771    111 525.40
1800.08/1800.80	c    88282   2550    88383 172384862 1950   179216  177619  88282     75 1163.45
1800.08/1800.80	c Caught signal: 15
1800.08/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.80	c   15   109864  23784  2112815   109965 218416941 109864     61 1800.09
1800.08/1800.80	s UNKNOWN
1800.08/1800.80	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-3733745-1338698337/watcher-3733745-1338698337 -o /tmp/evaluation-result-3733745-1338698337/solver-3733745-1338698337 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733745-1338698337.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.02 2.04 3/174 27725
/proc/meminfo: memFree=28408052/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) D 27723 27725 25229 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 335959153 2723840 47 33554432000 134512640 135840783 4288887440 4288885476 11355076 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/27725/statm: 665 47 37 325 0 32 0

[startup+0.026663 s]
/proc/loadavg: 2.00 2.02 2.04 3/174 27725
/proc/meminfo: memFree=28408052/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=5108 CPUtime=0.01 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 589 0 0 0 1 0 0 0 20 0 1 0 335959153 5230592 514 33554432000 134512640 135840783 4288887440 4288855932 1836080 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27725/statm: 1277 514 341 325 0 213 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5108

[startup+0.100209 s]
/proc/loadavg: 2.00 2.02 2.04 3/174 27725
/proc/meminfo: memFree=28408052/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=6008 CPUtime=0.09 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 835 0 0 0 9 0 0 0 20 0 1 0 335959153 6152192 760 33554432000 134512640 135840783 4288887440 4288886800 134551175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27725/statm: 1502 760 346 325 0 438 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6008

[startup+0.300181 s]
/proc/loadavg: 2.00 2.02 2.04 3/174 27725
/proc/meminfo: memFree=28408052/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=8584 CPUtime=0.29 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 1485 0 0 0 29 0 0 0 20 0 1 0 335959153 8790016 1410 33554432000 134512640 135840783 4288887440 4288886800 134551081 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27725/statm: 2146 1410 346 325 0 1082 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8584

[startup+0.700173 s]
/proc/loadavg: 2.00 2.02 2.04 3/174 27725
/proc/meminfo: memFree=28408052/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=9228 CPUtime=0.69 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 1656 0 0 0 69 0 0 0 20 0 1 0 335959153 9449472 1581 33554432000 134512640 135840783 4288887440 4288886528 11864880 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27725/statm: 2307 1581 346 325 0 1243 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9228

[startup+1.50018 s]
/proc/loadavg: 2.00 2.02 2.04 3/175 27726
/proc/meminfo: memFree=28401844/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=11664 CPUtime=1.48 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 2246 0 0 0 148 0 0 0 20 0 1 0 335959153 11943936 2171 33554432000 134512640 135840783 4288887440 4288886752 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27725/statm: 2916 2171 346 325 0 1852 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11664

[startup+3.10019 s]
/proc/loadavg: 2.00 2.02 2.04 3/175 27726
/proc/meminfo: memFree=28397628/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=19488 CPUtime=3.08 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 4215 0 0 0 308 0 0 0 20 0 1 0 335959153 19955712 4140 33554432000 134512640 135840783 4288887440 4288886752 134551175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27725/statm: 4872 4140 346 325 0 3808 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19488

[startup+6.30022 s]
/proc/loadavg: 2.08 2.04 2.04 3/175 27726
/proc/meminfo: memFree=28364644/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=59384 CPUtime=6.28 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 14174 0 0 0 626 2 0 0 20 0 1 0 335959153 60809216 14099 33554432000 134512640 135840783 4288887440 4288886800 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27725/statm: 14846 14099 346 325 0 13782 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 59384

[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.04 3/175 27726
/proc/meminfo: memFree=28300048/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=116308 CPUtime=12.68 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 28427 0 0 0 1264 4 0 0 20 0 1 0 335959153 119099392 28352 33554432000 134512640 135840783 4288887440 4288886752 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 29077 28352 346 325 0 28013 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 116308

[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.04 3/175 27726
/proc/meminfo: memFree=28191968/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=222948 CPUtime=25.48 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 55078 0 0 0 2538 10 0 0 20 0 1 0 335959153 228298752 54996 33554432000 134512640 135840783 4288887440 4288886800 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 55737 54996 346 325 0 54673 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 222948

[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.04 3/175 27726
/proc/meminfo: memFree=28033200/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=380400 CPUtime=51.05 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 94470 0 0 0 5088 17 0 0 20 0 1 0 335959153 389529600 94369 33554432000 134512640 135840783 4288887440 4288886800 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 95100 94369 346 325 0 94036 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 380400

[startup+102.306 s]
/proc/loadavg: 2.01 2.02 2.03 3/176 27730
/proc/meminfo: memFree=27811152/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=599204 CPUtime=102.24 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 149193 0 0 0 10195 29 0 0 20 0 1 0 335959153 613584896 149070 33554432000 134512640 135840783 4288887440 4288886800 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 149801 149070 346 325 0 148737 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 599204

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/175 27730
/proc/meminfo: memFree=27573604/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=837624 CPUtime=162.2 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 208822 0 0 0 16178 42 0 0 20 0 1 0 335959153 857726976 208667 33554432000 134512640 135840783 4288887440 4288886800 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 209406 208667 346 325 0 208342 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 837624

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/175 27730
/proc/meminfo: memFree=27424212/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=985604 CPUtime=222.18 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 245837 0 0 0 22168 50 0 0 20 0 1 0 335959153 1009258496 245663 33554432000 134512640 135840783 4288887440 4288858176 134586543 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 246401 245663 346 325 0 245337 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 985604

[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.02 3/175 27730
/proc/meminfo: memFree=27297760/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=1113084 CPUtime=282.15 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 277722 0 0 0 28158 57 0 0 20 0 1 0 335959153 1139798016 277525 33554432000 134512640 135840783 4288887440 4288886800 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 278271 277525 346 325 0 277207 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 1113084

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/175 27730
/proc/meminfo: memFree=27204044/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=1205252 CPUtime=342.13 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 300783 0 0 0 34150 63 0 0 20 0 1 0 335959153 1234178048 300573 33554432000 134512640 135840783 4288887440 4288886576 11864818 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 301313 300573 346 325 0 300249 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1205252

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/175 27731
/proc/meminfo: memFree=27124092/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=1285504 CPUtime=402.11 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 320877 0 0 0 40142 69 0 0 20 0 1 0 335959153 1316356096 320651 33554432000 134512640 135840783 4288887440 4288886800 134551063 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 321376 320651 346 325 0 320312 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 1285504

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27731
/proc/meminfo: memFree=27047736/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=1360840 CPUtime=462.09 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 339739 0 0 0 46134 75 0 0 20 0 1 0 335959153 1393500160 339479 33554432000 134512640 135840783 4288887440 4288886800 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 340210 339479 346 325 0 339146 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 1360840

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27731
/proc/meminfo: memFree=26980936/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=1428816 CPUtime=522.06 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 356774 0 0 0 52127 79 0 0 20 0 1 0 335959153 1463107584 356477 33554432000 134512640 135840783 4288887440 4288886800 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 357204 356477 346 325 0 356140 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 1428816

[startup+582.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/175 27771
/proc/meminfo: memFree=26927328/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=1482312 CPUtime=582.03 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 370178 0 0 0 58120 83 0 0 20 0 1 0 335959153 1517887488 369854 33554432000 134512640 135840783 4288887440 4288886800 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 370578 369854 346 325 0 369514 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 1482312

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 27775
/proc/meminfo: memFree=26610868/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=1797764 CPUtime=821.93 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 449142 0 0 0 82092 101 0 0 20 0 1 0 335959153 1840910336 448694 33554432000 134512640 135840783 4288887440 4288886800 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 449441 448694 346 325 0 448377 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 1797764

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27775
/proc/meminfo: memFree=26536372/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=1871152 CPUtime=881.9 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 467543 0 0 0 88085 105 0 0 20 0 1 0 335959153 1916059648 467063 33554432000 134512640 135840783 4288887440 4288886752 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 467788 467063 346 325 0 466724 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 1871152

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27813
/proc/meminfo: memFree=26429512/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=1952536 CPUtime=941.87 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 487903 0 0 0 94077 110 0 0 20 0 1 0 335959153 1999396864 487397 33554432000 134512640 135840783 4288887440 4288886800 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 488134 487397 346 325 0 487070 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 1952536

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 27813
/proc/meminfo: memFree=26338896/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2022764 CPUtime=1001.85 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 505493 0 0 0 100071 114 0 0 20 0 1 0 335959153 2071310336 504960 33554432000 134512640 135840783 4288887440 4288886800 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 505691 504960 346 325 0 504627 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 2022764

[startup+1062.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/175 27814
/proc/meminfo: memFree=26260556/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2088156 CPUtime=1061.83 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 521877 0 0 0 106065 118 0 0 20 0 1 0 335959153 2138271744 521318 33554432000 134512640 135840783 4288887440 4288886752 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 522039 521318 346 325 0 520975 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 2088156

[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/175 27814
/proc/meminfo: memFree=26181720/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2156604 CPUtime=1121.8 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 539006 0 0 0 112057 123 0 0 20 0 1 0 335959153 2208362496 538411 33554432000 134512640 135840783 4288887440 4288886800 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 539151 538411 346 325 0 538087 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 2156604

[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 27814
/proc/meminfo: memFree=26110200/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2219828 CPUtime=1181.77 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 554837 0 0 0 118049 128 0 0 20 0 1 0 335959153 2273103872 554210 33554432000 134512640 135840783 4288887440 4288886800 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27725/statm: 554957 554210 346 325 0 553893 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 2219828

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 27814
/proc/meminfo: memFree=26046120/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2277016 CPUtime=1241.76 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 569170 0 0 0 124043 133 0 0 20 0 1 0 335959153 2331664384 568519 33554432000 134512640 135840783 4288887440 4288865200 134547578 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27725/statm: 569254 568519 346 325 0 568190 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 2277016

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 27817
/proc/meminfo: memFree=25968144/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2345964 CPUtime=1301.74 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 586439 0 0 0 130036 138 0 0 20 0 1 0 335959153 2402267136 585759 33554432000 134512640 135840783 4288887440 4288886800 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27725/statm: 586491 585759 346 325 0 585427 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 2345964

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 27841
/proc/meminfo: memFree=25905676/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2400612 CPUtime=1361.71 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 600143 0 0 0 136029 142 0 0 20 0 1 0 335959153 2458226688 599432 33554432000 134512640 135840783 4288887440 4288886800 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27725/statm: 600153 599432 346 325 0 599089 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 2400612

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 27841
/proc/meminfo: memFree=25853756/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2452400 CPUtime=1421.68 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 613094 0 0 0 142023 145 0 0 20 0 1 0 335959153 2511257600 612353 33554432000 134512640 135840783 4288887440 4288886800 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27725/statm: 613100 612353 346 325 0 612036 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 2452400

[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 27841
/proc/meminfo: memFree=25802820/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2503688 CPUtime=1481.66 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 625936 0 0 0 148018 148 0 0 20 0 1 0 335959153 2563776512 625175 33554432000 134512640 135840783 4288887440 4288886800 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27725/statm: 625922 625175 346 325 0 624858 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 2503688

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 27841
/proc/meminfo: memFree=25747792/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2558232 CPUtime=1541.63 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 639627 0 0 0 154011 152 0 0 20 0 1 0 335959153 2619629568 638833 33554432000 134512640 135840783 4288887440 4288886800 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27725/statm: 639558 638833 346 325 0 638494 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 2558232

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 27841
/proc/meminfo: memFree=25701388/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2605072 CPUtime=1601.6 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 651354 0 0 0 160006 154 0 0 20 0 1 0 335959153 2667593728 650529 33554432000 134512640 135840783 4288887440 4288886800 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27725/statm: 651268 650529 346 325 0 650204 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 2605072

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27842
/proc/meminfo: memFree=25639056/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2666452 CPUtime=1661.59 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 666698 0 0 0 166001 158 0 0 20 0 1 0 335959153 2730446848 665873 33554432000 134512640 135840783 4288887440 4288886800 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27725/statm: 666613 665873 346 325 0 665549 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 2666452

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27842
/proc/meminfo: memFree=25583120/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2722876 CPUtime=1721.59 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 680797 0 0 0 171997 162 0 0 20 0 1 0 335959153 2788225024 679972 33554432000 134512640 135840783 4288887440 4288886800 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27725/statm: 680719 679972 346 325 0 679655 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 2722876

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27842
/proc/meminfo: memFree=25531288/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2774248 CPUtime=1781.57 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 693663 0 0 0 177992 165 0 0 20 0 1 0 335959153 2840829952 692838 33554432000 134512640 135840783 4288887440 4288886800 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27725/statm: 693562 692838 346 325 0 692498 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 2774248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27842
/proc/meminfo: memFree=25514920/32873852 swapFree=7624/7624
[pid=27725] ppid=27723 vsize=2790564 CPUtime=1800.08 cores=0,2,4,6
/proc/27725/stat : 27725 (bsolo3.0.17) R 27723 27725 25229 0 -1 4202496 697727 0 0 0 179841 167 0 0 20 0 1 0 335959153 2857537536 696902 33554432000 134512640 135840783 4288887440 4288886800 134551312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27725/statm: 697641 696902 346 325 0 696577 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2790564

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.83
CPU time (s): 1800.11
CPU user time (s): 1798.42
CPU system time (s): 1.69174
CPU usage (%): 99.9602
Max. virtual memory (cumulated for all children) (KiB): 2790564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.42
system time used= 1.69174
maximum resident set size= 2787608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 697730
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= 826
involuntary context switches= 1899

runsolver used 3.52146 second user time and 8.89365 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-03 06:38:57
IDJOB=3733745
IDBENCH=2597
IDSOLVER=2318
FILE ID=node131/3733745-1338698337
RUNJOBID= node131-1338678620-25248
PBS_JOBID= 14636682
Free space on /tmp= 71396 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733745-1338698337/watcher-3733745-1338698337 -o /tmp/evaluation-result-3733745-1338698337/solver-3733745-1338698337 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733745-1338698337.opb            

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

MD5SUM BENCH= 285c24e978af8153c6a378b9af59f522
RANDOM SEED=1973271823

node131.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		: 2666.805
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	: 5333.61
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		: 2666.805
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		: 2666.805
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		: 2666.805
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		: 2666.805
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		: 2666.805
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		: 2666.805
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.92
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		: 2666.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28408688 kB
Buffers:          553884 kB
Cached:          3034780 kB
SwapCached:         2348 kB
Active:          1413048 kB
Inactive:        2187200 kB
Active(anon):       7672 kB
Inactive(anon):     3664 kB
Active(file):    1405376 kB
Inactive(file):  2183536 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:              6608 kB
Writeback:             0 kB
AnonPages:         15456 kB
Mapped:            15524 kB
Shmem:                 0 kB
Slab:             727220 kB
SReclaimable:     169676 kB
SUnreclaim:       557544 kB
KernelStack:        1456 kB
PageTables:         4060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     138228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71392 MiB
End job on node131 at 2012-06-03 07:09:00