Trace number 3708365

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
bsolo 3.2? 1798.02 1798.35

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX60_K67_cod3.opb
MD5SUM438c25da2e5c4802d30b8fcc00d9e167
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-2372
Best CPU time to get the best result obtained on this benchmark1011.7
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 25674
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 896610
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 896610
Number of bits of the biggest sum of numbers20
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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708365-1338245504.opb
0.00/0.00	c File size is 2728437 bytes.
0.19/0.24	c Highest Coefficient sum: 896610
0.19/0.24	c Parsing was ok!!
0.19/0.24	c Total parsing time: 0.245 s
0.19/0.26	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161315
0.19/0.26	c Obj. Vars: 25674 (63.4694 % of total variables)
27.89/27.91	c Pre-processing Time: 27.905 s
27.89/27.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.89/27.91	c        0  33129    33499   187590    5   137747  622567      0      0 27.91
27.89/27.91	c Switching off lower bounding mode.
1797.95/1798.34	c      100  33129    33601   219723    6   137980  684824    102      3 31.67
1797.95/1798.34	c      250  33129    33754   235962    6   138402  753307    255      7 35.55
1797.95/1798.34	c      476  33129    33997   296231    8   139006  828638    498      9 50.15
1797.95/1798.34	c      816  33129    34356   368390   10   140168  911502    857     13 60.60
1797.95/1798.34	c     1327  33129    34883   457371   13   141222  500000   1384     17 75.22
1797.95/1798.34	c     2090  33129    35672   588802   16   142917  550001   2173     21 97.66
1797.95/1798.34	c     3236  33129    36856   811431   22   145325  605002   3357     23 135.04
1797.95/1798.34	c     4957  33129    38691  1289731   33   149629  665503   5192     25 194.91
1797.95/1798.34	c     7541  33129    41569  2167825   52   158665  732054   8070     27 276.94
1797.95/1798.34	c    11422  33129    45933  4029528   87   175006  805260  12434     26 424.80
1797.95/1798.34	c    17247  33129    52169  6518031  124   192284  885787  18670     25 689.82
1797.95/1798.34	c    25984  33129    61594  9695345  157   218569  974366  28095     24 1061.63
1797.95/1798.34	c    39095  33129    76133 13924264  182   257117  500000  42634     23 1660.20
1797.95/1798.34	c Resources Exceeded
1797.95/1798.34	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.34	c   13    41712  14522   115057    78942 14840104  45443     23 1798.01
1797.95/1798.34	s UNKNOWN
1797.95/1798.34	c Total time: 1798.01 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-3708365-1338245504/watcher-3708365-1338245504 -o /tmp/evaluation-result-3708365-1338245504/solver-3708365-1338245504 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708365-1338245504.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.00 2.00 2.00 3/176 25747
/proc/meminfo: memFree=30774696/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=21568 CPUtime=0 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 346 0 0 0 0 0 0 0 20 0 1 0 290674927 22085632 299 33554432000 134512640 137138936 4294262272 4294260704 134531572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 5392 300 177 642 0 4081 0

