Trace number 2699257

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMcad14126bbe64a82703c3144c4e347cd
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.050991
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1000
Total number of constraints90
Number of soft constraints90
Number of constraints which are clauses50
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 constraint25
Top cost 4573
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4572
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
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 0/40 clauses 0/50 units 0
0.00/0.00	c vars 1000
0.02/0.03	c 0.030995 10.543 59 2560
0.02/0.03	o 512
0.02/0.03	c 0.030995 10.543 59 2937
0.02/0.03	o 511
0.02/0.04	c 0.030995 10.543 59 3292
0.02/0.04	o 501
0.02/0.04	c 0.030995 10.543 59 3611
0.02/0.04	o 431
0.02/0.04	c 0.030995 10.543 59 3943
0.02/0.04	o 394
0.02/0.04	c 0.030995 10.543 59 4220
0.02/0.04	o 380
0.02/0.04	c 0.030995 10.543 59 4465
0.02/0.04	o 368
0.02/0.05	c 0.030995 10.543 59 4732
0.02/0.05	o 353
0.02/0.05	c 0.030995 10.543 59 5018
0.02/0.05	o 346
0.02/0.05	c 0.030995 10.543 59 5257
0.02/0.05	o 340
0.02/0.05	c 0.031995 10.543 59 5476
0.02/0.05	o 325
0.02/0.05	c 0.032994 10.543 59 5734
0.02/0.05	o 322
0.02/0.06	c 0.033994 10.543 59 5999
0.02/0.06	o 314
0.02/0.06	c 0.034994 10.543 59 6265
0.02/0.06	o 306
0.02/0.06	c 0.035994 10.543 60 6565
0.02/0.06	o 236
0.02/0.06	c 0.036994 10.543 60 6779
0.02/0.06	o 219
0.02/0.06	c 0.036994 10.543 60 6983
0.02/0.06	o 217
0.02/0.07	c 0.037994 10.543 60 7145
0.02/0.07	o 203
0.02/0.07	c 0.038994 10.543 60 7399
0.02/0.07	o 170
0.02/0.07	c 0.038994 10.543 60 7576
0.02/0.07	o 167
0.02/0.07	c 0.038994 10.543 60 7728
0.02/0.07	o 163
0.02/0.07	c 0.039993 10.6602 60 7927
0.02/0.07	o 159
0.02/0.08	c 0.039993 10.6602 60 8154
0.02/0.08	o 151
0.02/0.08	c 0.039993 10.6602 60 8308
0.02/0.08	o 121
0.02/0.08	c 0.039993 10.6602 60 8459
0.02/0.08	o 119
0.02/0.09	c 0.039993 10.6602 160 8829
0.02/0.09	o 116
0.02/0.09	c 0.039993 10.6602 160 9072
0.02/0.09	o 115
0.02/0.09	c 0.039993 10.6602 160 9278
0.02/0.09	o 110
0.02/0.09	c 0.039993 10.6602 160 9456
0.02/0.09	o 96
0.02/0.10	c 0.040993 10.6602 160 9630
0.02/0.10	o 84
0.10/0.10	c 0.042993 10.6602 260 10178
0.10/0.10	o 57
0.10/0.11	c 0.042993 10.6602 260 10467
0.10/0.11	o 54
0.10/0.11	c 0.042993 10.6602 264 10730
0.10/0.11	o 41
0.10/0.12	c 0.042993 10.7852 379 11482
0.10/0.12	o 36
0.10/0.12	c 0.043993 10.7852 381 11908
0.10/0.12	o 32
0.10/0.12	c 0.043993 10.7852 382 12283
0.10/0.12	o 31
0.10/0.14	c 0.048992 10.7852 589 13911
0.10/0.14	o 23
0.10/0.15	c 0.051992 10.9102 827 15604
0.10/0.15	o 22
0.10/0.16	c 0.054991 10.9102 522 16623
0.10/0.16	o 21
0.10/0.17	c 0.057991 10.9102 655 17708
0.10/0.17	o 19
0.10/0.17	c 0.058991 10.9102 671 18137
0.10/0.17	o 14
0.19/0.24	c 0.080987 11.168 803 22341
0.19/0.24	o 10
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 -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 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000

