Trace number 2698951

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMfbd3a39d50404986b242d7bfefa0e7f6
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.077987
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables840
Total number of constraints82
Number of soft constraints55
Number of constraints which are clauses42
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint21
Top cost 2274
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 2273
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 22
Number of bits of the biggest sum of numbers5
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.00/0.00	c constraints 10/30 clauses 17/25 units 0
0.00/0.00	c vars 840
0.00/0.03	c 0.027995 9.17578 29 1588
0.00/0.03	o 1188
0.02/0.03	c 0.028995 9.33984 132 2236
0.02/0.03	o 736
0.02/0.04	c 0.029995 9.33984 134 2704
0.02/0.04	o 570
0.02/0.04	c 0.029995 9.33984 134 3009
0.02/0.04	o 194
0.02/0.04	c 0.029995 9.33984 134 3269
0.02/0.04	o 193
0.02/0.04	c 0.030995 9.33984 134 3579
0.02/0.04	o 173
0.02/0.04	c 0.031995 9.33984 134 3851
0.02/0.04	o 165
0.02/0.04	c 0.031995 9.33984 135 4151
0.02/0.04	o 152
0.02/0.05	c 0.031995 9.33984 137 4467
0.02/0.05	o 143
0.02/0.05	c 0.032994 9.33984 137 4725
0.02/0.05	o 140
0.02/0.05	c 0.033994 9.33984 137 5023
0.02/0.05	o 136
0.02/0.05	c 0.033994 9.33984 138 5232
0.02/0.05	o 130
0.02/0.05	c 0.034994 9.33984 138 5454
0.02/0.05	o 129
0.02/0.05	c 0.034994 9.33984 138 5692
0.02/0.05	o 128
0.02/0.06	c 0.035994 9.33984 138 5918
0.02/0.06	o 121
0.02/0.06	c 0.036994 9.33984 138 6157
0.02/0.06	o 118
0.02/0.06	c 0.036994 9.33984 138 6357
0.02/0.06	o 98
0.02/0.07	c 0.039993 9.33984 238 6949
0.02/0.07	o 87
0.02/0.07	c 0.039993 9.33984 240 7265
0.02/0.07	o 79
0.02/0.07	c 0.039993 9.33984 240 7558
0.02/0.07	o 68
0.02/0.07	c 0.040993 9.33984 240 7828
0.02/0.07	o 67
0.02/0.07	c 0.041993 9.33984 240 8127
0.02/0.07	o 60
0.02/0.07	c 0.041993 9.48828 240 8389
0.02/0.07	o 58
0.02/0.08	c 0.041993 9.48828 241 8691
0.02/0.08	o 57
0.02/0.08	c 0.042993 9.48828 242 8954
0.02/0.08	o 52
0.02/0.08	c 0.042993 9.48828 243 9208
0.02/0.08	o 44
0.02/0.08	c 0.043993 9.48828 243 9469
0.02/0.08	o 41
0.02/0.09	c 0.046992 9.48828 345 10152
0.02/0.09	o 35
0.02/0.09	c 0.047992 9.48828 345 10490
0.02/0.09	o 31
0.02/0.09	c 0.048992 9.48828 345 10818
0.02/0.09	o 26
0.02/0.09	c 0.048992 9.48828 346 11130
0.02/0.09	o 23
0.09/0.10	c 0.052991 9.48828 448 11976
0.09/0.10	o 21
0.09/0.11	c 0.055991 9.48828 557 12949
0.09/0.11	o 18
0.09/0.12	c 0.057991 9.61328 688 14052
0.09/0.12	o 17
0.09/0.12	c 0.06099 9.61328 724 14787
0.09/0.12	o 8
0.09/0.13	c 0.06199 9.61328 363 15219
0.09/0.13	o 7
0.19/0.21	c 0.086986 9.87109 418 20579
0.19/0.21	o 6
1800.04/1800.00	s SATISFIABLE
1800.04/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 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840

Verifier Data 

OK	6

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698951-1278458470/watcher-2698951-1278458470 -o /tmp/evaluation-result-2698951-1278458470/solver-2698951-1278458470 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698951-1278458470.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.00 0.97 0.64 2/170 12404
/proc/meminfo: memFree=30444984/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=3972 CPUtime=0
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 684 0 0 0 0 0 0 0 23 0 1 0 14061695 4067328 604 4089446400 134512640 136422188 4291192032 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 993 605 193 467 0 524 0

