Trace number 3491926

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_4.opb
MD5SUM95ae68c901d0b7917be5b837e9e56612
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-65
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -78
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 constraint25
Maximum length of a constraint49
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)15754
Sum of products size (including duplicates)31508
Number of different products7877
Sum of products size15754

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

Verifier Data 

OK	-65

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-3491926-1307777622/watcher-3491926-1307777622 -o /tmp/evaluation-result-3491926-1307777622/solver-3491926-1307777622 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491926-1307777622.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.00 2.00 1.96 2/174 5767
/proc/meminfo: memFree=30936212/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=4456 CPUtime=0 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 841 0 0 0 0 0 0 0 22 0 1 0 967992661 4562944 731 33554432000 4194304 6245536 140736500111072 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 1114 731 179 501 0 610 0

[startup+0.0982911 s]
/proc/loadavg: 2.00 2.00 1.96 2/174 5767
/proc/meminfo: memFree=30936212/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=9624 CPUtime=0.09 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 2346 0 0 0 9 0 0 0 22 0 1 0 967992661 9854976 2073 33554432000 4194304 6245536 140736500111072 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 2406 2074 227 501 0 1902 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9624

[startup+0.100288 s]
/proc/loadavg: 2.00 2.00 1.96 2/174 5767
/proc/meminfo: memFree=30936212/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=9624 CPUtime=0.09 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 2367 0 0 0 9 0 0 0 22 0 1 0 967992661 9854976 2094 33554432000 4194304 6245536 140736500111072 18446744073709551615 4637435 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 2406 2095 227 501 0 1902 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9624

[startup+0.300252 s]
/proc/loadavg: 2.00 2.00 1.96 2/174 5767
/proc/meminfo: memFree=30936212/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=13612 CPUtime=0.29 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 3360 0 0 0 29 0 0 0 23 0 1 0 967992661 13938688 3087 33554432000 4194304 6245536 140736500111072 18446744073709551615 4635039 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 3403 3087 228 501 0 2899 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13612

[startup+0.700181 s]
/proc/loadavg: 2.00 2.00 1.96 2/174 5767
/proc/meminfo: memFree=30936212/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=15988 CPUtime=0.69 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 3946 0 0 0 69 0 0 0 25 0 1 0 967992661 16371712 3673 33554432000 4194304 6245536 140736500111072 18446744073709551615 4317354 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 3997 3673 229 501 0 3493 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15988

