Trace number 3468243

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)-26 1800.08 1800.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
MD5SUM5909a36352b34473abff2d7e1fe31c04
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark947.527
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17874
Number of constraints which are clauses17874
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
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 450
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 450
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 ...098294/instance-3468243-1307098294.opb
0.00/0.02	c Solving...
0.00/0.02	o -12
0.00/0.02	o -19
0.00/0.02	o -20
0.00/0.03	o -21
0.00/0.04	o -22
0.00/0.05	o -23
0.11/0.12	o -24
0.39/0.49	o -25
15.50/15.51	o -26
1800.05/1800.01	
1800.05/1800.01	*** INTERRUPTED! ***
1800.05/1800.01	c Answer: 9
1800.05/1800.01	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17
1800.05/1800.01	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32
1800.05/1800.01	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47
1800.05/1800.01	v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62
1800.05/1800.01	v -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77
1800.05/1800.01	v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92
1800.05/1800.01	v -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1800.05/1800.01	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118
1800.05/1800.01	v -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131
1800.05/1800.01	v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143
1800.05/1800.01	v -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155
1800.05/1800.01	v -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.05/1800.01	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179
1800.05/1800.01	v x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1800.05/1800.01	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203
1800.05/1800.01	v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
1800.05/1800.01	v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227
1800.05/1800.01	v -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239
1800.05/1800.01	v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.05/1800.01	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263
1800.05/1800.01	v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1800.05/1800.01	v -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287
1800.05/1800.01	v -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
1800.05/1800.01	v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311
1800.05/1800.01	v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323
1800.05/1800.01	v -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.05/1800.01	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347
1800.05/1800.01	v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1800.05/1800.01	v -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371
1800.05/1800.01	v -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
1800.05/1800.01	v -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396
1800.05/1800.01	v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408
1800.05/1800.01	v -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.05/1800.01	v -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432
1800.05/1800.01	v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444
1800.05/1800.01	v -x445 -x446 -x447 -x448 -x449 -x450
1800.05/1800.01	s SATISFIABLE
1800.05/1800.01	
1800.05/1800.01	c INTERRUPTED   : 1
1800.05/1800.01	c Models        : 1+    
1800.05/1800.01	c   Enumerated  : 9
1800.05/1800.01	c   Optimum     : unknown
1800.05/1800.01	c Optimization  : -26
1800.05/1800.01	c Time          : 1800.016s (Solving: 1799.99s 1st Model: 0.00s Unsat: 0.00s)
1800.05/1800.01	c CPU Time      : 1800.060s

Verifier Data 

OK	-26

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-3468243-1307098294/watcher-3468243-1307098294 -o /tmp/evaluation-result-3468243-1307098294/solver-3468243-1307098294 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468243-1307098294.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.93 2.01 1.99 2/469 6777
/proc/meminfo: memFree=23988472/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=12732 CPUtime=0 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 554 0 0 0 0 0 0 0 25 0 1 0 900059892 13037568 491 33554432000 4194304 4933572 140736306266880 18446744073709551615 252458065664 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 3183 491 331 181 0 192 0

[startup+0.11608 s]
/proc/loadavg: 1.93 2.01 1.99 2/469 6777
/proc/meminfo: memFree=23988472/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=15376 CPUtime=0.11 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 1307 0 0 0 11 0 0 0 25 0 1 0 900059892 15745024 1205 33554432000 4194304 4933572 140736306266880 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 3844 1206 385 181 0 853 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15376

[startup+0.201065 s]
/proc/loadavg: 1.93 2.01 1.99 2/469 6777
/proc/meminfo: memFree=23988472/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=17884 CPUtime=0.19 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 1933 0 0 0 19 0 0 0 25 0 1 0 900059892 18313216 1831 33554432000 4194304 4933572 140736306266880 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 4471 1831 385 181 0 1480 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17884

[startup+0.301021 s]
/proc/loadavg: 1.93 2.01 1.99 2/469 6777
/proc/meminfo: memFree=23988472/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=20792 CPUtime=0.29 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 2675 0 0 0 29 0 0 0 25 0 1 0 900059892 21291008 2573 33554432000 4194304 4933572 140736306266880 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 5198 2573 385 181 0 2207 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20792

