Trace number 3741866

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_K88.opb
MD5SUM1622186c78d9255ec55518143c1e5a9e
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 variables5984
Total number of constraints6162
Number of constraints which are clauses6074
Number of constraints which are cardinality constraints (but not clauses)88
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint88
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 89
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-3741866-1338764563.opb
0.00/0.00	c File size is 382524 bytes.
0.00/0.03	c Highest Coefficient sum: 89
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.031 s
0.00/0.04	c Var: 5984 Constr: 6162 6074/88/0 Lit: 38399 Watch. Lit: 18130
0.00/0.04	c Obj. Vars: 0 (0 % of total variables)
0.99/1.07	c Pre-processing Time: 1.064 s
0.99/1.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.07	c        0   5246     5480    35381    6    16537   86034      0      0 1.06
0.99/1.07	c Switching off LPR mode.
1800.05/1800.71	c      100   5246     5580    41432    7    16737   94638    100     92 1.09
1800.05/1800.71	c      250   5246     5730    79400   13    17037  104102    250    221 1.13
1800.05/1800.71	c      475   5246     5955   112849   18    17487  114513    475    391 1.21
1800.05/1800.71	c      813   5246     6293   144381   22    18163  125965    813    610 1.33
1800.05/1800.71	c     1323   5246     6803   210613   30    19183  138562   1323    865 1.53
1800.05/1800.71	c     2090   5246     7570   311057   41    20717  152419   2090   1161 1.80
1800.05/1800.71	c     3237   5246     8717   447372   51    23011  167661   3237   1466 2.21
1800.05/1800.71	c     4958   5246    10438   628768   60    26453  184428   4958   1830 2.71
1800.05/1800.71	c     7542   5246    13022  1157188   88    31621  202871   7542   1802 4.18
1800.05/1800.71	c    11423   5246    16903  1895878  112    39383  223159  11423   1706 6.69
1800.05/1800.71	c    17245   5246    22725  3413893  150    51027  245475  17245   1386 12.43
1800.05/1800.71	c    25982   5246    31462 10509959  334    68501  270023  25982    716 36.27
1800.05/1800.71	c    39093   5246    44573 28926049  648    94723  297026  39093    338 115.58
1800.05/1800.71	c    58763   5246    64243 53928474  839   134063  326729  58763    216 271.79
1800.05/1800.71	c    88274   5246    93754 96524048 1029   193085  359402  88274    131 670.55
1800.05/1800.71	c   132544   5246   138024 160154482 1160   281625  395343 132544     78 1696.35
1800.05/1800.71	c Caught signal: 15
1800.05/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.71	c   16   135828  58513  1293311   141308 164534328 135828     75 1800.06
1800.05/1800.71	s UNKNOWN
1800.05/1800.71	c Total time: 1800.06 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-3741866-1338764563/watcher-3741866-1338764563 -o /tmp/evaluation-result-3741866-1338764563/solver-3741866-1338764563 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741866-1338764563.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.00 2.02 2.06 3/176 22818
/proc/meminfo: memFree=27243728/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4194304 144 0 0 0 0 0 0 0 20 0 1 0 342583188 4583424 94 33554432000 134512640 135840783 4292279328 4292278248 11146561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 1119 113 95 325 0 39 0

[startup+0.0829021 s]
/proc/loadavg: 2.00 2.02 2.06 3/176 22818
/proc/meminfo: memFree=27243728/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=6800 CPUtime=0.07 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 1097 0 0 0 7 0 0 0 20 0 1 0 342583188 6963200 939 33554432000 134512640 135840783 4292279328 4292206636 6165552 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 1700 939 342 325 0 636 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6800

[startup+0.100268 s]
/proc/loadavg: 2.00 2.02 2.06 3/176 22818
/proc/meminfo: memFree=27243728/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=6800 CPUtime=0.09 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 1097 0 0 0 9 0 0 0 20 0 1 0 342583188 6963200 939 33554432000 134512640 135840783 4292279328 4292206212 11702494 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 1700 939 342 325 0 636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6800

[startup+0.300229 s]
/proc/loadavg: 2.00 2.02 2.06 3/176 22818
/proc/meminfo: memFree=27243728/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=6800 CPUtime=0.29 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 1098 0 0 0 29 0 0 0 20 0 1 0 342583188 6963200 940 33554432000 134512640 135840783 4292279328 4292206636 6165552 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 1700 940 342 325 0 636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6800

