Trace number 3469405

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)-110 1800.07 1800.01

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_3.opb
MD5SUM0247ef4de041bbff376811a7e6bf0408
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-111
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -110
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 500
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 500
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 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6316
Sum of products size (including duplicates)12632
Number of different products3158
Sum of products size6316

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 ...096346/instance-3469405-1307096346.opb
0.00/0.01	c Solving...
0.00/0.01	o 0
0.00/0.01	o -1
0.00/0.01	o -2
0.00/0.01	o -3
0.00/0.01	o -4
0.00/0.01	o -5
0.00/0.01	o -6
0.00/0.01	o -7
0.00/0.01	o -8
0.00/0.01	o -9
0.00/0.01	o -10
0.00/0.01	o -11
0.00/0.01	o -12
0.00/0.01	o -13
0.00/0.01	o -14
0.00/0.01	o -15
0.00/0.01	o -16
0.00/0.01	o -17
0.00/0.01	o -18
0.00/0.01	o -19
0.00/0.01	o -20
0.00/0.01	o -21
0.00/0.01	o -22
0.00/0.01	o -23
0.00/0.01	o -24
0.00/0.01	o -25
0.00/0.01	o -26
0.00/0.01	o -27
0.00/0.01	o -28
0.00/0.01	o -29
0.00/0.01	o -30
0.00/0.01	o -31
0.00/0.01	o -32
0.00/0.01	o -33
0.00/0.01	o -34
0.00/0.01	o -35
0.00/0.01	o -36
0.00/0.01	o -37
0.00/0.01	o -38
0.00/0.01	o -39
0.00/0.01	o -40
0.00/0.01	o -41
0.00/0.01	o -42
0.00/0.01	o -43
0.00/0.01	o -44
0.00/0.01	o -45
0.00/0.01	o -46
0.00/0.01	o -47
0.00/0.01	o -48
0.00/0.01	o -49
0.00/0.01	o -50
0.00/0.02	o -82
0.00/0.02	o -83
0.00/0.03	o -87
0.00/0.03	o -88
0.00/0.03	o -89
0.00/0.04	o -101
0.00/0.04	o -102
0.99/1.05	o -104
0.99/1.05	o -106
0.99/1.05	o -107
2.29/2.36	o -108
2.29/2.38	o -109
2.89/2.95	o -110
1800.05/1800.01	
1800.05/1800.01	*** INTERRUPTED! ***
1800.05/1800.01	c Answer: 64
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 -x63
1800.05/1800.01	v -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78
1800.05/1800.01	v -x79 -x80 x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93
1800.05/1800.01	v -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107
1800.05/1800.01	v -x108 -x109 -x110 -x111 -x112 x113 x114 x115 -x116 x117 -x118 x119 -x120
1800.05/1800.01	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133
1800.05/1800.01	v -x134 x135 x136 -x137 x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146
1800.05/1800.01	v -x147 -x148 -x149 x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159
1800.05/1800.01	v -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171
1800.05/1800.01	v -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182 -x183 -x184
1800.05/1800.01	v x185 -x186 x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197
1800.05/1800.01	v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209
1800.05/1800.01	v -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221
1800.05/1800.01	v -x222 x223 -x224 -x225 x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1800.05/1800.01	v -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246
1800.05/1800.01	v -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 x259
1800.05/1800.01	v -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1800.05/1800.01	v -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284
1800.05/1800.01	v -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297
1800.05/1800.01	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 x307 -x308 -x309 -x310
1800.05/1800.01	v x311 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 -x336
1800.05/1800.01	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348
1800.05/1800.01	v -x349 -x350 x351 x352 x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361
1800.05/1800.01	v -x362 -x363 x364 x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 x373 -x374
1800.05/1800.01	v x375 -x376 -x377 x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387
1800.05/1800.01	v -x388 x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1800.05/1800.01	v x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413
1800.05/1800.01	v -x414 -x415 -x416 -x417 x418 -x419 -x420 x421 x422 -x423 -x424 -x425 -x426
1800.05/1800.01	v -x427 -x428 x429 x430 -x431 -x432 x433 x434 -x435 x436 -x437 -x438 -x439
1800.05/1800.01	v -x440 x441 -x442 x443 x444 -x445 x446 x447 x448 x449 -x450 x451 -x452 -x453
1800.05/1800.01	v x454 x455 x456 -x457 -x458 x459 x460 x461 -x462 -x463 x464 -x465 -x466
1800.05/1800.01	v x467 -x468 -x469 -x470 x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479
1800.05/1800.01	v x480 -x481 -x482 x483 -x484 -x485 x486 -x487 -x488 -x489 x490 -x491 -x492
1800.05/1800.01	v -x493 x494 -x495 -x496 -x497 -x498 x499 -x500
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  : 64
1800.05/1800.01	c   Optimum     : unknown
1800.05/1800.01	c Optimization  : -110
1800.05/1800.01	c Time          : 1800.005s (Solving: 1800.00s 1st Model: 0.00s Unsat: 0.00s)
1800.05/1800.01	c CPU Time      : 1800.050s

