Trace number 3708326

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.01 1798.34

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-807456.opb
MD5SUM21cf0355c32a3177f2f6fa914b5dacc6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1635
Total number of constraints840
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)840
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint9
Number of terms in the objective function 1635
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1635
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1635
Number of bits of the biggest sum of numbers11
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-3708326-1338220938.opb
0.00/0.00	c File size is 59679 bytes.
0.00/0.00	c Highest Coefficient sum: 1635
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 1635 Constr: 1680 880/800/0 Lit: 9810 Watch. Lit: 6577
0.00/0.00	c Obj. Vars: 1635 (100 % of total variables)
0.00/0.02	c Pre-processing Time: 0.021 s
1.99/2.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.01	c        0   1507     1548     9298    6     6197    8863      0      0 0.02
1.99/2.01	c Initial Lower Bound: 280
1.99/2.01	c Initial Path Cost: 45
1797.95/1798.33	c      100   1507     1649    13884    8     6399    9750    101     49 2.04
1797.95/1798.33	c      252   1507     1801    22386   12     6703   10726    253    120 2.08
1797.95/1798.33	c      477   1507     2028    38659   19     7157   11799    480    220 2.17
1797.95/1798.33	c      815   1507     2370    73785   31     7856   12979    822    354 2.30
1797.95/1798.33	c     1323   1507     2901   147520   50     8944   14277   1353    519 2.55
1797.95/1798.33	c     2086   1507     3689   234767   63    10565   15705   2141    697 2.99
1797.95/1798.33	c     3234   1507     4867   371216   76    12944   17276   3319    879 3.68
1797.95/1798.33	c     4959   1507     6637   586217   88    16520   19004   5089    997 4.97
1797.95/1798.33	c     7543   1507     9316   883394   94    22022   20905   7768   1100 6.86
1797.95/1798.33	c    11425   1507    13337  1351904  101    30217   22996  11789   1098 10.40
1797.95/1798.33	c    17248   1507    19385  2080867  107    42555   25296  17837    971 17.75
1797.95/1798.33	c    25985   1507    15113  1750263  115    33769   27826  13565    747 34.76
1797.95/1798.33	c    39095   1507    28950  3942491  136    62414   30609  27402    643 60.80
1797.95/1798.33	c    58765   1507    32145  4707971  146    69041   33670  30597    532 110.44
1797.95/1798.33	c    88277   1507    23632  2997333  126    51371   37038  22084    510 173.04
1797.95/1798.33	c   132549   1507    23254  2653533  114    50561   40742  21706    486 272.29
1797.95/1798.33	c   198964   1507    40203  5116736  127    85488   44817  38655    446 445.56
1797.95/1798.33	c   298584   1507    27607  3136754  113    59364   49299  26059    423 704.99
1797.95/1798.33	c   448019   1507    50498  7351527  145   107429   54229  48950    382 1171.00
1797.95/1798.33	c Resources Exceeded
1797.95/1798.33	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.33	c   19   636206 189314  1083579    21408  2743995  19860    353 1798.00
1797.95/1798.33	s UNKNOWN
1797.95/1798.33	c Total time: 1798 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-3708326-1338220938/watcher-3708326-1338220938 -o /tmp/evaluation-result-3708326-1338220938/solver-3708326-1338220938 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708326-1338220938.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 1.89 3/176 24212
/proc/meminfo: memFree=29985788/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=10996 CPUtime=0 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 288218402 11259904 298 33554432000 134512640 137138936 4294423424 4294421784 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 2782 299 178 642 0 2123 0

[startup+0.10485 s]
/proc/loadavg: 2.00 2.00 1.89 3/176 24212
/proc/meminfo: memFree=29985788/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=13892 CPUtime=0.09 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 1496 0 0 0 9 0 0 0 20 0 1 0 288218402 14225408 822 33554432000 134512640 137138936 4294423424 4294421196 135440730 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 3473 822 278 642 0 2829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13892

[startup+0.200268 s]
/proc/loadavg: 2.00 2.00 1.89 3/176 24212
/proc/meminfo: memFree=29985788/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=14140 CPUtime=0.19 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 1782 0 0 0 19 0 0 0 20 0 1 0 288218402 14479360 844 33554432000 134512640 137138936 4294423424 4294421112 135444639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 3535 844 279 642 0 2891 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14140

[startup+0.300247 s]
/proc/loadavg: 2.00 2.00 1.89 3/176 24212
/proc/meminfo: memFree=29985788/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=14172 CPUtime=0.29 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 1999 0 0 0 29 0 0 0 20 0 1 0 288218402 14512128 860 33554432000 134512640 137138936 4294423424 4294421184 135449769 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 3543 860 279 642 0 2899 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14172

