Trace number 3707474

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 1798.28

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17bt.opb
MD5SUMbde651356fbc7760944c2b16aa27f15d
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark4.11437
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables370
Total number of constraints809
Number of constraints which are clauses558
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints249
Minimum length of a constraint1
Maximum length of a constraint121
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 138
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-3707474-1338138725.opb
0.00/0.00	c File size is 39935 bytes.
0.00/0.00	c Highest Coefficient sum: 138
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 370 Constr: 809 558/2/249 Lit: 4357 Watch. Lit: 2416
0.00/0.00	c Obj. Vars: 0 (0 % of total variables)
0.00/0.01	c Pre-processing Time: 0.011 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    340      753     4158    5     2292    3978      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
1797.91/1798.28	c      103    340      892    12355   13     2566    4376    139   3218 0.03
1797.91/1798.28	c      255    340     1094    27974   25     2970    4814    341   3805 0.07
1797.91/1798.28	c      483    340     1357    54106   39     3502    5296    604   3744 0.13
1797.91/1798.28	c      823    340     1748    91294   52     4262    5826    995   4034 0.20
1797.91/1798.28	c     1333    340     2334   145529   62     5445    6409   1581   4027 0.33
1797.91/1798.28	c     2096    340     3190   229149   71     7149    7050   2437   3749 0.56
1797.91/1798.28	c     3242    340     4472   353110   78     9722    7756   3719   3321 0.98
1797.91/1798.28	c     4964    340     6419   548479   85    13623    8532   5666   2791 1.78
1797.91/1798.28	c     7549    340     5020   426682   84    10806    9386   4267   2305 3.27
1797.91/1798.28	c    11431    340     9437   896836   95    19648   10325   8684   2140 5.34
1797.91/1798.28	c    17255    340    10526  1028801   97    21823   11358   9773   1983 8.70
1797.91/1798.28	c    25996    340     8369   823470   98    17532   12494   7616   1834 14.17
1797.91/1798.28	c    39106    340    10097   980605   97    20958   13744   9344   1716 22.78
1797.91/1798.28	c    58779    340    10678  1086651  101    22142   15119   9925   1555 37.79
1797.91/1798.28	c    88291    340    12646  1308988  103    26070   16631  11893   1469 60.08
1797.91/1798.28	c   132564    340    10904  1160799  106    22585   18295  10151   1394 95.09
1797.91/1798.28	c   198975    340    10319  1133820  109    21424   20125   9566   1269 156.68
1797.91/1798.28	c   298595    340    19130  2079023  108    39060   22138  18377   1189 250.95
1797.91/1798.28	c   448030    340    17269  2013997  116    35307   24352  16516   1107 404.66
1797.91/1798.28	c   672191    340    22290  2724631  122    45365   26788  21537   1011 664.50
1797.91/1798.28	c  1008435    340    15509  1910927  123    31825   29467  14756    918 1097.44
1797.91/1798.28	c  1512807    340    17119  2171971  126    35087   32414  16366    848 1783.58
1797.91/1798.28	c Resources Exceeded
1797.91/1798.28	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.28	c   22  1521989 217913  1959901    28584  3692054  27831    846 1798.00
1797.91/1798.28	s UNKNOWN
1797.91/1798.28	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-3707474-1338138725/watcher-3707474-1338138725 -o /tmp/evaluation-result-3707474-1338138725/solver-3707474-1338138725 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707474-1338138725.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.03 1.50 1.79 3/175 12039
/proc/meminfo: memFree=28276112/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=10928 CPUtime=0 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 331 0 0 0 0 0 0 0 20 0 1 0 280001003 11190272 275 33554432000 134512640 137138936 4294281360 4294275596 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 2732 275 184 642 0 2088 0

[startup+0.0310599 s]
/proc/loadavg: 1.03 1.50 1.79 3/175 12039
/proc/meminfo: memFree=28276112/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=11056 CPUtime=0.02 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 365 0 0 0 2 0 0 0 20 0 1 0 280001003 11321344 309 33554432000 134512640 137138936 4294281360 4294280288 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 2764 309 192 642 0 2120 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11056

[startup+0.100209 s]
/proc/loadavg: 1.03 1.50 1.79 3/175 12039
/proc/meminfo: memFree=28276112/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=11448 CPUtime=0.09 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 472 0 0 0 9 0 0 0 20 0 1 0 280001003 11722752 416 33554432000 134512640 137138936 4294281360 4294280100 134538980 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 2862 416 192 642 0 2218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11448

