Trace number 3738034

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.09 1800.51

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_2_15.opb
MD5SUMb437bd5db918ab114396d43dfca73285
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark93.6968
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6148
Sum of products size (including duplicates)12296
Number of different products3074
Sum of products size6148

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-3738034-1338731902.opb
0.00/0.00	c File size is 79472 bytes.
0.00/0.02	c Highest Coefficient sum: 200
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.015 s
0.00/0.02	c Var: 6348 Constr: 12599 6248/203/6148 Lit: 43736 Watch. Lit: 37306
0.00/0.02	c Obj. Vars: 0 (0 % of total variables)
7.48/7.54	c Pre-processing Time: 7.538 s
7.48/7.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.48/7.54	c        0   6348    12599    43736    3    37306  103649      0      0 7.54
7.48/7.54	c Switching off LPR mode.
1800.07/1800.50	c      105   6348    12704    61132    4    37516  114014    105     13 7.56
1800.07/1800.50	c      258   6348    12857    88379    6    37822  125416    258     33 7.59
1800.07/1800.50	c      484   6348    13083   127337    9    38274  137958    484     63 7.64
1800.07/1800.50	c      842   6348    13441   187027   13    38990  151754    842    108 7.76
1800.07/1800.50	c     1360   6348    13959   280450   20    40026  166930   1360    173 7.85
1800.07/1800.50	c     2130   6348    14729   418297   28    41566  183624   2130    262 8.10
1800.07/1800.50	c     3276   6348    15875   565866   35    43858  201987   3276    379 8.63
1800.07/1800.50	c     5014   6348    17613   851129   48    47334  222186   5014    471 10.63
1800.07/1800.50	c     7601   6348    20200  1284949   63    52508  244405   7601    559 13.58
1800.07/1800.50	c    11484   6348    24083  1874532   77    60274  268846  11484    625 18.36
1800.07/1800.50	c    17308   6348    29907  2839401   94    71922  295731  17308    707 24.45
1800.07/1800.50	c    26048   6348    38647  4246413  109    89402  325305  26048    731 35.63
1800.07/1800.50	c    39158   6348    51757  6337681  122   115622  357836  39158    659 59.38
1800.07/1800.50	c    58838   6348    71437  9338649  130   154982  393620  58838    471 124.72
1800.07/1800.50	c    88348   6348   100947 13665932  135   214002  432983  88348    286 308.24
1800.07/1800.50	c   132618   6348   145217 20276019  139   302542  476282 132618    177 747.21
1800.07/1800.50	c Caught signal: 15
1800.07/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.50	c   16   189786  53868   576017   202385 29096872 189786    105 1800.08
1800.07/1800.50	s UNKNOWN
1800.07/1800.50	c Total time: 1800.08 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-3738034-1338731902/watcher-3738034-1338731902 -o /tmp/evaluation-result-3738034-1338731902/solver-3738034-1338731902 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3738034-1338731902.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.99 1.99 3/176 19865
/proc/meminfo: memFree=30484072/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 339316024 4583424 149 33554432000 134512640 135840783 4290221296 4290220600 5817988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 1119 154 132 325 0 39 0

