Trace number 3468824

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
clasp 2.0-R4191SAT (TO)28 1800.08 1800.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_20.r.opb
MD5SUMe82b2413101b8c36ea34c3d9f95f4ad5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark6.30404
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved YES
Number of variables299
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint20
Number of terms in the objective function 299
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 299
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 299
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

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 clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...105504/instance-3468824-1307105504.opb
0.00/0.00	c Solving...
0.00/0.00	o 34
0.00/0.00	o 33
0.00/0.00	o 32
109.70/109.74	o 31
115.20/115.25	o 30
115.20/115.25	o 29
134.00/134.02	o 28
1800.06/1800.01	
1800.06/1800.01	*** INTERRUPTED! ***
1800.06/1800.01	c Answer: 7
1800.06/1800.01	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17
1800.06/1800.01	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32
1800.06/1800.01	v -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47
1800.06/1800.01	v x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62
1800.06/1800.01	v -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77
1800.06/1800.01	v -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92
1800.06/1800.01	v x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1800.06/1800.01	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118
1800.06/1800.01	v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
1800.06/1800.01	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142
1800.06/1800.01	v -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154
1800.06/1800.01	v -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166
1800.06/1800.01	v -x167 x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179
1800.06/1800.01	v -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192
1800.06/1800.01	v -x193 x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 x203 -x204 -x205
1800.06/1800.01	v -x206 x207 -x208 -x209 -x210 x211 -x212 -x213 x214 -x215 -x216 -x217 -x218
1800.06/1800.01	v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230
1800.06/1800.01	v -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242
1800.06/1800.01	v -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1800.06/1800.01	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266
1800.06/1800.01	v -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278
1800.06/1800.01	v x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
1800.06/1800.01	v -x291 x292 -x293 -x294 -x295 x296 -x297 -x298 -x299
1800.06/1800.01	s SATISFIABLE
1800.06/1800.01	
1800.06/1800.01	c INTERRUPTED   : 1
1800.06/1800.01	c Models        : 1+    
1800.06/1800.01	c   Enumerated  : 7
1800.06/1800.01	c   Optimum     : unknown
1800.06/1800.01	c Optimization  : 28
1800.06/1800.01	c Time          : 1800.015s (Solving: 1800.01s 1st Model: 0.00s Unsat: 0.00s)
1800.06/1800.01	c CPU Time      : 1800.070s

Verifier Data 

OK	28

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3468824-1307105504/watcher-3468824-1307105504 -o /tmp/evaluation-result-3468824-1307105504/solver-3468824-1307105504 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468824-1307105504.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.00 1.99 2/469 7218
/proc/meminfo: memFree=24185804/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=12440 CPUtime=0 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 525 0 0 0 0 0 0 0 25 0 1 0 900780892 12738560 462 33554432000 4194304 4933572 140737379149696 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 3110 462 377 181 0 119 0

[startup+0.0218841 s]
/proc/loadavg: 1.92 2.00 1.99 2/469 7218
/proc/meminfo: memFree=24185804/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=12572 CPUtime=0.01 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 576 0 0 0 1 0 0 0 25 0 1 0 900780892 12873728 513 33554432000 4194304 4933572 140737379149696 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 3143 513 385 181 0 152 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12572

[startup+0.100924 s]
/proc/loadavg: 1.92 2.00 1.99 2/469 7218
/proc/meminfo: memFree=24185804/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=12972 CPUtime=0.09 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 667 0 0 0 9 0 0 0 25 0 1 0 900780892 13283328 604 33554432000 4194304 4933572 140737379149696 18446744073709551615 252457756741 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 3243 604 385 181 0 252 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12972

[startup+0.300883 s]
/proc/loadavg: 1.92 2.00 1.99 2/469 7218
/proc/meminfo: memFree=24185804/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=13368 CPUtime=0.29 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 751 0 0 0 29 0 0 0 25 0 1 0 900780892 13688832 688 33554432000 4194304 4933572 140737379149696 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 3342 688 385 181 0 351 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13368

