Trace number 3469420

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)-37 1800.08 1800.03

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_4.opb
MD5SUM468c9636f2c99e512d4c3bca04b78033
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-38
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -42
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 constraint106
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)37458
Sum of products size (including duplicates)74916
Number of different products18729
Sum of products size37458

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

Verifier Data 

OK	-37

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-3469420-1307097336/watcher-3469420-1307097336 -o /tmp/evaluation-result-3469420-1307097336/solver-3469420-1307097336 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469420-1307097336.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.95 2.03 2.00 2/515 8679
/proc/meminfo: memFree=23192476/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=15988 CPUtime=0 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 1438 0 0 0 0 0 0 0 25 0 1 0 899964250 16371712 1235 33554432000 4194304 4933572 140735310748176 18446744073709551615 4659471 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8679/statm: 3997 1240 309 181 0 1006 0

[startup+0.0521561 s]
/proc/loadavg: 1.95 2.03 2.00 2/515 8679
/proc/meminfo: memFree=23192476/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=17392 CPUtime=0.04 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 2370 0 0 0 4 0 0 0 25 0 1 0 899964250 17809408 1695 33554432000 4194304 4933572 140735310748176 18446744073709551615 4630520 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8679/statm: 4348 1695 366 181 0 1357 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17392

[startup+0.101139 s]
/proc/loadavg: 1.95 2.03 2.00 2/515 8679
/proc/meminfo: memFree=23192476/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=20032 CPUtime=0.09 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 3033 0 0 0 9 0 0 0 25 0 1 0 899964250 20512768 2358 33554432000 4194304 4933572 140735310748176 18446744073709551615 256415052485 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8679/statm: 5008 2359 373 181 0 2017 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20032

[startup+0.301105 s]
/proc/loadavg: 1.95 2.03 2.00 2/515 8679
/proc/meminfo: memFree=23192476/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=28684 CPUtime=0.29 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 5180 0 0 0 29 0 0 0 25 0 1 0 899964250 29372416 4505 33554432000 4194304 4933572 140735310748176 18446744073709551615 256415052485 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8679/statm: 7171 4506 373 181 0 4180 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28684

[startup+0.701027 s]
/proc/loadavg: 1.95 2.03 2.00 2/515 8679
/proc/meminfo: memFree=23192476/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=33316 CPUtime=0.69 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 6332 0 0 0 69 0 0 0 25 0 1 0 899964250 34115584 5657 33554432000 4194304 4933572 140735310748176 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8679/statm: 8329 5657 374 181 0 5338 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33316

[startup+1.50087 s]
/proc/loadavg: 1.95 2.03 2.00 3/516 8680
/proc/meminfo: memFree=23169660/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=35560 CPUtime=1.48 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 6901 0 0 0 148 0 0 0 25 0 1 0 899964250 36413440 6226 33554432000 4194304 4933572 140735310748176 18446744073709551615 4318085 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8679/statm: 8890 6226 374 181 0 5899 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 35560

[startup+3.10057 s]
/proc/loadavg: 1.95 2.03 2.00 3/516 8680
/proc/meminfo: memFree=23163784/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=41012 CPUtime=3.08 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 8235 0 0 0 308 0 0 0 25 0 1 0 899964250 41996288 7560 33554432000 4194304 4933572 140735310748176 18446744073709551615 4319466 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8679/statm: 10253 7560 374 181 0 7262 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41012

[startup+6.30096 s]
/proc/loadavg: 1.95 2.03 2.00 3/516 8680
/proc/meminfo: memFree=23158308/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=47160 CPUtime=6.29 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 9778 0 0 0 628 1 0 0 25 0 1 0 899964250 48291840 9103 33554432000 4194304 4933572 140735310748176 18446744073709551615 4319483 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8679/statm: 11790 9103 374 181 0 8799 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47160

[startup+12.7008 s]
/proc/loadavg: 1.95 2.03 2.00 3/516 8680
/proc/meminfo: memFree=23149536/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=55144 CPUtime=12.69 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 11785 0 0 0 1268 1 0 0 25 0 1 0 899964250 56467456 11110 33554432000 4194304 4933572 140735310748176 18446744073709551615 4362110 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8679/statm: 13786 11110 374 181 0 10795 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55144

[startup+25.5003 s]
/proc/loadavg: 1.96 2.03 2.00 3/516 8680
/proc/meminfo: memFree=23140988/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=61084 CPUtime=25.48 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 13261 0 0 0 2547 1 0 0 25 0 1 0 899964250 62550016 12586 33554432000 4194304 4933572 140735310748176 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 15271 12586 374 181 0 12280 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 61084

[startup+51.1005 s]
/proc/loadavg: 2.12 2.06 2.01 3/516 8681
/proc/meminfo: memFree=23134636/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=67552 CPUtime=51.08 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 14884 0 0 0 5106 2 0 0 25 0 1 0 899964250 69173248 14209 33554432000 4194304 4933572 140735310748176 18446744073709551615 4341902 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 16888 14209 374 181 0 13897 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67552

