Trace number 3730667

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
PB07: bsolo 3.0.17UNSAT 1656.83 1657.26

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
MD5SUM1785d65de493315a1e7654bb7aab8248
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark33.6839
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables84836
Total number of constraints245062
Number of constraints which are clauses233598
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11464
Minimum length of a constraint1
Maximum length of a constraint15
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 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3730667-1338681281.opb
0.00/0.00	c File size is 8646872 bytes.
0.68/0.78	c Highest Coefficient sum: 510
0.68/0.78	c Parsing was ok!!
0.68/0.78	c Total parsing time: 0.776 s
0.79/0.85	c Var: 84836 Constr: 245062 233598/0/11464 Lit: 710034 Watch. Lit: 501611
0.79/0.85	c Obj. Vars: 0 (0 % of total variables)
179.85/179.94	c Pre-processing Time: 179.9 s
179.85/179.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.85/179.94	c        0  78926   224406   663641    2   540017  401860      0      0 179.90
179.85/179.94	c Switching off LPR mode.
1656.75/1657.24	c      100  78926   224506   672255    2   539277  442047    100      0 180.51
1656.75/1657.24	c      252  78926   224658   686853    3   537527  486252    252      1 180.60
1656.75/1657.24	c      477  78926   224883   694120    3   534249  534878    477      2 180.70
1656.75/1657.24	c      816  78926   225222   702306    3   528094  588366    816      4 181.76
1656.75/1657.24	c     1326  78926   225732   719623    3   531524  647203   1326      7 183.95
1656.75/1657.24	c     2090  78926   226496   802836    3   534080  711924   2090     11 187.34
1656.75/1657.24	c     3237  78926   227643   917138    4   536540  783117   3237     16 191.41
1656.75/1657.24	c     4960  78926   229366  1054038    4   540699  861429   4960     25 196.11
1656.75/1657.24	c     7544  78926   231950  1315399    5   545204  947572   7544     36 206.24
1656.75/1657.24	c    11423  78926   235829  1538965    6   553313  500000  11423     52 218.21
1656.75/1657.24	c    17245  78926   241651  2023624    8   565567  550001  17245     70 244.31
1656.75/1657.24	c    25982  78926   250388  4448071   17   583727  605002  25982     94 275.36
1656.75/1657.24	c    39092  78924   263498  7513000   28   607084  665503  39092    123 317.60
1656.75/1657.24	c    58763  78924   283169 10620041   37   646140  732054  58763    164 356.80
1656.75/1657.24	c    88273  78468   312679 16831866   53   702428  805260  88273    190 463.58
1656.75/1657.24	c   132544  77966   356950 25270266   70   791878  885787 132544    210 630.92
1656.75/1657.24	c   198954  77494   423360 47887964  113   921381  974366 198954    166 1196.27
1656.75/1657.24	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1656.75/1657.24	c   17   286404  93440   763602   510810 68789020 286404    172 1656.80
1656.75/1657.24	s UNSATISFIABLE
1656.75/1657.24	c Total time: 1656.8 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-3730667-1338681281/watcher-3730667-1338681281 -o /tmp/evaluation-result-3730667-1338681281/solver-3730667-1338681281 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3730667-1338681281.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: 2.00 2.00 2.00 3/176 11290
/proc/meminfo: memFree=26192972/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/11290/stat : 11290 (runsolver) D 11288 11290 10459 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 334252207 12095488 50 33554432000 4194304 5436572 140736066571712 140736066568008 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 2953 50 31 304 0 2645 0