[startup+0.300179 s]
/proc/loadavg: 1.03 1.50 1.79 3/175 12039
/proc/meminfo: memFree=28276112/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=12688 CPUtime=0.29 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 795 0 0 0 29 0 0 0 20 0 1 0 280001003 12992512 739 33554432000 134512640 137138936 4294281360 4294280288 134542544 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 3172 739 192 642 0 2528 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12688

[startup+0.700179 s]
/proc/loadavg: 1.03 1.50 1.79 3/175 12039
/proc/meminfo: memFree=28276112/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=14664 CPUtime=0.69 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 1281 0 0 0 69 0 0 0 20 0 1 0 280001003 15015936 1225 33554432000 134512640 137138936 4294281360 4294280288 134542439 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 3666 1225 192 642 0 3022 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14664

[startup+1.50018 s]
/proc/loadavg: 1.03 1.50 1.79 4/177 12041
/proc/meminfo: memFree=28267764/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=17644 CPUtime=1.49 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 2027 0 0 0 148 1 0 0 20 0 1 0 280001003 18067456 1971 33554432000 134512640 137138936 4294281360 4294280288 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 4411 1971 192 642 0 3767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17644

[startup+3.10018 s]
/proc/loadavg: 1.03 1.50 1.79 4/177 12041
/proc/meminfo: memFree=28262672/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=22112 CPUtime=3.08 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 3157 0 0 0 307 1 0 0 20 0 1 0 280001003 22642688 3098 33554432000 134512640 137138936 4294281360 4294280288 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12039/statm: 5528 3098 192 642 0 4884 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22112

[startup+6.30025 s]
/proc/loadavg: 1.11 1.50 1.79 3/177 12079
/proc/meminfo: memFree=28246108/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=25948 CPUtime=6.29 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 4101 0 0 0 626 3 0 0 20 0 1 0 280001003 26570752 4042 33554432000 134512640 137138936 4294281360 4294279640 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 6487 4042 192 642 0 5843 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25948

[startup+12.7003 s]
/proc/loadavg: 1.18 1.51 1.80 3/177 12079
/proc/meminfo: memFree=28229192/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=27792 CPUtime=12.68 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 4562 0 0 0 1265 3 0 0 20 0 1 0 280001003 28459008 4503 33554432000 134512640 137138936 4294281360 4294280288 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 6948 4503 192 642 0 6304 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27792

[startup+25.5003 s]
/proc/loadavg: 1.36 1.54 1.80 3/177 12079
/proc/meminfo: memFree=28218432/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=29864 CPUtime=25.49 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 5098 0 0 0 2544 5 0 0 20 0 1 0 280001003 30580736 5039 33554432000 134512640 137138936 4294281360 4294280288 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 7466 5039 192 642 0 6822 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29864

[startup+51.1003 s]
/proc/loadavg: 1.58 1.57 1.80 3/177 12079
/proc/meminfo: memFree=28208120/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=34016 CPUtime=51.08 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 6124 0 0 0 5100 8 0 0 20 0 1 0 280001003 34832384 6063 33554432000 134512640 137138936 4294281360 4294280476 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 8504 6063 192 642 0 7860 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34016

[startup+102.306 s]
/proc/loadavg: 1.81 1.64 1.81 3/177 12079
/proc/meminfo: memFree=28195080/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=39700 CPUtime=102.27 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 7563 0 0 0 10214 13 0 0 20 0 1 0 280001003 40652800 7497 33554432000 134512640 137138936 4294281360 4294279640 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 9925 7497 192 642 0 9281 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39700

[startup+162.3 s]
/proc/loadavg: 1.93 1.70 1.82 3/177 12079
/proc/meminfo: memFree=28188068/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=41668 CPUtime=162.26 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 8047 0 0 0 16208 18 0 0 20 0 1 0 280001003 42668032 7978 33554432000 134512640 137138936 4294281360 4294280288 134542752 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 10417 7978 192 642 0 9773 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 41668

[startup+222.3 s]
/proc/loadavg: 1.97 1.75 1.83 3/177 12079
/proc/meminfo: memFree=28181240/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=43668 CPUtime=222.25 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 8552 0 0 0 22200 25 0 0 20 0 1 0 280001003 44716032 8481 33554432000 134512640 137138936 4294281360 4294280288 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 10917 8481 192 642 0 10273 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 43668