[startup+0.700225 s]
/proc/loadavg: 2.00 2.02 2.06 3/176 22818
/proc/meminfo: memFree=27243728/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=6800 CPUtime=0.69 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 1098 0 0 0 69 0 0 0 20 0 1 0 342583188 6963200 940 33554432000 134512640 135840783 4292279328 4292206636 6165552 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 1700 940 342 325 0 636 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6800

[startup+1.50022 s]
/proc/loadavg: 2.00 2.02 2.06 3/177 22819
/proc/meminfo: memFree=27239348/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=8896 CPUtime=1.48 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 1741 0 0 0 148 0 0 0 20 0 1 0 342583188 9109504 1490 33554432000 134512640 135840783 4292279328 4292276448 11715879 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 2224 1490 347 325 0 1160 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8896

[startup+3.10027 s]
/proc/loadavg: 2.00 2.02 2.06 3/177 22819
/proc/meminfo: memFree=27232280/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=15856 CPUtime=3.08 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 3476 0 0 0 308 0 0 0 20 0 1 0 342583188 16236544 3225 33554432000 134512640 135840783 4292279328 4292278688 134551071 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 3964 3225 347 325 0 2900 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15856

[startup+6.30033 s]
/proc/loadavg: 2.08 2.03 2.07 3/177 22819
/proc/meminfo: memFree=27212864/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=29844 CPUtime=6.29 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 6982 0 0 0 627 2 0 0 20 0 1 0 342583188 30560256 6731 33554432000 134512640 135840783 4292279328 4292270096 11715879 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 7461 6731 347 325 0 6397 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29844