[startup+102.32 s]
/proc/loadavg: 2.13 2.06 2.01 3/516 8682
/proc/meminfo: memFree=23119704/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=81256 CPUtime=102.3 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 18206 0 0 0 10228 2 0 0 25 0 1 0 899964250 83206144 17531 33554432000 4194304 4933572 140735310748176 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 20314 17531 374 181 0 17323 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 81256

[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/516 8684
/proc/meminfo: memFree=23109848/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=89732 CPUtime=162.28 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 20353 0 0 0 16226 2 0 0 25 0 1 0 899964250 91885568 19678 33554432000 4194304 4933572 140735310748176 18446744073709551615 4341584 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 22433 19678 374 181 0 19442 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 89732

[startup+222.301 s]
/proc/loadavg: 2.10 2.07 2.01 3/516 8689
/proc/meminfo: memFree=23101768/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=97804 CPUtime=222.29 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 22365 0 0 0 22226 3 0 0 25 0 1 0 899964250 100151296 21690 33554432000 4194304 4933572 140735310748176 18446744073709551615 4319434 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 24451 21690 374 181 0 21460 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 97804

[startup+282.301 s]
/proc/loadavg: 2.07 2.07 2.01 3/516 8772
/proc/meminfo: memFree=23144224/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=100180 CPUtime=282.29 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 22938 0 0 0 28225 4 0 0 25 0 1 0 899964250 102584320 22263 33554432000 4194304 4933572 140735310748176 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 25045 22263 374 181 0 22054 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 100180

[startup+342.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/516 8774
/proc/meminfo: memFree=23131124/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=109448 CPUtime=342.29 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 25206 0 0 0 34224 5 0 0 25 0 1 0 899964250 112074752 24531 33554432000 4194304 4933572 140735310748176 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 27362 24531 374 181 0 24371 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 109448

[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 8775
/proc/meminfo: memFree=23129312/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=110504 CPUtime=402.3 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 25480 0 0 0 40225 5 0 0 25 0 1 0 899964250 113156096 24805 33554432000 4194304 4933572 140735310748176 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 27626 24805 374 181 0 24635 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 110504

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 8777
/proc/meminfo: memFree=23127148/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=111692 CPUtime=462.3 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 25800 0 0 0 46225 5 0 0 25 0 1 0 899964250 114372608 25125 33554432000 4194304 4933572 140735310748176 18446744073709551615 4648408 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 27923 25125 374 181 0 24932 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 111692

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8779
/proc/meminfo: memFree=23118176/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=120036 CPUtime=522.3 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 27905 0 0 0 52225 5 0 0 25 0 1 0 899964250 122916864 27230 33554432000 4194304 4933572 140735310748176 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 30009 27230 374 181 0 27018 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 120036

[startup+582.301 s]
/proc/loadavg: 2.18 2.06 2.01 3/516 8780
/proc/meminfo: memFree=23115160/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=121992 CPUtime=582.3 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 28391 0 0 0 58225 5 0 0 25 0 1 0 899964250 124919808 27716 33554432000 4194304 4933572 140735310748176 18446744073709551615 256415089258 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 30498 27716 374 181 0 27507 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 121992

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 8787
/proc/meminfo: memFree=23101616/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=134296 CPUtime=822.31 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 31443 0 0 0 82226 5 0 0 25 0 1 0 899964250 137519104 30768 33554432000 4194304 4933572 140735310748176 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 33574 30768 374 181 0 30583 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 134296

[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8788
/proc/meminfo: memFree=23097352/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=135608 CPUtime=882.31 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 31751 0 0 0 88225 6 0 0 25 0 1 0 899964250 138862592 31076 33554432000 4194304 4933572 140735310748176 18446744073709551615 4340491 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 33902 31076 374 181 0 30911 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 135608

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8790
/proc/meminfo: memFree=23097528/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=136236 CPUtime=942.31 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 31871 0 0 0 94225 6 0 0 25 0 1 0 899964250 139505664 31196 33554432000 4194304 4933572 140735310748176 18446744073709551615 4340900 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 34059 31196 374 181 0 31068 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 136236

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 8791
/proc/meminfo: memFree=23095724/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=137952 CPUtime=1002.31 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 32319 0 0 0 100225 6 0 0 25 0 1 0 899964250 141262848 31644 33554432000 4194304 4933572 140735310748176 18446744073709551615 4319394 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 34488 31644 374 181 0 31497 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 137952

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/516 8793
/proc/meminfo: memFree=23095040/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=138776 CPUtime=1062.32 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 32484 0 0 0 106226 6 0 0 25 0 1 0 899964250 142106624 31809 33554432000 4194304 4933572 140735310748176 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 34694 31809 374 181 0 31703 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 138776

[startup+1122.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/516 8795
/proc/meminfo: memFree=23093756/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=140188 CPUtime=1122.32 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 32800 0 0 0 112226 6 0 0 25 0 1 0 899964250 143552512 32125 33554432000 4194304 4933572 140735310748176 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 35047 32125 374 181 0 32056 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 140188

[startup+1182.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/516 8796
/proc/meminfo: memFree=23092216/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=140320 CPUtime=1182.32 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 32838 0 0 0 118226 6 0 0 25 0 1 0 899964250 143687680 32163 33554432000 4194304 4933572 140735310748176 18446744073709551615 4362025 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 35080 32163 374 181 0 32089 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 140320

[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/516 8798
/proc/meminfo: memFree=23082856/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=149304 CPUtime=1242.33 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 35116 0 0 0 124226 7 0 0 25 0 1 0 899964250 152887296 34441 33554432000 4194304 4933572 140735310748176 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 37326 34441 374 181 0 34335 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 149304

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 8799
/proc/meminfo: memFree=23081532/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=150096 CPUtime=1302.34 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 35321 0 0 0 130227 7 0 0 25 0 1 0 899964250 153698304 34646 33554432000 4194304 4933572 140735310748176 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 37524 34646 374 181 0 34533 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 150096

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8801
/proc/meminfo: memFree=23078620/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=152860 CPUtime=1362.33 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 35989 0 0 0 136226 7 0 0 25 0 1 0 899964250 156528640 35314 33554432000 4194304 4933572 140735310748176 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 38215 35314 374 181 0 35224 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 152860

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8803
/proc/meminfo: memFree=23078688/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=153784 CPUtime=1422.35 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 36203 0 0 0 142228 7 0 0 25 0 1 0 899964250 157474816 35528 33554432000 4194304 4933572 140735310748176 18446744073709551615 4635463 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 38446 35528 374 181 0 35455 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 153784

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/516 8804
/proc/meminfo: memFree=23078272/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=154060 CPUtime=1482.34 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 36245 0 0 0 148226 8 0 0 25 0 1 0 899964250 157757440 35570 33554432000 4194304 4933572 140735310748176 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 38515 35570 374 181 0 35524 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 154060

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/516 8815
/proc/meminfo: memFree=23077212/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=154324 CPUtime=1542.34 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 36319 0 0 0 154226 8 0 0 25 0 1 0 899964250 158027776 35644 33554432000 4194304 4933572 140735310748176 18446744073709551615 4330726 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 38581 35644 374 181 0 35590 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 154324

[startup+1602.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/516 8816
/proc/meminfo: memFree=23077268/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=154324 CPUtime=1602.34 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 36321 0 0 0 160226 8 0 0 25 0 1 0 899964250 158027776 35646 33554432000 4194304 4933572 140735310748176 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 38581 35646 374 181 0 35590 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 154324

[startup+1662.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/516 8818
/proc/meminfo: memFree=23076972/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=155644 CPUtime=1662.34 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 36662 0 0 0 166226 8 0 0 25 0 1 0 899964250 159379456 35987 33554432000 4194304 4933572 140735310748176 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 38911 35987 374 181 0 35920 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 155644

[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/516 8820
/proc/meminfo: memFree=23075048/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=156568 CPUtime=1722.34 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 36898 0 0 0 172226 8 0 0 25 0 1 0 899964250 160325632 36223 33554432000 4194304 4933572 140735310748176 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 39142 36223 374 181 0 36151 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 156568

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/516 8821
/proc/meminfo: memFree=23073768/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=157096 CPUtime=1782.35 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 37034 0 0 0 178227 8 0 0 25 0 1 0 899964250 160866304 36359 33554432000 4194304 4933572 140735310748176 18446744073709551615 4362025 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 39274 36359 374 181 0 36283 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 157096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.05 2.01 3/516 8822
/proc/meminfo: memFree=23074608/32950928 swapFree=58671692/67111528
[pid=8679] ppid=8677 vsize=157096 CPUtime=1800.06 cores=0,2,4,6
/proc/8679/stat : 8679 (clasp) R 8677 8679 8237 0 -1 4202496 37034 0 0 0 179998 8 0 0 25 0 1 0 899964250 160866304 36359 33554432000 4194304 4933572 140735310748176 18446744073709551615 4632847 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/8679/statm: 39274 36359 374 181 0 36283 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 157096

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.03
CPU time (s): 1800.08
CPU user time (s): 1799.99
CPU system time (s): 0.091986
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 157096

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

runsolver used 9.75852 second user time and 21.3598 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-03 12:35:36
IDJOB=3469420
IDBENCH=48202
IDSOLVER=1959
FILE ID=node115/3469420-1307097336
RUNJOBID= node115-1307091929-8255
PBS_JOBID= 13497964
Free space on /tmp= 73828 MiB

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

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

MD5SUM BENCH= 468c9636f2c99e512d4c3bca04b78033
RANDOM SEED=815252982

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23192632 kB
Buffers:        129380 kB
Cached:         243440 kB
SwapCached:      65796 kB
Active:        1096720 kB
Inactive:      8420892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23192632 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:            1288 kB
Writeback:           8 kB
AnonPages:     9082396 kB
Mapped:          27708 kB
Slab:            96280 kB
PageTables:      75348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 151883840 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73828 MiB
End job on node115 at 2011-06-03 13:05:38