Trace number 3720120

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: Pueblo 1.4SAT1432 1783 1783.27

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
MD5SUMdcfce19ac0444148b26b7675e35c76bc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark304
Best CPU time to get the best result obtained on this benchmark0.010997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 304
Optimality of the best value was proved YES
Number of variables257
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)97
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Number of terms in the objective function 173
Biggest coefficient in the objective function 100
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 8448
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 100
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 8448
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.00/0.00	c starting to Solve
0.00/0.00	c #variables read: 257 - #constraints read: 182
0.00/0.00	o 2131
0.00/0.00	o 1727
16.60/16.70	o 1726
65.07/65.13	o 1725
123.28/123.33	o 1724
730.17/730.40	o 1626
730.17/730.40	o 1625
730.17/730.40	o 1624
730.28/730.40	o 1623
786.48/786.69	o 1622
1388.28/1388.58	o 1525
1388.28/1388.58	o 1524
1388.28/1388.58	o 1523
1388.28/1388.58	o 1522
1388.28/1388.59	o 1521
1782.92/1783.27	c total time              : 1783 s
1782.92/1783.27	s SATISFIABLE
1782.92/1783.27	v -x134 -x178 x218 -x4 x180 -x8 -x9 -x97 -x185 x225 -x186 x226 -x11 -x99 -x143 -x187 x227 -x100 -x13 -x14 -x15 -x59 -x104 -x61 -x105 -x149 -x230 -x62 -x20 -x108 -x109 -x153 -x22 -x110 x154 -x111 -x155 -x112 -x192 x232 -x27 -x71 -x237 -x118 -x198 x238 -x199 x239 x119 x200 -x240 x164 x121 -x202 x242 x203 -x243 x122 x204 -x244 x124 -x168 x206 -x246 x125 -x247 -x38 -x126 x170 -x208 x248 -x127 -x249 -x40 -x172 -x250 -x213 x253 -x130 -x214 x254 -x131 -x215 x255 -x132 -x216 x256 -x133 x257 -x2 x46 -x90 -x91 -x179 -x48 -x220 -x222 -x224 -x53 x141 -x12 x56 -x144 -x228 -x57 -x145 -x229 -x58 -x146 -x103 x147 -x16 -x148 -x18 -x150 x19 -x63 -x107 -x151 -x152 -x66 x24 -x68 -x156 x25 -x69 -x113 -x157 -x191 x231 -x159 -x233 -x234 -x235 -x236 -x30 -x74 x162 -x31 -x75 -x163 -x76 -x120 -x241 -x33 -x77 -x165 -x34 -x166 -x35 -x79 -x245 -x80 -x81 -x169 -x82 x39 -x83 -x171 -x84 x128 x42 -x86 -x174 -x43 -x87 x175 -x44 x88 -x176 -x177 -x217 x1 -x3 -x5 x6 x7 x10 x17 x21 x23 -x26 -x28 x29 -x32 -x36 -x37 -x41 -x45 x47 x49 -x50 -x51 x52 -x54 x55 x60 x64 -x65 -x67 x70 x72 -x73 -x78 -x85 x89 -x92 -x93 -x94 -x95 -x96 -x98 x101 x102 x106 -x114 x115 -x116 -x117 x123 x129 -x135 x136 -x137 -x138 -x139 -x140 -x142 -x158 -x160 -x161 -x167 -x173 -x181 x182 -x183 x184 x188 x189 x190 x193 x194 x195 x196 x197 x201 x205 x207 x209 x210 -x211 -x212 x219 x221 x223 x251 x252

Verifier Data 

OK	1432

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-3720120-1338507820/watcher-3720120-1338507820 -o /tmp/evaluation-result-3720120-1338507820/solver-3720120-1338507820 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720120-1338507820.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.97 2.04 1.73 3/176 10393
/proc/meminfo: memFree=28802900/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3240 CPUtime=0 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 316906512 3317760 300 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 810 300 229 17 0 116 0