[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.07 3/177 22819
/proc/meminfo: memFree=27181028/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=53056 CPUtime=12.69 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 12791 0 0 0 1265 4 0 0 20 0 1 0 342583188 54329344 12540 33554432000 134512640 135840783 4292279328 4292278688 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 13264 12540 347 325 0 12200 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53056

[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.06 3/177 22819
/proc/meminfo: memFree=27128032/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=104892 CPUtime=25.48 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 25735 0 0 0 2541 7 0 0 20 0 1 0 342583188 107409408 25484 33554432000 134512640 135840783 4292279328 4292278688 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 26223 25484 347 325 0 25159 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 104892

[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.06 3/177 22819
/proc/meminfo: memFree=27043340/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=191124 CPUtime=51.08 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 47294 0 0 0 5095 13 0 0 20 0 1 0 342583188 195710976 47043 33554432000 134512640 135840783 4292279328 4292278464 11713856 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 47781 47043 347 325 0 46717 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 191124

[startup+102.307 s]
/proc/loadavg: 2.06 2.04 2.06 3/177 22820
/proc/meminfo: memFree=26892060/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=339304 CPUtime=102.28 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 84351 0 0 0 10205 23 0 0 20 0 1 0 342583188 347447296 84100 33554432000 134512640 135840783 4292279328 4292253284 1815181 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 84826 84100 347 325 0 83762 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 339304

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.06 3/177 22820
/proc/meminfo: memFree=26754792/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=480376 CPUtime=162.26 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 119602 0 0 0 16194 32 0 0 20 0 1 0 342583188 491905024 119351 33554432000 134512640 135840783 4292279328 4292278688 134551175 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 120094 119351 347 325 0 119030 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 480376

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/177 22820
/proc/meminfo: memFree=26607604/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=623660 CPUtime=222.26 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 155445 0 0 0 22183 43 0 0 20 0 1 0 342583188 638627840 155194 33554432000 134512640 135840783 4292279328 4292278688 134551175 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 155915 155194 347 325 0 154851 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 623660

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/177 22820
/proc/meminfo: memFree=26518576/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=713420 CPUtime=282.24 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 177862 0 0 0 28175 49 0 0 20 0 1 0 342583188 730542080 177611 33554432000 134512640 135840783 4292279328 4292278688 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 178355 177611 347 325 0 177291 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 713420

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/177 22820
/proc/meminfo: memFree=26420992/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=811380 CPUtime=342.24 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 202371 0 0 0 34169 55 0 0 20 0 1 0 342583188 830853120 202120 33554432000 134512640 135840783 4292279328 4292278464 11713429 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 202845 202120 347 325 0 201781 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 811380

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/174 22829
/proc/meminfo: memFree=26988884/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=901068 CPUtime=402.22 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 224787 0 0 0 40163 59 0 0 20 0 1 0 342583188 922693632 224536 33554432000 134512640 135840783 4292279328 4292278688 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 225267 224536 347 325 0 224203 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 901068

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/178 22863
/proc/meminfo: memFree=26744168/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=985536 CPUtime=462.19 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 245946 0 0 0 46154 65 0 0 20 0 1 0 342583188 1009188864 245656 33554432000 134512640 135840783 4292279328 4292278688 134550910 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 246384 245656 347 325 0 245320 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 985536

[startup+522.3 s]
/proc/loadavg: 2.06 2.02 2.03 3/177 22863
/proc/meminfo: memFree=26584864/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1046344 CPUtime=522.17 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 261171 0 0 0 52146 71 0 0 20 0 1 0 342583188 1071456256 260842 33554432000 134512640 135840783 4292279328 4292278688 134550913 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 261586 260842 347 325 0 260522 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1046344

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.02 3/177 22863
/proc/meminfo: memFree=26414392/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1131892 CPUtime=582.13 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 282605 0 0 0 58137 76 0 0 20 0 1 0 342583188 1159057408 282232 33554432000 134512640 135840783 4292279328 4292278688 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 282973 282232 347 325 0 281909 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1131892

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22864
/proc/meminfo: memFree=25645608/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1459304 CPUtime=882 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 364674 0 0 0 88102 98 0 0 20 0 1 0 342583188 1494327296 364102 33554432000 134512640 135840783 4292279328 4292278688 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 364826 364102 347 325 0 363762 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 1459304

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22864
/proc/meminfo: memFree=25510376/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1514124 CPUtime=941.97 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 378404 0 0 0 94094 103 0 0 20 0 1 0 342583188 1550462976 377794 33554432000 134512640 135840783 4292279328 4292278688 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 378531 377794 347 325 0 377467 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 1514124

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22865
/proc/meminfo: memFree=25368476/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1562872 CPUtime=1001.93 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 390632 0 0 0 100087 106 0 0 20 0 1 0 342583188 1600380928 389987 33554432000 134512640 135840783 4292279328 4292278688 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 390718 389987 347 325 0 389654 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 1562872

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22868
/proc/meminfo: memFree=25211452/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1617904 CPUtime=1061.9 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 404444 0 0 0 106080 110 0 0 20 0 1 0 342583188 1656733696 403755 33554432000 134512640 135840783 4292279328 4292278564 11710545 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 404476 403755 347 325 0 403412 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 1617904

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22868
/proc/meminfo: memFree=25083636/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1671760 CPUtime=1121.88 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 417943 0 0 0 112074 114 0 0 20 0 1 0 342583188 1711882240 417220 33554432000 134512640 135840783 4292279328 4292278688 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 417940 417220 347 325 0 416876 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1671760

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22868
/proc/meminfo: memFree=24967632/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1716224 CPUtime=1181.86 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 429076 0 0 0 118069 117 0 0 20 0 1 0 342583188 1757413376 428309 33554432000 134512640 135840783 4292279328 4292278688 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 429056 428309 347 325 0 427992 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1716224

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22868
/proc/meminfo: memFree=24851628/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1767284 CPUtime=1241.83 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 441905 0 0 0 124062 121 0 0 20 0 1 0 342583188 1809698816 441103 33554432000 134512640 135840783 4292279328 4292278688 134550948 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 441821 441103 347 325 0 440757 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1767284

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 22869
/proc/meminfo: memFree=24734484/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1809196 CPUtime=1301.82 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 452416 0 0 0 130058 124 0 0 20 0 1 0 342583188 1852616704 451573 33554432000 134512640 135840783 4292279328 4292278688 134550913 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 452299 451573 347 325 0 451235 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1809196

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22869
/proc/meminfo: memFree=24590252/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1850456 CPUtime=1361.78 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 462769 0 0 0 136051 127 0 0 20 0 1 0 342583188 1894866944 461890 33554432000 134512640 135840783 4292279328 4292278688 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 462614 461890 347 325 0 461550 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1850456

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22869
/proc/meminfo: memFree=24473240/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1893276 CPUtime=1421.76 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 473511 0 0 0 142046 130 0 0 20 0 1 0 342583188 1938714624 472596 33554432000 134512640 135840783 4292279328 4292278688 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 473319 472596 347 325 0 472255 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1893276

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22869
/proc/meminfo: memFree=24392544/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1923084 CPUtime=1481.73 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 481000 0 0 0 148040 133 0 0 20 0 1 0 342583188 1969238016 480039 33554432000 134512640 135840783 4292279328 4292278640 134551093 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 480771 480039 347 325 0 479707 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 1923084

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22869
/proc/meminfo: memFree=24273904/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1958992 CPUtime=1541.7 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 490008 0 0 0 154034 136 0 0 20 0 1 0 342583188 2006007808 489016 33554432000 134512640 135840783 4292279328 4292278688 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 489748 489016 347 325 0 488684 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 1958992

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22870
/proc/meminfo: memFree=24165184/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=1995316 CPUtime=1601.67 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 499120 0 0 0 160029 138 0 0 20 0 1 0 342583188 2043203584 498096 33554432000 134512640 135840783 4292279328 4292278688 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 498829 498096 347 325 0 497765 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 1995316

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22873
/proc/meminfo: memFree=24076224/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=2029036 CPUtime=1661.66 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 507585 0 0 0 166024 142 0 0 20 0 1 0 342583188 2077732864 506537 33554432000 134512640 135840783 4292279328 4292278688 134550907 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 507259 506537 347 325 0 506195 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 2029036

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22873
/proc/meminfo: memFree=23980904/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=2070628 CPUtime=1721.65 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 517983 0 0 0 172020 145 0 0 20 0 1 0 342583188 2120323072 516935 33554432000 134512640 135840783 4292279328 4292278688 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 517657 516935 347 325 0 516593 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 2070628

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 22873
/proc/meminfo: memFree=23887064/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=2100112 CPUtime=1781.65 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 525355 0 0 0 178017 148 0 0 20 0 1 0 342583188 2150514688 524307 33554432000 134512640 135840783 4292279328 4292278688 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 525028 524307 347 325 0 523964 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 2100112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22873
/proc/meminfo: memFree=23863844/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=2110864 CPUtime=1800.05 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 528019 0 0 0 179857 148 0 0 20 0 1 0 342583188 2161524736 526971 33554432000 134512640 135840783 4292279328 4292278688 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 527716 526971 347 325 0 526652 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2110864

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

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

[startup+1800.71 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22873
/proc/meminfo: memFree=23863844/32873648 swapFree=6864/6864
[pid=22818] ppid=22816 vsize=2110864 CPUtime=1800.05 cores=1,3,5,7
/proc/22818/stat : 22818 (bsolo3.0.17) R 22816 22818 20253 0 -1 4202496 528019 0 0 0 179857 148 0 0 20 0 1 0 342583188 2161524736 526971 33554432000 134512640 135840783 4292279328 4292278688 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22818/statm: 527716 526971 347 325 0 526652 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2110864

Child status: 15
Real time (s): 1800.73
CPU time (s): 1800.08
CPU user time (s): 1798.57
CPU system time (s): 1.50077
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (KiB): 2110864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.50077
maximum resident set size= 2107884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528022
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= 814
involuntary context switches= 1947

runsolver used 2.58261 second user time and 10.5214 second system time

The end

Launcher Data 

Begin job on node113 at 2012-06-04 01:02:43
IDJOB=3741866
IDBENCH=90114
IDSOLVER=2318
FILE ID=node113/3741866-1338764563
RUNJOBID= node113-1338748314-20270
PBS_JOBID= 14636785
Free space on /tmp= 70928 MiB

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

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

MD5SUM BENCH= 1622186c78d9255ec55518143c1e5a9e
RANDOM SEED=1354078355

node113.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.026
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.05
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.026
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.90
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.026
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	: 5438.54
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.026
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.026
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.026
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.026
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		: 2667.026
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:       32873648 kB
MemFree:        27243992 kB
Buffers:          537644 kB
Cached:          3542104 kB
SwapCached:         2028 kB
Active:          2441084 kB
Inactive:        2286356 kB
Active(anon):     647000 kB
Inactive(anon):     1912 kB
Active(file):    1794084 kB
Inactive(file):  2284444 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099708 kB
Dirty:              6996 kB
Writeback:             0 kB
AnonPages:        651960 kB
Mapped:            12564 kB
Shmem:                 0 kB
Slab:             763672 kB
SReclaimable:     207716 kB
SUnreclaim:       555956 kB
KernelStack:        1472 kB
PageTables:         5332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     767664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    581632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70968 MiB
End job on node113 at 2012-06-04 01:32:46