Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
absconPseudo 102 | SAT (TO) | 52 | 1800.1 | 1800.67 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb |
MD5SUM | 8e58fdc516472c37b974ebbf77c2a4fa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 52 |
Best CPU time to get the best result obtained on this benchmark | 7.08492 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 52 |
Optimality of the best value was proved | YES |
Number of variables | 2091 |
Total number of constraints | 7288 |
Number of constraints which are clauses | 7288 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 124 |
Number of terms in the objective function | 486 |
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 | 486 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 486 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.83/0.77 o 53 314.14/314.13 o 52 1800.03/1800.61 s SATISFIABLE 1800.03/1800.61 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 -x30 -x31 -x32 x33 1800.03/1800.61 v x34 x35 x36 x37 x38 x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 1800.03/1800.61 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 1800.03/1800.61 v -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 1800.03/1800.61 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 1800.03/1800.61 v x131 x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 1800.03/1800.61 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 1800.03/1800.61 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 1800.03/1800.61 v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1800.03/1800.61 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 1800.03/1800.61 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 1800.03/1800.61 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.03/1800.61 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1800.03/1800.61 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1800.03/1800.61 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 x341 1800.03/1800.61 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 x360 x361 -x362 1800.03/1800.61 v -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1800.03/1800.61 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 1800.03/1800.61 v -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 1800.03/1800.61 v -x426 -x427 -x428 x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1800.03/1800.61 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.03/1800.61 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.03/1800.61 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 1800.03/1800.61 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.03/1800.61 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 x546 x547 x548 -x549 -x550 -x551 1800.03/1800.61 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1800.03/1800.61 v -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1800.03/1800.61 v -x594 -x595 x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1800.03/1800.61 v -x615 -x616 -x617 -x618 -x619 x620 x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 1800.03/1800.61 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.03/1800.61 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1800.03/1800.61 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 1800.03/1800.61 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1800.03/1800.61 v -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1800.03/1800.61 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1800.03/1800.61 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1800.03/1800.61 v -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1800.03/1800.61 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1800.03/1800.61 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1800.03/1800.61 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1800.03/1800.61 v -x867 -x868 x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 1800.03/1800.61 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1800.03/1800.61 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 -x929 1800.03/1800.61 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1800.03/1800.61 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1800.03/1800.61 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.03/1800.61 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1800.03/1800.61 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.03/1800.61 v -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1800.03/1800.61 v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1800.03/1800.61 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.03/1800.61 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.03/1800.61 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1800.03/1800.61 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1800.03/1800.61 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.03/1800.61 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.03/1800.61 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.03/1800.61 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.03/1800.61 v x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.03/1800.61 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1800.03/1800.61 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1800.03/1800.61 v -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.03/1800.61 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1800.03/1800.61 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1800.03/1800.61 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1800.03/1800.61 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1800.03/1800.61 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 1800.03/1800.61 v -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 1800.03/1800.61 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 1800.03/1800.61 v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1800.03/1800.61 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1800.03/1800.61 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 1800.03/1800.61 v -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 1800.03/1800.61 v -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 1800.03/1800.61 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1800.03/1800.61 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 1800.03/1800.61 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1800.03/1800.61 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 1800.03/1800.61 v -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 1800.03/1800.61 v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 1800.03/1800.61 v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 1800.03/1800.61 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 1800.03/1800.61 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 1800.03/1800.61 v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1800.03/1800.61 v x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 1800.03/1800.61 v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.03/1800.61 v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 1800.03/1800.61 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 1800.03/1800.61 v x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.03/1800.61 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 1800.03/1800.61 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 1800.03/1800.61 v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 1800.03/1800.61 v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1800.03/1800.61 v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 1800.03/1800.61 v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 1800.03/1800.61 v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 1800.03/1800.61 v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 1800.03/1800.61 v -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 1800.03/1800.61 v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 1800.03/1800.61 v -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 1800.03/1800.61 v -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 1800.03/1800.61 v -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 1800.03/1800.61 v -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 1800.03/1800.61 v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 1800.03/1800.61 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1800.03/1800.61 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 1800.03/1800.61 v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1800.03/1800.61 v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1800.03/1800.61 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 1800.03/1800.61 v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 1800.03/1800.61 v -x2086 -x2087 -x2088 -x2089 -x2090 -x2091
OK 52
/tmp/evaluation/373232-1177174295/instance-373232-1177174295.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-373232-1177174295 -o ROOT/results/node38/solver-373232-1177174295 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/373232-1177174295/instance-373232-1177174295.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.98 0.97 0.99 2/77 16030 /proc/meminfo: memFree=1783256/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=18568 CPUtime=0 /proc/16030/stat : 16030 (runsolver) R 16028 16030 14742 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 149596216 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 266890439975 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/16030/statm: 4642 292 257 24 0 2626 0 [startup+0.0338529 s] /proc/loadavg: 0.98 0.97 0.99 2/77 16030 /proc/meminfo: memFree=1783256/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1784380 CPUtime=0.01 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 2275 0 1 0 0 1 0 0 18 0 3 0 149596216 1827205120 1955 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 446095 1955 662 9 0 441097 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1784380 [startup+0.10287 s] /proc/loadavg: 0.98 0.97 0.99 2/77 16030 /proc/meminfo: memFree=1783256/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790300 CPUtime=0.09 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 4340 0 1 0 7 2 0 0 18 0 9 0 149596216 1833267200 3779 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447575 3779 1712 9 0 442167 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1790300 [startup+0.302915 s] /proc/loadavg: 0.98 0.97 0.99 2/77 16030 /proc/meminfo: memFree=1783256/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=0.35 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 7363 0 1 0 31 4 0 0 18 0 9 0 149596216 1833295872 6776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 6776 1847 9 0 442167 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1790328 [startup+0.701983 s] /proc/loadavg: 0.98 0.97 0.99 2/77 16030 /proc/meminfo: memFree=1783256/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=0.83 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 12781 0 2 0 76 7 0 0 18 0 9 0 149596216 1833295872 12178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 12178 1871 9 0 442167 0 Current children cumulated CPU time (s) 0.83 Current children cumulated vsize (KiB) 1790328 [startup+1.50113 s] /proc/loadavg: 0.98 0.97 0.99 2/86 16039 /proc/meminfo: memFree=1741520/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=1.64 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 12815 0 2 0 157 7 0 0 18 0 9 0 149596216 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 12211 1871 9 0 442167 0 [pid=16030/tid=16032] ppid=16028 vsize=1790328 CPUtime=1.47 /proc/16030/task/16032/stat : 16032 (java) R 16028 16030 14742 0 -1 64 11691 0 1 0 141 6 0 0 20 0 9 0 149596218 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126798067 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16033] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16033/stat : 16033 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 149596219 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16034] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16034/stat : 16034 (java) S 16028 16030 14742 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 149596219 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16035] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16035/stat : 16035 (java) S 16028 16030 14742 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 149596219 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16036] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16036/stat : 16036 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 149596221 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16037] ppid=16028 vsize=1790328 CPUtime=0.17 /proc/16030/task/16037/stat : 16037 (java) S 16028 16030 14742 0 -1 64 401 0 1 0 16 1 0 0 16 0 9 0 149596221 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16038] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16038/stat : 16038 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 149596221 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16039] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16039/stat : 16039 (java) S 16028 16030 14742 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 149596221 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 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.10144 s] /proc/loadavg: 0.98 0.97 0.99 2/86 16039 /proc/meminfo: memFree=1741328/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=3.24 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 12816 0 2 0 317 7 0 0 18 0 9 0 149596216 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 12211 1871 9 0 442167 0 [pid=16030/tid=16032] ppid=16028 vsize=1790328 CPUtime=3.07 /proc/16030/task/16032/stat : 16032 (java) R 16028 16030 14742 0 -1 64 11692 0 1 0 301 6 0 0 17 0 9 0 149596218 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126592855 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16033] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16033/stat : 16033 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 149596219 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16034] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16034/stat : 16034 (java) S 16028 16030 14742 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 149596219 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16035] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16035/stat : 16035 (java) S 16028 16030 14742 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 149596219 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16036] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16036/stat : 16036 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 149596221 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16037] ppid=16028 vsize=1790328 CPUtime=0.17 /proc/16030/task/16037/stat : 16037 (java) S 16028 16030 14742 0 -1 64 401 0 1 0 16 1 0 0 16 0 9 0 149596221 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16038] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16038/stat : 16038 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 149596221 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16039] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16039/stat : 16039 (java) S 16028 16030 14742 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 149596221 1833295872 12211 18446744073709551615 134512640 134550740 4294956416 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.30105 s] /proc/loadavg: 0.98 0.97 0.99 2/86 16039 /proc/meminfo: memFree=1741072/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=6.45 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 12821 0 2 0 637 8 0 0 18 0 9 0 149596216 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 12213 1872 9 0 442167 0 [pid=16030/tid=16032] ppid=16028 vsize=1790328 CPUtime=6.26 /proc/16030/task/16032/stat : 16032 (java) R 16028 16030 14742 0 -1 64 11694 0 1 0 620 6 0 0 17 0 9 0 149596218 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126798067 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16033] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16033/stat : 16033 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 149596219 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16034] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16034/stat : 16034 (java) S 16028 16030 14742 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 149596219 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16035] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16035/stat : 16035 (java) S 16028 16030 14742 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 149596219 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16036] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16036/stat : 16036 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 149596221 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16037] ppid=16028 vsize=1790328 CPUtime=0.17 /proc/16030/task/16037/stat : 16037 (java) S 16028 16030 14742 0 -1 64 403 0 1 0 16 1 0 0 16 0 9 0 149596221 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16038] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16038/stat : 16038 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 149596221 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16039] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16039/stat : 16039 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 149596221 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.45 Current children cumulated vsize (KiB) 1790328 [startup+12.7013 s] /proc/loadavg: 0.98 0.97 0.99 2/86 16039 /proc/meminfo: memFree=1740952/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=12.85 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 12821 0 2 0 1277 8 0 0 18 0 9 0 149596216 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 12213 1872 9 0 442167 0 [pid=16030/tid=16032] ppid=16028 vsize=1790328 CPUtime=12.66 /proc/16030/task/16032/stat : 16032 (java) R 16028 16030 14742 0 -1 64 11694 0 1 0 1260 6 0 0 25 0 9 0 149596218 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126798067 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16033] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16033/stat : 16033 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 149596219 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16034] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16034/stat : 16034 (java) S 16028 16030 14742 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 149596219 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16035] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16035/stat : 16035 (java) S 16028 16030 14742 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 149596219 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16036] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16036/stat : 16036 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 149596221 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16037] ppid=16028 vsize=1790328 CPUtime=0.17 /proc/16030/task/16037/stat : 16037 (java) S 16028 16030 14742 0 -1 64 403 0 1 0 16 1 0 0 16 0 9 0 149596221 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16038] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16038/stat : 16038 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 149596221 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16039] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16039/stat : 16039 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 149596221 1833295872 12213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.85 Current children cumulated vsize (KiB) 1790328 [startup+25.5027 s] /proc/loadavg: 0.99 0.97 0.99 2/86 16039 /proc/meminfo: memFree=1740952/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=25.64 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 12823 0 2 0 2556 8 0 0 18 0 9 0 149596216 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 12215 1873 9 0 442167 0 [pid=16030/tid=16032] ppid=16028 vsize=1790328 CPUtime=25.45 /proc/16030/task/16032/stat : 16032 (java) R 16028 16030 14742 0 -1 64 11694 0 1 0 2539 6 0 0 25 0 9 0 149596218 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126775100 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16033] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16033/stat : 16033 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 149596219 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16034] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16034/stat : 16034 (java) S 16028 16030 14742 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 149596219 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16035] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16035/stat : 16035 (java) S 16028 16030 14742 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 149596219 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16036] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16036/stat : 16036 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 149596221 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16037] ppid=16028 vsize=1790328 CPUtime=0.18 /proc/16030/task/16037/stat : 16037 (java) S 16028 16030 14742 0 -1 64 405 0 1 0 17 1 0 0 16 0 9 0 149596221 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16038] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16038/stat : 16038 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 149596221 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16039] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16039/stat : 16039 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 149596221 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.64 Current children cumulated vsize (KiB) 1790328 [startup+51.1017 s] /proc/loadavg: 1.05 0.99 0.99 2/86 16039 /proc/meminfo: memFree=1740952/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=51.23 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 12823 0 2 0 5115 8 0 0 18 0 9 0 149596216 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 12215 1873 9 0 442167 0 [pid=16030/tid=16032] ppid=16028 vsize=1790328 CPUtime=51.04 /proc/16030/task/16032/stat : 16032 (java) R 16028 16030 14742 0 -1 64 11694 0 1 0 5098 6 0 0 25 0 9 0 149596218 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126803740 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16033] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16033/stat : 16033 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 149596219 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16034] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16034/stat : 16034 (java) S 16028 16030 14742 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 149596219 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16035] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16035/stat : 16035 (java) S 16028 16030 14742 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 149596219 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16036] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16036/stat : 16036 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 149596221 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16037] ppid=16028 vsize=1790328 CPUtime=0.18 /proc/16030/task/16037/stat : 16037 (java) S 16028 16030 14742 0 -1 64 405 0 1 0 17 1 0 0 16 0 9 0 149596221 1833295872 12215 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16038] ppid=16028 vsize=1790328 CPUtime=0 ################ # More data... # ################ /proc/16030/task/16035/stat : 16035 (java) S 16028 16030 14742 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16036] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16036/stat : 16036 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16037] ppid=16028 vsize=1790328 CPUtime=0.18 /proc/16030/task/16037/stat : 16037 (java) S 16028 16030 14742 0 -1 64 407 0 1 0 17 1 0 0 16 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16038] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16038/stat : 16038 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16039] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16039/stat : 16039 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1790328 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/86 16237 /proc/meminfo: memFree=1740760/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=1541.81 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 12825 0 2 0 154158 23 0 0 18 0 9 0 149596216 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 12217 1873 9 0 442167 0 [pid=16030/tid=16032] ppid=16028 vsize=1790328 CPUtime=1541.62 /proc/16030/task/16032/stat : 16032 (java) R 16028 16030 14742 0 -1 64 11694 0 1 0 154141 21 0 0 25 0 9 0 149596218 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126774596 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16033] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16033/stat : 16033 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16034] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16034/stat : 16034 (java) S 16028 16030 14742 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16035] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16035/stat : 16035 (java) S 16028 16030 14742 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16036] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16036/stat : 16036 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16037] ppid=16028 vsize=1790328 CPUtime=0.18 /proc/16030/task/16037/stat : 16037 (java) S 16028 16030 14742 0 -1 64 407 0 1 0 17 1 0 0 16 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16038] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16038/stat : 16038 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16039] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16039/stat : 16039 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1790328 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/86 16237 /proc/meminfo: memFree=1740760/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=1601.79 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 12825 0 2 0 160156 23 0 0 18 0 9 0 149596216 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 12217 1873 9 0 442167 0 [pid=16030/tid=16032] ppid=16028 vsize=1790328 CPUtime=1601.59 /proc/16030/task/16032/stat : 16032 (java) R 16028 16030 14742 0 -1 64 11694 0 1 0 160138 21 0 0 25 0 9 0 149596218 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126774751 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16033] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16033/stat : 16033 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16034] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16034/stat : 16034 (java) S 16028 16030 14742 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16035] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16035/stat : 16035 (java) S 16028 16030 14742 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16036] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16036/stat : 16036 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16037] ppid=16028 vsize=1790328 CPUtime=0.18 /proc/16030/task/16037/stat : 16037 (java) S 16028 16030 14742 0 -1 64 407 0 1 0 17 1 0 0 16 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16038] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16038/stat : 16038 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16039] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16039/stat : 16039 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1790328 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/86 16237 /proc/meminfo: memFree=1740760/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=1661.77 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 12825 0 2 0 166153 24 0 0 18 0 9 0 149596216 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 12217 1873 9 0 442167 0 [pid=16030/tid=16032] ppid=16028 vsize=1790328 CPUtime=1661.58 /proc/16030/task/16032/stat : 16032 (java) R 16028 16030 14742 0 -1 64 11694 0 1 0 166136 22 0 0 25 0 9 0 149596218 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126774551 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16033] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16033/stat : 16033 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16034] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16034/stat : 16034 (java) S 16028 16030 14742 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16035] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16035/stat : 16035 (java) S 16028 16030 14742 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16036] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16036/stat : 16036 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16037] ppid=16028 vsize=1790328 CPUtime=0.18 /proc/16030/task/16037/stat : 16037 (java) S 16028 16030 14742 0 -1 64 407 0 1 0 17 1 0 0 16 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16038] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16038/stat : 16038 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16039] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16039/stat : 16039 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1790328 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/86 16237 /proc/meminfo: memFree=1740760/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=1721.75 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 12825 0 2 0 172151 24 0 0 18 0 9 0 149596216 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 12217 1873 9 0 442167 0 [pid=16030/tid=16032] ppid=16028 vsize=1790328 CPUtime=1721.55 /proc/16030/task/16032/stat : 16032 (java) R 16028 16030 14742 0 -1 64 11694 0 1 0 172133 22 0 0 25 0 9 0 149596218 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126798070 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16033] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16033/stat : 16033 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16034] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16034/stat : 16034 (java) S 16028 16030 14742 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16035] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16035/stat : 16035 (java) S 16028 16030 14742 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16036] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16036/stat : 16036 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16037] ppid=16028 vsize=1790328 CPUtime=0.18 /proc/16030/task/16037/stat : 16037 (java) S 16028 16030 14742 0 -1 64 407 0 1 0 17 1 0 0 16 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16038] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16038/stat : 16038 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16039] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16039/stat : 16039 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1790328 [startup+1782.3 s] /proc/loadavg: 1.15 1.02 1.00 2/86 16237 /proc/meminfo: memFree=1740760/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=1781.73 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 12825 0 2 0 178148 25 0 0 18 0 9 0 149596216 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 12217 1873 9 0 442167 0 [pid=16030/tid=16032] ppid=16028 vsize=1790328 CPUtime=1781.54 /proc/16030/task/16032/stat : 16032 (java) R 16028 16030 14742 0 -1 64 11694 0 1 0 178131 23 0 0 25 0 9 0 149596218 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126798067 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16033] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16033/stat : 16033 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16034] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16034/stat : 16034 (java) S 16028 16030 14742 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16035] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16035/stat : 16035 (java) S 16028 16030 14742 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16036] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16036/stat : 16036 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16037] ppid=16028 vsize=1790328 CPUtime=0.18 /proc/16030/task/16037/stat : 16037 (java) S 16028 16030 14742 0 -1 64 407 0 1 0 17 1 0 0 16 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16038] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16038/stat : 16038 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16039] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16039/stat : 16039 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1790328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.12 1.02 1.00 2/86 16237 /proc/meminfo: memFree=1740760/2055920 swapFree=4159744/4192956 [pid=16030] ppid=16028 vsize=1790328 CPUtime=1800.03 /proc/16030/stat : 16030 (java) S 16028 16030 14742 0 -1 0 12825 0 2 0 179978 25 0 0 18 0 9 0 149596216 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16030/statm: 447582 12217 1873 9 0 442167 0 [pid=16030/tid=16032] ppid=16028 vsize=1790328 CPUtime=1799.84 /proc/16030/task/16032/stat : 16032 (java) R 16028 16030 14742 0 -1 64 11694 0 1 0 179961 23 0 0 25 0 9 0 149596218 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126592839 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16033] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16033/stat : 16033 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16034] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16034/stat : 16034 (java) S 16028 16030 14742 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16035] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16035/stat : 16035 (java) S 16028 16030 14742 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 149596219 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16036] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16036/stat : 16036 (java) S 16028 16030 14742 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16037] ppid=16028 vsize=1790328 CPUtime=0.18 /proc/16030/task/16037/stat : 16037 (java) S 16028 16030 14742 0 -1 64 407 0 1 0 17 1 0 0 16 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16030/tid=16038] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16038/stat : 16038 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16030/tid=16039] ppid=16028 vsize=1790328 CPUtime=0 /proc/16030/task/16039/stat : 16039 (java) S 16028 16030 14742 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 149596221 1833295872 12217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.03 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.67 CPU time (s): 1800.1 CPU user time (s): 1799.84 CPU system time (s): 0.25996 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 1790328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.25996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12852 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= 36707 involuntary context switches= 28754 runsolver used 1.65375 second user time and 4.94725 second system time The end
Begin job on node38 on Sat Apr 21 16:51:36 UTC 2007 IDJOB= 373232 IDBENCH= 25029 IDSOLVER= 155 FILE ID= node38/373232-1177174295 PBS_JOBID= 4648961 Free space on /tmp= 66241 MiB SOLVER NAME= absconPseudo 102 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb COMMAND LINE= java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/373232-1177174295/instance-373232-1177174295.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node38/convwatcher-373232-1177174295 -o ROOT/results/node38/conversion-373232-1177174295 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373232-1177174295/instance-373232-1177174295.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-373232-1177174295 -o ROOT/results/node38/solver-373232-1177174295 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/373232-1177174295/instance-373232-1177174295.opb META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5 MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa RANDOM SEED= 891761497 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1783600 kB Buffers: 38032 kB Cached: 153632 kB SwapCached: 3088 kB Active: 114308 kB Inactive: 102456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1783600 kB SwapTotal: 4192956 kB SwapFree: 4159744 kB Dirty: 2096 kB Writeback: 0 kB Mapped: 33368 kB Slab: 40768 kB Committed_AS: 1628716 kB PageTables: 2064 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= 66241 MiB End job on node38 on Sat Apr 21 17:21:38 UTC 2007