Verifier Data 

OK	-110

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-3469405-1307096346/watcher-3469405-1307096346 -o /tmp/evaluation-result-3469405-1307096346/solver-3469405-1307096346 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469405-1307096346.opb --solu --heu=VSIDS 

running on 4 cores: 1,3,5,7

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.84 1.99 1.99 3/273 4336
/proc/meminfo: memFree=28421288/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=13120 CPUtime=0 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 643 0 0 0 0 0 0 0 25 0 1 0 821235314 13434880 556 33554432000 4194304 4933572 140736857070816 18446744073709551615 222921437893 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 3280 557 318 181 0 289 0

[startup+0.089193 s]
/proc/loadavg: 1.84 1.99 1.99 3/273 4336
/proc/meminfo: memFree=28421288/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=16552 CPUtime=0.08 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 1633 0 0 0 8 0 0 0 25 0 1 0 821235314 16949248 1475 33554432000 4194304 4933572 140736857070816 18446744073709551615 4341592 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 4138 1475 374 181 0 1147 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16552

[startup+0.100192 s]
/proc/loadavg: 1.84 1.99 1.99 3/273 4336
/proc/meminfo: memFree=28421288/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=16552 CPUtime=0.09 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 1657 0 0 0 9 0 0 0 25 0 1 0 821235314 16949248 1499 33554432000 4194304 4933572 140736857070816 18446744073709551615 222921437893 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 4138 1499 374 181 0 1147 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16552

[startup+0.300158 s]
/proc/loadavg: 1.84 1.99 1.99 3/273 4336
/proc/meminfo: memFree=28421288/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=18144 CPUtime=0.29 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 2047 0 0 0 29 0 0 0 25 0 1 0 821235314 18579456 1889 33554432000 4194304 4933572 140736857070816 18446744073709551615 4637147 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 4536 1889 374 181 0 1545 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18144

[startup+0.701081 s]
/proc/loadavg: 1.84 1.99 1.99 3/273 4336
/proc/meminfo: memFree=28421288/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=19468 CPUtime=0.69 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 2372 0 0 0 69 0 0 0 25 0 1 0 821235314 19935232 2214 33554432000 4194304 4933572 140736857070816 18446744073709551615 4362038 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 4867 2214 374 181 0 1876 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19468

[startup+1.50093 s]
/proc/loadavg: 1.84 1.99 1.99 4/274 4337
/proc/meminfo: memFree=28412492/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=20660 CPUtime=1.49 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 2678 0 0 0 149 0 0 0 25 0 1 0 821235314 21155840 2520 33554432000 4194304 4933572 140736857070816 18446744073709551615 4637104 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 5165 2520 374 181 0 2174 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20660

[startup+3.10064 s]
/proc/loadavg: 1.85 1.99 1.99 4/274 4337
/proc/meminfo: memFree=28410384/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=22244 CPUtime=3.09 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 3071 0 0 0 309 0 0 0 25 0 1 0 821235314 22777856 2913 33554432000 4194304 4933572 140736857070816 18446744073709551615 4631807 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 5561 2913 374 181 0 2570 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22244

