Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
absconPseudo 102 | SAT (TO) | 5 | 1800.09 | 1800.47 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_1.opb |
MD5SUM | aa10899bd7f711370f6ef9f1251ce7f2 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 61.3037 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 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 | 26 |
Maximum length of a constraint | 44 |
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) | 3038 |
Sum of products size (including duplicates) | 6076 |
Number of different products | 3038 |
Sum of products size | 6076 |
1.24/1.16 o 8 2.04/1.98 o 7 2.93/2.81 o 6 1323.35/1323.65 o 5 1800.02/1800.41 s SATISFIABLE 1800.02/1800.41 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 1800.02/1800.41 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 1800.02/1800.41 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 1800.02/1800.41 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.02/1800.41 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.02/1800.41 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 1800.02/1800.41 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 1800.02/1800.41 v x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.02/1800.41 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.02/1800.41 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.02/1800.41 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.02/1800.41 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.02/1800.41 v -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.02/1800.41 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 1800.02/1800.41 v -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.02/1800.41 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 1800.02/1800.41 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.02/1800.41 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.02/1800.41 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.02/1800.41 v -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 1800.02/1800.41 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.02/1800.41 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.02/1800.41 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.02/1800.41 v -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.02/1800.41 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.02/1800.41 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.02/1800.41 v -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.02/1800.41 v x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.02/1800.41 v -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.02/1800.41 v -x631 -x632 -x633 -x634 -x635 x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.02/1800.41 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.02/1800.41 v x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.02/1800.41 v -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 x711 -x712 -x713 -x714 1800.02/1800.41 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.02/1800.41 v -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 1800.02/1800.41 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.02/1800.41 v -x778 x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.02/1800.41 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 1800.02/1800.41 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.02/1800.41 v -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.02/1800.41 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 1800.02/1800.41 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.02/1800.41 v x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.02/1800.41 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.02/1800.41 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.02/1800.41 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 1800.02/1800.41 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 1800.02/1800.41 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.02/1800.41 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.02/1800.41 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 1800.02/1800.41 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1800.02/1800.41 v -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 1800.02/1800.41 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1800.02/1800.41 v -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.02/1800.41 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.02/1800.41 v -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1800.02/1800.41 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1800.02/1800.41 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1800.02/1800.41 v -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 1800.02/1800.41 v -x1215 -x1216 -x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1800.02/1800.41 v -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1800.02/1800.41 v -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.02/1800.41 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 1800.02/1800.41 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1800.02/1800.41 v -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1800.02/1800.41 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1800.02/1800.41 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 1800.02/1800.41 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 1800.02/1800.41 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 1800.02/1800.41 v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 1800.02/1800.41 v -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 1800.02/1800.41 v -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 1800.02/1800.41 v -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 1800.02/1800.41 v -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 1800.02/1800.41 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 1800.02/1800.41 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 1800.02/1800.41 v -x1506 -x1507 -x1508 x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1800.02/1800.41 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1800.02/1800.41 v -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1800.02/1800.41 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 1800.02/1800.41 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 1800.02/1800.41 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 1800.02/1800.41 v x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1800.02/1800.41 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 x1642 -x1643 1800.02/1800.41 v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1800.02/1800.41 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 1800.02/1800.41 v -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 1800.02/1800.41 v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 1800.02/1800.41 v -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 1800.02/1800.41 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 1800.02/1800.41 v -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 1800.02/1800.41 v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 1800.02/1800.41 v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 1800.02/1800.41 v -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 x1816 1800.02/1800.41 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 1800.02/1800.41 v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 1800.02/1800.41 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 1800.02/1800.41 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1800.02/1800.41 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1800.02/1800.41 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1800.02/1800.41 v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1800.02/1800.41 v -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 1800.02/1800.41 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 1800.02/1800.41 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1800.02/1800.41 v -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 1800.02/1800.41 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 1800.02/1800.41 v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 1800.02/1800.41 v -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 1800.02/1800.41 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 1800.02/1800.41 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 1800.02/1800.41 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 1800.02/1800.41 v -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1800.02/1800.41 v x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 1800.02/1800.41 v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1800.02/1800.41 v -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1800.02/1800.41 v -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x2193 1800.02/1800.41 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1800.02/1800.41 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 -x2227 1800.02/1800.41 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1800.02/1800.41 v x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 1800.02/1800.41 v -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 x2278 -x2279 x2280 1800.02/1800.41 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1800.02/1800.41 v -x2298 -x2299 -x2300 -x2301 x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 1800.02/1800.41 v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 1800.02/1800.41 v -x2333 -x2334 x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 1800.02/1800.41 v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 x2362 -x2363 -x2364 -x2365 -x2366 1800.02/1800.41 v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 1800.02/1800.41 v -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1800.02/1800.41 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 x2416 -x2417 -x2418 1800.02/1800.41 v -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1800.02/1800.41 v -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1800.02/1800.41 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 1800.02/1800.41 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1800.02/1800.41 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 1800.02/1800.41 v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 x2521 -x2522 -x2523 1800.02/1800.41 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1800.02/1800.41 v -x2541 -x2542 -x2543 -x2544 -x2545 x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 1800.02/1800.41 v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 1800.02/1800.41 v -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 1800.02/1800.41 v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 x2608 -x2609 -x2610 1800.02/1800.41 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 1800.02/1800.41 v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 1800.02/1800.41 v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 x2661 -x2662 1800.02/1800.41 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 x2677 -x2678 -x2679 1800.02/1800.41 v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 1800.02/1800.41 v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 1800.02/1800.41 v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 1800.02/1800.41 v -x2732 x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 1800.02/1800.41 v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 x2757 x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 1800.02/1800.41 v x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 x2782 x2783 -x2784 -x2785 1800.02/1800.41 v -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 1800.02/1800.41 v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 -x2819 1800.02/1800.41 v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 1800.02/1800.41 v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 1800.02/1800.41 v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 1800.02/1800.41 v x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 1800.02/1800.41 v -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 1800.02/1800.41 v -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 1800.02/1800.41 v -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 x2938 x2939 -x2940 1800.02/1800.41 v x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 1800.02/1800.41 v -x2959 -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 -x2972 -x2973 -x2974 -x2975 -x2976 1800.02/1800.41 v -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 1800.02/1800.41 v -x2994 x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 1800.02/1800.41 v -x3011 -x3012 -x3013 x3014 -x3015 x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 -x3024 x3025 -x3026 -x3027 -x3028 1800.02/1800.41 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 x3043 -x3044 -x3045 1800.02/1800.41 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1800.02/1800.41 v -x3063 x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 1800.02/1800.41 v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 -x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 1800.02/1800.41 v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 1800.02/1800.41 v -x3116 -x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 1800.02/1800.41 v -x3134 -x3135 -x3136 -x3137 -x3138
OK 5
Linearizing /tmp/evaluation/453142-1178119099/instance-453142-1178119099.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-453142-1178119099 -o ROOT/results/node5/solver-453142-1178119099 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453142-1178119099/instance-453142-1178119099.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16101 /proc/meminfo: memFree=1766528/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1476 CPUtime=0 /proc/16101/stat : 16101 (java) R 16099 16101 15385 0 -1 0 121 0 0 0 0 0 0 0 18 0 1 0 287947627 1511424 95 18446744073709551615 134512640 134550740 4294956528 18446744073709551615 134521736 0 0 4096 0 0 0 0 17 1 0 0 /proc/16101/statm: 369 101 78 9 0 11 0 [startup+0.102411 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16101 /proc/meminfo: memFree=1766528/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790300 CPUtime=0.1 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 4377 0 1 0 8 2 0 0 18 0 9 0 287947627 1833267200 3817 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447575 3817 1726 9 0 442167 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1790300 [startup+0.201421 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16101 /proc/meminfo: memFree=1766528/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=0.21 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 5633 0 1 0 18 3 0 0 18 0 9 0 287947627 1833295872 5051 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 5051 1835 9 0 442167 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 1790328 [startup+0.301437 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16101 /proc/meminfo: memFree=1766528/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=0.35 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 7368 0 1 0 31 4 0 0 18 0 9 0 287947627 1833295872 6782 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 6782 1847 9 0 442167 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1790328 [startup+0.701476 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16101 /proc/meminfo: memFree=1766528/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=0.83 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 13189 0 2 0 76 7 0 0 18 0 9 0 287947627 1833295872 12587 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 12587 1871 9 0 442167 0 Current children cumulated CPU time (s) 0.83 Current children cumulated vsize (KiB) 1790328 [startup+1.50257 s] /proc/loadavg: 0.92 0.98 0.99 2/86 16110 /proc/meminfo: memFree=1723000/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=1.64 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 13226 0 2 0 157 7 0 0 18 0 9 0 287947627 1833295872 12623 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 12623 1871 9 0 442167 0 [pid=16101/tid=16103] ppid=16099 vsize=1790328 CPUtime=1.46 /proc/16101/task/16103/stat : 16103 (java) R 16099 16101 15385 0 -1 64 12104 0 2 0 140 6 0 0 25 0 9 0 287947628 1833295872 12623 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126810302 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16104] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16104/stat : 16104 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 287947630 1833295872 12623 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16105] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16105/stat : 16105 (java) S 16099 16101 15385 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 287947630 1833295872 12623 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16106] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16106/stat : 16106 (java) S 16099 16101 15385 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 287947630 1833295872 12623 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16107] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16107/stat : 16107 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 287947632 1833295872 12623 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16108] ppid=16099 vsize=1790328 CPUtime=0.16 /proc/16101/task/16108/stat : 16108 (java) S 16099 16101 15385 0 -1 64 400 0 0 0 16 0 0 0 16 0 9 0 287947632 1833295872 12623 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16109] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16109/stat : 16109 (java) S 16099 16101 15385 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 287947632 1833295872 12623 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16110] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16110/stat : 16110 (java) S 16099 16101 15385 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 287947632 1833295872 12623 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 1790328 [startup+3.10274 s] /proc/loadavg: 0.92 0.98 0.99 2/86 16110 /proc/meminfo: memFree=1722680/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=3.23 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 13230 0 2 0 316 7 0 0 18 0 9 0 287947627 1833295872 12626 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 12626 1871 9 0 442167 0 [pid=16101/tid=16103] ppid=16099 vsize=1790328 CPUtime=3.06 /proc/16101/task/16103/stat : 16103 (java) R 16099 16101 15385 0 -1 64 12105 0 2 0 299 7 0 0 17 0 9 0 287947628 1833295872 12626 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126786433 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16104] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16104/stat : 16104 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 287947630 1833295872 12626 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16105] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16105/stat : 16105 (java) S 16099 16101 15385 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 287947630 1833295872 12626 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16106] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16106/stat : 16106 (java) S 16099 16101 15385 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 287947630 1833295872 12626 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16107] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16107/stat : 16107 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 287947632 1833295872 12626 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16108] ppid=16099 vsize=1790328 CPUtime=0.17 /proc/16101/task/16108/stat : 16108 (java) S 16099 16101 15385 0 -1 64 403 0 0 0 17 0 0 0 16 0 9 0 287947632 1833295872 12626 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16109] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16109/stat : 16109 (java) S 16099 16101 15385 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 287947632 1833295872 12626 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16110] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16110/stat : 16110 (java) S 16099 16101 15385 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 287947632 1833295872 12626 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.23 Current children cumulated vsize (KiB) 1790328 [startup+6.3011 s] /proc/loadavg: 0.93 0.98 0.99 2/86 16110 /proc/meminfo: memFree=1722488/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=6.44 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 13233 0 2 0 636 8 0 0 18 0 9 0 287947627 1833295872 12627 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 12627 1872 9 0 442167 0 [pid=16101/tid=16103] ppid=16099 vsize=1790328 CPUtime=6.25 /proc/16101/task/16103/stat : 16103 (java) R 16099 16101 15385 0 -1 64 12107 0 2 0 618 7 0 0 17 0 9 0 287947628 1833295872 12627 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126849906 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16104] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16104/stat : 16104 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 287947630 1833295872 12627 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16105] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16105/stat : 16105 (java) S 16099 16101 15385 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 287947630 1833295872 12627 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16106] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16106/stat : 16106 (java) S 16099 16101 15385 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 287947630 1833295872 12627 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16107] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16107/stat : 16107 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 287947632 1833295872 12627 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16108] ppid=16099 vsize=1790328 CPUtime=0.17 /proc/16101/task/16108/stat : 16108 (java) S 16099 16101 15385 0 -1 64 403 0 0 0 17 0 0 0 16 0 9 0 287947632 1833295872 12627 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16109] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16109/stat : 16109 (java) S 16099 16101 15385 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 287947632 1833295872 12627 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16110] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16110/stat : 16110 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 287947632 1833295872 12627 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.44 Current children cumulated vsize (KiB) 1790328 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.99 2/86 16110 /proc/meminfo: memFree=1722424/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=12.83 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 13237 0 2 0 1275 8 0 0 18 0 9 0 287947627 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 12630 1873 9 0 442167 0 [pid=16101/tid=16103] ppid=16099 vsize=1790328 CPUtime=12.64 /proc/16101/task/16103/stat : 16103 (java) R 16099 16101 15385 0 -1 64 12108 0 2 0 1257 7 0 0 25 0 9 0 287947628 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126775258 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16104] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16104/stat : 16104 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16105] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16105/stat : 16105 (java) S 16099 16101 15385 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16106] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16106/stat : 16106 (java) S 16099 16101 15385 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16107] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16107/stat : 16107 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16108] ppid=16099 vsize=1790328 CPUtime=0.17 /proc/16101/task/16108/stat : 16108 (java) S 16099 16101 15385 0 -1 64 406 0 0 0 17 0 0 0 16 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16109] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16109/stat : 16109 (java) S 16099 16101 15385 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16110] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16110/stat : 16110 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.83 Current children cumulated vsize (KiB) 1790328 [startup+25.5023 s] /proc/loadavg: 0.95 0.98 0.99 2/86 16110 /proc/meminfo: memFree=1722488/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=25.63 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 13237 0 2 0 2555 8 0 0 18 0 9 0 287947627 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 12630 1873 9 0 442167 0 [pid=16101/tid=16103] ppid=16099 vsize=1790328 CPUtime=25.44 /proc/16101/task/16103/stat : 16103 (java) R 16099 16101 15385 0 -1 64 12108 0 2 0 2537 7 0 0 25 0 9 0 287947628 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126590986 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16104] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16104/stat : 16104 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16105] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16105/stat : 16105 (java) S 16099 16101 15385 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16106] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16106/stat : 16106 (java) S 16099 16101 15385 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16107] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16107/stat : 16107 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16108] ppid=16099 vsize=1790328 CPUtime=0.17 /proc/16101/task/16108/stat : 16108 (java) S 16099 16101 15385 0 -1 64 406 0 0 0 17 0 0 0 16 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16109] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16109/stat : 16109 (java) S 16099 16101 15385 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16110] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16110/stat : 16110 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.63 Current children cumulated vsize (KiB) 1790328 [startup+51.1022 s] /proc/loadavg: 0.96 0.98 0.99 2/86 16110 /proc/meminfo: memFree=1722488/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=51.22 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 13237 0 2 0 5114 8 0 0 18 0 9 0 287947627 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 12630 1873 9 0 442167 0 [pid=16101/tid=16103] ppid=16099 vsize=1790328 CPUtime=51.03 /proc/16101/task/16103/stat : 16103 (java) R 16099 16101 15385 0 -1 64 12108 0 2 0 5096 7 0 0 25 0 9 0 287947628 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126797680 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16104] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16104/stat : 16104 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16105] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16105/stat : 16105 (java) S 16099 16101 15385 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16106] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16106/stat : 16106 (java) S 16099 16101 15385 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16107] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16107/stat : 16107 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16108] ppid=16099 vsize=1790328 CPUtime=0.17 /proc/16101/task/16108/stat : 16108 (java) S 16099 16101 15385 0 -1 64 406 0 0 0 17 0 0 0 16 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16109] ppid=16099 vsize=1790328 CPUtime=0 ################ # More data... # ################ /proc/16101/task/16106/stat : 16106 (java) S 16099 16101 15385 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16107] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16107/stat : 16107 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16108] ppid=16099 vsize=1790328 CPUtime=0.17 /proc/16101/task/16108/stat : 16108 (java) S 16099 16101 15385 0 -1 64 406 0 0 0 17 0 0 0 16 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16109] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16109/stat : 16109 (java) S 16099 16101 15385 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16110] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16110/stat : 16110 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 1790328 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 16112 /proc/meminfo: memFree=1721656/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=1601.97 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 13237 0 2 0 160176 21 0 0 18 0 9 0 287947627 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 12630 1873 9 0 442167 0 [pid=16101/tid=16103] ppid=16099 vsize=1790328 CPUtime=1601.78 /proc/16101/task/16103/stat : 16103 (java) R 16099 16101 15385 0 -1 64 12108 0 2 0 160158 20 0 0 25 0 9 0 287947628 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126849937 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16104] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16104/stat : 16104 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16105] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16105/stat : 16105 (java) S 16099 16101 15385 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16106] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16106/stat : 16106 (java) S 16099 16101 15385 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16107] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16107/stat : 16107 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16108] ppid=16099 vsize=1790328 CPUtime=0.17 /proc/16101/task/16108/stat : 16108 (java) S 16099 16101 15385 0 -1 64 406 0 0 0 17 0 0 0 16 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16109] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16109/stat : 16109 (java) S 16099 16101 15385 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16110] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16110/stat : 16110 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1601.97 Current children cumulated vsize (KiB) 1790328 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 16112 /proc/meminfo: memFree=1721656/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=1661.95 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 13237 0 2 0 166174 21 0 0 18 0 9 0 287947627 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 12630 1873 9 0 442167 0 [pid=16101/tid=16103] ppid=16099 vsize=1790328 CPUtime=1661.77 /proc/16101/task/16103/stat : 16103 (java) R 16099 16101 15385 0 -1 64 12108 0 2 0 166156 21 0 0 25 0 9 0 287947628 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126797686 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16104] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16104/stat : 16104 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16105] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16105/stat : 16105 (java) S 16099 16101 15385 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16106] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16106/stat : 16106 (java) S 16099 16101 15385 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16107] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16107/stat : 16107 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16108] ppid=16099 vsize=1790328 CPUtime=0.17 /proc/16101/task/16108/stat : 16108 (java) S 16099 16101 15385 0 -1 64 406 0 0 0 17 0 0 0 16 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16109] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16109/stat : 16109 (java) S 16099 16101 15385 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16110] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16110/stat : 16110 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 1790328 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 16112 /proc/meminfo: memFree=1721592/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=1721.94 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 13237 0 2 0 172172 22 0 0 18 0 9 0 287947627 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 12630 1873 9 0 442167 0 [pid=16101/tid=16103] ppid=16099 vsize=1790328 CPUtime=1721.74 /proc/16101/task/16103/stat : 16103 (java) R 16099 16101 15385 0 -1 64 12108 0 2 0 172153 21 0 0 25 0 9 0 287947628 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126775621 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16104] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16104/stat : 16104 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16105] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16105/stat : 16105 (java) S 16099 16101 15385 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16106] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16106/stat : 16106 (java) S 16099 16101 15385 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16107] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16107/stat : 16107 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16108] ppid=16099 vsize=1790328 CPUtime=0.17 /proc/16101/task/16108/stat : 16108 (java) S 16099 16101 15385 0 -1 64 406 0 0 0 17 0 0 0 16 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16109] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16109/stat : 16109 (java) S 16099 16101 15385 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16110] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16110/stat : 16110 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 1790328 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 16112 /proc/meminfo: memFree=1721592/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=1781.91 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 13237 0 2 0 178169 22 0 0 18 0 9 0 287947627 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 12630 1873 9 0 442167 0 [pid=16101/tid=16103] ppid=16099 vsize=1790328 CPUtime=1781.73 /proc/16101/task/16103/stat : 16103 (java) R 16099 16101 15385 0 -1 64 12108 0 2 0 178151 22 0 0 25 0 9 0 287947628 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126797680 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16104] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16104/stat : 16104 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16105] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16105/stat : 16105 (java) S 16099 16101 15385 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16106] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16106/stat : 16106 (java) S 16099 16101 15385 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16107] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16107/stat : 16107 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16108] ppid=16099 vsize=1790328 CPUtime=0.17 /proc/16101/task/16108/stat : 16108 (java) S 16099 16101 15385 0 -1 64 406 0 0 0 17 0 0 0 16 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16109] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16109/stat : 16109 (java) S 16099 16101 15385 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16110] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16110/stat : 16110 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1790328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.08 1.02 1.01 2/86 16112 /proc/meminfo: memFree=1721592/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=1800.02 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 13237 0 2 0 179979 23 0 0 18 0 9 0 287947627 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 12630 1873 9 0 442167 0 [pid=16101/tid=16103] ppid=16099 vsize=1790328 CPUtime=1799.83 /proc/16101/task/16103/stat : 16103 (java) R 16099 16101 15385 0 -1 64 12108 0 2 0 179961 22 0 0 25 0 9 0 287947628 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126797680 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16104] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16104/stat : 16104 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16105] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16105/stat : 16105 (java) S 16099 16101 15385 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16106] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16106/stat : 16106 (java) S 16099 16101 15385 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16107] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16107/stat : 16107 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16108] ppid=16099 vsize=1790328 CPUtime=0.17 /proc/16101/task/16108/stat : 16108 (java) S 16099 16101 15385 0 -1 64 406 0 0 0 17 0 0 0 16 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16109] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16109/stat : 16109 (java) S 16099 16101 15385 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16110] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16110/stat : 16110 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1790328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 1.08 1.02 1.01 2/86 16112 /proc/meminfo: memFree=1721592/2055920 swapFree=4150044/4192956 [pid=16101] ppid=16099 vsize=1790328 CPUtime=1800.02 /proc/16101/stat : 16101 (java) S 16099 16101 15385 0 -1 0 13237 0 2 0 179979 23 0 0 18 0 9 0 287947627 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16101/statm: 447582 12630 1873 9 0 442167 0 [pid=16101/tid=16103] ppid=16099 vsize=1790328 CPUtime=1799.83 /proc/16101/task/16103/stat : 16103 (java) R 16099 16101 15385 0 -1 64 12108 0 2 0 179961 22 0 0 25 0 9 0 287947628 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126797680 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16104] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16104/stat : 16104 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16105] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16105/stat : 16105 (java) S 16099 16101 15385 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16106] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16106/stat : 16106 (java) S 16099 16101 15385 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 287947630 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16107] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16107/stat : 16107 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16108] ppid=16099 vsize=1790328 CPUtime=0.17 /proc/16101/task/16108/stat : 16108 (java) S 16099 16101 15385 0 -1 64 406 0 0 0 17 0 0 0 16 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16101/tid=16109] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16109/stat : 16109 (java) S 16099 16101 15385 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16101/tid=16110] ppid=16099 vsize=1790328 CPUtime=0 /proc/16101/task/16110/stat : 16110 (java) S 16099 16101 15385 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 287947632 1833295872 12630 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1790328 Child status: 143 Real time (s): 1800.47 CPU time (s): 1800.09 CPU user time (s): 1799.85 CPU system time (s): 0.239963 CPU usage (%): 99.9789 Max. virtual memory (cumulated for all children) (KiB): 1790328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.85 system time used= 0.239963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13268 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 36780 involuntary context switches= 11608 runsolver used 1.85772 second user time and 4.70129 second system time The end
Begin job on node5 on Wed May 2 15:18:19 UTC 2007 IDJOB= 453142 IDBENCH= 48111 IDSOLVER= 155 FILE ID= node5/453142-1178119099 PBS_JOBID= 4751030 Free space on /tmp= 66563 MiB SOLVER NAME= absconPseudo 102 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_1.opb COMMAND LINE= java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453142-1178119099/instance-453142-1178119099.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-453142-1178119099 -o ROOT/results/node5/conversion-453142-1178119099 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453142-1178119099/instance-453142-1178119099.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-453142-1178119099 -o ROOT/results/node5/solver-453142-1178119099 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453142-1178119099/instance-453142-1178119099.opb META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5 MD5SUM BENCH= aa10899bd7f711370f6ef9f1251ce7f2 RANDOM SEED= 32333082 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: 1766872 kB Buffers: 125664 kB Cached: 52212 kB SwapCached: 11368 kB Active: 88404 kB Inactive: 120248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1766872 kB SwapTotal: 4192956 kB SwapFree: 4150044 kB Dirty: 2096 kB Writeback: 0 kB Mapped: 35600 kB Slab: 65928 kB Committed_AS: 13687736 kB PageTables: 1736 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= 66563 MiB End job on node5 on Wed May 2 15:48:22 UTC 2007