Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 47977 | 1782.76 | 1783.28 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb |
MD5SUM | c3720ea5d84e92b781414b36064971fe |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 46545 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 46478 |
Optimality of the best value was proved | NO |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 279536 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 279536 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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.39/0.41 c starting to Solve 0.39/0.41 c #variables read: 1344 - #constraints read: 16377 0.39/0.44 o 53167 0.39/0.44 o 51354 0.39/0.44 o 51330 0.39/0.44 o 50941 0.39/0.46 o 50801 0.39/0.46 o 50736 24.58/24.60 o 50644 28.18/28.28 o 50447 28.88/28.98 o 50205 31.28/31.38 o 50041 31.28/31.38 o 49929 39.48/39.55 o 49866 39.48/39.56 o 49738 43.47/43.52 o 49466 43.67/43.74 o 49363 55.97/56.06 o 49255 55.97/56.06 o 49235 68.17/68.23 o 48682 80.77/80.80 o 48638 80.77/80.80 o 48589 80.77/80.81 o 48345 82.97/83.02 o 47977 1782.67/1783.26 c total time : 1783 s 1782.67/1783.26 s SATISFIABLE 1782.67/1783.26 v -x897 x898 -x899 x900 x901 x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 1782.67/1783.26 v x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 x939 1782.67/1783.26 v -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 1782.67/1783.26 v -x961 x962 -x963 x964 -x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 1782.67/1783.26 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 1782.67/1783.26 v x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 x1018 -x1019 -x1020 1782.67/1783.26 v -x1021 -x1022 -x1023 x1024 -x1025 x1026 -x1027 x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 1782.67/1783.26 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 1782.67/1783.26 v x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1782.67/1783.26 v x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 x1086 x1087 -x1088 -x1089 x1090 -x1091 1782.67/1783.26 v x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1782.67/1783.26 v x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 1782.67/1783.26 v -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 1782.67/1783.26 v -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 -x1153 -x1154 x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1782.67/1783.26 v -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 1782.67/1783.26 v -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 1782.67/1783.26 v x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 x1212 -x1213 -x1214 x1215 -x1216 x1217 1782.67/1783.26 v x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 x1235 1782.67/1783.26 v -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 1782.67/1783.26 v -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 1782.67/1783.26 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 1782.67/1783.26 v -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 x1305 -x1306 -x1307 1782.67/1783.26 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 1782.67/1783.26 v x1326 -x1327 -x1328 -x1329 -x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 x1343 1782.67/1783.26 v x1344 -x2 -x66 -x130 -x194 -x258 -x322 -x386 -x450 -x514 -x578 x642 -x706 -x770 -x834 -x3 -x67 -x131 -x195 -x259 -x323 -x387 1782.67/1783.26 v -x451 x515 -x579 -x643 -x707 -x771 -x835 -x4 -x68 -x132 -x196 -x260 -x324 -x388 -x452 -x516 x580 -x644 -x708 -x772 -x836 -x5 1782.67/1783.26 v -x69 x133 -x197 -x261 -x325 -x389 -x453 -x517 -x581 -x645 -x709 -x773 -x837 -x6 -x70 -x134 -x198 -x262 x326 -x390 -x454 -x518 1782.67/1783.26 v -x582 -x646 -x710 -x774 -x838 x7 -x71 -x135 -x199 -x263 -x327 -x391 -x455 -x519 -x583 -x647 -x711 -x775 -x839 -x8 -x72 -x136 1782.67/1783.26 v -x200 -x264 -x328 x392 -x456 -x520 -x584 -x648 -x712 -x776 -x840 -x9 -x73 -x137 -x201 -x265 -x329 -x393 -x457 -x521 -x585 1782.67/1783.26 v -x649 -x713 x777 -x841 -x11 -x75 -x139 -x203 -x267 -x331 -x395 -x459 -x523 -x587 -x651 -x715 -x779 x843 -x12 -x76 -x140 -x204 1782.67/1783.26 v -x268 -x332 -x396 -x460 -x524 -x588 -x652 x716 -x780 -x844 -x13 -x77 -x141 x205 -x269 -x333 -x397 -x461 -x525 -x589 -x653 1782.67/1783.26 v -x717 -x781 -x845 -x14 x78 -x142 -x206 -x270 -x334 -x398 -x462 -x526 -x590 -x654 -x718 -x782 -x846 -x15 -x79 x143 -x207 -x271 1782.67/1783.26 v -x335 -x399 -x463 -x527 -x591 -x655 -x719 -x783 -x847 -x16 -x80 -x144 -x208 -x272 -x336 -x400 x464 -x528 -x592 -x656 -x720 1782.67/1783.26 v -x784 -x848 -x17 x81 -x145 -x209 -x273 -x337 -x401 -x465 -x529 -x593 -x657 -x721 -x785 -x849 -x18 -x82 -x146 -x210 x274 -x338 1782.67/1783.26 v -x402 -x466 -x530 -x594 -x658 -x722 -x786 -x850 -x20 -x84 -x148 -x212 -x276 x340 -x404 -x468 -x532 -x596 -x660 -x724 -x788 1782.67/1783.26 v -x852 x21 -x85 -x149 -x213 -x277 -x341 -x405 -x469 -x533 -x597 -x661 -x725 -x789 -x853 -x22 -x86 -x150 -x214 -x278 -x342 -x406 1782.67/1783.26 v -x470 -x534 -x598 x662 -x726 -x790 -x854 -x23 -x87 -x151 -x215 -x279 -x343 -x407 -x471 -x535 x599 -x663 -x727 -x791 -x855 1782.67/1783.26 v -x24 -x88 x152 -x216 -x280 -x344 -x408 -x472 -x536 -x600 -x664 -x728 -x792 -x856 -x25 -x89 -x153 x217 -x281 -x345 -x409 -x473 1782.67/1783.26 v -x537 -x601 -x665 -x729 -x793 -x857 x26 -x90 -x154 -x218 -x282 -x346 -x410 -x474 -x538 -x602 -x666 -x730 -x794 -x858 -x27 1782.67/1783.26 v -x91 -x155 -x219 -x283 -x347 -x411 x475 -x539 -x603 -x667 -x731 -x795 -x859 -x29 -x93 -x157 -x221 x285 -x349 -x413 -x477 -x541 1782.67/1783.26 v -x605 -x669 -x733 -x797 -x861 -x30 -x94 -x158 -x222 -x286 -x350 x414 -x478 -x542 -x606 -x670 -x734 -x798 -x862 -x31 -x95 -x159 1782.67/1783.26 v -x223 -x287 -x351 -x415 -x479 x543 -x607 -x671 -x735 -x799 -x863 -x32 -x96 -x160 -x224 -x288 -x352 -x416 -x480 -x544 -x608 1782.67/1783.26 v x672 -x736 -x800 -x864 -x33 -x97 -x161 -x225 -x289 -x353 -x417 -x481 -x545 -x609 -x673 -x737 -x801 x865 -x34 -x98 -x162 -x226 1782.67/1783.26 v -x290 -x354 x418 -x482 -x546 -x610 -x674 -x738 -x802 -x866 -x35 -x99 -x163 -x227 -x291 -x355 -x419 -x483 -x547 -x611 -x675 1782.67/1783.26 v x739 -x803 -x867 -x36 x100 -x164 -x228 -x292 -x356 -x420 -x484 -x548 -x612 -x676 -x740 -x804 -x868 -x38 -x102 -x166 -x230 1782.67/1783.26 v -x294 -x358 -x422 -x486 -x550 -x614 -x678 -x742 x806 -x870 -x39 -x103 -x167 -x231 -x295 -x359 -x423 x487 -x551 -x615 -x679 1782.67/1783.26 v -x743 -x807 -x871 -x40 -x104 -x168 -x232 -x296 x360 -x424 -x488 -x552 -x616 -x680 -x744 -x808 -x872 -x41 -x105 -x169 -x233 1782.67/1783.26 v -x297 -x361 -x425 x489 -x553 -x617 -x681 -x745 -x809 -x873 -x42 -x106 -x170 -x234 -x298 -x362 -x426 -x490 x554 -x618 -x682 1782.67/1783.26 v -x746 -x810 -x874 -x43 -x107 -x171 x235 -x299 -x363 -x427 -x491 -x555 -x619 -x683 -x747 -x811 -x875 -x44 -x108 x172 -x236 1782.67/1783.26 v -x300 -x364 -x428 -x492 -x556 -x620 -x684 -x748 -x812 -x876 -x45 -x109 -x173 -x237 -x301 -x365 -x429 -x493 -x557 x621 -x685 1782.67/1783.26 v -x749 -x813 -x877 -x47 -x111 -x175 -x239 -x303 -x367 -x431 -x495 -x559 -x623 -x687 -x751 -x815 x879 x48 -x112 -x176 -x240 1782.67/1783.26 v -x304 -x368 -x432 -x496 -x560 -x624 -x688 -x752 -x816 -x880 -x49 -x113 -x177 -x241 -x305 -x369 -x433 -x497 -x561 -x625 -x689 1782.67/1783.26 v x753 -x817 -x881 -x50 -x114 -x178 -x242 -x306 x370 -x434 -x498 -x562 -x626 -x690 -x754 -x818 -x882 -x51 -x115 -x179 -x243 1782.67/1783.26 v -x307 -x371 x435 -x499 -x563 -x627 -x691 -x755 -x819 -x883 -x52 -x116 -x180 -x244 -x308 -x372 -x436 -x500 -x564 -x628 -x692 1782.67/1783.26 v -x756 x820 -x884 -x53 -x117 -x181 -x245 -x309 -x373 -x437 -x501 -x565 -x629 x693 -x757 -x821 -x885 -x54 -x118 -x182 -x246 1782.67/1783.26 v x310 -x374 -x438 -x502 -x566 -x630 -x694 -x758 -x822 -x886 -x56 x120 -x184 -x248 -x312 -x376 -x440 -x504 -x568 -x632 -x696 1782.67/1783.26 v -x760 -x824 -x888 -x57 -x121 -x185 -x249 x313 -x377 -x441 -x505 -x569 -x633 -x697 -x761 -x825 -x889 -x58 -x122 -x186 -x250 1782.67/1783.26 v -x314 -x378 -x442 -x506 -x570 x634 -x698 -x762 -x826 -x890 -x59 -x123 -x187 -x251 -x315 -x379 -x443 -x507 -x571 -x635 -x699 1782.67/1783.26 v -x763 x827 -x891 -x60 -x124 -x188 -x252 -x316 -x380 -x444 -x508 -x572 -x636 -x700 -x764 -x828 x892 -x61 -x125 -x189 -x253 1782.67/1783.26 v -x317 -x381 -x445 -x509 x573 -x637 -x701 -x765 -x829 -x893 -x62 -x126 -x190 -x254 -x318 -x382 -x446 -x510 -x574 -x638 -x702 1782.67/1783.26 v x766 -x830 -x894 -x63 -x127 -x191 x255 -x319 -x383 -x447 -x511 -x575 -x639 -x703 -x767 -x831 -x895 x10 -x74 -x138 -x202 x266 1782.67/1783.26 v x330 x394 -x458 x522 x586 x650 -x714 -x778 -x842 -x19 -x83 -x147 x211 -x275 -x339 x403 x467 x531 -x595 -x659 x723 x787 x851 1782.67/1783.26 v -x28 x92 x156 -x220 -x284 x348 -x412 -x476 -x540 x604 -x668 x732 x796 x860 x37 -x101 x165 x229 x293 -x357 -x421 -x485 x549 x613 1782.67/1783.26 v x677 -x741 -x805 -x869 -x46 x110 -x174 -x238 x302 x366 x430 -x494 -x558 -x622 x686 x750 x814 -x878 x55 -x119 x183 x247 -x311 1782.67/1783.26 v -x375 -x439 x503 x567 x631 -x695 -x759 -x823 x887 x64 x128 x192 -x256 -x320 x384 x448 x512 -x576 -x640 x704 -x768 -x832 -x896 1782.67/1783.26 v -x1 x65 -x129 x193 x257 -x321 -x385 x449 -x513 -x577 -x641 x705 x769 x833
OK 47977
/tmp/evaluation/352697-1176639207/instance-352697-1176639207.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-352697-1176639207 -o ROOT/results/node5/solver-352697-1176639207 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352697-1176639207/instance-352697-1176639207.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.97 3/77 18602 /proc/meminfo: memFree=1746760/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=2552 CPUtime=0 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 139958352 2613248 230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 638 230 193 16 0 77 0 [startup+0.050101 s] /proc/loadavg: 0.99 0.97 0.97 3/77 18602 /proc/meminfo: memFree=1746760/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=3084 CPUtime=0.04 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 403 0 0 0 4 0 0 0 18 0 1 0 139958352 3158016 373 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 771 373 199 16 0 210 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3084 [startup+0.101106 s] /proc/loadavg: 0.99 0.97 0.97 3/77 18602 /proc/meminfo: memFree=1746760/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=3616 CPUtime=0.09 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 550 0 0 0 9 0 0 0 18 0 1 0 139958352 3702784 520 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8060867 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 904 520 199 16 0 343 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3616 [startup+0.30113 s] /proc/loadavg: 0.99 0.97 0.97 3/77 18602 /proc/meminfo: memFree=1746760/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=5216 CPUtime=0.29 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 937 0 0 0 29 0 0 0 19 0 1 0 139958352 5341184 907 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8328827 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 1304 907 199 16 0 743 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5216 [startup+0.701175 s] /proc/loadavg: 0.99 0.97 0.97 3/77 18602 /proc/meminfo: memFree=1746760/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=8148 CPUtime=0.68 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 1670 0 0 0 68 0 0 0 22 0 1 0 139958352 8343552 1640 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 2037 1640 205 16 0 1476 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8148 [startup+1.50127 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1740928/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=8148 CPUtime=1.49 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 1670 0 0 0 148 1 0 0 25 0 1 0 139958352 8343552 1640 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 2037 1640 205 16 0 1476 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8148 [startup+3.10145 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1740288/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=9996 CPUtime=3.09 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 2127 0 0 0 307 2 0 0 25 0 1 0 139958352 10235904 2097 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 2499 2097 205 16 0 1938 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9996 [startup+6.30181 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1735552/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=14488 CPUtime=6.28 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 3243 0 0 0 625 3 0 0 25 0 1 0 139958352 14835712 3213 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519937 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 3622 3213 205 16 0 3061 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14488 [startup+12.7025 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1729600/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=19248 CPUtime=12.69 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 4417 0 0 0 1264 5 0 0 25 0 1 0 139958352 19709952 4387 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527552 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 4812 4387 205 16 0 4251 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19248 [startup+25.502 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1723392/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=25432 CPUtime=25.48 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 5969 0 0 0 2541 7 0 0 25 0 1 0 139958352 26042368 5939 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528713 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 6358 5939 205 16 0 5797 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25432 [startup+51.1019 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1718464/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=30484 CPUtime=51.07 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 7227 0 0 0 5097 10 0 0 25 0 1 0 139958352 31215616 7197 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 7621 7197 205 16 0 7060 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30484 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1716288/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=32728 CPUtime=102.26 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 7789 0 0 0 10212 14 0 0 25 0 1 0 139958352 33513472 7759 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 8182 7759 205 16 0 7621 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32728 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1710528/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=38256 CPUtime=162.24 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 9185 0 0 0 16204 20 0 0 25 0 1 0 139958352 39174144 9155 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 9564 9155 205 16 0 9003 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 38256 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1702272/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=46480 CPUtime=222.22 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 11218 0 0 0 22194 28 0 0 25 0 1 0 139958352 47595520 11188 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556420 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 11620 11188 205 16 0 11059 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 46480 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1700480/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=48204 CPUtime=282.21 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 11657 0 0 0 28188 33 0 0 25 0 1 0 139958352 49360896 11627 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 12051 11627 205 16 0 11490 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 48204 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1700480/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=48204 CPUtime=342.18 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 11659 0 0 0 34180 38 0 0 25 0 1 0 139958352 49360896 11629 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519946 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 12051 11629 205 16 0 11490 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 48204 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1698752/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=50820 CPUtime=402.17 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 12321 0 0 0 40173 44 0 0 25 0 1 0 139958352 52039680 12291 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 12705 12291 205 16 0 12144 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 50820 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1695296/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=53180 CPUtime=462.15 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 12928 0 0 0 46166 49 0 0 25 0 1 0 139958352 54456320 12898 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 13295 12898 205 16 0 12734 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 53180 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1695296/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=53180 CPUtime=522.14 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 12928 0 0 0 52160 54 0 0 25 0 1 0 139958352 54456320 12898 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 13295 12898 205 16 0 12734 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 53180 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1695296/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=53180 CPUtime=582.12 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 12929 0 0 0 58154 58 0 0 25 0 1 0 139958352 54456320 12899 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 13295 12899 205 16 0 12734 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 53180 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18603 /proc/meminfo: memFree=1695232/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=53180 CPUtime=642.1 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 12929 0 0 0 64149 61 0 0 25 0 1 0 139958352 54456320 12899 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 13295 12899 205 16 0 12734 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 53180 ################ # More data... # ################ /proc/meminfo: memFree=1681856/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=66604 CPUtime=882.03 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 16238 0 0 0 88123 80 0 0 25 0 1 0 139958352 68202496 16208 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 16651 16208 205 16 0 16090 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 66604 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18603 /proc/meminfo: memFree=1681856/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=66604 CPUtime=942.01 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 16238 0 0 0 94115 86 0 0 25 0 1 0 139958352 68202496 16208 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 16651 16208 205 16 0 16090 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 66604 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18603 /proc/meminfo: memFree=1681856/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=66604 CPUtime=1001.99 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 16238 0 0 0 100108 91 0 0 25 0 1 0 139958352 68202496 16208 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528641 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 16651 16208 205 16 0 16090 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 66604 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1681728/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=66492 CPUtime=1061.97 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 16241 0 0 0 106102 95 0 0 25 0 1 0 139958352 68087808 16196 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 16623 16196 205 16 0 16062 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 66492 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1675520/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=72896 CPUtime=1121.96 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 17811 0 0 0 112097 99 0 0 25 0 1 0 139958352 74645504 17766 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 18224 17766 205 16 0 17663 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 72896 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1674048/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=74204 CPUtime=1181.95 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 18161 0 0 0 118092 103 0 0 25 0 1 0 139958352 75984896 18116 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559228 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 18551 18116 205 16 0 17990 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 74204 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1671168/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=77088 CPUtime=1241.92 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 18883 0 0 0 124086 106 0 0 25 0 1 0 139958352 78938112 18838 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 19272 18838 205 16 0 18711 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 77088 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1665536/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=82724 CPUtime=1301.91 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 20275 0 0 0 130080 111 0 0 25 0 1 0 139958352 84709376 20230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 20681 20230 205 16 0 20120 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 82724 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1662272/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=85952 CPUtime=1361.89 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21079 0 0 0 136074 115 0 0 25 0 1 0 139958352 88014848 21034 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 21488 21034 205 16 0 20927 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 85952 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1662272/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=85932 CPUtime=1421.88 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21079 0 0 0 142069 119 0 0 25 0 1 0 139958352 87994368 21034 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519098 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 21483 21034 205 16 0 20922 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 85932 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1659264/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=88848 CPUtime=1481.86 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 148063 123 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 22212 21778 205 16 0 21651 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 88848 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1659264/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=88848 CPUtime=1541.84 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 154057 127 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 22212 21778 205 16 0 21651 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 88848 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1659200/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=88848 CPUtime=1601.82 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 160052 130 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520000 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 22212 21778 205 16 0 21651 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 88848 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1659200/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=88848 CPUtime=1661.81 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 166047 134 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 22212 21778 205 16 0 21651 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 88848 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1659136/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=88848 CPUtime=1721.78 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 172041 137 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 22212 21778 205 16 0 21651 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 88848 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1659136/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=88848 CPUtime=1781.76 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 178036 140 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 22212 21778 205 16 0 21651 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 88848 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1659136/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=88848 CPUtime=1782.16 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 178076 140 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 22212 21778 205 16 0 21651 0 Current children cumulated CPU time (s) 1782.16 Current children cumulated vsize (KiB) 88848 [startup+1783.11 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1659136/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=88848 CPUtime=1782.57 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 178117 140 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 22212 21778 205 16 0 21651 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (KiB) 88848 [startup+1783.2 s] /proc/loadavg: 1.00 0.99 0.98 2/78 18605 /proc/meminfo: memFree=1659136/2055920 swapFree=4191880/4192956 [pid=18602] ppid=18600 vsize=88848 CPUtime=1782.67 /proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 178127 140 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18602/statm: 22212 21778 205 16 0 21651 0 Current children cumulated CPU time (s) 1782.67 Current children cumulated vsize (KiB) 88848 Child status: 10 Real time (s): 1783.28 CPU time (s): 1782.76 CPU user time (s): 1781.34 CPU system time (s): 1.42378 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 88848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.34 system time used= 1.42378 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21830 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= 16 involuntary context switches= 3317 runsolver used 2.12168 second user time and 4.05838 second system time The end
Begin job on node5 on Sun Apr 15 12:13:27 UTC 2007 IDJOB= 352697 IDBENCH= 2008 IDSOLVER= 165 FILE ID= node5/352697-1176639207 PBS_JOBID= 4556857 Free space on /tmp= 66554 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb COMMAND LINE= Pueblo /tmp/evaluation/352697-1176639207/instance-352697-1176639207.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-352697-1176639207 -o ROOT/results/node5/conversion-352697-1176639207 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352697-1176639207/instance-352697-1176639207.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-352697-1176639207 -o ROOT/results/node5/solver-352697-1176639207 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352697-1176639207/instance-352697-1176639207.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe RANDOM SEED= 28155576 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.232 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.232 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: 1747168 kB Buffers: 50884 kB Cached: 150400 kB SwapCached: 268 kB Active: 137152 kB Inactive: 118604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1747168 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 3188 kB Writeback: 0 kB Mapped: 71264 kB Slab: 38592 kB Committed_AS: 7437952 kB PageTables: 1720 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66554 MiB End job on node5 on Sun Apr 15 12:43:10 UTC 2007