[startup+6.30106 s]
/proc/loadavg: 1.85 1.99 1.99 4/274 4338
/proc/meminfo: memFree=28407280/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=24924 CPUtime=6.29 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 3739 0 0 0 629 0 0 0 25 0 1 0 821235314 25522176 3581 33554432000 4194304 4933572 140736857070816 18446744073709551615 4341861 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 6231 3581 374 181 0 3240 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24924

[startup+12.7009 s]
/proc/loadavg: 1.88 1.99 1.99 4/274 4338
/proc/meminfo: memFree=28402732/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=26856 CPUtime=12.69 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 4247 0 0 0 1269 0 0 0 25 0 1 0 821235314 27500544 4068 33554432000 4194304 4933572 140736857070816 18446744073709551615 4340549 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 6714 4068 375 181 0 3723 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26856

[startup+25.5005 s]
/proc/loadavg: 1.89 1.99 1.99 4/274 4338
/proc/meminfo: memFree=28398624/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=30128 CPUtime=25.49 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 5051 0 0 0 2549 0 0 0 25 0 1 0 821235314 30851072 4861 33554432000 4194304 4933572 140736857070816 18446744073709551615 4361992 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 7532 4861 375 181 0 4541 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30128

[startup+51.1008 s]
/proc/loadavg: 1.93 1.99 1.99 4/274 4339
/proc/meminfo: memFree=28393528/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=34484 CPUtime=51.09 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 6171 0 0 0 5109 0 0 0 25 0 1 0 821235314 35311616 5981 33554432000 4194304 4933572 140736857070816 18446744073709551615 4341664 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 8621 5981 375 181 0 5630 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34484

[startup+102.31 s]
/proc/loadavg: 1.97 1.99 1.99 4/274 4340
/proc/meminfo: memFree=28385828/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=40108 CPUtime=102.3 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 7600 0 0 0 10230 0 0 0 25 0 1 0 821235314 41070592 7387 33554432000 4194304 4933572 140736857070816 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 10027 7387 375 181 0 7036 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 40108

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/274 4342
/proc/meminfo: memFree=28380228/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=44840 CPUtime=162.29 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 8981 0 0 0 16229 0 0 0 25 0 1 0 821235314 45916160 8510 33554432000 4194304 4933572 140736857070816 18446744073709551615 4649576 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 11210 8510 375 181 0 8219 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 44840

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/274 4343
/proc/meminfo: memFree=28379084/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=45640 CPUtime=222.3 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 9393 0 0 0 22229 1 0 0 25 0 1 0 821235314 46735360 8719 33554432000 4194304 4933572 140736857070816 18446744073709551615 4342488 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 11410 8719 375 181 0 8419 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 45640

