Trace number 3742152

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.08 1800.73

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K83.opb
MD5SUM87eecd69bf3cf4e36ad8fc8a9d8af53d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5644
Total number of constraints5812
Number of constraints which are clauses5729
Number of constraints which are cardinality constraints (but not clauses)83
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint83
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 84
Number of bits of the biggest sum of numbers7
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-3742152-1338767900.opb
0.00/0.00	c File size is 360317 bytes.
0.01/0.03	c Highest Coefficient sum: 84
0.01/0.03	c Parsing was ok!!
0.01/0.03	c Total parsing time: 0.03 s
0.01/0.03	c Var: 5644 Constr: 5812 5729/83/0 Lit: 36204 Watch. Lit: 17100
0.01/0.03	c Obj. Vars: 0 (0 % of total variables)
0.89/0.99	c Pre-processing Time: 0.989 s
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c        0   4911     5135    33216    6    15517   80920      0      0 0.99
0.89/0.99	c Switching off LPR mode.
1800.06/1800.71	c      100   4911     5235    40432    7    15717   89013    100     98 1.01
1800.06/1800.71	c      250   4911     5385    62875   11    16017   97915    250    231 1.08
1800.06/1800.71	c      475   4911     5610    84150   15    16467  107707    475    413 1.15
1800.06/1800.71	c      813   4911     5948   113812   19    17143  118478    813    656 1.24
1800.06/1800.71	c     1323   4911     6458   136202   21    18163  130326   1323    936 1.41
1800.06/1800.71	c     2086   4911     7221   222939   30    19689  143359   2086   1247 1.67
1800.06/1800.71	c     3232   4911     8367   355988   42    21981  157695   3232   1598 2.02
1800.06/1800.71	c     4953   4911    10088   772601   76    25423  173465   4953   1752 2.83
1800.06/1800.71	c     7537   4911    12672  1361241  107    30591  190812   7537   1749 4.31
1800.06/1800.71	c    11416   4911    16551  2882122  174    38349  209894  11416   1457 7.83
1800.06/1800.71	c    17238   4911    22373  5206951  232    49993  230884  17238   1072 16.07
1800.06/1800.71	c    25975   4911    31110 12178802  391    67467  253973  25975    638 40.68
1800.06/1800.71	c    39089   4911    44224 22532850  509    93695  279371  39089    427 91.46
1800.06/1800.71	c    58761   4911    63896 37641527  589   133039  307309  58761    278 210.93
1800.06/1800.71	c    88272   4911    93407 71696592  767   192061  338040  88272    143 616.00
1800.06/1800.71	c   132546   4911   137681 126878845  921   280609  371845 132546     96 1374.89
1800.06/1800.71	c Caught signal: 15
1800.06/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.71	c   16   162444  75822  1454821   167579 152006234 162444     90 1800.07
1800.06/1800.71	s UNKNOWN
1800.06/1800.71	c Total time: 1800.07 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-3742152-1338767900/watcher-3742152-1338767900 -o /tmp/evaluation-result-3742152-1338767900/solver-3742152-1338767900 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742152-1338767900.opb 

running on 4 cores: 1,3,5,7

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.04 2.02 2.00 3/176 14138
/proc/meminfo: memFree=25780908/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4194304 166 0 0 0 0 0 0 0 20 0 1 0 342914458 4583424 118 33554432000 134512640 135840783 4294505024 4294503944 10761537 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 1119 128 110 325 0 39 0