[startup+0.700817 s]
/proc/loadavg: 1.92 2.00 1.99 2/469 7218
/proc/meminfo: memFree=24185804/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=13764 CPUtime=0.69 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 856 0 0 0 69 0 0 0 25 0 1 0 900780892 14094336 793 33554432000 4194304 4933572 140737379149696 18446744073709551615 4363376 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 3441 793 385 181 0 450 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13764

[startup+1.50066 s]
/proc/loadavg: 1.92 2.00 1.99 3/470 7219
/proc/meminfo: memFree=24183448/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=14324 CPUtime=1.49 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 993 0 0 0 149 0 0 0 25 0 1 0 900780892 14667776 930 33554432000 4194304 4933572 140737379149696 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 3581 930 385 181 0 590 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14324

[startup+3.10036 s]
/proc/loadavg: 1.92 2.00 1.99 3/470 7219
/proc/meminfo: memFree=24181836/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=14988 CPUtime=3.09 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 1163 0 0 0 309 0 0 0 25 0 1 0 900780892 15347712 1100 33554432000 4194304 4933572 140737379149696 18446744073709551615 4358576 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 3747 1100 385 181 0 756 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14988

[startup+6.30074 s]
/proc/loadavg: 1.93 2.00 1.99 3/470 7219
/proc/meminfo: memFree=24180328/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=15796 CPUtime=6.29 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 1368 0 0 0 629 0 0 0 25 0 1 0 900780892 16175104 1305 33554432000 4194304 4933572 140737379149696 18446744073709551615 4363276 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 3949 1305 385 181 0 958 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15796

[startup+12.7006 s]
/proc/loadavg: 1.93 2.00 1.99 3/470 7219
/proc/meminfo: memFree=24178840/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=16776 CPUtime=12.69 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 1618 0 0 0 1269 0 0 0 25 0 1 0 900780892 17178624 1555 33554432000 4194304 4933572 140737379149696 18446744073709551615 252457725372 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 4194 1555 385 181 0 1203 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16776

