Trace number 3707630

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
bsolo 3.2? 1798.03 1798.52

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-20.opb
MD5SUM63ab8977587973d616491fbff2cc242b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark204.343
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9342
Total number of constraints199352
Number of constraints which are clauses178530
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints20102
Minimum length of a constraint2
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
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-3707630-1338212719.opb
0.00/0.00	c File size is 8465055 bytes.
0.49/0.54	c Highest Coefficient sum: 232
0.49/0.54	c Parsing was ok!!
0.49/0.54	c Total parsing time: 0.54 s
0.49/0.58	c Var: 9342 Constr: 199720 178896/722/20102 Lit: 780268 Watch. Lit: 403104
0.49/0.58	c Obj. Vars: 0 (0 % of total variables)
9.28/9.33	c Pre-processing Time: 9.324 s
9.28/9.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.28/9.33	c        0   9342   196504   764190    3   416774  271903      0      0 9.32
9.28/9.33	c Switching off lower bounding mode.
1798.00/1798.51	c      101   9342   196704   770177    3   414858  299094    200     10 9.43
1798.00/1798.51	c      252   9342   197006   782313    3   415460  329004    502     26 9.51
1798.00/1798.51	c      477   9342   197454   790924    4   413456  361905    950     48 9.78
1798.00/1798.51	c      815   9342   198130   823580    4   414808  398096   1626     81 9.98
1798.00/1798.51	c     1330   9342   199159   864180    4   416741  437906   2655    126 10.48
1798.00/1798.51	c     2093   9342   200669   910721    4   417633  481697   4165    182 11.46
1798.00/1798.51	c     3239   9342   202911   979363    4   420085  529867   6407    251 12.86
1798.00/1798.51	c     4962   9342   206357  1163035    5   426936  582854   9853    340 14.59
1798.00/1798.51	c     7547   9342   211263  1303913    6   436822  641140  14759    473 15.93
1798.00/1798.51	c    11426   9342   219009  1677637    7   452260  705255  22505    512 22.28
1798.00/1798.51	c    17248   9342   230458  2359964   10   474439  775781  33954    555 31.03
1798.00/1798.51	c    25985   9342   247449  3180417   12   508988  853360  50945    566 45.83
1798.00/1798.51	c    39095   9342   273617  4640976   16   560339  938697  77113    384 101.73
1798.00/1798.51	c    58765   9340   311446  7839580   25   637214  500000 114942    405 144.82
1798.00/1798.51	c    88276   9340   361235 10791347   29   736693  550001 164731    201 437.97
1798.00/1798.51	c   132546   9338   439019 15381636   35   891113  605002 242515    154 857.97
1798.00/1798.51	c   198956   9338   565945 25395952   44  1146525  665503 369441    183 1083.12
1798.00/1798.51	c Resources Exceeded
1798.00/1798.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.00/1798.51	c   17   247259  78518  2705640   652983 29963826 456479    137 1798.02
1798.00/1798.51	s UNKNOWN
1798.00/1798.51	c Total time: 1798.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-3707630-1338212719/watcher-3707630-1338212719 -o /tmp/evaluation-result-3707630-1338212719/solver-3707630-1338212719 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707630-1338212719.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.98 2.00 2.00 3/176 26985
/proc/meminfo: memFree=29418644/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/26985/stat : 26985 (runsolver) D 26983 26985 24082 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 287400497 12095488 50 33554432000 4194304 5436572 140734597561936 140734597558232 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/26985/statm: 2953 50 31 304 0 2645 0

[startup+0.0406449 s]
/proc/loadavg: 1.98 2.00 2.00 3/176 26985
/proc/meminfo: memFree=29418644/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=20700 CPUtime=0.03 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 796 0 0 0 3 0 0 0 20 0 1 0 287400497 21196800 749 33554432000 134512640 137138936 4286621920 4286620168 136506636 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 5175 750 291 642 0 2464 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20700

[startup+0.100276 s]
/proc/loadavg: 1.98 2.00 2.00 3/176 26985
/proc/meminfo: memFree=29418644/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=23568 CPUtime=0.09 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 1775 0 0 0 9 0 0 0 20 0 1 0 287400497 24133632 1729 33554432000 134512640 137138936 4286621920 4286620136 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 5892 1729 531 642 0 3181 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23568

