Trace number 3469382

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.1 1800.12

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_4.opb
MD5SUM81ea6ef3f58dd056541f0542171b5402
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.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -112
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 constraint21
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)6326
Sum of products size (including duplicates)12652
Number of different products3163
Sum of products size6326

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

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

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.85 1.99 1.88 2/413 493
/proc/meminfo: memFree=26038860/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=12768 CPUtime=0 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 535 0 0 0 0 0 0 0 25 0 1 0 277124231 13074432 476 33554432000 4194304 4933572 140733770906112 18446744073709551615 4660651 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 3235 482 309 181 0 244 0

[startup+0.0582169 s]
/proc/loadavg: 1.85 1.99 1.88 2/413 493
/proc/meminfo: memFree=26038860/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=16948 CPUtime=0.05 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 1741 0 0 0 5 0 0 0 25 0 1 0 277124231 17354752 1583 33554432000 4194304 4933572 140733770906112 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 4237 1583 373 181 0 1246 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16948

[startup+0.101208 s]
/proc/loadavg: 1.85 1.99 1.88 2/413 493
/proc/meminfo: memFree=26038860/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=17212 CPUtime=0.09 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 1806 0 0 0 9 0 0 0 25 0 1 0 277124231 17625088 1648 33554432000 4194304 4933572 140733770906112 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 4303 1649 374 181 0 1312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17212

[startup+0.301171 s]
/proc/loadavg: 1.85 1.99 1.88 2/413 493
/proc/meminfo: memFree=26038860/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=18808 CPUtime=0.29 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 2201 0 0 0 29 0 0 0 25 0 1 0 277124231 19259392 2043 33554432000 4194304 4933572 140733770906112 18446744073709551615 4632737 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 4702 2043 374 181 0 1711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18808

[startup+0.701104 s]
/proc/loadavg: 1.85 1.99 1.88 2/413 493
/proc/meminfo: memFree=26038860/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=20028 CPUtime=0.69 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 2514 0 0 0 69 0 0 0 25 0 1 0 277124231 20508672 2356 33554432000 4194304 4933572 140733770906112 18446744073709551615 4328768 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 5007 2356 374 181 0 2016 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20028

[startup+1.50096 s]
/proc/loadavg: 1.85 1.99 1.88 2/411 567
/proc/meminfo: memFree=26033724/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=21348 CPUtime=1.49 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 2844 0 0 0 149 0 0 0 25 0 1 0 277124231 21860352 2686 33554432000 4194304 4933572 140733770906112 18446744073709551615 4329817 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 5337 2686 374 181 0 2346 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21348

[startup+3.10068 s]
/proc/loadavg: 1.85 1.99 1.88 3/416 575
/proc/meminfo: memFree=26027484/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=22932 CPUtime=3.09 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 3241 0 0 0 309 0 0 0 25 0 1 0 277124231 23482368 3083 33554432000 4194304 4933572 140733770906112 18446744073709551615 4330726 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 5733 3083 374 181 0 2742 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22932

[startup+6.30112 s]
/proc/loadavg: 1.86 1.99 1.88 3/416 639
/proc/meminfo: memFree=26025772/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=25048 CPUtime=6.29 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 3776 0 0 0 628 1 0 0 25 0 1 0 277124231 25649152 3618 33554432000 4194304 4933572 140733770906112 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 6262 3618 374 181 0 3271 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25048

[startup+12.701 s]
/proc/loadavg: 1.87 1.99 1.88 3/416 640
/proc/meminfo: memFree=26021928/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=29308 CPUtime=12.69 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 4758 0 0 0 1268 1 0 0 25 0 1 0 277124231 30011392 4600 33554432000 4194304 4933572 140733770906112 18446744073709551615 4340549 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 7327 4600 374 181 0 4336 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29308

[startup+25.5007 s]
/proc/loadavg: 1.90 1.99 1.88 3/416 640
/proc/meminfo: memFree=26016052/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=31696 CPUtime=25.49 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 5366 0 0 0 2548 1 0 0 25 0 1 0 277124231 32456704 5208 33554432000 4194304 4933572 140733770906112 18446744073709551615 218880222961 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 7924 5208 374 181 0 4933 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31696

[startup+51.1012 s]
/proc/loadavg: 2.01 2.00 1.89 3/416 641
/proc/meminfo: memFree=26011688/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=35728 CPUtime=51.09 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 6453 0 0 0 5108 1 0 0 25 0 1 0 277124231 36585472 6265 33554432000 4194304 4933572 140733770906112 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 8932 6265 375 181 0 5941 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 35728

[startup+102.316 s]
/proc/loadavg: 2.00 2.00 1.89 3/416 642
/proc/meminfo: memFree=26004984/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=40908 CPUtime=102.3 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 7820 0 0 0 10229 1 0 0 25 0 1 0 277124231 41889792 7550 33554432000 4194304 4933572 140733770906112 18446744073709551615 4622140 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 10227 7550 375 181 0 7236 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 40908