[startup+0.10478 s]
/proc/loadavg: 1.97 2.04 1.73 3/176 10393
/proc/meminfo: memFree=28802900/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3240 CPUtime=0.09 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 385 0 0 0 9 0 0 0 20 0 1 0 316906512 3317760 322 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 810 322 229 17 0 116 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3240

[startup+0.200256 s]
/proc/loadavg: 1.97 2.04 1.73 3/176 10393
/proc/meminfo: memFree=28802900/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3368 CPUtime=0.19 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 389 0 0 0 18 1 0 0 20 0 1 0 316906512 3448832 326 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 842 326 229 17 0 148 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3368

[startup+0.300246 s]
/proc/loadavg: 1.97 2.04 1.73 3/176 10393
/proc/meminfo: memFree=28802900/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3368 CPUtime=0.29 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 391 0 0 0 28 1 0 0 20 0 1 0 316906512 3448832 328 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 842 328 229 17 0 148 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3368

[startup+0.700226 s]
/proc/loadavg: 1.97 2.04 1.73 3/176 10393
/proc/meminfo: memFree=28802900/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3368 CPUtime=0.69 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 396 0 0 0 67 2 0 0 20 0 1 0 316906512 3448832 333 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 842 333 229 17 0 148 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3368

[startup+1.50022 s]
/proc/loadavg: 1.97 2.04 1.73 3/177 10394
/proc/meminfo: memFree=28801560/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3368 CPUtime=1.49 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 405 0 0 0 146 3 0 0 20 0 1 0 316906512 3448832 342 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 842 342 229 17 0 148 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3368

[startup+3.10022 s]
/proc/loadavg: 1.97 2.04 1.73 3/177 10394
/proc/meminfo: memFree=28800304/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3368 CPUtime=3.09 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 413 0 0 0 303 6 0 0 20 0 1 0 316906512 3448832 350 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 842 350 229 17 0 148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3368

[startup+6.30022 s]
/proc/loadavg: 1.97 2.04 1.73 3/177 10394
/proc/meminfo: memFree=28797872/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3492 CPUtime=6.29 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 422 0 0 0 615 14 0 0 20 0 1 0 316906512 3575808 359 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 873 359 229 17 0 179 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3492

[startup+12.7002 s]
/proc/loadavg: 1.97 2.04 1.73 3/177 10394
/proc/meminfo: memFree=28792428/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3492 CPUtime=12.69 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 433 0 0 0 1237 32 0 0 20 0 1 0 316906512 3575808 370 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 873 370 229 17 0 179 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3492

[startup+25.5003 s]
/proc/loadavg: 1.98 2.03 1.74 3/177 10394
/proc/meminfo: memFree=28767412/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3492 CPUtime=25.48 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 447 0 0 0 2452 96 0 0 20 0 1 0 316906512 3575808 384 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 873 384 229 17 0 179 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3492

[startup+51.1002 s]
/proc/loadavg: 1.98 2.03 1.74 3/177 10394
/proc/meminfo: memFree=28659732/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3620 CPUtime=51.08 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 462 0 0 0 4896 212 0 0 20 0 1 0 316906512 3706880 399 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 905 399 229 17 0 211 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3620

[startup+102.3 s]
/proc/loadavg: 1.99 2.02 1.75 3/177 10394
/proc/meminfo: memFree=28535704/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3736 CPUtime=102.28 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 485 0 0 0 9789 439 0 0 20 0 1 0 316906512 3825664 422 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 934 422 229 17 0 240 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3736

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 1.77 3/177 10394
/proc/meminfo: memFree=28496120/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3736 CPUtime=162.27 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 496 0 0 0 15576 651 0 0 20 0 1 0 316906512 3825664 433 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 934 433 229 17 0 240 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3736

