Trace number 3743485

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 NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17? (TO) 1800.03 1800.62

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null20mast_rapportOE2.0_TMAX120_K67_cod1.opb
MD5SUM6eb3741facf0d504b30be588ac2cd196
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-1547
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 16038
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1672374
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1672374
Number of bits of the biggest sum of numbers21
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-3743485-1338782388.opb
0.00/0.00	c File size is 2647596 bytes.
0.19/0.26	c Highest Coefficient sum: 1.67237e+06
0.19/0.26	c Parsing was ok!!
0.19/0.26	c Total parsing time: 0.256 s
0.19/0.28	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161260
0.19/0.28	c Obj. Vars: 16038 (39.648 % of total variables)
27.49/27.56	c Pre-processing Time: 27.554 s
27.49/27.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.49/27.56	c        0  19682    33499   187590    5   137692  622567      0      0 27.55
27.49/27.56	c Switching off LPR mode.
1800.01/1800.61	c      101  19682    33600   231505    6   137953  684824    101      3 27.82
1800.01/1800.61	c      251  19682    33750   235297    6   138267  753307    251      8 28.16
1800.01/1800.61	c      477  19682    33976   246820    7   138722  828638    477     16 28.74
1800.01/1800.61	c      815  19682    34314   278029    8   139393  911502    815     27 29.78
1800.01/1800.61	c     1323  19682    34822   347265    9   140415  500000   1323     42 31.18
1800.01/1800.61	c     2087  19682    35586   473631   13   141942  550001   2087     61 34.05
1800.01/1800.61	c     3235  19682    36734   644218   17   144239  605002   3235     85 38.03
1800.01/1800.61	c     4956  19682    38455   853129   22   147672  665503   4956    117 42.34
1800.01/1800.61	c     7541  19682    41040  1204894   29   152843  732054   7541    146 51.58
1800.01/1800.61	c    11422  19682    44921  1846388   41   160600  805260  11422    181 62.98
1800.01/1800.61	c    17244  19682    50743  2998644   59   172246  885787  17244    184 93.39
1800.01/1800.61	c    25982  19682    59481  4846788   81   189724  974366  25982    185 140.40
1800.01/1800.61	c    39092  19682    72591  6817283   93   215946  500000  39092    201 194.08
1800.01/1800.61	c    58764  19682    92263  9994120  108   255291  550001  58764    205 286.40
1800.01/1800.61	c    88274  19682   121773 16303481  133   314301  605002  88274    201 437.04
1800.01/1800.61	c   132547  19682   166046 28180397  169   402852  665503 132547    186 712.15
1800.01/1800.61	c   198958  19682   232457 47703887  205   535673  732054 198958    151 1315.39
1800.01/1800.61	c Caught signal: 15
1800.01/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.61	c   17   225564  68338   472572   259063 56578991 225564    125 1800.02
1800.01/1800.61	s UNKNOWN
1800.01/1800.61	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-3743485-1338782388/watcher-3743485-1338782388 -o /tmp/evaluation-result-3743485-1338782388/solver-3743485-1338782388 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743485-1338782388.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/176 8828
/proc/meminfo: memFree=28073180/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=4472 CPUtime=0 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 344364441 4579328 61 33554432000 134512640 135840783 4287112192 4287110000 5492983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 1118 69 54 325 0 38 0

