Trace number 3491888

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-R4191-patched (fixed)SAT (TO)-37 1800.05 1800.01

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_2.opb
MD5SUMfecc1e3404707b1609ea9647c91fc73f
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-37
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36
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 constraint60
Maximum length of a constraint105
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)37488
Sum of products size (including duplicates)74976
Number of different products18744
Sum of products size37488

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

Verifier Data 

OK	-37

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3491888-1307775549/watcher-3491888-1307775549 -o /tmp/evaluation-result-3491888-1307775549/solver-3491888-1307775549 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491888-1307775549.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.09 1.62 1.85 3/177 9849
/proc/meminfo: memFree=31707560/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=6648 CPUtime=0 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 1411 0 0 0 0 0 0 0 25 0 1 0 889154585 6807552 1216 33554432000 4194304 6245536 140733712152848 18446744073709551615 5418137 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 1662 1217 179 501 0 1158 0

[startup+0.0722099 s]
/proc/loadavg: 1.09 1.62 1.85 3/177 9849
/proc/meminfo: memFree=31707560/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=8712 CPUtime=0.06 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 2487 0 0 0 6 0 0 0 25 0 1 0 889154585 8921088 1825 33554432000 4194304 6245536 140733712152848 18446744073709551615 4633892 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 2178 1826 221 501 0 1674 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8712

[startup+0.100204 s]
/proc/loadavg: 1.09 1.62 1.85 3/177 9849
/proc/meminfo: memFree=31707560/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=9900 CPUtime=0.09 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 2811 0 0 0 9 0 0 0 25 0 1 0 889154585 10137600 2149 33554432000 4194304 6245536 140733712152848 18446744073709551615 4633856 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 2475 2150 227 501 0 1971 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9900

[startup+0.30017 s]
/proc/loadavg: 1.09 1.62 1.85 3/177 9849
/proc/meminfo: memFree=31707560/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=18656 CPUtime=0.29 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 4988 0 0 0 29 0 0 0 25 0 1 0 889154585 19103744 4326 33554432000 4194304 6245536 140733712152848 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 4664 4326 227 501 0 4160 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18656

[startup+0.700101 s]
/proc/loadavg: 1.09 1.62 1.85 3/177 9849
/proc/meminfo: memFree=31707560/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=24268 CPUtime=0.69 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 6392 0 0 0 68 1 0 0 25 0 1 0 889154585 24850432 5730 33554432000 4194304 6245536 140733712152848 18446744073709551615 4325148 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 6067 5730 229 501 0 5563 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24268

[startup+1.50103 s]
/proc/loadavg: 1.09 1.62 1.85 3/178 9850
/proc/meminfo: memFree=31667524/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=29208 CPUtime=1.49 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 7614 0 0 0 148 1 0 0 25 0 1 0 889154585 29908992 6952 33554432000 4194304 6245536 140733712152848 18446744073709551615 4323180 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 7302 6952 229 501 0 6798 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29208

[startup+3.10068 s]
/proc/loadavg: 1.09 1.62 1.85 3/178 9850
/proc/meminfo: memFree=31656644/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=32552 CPUtime=3.09 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 8452 0 0 0 308 1 0 0 25 0 1 0 889154585 33333248 7790 33554432000 4194304 6245536 140733712152848 18446744073709551615 4320357 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 8138 7790 229 501 0 7634 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32552

[startup+6.30018 s]
/proc/loadavg: 1.17 1.63 1.86 3/178 9850
/proc/meminfo: memFree=31635320/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=37204 CPUtime=6.29 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 9542 0 0 0 628 1 0 0 25 0 1 0 889154585 38096896 8880 33554432000 4194304 6245536 140733712152848 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 9301 8880 229 501 0 8797 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37204

