Trace number 3720144

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 NameAnswerobjective functionCPU timeWall clock time
PB07: Pueblo 1.4SAT-9 1783.01 1783.43

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM32f273c48805c1e726044ae006778010
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-48
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80035
Number of constraints which are clauses80035
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1150
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
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 Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.49/0.54	c starting to Solve
0.49/0.54	c #variables read: 1150 - #constraints read: 80036
0.49/0.54	o 0
0.49/0.54	o 1
0.49/0.54	o 2
0.69/0.78	o 3
1.19/1.21	o 4
18.08/18.19	o 5
40.87/40.92	o 6
139.33/139.41	o 7
629.89/630.20	o 8
1474.84/1475.29	o 9
1782.97/1783.42	c total time              : 1783 s
1782.97/1783.42	s SATISFIABLE
1782.97/1783.42	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-9

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3720144-1338507867/watcher-3720144-1338507867 -o /tmp/evaluation-result-3720144-1338507867/solver-3720144-1338507867 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720144-1338507867.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.45 2.67 2.01 3/174 8915
/proc/meminfo: memFree=28229540/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=3100 CPUtime=0 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 316912596 3174400 266 33554432000 134512640 134579096 4294930336 4294797732 8647434 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 775 266 213 17 0 81 0

[startup+0.00826606 s]
/proc/loadavg: 2.45 2.67 2.01 3/174 8915
/proc/meminfo: memFree=28229540/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=3232 CPUtime=0 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 316912596 3309568 292 33554432000 134512640 134579096 4294930336 4294797796 8647492 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 808 292 219 17 0 114 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3232

[startup+0.100252 s]
/proc/loadavg: 2.45 2.67 2.01 3/174 8915
/proc/meminfo: memFree=28229540/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=5896 CPUtime=0.09 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 1021 0 0 0 9 0 0 0 20 0 1 0 316912596 6037504 958 33554432000 134512640 134579096 4294930336 4294797796 8647409 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 1474 958 219 17 0 780 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5896

[startup+0.300229 s]
/proc/loadavg: 2.45 2.67 2.01 3/174 8915
/proc/meminfo: memFree=28229540/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=11624 CPUtime=0.29 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 2445 0 0 0 29 0 0 0 20 0 1 0 316912596 11902976 2382 33554432000 134512640 134579096 4294930336 4294797732 8647419 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 2906 2382 219 17 0 2212 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11624

[startup+0.700228 s]
/proc/loadavg: 2.45 2.67 2.01 3/174 8915
/proc/meminfo: memFree=28229540/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=14344 CPUtime=0.69 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 3083 0 0 0 69 0 0 0 20 0 1 0 316912596 14688256 3020 33554432000 134512640 134579096 4294930336 4294929156 134556241 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 3586 3020 227 17 0 2892 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14344

[startup+1.50023 s]
/proc/loadavg: 2.45 2.67 2.01 3/175 8916
/proc/meminfo: memFree=28218512/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=14344 CPUtime=1.49 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 3084 0 0 0 149 0 0 0 20 0 1 0 316912596 14688256 3021 33554432000 134512640 134579096 4294930336 4294929168 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 3586 3021 227 17 0 2892 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14344

[startup+3.10023 s]
/proc/loadavg: 2.45 2.67 2.01 3/175 8916
/proc/meminfo: memFree=28217992/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=14764 CPUtime=3.09 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 3194 0 0 0 309 0 0 0 20 0 1 0 316912596 15118336 3131 33554432000 134512640 134579096 4294930336 4294929168 134517885 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 3691 3131 227 17 0 2997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14764

[startup+6.30022 s]
/proc/loadavg: 2.42 2.66 2.01 3/175 8916
/proc/meminfo: memFree=28213776/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=20088 CPUtime=6.28 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 4536 0 0 0 628 0 0 0 20 0 1 0 316912596 20570112 4473 33554432000 134512640 134579096 4294930336 4294929152 134519093 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 5022 4473 227 17 0 4328 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20088

[startup+12.7002 s]
/proc/loadavg: 2.38 2.65 2.01 3/175 8916
/proc/meminfo: memFree=28201500/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=31460 CPUtime=12.69 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 7368 0 0 0 1268 1 0 0 20 0 1 0 316912596 32215040 7305 33554432000 134512640 134579096 4294930336 4294928992 134523674 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 7865 7305 227 17 0 7171 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31460

