Trace number 37061

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.4SAT-8 1782.91 1783.41

General information on the benchmark

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

Verifier Data (download as text)

OK	-8

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/node49/watcher-37061-1149298443 -o ROOT/results/node49/solver-37061-1149298443 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node49/37061-1149298443/instance-37061-1149298443.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.78 0.95 0.91 2/64 8687
/proc/meminfo: memFree=1760152/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=2328 CPUtime=0
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 195511420 2383872 129 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2485112 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 582 129 110 16 0 11 0

[startup+10.0022 s]
/proc/loadavg: 0.81 0.95 0.91 2/64 8687
/proc/meminfo: memFree=1743976/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=18880 CPUtime=9.99
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 4297 0 0 0 998 1 0 0 25 0 1 0 195511420 19333120 4268 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 4720 4268 206 16 0 4161 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 18880

[startup+20.008 s]
/proc/loadavg: 0.84 0.95 0.91 2/64 8687
/proc/meminfo: memFree=1734248/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=28688 CPUtime=19.99
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 6755 0 0 0 1997 2 0 0 25 0 1 0 195511420 29376512 6726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 7172 6726 206 16 0 6613 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 28688

[startup+30.0138 s]
/proc/loadavg: 0.86 0.95 0.91 2/64 8687
/proc/meminfo: memFree=1724456/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=38496 CPUtime=30
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 9199 0 0 0 2996 4 0 0 25 0 1 0 195511420 39419904 9170 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 9624 9170 206 16 0 9065 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 38496

[startup+40.0197 s]
/proc/loadavg: 0.89 0.95 0.91 2/64 8687
/proc/meminfo: memFree=1715816/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=47064 CPUtime=40
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 11361 0 0 0 3995 5 0 0 25 0 1 0 195511420 48193536 11332 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529116 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 11766 11332 206 16 0 11207 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 47064

[startup+50.0255 s]
/proc/loadavg: 0.90 0.96 0.91 2/64 8687
/proc/meminfo: memFree=1707240/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=55816 CPUtime=50.01
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 13503 0 0 0 4994 7 0 0 25 0 1 0 195511420 57155584 13474 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 13954 13474 206 16 0 13395 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 55816

[startup+60.0313 s]
/proc/loadavg: 0.92 0.96 0.91 2/64 8687
/proc/meminfo: memFree=1699432/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=63640 CPUtime=60.01
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 15458 0 0 0 5993 8 0 0 25 0 1 0 195511420 65167360 15429 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 15910 15429 206 16 0 15351 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 63640

[startup+70.0372 s]
/proc/loadavg: 0.93 0.96 0.91 2/64 8687
/proc/meminfo: memFree=1690984/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=72016 CPUtime=70.01
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 17571 0 0 0 6993 8 0 0 25 0 1 0 195511420 73744384 17542 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 18004 17542 206 16 0 17445 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 72016

