Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
absconPseudo 102 | SAT (TO) | -2889 | 1800.1 | 1800.98 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb |
MD5SUM | 7ddc5796bc843f2bf9bc94a0b22fd8e4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -4362 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -4362 |
Optimality of the best value was proved | NO |
Number of variables | 5383 |
Total number of constraints | 3279 |
Number of constraints which are clauses | 2977 |
Number of constraints which are cardinality constraints (but not clauses) | 276 |
Number of constraints which are nor clauses,nor cardinality constraints | 26 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2952 |
Number of terms in the objective function | 2946 |
Biggest coefficient in the objective function | 334 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 526119 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 254588 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 526119 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1.13/1.08 o -2889 1800.01/1800.91 s SATISFIABLE 1800.01/1800.91 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 1800.01/1800.91 v -x29 -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 1800.01/1800.91 v -x55 -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 1800.01/1800.91 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.01/1800.91 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.01/1800.91 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.01/1800.91 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.01/1800.91 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.01/1800.91 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.01/1800.91 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.01/1800.91 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.01/1800.91 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.01/1800.91 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.01/1800.91 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.01/1800.91 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.01/1800.91 v -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.01/1800.91 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.01/1800.91 v -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.01/1800.91 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.01/1800.91 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.01/1800.91 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.01/1800.91 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.01/1800.91 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.01/1800.91 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.01/1800.91 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.01/1800.91 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.01/1800.91 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.01/1800.91 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.01/1800.91 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.01/1800.91 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.01/1800.91 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.01/1800.91 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.01/1800.91 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.01/1800.91 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.01/1800.91 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.01/1800.91 v -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.01/1800.91 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.01/1800.91 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.01/1800.91 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.01/1800.91 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.01/1800.91 v -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.01/1800.91 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.01/1800.91 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.01/1800.91 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.01/1800.91 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.01/1800.91 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.01/1800.91 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.01/1800.91 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.01/1800.91 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.01/1800.91 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.01/1800.91 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.01/1800.91 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.01/1800.91 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.01/1800.91 v -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.01/1800.91 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.01/1800.91 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.01/1800.91 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.01/1800.91 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.01/1800.91 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.01/1800.91 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 1800.01/1800.91 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.01/1800.91 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.01/1800.91 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.01/1800.91 v -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.01/1800.91 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1800.01/1800.91 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1800.01/1800.91 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.01/1800.91 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1800.01/1800.91 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.01/1800.91 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.01/1800.91 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1800.01/1800.91 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.01/1800.91 v -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.01/1800.91 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1800.01/1800.91 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1800.01/1800.91 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1800.01/1800.91 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1800.01/1800.91 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.01/1800.91 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.01/1800.91 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.01/1800.91 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1800.01/1800.91 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1800.01/1800.91 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.01/1800.91 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 1800.01/1800.91 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1800.01/1800.91 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1800.01/1800.91 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1800.01/1800.91 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1800.01/1800.91 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1800.01/1800.91 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1800.01/1800.91 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1800.01/1800.91 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1800.01/1800.91 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1800.01/1800.91 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1800.01/1800.91 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1800.01/1800.91 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.01/1800.91 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1800.01/1800.91 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.01/1800.91 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.01/1800.91 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.01/1800.91 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1800.01/1800.91 v -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1800.01/1800.91 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1800.01/1800.91 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1800.01/1800.91 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1800.01/1800.91 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1800.01/1800.91 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1800.01/1800.91 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1800.01/1800.91 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1800.01/1800.91 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1800.01/1800.91 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1800.01/1800.91 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 x2109 -x2110 -x2111 1800.01/1800.91 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1800.01/1800.91 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 x2140 x2141 x2142 x2143 x2144 x2145 -x2146 1800.01/1800.91 v x2147 x2148 x2149 x2150 x2151 x2152 x2153 x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162 -x2163 -x2164 -x2165 1800.01/1800.91 v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 x2183 1800.01/1800.91 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 1800.01/1800.91 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1800.01/1800.91 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1800.01/1800.91 v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 1800.01/1800.91 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1800.01/1800.91 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1800.01/1800.91 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1800.01/1800.91 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1800.01/1800.91 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1800.01/1800.91 v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1800.01/1800.91 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 1800.01/1800.91 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1800.01/1800.91 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 1800.01/1800.91 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 1800.01/1800.91 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1800.01/1800.91 v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 1800.01/1800.91 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1800.01/1800.91 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1800.01/1800.91 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1800.01/1800.91 v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 1800.01/1800.91 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540 1800.01/1800.91 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 1800.01/1800.91 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1800.01/1800.91 v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 1800.01/1800.91 v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1800.01/1800.91 v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 1800.01/1800.91 v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 1800.01/1800.91 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 1800.01/1800.91 v -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 1800.01/1800.91 v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 1800.01/1800.91 v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1800.01/1800.91 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 1800.01/1800.91 v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 1800.01/1800.91 v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 1800.01/1800.91 v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1800.01/1800.91 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 1800.01/1800.91 v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 1800.01/1800.91 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 1800.01/1800.91 v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 1800.01/1800.91 v -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 1800.01/1800.91 v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 1800.01/1800.91 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 1800.01/1800.91 v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 1800.01/1800.91 v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 1800.01/1800.91 v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 1800.01/1800.91 v -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 1800.01/1800.91 v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 1800.01/1800.91 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 -x2999 1800.01/1800.91 v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 1800.01/1800.91 v -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 1800.01/1800.91 v -x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 1800.01/1800.91 v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 1800.01/1800.91 v -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 1800.01/1800.91 v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 1800.01/1800.91 v -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 1800.01/1800.91 v -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 1800.01/1800.91 v -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 1800.01/1800.91 v -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 1800.01/1800.91 v -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 1800.01/1800.91 v -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 1800.01/1800.91 v -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 1800.01/1800.91 v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 1800.01/1800.91 v -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 1800.01/1800.91 v -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 1800.01/1800.91 v -x3272 -x3273 -x3274 -x3275 x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 1800.01/1800.91 v -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 1800.01/1800.91 v -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 1800.01/1800.91 v -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 1800.01/1800.91 v -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 1800.01/1800.91 v -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 1800.01/1800.91 v -x3374 -x3375 x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1800.01/1800.91 v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 1800.01/1800.91 v -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 1800.01/1800.91 v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 1800.01/1800.91 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 1800.01/1800.91 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 1800.01/1800.91 v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 1800.01/1800.91 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 1800.01/1800.91 v -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 1800.01/1800.91 v -x3527 x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 1800.01/1800.91 v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 1800.01/1800.91 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 1800.01/1800.91 v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 1800.01/1800.91 v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 1800.01/1800.91 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 1800.01/1800.91 v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 1800.01/1800.91 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 1800.01/1800.91 v -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 1800.01/1800.91 v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 x3692 -x3693 -x3694 -x3695 -x3696 1800.01/1800.91 v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 1800.01/1800.91 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 1800.01/1800.91 v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 1800.01/1800.91 v -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 1800.01/1800.91 v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 1800.01/1800.91 v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 1800.01/1800.91 v -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 1800.01/1800.91 v -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 1800.01/1800.91 v -x3833 x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 1800.01/1800.91 v -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 1800.01/1800.91 v -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 1800.01/1800.91 v -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 1800.01/1800.91 v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 1800.01/1800.91 v -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 1800.01/1800.91 v -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 1800.01/1800.91 v -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 1800.01/1800.91 v -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 1800.01/1800.91 v -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 1800.01/1800.91 v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 1800.01/1800.91 v -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 1800.01/1800.91 v -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 1800.01/1800.91 v -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 1800.01/1800.91 v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 1800.01/1800.91 v -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 1800.01/1800.91 v -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 1800.01/1800.91 v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 1800.01/1800.91 v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 1800.01/1800.91 v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 1800.01/1800.91 v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 1800.01/1800.91 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 1800.01/1800.91 v -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 1800.01/1800.91 v -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 1800.01/1800.91 v -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 1800.01/1800.91 v -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 1800.01/1800.91 v -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 1800.01/1800.91 v -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 1800.01/1800.91 v -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 1800.01/1800.91 v -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 1800.01/1800.91 v -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 1800.01/1800.91 v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 1800.01/1800.91 v x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 1800.01/1800.91 v -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 1800.01/1800.91 v -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 1800.01/1800.91 v -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 1800.01/1800.91 v -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 1800.01/1800.91 v -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 1800.01/1800.91 v -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 1800.01/1800.91 v -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 1800.01/1800.91 v -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 1800.01/1800.91 v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 1800.01/1800.91 v -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 1800.01/1800.91 v -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 1800.01/1800.91 v -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 1800.01/1800.91 v -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 1800.01/1800.91 v -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 -x4631 -x4632 1800.01/1800.91 v -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 1800.01/1800.91 v -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 1800.01/1800.91 v -x4667 -x4668 -x4669 x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 1800.01/1800.91 v -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 1800.01/1800.91 v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 1800.01/1800.91 v -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 1800.01/1800.91 v -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 1800.01/1800.91 v -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 1800.01/1800.91 v -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 1800.01/1800.91 v -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 1800.01/1800.91 v -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 1800.01/1800.91 v -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 1800.01/1800.91 v -x4837 -x4838 -x4839 -x4840 -x4841 x4842 -x4843 -x4844 -x4845 -x4846 -x4847 x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 1800.01/1800.91 v -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 1800.01/1800.91 v -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 1800.01/1800.91 v -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 1800.01/1800.91 v -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 1800.01/1800.91 v -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 1800.01/1800.91 v -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 1800.01/1800.91 v -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 1800.01/1800.91 v -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 x4988 -x4989 -x4990 1800.01/1800.91 v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 1800.01/1800.91 v -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 1800.01/1800.91 v -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 1800.01/1800.91 v -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 1800.01/1800.91 v -x5059 x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 1800.01/1800.91 v -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 1800.01/1800.91 v -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 1800.01/1800.91 v -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 1800.01/1800.91 v -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 1800.01/1800.91 v -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 1800.01/1800.91 v -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 1800.01/1800.91 v -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 1800.01/1800.91 v -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 1800.01/1800.91 v -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 1800.01/1800.91 v -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 1800.01/1800.91 v -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 1800.01/1800.91 v -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 1800.01/1800.91 v -x5280 -x5281 -x5282 x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 1800.01/1800.91 v -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 1800.01/1800.91 v -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 1800.01/1800.91 v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 1800.01/1800.91 v -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 1800.01/1800.91 v -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 1800.01/1800.91 v -x5382 -x5383
OK -2889
/tmp/evaluation/351777-1176613254/instance-351777-1176613254.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-351777-1176613254 -o ROOT/results/node68/solver-351777-1176613254 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/351777-1176613254/instance-351777-1176613254.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.99 0.99 2/64 10361 /proc/meminfo: memFree=1690808/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=152 CPUtime=0 /proc/10361/stat : 10361 (java) D 10359 10361 9925 0 -1 0 42 0 0 0 0 0 0 0 19 0 1 0 137314961 155648 26 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 10515236 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/10361/statm: 38 26 19 9 0 4 0 [startup+0.0510771 s] /proc/loadavg: 0.92 0.99 0.99 2/64 10361 /proc/meminfo: memFree=1690808/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1785028 CPUtime=0.03 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 2786 0 1 0 2 1 0 0 18 0 5 0 137314961 1827868672 2370 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 446257 2370 884 9 0 441259 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1785028 [startup+0.102078 s] /proc/loadavg: 0.92 0.99 0.99 2/64 10361 /proc/meminfo: memFree=1690808/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790124 CPUtime=0.1 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 4355 0 1 0 8 2 0 0 18 0 9 0 137314961 1833086976 3793 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447531 3793 1725 9 0 442123 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1790124 [startup+0.302097 s] /proc/loadavg: 0.92 0.99 0.99 2/64 10361 /proc/meminfo: memFree=1690808/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790152 CPUtime=0.35 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 6835 0 1 0 32 3 0 0 18 0 9 0 137314961 1833115648 6247 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447538 6247 1845 9 0 442123 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1790152 [startup+0.70213 s] /proc/loadavg: 0.92 0.99 0.99 2/64 10361 /proc/meminfo: memFree=1690808/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790308 CPUtime=0.83 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 14252 0 1 0 76 7 0 0 18 0 9 0 137314961 1833275392 13652 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447577 13652 1864 9 0 442162 0 Current children cumulated CPU time (s) 0.83 Current children cumulated vsize (KiB) 1790308 [startup+1.5012 s] /proc/loadavg: 0.92 0.99 0.99 2/73 10370 /proc/meminfo: memFree=1643248/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790308 CPUtime=1.64 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 14297 0 1 0 157 7 0 0 18 0 9 0 137314961 1833275392 13695 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447577 13695 1864 9 0 442162 0 [pid=10361/tid=10363] ppid=10359 vsize=1790308 CPUtime=1.47 /proc/10361/task/10363/stat : 10363 (java) R 10359 10361 9925 0 -1 64 13164 0 1 0 141 6 0 0 19 0 9 0 137314962 1833275392 13695 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126765013 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10364] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10364/stat : 10364 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 137314964 1833275392 13695 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10365] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10365/stat : 10365 (java) S 10359 10361 9925 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 137314964 1833275392 13695 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10366] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10366/stat : 10366 (java) S 10359 10361 9925 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 137314964 1833275392 13695 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10367] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10367/stat : 10367 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 137314966 1833275392 13695 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10368] ppid=10359 vsize=1790308 CPUtime=0.15 /proc/10361/task/10368/stat : 10368 (java) S 10359 10361 9925 0 -1 64 410 0 0 0 15 0 0 0 16 0 9 0 137314966 1833275392 13695 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10369] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10369/stat : 10369 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 137314966 1833275392 13695 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10370] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10370/stat : 10370 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 137314966 1833275392 13695 18446744073709551615 134512640 134550740 4294956464 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) 1790308 [startup+3.10134 s] /proc/loadavg: 0.92 0.99 0.99 2/73 10370 /proc/meminfo: memFree=1642800/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790308 CPUtime=3.24 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 14303 0 1 0 317 7 0 0 18 0 9 0 137314961 1833275392 13700 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447577 13700 1864 9 0 442162 0 [pid=10361/tid=10363] ppid=10359 vsize=1790308 CPUtime=3.07 /proc/10361/task/10363/stat : 10363 (java) R 10359 10361 9925 0 -1 64 13165 0 1 0 301 6 0 0 25 0 9 0 137314962 1833275392 13700 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126821046 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10364] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10364/stat : 10364 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 137314964 1833275392 13700 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10365] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10365/stat : 10365 (java) S 10359 10361 9925 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 137314964 1833275392 13700 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10366] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10366/stat : 10366 (java) S 10359 10361 9925 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 137314964 1833275392 13700 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10367] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10367/stat : 10367 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 137314966 1833275392 13700 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10368] ppid=10359 vsize=1790308 CPUtime=0.16 /proc/10361/task/10368/stat : 10368 (java) S 10359 10361 9925 0 -1 64 415 0 0 0 16 0 0 0 16 0 9 0 137314966 1833275392 13700 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10369] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10369/stat : 10369 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 137314966 1833275392 13700 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10370] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10370/stat : 10370 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 137314966 1833275392 13700 18446744073709551615 134512640 134550740 4294956464 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) 1790308 [startup+6.30263 s] /proc/loadavg: 0.93 0.99 0.99 2/73 10370 /proc/meminfo: memFree=1642608/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790308 CPUtime=6.45 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 14307 0 1 0 637 8 0 0 18 0 9 0 137314961 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447577 13702 1865 9 0 442162 0 [pid=10361/tid=10363] ppid=10359 vsize=1790308 CPUtime=6.27 /proc/10361/task/10363/stat : 10363 (java) R 10359 10361 9925 0 -1 64 13167 0 1 0 620 7 0 0 25 0 9 0 137314962 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126810460 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10364] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10364/stat : 10364 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10365] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10365/stat : 10365 (java) S 10359 10361 9925 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10366] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10366/stat : 10366 (java) S 10359 10361 9925 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10367] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10367/stat : 10367 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10368] ppid=10359 vsize=1790308 CPUtime=0.16 /proc/10361/task/10368/stat : 10368 (java) S 10359 10361 9925 0 -1 64 416 0 0 0 16 0 0 0 16 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10369] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10369/stat : 10369 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10370] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10370/stat : 10370 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 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) 1790308 [startup+12.7012 s] /proc/loadavg: 0.93 0.99 0.99 2/79 10436 /proc/meminfo: memFree=1641216/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790308 CPUtime=12.84 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 14307 0 1 0 1274 10 0 0 18 0 9 0 137314961 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447577 13702 1865 9 0 442162 0 [pid=10361/tid=10363] ppid=10359 vsize=1790308 CPUtime=12.67 /proc/10361/task/10363/stat : 10363 (java) R 10359 10361 9925 0 -1 64 13167 0 1 0 1258 9 0 0 25 0 9 0 137314962 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126764634 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10364] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10364/stat : 10364 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10365] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10365/stat : 10365 (java) S 10359 10361 9925 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10366] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10366/stat : 10366 (java) S 10359 10361 9925 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10367] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10367/stat : 10367 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10368] ppid=10359 vsize=1790308 CPUtime=0.16 /proc/10361/task/10368/stat : 10368 (java) S 10359 10361 9925 0 -1 64 416 0 0 0 16 0 0 0 16 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10369] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10369/stat : 10369 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10370] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10370/stat : 10370 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.84 Current children cumulated vsize (KiB) 1790308 [startup+25.5024 s] /proc/loadavg: 0.95 0.99 0.99 2/79 10478 /proc/meminfo: memFree=1641216/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790308 CPUtime=25.64 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 14307 0 1 0 2552 12 0 0 18 0 9 0 137314961 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447577 13702 1865 9 0 442162 0 [pid=10361/tid=10363] ppid=10359 vsize=1790308 CPUtime=25.46 /proc/10361/task/10363/stat : 10363 (java) R 10359 10361 9925 0 -1 64 13167 0 1 0 2535 11 0 0 25 0 9 0 137314962 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126576343 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10364] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10364/stat : 10364 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10365] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10365/stat : 10365 (java) S 10359 10361 9925 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10366] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10366/stat : 10366 (java) S 10359 10361 9925 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10367] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10367/stat : 10367 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10368] ppid=10359 vsize=1790308 CPUtime=0.16 /proc/10361/task/10368/stat : 10368 (java) S 10359 10361 9925 0 -1 64 416 0 0 0 16 0 0 0 16 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10369] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10369/stat : 10369 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10370] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10370/stat : 10370 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 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) 1790308 [startup+51.1027 s] /proc/loadavg: 0.96 0.99 0.99 2/79 10540 /proc/meminfo: memFree=1641088/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790308 CPUtime=51.22 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 14307 0 1 0 5106 16 0 0 18 0 9 0 137314961 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447577 13702 1865 9 0 442162 0 [pid=10361/tid=10363] ppid=10359 vsize=1790308 CPUtime=51.04 /proc/10361/task/10363/stat : 10363 (java) R 10359 10361 9925 0 -1 64 13167 0 1 0 5089 15 0 0 25 0 9 0 137314962 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126783464 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10364] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10364/stat : 10364 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10365] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10365/stat : 10365 (java) S 10359 10361 9925 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10366] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10366/stat : 10366 (java) S 10359 10361 9925 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10367] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10367/stat : 10367 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10368] ppid=10359 vsize=1790308 CPUtime=0.16 /proc/10361/task/10368/stat : 10368 (java) S 10359 10361 9925 0 -1 64 416 0 0 0 16 0 0 0 16 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10369] ppid=10359 vsize=1790308 CPUtime=0 ################ # More data... # ################ /proc/10361/task/10366/stat : 10366 (java) S 10359 10361 9925 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10367] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10367/stat : 10367 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10368] ppid=10359 vsize=1790308 CPUtime=0.16 /proc/10361/task/10368/stat : 10368 (java) S 10359 10361 9925 0 -1 64 416 0 0 0 16 0 0 0 16 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10369] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10369/stat : 10369 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10370] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10370/stat : 10370 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1541.56 Current children cumulated vsize (KiB) 1790308 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/73 10568 /proc/meminfo: memFree=1641984/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790308 CPUtime=1601.52 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 14307 0 1 0 160130 22 0 0 18 0 9 0 137314961 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447577 13702 1865 9 0 442162 0 [pid=10361/tid=10363] ppid=10359 vsize=1790308 CPUtime=1601.35 /proc/10361/task/10363/stat : 10363 (java) R 10359 10361 9925 0 -1 64 13167 0 1 0 160114 21 0 0 25 0 9 0 137314962 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126829664 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10364] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10364/stat : 10364 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10365] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10365/stat : 10365 (java) S 10359 10361 9925 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10366] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10366/stat : 10366 (java) S 10359 10361 9925 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10367] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10367/stat : 10367 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10368] ppid=10359 vsize=1790308 CPUtime=0.16 /proc/10361/task/10368/stat : 10368 (java) S 10359 10361 9925 0 -1 64 416 0 0 0 16 0 0 0 16 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10369] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10369/stat : 10369 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10370] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10370/stat : 10370 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1601.52 Current children cumulated vsize (KiB) 1790308 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/73 10568 /proc/meminfo: memFree=1641984/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790308 CPUtime=1661.49 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 14307 0 1 0 166127 22 0 0 18 0 9 0 137314961 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447577 13702 1865 9 0 442162 0 [pid=10361/tid=10363] ppid=10359 vsize=1790308 CPUtime=1661.31 /proc/10361/task/10363/stat : 10363 (java) R 10359 10361 9925 0 -1 64 13167 0 1 0 166110 21 0 0 25 0 9 0 137314962 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126810460 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10364] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10364/stat : 10364 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10365] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10365/stat : 10365 (java) S 10359 10361 9925 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10366] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10366/stat : 10366 (java) S 10359 10361 9925 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10367] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10367/stat : 10367 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10368] ppid=10359 vsize=1790308 CPUtime=0.16 /proc/10361/task/10368/stat : 10368 (java) S 10359 10361 9925 0 -1 64 416 0 0 0 16 0 0 0 16 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10369] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10369/stat : 10369 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10370] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10370/stat : 10370 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1661.49 Current children cumulated vsize (KiB) 1790308 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/73 10568 /proc/meminfo: memFree=1642048/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790308 CPUtime=1721.46 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 14307 0 1 0 172124 22 0 0 18 0 9 0 137314961 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447577 13702 1865 9 0 442162 0 [pid=10361/tid=10363] ppid=10359 vsize=1790308 CPUtime=1721.28 /proc/10361/task/10363/stat : 10363 (java) R 10359 10361 9925 0 -1 64 13167 0 1 0 172107 21 0 0 25 0 9 0 137314962 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126845042 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10364] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10364/stat : 10364 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10365] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10365/stat : 10365 (java) S 10359 10361 9925 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10366] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10366/stat : 10366 (java) S 10359 10361 9925 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10367] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10367/stat : 10367 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10368] ppid=10359 vsize=1790308 CPUtime=0.16 /proc/10361/task/10368/stat : 10368 (java) S 10359 10361 9925 0 -1 64 416 0 0 0 16 0 0 0 16 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10369] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10369/stat : 10369 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10370] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10370/stat : 10370 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1721.46 Current children cumulated vsize (KiB) 1790308 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/73 10568 /proc/meminfo: memFree=1641856/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790308 CPUtime=1781.43 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 14307 0 1 0 178121 22 0 0 18 0 9 0 137314961 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447577 13702 1865 9 0 442162 0 [pid=10361/tid=10363] ppid=10359 vsize=1790308 CPUtime=1781.25 /proc/10361/task/10363/stat : 10363 (java) R 10359 10361 9925 0 -1 64 13167 0 1 0 178104 21 0 0 25 0 9 0 137314962 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126764634 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10364] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10364/stat : 10364 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10365] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10365/stat : 10365 (java) S 10359 10361 9925 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10366] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10366/stat : 10366 (java) S 10359 10361 9925 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10367] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10367/stat : 10367 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10368] ppid=10359 vsize=1790308 CPUtime=0.16 /proc/10361/task/10368/stat : 10368 (java) S 10359 10361 9925 0 -1 64 416 0 0 0 16 0 0 0 16 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10369] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10369/stat : 10369 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10370] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10370/stat : 10370 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (KiB) 1790308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/73 10568 /proc/meminfo: memFree=1641856/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790308 CPUtime=1800.01 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 14307 0 1 0 179979 22 0 0 18 0 9 0 137314961 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447577 13702 1865 9 0 442162 0 [pid=10361/tid=10363] ppid=10359 vsize=1790308 CPUtime=1799.83 /proc/10361/task/10363/stat : 10363 (java) R 10359 10361 9925 0 -1 64 13167 0 1 0 179962 21 0 0 25 0 9 0 137314962 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126576330 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10364] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10364/stat : 10364 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10365] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10365/stat : 10365 (java) S 10359 10361 9925 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10366] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10366/stat : 10366 (java) S 10359 10361 9925 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10367] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10367/stat : 10367 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10368] ppid=10359 vsize=1790308 CPUtime=0.16 /proc/10361/task/10368/stat : 10368 (java) S 10359 10361 9925 0 -1 64 416 0 0 0 16 0 0 0 16 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10369] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10369/stat : 10369 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10370] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10370/stat : 10370 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1790308 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/73 10568 /proc/meminfo: memFree=1641856/2055920 swapFree=4184836/4192956 [pid=10361] ppid=10359 vsize=1790308 CPUtime=1800.01 /proc/10361/stat : 10361 (java) S 10359 10361 9925 0 -1 0 14307 0 1 0 179979 22 0 0 18 0 9 0 137314961 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10361/statm: 447577 13702 1865 9 0 442162 0 [pid=10361/tid=10363] ppid=10359 vsize=1790308 CPUtime=1799.83 /proc/10361/task/10363/stat : 10363 (java) R 10359 10361 9925 0 -1 64 13167 0 1 0 179962 21 0 0 25 0 9 0 137314962 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126576330 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10364] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10364/stat : 10364 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10365] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10365/stat : 10365 (java) S 10359 10361 9925 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10366] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10366/stat : 10366 (java) S 10359 10361 9925 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 137314964 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10367] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10367/stat : 10367 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10368] ppid=10359 vsize=1790308 CPUtime=0.16 /proc/10361/task/10368/stat : 10368 (java) S 10359 10361 9925 0 -1 64 416 0 0 0 16 0 0 0 16 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10361/tid=10369] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10369/stat : 10369 (java) S 10359 10361 9925 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10361/tid=10370] ppid=10359 vsize=1790308 CPUtime=0 /proc/10361/task/10370/stat : 10370 (java) S 10359 10361 9925 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 137314966 1833275392 13702 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1790308 Child status: 143 Real time (s): 1800.98 CPU time (s): 1800.1 CPU user time (s): 1799.86 CPU system time (s): 0.238963 CPU usage (%): 99.9511 Max. virtual memory (cumulated for all children) (KiB): 1790308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 system time used= 0.238963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14347 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= 36701 involuntary context switches= 36885 runsolver used 2.02369 second user time and 4.5943 second system time The end
Begin job on node68 on Sun Apr 15 05:00:54 UTC 2007 IDJOB= 351777 IDBENCH= 1810 IDSOLVER= 155 FILE ID= node68/351777-1176613254 PBS_JOBID= 4557025 Free space on /tmp= 66446 MiB SOLVER NAME= absconPseudo 102 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb COMMAND LINE= java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/351777-1176613254/instance-351777-1176613254.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node68/convwatcher-351777-1176613254 -o ROOT/results/node68/conversion-351777-1176613254 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351777-1176613254/instance-351777-1176613254.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-351777-1176613254 -o ROOT/results/node68/solver-351777-1176613254 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/351777-1176613254/instance-351777-1176613254.opb META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5 MD5SUM BENCH= 7ddc5796bc843f2bf9bc94a0b22fd8e4 RANDOM SEED= 572257422 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.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.216 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.216 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: 1691160 kB Buffers: 19096 kB Cached: 231248 kB SwapCached: 2208 kB Active: 90848 kB Inactive: 169940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1691160 kB SwapTotal: 4192956 kB SwapFree: 4184836 kB Dirty: 2076 kB Writeback: 0 kB Mapped: 17440 kB Slab: 90040 kB Committed_AS: 1431020 kB PageTables: 1380 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= 66446 MiB End job on node68 on Sun Apr 15 05:30:57 UTC 2007