[startup+0.0220619 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 14138
/proc/meminfo: memFree=25780908/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=5728 CPUtime=0.01 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 677 0 0 0 1 0 0 0 20 0 1 0 342914458 5865472 614 33554432000 134512640 135840783 4294505024 4294503712 11330855 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 1432 614 366 325 0 280 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5728

[startup+0.100264 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 14138
/proc/meminfo: memFree=25780908/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=6576 CPUtime=0.09 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 1059 0 0 0 9 0 0 0 20 0 1 0 342914458 6733824 908 33554432000 134512640 135840783 4294505024 4294436412 3114032 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 1644 908 342 325 0 580 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6576

[startup+0.300227 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 14138
/proc/meminfo: memFree=25780908/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=6576 CPUtime=0.29 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 1060 0 0 0 29 0 0 0 20 0 1 0 342914458 6733824 909 33554432000 134512640 135840783 4294505024 4294436412 3114032 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 1644 909 342 325 0 580 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6576

[startup+0.700225 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 14138
/proc/meminfo: memFree=25780908/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=6576 CPUtime=0.69 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 1060 0 0 0 69 0 0 0 20 0 1 0 342914458 6733824 909 33554432000 134512640 135840783 4294505024 4294436412 3114032 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 1644 909 342 325 0 580 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6576

[startup+1.50022 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 14139
/proc/meminfo: memFree=25777676/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=8392 CPUtime=1.48 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 1587 0 0 0 148 0 0 0 20 0 1 0 342914458 8593408 1353 33554432000 134512640 135840783 4294505024 4294502896 11330855 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 2098 1353 347 325 0 1034 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8392

[startup+3.10024 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 14139
/proc/meminfo: memFree=25772336/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=18216 CPUtime=3.09 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 4043 0 0 0 308 1 0 0 20 0 1 0 342914458 18653184 3809 33554432000 134512640 135840783 4294505024 4294501360 134573449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 4554 3809 347 325 0 3490 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18216

[startup+6.30028 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 14139
/proc/meminfo: memFree=25752868/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=33732 CPUtime=6.28 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 7924 0 0 0 627 1 0 0 20 0 1 0 342914458 34541568 7690 33554432000 134512640 135840783 4294505024 4294492368 134586949 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 8433 7690 347 325 0 7369 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33732

[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 14139
/proc/meminfo: memFree=25713808/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=62452 CPUtime=12.68 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 15107 0 0 0 1265 3 0 0 20 0 1 0 342914458 63950848 14873 33554432000 134512640 135840783 4294505024 4294492736 134574704 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 15613 14873 347 325 0 14549 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 62452

[startup+25.5004 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 14139
/proc/meminfo: memFree=25646584/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=106676 CPUtime=25.48 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 26158 0 0 0 2543 5 0 0 20 0 1 0 342914458 109236224 25924 33554432000 134512640 135840783 4294505024 4294504160 11330034 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 26669 25924 347 325 0 25605 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 106676

[startup+51.1004 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 14139
/proc/meminfo: memFree=25535124/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=195832 CPUtime=51.08 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 48466 0 0 0 5096 12 0 0 20 0 1 0 342914458 200531968 48232 33554432000 134512640 135840783 4294505024 4294504384 134551063 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 48958 48232 347 325 0 47894 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 195832

[startup+102.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/178 14142
/proc/meminfo: memFree=25365644/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=315824 CPUtime=102.27 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 78452 0 0 0 10207 20 0 0 20 0 1 0 342914458 323403776 78218 33554432000 134512640 135840783 4294505024 4294504384 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 78956 78218 347 325 0 77892 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 315824

[startup+162.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/178 14165
/proc/meminfo: memFree=25214980/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=417176 CPUtime=162.26 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 103807 0 0 0 16197 29 0 0 20 0 1 0 342914458 427188224 103573 33554432000 134512640 135840783 4294505024 4294504384 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 104294 103573 347 325 0 103230 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 417176

[startup+222.307 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 14166
/proc/meminfo: memFree=25072696/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=509876 CPUtime=222.25 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 126969 0 0 0 22189 36 0 0 20 0 1 0 342914458 522113024 126735 33554432000 134512640 135840783 4294505024 4294488048 134586540 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 127469 126735 347 325 0 126405 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 509876

[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 14166
/proc/meminfo: memFree=24971664/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=576572 CPUtime=282.24 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 143647 0 0 0 28184 40 0 0 20 0 1 0 342914458 590409728 143413 33554432000 134512640 135840783 4294505024 4294504384 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 144143 143413 347 325 0 143079 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 576572

[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 14166
/proc/meminfo: memFree=24853024/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=647764 CPUtime=342.23 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 161450 0 0 0 34178 45 0 0 20 0 1 0 342914458 663310336 161216 33554432000 134512640 135840783 4294505024 4294504384 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 161941 161216 347 325 0 160877 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 647764

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 14166
/proc/meminfo: memFree=24744304/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=712920 CPUtime=402.23 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 177744 0 0 0 40172 51 0 0 20 0 1 0 342914458 730030080 177510 33554432000 134512640 135840783 4294505024 4294504384 134550904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 178230 177510 347 325 0 177166 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 712920

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14166
/proc/meminfo: memFree=24634840/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=777580 CPUtime=462.21 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 193903 0 0 0 46166 55 0 0 20 0 1 0 342914458 796241920 193669 33554432000 134512640 135840783 4294505024 4294504384 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 194395 193669 347 325 0 193331 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 777580

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 14166
/proc/meminfo: memFree=24538900/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=832600 CPUtime=522.21 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 207646 0 0 0 52161 60 0 0 20 0 1 0 342914458 852582400 207412 33554432000 134512640 135840783 4294505024 4294479408 134586540 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 208150 207412 347 325 0 207086 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 832600

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14167
/proc/meminfo: memFree=24434760/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=894120 CPUtime=582.19 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 223027 0 0 0 58154 65 0 0 20 0 1 0 342914458 915578880 222793 33554432000 134512640 135840783 4294505024 4294504384 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 223530 222793 347 325 0 222466 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 894120

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 14209
/proc/meminfo: memFree=26037668/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1162364 CPUtime=822.11 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 290187 0 0 0 82124 87 0 0 20 0 1 0 342914458 1190260736 289861 33554432000 134512640 135840783 4294505024 4294504384 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 290591 289861 347 325 0 289527 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 1162364

[startup+882.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14210
/proc/meminfo: memFree=25910720/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1227276 CPUtime=882.08 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 306465 0 0 0 88117 91 0 0 20 0 1 0 342914458 1256730624 306097 33554432000 134512640 135840783 4294505024 4294504384 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 306819 306097 347 325 0 305755 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 1227276

[startup+942.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14210
/proc/meminfo: memFree=25787120/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1289324 CPUtime=942.04 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 322017 0 0 0 94106 98 0 0 20 0 1 0 342914458 1320267776 321611 33554432000 134512640 135840783 4294505024 4294504384 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 322331 321611 347 325 0 321267 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1289324

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14210
/proc/meminfo: memFree=25632396/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1340792 CPUtime=1002.01 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 334927 0 0 0 100099 102 0 0 20 0 1 0 342914458 1372971008 334484 33554432000 134512640 135840783 4294505024 4294504384 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 335198 334484 347 325 0 334134 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1340792

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14210
/proc/meminfo: memFree=25519708/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1394736 CPUtime=1061.98 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 348427 0 0 0 106092 106 0 0 20 0 1 0 342914458 1428209664 347954 33554432000 134512640 135840783 4294505024 4294504384 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 348684 347954 347 325 0 347620 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1394736

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14210
/proc/meminfo: memFree=25396976/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1453156 CPUtime=1121.95 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 363074 0 0 0 112084 111 0 0 20 0 1 0 342914458 1488031744 362568 33554432000 134512640 135840783 4294505024 4294504544 134551970 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 363289 362568 347 325 0 362225 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1453156

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14211
/proc/meminfo: memFree=25293464/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1499016 CPUtime=1181.93 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 374574 0 0 0 118080 113 0 0 20 0 1 0 342914458 1534992384 374039 33554432000 134512640 135840783 4294505024 4294504384 134551104 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 374754 374039 347 325 0 373690 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1499016

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14211
/proc/meminfo: memFree=25198012/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1551736 CPUtime=1241.91 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 387761 0 0 0 124074 117 0 0 20 0 1 0 342914458 1588977664 387198 33554432000 134512640 135840783 4294505024 4294504384 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 387934 387198 347 325 0 386870 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1551736

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 14214
/proc/meminfo: memFree=25104620/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1586200 CPUtime=1301.89 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 396442 0 0 0 130069 120 0 0 20 0 1 0 342914458 1624268800 395838 33554432000 134512640 135840783 4294505024 4294504384 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 396550 395838 347 325 0 395486 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1586200

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14214
/proc/meminfo: memFree=25002884/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1625452 CPUtime=1361.84 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 406284 0 0 0 136062 122 0 0 20 0 1 0 342914458 1664462848 405640 33554432000 134512640 135840783 4294505024 4294504384 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 406363 405640 347 325 0 405299 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1625452

[startup+1422.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14214
/proc/meminfo: memFree=24922816/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1657124 CPUtime=1421.82 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 414236 0 0 0 142056 126 0 0 20 0 1 0 342914458 1696894976 413554 33554432000 134512640 135840783 4294505024 4294504384 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 414281 413554 347 325 0 413217 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1657124

[startup+1482.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 14215
/proc/meminfo: memFree=24833316/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1707864 CPUtime=1481.79 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 426957 0 0 0 148048 131 0 0 20 0 1 0 342914458 1748852736 426243 33554432000 134512640 135840783 4294505024 4294504384 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 426966 426243 347 325 0 425902 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1707864

[startup+1542.31 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 14215
/proc/meminfo: memFree=24732656/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1745172 CPUtime=1541.77 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 436319 0 0 0 154043 134 0 0 20 0 1 0 342914458 1787056128 435566 33554432000 134512640 135840783 4294505024 4294504384 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 436293 435566 347 325 0 435229 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1745172

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14215
/proc/meminfo: memFree=24641172/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1793508 CPUtime=1601.73 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 448443 0 0 0 160035 138 0 0 20 0 1 0 342914458 1836552192 447649 33554432000 134512640 135840783 4294505024 4294504384 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 448377 447649 347 325 0 447313 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1793508

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14215
/proc/meminfo: memFree=24535304/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1846456 CPUtime=1661.7 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 461730 0 0 0 166027 143 0 0 20 0 1 0 342914458 1890770944 460896 33554432000 134512640 135840783 4294505024 4294504384 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 461614 460896 347 325 0 460550 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 1846456

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14215
/proc/meminfo: memFree=24453368/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1894440 CPUtime=1721.67 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 473770 0 0 0 172019 148 0 0 20 0 1 0 342914458 1939906560 472894 33554432000 134512640 135840783 4294505024 4294499680 11330855 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 473610 472894 347 325 0 472546 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 1894440

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14216
/proc/meminfo: memFree=24377632/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1941560 CPUtime=1781.65 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 485587 0 0 0 178013 152 0 0 20 0 1 0 342914458 1988157440 484666 33554432000 134512640 135840783 4294505024 4294504384 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 485390 484666 347 325 0 484326 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 1941560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14216
/proc/meminfo: memFree=24345608/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1954652 CPUtime=1800.06 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 488887 0 0 0 179853 153 0 0 20 0 1 0 342914458 2001563648 487953 33554432000 134512640 135840783 4294505024 4294504384 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 488663 487953 347 325 0 487599 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1954652

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.73
CPU time (s): 1800.08
CPU user time (s): 1798.53
CPU system time (s): 1.55176
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 1954652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.53
system time used= 1.55176
maximum resident set size= 1951812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488890
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= 730
involuntary context switches= 1844

runsolver used 3.37149 second user time and 10.4124 second system time

The end

Launcher Data

Begin job on node140 at 2012-06-04 01:58:20
IDJOB=3742152
IDBENCH=90136
IDSOLVER=2318
FILE ID=node140/3742152-1338767900
RUNJOBID= node140-1338749243-12518
PBS_JOBID= 14636796
Free space on /tmp= 70608 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742152-1338767900/watcher-3742152-1338767900 -o /tmp/evaluation-result-3742152-1338767900/solver-3742152-1338767900 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3742152-1338767900.opb            

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

MD5SUM BENCH= 87eecd69bf3cf4e36ad8fc8a9d8af53d
RANDOM SEED=748316070

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25781180 kB
Buffers:          518328 kB
Cached:          4014788 kB
SwapCached:         1620 kB
Active:          3156028 kB
Inactive:        2999780 kB
Active(anon):    1614972 kB
Inactive(anon):     9476 kB
Active(file):    1541056 kB
Inactive(file):  2990304 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105264 kB
Dirty:              7000 kB
Writeback:             0 kB
AnonPages:       1627064 kB
Mapped:            11744 kB
Shmem:                 8 kB
Slab:             791540 kB
SReclaimable:     233612 kB
SUnreclaim:       557928 kB
KernelStack:        1472 kB
PageTables:         6844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1737704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70604 MiB
End job on node140 at 2012-06-04 02:28:23