[startup+0.07104 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11290
/proc/meminfo: memFree=26192972/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=16172 CPUtime=0.05 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 1396 0 0 0 5 0 0 0 20 0 1 0 334252207 16560128 1332 33554432000 134512640 135840783 4286676048 4286674784 3597607 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11290/statm: 4043 1333 504 325 0 867 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16172

[startup+0.100232 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11290
/proc/meminfo: memFree=26192972/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=17616 CPUtime=0.08 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 1867 0 0 0 8 0 0 0 20 0 1 0 334252207 18038784 1803 33554432000 134512640 135840783 4286676048 4286674992 134524175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11290/statm: 4404 1803 589 325 0 1228 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17616

[startup+0.300229 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11290
/proc/meminfo: memFree=26192972/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=27116 CPUtime=0.28 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 4815 0 0 0 28 0 0 0 20 0 1 0 334252207 27766784 4632 33554432000 134512640 135840783 4286676048 4286674928 3599970 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11290/statm: 6780 4632 1129 325 0 3604 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27116

[startup+0.700215 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11290
/proc/meminfo: memFree=26192972/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=44052 CPUtime=0.68 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 10258 0 0 0 67 1 0 0 20 0 1 0 334252207 45109248 9869 33554432000 134512640 135840783 4286676048 4286674984 4369333 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11290/statm: 11013 9869 2198 325 0 7837 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44052

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11291
/proc/meminfo: memFree=26140240/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=57236 CPUtime=1.48 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 15625 0 0 0 146 2 0 0 20 0 1 0 334252207 58609664 13124 33554432000 134512640 135840783 4286676048 4285656940 3599936 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11290/statm: 14309 13124 344 325 0 13245 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 57236

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11291
/proc/meminfo: memFree=26138380/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=57632 CPUtime=3.09 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 15743 0 0 0 306 3 0 0 20 0 1 0 334252207 59015168 13242 33554432000 134512640 135840783 4286676048 4285656660 3584252 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11290/statm: 14408 13242 344 325 0 13344 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57632

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11291
/proc/meminfo: memFree=26134584/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=57896 CPUtime=6.28 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 15800 0 0 0 625 3 0 0 20 0 1 0 334252207 59285504 13299 33554432000 134512640 135840783 4286676048 4285657200 134567628 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11290/statm: 14474 13299 344 325 0 13410 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 57896

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11291
/proc/meminfo: memFree=26128244/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=58028 CPUtime=12.68 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 15860 0 0 0 1265 3 0 0 20 0 1 0 334252207 59420672 13359 33554432000 134512640 135840783 4286676048 4285656992 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11290/statm: 14507 13359 344 325 0 13443 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58028

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11291
/proc/meminfo: memFree=26118108/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=58292 CPUtime=25.48 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 15902 0 0 0 2544 4 0 0 20 0 1 0 334252207 59691008 13401 33554432000 134512640 135840783 4286676048 4285656660 3584354 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11290/statm: 14573 13401 344 325 0 13509 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58292

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11291
/proc/meminfo: memFree=26094128/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=58556 CPUtime=51.07 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 15992 0 0 0 5103 4 0 0 20 0 1 0 334252207 59961344 13491 33554432000 134512640 135840783 4286676048 4285656768 3595166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 14639 13491 344 325 0 13575 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 58556

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11291
/proc/meminfo: memFree=26046680/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=59084 CPUtime=102.27 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 16125 0 0 0 10221 6 0 0 20 0 1 0 334252207 60502016 13624 33554432000 134512640 135840783 4286676048 4285656992 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 14771 13624 344 325 0 13707 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 59084

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11291
/proc/meminfo: memFree=25993952/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=59480 CPUtime=162.26 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 16199 0 0 0 16218 8 0 0 20 0 1 0 334252207 60907520 13698 33554432000 134512640 135840783 4286676048 4285657132 8229936 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 14870 13698 344 325 0 13806 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 59480

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11291
/proc/meminfo: memFree=25927196/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=69908 CPUtime=222.24 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 18994 0 0 0 22215 9 0 0 20 0 1 0 334252207 71585792 16327 33554432000 134512640 135840783 4286676048 4286675408 134551081 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 17477 16327 348 325 0 16413 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 69908

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11292
/proc/meminfo: memFree=25838088/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=111224 CPUtime=282.21 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 29355 0 0 0 28209 12 0 0 20 0 1 0 334252207 113893376 26654 33554432000 134512640 135840783 4286676048 4286675408 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 27806 26654 348 325 0 26742 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 111224

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11295
/proc/meminfo: memFree=25728656/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=176924 CPUtime=342.16 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 45828 0 0 0 34197 19 0 0 20 0 1 0 334252207 181170176 43242 33554432000 134512640 135840783 4286676048 4286675344 134571857 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 44231 43242 348 325 0 43167 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 176924

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 11318
/proc/meminfo: memFree=25627296/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=215324 CPUtime=402.15 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 55429 0 0 0 40192 23 0 0 20 0 1 0 334252207 220491776 52843 33554432000 134512640 135840783 4286676048 4286675408 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 53831 52843 348 325 0 52767 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 215324

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11318
/proc/meminfo: memFree=25523236/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=270212 CPUtime=462.14 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 69175 0 0 0 46186 28 0 0 20 0 1 0 334252207 276697088 66589 33554432000 134512640 135840783 4286676048 4286675408 134551312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 67553 66589 348 325 0 66489 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 270212

[startup+522.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 11318
/proc/meminfo: memFree=25428128/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=311132 CPUtime=522.14 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 79373 0 0 0 52182 32 0 0 20 0 1 0 334252207 318599168 76787 33554432000 134512640 135840783 4286676048 4286675328 15929329 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 77783 76787 348 325 0 76719 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 311132

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11319
/proc/meminfo: memFree=25338728/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=363696 CPUtime=582.13 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 92541 0 0 0 58177 36 0 0 20 0 1 0 334252207 372424704 89955 33554432000 134512640 135840783 4286676048 4286675408 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 90924 89955 348 325 0 89860 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 363696

[startup+642.3 s]

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

/proc/meminfo: memFree=24819556/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=611944 CPUtime=1062.05 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 154597 0 0 0 106148 57 0 0 20 0 1 0 334252207 626630656 152011 33554432000 134512640 135840783 4286676048 4286675408 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 152986 152011 348 325 0 151922 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 611944

[startup+1122.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11323
/proc/meminfo: memFree=24758632/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=642488 CPUtime=1122.05 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 162213 0 0 0 112145 60 0 0 20 0 1 0 334252207 657907712 159627 33554432000 134512640 135840783 4286676048 4286675408 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 160622 159627 348 325 0 159558 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 642488

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11324
/proc/meminfo: memFree=24697280/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=672824 CPUtime=1182.04 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 169812 0 0 0 118141 63 0 0 20 0 1 0 334252207 688971776 167226 33554432000 134512640 135840783 4286676048 4286675220 3592354 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 168206 167226 348 325 0 167142 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 672824

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11324
/proc/meminfo: memFree=24627992/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=707248 CPUtime=1242.03 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 178412 0 0 0 124137 66 0 0 20 0 1 0 334252207 724221952 175826 33554432000 134512640 135840783 4286676048 4286675408 134550808 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 176812 175826 348 325 0 175748 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 707248

[startup+1302.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 11401
/proc/meminfo: memFree=26363600/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=747784 CPUtime=1302.02 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 188536 0 0 0 130132 70 0 0 20 0 1 0 334252207 765730816 185950 33554432000 134512640 135840783 4286676048 4286675344 134571866 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 186946 185950 348 325 0 185882 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 747784

[startup+1362.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 11401
/proc/meminfo: memFree=26234516/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=780700 CPUtime=1362.01 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 196788 0 0 0 136129 72 0 0 20 0 1 0 334252207 799436800 194202 33554432000 134512640 135840783 4286676048 4286675408 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 195175 194202 348 325 0 194111 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 780700

[startup+1422.31 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 11401
/proc/meminfo: memFree=26098776/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=821436 CPUtime=1421.98 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 207002 0 0 0 142121 77 0 0 20 0 1 0 334252207 841150464 204380 33554432000 134512640 135840783 4286676048 4286674896 134574669 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 205359 204380 348 325 0 204295 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 821436

[startup+1482.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 11402
/proc/meminfo: memFree=26065204/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=855316 CPUtime=1481.94 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 215523 0 0 0 148114 80 0 0 20 0 1 0 334252207 875843584 212857 33554432000 134512640 135840783 4286676048 4286675408 134550782 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 213829 212857 348 325 0 212765 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 855316

[startup+1542.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 11405
/proc/meminfo: memFree=26033360/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=887608 CPUtime=1541.91 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 223637 0 0 0 154107 84 0 0 20 0 1 0 334252207 908910592 220935 33554432000 134512640 135840783 4286676048 4286675220 3592164 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 221902 220935 348 325 0 220838 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 887608

[startup+1602.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 11405
/proc/meminfo: memFree=25989752/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=931524 CPUtime=1601.87 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 234650 0 0 0 160099 88 0 0 20 0 1 0 334252207 953880576 231911 33554432000 134512640 135840783 4286676048 4286675184 3595166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 232881 231911 348 325 0 231817 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 931524

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

[startup+1612.7 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 11405
/proc/meminfo: memFree=25980932/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=940116 CPUtime=1612.27 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 236810 0 0 0 161138 89 0 0 20 0 1 0 334252207 962678784 234065 33554432000 134512640 135840783 4286676048 4286675408 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 235029 234065 348 325 0 233965 0
Current children cumulated CPU time (s) 1612.27
Current children cumulated vsize (KiB) 940116

[startup+1638.3 s]
/proc/loadavg: 2.07 2.01 2.00 3/177 11405
/proc/meminfo: memFree=25934400/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=949376 CPUtime=1637.86 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 239115 0 0 0 163697 89 0 0 20 0 1 0 334252207 972161024 236359 33554432000 134512640 135840783 4286676048 4286675400 15542444 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 237344 236359 348 325 0 236280 0
Current children cumulated CPU time (s) 1637.86
Current children cumulated vsize (KiB) 949376

[startup+1644.7 s]
/proc/loadavg: 2.07 2.01 2.00 3/177 11405
/proc/meminfo: memFree=25923472/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=951228 CPUtime=1644.26 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 239590 0 0 0 164336 90 0 0 20 0 1 0 334252207 974057472 236828 33554432000 134512640 135840783 4286676048 4286675408 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 237807 236828 348 325 0 236743 0
Current children cumulated CPU time (s) 1644.26
Current children cumulated vsize (KiB) 951228

[startup+1651.11 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11405
/proc/meminfo: memFree=25912544/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=952948 CPUtime=1650.66 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 240019 0 0 0 164976 90 0 0 20 0 1 0 334252207 975818752 237252 33554432000 134512640 135840783 4286676048 4286675408 134550921 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 238237 237252 348 325 0 237173 0
Current children cumulated CPU time (s) 1650.66
Current children cumulated vsize (KiB) 952948

[startup+1654.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11405
/proc/meminfo: memFree=25907584/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=953872 CPUtime=1653.86 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 240248 0 0 0 165296 90 0 0 20 0 1 0 334252207 976764928 237481 33554432000 134512640 135840783 4286676048 4286675184 3595166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 238468 237481 348 325 0 237404 0
Current children cumulated CPU time (s) 1653.86
Current children cumulated vsize (KiB) 953872

[startup+1655.9 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11405
/proc/meminfo: memFree=25905848/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=954268 CPUtime=1655.46 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 240339 0 0 0 165456 90 0 0 20 0 1 0 334252207 977170432 237572 33554432000 134512640 135840783 4286676048 4286675344 134571866 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 238567 237572 348 325 0 237503 0
Current children cumulated CPU time (s) 1655.46
Current children cumulated vsize (KiB) 954268

[startup+1656.7 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11405
/proc/meminfo: memFree=25903988/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=954664 CPUtime=1656.25 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 240440 0 0 0 165535 90 0 0 20 0 1 0 334252207 977575936 237673 33554432000 134512640 135840783 4286676048 4286675408 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 238666 237673 348 325 0 237602 0
Current children cumulated CPU time (s) 1656.25
Current children cumulated vsize (KiB) 954664

[startup+1657.1 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11405
/proc/meminfo: memFree=25903988/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=954664 CPUtime=1656.65 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 240468 0 0 0 165575 90 0 0 20 0 1 0 334252207 977575936 237701 33554432000 134512640 135840783 4286676048 4286675408 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 238666 237701 348 325 0 237602 0
Current children cumulated CPU time (s) 1656.65
Current children cumulated vsize (KiB) 954664

[startup+1657.2 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11405
/proc/meminfo: memFree=25903988/32873648 swapFree=7368/7368
[pid=11290] ppid=11288 vsize=954664 CPUtime=1656.75 cores=0,2,4,6
/proc/11290/stat : 11290 (bsolo3.0.17) R 11288 11290 10459 0 -1 4202496 240468 0 0 0 165585 90 0 0 20 0 1 0 334252207 977575936 237701 33554432000 134512640 135840783 4286676048 4286675408 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11290/statm: 238666 237701 348 325 0 237602 0
Current children cumulated CPU time (s) 1656.75
Current children cumulated vsize (KiB) 954664

Child status: 0
Real time (s): 1657.26
CPU time (s): 1656.83
CPU user time (s): 1655.9
CPU system time (s): 0.925859
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 954664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1655.9
system time used= 0.925859
maximum resident set size= 950804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240471
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= 268
involuntary context switches= 1757

runsolver used 6.562 second user time and 16.6615 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 01:54:41
IDJOB=3730667
IDBENCH=1465
IDSOLVER=2318
FILE ID=node149/3730667-1338681281
RUNJOBID= node149-1338678596-10475
PBS_JOBID= 14636664
Free space on /tmp= 71040 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730667-1338681281/watcher-3730667-1338681281 -o /tmp/evaluation-result-3730667-1338681281/solver-3730667-1338681281 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3730667-1338681281.opb            

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

MD5SUM BENCH= 1785d65de493315a1e7654bb7aab8248
RANDOM SEED=1409786219

node149.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.145
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	: 5332.29
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.145
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.145
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	: 5438.55
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.145
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.145
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.145
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	: 5438.55
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.145
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.145
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:       32873648 kB
MemFree:        26193344 kB
Buffers:          702356 kB
Cached:          4044528 kB
SwapCached:         2468 kB
Active:          2943036 kB
Inactive:        2857064 kB
Active(anon):    1036184 kB
Inactive(anon):     9368 kB
Active(file):    1906852 kB
Inactive(file):  2847696 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             15196 kB
Writeback:             0 kB
AnonPages:       1048268 kB
Mapped:            15688 kB
Shmem:                96 kB
Slab:             739684 kB
SReclaimable:     183216 kB
SUnreclaim:       556468 kB
KernelStack:        1472 kB
PageTables:         5728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1158032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    851968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71032 MiB
End job on node149 at 2012-06-03 02:22:18