[startup+25.5002 s]
/proc/loadavg: 2.37 2.64 2.01 3/175 8916
/proc/meminfo: memFree=28181612/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=50700 CPUtime=25.48 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 12170 0 0 0 2546 2 0 0 20 0 1 0 316912596 51916800 12107 33554432000 134512640 134579096 4294930336 4294928992 134522726 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 12675 12107 227 17 0 11981 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50700

[startup+51.1003 s]
/proc/loadavg: 2.24 2.58 2.01 3/175 8916
/proc/meminfo: memFree=28142516/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=89060 CPUtime=51.07 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 21732 0 0 0 5101 6 0 0 20 0 1 0 316912596 91197440 21676 33554432000 134512640 134579096 4294930336 4294929216 134558136 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 22265 21676 227 17 0 21571 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 89060

[startup+102.306 s]
/proc/loadavg: 2.10 2.49 2.01 3/175 8916
/proc/meminfo: memFree=28064440/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=165904 CPUtime=102.26 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 40861 0 0 0 10215 11 0 0 20 0 1 0 316912596 169885696 40828 33554432000 134512640 134579096 4294930336 4294929152 134519114 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 41476 40828 227 17 0 40782 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 165904

[startup+162.3 s]
/proc/loadavg: 2.07 2.41 2.01 3/174 8916
/proc/meminfo: memFree=27981520/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=248364 CPUtime=162.22 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 61317 0 0 0 16205 17 0 0 20 0 1 0 316912596 254324736 61472 33554432000 134512640 134579096 4294930336 4294929308 12706864 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 62091 61472 227 17 0 61397 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 248364

[startup+222.3 s]
/proc/loadavg: 2.02 2.34 2.00 3/175 8917
/proc/meminfo: memFree=27897228/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=331284 CPUtime=222.18 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 81927 0 0 0 22193 25 0 0 20 0 1 0 316912596 339234816 82116 33554432000 134512640 134579096 4294930336 4294928992 134522726 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 82821 82116 227 17 0 82127 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 331284

[startup+282.3 s]
/proc/loadavg: 2.01 2.27 2.00 3/175 8917
/proc/meminfo: memFree=27836388/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=391880 CPUtime=282.18 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 96997 0 0 0 28185 33 0 0 20 0 1 0 316912596 401285120 97197 33554432000 134512640 134579096 4294930336 4294928904 7898407 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 97970 97197 228 17 0 97276 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 391880

[startup+342.3 s]
/proc/loadavg: 2.00 2.22 2.00 3/176 8920
/proc/meminfo: memFree=27766932/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=461008 CPUtime=342.17 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 114197 0 0 0 34175 42 0 0 20 0 1 0 316912596 472072192 114397 33554432000 134512640 134579096 4294930336 4294928992 134523649 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 115252 114397 228 17 0 114558 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 461008

[startup+402.3 s]
/proc/loadavg: 2.03 2.19 2.00 3/175 8920
/proc/meminfo: memFree=27701724/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=526940 CPUtime=402.15 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 130581 0 0 0 40164 51 0 0 20 0 1 0 316912596 539586560 130781 33554432000 134512640 134579096 4294930336 4294929264 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 131735 130781 228 17 0 131041 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 526940

[startup+462.3 s]
/proc/loadavg: 2.04 2.17 2.00 3/175 8920
/proc/meminfo: memFree=27646792/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=579472 CPUtime=462.15 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 143651 0 0 0 46156 59 0 0 20 0 1 0 316912596 593379328 143851 33554432000 134512640 134579096 4294930336 4294929168 134517922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 144868 143851 228 17 0 144174 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 579472

[startup+522.3 s]
/proc/loadavg: 2.05 2.15 2.00 3/175 8921
/proc/meminfo: memFree=27646536/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=579472 CPUtime=522.13 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 143661 0 0 0 52152 61 0 0 20 0 1 0 316912596 593379328 143871 33554432000 134512640 134579096 4294930336 4294929264 134559575 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 144868 143871 228 17 0 144174 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 579472

[startup+582.3 s]
/proc/loadavg: 2.02 2.12 2.00 3/175 8921
/proc/meminfo: memFree=27646260/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=579472 CPUtime=582.11 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 143684 0 0 0 58149 62 0 0 20 0 1 0 316912596 593379328 143909 33554432000 134512640 134579096 4294930336 4294929200 134520048 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 144868 143909 228 17 0 144174 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 579472

