Trace number 3742813

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb
MD5SUM9437b3e9d1ce9c682b2f5f71866292ee
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-2832
Best CPU time to get the best result obtained on this benchmark362.299
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 486
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 26273
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 26273
Number of bits of the biggest sum of numbers15
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-3742813-1338774086.opb
0.00/0.00	c File size is 2494378 bytes.
0.18/0.24	c Highest Coefficient sum: 26273
0.18/0.24	c Parsing was ok!!
0.18/0.24	c Total parsing time: 0.231 s
0.18/0.25	c Var: 40937 Constr: 41436 40882/553/1 Lit: 223219 Watch. Lit: 131006
0.18/0.25	c Obj. Vars: 486 (1.18719 % of total variables)
19.38/19.45	c Pre-processing Time: 19.44 s
19.38/19.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.38/19.45	c        0  33369    33985   194712    5   113224  570877      0      0 19.44
19.38/19.45	c Switching off LPR mode.
1800.06/1800.61	c      100  33369    34085   240562    7   113477  627965    100      5 19.54
1800.06/1800.61	c      250  33369    34235   259398    7   113797  690762    250     12 19.80
1800.06/1800.61	c      475  33369    34460   288325    8   114259  759839    475     23 20.13
1800.06/1800.61	c      813  33369    34798   334677    9   114935  835823    813     39 20.57
1800.06/1800.61	c     1322  33369    35307   447283   12   115952  919406   1322     62 21.12
1800.06/1800.61	c     2085  33369    36070   522727   14   117475  500000   2085     92 22.64
1800.06/1800.61	c     3231  33369    37216   654103   17   119769  550001   3231    133 24.19
1800.06/1800.61	c     4952  33369    38937   880530   22   123209  605002   4952    187 26.43
1800.06/1800.61	c     7537  33369    41522  1188009   28   128380  665503   7537    247 30.50
1800.06/1800.61	c    11416  33369    45401  1673438   36   136141  732054  11416    327 34.84
1800.06/1800.61	c    17238  33369    51223  3163939   61   147783  805260  17238    367 46.85
1800.06/1800.61	c    25975  33369    59960  4996306   83   165260  885787  25975    355 72.98
1800.06/1800.61	c    39086  33369    73071  7266944   99   191477  974366  39086    328 119.08
1800.06/1800.61	c    58759  33369    92744 11659224  125   230826  500000  58759    314 186.62
1800.06/1800.61	c    88270  33369   122255 17876481  146   289849  550001  88270    238 369.67
1800.06/1800.61	c   132540  33369   166525 29857368  179   378386  605002 132540    185 712.77
1800.06/1800.61	c   198951  33369   232936 49204424  211   511209  665503 198951    154 1290.20
1800.06/1800.61	c Caught signal: 15
1800.06/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.61	c   17   268034 123195  1388285   302019 64003150 268034    148 1800.07
1800.06/1800.61	s UNKNOWN
1800.06/1800.61	c Total time: 1800.07 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-3742813-1338774086/watcher-3742813-1338774086 -o /tmp/evaluation-result-3742813-1338774086/solver-3742813-1338774086 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742813-1338774086.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: 2.05 2.02 2.00 3/176 8610
/proc/meminfo: memFree=26231304/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) D 8608 8610 5940 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 343534098 2723840 48 33554432000 134512640 135840783 4292650000 4292648036 7001028 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 665 48 37 325 0 32 0

[startup+0.0195701 s]
/proc/loadavg: 2.05 2.02 2.00 3/176 8610
/proc/meminfo: memFree=26231304/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=7680 CPUtime=0.01 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 343534098 7864320 568 33554432000 134512640 135840783 4292650000 4292648720 7513383 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 1920 569 358 325 0 247 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7680

[startup+0.100262 s]
/proc/loadavg: 2.05 2.02 2.00 3/176 8610
/proc/meminfo: memFree=26231304/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=11348 CPUtime=0.09 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 1805 0 0 0 9 0 0 0 20 0 1 0 343534098 11620352 1702 33554432000 134512640 135840783 4292650000 4292648688 7513383 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 2837 1703 586 325 0 1164 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11348

