Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
absconPseudo 102 | SAT (TO) | 5 | 1800.14 | 1800.45 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_4.opb |
MD5SUM | 4c6ab7a9b1b11dc4bf8c6231156cc585 |
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 | 40.2319 |
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 | 41 |
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) | 3070 |
Sum of products size (including duplicates) | 6140 |
Number of different products | 3070 |
Sum of products size | 6140 |
1.24/1.17 o 7 14.84/14.78 o 6 97.02/96.94 o 5 1800.08/1800.41 s SATISFIABLE 1800.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/1800.41 v -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.08/1800.41 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1800.08/1800.41 v -x1025 x1026 -x1027 -x1028 -x1029 x1030 -x1031 x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1800.08/1800.41 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.08/1800.41 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1800.08/1800.41 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1800.08/1800.41 v -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1800.08/1800.41 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.08/1800.41 v -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.08/1800.41 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 1800.08/1800.41 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1800.08/1800.41 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.08/1800.41 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1800.08/1800.41 v x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1800.08/1800.41 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 1800.08/1800.41 v -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.08/1800.41 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1800.08/1800.41 v -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1800.08/1800.41 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.08/1800.41 v -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.08/1800.41 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1800.08/1800.41 v -x1353 -x1354 x1355 -x1356 -x1357 -x1358 x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1800.08/1800.41 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 1800.08/1800.41 v -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 1800.08/1800.41 v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 1800.08/1800.41 v -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 1800.08/1800.41 v -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 1800.08/1800.41 v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 1800.08/1800.41 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 1800.08/1800.41 v -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1800.08/1800.41 v -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 1800.08/1800.41 v -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 1800.08/1800.41 v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 1800.08/1800.41 v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 1800.08/1800.41 v -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 1800.08/1800.41 v -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 1800.08/1800.41 v -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 1800.08/1800.41 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 1800.08/1800.41 v -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1800.08/1800.41 v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 x1680 -x1681 -x1682 1800.08/1800.41 v -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 1800.08/1800.41 v -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 1800.08/1800.41 v -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 1800.08/1800.41 v -x1734 -x1735 -x1736 x1737 -x1738 -x1739 x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 1800.08/1800.41 v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 1800.08/1800.41 v x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1800.08/1800.41 v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 x1800 -x1801 -x1802 -x1803 1800.08/1800.41 v -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 1800.08/1800.41 v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.08/1800.41 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1800.08/1800.41 v -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.08/1800.41 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1800.08/1800.41 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.08/1800.41 v -x1908 -x1909 x1910 -x1911 x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1800.08/1800.41 v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 x1942 -x1943 1800.08/1800.41 v -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1800.08/1800.41 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 1800.08/1800.41 v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1800.08/1800.41 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 1800.08/1800.41 v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1800.08/1800.41 v -x2030 x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1800.08/1800.41 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1800.08/1800.41 v -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1800.08/1800.41 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 x2091 -x2092 x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 1800.08/1800.41 v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1800.08/1800.41 v -x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.08/1800.41 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 1800.08/1800.41 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 1800.08/1800.41 v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1800.08/1800.41 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1800.08/1800.41 v -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1800.08/1800.41 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 1800.08/1800.41 v x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1800.08/1800.41 v -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 1800.08/1800.41 v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 1800.08/1800.41 v x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 1800.08/1800.41 v -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 x2322 -x2323 -x2324 -x2325 1800.08/1800.41 v -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 1800.08/1800.41 v -x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 1800.08/1800.41 v -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 1800.08/1800.41 v -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 1800.08/1800.41 v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 1800.08/1800.41 v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 1800.08/1800.41 v x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 1800.08/1800.41 v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 -x2462 -x2463 1800.08/1800.41 v -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 1800.08/1800.41 v -x2481 x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 1800.08/1800.41 v -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 x2508 -x2509 x2510 -x2511 -x2512 -x2513 x2514 -x2515 -x2516 1800.08/1800.41 v -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1800.08/1800.41 v x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 1800.08/1800.41 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 1800.08/1800.41 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 1800.08/1800.41 v -x2585 -x2586 -x2587 x2588 -x2589 -x2590 x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 1800.08/1800.41 v -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 1800.08/1800.41 v -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 1800.08/1800.41 v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 x2654 1800.08/1800.41 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1800.08/1800.41 v -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1800.08/1800.41 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 1800.08/1800.41 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 1800.08/1800.41 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 1800.08/1800.41 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 1800.08/1800.41 v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 1800.08/1800.41 v -x2776 -x2777 -x2778 -x2779 x2780 -x2781 x2782 -x2783 x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 1800.08/1800.41 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 1800.08/1800.41 v -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 1800.08/1800.41 v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 1800.08/1800.41 v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 1800.08/1800.41 v -x2863 -x2864 x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 1800.08/1800.41 v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 x2895 -x2896 -x2897 1800.08/1800.41 v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 1800.08/1800.41 v -x2915 -x2916 -x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 1800.08/1800.41 v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 1800.08/1800.41 v -x2949 -x2950 x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 1800.08/1800.41 v -x2966 -x2967 -x2968 -x2969 x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 1800.08/1800.41 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 1800.08/1800.41 v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 1800.08/1800.41 v -x3017 x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 1800.08/1800.41 v -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 x3047 x3048 x3049 -x3050 -x3051 -x3052 1800.08/1800.41 v -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 1800.08/1800.41 v -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 1800.08/1800.41 v -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 1800.08/1800.41 v -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 1800.08/1800.41 v -x3121 -x3122 x3123 x3124 -x3125 -x3126 x3127 -x3128 -x3129 x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 1800.08/1800.41 v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 1800.08/1800.41 v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
OK 5
Linearizing /tmp/evaluation/453622-1178144393/instance-453622-1178144393.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-453622-1178144393 -o ROOT/results/node2/solver-453622-1178144393 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453622-1178144393/instance-453622-1178144393.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: 1.01 0.98 0.97 2/77 4008 /proc/meminfo: memFree=1466672/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=0 CPUtime=0 /proc/4008/stat : 4008 (runsolver) R 4006 4008 3031 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 290477115 0 0 18446744073709551615 0 0 0 18446744073709551615 206381313319 0 0 4096 24578 0 0 0 17 1 0 0 /proc/4008/statm: 0 0 0 0 0 0 0 [startup+0.0672339 s] /proc/loadavg: 1.01 0.98 0.97 2/77 4008 /proc/meminfo: memFree=1466672/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1787440 CPUtime=0.05 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 3353 0 1 0 4 1 0 0 18 0 9 0 290477115 1830338560 2876 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 446860 2877 1127 9 0 441830 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1787440 [startup+0.102777 s] /proc/loadavg: 1.01 0.98 0.97 2/77 4008 /proc/meminfo: memFree=1466672/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790300 CPUtime=0.1 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 4347 0 1 0 8 2 0 0 18 0 9 0 290477115 1833267200 3787 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447575 3788 1715 9 0 442167 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1790300 [startup+0.301801 s] /proc/loadavg: 1.01 0.98 0.97 2/77 4008 /proc/meminfo: memFree=1466672/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=0.35 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 7314 0 1 0 31 4 0 0 18 0 9 0 290477115 1833295872 6728 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 6730 1847 9 0 442167 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1790328 [startup+0.701837 s] /proc/loadavg: 1.01 0.98 0.97 2/77 4008 /proc/meminfo: memFree=1466672/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=0.82 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13239 0 2 0 75 7 0 0 18 0 9 0 290477115 1833295872 12637 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 12637 1871 9 0 442167 0 Current children cumulated CPU time (s) 0.82 Current children cumulated vsize (KiB) 1790328 [startup+1.50192 s] /proc/loadavg: 1.01 0.98 0.97 3/86 4017 /proc/meminfo: memFree=1422824/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=1.64 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13277 0 2 0 157 7 0 0 18 0 9 0 290477115 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 12674 1871 9 0 442167 0 [pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1.47 /proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12157 0 2 0 141 6 0 0 25 0 9 0 290477117 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126797686 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 290477118 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.16 /proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 399 0 0 0 16 0 0 0 15 0 9 0 290477120 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 1790328 [startup+3.10209 s] /proc/loadavg: 1.01 0.98 0.97 2/86 4017 /proc/meminfo: memFree=1422568/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=3.24 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13277 0 2 0 317 7 0 0 18 0 9 0 290477115 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 12674 1871 9 0 442167 0 [pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=3.07 /proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12157 0 2 0 301 6 0 0 25 0 9 0 290477117 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126775455 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.16 /proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 399 0 0 0 16 0 0 0 15 0 9 0 290477120 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.24 Current children cumulated vsize (KiB) 1790328 [startup+6.30142 s] /proc/loadavg: 1.01 0.98 0.97 2/86 4017 /proc/meminfo: memFree=1422376/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=6.44 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13282 0 2 0 637 7 0 0 18 0 9 0 290477115 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 12676 1872 9 0 442167 0 [pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=6.27 /proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12159 0 2 0 621 6 0 0 25 0 9 0 290477117 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126095811 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.16 /proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 401 0 0 0 16 0 0 0 16 0 9 0 290477120 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.44 Current children cumulated vsize (KiB) 1790328 [startup+12.7021 s] /proc/loadavg: 1.01 0.98 0.97 2/86 4017 /proc/meminfo: memFree=1422184/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=12.84 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13283 0 2 0 1277 7 0 0 18 0 9 0 290477115 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 12676 1872 9 0 442167 0 [pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=12.66 /proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12160 0 2 0 1260 6 0 0 25 0 9 0 290477117 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126797680 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.16 /proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 401 0 0 0 16 0 0 0 16 0 9 0 290477120 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.84 Current children cumulated vsize (KiB) 1790328 [startup+25.5014 s] /proc/loadavg: 1.01 0.98 0.97 2/86 4017 /proc/meminfo: memFree=1422120/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=25.65 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13287 0 2 0 2558 7 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 12680 1873 9 0 442167 0 [pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=25.46 /proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12160 0 2 0 2540 6 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126775255 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17 /proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4017/stat : 4017 (java) R 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.65 Current children cumulated vsize (KiB) 1790328 [startup+51.1011 s] /proc/loadavg: 1.07 1.00 0.98 2/86 4017 /proc/meminfo: memFree=1422184/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=51.23 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13287 0 2 0 5116 7 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 12680 1873 9 0 442167 0 [pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=51.05 /proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12160 0 2 0 5099 6 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126797683 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17 /proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0 ################ # More data... # ################ /proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17 /proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4017/stat : 4017 (java) R 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 1790328 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 4019 /proc/meminfo: memFree=1421992/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=1542.04 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13288 0 2 0 154194 10 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 12680 1873 9 0 442167 0 [pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1541.85 /proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12161 0 2 0 154176 9 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126775258 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17 /proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 1790328 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 4019 /proc/meminfo: memFree=1421992/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=1602.03 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13288 0 2 0 160192 11 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 12680 1873 9 0 442167 0 [pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1601.85 /proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12161 0 2 0 160175 10 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126849906 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17 /proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 1790328 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 4019 /proc/meminfo: memFree=1421992/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=1662.01 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13288 0 2 0 166190 11 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 12680 1873 9 0 442167 0 [pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1661.83 /proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12161 0 2 0 166173 10 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126793866 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17 /proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 1790328 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 4019 /proc/meminfo: memFree=1421992/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=1722 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13288 0 2 0 172189 11 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 12680 1873 9 0 442167 0 [pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1721.81 /proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12161 0 2 0 172171 10 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126797680 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17 /proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 1790328 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 4019 /proc/meminfo: memFree=1421928/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=1781.98 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13288 0 2 0 178187 11 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 12680 1873 9 0 442167 0 [pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1781.8 /proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12161 0 2 0 178170 10 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126839685 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17 /proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 1790328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.00 1.00 2/86 4019 /proc/meminfo: memFree=1421928/2055920 swapFree=4148856/4192956 [pid=4008] ppid=4006 vsize=1790328 CPUtime=1800.08 /proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13288 0 2 0 179997 11 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4008/statm: 447582 12680 1873 9 0 442167 0 [pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1799.9 /proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12161 0 2 0 179980 10 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126839694 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17 /proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0 /proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.08 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 Child status: 143 Real time (s): 1800.45 CPU time (s): 1800.14 CPU user time (s): 1800.01 CPU system time (s): 0.124981 CPU usage (%): 99.9824 Max. virtual memory (cumulated for all children) (KiB): 1790328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.124981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13320 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= 36694 involuntary context switches= 8217 runsolver used 1.63175 second user time and 4.93125 second system time The end
Begin job on node2 on Wed May 2 22:19:53 UTC 2007 IDJOB= 453622 IDBENCH= 48143 IDSOLVER= 155 FILE ID= node2/453622-1178144393 PBS_JOBID= 4751056 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_4.opb COMMAND LINE= java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453622-1178144393/instance-453622-1178144393.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-453622-1178144393 -o ROOT/results/node2/conversion-453622-1178144393 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453622-1178144393/instance-453622-1178144393.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-453622-1178144393 -o ROOT/results/node2/solver-453622-1178144393 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453622-1178144393/instance-453622-1178144393.opb META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5 MD5SUM BENCH= 4c6ab7a9b1b11dc4bf8c6231156cc585 RANDOM SEED= 599200055 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1467016 kB Buffers: 211876 kB Cached: 230856 kB SwapCached: 12392 kB Active: 180492 kB Inactive: 288724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1467016 kB SwapTotal: 4192956 kB SwapFree: 4148856 kB Dirty: 2300 kB Writeback: 0 kB Mapped: 32784 kB Slab: 105112 kB Committed_AS: 11447760 kB PageTables: 1872 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 node2 on Wed May 2 22:49:56 UTC 2007