Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 12 | 1782.73 | 1783.96 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_2.opb |
MD5SUM | f4b87658792e85afbf63fc13ada788f7 |
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 | 10 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10 |
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 | 21 |
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) | 1260 |
Sum of products size (including duplicates) | 2520 |
Number of different products | 1260 |
Sum of products size | 2520 |
0.00/0.02 c Pueblo version 1.4 (September 2005) 0.00/0.02 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.02 c by Hossein Sheini 0.00/0.06 c starting to Solve 0.00/0.06 c #variables read: 1360 - #constraints read: 2621 0.00/0.06 o 19 0.00/0.07 o 18 0.00/0.07 o 17 0.07/0.12 o 16 0.07/0.13 o 15 0.07/0.13 o 14 88.51/88.69 o 13 1573.36/1574.42 o 12 1782.67/1783.94 c total time : 1783 s 1782.67/1783.94 s SATISFIABLE 1782.67/1783.94 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.67/1783.94 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.67/1783.94 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.67/1783.94 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 1782.67/1783.94 v -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1782.67/1783.94 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 1782.67/1783.94 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 1782.67/1783.94 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1782.67/1783.94 v -x191 -x192 -x193 x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1782.67/1783.94 v -x212 -x213 -x214 -x215 -x216 x217 -x218 x219 x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 x229 -x230 x231 -x232 -x233 1782.67/1783.94 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 1782.67/1783.94 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 1782.67/1783.94 v -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 1782.67/1783.94 v x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1782.67/1783.94 v -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1782.67/1783.94 v -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 1782.67/1783.94 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 x379 -x380 1782.67/1783.94 v x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1782.67/1783.94 v -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1782.67/1783.94 v -x423 -x424 -x425 -x426 x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 x442 -x443 1782.67/1783.94 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1782.67/1783.94 v -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 x485 1782.67/1783.94 v -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 x494 -x495 x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 1782.67/1783.94 v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 x527 1782.67/1783.94 v -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 1782.67/1783.94 v -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1782.67/1783.94 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 1782.67/1783.94 v -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 1782.67/1783.94 v -x612 -x613 x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 1782.67/1783.94 v -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 1782.67/1783.94 v x654 -x655 -x656 -x657 x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 1782.67/1783.94 v -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 1782.67/1783.94 v -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 1782.67/1783.94 v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 1782.67/1783.94 v x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 1782.67/1783.94 v x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 1782.67/1783.94 v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 1782.67/1783.94 v -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 1782.67/1783.94 v x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1782.67/1783.94 v -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 x852 -x853 x854 -x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 1782.67/1783.94 v -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 1782.67/1783.94 v -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 1782.67/1783.94 v -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 1782.67/1783.94 v -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 1782.67/1783.94 v x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 1782.67/1783.94 v -x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 1782.67/1783.94 v -x990 x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 x1007 -x1008 -x1009 1782.67/1783.94 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 x1025 x1026 x1027 1782.67/1783.94 v x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1782.67/1783.94 v -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 1782.67/1783.94 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 x1080 1782.67/1783.94 v -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 1782.67/1783.94 v -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 x1116 1782.67/1783.94 v -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 1782.67/1783.94 v x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 1782.67/1783.94 v -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 1782.67/1783.94 v x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 1782.67/1783.94 v -x1189 -x1190 -x1191 -x1192 -x1193 x1194 x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 1782.67/1783.94 v -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 1782.67/1783.94 v -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1782.67/1783.94 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 1782.67/1783.94 v -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1782.67/1783.94 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1782.67/1783.94 v -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 1782.67/1783.94 v -x1314 -x1315 x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 1782.67/1783.94 v -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 1782.67/1783.94 v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360
OK 12
Linearizing /tmp/evaluation/453077-1178113716/instance-453077-1178113716.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-453077-1178113716 -o ROOT/results/node5/solver-453077-1178113716 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453077-1178113716/instance-453077-1178113716.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.84 0.94 0.99 3/77 15518 /proc/meminfo: memFree=1798016/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=2288 CPUtime=0 /proc/15518/stat : 15518 (Pueblo) D 15516 15518 15385 0 -1 4194304 211 0 0 0 0 0 0 0 18 0 1 0 287409260 2342912 182 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8197104 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/15518/statm: 572 182 160 16 0 11 0 [startup+0.0321991 s] /proc/loadavg: 0.84 0.94 0.99 3/77 15518 /proc/meminfo: memFree=1798016/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=2684 CPUtime=0 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 294 0 4 0 0 0 0 0 18 0 1 0 287409260 2748416 269 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 671 269 199 16 0 110 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2684 [startup+0.101202 s] /proc/loadavg: 0.84 0.94 0.99 3/77 15518 /proc/meminfo: memFree=1798016/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=3516 CPUtime=0.07 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 507 0 4 0 7 0 0 0 18 0 1 0 287409260 3600384 482 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 879 482 205 16 0 318 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3516 [startup+0.301223 s] /proc/loadavg: 0.84 0.94 0.99 3/77 15518 /proc/meminfo: memFree=1798016/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=3912 CPUtime=0.26 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 613 0 4 0 26 0 0 0 19 0 1 0 287409260 4005888 588 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527450 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 978 588 205 16 0 417 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 3912 [startup+0.701268 s] /proc/loadavg: 0.84 0.94 0.99 3/77 15518 /proc/meminfo: memFree=1798016/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=4440 CPUtime=0.66 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 740 0 4 0 66 0 0 0 24 0 1 0 287409260 4546560 715 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527962 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 1110 715 205 16 0 549 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 4440 [startup+1.50136 s] /proc/loadavg: 0.84 0.94 0.99 2/78 15519 /proc/meminfo: memFree=1795448/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=4568 CPUtime=1.46 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 769 0 4 0 146 0 0 0 25 0 1 0 287409260 4677632 744 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 1142 744 205 16 0 581 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 4568 [startup+3.10254 s] /proc/loadavg: 0.85 0.94 0.99 2/78 15519 /proc/meminfo: memFree=1795000/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=4964 CPUtime=3.07 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 875 0 4 0 306 1 0 0 25 0 1 0 287409260 5083136 850 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 1241 850 205 16 0 680 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 4964 [startup+6.3019 s] /proc/loadavg: 0.85 0.94 0.99 2/78 15519 /proc/meminfo: memFree=1794296/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=5492 CPUtime=6.25 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 996 0 4 0 624 1 0 0 25 0 1 0 287409260 5623808 971 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134556411 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 1373 971 205 16 0 812 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 5492 [startup+12.7016 s] /proc/loadavg: 0.88 0.94 0.99 2/78 15519 /proc/meminfo: memFree=1793976/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=5756 CPUtime=12.65 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1063 0 4 0 1263 2 0 0 25 0 1 0 287409260 5894144 1038 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528267 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 1439 1038 205 16 0 878 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 5756 [startup+25.5011 s] /proc/loadavg: 0.89 0.94 0.99 2/78 15519 /proc/meminfo: memFree=1793272/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=6548 CPUtime=25.44 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1269 0 4 0 2539 5 0 0 25 0 1 0 287409260 6705152 1244 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 1637 1244 205 16 0 1076 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 6548 [startup+51.102 s] /proc/loadavg: 1.01 0.96 0.99 2/78 15519 /proc/meminfo: memFree=1792888/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=6908 CPUtime=51.03 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1358 0 4 0 5093 10 0 0 25 0 1 0 287409260 7073792 1333 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 1727 1333 205 16 0 1166 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 6908 [startup+102.306 s] /proc/loadavg: 1.16 1.00 1.01 2/78 15519 /proc/meminfo: memFree=1792184/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=7540 CPUtime=102.2 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1512 0 4 0 10200 20 0 0 25 0 1 0 287409260 7720960 1486 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 1885 1486 205 16 0 1324 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 7540 [startup+162.302 s] /proc/loadavg: 1.13 1.02 1.00 2/78 15519 /proc/meminfo: memFree=1791928/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=7804 CPUtime=162.15 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1578 0 4 0 16185 30 0 0 25 0 1 0 287409260 7991296 1552 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 1951 1552 205 16 0 1390 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 7804 [startup+222.301 s] /proc/loadavg: 1.11 1.03 1.00 2/78 15519 /proc/meminfo: memFree=1791096/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=8532 CPUtime=222.11 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1800 0 4 0 22172 39 0 0 25 0 1 0 287409260 8736768 1747 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 2133 1747 205 16 0 1572 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 8532 [startup+282.301 s] /proc/loadavg: 1.14 1.05 1.01 2/78 15519 /proc/meminfo: memFree=1790904/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=8680 CPUtime=282.06 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1838 0 4 0 28159 47 0 0 25 0 1 0 287409260 8888320 1785 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 2170 1785 205 16 0 1609 0 Current children cumulated CPU time (s) 282.06 Current children cumulated vsize (KiB) 8680 [startup+342.302 s] /proc/loadavg: 1.11 1.05 1.01 2/78 15519 /proc/meminfo: memFree=1790456/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=9144 CPUtime=342.03 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1952 0 4 0 34147 56 0 0 25 0 1 0 287409260 9363456 1899 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 2286 1899 205 16 0 1725 0 Current children cumulated CPU time (s) 342.03 Current children cumulated vsize (KiB) 9144 [startup+402.302 s] /proc/loadavg: 1.09 1.06 1.01 2/78 15519 /proc/meminfo: memFree=1790264/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=9308 CPUtime=402 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1991 0 4 0 40134 66 0 0 25 0 1 0 287409260 9531392 1937 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 2327 1937 205 16 0 1766 0 Current children cumulated CPU time (s) 402 Current children cumulated vsize (KiB) 9308 [startup+462.301 s] /proc/loadavg: 1.08 1.06 1.01 2/78 15519 /proc/meminfo: memFree=1790072/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=9568 CPUtime=461.97 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 2040 0 4 0 46124 73 0 0 25 0 1 0 287409260 9797632 1986 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557547 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 2392 1986 205 16 0 1831 0 Current children cumulated CPU time (s) 461.97 Current children cumulated vsize (KiB) 9568 [startup+522.301 s] /proc/loadavg: 1.07 1.06 1.01 2/78 15519 /proc/meminfo: memFree=1789304/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=10304 CPUtime=521.93 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 2258 0 4 0 52109 84 0 0 25 0 1 0 287409260 10551296 2183 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 2576 2183 205 16 0 2015 0 Current children cumulated CPU time (s) 521.93 Current children cumulated vsize (KiB) 10304 [startup+582.302 s] /proc/loadavg: 1.07 1.06 1.01 2/78 15519 /proc/meminfo: memFree=1789240/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=10248 CPUtime=581.9 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 2258 0 4 0 58097 93 0 0 25 0 1 0 287409260 10493952 2179 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 2562 2179 205 16 0 2001 0 Current children cumulated CPU time (s) 581.9 Current children cumulated vsize (KiB) 10248 [startup+642.302 s] /proc/loadavg: 1.13 1.08 1.01 2/78 15519 /proc/meminfo: memFree=1789176/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=10316 CPUtime=641.87 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 2274 0 4 0 64086 101 0 0 25 0 1 0 287409260 10563584 2195 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 2579 2195 205 16 0 2018 0 Current children cumulated CPU time (s) 641.87 Current children cumulated vsize (KiB) 10316 ################ # More data... # ################ /proc/meminfo: memFree=1785912/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=881.67 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 88022 145 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 881.67 Current children cumulated vsize (KiB) 13116 [startup+942.302 s] /proc/loadavg: 1.13 1.11 1.03 2/78 15717 /proc/meminfo: memFree=1785912/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=941.63 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 94009 154 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 941.63 Current children cumulated vsize (KiB) 13116 [startup+1002.3 s] /proc/loadavg: 1.09 1.10 1.03 2/78 15717 /proc/meminfo: memFree=1785912/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1001.6 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 99998 162 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1001.6 Current children cumulated vsize (KiB) 13116 [startup+1062.3 s] /proc/loadavg: 1.08 1.10 1.03 2/78 15717 /proc/meminfo: memFree=1785912/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1061.57 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 105987 170 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1061.57 Current children cumulated vsize (KiB) 13116 [startup+1122.3 s] /proc/loadavg: 1.03 1.08 1.02 2/78 15717 /proc/meminfo: memFree=1785848/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1121.53 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 111972 181 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527765 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1121.53 Current children cumulated vsize (KiB) 13116 [startup+1182.3 s] /proc/loadavg: 1.01 1.06 1.02 2/78 15717 /proc/meminfo: memFree=1785848/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1181.49 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 117959 190 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527964 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1181.49 Current children cumulated vsize (KiB) 13116 [startup+1242.3 s] /proc/loadavg: 1.00 1.05 1.01 2/78 15717 /proc/meminfo: memFree=1785656/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1241.46 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 123946 200 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1241.46 Current children cumulated vsize (KiB) 13116 [startup+1302.3 s] /proc/loadavg: 1.00 1.04 1.01 2/78 15717 /proc/meminfo: memFree=1785656/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1301.42 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 129933 209 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1301.42 Current children cumulated vsize (KiB) 13116 [startup+1362.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 15717 /proc/meminfo: memFree=1785656/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1361.39 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 135924 215 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1361.39 Current children cumulated vsize (KiB) 13116 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/78 15717 /proc/meminfo: memFree=1785656/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1421.36 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 141914 222 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1421.36 Current children cumulated vsize (KiB) 13116 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 15717 /proc/meminfo: memFree=1785656/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1481.31 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 147901 230 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1481.31 Current children cumulated vsize (KiB) 13116 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 15717 /proc/meminfo: memFree=1785592/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1541.28 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 153890 238 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1541.28 Current children cumulated vsize (KiB) 13116 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15717 /proc/meminfo: memFree=1785592/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1601.25 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 159879 246 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1601.25 Current children cumulated vsize (KiB) 13116 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15717 /proc/meminfo: memFree=1785592/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1661.21 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 165867 254 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1661.21 Current children cumulated vsize (KiB) 13116 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15717 /proc/meminfo: memFree=1785528/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1721.18 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 171856 262 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528066 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1721.18 Current children cumulated vsize (KiB) 13116 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15717 /proc/meminfo: memFree=1785528/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1781.07 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 177836 271 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1781.07 Current children cumulated vsize (KiB) 13116 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15717 /proc/meminfo: memFree=1785528/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1781.87 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 177916 271 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 13116 [startup+1783.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15717 /proc/meminfo: memFree=1785528/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1782.27 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 177956 271 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1782.27 Current children cumulated vsize (KiB) 13116 [startup+1783.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15717 /proc/meminfo: memFree=1785528/2055920 swapFree=4150044/4192956 [pid=15518] ppid=15516 vsize=13116 CPUtime=1782.67 /proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 177996 271 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15518/statm: 3279 2896 205 16 0 2718 0 Current children cumulated CPU time (s) 1782.67 Current children cumulated vsize (KiB) 13116 Child status: 10 Real time (s): 1783.96 CPU time (s): 1782.73 CPU user time (s): 1780.01 CPU system time (s): 2.72159 CPU usage (%): 99.9309 Max. virtual memory (cumulated for all children) (KiB): 13116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.01 system time used= 2.72159 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3077 page faults= 5 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19 involuntary context switches= 40673 runsolver used 1.52977 second user time and 4.96524 second system time The end
Begin job on node5 on Wed May 2 13:48:36 UTC 2007 IDJOB= 453077 IDBENCH= 48106 IDSOLVER= 165 FILE ID= node5/453077-1178113716 PBS_JOBID= 4751030 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_2.opb COMMAND LINE= Pueblo /tmp/evaluation/453077-1178113716/instance-453077-1178113716.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-453077-1178113716 -o ROOT/results/node5/conversion-453077-1178113716 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453077-1178113716/instance-453077-1178113716.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-453077-1178113716 -o ROOT/results/node5/solver-453077-1178113716 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453077-1178113716/instance-453077-1178113716.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= f4b87658792e85afbf63fc13ada788f7 RANDOM SEED= 200078900 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1798360 kB Buffers: 122932 kB Cached: 29104 kB SwapCached: 11368 kB Active: 67912 kB Inactive: 109436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1798360 kB SwapTotal: 4192956 kB SwapFree: 4150044 kB Dirty: 2480 kB Writeback: 0 kB Mapped: 30132 kB Slab: 65776 kB Committed_AS: 13681192 kB PageTables: 1720 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node5 on Wed May 2 14:18:20 UTC 2007