Trace number 2701389

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.03 1800.01

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen06-30reduc_wcsp.wbo
MD5SUM83352c08e9e644ee4de360a67fac8960
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark2087
Best CPU time to get the best result obtained on this benchmark1800.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables771
Total number of constraints19461
Number of soft constraints19380
Number of constraints which are clauses19380
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint14
Top cost 2088
Min constraint cost 1
Max constraint cost 2088
Sum of constraints costs 5475303
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.09/0.10	c constraints 81/0 clauses 0/19380 units 0
0.09/0.10	c vars 771
0.09/0.10	c Setting top cost 2088
1786.32/1786.39	c 705.642 143.172 16869 4560204
1786.32/1786.39	o 2087
1800.01/1800.00	s SATISFIABLE
1800.01/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 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 x767 -x768 -x769 -x770 -x771

Verifier Data 

OK	2087

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701389-1278539577/watcher-2701389-1278539577 -o /tmp/evaluation-result-2701389-1278539577/solver-2701389-1278539577 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701389-1278539577.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: 1.90 1.97 1.98 3/196 19298
/proc/meminfo: memFree=29137776/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=2268 CPUtime=0
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 270 0 0 0 0 0 0 0 21 0 1 0 22172423 2322432 190 4089446400 134512640 136422188 4288035152 18446744073709551615 135159078 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 567 190 144 467 0 98 0

[startup+0.098826 s]
/proc/loadavg: 1.90 1.97 1.98 3/196 19298
/proc/meminfo: memFree=29137776/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=3712 CPUtime=0.09
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 684 0 0 0 9 0 0 0 21 0 1 0 22172423 3801088 506 4089446400 134512640 136422188 4288035152 18446744073709551615 135818353 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 928 506 144 467 0 459 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3712

[startup+0.10082 s]
/proc/loadavg: 1.90 1.97 1.98 3/196 19298
/proc/meminfo: memFree=29137776/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=3712 CPUtime=0.09
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 686 0 0 0 9 0 0 0 21 0 1 0 22172423 3801088 508 4089446400 134512640 136422188 4288035152 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 928 508 144 467 0 459 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3712

[startup+0.300785 s]
/proc/loadavg: 1.90 1.97 1.98 3/196 19298
/proc/meminfo: memFree=29137776/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=54360 CPUtime=0.29
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 13301 0 0 0 28 1 0 0 21 0 1 0 22172423 55664640 13123 4089446400 134512640 136422188 4288035152 18446744073709551615 134632651 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 13590 13123 195 467 0 13121 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54360

[startup+0.700714 s]
/proc/loadavg: 1.90 1.97 1.98 3/196 19298
/proc/meminfo: memFree=29137776/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=112208 CPUtime=0.69
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 28285 0 0 0 66 3 0 0 22 0 1 0 22172423 114900992 27257 4089446400 134512640 136422188 4288035152 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 28052 27257 209 467 0 27583 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 112208

[startup+1.50058 s]
/proc/loadavg: 1.90 1.97 1.98 3/197 19299
/proc/meminfo: memFree=29028524/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=114348 CPUtime=1.49
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 28821 0 0 0 141 8 0 0 25 0 1 0 22172423 117092352 27793 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 28587 27793 216 467 0 28118 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114348

[startup+3.10028 s]
/proc/loadavg: 1.91 1.97 1.98 3/197 19299
/proc/meminfo: memFree=29026664/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=114744 CPUtime=3.09
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 28901 0 0 0 175 134 0 0 25 0 1 0 22172423 117497856 27873 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 28686 27873 217 467 0 28217 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 114744

[startup+6.30072 s]
/proc/loadavg: 1.91 1.97 1.98 3/197 19299
/proc/meminfo: memFree=29026488/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=115272 CPUtime=6.29
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 29034 0 0 0 250 379 0 0 25 0 1 0 22172423 118038528 28006 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 28818 28006 217 467 0 28349 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 115272

[startup+12.7006 s]
/proc/loadavg: 1.92 1.97 1.98 3/197 19299
/proc/meminfo: memFree=29025828/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=116476 CPUtime=12.69
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 29347 0 0 0 405 864 0 0 25 0 1 0 22172423 119271424 28319 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 29119 28319 217 467 0 28650 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116476

[startup+25.5003 s]
/proc/loadavg: 1.93 1.97 1.98 3/197 19300
/proc/meminfo: memFree=29023468/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=119456 CPUtime=25.49
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 30074 0 0 0 758 1791 0 0 25 0 1 0 22172423 122322944 29046 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 29864 29046 217 467 0 29395 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 119456

