Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | Wrong Opt. | 0 | 9.50055 | 9.50272 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sc50a.opb |
MD5SUM | b5ddffc69ae920b5aae5c160b76ce03f |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -60000 |
Best CPU time to get the best result obtained on this benchmark | 14.1778 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -60000 |
Optimality of the best value was proved | YES |
Number of variables | 1440 |
Total number of constraints | 49 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 49 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 8589934592 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 22548578283 |
Number of bits of the biggest sum of numbers | 35 |
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 PB/CT 0.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 49/0 clauses 0/0 units 39 0.00/0.01 c vars 1440 0.00/0.01 c objective 30 + -1073741823 9.39/9.40 c 8.50971 22.6328 5912 336669 9.39/9.40 o 0 9.39/9.41 c 8.5147 22.9961 2649 336669 9.39/9.41 s OPTIMUM FOUND 9.39/9.41 v x1 -x2 x3 x4 x5 -x6 x7 x8 -x9 x10 x11 x12 x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 x39 x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 x153 x154 x155 -x156 x157 x158 -x159 x160 x161 x162 x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 x189 x190 x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 x280 x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 x333 -x334 -x335 x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 x371 -x372 x373 x374 x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 x544 -x545 x546 -x547 -x548 -x549 x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 x581 -x582 x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 x606 x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 x633 x634 -x635 x636 -x637 x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 x697 -x698 -x699 x700 -x701 x702 x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 x733 x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 x847 x848 -x849 x850 x851 x852 x853 -x854 x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 x874 -x875 x876 -x877 x878 -x879 x880 -x881 x882 x883 x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 x909 x910 x911 x912 x913 x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 x935 x936 x937 x938 -x939 -x940 -x941 -x942 x943 -x944 x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 x963 x964 x965 -x966 x967 -x968 -x969 x970 -x971 -x972 x973 x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 x995 -x996 x997 x998 x999 -x1000 -x1001 -x1002 -x1003 x1004 x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 x1027 -x1028 x1029 x1030 -x1031 -x1032 x1033 x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 x1143 x1144 x1145 -x1146 x1147 x1148 x1149 -x1150 -x1151 -x1152 x1153 x1154 x1155 x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 x1204 -x1205 x1206 x1207 x1208 -x1209 x1210 -x1211 x1212 x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 x1234 -x1235 x1236 x1237 -x1238 x1239 x1240 x1241 x1242 x1243 -x1244 x1245 x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 x1322 x1323 -x1324 x1325 x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 -x1354 -x1355 x1356 x1357 x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 x1382 -x1383 x1384 x1385 -x1386 x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669333-1276555540/watcher-2669333-1276555540 -o /tmp/evaluation-result-2669333-1276555540/solver-2669333-1276555540 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669333-1276555540.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.99 3/106 954 /proc/meminfo: memFree=1671212/2059040 swapFree=4135896/4192956 [pid=954] ppid=952 vsize=2208 CPUtime=0 /proc/954/stat : 954 (pbct) R 952 954 586 0 -1 4202496 265 0 0 0 0 0 0 0 20 0 1 0 31155320 2260992 188 1992294400 134512640 136485738 4293014096 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/954/statm: 552 189 157 482 0 68 0 [startup+0.0905699 s] /proc/loadavg: 0.91 0.97 0.99 3/106 954 /proc/meminfo: memFree=1671212/2059040 swapFree=4135896/4192956 [pid=954] ppid=952 vsize=9100 CPUtime=0.08 /proc/954/stat : 954 (pbct) R 952 954 586 0 -1 4202496 1951 0 0 0 8 0 0 0 20 0 1 0 31155320 9318400 1874 1992294400 134512640 136485738 4293014096 18446744073709551615 134651030 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/954/statm: 2275 1874 197 482 0 1791 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9100 [startup+0.101571 s] /proc/loadavg: 0.91 0.97 0.99 3/106 954 /proc/meminfo: memFree=1671212/2059040 swapFree=4135896/4192956 [pid=954] ppid=952 vsize=9492 CPUtime=0.09 /proc/954/stat : 954 (pbct) R 952 954 586 0 -1 4202496 2088 0 0 0 8 1 0 0 20 0 1 0 31155320 9719808 2011 1992294400 134512640 136485738 4293014096 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/954/statm: 2373 2012 197 482 0 1889 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9492 [startup+0.301589 s] /proc/loadavg: 0.91 0.97 0.99 3/106 954 /proc/meminfo: memFree=1671212/2059040 swapFree=4135896/4192956 [pid=954] ppid=952 vsize=21796 CPUtime=0.29 /proc/954/stat : 954 (pbct) R 952 954 586 0 -1 4202496 5179 0 0 0 27 2 0 0 20 0 1 0 31155320 22319104 4968 1992294400 134512640 136485738 4293014096 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/954/statm: 5449 4968 228 482 0 4965 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21796 [startup+0.701627 s] /proc/loadavg: 0.91 0.97 0.99 3/106 954 /proc/meminfo: memFree=1671212/2059040 swapFree=4135896/4192956 [pid=954] ppid=952 vsize=21928 CPUtime=0.69 /proc/954/stat : 954 (pbct) R 952 954 586 0 -1 4202496 5218 0 0 0 63 6 0 0 21 0 1 0 31155320 22454272 5007 1992294400 134512640 136485738 4293014096 18446744073709551615 135293372 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/954/statm: 5482 5007 228 482 0 4998 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21928 [startup+1.5017 s] /proc/loadavg: 0.91 0.97 0.99 2/107 955 /proc/meminfo: memFree=1651860/2059040 swapFree=4135896/4192956 [pid=954] ppid=952 vsize=22192 CPUtime=1.5 /proc/954/stat : 954 (pbct) R 952 954 586 0 -1 4202496 5265 0 0 0 135 15 0 0 23 0 1 0 31155320 22724608 5054 1992294400 134512640 136485738 4293014096 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/954/statm: 5548 5054 228 482 0 5064 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 22192 [startup+3.10185 s] /proc/loadavg: 0.91 0.97 0.99 2/107 955 /proc/meminfo: memFree=1651364/2059040 swapFree=4135896/4192956 [pid=954] ppid=952 vsize=22616 CPUtime=3.09 /proc/954/stat : 954 (pbct) R 952 954 586 0 -1 4202496 5358 0 0 0 278 31 0 0 25 0 1 0 31155320 23158784 5147 1992294400 134512640 136485738 4293014096 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/954/statm: 5654 5147 228 482 0 5170 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22616 [startup+6.30115 s] /proc/loadavg: 0.92 0.97 0.99 2/107 955 /proc/meminfo: memFree=1650620/2059040 swapFree=4135896/4192956 [pid=954] ppid=952 vsize=22908 CPUtime=6.29 /proc/954/stat : 954 (pbct) R 952 954 586 0 -1 4202496 5456 0 0 0 569 60 0 0 25 0 1 0 31155320 23457792 5245 1992294400 134512640 136485738 4293014096 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/954/statm: 5727 5245 228 482 0 5243 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22908 Solver just ended. Dumping a history of the last processes samples [startup+7.9013 s] /proc/loadavg: 0.92 0.97 0.99 2/107 955 /proc/meminfo: memFree=1650372/2059040 swapFree=4135896/4192956 [pid=954] ppid=952 vsize=23172 CPUtime=7.89 /proc/954/stat : 954 (pbct) R 952 954 586 0 -1 4202496 5503 0 0 0 714 75 0 0 25 0 1 0 31155320 23728128 5292 1992294400 134512640 136485738 4293014096 18446744073709551615 134880907 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/954/statm: 5793 5292 228 482 0 5309 0 Current children cumulated CPU time (s) 7.89 Current children cumulated vsize (KiB) 23172 [startup+8.70137 s] /proc/loadavg: 0.92 0.97 0.99 2/107 955 /proc/meminfo: memFree=1650372/2059040 swapFree=4135896/4192956 [pid=954] ppid=952 vsize=23172 CPUtime=8.69 /proc/954/stat : 954 (pbct) R 952 954 586 0 -1 4202496 5503 0 0 0 788 81 0 0 25 0 1 0 31155320 23728128 5292 1992294400 134512640 136485738 4293014096 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/954/statm: 5793 5292 228 482 0 5309 0 Current children cumulated CPU time (s) 8.69 Current children cumulated vsize (KiB) 23172 [startup+9.10141 s] /proc/loadavg: 0.92 0.97 0.99 2/107 955 /proc/meminfo: memFree=1650372/2059040 swapFree=4135896/4192956 [pid=954] ppid=952 vsize=23172 CPUtime=9.09 /proc/954/stat : 954 (pbct) R 952 954 586 0 -1 4202496 5503 0 0 0 824 85 0 0 25 0 1 0 31155320 23728128 5292 1992294400 134512640 136485738 4293014096 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/954/statm: 5793 5292 228 482 0 5309 0 Current children cumulated CPU time (s) 9.09 Current children cumulated vsize (KiB) 23172 [startup+9.50145 s] /proc/loadavg: 0.92 0.97 0.99 2/107 955 /proc/meminfo: memFree=1650372/2059040 swapFree=4135896/4192956 [pid=954] ppid=952 vsize=0 CPUtime=9.49 /proc/954/stat : 954 (pbct) R 952 954 586 0 -1 4202500 5604 0 0 0 860 89 0 0 25 0 1 0 31155320 0 0 1992294400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/954/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 9.49 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 9.50272 CPU time (s): 9.50055 CPU user time (s): 8.60269 CPU system time (s): 0.897863 CPU usage (%): 99.9772 Max. virtual memory (cumulated for all children) (KiB): 23172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.60269 system time used= 0.897863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5604 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 10 runsolver used 0.022996 second user time and 0.045993 second system time The end
Begin job on node015 at 2010-06-15 00:45:40 IDJOB=2669333 IDBENCH=2449 IDSOLVER=1170 FILE ID=node015/2669333-1276555540 PBS_JOBID= 11173487 Free space on /tmp= 62584 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50a.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669333-1276555540/watcher-2669333-1276555540 -o /tmp/evaluation-result-2669333-1276555540/solver-2669333-1276555540 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669333-1276555540.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b5ddffc69ae920b5aae5c160b76ce03f RANDOM SEED=655099213 node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1671616 kB Buffers: 163200 kB Cached: 143784 kB SwapCached: 11036 kB Active: 86280 kB Inactive: 234536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1671616 kB SwapTotal: 4192956 kB SwapFree: 4135896 kB Dirty: 2004 kB Writeback: 0 kB AnonPages: 11952 kB Mapped: 9272 kB Slab: 44796 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180084 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62580 MiB End job on node015 at 2010-06-15 00:45:50