Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS 1.03a2 | MSAT (TO) | 3600.05 | 3612.9 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo |
| MD5SUM | 06a2e497e51c1e9d30e1cb041d3ceb6a |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.191534 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 5250 |
| Total number of constraints | 145 |
| Number of soft constraints | 53 |
| Number of constraints which are clauses | 75 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 70 |
| Maximum length of a constraint | 75 |
| Top cost | 2739 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 2738 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 76 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c NaPS 1.03a2. 0.00/0.00 c Input file name: HOME/instance-4463396-1722352416.wbo 0.00/0.00 c Initial goal by soft: 2738 0.21/0.26 c single stage optimization mode 0.21/0.31 o 1519 0.41/0.44 o 1 3600.04/3612.90 c 3600.04/3612.90 c *** TERMINATED *** by signal 15 3600.04/3612.90 s SATISFIABLE 3600.04/3612.90 c _____________________________________________________________________________ 3600.04/3612.90 c std/band forms : 72,0 3600.04/3612.90 c 2cl/3cl ITE-codings : 4870,0 3600.04/3612.90 c BDD/srt/adr Max costs : 116537,1588,0 3600.04/3612.90 c BDDraw/bin/mul/srt/adr: 0,0,2,70,0 3600.04/3612.90 c BDD nodes : 5346 3600.04/3612.90 c Es1/CC detections : 0,0 3600.04/3612.90 c CC sort : 70 3600.04/3612.90 c SAT/UNSAT calls : 2,0 3600.04/3612.90 c regenrated variables : 0 3600.04/3612.90 c eliminated fixed lits : 0 3600.04/3612.90 c goal lit flips : 22 3600.04/3612.90 c goal stages : 1 3600.04/3612.90 c goal shrink : 0 3600.04/3612.90 c goal coeff separations: 0 3600.04/3612.90 c restarts : 1 3600.04/3612.90 c conflicts : 258 (0 /sec) 3600.04/3612.90 c decisions : 9377 (3 /sec) 3600.04/3612.90 c propagations : 320323 (89 /sec) 3600.04/3612.90 c inspects : 0 (0 /sec) 3600.04/3612.90 c CPU time (solving tm) : 3596 s (3596 s, SAT 0.1242 s, UNSAT 0 s) 3600.04/3612.90 c Time for Opt-base : 0.006342 s 3600.04/3612.90 c Steps for Opt-base : 3710 3600.04/3612.90 c Time for BDD coding : 0.04065 s 3600.04/3612.90 c Time for srt coding : 0.02979 s 3600.04/3612.90 c _____________________________________________________________________________ 3600.04/3612.90 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 3600.04/3612.90 v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 3600.04/3612.90 v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250
OK 1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (63633 MiB free)
memory of node 1: 64473 MiB (62544 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463396-1722352416/watcher-4463396-1722352416 -o /tmp/evaluation-result-4463396-1722352416/solver-4463396-1722352416 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722352416-12780 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463396-1722352416.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=12809, runsolver pid=12806
[startup+0.100102 s]*
/proc/loadavg: 1.15 1.10 1.34 5/242 12850
/proc/meminfo: memFree=129188344/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=13636 memory=12048 CPUtime=0.1 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 2913 0 0 0 9 1 0 0 20 0 1 0 1611996 13963264 3012 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 3409 3012 596 659 0 2613 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23568 KiB
Current children cumulated memory: 14744 KiB
[startup+0.214628 s]*
/proc/loadavg: 1.15 1.10 1.34 6/248 12859
/proc/meminfo: memFree=129147112/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=33744 memory=31456 CPUtime=0.21 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 8076 0 0 0 18 3 0 0 20 0 1 0 1611996 34553856 7864 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 8436 7864 596 659 0 7640 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43676 KiB
Current children cumulated memory: 34152 KiB
[startup+0.314804 s]*
/proc/loadavg: 1.15 1.10 1.34 5/248 12859
/proc/meminfo: memFree=129094096/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=49372 memory=45892 CPUtime=0.31 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 11408 0 0 0 27 4 0 0 20 0 1 0 1611996 50556928 11473 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 12343 11473 612 659 0 11547 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 59304 KiB
Current children cumulated memory: 48588 KiB
[startup+0.70037 s]
/proc/loadavg: 1.15 1.10 1.34 4/242 12867
/proc/meminfo: memFree=129060820/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=60288 memory=56504 CPUtime=0.68 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 13480 0 0 0 63 5 0 0 20 0 1 0 1611996 61734912 14126 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 15072 14126 644 659 0 14276 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70220 KiB
Current children cumulated memory: 59200 KiB
[startup+1.50042 s]
/proc/loadavg: 1.15 1.10 1.34 5/241 12895
/proc/meminfo: memFree=129023684/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=77364 memory=72832 CPUtime=1.47 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 19318 0 0 0 140 7 0 0 20 0 1 0 1611996 79220736 18208 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 19341 18208 660 659 0 18545 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 87296 KiB
Current children cumulated memory: 75528 KiB
[startup+3.11369 s]
/proc/loadavg: 1.15 1.10 1.34 5/248 12909
/proc/meminfo: memFree=128965436/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=86264 memory=81968 CPUtime=3.08 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 21663 0 0 0 300 8 0 0 20 0 1 0 1611996 88334336 20492 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 21566 20492 660 659 0 20770 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 96196 KiB
Current children cumulated memory: 84664 KiB
[startup+6.3004 s]
/proc/loadavg: 1.37 1.15 1.36 5/248 12911
/proc/meminfo: memFree=128991000/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=68988 memory=65816 CPUtime=6.25 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 21780 0 0 0 617 8 0 0 20 0 1 0 1611996 70643712 16454 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 17247 16454 660 659 0 16451 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 78920 KiB
Current children cumulated memory: 68512 KiB
[startup+12.7004 s]
/proc/loadavg: 1.59 1.20 1.37 5/248 12911
/proc/meminfo: memFree=128983068/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=68988 memory=66440 CPUtime=12.64 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 22446 0 0 0 1255 9 0 0 20 0 1 0 1611996 70643712 16610 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 17247 16610 660 659 0 16451 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 78920 KiB
Current children cumulated memory: 69136 KiB
[startup+25.5003 s]
/proc/loadavg: 2.19 1.35 1.42 5/248 12912
/proc/meminfo: memFree=128955280/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=74980 memory=72620 CPUtime=25.39 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 24399 0 0 0 2529 10 0 0 20 0 1 0 1611996 76779520 18155 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 18745 18155 660 659 0 17949 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 84912 KiB
Current children cumulated memory: 75316 KiB
[startup+51.1133 s]
/proc/loadavg: 2.88 1.58 1.50 5/248 12917
/proc/meminfo: memFree=128929044/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=91628 memory=82524 CPUtime=50.92 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 28353 0 0 0 5080 12 0 0 20 0 1 0 1611996 93827072 20631 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 22907 20631 660 659 0 22111 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 101560 KiB
Current children cumulated memory: 85220 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 1.99 1.64 5/248 12926
/proc/meminfo: memFree=128846300/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=110992 memory=102060 CPUtime=101.94 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 35258 0 0 0 10178 16 0 0 20 0 1 0 1611996 113655808 25515 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 27748 25515 660 659 0 26952 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 120924 KiB
Current children cumulated memory: 104756 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.37 1.80 5/246 12939
/proc/meminfo: memFree=128814636/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=129876 memory=122388 CPUtime=161.72 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 36973 0 0 0 16155 17 0 0 20 0 1 0 1611996 132993024 30597 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 32469 30597 660 659 0 31673 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 139808 KiB
Current children cumulated memory: 125084 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.70 1.95 5/245 12950
/proc/meminfo: memFree=128748336/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=152412 memory=145208 CPUtime=221.52 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 40160 0 0 0 22130 22 0 0 20 0 1 0 1611996 156069888 36302 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 38103 36302 660 659 0 37307 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 162344 KiB
################
# More data... #
################
/proc/loadavg: 4.08 4.11 4.02 5/246 14673
/proc/meminfo: memFree=128013368/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=315196 memory=306804 CPUtime=3091.26 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 193359 0 0 0 308756 370 0 0 20 0 1 0 1611996 322760704 76701 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 78799 76701 660 659 0 78003 0
Current children cumulated CPU time: 3091.26 s
Current children cumulated vsize: 325128 KiB
Current children cumulated memory: 309500 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.02 5/245 14687
/proc/meminfo: memFree=128102288/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=298508 memory=290160 CPUtime=3151.04 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 195652 0 0 0 314726 378 0 0 20 0 1 0 1611996 305672192 72540 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 74627 72540 660 659 0 73831 0
Current children cumulated CPU time: 3151.04 s
Current children cumulated vsize: 308440 KiB
Current children cumulated memory: 292856 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.02 5/245 14698
/proc/meminfo: memFree=128082280/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=312792 memory=304444 CPUtime=3210.83 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 197700 0 0 0 320700 383 0 0 20 0 1 0 1611996 320299008 76111 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 78198 76111 660 659 0 77402 0
Current children cumulated CPU time: 3210.83 s
Current children cumulated vsize: 322724 KiB
Current children cumulated memory: 307140 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/245 14708
/proc/meminfo: memFree=127971484/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=308360 memory=300012 CPUtime=3270.61 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 199726 0 0 0 326672 389 0 0 20 0 1 0 1611996 315760640 75003 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 77090 75003 660 659 0 76294 0
Current children cumulated CPU time: 3270.61 s
Current children cumulated vsize: 318292 KiB
Current children cumulated memory: 302708 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.09 4.02 5/245 14720
/proc/meminfo: memFree=127893544/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=412288 memory=405656 CPUtime=3330.37 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 206408 0 0 0 332640 397 0 0 20 0 1 0 1611996 422182912 101414 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 103072 101414 660 659 0 102276 0
Current children cumulated CPU time: 3330.37 s
Current children cumulated vsize: 422220 KiB
Current children cumulated memory: 408352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/245 14731
/proc/meminfo: memFree=127965660/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=333412 memory=327220 CPUtime=3390.17 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 207601 0 0 0 338615 402 0 0 20 0 1 0 1611996 341413888 81805 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 83353 81805 660 659 0 82557 0
Current children cumulated CPU time: 3390.17 s
Current children cumulated vsize: 343344 KiB
Current children cumulated memory: 329916 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/247 14745
/proc/meminfo: memFree=128058240/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=347832 memory=341640 CPUtime=3449.96 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 208458 0 0 0 344591 405 0 0 20 0 1 0 1611996 356179968 85410 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 86958 85410 660 659 0 86162 0
Current children cumulated CPU time: 3449.96 s
Current children cumulated vsize: 357764 KiB
Current children cumulated memory: 344336 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/247 14757
/proc/meminfo: memFree=127968796/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=331092 memory=324900 CPUtime=3509.76 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 210549 0 0 0 350565 411 0 0 20 0 1 0 1611996 339038208 81225 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 82773 81225 660 659 0 81977 0
Current children cumulated CPU time: 3509.76 s
Current children cumulated vsize: 341024 KiB
Current children cumulated memory: 327596 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/247 14769
/proc/meminfo: memFree=128097216/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=328960 memory=322768 CPUtime=3569.55 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 211404 0 0 0 356541 414 0 0 20 0 1 0 1611996 336855040 80692 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 82240 80692 660 659 0 81444 0
Current children cumulated CPU time: 3569.55 s
Current children cumulated vsize: 338892 KiB
Current children cumulated memory: 325464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.9 s]
/proc/loadavg: 4.16 4.12 4.04 2/223 14868
/proc/meminfo: memFree=128931740/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=345544 memory=339352 CPUtime=3600.04 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 212651 0 0 0 359586 418 0 0 20 0 1 0 1611996 353837056 84838 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 86386 84838 660 659 0 85590 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 355476 KiB
Current children cumulated memory: 342048 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.9 s]
# the end of solver process 12809 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3595.87 s, system=4.18604 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.9 s]
/proc/loadavg: 4.16 4.12 4.04 2/223 14868
/proc/meminfo: memFree=128931740/131655788 swapFree=131071728/131071996
[pid=12809] ppid=12806 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/12809/stat : 12809 (naps-1.03.sh) S 12806 12809 12770 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 1611995 10170368 674 134679101440 94820233601024 94820234680344 140728928024032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94820236778800 94820236825988 94820252774400 140728928031715 140728928031840 140728928031840 140728928038856 0
/proc/12809/statm: 2483 674 596 264 0 134 0
[pid=12817] ppid=12809 vsize=345544 memory=339352 CPUtime=3600.04 cores=0,2
/proc/12817/stat : 12817 (naps-1.03a2) R 12809 12809 12770 0 -1 4194304 212651 0 0 0 359586 418 0 0 20 0 1 0 1611996 353837056 84838 134679101440 4194304 6891597 140735640424448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11415552 140735640429550 140735640429664 140735640429664 140735640436681 0
/proc/12817/statm: 86386 84838 660 659 0 85590 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 355476 KiB
Current children cumulated memory: 342048 KiB
Child status: 10
Real time (s): 3612.9
CPU time (s): 3600.05
CPU user time (s): 3595.87
CPU system time (s): 4.18604
CPU usage (%): 99.6444
Max. virtual memory (cumulated for all children) (KiB): 584212
Max. memory (cumulated for all children) (KiB): 570132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.87
system time used= 4.18604
maximum resident set size= 567436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213124
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53
involuntary context switches= 25192
# summary of solver processes directly reported to runsolver:
# pid: 12809
# total CPU time (s): 3600.05
# total CPU user time (s): 3595.87
# total CPU system time (s): 4.18604
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0753 second user time and 37.4612 second system time
The end
Begin job on nodeC011 at 2024-07-30 17:13:37 IDJOB=4463396 IDBENCH=143511 IDSOLVER=3090 FILE ID=nodeC011/4463396-1722352416 RUNJOBID= nodeC011-1722352416-12780 SLURM_JOB_ID= 8249028 Free space on /tmp= 723784 MiB SOLVER NAME= NaPS 1.03a2 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo COMMAND LINE= HOME/naps-1.03.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463396-1722352416/watcher-4463396-1722352416 -o /tmp/evaluation-result-4463396-1722352416/solver-4463396-1722352416 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722352416-12780 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463396-1722352416.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 06a2e497e51c1e9d30e1cb041d3ceb6a RANDOM SEED=73348220 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.139 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.184 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.142 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.159 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.163 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.184 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.153 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.197 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129217536 kB MemAvailable: 130045724 kB Buffers: 57596 kB Cached: 1616868 kB SwapCached: 12 kB Active: 179964 kB Inactive: 1837400 kB Active(anon): 1828 kB Inactive(anon): 370600 kB Active(file): 178136 kB Inactive(file): 1466800 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 5800 kB Writeback: 0 kB AnonPages: 341316 kB Mapped: 91632 kB Shmem: 29468 kB KReclaimable: 46904 kB Slab: 121404 kB SReclaimable: 46904 kB SUnreclaim: 74500 kB KernelStack: 3648 kB PageTables: 9284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 689980 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6176 kB HardwareCorrupted: 0 kB AnonHugePages: 221184 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 156488 kB DirectMap2M: 9185280 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 723776 MiB End job on nodeC011 at 2024-07-30 18:13:50