[startup+0.0595581 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25747
/proc/meminfo: memFree=30774696/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=17088 CPUtime=0.05 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 1396 0 0 0 5 0 0 0 20 0 1 0 290674927 17498112 1309 33554432000 134512640 137138936 4294262272 4294260800 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 4272 1309 335 642 0 2961 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17088

[startup+0.100256 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25747
/proc/meminfo: memFree=30774696/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=18216 CPUtime=0.09 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 1813 0 0 0 9 0 0 0 20 0 1 0 290674927 18653184 1647 33554432000 134512640 137138936 4294262272 4294260800 134517403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 4554 1648 434 642 0 3243 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18216

[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25747
/proc/meminfo: memFree=30774696/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=27052 CPUtime=0.28 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 5082 0 0 0 28 0 0 0 20 0 1 0 290674927 27701248 4198 33554432000 134512640 137138936 4294262272 4293775408 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 6763 4198 184 642 0 6119 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27052

[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25747
/proc/meminfo: memFree=30774696/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=27052 CPUtime=0.69 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 5082 0 0 0 68 1 0 0 20 0 1 0 290674927 27701248 4198 33554432000 134512640 137138936 4294262272 4293775548 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 6763 4198 184 642 0 6119 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27052

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25748
/proc/meminfo: memFree=30758072/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=27184 CPUtime=1.49 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 5113 0 0 0 148 1 0 0 20 0 1 0 290674927 27836416 4229 33554432000 134512640 137138936 4294262272 4293775360 134542014 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 6796 4229 184 642 0 6152 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27184

[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25748
/proc/meminfo: memFree=30757328/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=27184 CPUtime=3.09 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 5113 0 0 0 308 1 0 0 20 0 1 0 290674927 27836416 4229 33554432000 134512640 137138936 4294262272 4293775408 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 6796 4229 184 642 0 6152 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27184

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25748
/proc/meminfo: memFree=30756196/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=27184 CPUtime=6.28 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 5113 0 0 0 627 1 0 0 20 0 1 0 290674927 27836416 4229 33554432000 134512640 137138936 4294262272 4293775548 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 6796 4229 184 642 0 6152 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27184

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25748
/proc/meminfo: memFree=30753964/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=27844 CPUtime=12.69 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 5279 0 0 0 1267 2 0 0 20 0 1 0 290674927 28512256 4395 33554432000 134512640 137138936 4294262272 4293775360 134542128 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 6961 4395 184 642 0 6317 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27844

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25748
/proc/meminfo: memFree=30751616/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=27844 CPUtime=25.49 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 5279 0 0 0 2546 3 0 0 20 0 1 0 290674927 28512256 4395 33554432000 134512640 137138936 4294262272 4293775360 134543220 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 6961 4395 184 642 0 6317 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27844

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25748
/proc/meminfo: memFree=30746284/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=29828 CPUtime=51.08 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 209308 0 0 0 5076 32 0 0 20 0 1 0 290674927 30543872 4777 33554432000 134512640 137138936 4294262272 4293867544 134599706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 7457 4777 192 642 0 6813 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29828

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25748
/proc/meminfo: memFree=30728552/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=33180 CPUtime=102.28 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 802398 0 0 0 10123 105 0 0 20 0 1 0 290674927 33976320 5742 33554432000 134512640 137138936 4294262272 4294260696 134606839 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 8295 5742 192 642 0 7651 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 33180

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25749
/proc/meminfo: memFree=30713444/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=39660 CPUtime=162.26 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 1373066 0 0 0 16049 177 0 0 20 0 1 0 290674927 40611840 7330 33554432000 134512640 137138936 4294262272 4294260768 134618113 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 9915 7330 192 642 0 9271 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 39660

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25749
/proc/meminfo: memFree=30690964/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=46364 CPUtime=222.25 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 1918975 0 0 0 21972 253 0 0 20 0 1 0 290674927 47476736 9079 33554432000 134512640 137138936 4294262272 4294260768 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 11591 9079 192 642 0 10947 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 46364

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25749
/proc/meminfo: memFree=30673232/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=54476 CPUtime=282.24 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 2421184 0 0 0 27902 322 0 0 20 0 1 0 290674927 55783424 11132 33554432000 134512640 137138936 4294262272 4294260816 134607571 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 13619 11132 192 642 0 12975 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 54476

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25749
/proc/meminfo: memFree=30648804/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=61776 CPUtime=342.23 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 2893983 0 0 0 33831 392 0 0 20 0 1 0 290674927 63258624 12946 33554432000 134512640 137138936 4294262272 4294260696 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 15444 12946 192 642 0 14800 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 61776

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25749
/proc/meminfo: memFree=30627116/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=75680 CPUtime=402.23 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 3273063 0 0 0 39770 453 0 0 20 0 1 0 290674927 77496320 16217 33554432000 134512640 137138936 4294262272 4294260800 134602731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 18920 16239 192 642 0 18276 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 75680

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25750
/proc/meminfo: memFree=30610028/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=84052 CPUtime=462.2 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 3660549 0 0 0 45705 515 0 0 20 0 1 0 290674927 86069248 18108 33554432000 134512640 137138936 4294262272 4294260764 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 20595 18108 192 642 0 19951 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 84052

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25753
/proc/meminfo: memFree=30594396/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=90556 CPUtime=522.19 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 4059197 0 0 0 51640 579 0 0 20 0 1 0 290674927 92729344 20123 33554432000 134512640 137138936 4294262272 4294260696 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 22639 20123 192 642 0 21995 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 90556

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25776
/proc/meminfo: memFree=30577284/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=99592 CPUtime=582.18 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 4440131 0 0 0 57580 638 0 0 20 0 1 0 290674927 101982208 22379 33554432000 134512640 137138936 4294262272 4294260852 136501682 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 24898 22379 192 642 0 24254 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 99592

[startup+642.3 s]

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

/proc/meminfo: memFree=30742232/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=152292 CPUtime=1062.09 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 7567042 0 0 0 105036 1173 0 0 20 0 1 0 290674927 155947008 35586 33554432000 134512640 137138936 4294262272 4294260768 134618208 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 38073 35586 192 642 0 37429 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 152292

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25819
/proc/meminfo: memFree=30725168/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=157204 CPUtime=1122.07 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 7951724 0 0 0 110963 1244 0 0 20 0 1 0 290674927 160976896 36814 33554432000 134512640 137138936 4294262272 4294260816 134607615 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 39301 36814 192 642 0 38657 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 157204

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25819
/proc/meminfo: memFree=30701508/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=161484 CPUtime=1182.07 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 8348329 0 0 0 116889 1318 0 0 20 0 1 0 290674927 165359616 37884 33554432000 134512640 137138936 4294262272 4294260768 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 40371 37884 192 642 0 39727 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 161484

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25819
/proc/meminfo: memFree=30683156/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=167168 CPUtime=1242.06 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 8725317 0 0 0 122818 1388 0 0 20 0 1 0 290674927 171180032 39297 33554432000 134512640 137138936 4294262272 4294260788 134551672 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 41792 39297 192 642 0 41148 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 167168

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25819
/proc/meminfo: memFree=30658588/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=172240 CPUtime=1302.05 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 9035616 0 0 0 128765 1440 0 0 20 0 1 0 290674927 176373760 40541 33554432000 134512640 137138936 4294262272 4294261024 134575873 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 43060 40541 192 642 0 42416 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 172240

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25820
/proc/meminfo: memFree=30633788/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=177056 CPUtime=1362.03 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 9392551 0 0 0 134701 1502 0 0 20 0 1 0 290674927 181305344 41777 33554432000 134512640 137138936 4294262272 4294260808 136504096 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 44264 41777 192 642 0 43620 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 177056

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25820
/proc/meminfo: memFree=30608416/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=183268 CPUtime=1422.03 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 9714278 0 0 0 140644 1559 0 0 20 0 1 0 290674927 187666432 43297 33554432000 134512640 137138936 4294262272 4294260816 134607568 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 45817 43297 192 642 0 45173 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 183268

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25820
/proc/meminfo: memFree=30583740/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=190500 CPUtime=1482.01 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 10005989 0 0 0 146587 1614 0 0 20 0 1 0 290674927 195072000 45106 33554432000 134512640 137138936 4294262272 4294260912 134604037 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 47625 45106 192 642 0 46981 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 190500

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25820
/proc/meminfo: memFree=30556684/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=195688 CPUtime=1542 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 10302590 0 0 0 152529 1671 0 0 20 0 1 0 290674927 200384512 46435 33554432000 134512640 137138936 4294262272 4294260768 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 48922 46435 192 642 0 48278 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 195688

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25820
/proc/meminfo: memFree=30529280/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=201368 CPUtime=1601.99 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 10653049 0 0 0 158464 1735 0 0 20 0 1 0 290674927 206200832 47823 33554432000 134512640 137138936 4294262272 4294260696 134606610 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 50342 47823 192 642 0 49698 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 201368

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25821
/proc/meminfo: memFree=30499892/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=208584 CPUtime=1661.98 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 10936118 0 0 0 164414 1784 0 0 20 0 1 0 290674927 213590016 49564 33554432000 134512640 137138936 4294262272 4293867400 134599951 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 52146 49564 192 642 0 51502 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 208584

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 25824
/proc/meminfo: memFree=30482004/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=214116 CPUtime=1721.96 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 11335393 0 0 0 170333 1863 0 0 20 0 1 0 290674927 219254784 51010 33554432000 134512640 137138936 4294262272 4294260788 134551000 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 53529 51010 192 642 0 52885 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 214116

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25824
/proc/meminfo: memFree=30465384/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=218924 CPUtime=1781.96 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 11622292 0 0 0 176275 1921 0 0 20 0 1 0 290674927 224178176 52212 33554432000 134512640 137138936 4294262272 4293868040 134599821 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 54731 52212 192 642 0 54087 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 218924

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25824
/proc/meminfo: memFree=30463152/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=219440 CPUtime=1791.56 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 11675897 0 0 0 177224 1932 0 0 20 0 1 0 290674927 224706560 52349 33554432000 134512640 137138936 4294262272 4294260768 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 54860 52349 192 642 0 54216 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 219440

[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25824
/proc/meminfo: memFree=30461168/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=219696 CPUtime=1794.77 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 11700909 0 0 0 177538 1939 0 0 20 0 1 0 290674927 224968704 52419 33554432000 134512640 137138936 4294262272 4294260552 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 54924 52419 192 642 0 54280 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 219696

[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25824
/proc/meminfo: memFree=30460424/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=220120 CPUtime=1796.36 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 11710051 0 0 0 177695 1941 0 0 20 0 1 0 290674927 225402880 52511 33554432000 134512640 137138936 4294262272 4294260768 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 55030 52511 192 642 0 54386 0
Current children cumulated CPU time (s) 1796.36
Current children cumulated vsize (KiB) 220120

[startup+1797.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25824
/proc/meminfo: memFree=30460176/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=221144 CPUtime=1797.16 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 11714102 0 0 0 177773 1943 0 0 20 0 1 0 290674927 226451456 52729 33554432000 134512640 137138936 4294262272 4294260800 134603271 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 55286 52738 192 642 0 54642 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (KiB) 221144

[startup+1797.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25824
/proc/meminfo: memFree=30460176/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=219736 CPUtime=1797.56 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 11716701 0 0 0 177813 1943 0 0 20 0 1 0 290674927 225009664 52447 33554432000 134512640 137138936 4294262272 4294261200 134542528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 54934 52447 192 642 0 54290 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 219736

[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25824
/proc/meminfo: memFree=30460176/32873844 swapFree=6080/6080
[pid=25747] ppid=25745 vsize=220120 CPUtime=1797.95 cores=1,3,5,7
/proc/25747/stat : 25747 (bsolo) R 25745 25747 24091 0 -1 4202496 11718724 0 0 0 177852 1943 0 0 20 0 1 0 290674927 225402880 52511 33554432000 134512640 137138936 4294262272 4294260816 134607563 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25747/statm: 55030 52511 192 642 0 54386 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 220120

Child status: 0
Real time (s): 1798.35
CPU time (s): 1798.02
CPU user time (s): 1778.57
CPU system time (s): 19.441
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 221172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.57
system time used= 19.441
maximum resident set size= 211100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11718986
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= 78
involuntary context switches= 1846

runsolver used 6.10707 second user time and 19.0921 second system time

The end

Launcher Data 

Begin job on node139 at 2012-05-29 00:51:44
IDJOB=3708365
IDBENCH=90788
IDSOLVER=2286
FILE ID=node139/3708365-1338245504
RUNJOBID= node139-1338219140-24108
PBS_JOBID= 14624619
Free space on /tmp= 71644 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX60_K67_cod3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708365-1338245504/watcher-3708365-1338245504 -o /tmp/evaluation-result-3708365-1338245504/solver-3708365-1338245504 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708365-1338245504.opb

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

MD5SUM BENCH= 438c25da2e5c4802d30b8fcc00d9e167
RANDOM SEED=993729115

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
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		: 2666.750
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:        30774324 kB
Buffers:          443624 kB
Cached:           540108 kB
SwapCached:          828 kB
Active:           957824 kB
Inactive:         284444 kB
Active(anon):     251740 kB
Inactive(anon):     7968 kB
Active(file):     706084 kB
Inactive(file):   276476 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67104692 kB
Dirty:              6616 kB
Writeback:             0 kB
AnonPages:        268524 kB
Mapped:            12616 kB
Shmem:                 8 kB
Slab:             717600 kB
SReclaimable:     160048 kB
SUnreclaim:       557552 kB
KernelStack:        1480 kB
PageTables:         4724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     383684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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= 71640 MiB
End job on node139 at 2012-05-29 01:21:42