[startup+282.3 s]
/proc/loadavg: 1.99 1.79 1.83 3/177 12080
/proc/meminfo: memFree=28179500/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=46136 CPUtime=282.24 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 9170 0 0 0 28195 29 0 0 20 0 1 0 280001003 47243264 9099 33554432000 134512640 137138936 4294281360 4294280476 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 11534 9099 192 642 0 10890 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 46136

[startup+342.3 s]
/proc/loadavg: 1.99 1.83 1.84 3/177 12080
/proc/meminfo: memFree=28171996/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=48184 CPUtime=342.24 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 9689 0 0 0 34189 35 0 0 20 0 1 0 280001003 49340416 9616 33554432000 134512640 137138936 4294281360 4294280476 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 12046 9616 192 642 0 11402 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 48184

[startup+402.3 s]
/proc/loadavg: 1.99 1.86 1.85 3/177 12080
/proc/meminfo: memFree=28166724/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=49336 CPUtime=402.22 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 9981 0 0 0 40183 39 0 0 20 0 1 0 280001003 50520064 9908 33554432000 134512640 137138936 4294281360 4294280288 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 12334 9908 192 642 0 11690 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 49336

[startup+462.3 s]
/proc/loadavg: 2.04 1.89 1.86 3/177 12080
/proc/meminfo: memFree=28162568/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=51376 CPUtime=462.22 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 10489 0 0 0 46177 45 0 0 20 0 1 0 280001003 52609024 10415 33554432000 134512640 137138936 4294281360 4294280288 134542972 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 12844 10415 192 642 0 12200 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 51376

[startup+522.3 s]
/proc/loadavg: 2.01 1.91 1.86 3/178 12083
/proc/meminfo: memFree=28160012/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=51528 CPUtime=522.2 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 10531 0 0 0 52171 49 0 0 20 0 1 0 280001003 52764672 10455 33554432000 134512640 137138936 4294281360 4294280476 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 12882 10455 192 642 0 12238 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 51528

[startup+582.3 s]
/proc/loadavg: 2.00 1.92 1.87 3/177 12084
/proc/meminfo: memFree=28159088/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=51528 CPUtime=582.2 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 10531 0 0 0 58166 54 0 0 20 0 1 0 280001003 52764672 10455 33554432000 134512640 137138936 4294281360 4294280072 136504089 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 12882 10455 192 642 0 12238 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 51528

[startup+642.3 s]

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

/proc/meminfo: memFree=28135624/32873844 swapFree=7616/7616
[pid=12039] ppid=12035 vsize=64036 CPUtime=1122.11 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 13661 0 0 0 112112 99 0 0 20 0 1 0 280001003 65572864 13581 33554432000 134512640 137138936 4294281360 4294280288 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16009 13581 192 642 0 15365 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 64036

