Trace number 3742516

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K143.opb
MD5SUM8f58618b79e9d2a9b56b6a791eca5768
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 variables17017
Total number of constraints17305
Number of constraints which are clauses17162
Number of constraints which are cardinality constraints (but not clauses)143
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint143
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 144
Number of bits of the biggest sum of numbers8
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-3742516-1338772047.opb
0.00/0.00	c File size is 1161244 bytes.
0.09/0.10	c Highest Coefficient sum: 144
0.09/0.10	c Parsing was ok!!
0.09/0.10	c Total parsing time: 0.1 s
0.09/0.11	c Var: 17017 Constr: 17305 17162/143/0 Lit: 111261 Watch. Lit: 51339
0.09/0.11	c Obj. Vars: 0 (0 % of total variables)
7.08/7.10	c Pre-processing Time: 7.096 s
7.08/7.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.10	c        0  15495    15889   104966    6    48087  144681      0      0 7.10
7.08/7.10	c Switching off LPR mode.
1800.10/1800.61	c      100  15495    15989   111436    6    48287  159150    100     14 7.13
1800.10/1800.61	c      251  15495    16140   138803    8    48589  175066    251     34 7.20
1800.10/1800.61	c      477  15495    16366   202005   12    49041  192573    477     65 7.32
1800.10/1800.61	c      815  15495    16704   238899   14    49717  211831    815    108 7.53
1800.10/1800.61	c     1324  15495    17213   273050   15    50735  233015   1324    164 8.04
1800.10/1800.61	c     2087  15495    17976   336313   18    52261  256317   2087    237 8.77
1800.10/1800.61	c     3233  15495    19122   450783   23    54553  281949   3233    328 9.84
1800.10/1800.61	c     4955  15495    20844   734527   35    57997  310144   4955    442 11.21
1800.10/1800.61	c     7541  15495    23430  1274369   54    63169  341159   7541    548 13.75
1800.10/1800.61	c    11421  15495    27310  2003732   73    70929  375275  11421    596 19.15
1800.10/1800.61	c    17243  15495    33132  3008827   90    82573  412803  17243    649 26.55
1800.10/1800.61	c    25982  15495    41871  5818263  138   100051  454084  25982    617 42.09
1800.10/1800.61	c    39092  15495    54981  9580471  174   126271  499493  39092    552 70.72
1800.10/1800.61	c    58765  15495    74654 28049652  375   165617  549443  58765    352 166.92
1800.10/1800.61	c    88275  15495   104164 46335175  444   224637  604388  88275    292 301.74
1800.10/1800.61	c   132547  15495   148436 89827935  605   313181  664827 132547    208 636.90
1800.10/1800.61	c   198960  15495   214849 162552797  756   446007  731310 198960    139 1429.96
1800.10/1800.61	c Caught signal: 15
1800.10/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.10/1800.61	c   17   236223 139635  6553447   252112 188842307 236223    131 1800.11
1800.10/1800.61	s UNKNOWN
1800.10/1800.61	c Total time: 1800.11 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-3742516-1338772047/watcher-3742516-1338772047 -o /tmp/evaluation-result-3742516-1338772047/solver-3742516-1338772047 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742516-1338772047.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: 1.92 1.98 1.99 3/177 8196
/proc/meminfo: memFree=26249256/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 343330154 4583424 156 33554432000 134512640 135840783 4286966480 4286965820 6952280 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 1119 156 135 325 0 39 0

