Trace number 2700633

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.08 1800.03

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
academics/normalized-slangford-3-11_wcsp.wbo
MD5SUM6f58e736787ec730241fe31cbfb7f2ba
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark327
Best CPU time to get the best result obtained on this benchmark1800.08
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1089
Total number of constraints53185
Number of soft constraints53152
Number of constraints which are clauses53152
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint33
Top cost 976
Min constraint cost 1
Max constraint cost 976
Sum of constraints costs 37740146
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 34
Number of bits of the biggest sum of numbers6
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.19/0.27	c constraints 33/0 clauses 0/53152 units 0
0.19/0.27	c vars 1089
0.19/0.27	c Setting top cost 976
34.70/34.78	c 28.8326 306.785 5629 197505
34.70/34.78	o 934
201.09/201.17	c 175.202 374.809 22064 632711
201.09/201.17	o 901
294.70/294.77	c 257.89 407.098 28503 832316
294.70/294.77	o 754
299.21/299.24	c 261.566 410.652 29499 866758
299.21/299.24	o 745
303.30/303.33	c 265.046 413.527 30420 904419
303.30/303.33	o 735
316.30/316.35	c 276.978 417.238 31315 922131
316.30/316.35	o 713
782.81/782.85	c 715.662 522.254 47235 1486767
782.81/782.85	o 666
915.72/915.77	c 840.844 540.945 51103 1604518
915.72/915.77	o 639
1025.72/1025.75	c 944.388 547.949 20093 1723324
1025.72/1025.75	o 603
1138.12/1138.14	c 1050.9 547.949 23824 1821044
1138.12/1138.14	o 584
1166.73/1166.74	c 1077.43 547.949 25261 1873954
1166.73/1166.74	o 555
1191.52/1191.52	c 1101.49 547.949 25831 1912020
1191.52/1191.52	o 506
1460.23/1460.26	c 1359.65 547.949 32428 2065991
1460.23/1460.26	o 485
1541.64/1541.69	c 1437.8 547.949 36719 2090415
1541.64/1541.69	o 427
1601.04/1601.02	c 1495.07 547.949 38503 2142936
1601.04/1601.02	o 403
1681.64/1681.69	c 1571.25 547.949 40784 2166218
1681.64/1681.69	o 332
1706.84/1706.83	c 1594.92 547.949 37648 2182305
1706.84/1706.83	o 327
1800.05/1800.00	s SATISFIABLE
1800.05/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 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089

Verifier Data 

OK	327

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700633-1278536077/watcher-2700633-1278536077 -o /tmp/evaluation-result-2700633-1278536077/solver-2700633-1278536077 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700633-1278536077.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.00 1.99 1.79 4/178 18123
/proc/meminfo: memFree=27530352/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=2268 CPUtime=0
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 280 0 0 0 0 0 0 0 25 0 1 0 21820608 2322432 199 4089446400 134512640 136422188 4294926032 18446744073709551615 135160492 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18123/statm: 567 199 144 467 0 98 0

[startup+0.0100881 s]
/proc/loadavg: 2.00 1.99 1.79 4/178 18123
/proc/meminfo: memFree=27530352/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=2268 CPUtime=0
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 293 0 0 0 0 0 0 0 25 0 1 0 21820608 2322432 212 4089446400 134512640 136422188 4294926032 18446744073709551615 135809704 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18123/statm: 567 212 144 467 0 98 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2268

[startup+0.101136 s]
/proc/loadavg: 2.00 1.99 1.79 4/178 18123
/proc/meminfo: memFree=27530352/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=3752 CPUtime=0.1
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 694 0 0 0 10 0 0 0 25 0 1 0 21820608 3842048 515 4089446400 134512640 136422188 4294926032 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18123/statm: 938 515 144 467 0 469 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3752

[startup+0.301097 s]
/proc/loadavg: 2.00 1.99 1.79 4/178 18123
/proc/meminfo: memFree=27530352/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=12256 CPUtime=0.29
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 2931 0 0 0 29 0 0 0 25 0 1 0 21820608 12550144 2623 4089446400 134512640 136422188 4294926032 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18123/statm: 3064 2625 195 467 0 2595 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12256

[startup+0.70102 s]
/proc/loadavg: 2.00 1.99 1.79 4/178 18123
/proc/meminfo: memFree=27530352/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=107408 CPUtime=0.69
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 27461 0 0 0 66 3 0 0 25 0 1 0 21820608 109985792 26196 4089446400 134512640 136422188 4294926032 18446744073709551615 134632651 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18123/statm: 26852 26196 195 467 0 26383 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107408

[startup+1.50088 s]
/proc/loadavg: 2.00 1.99 1.79 3/179 18124
/proc/meminfo: memFree=27352404/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=294616 CPUtime=1.49
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 76469 0 0 0 140 9 0 0 25 0 1 0 21820608 301686784 71516 4089446400 134512640 136422188 4294926032 18446744073709551615 135017819 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18123/statm: 73654 71516 209 467 0 73185 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 294616

