Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -24 | 1782.74 | 1783.22 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_5.opb |
MD5SUM | ae2bd1e13f1871c16ad2ebb51fc6f92a |
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 | -29 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
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 | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2504 |
Sum of products size (including duplicates) | 5008 |
Number of different products | 1252 |
Sum of products size | 2504 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.00/0.05 c starting to Solve 0.00/0.05 c #variables read: 1452 - #constraints read: 2807 0.00/0.05 o 0 0.00/0.05 o 1 0.00/0.05 o 2 0.00/0.05 o 3 0.00/0.05 o 4 0.00/0.05 o 5 0.00/0.05 o 6 0.00/0.05 o 7 0.00/0.05 o 8 0.00/0.05 o 9 0.00/0.06 o 10 0.00/0.06 o 11 0.00/0.06 o 12 0.00/0.06 o 13 0.00/0.06 o 14 0.00/0.06 o 15 0.00/0.06 o 16 0.00/0.06 o 17 0.00/0.06 o 18 0.00/0.07 o 19 0.00/0.08 o 20 0.08/0.08 o 21 6.19/6.26 o 22 296.01/296.13 o 23 1203.37/1203.79 o 24 1782.71/1783.21 c total time : 1783 s 1782.71/1783.21 s SATISFIABLE 1782.71/1783.21 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.71/1783.21 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 1782.71/1783.21 v -x56 -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 1782.71/1783.21 v x82 x83 x84 x85 x86 -x87 x88 x89 x90 x91 x92 x93 -x94 x95 -x96 x97 x98 x99 -x100 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 1782.71/1783.21 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 1782.71/1783.21 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 1782.71/1783.21 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 1782.71/1783.21 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 1782.71/1783.21 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 1782.71/1783.21 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 1782.71/1783.21 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 1782.71/1783.21 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1782.71/1783.21 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 1782.71/1783.21 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 1782.71/1783.21 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 1782.71/1783.21 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 1782.71/1783.21 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 1782.71/1783.21 v -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 1782.71/1783.21 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1782.71/1783.21 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 1782.71/1783.21 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 1782.71/1783.21 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1782.71/1783.21 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1782.71/1783.21 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 1782.71/1783.21 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 1782.71/1783.21 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 1782.71/1783.21 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 1782.71/1783.21 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1782.71/1783.21 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 1782.71/1783.21 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 1782.71/1783.21 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 1782.71/1783.21 v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 1782.71/1783.21 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 1782.71/1783.21 v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 1782.71/1783.21 v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 1782.71/1783.21 v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 1782.71/1783.21 v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 1782.71/1783.21 v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 1782.71/1783.21 v -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 1782.71/1783.21 v -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 1782.71/1783.21 v -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 1782.71/1783.21 v -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1782.71/1783.21 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 1782.71/1783.21 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1782.71/1783.21 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1782.71/1783.21 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1782.71/1783.21 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1782.71/1783.21 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1782.71/1783.21 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1782.71/1783.21 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1782.71/1783.21 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1782.71/1783.21 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1782.71/1783.21 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1782.71/1783.21 v -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1782.71/1783.21 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1782.71/1783.21 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1782.71/1783.21 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1782.71/1783.21 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 1782.71/1783.21 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1782.71/1783.21 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1782.71/1783.21 v -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1782.71/1783.21 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1782.71/1783.21 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1782.71/1783.21 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1782.71/1783.21 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1782.71/1783.21 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1782.71/1783.21 v -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1782.71/1783.21 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1782.71/1783.21 v -x1449 -x1450 -x1451 -x1452 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 1782.71/1783.21 v -x117 x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 x136 x137 -x138 1782.71/1783.21 v -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 x148 -x149 x150 -x151 x152 x153 -x154 x155 -x156 x157 x158 -x159 -x160 1782.71/1783.21 v -x161 x162 -x163 -x164 x165 x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 x176 x177 -x178 -x179 -x180 -x181 -x182 1782.71/1783.21 v -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 x200
OK -24
Linearizing /tmp/evaluation/455462-1178043877/instance-455462-1178043877.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-455462-1178043877 -o ROOT/results/node57/solver-455462-1178043877 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/455462-1178043877/instance-455462-1178043877.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.78 0.95 0.94 3/64 4902 /proc/meminfo: memFree=1884528/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=2552 CPUtime=0 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 245523733 2613248 234 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7859927 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 638 235 199 16 0 77 0 [startup+0.0879509 s] /proc/loadavg: 0.78 0.95 0.94 3/64 4902 /proc/meminfo: memFree=1884528/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=3620 CPUtime=0.08 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 546 0 0 0 8 0 0 0 18 0 1 0 245523733 3706880 517 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134533555 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 905 517 205 16 0 344 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3620 [startup+0.101952 s] /proc/loadavg: 0.78 0.95 0.94 3/64 4902 /proc/meminfo: memFree=1884528/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=3620 CPUtime=0.09 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 546 0 0 0 9 0 0 0 18 0 1 0 245523733 3706880 517 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 905 517 205 16 0 344 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3620 [startup+0.301969 s] /proc/loadavg: 0.78 0.95 0.94 3/64 4902 /proc/meminfo: memFree=1884528/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=3872 CPUtime=0.29 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 594 0 0 0 29 0 0 0 19 0 1 0 245523733 3964928 565 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527549 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 968 565 205 16 0 407 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3872 [startup+0.702004 s] /proc/loadavg: 0.78 0.95 0.94 3/64 4902 /proc/meminfo: memFree=1884528/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=4536 CPUtime=0.69 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 774 0 0 0 69 0 0 0 22 0 1 0 245523733 4644864 745 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528725 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 1134 745 205 16 0 573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4536 [startup+1.50107 s] /proc/loadavg: 0.78 0.95 0.94 2/65 4903 /proc/meminfo: memFree=1882024/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=5056 CPUtime=1.49 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 904 0 0 0 148 1 0 0 25 0 1 0 245523733 5177344 875 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7824720 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 1264 875 205 16 0 703 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5056 [startup+3.10121 s] /proc/loadavg: 0.78 0.95 0.94 2/65 4903 /proc/meminfo: memFree=1881576/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=5696 CPUtime=3.09 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 1048 0 0 0 308 1 0 0 25 0 1 0 245523733 5832704 1019 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 1424 1019 205 16 0 863 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5696 [startup+6.30149 s] /proc/loadavg: 0.80 0.95 0.94 2/65 4903 /proc/meminfo: memFree=1880808/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=6216 CPUtime=6.29 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 1171 0 0 0 627 2 0 0 25 0 1 0 245523733 6365184 1142 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 1554 1142 205 16 0 993 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6216 [startup+12.701 s] /proc/loadavg: 0.81 0.95 0.94 2/65 4903 /proc/meminfo: memFree=1880248/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=6628 CPUtime=12.68 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 1267 0 0 0 1264 4 0 0 25 0 1 0 245523733 6787072 1238 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 1657 1238 205 16 0 1096 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 6628 [startup+25.5012 s] /proc/loadavg: 0.85 0.95 0.94 2/65 4903 /proc/meminfo: memFree=1879168/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=7660 CPUtime=25.48 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 1534 0 0 0 2539 9 0 0 25 0 1 0 245523733 7843840 1505 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527578 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 1915 1505 205 16 0 1354 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 7660 [startup+51.1014 s] /proc/loadavg: 0.90 0.96 0.94 2/65 4903 /proc/meminfo: memFree=1878720/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=8128 CPUtime=51.08 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 1660 0 0 0 5091 17 0 0 25 0 1 0 245523733 8323072 1631 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 2032 1631 205 16 0 1471 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 8128 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.94 2/65 4903 /proc/meminfo: memFree=1877248/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=9584 CPUtime=102.26 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2017 0 0 0 10200 26 0 0 25 0 1 0 245523733 9814016 1988 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134524561 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 2396 1988 205 16 0 1835 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 9584 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.94 2/65 4903 /proc/meminfo: memFree=1876224/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=10644 CPUtime=162.25 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2280 0 0 0 16186 39 0 0 25 0 1 0 245523733 10899456 2251 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 2661 2251 205 16 0 2100 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 10644 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4903 /proc/meminfo: memFree=1875200/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=11536 CPUtime=222.23 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2519 0 0 0 22173 50 0 0 25 0 1 0 245523733 11812864 2490 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527489 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 2884 2490 205 16 0 2323 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 11536 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4903 /proc/meminfo: memFree=1874880/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=11928 CPUtime=282.21 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2615 0 0 0 28161 60 0 0 25 0 1 0 245523733 12214272 2586 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 2982 2586 205 16 0 2421 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 11928 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4905 /proc/meminfo: memFree=1874816/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=11928 CPUtime=342.19 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2615 0 0 0 34148 71 0 0 25 0 1 0 245523733 12214272 2586 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 2982 2586 205 16 0 2421 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 11928 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4905 /proc/meminfo: memFree=1874624/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=12188 CPUtime=402.18 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2666 0 0 0 40136 82 0 0 25 0 1 0 245523733 12480512 2637 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7824708 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3047 2637 205 16 0 2486 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 12188 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.94 3/65 4905 /proc/meminfo: memFree=1874560/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=12188 CPUtime=462.16 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2685 0 0 0 46124 92 0 0 25 0 1 0 245523733 12480512 2656 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3047 2656 205 16 0 2486 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 12188 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4905 /proc/meminfo: memFree=1873856/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=12844 CPUtime=522.15 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2852 0 0 0 52113 102 0 0 25 0 1 0 245523733 13152256 2823 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3211 2823 205 16 0 2650 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 12844 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4905 /proc/meminfo: memFree=1873856/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=12840 CPUtime=582.13 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2853 0 0 0 58102 111 0 0 25 0 1 0 245523733 13148160 2824 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3210 2824 205 16 0 2649 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 12840 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4905 /proc/meminfo: memFree=1873216/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=13456 CPUtime=642.12 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2998 0 0 0 64092 120 0 0 25 0 1 0 245523733 13778944 2969 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3364 2969 205 16 0 2803 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 13456 ################ # More data... # ################ /proc/meminfo: memFree=1872832/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=13888 CPUtime=882.05 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3090 0 0 0 88050 155 0 0 25 0 1 0 245523733 14221312 3059 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134558688 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3472 3059 205 16 0 2911 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 13888 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4905 /proc/meminfo: memFree=1871808/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=14892 CPUtime=942.04 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3350 0 0 0 94042 162 0 0 25 0 1 0 245523733 15249408 3319 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3723 3319 205 16 0 3162 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 14892 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4905 /proc/meminfo: memFree=1871744/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=14892 CPUtime=1002.03 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3350 0 0 0 100031 172 0 0 25 0 1 0 245523733 15249408 3319 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3723 3319 205 16 0 3162 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 14892 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4905 /proc/meminfo: memFree=1871744/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=14892 CPUtime=1062 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3350 0 0 0 106019 181 0 0 25 0 1 0 245523733 15249408 3319 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3723 3319 205 16 0 3162 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 14892 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4905 /proc/meminfo: memFree=1871744/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15008 CPUtime=1121.99 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3362 0 0 0 112010 189 0 0 25 0 1 0 245523733 15368192 3331 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3752 3331 205 16 0 3191 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 15008 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4905 /proc/meminfo: memFree=1871296/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15368 CPUtime=1181.97 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3453 0 0 0 118000 197 0 0 25 0 1 0 245523733 15736832 3422 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3842 3422 205 16 0 3281 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 15368 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4905 /proc/meminfo: memFree=1871168/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15512 CPUtime=1241.96 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3481 0 0 0 123990 206 0 0 25 0 1 0 245523733 15884288 3450 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3878 3450 205 16 0 3317 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 15512 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4905 /proc/meminfo: memFree=1871104/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15512 CPUtime=1301.95 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3481 0 0 0 129981 214 0 0 25 0 1 0 245523733 15884288 3450 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3878 3450 205 16 0 3317 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 15512 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4905 /proc/meminfo: memFree=1870848/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15772 CPUtime=1361.93 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3564 0 0 0 135971 222 0 0 25 0 1 0 245523733 16150528 3533 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559829 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3943 3533 205 16 0 3382 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 15772 [startup+1422.31 s] /proc/loadavg: 1.06 0.99 0.95 2/65 4905 /proc/meminfo: memFree=1870784/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15772 CPUtime=1421.92 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3564 0 0 0 141962 230 0 0 25 0 1 0 245523733 16150528 3533 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3943 3533 205 16 0 3382 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 15772 [startup+1482.3 s] /proc/loadavg: 1.08 1.00 0.95 2/65 4905 /proc/meminfo: memFree=1870720/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15904 CPUtime=1481.9 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3580 0 0 0 147952 238 0 0 25 0 1 0 245523733 16285696 3549 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3976 3549 205 16 0 3415 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 15904 [startup+1542.3 s] /proc/loadavg: 1.03 1.00 0.95 2/65 4905 /proc/meminfo: memFree=1870720/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15904 CPUtime=1541.88 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3580 0 0 0 153939 249 0 0 25 0 1 0 245523733 16285696 3549 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3976 3549 205 16 0 3415 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 15904 [startup+1602.3 s] /proc/loadavg: 1.01 1.00 0.95 2/65 4905 /proc/meminfo: memFree=1870720/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15904 CPUtime=1601.86 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3580 0 0 0 159927 259 0 0 25 0 1 0 245523733 16285696 3549 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3976 3549 205 16 0 3415 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 15904 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 4905 /proc/meminfo: memFree=1870720/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15904 CPUtime=1661.85 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3580 0 0 0 165915 270 0 0 25 0 1 0 245523733 16285696 3549 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3976 3549 205 16 0 3415 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 15904 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 4905 /proc/meminfo: memFree=1870656/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15904 CPUtime=1721.83 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3581 0 0 0 171903 280 0 0 25 0 1 0 245523733 16285696 3550 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3976 3550 205 16 0 3415 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 15904 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 4905 /proc/meminfo: memFree=1870656/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15904 CPUtime=1781.82 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3582 0 0 0 177892 290 0 0 25 0 1 0 245523733 16285696 3551 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3976 3551 205 16 0 3415 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 15904 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 1.00 1.00 0.95 2/65 4905 /proc/meminfo: memFree=1870656/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15904 CPUtime=1782.22 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3582 0 0 0 177932 290 0 0 25 0 1 0 245523733 16285696 3551 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3976 3551 205 16 0 3415 0 Current children cumulated CPU time (s) 1782.22 Current children cumulated vsize (KiB) 15904 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 0.95 2/65 4905 /proc/meminfo: memFree=1870656/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15904 CPUtime=1782.62 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3582 0 0 0 177972 290 0 0 25 0 1 0 245523733 16285696 3551 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3976 3551 205 16 0 3415 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (KiB) 15904 [startup+1783.2 s] /proc/loadavg: 1.00 1.00 0.95 2/65 4905 /proc/meminfo: memFree=1870656/2055920 swapFree=4183136/4192956 [pid=4902] ppid=4900 vsize=15904 CPUtime=1782.71 /proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3582 0 0 0 177981 290 0 0 25 0 1 0 245523733 16285696 3551 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/4902/statm: 3976 3551 205 16 0 3415 0 Current children cumulated CPU time (s) 1782.71 Current children cumulated vsize (KiB) 15904 Child status: 10 Real time (s): 1783.22 CPU time (s): 1782.74 CPU user time (s): 1779.83 CPU system time (s): 2.91056 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 15908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.83 system time used= 2.91056 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3589 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= 2169 runsolver used 1.45078 second user time and 3.42048 second system time The end
Begin job on node57 on Tue May 1 18:24:38 UTC 2007 IDJOB= 455462 IDBENCH= 48265 IDSOLVER= 165 FILE ID= node57/455462-1178043877 PBS_JOBID= 4728433 Free space on /tmp= 66562 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_5.opb COMMAND LINE= Pueblo /tmp/evaluation/455462-1178043877/instance-455462-1178043877.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node57/convwatcher-455462-1178043877 -o ROOT/results/node57/conversion-455462-1178043877 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455462-1178043877/instance-455462-1178043877.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-455462-1178043877 -o ROOT/results/node57/solver-455462-1178043877 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/455462-1178043877/instance-455462-1178043877.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= ae2bd1e13f1871c16ad2ebb51fc6f92a RANDOM SEED= 698140000 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1885000 kB Buffers: 35736 kB Cached: 70564 kB SwapCached: 3520 kB Active: 78876 kB Inactive: 39680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1885000 kB SwapTotal: 4192956 kB SwapFree: 4183136 kB Dirty: 2584 kB Writeback: 0 kB Mapped: 15412 kB Slab: 38524 kB Committed_AS: 4727396 kB PageTables: 1408 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 node57 on Tue May 1 18:54:21 UTC 2007