[startup+0.300286 s]
/proc/loadavg: 2.05 2.02 2.00 3/176 8610
/proc/meminfo: memFree=26231304/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=20180 CPUtime=0.28 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 4924 0 0 0 28 0 0 0 20 0 1 0 343534098 20664320 4133 33554432000 134512640 135840783 4292650000 4292157696 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 5045 4133 342 325 0 3981 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20180

[startup+0.700278 s]
/proc/loadavg: 2.05 2.02 2.00 3/176 8610
/proc/meminfo: memFree=26231304/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=20180 CPUtime=0.68 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 4928 0 0 0 68 0 0 0 20 0 1 0 343534098 20664320 4137 33554432000 134512640 135840783 4292650000 4292157696 134551604 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 5045 4137 342 325 0 3981 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20180

[startup+1.50033 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 8611
/proc/meminfo: memFree=26215812/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=20840 CPUtime=1.49 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 5112 0 0 0 148 1 0 0 20 0 1 0 343534098 21340160 4321 33554432000 134512640 135840783 4292650000 4292157696 134550705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 5210 4321 342 325 0 4146 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20840

[startup+3.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 8611
/proc/meminfo: memFree=26213812/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=20840 CPUtime=3.09 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 5114 0 0 0 308 1 0 0 20 0 1 0 343534098 21340160 4323 33554432000 134512640 135840783 4292650000 4292157836 10974256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 5210 4323 342 325 0 4146 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20840

[startup+6.30027 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 8611
/proc/meminfo: memFree=26210944/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=20840 CPUtime=6.29 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 5114 0 0 0 628 1 0 0 20 0 1 0 343534098 21340160 4323 33554432000 134512640 135840783 4292650000 4292157836 10974256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 5210 4323 342 325 0 4146 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20840

[startup+12.7003 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 8611
/proc/meminfo: memFree=26207860/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=20840 CPUtime=12.68 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 5114 0 0 0 1267 1 0 0 20 0 1 0 343534098 21340160 4323 33554432000 134512640 135840783 4292650000 4292157696 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 5210 4323 342 325 0 4146 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20840

[startup+25.5003 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 8611
/proc/meminfo: memFree=26196048/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=27404 CPUtime=25.49 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 7384 0 0 0 2545 4 0 0 20 0 1 0 343534098 28061696 6033 33554432000 134512640 135840783 4292650000 4292649360 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 6851 6033 347 325 0 5787 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27404

[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 8611
/proc/meminfo: memFree=26143812/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=64232 CPUtime=51.08 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 16577 0 0 0 5102 6 0 0 20 0 1 0 343534098 65773568 15226 33554432000 134512640 135840783 4292650000 4292649360 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 16058 15226 347 325 0 14994 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 64232

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8611
/proc/meminfo: memFree=26068216/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=103480 CPUtime=102.28 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 26384 0 0 0 10218 10 0 0 20 0 1 0 343534098 105963520 25033 33554432000 134512640 135840783 4292650000 4292649296 134572036 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 25870 25033 347 325 0 24806 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 103480

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8611
/proc/meminfo: memFree=25984420/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=153016 CPUtime=162.26 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 38789 0 0 0 16211 15 0 0 20 0 1 0 343534098 156688384 37438 33554432000 134512640 135840783 4292650000 4292649360 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 38254 37438 347 325 0 37190 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 153016

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8611
/proc/meminfo: memFree=25912032/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=192676 CPUtime=222.25 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 48700 0 0 0 22206 19 0 0 20 0 1 0 343534098 197300224 47349 33554432000 134512640 135840783 4292650000 4292649296 134572295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 48169 47349 347 325 0 47105 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 192676

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8612
/proc/meminfo: memFree=25842620/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=220924 CPUtime=282.24 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 55747 0 0 0 28202 22 0 0 20 0 1 0 343534098 226226176 54396 33554432000 134512640 135840783 4292650000 4292643600 7513383 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 55231 54396 347 325 0 54167 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 220924

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8612
/proc/meminfo: memFree=25762668/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=244628 CPUtime=342.24 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 61695 0 0 0 34198 26 0 0 20 0 1 0 343534098 250499072 60344 33554432000 134512640 135840783 4292650000 4292649360 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 61157 60344 347 325 0 60093 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 244628

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8612
/proc/meminfo: memFree=25681476/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=276556 CPUtime=402.22 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 69678 0 0 0 40194 28 0 0 20 0 1 0 343534098 283193344 68327 33554432000 134512640 135840783 4292650000 4292649136 7510942 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 69139 68327 347 325 0 68075 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 276556

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8612
/proc/meminfo: memFree=25610580/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=305168 CPUtime=462.21 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 76820 0 0 0 46190 31 0 0 20 0 1 0 343534098 312492032 75469 33554432000 134512640 135840783 4292650000 4292649312 3547681 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 76292 75469 347 325 0 75228 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 305168

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8615
/proc/meminfo: memFree=25554812/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=334636 CPUtime=522.17 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 84212 0 0 0 52182 35 0 0 20 0 1 0 343534098 342667264 82821 33554432000 134512640 135840783 4292650000 4292649360 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 83659 82821 347 325 0 82595 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 334636

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8616
/proc/meminfo: memFree=25494460/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=359780 CPUtime=582.13 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 90559 0 0 0 58175 38 0 0 20 0 1 0 343534098 368414720 89121 33554432000 134512640 135840783 4292650000 4292649360 134551347 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 89945 89121 347 325 0 88881 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 359780

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8616
/proc/meminfo: memFree=25247984/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=480700 CPUtime=822 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 120888 0 0 0 82148 52 0 0 20 0 1 0 343534098 492236800 119372 33554432000 134512640 135840783 4292650000 4292649360 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 120175 119372 347 325 0 119111 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 480700

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8617
/proc/meminfo: memFree=25184868/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=508892 CPUtime=882 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 127942 0 0 0 88144 56 0 0 20 0 1 0 343534098 521105408 126426 33554432000 134512640 135840783 4292650000 4292649360 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 127223 126426 347 325 0 126159 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 508892

[startup+942.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8617
/proc/meminfo: memFree=25128324/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=529448 CPUtime=941.99 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 133090 0 0 0 94140 59 0 0 20 0 1 0 343534098 542154752 131574 33554432000 134512640 135840783 4292650000 4292644752 7513383 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 132362 131574 347 325 0 131298 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 529448

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8656
/proc/meminfo: memFree=26473832/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=550164 CPUtime=1001.98 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 138257 0 0 0 100136 62 0 0 20 0 1 0 343534098 563367936 136741 33554432000 134512640 135840783 4292650000 4292649360 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 137541 136741 347 325 0 136477 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 550164

[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 8656
/proc/meminfo: memFree=26411212/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=574156 CPUtime=1061.97 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 144256 0 0 0 106133 64 0 0 20 0 1 0 343534098 587935744 142740 33554432000 134512640 135840783 4292650000 4292649360 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 143539 142740 347 325 0 142475 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 574156

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 8659
/proc/meminfo: memFree=26357016/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=600020 CPUtime=1121.96 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 150731 0 0 0 112129 67 0 0 20 0 1 0 343534098 614420480 149215 33554432000 134512640 135840783 4292650000 4292649360 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 150005 149215 347 325 0 148941 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 600020

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 8683
/proc/meminfo: memFree=26284808/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=629088 CPUtime=1181.95 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 157982 0 0 0 118126 69 0 0 20 0 1 0 343534098 644186112 156466 33554432000 134512640 135840783 4292650000 4292649360 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 157272 156466 347 325 0 156208 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 629088

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8683
/proc/meminfo: memFree=26242468/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=646292 CPUtime=1241.93 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 162302 0 0 0 124121 72 0 0 20 0 1 0 343534098 661803008 160765 33554432000 134512640 135840783 4292650000 4292649360 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 161573 160765 347 325 0 160509 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 646292

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8683
/proc/meminfo: memFree=26178636/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=669132 CPUtime=1301.89 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 168062 0 0 0 130114 75 0 0 20 0 1 0 343534098 685191168 166478 33554432000 134512640 135840783 4292650000 4292649360 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 167283 166478 347 325 0 166219 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 669132

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8683
/proc/meminfo: memFree=26096576/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=700352 CPUtime=1361.84 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 175921 0 0 0 136105 79 0 0 20 0 1 0 343534098 717160448 174289 33554432000 134512640 135840783 4292650000 4292649360 134550921 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 175088 174289 347 325 0 174024 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 700352

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8683
/proc/meminfo: memFree=26050788/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=723092 CPUtime=1421.82 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 181640 0 0 0 142101 81 0 0 20 0 1 0 343534098 740446208 179978 33554432000 134512640 135840783 4292650000 4292648128 134547392 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 180773 179978 347 325 0 179709 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 723092

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8684
/proc/meminfo: memFree=26027504/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=736112 CPUtime=1481.8 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 184891 0 0 0 148097 83 0 0 20 0 1 0 343534098 753778688 183229 33554432000 134512640 135840783 4292650000 4292642368 7511360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 184028 183229 347 325 0 182964 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 736112

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8684
/proc/meminfo: memFree=25998764/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=748756 CPUtime=1541.79 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 188055 0 0 0 154094 85 0 0 20 0 1 0 343534098 766726144 186393 33554432000 134512640 135840783 4292650000 4292649360 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 187189 186393 347 325 0 186125 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 748756

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8684
/proc/meminfo: memFree=25958508/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=768116 CPUtime=1601.78 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 192878 0 0 0 160090 88 0 0 20 0 1 0 343534098 786550784 191216 33554432000 134512640 135840783 4292650000 4292649360 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 192029 191216 347 325 0 190965 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 768116

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8684
/proc/meminfo: memFree=25928004/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=782832 CPUtime=1661.78 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 196564 0 0 0 166088 90 0 0 20 0 1 0 343534098 801619968 194902 33554432000 134512640 135840783 4292650000 4292649360 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 195708 194902 347 325 0 194644 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 782832

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8687
/proc/meminfo: memFree=25870196/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=823464 CPUtime=1721.76 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 206728 0 0 0 172083 93 0 0 20 0 1 0 343534098 843227136 205066 33554432000 134512640 135840783 4292650000 4292649312 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 205866 205066 347 325 0 204802 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 823464

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8688
/proc/meminfo: memFree=25828928/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=850592 CPUtime=1781.75 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 213499 0 0 0 178078 97 0 0 20 0 1 0 343534098 871006208 211837 33554432000 134512640 135840783 4292650000 4292649360 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 212648 211837 347 325 0 211584 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 850592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8688
/proc/meminfo: memFree=25816032/32873844 swapFree=7384/7384
[pid=8610] ppid=8608 vsize=861080 CPUtime=1800.06 cores=1,3,5,7
/proc/8610/stat : 8610 (bsolo3.0.17) R 8608 8610 5940 0 -1 4202496 216145 0 0 0 179908 98 0 0 20 0 1 0 343534098 881745920 214483 33554432000 134512640 135840783 4292650000 4292649072 7510942 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8610/statm: 215270 214483 347 325 0 214206 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 861080

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.63
CPU time (s): 1800.09
CPU user time (s): 1799.09
CPU system time (s): 1.00285
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 861080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.00285
maximum resident set size= 857932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216148
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= 350
involuntary context switches= 1843

runsolver used 4.25035 second user time and 9.25459 second system time

The end

Launcher Data 

Begin job on node136 at 2012-06-04 03:41:26
IDJOB=3742813
IDBENCH=90325
IDSOLVER=2318
FILE ID=node136/3742813-1338774086
RUNJOBID= node136-1338749655-5957
PBS_JOBID= 14636804
Free space on /tmp= 69808 MiB

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

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

MD5SUM BENCH= 9437b3e9d1ce9c682b2f5f71866292ee
RANDOM SEED=197159410

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26231576 kB
Buffers:         1275116 kB
Cached:          3613700 kB
SwapCached:        20316 kB
Active:          3552276 kB
Inactive:        2182828 kB
Active(anon):     819052 kB
Inactive(anon):    22308 kB
Active(file):    2733224 kB
Inactive(file):  2160520 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67083208 kB
Dirty:              8892 kB
Writeback:             0 kB
AnonPages:        828464 kB
Mapped:            10988 kB
Shmem:                 0 kB
Slab:             763376 kB
SReclaimable:     204684 kB
SUnreclaim:       558692 kB
KernelStack:        1456 kB
PageTables:         5132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     943708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    376832 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= 69800 MiB
End job on node136 at 2012-06-04 04:11:29