Trace number 3708313

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.32

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-f2000.opb
MD5SUMacba870ceff62e653e0b2927ff2b81fb
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 variables4000
Total number of constraints10500
Number of constraints which are clauses10500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 4000
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 4000
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4000
Number of bits of the biggest sum of numbers12
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-3708313-1338221720.opb
0.00/0.00	c File size is 367975 bytes.
0.00/0.03	c Highest Coefficient sum: 4000
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.029 s
0.00/0.03	c Var: 4000 Constr: 10500 10500/0/0 Lit: 29500 Watch. Lit: 21000
0.00/0.03	c Obj. Vars: 4000 (100 % of total variables)
0.00/0.06	c Pre-processing Time: 0.058 s
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        0   3995    10500    29500    2    21000    3499      0      0 0.06
0.00/0.06	c Switching off lower bounding mode.
1797.99/1798.31	c      100   3995    10700    46320    4    21400    3849    200    952 0.10
1797.99/1798.31	c      251   3995    11002    69494    6    22004    4234    502   1426 0.18
1797.99/1798.31	c      476   3995    11452   108030    9    22904    4658    952   1586 0.30
1797.99/1798.31	c      815   3995    12130   169398   13    24260    5124   1630   1726 0.47
1797.99/1798.31	c     1324   3995    13148   280746   21    26296    5637   2648   1762 0.75
1797.99/1798.31	c     2088   3995    14676   446162   30    29352    6201   4176   1689 1.24
1797.99/1798.31	c     3234   3995    13601   333845   24    27202    6822   3101   1686 1.92
1797.99/1798.31	c     4958   3995    17049   685705   40    34098    7505   6549   1664 2.98
1797.99/1798.31	c     7543   3995    14254   461466   32    28508    8256   3754   1497 5.04
1797.99/1798.31	c    11424   3995    17539   844535   48    35078    9082   7039   1445 7.90
1797.99/1798.31	c    17250   3995    19318  1025001   53    38636    9991   8818   1362 12.66
1797.99/1798.31	c    25989   3995    15497   567988   36    30994   10991   4997   1310 19.83
1797.99/1798.31	c    39099   3995    17971   896683   49    35942   12091   7471   1250 31.26
1797.99/1798.31	c    58769   3995    18422   981857   53    36844   13301   7922   1128 52.06
1797.99/1798.31	c    88281   3995    20644  1333581   64    41288   14632  10144   1061 83.14
1797.99/1798.31	c   132551   3995    23905  1769461   74    47810   16096  13405   1030 128.69
1797.99/1798.31	c   198961   3995    20645  1183619   57    41290   17706  10145   1047 189.85
1797.99/1798.31	c   298581   3995    24367  1693458   69    48734   19477  13867   1032 289.08
1797.99/1798.31	c   448017   3995    27162  2183593   80    54324   21425  16662   1005 445.50
1797.99/1798.31	c   672178   3995    28263  2304744   81    56526   23568  17763    963 697.64
1797.99/1798.31	c  1008422   3995    25362  1952223   76    50724   25925  14862    938 1074.42
1797.99/1798.31	c  1512793   3995    28348  2262187   79    56696   28518  17848    910 1662.05
1797.99/1798.31	c Resources Exceeded
1797.99/1798.31	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.31	c   22  1620471 485866  2653851    37924  3556158  27424    901 1798.01
1797.99/1798.31	s UNKNOWN
1797.99/1798.31	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-3708313-1338221720/watcher-3708313-1338221720 -o /tmp/evaluation-result-3708313-1338221720/solver-3708313-1338221720 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708313-1338221720.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.92 1.98 1.99 3/176 27627
/proc/meminfo: memFree=31327588/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=11308 CPUtime=0 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 346 0 0 0 0 0 0 0 20 0 1 0 288300553 11579392 299 33554432000 134512640 137138936 4290864336 4290862584 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27627/statm: 2827 299 177 642 0 2093 0