Verifier Data 

OK	10

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699257-1278463795/watcher-2699257-1278463795 -o /tmp/evaluation-result-2699257-1278463795/solver-2699257-1278463795 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699257-1278463795.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.86 1.97 1.95 3/176 13583
/proc/meminfo: memFree=30323072/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=3704 CPUtime=0
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 639 0 0 0 0 0 0 0 21 0 1 0 14593197 3792896 558 4089446400 134512640 136422188 4288521200 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 926 561 193 467 0 457 0

[startup+0.024155 s]
/proc/loadavg: 1.86 1.97 1.95 3/176 13583
/proc/meminfo: memFree=30323072/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=8704 CPUtime=0.02
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 1876 0 0 0 2 0 0 0 21 0 1 0 14593197 8912896 1795 4089446400 134512640 136422188 4288521200 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 2176 1802 194 467 0 1707 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8704

[startup+0.101147 s]
/proc/loadavg: 1.86 1.97 1.95 3/176 13583
/proc/meminfo: memFree=30323072/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=10912 CPUtime=0.1
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 2476 0 0 0 4 6 0 0 21 0 1 0 14593197 11173888 2365 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 2728 2365 236 467 0 2259 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10912

[startup+0.301126 s]
/proc/loadavg: 1.86 1.97 1.95 3/176 13583
/proc/meminfo: memFree=30323072/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=11432 CPUtime=0.29
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 2611 0 0 0 10 19 0 0 21 0 1 0 14593197 11706368 2488 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 2858 2488 237 467 0 2389 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11432

[startup+0.701038 s]
/proc/loadavg: 1.86 1.97 1.95 3/176 13583
/proc/meminfo: memFree=30323072/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=12752 CPUtime=0.69
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 2932 0 0 0 35 34 0 0 22 0 1 0 14593197 13058048 2809 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 3188 2809 237 467 0 2719 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12752

[startup+1.50092 s]
/proc/loadavg: 1.86 1.97 1.95 3/177 13584
/proc/meminfo: memFree=30313064/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=12736 CPUtime=1.49
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 2932 0 0 0 76 73 0 0 25 0 1 0 14593197 13041664 2809 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 3184 2809 237 467 0 2715 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12736

[startup+3.10064 s]
/proc/loadavg: 1.86 1.97 1.95 3/177 13584
/proc/meminfo: memFree=30312196/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=13396 CPUtime=3.09
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 3104 0 0 0 162 147 0 0 25 0 1 0 14593197 13717504 2981 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 3349 2981 237 467 0 2880 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13396

[startup+6.30111 s]
/proc/loadavg: 1.87 1.97 1.95 3/177 13584
/proc/meminfo: memFree=30311752/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=13920 CPUtime=6.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 3250 0 0 0 331 299 0 0 25 0 1 0 14593197 14254080 3127 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 3480 3127 237 467 0 3011 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 13920

[startup+12.701 s]
/proc/loadavg: 1.88 1.97 1.95 3/177 13584
/proc/meminfo: memFree=30310908/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=14668 CPUtime=12.69
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 3443 0 0 0 699 570 0 0 25 0 1 0 14593197 15020032 3320 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 3667 3320 237 467 0 3198 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14668

[startup+25.5008 s]
/proc/loadavg: 1.98 1.99 1.96 3/177 13585
/proc/meminfo: memFree=30306816/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=16776 CPUtime=25.49
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 3950 0 0 0 1430 1119 0 0 25 0 1 0 14593197 17178624 3827 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 4194 3827 237 467 0 3725 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16776

[startup+51.1005 s]
/proc/loadavg: 1.99 1.99 1.96 3/177 13586
/proc/meminfo: memFree=30304280/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=17556 CPUtime=51.09
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 4170 0 0 0 2909 2200 0 0 25 0 1 0 14593197 17977344 4019 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 4389 4019 237 467 0 3920 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17556

[startup+102.306 s]
/proc/loadavg: 1.99 1.99 1.96 3/177 13587
/proc/meminfo: memFree=30290616/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=20704 CPUtime=102.29
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 5062 0 0 0 6005 4224 0 0 25 0 1 0 14593197 21200896 4828 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 5176 4828 237 467 0 4707 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 20704

