Trace number 2695105

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMa9a2270f2536f669bb9dfa31ae05dbb5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark0.06299
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 constraints61
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 3008
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3007
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 14/26 clauses 15/35 units 0
0.00/0.00	c vars 1000
223.68/223.71	c 221.086 10.6641 5982 617024
223.68/223.71	o 921
224.18/224.20	c 221.571 10.6641 5987 617525
224.18/224.20	o 913
270.49/270.55	c 267.676 10.6641 6364 686107
270.49/270.55	o 633
293.29/293.31	c 290.345 10.6641 6535 716091
293.29/293.31	o 499
293.69/293.74	c 290.77 10.6641 6537 716492
293.69/293.74	o 488
349.49/349.53	c 346.379 10.6641 6949 790282
349.49/349.53	o 437
380.69/380.77	c 377.518 10.6641 7211 829793
380.69/380.77	o 422
405.90/405.92	c 402.595 10.7852 7395 862042
405.90/405.92	o 393
408.09/408.10	c 404.766 10.7852 7407 865235
408.09/408.10	o 380
412.59/412.65	c 409.303 10.7852 7435 870603
412.59/412.65	o 378
417.49/417.59	c 414.226 10.7852 7479 876385
417.49/417.59	o 366
460.39/460.43	c 456.946 10.7852 7624 913704
460.39/460.43	o 360
469.49/469.54	c 466.032 10.7852 7651 922252
469.49/469.54	o 320
510.29/510.39	c 506.755 10.7852 7688 953061
510.29/510.39	o 298
582.59/582.63	c 578.765 10.7852 7735 1014261
582.59/582.63	o 276
752.40/752.47	c 748.028 10.7852 7766 1141323
752.40/752.47	o 275
1158.01/1158.05	c 1151.87 10.7852 7786 1436493
1158.01/1158.05	o 269
1647.12/1647.19	c 1639.06 10.7852 7795 1841022
1647.12/1647.19	o 261
1800.02/1800.00	s SATISFIABLE
1800.02/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	261

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695105-1277886230/watcher-2695105-1277886230 -o /tmp/evaluation-result-2695105-1277886230/solver-2695105-1277886230 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695105-1277886230.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.12 0.32 0.11 3/196 10204
/proc/meminfo: memFree=31171748/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=3708 CPUtime=0
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 129919937 3796992 551 4089446400 134512640 136421960 4293007040 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 927 553 193 467 0 458 0

[startup+0.0413399 s]
/proc/loadavg: 1.12 0.32 0.11 3/196 10204
/proc/meminfo: memFree=31171748/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10636 CPUtime=0.03
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2338 0 0 0 3 0 0 0 21 0 1 0 129919937 10891264 2257 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2659 2257 213 467 0 2190 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10636

[startup+0.100328 s]
/proc/loadavg: 1.12 0.32 0.11 3/196 10204
/proc/meminfo: memFree=31171748/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10636 CPUtime=0.09
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2344 0 0 0 4 5 0 0 21 0 1 0 129919937 10891264 2263 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2659 2263 214 467 0 2190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10636

[startup+0.300292 s]
/proc/loadavg: 1.12 0.32 0.11 3/196 10204
/proc/meminfo: memFree=31171748/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10636 CPUtime=0.29
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2350 0 0 0 8 21 0 0 21 0 1 0 129919937 10891264 2269 4089446400 134512640 136421960 4293007040 18446744073709551615 135686965 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2659 2269 214 467 0 2190 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10636

[startup+0.700221 s]
/proc/loadavg: 1.12 0.32 0.11 3/196 10204
/proc/meminfo: memFree=31171748/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10636 CPUtime=0.69
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2357 0 0 0 20 49 0 0 22 0 1 0 129919937 10891264 2276 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2659 2276 214 467 0 2190 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10636

[startup+1.50008 s]
/proc/loadavg: 1.12 0.32 0.11 3/197 10205
/proc/meminfo: memFree=31163192/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10636 CPUtime=1.49
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2363 0 0 0 76 73 0 0 25 0 1 0 129919937 10891264 2282 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2659 2282 214 467 0 2190 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10636

