Trace number 3742100

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.17 1800.89

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K86.opb
MD5SUMa7a3236cd0071452eec601ea09fe7bbe
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 variables5848
Total number of constraints6022
Number of constraints which are clauses5936
Number of constraints which are cardinality constraints (but not clauses)86
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint86
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 87
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-3742100-1338766908.opb
0.00/0.00	c File size is 373640 bytes.
0.00/0.03	c Highest Coefficient sum: 87
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.03 s
0.00/0.03	c Var: 5848 Constr: 6022 5936/86/0 Lit: 37521 Watch. Lit: 17718
0.00/0.03	c Obj. Vars: 0 (0 % of total variables)
0.99/1.04	c Pre-processing Time: 1.04 s
0.99/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.04	c        0   5112     5342    34515    6    16129   83988      0      0 1.04
0.99/1.04	c Switching off LPR mode.
1800.08/1800.80	c      100   5112     5442    42042    7    16329   92387    100     94 1.06
1800.08/1800.80	c      250   5112     5592    70762   12    16629  101626    250    227 1.10
1800.08/1800.80	c      475   5112     5817   128452   22    17079  111789    475    405 1.17
1800.08/1800.80	c      819   5112     6161   166772   27    17767  122968    819    656 1.25
1800.08/1800.80	c     1327   5112     6669   221921   33    18783  135265   1327    930 1.43
1800.08/1800.80	c     2092   5112     7434   284529   38    20313  148792   2092   1239 1.69
1800.08/1800.80	c     3238   5112     8580   493589   57    22605  163672   3238   1513 2.14
1800.08/1800.80	c     4959   5112    10301   727774   70    26047  180040   4959   1695 2.92
1800.08/1800.80	c     7545   5112    12887  1755815  136    31219  198045   7545   1653 4.56
1800.08/1800.80	c    11424   5112    16766  3113165  185    38977  217850  11424   1404 8.14
1800.08/1800.80	c    17246   5112    22588  6558403  290    50621  239636  17246   1037 16.61
1800.08/1800.80	c    25983   5112    31325  9499131  303    68095  263600  25983    933 27.82
1800.08/1800.80	c    39096   5112    44438 15434116  347    94321  289961  39096    728 53.63
1800.08/1800.80	c    58766   5112    64108 25611508  399   133661  318958  58766    527 111.33
1800.08/1800.80	c    88276   5112    93618 56854424  607   192681  350854  88276    284 309.89
1800.08/1800.80	c   132547   5112   137889 101319696  734   281223  385940 132547    182 727.33
1800.08/1800.80	c   198958   5112   204300 164109296  803   414045  424535 198958    128 1551.31
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   17   215110 102590  2091547   220452 180017133 215110    119 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-3742100-1338766908/watcher-3742100-1338766908 -o /tmp/evaluation-result-3742100-1338766908/solver-3742100-1338766908 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742100-1338766908.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.02 2.01 2.00 3/176 7740
/proc/meminfo: memFree=27373508/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 342816443 4583424 160 33554432000 134512640 135840783 4293668464 4293667804 5440856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 1119 161 139 325 0 39 0

