Trace number 3468105

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)222 1800.06 1800.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
MD5SUM7903a80129c7e51df900bcb9ac0a6f39
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark191
Best CPU time to get the best result obtained on this benchmark1797.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 185
Optimality of the best value was proved NO
Number of variables475
Total number of constraints475
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 constraints475
Minimum length of a constraint3
Maximum length of a constraint19
Number of terms in the objective function 475
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 475
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 475
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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

Verifier Data 

OK	222

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-3468105-1307083495/watcher-3468105-1307083495 -o /tmp/evaluation-result-3468105-1307083495/solver-3468105-1307083495 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468105-1307083495.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

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.84 1.98 1.96 2/383 26710
/proc/meminfo: memFree=23863336/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=12836 CPUtime=0.01 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 632 0 0 0 1 0 0 0 20 0 1 0 819952299 13144064 565 33554432000 4194304 4933572 140736558982320 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 3209 565 370 181 0 218 0

[startup+0.09365 s]
/proc/loadavg: 1.84 1.98 1.96 2/383 26710
/proc/meminfo: memFree=23863336/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=14552 CPUtime=0.09 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 1057 0 0 0 9 0 0 0 20 0 1 0 819952299 14901248 990 33554432000 4194304 4933572 140736558982320 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 3638 990 378 181 0 647 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14552

[startup+0.100631 s]
/proc/loadavg: 1.84 1.98 1.96 2/383 26710
/proc/meminfo: memFree=23863336/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=14552 CPUtime=0.09 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 1057 0 0 0 9 0 0 0 20 0 1 0 819952299 14901248 990 33554432000 4194304 4933572 140736558982320 18446744073709551615 4717487 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 3638 990 378 181 0 647 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14552

[startup+0.300603 s]
/proc/loadavg: 1.84 1.98 1.96 2/383 26710
/proc/meminfo: memFree=23863336/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=15080 CPUtime=0.29 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 1176 0 0 0 29 0 0 0 21 0 1 0 819952299 15441920 1109 33554432000 4194304 4933572 140736558982320 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 3770 1109 378 181 0 779 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15080

[startup+0.700521 s]
/proc/loadavg: 1.84 1.98 1.96 2/383 26710
/proc/meminfo: memFree=23863336/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=16148 CPUtime=0.69 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 1442 0 0 0 69 0 0 0 22 0 1 0 819952299 16535552 1375 33554432000 4194304 4933572 140736558982320 18446744073709551615 4332744 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 4037 1375 378 181 0 1046 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16148

[startup+1.50038 s]
/proc/loadavg: 1.84 1.98 1.96 3/387 26732
/proc/meminfo: memFree=23854012/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=16800 CPUtime=1.49 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 1619 0 0 0 149 0 0 0 25 0 1 0 819952299 17203200 1552 33554432000 4194304 4933572 140736558982320 18446744073709551615 4332754 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 4200 1552 378 181 0 1209 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16800

[startup+3.1011 s]
/proc/loadavg: 1.84 1.98 1.96 3/387 26732
/proc/meminfo: memFree=23850664/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=17860 CPUtime=3.09 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 1892 0 0 0 309 0 0 0 25 0 1 0 819952299 18288640 1825 33554432000 4194304 4933572 140736558982320 18446744073709551615 4631932 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 4465 1825 378 181 0 1474 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17860

[startup+6.30053 s]
/proc/loadavg: 1.85 1.98 1.96 3/387 26732
/proc/meminfo: memFree=23846572/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=19312 CPUtime=6.29 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 2244 0 0 0 629 0 0 0 25 0 1 0 819952299 19775488 2177 33554432000 4194304 4933572 140736558982320 18446744073709551615 4664581 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 4828 2177 378 181 0 1837 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19312

[startup+12.7004 s]
/proc/loadavg: 1.87 1.98 1.96 3/387 26732
/proc/meminfo: memFree=23841252/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=21136 CPUtime=12.69 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 2707 0 0 0 1269 0 0 0 25 0 1 0 819952299 21643264 2640 33554432000 4194304 4933572 140736558982320 18446744073709551615 4712973 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 5284 2640 378 181 0 2293 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21136

[startup+25.5001 s]
/proc/loadavg: 1.89 1.98 1.96 3/387 26733
/proc/meminfo: memFree=23839492/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=22060 CPUtime=25.49 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 2922 0 0 0 2549 0 0 0 25 0 1 0 819952299 22589440 2855 33554432000 4194304 4933572 140736558982320 18446744073709551615 4428960 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 5515 2855 378 181 0 2524 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22060

[startup+51.1006 s]
/proc/loadavg: 1.93 1.98 1.96 3/387 26733
/proc/meminfo: memFree=23837588/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=23000 CPUtime=51.09 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 3175 0 0 0 5109 0 0 0 25 0 1 0 819952299 23552000 3108 33554432000 4194304 4933572 140736558982320 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 5750 3108 378 181 0 2759 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23000

