Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | OPT | 5 | 913.489 | 913.927 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-sample2.opb |
MD5SUM | 98cb9153c0a6885786e060f27dbb5c7a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 10.2424 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 1296 |
Total number of constraints | 46 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 43 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 729 |
Biggest coefficient in the objective function | 23832 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524793 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262138 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524793 |
Number of bits of the biggest sum of numbers | 20 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/351402-1176598487/instance-351402-1176598487.opb ...... 0.49/0.50 c done parsing opb. 0.49/0.50 o 14 0.49/0.50 o 12 0.49/0.50 o 11 0.49/0.51 o 10 235.10/235.28 o 9 409.16/409.44 o 8 429.64/429.94 o 7 632.66/633.05 o 6 884.66/885.12 o 5 913.45/913.90 o 5 913.45/913.90 s OPTIMUM FOUND 913.45/913.90 c Total Run Time 913.45 913.45/913.90 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 913.45/913.90 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 913.45/913.90 v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 913.45/913.90 v -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 913.45/913.90 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 913.45/913.90 v -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 913.45/913.90 v -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x11 -x110 x1100 x1101 -x1102 -x1103 -x1104 x1105 x1106 -x1107 x1108 x1109 -x111 913.45/913.90 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 913.45/913.90 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 913.45/913.90 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 913.45/913.90 v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 913.45/913.90 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 913.45/913.90 v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 913.45/913.90 v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 913.45/913.90 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 913.45/913.90 v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 913.45/913.90 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 913.45/913.90 v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x128 -x1280 -x1281 -x1282 x1283 x1284 913.45/913.90 v x1285 x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x13 -x130 -x131 -x132 -x133 -x134 913.45/913.90 v -x135 -x136 -x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 913.45/913.90 v -x154 -x155 -x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 913.45/913.90 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 913.45/913.90 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 913.45/913.90 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 913.45/913.90 v -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 913.45/913.90 v -x249 -x25 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 913.45/913.90 v -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 x285 -x286 913.45/913.90 v -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 x304 x305 913.45/913.90 v -x306 -x307 x308 x309 -x31 x310 x311 -x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 913.45/913.90 v -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 913.45/913.90 v -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 913.45/913.90 v -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 913.45/913.90 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 913.45/913.90 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 913.45/913.90 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 913.45/913.90 v -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 913.45/913.90 v -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 913.45/913.90 v -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 913.45/913.90 v -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 913.45/913.90 v -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 913.45/913.90 v -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 913.45/913.90 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 913.45/913.90 v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 913.45/913.90 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 913.45/913.90 v -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 913.45/913.90 v -x629 x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 913.45/913.90 v -x648 -x649 x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 913.45/913.90 v -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 913.45/913.90 v -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 913.45/913.90 v -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 913.45/913.90 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x74 -x740 -x741 913.45/913.90 v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 913.45/913.90 v -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x78 913.45/913.90 v -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 913.45/913.90 v -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 913.45/913.90 v -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 913.45/913.90 v -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 913.45/913.90 v -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 913.45/913.90 v -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 913.45/913.90 v -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 913.45/913.90 v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 913.45/913.90 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 913.45/913.90 v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 913.45/913.90 v -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 913.45/913.90 v -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 5
/tmp/evaluation/351402-1176598487/instance-351402-1176598487.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node75/watcher-351402-1176598487 -o ROOT/results/node75/solver-351402-1176598487 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351402-1176598487/PBS4 /tmp/evaluation/351402-1176598487/instance-351402-1176598487.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: 1.00 1.00 1.00 3/64 10304 /proc/meminfo: memFree=1780160/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=1456 CPUtime=0 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 176 0 0 0 0 0 0 0 18 0 1 0 107762587 1490944 158 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588274 0 0 4096 0 0 0 0 17 1 0 0 /proc/10304/statm: 364 158 87 219 0 141 0 [startup+0.080368 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10304 /proc/meminfo: memFree=1780160/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=1960 CPUtime=0.07 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 324 0 0 0 7 0 0 0 18 0 1 0 107762587 2007040 306 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 490 306 92 219 0 267 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1960 [startup+0.10137 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10304 /proc/meminfo: memFree=1780160/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=1960 CPUtime=0.09 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 331 0 0 0 9 0 0 0 18 0 1 0 107762587 2007040 313 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 490 313 92 219 0 267 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1960 [startup+0.30141 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10304 /proc/meminfo: memFree=1780160/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=2728 CPUtime=0.29 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 500 0 0 0 29 0 0 0 19 0 1 0 107762587 2793472 482 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 682 482 93 219 0 459 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2728 [startup+0.702498 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10304 /proc/meminfo: memFree=1780160/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=5932 CPUtime=0.69 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 844 0 0 0 69 0 0 0 23 0 1 0 107762587 6074368 826 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10304/statm: 1483 826 103 219 0 1260 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5932 [startup+1.50165 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10305 /proc/meminfo: memFree=1776888/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=6064 CPUtime=1.48 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 976 0 0 0 148 0 0 0 25 0 1 0 107762587 6209536 958 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 1516 958 103 219 0 1293 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6064 [startup+3.10197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10305 /proc/meminfo: memFree=1776248/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=6388 CPUtime=3.08 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 1119 0 0 0 307 1 0 0 25 0 1 0 107762587 6541312 1101 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549626 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 1597 1101 103 219 0 1374 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 6388 [startup+6.30161 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10305 /proc/meminfo: memFree=1775168/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=6972 CPUtime=6.28 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 1532 0 0 0 626 2 0 0 25 0 1 0 107762587 7139328 1465 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 1743 1465 104 219 0 1520 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 6972 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10305 /proc/meminfo: memFree=1771136/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=11600 CPUtime=12.68 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 2457 0 0 0 1263 5 0 0 25 0 1 0 107762587 11878400 2390 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 2900 2390 104 219 0 2677 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11600 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10305 /proc/meminfo: memFree=1768000/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=20584 CPUtime=25.48 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 3308 0 0 0 2540 8 0 0 25 0 1 0 107762587 21078016 3144 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 5146 3144 104 219 0 4923 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20584 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10305 /proc/meminfo: memFree=1764608/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=22208 CPUtime=51.06 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 4306 0 0 0 5092 14 0 0 25 0 1 0 107762587 22740992 3949 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 5552 3949 104 219 0 5329 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 22208 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10305 /proc/meminfo: memFree=1754304/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=42028 CPUtime=102.25 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 7253 0 0 0 10199 26 0 0 25 0 1 0 107762587 43036672 6511 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 10507 6511 104 219 0 10284 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 42028 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10305 /proc/meminfo: memFree=1746752/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=43040 CPUtime=162.22 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 9198 0 0 0 16186 36 0 0 25 0 1 0 107762587 44072960 8456 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 10760 8456 104 219 0 10537 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 43040 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10305 /proc/meminfo: memFree=1740992/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=43992 CPUtime=222.2 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 10562 0 0 0 22175 45 0 0 25 0 1 0 107762587 45047808 9820 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 10998 9820 104 219 0 10775 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 43992 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10305 /proc/meminfo: memFree=1736896/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=47976 CPUtime=282.18 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 12372 0 0 0 28161 57 0 0 25 0 1 0 107762587 49127424 10861 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 11994 10861 104 219 0 11771 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 47976 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10305 /proc/meminfo: memFree=1732928/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=81896 CPUtime=342.16 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 13321 0 0 0 34152 64 0 0 25 0 1 0 107762587 83861504 11810 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549632 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 20474 11810 104 219 0 20251 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 81896 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/71 10443 /proc/meminfo: memFree=1726600/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=82632 CPUtime=402.07 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 14468 0 0 0 40134 73 0 0 25 0 1 0 107762587 84615168 12957 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 20658 12957 104 219 0 20435 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 82632 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1721664/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=83408 CPUtime=462.03 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 15970 0 0 0 46118 85 0 0 25 0 1 0 107762587 85409792 14459 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 20852 14459 104 219 0 20629 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 83408 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1716928/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=84816 CPUtime=522 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 17149 0 0 0 52107 93 0 0 25 0 1 0 107762587 86851584 15638 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 21204 15638 104 219 0 20981 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 84816 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1715648/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=85428 CPUtime=581.98 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 17459 0 0 0 58095 103 0 0 25 0 1 0 107762587 87478272 15948 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 21357 15948 104 219 0 21134 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 85428 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1713728/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=86248 CPUtime=641.96 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 18002 0 0 0 64085 111 0 0 25 0 1 0 107762587 88317952 16491 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 21562 16491 104 219 0 21339 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 86248 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1710080/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=93364 CPUtime=701.93 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 20428 0 0 0 70074 119 0 0 25 0 1 0 107762587 95604736 17380 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547145 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 23341 17380 104 219 0 23118 0 Current children cumulated CPU time (s) 701.93 Current children cumulated vsize (KiB) 93364 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1703936/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=93836 CPUtime=761.92 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 21962 0 0 0 76064 128 0 0 25 0 1 0 107762587 96088064 18914 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 23459 18914 104 219 0 23236 0 Current children cumulated CPU time (s) 761.92 Current children cumulated vsize (KiB) 93836 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1698368/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=94428 CPUtime=821.89 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 23381 0 0 0 82054 135 0 0 25 0 1 0 107762587 96694272 20333 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 23607 20333 104 219 0 23384 0 Current children cumulated CPU time (s) 821.89 Current children cumulated vsize (KiB) 94428 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1690368/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=95320 CPUtime=881.87 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 25317 0 0 0 88044 143 0 0 25 0 1 0 107762587 97607680 22269 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 23830 22269 104 219 0 23607 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 95320 Solver just ended. Dumping a history of the last processes samples [startup+895.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1689344/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=160856 CPUtime=895.46 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 25569 0 0 0 89402 144 0 0 25 0 1 0 107762587 164716544 22521 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 40214 22521 104 219 0 39991 0 Current children cumulated CPU time (s) 895.46 Current children cumulated vsize (KiB) 160856 [startup+902.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1688832/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=161208 CPUtime=901.86 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 25699 0 0 0 90041 145 0 0 25 0 1 0 107762587 165076992 22651 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 40302 22651 104 219 0 40079 0 Current children cumulated CPU time (s) 901.86 Current children cumulated vsize (KiB) 161208 [startup+908.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1688512/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=161208 CPUtime=908.26 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 25771 0 0 0 90680 146 0 0 25 0 1 0 107762587 165076992 22723 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 40302 22723 104 219 0 40079 0 Current children cumulated CPU time (s) 908.26 Current children cumulated vsize (KiB) 161208 [startup+911.905 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1688512/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=161208 CPUtime=911.46 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 25779 0 0 0 91000 146 0 0 25 0 1 0 107762587 165076992 22731 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 40302 22731 104 219 0 40079 0 Current children cumulated CPU time (s) 911.46 Current children cumulated vsize (KiB) 161208 [startup+912.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1688512/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=162408 CPUtime=912.25 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 26099 0 0 0 91079 146 0 0 25 0 1 0 107762587 166305792 23051 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 40602 23051 104 219 0 40379 0 Current children cumulated CPU time (s) 912.25 Current children cumulated vsize (KiB) 162408 [startup+913.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1687232/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=162408 CPUtime=913.05 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 26103 0 0 0 91159 146 0 0 25 0 1 0 107762587 166305792 23055 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 40602 23055 104 219 0 40379 0 Current children cumulated CPU time (s) 913.05 Current children cumulated vsize (KiB) 162408 [startup+913.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10503 /proc/meminfo: memFree=1687232/2055920 swapFree=4184896/4192956 [pid=10304] ppid=10302 vsize=162408 CPUtime=913.45 /proc/10304/stat : 10304 (PBS4) R 10302 10304 9815 0 -1 4194304 26109 0 0 0 91199 146 0 0 25 0 1 0 107762587 166305792 23061 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10304/statm: 40602 23061 104 219 0 40379 0 Current children cumulated CPU time (s) 913.45 Current children cumulated vsize (KiB) 162408 Child status: 0 Real time (s): 913.927 CPU time (s): 913.489 CPU user time (s): 912.003 CPU system time (s): 1.48577 CPU usage (%): 99.9521 Max. virtual memory (cumulated for all children) (KiB): 162408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 912.003 system time used= 1.48577 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26116 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= 7 involuntary context switches= 1711 runsolver used 0.680896 second user time and 1.88871 second system time The end
Begin job on node75 on Sun Apr 15 00:54:47 UTC 2007 IDJOB= 351402 IDBENCH= 1747 IDSOLVER= 157 FILE ID= node75/351402-1176598487 PBS_JOBID= 4557007 Free space on /tmp= 66563 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-sample2.opb COMMAND LINE= /tmp/evaluation/351402-1176598487/PBS4 /tmp/evaluation/351402-1176598487/instance-351402-1176598487.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node75/convwatcher-351402-1176598487 -o ROOT/results/node75/conversion-351402-1176598487 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351402-1176598487/instance-351402-1176598487.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-351402-1176598487 -o ROOT/results/node75/solver-351402-1176598487 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351402-1176598487/PBS4 /tmp/evaluation/351402-1176598487/instance-351402-1176598487.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 98cb9153c0a6885786e060f27dbb5c7a RANDOM SEED= 970085903 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node75.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.257 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.257 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1780568 kB Buffers: 11884 kB Cached: 159300 kB SwapCached: 2284 kB Active: 36968 kB Inactive: 144988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1780568 kB SwapTotal: 4192956 kB SwapFree: 4184896 kB Dirty: 1168 kB Writeback: 0 kB Mapped: 17084 kB Slab: 79272 kB Committed_AS: 782764 kB PageTables: 1432 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= 66563 MiB End job on node75 on Sun Apr 15 01:10:01 UTC 2007