[startup+3.10054 s]
/proc/loadavg: 2.00 1.99 1.79 3/179 18124
/proc/meminfo: memFree=27238820/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=297972 CPUtime=3.09
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 77287 0 0 0 300 9 0 0 25 0 1 0 21820608 305123328 72334 4089446400 134512640 136422188 4294926032 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18123/statm: 74493 72334 209 467 0 74024 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 297972

[startup+6.30098 s]
/proc/loadavg: 2.00 1.99 1.79 3/179 18124
/proc/meminfo: memFree=27231124/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=303320 CPUtime=6.29
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 78566 0 0 0 581 48 0 0 25 0 1 0 21820608 310599680 73613 4089446400 134512640 136422188 4294926032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18123/statm: 75830 73613 217 467 0 75361 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 303320

[startup+12.7008 s]
/proc/loadavg: 2.00 1.99 1.79 3/179 18125
/proc/meminfo: memFree=27219756/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=306896 CPUtime=12.69
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 79491 0 0 0 953 316 0 0 25 0 1 0 21820608 314261504 74538 4089446400 134512640 136422188 4294926032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18123/statm: 76724 74538 217 467 0 76255 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 306896

[startup+25.5005 s]
/proc/loadavg: 2.00 1.99 1.80 3/179 18125
/proc/meminfo: memFree=27197428/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=310520 CPUtime=25.49
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 80376 0 0 0 2099 450 0 0 25 0 1 0 21820608 317972480 75423 4089446400 134512640 136422188 4294926032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18123/statm: 77630 75423 217 467 0 77161 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 310520

[startup+51.1008 s]
/proc/loadavg: 2.00 1.99 1.80 3/179 18125
/proc/meminfo: memFree=27151640/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=326788 CPUtime=51.09
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 84580 0 0 0 4353 756 0 0 25 0 1 0 21820608 334630912 77652 4089446400 134512640 136422188 4294926032 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18123/statm: 81697 77652 238 467 0 81228 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 326788

