Trace number 2701599

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 NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedMSAT (TO) 1800.07 1802.01

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
spot5/normalized-spot5-408_wcsp.wbo
MD5SUM48ac1863348303136e0aa9da5ae3256d
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark6233
Best CPU time to get the best result obtained on this benchmark1800.11
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables528
Total number of constraints3349
Number of soft constraints3149
Number of constraints which are clauses3149
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 9311
Min constraint cost 1
Max constraint cost 9311
Sum of constraints costs 27467449
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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 PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.01/0.02	c constraints 200/0 clauses 0/3149 units 0
0.01/0.02	c vars 528
0.01/0.02	c Setting top cost 9311
0.09/0.11	c 0.107983 24.9492 1 4000
0.09/0.11	o 8310
0.09/0.12	c 0.108983 25.2227 1 4294
0.09/0.12	o 8305
0.09/0.12	c 0.109983 25.2227 1 4527
0.09/0.12	o 8299
0.09/0.12	c 0.110983 25.2227 1 4742
0.09/0.12	o 8294
0.09/0.12	c 0.111982 25.2227 1 4923
0.09/0.12	o 8291
0.09/0.12	c 0.112982 25.2227 1 5091
0.09/0.12	o 8285
0.09/0.12	c 0.114982 25.2227 2 5250
0.09/0.12	o 8281
0.09/0.12	c 0.115982 25.2227 2 5411
0.09/0.12	o 8280
0.09/0.12	c 0.116982 25.2227 3 5573
0.09/0.12	o 8279
0.09/0.12	c 0.116982 25.2227 4 5801
0.09/0.12	o 8276
0.09/0.13	c 0.117982 25.2227 4 5983
0.09/0.13	o 8273
0.09/0.13	c 0.118981 25.2227 4 6162
0.09/0.13	o 7267
0.09/0.13	c 0.119981 25.2227 4 6324
0.09/0.13	o 7264
0.09/0.13	c 0.121981 25.2227 7 6604
0.09/0.13	o 6267
0.09/0.13	c 0.123981 25.2227 9 6811
0.09/0.13	o 6266
0.09/0.13	c 0.124981 25.2227 9 6934
0.09/0.13	o 6265
0.09/0.13	c 0.12598 25.2227 9 7084
0.09/0.13	o 6259
0.09/0.13	c 0.12598 25.2227 12 7248
0.09/0.13	o 6258
0.09/0.14	c 0.12798 25.2227 30 7378
0.09/0.14	o 6243
0.09/0.14	c 0.12898 25.3789 38 7464
0.09/0.14	o 6242
0.18/0.29	c 0.26196 25.8945 1152 9252
0.18/0.29	o 6241
0.28/0.31	c 0.283956 26.0234 1310 9551
0.28/0.31	o 6240
0.28/0.31	c 0.285956 26.0234 1315 9618
0.28/0.31	o 6239
0.99/1.07	c 1.01085 28.6016 3908 17116
0.99/1.07	o 6236
14.79/14.89	c 14.1409 30.1484 3727 135814
14.79/14.89	o 6235
169.89/169.91	c 161.384 31.3594 4980 1438371
169.89/169.91	o 6234
1800.05/1800.00	s SATISFIABLE
1800.05/1800.00	v x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 x36 -x37 x38 -x39 x40 -x41 x42 x43 -x44 -x45 x46 x47 -x48 -x49 x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 x58 -x59 x60 -x61 x62 x63 -x64 -x65 x66 -x67 x68 x69 -x70 -x71 x72 -x73 x74 -x75 -x76 -x77 x78 -x79 x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 x92 -x93 -x94 x95 -x96 -x97 x98 -x99 x100 x101 -x102 -x103 x104 -x105 x106 x107 -x108 -x109 x110 -x111 x112 -x113 x114 -x115 x116 -x117 x118 -x119 x120 -x121 x122 -x123 x124 -x125 x126 -x127 -x128 -x129 x130 x131 -x132 -x133 x134 -x135 x136 -x137 x138 -x139 x140 -x141 -x142 -x143 x144 -x145 x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 x154 -x155 x156 -x157 x158 -x159 x160 -x161 x162 -x163 x164 -x165 x166 -x167 x168 -x169 x170 -x171 -x172 x173 -x174 -x175 x176 x177 -x178 -x179 x180 x181 -x182 -x183 x184 -x185 x186 -x187 x188 x189 -x190 -x191 x192 -x193 x194 x195 -x196 x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 x224 -x225 x226 -x227 x228 -x229 -x230 -x231 x232 x233 -x234 -x235 x236 -x237 -x238 -x239 x240 -x241 x242 -x243 x244 -x245 x246 -x247 -x248 -x249 x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 x258 x259 -x260 -x261 x262 -x263 -x264 -x265 x266 -x267 x268 -x269 x270 -x271 x272 -x273 -x274 -x275 x276 -x277 x278 -x279 x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 x288 -x289 x290 -x291 x292 -x293 -x294 -x295 x296 -x297 x298 -x299 x300 -x301 x302 -x303 x304 -x305 -x306 -x307 x308 -x309 x310 -x311 x312 -x313 x314 x315 -x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 x333 -x334 x335 -x336 -x337 x338 -x339 x340 -x341 -x342 -x343 x344 -x345 x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 x362 -x363 x364 -x365 x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 x374 x375 -x376 -x377 x378 -x379 x380 -x381 -x382 -x383 x384 -x385 x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 x397 -x398 x399 -x400 -x401 -x402 -x403 x404 -x405 x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x426 -x427 x428 -x429 -x430 -x431 x432 -x433 x434 -x435 -x436 -x437 x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 -x447 x448 -x449 -x450 -x451 x452 -x453 x454 x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 x464 -x465 x466 -x467 x468 -x469 x470 -x471 x472 -x473 x474 -x475 -x476 -x477 x478 -x479 x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 x488 -x489 x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 -x499 x500 -x501 x502 -x503 x504 -x505 x506 -x507 x508 -x509 x510 x511 -x512 -x513 -x514 -x515 x516 -x517 x518 -x519 -x520 -x521 x522 -x523 x524 -x525 x526 x527 -x528