[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 12089
/proc/meminfo: memFree=28134512/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=65276 CPUtime=1182.1 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 13973 0 0 0 118106 104 0 0 20 0 1 0 280001003 66842624 13891 33554432000 134512640 137138936 4294281360 4294280476 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16319 13891 192 642 0 15675 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 65276

[startup+1242.3 s]
/proc/loadavg: 2.03 2.00 1.91 3/177 12089
/proc/meminfo: memFree=28133332/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66072 CPUtime=1242.09 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 124102 107 0 0 20 0 1 0 280001003 67657728 14091 33554432000 134512640 137138936 4294281360 4294280288 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16518 14091 192 642 0 15874 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 66072

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 12089
/proc/meminfo: memFree=28129116/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66068 CPUtime=1302.09 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 130097 112 0 0 20 0 1 0 280001003 67653632 14091 33554432000 134512640 137138936 4294281360 4294280280 135984582 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16517 14091 192 642 0 15873 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 66068

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 12089
/proc/meminfo: memFree=28130112/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=65936 CPUtime=1362.08 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 136091 117 0 0 20 0 1 0 280001003 67518464 14059 33554432000 134512640 137138936 4294281360 4294280288 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16484 14059 192 642 0 15840 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 65936

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12091
/proc/meminfo: memFree=28129724/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=65932 CPUtime=1422.08 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 142087 121 0 0 20 0 1 0 280001003 67514368 14058 33554432000 134512640 137138936 4294281360 4294280280 135984589 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16483 14058 192 642 0 15839 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 65932

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 12091
/proc/meminfo: memFree=28129616/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=65924 CPUtime=1482.06 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 148082 124 0 0 20 0 1 0 280001003 67506176 14056 33554432000 134512640 137138936 4294281360 4294280112 134575640 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16481 14056 192 642 0 15837 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 65924

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12092
/proc/meminfo: memFree=28128244/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=65924 CPUtime=1542.05 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 154077 128 0 0 20 0 1 0 280001003 67506176 14056 33554432000 134512640 137138936 4294281360 4294280288 134542640 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16481 14056 192 642 0 15837 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 65924

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12092
/proc/meminfo: memFree=28124772/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=65916 CPUtime=1602.04 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14174 0 0 0 160072 132 0 0 20 0 1 0 280001003 67497984 14054 33554432000 134512640 137138936 4294281360 4294280288 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16479 14054 192 642 0 15835 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 65916

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12092
/proc/meminfo: memFree=28124892/32873844 swapFree=7616/7616
[pid=12039] ppid=12035 vsize=66004 CPUtime=1662.03 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14197 0 0 0 166066 137 0 0 20 0 1 0 280001003 67588096 14076 33554432000 134512640 137138936 4294281360 4294280276 136297620 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16501 14076 192 642 0 15857 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 66004

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/178 12095
/proc/meminfo: memFree=28124016/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66804 CPUtime=1722.03 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 172062 141 0 0 20 0 1 0 280001003 68407296 14276 33554432000 134512640 137138936 4294281360 4294280476 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16701 14276 192 642 0 16057 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 66804

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12095
/proc/meminfo: memFree=28123528/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1782.01 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 178056 145 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280288 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 66768

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 1.92 3/176 12095
/proc/meminfo: memFree=28124148/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1791.62 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179016 146 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280288 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 66768

[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 1.92 3/176 12095
/proc/meminfo: memFree=28124156/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1794.81 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179335 146 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280288 134542164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 66768

[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12096
/proc/meminfo: memFree=28124148/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1796.41 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179494 147 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280288 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 66768

[startup+1797.5 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12096
/proc/meminfo: memFree=28124148/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1797.21 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179574 147 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280288 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 66768

[startup+1797.9 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12096
/proc/meminfo: memFree=28124148/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1797.61 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179614 147 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280256 134542286 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 66768

[startup+1798.1 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12096
/proc/meminfo: memFree=28124148/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1797.81 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179634 147 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280288 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 66768

[startup+1798.2 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12096
/proc/meminfo: memFree=28124148/32873844 swapFree=7620/7620
[pid=12039] ppid=12035 vsize=66768 CPUtime=1797.91 cores=0,2,4,6
/proc/12039/stat : 12039 (bsolo) R 12035 12039 10269 0 -1 4202496 14401 0 0 0 179644 147 0 0 20 0 1 0 280001003 68370432 14267 33554432000 134512640 137138936 4294281360 4294280256 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12039/statm: 16692 14267 192 642 0 16048 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 66768

Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1796.53
CPU system time (s): 1.47278
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 66932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.53
system time used= 1.47278
maximum resident set size= 57104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14401
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= 1935

runsolver used 2.73358 second user time and 7.07592 second system time

The end

Launcher Data 

Begin job on node107 at 2012-05-27 19:12:05
IDJOB=3707474
IDBENCH=1158
IDSOLVER=2286
FILE ID=node107/3707474-1338138725
RUNJOBID= node107-1338138724-12012
PBS_JOBID= 14624494
Free space on /tmp= 71572 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707474-1338138725/watcher-3707474-1338138725 -o /tmp/evaluation-result-3707474-1338138725/solver-3707474-1338138725 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707474-1338138725.opb

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

MD5SUM BENCH= bde651356fbc7760944c2b16aa27f15d
RANDOM SEED=890529578

node107.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.760
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.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		: 2666.760
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.760
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.92
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.760
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.760
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		: 2666.760
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.760
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.86
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.760
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:        28276748 kB
Buffers:          359340 kB
Cached:          3394324 kB
SwapCached:            0 kB
Active:           820704 kB
Inactive:        2943024 kB
Active(anon):      13004 kB
Inactive(anon):        0 kB
Active(file):     807700 kB
Inactive(file):  2943024 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7772 kB
Writeback:             0 kB
AnonPages:         17760 kB
Mapped:            13644 kB
Shmem:               200 kB
Slab:             691328 kB
SReclaimable:     133788 kB
SUnreclaim:       557540 kB
KernelStack:        1392 kB
PageTables:         3612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71564 MiB
End job on node107 at 2012-05-27 19:42:03