Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -8 | 1782.92 | 1783.48 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb |
MD5SUM | 36a19a7aeba117287b60c4673ad89664 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -57 |
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 | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126082 |
Number of constraints which are clauses | 126082 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1534 |
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 | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
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 1.49/1.54 c starting to Solve 1.49/1.54 c #variables read: 1534 - #constraints read: 126083 1.49/1.54 o 0 1.49/1.54 o 1 1.49/1.56 o 2 2.39/2.40 o 3 4.19/4.29 o 4 20.48/20.56 o 5 224.32/224.48 o 6 821.63/821.99 o 7 1040.36/1040.74 o 8 1782.73/1783.32 c total time : 1783.02 s 1782.73/1783.32 s SATISFIABLE 1782.73/1783.32 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1782.73/1783.32 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 1782.73/1783.32 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1782.73/1783.32 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1782.73/1783.32 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 1782.73/1783.32 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 1782.73/1783.32 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 1782.73/1783.32 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 1782.73/1783.32 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 1782.73/1783.32 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 1782.73/1783.32 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 1782.73/1783.32 v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 1782.73/1783.32 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 1782.73/1783.32 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 1782.73/1783.32 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 1782.73/1783.32 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 1782.73/1783.32 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 1782.73/1783.32 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 1782.73/1783.32 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 1782.73/1783.32 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 1782.73/1783.32 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 1782.73/1783.32 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 1782.73/1783.32 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 1782.73/1783.32 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 1782.73/1783.32 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 1782.73/1783.32 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 1782.73/1783.32 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 1782.73/1783.32 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 1782.73/1783.32 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 1782.73/1783.32 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 1782.73/1783.32 v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 1782.73/1783.32 v -x1007 -x1006 -x1005 -x1004 x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 1782.73/1783.32 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 1782.73/1783.32 v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 1782.73/1783.32 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 1782.73/1783.32 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 1782.73/1783.32 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 1782.73/1783.32 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 1782.73/1783.32 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 1782.73/1783.32 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 1782.73/1783.32 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 1782.73/1783.32 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 1782.73/1783.32 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 1782.73/1783.32 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 1782.73/1783.32 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 1782.73/1783.32 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 1782.73/1783.32 v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 1782.73/1783.32 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 1782.73/1783.32 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 1782.73/1783.32 v -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 1782.73/1783.32 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 1782.73/1783.32 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 1782.73/1783.32 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 1782.73/1783.32 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 1782.73/1783.32 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 1782.73/1783.32 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 1782.73/1783.32 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 1782.73/1783.32 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 1782.73/1783.32 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 1782.73/1783.32 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 1782.73/1783.32 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 1782.73/1783.32 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 1782.73/1783.32 v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 1782.73/1783.32 v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 1782.73/1783.32 v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 1782.73/1783.32 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 1782.73/1783.32 v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 1782.73/1783.32 v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 1782.73/1783.32 v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 1782.73/1783.32 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 1782.73/1783.32 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 1782.73/1783.32 v -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 1782.73/1783.32 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 1782.73/1783.32 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 1782.73/1783.32 v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 1782.73/1783.32 v -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 1782.73/1783.32 v -x56 -x55 -x54 x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 1782.73/1783.32 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 1782.73/1783.32 v -x3 -x2 -x1
OK -8
/tmp/evaluation/353763-1176675165/instance-353763-1176675165.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-353763-1176675165 -o ROOT/results/node71/solver-353763-1176675165 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353763-1176675165/instance-353763-1176675165.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.93 0.98 0.99 3/64 3233 /proc/meminfo: memFree=1772336/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=2552 CPUtime=0 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 143505866 2613248 228 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7671511 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 638 230 193 16 0 77 0 [startup+0.0861181 s] /proc/loadavg: 0.93 0.98 0.99 3/64 3233 /proc/meminfo: memFree=1772336/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=3748 CPUtime=0.08 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 569 0 0 0 8 0 0 0 18 0 1 0 143505866 3837952 539 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7671511 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 937 539 199 16 0 376 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3748 [startup+0.10112 s] /proc/loadavg: 0.93 0.98 0.99 3/64 3233 /proc/meminfo: memFree=1772336/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=4016 CPUtime=0.09 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 143505866 4112384 592 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7671511 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 1004 592 199 16 0 443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4016 [startup+0.301147 s] /proc/loadavg: 0.93 0.98 0.99 3/64 3233 /proc/meminfo: memFree=1772336/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=6680 CPUtime=0.29 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 1306 0 0 0 29 0 0 0 19 0 1 0 143505866 6840320 1276 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 1670 1276 199 16 0 1109 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6680 [startup+0.701202 s] /proc/loadavg: 0.93 0.98 0.99 3/64 3233 /proc/meminfo: memFree=1772336/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=12144 CPUtime=0.69 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 2654 0 0 0 69 0 0 0 22 0 1 0 143505866 12435456 2624 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7671511 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 3036 2624 199 16 0 2475 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12144 [startup+1.50231 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3234 /proc/meminfo: memFree=1758568/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=19140 CPUtime=1.49 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 4397 0 0 0 148 1 0 0 25 0 1 0 143505866 19599360 4367 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134555831 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 4785 4367 204 16 0 4224 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19140 [startup+3.10153 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3234 /proc/meminfo: memFree=1753960/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=21468 CPUtime=3.09 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 4983 0 0 0 307 2 0 0 25 0 1 0 143505866 21983232 4953 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523628 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 5367 4953 206 16 0 4806 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21468 [startup+6.30196 s] /proc/loadavg: 1.01 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1752808/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=21828 CPUtime=6.29 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 5088 0 0 0 627 2 0 0 25 0 1 0 143505866 22351872 5058 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 5457 5058 206 16 0 4896 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21828 [startup+12.7018 s] /proc/loadavg: 1.01 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1752368/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=22220 CPUtime=12.68 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 5288 0 0 0 1266 2 0 0 25 0 1 0 143505866 22753280 5149 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524593 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 5555 5149 206 16 0 4994 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22220 [startup+25.5016 s] /proc/loadavg: 1.01 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1742192/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=32408 CPUtime=25.48 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 7855 0 0 0 2545 3 0 0 25 0 1 0 143505866 33185792 7716 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523276 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 8102 7716 206 16 0 7541 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32408 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1722992/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=52144 CPUtime=51.07 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 12776 0 0 0 5102 5 0 0 25 0 1 0 143505866 53395456 12637 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 13036 12637 206 16 0 12475 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 52144 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1684784/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=89920 CPUtime=102.26 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 22197 0 0 0 10216 10 0 0 25 0 1 0 143505866 92078080 22058 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517721 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 22480 22058 206 16 0 21919 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 89920 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1635312/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=139688 CPUtime=162.23 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 34593 0 0 0 16206 17 0 0 25 0 1 0 143505866 143040512 34454 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 34922 34454 206 16 0 34361 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 139688 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1588784/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=186428 CPUtime=222.21 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 46190 0 0 0 22198 23 0 0 25 0 1 0 143505866 190902272 46051 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519077 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 46607 46051 206 16 0 46046 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 186428 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1550256/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=224668 CPUtime=282.2 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 55737 0 0 0 28191 29 0 0 25 0 1 0 143505866 230060032 55598 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 56167 55598 206 16 0 55606 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 224668 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1511216/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=264400 CPUtime=342.18 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 65619 0 0 0 34185 33 0 0 25 0 1 0 143505866 270745600 65480 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7644109 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 66100 65481 206 16 0 65539 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 264400 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1472432/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=304048 CPUtime=402.16 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 75487 0 0 0 40177 39 0 0 25 0 1 0 143505866 311345152 75348 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 76012 75348 206 16 0 75451 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 304048 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1430192/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=345536 CPUtime=462.14 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 85802 0 0 0 46168 46 0 0 25 0 1 0 143505866 353828864 85663 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 86384 85663 206 16 0 85823 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 345536 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1390000/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=385956 CPUtime=522.13 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 95868 0 0 0 52163 50 0 0 25 0 1 0 143505866 395218944 95729 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 96489 95729 206 16 0 95928 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 385956 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1343088/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=432808 CPUtime=582.1 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 107532 0 0 0 58153 57 0 0 25 0 1 0 143505866 443195392 107393 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 108202 107393 206 16 0 107641 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 432808 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1302320/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=473072 CPUtime=642.09 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 117563 0 0 0 64146 63 0 0 25 0 1 0 143505866 484425728 117424 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523674 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 118268 117424 206 16 0 117707 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 473072 ################ # More data... # ################ /proc/meminfo: memFree=1170736/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=604972 CPUtime=882.01 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 150521 0 0 0 88123 78 0 0 25 0 1 0 143505866 619491328 150382 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 151243 150382 206 16 0 150682 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 604972 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1139696/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=636468 CPUtime=941.99 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 158427 0 0 0 94117 82 0 0 25 0 1 0 143505866 651743232 158288 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 159117 158288 206 16 0 158556 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 636468 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1110384/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=664840 CPUtime=1001.97 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 165508 0 0 0 100110 87 0 0 25 0 1 0 143505866 680796160 165369 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7639391 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 166210 165369 206 16 0 165649 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 664840 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1081968/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=693560 CPUtime=1061.95 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 172632 0 0 0 106104 91 0 0 25 0 1 0 143505866 710205440 172493 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 173390 172493 206 16 0 172829 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 693560 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1049200/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=726544 CPUtime=1121.93 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 180879 0 0 0 112097 96 0 0 25 0 1 0 143505866 743981056 180740 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532856 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 181636 180740 206 16 0 181075 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 726544 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=1019248/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=755752 CPUtime=1181.92 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 188189 0 0 0 118091 101 0 0 25 0 1 0 143505866 773890048 188050 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 188938 188050 206 16 0 188377 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 755752 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=991920/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=783232 CPUtime=1241.9 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 195008 0 0 0 124084 106 0 0 25 0 1 0 143505866 802029568 194869 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7639391 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 195808 194869 206 16 0 195247 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 783232 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=962864/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=812400 CPUtime=1301.88 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 202272 0 0 0 130078 110 0 0 25 0 1 0 143505866 831897600 202133 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7640645 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 203100 202133 206 16 0 202539 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 812400 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=935984/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=839584 CPUtime=1361.86 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 208961 0 0 0 136070 116 0 0 25 0 1 0 143505866 859734016 208822 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519885 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 209896 208822 206 16 0 209335 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 839584 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3234 /proc/meminfo: memFree=908784/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=867172 CPUtime=1421.85 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 215775 0 0 0 142064 121 0 0 25 0 1 0 143505866 887984128 215636 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7639391 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 216793 215636 206 16 0 216232 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 867172 [startup+1482.3 s] /proc/loadavg: 1.10 1.03 1.00 2/65 3234 /proc/meminfo: memFree=889776/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=886956 CPUtime=1481.82 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 220658 0 0 0 148058 124 0 0 25 0 1 0 143505866 908242944 220519 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7639391 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 221739 220519 206 16 0 221178 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 886956 [startup+1542.3 s] /proc/loadavg: 1.07 1.03 1.00 2/65 3234 /proc/meminfo: memFree=871216/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=905216 CPUtime=1541.8 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 225147 0 0 0 154053 127 0 0 25 0 1 0 143505866 926941184 225008 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7640732 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 226304 225008 206 16 0 225743 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 905216 [startup+1602.3 s] /proc/loadavg: 1.06 1.04 1.00 2/65 3234 /proc/meminfo: memFree=853488/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=923356 CPUtime=1601.78 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 229613 0 0 0 160047 131 0 0 25 0 1 0 143505866 945516544 229474 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7640726 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 230839 229474 206 16 0 230278 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 923356 [startup+1662.3 s] /proc/loadavg: 1.05 1.04 1.00 2/65 3236 /proc/meminfo: memFree=831408/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=945440 CPUtime=1661.77 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 235092 0 0 0 166042 135 0 0 25 0 1 0 143505866 968130560 234953 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 236360 234953 206 16 0 235799 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 945440 [startup+1722.3 s] /proc/loadavg: 1.02 1.03 1.00 2/65 3236 /proc/meminfo: memFree=808368/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=968048 CPUtime=1721.75 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 240788 0 0 0 172035 140 0 0 25 0 1 0 143505866 991281152 240649 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7640732 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 242012 240649 206 16 0 241451 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 968048 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 3236 /proc/meminfo: memFree=784432/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=992048 CPUtime=1781.73 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 246781 0 0 0 178030 143 0 0 25 0 1 0 143505866 1015857152 246642 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7640732 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 248012 246642 206 16 0 247451 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 992048 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 1.02 1.00 2/65 3236 /proc/meminfo: memFree=784432/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=992048 CPUtime=1782.53 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 246781 0 0 0 178110 143 0 0 25 0 1 0 143505866 1015857152 246642 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7639379 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 248012 246642 206 16 0 247451 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (KiB) 992048 [startup+1783.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 3236 /proc/meminfo: memFree=784432/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=992048 CPUtime=1782.73 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 246781 0 0 0 178130 143 0 0 25 0 1 0 143505866 1015857152 246642 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 248012 246642 206 16 0 247451 0 Current children cumulated CPU time (s) 1782.73 Current children cumulated vsize (KiB) 992048 [startup+1783.4 s] /proc/loadavg: 1.00 1.02 1.00 2/65 3236 /proc/meminfo: memFree=784432/2055920 swapFree=4184248/4192956 [pid=3233] ppid=3231 vsize=0 CPUtime=1782.83 /proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194308 246788 0 0 0 178132 151 0 0 17 0 1 0 143505866 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/3233/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1782.83 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 1783.48 CPU time (s): 1782.92 CPU user time (s): 1781.33 CPU system time (s): 1.59076 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 992080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.33 system time used= 1.59076 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 246788 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= 2531 runsolver used 1.20182 second user time and 3.67644 second system time The end
Begin job on node71 on Sun Apr 15 22:12:45 UTC 2007 IDJOB= 353763 IDBENCH= 2267 IDSOLVER= 165 FILE ID= node71/353763-1176675165 PBS_JOBID= 4559950 Free space on /tmp= 66558 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb COMMAND LINE= Pueblo /tmp/evaluation/353763-1176675165/instance-353763-1176675165.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node71/convwatcher-353763-1176675165 -o ROOT/results/node71/conversion-353763-1176675165 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353763-1176675165/instance-353763-1176675165.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-353763-1176675165 -o ROOT/results/node71/solver-353763-1176675165 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353763-1176675165/instance-353763-1176675165.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 36a19a7aeba117287b60c4673ad89664 RANDOM SEED= 317840330 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.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.234 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.234 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: 1772744 kB Buffers: 46244 kB Cached: 155320 kB SwapCached: 2640 kB Active: 126836 kB Inactive: 85532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1772744 kB SwapTotal: 4192956 kB SwapFree: 4184248 kB Dirty: 5344 kB Writeback: 0 kB Mapped: 16428 kB Slab: 56824 kB Committed_AS: 2441620 kB PageTables: 1448 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= 66558 MiB End job on node71 on Sun Apr 15 22:42:29 UTC 2007