[startup+3.10079 s]
/proc/loadavg: 1.12 0.32 0.11 3/197 10205
/proc/meminfo: memFree=31162820/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10636 CPUtime=3.08
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2369 0 0 0 225 83 0 0 25 0 1 0 129919937 10891264 2288 4089446400 134512640 136421960 4293007040 18446744073709551615 134902414 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/10204/statm: 2659 2288 214 467 0 2190 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10636

[startup+6.30033 s]
/proc/loadavg: 1.19 0.34 0.12 3/197 10205
/proc/meminfo: memFree=31154188/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10772 CPUtime=6.28
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2374 0 0 0 528 100 0 0 25 0 1 0 129919937 11030528 2293 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/10204/statm: 2693 2293 214 467 0 2224 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10772

[startup+12.7002 s]
/proc/loadavg: 1.25 0.37 0.13 3/197 10205
/proc/meminfo: memFree=31154900/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10772 CPUtime=12.68
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2376 0 0 0 1159 109 0 0 25 0 1 0 129919937 11030528 2295 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/10204/statm: 2693 2295 214 467 0 2224 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10772

[startup+25.5009 s]
/proc/loadavg: 1.42 0.45 0.16 3/197 10206
/proc/meminfo: memFree=31155616/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10772 CPUtime=25.48
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2380 0 0 0 2428 120 0 0 25 0 1 0 129919937 11030528 2299 4089446400 134512640 136421960 4293007040 18446744073709551615 134902394 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/10204/statm: 2693 2299 214 467 0 2224 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10772

[startup+51.1003 s]
/proc/loadavg: 1.62 0.57 0.20 3/197 10207
/proc/meminfo: memFree=31148776/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10772 CPUtime=51.09
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2386 0 0 0 4970 139 0 0 25 0 1 0 129919937 11030528 2305 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/10204/statm: 2693 2305 214 467 0 2224 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 10772

[startup+102.307 s]
/proc/loadavg: 1.83 0.79 0.30 3/197 10208
/proc/meminfo: memFree=31127420/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10772 CPUtime=102.29
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2394 0 0 0 10048 181 0 0 25 0 1 0 129919937 11030528 2313 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/10204/statm: 2693 2313 214 467 0 2224 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 10772

[startup+162.3 s]
/proc/loadavg: 1.94 1.01 0.40 3/197 10209
/proc/meminfo: memFree=31120304/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10772 CPUtime=162.29
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2401 0 0 0 16005 224 0 0 25 0 1 0 129919937 11030528 2320 4089446400 134512640 136421960 4293007040 18446744073709551615 134902548 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/10204/statm: 2693 2320 214 467 0 2224 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 10772

[startup+222.301 s]
/proc/loadavg: 2.01 1.20 0.50 3/197 10211
/proc/meminfo: memFree=31120244/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10916 CPUtime=222.29
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2407 0 0 0 21967 262 0 0 25 0 1 0 129919937 11177984 2326 4089446400 134512640 136421960 4293007040 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2729 2326 214 467 0 2260 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 10916

[startup+282.301 s]
/proc/loadavg: 2.00 1.34 0.59 3/197 10213
/proc/meminfo: memFree=31119448/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10916 CPUtime=282.28
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2454 0 0 0 27937 291 0 0 25 0 1 0 129919937 11177984 2370 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2729 2370 237 467 0 2260 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 10916

[startup+342.3 s]
/proc/loadavg: 2.00 1.46 0.68 3/197 10214
/proc/meminfo: memFree=31119536/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=10916 CPUtime=342.29
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2457 0 0 0 33916 313 0 0 25 0 1 0 129919937 11177984 2371 4089446400 134512640 136421960 4293007040 18446744073709551615 134902512 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2729 2371 237 467 0 2260 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 10916

[startup+402.3 s]
/proc/loadavg: 2.00 1.56 0.76 3/197 10216
/proc/meminfo: memFree=31119512/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=402.29
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2466 0 0 0 39897 332 0 0 25 0 1 0 129919937 11304960 2378 4089446400 134512640 136421960 4293007040 18446744073709551615 134902253 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2378 237 467 0 2291 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 11040

