Trace number 38212

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, and are wall clock time (not CPU 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
Pueblo 1.3SAT-6 1782.87 1783.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
MD5SUM669011fc499ae56e44c354cc6cddc4c7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-49
Best CPU time to get the best result obtained on this benchmark1800.25
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 constraints80851
Number of constraints which are clauses80851
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 (download as text)

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

Verifier Data (download as text)

OK	-6

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node81/watcher-38212-1149298771 -o ROOT/results/node81/solver-38212-1149298771 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node81/38212-1149298771/instance-38212-1149298771.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.93 2/68 28949
/proc/meminfo: memFree=1091680/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=2336 CPUtime=0
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 195516553 2392064 129 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10070936 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 584 129 110 16 0 11 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.98 0.93 2/68 28949
/proc/meminfo: memFree=1002344/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=92048 CPUtime=9.99
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 22537 0 0 0 987 12 0 0 25 0 1 0 195516553 94257152 22509 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 23012 22509 206 16 0 22452 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 92048

[startup+20.0087 s]
/proc/loadavg: 0.94 0.98 0.93 2/68 28949
/proc/meminfo: memFree=936040/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=158572 CPUtime=19.99
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 39085 0 0 0 1980 19 0 0 25 0 1 0 195516553 162377728 39057 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10537003 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 39643 39057 206 16 0 39083 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 158572

[startup+30.0148 s]
/proc/loadavg: 0.95 0.98 0.93 2/68 28949
/proc/meminfo: memFree=888296/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=206900 CPUtime=29.99
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 51020 0 0 0 2973 26 0 0 25 0 1 0 195516553 211865600 50992 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10537003 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 51725 50992 206 16 0 51165 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 206900

[startup+40.0209 s]
/proc/loadavg: 0.96 0.98 0.93 2/68 28949
/proc/meminfo: memFree=843112/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=252544 CPUtime=40
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 62287 0 0 0 3969 31 0 0 25 0 1 0 195516553 258605056 62259 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 63136 62259 206 16 0 62576 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 252544

[startup+50.027 s]
/proc/loadavg: 0.96 0.98 0.93 2/68 28949
/proc/meminfo: memFree=798248/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=297408 CPUtime=50.01
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 73478 0 0 0 4964 37 0 0 25 0 1 0 195516553 304545792 73450 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10537003 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 74352 73450 206 16 0 73792 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 297408

[startup+60.0321 s]
/proc/loadavg: 0.97 0.98 0.93 2/68 28949
/proc/meminfo: memFree=737256/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=358756 CPUtime=60
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 88717 0 0 0 5956 44 0 0 25 0 1 0 195516553 367366144 88689 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10537003 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 89689 88689 206 16 0 89129 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 358756

[startup+70.0382 s]
/proc/loadavg: 0.97 0.98 0.93 2/68 28949
/proc/meminfo: memFree=674152/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=421672 CPUtime=70.01
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 104454 0 0 0 6949 52 0 0 25 0 1 0 195516553 431792128 104426 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 105418 104426 206 16 0 104858 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 421672

[startup+80.0444 s]
/proc/loadavg: 0.98 0.98 0.93 2/68 28949
/proc/meminfo: memFree=616872/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=478680 CPUtime=80.01
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 118748 0 0 0 7943 58 0 0 25 0 1 0 195516553 490168320 118720 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10537003 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 119670 118720 206 16 0 119110 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 478680

[startup+90.0505 s]
/proc/loadavg: 0.98 0.98 0.93 2/68 28949
/proc/meminfo: memFree=566952/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=528668 CPUtime=90.01
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131195 0 0 0 8937 64 0 0 25 0 1 0 195516553 541356032 131167 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 132167 131167 206 16 0 131607 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 528668

[startup+100.057 s]
/proc/loadavg: 0.98 0.98 0.93 2/68 28949
/proc/meminfo: memFree=566568/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=528912 CPUtime=100.02
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131280 0 0 0 9937 65 0 0 25 0 1 0 195516553 541605888 131252 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 132228 131252 206 16 0 131668 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 528912

[startup+110.063 s]
/proc/loadavg: 0.98 0.98 0.93 2/68 28949
/proc/meminfo: memFree=566568/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=528912 CPUtime=110.02
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131280 0 0 0 10936 66 0 0 25 0 1 0 195516553 541605888 131252 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 132228 131252 206 16 0 131668 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 528912

[startup+120.068 s]
/proc/loadavg: 0.99 0.98 0.93 2/68 28949
/proc/meminfo: memFree=566632/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=528912 CPUtime=120.02
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131280 0 0 0 11935 67 0 0 25 0 1 0 195516553 541605888 131252 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 132228 131252 206 16 0 131668 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 528912

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.93 2/68 28949
/proc/meminfo: memFree=566632/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=528912 CPUtime=130.02
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131281 0 0 0 12935 67 0 0 25 0 1 0 195516553 541605888 131253 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 132228 131253 206 16 0 131668 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 528912

[startup+140.08 s]
/proc/loadavg: 0.99 0.98 0.93 2/68 28949
/proc/meminfo: memFree=566568/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=528912 CPUtime=140.03
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131283 0 0 0 13935 68 0 0 25 0 1 0 195516553 541605888 131255 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 132228 131255 206 16 0 131668 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 528912

[startup+150.086 s]
/proc/loadavg: 0.99 0.98 0.93 2/68 28949
/proc/meminfo: memFree=566568/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=528912 CPUtime=150.03
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131286 0 0 0 14934 69 0 0 25 0 1 0 195516553 541605888 131258 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517957 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 132228 131258 206 16 0 131668 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 528912

[startup+160.092 s]
/proc/loadavg: 0.99 0.98 0.93 2/68 28949
/proc/meminfo: memFree=566504/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=528912 CPUtime=160.04
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131299 0 0 0 15934 70 0 0 25 0 1 0 195516553 541605888 131271 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 132228 131271 206 16 0 131668 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 528912

[startup+170.098 s]
/proc/loadavg: 0.99 0.98 0.93 2/68 28949
/proc/meminfo: memFree=566440/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=528912 CPUtime=170.04
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 131308 0 0 0 16933 71 0 0 25 0 1 0 195516553 541605888 131280 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 132228 131280 206 16 0 131668 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 528912

[startup+180.105 s]
/proc/loadavg: 0.99 0.98 0.93 2/68 28949
/proc/meminfo: memFree=538536/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=556888 CPUtime=180.04
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 138282 0 0 0 17929 75 0 0 25 0 1 0 195516553 570253312 138254 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 139222 138254 206 16 0 138662 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 556888

[startup+190.111 s]
/proc/loadavg: 0.99 0.98 0.93 2/68 28949
/proc/meminfo: memFree=495208/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=600096 CPUtime=190.04
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 149094 0 0 0 18924 80 0 0 25 0 1 0 195516553 614498304 149066 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 150024 149066 206 16 0 149464 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 600096

[startup+200.117 s]
/proc/loadavg: 0.99 0.98 0.93 2/68 28949
/proc/meminfo: memFree=478824/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=617220 CPUtime=200.05
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 153168 0 0 0 19922 83 0 0 25 0 1 0 195516553 632033280 153140 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 154305 153140 206 16 0 153745 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 617220

[startup+210.123 s]
/proc/loadavg: 0.99 0.98 0.93 2/68 28949
/proc/meminfo: memFree=459368/2055892 swapFree=4085344/4096564

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

/proc/28949/statm: 238138 236812 206 16 0 237578 0
Current children cumulated CPU time (s) 1590
Current children cumulated vsize (Kb) 952552

[startup+1600.95 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 29624
/proc/meminfo: memFree=143208/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=952552 CPUtime=1600.01
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236840 0 0 0 159813 188 0 0 25 0 1 0 195516553 975413248 236812 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238138 236812 206 16 0 237578 0
Current children cumulated CPU time (s) 1600.01
Current children cumulated vsize (Kb) 952552

[startup+1610.96 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 29624
/proc/meminfo: memFree=143208/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=952552 CPUtime=1610.02
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236840 0 0 0 160813 189 0 0 25 0 1 0 195516553 975413248 236812 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238138 236812 206 16 0 237578 0
Current children cumulated CPU time (s) 1610.02
Current children cumulated vsize (Kb) 952552

[startup+1620.97 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 29624
/proc/meminfo: memFree=143208/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=952552 CPUtime=1620.01
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236841 0 0 0 161812 189 0 0 25 0 1 0 195516553 975413248 236813 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238138 236813 206 16 0 237578 0
Current children cumulated CPU time (s) 1620.01
Current children cumulated vsize (Kb) 952552

[startup+1630.97 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 29624
/proc/meminfo: memFree=143272/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=952552 CPUtime=1630.02
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236841 0 0 0 162812 190 0 0 25 0 1 0 195516553 975413248 236813 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238138 236813 206 16 0 237578 0
Current children cumulated CPU time (s) 1630.02
Current children cumulated vsize (Kb) 952552

[startup+1640.98 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 29624
/proc/meminfo: memFree=143272/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=952552 CPUtime=1640.02
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236841 0 0 0 163812 190 0 0 25 0 1 0 195516553 975413248 236813 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528528 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238138 236813 206 16 0 237578 0
Current children cumulated CPU time (s) 1640.02
Current children cumulated vsize (Kb) 952552

[startup+1650.98 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 29624
/proc/meminfo: memFree=143272/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=952552 CPUtime=1650.03
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236841 0 0 0 164812 191 0 0 25 0 1 0 195516553 975413248 236813 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238138 236813 206 16 0 237578 0
Current children cumulated CPU time (s) 1650.03
Current children cumulated vsize (Kb) 952552

[startup+1660.99 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 29624
/proc/meminfo: memFree=143208/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=952552 CPUtime=1660.03
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236843 0 0 0 165812 191 0 0 25 0 1 0 195516553 975413248 236815 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238138 236815 206 16 0 237578 0
Current children cumulated CPU time (s) 1660.03
Current children cumulated vsize (Kb) 952552

[startup+1670.99 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 29624
/proc/meminfo: memFree=143208/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=952552 CPUtime=1670.03
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236843 0 0 0 166811 192 0 0 25 0 1 0 195516553 975413248 236815 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238138 236815 206 16 0 237578 0
Current children cumulated CPU time (s) 1670.03
Current children cumulated vsize (Kb) 952552

[startup+1681 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 29624
/proc/meminfo: memFree=143144/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=952808 CPUtime=1680.04
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236861 0 0 0 167811 193 0 0 25 0 1 0 195516553 975675392 236833 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238202 236833 206 16 0 237642 0
Current children cumulated CPU time (s) 1680.04
Current children cumulated vsize (Kb) 952808

[startup+1691.01 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 29624
/proc/meminfo: memFree=143080/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=952808 CPUtime=1690.04
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 236871 0 0 0 168811 193 0 0 25 0 1 0 195516553 975675392 236843 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238202 236843 206 16 0 237642 0
Current children cumulated CPU time (s) 1690.04
Current children cumulated vsize (Kb) 952808

[startup+1701.01 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 29624
/proc/meminfo: memFree=142120/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=953772 CPUtime=1700.04
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 169810 194 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238443 237080 206 16 0 237883 0
Current children cumulated CPU time (s) 1700.04
Current children cumulated vsize (Kb) 953772

[startup+1711.02 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 29624
/proc/meminfo: memFree=142120/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=953772 CPUtime=1710.04
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 170810 194 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516734 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238443 237080 206 16 0 237883 0
Current children cumulated CPU time (s) 1710.04
Current children cumulated vsize (Kb) 953772

[startup+1721.02 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 29624
/proc/meminfo: memFree=142184/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=953772 CPUtime=1720.04
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 171810 194 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238443 237080 206 16 0 237883 0
Current children cumulated CPU time (s) 1720.04
Current children cumulated vsize (Kb) 953772

[startup+1731.03 s]
/proc/loadavg: 1.08 1.02 0.95 2/68 29624
/proc/meminfo: memFree=142184/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=953772 CPUtime=1730.05
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 172809 196 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238443 237080 206 16 0 237883 0
Current children cumulated CPU time (s) 1730.05
Current children cumulated vsize (Kb) 953772

[startup+1741.04 s]
/proc/loadavg: 1.07 1.02 0.95 2/68 29624
/proc/meminfo: memFree=142184/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=953772 CPUtime=1740.05
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 173809 196 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238443 237080 206 16 0 237883 0
Current children cumulated CPU time (s) 1740.05
Current children cumulated vsize (Kb) 953772

[startup+1751.04 s]
/proc/loadavg: 1.06 1.01 0.95 2/68 29624
/proc/meminfo: memFree=142184/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=953772 CPUtime=1750.06
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 174808 198 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238443 237080 206 16 0 237883 0
Current children cumulated CPU time (s) 1750.06
Current children cumulated vsize (Kb) 953772

[startup+1761.05 s]
/proc/loadavg: 1.05 1.01 0.95 2/68 29624
/proc/meminfo: memFree=142184/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=953772 CPUtime=1760.05
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 175807 198 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519932 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238443 237080 206 16 0 237883 0
Current children cumulated CPU time (s) 1760.05
Current children cumulated vsize (Kb) 953772

[startup+1771.05 s]
/proc/loadavg: 1.04 1.01 0.95 2/68 29624
/proc/meminfo: memFree=142120/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=953772 CPUtime=1770.06
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 176807 199 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238443 237080 206 16 0 237883 0
Current children cumulated CPU time (s) 1770.06
Current children cumulated vsize (Kb) 953772

[startup+1781.06 s]
/proc/loadavg: 1.03 1.01 0.95 2/68 29624
/proc/meminfo: memFree=142120/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=953772 CPUtime=1780.06
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 177806 200 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238443 237080 206 16 0 237883 0
Current children cumulated CPU time (s) 1780.06
Current children cumulated vsize (Kb) 953772

[startup+1782.06 s]
/proc/loadavg: 1.03 1.01 0.95 2/68 29624
/proc/meminfo: memFree=142120/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=953772 CPUtime=1781.07
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 177907 200 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238443 237080 206 16 0 237883 0
Current children cumulated CPU time (s) 1781.07
Current children cumulated vsize (Kb) 953772

[startup+1783.07 s]
/proc/loadavg: 1.03 1.01 0.95 2/68 29624
/proc/meminfo: memFree=142120/2055892 swapFree=4085344/4096564
[pid=28949] ppid=28947 vsize=953772 CPUtime=1782.07
/proc/28949/stat : 28949 (Pueblo13) R 28947 28949 28903 0 -1 4194304 237108 0 0 0 178007 200 0 0 25 0 1 0 195516553 976662528 237080 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/28949/statm: 238443 237080 206 16 0 237883 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (Kb) 953772

Child status: 10
Real time (s): 1783.86
CPU time (s): 1782.87
CPU user time (s): 1780.73
CPU system time (s): 2.14267
CPU usage (%): 99.9445
Max. virtual memory (cumulated for all children) (Kb): 953772

Launcher Data (download as text)

Begin job on node81 on Sat Jun  3 01:39:31 UTC 2006


FILE ID= 38212-1149298771

PBS_JOBID= 307264

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node81/38212-1149298771/instance-38212-1149298771.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node81/watcher-38212-1149298771 -o ROOT/results/node81/solver-38212-1149298771 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node81/38212-1149298771/instance-38212-1149298771.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  669011fc499ae56e44c354cc6cddc4c7

RANDOM SEED= 996049199


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.19
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1091888 kB
Buffers:         44988 kB
Cached:         839348 kB
SwapCached:       2656 kB
Active:         173944 kB
Inactive:       719272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1091888 kB
SwapTotal:     4096564 kB
SwapFree:      4085344 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          16520 kB
Slab:            57316 kB
Committed_AS:   277752 kB
PageTables:       1288 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node81 on Sat Jun  3 02:09:15 UTC 2006