[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.96 3/177 13588
/proc/meminfo: memFree=30290196/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=21012 CPUtime=162.29
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 5150 0 0 0 9524 6705 0 0 25 0 1 0 14593197 21516288 4907 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 5253 4907 237 467 0 4784 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21012

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.96 3/177 13590
/proc/meminfo: memFree=30286320/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=22620 CPUtime=222.29
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 5639 0 0 0 13320 8909 0 0 25 0 1 0 14593197 23162880 5309 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 5655 5309 237 467 0 5186 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 22620

[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.96 3/177 13592
/proc/meminfo: memFree=30283060/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=23292 CPUtime=282.29
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 5804 0 0 0 16966 11263 0 0 25 0 1 0 14593197 23851008 5474 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 5823 5474 237 467 0 5354 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 23292

[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.96 3/177 13593
/proc/meminfo: memFree=30281552/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=24068 CPUtime=342.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 6043 0 0 0 20835 13395 0 0 25 0 1 0 14593197 24645632 5671 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 6017 5671 237 467 0 5548 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24068

[startup+402.301 s]
/proc/loadavg: 2.03 2.00 1.96 3/177 13595
/proc/meminfo: memFree=30276060/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=24504 CPUtime=402.29
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 6329 0 0 0 24948 15281 0 0 25 0 1 0 14593197 25092096 5780 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 6126 5780 237 467 0 5657 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 24504

[startup+462.301 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 13596
/proc/meminfo: memFree=30276156/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=24656 CPUtime=462.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 6359 0 0 0 28833 17397 0 0 25 0 1 0 14593197 25247744 5810 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 6164 5810 237 467 0 5695 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24656

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 13598
/proc/meminfo: memFree=30272272/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=25864 CPUtime=522.29
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 6767 0 0 0 32609 19620 0 0 25 0 1 0 14593197 26484736 6112 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 6466 6112 237 467 0 5997 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 25864

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 13600
/proc/meminfo: memFree=30265680/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=26160 CPUtime=582.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 7091 0 0 0 36398 21832 0 0 25 0 1 0 14593197 26787840 6188 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 6540 6188 237 467 0 6071 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 26160

[startup+642.301 s]
/proc/loadavg: 2.07 2.02 1.97 3/177 13601
/proc/meminfo: memFree=30263040/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=26440 CPUtime=642.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 7155 0 0 0 40326 23904 0 0 25 0 1 0 14593197 27074560 6252 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 6610 6252 237 467 0 6141 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 26440

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.18 2.08 2.00 3/177 13615
/proc/meminfo: memFree=30260540/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=27816 CPUtime=822.29
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 7650 0 0 0 52338 29891 0 0 25 0 1 0 14593197 28483584 6588 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 6954 6588 237 467 0 6485 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 27816

[startup+882.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 13617
/proc/meminfo: memFree=30260252/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=28232 CPUtime=882.29
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 7738 0 0 0 56583 31646 0 0 25 0 1 0 14593197 28909568 6676 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 7058 6676 237 467 0 6589 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 28232

[startup+942.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 13618
/proc/meminfo: memFree=30257240/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=28668 CPUtime=942.29
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 7846 0 0 0 60628 33601 0 0 25 0 1 0 14593197 29356032 6784 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 7167 6784 237 467 0 6698 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 28668

[startup+1002.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 13620
/proc/meminfo: memFree=30256952/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=28976 CPUtime=1002.29
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 7938 0 0 0 64515 35714 0 0 25 0 1 0 14593197 29671424 6876 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 7244 6876 237 467 0 6775 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 28976

[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 13621
/proc/meminfo: memFree=30255432/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=30620 CPUtime=1062.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 8386 0 0 0 68400 37830 0 0 25 0 1 0 14593197 31354880 7257 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 7655 7257 237 467 0 7186 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 30620

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 13623
/proc/meminfo: memFree=30255160/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=30212 CPUtime=1122.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 8429 0 0 0 72210 40020 0 0 25 0 1 0 14593197 30937088 7185 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 7553 7185 237 467 0 7084 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 30212

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13625
/proc/meminfo: memFree=30254504/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=30608 CPUtime=1182.29
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 8527 0 0 0 76273 41956 0 0 25 0 1 0 14593197 31342592 7283 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 7652 7283 237 467 0 7183 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 30608

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13626
/proc/meminfo: memFree=30254092/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=30608 CPUtime=1242.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 8527 0 0 0 80001 44229 0 0 25 0 1 0 14593197 31342592 7283 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 7652 7283 237 467 0 7183 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 30608

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13628
/proc/meminfo: memFree=30251196/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=31156 CPUtime=1302.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 8750 0 0 0 83903 46327 0 0 25 0 1 0 14593197 31903744 7421 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 7789 7421 237 467 0 7320 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 31156

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13629
/proc/meminfo: memFree=30249560/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=31176 CPUtime=1362.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 8814 0 0 0 87878 48352 0 0 25 0 1 0 14593197 31924224 7426 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 7794 7426 237 467 0 7325 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 31176

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13631
/proc/meminfo: memFree=30246424/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=31324 CPUtime=1422.31
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 8838 0 0 0 92197 50034 0 0 25 0 1 0 14593197 32075776 7450 4089446400 134512640 136422188 4288521200 18446744073709551615 134902759 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 7831 7450 237 467 0 7362 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 31324

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13633
/proc/meminfo: memFree=30245036/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=32740 CPUtime=1482.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 9280 0 0 0 96174 52056 0 0 25 0 1 0 14593197 33525760 7815 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 8185 7815 237 467 0 7716 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 32740

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 13634
/proc/meminfo: memFree=30243392/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=32740 CPUtime=1542.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 9280 0 0 0 100033 54197 0 0 25 0 1 0 14593197 33525760 7815 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 8185 7815 237 467 0 7716 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 32740

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13636
/proc/meminfo: memFree=30243112/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=32740 CPUtime=1602.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 9280 0 0 0 103966 56264 0 0 25 0 1 0 14593197 33525760 7815 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 8185 7815 237 467 0 7716 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 32740

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13637
/proc/meminfo: memFree=30243076/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=32740 CPUtime=1662.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 9280 0 0 0 107996 58234 0 0 25 0 1 0 14593197 33525760 7815 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 8185 7815 237 467 0 7716 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 32740

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13639
/proc/meminfo: memFree=30242680/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=32740 CPUtime=1722.3
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 9280 0 0 0 111816 60414 0 0 25 0 1 0 14593197 33525760 7815 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 8185 7815 237 467 0 7716 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 32740

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 13659
/proc/meminfo: memFree=30322172/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=32740 CPUtime=1782.31
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 9280 0 0 0 115759 62472 0 0 25 0 1 0 14593197 33525760 7815 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 8185 7815 237 467 0 7716 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 32740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.72 1.93 1.98 2/169 13665
/proc/meminfo: memFree=30324096/32951132 swapFree=67111528/67111528
[pid=13583] ppid=13581 vsize=32740 CPUtime=1800.01
/proc/13583/stat : 13583 (pbct) R 13581 13583 13043 0 -1 4202496 9280 0 0 0 116758 63243 0 0 25 0 1 0 14593197 33525760 7815 4089446400 134512640 136422188 4288521200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13583/statm: 8185 7815 237 467 0 7716 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 32740

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.02
CPU user time (s): 1167.58
CPU system time (s): 632.439
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 33172

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

runsolver used 2.88656 second user time and 5.98409 second system time

The end

Launcher Data 

Begin job on node129 at 2010-07-07 02:49:55
IDJOB=2699257
IDBENCH=79162
IDSOLVER=1212
FILE ID=node129/2699257-1278463795
PBS_JOBID= 11233734
Free space on /tmp= 73964 MiB

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

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

MD5SUM BENCH= cad14126bbe64a82703c3144c4e347cd
RANDOM SEED=1636880744

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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	: 5311.72
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.836
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.82
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.836
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.836
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30323352 kB
Buffers:        116388 kB
Cached:        2288232 kB
SwapCached:          0 kB
Active:         811948 kB
Inactive:      1684096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30323352 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3972 kB
Writeback:          20 kB
AnonPages:       91744 kB
Mapped:          15748 kB
Slab:            68244 kB
PageTables:       4780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   233164 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73964 MiB
End job on node129 at 2010-07-07 03:19:57