[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 1.99 3/470 7219
/proc/meminfo: memFree=24178564/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=17724 CPUtime=25.49 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 1855 0 0 0 2549 0 0 0 25 0 1 0 900780892 18149376 1792 33554432000 4194304 4933572 140737379149696 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 4431 1792 385 181 0 1440 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17724

[startup+51.1004 s]
/proc/loadavg: 1.96 2.00 1.99 3/470 7248
/proc/meminfo: memFree=24170448/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=19244 CPUtime=51.09 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 2217 0 0 0 5109 0 0 0 25 0 1 0 900780892 19705856 2154 33554432000 4194304 4933572 140737379149696 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 4811 2154 385 181 0 1820 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19244

[startup+102.317 s]
/proc/loadavg: 1.98 2.00 1.99 3/470 7249
/proc/meminfo: memFree=24160076/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=20844 CPUtime=102.31 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 2601 0 0 0 10231 0 0 0 25 0 1 0 900780892 21344256 2531 33554432000 4194304 4933572 140737379149696 18446744073709551615 4649496 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 5211 2531 385 181 0 2220 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20844

[startup+162.301 s]
/proc/loadavg: 2.26 2.06 2.02 3/470 7251
/proc/meminfo: memFree=24144684/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=21912 CPUtime=162.3 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 2906 0 0 0 16230 0 0 0 25 0 1 0 900780892 22437888 2770 33554432000 4194304 4933572 140737379149696 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 5478 2770 385 181 0 2487 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 21912

[startup+222.301 s]
/proc/loadavg: 2.17 2.06 2.02 3/470 7253
/proc/meminfo: memFree=24141296/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=22828 CPUtime=222.3 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3115 0 0 0 22230 0 0 0 25 0 1 0 900780892 23375872 2979 33554432000 4194304 4933572 140737379149696 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 5707 2979 385 181 0 2716 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 22828

[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/470 7254
/proc/meminfo: memFree=24139416/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=23276 CPUtime=282.3 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3218 0 0 0 28230 0 0 0 25 0 1 0 900780892 23834624 3082 33554432000 4194304 4933572 140737379149696 18446744073709551615 4363232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 5819 3082 385 181 0 2828 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23276

[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 7256
/proc/meminfo: memFree=24124880/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=23428 CPUtime=342.3 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3270 0 0 0 34230 0 0 0 25 0 1 0 900780892 23990272 3134 33554432000 4194304 4933572 140737379149696 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 5857 3134 385 181 0 2866 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23428

[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7257
/proc/meminfo: memFree=24122876/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=23876 CPUtime=402.31 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3353 0 0 0 40231 0 0 0 25 0 1 0 900780892 24449024 3217 33554432000 4194304 4933572 140737379149696 18446744073709551615 4428984 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 5969 3217 385 181 0 2978 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 23876

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7259
/proc/meminfo: memFree=24117896/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=24328 CPUtime=462.31 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3444 0 0 0 46231 0 0 0 25 0 1 0 900780892 24911872 3308 33554432000 4194304 4933572 140737379149696 18446744073709551615 4428583 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6082 3308 385 181 0 3091 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24328

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7261
/proc/meminfo: memFree=24116372/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=24776 CPUtime=522.31 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3550 0 0 0 52231 0 0 0 25 0 1 0 900780892 25370624 3414 33554432000 4194304 4933572 140737379149696 18446744073709551615 4664494 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6194 3414 385 181 0 3203 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24776

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7271
/proc/meminfo: memFree=24116556/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=25076 CPUtime=582.31 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3608 0 0 0 58231 0 0 0 25 0 1 0 900780892 25677824 3472 33554432000 4194304 4933572 140737379149696 18446744073709551615 4363251 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6269 3472 385 181 0 3278 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 25076

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/470 7278
/proc/meminfo: memFree=24102992/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=25676 CPUtime=822.32 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3728 0 0 0 82232 0 0 0 25 0 1 0 900780892 26292224 3592 33554432000 4194304 4933572 140737379149696 18446744073709551615 4664518 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6419 3592 385 181 0 3428 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 25676

[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 7279
/proc/meminfo: memFree=24098248/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=25824 CPUtime=882.32 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3761 0 0 0 88232 0 0 0 25 0 1 0 900780892 26443776 3625 33554432000 4194304 4933572 140737379149696 18446744073709551615 4331748 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6456 3625 385 181 0 3465 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 25824

[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 7281
/proc/meminfo: memFree=24098468/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=25824 CPUtime=942.32 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3763 0 0 0 94232 0 0 0 25 0 1 0 900780892 26443776 3627 33554432000 4194304 4933572 140737379149696 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6456 3627 385 181 0 3465 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 25824

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7282
/proc/meminfo: memFree=24098680/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=25824 CPUtime=1002.33 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3773 0 0 0 100233 0 0 0 25 0 1 0 900780892 26443776 3637 33554432000 4194304 4933572 140737379149696 18446744073709551615 4332746 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6456 3637 385 181 0 3465 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 25824

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7284
/proc/meminfo: memFree=24093940/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=25976 CPUtime=1062.33 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3795 0 0 0 106233 0 0 0 25 0 1 0 900780892 26599424 3659 33554432000 4194304 4933572 140737379149696 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6494 3659 385 181 0 3503 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 25976

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7286
/proc/meminfo: memFree=24093896/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=25976 CPUtime=1122.33 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3797 0 0 0 112233 0 0 0 25 0 1 0 900780892 26599424 3661 33554432000 4194304 4933572 140737379149696 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6494 3661 385 181 0 3503 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 25976

[startup+1182.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/470 7287
/proc/meminfo: memFree=24093380/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=26124 CPUtime=1182.33 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3830 0 0 0 118233 0 0 0 25 0 1 0 900780892 26750976 3694 33554432000 4194304 4933572 140737379149696 18446744073709551615 4369036 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6531 3694 385 181 0 3540 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 26124

[startup+1242.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/470 7289
/proc/meminfo: memFree=24091496/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=26124 CPUtime=1242.33 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3839 0 0 0 124233 0 0 0 25 0 1 0 900780892 26750976 3703 33554432000 4194304 4933572 140737379149696 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6531 3703 385 181 0 3540 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 26124

[startup+1302.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/470 7290
/proc/meminfo: memFree=24093568/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=26124 CPUtime=1302.34 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3840 0 0 0 130234 0 0 0 25 0 1 0 900780892 26750976 3704 33554432000 4194304 4933572 140737379149696 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6531 3704 385 181 0 3540 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 26124

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 7292
/proc/meminfo: memFree=24092304/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=26124 CPUtime=1362.34 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3858 0 0 0 136234 0 0 0 25 0 1 0 900780892 26750976 3722 33554432000 4194304 4933572 140737379149696 18446744073709551615 4429005 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6531 3722 385 181 0 3540 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 26124

[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7294
/proc/meminfo: memFree=24092268/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=26276 CPUtime=1422.36 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3888 0 0 0 142236 0 0 0 25 0 1 0 900780892 26906624 3752 33554432000 4194304 4933572 140737379149696 18446744073709551615 4332779 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6569 3752 385 181 0 3578 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 26276

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7295
/proc/meminfo: memFree=24091876/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=26424 CPUtime=1482.34 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3919 0 0 0 148234 0 0 0 25 0 1 0 900780892 27058176 3783 33554432000 4194304 4933572 140737379149696 18446744073709551615 4363283 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6606 3783 385 181 0 3615 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 26424

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7297
/proc/meminfo: memFree=24091104/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=26576 CPUtime=1542.34 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3936 0 0 0 154234 0 0 0 25 0 1 0 900780892 27213824 3800 33554432000 4194304 4933572 140737379149696 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6644 3800 385 181 0 3653 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 26576

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7298
/proc/meminfo: memFree=24086984/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=26576 CPUtime=1602.34 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3938 0 0 0 160234 0 0 0 25 0 1 0 900780892 27213824 3802 33554432000 4194304 4933572 140737379149696 18446744073709551615 4319368 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6644 3802 385 181 0 3653 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 26576

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7300
/proc/meminfo: memFree=24086576/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=26576 CPUtime=1662.35 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 3954 0 0 0 166235 0 0 0 25 0 1 0 900780892 27213824 3818 33554432000 4194304 4933572 140737379149696 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6644 3818 385 181 0 3653 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 26576

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7302
/proc/meminfo: memFree=24086056/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=26876 CPUtime=1722.35 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 4002 0 0 0 172235 0 0 0 25 0 1 0 900780892 27521024 3866 33554432000 4194304 4933572 140737379149696 18446744073709551615 4635445 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6719 3866 385 181 0 3728 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 26876

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/470 7303
/proc/meminfo: memFree=24084904/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=26876 CPUtime=1782.35 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 4018 0 0 0 178235 0 0 0 25 0 1 0 900780892 27521024 3882 33554432000 4194304 4933572 140737379149696 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6719 3882 385 181 0 3728 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 26876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.21 2.06 2.01 3/470 7304
/proc/meminfo: memFree=24084768/32951124 swapFree=56297244/67111528
[pid=7218] ppid=7216 vsize=27024 CPUtime=1800.06 cores=0,2,4,6
/proc/7218/stat : 7218 (clasp) R 7216 7218 6224 0 -1 4202496 4026 0 0 0 180006 0 0 0 25 0 1 0 900780892 27672576 3890 33554432000 4194304 4933572 140737379149696 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7218/statm: 6756 3890 385 181 0 3765 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 27024

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.08
CPU user time (s): 1800.07
CPU system time (s): 0.006998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 27024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4034
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= 10
involuntary context switches= 2639

runsolver used 8.66568 second user time and 17.5423 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-03 14:51:44
IDJOB=3468824
IDBENCH=2844
IDSOLVER=1958
FILE ID=node111/3468824-1307105504
RUNJOBID= node111-1307092887-6242
PBS_JOBID= 13497983
Free space on /tmp= 73864 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.opb
COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468824-1307105504/watcher-3468824-1307105504 -o /tmp/evaluation-result-3468824-1307105504/solver-3468824-1307105504 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3468824-1307105504.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

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

MD5SUM BENCH= e82b2413101b8c36ea34c3d9f95f4ad5
RANDOM SEED=1494518086

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5428.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24185952 kB
Buffers:        283128 kB
Cached:         779608 kB
SwapCached:      11784 kB
Active:        7744968 kB
Inactive:       743616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24185952 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:             816 kB
Writeback:           0 kB
AnonPages:     7423196 kB
Mapped:          28244 kB
Slab:           142392 kB
PageTables:      66716 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 149114984 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73860 MiB
End job on node111 at 2011-06-03 15:21:46