[startup+0.300254 s]
/proc/loadavg: 1.98 2.00 2.00 3/176 26985
/proc/meminfo: memFree=29418644/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=32712 CPUtime=0.28 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 4822 0 0 0 28 0 0 0 20 0 1 0 287400497 33497088 4775 33554432000 134512640 137138936 4286621920 4286620328 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 8178 4777 1292 642 0 5467 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 32712

[startup+0.70029 s]
/proc/loadavg: 1.98 2.00 2.00 3/176 26985
/proc/meminfo: memFree=29418644/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=46528 CPUtime=0.69 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 11288 0 0 0 67 2 0 0 20 0 1 0 287400497 47644672 9174 33554432000 134512640 137138936 4286621920 4286508492 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 11632 9174 184 642 0 10988 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46528

[startup+1.50028 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 26986
/proc/meminfo: memFree=29369888/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=59160 CPUtime=1.48 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 14426 0 0 0 145 3 0 0 20 0 1 0 287400497 60579840 12312 33554432000 134512640 137138936 4286621920 4286508300 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 14790 12312 185 642 0 14146 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 59160

[startup+3.10029 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 26986
/proc/meminfo: memFree=29369268/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=59160 CPUtime=3.09 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 14429 0 0 0 303 6 0 0 20 0 1 0 287400497 60579840 12315 33554432000 134512640 137138936 4286621920 4286508300 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 14790 12315 185 642 0 14146 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59160

[startup+6.30029 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 26986
/proc/meminfo: memFree=29368632/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=59160 CPUtime=6.28 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 14433 0 0 0 620 8 0 0 20 0 1 0 287400497 60579840 12319 33554432000 134512640 137138936 4286621920 4286508300 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 14790 12319 185 642 0 14146 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 59160

[startup+12.7003 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 26986
/proc/meminfo: memFree=29379568/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=49528 CPUtime=12.69 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 15132 0 0 0 1241 28 0 0 20 0 1 0 287400497 50716672 9914 33554432000 134512640 137138936 4286621920 4286621036 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 12382 9914 192 642 0 11738 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49528

[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 26986
/proc/meminfo: memFree=29364788/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=63836 CPUtime=25.48 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 18736 0 0 0 2513 35 0 0 20 0 1 0 287400497 65368064 13518 33554432000 134512640 137138936 4286621920 4286620344 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 15959 13518 192 642 0 15315 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63836

[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26986
/proc/meminfo: memFree=29343924/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=84668 CPUtime=51.08 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 23944 0 0 0 5050 58 0 0 20 0 1 0 287400497 86700032 18726 33554432000 134512640 137138936 4286621920 4286620344 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 21167 18726 192 642 0 20523 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84668

[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26986
/proc/meminfo: memFree=29323880/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=104504 CPUtime=102.27 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 28877 0 0 0 10166 61 0 0 20 0 1 0 287400497 107012096 23659 33554432000 134512640 137138936 4286621920 4286620632 136504225 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 26126 23659 192 642 0 25482 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 104504

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 26987
/proc/meminfo: memFree=29276540/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=151624 CPUtime=162.26 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 40677 0 0 0 16141 85 0 0 20 0 1 0 287400497 155262976 35459 33554432000 134512640 137138936 4286621920 4286620848 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 37906 35459 192 642 0 37262 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 151624

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26987
/proc/meminfo: memFree=29266772/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=161172 CPUtime=222.26 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 43073 0 0 0 22138 88 0 0 20 0 1 0 287400497 165040128 37855 33554432000 134512640 137138936 4286621920 4286620848 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 40293 37855 192 642 0 39649 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 161172

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 26990
/proc/meminfo: memFree=29257064/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=171632 CPUtime=282.24 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 45660 0 0 0 28135 89 0 0 20 0 1 0 287400497 175751168 40442 33554432000 134512640 137138936 4286621920 4286620848 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 42908 40442 192 642 0 42264 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 171632

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26990
/proc/meminfo: memFree=29247856/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=180628 CPUtime=342.23 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 47909 0 0 0 34133 90 0 0 20 0 1 0 287400497 184963072 42691 33554432000 134512640 137138936 4286621920 4286620848 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 45157 42691 192 642 0 44513 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 180628

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26990
/proc/meminfo: memFree=29240568/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=187784 CPUtime=402.22 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 49705 0 0 0 40130 92 0 0 20 0 1 0 287400497 192290816 44487 33554432000 134512640 137138936 4286621920 4286620848 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 46946 44487 192 642 0 46302 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 187784

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26991
/proc/meminfo: memFree=29229560/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=199212 CPUtime=462.21 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 52577 0 0 0 46123 98 0 0 20 0 1 0 287400497 203993088 47359 33554432000 134512640 137138936 4286621920 4286620816 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 49803 47359 192 642 0 49159 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 199212

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26991
/proc/meminfo: memFree=29212724/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=215656 CPUtime=522.21 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 56692 0 0 0 52116 105 0 0 20 0 1 0 287400497 220831744 51474 33554432000 134512640 137138936 4286621920 4286620848 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 53914 51474 192 642 0 53270 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 215656

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26991
/proc/meminfo: memFree=29205312/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=222780 CPUtime=582.19 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 58447 0 0 0 58114 105 0 0 20 0 1 0 287400497 228126720 53229 33554432000 134512640 137138936 4286621920 4286620848 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 55695 53229 192 642 0 55051 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 222780

[startup+642.3 s]

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

/proc/meminfo: memFree=30978288/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=383660 CPUtime=1061.96 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 98834 0 0 0 106053 143 0 0 20 0 1 0 287400497 392867840 93477 33554432000 134512640 137138936 4286621920 4286620848 134542776 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 95915 93477 192 642 0 95271 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 383660

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 27057
/proc/meminfo: memFree=30936472/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=405472 CPUtime=1121.92 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 104329 0 0 0 112045 147 0 0 20 0 1 0 287400497 415203328 98991 33554432000 134512640 137138936 4286621920 4286620780 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 101368 98991 192 642 0 100724 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 405472

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 27057
/proc/meminfo: memFree=30918892/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=412120 CPUtime=1181.91 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 105991 0 0 0 118043 148 0 0 20 0 1 0 287400497 422010880 100653 33554432000 134512640 137138936 4286621920 4286620848 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 103030 100653 192 642 0 102386 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 412120

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27057
/proc/meminfo: memFree=30901332/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=418860 CPUtime=1241.9 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 107657 0 0 0 124041 149 0 0 20 0 1 0 287400497 428912640 102319 33554432000 134512640 137138936 4286621920 4286620848 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 104715 102319 192 642 0 104071 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 418860

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27057
/proc/meminfo: memFree=30885956/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=424596 CPUtime=1301.9 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 109091 0 0 0 130040 150 0 0 20 0 1 0 287400497 434786304 103753 33554432000 134512640 137138936 4286621920 4286620848 134542922 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 106149 103753 192 642 0 105505 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 424596

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27058
/proc/meminfo: memFree=30865620/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=431080 CPUtime=1361.89 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 110712 0 0 0 136037 152 0 0 20 0 1 0 287400497 441425920 105374 33554432000 134512640 137138936 4286621920 4286620848 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 107770 105374 192 642 0 107126 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 431080

[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 27058
/proc/meminfo: memFree=30812548/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=436120 CPUtime=1421.88 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 111992 0 0 0 142035 153 0 0 20 0 1 0 287400497 446586880 106654 33554432000 134512640 137138936 4286621920 4286620848 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 109030 106654 192 642 0 108386 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 436120

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 27061
/proc/meminfo: memFree=30770152/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=440636 CPUtime=1481.86 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 113121 0 0 0 148032 154 0 0 20 0 1 0 287400497 451211264 107782 33554432000 134512640 137138936 4286621920 4286620840 135984589 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 110159 107782 192 642 0 109515 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 440636

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 27061
/proc/meminfo: memFree=30724540/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=446120 CPUtime=1541.84 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 114491 0 0 0 154029 155 0 0 20 0 1 0 287400497 456826880 109134 33554432000 134512640 137138936 4286621920 4286620848 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 111530 109134 192 642 0 110886 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 446120

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27061
/proc/meminfo: memFree=30692796/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=453636 CPUtime=1601.83 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 116370 0 0 0 160027 156 0 0 20 0 1 0 287400497 464523264 111013 33554432000 134512640 137138936 4286621920 4286620848 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 113409 111013 192 642 0 112765 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 453636

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27062
/proc/meminfo: memFree=30653240/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=458596 CPUtime=1661.82 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 117629 0 0 0 166025 157 0 0 20 0 1 0 287400497 469602304 112272 33554432000 134512640 137138936 4286621920 4286620848 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 114649 112272 192 642 0 114005 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 458596

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27062
/proc/meminfo: memFree=30623880/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=463588 CPUtime=1721.81 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 118877 0 0 0 172022 159 0 0 20 0 1 0 287400497 474714112 113520 33554432000 134512640 137138936 4286621920 4286620848 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 115897 113520 192 642 0 115253 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 463588

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27062
/proc/meminfo: memFree=30614080/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=469228 CPUtime=1781.8 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 120268 0 0 0 178020 160 0 0 20 0 1 0 287400497 480489472 114911 33554432000 134512640 137138936 4286621920 4286620848 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 117307 114911 192 642 0 116663 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 469228

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27063
/proc/meminfo: memFree=30611468/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=470308 CPUtime=1791.4 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 120538 0 0 0 178980 160 0 0 20 0 1 0 287400497 481595392 115181 33554432000 134512640 137138936 4286621920 4286620848 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 117577 115181 192 642 0 116933 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 470308

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27063
/proc/meminfo: memFree=30610972/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=470464 CPUtime=1794.6 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 120596 0 0 0 179300 160 0 0 20 0 1 0 287400497 481755136 115239 33554432000 134512640 137138936 4286621920 4286621036 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 117616 115239 192 642 0 116972 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 470464

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27063
/proc/meminfo: memFree=30610848/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=470612 CPUtime=1796.19 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 120633 0 0 0 179459 160 0 0 20 0 1 0 287400497 481906688 115276 33554432000 134512640 137138936 4286621920 4286620344 134607120 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 117653 115276 192 642 0 117009 0
Current children cumulated CPU time (s) 1796.19
Current children cumulated vsize (KiB) 470612

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27063
/proc/meminfo: memFree=30610476/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=470612 CPUtime=1796.99 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 120633 0 0 0 179539 160 0 0 20 0 1 0 287400497 481906688 115276 33554432000 134512640 137138936 4286621920 4286620848 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 117653 115276 192 642 0 117009 0
Current children cumulated CPU time (s) 1796.99
Current children cumulated vsize (KiB) 470612

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27063
/proc/meminfo: memFree=30610476/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=470768 CPUtime=1797.79 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 120653 0 0 0 179619 160 0 0 20 0 1 0 287400497 482066432 115296 33554432000 134512640 137138936 4286621920 4286620848 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 117692 115296 192 642 0 117048 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 470768

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27063
/proc/meminfo: memFree=30610352/32873844 swapFree=7372/7372
[pid=26985] ppid=26983 vsize=470768 CPUtime=1798 cores=0,2,4,6
/proc/26985/stat : 26985 (bsolo) R 26983 26985 24082 0 -1 4202496 120653 0 0 0 179640 160 0 0 20 0 1 0 287400497 482066432 115296 33554432000 134512640 137138936 4286621920 4286620848 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26985/statm: 117692 115296 192 642 0 117048 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 470768

Child status: 0
Real time (s): 1798.52
CPU time (s): 1798.03
CPU user time (s): 1796.41
CPU system time (s): 1.61375
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 470768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.41
system time used= 1.61375
maximum resident set size= 461184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120653
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= 212
involuntary context switches= 1845

runsolver used 2.73358 second user time and 7.28589 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-28 15:45:19
IDJOB=3707630
IDBENCH=89706
IDSOLVER=2286
FILE ID=node109/3707630-1338212719
RUNJOBID= node109-1338195882-24098
PBS_JOBID= 14624611
Free space on /tmp= 70892 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-20.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707630-1338212719/watcher-3707630-1338212719 -o /tmp/evaluation-result-3707630-1338212719/solver-3707630-1338212719 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707630-1338212719.opb

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

MD5SUM BENCH= 63ab8977587973d616491fbff2cc242b
RANDOM SEED=163731310

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
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.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29419264 kB
Buffers:          203872 kB
Cached:           681248 kB
SwapCached:          588 kB
Active:          2391288 kB
Inactive:         252212 kB
Active(anon):    1753380 kB
Inactive(anon):     7668 kB
Active(file):     637908 kB
Inactive(file):   244544 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67106292 kB
Dirty:             12032 kB
Writeback:             0 kB
AnonPages:       1767848 kB
Mapped:            11068 kB
Shmem:                 8 kB
Slab:             664832 kB
SReclaimable:     107376 kB
SUnreclaim:       557456 kB
KernelStack:        1448 kB
PageTables:         7276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1886692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    669696 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= 71216 MiB
End job on node109 at 2012-05-28 16:15:18