Trace number 3740065

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.02 1800.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6029_8-unsat.opb
MD5SUMc619d5d1f14c9c14bda19749a65da87b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1646.31
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11712
Total number of constraints38651
Number of constraints which are clauses38271
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints380
Minimum length of a constraint1
Maximum length of a constraint60
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 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 368
Number of bits of the biggest sum of numbers9
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-3740065-1338750123.opb
0.00/0.00	c File size is 1219451 bytes.
0.09/0.11	c Highest Coefficient sum: 368
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.114 s
0.09/0.12	c Var: 11712 Constr: 38651 38271/0/380 Lit: 104481 Watch. Lit: 95623
0.09/0.12	c Obj. Vars: 0 (0 % of total variables)
0.68/0.77	c Pre-processing Time: 0.768 s
0.68/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.77	c        0   3781    10525    31378    2    27683   21911      0      0 0.77
0.68/0.77	c Switching off LPR mode.
1800.00/1800.40	c      103   3779    10628    35157    3    29095   24103    103    126 0.81
1800.00/1800.40	c      254   3779    10779    43691    4    29469   26514    254    292 0.87
1800.00/1800.40	c      480   3779    11005    57011    5    29924   29166    480    511 0.94
1800.00/1800.40	c      818   3779    11343    72845    6    30630   32083    818    804 1.02
1800.00/1800.40	c     1326   3779    11851    98545    8    31611   35292   1326   1135 1.17
1800.00/1800.40	c     2089   3779    12614   148777   11    33140   38822   2089   1422 1.47
1800.00/1800.40	c     3235   3779    13760   246078   17    35426   42705   3235   1675 1.93
1800.00/1800.40	c     4956   3779    15481   369525   23    38879   46976   4956   1875 2.64
1800.00/1800.40	c     7541   3779    18066   593001   32    44036   51674   7541   1954 3.86
1800.00/1800.40	c    11420   3779    21945   925166   42    51780   56842  11420   2087 5.47
1800.00/1800.40	c    17247   3779    27772  1389388   50    63489   62527  17247   2127 8.11
1800.00/1800.40	c    25985   3779    36510  2099603   57    80907   68780  25985   1986 13.08
1800.00/1800.40	c    39096   3779    49621  3317134   66   107133   75659  39096   1776 22.00
1800.00/1800.40	c    58767   3779    69292  5954403   85   146507   83225  58767   1280 45.89
1800.00/1800.40	c    88277   3779    98802  9379831   94   205492   91548  88277   1040 84.88
1800.00/1800.40	c   132547   3779    56104  5920530  105   120130  100703  45579    918 144.29
1800.00/1800.40	c   198957   3779    29967  1979612   66    67831  110774  19442    779 255.21
1800.00/1800.40	c   298580   3779    29161  2105248   72    66265  121852  18636    628 475.21
1800.00/1800.40	c   448015   3779    63809  7181123  112   135527  134038  53284    575 778.34
1800.00/1800.40	c   672173   3779    34359  2709701   78    76633  147442  23834    527 1274.41
1800.00/1800.40	c Caught signal: 15
1800.00/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.40	c   20   905770 195591  1260388   127419 19388104 116894    503 1800.02
1800.00/1800.40	s UNKNOWN
1800.00/1800.40	c Total time: 1800.02 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-3740065-1338750123/watcher-3740065-1338750123 -o /tmp/evaluation-result-3740065-1338750123/solver-3740065-1338750123 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3740065-1338750123.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: 1.92 1.98 1.91 3/176 21439
/proc/meminfo: memFree=27977924/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=5880 CPUtime=0 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 473 0 0 0 0 0 0 0 20 0 1 0 341139177 6021120 411 33554432000 134512640 135840783 4294370848 4294369680 11715879 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21439/statm: 1470 411 327 325 0 108 0

[startup+0.0723739 s]
/proc/loadavg: 1.92 1.98 1.91 3/176 21439
/proc/meminfo: memFree=27977924/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=9212 CPUtime=0.06 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 1498 0 0 0 6 0 0 0 20 0 1 0 341139177 9433088 1435 33554432000 134512640 135840783 4294370848 4294369664 11715879 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21439/statm: 2303 1435 510 325 0 941 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9212

[startup+0.100226 s]
/proc/loadavg: 1.92 1.98 1.91 3/176 21439
/proc/meminfo: memFree=27977924/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=10340 CPUtime=0.09 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 1852 0 0 0 9 0 0 0 20 0 1 0 341139177 10588160 1789 33554432000 134512640 135840783 4294370848 4294369024 11572998 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21439/statm: 2585 1790 581 325 0 1223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10340