[startup+162.301 s]
/proc/loadavg: 2.10 2.03 1.91 3/416 680
/proc/meminfo: memFree=25913796/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=45780 CPUtime=162.29 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 9060 0 0 0 16227 2 0 0 25 0 1 0 277124231 46878720 8731 33554432000 4194304 4933572 140733770906112 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 11445 8731 375 181 0 8454 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 45780

[startup+222.301 s]
/proc/loadavg: 2.08 2.04 1.91 3/416 681
/proc/meminfo: memFree=25834120/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=46868 CPUtime=222.29 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 9490 0 0 0 22227 2 0 0 25 0 1 0 277124231 47992832 9003 33554432000 4194304 4933572 140733770906112 18446744073709551615 4414924 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 11717 9003 375 181 0 8726 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 46868

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 1.91 3/416 683
/proc/meminfo: memFree=25805592/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=50668 CPUtime=282.29 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 10516 0 0 0 28227 2 0 0 25 0 1 0 277124231 51884032 9968 33554432000 4194304 4933572 140733770906112 18446744073709551615 4637147 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 12667 9968 375 181 0 9676 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 50668

[startup+342.301 s]
/proc/loadavg: 2.01 2.02 1.91 3/416 685
/proc/meminfo: memFree=25781648/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=50936 CPUtime=342.29 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 11021 0 0 0 34227 2 0 0 25 0 1 0 277124231 52158464 10036 33554432000 4194304 4933572 140733770906112 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 12734 10036 375 181 0 9743 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 50936

[startup+402.3 s]
/proc/loadavg: 2.07 2.03 1.92 3/416 686
/proc/meminfo: memFree=25753728/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=54568 CPUtime=402.29 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 12094 0 0 0 40227 2 0 0 25 0 1 0 277124231 55877632 10919 33554432000 4194304 4933572 140733770906112 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 13642 10919 375 181 0 10651 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 54568

[startup+462.301 s]
/proc/loadavg: 2.09 2.04 1.93 3/416 688
/proc/meminfo: memFree=25750248/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=54856 CPUtime=462.29 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 12548 0 0 0 46227 2 0 0 25 0 1 0 277124231 56172544 10995 33554432000 4194304 4933572 140733770906112 18446744073709551615 4635463 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 13714 10995 375 181 0 10723 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 54856

[startup+522.301 s]
/proc/loadavg: 2.03 2.03 1.93 3/416 689
/proc/meminfo: memFree=25725180/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=55132 CPUtime=522.29 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 12908 0 0 0 52227 2 0 0 25 0 1 0 277124231 56455168 11076 33554432000 4194304 4933572 140733770906112 18446744073709551615 4362110 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 13783 11076 375 181 0 10792 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 55132

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 1.93 3/416 691
/proc/meminfo: memFree=25721576/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=57512 CPUtime=582.3 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 13617 0 0 0 58227 3 0 0 25 0 1 0 277124231 58892288 11650 33554432000 4194304 4933572 140733770906112 18446744073709551615 4342112 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 14378 11650 375 181 0 11387 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 57512

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.01 2.03 1.94 3/416 702
/proc/meminfo: memFree=25686196/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=60872 CPUtime=882.28 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 14951 0 0 0 88225 3 0 0 25 0 1 0 277124231 62332928 12479 33554432000 4194304 4933572 140733770906112 18446744073709551615 4648810 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 15218 12479 375 181 0 12227 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 60872

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/416 704
/proc/meminfo: memFree=25683456/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=61100 CPUtime=942.28 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 15028 0 0 0 94225 3 0 0 25 0 1 0 277124231 62566400 12544 33554432000 4194304 4933572 140733770906112 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 15275 12544 375 181 0 12284 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 61100

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/416 705
/proc/meminfo: memFree=25681952/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=61448 CPUtime=1002.28 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 15329 0 0 0 100225 3 0 0 25 0 1 0 277124231 62922752 12637 33554432000 4194304 4933572 140733770906112 18446744073709551615 4362006 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 15362 12637 375 181 0 12371 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 61448