[startup+462.301 s]
/proc/loadavg: 2.00 1.63 0.83 3/197 10220
/proc/meminfo: memFree=31117716/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=462.29
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2478 0 0 0 45880 349 0 0 25 0 1 0 129919937 11304960 2385 4089446400 134512640 136421960 4293007040 18446744073709551615 134902394 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2385 237 467 0 2291 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 11040

[startup+522.301 s]
/proc/loadavg: 2.00 1.70 0.90 3/197 10222
/proc/meminfo: memFree=31117732/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=522.29
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2485 0 0 0 51863 366 0 0 25 0 1 0 129919937 11304960 2390 4089446400 134512640 136421960 4293007040 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2390 237 467 0 2291 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 11040

[startup+582.3 s]
/proc/loadavg: 2.00 1.75 0.97 3/197 10224
/proc/meminfo: memFree=31117692/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=582.29
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2487 0 0 0 57842 387 0 0 25 0 1 0 129919937 11304960 2392 4089446400 134512640 136421960 4293007040 18446744073709551615 134902248 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2392 237 467 0 2291 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 11040

[startup+642.301 s]
/proc/loadavg: 2.00 1.79 1.03 3/197 10225
/proc/meminfo: memFree=31117772/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=642.3
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2490 0 0 0 63825 405 0 0 25 0 1 0 129919937 11304960 2394 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2394 237 467 0 2291 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 11040

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 1.89 1.20 3/197 10230
/proc/meminfo: memFree=31106132/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=822.3
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2494 0 0 0 81764 466 0 0 25 0 1 0 129919937 11304960 2397 4089446400 134512640 136421960 4293007040 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2397 237 467 0 2291 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 11040

[startup+882.301 s]
/proc/loadavg: 2.00 1.91 1.24 3/197 10232
/proc/meminfo: memFree=31105840/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=882.3
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2495 0 0 0 87742 488 0 0 25 0 1 0 129919937 11304960 2398 4089446400 134512640 136421960 4293007040 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2398 237 467 0 2291 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 11040

[startup+942.301 s]
/proc/loadavg: 2.00 1.92 1.29 3/197 10233
/proc/meminfo: memFree=31105672/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=942.3
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2495 0 0 0 93715 515 0 0 25 0 1 0 129919937 11304960 2398 4089446400 134512640 136421960 4293007040 18446744073709551615 134902237 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2398 237 467 0 2291 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 11040