Verifier Data 

OK	6234

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701599-1278540676/watcher-2701599-1278540676 -o /tmp/evaluation-result-2701599-1278540676/solver-2701599-1278540676 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701599-1278540676.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.18 2.73 2.56 3/196 20849
/proc/meminfo: memFree=29748440/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=2268 CPUtime=0
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 269 0 0 0 0 0 0 0 25 0 1 0 22280138 2322432 189 4089446400 134512640 136422188 4288949184 18446744073709551615 135155248 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20849/statm: 567 189 144 467 0 98 0

[startup+0.0107319 s]
/proc/loadavg: 2.18 2.73 2.56 3/196 20849
/proc/meminfo: memFree=29748440/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=2268 CPUtime=0.01
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 282 0 0 0 1 0 0 0 25 0 1 0 22280138 2322432 202 4089446400 134512640 136422188 4288949184 18446744073709551615 135528672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20849/statm: 567 202 144 467 0 98 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2268

[startup+0.100706 s]
/proc/loadavg: 2.18 2.73 2.56 3/196 20849
/proc/meminfo: memFree=29748440/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=24164 CPUtime=0.09
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 5692 0 0 0 9 0 0 0 25 0 1 0 22280138 24743936 5579 4089446400 134512640 136422188 4288949184 18446744073709551615 135830671 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 6041 5579 201 467 0 5572 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24164

[startup+0.300673 s]
/proc/loadavg: 2.18 2.73 2.56 3/196 20849
/proc/meminfo: memFree=29748440/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=26644 CPUtime=0.28
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 6325 0 0 0 26 2 0 0 25 0 1 0 22280138 27283456 6113 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 6661 6113 237 467 0 6192 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 26644

[startup+0.700596 s]
/proc/loadavg: 2.18 2.73 2.56 3/196 20849
/proc/meminfo: memFree=29748440/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=28360 CPUtime=0.69
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 6758 0 0 0 65 4 0 0 25 0 1 0 22280138 29040640 6544 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 7090 6544 237 467 0 6621 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28360