[startup+102.314 s]
/proc/loadavg: 1.97 1.98 1.96 3/387 26735
/proc/meminfo: memFree=23834316/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=23856 CPUtime=102.31 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 3400 0 0 0 10231 0 0 0 25 0 1 0 819952299 24428544 3332 33554432000 4194304 4933572 140736558982320 18446744073709551615 4319312 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 5964 3332 378 181 0 2973 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 23856

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.96 3/387 26736
/proc/meminfo: memFree=23832304/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=24548 CPUtime=162.3 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 3553 0 0 0 16230 0 0 0 25 0 1 0 819952299 25137152 3480 33554432000 4194304 4933572 140736558982320 18446744073709551615 4710955 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6137 3480 378 181 0 3146 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 24548

[startup+222.3 s]
/proc/loadavg: 2.07 2.00 1.97 3/387 26738
/proc/meminfo: memFree=23831272/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=25004 CPUtime=222.3 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 3702 0 0 0 22230 0 0 0 25 0 1 0 819952299 25604096 3614 33554432000 4194304 4933572 140736558982320 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6251 3614 378 181 0 3260 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 25004

[startup+282.301 s]
/proc/loadavg: 2.06 2.02 1.98 3/387 26740
/proc/meminfo: memFree=23831608/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=25248 CPUtime=282.3 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 3757 0 0 0 28230 0 0 0 25 0 1 0 819952299 25853952 3656 33554432000 4194304 4933572 140736558982320 18446744073709551615 4632751 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6312 3656 378 181 0 3321 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 25248

[startup+342.301 s]
/proc/loadavg: 2.06 2.03 1.98 3/387 26741
/proc/meminfo: memFree=23831076/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=25512 CPUtime=342.3 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 3843 0 0 0 34230 0 0 0 25 0 1 0 819952299 26124288 3742 33554432000 4194304 4933572 140736558982320 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6378 3742 378 181 0 3387 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 25512

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/387 26743
/proc/meminfo: memFree=23829784/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=25896 CPUtime=402.3 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 3966 0 0 0 40230 0 0 0 25 0 1 0 819952299 26517504 3834 33554432000 4194304 4933572 140736558982320 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6474 3834 378 181 0 3483 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 25896