[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.33 3/197 10235
/proc/meminfo: memFree=31105652/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1002.3
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2495 0 0 0 99687 543 0 0 25 0 1 0 129919937 11304960 2398 4089446400 134512640 136421960 4293007040 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2398 237 467 0 2291 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 11040

[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.37 3/197 10236
/proc/meminfo: memFree=31104864/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1062.31
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2496 0 0 0 105656 575 0 0 25 0 1 0 129919937 11304960 2399 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2399 237 467 0 2291 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 11040

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/197 10238
/proc/meminfo: memFree=31104832/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1122.31
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2497 0 0 0 111626 605 0 0 25 0 1 0 129919937 11304960 2400 4089446400 134512640 136421960 4293007040 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2400 237 467 0 2291 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 11040

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.44 3/197 10240
/proc/meminfo: memFree=31093140/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1182.31
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2498 0 0 0 117599 632 0 0 25 0 1 0 129919937 11304960 2400 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2400 237 467 0 2291 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 11040

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.47 3/197 10241
/proc/meminfo: memFree=31092608/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1242.31
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2498 0 0 0 123572 659 0 0 25 0 1 0 129919937 11304960 2400 4089446400 134512640 136421960 4293007040 18446744073709551615 134902271 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2400 237 467 0 2291 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 11040

[startup+1302.3 s]
/proc/loadavg: 2.07 1.98 1.51 3/197 10243
/proc/meminfo: memFree=31092448/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1302.32
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2499 0 0 0 129545 687 0 0 25 0 1 0 129919937 11304960 2401 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2401 237 467 0 2291 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 11040

[startup+1362.3 s]
/proc/loadavg: 2.48 2.11 1.58 3/197 10244
/proc/meminfo: memFree=31091792/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1362.31
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2499 0 0 0 135517 714 0 0 25 0 1 0 129919937 11304960 2401 4089446400 134512640 136421960 4293007040 18446744073709551615 134902536 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2401 237 467 0 2291 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 11040

[startup+1422.31 s]
/proc/loadavg: 2.18 2.09 1.60 3/197 10246
/proc/meminfo: memFree=31091384/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1422.32
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2500 0 0 0 141490 742 0 0 25 0 1 0 129919937 11304960 2402 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2402 237 467 0 2291 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 11040

[startup+1482.3 s]
/proc/loadavg: 2.06 2.07 1.62 3/197 10248
/proc/meminfo: memFree=31084640/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1482.31
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2501 0 0 0 147472 759 0 0 25 0 1 0 129919937 11304960 2403 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2403 237 467 0 2291 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 11040

[startup+1542.3 s]
/proc/loadavg: 2.42 2.16 1.68 3/197 10249
/proc/meminfo: memFree=31084612/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1542.32
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2501 0 0 0 153452 780 0 0 25 0 1 0 129919937 11304960 2403 4089446400 134512640 136421960 4293007040 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2403 237 467 0 2291 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 11040

[startup+1602.3 s]
/proc/loadavg: 2.15 2.13 1.70 3/197 10251
/proc/meminfo: memFree=31084460/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1602.32
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2501 0 0 0 159431 801 0 0 25 0 1 0 129919937 11304960 2403 4089446400 134512640 136421960 4293007040 18446744073709551615 134902384 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2403 237 467 0 2291 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 11040

[startup+1662.3 s]
/proc/loadavg: 2.05 2.10 1.72 3/197 10252
/proc/meminfo: memFree=31084188/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1662.32
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2502 0 0 0 165411 821 0 0 25 0 1 0 129919937 11304960 2403 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2403 237 467 0 2291 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 11040

[startup+1722.3 s]
/proc/loadavg: 2.02 2.08 1.73 3/197 10254
/proc/meminfo: memFree=31083768/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1722.31
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2502 0 0 0 171389 842 0 0 25 0 1 0 129919937 11304960 2403 4089446400 134512640 136421960 4293007040 18446744073709551615 134902239 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10204/statm: 2760 2403 237 467 0 2291 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 11040

[startup+1782.3 s]
/proc/loadavg: 1.97 2.05 1.74 3/180 10364
/proc/meminfo: memFree=31404716/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1782.31
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2503 0 0 0 177375 856 0 0 25 0 1 0 129919937 11304960 2404 4089446400 134512640 136421960 4293007040 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/10204/statm: 2760 2404 237 467 0 2291 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 11040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.98 2.05 1.74 3/180 10364
/proc/meminfo: memFree=31404832/32950928 swapFree=67111528/67111528
[pid=10204] ppid=10202 vsize=11040 CPUtime=1800.02
/proc/10204/stat : 10204 (pbct) R 10202 10204 9960 0 -1 4202496 2503 0 0 0 179142 860 0 0 25 0 1 0 129919937 11304960 2404 4089446400 134512640 136421960 4293007040 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/10204/statm: 2760 2404 237 467 0 2291 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 11040

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

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

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

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

runsolver used 2.70259 second user time and 5.72913 second system time

The end

Launcher Data 

Begin job on node122 at 2010-06-30 10:23:50
IDJOB=2695105
IDBENCH=78663
IDSOLVER=1208
FILE ID=node122/2695105-1277886230
PBS_JOBID= 11197109
Free space on /tmp= 74204 MiB

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

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

MD5SUM BENCH= a9a2270f2536f669bb9dfa31ae05dbb5
RANDOM SEED=932213320

node122.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	: 5226.08
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.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.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	: 5332.85
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.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.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.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.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31172524 kB
Buffers:        170220 kB
Cached:        1111748 kB
SwapCached:          0 kB
Active:         836448 kB
Inactive:       799968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31172524 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5380 kB
Writeback:           0 kB
AnonPages:      354148 kB
Mapped:          20532 kB
Slab:            78112 kB
PageTables:       5988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1653656 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= 74188 MiB
End job on node122 at 2010-06-30 10:53:52