[startup+0.0819881 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 8196
/proc/meminfo: memFree=26249256/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=8968 CPUtime=0.07 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 1487 0 0 0 7 0 0 0 20 0 1 0 343330154 9183232 1423 33554432000 134512640 135840783 4286966480 4286963776 2499879 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 2242 1424 540 325 0 894 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8968

[startup+0.100293 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 8196
/proc/meminfo: memFree=26249256/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=9352 CPUtime=0.09 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 1604 0 0 0 9 0 0 0 20 0 1 0 343330154 9576448 1540 33554432000 134512640 135840783 4286966480 4286963776 2499879 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 2338 1540 588 325 0 990 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9352

[startup+0.300251 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 8196
/proc/meminfo: memFree=26249256/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=11028 CPUtime=0.28 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 2313 0 0 0 28 0 0 0 20 0 1 0 343330154 11292672 1965 33554432000 134512640 135840783 4286966480 4286761356 15893552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 2757 1965 344 325 0 1693 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11028

[startup+0.700228 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 8196
/proc/meminfo: memFree=26249256/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=11028 CPUtime=0.68 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 2315 0 0 0 68 0 0 0 20 0 1 0 343330154 11292672 1967 33554432000 134512640 135840783 4286966480 4286761356 15893552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 2757 1967 344 325 0 1693 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11028

[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 8197
/proc/meminfo: memFree=26241948/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=11028 CPUtime=1.48 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 2315 0 0 0 148 0 0 0 20 0 1 0 343330154 11292672 1967 33554432000 134512640 135840783 4286966480 4286761356 15893552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 2757 1967 344 325 0 1693 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11028

[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 8197
/proc/meminfo: memFree=26240444/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=11028 CPUtime=3.08 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 2316 0 0 0 308 0 0 0 20 0 1 0 343330154 11292672 1968 33554432000 134512640 135840783 4286966480 4286761356 15893552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 2757 1968 344 325 0 1693 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11028

[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 8197
/proc/meminfo: memFree=26235360/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=11028 CPUtime=6.28 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 2318 0 0 0 628 0 0 0 20 0 1 0 343330154 11292672 1970 33554432000 134512640 135840783 4286966480 4286761356 15893552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 2757 1970 344 325 0 1693 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11028

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 8197
/proc/meminfo: memFree=26219860/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=22552 CPUtime=12.69 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 5400 0 0 0 1267 2 0 0 20 0 1 0 343330154 23093248 4884 33554432000 134512640 135840783 4286966480 4286965792 134551264 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 5638 4884 349 325 0 4574 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22552

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 8197
/proc/meminfo: memFree=26169004/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=48768 CPUtime=25.48 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 11946 0 0 0 2545 3 0 0 20 0 1 0 343330154 49938432 11430 33554432000 134512640 135840783 4286966480 4286965840 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 12192 11430 349 325 0 11128 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48768

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 8197
/proc/meminfo: memFree=26072376/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=100088 CPUtime=51.08 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 24789 0 0 0 5101 7 0 0 20 0 1 0 343330154 102490112 24273 33554432000 134512640 135840783 4286966480 4286965840 134550586 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 25022 24273 349 325 0 23958 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 100088

[startup+102.307 s]
/proc/loadavg: 2.06 2.00 2.00 3/178 8197
/proc/meminfo: memFree=25928564/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=197164 CPUtime=102.27 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 49050 0 0 0 10214 13 0 0 20 0 1 0 343330154 201895936 48534 33554432000 134512640 135840783 4286966480 4286965840 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 49291 48534 349 325 0 48227 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 197164

[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 8201
/proc/meminfo: memFree=25710336/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=362520 CPUtime=162.26 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 90381 0 0 0 16203 23 0 0 20 0 1 0 343330154 371220480 89865 33554432000 134512640 135840783 4286966480 4286965840 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 90630 89865 349 325 0 89566 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 362520

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 8201
/proc/meminfo: memFree=25472920/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=464844 CPUtime=222.25 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 115973 0 0 0 22195 30 0 0 20 0 1 0 343330154 476000256 115457 33554432000 134512640 135840783 4286966480 4286936848 1815054 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 116211 115457 349 325 0 115147 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 464844

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8201
/proc/meminfo: memFree=25262536/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=579996 CPUtime=282.24 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 144745 0 0 0 28188 36 0 0 20 0 1 0 343330154 593915904 144229 33554432000 134512640 135840783 4286966480 4286965840 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 144999 144229 349 325 0 143935 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 579996

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8201
/proc/meminfo: memFree=25116228/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=670876 CPUtime=342.24 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 167492 0 0 0 34182 42 0 0 20 0 1 0 343330154 686977024 166976 33554432000 134512640 135840783 4286966480 4286965840 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 167719 166976 349 325 0 166655 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 670876

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8201
/proc/meminfo: memFree=24949740/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=770344 CPUtime=402.22 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 192333 0 0 0 40172 50 0 0 20 0 1 0 343330154 788832256 191817 33554432000 134512640 135840783 4286966480 4286965840 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 192586 191817 349 325 0 191522 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 770344

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8202
/proc/meminfo: memFree=24770712/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=907748 CPUtime=462.21 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 226687 0 0 0 46163 58 0 0 20 0 1 0 343330154 929533952 226171 33554432000 134512640 135840783 4286966480 4286932032 2502297 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 226937 226171 349 325 0 225873 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 907748

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8202
/proc/meminfo: memFree=24593420/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=1001204 CPUtime=522.2 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 250056 0 0 0 52157 63 0 0 20 0 1 0 343330154 1025232896 249540 33554432000 134512640 135840783 4286966480 4286965840 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 250301 249540 349 325 0 249237 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1001204

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8202
/proc/meminfo: memFree=24475524/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=1086624 CPUtime=582.19 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 271402 0 0 0 58149 70 0 0 20 0 1 0 343330154 1112702976 270886 33554432000 134512640 135840783 4286966480 4286965840 134551353 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 271656 270886 349 325 0 270592 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1086624

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8207
/proc/meminfo: memFree=23830492/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=1463496 CPUtime=882.15 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 365627 0 0 0 88121 94 0 0 20 0 1 0 343330154 1498619904 365111 33554432000 134512640 135840783 4286966480 4286965568 2497796 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 365874 365111 349 325 0 364810 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 1463496

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8207
/proc/meminfo: memFree=23677752/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=1575808 CPUtime=942.14 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 393723 0 0 0 94112 102 0 0 20 0 1 0 343330154 1613627392 393207 33554432000 134512640 135840783 4286966480 4286965840 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 393952 393207 349 325 0 392888 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1575808

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8207
/proc/meminfo: memFree=23527988/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=1659744 CPUtime=1002.13 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 414704 0 0 0 100106 107 0 0 20 0 1 0 343330154 1699577856 414188 33554432000 134512640 135840783 4286966480 4286965792 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 414936 414188 349 325 0 413872 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1659744

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8207
/proc/meminfo: memFree=23372768/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=1739960 CPUtime=1062.13 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 434754 0 0 0 106102 111 0 0 20 0 1 0 343330154 1781719040 434238 33554432000 134512640 135840783 4286966480 4286965840 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 434990 434238 349 325 0 433926 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1739960

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 8208
/proc/meminfo: memFree=23286368/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=1786128 CPUtime=1122.11 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 446277 0 0 0 112098 113 0 0 20 0 1 0 343330154 1828995072 445761 33554432000 134512640 135840783 4286966480 4286965568 2497856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 446532 445761 349 325 0 445468 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1786128

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 8208
/proc/meminfo: memFree=23190048/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=1845328 CPUtime=1182.1 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 461094 0 0 0 118093 117 0 0 20 0 1 0 343330154 1889615872 460578 33554432000 134512640 135840783 4286966480 4286965840 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 461332 460578 349 325 0 460268 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1845328

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8247
/proc/meminfo: memFree=25014928/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=1905160 CPUtime=1242.07 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 476066 0 0 0 124085 122 0 0 20 0 1 0 343330154 1950883840 475520 33554432000 134512640 135840783 4286966480 4286965792 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 476290 475520 349 325 0 475226 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1905160

[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 8450
/proc/meminfo: memFree=24851000/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=1974480 CPUtime=1302.04 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 493437 0 0 0 130077 127 0 0 20 0 1 0 343330154 2021867520 492859 33554432000 134512640 135840783 4286966480 4286965840 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 493620 492859 349 325 0 492556 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1974480

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 8452
/proc/meminfo: memFree=24717236/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=2033212 CPUtime=1362 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 508159 0 0 0 136070 130 0 0 20 0 1 0 343330154 2082009088 507553 33554432000 134512640 135840783 4286966480 4286965840 134551079 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 508303 507553 349 325 0 507239 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 2033212

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8453
/proc/meminfo: memFree=24596140/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=2093016 CPUtime=1421.98 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 523110 0 0 0 142064 134 0 0 20 0 1 0 343330154 2143248384 522487 33554432000 134512640 135840783 4286966480 4286965776 134572040 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 523254 522487 349 325 0 522190 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 2093016

[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 8453
/proc/meminfo: memFree=24511228/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=2129948 CPUtime=1481.94 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 532373 0 0 0 148057 137 0 0 20 0 1 0 343330154 2181066752 531720 33554432000 134512640 135840783 4286966480 4286965840 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 532487 531720 349 325 0 531423 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 2129948

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8453
/proc/meminfo: memFree=24377832/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=2216356 CPUtime=1541.9 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 554035 0 0 0 154047 143 0 0 20 0 1 0 343330154 2269548544 553348 33554432000 134512640 135840783 4286966480 4286965840 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 554089 553348 349 325 0 553025 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 2216356

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8453
/proc/meminfo: memFree=24284240/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=2262480 CPUtime=1601.87 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 565600 0 0 0 160040 147 0 0 20 0 1 0 343330154 2316779520 564879 33554432000 134512640 135840783 4286966480 4286965840 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 565620 564879 349 325 0 564556 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 2262480

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8453
/proc/meminfo: memFree=24203296/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=2294468 CPUtime=1661.84 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 573607 0 0 0 166034 150 0 0 20 0 1 0 343330154 2349535232 572857 33554432000 134512640 135840783 4286966480 4286965840 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 573617 572857 349 325 0 572553 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 2294468

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8454
/proc/meminfo: memFree=24080192/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=2369592 CPUtime=1721.83 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 592398 0 0 0 172026 157 0 0 20 0 1 0 343330154 2426462208 591638 33554432000 134512640 135840783 4286966480 4286965840 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 592398 591638 349 325 0 591334 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 2369592

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8454
/proc/meminfo: memFree=23980276/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=2417880 CPUtime=1781.8 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 604505 0 0 0 178019 161 0 0 20 0 1 0 343330154 2475909120 603715 33554432000 134512640 135840783 4286966480 4286965840 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 604470 603715 349 325 0 603406 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 2417880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8454
/proc/meminfo: memFree=23948128/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=2434488 CPUtime=1800.1 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202496 608654 0 0 0 179848 162 0 0 20 0 1 0 343330154 2492915712 607855 33554432000 134512640 135840783 4286966480 4286944016 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 608622 607855 349 325 0 607558 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2434488

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.00 2.00 2.00 3/177 8454
/proc/meminfo: memFree=23948128/32873844 swapFree=7384/7384
[pid=8196] ppid=8194 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/8196/stat : 8196 (bsolo3.0.17) R 8194 8196 5940 0 -1 4202500 608657 0 0 0 179848 172 0 0 20 0 1 0 343330154 0 0 33554432000 0 0 0 0 0 0 16384 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8196/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.73
CPU time (s): 1800.23
CPU user time (s): 1798.49
CPU system time (s): 1.73773
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 2434488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.49
system time used= 1.73773
maximum resident set size= 2431420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 608657
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= 311
involuntary context switches= 1839

runsolver used 3.66244 second user time and 10.2634 second system time

The end

Launcher Data 

Begin job on node136 at 2012-06-04 03:07:27
IDJOB=3742516
IDBENCH=90199
IDSOLVER=2318
FILE ID=node136/3742516-1338772047
RUNJOBID= node136-1338749655-5957
PBS_JOBID= 14636804
Free space on /tmp= 69808 MiB

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

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

MD5SUM BENCH= 8f58618b79e9d2a9b56b6a791eca5768
RANDOM SEED=1936702622

node136.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.247
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.49
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.247
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.247
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.94
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.247
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.90
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.247
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.90
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.247
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.90
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.247
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
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:        26249792 kB
Buffers:         1274888 kB
Cached:          3612604 kB
SwapCached:        20316 kB
Active:          3537460 kB
Inactive:        2182484 kB
Active(anon):     804696 kB
Inactive(anon):    22308 kB
Active(file):    2732764 kB
Inactive(file):  2160176 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67083208 kB
Dirty:              7784 kB
Writeback:             0 kB
AnonPages:        812592 kB
Mapped:            10944 kB
Shmem:                 0 kB
Slab:             763176 kB
SReclaimable:     204636 kB
SUnreclaim:       558540 kB
KernelStack:        1464 kB
PageTables:         5632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     928120 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= 69804 MiB
End job on node136 at 2012-06-04 03:37:30