Trace number 3469394

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)-111 1800.09 1800.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_1.opb
MD5SUM6a7c5d2366cf8704587c2ca2c97e69d0
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-112
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -111
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)6318
Sum of products size (including duplicates)12636
Number of different products3159
Sum of products size6318

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 ...095789/instance-3469394-1307095789.opb
0.00/0.00	c Solving...
0.00/0.00	o 0
0.00/0.00	o -1
0.00/0.00	o -2
0.00/0.00	o -3
0.00/0.00	o -4
0.00/0.00	o -5
0.00/0.00	o -6
0.00/0.00	o -7
0.00/0.00	o -8
0.00/0.00	o -9
0.00/0.00	o -10
0.00/0.00	o -11
0.00/0.00	o -12
0.00/0.00	o -13
0.00/0.00	o -14
0.00/0.00	o -15
0.00/0.00	o -16
0.00/0.00	o -17
0.00/0.00	o -18
0.00/0.00	o -19
0.00/0.00	o -20
0.00/0.00	o -21
0.00/0.00	o -22
0.00/0.00	o -23
0.00/0.00	o -24
0.00/0.00	o -25
0.00/0.00	o -26
0.00/0.00	o -27
0.00/0.00	o -28
0.00/0.00	o -29
0.00/0.00	o -30
0.00/0.00	o -31
0.00/0.00	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.02	o -42
0.02/0.03	o -82
0.02/0.03	o -83
0.02/0.03	o -84
0.02/0.03	o -85
0.02/0.04	o -101
0.02/0.04	o -102
0.02/0.05	o -103
0.19/0.23	o -108
0.19/0.24	o -109
0.19/0.24	o -110
0.19/0.24	o -111
1800.07/1800.01	
1800.07/1800.01	*** INTERRUPTED! ***
1800.07/1800.01	c Answer: 54
1800.07/1800.01	v -x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17
1800.07/1800.01	v -x18 -x19 x20 x21 x22 x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 x33
1800.07/1800.01	v -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48
1800.07/1800.01	v -x49 -x50 -x51 x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63
1800.07/1800.01	v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78
1800.07/1800.01	v -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93
1800.07/1800.01	v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1800.07/1800.01	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118
1800.07/1800.01	v x119 x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131
1800.07/1800.01	v -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143
1800.07/1800.01	v -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 x155 -x156
1800.07/1800.01	v -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 x167 -x168 -x169
1800.07/1800.01	v -x170 x171 x172 x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182
1800.07/1800.01	v -x183 -x184 -x185 x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 x194 -x195
1800.07/1800.01	v -x196 -x197 -x198 -x199 -x200 x201 -x202 x203 x204 -x205 -x206 -x207 -x208
1800.07/1800.01	v x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 x217 -x218 -x219 -x220 -x221
1800.07/1800.01	v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1800.07/1800.01	v -x234 -x235 -x236 -x237 x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 x246
1800.07/1800.01	v x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 x257 -x258 -x259
1800.07/1800.01	v -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 x271 -x272
1800.07/1800.01	v -x273 x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 x284 -x285
1800.07/1800.01	v -x286 -x287 -x288 x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 x297 -x298
1800.07/1800.01	v -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 x307 x308 x309 -x310 x311
1800.07/1800.01	v x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 x323 -x324
1800.07/1800.01	v -x325 -x326 -x327 x328 -x329 x330 x331 -x332 x333 -x334 x335 -x336 -x337
1800.07/1800.01	v -x338 x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350
1800.07/1800.01	v x351 x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 x362 x363
1800.07/1800.01	v -x364 -x365 -x366 x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 x376
1800.07/1800.01	v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 x386 -x387 -x388 -x389
1800.07/1800.01	v -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 x402
1800.07/1800.01	v x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 x413 x414 -x415
1800.07/1800.01	v -x416 -x417 -x418 -x419 -x420 x421 -x422 x423 -x424 -x425 -x426 x427 x428
1800.07/1800.01	v -x429 x430 x431 x432 x433 -x434 -x435 -x436 -x437 x438 x439 -x440 -x441
1800.07/1800.01	v -x442 x443 -x444 -x445 x446 -x447 x448 -x449 -x450 x451 -x452 -x453 -x454
1800.07/1800.01	v -x455 x456 -x457 -x458 -x459 x460 -x461 x462 -x463 -x464 -x465 -x466 -x467
1800.07/1800.01	v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479
1800.07/1800.01	v -x480 x481 -x482 x483 -x484 -x485 x486 -x487 -x488 -x489 x490 -x491 -x492
1800.07/1800.01	v -x493 x494 -x495 x496 -x497 -x498 -x499 -x500
1800.07/1800.01	s SATISFIABLE
1800.07/1800.01	
1800.07/1800.01	c INTERRUPTED   : 1
1800.07/1800.01	c Models        : 1+    
1800.07/1800.01	c   Enumerated  : 54
1800.07/1800.01	c   Optimum     : unknown
1800.07/1800.01	c Optimization  : -111
1800.07/1800.01	c Time          : 1800.017s (Solving: 1800.01s 1st Model: 0.00s Unsat: 0.00s)
1800.07/1800.01	c CPU Time      : 1800.080s