[startup+1.50045 s]
/proc/loadavg: 2.16 2.72 2.56 3/197 20850
/proc/meminfo: memFree=29722516/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=29284 CPUtime=1.49
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 6980 0 0 0 141 8 0 0 25 0 1 0 22280138 29986816 6765 4089446400 134512640 136422188 4288949184 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 7321 6765 237 467 0 6852 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29284

[startup+3.10014 s]
/proc/loadavg: 2.16 2.72 2.56 3/197 20850
/proc/meminfo: memFree=29721648/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=29812 CPUtime=3.09
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7130 0 0 0 292 17 0 0 25 0 1 0 22280138 30527488 6915 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 7453 6915 237 467 0 6984 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29812

[startup+6.30052 s]
/proc/loadavg: 2.16 2.72 2.56 3/197 20850
/proc/meminfo: memFree=29721280/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=30208 CPUtime=6.29
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7218 0 0 0 596 33 0 0 25 0 1 0 22280138 30932992 7003 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 7552 7003 237 467 0 7083 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30208

[startup+12.7003 s]
/proc/loadavg: 2.14 2.69 2.55 3/197 20850
/proc/meminfo: memFree=29720736/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=30472 CPUtime=12.68
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7289 0 0 0 1204 64 0 0 25 0 1 0 22280138 31203328 7074 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 7618 7074 237 467 0 7149 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30472

[startup+25.5008 s]
/proc/loadavg: 2.12 2.67 2.55 3/197 20851
/proc/meminfo: memFree=29720040/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=30576 CPUtime=25.49
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7412 0 0 0 2423 126 0 0 25 0 1 0 22280138 31309824 7124 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 7644 7124 237 467 0 7175 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30576

[startup+51.1009 s]
/proc/loadavg: 2.08 2.62 2.53 3/197 20851
/proc/meminfo: memFree=29720108/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=30840 CPUtime=51.09
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7453 0 0 0 4858 251 0 0 25 0 1 0 22280138 31580160 7165 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 7710 7165 237 467 0 7241 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 30840

[startup+102.306 s]
/proc/loadavg: 2.03 2.51 2.50 3/197 20853
/proc/meminfo: memFree=29718960/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=31632 CPUtime=102.3
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7644 0 0 0 9730 500 0 0 25 0 1 0 22280138 32391168 7356 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 7908 7356 237 467 0 7439 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 31632

[startup+162.301 s]
/proc/loadavg: 2.01 2.41 2.46 3/197 20854
/proc/meminfo: memFree=29718512/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=31976 CPUtime=162.29
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7788 0 0 0 15416 813 0 0 25 0 1 0 22280138 32743424 7474 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 7994 7474 237 467 0 7525 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 31976

[startup+222.301 s]
/proc/loadavg: 2.00 2.34 2.43 3/197 20856
/proc/meminfo: memFree=29718328/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=32108 CPUtime=222.3
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7806 0 0 0 21084 1146 0 0 25 0 1 0 22280138 32878592 7491 4089446400 134512640 136422188 4288949184 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8027 7491 237 467 0 7558 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 32108

[startup+282.3 s]
/proc/loadavg: 2.00 2.27 2.40 3/197 20858
/proc/meminfo: memFree=29718120/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=32108 CPUtime=282.3
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7806 0 0 0 26790 1440 0 0 25 0 1 0 22280138 32878592 7491 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8027 7491 237 467 0 7558 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 32108

[startup+342.301 s]
/proc/loadavg: 2.00 2.22 2.37 3/197 20859
/proc/meminfo: memFree=29717896/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=32240 CPUtime=342.3
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7824 0 0 0 32494 1736 0 0 25 0 1 0 22280138 33013760 7509 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8060 7509 237 467 0 7591 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 32240

[startup+402.3 s]
/proc/loadavg: 2.00 2.18 2.35 3/197 20861
/proc/meminfo: memFree=29717944/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=32240 CPUtime=402.3
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7824 0 0 0 38180 2050 0 0 25 0 1 0 22280138 33013760 7509 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8060 7509 237 467 0 7591 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 32240

[startup+462.301 s]
/proc/loadavg: 2.00 2.14 2.32 3/197 20865
/proc/meminfo: memFree=29716548/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=32240 CPUtime=462.31
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7855 0 0 0 43887 2344 0 0 25 0 1 0 22280138 33013760 7540 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8060 7540 237 467 0 7591 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 32240