[startup+0.0085659 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 7740
/proc/meminfo: memFree=27373508/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=12876 CPUtime=0 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 488 0 0 0 0 0 0 0 20 0 1 0 342816443 13185024 425 33554432000 134512640 135840783 4293668464 4293666160 1979687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 3219 425 329 325 0 2063 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12876

[startup+0.100246 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 7740
/proc/meminfo: memFree=27373508/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=6756 CPUtime=0.09 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 1083 0 0 0 9 0 0 0 20 0 1 0 342816443 6918144 928 33554432000 134512640 135840783 4293668464 4293597404 16008240 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 1689 928 344 325 0 625 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6756

[startup+0.300223 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 7740
/proc/meminfo: memFree=27373508/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=6756 CPUtime=0.29 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 1085 0 0 0 29 0 0 0 20 0 1 0 342816443 6918144 930 33554432000 134512640 135840783 4293668464 4293597404 16008240 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 1689 930 344 325 0 625 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6756

[startup+0.700223 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 7740
/proc/meminfo: memFree=27373508/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=6756 CPUtime=0.68 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 1085 0 0 0 68 0 0 0 20 0 1 0 342816443 6918144 930 33554432000 134512640 135840783 4293668464 4293597404 16008240 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 1689 930 344 325 0 625 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6756

[startup+1.50022 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7741
/proc/meminfo: memFree=27370268/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=9376 CPUtime=1.49 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 1870 0 0 0 148 1 0 0 20 0 1 0 342816443 9601024 1626 33554432000 134512640 135840783 4293668464 4293667824 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 2344 1626 349 325 0 1280 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9376

[startup+3.10023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7741
/proc/meminfo: memFree=27364060/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=16996 CPUtime=3.09 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 3771 0 0 0 308 1 0 0 20 0 1 0 342816443 17403904 3527 33554432000 134512640 135840783 4293668464 4293666336 1979687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 4249 3527 349 325 0 3185 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16996

[startup+6.30025 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7741
/proc/meminfo: memFree=27340996/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=38444 CPUtime=6.28 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 9113 0 0 0 626 2 0 0 20 0 1 0 342816443 39366656 8869 33554432000 134512640 135840783 4293668464 4293667824 134550723 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 9611 8869 349 325 0 8547 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38444

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7741
/proc/meminfo: memFree=27301836/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=73124 CPUtime=12.68 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 17787 0 0 0 1264 4 0 0 20 0 1 0 342816443 74878976 17543 33554432000 134512640 135840783 4293668464 4293649936 134586540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 18281 17543 349 325 0 17217 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73124

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7741
/proc/meminfo: memFree=27242488/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=120392 CPUtime=25.48 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 29608 0 0 0 2541 7 0 0 20 0 1 0 342816443 123281408 29364 33554432000 134512640 135840783 4293668464 4293657392 134586540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 30098 29364 349 325 0 29034 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 120392

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7741
/proc/meminfo: memFree=27142620/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=199660 CPUtime=51.08 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 49444 0 0 0 5096 12 0 0 20 0 1 0 342816443 204451840 49200 33554432000 134512640 135840783 4293668464 4293667600 1977151 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 49915 49200 349 325 0 48851 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 199660

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7741
/proc/meminfo: memFree=26987292/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=311592 CPUtime=102.28 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 77399 0 0 0 10209 19 0 0 20 0 1 0 342816443 319070208 77155 33554432000 134512640 135840783 4293668464 4293659696 134586540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 77898 77155 349 325 0 76834 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 311592

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7742
/proc/meminfo: memFree=26794500/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=463100 CPUtime=162.26 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 115279 0 0 0 16198 28 0 0 20 0 1 0 342816443 474214400 115035 33554432000 134512640 135840783 4293668464 4293667824 134551449 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 115775 115035 349 325 0 114711 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 463100

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7742
/proc/meminfo: memFree=26618572/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=586600 CPUtime=222.25 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 146151 0 0 0 22189 36 0 0 20 0 1 0 342816443 600678400 145907 33554432000 134512640 135840783 4293668464 4293667824 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 146650 145907 349 325 0 145586 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 586600

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7742
/proc/meminfo: memFree=26471412/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=693676 CPUtime=282.24 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 172924 0 0 0 28181 43 0 0 20 0 1 0 342816443 710324224 172680 33554432000 134512640 135840783 4293668464 4293667824 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 173419 172680 349 325 0 172355 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 693676

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7742
/proc/meminfo: memFree=26335784/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=793176 CPUtime=342.23 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 197813 0 0 0 34175 48 0 0 20 0 1 0 342816443 812212224 197569 33554432000 134512640 135840783 4293668464 4293667824 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 198294 197569 349 325 0 197230 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 793176

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7742
/proc/meminfo: memFree=26175480/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=917828 CPUtime=402.23 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 228964 0 0 0 40168 55 0 0 20 0 1 0 342816443 939855872 228720 33554432000 134512640 135840783 4293668464 4293654896 134586540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 229457 228720 349 325 0 228393 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 917828

[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7743
/proc/meminfo: memFree=26038860/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1015252 CPUtime=462.22 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 253324 0 0 0 46161 61 0 0 20 0 1 0 342816443 1039618048 253080 33554432000 134512640 135840783 4293668464 4293667824 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 253813 253080 349 325 0 252749 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1015252

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 7746
/proc/meminfo: memFree=25930628/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1087196 CPUtime=522.21 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 271311 0 0 0 52155 66 0 0 20 0 1 0 342816443 1113288704 271067 33554432000 134512640 135840783 4293668464 4293651664 134586540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 271799 271067 349 325 0 270735 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1087196

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7746
/proc/meminfo: memFree=25832332/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1149140 CPUtime=582.19 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 286793 0 0 0 58150 69 0 0 20 0 1 0 342816443 1176719360 286549 33554432000 134512640 135840783 4293668464 4293667824 134551076 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 287285 286549 349 325 0 286221 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1149140

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7747
/proc/meminfo: memFree=25439984/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1379872 CPUtime=822.16 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 344475 0 0 0 82132 84 0 0 20 0 1 0 342816443 1412988928 344231 33554432000 134512640 135840783 4293668464 4293667820 134521208 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 344968 344233 349 325 0 343904 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 1379872

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7747
/proc/meminfo: memFree=25353212/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1429812 CPUtime=882.15 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 356956 0 0 0 88128 87 0 0 20 0 1 0 342816443 1464127488 356712 33554432000 134512640 135840783 4293668464 4293667824 134551100 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 357453 356712 349 325 0 356389 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 1429812

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7747
/proc/meminfo: memFree=25275368/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1479292 CPUtime=942.14 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 369330 0 0 0 94124 90 0 0 20 0 1 0 342816443 1514795008 369086 33554432000 134512640 135840783 4293668464 4293667824 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 369823 369086 349 325 0 368759 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1479292

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7747
/proc/meminfo: memFree=25199632/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1520892 CPUtime=1002.14 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 379743 0 0 0 100121 93 0 0 20 0 1 0 342816443 1557393408 379499 33554432000 134512640 135840783 4293668464 4293667824 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 380223 379499 349 325 0 379159 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 1520892

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7786
/proc/meminfo: memFree=26824724/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1599680 CPUtime=1062.12 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 399442 0 0 0 106114 98 0 0 20 0 1 0 342816443 1638072320 399198 33554432000 134512640 135840783 4293668464 4293646256 134586540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 399920 399198 349 325 0 398856 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1599680

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 7790
/proc/meminfo: memFree=26534592/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1668820 CPUtime=1122.07 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 416767 0 0 0 112106 101 0 0 20 0 1 0 342816443 1708871680 416488 33554432000 134512640 135840783 4293668464 4293667824 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 417205 416488 349 325 0 416141 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 1668820

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 7813
/proc/meminfo: memFree=26287240/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1733524 CPUtime=1182.02 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 432991 0 0 0 118097 105 0 0 20 0 1 0 342816443 1775128576 432670 33554432000 134512640 135840783 4293668464 4293667824 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 433381 432670 349 325 0 432317 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 1733524

[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 7813
/proc/meminfo: memFree=26150876/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1792656 CPUtime=1241.97 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 447811 0 0 0 124088 109 0 0 20 0 1 0 342816443 1835679744 447450 33554432000 134512640 135840783 4293668464 4293667824 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 448164 447450 349 325 0 447100 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1792656

[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 7813
/proc/meminfo: memFree=25994044/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1869704 CPUtime=1301.94 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 467091 0 0 0 130080 114 0 0 20 0 1 0 342816443 1914576896 466694 33554432000 134512640 135840783 4293668464 4293667824 134551071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 467426 466694 349 325 0 466362 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1869704

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 7813
/proc/meminfo: memFree=25845272/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1934312 CPUtime=1361.89 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 483285 0 0 0 136072 117 0 0 20 0 1 0 342816443 1980735488 482851 33554432000 134512640 135840783 4293668464 4293667824 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 483578 482851 349 325 0 482514 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1934312

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7814
/proc/meminfo: memFree=25706792/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=1993844 CPUtime=1421.86 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 498206 0 0 0 142066 120 0 0 20 0 1 0 342816443 2041696256 497741 33554432000 134512640 135840783 4293668464 4293667824 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 498461 497741 349 325 0 497397 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1993844

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7814
/proc/meminfo: memFree=25560872/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=2042068 CPUtime=1481.81 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 510298 0 0 0 148058 123 0 0 20 0 1 0 342816443 2091077632 509796 33554432000 134512640 135840783 4293668464 4293667776 134551071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 510517 509796 349 325 0 509453 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 2042068

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7814
/proc/meminfo: memFree=25368080/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=2103124 CPUtime=1541.77 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 525584 0 0 0 154051 126 0 0 20 0 1 0 342816443 2153598976 525046 33554432000 134512640 135840783 4293668464 4293667824 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 525781 525046 349 325 0 524717 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 2103124

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7814
/proc/meminfo: memFree=25260848/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=2148452 CPUtime=1601.72 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 536986 0 0 0 160043 129 0 0 20 0 1 0 342816443 2200014848 536404 33554432000 134512640 135840783 4293668464 4293647296 134586828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 537113 536404 349 325 0 536049 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 2148452

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7814
/proc/meminfo: memFree=25106124/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=2196100 CPUtime=1661.68 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 548906 0 0 0 166035 133 0 0 20 0 1 0 342816443 2248806400 548290 33554432000 134512640 135840783 4293668464 4293667816 4700345 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 549025 548290 349 325 0 547961 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 2196100

[startup+1722.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/178 7818
/proc/meminfo: memFree=24969248/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=2242008 CPUtime=1721.64 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 560425 0 0 0 172028 136 0 0 20 0 1 0 342816443 2295816192 559768 33554432000 134512640 135840783 4293668464 4293667824 134551175 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 560502 559768 349 325 0 559438 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 2242008

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 7818
/proc/meminfo: memFree=24811556/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=2296704 CPUtime=1781.59 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 574147 0 0 0 178020 139 0 0 20 0 1 0 342816443 2351824896 573454 33554432000 134512640 135840783 4293668464 4293667824 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 574176 573454 349 325 0 573112 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 2296704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 7818
/proc/meminfo: memFree=24765024/32873844 swapFree=7112/7112
[pid=7740] ppid=7738 vsize=2316488 CPUtime=1800.08 cores=0,2,4,6
/proc/7740/stat : 7740 (bsolo3.0.17) R 7738 7740 5948 0 -1 4202496 579101 0 0 0 179868 140 0 0 20 0 1 0 342816443 2372083712 578395 33554432000 134512640 135840783 4293668464 4293667824 134551285 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7740/statm: 579122 578395 349 325 0 578058 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2316488

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.89
CPU time (s): 1800.17
CPU user time (s): 1798.69
CPU system time (s): 1.48277
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 2316488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.48277
maximum resident set size= 2313580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 579104
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= 502
involuntary context switches= 2041

runsolver used 3.40148 second user time and 8.75267 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-04 01:41:48
IDJOB=3742100
IDBENCH=90132
IDSOLVER=2318
FILE ID=node119/3742100-1338766908
RUNJOBID= node119-1338748763-5964
PBS_JOBID= 14636790
Free space on /tmp= 70892 MiB

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

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

MD5SUM BENCH= a7a3236cd0071452eec601ea09fe7bbe
RANDOM SEED=1657981275

node119.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.943
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.88
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.943
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.943
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.93
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.943
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.943
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.93
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.943
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.92
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.943
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		: 2666.943
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:        27373400 kB
Buffers:          429592 kB
Cached:          3139612 kB
SwapCached:         1936 kB
Active:          2592364 kB
Inactive:        2056900 kB
Active(anon):    1075844 kB
Inactive(anon):     6616 kB
Active(file):    1516520 kB
Inactive(file):  2050284 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              6992 kB
Writeback:             0 kB
AnonPages:       1085940 kB
Mapped:            13108 kB
Shmem:                 0 kB
Slab:             705920 kB
SReclaimable:     148092 kB
SUnreclaim:       557828 kB
KernelStack:        1456 kB
PageTables:         6124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1198900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 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= 70888 MiB
End job on node119 at 2012-06-04 02:11:51