[startup+12.701 s]
/proc/loadavg: 1.23 1.63 1.86 3/178 9850
/proc/meminfo: memFree=31614752/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=44676 CPUtime=12.69 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 11395 0 0 0 1267 2 0 0 25 0 1 0 889154585 45748224 10733 33554432000 4194304 6245536 140733712152848 18446744073709551615 4344660 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 11169 10733 229 501 0 10665 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44676

[startup+25.5007 s]
/proc/loadavg: 1.40 1.65 1.86 3/178 9851
/proc/meminfo: memFree=31595184/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=54644 CPUtime=25.49 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 13884 0 0 0 2547 2 0 0 25 0 1 0 889154585 55955456 13222 33554432000 4194304 6245536 140733712152848 18446744073709551615 4315391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 13661 13222 229 501 0 13157 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54644

[startup+51.1002 s]
/proc/loadavg: 1.61 1.68 1.86 3/178 9851
/proc/meminfo: memFree=31568708/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=65608 CPUtime=51.09 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 16626 0 0 0 5107 2 0 0 25 0 1 0 889154585 67182592 15964 33554432000 4194304 6245536 140733712152848 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 16402 15964 229 501 0 15898 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 65608

[startup+102.306 s]
/proc/loadavg: 1.88 1.74 1.87 3/178 9853
/proc/meminfo: memFree=31534204/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=76672 CPUtime=102.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 19402 0 0 0 10227 3 0 0 25 0 1 0 889154585 78512128 18740 33554432000 4194304 6245536 140733712152848 18446744073709551615 4408754 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 19168 18740 229 501 0 18664 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 76672

[startup+162.301 s]
/proc/loadavg: 1.95 1.78 1.88 3/178 9863
/proc/meminfo: memFree=31508584/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=85332 CPUtime=162.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 21591 0 0 0 16226 4 0 0 25 0 1 0 889154585 87379968 20929 33554432000 4194304 6245536 140733712152848 18446744073709551615 4304688 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 21333 20929 229 501 0 20829 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 85332

[startup+222.3 s]
/proc/loadavg: 1.98 1.82 1.88 3/178 9865
/proc/meminfo: memFree=31496016/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=95964 CPUtime=222.29 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 24105 0 0 0 22225 4 0 0 25 0 1 0 889154585 98267136 23443 33554432000 4194304 6245536 140733712152848 18446744073709551615 4635039 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 23991 23443 229 501 0 23487 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 95964

[startup+282.301 s]
/proc/loadavg: 1.99 1.85 1.89 3/178 9867
/proc/meminfo: memFree=31480104/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=96888 CPUtime=282.29 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 24330 0 0 0 28225 4 0 0 25 0 1 0 889154585 99213312 23668 33554432000 4194304 6245536 140733712152848 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 24222 23668 229 501 0 23718 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 96888

[startup+342.301 s]
/proc/loadavg: 1.99 1.87 1.89 3/178 9871
/proc/meminfo: memFree=31468456/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=106848 CPUtime=342.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 26842 0 0 0 34226 4 0 0 25 0 1 0 889154585 109412352 26180 33554432000 4194304 6245536 140733712152848 18446744073709551615 4637467 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 26712 26180 229 501 0 26208 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 106848

[startup+402.3 s]
/proc/loadavg: 1.99 1.89 1.90 3/178 9873
/proc/meminfo: memFree=31454048/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=107264 CPUtime=402.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 26943 0 0 0 40226 4 0 0 25 0 1 0 889154585 109838336 26281 33554432000 4194304 6245536 140733712152848 18446744073709551615 4317344 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 26816 26281 229 501 0 26312 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 107264

[startup+462.301 s]
/proc/loadavg: 1.99 1.91 1.91 3/178 9874
/proc/meminfo: memFree=31441116/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=117192 CPUtime=462.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 29430 0 0 0 46225 5 0 0 25 0 1 0 889154585 120004608 28768 33554432000 4194304 6245536 140733712152848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 29298 28768 229 501 0 28794 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 117192