Verifier Data 

OK	-111

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-3469394-1307095789/watcher-3469394-1307095789 -o /tmp/evaluation-result-3469394-1307095789/solver-3469394-1307095789 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469394-1307095789.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: 2.02 2.04 2.00 2/515 8556
/proc/meminfo: memFree=23236568/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=13252 CPUtime=0 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 824 0 0 0 0 0 0 0 25 0 1 0 899809557 13570048 666 33554432000 4194304 4933572 140736618240592 18446744073709551615 256415391616 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 3313 666 365 181 0 322 0

[startup+0.0226581 s]
/proc/loadavg: 2.02 2.04 2.00 2/515 8556
/proc/meminfo: memFree=23236568/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=14044 CPUtime=0.02 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 997 0 0 0 2 0 0 0 25 0 1 0 899809557 14381056 839 33554432000 4194304 4933572 140736618240592 18446744073709551615 256415052485 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 3511 839 366 181 0 520 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14044

[startup+0.100714 s]
/proc/loadavg: 2.02 2.04 2.00 2/515 8556
/proc/meminfo: memFree=23236568/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=17760 CPUtime=0.09 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 1935 0 0 0 9 0 0 0 25 0 1 0 899809557 18186240 1777 33554432000 4194304 4933572 140736618240592 18446744073709551615 4341838 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 4440 1777 374 181 0 1449 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17760

[startup+0.300688 s]
/proc/loadavg: 2.02 2.04 2.00 2/515 8556
/proc/meminfo: memFree=23236568/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=19088 CPUtime=0.29 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 2280 0 0 0 29 0 0 0 25 0 1 0 899809557 19546112 2122 33554432000 4194304 4933572 140736618240592 18446744073709551615 4328768 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 4772 2122 374 181 0 1781 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19088

[startup+0.70061 s]
/proc/loadavg: 2.02 2.04 2.00 2/515 8556
/proc/meminfo: memFree=23236568/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=20012 CPUtime=0.69 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 2500 0 0 0 69 0 0 0 25 0 1 0 899809557 20492288 2342 33554432000 4194304 4933572 140736618240592 18446744073709551615 4632825 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 5003 2342 374 181 0 2012 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20012