[startup+51.1007 s]
/proc/loadavg: 1.95 1.97 1.98 3/197 19300
/proc/meminfo: memFree=29021672/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=121172 CPUtime=51.1
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 30524 0 0 0 1524 3586 0 0 25 0 1 0 22172423 124080128 29496 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 30293 29496 217 467 0 29824 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 121172

[startup+102.307 s]
/proc/loadavg: 2.03 1.99 1.98 3/197 19302
/proc/meminfo: memFree=29018544/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=124200 CPUtime=102.3
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 31245 0 0 0 3605 6625 0 0 25 0 1 0 22172423 127180800 30217 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 31050 30217 217 467 0 30581 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 124200

[startup+162.301 s]
/proc/loadavg: 2.01 1.99 1.98 3/197 19303
/proc/meminfo: memFree=29013032/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=129612 CPUtime=162.3
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 32606 0 0 0 6036 10194 0 0 25 0 1 0 22172423 132722688 31578 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 32403 31578 217 467 0 31934 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 129612

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/197 19305
/proc/meminfo: memFree=29011504/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=131196 CPUtime=222.3
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 33014 0 0 0 8555 13675 0 0 25 0 1 0 22172423 134344704 31986 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 32799 31986 217 467 0 32330 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 131196

[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/197 19306
/proc/meminfo: memFree=29011240/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=131460 CPUtime=282.3
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 33069 0 0 0 11115 17115 0 0 25 0 1 0 22172423 134615040 32041 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 32865 32041 217 467 0 32396 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 131460

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/197 19308
/proc/meminfo: memFree=29010448/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=131988 CPUtime=342.3
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 33199 0 0 0 13639 20591 0 0 25 0 1 0 22172423 135155712 32171 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 32997 32171 217 467 0 32528 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 131988

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/197 19310
/proc/meminfo: memFree=29008908/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=133176 CPUtime=402.3
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 33524 0 0 0 16049 24181 0 0 25 0 1 0 22172423 136372224 32496 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 33294 32496 217 467 0 32825 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 133176

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/197 19311
/proc/meminfo: memFree=29008728/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=133440 CPUtime=462.31
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 33591 0 0 0 18492 27739 0 0 25 0 1 0 22172423 136642560 32563 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 33360 32563 217 467 0 32891 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 133440

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/197 19322
/proc/meminfo: memFree=29006868/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=134644 CPUtime=522.31
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 33855 0 0 0 21056 31175 0 0 25 0 1 0 22172423 137875456 32827 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 33661 32827 217 467 0 33192 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 134644

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/197 19323
/proc/meminfo: memFree=29005452/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=135964 CPUtime=582.3
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 34156 0 0 0 23599 34631 0 0 25 0 1 0 22172423 139227136 33128 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 33991 33128 217 467 0 33522 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 135964

[startup+642.3 s]
/proc/loadavg: 2.07 2.00 1.99 3/197 19325
/proc/meminfo: memFree=29003912/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=137284 CPUtime=642.32
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 34500 0 0 0 26286 37946 0 0 25 0 1 0 22172423 140578816 33472 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 34321 33472 217 467 0 33852 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 137284

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 19330
/proc/meminfo: memFree=28997452/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=144096 CPUtime=822.31
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36190 0 0 0 34043 48188 0 0 25 0 1 0 22172423 147554304 35162 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36024 35162 217 467 0 35555 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 144096

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 19331
/proc/meminfo: memFree=28997420/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=144096 CPUtime=882.31
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36196 0 0 0 36606 51625 0 0 25 0 1 0 22172423 147554304 35168 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36024 35168 217 467 0 35555 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 144096

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 19333
/proc/meminfo: memFree=28997396/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=144096 CPUtime=942.31
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36196 0 0 0 39199 55032 0 0 25 0 1 0 22172423 147554304 35168 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36024 35168 217 467 0 35555 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 144096

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 19335
/proc/meminfo: memFree=28997604/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=144096 CPUtime=1002.32
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36196 0 0 0 41790 58442 0 0 25 0 1 0 22172423 147554304 35168 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36024 35168 217 467 0 35555 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 144096

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 19336
/proc/meminfo: memFree=28997428/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=144096 CPUtime=1062.31
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36197 0 0 0 44342 61889 0 0 25 0 1 0 22172423 147554304 35169 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36024 35169 217 467 0 35555 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 144096

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 19338
/proc/meminfo: memFree=28997396/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=144096 CPUtime=1122.32
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36197 0 0 0 46869 65363 0 0 25 0 1 0 22172423 147554304 35169 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36024 35169 217 467 0 35555 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 144096

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 19339
/proc/meminfo: memFree=28997464/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=144096 CPUtime=1182.32
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36197 0 0 0 49300 68932 0 0 25 0 1 0 22172423 147554304 35169 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36024 35169 217 467 0 35555 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 144096

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/197 19341
/proc/meminfo: memFree=28997288/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=144096 CPUtime=1242.32
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36197 0 0 0 51714 72518 0 0 25 0 1 0 22172423 147554304 35169 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36024 35169 217 467 0 35555 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 144096

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 19343
/proc/meminfo: memFree=28997352/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=144096 CPUtime=1302.33
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36197 0 0 0 54210 76023 0 0 25 0 1 0 22172423 147554304 35169 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36024 35169 217 467 0 35555 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 144096

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19344
/proc/meminfo: memFree=28995584/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=146076 CPUtime=1362.32
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36676 0 0 0 56774 79458 0 0 25 0 1 0 22172423 149581824 35648 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36519 35648 217 467 0 36050 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 146076

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19346
/proc/meminfo: memFree=28994688/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=146604 CPUtime=1422.34
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36816 0 0 0 59308 82926 0 0 25 0 1 0 22172423 150122496 35788 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36651 35788 217 467 0 36182 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 146604

[startup+1482.3 s]
/proc/loadavg: 2.48 2.14 2.04 3/197 19487
/proc/meminfo: memFree=29096456/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=146604 CPUtime=1482.33
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36816 0 0 0 61603 86630 0 0 25 0 1 0 22172423 150122496 35788 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36651 35788 217 467 0 36182 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 146604

[startup+1542.3 s]
/proc/loadavg: 2.18 2.11 2.04 3/197 19492
/proc/meminfo: memFree=29012364/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=146604 CPUtime=1542.33
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36816 0 0 0 63508 90725 0 0 25 0 1 0 22172423 150122496 35788 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36651 35788 217 467 0 36182 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 146604

[startup+1602.3 s]
/proc/loadavg: 2.20 2.12 2.04 11/197 19540
/proc/meminfo: memFree=27949724/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=146604 CPUtime=1602.34
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36816 0 0 0 65224 95010 0 0 25 0 1 0 22172423 150122496 35788 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36651 35788 217 467 0 36182 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 146604

[startup+1662.3 s]
/proc/loadavg: 2.65 2.29 2.10 7/197 19541
/proc/meminfo: memFree=27897428/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=146604 CPUtime=1662.34
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36816 0 0 0 66946 99288 0 0 25 0 1 0 22172423 150122496 35788 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36651 35788 217 467 0 36182 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 146604

[startup+1722.3 s]
/proc/loadavg: 2.67 2.34 2.13 3/197 19543
/proc/meminfo: memFree=27837472/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=146604 CPUtime=1722.33
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36825 0 0 0 68681 103552 0 0 25 0 1 0 22172423 150122496 35797 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36651 35797 217 467 0 36182 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 146604

[startup+1782.3 s]
/proc/loadavg: 2.83 2.46 2.18 3/197 19544
/proc/meminfo: memFree=27892460/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=146604 CPUtime=1782.3
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 36826 0 0 0 70422 107808 0 0 25 0 1 0 22172423 150122496 35798 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 36651 35798 217 467 0 36182 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 146604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 3.12 2.55 2.21 3/197 19545
/proc/meminfo: memFree=27891480/32950928 swapFree=67111528/67111528
[pid=19298] ppid=19296 vsize=149628 CPUtime=1800.01
/proc/19298/stat : 19298 (pbct) R 19296 19298 17870 0 -1 4202496 37645 0 0 0 70942 109059 0 0 25 0 1 0 22172423 153219072 35860 4089446400 134512640 136422188 4288035152 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19298/statm: 37407 35860 238 467 0 36938 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 149628

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

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.03
CPU user time (s): 709.423
CPU system time (s): 1090.6
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 149628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 709.423
system time used= 1090.6
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37646
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= 1
involuntary context switches= 20946

runsolver used 2.44963 second user time and 5.86711 second system time

The end

Launcher Data 

Begin job on node112 at 2010-07-07 23:52:57
IDJOB=2701389
IDBENCH=79571
IDSOLVER=1212
FILE ID=node112/2701389-1278539577
PBS_JOBID= 11239253
Free space on /tmp= 73444 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-30reduc_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701389-1278539577/watcher-2701389-1278539577 -o /tmp/evaluation-result-2701389-1278539577/solver-2701389-1278539577 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701389-1278539577.wbo

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

MD5SUM BENCH= 83352c08e9e644ee4de360a67fac8960
RANDOM SEED=2140087209

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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.820
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:      29138420 kB
Buffers:        137196 kB
Cached:        3113088 kB
SwapCached:          0 kB
Active:        1617880 kB
Inactive:      2043480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29138420 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2604 kB
Writeback:           0 kB
AnonPages:      411100 kB
Mapped:          20352 kB
Slab:            87156 kB
PageTables:       5044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1640976 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= 73408 MiB
End job on node112 at 2010-07-08 00:22:59