[startup+522.3 s]
/proc/loadavg: 2.05 1.94 1.91 3/178 9876
/proc/meminfo: memFree=31436732/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=120060 CPUtime=522.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 30138 0 0 0 52225 5 0 0 25 0 1 0 889154585 122941440 29476 33554432000 4194304 6245536 140733712152848 18446744073709551615 4304878 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 30015 29476 229 501 0 29511 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 120060

[startup+582.301 s]
/proc/loadavg: 2.02 1.95 1.91 3/178 9878
/proc/meminfo: memFree=31420824/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=121408 CPUtime=582.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 30433 0 0 0 58225 5 0 0 25 0 1 0 889154585 124321792 29771 33554432000 4194304 6245536 140733712152848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 30352 29771 229 501 0 29848 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 121408

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.97 1.92 3/178 9884
/proc/meminfo: memFree=31399568/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=135404 CPUtime=822.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 33964 0 0 0 82225 5 0 0 25 0 1 0 889154585 138653696 33302 33554432000 4194304 6245536 140733712152848 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 33851 33302 229 501 0 33347 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 135404

[startup+882.301 s]
/proc/loadavg: 2.00 1.97 1.92 3/178 9886
/proc/meminfo: memFree=31381048/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=135800 CPUtime=882.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 34078 0 0 0 88225 5 0 0 25 0 1 0 889154585 139059200 33416 33554432000 4194304 6245536 140733712152848 18446744073709551615 4608172 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 33950 33416 229 501 0 33446 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 135800

[startup+942.3 s]
/proc/loadavg: 2.00 1.97 1.92 3/178 9887
/proc/meminfo: memFree=31377528/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=137116 CPUtime=942.31 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 34383 0 0 0 94225 6 0 0 25 0 1 0 889154585 140406784 33721 33554432000 4194304 6245536 140733712152848 18446744073709551615 4304733 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 34279 33721 229 501 0 33775 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 137116

