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