[startup+0.096131 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 19865
/proc/meminfo: memFree=30484072/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=7880 CPUtime=0.09 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 1315 0 0 0 9 0 0 0 20 0 1 0 339316024 8069120 1231 33554432000 134512640 135840783 4290221296 4290144236 5420080 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 1970 1231 343 325 0 906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7880

[startup+0.100222 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 19865
/proc/meminfo: memFree=30484072/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=7880 CPUtime=0.09 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 1315 0 0 0 9 0 0 0 20 0 1 0 339316024 8069120 1231 33554432000 134512640 135840783 4290221296 4290144236 5420080 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 1970 1231 343 325 0 906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7880

[startup+0.300335 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 19865
/proc/meminfo: memFree=30484072/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=7880 CPUtime=0.29 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 1318 0 0 0 29 0 0 0 20 0 1 0 339316024 8069120 1234 33554432000 134512640 135840783 4290221296 4290144208 134583456 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 1970 1234 343 325 0 906 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7880

[startup+0.700178 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 19865
/proc/meminfo: memFree=30484072/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=7880 CPUtime=0.69 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 1318 0 0 0 69 0 0 0 20 0 1 0 339316024 8069120 1234 33554432000 134512640 135840783 4290221296 4290143764 6316386 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 1970 1234 343 325 0 906 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7880

[startup+1.50018 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 19866
/proc/meminfo: memFree=30478748/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=7880 CPUtime=1.49 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 1318 0 0 0 149 0 0 0 20 0 1 0 339316024 8069120 1234 33554432000 134512640 135840783 4290221296 4290144236 5420080 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 1970 1234 343 325 0 906 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7880

[startup+3.10018 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 19866
/proc/meminfo: memFree=30476112/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=7880 CPUtime=3.09 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 1318 0 0 0 309 0 0 0 20 0 1 0 339316024 8069120 1234 33554432000 134512640 135840783 4290221296 4290144236 5420080 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 1970 1234 343 325 0 906 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7880

[startup+6.30018 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 19866
/proc/meminfo: memFree=30471460/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=7880 CPUtime=6.29 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 1318 0 0 0 629 0 0 0 20 0 1 0 339316024 8069120 1234 33554432000 134512640 135840783 4290221296 4290144236 5420080 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 1970 1234 343 325 0 906 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7880

[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 19866
/proc/meminfo: memFree=30450584/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=22400 CPUtime=12.68 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 5202 0 0 0 1267 1 0 0 20 0 1 0 339316024 22937600 4856 33554432000 134512640 135840783 4290221296 4290220652 134520568 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 5600 4856 347 325 0 4536 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22400

[startup+25.5008 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 19866
/proc/meminfo: memFree=30412640/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=48936 CPUtime=25.48 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 11834 0 0 0 2545 3 0 0 20 0 1 0 339316024 50110464 11488 33554432000 134512640 135840783 4290221296 4290220608 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 12234 11488 347 325 0 11170 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48936

[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 19866
/proc/meminfo: memFree=30360484/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=85060 CPUtime=51.08 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 20897 0 0 0 5101 7 0 0 20 0 1 0 339316024 87101440 20547 33554432000 134512640 135840783 4290221296 4290220656 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 21265 20547 347 325 0 20201 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85060

[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/178 19870
/proc/meminfo: memFree=30299696/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=119584 CPUtime=102.23 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 29552 0 0 0 10213 10 0 0 20 0 1 0 339316024 122454016 29154 33554432000 134512640 135840783 4290221296 4290220608 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 29896 29154 347 325 0 28832 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 119584

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 19892
/proc/meminfo: memFree=30239024/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=147156 CPUtime=162.21 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 36462 0 0 0 16207 14 0 0 20 0 1 0 339316024 150687744 36059 33554432000 134512640 135840783 4290221296 4290220480 5954303 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 36789 36059 347 325 0 35725 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 147156

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19892
/proc/meminfo: memFree=30205084/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=166616 CPUtime=222.21 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 41322 0 0 0 22204 17 0 0 20 0 1 0 339316024 170614784 40919 33554432000 134512640 135840783 4290221296 4290220656 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 41654 40919 347 325 0 40590 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 166616

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19892
/proc/meminfo: memFree=30171360/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=184512 CPUtime=282.19 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 45788 0 0 0 28200 19 0 0 20 0 1 0 339316024 188940288 45385 33554432000 134512640 135840783 4290221296 4290220656 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 46128 45385 347 325 0 45064 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 184512

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19892
/proc/meminfo: memFree=30137868/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=200020 CPUtime=342.15 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 49705 0 0 0 34194 21 0 0 20 0 1 0 339316024 204820480 49265 33554432000 134512640 135840783 4290221296 4290220532 6324253 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 50005 49265 347 325 0 48941 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 200020

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19893
/proc/meminfo: memFree=30116420/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=211880 CPUtime=402.14 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 52694 0 0 0 40191 23 0 0 20 0 1 0 339316024 216965120 52254 33554432000 134512640 135840783 4290221296 4290220656 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 52970 52254 347 325 0 51906 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 211880

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19893
/proc/meminfo: memFree=30088300/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=226688 CPUtime=462.13 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 56390 0 0 0 46187 26 0 0 20 0 1 0 339316024 232128512 55950 33554432000 134512640 135840783 4290221296 4290220608 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 56672 55950 347 325 0 55608 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 226688

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19893
/proc/meminfo: memFree=30062172/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=240728 CPUtime=522.13 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 59902 0 0 0 52184 29 0 0 20 0 1 0 339316024 246505472 59462 33554432000 134512640 135840783 4290221296 4290220608 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 60182 59462 347 325 0 59118 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 240728

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19893
/proc/meminfo: memFree=30042332/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=249864 CPUtime=582.11 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 62183 0 0 0 58181 30 0 0 20 0 1 0 339316024 255860736 61743 33554432000 134512640 135840783 4290221296 4290220608 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 62466 61743 347 325 0 61402 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 249864

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19897
/proc/meminfo: memFree=29961472/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=297264 CPUtime=882.04 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 74066 0 0 0 88166 38 0 0 20 0 1 0 339316024 304398336 73595 33554432000 134512640 135840783 4290221296 4290220656 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 74316 73595 347 325 0 73252 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 297264

[startup+942.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 19897
/proc/meminfo: memFree=29948576/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=304732 CPUtime=942.03 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 75909 0 0 0 94164 39 0 0 20 0 1 0 339316024 312045568 75438 33554432000 134512640 135840783 4290221296 4290220656 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 76183 75438 347 325 0 75119 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 304732

[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 19898
/proc/meminfo: memFree=29934036/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=310796 CPUtime=1002.01 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 77462 0 0 0 100160 41 0 0 20 0 1 0 339316024 318255104 76975 33554432000 134512640 135840783 4290221296 4290220656 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 77699 76975 347 325 0 76635 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 310796

[startup+1062.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 19898
/proc/meminfo: memFree=29920404/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=318260 CPUtime=1061.99 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 79315 0 0 0 106157 42 0 0 20 0 1 0 339316024 325898240 78821 33554432000 134512640 135840783 4290221296 4290220608 134550887 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 79565 78821 347 325 0 78501 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 318260

[startup+1122.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19898
/proc/meminfo: memFree=29900568/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=324432 CPUtime=1121.98 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 80884 0 0 0 112155 43 0 0 20 0 1 0 339316024 332218368 80390 33554432000 134512640 135840783 4290221296 4290220656 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 81108 80390 347 325 0 80044 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 324432

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19898
/proc/meminfo: memFree=29888292/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=332800 CPUtime=1181.97 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 82948 0 0 0 118152 45 0 0 20 0 1 0 339316024 340787200 82454 33554432000 134512640 135840783 4290221296 4290220656 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 83200 82454 347 325 0 82136 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 332800

[startup+1242.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 19898
/proc/meminfo: memFree=29873140/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=338596 CPUtime=1241.97 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 84415 0 0 0 124150 47 0 0 20 0 1 0 339316024 346722304 83921 33554432000 134512640 135840783 4290221296 4290220608 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 84649 83921 347 325 0 83585 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 338596

[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 19902
/proc/meminfo: memFree=29860716/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=344536 CPUtime=1301.97 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 85910 0 0 0 130148 49 0 0 20 0 1 0 339316024 352804864 85416 33554432000 134512640 135840783 4290221296 4290220648 10524838 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 86134 85416 347 325 0 85070 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 344536

[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 19902
/proc/meminfo: memFree=29852208/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=349176 CPUtime=1361.95 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 87072 0 0 0 136146 49 0 0 20 0 1 0 339316024 357556224 86578 33554432000 134512640 135840783 4290221296 4290220532 6324196 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 87294 86578 347 325 0 86230 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 349176

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 19902
/proc/meminfo: memFree=29843004/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=353036 CPUtime=1421.93 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 88023 0 0 0 142143 50 0 0 20 0 1 0 339316024 361508864 87515 33554432000 134512640 135840783 4290221296 4290220656 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 88259 87515 347 325 0 87195 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 353036

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 19902
/proc/meminfo: memFree=29832368/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=359868 CPUtime=1481.91 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 89756 0 0 0 148140 51 0 0 20 0 1 0 339316024 368504832 89241 33554432000 134512640 135840783 4290221296 4290220656 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 89967 89241 347 325 0 88903 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 359868

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19902
/proc/meminfo: memFree=29821584/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=364776 CPUtime=1541.9 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 90986 0 0 0 154138 52 0 0 20 0 1 0 339316024 373530624 90471 33554432000 134512640 135840783 4290221296 4290220656 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 91194 90471 347 325 0 90130 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 364776

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19903
/proc/meminfo: memFree=29806952/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=375612 CPUtime=1601.9 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 93685 0 0 0 160135 55 0 0 20 0 1 0 339316024 384626688 93170 33554432000 134512640 135840783 4290221296 4290220656 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 93903 93170 347 325 0 92839 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 375612

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19903
/proc/meminfo: memFree=29793956/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=383724 CPUtime=1661.88 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 95704 0 0 0 166132 56 0 0 20 0 1 0 339316024 392933376 95189 33554432000 134512640 135840783 4290221296 4290220656 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 95931 95189 347 325 0 94867 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 383724

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19903
/proc/meminfo: memFree=29782920/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=389392 CPUtime=1721.88 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 97135 0 0 0 172130 58 0 0 20 0 1 0 339316024 398737408 96620 33554432000 134512640 135840783 4290221296 4290220656 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 97348 96620 347 325 0 96284 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 389392

[startup+1782.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 19942
/proc/meminfo: memFree=30098044/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=396872 CPUtime=1781.87 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 99015 0 0 0 178128 59 0 0 20 0 1 0 339316024 406396928 98500 33554432000 134512640 135840783 4290221296 4290220556 6327123 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 99218 98500 347 325 0 98154 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 396872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 20018
/proc/meminfo: memFree=30099780/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=398416 CPUtime=1800.07 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 99395 0 0 0 179948 59 0 0 20 0 1 0 339316024 407977984 98880 33554432000 134512640 135840783 4290221296 4290220656 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 99604 98880 347 325 0 98540 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 398416

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

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

[startup+1800.5 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 20018
/proc/meminfo: memFree=30099780/32873648 swapFree=6860/6860
[pid=19865] ppid=19863 vsize=398416 CPUtime=1800.07 cores=1,3,5,7
/proc/19865/stat : 19865 (bsolo3.0.17) R 19863 19865 18429 0 -1 4202496 99395 0 0 0 179948 59 0 0 20 0 1 0 339316024 407977984 98880 33554432000 134512640 135840783 4290221296 4290220656 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19865/statm: 99604 98880 347 325 0 98540 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 398416

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.49
CPU system time (s): 0.599908
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 398416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.599908
maximum resident set size= 395520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99398
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= 177
involuntary context switches= 1851

runsolver used 4.20336 second user time and 8.96164 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-03 15:58:22
IDJOB=3738034
IDBENCH=48376
IDSOLVER=2318
FILE ID=node124/3738034-1338731902
RUNJOBID= node124-1338713740-18446
PBS_JOBID= 14636741
Free space on /tmp= 70704 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_2_15.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738034-1338731902/watcher-3738034-1338731902 -o /tmp/evaluation-result-3738034-1338731902/solver-3738034-1338731902 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3738034-1338731902.opb            

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

MD5SUM BENCH= b437bd5db918ab114396d43dfca73285
RANDOM SEED=2090862414

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30484956 kB
Buffers:          201536 kB
Cached:          1377992 kB
SwapCached:         8268 kB
Active:           436288 kB
Inactive:        1184384 kB
Active(anon):      34876 kB
Inactive(anon):     8240 kB
Active(file):     401412 kB
Inactive(file):  1176144 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091596 kB
Dirty:             12992 kB
Writeback:             0 kB
AnonPages:         40104 kB
Mapped:            10360 kB
Shmem:                 0 kB
Slab:             630036 kB
SReclaimable:      74480 kB
SUnreclaim:       555556 kB
KernelStack:        1456 kB
PageTables:         4084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     155420 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= 70696 MiB
End job on node124 at 2012-06-03 16:28:24