[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.81 3/179 18127
/proc/meminfo: memFree=27072460/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=336188 CPUtime=102.3
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 86938 0 0 0 8875 1355 0 0 25 0 1 0 21820608 344256512 80010 4089446400 134512640 136422188 4294926032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18123/statm: 84047 80010 238 467 0 83578 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 336188

[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/179 18129
/proc/meminfo: memFree=26958912/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=372420 CPUtime=162.3
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 95991 0 0 0 14012 2218 0 0 25 0 1 0 21820608 381358080 89063 4089446400 134512640 136422188 4294926032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18123/statm: 93105 89063 238 467 0 92636 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 372420

[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.83 3/179 18130
/proc/meminfo: memFree=26863128/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=386412 CPUtime=222.3
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 99580 0 0 0 19415 2815 0 0 25 0 1 0 21820608 395685888 92184 4089446400 134512640 136422188 4294926032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18123/statm: 96603 92184 238 467 0 96134 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 386412

[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.83 3/179 18131
/proc/meminfo: memFree=26758024/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=413900 CPUtime=282.3
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 106425 0 0 0 24652 3578 0 0 25 0 1 0 21820608 423833600 99029 4089446400 134512640 136422188 4294926032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18123/statm: 103475 99029 238 467 0 103006 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 413900

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.84 3/179 18133
/proc/meminfo: memFree=26653676/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=434948 CPUtime=342.3
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 111696 0 0 0 30009 4221 0 0 25 0 1 0 21820608 445386752 104296 4089446400 134512640 136422188 4294926032 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18123/statm: 108737 104296 238 467 0 108268 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 434948

[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.84 3/179 18144
/proc/meminfo: memFree=26545876/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=461920 CPUtime=402.3
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 118465 0 0 0 35690 4540 0 0 25 0 1 0 21820608 473006080 111065 4089446400 134512640 136422188 4294926032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 115480 111065 238 467 0 115011 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 461920

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.85 3/179 18174
/proc/meminfo: memFree=27511772/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=500856 CPUtime=462.31
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 128177 0 0 0 41286 4945 0 0 25 0 1 0 21820608 512876544 120777 4089446400 134512640 136422188 4294926032 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 125214 120777 238 467 0 124745 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 500856

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 18175
/proc/meminfo: memFree=27498472/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=508036 CPUtime=522.31
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 129950 0 0 0 46778 5453 0 0 25 0 1 0 21820608 520228864 122550 4089446400 134512640 136422188 4294926032 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 127009 122550 238 467 0 126540 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 508036

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 18176
/proc/meminfo: memFree=27495844/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=508036 CPUtime=582.31
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 129950 0 0 0 52459 5772 0 0 25 0 1 0 21820608 520228864 122550 4089446400 134512640 136422188 4294926032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 127009 122550 238 467 0 126540 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 508036

[startup+642.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 18178
/proc/meminfo: memFree=27453156/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=516444 CPUtime=642.31
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 132053 0 0 0 58178 6053 0 0 25 0 1 0 21820608 528838656 124653 4089446400 134512640 136422188 4294926032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 129111 124653 238 467 0 128642 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 516444

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.04 2.00 1.89 3/179 18183
/proc/meminfo: memFree=27417236/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=540056 CPUtime=822.32
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 137977 0 0 0 75213 7019 0 0 25 0 1 0 21820608 553017344 130576 4089446400 134512640 136422188 4294926032 18446744073709551615 135022533 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 135014 130576 238 467 0 134545 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 540056

[startup+882.301 s]
/proc/loadavg: 2.01 2.00 1.90 3/179 18184
/proc/meminfo: memFree=27406548/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=546404 CPUtime=882.31
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 139582 0 0 0 80923 7308 0 0 25 0 1 0 21820608 559517696 132181 4089446400 134512640 136422188 4294926032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 136601 132181 238 467 0 136132 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 546404

[startup+942.301 s]
/proc/loadavg: 2.04 2.01 1.91 3/179 18186
/proc/meminfo: memFree=27391512/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=558148 CPUtime=942.32
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 142501 0 0 0 86556 7676 0 0 25 0 1 0 21820608 571543552 135099 4089446400 134512640 136422188 4294926032 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 139537 135099 238 467 0 139068 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 558148

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 18188
/proc/meminfo: memFree=27385536/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1002.32
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143245 0 0 0 92196 8036 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 561096

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18190
/proc/meminfo: memFree=27382160/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1062.32
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143246 0 0 0 97844 8388 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 561096

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18191
/proc/meminfo: memFree=27378296/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1122.32
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143246 0 0 0 103610 8622 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 561096

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18192
/proc/meminfo: memFree=27375152/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1182.32
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143248 0 0 0 109252 8980 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 561096

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18194
/proc/meminfo: memFree=27372140/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1242.33
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143249 0 0 0 114959 9274 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135022543 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 561096

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18196
/proc/meminfo: memFree=27367280/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1302.33
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143249 0 0 0 120704 9529 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 561096

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/179 18198
/proc/meminfo: memFree=27363036/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1362.33
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143249 0 0 0 126610 9623 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 561096

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 18199
/proc/meminfo: memFree=27359036/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1422.34
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143249 0 0 0 132346 9888 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 561096

[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 1.93 3/179 18203
/proc/meminfo: memFree=27355356/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1482.33
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143250 0 0 0 138064 10169 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 561096

[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/179 18205
/proc/meminfo: memFree=27351600/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1542.34
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143251 0 0 0 143830 10404 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 561096

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 18207
/proc/meminfo: memFree=27347348/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1602.34
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143252 0 0 0 149625 10609 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 561096

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 18209
/proc/meminfo: memFree=27343728/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1662.34
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143252 0 0 0 155316 10918 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 561096

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 18210
/proc/meminfo: memFree=27339712/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1722.34
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143254 0 0 0 160927 11307 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 561096

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 18211
/proc/meminfo: memFree=27334976/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1782.35
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143254 0 0 0 166637 11598 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 561096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 18212
/proc/meminfo: memFree=27334088/32951124 swapFree=67111528/67111528
[pid=18123] ppid=18121 vsize=561096 CPUtime=1800.05
/proc/18123/stat : 18123 (pbct) R 18121 18123 17545 0 -1 4202496 143254 0 0 0 168304 11701 0 0 25 0 1 0 21820608 574562304 135843 4089446400 134512640 136422188 4294926032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/18123/statm: 140274 135843 238 467 0 139805 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 561096

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.03
CPU time (s): 1800.08
CPU user time (s): 1683.04
CPU system time (s): 117.036
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 561096

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

runsolver used 3.13552 second user time and 5.83711 second system time

The end

Launcher Data 

Begin job on node142 at 2010-07-07 22:54:37
IDJOB=2700633
IDBENCH=79445
IDSOLVER=1212
FILE ID=node142/2700633-1278536077
PBS_JOBID= 11239194
Free space on /tmp= 73324 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/academics/normalized-slangford-3-11_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700633-1278536077/watcher-2700633-1278536077 -o /tmp/evaluation-result-2700633-1278536077/solver-2700633-1278536077 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2700633-1278536077.wbo

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

MD5SUM BENCH= 6f58e736787ec730241fe31cbfb7f2ba
RANDOM SEED=1672803092

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.874
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.874
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:     32951124 kB
MemFree:      27530748 kB
Buffers:        136752 kB
Cached:        3056844 kB
SwapCached:          0 kB
Active:        2976816 kB
Inactive:      2287788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27530748 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3548 kB
Writeback:           0 kB
AnonPages:     2070664 kB
Mapped:          16876 kB
Slab:            89216 kB
PageTables:       8472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2213100 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= 73320 MiB
End job on node142 at 2010-07-07 23:24:39