[startup+642.3 s]

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

/proc/meminfo: memFree=27589148/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=635656 CPUtime=882.05 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 157608 0 0 0 88129 76 0 0 20 0 1 0 316912596 650911744 157816 33554432000 134512640 134579096 4294930336 4294929308 12706864 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 158914 157816 228 17 0 158220 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 635656

[startup+942.3 s]
/proc/loadavg: 2.02 2.07 2.00 3/176 8925
/proc/meminfo: memFree=27579524/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=644476 CPUtime=942.04 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 159816 0 0 0 94126 78 0 0 20 0 1 0 316912596 659943424 160026 33554432000 134512640 134579096 4294930336 4294929200 134520044 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 161119 160026 228 17 0 160425 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 644476

[startup+1002.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/176 8948
/proc/meminfo: memFree=27578988/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=644476 CPUtime=1002.03 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 159816 0 0 0 100124 79 0 0 20 0 1 0 316912596 659943424 160026 33554432000 134512640 134579096 4294930336 4294929200 134520196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 161119 160026 228 17 0 160425 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 644476

[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/175 8948
/proc/meminfo: memFree=27577424/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=644476 CPUtime=1062 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 159842 0 0 0 106120 80 0 0 20 0 1 0 316912596 659943424 160058 33554432000 134512640 134579096 4294930336 4294929200 134520067 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 161119 160058 228 17 0 160425 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 644476

[startup+1122.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/175 8949
/proc/meminfo: memFree=27577048/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=644476 CPUtime=1122 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 159842 0 0 0 112119 81 0 0 20 0 1 0 316912596 659943424 160058 33554432000 134512640 134579096 4294930336 4294929200 134520078 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 161119 160058 228 17 0 160425 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 644476

[startup+1182.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/174 8949
/proc/meminfo: memFree=27577676/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=644476 CPUtime=1181.99 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 159849 0 0 0 118117 82 0 0 20 0 1 0 316912596 659943424 160065 33554432000 134512640 134579096 4294930336 4294929168 134517872 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 161119 160065 228 17 0 160425 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 644476

[startup+1242.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/175 8950
/proc/meminfo: memFree=27577668/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=644476 CPUtime=1241.97 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 159857 0 0 0 124114 83 0 0 20 0 1 0 316912596 659943424 160073 33554432000 134512640 134579096 4294930336 4294929184 134527833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 161119 160073 228 17 0 160425 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 644476

[startup+1302.3 s]
/proc/loadavg: 2.09 2.07 2.00 3/175 8950
/proc/meminfo: memFree=27577296/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=644732 CPUtime=1301.97 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 159887 0 0 0 130112 85 0 0 20 0 1 0 316912596 660205568 160103 33554432000 134512640 134579096 4294930336 4294929264 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 161183 160103 228 17 0 160489 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 644732

[startup+1362.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/175 8950
/proc/meminfo: memFree=27577048/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=644988 CPUtime=1361.96 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 159935 0 0 0 136110 86 0 0 20 0 1 0 316912596 660467712 160151 33554432000 134512640 134579096 4294930336 4294929184 134527715 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 161247 160151 228 17 0 160553 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 644988

[startup+1422.31 s]
/proc/loadavg: 2.02 2.05 2.00 3/175 8951
/proc/meminfo: memFree=27577172/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=644988 CPUtime=1421.95 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 159939 0 0 0 142107 88 0 0 20 0 1 0 316912596 660467712 160155 33554432000 134512640 134579096 4294930336 4294929156 134556218 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 161247 160155 228 17 0 160553 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 644988

[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 8951
/proc/meminfo: memFree=27519140/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=703004 CPUtime=1481.94 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 174310 0 0 0 148101 93 0 0 20 0 1 0 316912596 719876096 174526 33554432000 134512640 134579096 4294930336 4294929244 134519884 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 175751 174526 228 17 0 175057 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 703004

[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/176 8954
/proc/meminfo: memFree=27461748/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=758948 CPUtime=1541.91 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 188230 0 0 0 154093 98 0 0 20 0 1 0 316912596 777162752 188427 33554432000 134512640 134579096 4294930336 4294929136 134528654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 189737 188427 228 17 0 189043 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 758948

[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/175 8954
/proc/meminfo: memFree=27461308/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=758948 CPUtime=1601.89 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 188246 0 0 0 160089 100 0 0 20 0 1 0 316912596 777162752 188427 33554432000 134512640 134579096 4294930336 4294929308 12706864 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 189737 188427 228 17 0 189043 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 758948

[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 8954
/proc/meminfo: memFree=27461120/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=758948 CPUtime=1661.89 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 188246 0 0 0 166087 102 0 0 20 0 1 0 316912596 777162752 188427 33554432000 134512640 134579096 4294930336 4294929308 12706864 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 189737 188427 228 17 0 189043 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 758948

[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 9003
/proc/meminfo: memFree=27485388/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=758948 CPUtime=1721.87 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 188246 0 0 0 172084 103 0 0 20 0 1 0 316912596 777162752 188427 33554432000 134512640 134579096 4294930336 4294929200 134520078 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 189737 188427 228 17 0 189043 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 758948

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/175 9003
/proc/meminfo: memFree=27483528/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=758948 CPUtime=1781.87 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 188253 0 0 0 178082 105 0 0 20 0 1 0 316912596 777162752 188434 33554432000 134512640 134579096 4294930336 4294929200 134520067 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 189737 188434 228 17 0 189043 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 758948

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

[startup+1783.11 s]
/proc/loadavg: 2.02 2.04 2.00 3/175 9003
/proc/meminfo: memFree=27483776/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=758948 CPUtime=1782.67 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 188253 0 0 0 178162 105 0 0 20 0 1 0 316912596 777162752 188434 33554432000 134512640 134579096 4294930336 4294929200 134520044 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 189737 188434 228 17 0 189043 0
Current children cumulated CPU time (s) 1782.67
Current children cumulated vsize (KiB) 758948

[startup+1783.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/175 9003
/proc/meminfo: memFree=27483776/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=758948 CPUtime=1782.87 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 188253 0 0 0 178182 105 0 0 20 0 1 0 316912596 777162752 188434 33554432000 134512640 134579096 4294930336 4294929308 12706864 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 189737 188434 228 17 0 189043 0
Current children cumulated CPU time (s) 1782.87
Current children cumulated vsize (KiB) 758948

[startup+1783.4 s]
/proc/loadavg: 2.02 2.04 2.00 3/175 9003
/proc/meminfo: memFree=27483776/32873852 swapFree=6856/6856
[pid=8915] ppid=8913 vsize=758948 CPUtime=1782.97 cores=1,3,5,7
/proc/8915/stat : 8915 (Pueblo) R 8913 8915 8408 0 -1 4202496 188253 0 0 0 178192 105 0 0 20 0 1 0 316912596 777162752 188434 33554432000 134512640 134579096 4294930336 4294929200 134520196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8915/statm: 189737 188434 228 17 0 189043 0
Current children cumulated CPU time (s) 1782.97
Current children cumulated vsize (KiB) 758948

Child status: 10
Real time (s): 1783.43
CPU time (s): 1783.01
CPU user time (s): 1781.95
CPU system time (s): 1.05684
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 758948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.95
system time used= 1.05684
maximum resident set size= 753756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188258
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= 254
involuntary context switches= 1872

runsolver used 2.95855 second user time and 7.39487 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-01 01:44:27
IDJOB=3720144
IDBENCH=2262
IDSOLVER=2305
FILE ID=node128/3720144-1338507867
RUNJOBID= node128-1338506002-8425
PBS_JOBID= 14635763
Free space on /tmp= 70504 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720144-1338507867/watcher-3720144-1338507867 -o /tmp/evaluation-result-3720144-1338507867/solver-3720144-1338507867 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720144-1338507867.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 32f273c48805c1e726044ae006778010
RANDOM SEED=1212891396

node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28229936 kB
Buffers:          493592 kB
Cached:          3242340 kB
SwapCached:          784 kB
Active:          1648592 kB
Inactive:        2114428 kB
Active(anon):      18116 kB
Inactive(anon):    11372 kB
Active(file):    1630476 kB
Inactive(file):  2103056 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106552 kB
Dirty:              4268 kB
Writeback:             0 kB
AnonPages:         33376 kB
Mapped:            14964 kB
Shmem:               200 kB
Slab:             743040 kB
SReclaimable:     185296 kB
SUnreclaim:       557744 kB
KernelStack:        1432 kB
PageTables:         4068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     140620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720144-1338507867.opb

Free space on /tmp at the end= 70504 MiB
End job on node128 at 2012-06-01 02:14:10