[startup+0.0986621 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 27627
/proc/meminfo: memFree=31327588/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=13364 CPUtime=0.08 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 1143 0 0 0 8 0 0 0 20 0 1 0 288300553 13684736 904 33554432000 134512640 137138936 4290864336 4290862768 136364961 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27627/statm: 3341 904 192 642 0 2697 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13364

[startup+0.100216 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 27627
/proc/meminfo: memFree=31327588/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=13364 CPUtime=0.09 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 1143 0 0 0 9 0 0 0 20 0 1 0 288300553 13684736 904 33554432000 134512640 137138936 4290864336 4290862680 134599780 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27627/statm: 3341 904 192 642 0 2697 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13364

[startup+0.300177 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 27627
/proc/meminfo: memFree=31327588/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=14096 CPUtime=0.29 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 1319 0 0 0 29 0 0 0 20 0 1 0 288300553 14434304 1080 33554432000 134512640 137138936 4290864336 4290862760 134606944 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27627/statm: 3524 1080 192 642 0 2880 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14096

[startup+0.700179 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 27627
/proc/meminfo: memFree=31327588/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=16244 CPUtime=0.68 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 1856 0 0 0 68 0 0 0 20 0 1 0 288300553 16633856 1617 33554432000 134512640 137138936 4290864336 4290859624 134599804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27627/statm: 4061 1617 192 642 0 3417 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16244

[startup+1.50024 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31320752/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=20140 CPUtime=1.49 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 2832 0 0 0 148 1 0 0 20 0 1 0 288300553 20623360 2593 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 5035 2593 192 642 0 4391 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20140

[startup+3.10025 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31315916/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=22612 CPUtime=3.09 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 3444 0 0 0 308 1 0 0 20 0 1 0 288300553 23154688 3205 33554432000 134512640 137138936 4290864336 4290862616 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 5653 3205 192 642 0 5009 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22612

[startup+6.30025 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31313196/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=24760 CPUtime=6.28 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 3984 0 0 0 627 1 0 0 20 0 1 0 288300553 25354240 3745 33554432000 134512640 137138936 4290864336 4290863264 134542214 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 6190 3745 192 642 0 5546 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24760

[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31310632/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=27688 CPUtime=12.68 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 4731 0 0 0 1266 2 0 0 20 0 1 0 288300553 28352512 4492 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 6922 4492 192 642 0 6278 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27688

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31307424/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=30452 CPUtime=25.48 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 5409 0 0 0 2544 4 0 0 20 0 1 0 288300553 31182848 5170 33554432000 134512640 137138936 4290864336 4290862880 134607615 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 7613 5170 192 642 0 6969 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30452

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31300604/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=35484 CPUtime=51.08 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 6682 0 0 0 5101 7 0 0 20 0 1 0 288300553 36335616 6443 33554432000 134512640 137138936 4290864336 4290860320 134603296 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 8871 6443 192 642 0 8227 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35484

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31294692/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=39764 CPUtime=102.28 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 7743 0 0 0 10216 12 0 0 20 0 1 0 288300553 40718336 7502 33554432000 134512640 137138936 4290864336 4290862944 134552210 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 9941 7502 192 642 0 9297 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 39764

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31290268/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=41924 CPUtime=162.25 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 8324 0 0 0 16207 18 0 0 20 0 1 0 288300553 42930176 8059 33554432000 134512640 137138936 4290864336 4290863264 134542128 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 10481 8059 192 642 0 9837 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 41924

[startup+222.3 s]
/proc/loadavg: 2.12 2.02 2.01 3/177 27628
/proc/meminfo: memFree=31284992/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=45292 CPUtime=222.24 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 9159 0 0 0 22201 23 0 0 20 0 1 0 288300553 46379008 8888 33554432000 134512640 137138936 4290864336 4290862944 134544461 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 11323 8888 192 642 0 10679 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 45292

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 27631
/proc/meminfo: memFree=31278584/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=46140 CPUtime=282.23 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 9398 0 0 0 28194 29 0 0 20 0 1 0 288300553 47247360 9113 33554432000 134512640 137138936 4290864336 4290863264 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 11535 9113 192 642 0 10891 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 46140

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 27632
/proc/meminfo: memFree=31271404/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=50204 CPUtime=342.22 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 10404 0 0 0 34188 34 0 0 20 0 1 0 288300553 51408896 10118 33554432000 134512640 137138936 4290864336 4290863076 136296964 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 12551 10118 192 642 0 11907 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 50204

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27632
/proc/meminfo: memFree=31268172/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=50180 CPUtime=402.21 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 10406 0 0 0 40181 40 0 0 20 0 1 0 288300553 51384320 10118 33554432000 134512640 137138936 4290864336 4290863440 134543488 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 12545 10118 192 642 0 11901 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 50180

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27632
/proc/meminfo: memFree=31268296/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=51348 CPUtime=462.2 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 10735 0 0 0 46175 45 0 0 20 0 1 0 288300553 52580352 10406 33554432000 134512640 137138936 4290864336 4290863264 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 12837 10406 192 642 0 12193 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 51348

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27632
/proc/meminfo: memFree=31263084/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=54160 CPUtime=522.19 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 11439 0 0 0 52167 52 0 0 20 0 1 0 288300553 55459840 11110 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 13540 11110 192 642 0 12896 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 54160

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27632
/proc/meminfo: memFree=31259296/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=55556 CPUtime=582.18 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 11811 0 0 0 58160 58 0 0 20 0 1 0 288300553 56889344 11467 33554432000 134512640 137138936 4290864336 4290859944 134600437 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 13889 11467 192 642 0 13245 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 55556

[startup+642.3 s]

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

/proc/meminfo: memFree=31439776/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=60992 CPUtime=1062.1 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13240 0 0 0 106111 99 0 0 20 0 1 0 288300553 62455808 12822 33554432000 134512640 137138936 4290864336 4290862616 136504048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15248 12822 192 642 0 14604 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 60992

[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 27713
/proc/meminfo: memFree=31436664/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=60940 CPUtime=1122.1 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13242 0 0 0 112106 104 0 0 20 0 1 0 288300553 62402560 12812 33554432000 134512640 137138936 4290864336 4290863196 136520965 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15235 12812 192 642 0 14591 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 60940

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 27713
/proc/meminfo: memFree=31423684/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=61320 CPUtime=1182.08 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13336 0 0 0 118098 110 0 0 20 0 1 0 288300553 62791680 12906 33554432000 134512640 137138936 4290864336 4290863264 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15330 12906 192 642 0 14686 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 61320

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27714
/proc/meminfo: memFree=31390684/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=61956 CPUtime=1242.07 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13511 0 0 0 124091 116 0 0 20 0 1 0 288300553 63442944 13067 33554432000 134512640 137138936 4290864336 4290863264 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15489 13067 192 642 0 14845 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 61956

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27714
/proc/meminfo: memFree=31363188/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=61948 CPUtime=1302.07 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13511 0 0 0 130085 122 0 0 20 0 1 0 288300553 63434752 13065 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15487 13065 192 642 0 14843 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 61948

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27714
/proc/meminfo: memFree=31361248/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=61948 CPUtime=1362.05 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13511 0 0 0 136077 128 0 0 20 0 1 0 288300553 63434752 13065 33554432000 134512640 137138936 4290864336 4290863264 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15487 13065 192 642 0 14843 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 61948

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27714
/proc/meminfo: memFree=31346352/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=61936 CPUtime=1422.05 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13511 0 0 0 142071 134 0 0 20 0 1 0 288300553 63422464 13062 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15484 13062 192 642 0 14840 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 61936

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27717
/proc/meminfo: memFree=31291604/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=64396 CPUtime=1482.03 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14124 0 0 0 148065 138 0 0 20 0 1 0 288300553 65941504 13675 33554432000 134512640 137138936 4290864336 4290863264 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16099 13675 192 642 0 15455 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 64396

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31253328/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=64388 CPUtime=1542.02 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14124 0 0 0 154060 142 0 0 20 0 1 0 288300553 65933312 13675 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16097 13675 192 642 0 15453 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 64388

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31206452/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=64384 CPUtime=1602.02 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14125 0 0 0 160055 147 0 0 20 0 1 0 288300553 65929216 13674 33554432000 134512640 137138936 4290864336 4290863264 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16096 13674 192 642 0 15452 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 64384

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31142336/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=64380 CPUtime=1662.01 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14125 0 0 0 166048 153 0 0 20 0 1 0 288300553 65925120 13673 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16095 13673 192 642 0 15451 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 64380

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31144640/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66188 CPUtime=1722 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14573 0 0 0 172043 157 0 0 20 0 1 0 288300553 67776512 14121 33554432000 134512640 137138936 4290864336 4290863264 134542022 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16547 14121 192 642 0 15903 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 66188

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31118764/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1781.98 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 178037 161 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290862788 136511187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 66284

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 27718
/proc/meminfo: memFree=31129748/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1791.59 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 178997 162 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290863088 134576319 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 66284

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31124912/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1794.79 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 179316 163 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290862480 134603164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 66284

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31124168/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1796.38 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 179475 163 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 66284

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31122680/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1797.18 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 179555 163 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290863264 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 66284

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31122680/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1797.59 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 179595 164 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290863264 134542053 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 66284

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31122680/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1797.99 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 179635 164 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290863252 136297620 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 66284

Child status: 0
Real time (s): 1798.32
CPU time (s): 1798.01
CPU user time (s): 1796.37
CPU system time (s): 1.64275
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 66328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.37
system time used= 1.64275
maximum resident set size= 56624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14608
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= 29
involuntary context switches= 2056

runsolver used 3.20651 second user time and 6.99993 second system time

The end

Launcher Data

Begin job on node109 at 2012-05-28 18:15:20
IDJOB=3708313
IDBENCH=89869
IDSOLVER=2286
FILE ID=node109/3708313-1338221720
RUNJOBID= node109-1338195882-24098
PBS_JOBID= 14624611
Free space on /tmp= 71224 MiB

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

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

MD5SUM BENCH= acba870ceff62e653e0b2927ff2b81fb
RANDOM SEED=1774760810

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:        31329076 kB
Buffers:          208232 kB
Cached:           356464 kB
SwapCached:          588 kB
Active:           467376 kB
Inactive:         271772 kB
Active(anon):     168880 kB
Inactive(anon):     7668 kB
Active(file):     298496 kB
Inactive(file):   264104 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67106292 kB
Dirty:              4204 kB
Writeback:             0 kB
AnonPages:        180812 kB
Mapped:            11064 kB
Shmem:                 8 kB
Slab:             664984 kB
SReclaimable:     107376 kB
SUnreclaim:       557608 kB
KernelStack:        1472 kB
PageTables:         4368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     298676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 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= 71236 MiB
End job on node109 at 2012-05-28 18:45:18