[startup+1.50044 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 8557
/proc/meminfo: memFree=23227148/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=21068 CPUtime=1.49 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 2779 0 0 0 149 0 0 0 25 0 1 0 899809557 21573632 2621 33554432000 4194304 4933572 140736618240592 18446744073709551615 4342459 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 5267 2621 374 181 0 2276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21068

[startup+3.10014 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 8557
/proc/meminfo: memFree=23224668/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=22916 CPUtime=3.09 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 3239 0 0 0 309 0 0 0 25 0 1 0 899809557 23465984 3081 33554432000 4194304 4933572 140736618240592 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 5729 3081 374 181 0 2738 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22916

[startup+6.30054 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 8557
/proc/meminfo: memFree=23222216/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=24924 CPUtime=6.29 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 3719 0 0 0 629 0 0 0 25 0 1 0 899809557 25522176 3561 33554432000 4194304 4933572 140736618240592 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 6231 3561 374 181 0 3240 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24924

[startup+12.7003 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 8557
/proc/meminfo: memFree=23219600/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=28056 CPUtime=12.69 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 4479 0 0 0 1269 0 0 0 25 0 1 0 899809557 28729344 4321 33554432000 4194304 4933572 140736618240592 18446744073709551615 4328740 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 7014 4321 374 181 0 4023 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28056

[startup+25.5009 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 8557
/proc/meminfo: memFree=23215648/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=30576 CPUtime=25.49 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 5098 0 0 0 2549 0 0 0 25 0 1 0 899809557 31309824 4940 33554432000 4194304 4933572 140736618240592 18446744073709551615 4342518 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 7644 4940 374 181 0 4653 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30576

[startup+51.101 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 8558
/proc/meminfo: memFree=23211024/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=34712 CPUtime=51.09 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 6238 0 0 0 5109 0 0 0 25 0 1 0 899809557 35545088 6026 33554432000 4194304 4933572 140736618240592 18446744073709551615 4635448 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 8678 6026 375 181 0 5687 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34712

[startup+102.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8559
/proc/meminfo: memFree=23205396/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=39464 CPUtime=102.31 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 7490 0 0 0 10230 1 0 0 25 0 1 0 899809557 40411136 7194 33554432000 4194304 4933572 140736618240592 18446744073709551615 4362110 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 9866 7194 375 181 0 6875 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 39464

[startup+162.301 s]
/proc/loadavg: 2.15 2.05 2.01 3/516 8561
/proc/meminfo: memFree=23201352/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=42596 CPUtime=162.3 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 8763 0 0 0 16229 1 0 0 25 0 1 0 899809557 43618304 7984 33554432000 4194304 4933572 140736618240592 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 10649 7984 375 181 0 7658 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 42596

[startup+222.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/516 8562
/proc/meminfo: memFree=23201156/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=43832 CPUtime=222.3 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 9268 0 0 0 22229 1 0 0 25 0 1 0 899809557 44883968 8295 33554432000 4194304 4933572 140736618240592 18446744073709551615 4318072 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 10958 8295 375 181 0 7967 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 43832

[startup+282.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/516 8564
/proc/meminfo: memFree=23198972/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=47612 CPUtime=282.3 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 10285 0 0 0 28229 1 0 0 25 0 1 0 899809557 48754688 9219 33554432000 4194304 4933572 140736618240592 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 11903 9219 375 181 0 8912 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 47612

[startup+342.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/516 8566
/proc/meminfo: memFree=23198300/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=48148 CPUtime=342.3 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 10509 0 0 0 34229 1 0 0 25 0 1 0 899809557 49303552 9360 33554432000 4194304 4933572 140736618240592 18446744073709551615 4635387 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 12037 9360 375 181 0 9046 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 48148

[startup+402.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/516 8567
/proc/meminfo: memFree=23193368/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=53352 CPUtime=402.31 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 11934 0 0 0 40229 2 0 0 25 0 1 0 899809557 54632448 10567 33554432000 4194304 4933572 140736618240592 18446744073709551615 4341939 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 13338 10567 375 181 0 10347 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 53352

[startup+462.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/516 8569
/proc/meminfo: memFree=23192672/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=53776 CPUtime=462.31 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 12410 0 0 0 46229 2 0 0 25 0 1 0 899809557 55066624 10674 33554432000 4194304 4933572 140736618240592 18446744073709551615 4635430 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 13444 10674 375 181 0 10453 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 53776

[startup+522.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 8570
/proc/meminfo: memFree=23192716/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=54040 CPUtime=522.31 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 12454 0 0 0 52229 2 0 0 25 0 1 0 899809557 55336960 10718 33554432000 4194304 4933572 140736618240592 18446744073709551615 4318085 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 13510 10718 375 181 0 10519 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 54040

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 8572
/proc/meminfo: memFree=23189044/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=57388 CPUtime=582.31 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 13393 0 0 0 58229 2 0 0 25 0 1 0 899809557 58765312 11601 33554432000 4194304 4933572 140736618240592 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 14347 11601 375 181 0 11356 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 57388

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/516 8578
/proc/meminfo: memFree=23186408/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=59352 CPUtime=822.32 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 14540 0 0 0 82230 2 0 0 25 0 1 0 899809557 60776448 12107 33554432000 4194304 4933572 140736618240592 18446744073709551615 4663961 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 14838 12107 375 181 0 11847 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 59352

[startup+882.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/516 8580
/proc/meminfo: memFree=23184844/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=60468 CPUtime=882.32 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 15049 0 0 0 88230 2 0 0 25 0 1 0 899809557 61919232 12373 33554432000 4194304 4933572 140736618240592 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 15117 12373 375 181 0 12126 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 60468

[startup+942.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/516 8582
/proc/meminfo: memFree=23184784/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=60860 CPUtime=942.32 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 15156 0 0 0 94230 2 0 0 25 0 1 0 899809557 62320640 12458 33554432000 4194304 4933572 140736618240592 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 15215 12458 375 181 0 12224 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 60860

[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 8583
/proc/meminfo: memFree=23184452/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=60860 CPUtime=1002.32 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 15167 0 0 0 100230 2 0 0 25 0 1 0 899809557 62320640 12469 33554432000 4194304 4933572 140736618240592 18446744073709551615 4342518 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 15215 12469 375 181 0 12224 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 60860

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 8585
/proc/meminfo: memFree=23183028/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=61156 CPUtime=1062.33 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 15309 0 0 0 106231 2 0 0 25 0 1 0 899809557 62623744 12556 33554432000 4194304 4933572 140736618240592 18446744073709551615 4341629 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 15289 12556 375 181 0 12298 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 61156

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8586
/proc/meminfo: memFree=23183824/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=61552 CPUtime=1122.33 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 15385 0 0 0 112231 2 0 0 25 0 1 0 899809557 63029248 12632 33554432000 4194304 4933572 140736618240592 18446744073709551615 4341552 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 15388 12632 375 181 0 12397 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 61552

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8588
/proc/meminfo: memFree=23183008/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=61552 CPUtime=1182.33 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 15395 0 0 0 118231 2 0 0 25 0 1 0 899809557 63029248 12642 33554432000 4194304 4933572 140736618240592 18446744073709551615 4341721 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 15388 12642 375 181 0 12397 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 61552

[startup+1242.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/516 8590
/proc/meminfo: memFree=23181692/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=62964 CPUtime=1242.33 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 15846 0 0 0 124231 2 0 0 25 0 1 0 899809557 64475136 12982 33554432000 4194304 4933572 140736618240592 18446744073709551615 4428397 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 15741 12982 375 181 0 12750 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 62964

[startup+1302.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/516 8591
/proc/meminfo: memFree=23180376/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=63244 CPUtime=1302.34 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 16103 0 0 0 130232 2 0 0 25 0 1 0 899809557 64761856 13052 33554432000 4194304 4933572 140736618240592 18446744073709551615 4649320 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 15811 13052 375 181 0 12820 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 63244

[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/516 8593
/proc/meminfo: memFree=23180308/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=63648 CPUtime=1362.35 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 16360 0 0 0 136232 3 0 0 25 0 1 0 899809557 65175552 13133 33554432000 4194304 4933572 140736618240592 18446744073709551615 4625192 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 15912 13133 375 181 0 12921 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 63648

[startup+1422.32 s]
/proc/loadavg: 2.11 2.06 2.01 3/516 8594
/proc/meminfo: memFree=23181116/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=63852 CPUtime=1422.37 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 16488 0 0 0 142234 3 0 0 25 0 1 0 899809557 65384448 13179 33554432000 4194304 4933572 140736618240592 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 15963 13179 375 181 0 12972 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 63852

[startup+1482.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/516 8596
/proc/meminfo: memFree=23180788/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=64320 CPUtime=1482.35 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 16581 0 0 0 148232 3 0 0 25 0 1 0 899809557 65863680 13272 33554432000 4194304 4933572 140736618240592 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 16080 13272 375 181 0 13089 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 64320

[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/516 8598
/proc/meminfo: memFree=23179976/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=64656 CPUtime=1542.35 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 16663 0 0 0 154232 3 0 0 25 0 1 0 899809557 66207744 13354 33554432000 4194304 4933572 140736618240592 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 16164 13354 375 181 0 13173 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 64656

[startup+1602.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/516 8681
/proc/meminfo: memFree=23129924/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=64656 CPUtime=1602.35 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 16663 0 0 0 160232 3 0 0 25 0 1 0 899809557 66207744 13354 33554432000 4194304 4933572 140736618240592 18446744073709551615 4635474 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 16164 13354 375 181 0 13173 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 64656

[startup+1662.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/516 8683
/proc/meminfo: memFree=23119188/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=65164 CPUtime=1662.36 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 16746 0 0 0 166233 3 0 0 25 0 1 0 899809557 66727936 13437 33554432000 4194304 4933572 140736618240592 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 16291 13437 375 181 0 13300 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 65164

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/516 8684
/proc/meminfo: memFree=23110324/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=65164 CPUtime=1722.36 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 16766 0 0 0 172233 3 0 0 25 0 1 0 899809557 66727936 13457 33554432000 4194304 4933572 140736618240592 18446744073709551615 4622118 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 16291 13457 375 181 0 13300 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 65164

[startup+1782.3 s]
/proc/loadavg: 2.16 2.08 2.01 3/516 8689
/proc/meminfo: memFree=23101708/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=65332 CPUtime=1782.36 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 16785 0 0 0 178233 3 0 0 25 0 1 0 899809557 66899968 13476 33554432000 4194304 4933572 140736618240592 18446744073709551615 4319826 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 16333 13476 375 181 0 13342 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 65332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.11 2.07 2.01 3/516 8690
/proc/meminfo: memFree=23100540/32950928 swapFree=58671692/67111528
[pid=8556] ppid=8554 vsize=65332 CPUtime=1800.07 cores=1,3,5,7
/proc/8556/stat : 8556 (clasp) R 8554 8556 8237 0 -1 4202496 16785 0 0 0 180004 3 0 0 25 0 1 0 899809557 66899968 13476 33554432000 4194304 4933572 140736618240592 18446744073709551615 4337717 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8556/statm: 16333 13476 375 181 0 13342 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 65332

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.09
CPU user time (s): 1800.05
CPU system time (s): 0.033994
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 65332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16795
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= 6
involuntary context switches= 22655

runsolver used 9.1996 second user time and 20.9788 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-03 12:09:49
IDJOB=3469394
IDBENCH=48176
IDSOLVER=1959
FILE ID=node115/3469394-1307095789
RUNJOBID= node115-1307091929-8256
PBS_JOBID= 13497964
Free space on /tmp= 73828 MiB

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

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

MD5SUM BENCH= 6a7c5d2366cf8704587c2ca2c97e69d0
RANDOM SEED=543586513

node115.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.811
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.62
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.811
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	: 5226.15
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.811
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.811
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.811
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.77
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.811
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.74
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.811
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.75
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.811
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:     32950928 kB
MemFree:      23236848 kB
Buffers:        128296 kB
Cached:         242944 kB
SwapCached:      65796 kB
Active:        1053728 kB
Inactive:      8420104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23236848 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:             824 kB
Writeback:           0 kB
AnonPages:     9040460 kB
Mapped:          28016 kB
Slab:            96052 kB
PageTables:      75400 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 151839348 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= 73828 MiB
End job on node115 at 2011-06-03 12:39:51