[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 1.89 3/176 24212
/proc/meminfo: memFree=29985788/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=14384 CPUtime=0.68 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 2728 0 0 0 68 0 0 0 20 0 1 0 288218402 14729216 916 33554432000 134512640 137138936 4294423424 4294421112 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 3596 916 279 642 0 2952 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14384

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.89 3/174 24220
/proc/meminfo: memFree=31032784/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=14192 CPUtime=1.49 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 6127 0 0 0 148 1 0 0 20 0 1 0 288218402 14532608 846 33554432000 134512640 137138936 4294423424 4294420416 135382814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 3548 847 279 642 0 2904 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14192

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.89 3/174 24220
/proc/meminfo: memFree=31032668/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=14976 CPUtime=3.08 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 14063 0 0 0 306 2 0 0 20 0 1 0 288218402 15335424 1415 33554432000 134512640 137138936 4294423424 4294422540 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 3744 1415 286 642 0 3100 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14976

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 24251
/proc/meminfo: memFree=31029348/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=22388 CPUtime=6.28 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 15907 0 0 0 624 4 0 0 20 0 1 0 288218402 22925312 3256 33554432000 134512640 137138936 4294423424 4294422540 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 5597 3257 286 642 0 4953 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22388

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 24289
/proc/meminfo: memFree=31011640/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=33244 CPUtime=12.69 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 18617 0 0 0 1263 6 0 0 20 0 1 0 288218402 34041856 5966 33554432000 134512640 137138936 4294423424 4294422540 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 8311 5966 286 642 0 7667 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33244

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 24289
/proc/meminfo: memFree=31000264/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=47932 CPUtime=25.47 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 22299 0 0 0 2540 7 0 0 20 0 1 0 288218402 49082368 9638 33554432000 134512640 137138936 4294423424 4294421848 134606683 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 11983 9640 286 642 0 11339 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 47932

[startup+51.1004 s]
/proc/loadavg: 2.06 2.01 1.90 3/177 24289
/proc/meminfo: memFree=30990696/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=55392 CPUtime=51.05 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 24186 0 0 0 5096 9 0 0 20 0 1 0 288218402 56721408 11517 33554432000 134512640 137138936 4294423424 4294422352 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 13848 11517 286 642 0 13204 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 55392

[startup+102.3 s]
/proc/loadavg: 2.02 2.01 1.90 3/177 24289
/proc/meminfo: memFree=30972132/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=72920 CPUtime=102.25 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 28548 0 0 0 10210 15 0 0 20 0 1 0 288218402 74670080 15870 33554432000 134512640 137138936 4294423424 4294422352 134542028 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 18230 15870 286 642 0 17586 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 72920

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 24289
/proc/meminfo: memFree=30963744/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=81612 CPUtime=162.23 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 30725 0 0 0 16202 21 0 0 20 0 1 0 288218402 83570688 18043 33554432000 134512640 137138936 4294423424 4294422340 136297747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 20403 18043 286 642 0 19759 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 81612

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24289
/proc/meminfo: memFree=30963364/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=81628 CPUtime=222.22 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 30729 0 0 0 22196 26 0 0 20 0 1 0 288218402 83587072 18047 33554432000 134512640 137138936 4294423424 4294421920 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 20407 18047 286 642 0 19763 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 81628

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24290
/proc/meminfo: memFree=30963296/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=81628 CPUtime=282.21 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 30729 0 0 0 28190 31 0 0 20 0 1 0 288218402 83587072 18047 33554432000 134512640 137138936 4294423424 4294422352 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 20407 18047 286 642 0 19763 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 81628

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24290
/proc/meminfo: memFree=30956408/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=87636 CPUtime=342.2 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 32231 0 0 0 34185 35 0 0 20 0 1 0 288218402 89739264 19549 33554432000 134512640 137138936 4294423424 4294422352 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 21909 19549 286 642 0 21265 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 87636

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24290
/proc/meminfo: memFree=30955280/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=88520 CPUtime=402.19 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 32455 0 0 0 40179 40 0 0 20 0 1 0 288218402 90644480 19770 33554432000 134512640 137138936 4294423424 4294418184 134600326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 22130 19770 286 642 0 21486 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 88520

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24290
/proc/meminfo: memFree=30955892/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=88792 CPUtime=462.18 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 32545 0 0 0 46175 43 0 0 20 0 1 0 288218402 90923008 19860 33554432000 134512640 137138936 4294423424 4294422352 134542249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 22198 19860 286 642 0 21554 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 88792

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/178 24293
/proc/meminfo: memFree=30951224/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=92560 CPUtime=522.17 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 33467 0 0 0 52170 47 0 0 20 0 1 0 288218402 94781440 20780 33554432000 134512640 137138936 4294423424 4294422540 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 23140 20780 286 642 0 22496 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 92560

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 24294
/proc/meminfo: memFree=30952468/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=92560 CPUtime=582.15 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 33467 0 0 0 58165 50 0 0 20 0 1 0 288218402 94781440 20780 33554432000 134512640 137138936 4294423424 4294421736 136504179 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 23140 20780 286 642 0 22496 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 92560

[startup+642.3 s]

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

/proc/meminfo: memFree=30916980/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=122608 CPUtime=1122.06 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 40994 0 0 0 112115 91 0 0 20 0 1 0 288218402 125550592 28292 33554432000 134512640 137138936 4294423424 4294422352 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 30652 28292 286 642 0 30008 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 122608

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24299
/proc/meminfo: memFree=30916860/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=122616 CPUtime=1182.06 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 40996 0 0 0 118111 95 0 0 20 0 1 0 288218402 125558784 28294 33554432000 134512640 137138936 4294423424 4294422088 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 30654 28294 286 642 0 30010 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 122616

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24299
/proc/meminfo: memFree=30917416/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=122628 CPUtime=1242.04 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 40999 0 0 0 124107 97 0 0 20 0 1 0 288218402 125571072 28297 33554432000 134512640 137138936 4294423424 4294422352 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 30657 28297 286 642 0 30013 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 122628

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24299
/proc/meminfo: memFree=30916728/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=122628 CPUtime=1302.03 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 40999 0 0 0 130103 100 0 0 20 0 1 0 288218402 125571072 28297 33554432000 134512640 137138936 4294423424 4294422352 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 30657 28297 286 642 0 30013 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 122628

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24299
/proc/meminfo: memFree=30916660/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=122628 CPUtime=1362.02 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 40999 0 0 0 136098 104 0 0 20 0 1 0 288218402 125571072 28297 33554432000 134512640 137138936 4294423424 4294422352 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 30657 28297 286 642 0 30013 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 122628

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24299
/proc/meminfo: memFree=30915792/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=122628 CPUtime=1422.02 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 40999 0 0 0 142095 107 0 0 20 0 1 0 288218402 125571072 28297 33554432000 134512640 137138936 4294423424 4294422344 135984587 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 30657 28297 286 642 0 30013 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 122628

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24300
/proc/meminfo: memFree=30916652/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=122628 CPUtime=1482.01 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 40999 0 0 0 148089 112 0 0 20 0 1 0 288218402 125571072 28297 33554432000 134512640 137138936 4294423424 4294422352 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 30657 28297 286 642 0 30013 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 122628

[startup+1542.31 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 24300
/proc/meminfo: memFree=30916832/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=122628 CPUtime=1542 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 40999 0 0 0 154085 115 0 0 20 0 1 0 288218402 125571072 28297 33554432000 134512640 137138936 4294423424 4294422344 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 30657 28297 286 642 0 30013 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 122628

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/177 24300
/proc/meminfo: memFree=30914720/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=122628 CPUtime=1601.98 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 40999 0 0 0 160079 119 0 0 20 0 1 0 288218402 125571072 28297 33554432000 134512640 137138936 4294423424 4294422344 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 30657 28297 286 642 0 30013 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 122628

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 24300
/proc/meminfo: memFree=30914468/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=122628 CPUtime=1661.98 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 40999 0 0 0 166074 124 0 0 20 0 1 0 288218402 125571072 28297 33554432000 134512640 137138936 4294423424 4294422352 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 30657 28297 286 642 0 30013 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 122628

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 24303
/proc/meminfo: memFree=30914640/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=122628 CPUtime=1721.97 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 40999 0 0 0 172070 127 0 0 20 0 1 0 288218402 125571072 28297 33554432000 134512640 137138936 4294423424 4294422352 134542369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 30657 28297 286 642 0 30013 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 122628

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24304
/proc/meminfo: memFree=30913588/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=122628 CPUtime=1781.96 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 40999 0 0 0 178065 131 0 0 20 0 1 0 288218402 125571072 28297 33554432000 134512640 137138936 4294423424 4294422352 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 30657 28297 286 642 0 30013 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 122628

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

[startup+1792.01 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 24304
/proc/meminfo: memFree=30910488/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=126196 CPUtime=1791.67 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 41903 0 0 0 179035 132 0 0 20 0 1 0 288218402 129224704 29201 33554432000 134512640 137138936 4294423424 4294422352 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 31549 29201 286 642 0 30905 0
Current children cumulated CPU time (s) 1791.67
Current children cumulated vsize (KiB) 126196

[startup+1795.2 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 24304
/proc/meminfo: memFree=30909620/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=126920 CPUtime=1794.86 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 42072 0 0 0 179354 132 0 0 20 0 1 0 288218402 129966080 29370 33554432000 134512640 137138936 4294423424 4294422352 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 31730 29370 286 642 0 31086 0
Current children cumulated CPU time (s) 1794.86
Current children cumulated vsize (KiB) 126920

[startup+1796.8 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 24304
/proc/meminfo: memFree=30910364/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=126920 CPUtime=1796.46 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 42072 0 0 0 179514 132 0 0 20 0 1 0 288218402 129966080 29370 33554432000 134512640 137138936 4294423424 4294422352 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 31730 29370 286 642 0 31086 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (KiB) 126920

[startup+1797.6 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 24304
/proc/meminfo: memFree=30909992/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=126920 CPUtime=1797.26 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 42072 0 0 0 179594 132 0 0 20 0 1 0 288218402 129966080 29370 33554432000 134512640 137138936 4294423424 4294422352 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 31730 29370 286 642 0 31086 0
Current children cumulated CPU time (s) 1797.26
Current children cumulated vsize (KiB) 126920

[startup+1798 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 24304
/proc/meminfo: memFree=30909992/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=126920 CPUtime=1797.66 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 42072 0 0 0 179634 132 0 0 20 0 1 0 288218402 129966080 29370 33554432000 134512640 137138936 4294423424 4294422352 134542246 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 31730 29370 286 642 0 31086 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 126920

[startup+1798.2 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 24304
/proc/meminfo: memFree=30909992/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=126920 CPUtime=1797.85 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 42072 0 0 0 179653 132 0 0 20 0 1 0 288218402 129966080 29370 33554432000 134512640 137138936 4294423424 4294422540 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 31730 29370 286 642 0 31086 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 126920

[startup+1798.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 24304
/proc/meminfo: memFree=30909992/32873844 swapFree=6080/6080
[pid=24212] ppid=24210 vsize=126920 CPUtime=1797.95 cores=1,3,5,7
/proc/24212/stat : 24212 (bsolo) R 24210 24212 24091 0 -1 4202496 42072 0 0 0 179663 132 0 0 20 0 1 0 288218402 129966080 29370 33554432000 134512640 137138936 4294423424 4294422352 134542776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24212/statm: 31730 29370 286 642 0 31086 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 126920

Child status: 0
Real time (s): 1798.34
CPU time (s): 1798.01
CPU user time (s): 1796.68
CPU system time (s): 1.3298
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 126920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.68
system time used= 1.3298
maximum resident set size= 117480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42072
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= 57
involuntary context switches= 1848

runsolver used 3.60245 second user time and 8.28574 second system time

The end

Launcher Data 

Begin job on node139 at 2012-05-28 18:02:18
IDJOB=3708326
IDBENCH=89856
IDSOLVER=2286
FILE ID=node139/3708326-1338220938
RUNJOBID= node139-1338219140-24108
PBS_JOBID= 14624619
Free space on /tmp= 71640 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-807456.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708326-1338220938/watcher-3708326-1338220938 -o /tmp/evaluation-result-3708326-1338220938/solver-3708326-1338220938 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708326-1338220938.opb

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

MD5SUM BENCH= 21cf0355c32a3177f2f6fa914b5dacc6
RANDOM SEED=1634238006

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:        29985944 kB
Buffers:          437716 kB
Cached:           533488 kB
SwapCached:          828 kB
Active:          1762240 kB
Inactive:         269432 kB
Active(anon):    1053676 kB
Inactive(anon):     7968 kB
Active(file):     708564 kB
Inactive(file):   261464 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67104692 kB
Dirty:              3900 kB
Writeback:             0 kB
AnonPages:       1180872 kB
Mapped:            12568 kB
Shmem:                 8 kB
Slab:             717360 kB
SReclaimable:     159776 kB
SUnreclaim:       557584 kB
KernelStack:        1472 kB
PageTables:         5932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1184140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    989184 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= 71644 MiB
End job on node139 at 2012-05-28 18:32:17