[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/416 707
/proc/meminfo: memFree=25681320/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=61720 CPUtime=1062.28 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 15456 0 0 0 106225 3 0 0 25 0 1 0 277124231 63201280 12697 33554432000 4194304 4933572 140733770906112 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 15430 12697 375 181 0 12439 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 61720

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/416 708
/proc/meminfo: memFree=25656264/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=61784 CPUtime=1122.28 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 15583 0 0 0 112225 3 0 0 25 0 1 0 277124231 63266816 12699 33554432000 4194304 4933572 140733770906112 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 15446 12699 375 181 0 12455 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 61784

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/416 710
/proc/meminfo: memFree=25650904/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=62048 CPUtime=1182.28 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 15645 0 0 0 118225 3 0 0 25 0 1 0 277124231 63537152 12761 33554432000 4194304 4933572 140733770906112 18446744073709551615 4649413 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 15512 12761 375 181 0 12521 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 62048

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/416 712
/proc/meminfo: memFree=25647296/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=62800 CPUtime=1242.28 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 15940 0 0 0 124225 3 0 0 25 0 1 0 277124231 64307200 12984 33554432000 4194304 4933572 140733770906112 18446744073709551615 4631744 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 15700 12984 375 181 0 12709 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 62800

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/416 713
/proc/meminfo: memFree=25644288/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=63156 CPUtime=1302.28 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 16152 0 0 0 130225 3 0 0 25 0 1 0 277124231 64671744 13068 33554432000 4194304 4933572 140733770906112 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 15789 13068 375 181 0 12798 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 63156

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/416 715
/proc/meminfo: memFree=25642536/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=63776 CPUtime=1362.28 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 16544 0 0 0 136225 3 0 0 25 0 1 0 277124231 65306624 13218 33554432000 4194304 4933572 140733770906112 18446744073709551615 4649463 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 15944 13218 375 181 0 12953 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 63776

[startup+1422.32 s]
/proc/loadavg: 2.01 2.01 1.95 3/416 716
/proc/meminfo: memFree=25642888/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=63716 CPUtime=1422.29 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 16808 0 0 0 142226 3 0 0 25 0 1 0 277124231 65245184 13205 33554432000 4194304 4933572 140733770906112 18446744073709551615 4632725 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 15929 13205 375 181 0 12938 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 63716

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/416 718
/proc/meminfo: memFree=25639772/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=64216 CPUtime=1482.27 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 17110 0 0 0 148224 3 0 0 25 0 1 0 277124231 65757184 13317 33554432000 4194304 4933572 140733770906112 18446744073709551615 4629757 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 16054 13317 375 181 0 13063 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 64216

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/416 720
/proc/meminfo: memFree=25611120/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=64236 CPUtime=1542.27 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 17252 0 0 0 154224 3 0 0 25 0 1 0 277124231 65777664 13333 33554432000 4194304 4933572 140733770906112 18446744073709551615 4635418 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 16059 13333 375 181 0 13068 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 64236

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/416 721
/proc/meminfo: memFree=25609128/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=64368 CPUtime=1602.27 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 17285 0 0 0 160224 3 0 0 25 0 1 0 277124231 65912832 13366 33554432000 4194304 4933572 140733770906112 18446744073709551615 4648387 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 16092 13366 375 181 0 13101 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 64368

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/416 723
/proc/meminfo: memFree=25606136/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=64368 CPUtime=1662.27 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 17285 0 0 0 166224 3 0 0 25 0 1 0 277124231 65912832 13366 33554432000 4194304 4933572 140733770906112 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 16092 13366 375 181 0 13101 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 64368

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/416 724
/proc/meminfo: memFree=25605384/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=64368 CPUtime=1722.27 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 17285 0 0 0 172224 3 0 0 25 0 1 0 277124231 65912832 13366 33554432000 4194304 4933572 140733770906112 18446744073709551615 4631744 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 16092 13366 375 181 0 13101 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 64368

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/416 726
/proc/meminfo: memFree=25601144/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=64404 CPUtime=1782.27 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 17341 0 0 0 178224 3 0 0 25 0 1 0 277124231 65949696 13377 33554432000 4194304 4933572 140733770906112 18446744073709551615 4330749 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 16101 13377 375 181 0 13110 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 64404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/416 726
/proc/meminfo: memFree=25601888/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=64568 CPUtime=1800.08 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 17363 0 0 0 180005 3 0 0 25 0 1 0 277124231 66117632 13399 33554432000 4194304 4933572 140733770906112 18446744073709551615 4362038 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 16142 13399 375 181 0 13151 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 64568

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

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

[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/416 726
/proc/meminfo: memFree=25601888/32950928 swapFree=52006644/67111528
[pid=493] ppid=491 vsize=64568 CPUtime=1800.08 cores=0,2,4,6
/proc/493/stat : 493 (clasp) R 491 493 32638 0 -1 4202496 17363 0 0 0 180005 3 0 0 25 0 1 0 277124231 66117632 13399 33554432000 4194304 4933572 140733770906112 18446744073709551615 4362038 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/493/statm: 16142 13399 375 181 0 13151 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 64568

Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.1
CPU user time (s): 1800.06
CPU system time (s): 0.036994
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 64632

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

runsolver used 7.69383 second user time and 16.7335 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-03 11:59:08
IDJOB=3469382
IDBENCH=48164
IDSOLVER=1959
FILE ID=node112/3469382-1307095148
RUNJOBID= node112-1307093345-32656
PBS_JOBID= 13497992
Free space on /tmp= 73832 MiB

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

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

MD5SUM BENCH= 81ea6ef3f58dd056541f0542171b5402
RANDOM SEED=1784360802

node112.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.847
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.847
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	: 5180.45
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.847
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.76
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.847
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.82
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.847
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.61
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.847
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.847
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.74
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.847
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:     32950928 kB
MemFree:      26039132 kB
Buffers:        324048 kB
Cached:        5622728 kB
SwapCached:      31280 kB
Active:         873048 kB
Inactive:      5757612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26039132 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:             808 kB
Writeback:           0 kB
AnonPages:      660932 kB
Mapped:          12640 kB
Slab:           155868 kB
PageTables:      59396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98651928 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= 73832 MiB
End job on node112 at 2011-06-03 12:29:10