Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | OPT | 5 | 1622.01 | 1622.65 |
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 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.00/0.02 c starting to Solve 0.00/0.02 c #variables read: 1296 - #constraints read: 68 2.10/2.17 o 24 2.20/2.27 o 20 2.20/2.30 o 19 9.19/9.28 o 11 9.89/9.91 o 10 11.28/11.31 o 9 11.99/12.07 o 8 346.58/346.81 o 7 1188.21/1188.79 o 6 1569.68/1570.38 o 5 1621.96/1622.64 c optimum objective found = 5 1621.96/1622.64 c total time : 1622.25 s 1621.96/1622.64 s OPTIMUM FOUND 1621.96/1622.64 v -x1276 x1277 -x1278 x1294 -x1295 -x1296 x1282 -x1286 -x1290 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 1621.96/1622.64 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1621.96/1622.64 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1621.96/1622.64 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 1621.96/1622.64 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 1621.96/1622.64 v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 1621.96/1622.64 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 1621.96/1622.64 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x796 -x797 -x798 -x799 -x800 -x801 -x802 1621.96/1622.64 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 1621.96/1622.64 v -x824 -x825 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 1621.96/1622.64 v -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 1621.96/1622.64 v -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 1621.96/1622.64 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 1621.96/1622.64 v -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1621.96/1622.64 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1036 -x1037 1621.96/1622.64 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 1621.96/1622.64 v -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 1621.96/1622.64 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 1621.96/1622.64 v -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1621.96/1622.64 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 1621.96/1622.64 v -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 1621.96/1622.64 v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1216 1621.96/1622.64 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1621.96/1622.64 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 1621.96/1622.64 v -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 1621.96/1622.64 v -x120 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 1621.96/1622.64 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 1621.96/1622.64 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 1621.96/1622.64 v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 1621.96/1622.64 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 1621.96/1622.64 v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 1621.96/1622.64 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 1621.96/1622.64 v -x417 -x418 -x419 -x420 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1621.96/1622.64 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1621.96/1622.64 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1621.96/1622.64 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1621.96/1622.64 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1621.96/1622.64 v -x552 -x553 -x554 -x555 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 1621.96/1622.64 v -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 1621.96/1622.64 v -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 1621.96/1622.64 v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 1621.96/1622.64 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x361 -x362 1621.96/1622.64 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1621.96/1622.64 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 1621.96/1622.64 v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x826 -x827 -x828 -x829 -x830 1621.96/1622.64 v x831 x832 x833 x834 x835 x836 x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 1621.96/1622.64 v -x853 -x854 -x855 -x181 -x182 x183 x184 x185 -x186 x187 x188 x189 -x190 x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 1621.96/1622.64 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 1621.96/1622.64 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1621.96/1622.64 v -x1031 -x1032 -x1033 -x1034 -x1035 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1621.96/1622.64 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x1186 -x1187 -x1188 -x1189 -x1190 1621.96/1622.64 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1621.96/1622.64 v -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 1621.96/1622.64 v -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x616 -x617 1621.96/1622.64 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 1621.96/1622.64 v -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 x647 x648 x649 x650 x651 x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 1621.96/1622.64 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x766 -x767 -x768 -x769 -x770 -x771 1621.96/1622.64 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 1621.96/1622.64 v -x793 -x794 -x795 x1279 -x1283 -x1287 -x1291 x1280 -x1284 -x1288 -x1292 x1281 -x1285 -x1289 -x1293 x946 x947 x948 x949 -x950 1621.96/1622.64 v -x951 x952 -x953 x954 -x955 -x956 x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1621.96/1622.64 v -x972 -x973 -x974 -x975 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1621.96/1622.64 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1246 1621.96/1622.64 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 1621.96/1622.64 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275
OK 5
/tmp/evaluation/351410-1176598625/instance-351410-1176598625.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-351410-1176598625 -o ROOT/results/node67/solver-351410-1176598625 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351410-1176598625/instance-351410-1176598625.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 0.99 0.98 3/64 3573 /proc/meminfo: memFree=1432608/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=2552 CPUtime=0 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 135852026 2613248 228 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7356119 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 638 229 193 16 0 77 0 [startup+0.0587919 s] /proc/loadavg: 1.00 0.99 0.98 3/64 3573 /proc/meminfo: memFree=1432608/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=3248 CPUtime=0.05 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 442 0 0 0 5 0 0 0 18 0 1 0 135852026 3325952 412 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134563601 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 812 412 205 16 0 251 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3248 [startup+0.101799 s] /proc/loadavg: 1.00 0.99 0.98 3/64 3573 /proc/meminfo: memFree=1432608/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=3248 CPUtime=0.09 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 454 0 0 0 9 0 0 0 18 0 1 0 135852026 3325952 424 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 812 424 205 16 0 251 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3248 [startup+0.301834 s] /proc/loadavg: 1.00 0.99 0.98 3/64 3573 /proc/meminfo: memFree=1432608/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=3504 CPUtime=0.29 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 495 0 0 0 29 0 0 0 19 0 1 0 135852026 3588096 465 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559045 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 876 465 205 16 0 315 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3504 [startup+0.701909 s] /proc/loadavg: 1.00 0.99 0.98 3/64 3573 /proc/meminfo: memFree=1432608/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=3504 CPUtime=0.69 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 519 0 0 0 69 0 0 0 24 0 1 0 135852026 3588096 489 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 876 489 205 16 0 315 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3504 [startup+1.50106 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3574 /proc/meminfo: memFree=1431448/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=3632 CPUtime=1.49 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 556 0 0 0 149 0 0 0 25 0 1 0 135852026 3719168 526 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134557293 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 908 526 205 16 0 347 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3632 [startup+3.10135 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3574 /proc/meminfo: memFree=1431128/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=4016 CPUtime=3.09 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 634 0 0 0 308 1 0 0 25 0 1 0 135852026 4112384 604 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1004 604 205 16 0 443 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4016 [startup+6.30194 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3574 /proc/meminfo: memFree=1430424/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=4276 CPUtime=6.29 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 705 0 0 0 626 3 0 0 25 0 1 0 135852026 4378624 675 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1069 675 205 16 0 508 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4276 [startup+12.7011 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3574 /proc/meminfo: memFree=1429344/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=5088 CPUtime=12.68 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 956 0 0 0 1258 10 0 0 25 0 1 0 135852026 5210112 891 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1272 891 205 16 0 711 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 5088 [startup+25.5015 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3574 /proc/meminfo: memFree=1429344/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=5088 CPUtime=25.48 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 956 0 0 0 2528 20 0 0 25 0 1 0 135852026 5210112 891 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1272 891 205 16 0 711 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 5088 [startup+51.1012 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3574 /proc/meminfo: memFree=1429024/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=5600 CPUtime=51.07 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 1082 0 0 0 5058 49 0 0 25 0 1 0 135852026 5734400 1017 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1400 1017 205 16 0 839 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 5600 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3574 /proc/meminfo: memFree=1428384/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=6216 CPUtime=102.26 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 1249 0 0 0 10118 108 0 0 25 0 1 0 135852026 6365184 1173 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1554 1173 205 16 0 993 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 6216 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3574 /proc/meminfo: memFree=1428000/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=6560 CPUtime=162.23 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 1334 0 0 0 16078 145 0 0 25 0 1 0 135852026 6717440 1258 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1640 1258 205 16 0 1079 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 6560 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3574 /proc/meminfo: memFree=1427936/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=6724 CPUtime=222.22 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 1391 0 0 0 22002 220 0 0 25 0 1 0 135852026 6885376 1300 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1681 1300 205 16 0 1120 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 6724 [startup+282.302 s] /proc/loadavg: 1.09 1.02 0.99 2/71 3748 /proc/meminfo: memFree=1426544/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=6880 CPUtime=282.12 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 1587 0 0 0 27942 270 0 0 25 0 1 0 135852026 7045120 1339 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1720 1339 205 16 0 1159 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 6880 [startup+342.302 s] /proc/loadavg: 1.03 1.01 0.99 2/65 3772 /proc/meminfo: memFree=1427232/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=7200 CPUtime=342.09 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 1746 0 0 0 33878 331 0 0 25 0 1 0 135852026 7372800 1419 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1800 1419 205 16 0 1239 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 7200 [startup+402.302 s] /proc/loadavg: 1.01 1.01 0.99 2/65 3772 /proc/meminfo: memFree=1426976/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=7520 CPUtime=402.07 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 1822 0 0 0 39832 375 0 0 25 0 1 0 135852026 7700480 1495 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1880 1495 205 16 0 1319 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 7520 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426976/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=7520 CPUtime=462.05 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 1835 0 0 0 45783 422 0 0 25 0 1 0 135852026 7700480 1499 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7331457 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1880 1499 205 16 0 1319 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 7520 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1427040/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=7520 CPUtime=522.03 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 1835 0 0 0 51734 469 0 0 25 0 1 0 135852026 7700480 1499 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1880 1499 205 16 0 1319 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 7520 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426912/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=7548 CPUtime=582.01 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 1862 0 0 0 57672 529 0 0 25 0 1 0 135852026 7729152 1506 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528084 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1887 1506 205 16 0 1326 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 7548 [startup+642.302 s] /proc/loadavg: 1.04 1.01 0.99 2/65 3772 /proc/meminfo: memFree=1426912/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=7548 CPUtime=642 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 1866 0 0 0 63630 570 0 0 25 0 1 0 135852026 7729152 1506 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1887 1506 205 16 0 1326 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 7548 ################ # More data... # ################ /proc/meminfo: memFree=1426464/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=7852 CPUtime=941.89 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2283 0 0 0 93378 811 0 0 25 0 1 0 135852026 8040448 1582 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1963 1582 205 16 0 1402 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 7852 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426656/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=7852 CPUtime=1001.86 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2283 0 0 0 99337 849 0 0 25 0 1 0 135852026 8040448 1582 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 1963 1582 205 16 0 1402 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 7852 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426464/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8228 CPUtime=1061.85 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2351 0 0 0 105268 917 0 0 25 0 1 0 135852026 8425472 1650 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2057 1650 205 16 0 1496 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 8228 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426336/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8232 CPUtime=1121.82 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2386 0 0 0 111212 970 0 0 25 0 1 0 135852026 8429568 1677 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2058 1677 205 16 0 1497 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 8232 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426336/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8232 CPUtime=1181.8 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2386 0 0 0 117165 1015 0 0 25 0 1 0 135852026 8429568 1677 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2058 1677 205 16 0 1497 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 8232 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1425952/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8400 CPUtime=1241.79 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2476 0 0 0 123113 1066 0 0 25 0 1 0 135852026 8601600 1719 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2100 1719 205 16 0 1539 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 8400 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1425952/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8400 CPUtime=1301.77 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2476 0 0 0 129064 1113 0 0 25 0 1 0 135852026 8601600 1719 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2100 1719 205 16 0 1539 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 8400 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426016/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8400 CPUtime=1361.74 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2476 0 0 0 135009 1165 0 0 25 0 1 0 135852026 8601600 1719 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2100 1719 205 16 0 1539 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 8400 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426016/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8400 CPUtime=1421.73 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2476 0 0 0 140960 1213 0 0 25 0 1 0 135852026 8601600 1719 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2100 1719 205 16 0 1539 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 8400 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426208/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8400 CPUtime=1481.7 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2476 0 0 0 146905 1265 0 0 25 0 1 0 135852026 8601600 1719 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2100 1719 205 16 0 1539 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 8400 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426144/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8400 CPUtime=1541.68 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2499 0 0 0 152865 1303 0 0 25 0 1 0 135852026 8601600 1719 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2100 1719 205 16 0 1539 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 8400 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426144/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8404 CPUtime=1601.67 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2503 0 0 0 158819 1348 0 0 25 0 1 0 135852026 8605696 1720 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2101 1720 205 16 0 1540 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 8404 Solver just ended. Dumping a history of the last processes samples [startup+1612.7 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426144/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8404 CPUtime=1612.06 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2503 0 0 0 159852 1354 0 0 25 0 1 0 135852026 8605696 1720 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2101 1720 205 16 0 1540 0 Current children cumulated CPU time (s) 1612.06 Current children cumulated vsize (KiB) 8404 [startup+1619.1 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426144/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8404 CPUtime=1618.47 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2503 0 0 0 160487 1360 0 0 25 0 1 0 135852026 8605696 1720 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520393 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2101 1720 205 16 0 1540 0 Current children cumulated CPU time (s) 1618.47 Current children cumulated vsize (KiB) 8404 [startup+1620.7 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426144/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8404 CPUtime=1620.06 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2503 0 0 0 160645 1361 0 0 25 0 1 0 135852026 8605696 1720 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2101 1720 205 16 0 1540 0 Current children cumulated CPU time (s) 1620.06 Current children cumulated vsize (KiB) 8404 [startup+1621.5 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426144/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8404 CPUtime=1620.86 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2503 0 0 0 160724 1362 0 0 25 0 1 0 135852026 8605696 1720 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2101 1720 205 16 0 1540 0 Current children cumulated CPU time (s) 1620.86 Current children cumulated vsize (KiB) 8404 [startup+1622.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426144/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8404 CPUtime=1621.66 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2503 0 0 0 160804 1362 0 0 25 0 1 0 135852026 8605696 1720 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2101 1720 205 16 0 1540 0 Current children cumulated CPU time (s) 1621.66 Current children cumulated vsize (KiB) 8404 [startup+1622.51 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426144/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8404 CPUtime=1621.86 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2503 0 0 0 160824 1362 0 0 25 0 1 0 135852026 8605696 1720 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2101 1720 205 16 0 1540 0 Current children cumulated CPU time (s) 1621.86 Current children cumulated vsize (KiB) 8404 [startup+1622.6 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3772 /proc/meminfo: memFree=1426144/2055920 swapFree=4183904/4192956 [pid=3573] ppid=3571 vsize=8404 CPUtime=1621.96 /proc/3573/stat : 3573 (Pueblo) R 3571 3573 3090 0 -1 4194304 2503 0 0 0 160834 1362 0 0 25 0 1 0 135852026 8605696 1720 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3573/statm: 2101 1720 205 16 0 1540 0 Current children cumulated CPU time (s) 1621.96 Current children cumulated vsize (KiB) 8404 Child status: 30 Real time (s): 1622.65 CPU time (s): 1622.01 CPU user time (s): 1608.39 CPU system time (s): 13.6289 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (KiB): 8624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1608.39 system time used= 13.6289 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2510 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= 2772 runsolver used 1.16682 second user time and 3.3205 second system time The end
Begin job on node67 on Sun Apr 15 00:57:05 UTC 2007 IDJOB= 351410 IDBENCH= 1747 IDSOLVER= 165 FILE ID= node67/351410-1176598625 PBS_JOBID= 4556991 Free space on /tmp= 66562 MiB SOLVER NAME= Pueblo 1.4 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= Pueblo /tmp/evaluation/351410-1176598625/instance-351410-1176598625.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node67/convwatcher-351410-1176598625 -o ROOT/results/node67/conversion-351410-1176598625 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351410-1176598625/instance-351410-1176598625.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-351410-1176598625 -o ROOT/results/node67/solver-351410-1176598625 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351410-1176598625/instance-351410-1176598625.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 98cb9153c0a6885786e060f27dbb5c7a RANDOM SEED= 952605690 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1433016 kB Buffers: 42616 kB Cached: 451068 kB SwapCached: 3192 kB Active: 182700 kB Inactive: 320916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1433016 kB SwapTotal: 4192956 kB SwapFree: 4183904 kB Dirty: 2308 kB Writeback: 0 kB Mapped: 15896 kB Slab: 105204 kB Committed_AS: 134496 kB PageTables: 1452 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= 66562 MiB End job on node67 on Sun Apr 15 01:24:08 UTC 2007