[startup+0.0383021 s]
/proc/loadavg: 1.00 0.97 0.64 2/170 12404
/proc/meminfo: memFree=30444984/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=9560 CPUtime=0.02
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 2091 0 0 0 2 0 0 0 23 0 1 0 14061695 9789440 2010 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 2390 2010 236 467 0 1921 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9560

[startup+0.100232 s]
/proc/loadavg: 1.00 0.97 0.64 2/170 12404
/proc/meminfo: memFree=30444984/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=9712 CPUtime=0.09
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 2162 0 0 0 4 5 0 0 23 0 1 0 14061695 9945088 2051 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 2428 2051 237 467 0 1959 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9712

[startup+0.300235 s]
/proc/loadavg: 1.00 0.97 0.64 2/170 12404
/proc/meminfo: memFree=30444984/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=10104 CPUtime=0.29
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 2279 0 0 0 10 19 0 0 23 0 1 0 14061695 10346496 2162 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 2526 2162 237 467 0 2057 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10104

[startup+0.701163 s]
/proc/loadavg: 1.00 0.97 0.64 2/170 12404
/proc/meminfo: memFree=30444984/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=10764 CPUtime=0.69
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 2450 0 0 0 29 40 0 0 25 0 1 0 14061695 11022336 2333 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 2691 2333 237 467 0 2222 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10764

[startup+1.50103 s]
/proc/loadavg: 1.00 0.97 0.64 2/171 12405
/proc/meminfo: memFree=30436740/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=11028 CPUtime=1.49
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 2510 0 0 0 58 91 0 0 25 0 1 0 14061695 11292672 2393 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 2757 2393 237 467 0 2288 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11028

[startup+3.10074 s]
/proc/loadavg: 1.00 0.97 0.64 2/171 12405
/proc/meminfo: memFree=30435624/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=11772 CPUtime=3.09
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 2693 0 0 0 130 179 0 0 25 0 1 0 14061695 12054528 2576 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 2943 2576 237 467 0 2474 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11772

[startup+6.30113 s]
/proc/loadavg: 1.00 0.97 0.65 2/171 12405
/proc/meminfo: memFree=30434508/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=12732 CPUtime=6.29
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 2939 0 0 0 287 342 0 0 25 0 1 0 14061695 13037568 2822 4089446400 134512640 136422188 4291192032 18446744073709551615 135685866 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 3183 2822 237 467 0 2714 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12732

[startup+12.701 s]
/proc/loadavg: 1.00 0.97 0.65 2/171 12405
/proc/meminfo: memFree=30434260/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=13260 CPUtime=12.69
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 3068 0 0 0 600 669 0 0 25 0 1 0 14061695 13578240 2951 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 3315 2951 237 467 0 2846 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13260

[startup+25.5007 s]
/proc/loadavg: 1.00 0.97 0.65 2/171 12406
/proc/meminfo: memFree=30433232/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=14576 CPUtime=25.49
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 3391 0 0 0 1221 1328 0 0 25 0 1 0 14061695 14925824 3274 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 3644 3274 237 467 0 3175 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14576

[startup+51.1002 s]
/proc/loadavg: 1.00 0.97 0.66 2/171 12406
/proc/meminfo: memFree=30431448/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=15796 CPUtime=51.1
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 3828 0 0 0 2498 2612 0 0 25 0 1 0 14061695 16175104 3599 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 3949 3599 237 467 0 3480 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 15796

[startup+102.306 s]
/proc/loadavg: 1.00 0.97 0.67 2/171 12408
/proc/meminfo: memFree=30430172/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=17244 CPUtime=102.3
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 4188 0 0 0 5161 5069 0 0 25 0 1 0 14061695 17657856 3959 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 4311 3959 237 467 0 3842 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17244

[startup+162.301 s]
/proc/loadavg: 1.04 0.99 0.70 2/171 12409
/proc/meminfo: memFree=30429132/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=18328 CPUtime=162.29
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 4539 0 0 0 8361 7868 0 0 25 0 1 0 14061695 18767872 4223 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 4582 4223 237 467 0 4113 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18328

