Trace number 2695475

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.1MSAT (TO) 1800.05 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.1 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
93.69/93.71	c 93.3288 10.8047 7620 402629
93.69/93.71	o 1183
93.99/94.03	c 93.6538 10.9414 7635 403041
93.99/94.03	o 1169
132.00/132.05	c 131.606 10.9414 8283 485284
132.00/132.05	o 846
132.09/132.13	c 131.679 10.9414 8284 485393
132.09/132.13	o 815
180.69/180.78	c 180.261 10.9414 8950 594497
180.69/180.78	o 646
375.60/375.63	c 374.84 10.9414 11147 952095
375.60/375.63	o 529
402.90/402.94	c 402.113 10.9414 11435 993329
402.90/402.94	o 522
413.70/413.78	c 412.936 10.9414 11540 1009587
413.70/413.78	o 447
424.80/424.89	c 424.039 11.0664 11646 1025467
424.80/424.89	o 383
448.60/448.69	c 447.81 11.0664 11790 1055847
448.60/448.69	o 354
449.20/449.26	c 448.381 11.0664 11793 1056650
449.20/449.26	o 352
480.00/480.09	c 479.182 11.0664 11908 1090687
480.00/480.09	o 346
530.00/530.06	c 529.093 11.0664 11942 1127615
530.00/530.06	o 318
603.51/603.59	c 602.543 11.0664 11975 1198339
603.51/603.59	o 315
657.00/657.07	c 655.955 11.0664 11983 1254453
657.00/657.07	o 280
674.21/674.21	c 673.086 11.0664 11989 1272308
674.21/674.21	o 274
685.91/685.95	c 684.808 11.0664 11987 1282931
685.91/685.95	o 244
727.11/727.18	c 725.987 11.0664 11990 1325178
727.11/727.18	o 243
752.01/752.03	c 750.813 11.0664 11999 1342581
752.01/752.03	o 228
764.60/764.68	c 763.456 11.0664 11995 1354547
764.60/764.68	o 226
845.21/845.29	c 843.968 11.0664 11999 1429147
845.21/845.29	o 224
1374.32/1374.38	c 1372.12 11.0664 12004 1940822
1374.32/1374.38	o 222
1437.22/1437.29	c 1434.87 11.0664 12008 1992319
1437.22/1437.29	o 211
1800.03/1800.00	s SATISFIABLE
1800.03/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	211

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.13 2.11 2.04 4/178 12642
/proc/meminfo: memFree=28633104/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=3572 CPUtime=0
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 600 0 0 0 0 0 0 0 25 0 1 0 133353662 3657728 519 4089446400 134512640 136421960 4291422224 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12642/statm: 893 523 193 467 0 424 0

[startup+0.0545541 s]
/proc/loadavg: 2.13 2.11 2.04 4/178 12642
/proc/meminfo: memFree=28633104/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=10660 CPUtime=0.04
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2369 0 0 0 4 0 0 0 25 0 1 0 133353662 10915840 2288 4089446400 134512640 136421960 4291422224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12642/statm: 2665 2288 213 467 0 2196 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10660

[startup+0.100552 s]
/proc/loadavg: 2.13 2.11 2.04 4/178 12642
/proc/meminfo: memFree=28633104/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=10660 CPUtime=0.09
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2378 0 0 0 7 2 0 0 25 0 1 0 133353662 10915840 2297 4089446400 134512640 136421960 4291422224 18446744073709551615 135006073 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12642/statm: 2665 2297 214 467 0 2196 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10660

[startup+0.300509 s]
/proc/loadavg: 2.13 2.11 2.04 4/178 12642
/proc/meminfo: memFree=28633104/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=10792 CPUtime=0.29
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2387 0 0 0 22 7 0 0 25 0 1 0 133353662 11051008 2306 4089446400 134512640 136421960 4291422224 18446744073709551615 134902512 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12642/statm: 2698 2306 214 467 0 2229 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10792

[startup+0.70045 s]
/proc/loadavg: 2.13 2.11 2.04 4/178 12642
/proc/meminfo: memFree=28633104/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=10792 CPUtime=0.69
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2393 0 0 0 59 10 0 0 25 0 1 0 133353662 11051008 2312 4089446400 134512640 136421960 4291422224 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12642/statm: 2698 2312 214 467 0 2229 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10792