[startup+462.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/387 26744
/proc/meminfo: memFree=23829496/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=26048 CPUtime=462.3 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4008 0 0 0 46230 0 0 0 25 0 1 0 819952299 26673152 3870 33554432000 4194304 4933572 140736558982320 18446744073709551615 4711028 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6512 3870 378 181 0 3521 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 26048

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/387 26746
/proc/meminfo: memFree=23828840/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=26308 CPUtime=522.3 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4098 0 0 0 52230 0 0 0 25 0 1 0 819952299 26939392 3934 33554432000 4194304 4933572 140736558982320 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6577 3934 378 181 0 3586 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 26308

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/387 26748
/proc/meminfo: memFree=23828668/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=26532 CPUtime=582.31 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4168 0 0 0 58231 0 0 0 25 0 1 0 819952299 27168768 3995 33554432000 4194304 4933572 140736558982320 18446744073709551615 4358512 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6633 3995 378 181 0 3642 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 26532

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.09 2.04 2.00 3/387 26754
/proc/meminfo: memFree=23828208/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=26924 CPUtime=822.31 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4271 0 0 0 82231 0 0 0 25 0 1 0 819952299 27570176 4072 33554432000 4194304 4933572 140736558982320 18446744073709551615 4363283 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6731 4072 378 181 0 3740 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 26924

[startup+882.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/387 26756
/proc/meminfo: memFree=23827800/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=26996 CPUtime=882.31 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4311 0 0 0 88231 0 0 0 25 0 1 0 819952299 27643904 4103 33554432000 4194304 4933572 140736558982320 18446744073709551615 4664536 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6749 4103 378 181 0 3758 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 26996

[startup+942.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/387 26757
/proc/meminfo: memFree=23828000/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=26996 CPUtime=942.31 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4311 0 0 0 94231 0 0 0 25 0 1 0 819952299 27643904 4103 33554432000 4194304 4933572 140736558982320 18446744073709551615 4632847 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6749 4103 378 181 0 3758 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 26996

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 26768
/proc/meminfo: memFree=23827956/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=27092 CPUtime=1002.32 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4341 0 0 0 100232 0 0 0 25 0 1 0 819952299 27742208 4119 33554432000 4194304 4933572 140736558982320 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6773 4119 378 181 0 3782 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 27092

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 26769
/proc/meminfo: memFree=23827516/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=27412 CPUtime=1062.32 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4438 0 0 0 106232 0 0 0 25 0 1 0 819952299 28069888 4201 33554432000 4194304 4933572 140736558982320 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6853 4201 378 181 0 3862 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 27412

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/388 26774
/proc/meminfo: memFree=23808820/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=27612 CPUtime=1122.32 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4520 0 0 0 112232 0 0 0 25 0 1 0 819952299 28274688 4250 33554432000 4194304 4933572 140736558982320 18446744073709551615 4360856 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6903 4250 378 181 0 3912 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 27612

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26776
/proc/meminfo: memFree=23826900/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=27728 CPUtime=1182.32 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4560 0 0 0 118232 0 0 0 25 0 1 0 819952299 28393472 4286 33554432000 4194304 4933572 140736558982320 18446744073709551615 4360940 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6932 4286 378 181 0 3941 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 27728

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26777
/proc/meminfo: memFree=23826092/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=27788 CPUtime=1242.32 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4569 0 0 0 124232 0 0 0 25 0 1 0 819952299 28454912 4295 33554432000 4194304 4933572 140736558982320 18446744073709551615 4632843 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6947 4295 378 181 0 3956 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 27788

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/387 26779
/proc/meminfo: memFree=23825280/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=27788 CPUtime=1302.34 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4581 0 0 0 130234 0 0 0 25 0 1 0 819952299 28454912 4302 33554432000 4194304 4933572 140736558982320 18446744073709551615 4332797 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6947 4302 378 181 0 3956 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 27788

[startup+1362.3 s]
/proc/loadavg: 2.25 2.06 2.02 3/387 26780
/proc/meminfo: memFree=23825992/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=27788 CPUtime=1362.32 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4584 0 0 0 136232 0 0 0 25 0 1 0 819952299 28454912 4302 33554432000 4194304 4933572 140736558982320 18446744073709551615 4710971 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6947 4302 378 181 0 3956 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 27788

[startup+1422.31 s]
/proc/loadavg: 2.16 2.06 2.01 3/387 26782
/proc/meminfo: memFree=23826688/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=27788 CPUtime=1422.34 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4584 0 0 0 142234 0 0 0 25 0 1 0 819952299 28454912 4302 33554432000 4194304 4933572 140736558982320 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6947 4302 378 181 0 3956 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 27788

[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/387 26784
/proc/meminfo: memFree=23826288/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=27872 CPUtime=1482.33 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4601 0 0 0 148233 0 0 0 25 0 1 0 819952299 28540928 4319 33554432000 4194304 4933572 140736558982320 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 6968 4319 378 181 0 3977 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 27872

[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/387 26785
/proc/meminfo: memFree=23826356/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=28144 CPUtime=1542.33 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4682 0 0 0 154233 0 0 0 25 0 1 0 819952299 28819456 4391 33554432000 4194304 4933572 140736558982320 18446744073709551615 4631855 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 7036 4391 378 181 0 4045 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 28144

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/387 26787
/proc/meminfo: memFree=23826080/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=28284 CPUtime=1602.33 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4715 0 0 0 160233 0 0 0 25 0 1 0 819952299 28962816 4424 33554432000 4194304 4933572 140736558982320 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 7071 4424 378 181 0 4080 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 28284

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 26788
/proc/meminfo: memFree=23826032/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=28356 CPUtime=1662.33 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4728 0 0 0 166233 0 0 0 25 0 1 0 819952299 29036544 4437 33554432000 4194304 4933572 140736558982320 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 7089 4437 378 181 0 4098 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 28356

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 26790
/proc/meminfo: memFree=23825864/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=28356 CPUtime=1722.33 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4730 0 0 0 172233 0 0 0 25 0 1 0 819952299 29036544 4439 33554432000 4194304 4933572 140736558982320 18446744073709551615 4713038 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 7089 4439 378 181 0 4098 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 28356

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26792
/proc/meminfo: memFree=23824320/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=28356 CPUtime=1782.33 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4730 0 0 0 178233 0 0 0 25 0 1 0 819952299 29036544 4439 33554432000 4194304 4933572 140736558982320 18446744073709551615 4635430 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 7089 4439 378 181 0 4098 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 28356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26792
/proc/meminfo: memFree=23824932/32951124 swapFree=49244120/67111528
[pid=26710] ppid=26708 vsize=28356 CPUtime=1800.05 cores=1,3,5,7
/proc/26710/stat : 26710 (clasp) R 26708 26710 23490 0 -1 4202496 4730 0 0 0 180005 0 0 0 25 0 1 0 819952299 29036544 4439 33554432000 4194304 4933572 140736558982320 18446744073709551615 4332842 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26710/statm: 7089 4439 378 181 0 4098 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 28356

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

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

Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1800.05
CPU system time (s): 0.005999
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 28452

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

runsolver used 6.30504 second user time and 14.9927 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-03 08:44:55
IDJOB=3468105
IDBENCH=1952
IDSOLVER=1958
FILE ID=node101/3468105-1307083495
RUNJOBID= node101-1307081693-26608
PBS_JOBID= 13497887
Free space on /tmp= 73952 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468105-1307083495/watcher-3468105-1307083495 -o /tmp/evaluation-result-3468105-1307083495/solver-3468105-1307083495 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3468105-1307083495.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

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

MD5SUM BENCH= 7903a80129c7e51df900bcb9ac0a6f39
RANDOM SEED=735010304

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.83
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.841
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.74
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.841
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.841
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.841
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:      23863508 kB
Buffers:        225104 kB
Cached:         450060 kB
SwapCached:      27120 kB
Active:        8393456 kB
Inactive:       418216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23863508 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:             804 kB
Writeback:           0 kB
AnonPages:     8131808 kB
Mapped:          17512 kB
Slab:           133984 kB
PageTables:      74208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78586120 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= 73952 MiB
End job on node101 at 2011-06-03 09:14:57