[startup+222.306 s]
/proc/loadavg: 2.01 2.02 1.78 3/177 10395
/proc/meminfo: memFree=28489724/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3852 CPUtime=222.26 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 513 0 0 0 21295 931 0 0 20 0 1 0 316906512 3944448 450 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 963 450 229 17 0 269 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3852

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.79 3/177 10395
/proc/meminfo: memFree=28463780/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3852 CPUtime=282.25 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 521 0 0 0 27053 1172 0 0 20 0 1 0 316906512 3944448 458 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 963 458 229 17 0 269 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3852

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/177 10395
/proc/meminfo: memFree=28449520/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3852 CPUtime=342.24 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 528 0 0 0 32776 1448 0 0 20 0 1 0 316906512 3944448 465 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 963 465 229 17 0 269 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3852

[startup+402.3 s]
/proc/loadavg: 2.03 2.02 1.82 3/178 10398
/proc/meminfo: memFree=28437860/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3980 CPUtime=402.22 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 547 0 0 0 38554 1668 0 0 20 0 1 0 316906512 4075520 484 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 995 484 229 17 0 301 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3980

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 1.83 3/177 10398
/proc/meminfo: memFree=28416328/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3980 CPUtime=462.22 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 547 0 0 0 44290 1932 0 0 20 0 1 0 316906512 4075520 484 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 995 484 229 17 0 301 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3980

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.83 3/177 10399
/proc/meminfo: memFree=28417668/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=3980 CPUtime=522.21 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 549 0 0 0 50052 2169 0 0 20 0 1 0 316906512 4075520 486 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 995 486 229 17 0 301 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3980

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/177 10399
/proc/meminfo: memFree=28414444/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=582.2 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 571 0 0 0 55813 2407 0 0 20 0 1 0 316906512 4136960 508 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 508 229 17 0 316 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 4040

[startup+642.3 s]

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

/proc/meminfo: memFree=28399440/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=882.16 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 571 0 0 0 84704 3512 0 0 20 0 1 0 316906512 4136960 508 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 508 229 17 0 316 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 4040

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 10400
/proc/meminfo: memFree=28360008/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=942.14 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 571 0 0 0 90479 3735 0 0 20 0 1 0 316906512 4136960 508 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 508 229 17 0 316 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 4040

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 10403
/proc/meminfo: memFree=28356284/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=1002.14 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 571 0 0 0 96287 3927 0 0 20 0 1 0 316906512 4136960 508 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 508 229 17 0 316 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 4040

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 10426
/proc/meminfo: memFree=28350292/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=1062.13 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 580 0 0 0 102074 4139 0 0 20 0 1 0 316906512 4136960 517 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 517 229 17 0 316 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 4040

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 10427
/proc/meminfo: memFree=28348540/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=1122.12 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 580 0 0 0 107840 4372 0 0 20 0 1 0 316906512 4136960 517 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 517 229 17 0 316 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 4040

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/177 10427
/proc/meminfo: memFree=28343088/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=1182.11 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 580 0 0 0 113615 4596 0 0 20 0 1 0 316906512 4136960 517 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 517 229 17 0 316 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 4040

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 10427
/proc/meminfo: memFree=28339120/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=1242.1 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 580 0 0 0 119420 4790 0 0 20 0 1 0 316906512 4136960 517 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 517 229 17 0 316 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 4040

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 10427
/proc/meminfo: memFree=28336808/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=1302.09 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 580 0 0 0 125270 4939 0 0 20 0 1 0 316906512 4136960 517 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 517 229 17 0 316 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 4040

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10427
/proc/meminfo: memFree=28333292/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=1362.09 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 580 0 0 0 131095 5114 0 0 20 0 1 0 316906512 4136960 517 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 517 229 17 0 316 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 4040

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10428
/proc/meminfo: memFree=28333292/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=1422.08 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 580 0 0 0 136954 5254 0 0 20 0 1 0 316906512 4136960 517 33554432000 134512640 134579096 4289523968 4289522864 134516696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 517 229 17 0 316 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4040

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10428
/proc/meminfo: memFree=28333292/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=1482.06 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 580 0 0 0 142744 5462 0 0 20 0 1 0 316906512 4136960 517 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 517 229 17 0 316 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4040

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10428
/proc/meminfo: memFree=28320024/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=1542.06 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 580 0 0 0 148534 5672 0 0 20 0 1 0 316906512 4136960 517 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 517 229 17 0 316 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 4040

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10431
/proc/meminfo: memFree=28311152/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=1602.04 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 580 0 0 0 154361 5843 0 0 20 0 1 0 316906512 4136960 517 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 517 229 17 0 316 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 4040

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10431
/proc/meminfo: memFree=28310468/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=1662.03 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 582 0 0 0 160183 6020 0 0 20 0 1 0 316906512 4136960 519 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 519 229 17 0 316 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 4040

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10432
/proc/meminfo: memFree=28310344/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4040 CPUtime=1722.03 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 582 0 0 0 166030 6173 0 0 20 0 1 0 316906512 4136960 519 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1010 519 229 17 0 316 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 4040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10432
/proc/meminfo: memFree=28306376/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4168 CPUtime=1782.02 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 600 0 0 0 171824 6378 0 0 20 0 1 0 316906512 4268032 537 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1042 537 229 17 0 348 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 4168

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

