Trace number 3737841

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
PB09: bsolo 3.1? 1798.18 1798.63

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_3_80.opb
MD5SUM4023d6beb9ef2c356e20e783b830f625
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.228965
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12632
Sum of products size (including duplicates)25264
Number of different products6316
Sum of products size12632

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3737841-1338737813.opb
0.00/0.00	c File size is 566885 bytes.
0.00/0.04	c Highest Coefficient sum: 1000
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.041 s
0.00/0.04	c Var: 7316 Constr: 14135 6816/1003/6316 Lit: 54028 Watch. Lit: 46295
0.00/0.04	c Obj. Vars: 0 (0 % of total variables)
0.79/0.89	c Pre-processing Time: 0.894 s
0.79/0.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.89	c        0   7316    14135    54028    3    46295   94040      0      0 0.89
0.79/0.89	c Switching off lower bounding mode.
1797.94/1798.45	c      100   7316    14236    89890    6    46576  103445    101     99 1.01
1797.94/1798.45	c      250   7316    14386   139083    9    46876  113790    251    221 1.13
1797.94/1798.45	c      477   7316    14613   231007   15    47330  125170    478    354 1.34
1797.94/1798.45	c      815   7316    14951   367955   24    48006  137688    816    476 1.71
1797.94/1798.45	c     1323   7316    15459   581098   37    49022  151457   1324    597 2.21
1797.94/1798.45	c     2087   7316    16223   928846   57    50550  166603   2088    702 2.97
1797.94/1798.45	c     3233   7316    17369  1448340   83    52842  183264   3234    805 4.01
1797.94/1798.45	c     4955   7316    19091  2197011  115    56286  201591   4956    921 5.38
1797.94/1798.45	c     7539   7316    21675  3412698  157    61454  221751   7540    881 8.55
1797.94/1798.45	c    11418   7316    25554  5234820  204    69212  243927  11419    888 12.85
1797.94/1798.45	c    17242   7316    31379  7826139  249    80939  268320  17244   1010 17.06
1797.94/1798.45	c    25980   7316    40117 11803400  294    98415  295153  25982   1004 25.86
1797.94/1798.45	c    39090   7316    53227 18269464  343   124635  324669  39092    876 44.57
1797.94/1798.45	c    58760   7316    72897 27691518  379   163975  357136  58762    811 72.45
1797.94/1798.45	c    88270   7316   102407 41908984  409   222995  392850  88272    777 113.58
1797.94/1798.45	c   132541   7316   146678 63961771  436   311537  432136 132543    690 191.98
1797.94/1798.45	c   198951   7316   213088 96951528  454   444357  475350 198953    637 312.30
1797.94/1798.45	c   298572   7316   312709 145816343  466   643599  522886 298574    440 678.03
1797.94/1798.45	c   448007   7316   462144 220209436  476   942469  575175 448009    308 1451.91
1797.94/1798.45	c Resources Exceeded
1797.94/1798.45	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.45	c   19   576404   2741  1001623   590541 283791358 576406    320 1798.01
1797.94/1798.45	s UNKNOWN
1797.94/1798.45	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-3737841-1338737813/watcher-3737841-1338737813 -o /tmp/evaluation-result-3737841-1338737813/solver-3737841-1338737813 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737841-1338737813.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.08 2.02 2.01 3/178 17190
/proc/meminfo: memFree=28007980/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=11632 CPUtime=0 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 339906108 11911168 328 33554432000 134512640 137136520 4290064256 4290062360 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 2908 328 186 641 0 2125 0