[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.92 3/178 9889
/proc/meminfo: memFree=31375756/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=137116 CPUtime=1002.32 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 34403 0 0 0 100226 6 0 0 25 0 1 0 889154585 140406784 33741 33554432000 4194304 6245536 140733712152848 18446744073709551615 4304688 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 34279 33741 229 501 0 33775 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 137116

[startup+1062.3 s]
/proc/loadavg: 2.12 2.00 1.93 3/178 9890
/proc/meminfo: memFree=31374476/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=137380 CPUtime=1062.32 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 34481 0 0 0 106226 6 0 0 25 0 1 0 889154585 140677120 33819 33554432000 4194304 6245536 140733712152848 18446744073709551615 4397820 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 34345 33819 229 501 0 33841 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 137380

[startup+1122.3 s]
/proc/loadavg: 2.04 2.00 1.93 3/178 9892
/proc/meminfo: memFree=31373448/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=137596 CPUtime=1122.32 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 34512 0 0 0 112226 6 0 0 25 0 1 0 889154585 140898304 33850 33554432000 4194304 6245536 140733712152848 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 34399 33850 229 501 0 33895 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 137596

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 9894
/proc/meminfo: memFree=31372788/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=138188 CPUtime=1182.32 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 34610 0 0 0 118226 6 0 0 25 0 1 0 889154585 141504512 33948 33554432000 4194304 6245536 140733712152848 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 34547 33948 229 501 0 34043 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 138188

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9895
/proc/meminfo: memFree=31361196/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=149552 CPUtime=1242.31 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 37390 0 0 0 124225 6 0 0 25 0 1 0 889154585 153141248 36728 33554432000 4194304 6245536 140733712152848 18446744073709551615 4397820 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 37388 36728 229 501 0 36884 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 149552

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9897
/proc/meminfo: memFree=31338340/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=149552 CPUtime=1302.32 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 37399 0 0 0 130226 6 0 0 25 0 1 0 889154585 153141248 36737 33554432000 4194304 6245536 140733712152848 18446744073709551615 4629031 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 37388 36737 229 501 0 36884 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 149552

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9898
/proc/meminfo: memFree=31333832/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=151244 CPUtime=1362.32 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 37802 0 0 0 136225 7 0 0 25 0 1 0 889154585 154873856 37140 33554432000 4194304 6245536 140733712152848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 37811 37140 229 501 0 37307 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 151244

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9900
/proc/meminfo: memFree=31328952/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=152780 CPUtime=1422.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38189 0 0 0 142226 7 0 0 25 0 1 0 889154585 156446720 37527 33554432000 4194304 6245536 140733712152848 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38195 37527 229 501 0 37691 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 152780

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9902
/proc/meminfo: memFree=31328288/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=153228 CPUtime=1482.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38287 0 0 0 148226 7 0 0 25 0 1 0 889154585 156905472 37625 33554432000 4194304 6245536 140733712152848 18446744073709551615 4304853 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38307 37625 229 501 0 37803 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 153228

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9903
/proc/meminfo: memFree=31326504/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=154020 CPUtime=1542.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38464 0 0 0 154226 7 0 0 25 0 1 0 889154585 157716480 37802 33554432000 4194304 6245536 140733712152848 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38505 37802 229 501 0 38001 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 154020

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9905
/proc/meminfo: memFree=31324980/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=154576 CPUtime=1602.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38575 0 0 0 160226 7 0 0 25 0 1 0 889154585 158285824 37913 33554432000 4194304 6245536 140733712152848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38644 37913 229 501 0 38140 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 154576

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9906
/proc/meminfo: memFree=31324068/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=154576 CPUtime=1662.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38576 0 0 0 166226 7 0 0 25 0 1 0 889154585 158285824 37914 33554432000 4194304 6245536 140733712152848 18446744073709551615 4608172 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38644 37914 229 501 0 38140 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 154576

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9908
/proc/meminfo: memFree=31323652/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=154576 CPUtime=1722.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38576 0 0 0 172226 7 0 0 25 0 1 0 889154585 158285824 37914 33554432000 4194304 6245536 140733712152848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38644 37914 229 501 0 38140 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 154576

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9910
/proc/meminfo: memFree=31322988/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=154576 CPUtime=1782.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38588 0 0 0 178226 7 0 0 25 0 1 0 889154585 158285824 37926 33554432000 4194304 6245536 140733712152848 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38644 37926 229 501 0 38140 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 154576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 9911
/proc/meminfo: memFree=31573960/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=154576 CPUtime=1800.04 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38588 0 0 0 179997 7 0 0 25 0 1 0 889154585 158285824 37926 33554432000 4194304 6245536 140733712152848 18446744073709551615 4605168 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38644 37926 229 501 0 38140 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 154576

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.05
CPU user time (s): 1799.97
CPU system time (s): 0.079987
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 154576

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

runsolver used 2.44463 second user time and 5.96509 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-11 08:59:09
IDJOB=3491888
IDBENCH=48179
IDSOLVER=1981
FILE ID=node125/3491888-1307775549
RUNJOBID= node125-1307775549-9784
PBS_JOBID= 13550864
Free space on /tmp= 74028 MiB

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

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

MD5SUM BENCH= fecc1e3404707b1609ea9647c91fc73f
RANDOM SEED=906486758

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
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.74
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.828
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.828
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.828
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31708864 kB
Buffers:        285920 kB
Cached:         701476 kB
SwapCached:       3400 kB
Active:         492120 kB
Inactive:       551752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31708864 kB
SwapTotal:    67111528 kB
SwapFree:     67079488 kB
Dirty:            4728 kB
Writeback:           0 kB
AnonPages:       53476 kB
Mapped:          14968 kB
Slab:           132560 kB
PageTables:       4488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   228388 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= 74024 MiB
End job on node125 at 2011-06-11 09:29:11