[startup+0.700972 s]
/proc/loadavg: 1.93 2.01 1.99 2/469 6777
/proc/meminfo: memFree=23988472/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=24096 CPUtime=0.69 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 3487 0 0 0 69 0 0 0 25 0 1 0 900059892 24674304 3385 33554432000 4194304 4933572 140736306266880 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 6024 3385 385 181 0 3033 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24096

[startup+1.50082 s]
/proc/loadavg: 1.93 2.01 1.99 3/470 6778
/proc/meminfo: memFree=23973460/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=27268 CPUtime=1.49 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 4280 0 0 0 149 0 0 0 25 0 1 0 900059892 27922432 4178 33554432000 4194304 4933572 140736306266880 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 6817 4178 385 181 0 3826 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27268

[startup+3.10054 s]
/proc/loadavg: 1.93 2.01 1.99 3/470 6778
/proc/meminfo: memFree=23967504/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=31564 CPUtime=3.09 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 5351 0 0 0 309 0 0 0 25 0 1 0 900059892 32321536 5249 33554432000 4194304 4933572 140736306266880 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 7891 5249 385 181 0 4900 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31564

[startup+6.30093 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 6779
/proc/meminfo: memFree=23961768/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=36556 CPUtime=6.29 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 6573 0 0 0 629 0 0 0 25 0 1 0 900059892 37433344 6471 33554432000 4194304 4933572 140736306266880 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 9139 6471 385 181 0 6148 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36556

[startup+12.7007 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 6779
/proc/meminfo: memFree=23954960/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=43576 CPUtime=12.69 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 8302 0 0 0 1269 0 0 0 25 0 1 0 900059892 44621824 8200 33554432000 4194304 4933572 140736306266880 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 10894 8200 385 181 0 7903 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43576

[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6779
/proc/meminfo: memFree=23948268/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=51008 CPUtime=25.49 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 10165 0 0 0 2548 1 0 0 25 0 1 0 900059892 52232192 10063 33554432000 4194304 4933572 140736306266880 18446744073709551615 4428972 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 12752 10063 387 181 0 9761 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51008

[startup+51.1006 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6808
/proc/meminfo: memFree=24095252/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=57152 CPUtime=51.09 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 11658 0 0 0 5108 1 0 0 25 0 1 0 900059892 58523648 11556 33554432000 4194304 4933572 140736306266880 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 14288 11556 387 181 0 11297 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57152

[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6809
/proc/meminfo: memFree=24061088/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=69052 CPUtime=102.3 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 14666 0 0 0 10229 1 0 0 25 0 1 0 900059892 70709248 14522 33554432000 4194304 4933572 140736306266880 18446744073709551615 252457724824 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 17263 14522 387 181 0 14272 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 69052

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6811
/proc/meminfo: memFree=24035144/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=75504 CPUtime=162.29 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 16267 0 0 0 16228 1 0 0 25 0 1 0 900059892 77316096 16123 33554432000 4194304 4933572 140736306266880 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 18876 16123 387 181 0 15885 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 75504

[startup+222.318 s]
/proc/loadavg: 2.15 2.04 2.01 3/470 6812
/proc/meminfo: memFree=24023340/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=77696 CPUtime=222.31 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 17145 0 0 0 22230 1 0 0 25 0 1 0 900059892 79560704 16706 33554432000 4194304 4933572 140736306266880 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 19424 16706 387 181 0 16433 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 77696

[startup+282.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/470 6814
/proc/meminfo: memFree=24004824/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=83652 CPUtime=282.3 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 18774 0 0 0 28228 2 0 0 25 0 1 0 900059892 85659648 18187 33554432000 4194304 4933572 140736306266880 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 20913 18187 387 181 0 17922 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 83652

[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 6816
/proc/meminfo: memFree=23995620/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=86244 CPUtime=342.3 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 19782 0 0 0 34228 2 0 0 25 0 1 0 900059892 88313856 18849 33554432000 4194304 4933572 140736306266880 18446744073709551615 4635422 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 21561 18849 387 181 0 18570 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 86244

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6817
/proc/meminfo: memFree=23979456/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=93224 CPUtime=402.3 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 21495 0 0 0 40228 2 0 0 25 0 1 0 900059892 95461376 20562 33554432000 4194304 4933572 140736306266880 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 23306 20562 387 181 0 20315 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 93224

[startup+462.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/470 6819
/proc/meminfo: memFree=23973964/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=93148 CPUtime=462.3 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 21565 0 0 0 46228 2 0 0 25 0 1 0 900059892 95383552 20570 33554432000 4194304 4933572 140736306266880 18446744073709551615 4631838 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 23287 20570 387 181 0 20296 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 93148

[startup+522.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/470 6820
/proc/meminfo: memFree=23970448/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=96144 CPUtime=522.3 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 22473 0 0 0 52228 2 0 0 25 0 1 0 900059892 98451456 21334 33554432000 4194304 4933572 140736306266880 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 24036 21334 387 181 0 21045 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 96144

[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 6831
/proc/meminfo: memFree=23963640/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=102212 CPUtime=582.31 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 24056 0 0 0 58228 3 0 0 25 0 1 0 900059892 104665088 22793 33554432000 4194304 4933572 140736306266880 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 25553 22793 387 181 0 22562 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 102212

[startup+642.301 s]

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

[startup+882.318 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6839
/proc/meminfo: memFree=23923984/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=112640 CPUtime=882.33 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 27011 0 0 0 88230 3 0 0 25 0 1 0 900059892 115343360 25395 33554432000 4194304 4933572 140736306266880 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 28160 25395 387 181 0 25169 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 112640

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6841
/proc/meminfo: memFree=23909192/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=116468 CPUtime=942.33 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 27953 0 0 0 94229 4 0 0 25 0 1 0 900059892 119263232 26337 33554432000 4194304 4933572 140736306266880 18446744073709551615 4319295 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 29117 26337 387 181 0 26126 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 116468

[startup+1002.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/470 6842
/proc/meminfo: memFree=23908172/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=116864 CPUtime=1002.33 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 28059 0 0 0 100229 4 0 0 25 0 1 0 900059892 119668736 26443 33554432000 4194304 4933572 140736306266880 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 29216 26443 387 181 0 26225 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 116864

[startup+1062.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 6844
/proc/meminfo: memFree=23903428/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=117656 CPUtime=1062.33 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 28259 0 0 0 106229 4 0 0 25 0 1 0 900059892 120479744 26643 33554432000 4194304 4933572 140736306266880 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 29414 26643 387 181 0 26423 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 117656

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6845
/proc/meminfo: memFree=23902788/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=117236 CPUtime=1122.33 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 28259 0 0 0 112229 4 0 0 25 0 1 0 900059892 120049664 26545 33554432000 4194304 4933572 140736306266880 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 29309 26545 387 181 0 26318 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 117236

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6847
/proc/meminfo: memFree=23902396/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=117896 CPUtime=1182.33 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 28398 0 0 0 118229 4 0 0 25 0 1 0 900059892 120725504 26684 33554432000 4194304 4933572 140736306266880 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 29474 26684 387 181 0 26483 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 117896

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6849
/proc/meminfo: memFree=23899892/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=118688 CPUtime=1242.33 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 28590 0 0 0 124229 4 0 0 25 0 1 0 900059892 121536512 26876 33554432000 4194304 4933572 140736306266880 18446744073709551615 4649475 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 29672 26876 387 181 0 26681 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 118688

[startup+1302.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/470 6850
/proc/meminfo: memFree=23893684/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=126300 CPUtime=1302.33 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 31503 0 0 0 130229 4 0 0 25 0 1 0 900059892 129331200 28811 33554432000 4194304 4933572 140736306266880 18446744073709551615 4649576 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 31575 28811 387 181 0 28584 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 126300

[startup+1362.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/470 6852
/proc/meminfo: memFree=23892552/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=127016 CPUtime=1362.33 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 31627 0 0 0 136229 4 0 0 25 0 1 0 900059892 130064384 28935 33554432000 4194304 4933572 140736306266880 18446744073709551615 4635387 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 31754 28935 387 181 0 28763 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 127016

[startup+1422.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 6853
/proc/meminfo: memFree=23889184/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=127016 CPUtime=1422.34 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 31636 0 0 0 142230 4 0 0 25 0 1 0 900059892 130064384 28944 33554432000 4194304 4933572 140736306266880 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 31754 28944 387 181 0 28763 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 127016

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6855
/proc/meminfo: memFree=23872664/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=128336 CPUtime=1482.34 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 31973 0 0 0 148230 4 0 0 25 0 1 0 900059892 131416064 29281 33554432000 4194304 4933572 140736306266880 18446744073709551615 4631873 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 32084 29281 387 181 0 29093 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 128336

[startup+1542.32 s]
/proc/loadavg: 2.07 2.05 2.01 3/470 6857
/proc/meminfo: memFree=23864328/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=129524 CPUtime=1542.36 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 32285 0 0 0 154232 4 0 0 25 0 1 0 900059892 132632576 29593 33554432000 4194304 4933572 140736306266880 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 32381 29593 387 181 0 29390 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 129524

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/470 6858
/proc/meminfo: memFree=23863564/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=129148 CPUtime=1602.34 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 32285 0 0 0 160230 4 0 0 25 0 1 0 900059892 132247552 29515 33554432000 4194304 4933572 140736306266880 18446744073709551615 4319303 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 32287 29515 387 181 0 29296 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 129148

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 6860
/proc/meminfo: memFree=23862540/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=129624 CPUtime=1662.34 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 32596 0 0 0 166230 4 0 0 25 0 1 0 900059892 132734976 29615 33554432000 4194304 4933572 140736306266880 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 32406 29615 387 181 0 29415 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 129624

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 6861
/proc/meminfo: memFree=23861776/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=129912 CPUtime=1722.34 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 32648 0 0 0 172230 4 0 0 25 0 1 0 900059892 133029888 29667 33554432000 4194304 4933572 140736306266880 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 32478 29667 387 181 0 29487 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 129912

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6863
/proc/meminfo: memFree=23859652/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=129912 CPUtime=1782.35 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 32649 0 0 0 178231 4 0 0 25 0 1 0 900059892 133029888 29668 33554432000 4194304 4933572 140736306266880 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 32478 29668 387 181 0 29487 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 129912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6863
/proc/meminfo: memFree=23858896/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=129912 CPUtime=1800.05 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 32649 0 0 0 180001 4 0 0 25 0 1 0 900059892 133029888 29668 33554432000 4194304 4933572 140736306266880 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 32478 29668 387 181 0 29487 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 129912

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

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

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6863
/proc/meminfo: memFree=23858896/32951124 swapFree=56297244/67111528
[pid=6777] ppid=6775 vsize=129912 CPUtime=1800.05 cores=0,2,4,6
/proc/6777/stat : 6777 (clasp) R 6775 6777 6224 0 -1 4202496 32649 0 0 0 180001 4 0 0 25 0 1 0 900059892 133029888 29668 33554432000 4194304 4933572 140736306266880 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6777/statm: 32478 29668 387 181 0 29487 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 129912

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.053991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32658
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= 2702

runsolver used 8.97064 second user time and 17.8223 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-03 12:51:34
IDJOB=3468243
IDBENCH=2237
IDSOLVER=1958
FILE ID=node111/3468243-1307098294
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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.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-3468243-1307098294/watcher-3468243-1307098294 -o /tmp/evaluation-result-3468243-1307098294/solver-3468243-1307098294 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3468243-1307098294.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= 5909a36352b34473abff2d7e1fe31c04
RANDOM SEED=105456447

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:      23988744 kB
Buffers:        280652 kB
Cached:         779316 kB
SwapCached:      11784 kB
Active:        7941836 kB
Inactive:       743540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23988744 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:            1224 kB
Writeback:           0 kB
AnonPages:     7622792 kB
Mapped:          28276 kB
Slab:           142296 kB
PageTables:      66732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 149322272 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= 73864 MiB
End job on node111 at 2011-06-03 13:21:36