[startup+0.099249 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 17190
/proc/meminfo: memFree=28007980/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=14640 CPUtime=0.09 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 1380 0 0 0 9 0 0 0 20 0 1 0 339906108 14991360 1195 33554432000 134512640 137136520 4290064256 4289974976 134544676 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 3660 1195 189 641 0 3016 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14640

[startup+0.100312 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 17190
/proc/meminfo: memFree=28007980/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=14640 CPUtime=0.09 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 1380 0 0 0 9 0 0 0 20 0 1 0 339906108 14991360 1195 33554432000 134512640 137136520 4290064256 4289975152 134545039 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 3660 1195 189 641 0 3016 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14640

[startup+0.30028 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 17190
/proc/meminfo: memFree=28007980/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=14640 CPUtime=0.29 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 1381 0 0 0 29 0 0 0 20 0 1 0 339906108 14991360 1196 33554432000 134512640 137136520 4290064256 4289974976 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 3660 1196 189 641 0 3016 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14640

[startup+0.700283 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 17190
/proc/meminfo: memFree=28007980/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=14640 CPUtime=0.69 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 1381 0 0 0 69 0 0 0 20 0 1 0 339906108 14991360 1196 33554432000 134512640 137136520 4290064256 4289975164 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 3660 1196 189 641 0 3016 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14640

[startup+1.50028 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 17191
/proc/meminfo: memFree=28002788/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=17776 CPUtime=1.49 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 2589 0 0 0 147 2 0 0 20 0 1 0 339906108 18202624 2018 33554432000 134512640 137136520 4290064256 4290063184 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 4444 2018 197 641 0 3800 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17776

[startup+3.10028 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 17191
/proc/meminfo: memFree=27995952/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=26844 CPUtime=3.09 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 4856 0 0 0 305 4 0 0 20 0 1 0 339906108 27488256 4285 33554432000 134512640 137136520 4290064256 4290050656 134600241 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 6711 4286 197 641 0 6067 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26844

[startup+6.30027 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 17191
/proc/meminfo: memFree=27972144/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=46972 CPUtime=6.29 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 9889 0 0 0 620 9 0 0 20 0 1 0 339906108 48099328 9318 33554432000 134512640 137136520 4290064256 4290050264 136502374 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 11776 9318 197 641 0 11132 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46972

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 17191
/proc/meminfo: memFree=27933828/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=81092 CPUtime=12.69 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 18418 0 0 0 1255 14 0 0 20 0 1 0 339906108 83038208 17847 33554432000 134512640 137136520 4290064256 4290063004 136518848 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 20306 17850 197 641 0 19662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81092

[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 17191
/proc/meminfo: memFree=27835728/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=165456 CPUtime=25.48 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 39500 0 0 0 2526 22 0 0 20 0 1 0 339906108 169426944 38929 33554432000 134512640 137136520 4290064256 4290062784 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 41364 38929 197 641 0 40720 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 165456

[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 17191
/proc/meminfo: memFree=27669908/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=284584 CPUtime=51.08 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 69292 0 0 0 5072 36 0 0 20 0 1 0 339906108 291414016 68721 33554432000 134512640 137136520 4290064256 4290062896 134617427 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 71146 68721 197 641 0 70502 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 284584

[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 17191
/proc/meminfo: memFree=27369112/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=513584 CPUtime=102.28 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 126538 0 0 0 10172 56 0 0 20 0 1 0 339906108 525910016 125967 33554432000 134512640 137136520 4290064256 4290062764 136698750 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 128396 125967 197 641 0 127752 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 513584

[startup+162.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 17191
/proc/meminfo: memFree=27007804/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=752116 CPUtime=162.26 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 186164 0 0 0 16149 77 0 0 20 0 1 0 339906108 770166784 185593 33554432000 134512640 137136520 4290064256 4290050552 136502442 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 188029 185593 197 641 0 187385 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 752116

[startup+222.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/180 17194
/proc/meminfo: memFree=26699064/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=956848 CPUtime=222.25 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 237358 0 0 0 22129 96 0 0 20 0 1 0 339906108 979812352 236787 33554432000 134512640 137136520 4290064256 4290063152 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 239212 236787 197 641 0 238568 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 956848

[startup+282.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/179 17195
/proc/meminfo: memFree=26383660/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=1173040 CPUtime=282.25 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 291406 0 0 0 28109 116 0 0 20 0 1 0 339906108 1201192960 290835 33554432000 134512640 137136520 4290064256 4290063024 134574870 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 293260 290835 197 641 0 292616 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1173040

[startup+342.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 17195
/proc/meminfo: memFree=26097356/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=1357644 CPUtime=342.24 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 337552 0 0 0 34091 133 0 0 20 0 1 0 339906108 1390227456 336981 33554432000 134512640 137136520 4290064256 4290062940 136501955 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 339411 336981 197 641 0 338767 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1357644

[startup+402.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 17195
/proc/meminfo: memFree=25894412/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=1473940 CPUtime=402.23 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 366624 0 0 0 40076 147 0 0 20 0 1 0 339906108 1509314560 366053 33554432000 134512640 137136520 4290064256 4290063152 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 368485 366053 197 641 0 367841 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1473940

[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 17195
/proc/meminfo: memFree=25683004/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=1574756 CPUtime=462.22 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 391835 0 0 0 46062 160 0 0 20 0 1 0 339906108 1612550144 391264 33554432000 134512640 137136520 4290064256 4290063184 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 393689 391264 197 641 0 393045 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1574756

[startup+522.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/179 17195
/proc/meminfo: memFree=25508580/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=1677536 CPUtime=522.21 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 417525 0 0 0 52048 173 0 0 20 0 1 0 339906108 1717796864 416954 33554432000 134512640 137136520 4290064256 4290063152 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 419384 416954 197 641 0 418740 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1677536

[startup+582.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 17196
/proc/meminfo: memFree=25373324/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=1786856 CPUtime=582.2 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 444857 0 0 0 58033 187 0 0 20 0 1 0 339906108 1829740544 444286 33554432000 134512640 137136520 4290064256 4290062948 136509109 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 446714 444286 197 641 0 446070 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1786856

[startup+642.3 s]

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

/proc/meminfo: memFree=26468148/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=2642232 CPUtime=1122.12 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 658712 0 0 0 111904 308 0 0 20 0 1 0 339906108 2705645568 658145 33554432000 134512640 137136520 4290064256 4290063152 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 660558 658145 197 641 0 659914 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2642232

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 17250
/proc/meminfo: memFree=26372792/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=2668328 CPUtime=1182.09 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 665250 0 0 0 117895 314 0 0 20 0 1 0 339906108 2732367872 664669 33554432000 134512640 137136520 4290064256 4290063184 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 667082 664669 197 641 0 666438 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2668328

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17251
/proc/meminfo: memFree=26323708/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=2698472 CPUtime=1242.07 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 672798 0 0 0 123887 320 0 0 20 0 1 0 339906108 2763235328 672206 33554432000 134512640 137136520 4290064256 4290057040 134572220 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 674618 672206 197 641 0 673974 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 2698472

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17251
/proc/meminfo: memFree=26290752/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=2731312 CPUtime=1302.06 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 681011 0 0 0 129881 325 0 0 20 0 1 0 339906108 2796863488 680410 33554432000 134512640 137136520 4290064256 4290063152 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 682828 680410 197 641 0 682184 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2731312

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17251
/proc/meminfo: memFree=26239940/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=2774228 CPUtime=1362.04 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 691754 0 0 0 135871 333 0 0 20 0 1 0 339906108 2840809472 691141 33554432000 134512640 137136520 4290064256 4290063184 134543837 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 693557 691141 197 641 0 692913 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 2774228

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17254
/proc/meminfo: memFree=26162460/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=2835656 CPUtime=1422.02 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 707135 0 0 0 141858 344 0 0 20 0 1 0 339906108 2903711744 706500 33554432000 134512640 137136520 4290064256 4290063152 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 708914 706500 197 641 0 708270 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2835656

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17277
/proc/meminfo: memFree=26025096/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=2969056 CPUtime=1481.98 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 740502 0 0 0 147841 357 0 0 20 0 1 0 339906108 3040313344 739848 33554432000 134512640 137136520 4290064256 4290062848 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 742264 739848 197 641 0 741620 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 2969056

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17278
/proc/meminfo: memFree=25829956/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=3161516 CPUtime=1541.96 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 788632 0 0 0 153817 379 0 0 20 0 1 0 339906108 3237392384 787964 33554432000 134512640 137136520 4290064256 4290063152 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 790379 787964 197 641 0 789735 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 3161516

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17278
/proc/meminfo: memFree=25718012/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=3273736 CPUtime=1601.94 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 816700 0 0 0 159798 396 0 0 20 0 1 0 339906108 3352305664 816017 33554432000 134512640 137136520 4290064256 4290063152 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 818434 816017 197 641 0 817790 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 3273736

[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 17278
/proc/meminfo: memFree=25596892/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=3394660 CPUtime=1661.91 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 846945 0 0 0 165780 411 0 0 20 0 1 0 339906108 3476131840 846247 33554432000 134512640 137136520 4290064256 4290063152 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 848665 846247 197 641 0 848021 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 3394660

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 17278
/proc/meminfo: memFree=25434976/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=3540148 CPUtime=1721.88 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 883328 0 0 0 171761 427 0 0 20 0 1 0 339906108 3625111552 882607 33554432000 134512640 137136520 4290064256 4290057920 134572172 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17190/statm: 885037 882607 197 641 0 884393 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 3540148

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17278
/proc/meminfo: memFree=25295876/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=3665352 CPUtime=1781.85 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 914668 0 0 0 177742 443 0 0 20 0 1 0 339906108 3753320448 913924 33554432000 134512640 137136520 4290064256 4290063152 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17190/statm: 916338 913924 197 641 0 915694 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 3665352

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 17278
/proc/meminfo: memFree=25282476/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=3678468 CPUtime=1791.45 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 917947 0 0 0 178700 445 0 0 20 0 1 0 339906108 3766751232 917202 33554432000 134512640 137136520 4290064256 4290062536 136504651 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17190/statm: 919617 917202 197 641 0 918973 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 3678468

[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17279
/proc/meminfo: memFree=25278360/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=3682324 CPUtime=1794.64 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 918895 0 0 0 179019 445 0 0 20 0 1 0 339906108 3770699776 918149 33554432000 134512640 137136520 4290064256 4290063152 134543933 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17190/statm: 920581 918149 197 641 0 919937 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 3682324

[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17279
/proc/meminfo: memFree=25276624/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=3685408 CPUtime=1796.24 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 919686 0 0 0 179178 446 0 0 20 0 1 0 339906108 3773857792 918940 33554432000 134512640 137136520 4290064256 4290063152 134543918 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17190/statm: 921352 918940 197 641 0 920708 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 3685408

[startup+1797.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17279
/proc/meminfo: memFree=25274640/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=3686368 CPUtime=1797.04 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 919923 0 0 0 179258 446 0 0 20 0 1 0 339906108 3774840832 919177 33554432000 134512640 137136520 4290064256 4290063152 134544157 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17190/statm: 921592 919177 197 641 0 920948 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 3686368

[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17279
/proc/meminfo: memFree=25274640/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=3687628 CPUtime=1797.84 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202496 920231 0 0 0 179338 446 0 0 20 0 1 0 339906108 3776131072 919485 33554432000 134512640 137136520 4290064256 4290063184 134544157 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17190/statm: 921907 919485 197 641 0 921263 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 3687628

[startup+1798.51 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17279
/proc/meminfo: memFree=25273028/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=0 CPUtime=1798.04 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202500 920264 0 0 0 179353 451 0 0 20 0 1 0 339906108 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17190/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0

[startup+1798.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17279
/proc/meminfo: memFree=25273028/32873844 swapFree=7620/7620
[pid=17190] ppid=17188 vsize=0 CPUtime=1798.14 cores=0,2,4,6
/proc/17190/stat : 17190 (bsolo) R 17188 17190 13121 0 -1 4202500 920264 0 0 0 179353 461 0 0 20 0 1 0 339906108 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17190/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.63
CPU time (s): 1798.18
CPU user time (s): 1793.54
CPU system time (s): 4.64129
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 3687688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.54
system time used= 4.64129
maximum resident set size= 3678068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 920264
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= 269
involuntary context switches= 1842

runsolver used 9.2266 second user time and 14.8347 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-03 17:36:53
IDJOB=3737841
IDBENCH=48329
IDSOLVER=2320
FILE ID=node135/3737841-1338737813
RUNJOBID= node135-1338712994-13137
PBS_JOBID= 14636721
Free space on /tmp= 70976 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_10_3_80.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737841-1338737813/watcher-3737841-1338737813 -o /tmp/evaluation-result-3737841-1338737813/solver-3737841-1338737813 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3737841-1338737813.opb

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

MD5SUM BENCH= 4023d6beb9ef2c356e20e783b830f625
RANDOM SEED=490581260

node135.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.820
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.64
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.820
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	: 5332.57
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.820
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	: 5332.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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28008772 kB
Buffers:          374328 kB
Cached:          2503896 kB
SwapCached:         1672 kB
Active:          2306456 kB
Inactive:        1708316 kB
Active(anon):    1126980 kB
Inactive(anon):    12036 kB
Active(file):    1179476 kB
Inactive(file):  1696280 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              3920 kB
Writeback:             0 kB
AnonPages:       1142400 kB
Mapped:            11304 kB
Shmem:               132 kB
Slab:             708320 kB
SReclaimable:     149964 kB
SUnreclaim:       558356 kB
KernelStack:        1464 kB
PageTables:         6112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1257972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3737841-1338737813.opb

Free space on /tmp at the end= 70972 MiB
End job on node135 at 2012-06-03 18:06:52