[startup+522.3 s]
/proc/loadavg: 2.00 2.11 2.30 3/197 20867
/proc/meminfo: memFree=29716464/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=32372 CPUtime=522.3
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7880 0 0 0 49566 2664 0 0 25 0 1 0 22280138 33148928 7565 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8093 7565 237 467 0 7624 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 32372

[startup+582.301 s]
/proc/loadavg: 2.00 2.09 2.28 3/197 20869
/proc/meminfo: memFree=29716496/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=32504 CPUtime=582.31
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7908 0 0 0 55248 2983 0 0 25 0 1 0 22280138 33284096 7593 4089446400 134512640 136422188 4288949184 18446744073709551615 135020572 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8126 7593 237 467 0 7657 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 32504

[startup+642.3 s]
/proc/loadavg: 2.00 2.07 2.26 3/197 20870
/proc/meminfo: memFree=29716528/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=32452 CPUtime=642.32
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 7939 0 0 0 60939 3293 0 0 25 0 1 0 22280138 33230848 7593 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8113 7593 237 467 0 7644 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 32452

[startup+702.301 s]

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

/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8102 0 0 0 95175 5058 0 0 25 0 1 0 22280138 33906688 7756 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8278 7756 237 467 0 7809 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 33112

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.16 3/197 20881
/proc/meminfo: memFree=29715812/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=33112 CPUtime=1062.33
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8102 0 0 0 100873 5360 0 0 25 0 1 0 22280138 33906688 7756 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8278 7756 237 467 0 7809 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 33112

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.15 3/197 20883
/proc/meminfo: memFree=29715536/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=33376 CPUtime=1122.34
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8170 0 0 0 106548 5686 0 0 25 0 1 0 22280138 34177024 7824 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8344 7824 237 467 0 7875 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 33376

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.13 3/197 20885
/proc/meminfo: memFree=29715248/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=33376 CPUtime=1182.34
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8170 0 0 0 112240 5994 0 0 25 0 1 0 22280138 34177024 7824 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8344 7824 237 467 0 7875 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 33376

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/197 20886
/proc/meminfo: memFree=29714956/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=33376 CPUtime=1242.34
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8170 0 0 0 117921 6313 0 0 25 0 1 0 22280138 34177024 7824 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8344 7824 237 467 0 7875 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 33376

