Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
absconPseudo 102 | SAT (TO) | 19 | 1800.15 | 1800.67 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
MD5SUM | a6271c60ac3da107dd19024b50d39967 |
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 | 18 |
Best CPU time to get the best result obtained on this benchmark | 1288.62 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | YES |
Number of variables | 4318 |
Total number of constraints | 15120 |
Number of constraints which are clauses | 15112 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 7 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 490 |
Number of terms in the objective function | 490 |
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 | 490 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 28 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 518 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1.93/1.85 o 20 45.62/45.56 o 19 1800.09/1800.62 s SATISFIABLE 1800.09/1800.62 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.09/1800.62 v x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1800.09/1800.62 v -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1800.09/1800.62 v x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.09/1800.62 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.09/1800.62 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.09/1800.62 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.09/1800.62 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 1800.09/1800.62 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.09/1800.62 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.09/1800.62 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.09/1800.62 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 1800.09/1800.62 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.09/1800.62 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.09/1800.62 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.09/1800.62 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.09/1800.62 v -x358 -x359 -x360 -x361 x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 x378 1800.09/1800.62 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 1800.09/1800.62 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.09/1800.62 v -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 1800.09/1800.62 v -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.09/1800.62 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.09/1800.62 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.09/1800.62 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 1800.09/1800.62 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.09/1800.62 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.09/1800.62 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.09/1800.62 v -x589 -x590 -x591 -x592 x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.09/1800.62 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.09/1800.62 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.09/1800.62 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.09/1800.62 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.09/1800.62 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.09/1800.62 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.09/1800.62 v -x736 -x737 -x738 -x739 -x740 x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.09/1800.62 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.09/1800.62 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.09/1800.62 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.09/1800.62 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.09/1800.62 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.09/1800.62 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.09/1800.62 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.09/1800.62 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.09/1800.62 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.09/1800.62 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.09/1800.62 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.09/1800.62 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.09/1800.62 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.09/1800.62 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.09/1800.62 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.09/1800.62 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.09/1800.62 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.09/1800.62 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.09/1800.62 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.09/1800.62 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.09/1800.62 v -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.09/1800.62 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.09/1800.62 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.09/1800.62 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.09/1800.62 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.09/1800.62 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.09/1800.62 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.09/1800.62 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.09/1800.62 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.09/1800.62 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.09/1800.62 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.09/1800.62 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.09/1800.62 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.09/1800.62 v -x1364 -x1365 -x1366 x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1800.09/1800.62 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.09/1800.62 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.09/1800.62 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.09/1800.62 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.09/1800.62 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.09/1800.62 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.09/1800.62 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1800.09/1800.62 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.09/1800.62 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1800.09/1800.62 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1800.09/1800.62 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1800.09/1800.62 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1800.09/1800.62 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1800.09/1800.62 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.09/1800.62 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 1800.09/1800.62 v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.09/1800.62 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.09/1800.62 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1800.09/1800.62 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1800.09/1800.62 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1800.09/1800.62 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1800.09/1800.62 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1800.09/1800.62 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1800.09/1800.62 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1800.09/1800.62 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1800.09/1800.62 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1800.09/1800.62 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1800.09/1800.62 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1800.09/1800.62 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1800.09/1800.62 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1800.09/1800.62 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1800.09/1800.62 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1800.09/1800.62 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 1800.09/1800.62 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1800.09/1800.62 v -x1961 x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 1800.09/1800.62 v -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 1800.09/1800.62 v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 1800.09/1800.62 v -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1800.09/1800.62 v -x2030 -x2031 x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1800.09/1800.62 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1800.09/1800.62 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1800.09/1800.62 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1800.09/1800.62 v -x2099 -x2100 -x2101 -x2102 -x2103 x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 1800.09/1800.62 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.09/1800.62 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 1800.09/1800.62 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 1800.09/1800.62 v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 1800.09/1800.62 v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 1800.09/1800.62 v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 1800.09/1800.62 v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 1800.09/1800.62 v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 1800.09/1800.62 v -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 1800.09/1800.62 v x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 1800.09/1800.62 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1800.09/1800.62 v -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1800.09/1800.62 v -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1800.09/1800.62 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1800.09/1800.62 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 1800.09/1800.62 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1800.09/1800.62 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 1800.09/1800.62 v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2421 x2422 -x2423 -x2424 -x2425 1800.09/1800.62 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 1800.09/1800.62 v -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1800.09/1800.62 v -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 1800.09/1800.62 v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 1800.09/1800.62 v -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 1800.09/1800.62 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 1800.09/1800.62 v -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 1800.09/1800.62 v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 1800.09/1800.62 v x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 1800.09/1800.62 v -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 1800.09/1800.62 v -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 1800.09/1800.62 v -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 1800.09/1800.62 v -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 1800.09/1800.62 v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 1800.09/1800.62 v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 1800.09/1800.62 v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 1800.09/1800.62 v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 1800.09/1800.62 v -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 1800.09/1800.62 v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 1800.09/1800.62 v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 1800.09/1800.62 v -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 1800.09/1800.62 v -x2784 -x2785 -x2786 -x2787 x2788 x2789 x2790 -x2791 -x2792 -x2793 x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 1800.09/1800.62 v -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 1800.09/1800.62 v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 1800.09/1800.62 v -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 1800.09/1800.62 v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 x2864 x2865 -x2866 -x2867 -x2868 -x2869 -x2870 1800.09/1800.62 v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 1800.09/1800.62 v -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 1800.09/1800.62 v -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 1800.09/1800.62 v -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 1800.09/1800.62 v -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 1800.09/1800.62 v -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 1800.09/1800.62 v -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 1800.09/1800.62 v -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 1800.09/1800.62 v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 x3020 -x3021 -x3022 -x3023 -x3024 1800.09/1800.62 v -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 1800.09/1800.62 v -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 1800.09/1800.62 v -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 1800.09/1800.62 v -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 x3090 -x3091 -x3092 -x3093 1800.09/1800.62 v -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 1800.09/1800.62 v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3117 x3118 -x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 1800.09/1800.62 v -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 1800.09/1800.62 v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 1800.09/1800.62 v -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 x3176 -x3177 -x3178 x3179 -x3180 1800.09/1800.62 v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 1800.09/1800.62 v -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 x3206 -x3207 x3208 -x3209 -x3210 x3211 -x3212 x3213 -x3214 -x3215 1800.09/1800.62 v x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 1800.09/1800.62 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 x3247 -x3248 x3249 -x3250 -x3251 1800.09/1800.62 v -x3252 x3253 -x3254 x3255 -x3256 x3257 x3258 x3259 -x3260 x3261 -x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 x3269 -x3270 1800.09/1800.62 v x3271 -x3272 x3273 -x3274 x3275 -x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 1800.09/1800.62 v -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 x3304 x3305 -x3306 1800.09/1800.62 v x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 1800.09/1800.62 v -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 1800.09/1800.62 v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 1800.09/1800.62 v x3358 -x3359 -x3360 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 1800.09/1800.62 v -x3376 -x3377 x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 x3393 1800.09/1800.62 v -x3394 x3395 -x3396 -x3397 x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 1800.09/1800.62 v -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 1800.09/1800.62 v -x3429 x3430 -x3431 x3432 -x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 x3442 -x3443 x3444 -x3445 x3446 1800.09/1800.62 v -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 x3458 -x3459 x3460 -x3461 x3462 -x3463 -x3464 1800.09/1800.62 v -x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 1800.09/1800.62 v -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 1800.09/1800.62 v -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 1800.09/1800.62 v -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 1800.09/1800.62 v -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 1800.09/1800.62 v -x3551 -x3552 x3553 -x3554 -x3555 x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 1800.09/1800.62 v -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 1800.09/1800.62 v -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 1800.09/1800.62 v x3604 -x3605 -x3606 -x3607 x3608 -x3609 x3610 -x3611 x3612 -x3613 x3614 -x3615 x3616 -x3617 x3618 -x3619 -x3620 -x3621 1800.09/1800.62 v -x3622 -x3623 -x3624 -x3625 x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 x3636 -x3637 x3638 -x3639 1800.09/1800.62 v x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 1800.09/1800.62 v -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 1800.09/1800.62 v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 1800.09/1800.62 v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 1800.09/1800.62 v -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3721 -x3722 -x3723 -x3724 1800.09/1800.62 v -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 1800.09/1800.62 v -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 1800.09/1800.62 v -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 1800.09/1800.62 v -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 1800.09/1800.62 v -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 1800.09/1800.62 v -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 1800.09/1800.62 v -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 1800.09/1800.62 v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 x3858 -x3859 -x3860 -x3861 1800.09/1800.62 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 1800.09/1800.62 v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 1800.09/1800.62 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 1800.09/1800.62 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1800.09/1800.62 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 1800.09/1800.62 v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 1800.09/1800.62 v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 x3973 -x3974 x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1800.09/1800.62 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 1800.09/1800.62 v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 1800.09/1800.62 v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1800.09/1800.62 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1800.09/1800.62 v -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 1800.09/1800.62 v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 1800.09/1800.62 v -x4084 -x4085 -x4086 -x4087 x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 1800.09/1800.62 v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 x4118 1800.09/1800.62 v -x4119 -x4120 x4121 -x4122 x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 1800.09/1800.62 v -x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 x4144 -x4145 -x4146 -x4147 -x4148 x4149 -x4150 x4151 -x4152 -x4153 x4154 1800.09/1800.62 v -x4155 x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 1800.09/1800.62 v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 1800.09/1800.62 v -x4190 x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206 x4207 1800.09/1800.62 v x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 1800.09/1800.62 v -x4225 x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 -x4241 -x4242 1800.09/1800.62 v -x4243 -x4244 -x4245 -x4246 x4247 -x4248 x4249 -x4250 -x4251 x4252 -x4253 x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 1800.09/1800.62 v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 x4275 -x4276 -x4277 x4278 1800.09/1800.62 v -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 x4292 -x4293 -x4294 -x4295 1800.09/1800.62 v -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 1800.09/1800.62 v x4313 -x4314 -x4315 -x4316 -x4317 -x4318
OK 19
/tmp/evaluation/373064-1177161224/instance-373064-1177161224.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-373064-1177161224 -o ROOT/results/node10/solver-373064-1177161224 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/373064-1177161224/instance-373064-1177161224.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/77 14522 /proc/meminfo: memFree=1687016/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=140 CPUtime=0 /proc/14522/stat : 14522 (java) R 14520 14522 13492 0 -1 0 18 0 0 0 0 0 0 0 19 0 1 0 192159898 143360 3 18446744073709551615 0 0 4294956979 18446744073709551615 214919867687 0 0 4096 0 0 0 0 17 1 0 0 /proc/14522/statm: 35 10 6 9 0 1 0 [startup+0.09446 s] /proc/loadavg: 1.00 1.00 1.00 2/77 14522 /proc/meminfo: memFree=1687016/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790132 CPUtime=0.09 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 4214 0 1 0 7 2 0 0 18 0 9 0 192159898 1833095168 3663 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447533 3663 1667 9 0 442125 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1790132 [startup+0.101458 s] /proc/loadavg: 1.00 1.00 1.00 2/77 14522 /proc/meminfo: memFree=1687016/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790132 CPUtime=0.1 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 4325 0 1 0 8 2 0 0 18 0 9 0 192159898 1833095168 3764 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447533 3764 1711 9 0 442125 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1790132 [startup+0.301503 s] /proc/loadavg: 1.00 1.00 1.00 2/77 14522 /proc/meminfo: memFree=1687016/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790292 CPUtime=0.35 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 7166 0 1 0 31 4 0 0 18 0 9 0 192159898 1833259008 6579 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447573 6579 1847 9 0 442158 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1790292 [startup+0.701586 s] /proc/loadavg: 1.00 1.00 1.00 2/77 14522 /proc/meminfo: memFree=1687016/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790292 CPUtime=0.8 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 17928 0 1 0 71 9 0 0 18 0 9 0 192159898 1833259008 17324 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447573 17324 1870 9 0 442158 0 Current children cumulated CPU time (s) 0.8 Current children cumulated vsize (KiB) 1790292 [startup+1.50176 s] /proc/loadavg: 1.00 1.00 1.00 2/86 14531 /proc/meminfo: memFree=1619552/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790424 CPUtime=1.64 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19258 0 1 0 154 10 0 0 18 0 9 0 192159898 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447606 18653 1872 9 0 442191 0 [pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1.47 /proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18123 0 1 0 138 9 0 0 20 0 9 0 192159899 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126591981 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.16 /proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 412 0 0 0 16 0 0 0 16 0 9 0 192159903 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18653 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) 1790424 [startup+3.1021 s] /proc/loadavg: 1.00 1.00 1.00 2/86 14531 /proc/meminfo: memFree=1619168/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790424 CPUtime=3.24 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19293 0 1 0 314 10 0 0 18 0 9 0 192159898 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447606 18686 1872 9 0 442191 0 [pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=3.05 /proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18150 0 1 0 296 9 0 0 17 0 9 0 192159899 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126809605 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17 /proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 420 0 0 0 17 0 0 0 15 0 9 0 192159903 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18686 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) 1790424 [startup+6.30179 s] /proc/loadavg: 1.00 1.00 1.00 2/86 14531 /proc/meminfo: memFree=1619040/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790424 CPUtime=6.43 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19296 0 1 0 633 10 0 0 18 0 9 0 192159898 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447606 18687 1873 9 0 442191 0 [pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=6.25 /proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18152 0 1 0 616 9 0 0 17 0 9 0 192159899 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126591959 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17 /proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 420 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.43 Current children cumulated vsize (KiB) 1790424 [startup+12.7022 s] /proc/loadavg: 1.00 1.00 1.00 2/86 14531 /proc/meminfo: memFree=1618976/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790424 CPUtime=12.83 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19298 0 1 0 1273 10 0 0 18 0 9 0 192159898 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447606 18688 1873 9 0 442191 0 [pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=12.65 /proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18153 0 1 0 1256 9 0 0 25 0 9 0 192159899 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126816752 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17 /proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 421 0 0 0 17 0 0 0 17 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.83 Current children cumulated vsize (KiB) 1790424 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/86 14531 /proc/meminfo: memFree=1618984/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790424 CPUtime=25.62 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19299 0 1 0 2552 10 0 0 18 0 9 0 192159898 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447606 18688 1873 9 0 442191 0 [pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=25.44 /proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 2535 9 0 0 25 0 9 0 192159899 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126816752 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17 /proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 421 0 0 0 17 0 0 0 15 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.62 Current children cumulated vsize (KiB) 1790424 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/86 14531 /proc/meminfo: memFree=1618920/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790424 CPUtime=51.21 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 5111 10 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447606 18691 1873 9 0 442191 0 [pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=51.02 /proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 5093 9 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126591936 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17 /proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0 ################ # More data... # ################ /proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17 /proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1790424 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 14533 /proc/meminfo: memFree=1618728/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790424 CPUtime=1541.87 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 154164 23 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447606 18691 1873 9 0 442191 0 [pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1541.68 /proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 154146 22 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126783511 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17 /proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1790424 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 14533 /proc/meminfo: memFree=1618664/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790424 CPUtime=1601.85 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 160161 24 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447606 18691 1873 9 0 442191 0 [pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1601.66 /proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 160143 23 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126816755 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17 /proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1790424 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 14533 /proc/meminfo: memFree=1618728/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790424 CPUtime=1661.82 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 166158 24 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447606 18691 1873 9 0 442191 0 [pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1661.63 /proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 166140 23 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126783511 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17 /proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1790424 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 14533 /proc/meminfo: memFree=1618728/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790424 CPUtime=1721.8 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 172155 25 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447606 18691 1873 9 0 442191 0 [pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1721.62 /proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 172138 24 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126808476 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17 /proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1790424 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/86 14533 /proc/meminfo: memFree=1618664/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790424 CPUtime=1781.78 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 178153 25 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447606 18691 1873 9 0 442191 0 [pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1781.59 /proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 178135 24 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126816755 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17 /proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1790424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/86 14533 /proc/meminfo: memFree=1618664/2055920 swapFree=4152380/4192956 [pid=14522] ppid=14520 vsize=1790424 CPUtime=1800.09 /proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 179983 26 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14522/statm: 447606 18691 1873 9 0 442191 0 [pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1799.89 /proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 179965 24 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126591960 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17 /proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0 /proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1790424 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.15 CPU user time (s): 1799.88 CPU system time (s): 0.271958 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 1790424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.88 system time used= 0.271958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19337 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= 36805 involuntary context switches= 26268 runsolver used 1.69374 second user time and 4.87326 second system time The end
Begin job on node10 on Sat Apr 21 13:13:44 UTC 2007 IDJOB= 373064 IDBENCH= 25017 IDSOLVER= 155 FILE ID= node10/373064-1177161224 PBS_JOBID= 4648900 Free space on /tmp= 66270 MiB SOLVER NAME= absconPseudo 102 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb COMMAND LINE= java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/373064-1177161224/instance-373064-1177161224.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-373064-1177161224 -o ROOT/results/node10/conversion-373064-1177161224 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373064-1177161224/instance-373064-1177161224.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-373064-1177161224 -o ROOT/results/node10/solver-373064-1177161224 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/373064-1177161224/instance-373064-1177161224.opb META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5 MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967 RANDOM SEED= 193102448 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1687424 kB Buffers: 39032 kB Cached: 254160 kB SwapCached: 8864 kB Active: 134380 kB Inactive: 182192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1687424 kB SwapTotal: 4192956 kB SwapFree: 4152380 kB Dirty: 2404 kB Writeback: 0 kB Mapped: 30368 kB Slab: 37508 kB Committed_AS: 3642840 kB PageTables: 1708 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= 66270 MiB End job on node10 on Sat Apr 21 13:43:47 UTC 2007