[startup+80.042 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 8687
/proc/meminfo: memFree=1682408/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=80568 CPUtime=80.01
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 19708 0 0 0 7992 9 0 0 25 0 1 0 195511420 82501632 19679 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 20142 19679 206 16 0 19583 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 80568

[startup+90.0478 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 8687
/proc/meminfo: memFree=1674984/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=87984 CPUtime=90.01
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 21561 0 0 0 8992 9 0 0 25 0 1 0 195511420 90095616 21532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 21996 21532 206 16 0 21437 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 87984

[startup+100.054 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 8687
/proc/meminfo: memFree=1667368/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=95636 CPUtime=100.02
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 23452 0 0 0 9992 10 0 0 25 0 1 0 195511420 97931264 23423 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 23909 23423 206 16 0 23350 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 95636

[startup+110.059 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 8687
/proc/meminfo: memFree=1659880/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=103104 CPUtime=110.02
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 25317 0 0 0 10991 11 0 0 25 0 1 0 195511420 105578496 25288 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 25776 25288 206 16 0 25217 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 103104

[startup+120.065 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 8687
/proc/meminfo: memFree=1651688/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=111312 CPUtime=120.03
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 27364 0 0 0 11991 12 0 0 25 0 1 0 195511420 113983488 27335 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 27828 27335 206 16 0 27269 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 111312

[startup+130.071 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 8687
/proc/meminfo: memFree=1643560/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=119468 CPUtime=130.03
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 29400 0 0 0 12990 13 0 0 25 0 1 0 195511420 122335232 29371 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134533509 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 29867 29371 206 16 0 29308 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 119468

[startup+140.077 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 8687
/proc/meminfo: memFree=1636200/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=126804 CPUtime=140.03
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 31229 0 0 0 13989 14 0 0 25 0 1 0 195511420 129847296 31200 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523686 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 31701 31200 206 16 0 31142 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 126804

[startup+150.083 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 8687
/proc/meminfo: memFree=1628840/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=134136 CPUtime=150.04
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 33064 0 0 0 14989 15 0 0 25 0 1 0 195511420 137355264 33035 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 33534 33035 206 16 0 32975 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 134136

[startup+160.089 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 8687
/proc/meminfo: memFree=1622312/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=140648 CPUtime=160.04
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 34697 0 0 0 15989 15 0 0 25 0 1 0 195511420 144023552 34668 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 35162 34668 206 16 0 34603 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 140648

[startup+170.095 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 8687
/proc/meminfo: memFree=1614760/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=148276 CPUtime=170.04
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 36583 0 0 0 16988 16 0 0 25 0 1 0 195511420 151834624 36554 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 37069 36554 206 16 0 36510 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 148276

[startup+180.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8687
/proc/meminfo: memFree=1607656/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=155312 CPUtime=180.05
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 38358 0 0 0 17988 17 0 0 25 0 1 0 195511420 159039488 38329 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523654 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 38828 38329 206 16 0 38269 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 155312

[startup+190.106 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8687
/proc/meminfo: memFree=1600360/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=162572 CPUtime=190.05
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 40169 0 0 0 18987 18 0 0 25 0 1 0 195511420 166473728 40140 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 40643 40140 206 16 0 40084 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 162572

[startup+200.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8687
/proc/meminfo: memFree=1593832/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=169120 CPUtime=200.05
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 41794 0 0 0 19986 19 0 0 25 0 1 0 195511420 173178880 41765 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 42280 41765 206 16 0 41721 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 169120

[startup+210.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8687
/proc/meminfo: memFree=1585896/2055920 swapFree=4181416/4192956

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

/proc/8687/statm: 151458 150042 206 16 0 150899 0
Current children cumulated CPU time (s) 1590.53
Current children cumulated vsize (Kb) 605832

[startup+1600.92 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8687
/proc/meminfo: memFree=1159848/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1600.53
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150071 0 0 0 159961 92 0 0 25 0 1 0 195511420 620371968 150042 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150042 206 16 0 150899 0
Current children cumulated CPU time (s) 1600.53
Current children cumulated vsize (Kb) 605832

[startup+1610.92 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8687
/proc/meminfo: memFree=1159848/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1610.54
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150071 0 0 0 160962 92 0 0 25 0 1 0 195511420 620371968 150042 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150042 206 16 0 150899 0
Current children cumulated CPU time (s) 1610.54
Current children cumulated vsize (Kb) 605832

[startup+1620.93 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 8710
/proc/meminfo: memFree=1158640/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1620.53
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150071 0 0 0 161961 92 0 0 25 0 1 0 195511420 620371968 150042 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524571 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150042 206 16 0 150899 0
Current children cumulated CPU time (s) 1620.53
Current children cumulated vsize (Kb) 605832

[startup+1630.94 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 8800
/proc/meminfo: memFree=1158320/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1630.52
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150071 0 0 0 162957 95 0 0 25 0 1 0 195511420 620371968 150042 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519088 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150042 206 16 0 150899 0
Current children cumulated CPU time (s) 1630.52
Current children cumulated vsize (Kb) 605832

[startup+1640.94 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8882
/proc/meminfo: memFree=1158992/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1640.49
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 163954 95 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523628 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150048 206 16 0 150899 0
Current children cumulated CPU time (s) 1640.49
Current children cumulated vsize (Kb) 605832

[startup+1650.95 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8882
/proc/meminfo: memFree=1159208/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1650.49
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 164954 95 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150048 206 16 0 150899 0
Current children cumulated CPU time (s) 1650.49
Current children cumulated vsize (Kb) 605832

[startup+1660.95 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8882
/proc/meminfo: memFree=1159208/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1660.5
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 165954 96 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150048 206 16 0 150899 0
Current children cumulated CPU time (s) 1660.5
Current children cumulated vsize (Kb) 605832

[startup+1670.96 s]
/proc/loadavg: 1.06 0.99 0.92 2/64 8882
/proc/meminfo: memFree=1159208/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1670.5
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 166954 96 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150048 206 16 0 150899 0
Current children cumulated CPU time (s) 1670.5
Current children cumulated vsize (Kb) 605832

[startup+1680.97 s]
/proc/loadavg: 1.13 1.00 0.93 3/70 9293
/proc/meminfo: memFree=1147792/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1680.49
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 167953 96 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150048 206 16 0 150899 0
Current children cumulated CPU time (s) 1680.49
Current children cumulated vsize (Kb) 605832

[startup+1690.97 s]
/proc/loadavg: 1.18 1.02 0.93 2/64 9358
/proc/meminfo: memFree=1126024/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1690.49
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 168948 101 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150048 206 16 0 150899 0
Current children cumulated CPU time (s) 1690.49
Current children cumulated vsize (Kb) 605832

[startup+1700.98 s]
/proc/loadavg: 1.16 1.02 0.93 2/64 9358
/proc/meminfo: memFree=1126248/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1700.49
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150077 0 0 0 169948 101 0 0 25 0 1 0 195511420 620371968 150048 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528004 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150048 206 16 0 150899 0
Current children cumulated CPU time (s) 1700.49
Current children cumulated vsize (Kb) 605832

[startup+1710.98 s]
/proc/loadavg: 1.13 1.02 0.93 2/64 9358
/proc/meminfo: memFree=1126376/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1710.49
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150091 0 0 0 170948 101 0 0 25 0 1 0 195511420 620371968 150062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150062 206 16 0 150899 0
Current children cumulated CPU time (s) 1710.49
Current children cumulated vsize (Kb) 605832

[startup+1720.99 s]
/proc/loadavg: 1.11 1.02 0.93 2/64 9358
/proc/meminfo: memFree=1126376/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1720.5
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150091 0 0 0 171948 102 0 0 25 0 1 0 195511420 620371968 150062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150062 206 16 0 150899 0
Current children cumulated CPU time (s) 1720.5
Current children cumulated vsize (Kb) 605832

[startup+1731 s]
/proc/loadavg: 1.09 1.02 0.93 2/64 9358
/proc/meminfo: memFree=1126376/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1730.5
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150091 0 0 0 172948 102 0 0 25 0 1 0 195511420 620371968 150062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150062 206 16 0 150899 0
Current children cumulated CPU time (s) 1730.5
Current children cumulated vsize (Kb) 605832

[startup+1741 s]
/proc/loadavg: 1.08 1.01 0.93 2/64 9358
/proc/meminfo: memFree=1126440/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1740.5
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150091 0 0 0 173948 102 0 0 25 0 1 0 195511420 620371968 150062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559559 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150062 206 16 0 150899 0
Current children cumulated CPU time (s) 1740.5
Current children cumulated vsize (Kb) 605832

[startup+1751.01 s]
/proc/loadavg: 1.07 1.01 0.93 2/64 9358
/proc/meminfo: memFree=1126440/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1750.51
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150091 0 0 0 174949 102 0 0 25 0 1 0 195511420 620371968 150062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150062 206 16 0 150899 0
Current children cumulated CPU time (s) 1750.51
Current children cumulated vsize (Kb) 605832

[startup+1761.01 s]
/proc/loadavg: 1.06 1.01 0.93 2/64 9358
/proc/meminfo: memFree=1126440/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1760.51
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150091 0 0 0 175949 102 0 0 25 0 1 0 195511420 620371968 150062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150062 206 16 0 150899 0
Current children cumulated CPU time (s) 1760.51
Current children cumulated vsize (Kb) 605832

[startup+1771.02 s]
/proc/loadavg: 1.05 1.01 0.93 2/64 9358
/proc/meminfo: memFree=1126312/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1770.51
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150156 0 0 0 176949 102 0 0 25 0 1 0 195511420 620371968 150127 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150127 206 16 0 150899 0
Current children cumulated CPU time (s) 1770.51
Current children cumulated vsize (Kb) 605832

[startup+1781.02 s]
/proc/loadavg: 1.04 1.01 0.93 2/64 9358
/proc/meminfo: memFree=1126248/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1780.51
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150159 0 0 0 177949 102 0 0 25 0 1 0 195511420 620371968 150130 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150130 206 16 0 150899 0
Current children cumulated CPU time (s) 1780.51
Current children cumulated vsize (Kb) 605832

[startup+1782.03 s]
/proc/loadavg: 1.04 1.01 0.93 2/64 9358
/proc/meminfo: memFree=1126248/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1781.52
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150160 0 0 0 178050 102 0 0 25 0 1 0 195511420 620371968 150131 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150131 206 16 0 150899 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (Kb) 605832

[startup+1783.03 s]
/proc/loadavg: 1.04 1.01 0.93 2/64 9358
/proc/meminfo: memFree=1126248/2055920 swapFree=4181416/4192956
[pid=8687] ppid=8685 vsize=605832 CPUtime=1782.52
/proc/8687/stat : 8687 (Pueblo) R 8685 8687 8641 0 -1 4194304 150160 0 0 0 178150 102 0 0 25 0 1 0 195511420 620371968 150131 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8687/statm: 151458 150131 206 16 0 150899 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 605832

Child status: 10
Real time (s): 1783.41
CPU time (s): 1782.91
CPU user time (s): 1781.78
CPU system time (s): 1.12483
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (Kb): 605832

Launcher Data (download as text)

Begin job on node49 on Sat Jun  3 01:34:03 UTC 2006


FILE ID= 37061-1149298443

PBS_JOBID= 307254

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-4.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node49/37061-1149298443/instance-37061-1149298443.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node49/watcher-37061-1149298443 -o ROOT/results/node49/solver-37061-1149298443 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node49/37061-1149298443/instance-37061-1149298443.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  e81d6b8e8ff8ec031773b7b65d16ea78

RANDOM SEED= 304531339


/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.216
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	: 5914.62
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.216
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1760360 kB
Buffers:         16996 kB
Cached:         221436 kB
SwapCached:       3036 kB
Active:          44740 kB
Inactive:       202248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1760360 kB
SwapTotal:     4192956 kB
SwapFree:      4181416 kB
Dirty:             216 kB
Writeback:           0 kB
Mapped:          14908 kB
Slab:            34584 kB
Committed_AS:   298448 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node49 on Sat Jun  3 02:03:46 UTC 2006