[startup+0.300205 s]
/proc/loadavg: 1.92 1.98 1.91 3/176 21439
/proc/meminfo: memFree=27977924/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=12856 CPUtime=0.28 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 2820 0 0 0 28 0 0 0 20 0 1 0 341139177 13164544 2459 33554432000 134512640 135840783 4294370848 4294229420 7586864 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21439/statm: 3214 2459 342 325 0 2150 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12856

[startup+0.700172 s]
/proc/loadavg: 1.92 1.98 1.91 3/176 21439
/proc/meminfo: memFree=27977924/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=12988 CPUtime=0.68 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 2829 0 0 0 68 0 0 0 20 0 1 0 341139177 13299712 2468 33554432000 134512640 135840783 4294370848 4294229420 7586864 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21439/statm: 3247 2468 342 325 0 2183 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12988

[startup+1.50018 s]
/proc/loadavg: 1.93 1.98 1.91 2/175 21516
/proc/meminfo: memFree=27968768/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=13000 CPUtime=1.49 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 2907 0 0 0 148 1 0 0 20 0 1 0 341139177 13312000 2500 33554432000 134512640 135840783 4294370848 4294369876 11702541 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21439/statm: 3250 2500 347 325 0 2186 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13000

[startup+3.10018 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 21592
/proc/meminfo: memFree=27961956/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=14848 CPUtime=3.09 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 3358 0 0 0 308 1 0 0 20 0 1 0 341139177 15204352 2951 33554432000 134512640 135840783 4294370848 4294370144 134572374 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21439/statm: 3712 2951 347 325 0 2648 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14848

[startup+6.30019 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 21630
/proc/meminfo: memFree=27930164/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=23032 CPUtime=6.27 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 5394 0 0 0 626 1 0 0 20 0 1 0 341139177 23584768 5002 33554432000 134512640 135840783 4294370848 4294366288 11715879 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 5758 5002 347 325 0 4694 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 23032

[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.91 3/177 21630
/proc/meminfo: memFree=27916368/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=36760 CPUtime=12.67 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 8851 0 0 0 1265 2 0 0 20 0 1 0 341139177 37642240 8459 33554432000 134512640 135840783 4294370848 4294370208 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 9190 8459 347 325 0 8126 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 36760

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.91 3/177 21630
/proc/meminfo: memFree=27893232/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=60844 CPUtime=25.48 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 14864 0 0 0 2544 4 0 0 20 0 1 0 341139177 62304256 14472 33554432000 134512640 135840783 4294370848 4294367680 11715879 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 15211 14472 347 325 0 14147 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60844

[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.91 3/177 21630
/proc/meminfo: memFree=27858516/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=95904 CPUtime=51.06 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 23643 0 0 0 5098 8 0 0 20 0 1 0 341139177 98205696 23239 33554432000 134512640 135840783 4294370848 4294367632 11715879 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 23976 23239 347 325 0 22912 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 95904

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.91 3/177 21668
/proc/meminfo: memFree=27799496/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=153196 CPUtime=102.23 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 38006 0 0 0 10210 13 0 0 20 0 1 0 341139177 156872704 37562 33554432000 134512640 135840783 4294370848 4294365184 11715879 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 38299 37562 347 325 0 37235 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 153196

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21707
/proc/meminfo: memFree=27795644/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=157296 CPUtime=162.2 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 39139 0 0 0 16207 13 0 0 20 0 1 0 341139177 161071104 38580 33554432000 134512640 135840783 4294370848 4294370208 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 39324 38580 347 325 0 38260 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 157296

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21707
/proc/meminfo: memFree=27714800/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=176304 CPUtime=222.19 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 43889 0 0 0 22203 16 0 0 20 0 1 0 341139177 180535296 43330 33554432000 134512640 135840783 4294370848 4294370208 134551076 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 44076 43330 347 325 0 43012 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 176304

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21707
/proc/meminfo: memFree=27610020/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=196932 CPUtime=282.17 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 49165 0 0 0 28198 19 0 0 20 0 1 0 341139177 201658368 48478 33554432000 134512640 135840783 4294370848 4294370208 134551182 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 49233 48478 347 325 0 48169 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 196932

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21707
/proc/meminfo: memFree=27553876/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=196932 CPUtime=342.16 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 49165 0 0 0 34197 19 0 0 20 0 1 0 341139177 201658368 48478 33554432000 134512640 135840783 4294370848 4294370208 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 49233 48478 347 325 0 48169 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 196932

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21707
/proc/meminfo: memFree=27502808/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=196932 CPUtime=402.15 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 49165 0 0 0 40196 19 0 0 20 0 1 0 341139177 201658368 48478 33554432000 134512640 135840783 4294370848 4294370208 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 49233 48478 347 325 0 48169 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 196932

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/176 21707
/proc/meminfo: memFree=27454688/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=221904 CPUtime=462.14 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 55435 0 0 0 46193 21 0 0 20 0 1 0 341139177 227229696 54748 33554432000 134512640 135840783 4294370848 4294370084 11710623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 55476 54748 347 325 0 54412 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 221904

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 21711
/proc/meminfo: memFree=27446136/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=229972 CPUtime=522.13 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 57560 0 0 0 52191 22 0 0 20 0 1 0 341139177 235491328 56756 33554432000 134512640 135840783 4294370848 4294370208 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 57493 56756 347 325 0 56429 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 229972

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21711
/proc/meminfo: memFree=27446304/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=229972 CPUtime=582.11 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 57573 0 0 0 58189 22 0 0 20 0 1 0 341139177 235491328 56756 33554432000 134512640 135840783 4294370848 4294370128 11718242 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 57493 56756 347 325 0 56429 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 229972

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21712
/proc/meminfo: memFree=27274300/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=259720 CPUtime=822.08 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 65126 0 0 0 82182 26 0 0 20 0 1 0 341139177 265953280 64177 33554432000 134512640 135840783 4294370848 4294370208 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 64930 64177 347 325 0 63866 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 259720

[startup+882.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21712
/proc/meminfo: memFree=27274792/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=259720 CPUtime=882.07 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 65126 0 0 0 88181 26 0 0 20 0 1 0 341139177 265953280 64177 33554432000 134512640 135840783 4294370848 4294370208 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 64930 64177 347 325 0 63866 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 259720

[startup+942.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21712
/proc/meminfo: memFree=27275124/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=259736 CPUtime=942.06 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 65130 0 0 0 94180 26 0 0 20 0 1 0 341139177 265969664 64181 33554432000 134512640 135840783 4294370848 4294370208 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 64934 64181 347 325 0 63870 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 259736

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21712
/proc/meminfo: memFree=27275120/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=259768 CPUtime=1002.05 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 65281 0 0 0 100179 26 0 0 20 0 1 0 341139177 266002432 64189 33554432000 134512640 135840783 4294370848 4294370208 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 64942 64189 347 325 0 63878 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 259768

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21712
/proc/meminfo: memFree=27275096/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=259768 CPUtime=1062.03 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 65293 0 0 0 106177 26 0 0 20 0 1 0 341139177 266002432 64189 33554432000 134512640 135840783 4294370848 4294370208 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 64942 64189 347 325 0 63878 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 259768

[startup+1122.3 s]
/proc/loadavg: 2.06 2.00 1.91 3/178 21716
/proc/meminfo: memFree=27276084/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=259768 CPUtime=1122.02 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 65293 0 0 0 112176 26 0 0 20 0 1 0 341139177 266002432 64189 33554432000 134512640 135840783 4294370848 4294370208 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 64942 64189 347 325 0 63878 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 259768

[startup+1182.3 s]
/proc/loadavg: 2.06 2.01 1.92 3/177 21716
/proc/meminfo: memFree=27275844/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=260560 CPUtime=1182.01 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 65491 0 0 0 118175 26 0 0 20 0 1 0 341139177 266813440 64387 33554432000 134512640 135840783 4294370848 4294367824 134547668 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 65140 64387 347 325 0 64076 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 260560

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 21716
/proc/meminfo: memFree=27241624/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=294484 CPUtime=1242 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 73993 0 0 0 124170 30 0 0 20 0 1 0 341139177 301551616 72889 33554432000 134512640 135840783 4294370848 4294370084 11710607 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 73621 72889 347 325 0 72557 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 294484

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 21716
/proc/meminfo: memFree=27195112/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=310060 CPUtime=1302 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 78005 0 0 0 130168 32 0 0 20 0 1 0 341139177 317501440 76761 33554432000 134512640 135840783 4294370848 4294370208 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 77515 76761 347 325 0 76451 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 310060

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21716
/proc/meminfo: memFree=27152840/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=310060 CPUtime=1361.98 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 78005 0 0 0 136166 32 0 0 20 0 1 0 341139177 317501440 76761 33554432000 134512640 135840783 4294370848 4294370208 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 77515 76761 347 325 0 76451 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 310060

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21717
/proc/meminfo: memFree=27127048/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=310060 CPUtime=1421.98 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 78005 0 0 0 142166 32 0 0 20 0 1 0 341139177 317501440 76761 33554432000 134512640 135840783 4294370848 4294370208 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 77515 76761 347 325 0 76451 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 310060

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21717
/proc/meminfo: memFree=27106136/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=310060 CPUtime=1481.96 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 78014 0 0 0 148164 32 0 0 20 0 1 0 341139177 317501440 76761 33554432000 134512640 135840783 4294370848 4294370208 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 77515 76761 347 325 0 76451 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 310060

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21717
/proc/meminfo: memFree=27078452/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=310092 CPUtime=1541.94 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 78037 0 0 0 154162 32 0 0 20 0 1 0 341139177 317534208 76768 33554432000 134512640 135840783 4294370848 4294370208 134551179 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 77523 76768 347 325 0 76459 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 310092

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 21717
/proc/meminfo: memFree=27054768/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=310112 CPUtime=1601.93 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 78197 0 0 0 160161 32 0 0 20 0 1 0 341139177 317554688 76774 33554432000 134512640 135840783 4294370848 4294370160 134550994 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 77528 76774 347 325 0 76464 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 310112

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 1.93 3/177 21717
/proc/meminfo: memFree=27054896/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=310112 CPUtime=1661.92 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 78197 0 0 0 166160 32 0 0 20 0 1 0 341139177 317554688 76774 33554432000 134512640 135840783 4294370848 4294370208 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 77528 76774 347 325 0 76464 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 310112

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/178 21721
/proc/meminfo: memFree=27054764/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=310112 CPUtime=1721.91 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 78197 0 0 0 172159 32 0 0 20 0 1 0 341139177 317554688 76774 33554432000 134512640 135840783 4294370848 4294370208 134550782 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 77528 76774 347 325 0 76464 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 310112

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 21721
/proc/meminfo: memFree=27054648/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=310112 CPUtime=1781.9 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 78197 0 0 0 178158 32 0 0 20 0 1 0 341139177 317554688 76774 33554432000 134512640 135840783 4294370848 4294370208 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 77528 76774 347 325 0 76464 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 310112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 21721
/proc/meminfo: memFree=27054896/32873648 swapFree=6864/6864
[pid=21439] ppid=21437 vsize=310112 CPUtime=1800 cores=0,2,4,6
/proc/21439/stat : 21439 (bsolo3.0.17) R 21437 21439 20253 0 -1 4202496 78197 0 0 0 179968 32 0 0 20 0 1 0 341139177 317554688 76774 33554432000 134512640 135840783 4294370848 4294370208 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21439/statm: 77528 76774 347 325 0 76464 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 310112

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.41
CPU time (s): 1800.02
CPU user time (s): 1799.69
CPU system time (s): 0.32695
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 310728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.32695
maximum resident set size= 307712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78200
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= 155
involuntary context switches= 1862

runsolver used 3.09053 second user time and 9.24459 second system time

The end

Launcher Data

Begin job on node113 at 2012-06-03 21:02:03
IDJOB=3740065
IDBENCH=76228
IDSOLVER=2318
FILE ID=node113/3740065-1338750123
RUNJOBID= node113-1338748314-20269
PBS_JOBID= 14636785
Free space on /tmp= 70976 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6029_8-unsat.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740065-1338750123/watcher-3740065-1338750123 -o /tmp/evaluation-result-3740065-1338750123/solver-3740065-1338750123 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3740065-1338750123.opb            

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

MD5SUM BENCH= c619d5d1f14c9c14bda19749a65da87b
RANDOM SEED=1793756915

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:        27979320 kB
Buffers:          518404 kB
Cached:          3479088 kB
SwapCached:         2028 kB
Active:          1727764 kB
Inactive:        2275808 kB
Active(anon):       5408 kB
Inactive(anon):     1912 kB
Active(file):    1722356 kB
Inactive(file):  2273896 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099708 kB
Dirty:             15396 kB
Writeback:             0 kB
AnonPages:         10584 kB
Mapped:            10588 kB
Shmem:                 0 kB
Slab:             754036 kB
SReclaimable:     195936 kB
SUnreclaim:       558100 kB
KernelStack:        1440 kB
PageTables:         4356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     105868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70960 MiB
End job on node113 at 2012-06-03 21:32:06