Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS-GM 1.03a1 | MSAT (TO) | 3600.11 | 3609.6 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | 7739b4d9ca7025fb6750e4f7ea1afab1 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.166201 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 5100 |
| Total number of constraints | 202 |
| Number of soft constraints | 202 |
| Number of constraints which are clauses | 102 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 50 |
| Maximum length of a constraint | 51 |
| Top cost | 10037 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 10036 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 52 |
| Number of bits of the biggest sum of numbers | 6 |
| 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.03a1. 0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it. 0.00/0.00 c Input file name: HOME/instance-4461285-1722075866.wbo 0.00/0.00 c Initial goal by soft: 10036 0.00/0.06 c single stage optimization mode 0.09/0.19 o 9998 0.50/0.60 o 5866 0.99/1.01 o 2302 2.08/2.19 o 436 2.18/2.29 o 101 2.28/2.38 o 58 2.58/2.68 o 22 2.68/2.73 o 13 2.68/2.78 o 8 2.99/3.09 o 4 3600.09/3609.60 c 3600.09/3609.60 c *** TERMINATED *** by signal 15 3600.09/3609.60 s SATISFIABLE 3600.09/3609.60 c _____________________________________________________________________________ 3600.09/3609.60 c std/band forms : 110,0 3600.09/3609.60 c 2cl/3cl ITE-codings : 128488,0 3600.09/3609.60 c BDD/srt/adr Max costs : 214993,830,0 3600.09/3609.60 c BDDraw/bin/mul/srt/adr: 0,0,10,100,0 3600.09/3609.60 c BDD nodes : 131889 3600.09/3609.60 c Es1/CC detections : 0,0 3600.09/3609.60 c CC sort : 100 3600.09/3609.60 c SAT/UNSAT calls : 10,0 3600.09/3609.60 c regenrated variables : 360 3600.09/3609.60 c eliminated fixed lits : 644 3600.09/3609.60 c goal lit flips : 0 3600.09/3609.60 c goal stages : 1 3600.09/3609.60 c goal shrink : 0 3600.09/3609.60 c goal coeff separations: 0 3600.09/3609.60 c restarts : 133 3600.09/3609.60 c conflicts : 55754 (15 /sec) 3600.09/3609.60 c decisions : 741662 (206 /sec) 3600.09/3609.60 c propagations : 25790717 (7167 /sec) 3600.09/3609.60 c inspects : 0 (0 /sec) 3600.09/3609.60 c CPU time (solving tm) : 3599 s (3598 s, SAT 2.313 s, UNSAT 0 s) 3600.09/3609.60 c Time for Opt-base : 0.004346 s 3600.09/3609.60 c Steps for Opt-base : 12322 3600.09/3609.60 c Time for BDD coding : 0.5596 s 3600.09/3609.60 c Time for srt coding : 0.007084 s 3600.09/3609.60 c _____________________________________________________________________________ 3600.09/3609.60 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 3600.09/3609.60 v -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 -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 3600.09/3609.60 v -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 -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
OK 4
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: 63931 MiB (62082 MiB free)
memory of node 1: 64510 MiB (59604 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461285-1722075866/watcher-4461285-1722075866 -o /tmp/evaluation-result-4461285-1722075866/solver-4461285-1722075866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722075866-324409 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461285-1722075866.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=324467, runsolver pid=324461
[startup+0.100088 s]*
/proc/loadavg: 1.04 1.31 1.88 5/265 324488
/proc/meminfo: memFree=124529032/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=33244 memory=28940 CPUtime=0.09 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 6664 0 0 0 9 0 0 0 20 0 1 0 44109508 34041856 7235 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 8311 7235 468 659 0 7515 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43176 KiB
Current children cumulated memory: 31592 KiB
[startup+0.205471 s]*
/proc/loadavg: 1.04 1.31 1.88 5/265 324488
/proc/meminfo: memFree=124463248/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=36064 memory=31956 CPUtime=0.2 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 9274 0 0 0 19 1 0 0 20 0 1 0 44109508 36929536 7989 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 9016 7989 468 659 0 8220 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45996 KiB
Current children cumulated memory: 34608 KiB
[startup+0.306083 s]*
/proc/loadavg: 1.04 1.31 1.88 5/265 324488
/proc/meminfo: memFree=124407840/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=47692 memory=43436 CPUtime=0.29 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 12126 0 0 0 28 1 0 0 20 0 1 0 44109508 48836608 10859 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 11923 10859 468 659 0 11127 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 57624 KiB
Current children cumulated memory: 46088 KiB
[startup+0.700244 s]
/proc/loadavg: 1.04 1.31 1.88 5/265 324488
/proc/meminfo: memFree=124325932/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=111020 memory=103248 CPUtime=0.69 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 24843 0 0 0 65 4 0 0 20 0 1 0 44109508 113684480 25812 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 27755 25812 468 659 0 26959 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120952 KiB
Current children cumulated memory: 105900 KiB
[startup+1.50021 s]
/proc/loadavg: 1.04 1.31 1.88 5/265 324488
/proc/meminfo: memFree=124248916/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=173244 memory=164012 CPUtime=1.48 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 34410 0 0 0 142 6 0 0 20 0 1 0 44109508 177401856 41003 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 43311 41003 468 659 0 42515 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 183176 KiB
Current children cumulated memory: 166664 KiB
[startup+3.10536 s]
/proc/loadavg: 1.04 1.31 1.88 5/265 324488
/proc/meminfo: memFree=124215888/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=182816 memory=164140 CPUtime=3.08 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 36309 0 0 0 301 7 0 0 20 0 1 0 44109508 187203584 41035 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 45704 41035 468 659 0 44908 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 192748 KiB
Current children cumulated memory: 166792 KiB
[startup+6.30023 s]
/proc/loadavg: 1.28 1.35 1.89 5/265 324490
/proc/meminfo: memFree=124131756/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=213272 memory=197904 CPUtime=6.27 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 37094 0 0 0 620 7 0 0 20 0 1 0 44109508 218390528 49476 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 53318 49476 468 659 0 52522 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 223204 KiB
Current children cumulated memory: 200556 KiB
[startup+12.7002 s]
/proc/loadavg: 1.50 1.39 1.90 5/265 324490
/proc/meminfo: memFree=124069108/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=213272 memory=202000 CPUtime=12.66 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 37899 0 0 0 1256 10 0 0 20 0 1 0 44109508 218390528 50500 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 53318 50500 468 659 0 52522 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 223204 KiB
Current children cumulated memory: 204652 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 1.52 1.93 5/265 324491
/proc/meminfo: memFree=123960812/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=262592 memory=250564 CPUtime=25.43 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 39791 0 0 0 2530 13 0 0 20 0 1 0 44109508 268894208 62641 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 65648 62641 468 659 0 64852 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 272524 KiB
Current children cumulated memory: 253216 KiB
[startup+51.106 s]
/proc/loadavg: 2.72 1.72 1.99 5/265 324496
/proc/meminfo: memFree=123979260/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=293412 memory=270800 CPUtime=50.97 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 42161 0 0 0 5080 17 0 0 20 0 1 0 44109508 300453888 67700 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 73353 67700 468 659 0 72557 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 303344 KiB
Current children cumulated memory: 273452 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 2.09 2.10 5/262 324888
/proc/meminfo: memFree=123899244/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=265748 memory=253740 CPUtime=102.04 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 45677 0 0 0 10181 23 0 0 20 0 1 0 44109508 272125952 63435 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 66437 63435 468 659 0 65641 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 275680 KiB
Current children cumulated memory: 256392 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.47 2.24 5/262 324899
/proc/meminfo: memFree=123875472/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=346656 memory=312208 CPUtime=161.88 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 47769 0 0 0 16161 27 0 0 20 0 1 0 44109508 354975744 78052 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 86664 78052 468 659 0 85868 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 356588 KiB
Current children cumulated memory: 314860 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.77 2.35 5/262 324910
/proc/meminfo: memFree=123862432/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=298216 memory=265840 CPUtime=221.71 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 50413 0 0 0 22138 33 0 0 20 0 1 0 44109508 305373184 66460 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 74554 66460 468 659 0 73758 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 308148 KiB
################
# More data... #
################
/proc/324480/statm: 126856 116838 468 659 0 126060 0
Current children cumulated CPU time: 3034.23 s
Current children cumulated vsize: 517356 KiB
Current children cumulated memory: 470004 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.04 5/260 326233
/proc/meminfo: memFree=123302172/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=589572 memory=519984 CPUtime=3094.07 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 114925 0 0 0 309275 132 0 0 20 0 1 0 44109508 603721728 129996 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 147393 129996 468 659 0 146597 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 599504 KiB
Current children cumulated memory: 522636 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.04 5/260 326244
/proc/meminfo: memFree=123215432/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=589824 memory=557032 CPUtime=3153.91 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 115116 0 0 0 315258 133 0 0 20 0 1 0 44109508 603979776 139258 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 147456 139258 468 659 0 146660 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 599756 KiB
Current children cumulated memory: 559684 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/260 326255
/proc/meminfo: memFree=123184592/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=723980 memory=582896 CPUtime=3213.75 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 116180 0 0 0 321241 134 0 0 20 0 1 0 44109508 741355520 145724 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 180995 145724 468 659 0 180199 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 733912 KiB
Current children cumulated memory: 585548 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/260 326266
/proc/meminfo: memFree=123101704/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=726468 memory=609260 CPUtime=3273.59 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 116858 0 0 0 327224 135 0 0 20 0 1 0 44109508 743903232 152315 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 181617 152315 468 659 0 180821 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 736400 KiB
Current children cumulated memory: 611912 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/259 326276
/proc/meminfo: memFree=123093252/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=728404 memory=639784 CPUtime=3333.42 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 117499 0 0 0 333207 135 0 0 20 0 1 0 44109508 745885696 159946 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 182101 159946 468 659 0 181305 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 738336 KiB
Current children cumulated memory: 642436 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.11 4.05 5/261 326291
/proc/meminfo: memFree=123223876/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=515096 memory=484556 CPUtime=3393.28 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 118686 0 0 0 339189 139 0 0 20 0 1 0 44109508 527458304 121139 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 128774 121139 468 659 0 127978 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 525028 KiB
Current children cumulated memory: 487208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/261 326301
/proc/meminfo: memFree=123309180/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=597368 memory=530264 CPUtime=3453.14 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 119624 0 0 0 345174 140 0 0 20 0 1 0 44109508 611704832 132566 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 149342 132566 468 659 0 148546 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 607300 KiB
Current children cumulated memory: 532916 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/261 326312
/proc/meminfo: memFree=123252104/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=599808 memory=567468 CPUtime=3513 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 120296 0 0 0 351159 141 0 0 20 0 1 0 44109508 614203392 141867 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 149952 141867 468 659 0 149156 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 609740 KiB
Current children cumulated memory: 570120 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/261 326324
/proc/meminfo: memFree=123154488/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=733456 memory=601164 CPUtime=3572.86 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 121326 0 0 0 357144 142 0 0 20 0 1 0 44109508 751058944 150291 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 183364 150291 468 659 0 182568 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 743388 KiB
Current children cumulated memory: 603816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.12 4.10 4.06 5/261 326330
/proc/meminfo: memFree=123147680/131524600 swapFree=131060148/131071996
[pid=324467] ppid=324461 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/324467/stat : 324467 (naps-1.03.sh) S 324461 324467 324398 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 44109507 10170368 663 134679101440 94180534513664 94180535592984 140736961130592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94180537691440 94180537738628 94180562030592 140736961139677 140736961139806 140736961139806 140736961146824 0
/proc/324467/statm: 2483 663 583 264 0 134 0
[pid=324480] ppid=324467 vsize=734056 memory=616148 CPUtime=3600.09 cores=4,6
/proc/324480/stat : 324480 (naps-1.03) R 324467 324467 324398 0 -1 4194304 121511 0 0 0 359867 142 0 0 20 0 1 0 44109508 751673344 154037 134679101440 4194304 6891597 140735470736176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14557184 140735470744558 140735470744674 140735470744674 140735470751691 0
/proc/324480/statm: 183514 154037 468 659 0 182718 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 743988 KiB
Current children cumulated memory: 618800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 324467 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002162 s, system=0.000682 s
[startup+3609.6 s]
# the end of solver process 324480 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.68 s, system=1.43162 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.6
CPU time (s): 3600.11
CPU user time (s): 3598.68
CPU system time (s): 1.43162
CPU usage (%): 99.737
Max. virtual memory (cumulated for all children) (KiB): 799176
Max. memory (cumulated for all children) (KiB): 698444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.68
system time used= 1.43162
maximum resident set size= 725256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121969
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= 167
involuntary context switches= 4440
# summary of solver processes directly reported to runsolver:
# pid: 324467,324480
# total CPU time (s): 3600.11
# total CPU user time (s): 3598.68
# total CPU system time (s): 1.43162
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89183 second user time and 19.2077 second system time
The end
Begin job on nodeC022 at 2024-07-27 12:24:26 IDJOB=4461285 IDBENCH=143138 IDSOLVER=3087 FILE ID=nodeC022/4461285-1722075866 RUNJOBID= nodeC022-1722075866-324409 SLURM_JOB_ID= 8248123 Free space on /tmp= 890076 MiB SOLVER NAME= NaPS-GM 1.03a1 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461285-1722075866/watcher-4461285-1722075866 -o /tmp/evaluation-result-4461285-1722075866/solver-4461285-1722075866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722075866-324409 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461285-1722075866.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7739b4d9ca7025fb6750e4f7ea1afab1 RANDOM SEED=275282366 nodeC022.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 : 0xb00002a cpu MHz : 3629.101 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87 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 : 0xb00002a cpu MHz : 3664.412 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.75 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 : 0xb00002a cpu MHz : 3636.360 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87 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 : 0xb00002a cpu MHz : 3610.445 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.75 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 : 0xb00002a cpu MHz : 3631.000 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87 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 : 0xb00002a cpu MHz : 3664.626 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.75 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 : 0xb00002a cpu MHz : 3599.999 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87 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 : 0xb00002a cpu MHz : 3612.355 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124609776 kB MemAvailable: 129687340 kB Buffers: 383144 kB Cached: 5486636 kB SwapCached: 516 kB Active: 2703936 kB Inactive: 3529420 kB Active(anon): 2280 kB Inactive(anon): 415292 kB Active(file): 2701656 kB Inactive(file): 3114128 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060148 kB Dirty: 20996 kB Writeback: 0 kB AnonPages: 362896 kB Mapped: 116388 kB Shmem: 53676 kB KReclaimable: 206948 kB Slab: 327880 kB SReclaimable: 206948 kB SUnreclaim: 120932 kB KernelStack: 3920 kB PageTables: 9796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 696472 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 239616 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: 334548 kB DirectMap2M: 36139008 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890060 MiB End job on nodeC022 at 2024-07-27 13:24:36