[startup+0.0899659 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8828
/proc/meminfo: memFree=28073180/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=11364 CPUtime=0.08 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 1773 0 0 0 8 0 0 0 20 0 1 0 344364441 11636736 1670 33554432000 134512640 135840783 4287112192 4287110928 6001959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 2841 1672 557 325 0 1130 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11364

[startup+0.100292 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8828
/proc/meminfo: memFree=28073180/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=11952 CPUtime=0.09 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 1984 0 0 0 9 0 0 0 20 0 1 0 344364441 12238848 1802 33554432000 134512640 135840783 4287112192 4287110848 6001959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 2989 1802 582 325 0 1278 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11952

[startup+0.300288 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8828
/proc/meminfo: memFree=28073180/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=20740 CPUtime=0.29 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 5151 0 0 0 29 0 0 0 20 0 1 0 344364441 21237760 4322 33554432000 134512640 135840783 4287112192 4286625884 2724912 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 5185 4322 342 325 0 4121 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20740

[startup+0.700276 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8828
/proc/meminfo: memFree=28073180/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=20740 CPUtime=0.68 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 5151 0 0 0 68 0 0 0 20 0 1 0 344364441 21237760 4322 33554432000 134512640 135840783 4287112192 4286625744 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 5185 4322 342 325 0 4121 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20740

[startup+1.50031 s]
/proc/loadavg: 1.92 1.98 1.99 4/177 8829
/proc/meminfo: memFree=28056920/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=20740 CPUtime=1.48 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 5152 0 0 0 148 0 0 0 20 0 1 0 344364441 21237760 4323 33554432000 134512640 135840783 4287112192 4286625744 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 5185 4323 342 325 0 4121 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20740

[startup+3.10029 s]
/proc/loadavg: 1.92 1.98 1.99 4/177 8829
/proc/meminfo: memFree=28056176/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=20740 CPUtime=3.08 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 5152 0 0 0 308 0 0 0 20 0 1 0 344364441 21237760 4323 33554432000 134512640 135840783 4287112192 4286625884 2724912 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 5185 4323 342 325 0 4121 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20740

[startup+6.3003 s]
/proc/loadavg: 1.93 1.98 1.99 4/177 8829
/proc/meminfo: memFree=28054688/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=21400 CPUtime=6.29 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 5314 0 0 0 628 1 0 0 20 0 1 0 344364441 21913600 4485 33554432000 134512640 135840783 4287112192 4286625856 134583223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 5350 4485 342 325 0 4286 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21400

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 4/177 8829
/proc/meminfo: memFree=28051736/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=21400 CPUtime=12.68 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 5316 0 0 0 1267 1 0 0 20 0 1 0 344364441 21913600 4487 33554432000 134512640 135840783 4287112192 4286625744 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 5350 4487 342 325 0 4286 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21400

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 4/178 8832
/proc/meminfo: memFree=28048116/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=21400 CPUtime=25.48 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 5316 0 0 0 2547 1 0 0 20 0 1 0 344364441 21913600 4487 33554432000 134512640 135840783 4287112192 4286625664 6004366 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 5350 4487 342 325 0 4286 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21400

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 4/178 8832
/proc/meminfo: memFree=28032136/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=33760 CPUtime=51.08 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 9062 0 0 0 5104 4 0 0 20 0 1 0 344364441 34570240 7558 33554432000 134512640 135840783 4287112192 4287111552 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 8440 7558 347 325 0 7376 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33760

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 4/178 8855
/proc/meminfo: memFree=27989356/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=66376 CPUtime=102.27 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 17244 0 0 0 10221 6 0 0 20 0 1 0 344364441 67969024 15740 33554432000 134512640 135840783 4287112192 4287111488 134572710 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 16594 15740 347 325 0 15530 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 66376

[startup+162.3 s]
/proc/loadavg: 2.04 2.00 2.00 4/177 8855
/proc/meminfo: memFree=27953772/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=91684 CPUtime=162.26 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 23555 0 0 0 16218 8 0 0 20 0 1 0 344364441 93884416 22051 33554432000 134512640 135840783 4287112192 4287111552 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 22921 22051 347 325 0 21857 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 91684

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/176 8855
/proc/meminfo: memFree=27914724/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=120216 CPUtime=222.25 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 30700 0 0 0 22214 11 0 0 20 0 1 0 344364441 123101184 29195 33554432000 134512640 135840783 4287112192 4287111552 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 30054 29195 347 325 0 28990 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 120216

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8856
/proc/meminfo: memFree=27874816/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=150188 CPUtime=282.2 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 38233 0 0 0 28207 13 0 0 20 0 1 0 344364441 153792512 36685 33554432000 134512640 135840783 4287112192 4287111552 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 37547 36685 347 325 0 36483 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 150188

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8856
/proc/meminfo: memFree=27825720/32873844 swapFree=7116/7116
[pid=8828] ppid=8826 vsize=188592 CPUtime=342.17 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 47857 0 0 0 34201 16 0 0 20 0 1 0 344364441 193118208 46285 33554432000 134512640 135840783 4287112192 4287111552 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 47148 46285 347 325 0 46084 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 188592

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8856
/proc/meminfo: memFree=27782568/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=220180 CPUtime=402.15 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 55759 0 0 0 40196 19 0 0 20 0 1 0 344364441 225464320 54187 33554432000 134512640 135840783 4287112192 4287111552 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 55045 54187 347 325 0 53981 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 220180

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8856
/proc/meminfo: memFree=27738548/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=251776 CPUtime=462.15 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 63637 0 0 0 46192 23 0 0 20 0 1 0 344364441 257818624 62065 33554432000 134512640 135840783 4287112192 4287111552 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 62944 62065 347 325 0 61880 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 251776

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8856
/proc/meminfo: memFree=27678656/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=299256 CPUtime=522.14 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 75504 0 0 0 52188 26 0 0 20 0 1 0 344364441 306438144 73932 33554432000 134512640 135840783 4287112192 4287111552 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 74814 73932 347 325 0 73750 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 299256

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8857
/proc/meminfo: memFree=27634444/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=332096 CPUtime=582.13 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 83711 0 0 0 58183 30 0 0 20 0 1 0 344364441 340066304 82139 33554432000 134512640 135840783 4287112192 4287111552 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 83024 82139 347 325 0 81960 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 332096

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 1.37 1.83 1.94 2/171 8885
/proc/meminfo: memFree=27991192/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=451540 CPUtime=822 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 113681 0 0 0 82157 43 0 0 20 0 1 0 344364441 462376960 112008 33554432000 134512640 135840783 4287112192 4287111552 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 112885 112008 347 325 0 111821 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 451540

[startup+882.3 s]
/proc/loadavg: 1.13 1.68 1.87 2/171 8886
/proc/meminfo: memFree=27961472/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=480572 CPUtime=881.95 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 120987 0 0 0 88149 46 0 0 20 0 1 0 344364441 492105728 119272 33554432000 134512640 135840783 4287112192 4287111468 5996480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 120143 119272 347 325 0 119079 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 480572

[startup+942.3 s]
/proc/loadavg: 1.05 1.55 1.82 2/171 8886
/proc/meminfo: memFree=27931216/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=511044 CPUtime=941.94 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 128604 0 0 0 94144 50 0 0 20 0 1 0 344364441 523309056 126889 33554432000 134512640 135840783 4287112192 4287111552 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 127761 126889 347 325 0 126697 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 511044

[startup+1002.3 s]
/proc/loadavg: 1.02 1.45 1.76 2/171 8886
/proc/meminfo: memFree=27905548/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=536668 CPUtime=1001.94 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 135020 0 0 0 100141 53 0 0 20 0 1 0 344364441 549548032 133305 33554432000 134512640 135840783 4287112192 4287111552 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 134167 133305 347 325 0 133103 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 536668

[startup+1062.3 s]
/proc/loadavg: 1.00 1.36 1.71 2/171 8886
/proc/meminfo: memFree=27879632/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=562392 CPUtime=1061.93 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 141438 0 0 0 106135 58 0 0 20 0 1 0 344364441 575889408 139723 33554432000 134512640 135840783 4287112192 4287111552 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 140598 139723 347 325 0 139534 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 562392

[startup+1122.3 s]
/proc/loadavg: 1.00 1.29 1.66 2/171 8886
/proc/meminfo: memFree=27859172/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=583080 CPUtime=1121.91 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 146600 0 0 0 112131 60 0 0 20 0 1 0 344364441 597073920 144885 33554432000 134512640 135840783 4287112192 4287111552 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 145770 144885 347 325 0 144706 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 583080

[startup+1182.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/171 8887
/proc/meminfo: memFree=27837088/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=604704 CPUtime=1181.91 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 152039 0 0 0 118127 64 0 0 20 0 1 0 344364441 619216896 150319 33554432000 134512640 135840783 4287112192 4287111504 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 151176 150319 347 325 0 150112 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 604704

[startup+1242.3 s]
/proc/loadavg: 1.00 1.19 1.58 2/172 8890
/proc/meminfo: memFree=27817640/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=624608 CPUtime=1241.86 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 157035 0 0 0 124119 67 0 0 20 0 1 0 344364441 639598592 155268 33554432000 134512640 135840783 4287112192 4287111552 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 156152 155268 347 325 0 155088 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 624608

[startup+1302.3 s]
/proc/loadavg: 1.00 1.15 1.54 2/171 8890
/proc/meminfo: memFree=27798384/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=643344 CPUtime=1301.83 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 161765 0 0 0 130113 70 0 0 20 0 1 0 344364441 658784256 159976 33554432000 134512640 135840783 4287112192 4287111552 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 160836 159976 347 325 0 159772 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 643344

[startup+1362.3 s]
/proc/loadavg: 1.00 1.12 1.50 2/171 8890
/proc/meminfo: memFree=27785364/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=656124 CPUtime=1361.81 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 164958 0 0 0 136110 71 0 0 20 0 1 0 344364441 671870976 163169 33554432000 134512640 135840783 4287112192 4287111552 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 164031 163169 347 325 0 162967 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 656124

[startup+1422.31 s]
/proc/loadavg: 1.00 1.10 1.47 2/171 8890
/proc/meminfo: memFree=27769616/32873844 swapFree=7116/7116
[pid=8828] ppid=8826 vsize=672256 CPUtime=1421.81 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 168987 0 0 0 142108 73 0 0 20 0 1 0 344364441 688390144 167198 33554432000 134512640 135840783 4287112192 4287111552 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 168064 167198 347 325 0 167000 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 672256

[startup+1482.3 s]
/proc/loadavg: 1.00 1.08 1.44 2/171 8891
/proc/meminfo: memFree=27753000/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=689024 CPUtime=1481.79 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 173172 0 0 0 148105 74 0 0 20 0 1 0 344364441 705560576 171383 33554432000 134512640 135840783 4287112192 4287111552 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 172256 171383 347 325 0 171192 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 689024

[startup+1542.3 s]
/proc/loadavg: 1.00 1.06 1.41 2/171 8891
/proc/meminfo: memFree=27738740/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=703664 CPUtime=1541.79 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 176825 0 0 0 154102 77 0 0 20 0 1 0 344364441 720551936 175036 33554432000 134512640 135840783 4287112192 4287111552 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 175916 175036 347 325 0 174852 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 703664

[startup+1602.3 s]
/proc/loadavg: 1.00 1.05 1.38 2/171 8891
/proc/meminfo: memFree=27724480/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=717744 CPUtime=1601.78 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 180350 0 0 0 160099 79 0 0 20 0 1 0 344364441 734969856 178561 33554432000 134512640 135840783 4287112192 4287111552 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 179436 178561 347 325 0 178372 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 717744

[startup+1662.3 s]
/proc/loadavg: 1.00 1.04 1.35 2/172 8892
/proc/meminfo: memFree=27711328/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=730760 CPUtime=1661.77 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 183609 0 0 0 166096 81 0 0 20 0 1 0 344364441 748298240 181820 33554432000 134512640 135840783 4287112192 4287100720 134586828 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 182690 181820 347 325 0 181626 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 730760

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/171 8892
/proc/meminfo: memFree=27698348/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=743672 CPUtime=1721.72 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 186876 0 0 0 172090 82 0 0 20 0 1 0 344364441 761520128 185045 33554432000 134512640 135840783 4287112192 4287111552 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 185918 185045 347 325 0 184854 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 743672

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.30 2/171 8893
/proc/meminfo: memFree=27682704/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=759060 CPUtime=1781.7 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 190727 0 0 0 178086 84 0 0 20 0 1 0 344364441 777277440 188886 33554432000 134512640 135840783 4287112192 4287111552 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 189765 188886 347 325 0 188701 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 759060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.02 1.30 2/171 8893
/proc/meminfo: memFree=27678984/32873844 swapFree=7112/7112
[pid=8828] ppid=8826 vsize=763048 CPUtime=1800.01 cores=1,3,5,7
/proc/8828/stat : 8828 (bsolo3.0.17) R 8826 8828 5948 0 -1 4202496 191723 0 0 0 179916 85 0 0 20 0 1 0 344364441 781361152 189882 33554432000 134512640 135840783 4287112192 4287111488 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8828/statm: 190762 189882 347 325 0 189698 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 763048

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.62
CPU time (s): 1800.03
CPU user time (s): 1799.17
CPU system time (s): 0.862868
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 763048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.862868
maximum resident set size= 759536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191728
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= 356
involuntary context switches= 1842

runsolver used 3.52946 second user time and 9.93649 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-04 05:59:48
IDJOB=3743485
IDBENCH=91369
IDSOLVER=2318
FILE ID=node119/3743485-1338782388
RUNJOBID= node119-1338748763-5965
PBS_JOBID= 14636790
Free space on /tmp= 70864 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null20mast_rapportOE2.0_TMAX120_K67_cod1.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743485-1338782388/watcher-3743485-1338782388 -o /tmp/evaluation-result-3743485-1338782388/solver-3743485-1338782388 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3743485-1338782388.opb            

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

MD5SUM BENCH= 6eb3741facf0d504b30be588ac2cd196
RANDOM SEED=108265979

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28073708 kB
Buffers:          431168 kB
Cached:          3184036 kB
SwapCached:         1936 kB
Active:          1885448 kB
Inactive:        2068664 kB
Active(anon):     334428 kB
Inactive(anon):     6616 kB
Active(file):    1551020 kB
Inactive(file):  2062048 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              9328 kB
Writeback:             0 kB
AnonPages:        380988 kB
Mapped:            13104 kB
Shmem:                 0 kB
Slab:             706088 kB
SReclaimable:     148248 kB
SUnreclaim:       557840 kB
KernelStack:        1480 kB
PageTables:         4848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     457596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    335872 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= 70892 MiB
End job on node119 at 2012-06-04 06:29:50