[startup+1.50103 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5806
/proc/meminfo: memFree=30920100/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=18640 CPUtime=1.49 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 4602 0 0 0 149 0 0 0 25 0 1 0 967992661 19087360 4329 33554432000 4194304 6245536 140736500111072 18446744073709551615 4408749 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 4660 4329 229 501 0 4156 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18640

[startup+3.10074 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5806
/proc/meminfo: memFree=30916008/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=22372 CPUtime=3.09 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 5536 0 0 0 308 1 0 0 25 0 1 0 967992661 22908928 5263 33554432000 4194304 6245536 140736500111072 18446744073709551615 4635105 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 5593 5263 229 501 0 5089 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22372

[startup+6.30014 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5806
/proc/meminfo: memFree=30911940/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=24924 CPUtime=6.29 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 6165 0 0 0 628 1 0 0 25 0 1 0 967992661 25522176 5892 33554432000 4194304 6245536 140736500111072 18446744073709551615 4646412 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 6231 5892 229 501 0 5727 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24924

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5806
/proc/meminfo: memFree=30906612/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=30260 CPUtime=12.69 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 7487 0 0 0 1268 1 0 0 25 0 1 0 967992661 30986240 7214 33554432000 4194304 6245536 140736500111072 18446744073709551615 4324802 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 7565 7214 229 501 0 7061 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30260

[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5807
/proc/meminfo: memFree=30900576/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=36796 CPUtime=25.49 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 9135 0 0 0 2548 1 0 0 25 0 1 0 967992661 37679104 8862 33554432000 4194304 6245536 140736500111072 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 9199 8862 229 501 0 8695 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36796

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5807
/proc/meminfo: memFree=30894708/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=42448 CPUtime=51.1 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 10533 0 0 0 5108 2 0 0 25 0 1 0 967992661 43466752 10260 33554432000 4194304 6245536 140736500111072 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 10612 10260 229 501 0 10108 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 42448

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5809
/proc/meminfo: memFree=30882908/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=53336 CPUtime=102.3 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 13202 0 0 0 10228 2 0 0 25 0 1 0 967992661 54616064 12929 33554432000 4194304 6245536 140736500111072 18446744073709551615 4324478 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 13334 12929 229 501 0 12830 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 53336

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5810
/proc/meminfo: memFree=30875804/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=60348 CPUtime=162.29 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 14970 0 0 0 16227 2 0 0 25 0 1 0 967992661 61796352 14697 33554432000 4194304 6245536 140736500111072 18446744073709551615 4324712 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 15087 14697 229 501 0 14583 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 60348

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5812
/proc/meminfo: memFree=30868336/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=67604 CPUtime=222.3 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 16776 0 0 0 22228 2 0 0 25 0 1 0 967992661 69226496 16503 33554432000 4194304 6245536 140736500111072 18446744073709551615 4323096 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 16901 16503 229 501 0 16397 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 67604

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5851
/proc/meminfo: memFree=30807912/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=68792 CPUtime=282.3 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 17046 0 0 0 28228 2 0 0 25 0 1 0 967992661 70443008 16773 33554432000 4194304 6245536 140736500111072 18446744073709551615 4635013 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 17198 16773 229 501 0 16694 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 68792

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5856
/proc/meminfo: memFree=30788024/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=75840 CPUtime=342.29 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 18768 0 0 0 34227 2 0 0 25 0 1 0 967992661 77660160 18495 33554432000 4194304 6245536 140736500111072 18446744073709551615 4646425 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 18960 18495 229 501 0 18456 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 75840

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5858
/proc/meminfo: memFree=30779064/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=78032 CPUtime=402.3 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 19291 0 0 0 40228 2 0 0 25 0 1 0 967992661 79904768 19018 33554432000 4194304 6245536 140736500111072 18446744073709551615 4637497 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 19508 19018 229 501 0 19004 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 78032

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5859
/proc/meminfo: memFree=30772340/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=82388 CPUtime=462.3 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 20441 0 0 0 46228 2 0 0 25 0 1 0 967992661 84365312 20168 33554432000 4194304 6245536 140736500111072 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 20597 20168 229 501 0 20093 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 82388

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5861
/proc/meminfo: memFree=30762000/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=85152 CPUtime=522.3 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 21105 0 0 0 52228 2 0 0 25 0 1 0 967992661 87195648 20832 33554432000 4194304 6245536 140736500111072 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 21288 20832 229 501 0 20784 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 85152

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5862
/proc/meminfo: memFree=30760592/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=85680 CPUtime=582.3 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 21233 0 0 0 58228 2 0 0 25 0 1 0 967992661 87736320 20960 33554432000 4194304 6245536 140736500111072 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 21420 20960 229 501 0 20916 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 85680

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5869
/proc/meminfo: memFree=30733640/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=98292 CPUtime=822.31 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 24455 0 0 0 82228 3 0 0 25 0 1 0 967992661 100651008 24074 33554432000 4194304 6245536 140736500111072 18446744073709551615 4629187 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 24573 24074 229 501 0 24069 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 98292

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5870
/proc/meminfo: memFree=30731988/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=99196 CPUtime=882.32 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 24637 0 0 0 88229 3 0 0 25 0 1 0 967992661 101576704 24256 33554432000 4194304 6245536 140736500111072 18446744073709551615 4324770 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 24799 24256 229 501 0 24295 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 99196

[startup+942.301 s]
/proc/loadavg: 2.04 2.01 1.96 3/175 5872
/proc/meminfo: memFree=30721544/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=99852 CPUtime=942.32 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 24813 0 0 0 94229 3 0 0 25 0 1 0 967992661 102248448 24432 33554432000 4194304 6245536 140736500111072 18446744073709551615 4635025 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5767/statm: 24963 24432 229 501 0 24459 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 99852

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/175 5874
/proc/meminfo: memFree=30719536/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=100116 CPUtime=1002.32 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 24884 0 0 0 100229 3 0 0 25 0 1 0 967992661 102518784 24503 33554432000 4194304 6245536 140736500111072 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 25029 24503 229 501 0 24525 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 100116

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5875
/proc/meminfo: memFree=30718868/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=100380 CPUtime=1062.32 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 24952 0 0 0 106229 3 0 0 25 0 1 0 967992661 102789120 24571 33554432000 4194304 6245536 140736500111072 18446744073709551615 4324380 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 25095 24571 229 501 0 24591 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 100380

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5877
/proc/meminfo: memFree=30710900/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=108988 CPUtime=1122.32 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 26961 0 0 0 112229 3 0 0 25 0 1 0 967992661 111603712 26580 33554432000 4194304 6245536 140736500111072 18446744073709551615 4304903 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 27247 26580 229 501 0 26743 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 108988

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 5878
/proc/meminfo: memFree=30708620/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=110492 CPUtime=1182.32 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 27355 0 0 0 118229 3 0 0 25 0 1 0 967992661 113143808 26974 33554432000 4194304 6245536 140736500111072 18446744073709551615 4397867 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 27623 26974 229 501 0 27119 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 110492

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/175 5880
/proc/meminfo: memFree=30705124/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=111424 CPUtime=1242.32 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 27578 0 0 0 124229 3 0 0 25 0 1 0 967992661 114098176 27197 33554432000 4194304 6245536 140736500111072 18446744073709551615 4324480 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 27856 27197 229 501 0 27352 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 111424

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/175 5882
/proc/meminfo: memFree=30695412/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=112840 CPUtime=1302.33 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 28154 0 0 0 130230 3 0 0 25 0 1 0 967992661 115548160 27545 33554432000 4194304 6245536 140736500111072 18446744073709551615 4315393 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 28210 27545 229 501 0 27706 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 112840

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 5883
/proc/meminfo: memFree=30693012/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=112972 CPUtime=1362.33 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 28208 0 0 0 136230 3 0 0 25 0 1 0 967992661 115683328 27599 33554432000 4194304 6245536 140736500111072 18446744073709551615 4325151 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 28243 27599 229 501 0 27739 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 112972

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 5885
/proc/meminfo: memFree=30690604/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=112576 CPUtime=1422.33 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 28222 0 0 0 142230 3 0 0 25 0 1 0 967992661 115277824 27504 33554432000 4194304 6245536 140736500111072 18446744073709551615 4629026 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 28144 27504 229 501 0 27640 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 112576

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 5886
/proc/meminfo: memFree=30689568/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=113564 CPUtime=1482.33 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 28448 0 0 0 148230 3 0 0 25 0 1 0 967992661 116289536 27730 33554432000 4194304 6245536 140736500111072 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 28391 27730 229 501 0 27887 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 113564

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 5888
/proc/meminfo: memFree=30688656/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=113564 CPUtime=1542.33 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 28453 0 0 0 154230 3 0 0 25 0 1 0 967992661 116289536 27735 33554432000 4194304 6245536 140736500111072 18446744073709551615 4608208 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 28391 27735 229 501 0 27887 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 113564

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 5890
/proc/meminfo: memFree=30687756/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=114620 CPUtime=1602.33 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 28728 0 0 0 160230 3 0 0 25 0 1 0 967992661 117370880 28010 33554432000 4194304 6245536 140736500111072 18446744073709551615 4324542 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 28655 28010 229 501 0 28151 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 114620

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 5900
/proc/meminfo: memFree=30686396/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=114760 CPUtime=1662.34 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 28904 0 0 0 166231 3 0 0 25 0 1 0 967992661 117514240 28024 33554432000 4194304 6245536 140736500111072 18446744073709551615 4324542 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 28690 28024 229 501 0 28186 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 114760

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 5902
/proc/meminfo: memFree=30686240/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=114860 CPUtime=1722.34 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 29053 0 0 0 172231 3 0 0 25 0 1 0 967992661 117616640 28061 33554432000 4194304 6245536 140736500111072 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 28715 28061 229 501 0 28211 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 114860

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/175 5903
/proc/meminfo: memFree=30684096/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=115516 CPUtime=1782.34 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 29308 0 0 0 178231 3 0 0 25 0 1 0 967992661 118288384 28189 33554432000 4194304 6245536 140736500111072 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 28879 28189 229 501 0 28375 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 115516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.04 2.01 1.97 3/175 5904
/proc/meminfo: memFree=30683220/32951124 swapFree=67062556/67111528
[pid=5767] ppid=5765 vsize=115780 CPUtime=1800.05 cores=1,3,5,7
/proc/5767/stat : 5767 (clasp) R 5765 5767 5721 0 -1 4202496 29383 0 0 0 180001 4 0 0 25 0 1 0 967992661 118558720 28264 33554432000 4194304 6245536 140736500111072 18446744073709551615 4304921 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5767/statm: 28945 28264 229 501 0 28441 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 115780

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

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

Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1800.02
CPU system time (s): 0.045993
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 115780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.045993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29394
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2979

runsolver used 2.45963 second user time and 5.9301 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-11 09:33:42
IDJOB=3491926
IDBENCH=48217
IDSOLVER=1981
FILE ID=node111/3491926-1307777622
RUNJOBID= node111-1307777622-5740
PBS_JOBID= 13550878
Free space on /tmp= 73884 MiB

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

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

MD5SUM BENCH= 95ae68c901d0b7917be5b837e9e56612
RANDOM SEED=2015045727

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5428.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30936284 kB
Buffers:        293876 kB
Cached:        1480636 kB
SwapCached:      11232 kB
Active:         501644 kB
Inactive:      1291544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30936284 kB
SwapTotal:    67111528 kB
SwapFree:     67062556 kB
Dirty:            5900 kB
Writeback:           0 kB
AnonPages:       16488 kB
Mapped:          11028 kB
Slab:           155528 kB
PageTables:       4556 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   177784 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= 73876 MiB
End job on node111 at 2011-06-11 10:03:44