[startup+222.301 s]
/proc/loadavg: 1.01 0.99 0.71 2/171 12411
/proc/meminfo: memFree=30428212/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=19108 CPUtime=222.3
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 4879 0 0 0 11495 10735 0 0 25 0 1 0 14061695 19566592 4425 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 4777 4425 237 467 0 4308 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19108

[startup+282.3 s]
/proc/loadavg: 1.00 0.99 0.73 2/171 12412
/proc/meminfo: memFree=30427300/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=20244 CPUtime=282.3
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 5211 0 0 0 14906 13324 0 0 25 0 1 0 14061695 20729856 4708 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 5061 4708 237 467 0 4592 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20244

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.74 2/171 12414
/proc/meminfo: memFree=30426744/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=20772 CPUtime=342.3
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 5345 0 0 0 18318 15912 0 0 25 0 1 0 14061695 21270528 4842 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 5193 4842 237 467 0 4724 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20772

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.75 2/171 12416
/proc/meminfo: memFree=30426948/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=20772 CPUtime=402.3
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 5345 0 0 0 21756 18474 0 0 25 0 1 0 14061695 21270528 4842 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 5193 4842 237 467 0 4724 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20772

[startup+462.3 s]
/proc/loadavg: 1.00 0.99 0.77 2/171 12417
/proc/meminfo: memFree=30426268/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=21396 CPUtime=462.3
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 5529 0 0 0 25034 21196 0 0 25 0 1 0 14061695 21909504 4985 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 5349 4985 237 467 0 4880 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 21396

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.78 2/171 12419
/proc/meminfo: memFree=30425096/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=22388 CPUtime=522.3
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 6257 0 0 0 28359 23871 0 0 25 0 1 0 14061695 22925312 5247 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 5597 5247 237 467 0 5128 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 22388

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.79 2/171 12420
/proc/meminfo: memFree=30424800/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=22620 CPUtime=582.31
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 6368 0 0 0 31884 26347 0 0 25 0 1 0 14061695 23162880 5305 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 5655 5305 237 467 0 5186 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 22620

[startup+642.3 s]
/proc/loadavg: 1.00 0.99 0.80 2/171 12422
/proc/meminfo: memFree=30424504/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=22644 CPUtime=642.32
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 6575 0 0 0 35306 28926 0 0 25 0 1 0 14061695 23187456 5311 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 5661 5311 237 467 0 5192 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 22644

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 1.01 1.00 0.83 2/171 12427
/proc/meminfo: memFree=30423472/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=24028 CPUtime=822.31
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 6946 0 0 0 46063 36168 0 0 25 0 1 0 14061695 24604672 5635 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6007 5635 237 467 0 5538 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 24028

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.84 2/171 12428
/proc/meminfo: memFree=30423308/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=24300 CPUtime=882.31
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 7009 0 0 0 49526 38705 0 0 25 0 1 0 14061695 24883200 5698 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6075 5698 237 467 0 5606 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 24300

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.84 2/171 12430
/proc/meminfo: memFree=30422500/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=24900 CPUtime=942.32
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 7234 0 0 0 52921 41311 0 0 25 0 1 0 14061695 25497600 5861 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6225 5861 237 467 0 5756 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 24900

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.85 2/171 12432
/proc/meminfo: memFree=30422328/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=24900 CPUtime=1002.31
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 7328 0 0 0 56212 44019 0 0 25 0 1 0 14061695 25497600 5862 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6225 5862 237 467 0 5756 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 24900

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.85 2/171 12433
/proc/meminfo: memFree=30422392/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=25296 CPUtime=1062.31
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 7420 0 0 0 59759 46472 0 0 25 0 1 0 14061695 25903104 5954 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6324 5954 237 467 0 5855 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 25296

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.86 2/171 12435
/proc/meminfo: memFree=30422220/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=25528 CPUtime=1122.32
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 7476 0 0 0 63175 49057 0 0 25 0 1 0 14061695 26140672 6010 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6382 6010 237 467 0 5913 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 25528

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.87 2/171 12436
/proc/meminfo: memFree=30422048/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=25944 CPUtime=1182.32
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 7560 0 0 0 66500 51732 0 0 25 0 1 0 14061695 26566656 6094 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6486 6094 237 467 0 6017 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 25944

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.87 2/171 12438
/proc/meminfo: memFree=30421264/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=26352 CPUtime=1242.32
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 7706 0 0 0 70427 53805 0 0 25 0 1 0 14061695 26984448 6224 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6588 6224 237 467 0 6119 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 26352