[startup+1782.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10432
/proc/meminfo: memFree=28306376/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4168 CPUtime=1782.12 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 600 0 0 0 171834 6378 0 0 20 0 1 0 316906512 4268032 537 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1042 537 229 17 0 348 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 4168

[startup+1782.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10432
/proc/meminfo: memFree=28306376/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4168 CPUtime=1782.52 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 600 0 0 0 171872 6380 0 0 20 0 1 0 316906512 4268032 537 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1042 537 229 17 0 348 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (KiB) 4168

[startup+1783.21 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10480
/proc/meminfo: memFree=28808024/32873648 swapFree=6612/6612
[pid=10393] ppid=10391 vsize=4168 CPUtime=1782.92 cores=0,2,4,6
/proc/10393/stat : 10393 (Pueblo) R 10391 10393 10077 0 -1 4202496 600 0 0 0 171910 6382 0 0 20 0 1 0 316906512 4268032 537 33554432000 134512640 134579096 4289523968 4289522940 6181936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10393/statm: 1042 537 229 17 0 348 0
Current children cumulated CPU time (s) 1782.92
Current children cumulated vsize (KiB) 4168

Child status: 10
Real time (s): 1783.27
CPU time (s): 1783
CPU user time (s): 1719.17
CPU system time (s): 63.8313
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 4168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1719.17
system time used= 63.8313
maximum resident set size= 2168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605
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= 5
involuntary context switches= 1875

runsolver used 3.16152 second user time and 6.63899 second system time

The end

Launcher Data 

Begin job on node148 at 2012-06-01 01:43:40
IDJOB=3720120
IDBENCH=2232
IDSOLVER=2305
FILE ID=node148/3720120-1338507820
RUNJOBID= node148-1338505995-10093
PBS_JOBID= 14635744
Free space on /tmp= 71408 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720120-1338507820/watcher-3720120-1338507820 -o /tmp/evaluation-result-3720120-1338507820/solver-3720120-1338507820 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720120-1338507820.opb

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

MD5SUM BENCH= dcfce19ac0444148b26b7675e35c76bc
RANDOM SEED=1188944038

node148.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28803732 kB
Buffers:          543000 kB
Cached:          2612076 kB
SwapCached:          632 kB
Active:          1253480 kB
Inactive:        1922048 kB
Active(anon):      10188 kB
Inactive(anon):    10672 kB
Active(file):    1243292 kB
Inactive(file):  1911376 kB
Unevictable:        6612 kB
Mlocked:            6612 kB
SwapTotal:      67108856 kB
SwapFree:       67107560 kB
Dirty:              5312 kB
Writeback:             0 kB
AnonPages:         24804 kB
Mapped:            11804 kB
Shmem:                36 kB
Slab:             757536 kB
SReclaimable:     201496 kB
SUnreclaim:       556040 kB
KernelStack:        1448 kB
PageTables:         3996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     133628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720120-1338507820.opb

Free space on /tmp at the end= 71404 MiB
End job on node148 at 2012-06-01 02:13:23