[startup+1.5003 s]
/proc/loadavg: 2.13 2.11 2.04 3/179 12643
/proc/meminfo: memFree=28622192/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=10792 CPUtime=1.49
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2396 0 0 0 137 12 0 0 25 0 1 0 133353662 11051008 2315 4089446400 134512640 136421960 4291422224 18446744073709551615 134902521 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12642/statm: 2698 2315 214 467 0 2229 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10792

[startup+3.10101 s]
/proc/loadavg: 2.13 2.11 2.04 3/179 12643
/proc/meminfo: memFree=28617852/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=10792 CPUtime=3.09
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2400 0 0 0 295 14 0 0 25 0 1 0 133353662 11051008 2319 4089446400 134512640 136421960 4291422224 18446744073709551615 134902406 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12642/statm: 2698 2319 214 467 0 2229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10792

[startup+6.30046 s]
/proc/loadavg: 2.12 2.11 2.04 3/179 12643
/proc/meminfo: memFree=28605956/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=10792 CPUtime=6.29
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2403 0 0 0 613 16 0 0 25 0 1 0 133353662 11051008 2322 4089446400 134512640 136421960 4291422224 18446744073709551615 134902248 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12642/statm: 2698 2322 214 467 0 2229 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10792

[startup+12.7003 s]
/proc/loadavg: 2.11 2.11 2.04 3/179 12643
/proc/meminfo: memFree=28587972/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=10792 CPUtime=12.69
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2409 0 0 0 1250 19 0 0 25 0 1 0 133353662 11051008 2328 4089446400 134512640 136421960 4291422224 18446744073709551615 134902237 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12642/statm: 2698 2328 214 467 0 2229 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10792

[startup+25.5011 s]
/proc/loadavg: 2.08 2.10 2.04 3/179 12644
/proc/meminfo: memFree=28554280/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=10928 CPUtime=25.49
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2417 0 0 0 2527 22 0 0 25 0 1 0 133353662 11190272 2336 4089446400 134512640 136421960 4291422224 18446744073709551615 134902347 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12642/statm: 2732 2336 214 467 0 2263 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10928

[startup+51.1006 s]
/proc/loadavg: 2.05 2.09 2.04 3/179 12645
/proc/meminfo: memFree=28473832/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=10928 CPUtime=51.09
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2438 0 0 0 5079 30 0 0 25 0 1 0 133353662 11190272 2357 4089446400 134512640 136421960 4291422224 18446744073709551615 134902237 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12642/statm: 2732 2357 214 467 0 2263 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 10928

[startup+102.307 s]
/proc/loadavg: 2.02 2.08 2.03 3/179 12646
/proc/meminfo: memFree=28330792/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11200 CPUtime=102.3
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2500 0 0 0 10191 39 0 0 25 0 1 0 133353662 11468800 2417 4089446400 134512640 136421960 4291422224 18446744073709551615 134902265 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12642/statm: 2800 2417 237 467 0 2331 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11200

[startup+162.3 s]
/proc/loadavg: 2.01 2.06 2.03 3/179 12647
/proc/meminfo: memFree=28213540/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11200 CPUtime=162.29
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2511 0 0 0 16179 50 0 0 25 0 1 0 133353662 11468800 2426 4089446400 134512640 136421960 4291422224 18446744073709551615 134902367 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2800 2426 237 467 0 2331 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 11200

[startup+222.301 s]
/proc/loadavg: 2.08 2.06 2.02 3/179 12649
/proc/meminfo: memFree=28175224/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11200 CPUtime=222.29
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2513 0 0 0 22172 57 0 0 25 0 1 0 133353662 11468800 2427 4089446400 134512640 136421960 4291422224 18446744073709551615 134857087 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2800 2427 237 467 0 2331 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 11200

[startup+282.301 s]
/proc/loadavg: 2.03 2.05 2.02 3/179 12651
/proc/meminfo: memFree=28157304/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11200 CPUtime=282.3
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2520 0 0 0 28163 67 0 0 25 0 1 0 133353662 11468800 2434 4089446400 134512640 136421960 4291422224 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2800 2434 237 467 0 2331 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 11200