[startup+1302.3 s]
/proc/loadavg: 1.03 1.01 0.88 2/171 12440
/proc/meminfo: memFree=30420964/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=26416 CPUtime=1302.33
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 7735 0 0 0 74008 56225 0 0 25 0 1 0 14061695 27049984 6242 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6604 6242 237 467 0 6135 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 26416

[startup+1362.3 s]
/proc/loadavg: 1.01 1.01 0.89 2/171 12441
/proc/meminfo: memFree=30420912/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=26548 CPUtime=1362.32
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 7792 0 0 0 77384 58848 0 0 25 0 1 0 14061695 27185152 6276 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6637 6276 237 467 0 6168 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 26548

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.89 2/171 12443
/proc/meminfo: memFree=30420856/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=26676 CPUtime=1422.33
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 7826 0 0 0 80747 61486 0 0 25 0 1 0 14061695 27316224 6309 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6669 6309 237 467 0 6200 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 26676

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.90 2/171 12444
/proc/meminfo: memFree=30420936/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=26816 CPUtime=1482.33
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 7844 0 0 0 84225 64008 0 0 25 0 1 0 14061695 27459584 6327 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6704 6327 237 467 0 6235 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 26816

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12446
/proc/meminfo: memFree=30420004/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=27180 CPUtime=1542.33
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 8052 0 0 0 87690 66543 0 0 25 0 1 0 14061695 27832320 6438 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6795 6438 237 467 0 6326 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 27180

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12448
/proc/meminfo: memFree=30419472/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=27972 CPUtime=1602.33
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 8239 0 0 0 90997 69236 0 0 25 0 1 0 14061695 28643328 6625 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6993 6625 237 467 0 6524 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 27972

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12449
/proc/meminfo: memFree=30419528/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=27972 CPUtime=1662.33
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 8239 0 0 0 94836 71397 0 0 25 0 1 0 14061695 28643328 6625 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6993 6625 237 467 0 6524 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 27972

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12451
/proc/meminfo: memFree=30419588/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=27972 CPUtime=1722.33
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 8239 0 0 0 98582 73651 0 0 25 0 1 0 14061695 28643328 6625 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6993 6625 237 467 0 6524 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 27972

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12452
/proc/meminfo: memFree=30419532/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=27972 CPUtime=1782.33
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 8240 0 0 0 102151 76082 0 0 25 0 1 0 14061695 28643328 6626 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6993 6626 237 467 0 6524 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 27972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12453
/proc/meminfo: memFree=30419388/32951124 swapFree=67111528/67111528
[pid=12404] ppid=12402 vsize=27972 CPUtime=1800.04
/proc/12404/stat : 12404 (pbct) R 12402 12404 12320 0 -1 4202496 8240 0 0 0 103254 76750 0 0 25 0 1 0 14061695 28643328 6626 4089446400 134512640 136422188 4291192032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12404/statm: 6993 6626 237 467 0 6524 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 27972

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.05
CPU user time (s): 1032.55
CPU system time (s): 767.505
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 27972

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

runsolver used 2.79357 second user time and 5.40018 second system time

The end

Launcher Data 

Begin job on node108 at 2010-07-07 01:21:10
IDJOB=2698951
IDBENCH=78693
IDSOLVER=1212
FILE ID=node108/2698951-1278458470
PBS_JOBID= 11233776
Free space on /tmp= 73748 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698951-1278458470/watcher-2698951-1278458470 -o /tmp/evaluation-result-2698951-1278458470/solver-2698951-1278458470 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698951-1278458470.wbo

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

MD5SUM BENCH= fbd3a39d50404986b242d7bfefa0e7f6
RANDOM SEED=2090460279

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2681.499
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		: 2681.499
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.69
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		: 2681.499
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		: 2681.499
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:     32951124 kB
MemFree:      30445504 kB
Buffers:        109596 kB
Cached:        2199080 kB
SwapCached:          0 kB
Active:        1366608 kB
Inactive:      1002976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30445504 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1960 kB
Writeback:           0 kB
AnonPages:       60292 kB
Mapped:          14652 kB
Slab:            72792 kB
PageTables:       3936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   179588 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= 73744 MiB
End job on node108 at 2010-07-07 01:51:12