[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 2.12 3/197 20888
/proc/meminfo: memFree=29715156/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=33376 CPUtime=1302.35
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8170 0 0 0 123624 6611 0 0 25 0 1 0 22280138 34177024 7824 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8344 7824 237 467 0 7875 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 33376

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.10 3/197 20889
/proc/meminfo: memFree=29715100/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=33320 CPUtime=1362.34
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8182 0 0 0 129319 6915 0 0 25 0 1 0 22280138 34119680 7810 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20849/statm: 8330 7810 237 467 0 7861 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 33320

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.09 3/179 20921
/proc/meminfo: memFree=28302740/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=33452 CPUtime=1422.35
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8191 0 0 0 134777 7458 0 0 25 0 1 0 22280138 34254848 7819 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20849/statm: 8363 7819 237 467 0 7894 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 33452

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 20923
/proc/meminfo: memFree=28292780/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=33584 CPUtime=1482.35
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8221 0 0 0 139794 8441 0 0 25 0 1 0 22280138 34390016 7849 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20849/statm: 8396 7849 237 467 0 7927 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 33584

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 20924
/proc/meminfo: memFree=28286752/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=33584 CPUtime=1542.34
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8221 0 0 0 144807 9427 0 0 25 0 1 0 22280138 34390016 7849 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20849/statm: 8396 7849 237 467 0 7927 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 33584

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 20926
/proc/meminfo: memFree=28282620/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=33848 CPUtime=1602.34
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8312 0 0 0 149878 10356 0 0 25 0 1 0 22280138 34660352 7940 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20849/statm: 8462 7940 237 467 0 7993 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 33848

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 20927
/proc/meminfo: memFree=28280448/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=33980 CPUtime=1662.34
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8324 0 0 0 154904 11330 0 0 25 0 1 0 22280138 34795520 7952 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20849/statm: 8495 7952 237 467 0 8026 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 33980

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 20929
/proc/meminfo: memFree=28269252/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=34112 CPUtime=1722.35
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8345 0 0 0 159979 12256 0 0 25 0 1 0 22280138 34930688 7973 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20849/statm: 8528 7973 237 467 0 8059 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 34112

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 20931
/proc/meminfo: memFree=28268824/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=34112 CPUtime=1782.35
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8367 0 0 0 165056 13179 0 0 25 0 1 0 22280138 34930688 7995 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20849/statm: 8528 7995 237 467 0 8059 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 34112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 20931
/proc/meminfo: memFree=28268924/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=34112 CPUtime=1800.05
/proc/20849/stat : 20849 (pbct) R 20847 20849 18304 0 -1 4202496 8367 0 0 0 166543 13462 0 0 25 0 1 0 22280138 34930688 7995 4089446400 134512640 136422188 4288949184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20849/statm: 8528 7995 237 467 0 8059 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 34112

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20849

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

[startup+1801.4 s]
/proc/loadavg: 1.92 1.98 2.05 2/180 20932
/proc/meminfo: memFree=28268916/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=34112 CPUtime=1800.05
/proc/20849/stat : 20849 (pbct) S 20847 20849 18304 0 -1 4194304 8367 0 0 0 166543 13462 0 0 25 0 1 0 22280138 34930688 7995 4089446400 134512640 136422188 4288949184 18446744073709551615 135884590 0 16384 4096 16387 18446604453950584064 0 0 17 5 0 0 0
/proc/20849/statm: 8528 7995 237 467 0 8059 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 34112

[startup+1801.81 s]
/proc/loadavg: 1.92 1.98 2.05 2/180 20932
/proc/meminfo: memFree=28268916/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=34112 CPUtime=1800.05
/proc/20849/stat : 20849 (pbct) S 20847 20849 18304 0 -1 4194304 8367 0 0 0 166543 13462 0 0 25 0 1 0 22280138 34930688 7995 4089446400 134512640 136422188 4288949184 18446744073709551615 135884590 0 16384 4096 16387 18446604453950584064 0 0 17 5 0 0 0
/proc/20849/statm: 8528 7995 237 467 0 8059 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 34112

[startup+1802 s]
/proc/loadavg: 1.92 1.98 2.05 2/180 20932
/proc/meminfo: memFree=28268916/32950928 swapFree=67111528/67111528
[pid=20849] ppid=20847 vsize=34112 CPUtime=1800.05
/proc/20849/stat : 20849 (pbct) S 20847 20849 18304 0 -1 4194304 8367 0 0 0 166543 13462 0 0 25 0 1 0 22280138 34930688 7995 4089446400 134512640 136422188 4288949184 18446744073709551615 135884590 0 16384 4096 16387 18446604453950584064 0 0 17 5 0 0 0
/proc/20849/statm: 8528 7995 237 467 0 8059 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 34112

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.01
CPU time (s): 1800.07
CPU user time (s): 1665.44
CPU system time (s): 134.632
CPU usage (%): 99.8924
Max. virtual memory (cumulated for all children) (KiB): 34112

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

runsolver used 2.52961 second user time and 5.67314 second system time

The end

Launcher Data 

Begin job on node148 at 2010-07-08 00:11:16
IDJOB=2701599
IDBENCH=79606
IDSOLVER=1212
FILE ID=node148/2701599-1278540676
PBS_JOBID= 11239182
Free space on /tmp= 73724 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-408_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701599-1278540676/watcher-2701599-1278540676 -o /tmp/evaluation-result-2701599-1278540676/solver-2701599-1278540676 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701599-1278540676.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 48ac1863348303136e0aa9da5ae3256d
RANDOM SEED=275388287

node148.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.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29748960 kB
Buffers:        153308 kB
Cached:        2694700 kB
SwapCached:          0 kB
Active:        1148004 kB
Inactive:      1891888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29748960 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2008 kB
Writeback:           0 kB
AnonPages:      191356 kB
Mapped:          20452 kB
Slab:            99808 kB
PageTables:       4768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1644612 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= 73712 MiB
End job on node148 at 2010-07-08 00:41:18