Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 12 | 1782.73 | 1783.21 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_1.opb |
MD5SUM | 55d0299800773493d27ef2c1b95d10c5 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 11 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1248 |
Sum of products size (including duplicates) | 2496 |
Number of different products | 1248 |
Sum of products size | 2496 |
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.03/0.04 c starting to Solve 0.03/0.04 c #variables read: 1348 - #constraints read: 2597 0.03/0.04 o 17 0.03/0.05 o 16 0.03/0.08 o 15 0.03/0.09 o 14 368.69/368.87 o 13 754.29/754.57 o 12 1782.72/1783.20 c total time : 1783 s 1782.72/1783.20 s SATISFIABLE 1782.72/1783.20 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 1782.72/1783.20 v 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 1782.72/1783.20 v -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 1782.72/1783.20 v -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 1782.72/1783.20 v x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 x124 -x125 -x126 -x127 -x128 1782.72/1783.20 v -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 1782.72/1783.20 v -x150 -x151 -x152 x153 x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1782.72/1783.20 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 1782.72/1783.20 v -x192 -x193 x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 1782.72/1783.20 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 1782.72/1783.20 v -x234 x235 x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1782.72/1783.20 v -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 1782.72/1783.20 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 x294 -x295 x296 1782.72/1783.20 v -x297 -x298 -x299 x300 -x301 -x302 x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 1782.72/1783.20 v -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1782.72/1783.20 v -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1782.72/1783.20 v -x361 -x362 -x363 x364 -x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1782.72/1783.20 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 1782.72/1783.20 v -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 x420 -x421 -x422 -x423 1782.72/1783.20 v -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 1782.72/1783.20 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 x462 -x463 -x464 -x465 1782.72/1783.20 v -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1782.72/1783.20 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1782.72/1783.20 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1782.72/1783.20 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1782.72/1783.20 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1782.72/1783.20 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 x583 x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 1782.72/1783.20 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 x607 -x608 x609 -x610 -x611 -x612 1782.72/1783.20 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 1782.72/1783.20 v x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 1782.72/1783.20 v -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 1782.72/1783.20 v -x676 x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1782.72/1783.20 v -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 x714 x715 -x716 -x717 -x718 1782.72/1783.20 v -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 1782.72/1783.20 v -x740 -x741 -x742 x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 1782.72/1783.20 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 1782.72/1783.20 v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 1782.72/1783.20 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 1782.72/1783.20 v -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 1782.72/1783.20 v -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 1782.72/1783.20 v x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 1782.72/1783.20 v -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 1782.72/1783.20 v x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 1782.72/1783.20 v -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 1782.72/1783.20 v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 x970 1782.72/1783.20 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 1782.72/1783.20 v -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1782.72/1783.20 v -x1011 -x1012 x1013 x1014 x1015 -x1016 -x1017 -x1018 -x1019 x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1782.72/1783.20 v -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1782.72/1783.20 v -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 1782.72/1783.20 v -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1782.72/1783.20 v -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 1782.72/1783.20 v x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 1782.72/1783.20 v -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 1782.72/1783.20 v -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 1782.72/1783.20 v -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 x1168 -x1169 -x1170 1782.72/1783.20 v -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 1782.72/1783.20 v -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 1782.72/1783.20 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 1782.72/1783.20 v -x1224 -x1225 x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 1782.72/1783.20 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 1782.72/1783.20 v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 1782.72/1783.20 v -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1782.72/1783.20 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1782.72/1783.20 v -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 x1329 1782.72/1783.20 v -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 1782.72/1783.20 v -x1348
OK 12
Linearizing /tmp/evaluation/453767-1178155275/instance-453767-1178155275.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-453767-1178155275 -o ROOT/results/node9/solver-453767-1178155275 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453767-1178155275/instance-453767-1178155275.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.92 0.98 0.99 3/77 28137 /proc/meminfo: memFree=1786664/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=2552 CPUtime=0 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 291565088 2613248 238 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 9129687 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 638 238 199 16 0 77 0 [startup+0.045182 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28137 /proc/meminfo: memFree=1786664/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=3372 CPUtime=0.03 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 469 0 0 0 3 0 0 0 18 0 1 0 291565088 3452928 440 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 9098875 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 843 441 203 16 0 282 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3372 [startup+0.101189 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28137 /proc/meminfo: memFree=1786664/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=3508 CPUtime=0.09 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 508 0 0 0 9 0 0 0 18 0 1 0 291565088 3592192 479 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 877 479 205 16 0 316 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.301211 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28137 /proc/meminfo: memFree=1786664/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=3904 CPUtime=0.29 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 606 0 0 0 29 0 0 0 19 0 1 0 291565088 3997696 577 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 976 577 205 16 0 415 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3904 [startup+0.701256 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28137 /proc/meminfo: memFree=1786664/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=4296 CPUtime=0.69 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 715 0 0 0 69 0 0 0 22 0 1 0 291565088 4399104 686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 1074 686 205 16 0 513 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4296 [startup+1.50135 s] /proc/loadavg: 0.92 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1784608/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=4688 CPUtime=1.49 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 818 0 0 0 148 1 0 0 25 0 1 0 291565088 4800512 789 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 1172 789 205 16 0 611 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4688 [startup+3.10153 s] /proc/loadavg: 0.92 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1784096/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=4944 CPUtime=3.09 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 860 0 0 0 308 1 0 0 25 0 1 0 291565088 5062656 831 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 1236 831 205 16 0 675 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4944 [startup+6.30189 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1783584/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=5200 CPUtime=6.29 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 946 0 0 0 627 2 0 0 25 0 1 0 291565088 5324800 917 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 1300 917 205 16 0 739 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5200 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1783264/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=5684 CPUtime=12.69 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 1037 0 0 0 1265 4 0 0 25 0 1 0 291565088 5820416 1008 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 1421 1008 205 16 0 860 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 5684 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1782496/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=6444 CPUtime=25.49 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 1233 0 0 0 2542 7 0 0 25 0 1 0 291565088 6598656 1204 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 1611 1204 205 16 0 1050 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 6444 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1782048/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=7048 CPUtime=51.08 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 1389 0 0 0 5096 12 0 0 25 0 1 0 291565088 7217152 1355 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 1762 1355 205 16 0 1201 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 7048 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1778912/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=10048 CPUtime=102.26 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2151 0 0 0 10204 22 0 0 25 0 1 0 291565088 10289152 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2512 2117 205 16 0 1951 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 10048 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1778912/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=10004 CPUtime=162.25 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2151 0 0 0 16192 33 0 0 25 0 1 0 291565088 10244096 2116 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2501 2116 205 16 0 1940 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 10004 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1778848/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=10004 CPUtime=222.23 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2152 0 0 0 22181 42 0 0 25 0 1 0 291565088 10244096 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2501 2117 205 16 0 1940 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 10004 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1778848/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=10004 CPUtime=282.21 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2152 0 0 0 28168 53 0 0 25 0 1 0 291565088 10244096 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2501 2117 205 16 0 1940 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 10004 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1778848/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=10004 CPUtime=342.2 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2152 0 0 0 34157 63 0 0 25 0 1 0 291565088 10244096 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2501 2117 205 16 0 1940 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 10004 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1778784/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=10004 CPUtime=402.19 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2152 0 0 0 40145 74 0 0 25 0 1 0 291565088 10244096 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2501 2117 205 16 0 1940 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 10004 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1778784/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=10004 CPUtime=462.17 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2152 0 0 0 46134 83 0 0 25 0 1 0 291565088 10244096 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2501 2117 205 16 0 1940 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 10004 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1778784/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=10004 CPUtime=522.15 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2152 0 0 0 52123 92 0 0 25 0 1 0 291565088 10244096 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2501 2117 205 16 0 1940 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 10004 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1778464/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=10400 CPUtime=582.13 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2231 0 0 0 58111 102 0 0 25 0 1 0 291565088 10649600 2196 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2600 2196 205 16 0 2039 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 10400 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28138 /proc/meminfo: memFree=1778272/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=10460 CPUtime=642.12 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2286 0 0 0 64100 112 0 0 25 0 1 0 291565088 10711040 2222 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2615 2222 205 16 0 2054 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 10460 ################ # More data... # ################ /proc/meminfo: memFree=1778272/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=10456 CPUtime=882.06 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2292 0 0 0 88053 153 0 0 25 0 1 0 291565088 10706944 2228 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2614 2228 205 16 0 2053 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 10456 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28140 /proc/meminfo: memFree=1778336/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=10456 CPUtime=942.04 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2292 0 0 0 94041 163 0 0 25 0 1 0 291565088 10706944 2228 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2614 2228 205 16 0 2053 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 10456 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28140 /proc/meminfo: memFree=1778336/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=10456 CPUtime=1002.03 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2292 0 0 0 100030 173 0 0 25 0 1 0 291565088 10706944 2228 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2614 2228 205 16 0 2053 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 10456 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28140 /proc/meminfo: memFree=1777760/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11052 CPUtime=1062 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2430 0 0 0 106019 181 0 0 25 0 1 0 291565088 11317248 2366 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2763 2366 205 16 0 2202 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 11052 [startup+1122.3 s] /proc/loadavg: 1.03 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1777440/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11380 CPUtime=1121.99 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2512 0 0 0 112010 189 0 0 25 0 1 0 291565088 11653120 2448 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527772 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2845 2448 205 16 0 2284 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 11380 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1776992/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11684 CPUtime=1181.98 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 118002 196 0 0 25 0 1 0 291565088 11964416 2538 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2921 2538 205 16 0 2360 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 11684 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1776992/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11676 CPUtime=1241.96 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 123994 202 0 0 25 0 1 0 291565088 11956224 2536 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2919 2536 205 16 0 2358 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 11676 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1776992/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11664 CPUtime=1301.95 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 129984 211 0 0 25 0 1 0 291565088 11943936 2533 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2916 2533 205 16 0 2355 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 11664 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1776992/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11652 CPUtime=1361.92 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 135972 220 0 0 25 0 1 0 291565088 11931648 2530 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2913 2530 205 16 0 2352 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 11652 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1776992/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11652 CPUtime=1421.92 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 141963 229 0 0 25 0 1 0 291565088 11931648 2530 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559292 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2913 2530 205 16 0 2352 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 11652 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1776992/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11652 CPUtime=1481.9 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 147955 235 0 0 25 0 1 0 291565088 11931648 2530 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2913 2530 205 16 0 2352 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 11652 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1777056/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11652 CPUtime=1541.88 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 153945 243 0 0 25 0 1 0 291565088 11931648 2530 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2913 2530 205 16 0 2352 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 11652 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1777056/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11652 CPUtime=1601.87 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 159935 252 0 0 25 0 1 0 291565088 11931648 2530 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2913 2530 205 16 0 2352 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 11652 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1777056/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11724 CPUtime=1661.85 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2653 0 0 0 165925 260 0 0 25 0 1 0 291565088 12005376 2548 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2931 2548 205 16 0 2370 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 11724 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1776864/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11940 CPUtime=1721.83 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2692 0 0 0 171916 267 0 0 25 0 1 0 291565088 12226560 2587 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2985 2587 205 16 0 2424 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 11940 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1776928/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11848 CPUtime=1781.82 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2692 0 0 0 177907 275 0 0 25 0 1 0 291565088 12132352 2579 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2962 2579 205 16 0 2401 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 11848 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1776928/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11848 CPUtime=1782.22 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2692 0 0 0 177947 275 0 0 25 0 1 0 291565088 12132352 2579 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2962 2579 205 16 0 2401 0 Current children cumulated CPU time (s) 1782.22 Current children cumulated vsize (KiB) 11848 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1776928/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11848 CPUtime=1782.62 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2692 0 0 0 177987 275 0 0 25 0 1 0 291565088 12132352 2579 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2962 2579 205 16 0 2401 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (KiB) 11848 [startup+1783.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28140 /proc/meminfo: memFree=1776928/2055920 swapFree=4145492/4192956 [pid=28137] ppid=28135 vsize=11848 CPUtime=1782.72 /proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2692 0 0 0 177997 275 0 0 25 0 1 0 291565088 12132352 2579 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28137/statm: 2962 2579 205 16 0 2401 0 Current children cumulated CPU time (s) 1782.72 Current children cumulated vsize (KiB) 11848 Child status: 10 Real time (s): 1783.21 CPU time (s): 1782.73 CPU user time (s): 1779.98 CPU system time (s): 2.75458 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 11956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.98 system time used= 2.75458 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2699 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= 1415 runsolver used 1.37579 second user time and 3.73243 second system time The end
Begin job on node9 on Thu May 3 01:21:15 UTC 2007 IDJOB= 453767 IDBENCH= 48152 IDSOLVER= 165 FILE ID= node9/453767-1178155275 PBS_JOBID= 4751083 Free space on /tmp= 66562 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb COMMAND LINE= Pueblo /tmp/evaluation/453767-1178155275/instance-453767-1178155275.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-453767-1178155275 -o ROOT/results/node9/conversion-453767-1178155275 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453767-1178155275/instance-453767-1178155275.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-453767-1178155275 -o ROOT/results/node9/solver-453767-1178155275 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453767-1178155275/instance-453767-1178155275.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 55d0299800773493d27ef2c1b95d10c5 RANDOM SEED= 424958814 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1787072 kB Buffers: 69612 kB Cached: 104028 kB SwapCached: 15400 kB Active: 143180 kB Inactive: 58748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1787072 kB SwapTotal: 4192956 kB SwapFree: 4145492 kB Dirty: 2484 kB Writeback: 0 kB Mapped: 34840 kB Slab: 52388 kB Committed_AS: 8643384 kB PageTables: 1796 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 node9 on Thu May 3 01:50:59 UTC 2007