[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.01 3/179 12662
/proc/meminfo: memFree=28143520/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11200 CPUtime=342.3
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2526 0 0 0 34154 76 0 0 25 0 1 0 133353662 11468800 2440 4089446400 134512640 136421960 4291422224 18446744073709551615 134902248 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2800 2440 237 467 0 2331 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 11200

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/179 12663
/proc/meminfo: memFree=28140592/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11200 CPUtime=402.3
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2534 0 0 0 40146 84 0 0 25 0 1 0 133353662 11468800 2447 4089446400 134512640 136421960 4291422224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2800 2447 237 467 0 2331 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 11200

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 12664
/proc/meminfo: memFree=28139284/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=462.3
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2548 0 0 0 46140 90 0 0 25 0 1 0 133353662 11599872 2456 4089446400 134512640 136421960 4291422224 18446744073709551615 134902512 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2832 2456 237 467 0 2363 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 11328

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 12666
/proc/meminfo: memFree=28133648/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=522.3
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2555 0 0 0 52133 97 0 0 25 0 1 0 133353662 11599872 2462 4089446400 134512640 136421960 4291422224 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2832 2462 237 467 0 2363 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 11328

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12668
/proc/meminfo: memFree=28129856/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=582.3
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2558 0 0 0 58126 104 0 0 25 0 1 0 133353662 11599872 2464 4089446400 134512640 136421960 4291422224 18446744073709551615 134902394 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2832 2464 237 467 0 2363 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 11328

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12670
/proc/meminfo: memFree=28123976/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=642.31
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2560 0 0 0 64121 110 0 0 25 0 1 0 133353662 11599872 2465 4089446400 134512640 136421960 4291422224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2832 2465 237 467 0 2363 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 11328

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12674
/proc/meminfo: memFree=28124164/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=822.31
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2574 0 0 0 82099 132 0 0 25 0 1 0 133353662 11599872 2473 4089446400 134512640 136421960 4291422224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2832 2473 237 467 0 2363 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 11328

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12676
/proc/meminfo: memFree=28124608/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=882.31
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2576 0 0 0 88093 138 0 0 25 0 1 0 133353662 11599872 2474 4089446400 134512640 136421960 4291422224 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2832 2474 237 467 0 2363 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 11328

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12678
/proc/meminfo: memFree=28124424/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=942.31
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2577 0 0 0 94085 146 0 0 25 0 1 0 133353662 11599872 2475 4089446400 134512640 136421960 4291422224 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2832 2475 237 467 0 2363 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 11328

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12679
/proc/meminfo: memFree=28124368/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1002.32
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2579 0 0 0 100079 153 0 0 25 0 1 0 133353662 11599872 2477 4089446400 134512640 136421960 4291422224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2832 2477 237 467 0 2363 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 11328

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12680
/proc/meminfo: memFree=28116980/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1062.31
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2579 0 0 0 106072 159 0 0 25 0 1 0 133353662 11599872 2477 4089446400 134512640 136421960 4291422224 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2832 2477 237 467 0 2363 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 11328

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12682
/proc/meminfo: memFree=28116684/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1122.31
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2580 0 0 0 112066 165 0 0 25 0 1 0 133353662 11599872 2478 4089446400 134512640 136421960 4291422224 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12642/statm: 2832 2478 237 467 0 2363 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 11328

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12765
/proc/meminfo: memFree=31244604/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1182.31
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2580 0 0 0 118054 177 0 0 25 0 1 0 133353662 11599872 2478 4089446400 134512640 136421960 4291422224 18446744073709551615 134902275 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12642/statm: 2832 2478 237 467 0 2363 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 11328

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12767
/proc/meminfo: memFree=31244204/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1242.32
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2581 0 0 0 124041 191 0 0 25 0 1 0 133353662 11599872 2479 4089446400 134512640 136421960 4291422224 18446744073709551615 134902096 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12642/statm: 2832 2479 237 467 0 2363 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 11328

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12768
/proc/meminfo: memFree=31244048/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1302.33
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2581 0 0 0 130025 208 0 0 25 0 1 0 133353662 11599872 2479 4089446400 134512640 136421960 4291422224 18446744073709551615 134902536 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12642/statm: 2832 2479 237 467 0 2363 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 11328

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12769
/proc/meminfo: memFree=31244388/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1362.32
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2581 0 0 0 136007 225 0 0 25 0 1 0 133353662 11599872 2479 4089446400 134512640 136421960 4291422224 18446744073709551615 134902512 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12642/statm: 2832 2479 237 467 0 2363 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 11328

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12771
/proc/meminfo: memFree=31244480/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1422.33
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2582 0 0 0 141992 241 0 0 25 0 1 0 133353662 11599872 2479 4089446400 134512640 136421960 4291422224 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12642/statm: 2832 2479 237 467 0 2363 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 11328

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12773
/proc/meminfo: memFree=31244184/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1482.32
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2586 0 0 0 147976 256 0 0 25 0 1 0 133353662 11599872 2482 4089446400 134512640 136421960 4291422224 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12642/statm: 2832 2482 237 467 0 2363 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 11328

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12775
/proc/meminfo: memFree=31244284/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1542.33
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2586 0 0 0 153962 271 0 0 25 0 1 0 133353662 11599872 2482 4089446400 134512640 136421960 4291422224 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12642/statm: 2832 2482 237 467 0 2363 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 11328

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12776
/proc/meminfo: memFree=31244368/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1602.33
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2586 0 0 0 159946 287 0 0 25 0 1 0 133353662 11599872 2482 4089446400 134512640 136421960 4291422224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12642/statm: 2832 2482 237 467 0 2363 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 11328

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12777
/proc/meminfo: memFree=31244332/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1662.32
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2586 0 0 0 165929 303 0 0 25 0 1 0 133353662 11599872 2482 4089446400 134512640 136421960 4291422224 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12642/statm: 2832 2482 237 467 0 2363 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 11328

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12779
/proc/meminfo: memFree=31244048/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1722.33
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2586 0 0 0 171912 321 0 0 25 0 1 0 133353662 11599872 2482 4089446400 134512640 136421960 4291422224 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12642/statm: 2832 2482 237 467 0 2363 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 11328

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12781
/proc/meminfo: memFree=31244268/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1782.32
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2586 0 0 0 177897 335 0 0 25 0 1 0 133353662 11599872 2482 4089446400 134512640 136421960 4291422224 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12642/statm: 2832 2482 237 467 0 2363 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 11328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12781
/proc/meminfo: memFree=31244004/32951124 swapFree=67111528/67111528
[pid=12642] ppid=12640 vsize=11328 CPUtime=1800.03
/proc/12642/stat : 12642 (pbct) R 12640 12642 11701 0 -1 4202496 2586 0 0 0 179663 340 0 0 25 0 1 0 133353662 11599872 2482 4089446400 134512640 136421960 4291422224 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12642/statm: 2832 2482 237 467 0 2363 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 11328

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): 1796.64
CPU system time (s): 3.40948
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 11328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.64
system time used= 3.40948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 3050

runsolver used 2.57461 second user time and 5.63914 second system time

The end

Launcher Data 

Begin job on node107 at 2010-06-30 19:56:01
IDJOB=2695475
IDBENCH=79162
IDSOLVER=1208
FILE ID=node107/2695475-1277920561
PBS_JOBID= 11197316
Free space on /tmp= 74208 MiB

SOLVER NAME= PB/CT 0.1
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-2695475-1277920561/watcher-2695475-1277920561 -o /tmp/evaluation-result-2695475-1277920561/solver-2695475-1277920561 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2695475-1277920561.wbo

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

MD5SUM BENCH= cad14126bbe64a82703c3144c4e347cd
RANDOM SEED=2086402666

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28633632 kB
Buffers:        202020 kB
Cached:        1273720 kB
SwapCached:          0 kB
Active:        3054416 kB
Inactive:      1113040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28633632 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2188 kB
Writeback:           0 kB
AnonPages:     2691752 kB
Mapped:          16320 kB
Slab:            79856 kB
PageTables:      10104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2846988 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= 74208 MiB
End job on node107 at 2010-06-30 20:26:03