[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.99 4/274 4345
/proc/meminfo: memFree=28375960/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=48884 CPUtime=282.3 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 10468 0 0 0 28229 1 0 0 25 0 1 0 821235314 50057216 9537 33554432000 4194304 4933572 140736857070816 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 12221 9537 375 181 0 9230 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 48884

[startup+342.301 s]
/proc/loadavg: 2.04 2.00 1.99 4/274 4346
/proc/meminfo: memFree=28375560/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=48960 CPUtime=342.3 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 10778 0 0 0 34229 1 0 0 25 0 1 0 821235314 50135040 9585 33554432000 4194304 4933572 140736857070816 18446744073709551615 4631780 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 12240 9585 375 181 0 9249 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 48960

[startup+402.301 s]
/proc/loadavg: 2.01 2.00 1.99 4/274 4348
/proc/meminfo: memFree=28370572/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=54332 CPUtime=402.3 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 12204 0 0 0 40229 1 0 0 25 0 1 0 821235314 55635968 10855 33554432000 4194304 4933572 140736857070816 18446744073709551615 4361979 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 13583 10855 375 181 0 10592 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 54332

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.99 4/274 4350
/proc/meminfo: memFree=28369936/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=55012 CPUtime=462.31 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 12618 0 0 0 46230 1 0 0 25 0 1 0 821235314 56332288 11026 33554432000 4194304 4933572 140736857070816 18446744073709551615 4328768 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 13753 11026 375 181 0 10762 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 55012

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.99 4/274 4351
/proc/meminfo: memFree=28369784/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=55028 CPUtime=522.31 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 12943 0 0 0 52230 1 0 0 25 0 1 0 821235314 56348672 11023 33554432000 4194304 4933572 140736857070816 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 13757 11023 375 181 0 10766 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 55028

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 4/274 4353
/proc/meminfo: memFree=28367784/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=57364 CPUtime=582.31 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 13727 0 0 0 58230 1 0 0 25 0 1 0 821235314 58740736 11611 33554432000 4194304 4933572 140736857070816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 14341 11611 375 181 0 11350 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 57364

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.99 4/274 4359
/proc/meminfo: memFree=28364712/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=59996 CPUtime=822.31 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 14800 0 0 0 82230 1 0 0 25 0 1 0 821235314 61435904 12239 33554432000 4194304 4933572 140736857070816 18446744073709551615 4341648 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 14999 12239 375 181 0 12008 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 59996

[startup+882.301 s]
/proc/loadavg: 2.12 2.03 2.00 4/274 4361
/proc/meminfo: memFree=28363948/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=60436 CPUtime=882.31 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 14965 0 0 0 88230 1 0 0 25 0 1 0 821235314 61886464 12372 33554432000 4194304 4933572 140736857070816 18446744073709551615 4635418 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 15109 12372 375 181 0 12118 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 60436

[startup+942.301 s]
/proc/loadavg: 2.05 2.02 2.00 4/274 4362
/proc/meminfo: memFree=28363668/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=60988 CPUtime=942.32 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 15081 0 0 0 94231 1 0 0 25 0 1 0 821235314 62451712 12488 33554432000 4194304 4933572 140736857070816 18446744073709551615 4632737 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 15247 12488 375 181 0 12256 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 60988

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/274 4364
/proc/meminfo: memFree=28363516/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=61292 CPUtime=1002.32 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 15127 0 0 0 100231 1 0 0 25 0 1 0 821235314 62763008 12534 33554432000 4194304 4933572 140736857070816 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 15323 12534 375 181 0 12332 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 61292

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/274 4366
/proc/meminfo: memFree=28363252/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=61464 CPUtime=1062.32 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 15170 0 0 0 106231 1 0 0 25 0 1 0 821235314 62939136 12577 33554432000 4194304 4933572 140736857070816 18446744073709551615 4637216 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 15366 12577 375 181 0 12375 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 61464

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/274 4367
/proc/meminfo: memFree=28363600/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=61464 CPUtime=1122.32 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 15190 0 0 0 112231 1 0 0 25 0 1 0 821235314 62939136 12597 33554432000 4194304 4933572 140736857070816 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 15366 12597 375 181 0 12375 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 61464

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/274 4369
/proc/meminfo: memFree=28363212/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=61800 CPUtime=1182.32 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 15232 0 0 0 118231 1 0 0 25 0 1 0 821235314 63283200 12639 33554432000 4194304 4933572 140736857070816 18446744073709551615 4341896 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 15450 12639 375 181 0 12459 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 61800

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/274 4370
/proc/meminfo: memFree=28361448/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=63504 CPUtime=1242.33 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 15583 0 0 0 124232 1 0 0 25 0 1 0 821235314 65028096 12990 33554432000 4194304 4933572 140736857070816 18446744073709551615 4341613 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 15876 12990 375 181 0 12885 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 63504

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/274 4372
/proc/meminfo: memFree=28360688/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=63900 CPUtime=1302.33 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 15658 0 0 0 130232 1 0 0 25 0 1 0 821235314 65433600 13065 33554432000 4194304 4933572 140736857070816 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 15975 13065 375 181 0 12984 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 63900

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/274 4374
/proc/meminfo: memFree=28359920/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=64152 CPUtime=1362.33 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 15817 0 0 0 136232 1 0 0 25 0 1 0 821235314 65691648 13149 33554432000 4194304 4933572 140736857070816 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 16038 13149 375 181 0 13047 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 64152

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 4/274 4375
/proc/meminfo: memFree=28360016/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=64468 CPUtime=1422.34 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 15875 0 0 0 142233 1 0 0 25 0 1 0 821235314 66015232 13207 33554432000 4194304 4933572 140736857070816 18446744073709551615 4635474 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 16117 13207 375 181 0 13126 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 64468

[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/274 4377
/proc/meminfo: memFree=28359872/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=64636 CPUtime=1482.33 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 15906 0 0 0 148232 1 0 0 25 0 1 0 821235314 66187264 13238 33554432000 4194304 4933572 140736857070816 18446744073709551615 4340512 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 16159 13238 375 181 0 13168 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 64636

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/274 4378
/proc/meminfo: memFree=28360464/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=64900 CPUtime=1542.33 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 15958 0 0 0 154232 1 0 0 25 0 1 0 821235314 66457600 13290 33554432000 4194304 4933572 140736857070816 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 16225 13290 375 181 0 13234 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 64900

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/274 4380
/proc/meminfo: memFree=28360560/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=64900 CPUtime=1602.34 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 15960 0 0 0 160233 1 0 0 25 0 1 0 821235314 66457600 13292 33554432000 4194304 4933572 140736857070816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 16225 13292 375 181 0 13234 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 64900

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/274 4382
/proc/meminfo: memFree=28360420/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=65060 CPUtime=1662.34 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 16007 0 0 0 166233 1 0 0 25 0 1 0 821235314 66621440 13339 33554432000 4194304 4933572 140736857070816 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 16265 13339 375 181 0 13274 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 65060

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/274 4383
/proc/meminfo: memFree=28360268/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=65060 CPUtime=1722.34 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 16009 0 0 0 172233 1 0 0 25 0 1 0 821235314 66621440 13341 33554432000 4194304 4933572 140736857070816 18446744073709551615 4342508 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 16265 13341 375 181 0 13274 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 65060

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/274 4385
/proc/meminfo: memFree=28359260/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=65060 CPUtime=1782.34 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 16009 0 0 0 178233 1 0 0 25 0 1 0 821235314 66621440 13341 33554432000 4194304 4933572 140736857070816 18446744073709551615 4341902 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 16265 13341 375 181 0 13274 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 65060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 2/269 4403
/proc/meminfo: memFree=28372912/32951124 swapFree=55664332/67111528
[pid=4336] ppid=4334 vsize=65192 CPUtime=1800.05 cores=1,3,5,7
/proc/4336/stat : 4336 (clasp) R 4334 4336 4051 0 -1 4202496 16021 0 0 0 180004 1 0 0 25 0 1 0 821235314 66756608 13353 33554432000 4194304 4933572 140736857070816 18446744073709551615 4342096 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/4336/statm: 16298 13353 375 181 0 13307 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 65192

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.01
CPU time (s): 1800.07
CPU user time (s): 1800.05
CPU system time (s): 0.018997
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 65192

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

runsolver used 4.16037 second user time and 10.5684 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-03 12:19:06
IDJOB=3469405
IDBENCH=48187
IDSOLVER=1959
FILE ID=node109/3469405-1307096346
RUNJOBID= node109-1307092739-4070
PBS_JOBID= 13497981
Free space on /tmp= 73912 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_3.opb
COMMAND LINE= HOME/clasp BENCHNAME --solu --heu=VSIDS
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3469405-1307096346/watcher-3469405-1307096346 -o /tmp/evaluation-result-3469405-1307096346/solver-3469405-1307096346 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3469405-1307096346.opb --solu --heu=VSIDS

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

MD5SUM BENCH= 0247ef4de041bbff376811a7e6bf0408
RANDOM SEED=1839352241

node109.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.809
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.61
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.809
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	: 5332.75
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.809
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.74
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.809
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.75
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.809
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.82
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.809
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.75
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.809
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.82
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28421568 kB
Buffers:        307228 kB
Cached:        2236684 kB
SwapCached:      10392 kB
Active:         835948 kB
Inactive:      3438784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28421568 kB
SwapTotal:    67111528 kB
SwapFree:     55664332 kB
Dirty:            1840 kB
Writeback:           0 kB
AnonPages:     1726264 kB
Mapped:          16880 kB
Slab:           155608 kB
PageTables:      37084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 30888244 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= 73912 MiB
End job on node109 at 2011-06-03 12:49:08