Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS-GM 1.03a2 | MSAT (TO) | 3600.07 | 3610.02 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo |
| MD5SUM | 9b60ab1c395a8a4ea9e1c58e7ae4b4ea |
| Bench Category | SOFT-LIN (WBO, only soft 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.187276 |
| 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 | 145 |
| 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 | 7458 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 7457 |
| 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 We set -no-flip-min because your selected sat solver does not support it. 0.00/0.00 c Input file name: HOME/instance-4463811-1722351884.wbo 0.00/0.00 c Initial goal by soft: 7457 0.00/0.08 c single stage optimization mode 0.20/0.30 o 7424 0.49/0.51 o 4483 0.68/0.70 o 1959 0.77/0.82 o 309 0.77/0.87 o 40 0.87/0.92 o 23 1.18/1.24 o 11 1.18/1.26 o 7 1.18/1.27 o 1 3600.04/3610.00 c 3600.04/3610.00 c *** TERMINATED *** by signal 15 3600.04/3610.00 s SATISFIABLE 3600.04/3610.00 c _____________________________________________________________________________ 3600.04/3610.00 c std/band forms : 79,0 3600.04/3610.00 c 2cl/3cl ITE-codings : 75834,0 3600.04/3610.00 c BDD/srt/adr Max costs : 189183,1588,0 3600.04/3610.00 c BDDraw/bin/mul/srt/adr: 2,0,7,70,0 3600.04/3610.00 c BDD nodes : 77954 3600.04/3610.00 c Es1/CC detections : 0,0 3600.04/3610.00 c CC sort : 70 3600.04/3610.00 c SAT/UNSAT calls : 9,0 3600.04/3610.00 c regenrated variables : 535 3600.04/3610.00 c eliminated fixed lits : 491 3600.04/3610.00 c goal lit flips : 0 3600.04/3610.00 c goal stages : 1 3600.04/3610.00 c goal shrink : 0 3600.04/3610.00 c goal coeff separations: 0 3600.04/3610.00 c restarts : 51 3600.04/3610.00 c conflicts : 4273 (1 /sec) 3600.04/3610.00 c decisions : 473610 (132 /sec) 3600.04/3610.00 c propagations : 4744245 (1318 /sec) 3600.04/3610.00 c inspects : 0 (0 /sec) 3600.04/3610.00 c CPU time (solving tm) : 3599 s (3598 s, SAT 0.7719 s, UNSAT 0 s) 3600.04/3610.00 c Time for Opt-base : 0.003694 s 3600.04/3610.00 c Steps for Opt-base : 8845 3600.04/3610.00 c Time for BDD coding : 0.3076 s 3600.04/3610.00 c Time for srt coding : 0.008989 s 3600.04/3610.00 c _____________________________________________________________________________ 3600.04/3610.00 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 3600.04/3610.00 v -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 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 3600.04/3610.00 v -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 -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: 63968 MiB (63218 MiB free)
memory of node 1: 64473 MiB (63550 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463811-1722351884/watcher-4463811-1722351884 -o /tmp/evaluation-result-4463811-1722351884/solver-4463811-1722351884 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722351884-14597 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463811-1722351884.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=14654, runsolver pid=14650
Current StackSize limit: 8192 KiB
[startup+0.100609 s]*
/proc/loadavg: 1.14 1.40 2.01 5/264 14674
/proc/meminfo: memFree=129721392/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=39036 memory=34016 CPUtime=0.08 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 7699 0 0 0 7 1 0 0 20 0 1 0 1792742 39972864 8504 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 9759 8504 468 659 0 8963 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 48968 KiB
Current children cumulated memory: 36716 KiB
[startup+0.206592 s]*
/proc/loadavg: 1.14 1.40 2.01 5/264 14674
/proc/meminfo: memFree=129637180/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=46508 memory=40664 CPUtime=0.2 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 10005 0 0 0 18 2 0 0 20 0 1 0 1792742 47624192 10166 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 11627 10166 468 659 0 10831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56440 KiB
Current children cumulated memory: 43364 KiB
[startup+0.30566 s]*
/proc/loadavg: 1.14 1.40 2.01 5/264 14674
/proc/meminfo: memFree=129585092/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=48056 memory=41944 CPUtime=0.29 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 11157 0 0 0 27 2 0 0 20 0 1 0 1792742 49209344 10420 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 12014 10486 468 659 0 11218 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 57988 KiB
Current children cumulated memory: 44644 KiB
[startup+0.700266 s]
/proc/loadavg: 1.14 1.40 2.01 5/264 14674
/proc/meminfo: memFree=129437916/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=113184 memory=104244 CPUtime=0.68 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 20804 0 0 0 64 4 0 0 20 0 1 0 1792742 115900416 26061 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 28296 26061 468 659 0 27500 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123116 KiB
Current children cumulated memory: 106944 KiB
[startup+1.50021 s]
/proc/loadavg: 1.14 1.40 2.01 5/264 14674
/proc/meminfo: memFree=129132264/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=134436 memory=126912 CPUtime=1.48 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 24108 0 0 0 143 5 0 0 20 0 1 0 1792742 137662464 31728 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 33609 31728 468 659 0 32813 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 144368 KiB
Current children cumulated memory: 129612 KiB
[startup+3.1056 s]
/proc/loadavg: 1.45 1.46 2.03 5/264 14674
/proc/meminfo: memFree=128865960/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=164788 memory=151084 CPUtime=3.07 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 25049 0 0 0 302 5 0 0 20 0 1 0 1792742 168742912 37771 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 41197 37771 468 659 0 40401 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 174720 KiB
Current children cumulated memory: 153784 KiB
[startup+6.30024 s]
/proc/loadavg: 1.45 1.46 2.03 5/264 14676
/proc/meminfo: memFree=128567064/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=164788 memory=157228 CPUtime=6.27 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 26383 0 0 0 620 7 0 0 20 0 1 0 1792742 168742912 39307 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 41197 39307 468 659 0 40401 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 174720 KiB
Current children cumulated memory: 159928 KiB
[startup+12.7003 s]
/proc/loadavg: 1.84 1.55 2.05 5/264 14676
/proc/meminfo: memFree=128036224/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=214576 memory=190108 CPUtime=12.64 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 27487 0 0 0 1257 7 0 0 20 0 1 0 1792742 219725824 47527 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 53644 47527 468 659 0 52848 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 224508 KiB
Current children cumulated memory: 192808 KiB
[startup+25.5003 s]
/proc/loadavg: 2.18 1.63 2.07 5/264 14679
/proc/meminfo: memFree=127812584/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=264664 memory=215652 CPUtime=25.42 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 29618 0 0 0 2532 10 0 0 20 0 1 0 1792742 271015936 53913 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 66166 53913 468 659 0 65370 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 274596 KiB
Current children cumulated memory: 218352 KiB
[startup+51.1057 s]
/proc/loadavg: 2.86 1.84 2.13 5/263 14732
/proc/meminfo: memFree=128076740/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=264664 memory=245184 CPUtime=50.95 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 30930 0 0 0 5083 12 0 0 20 0 1 0 1792742 271015936 61296 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 66166 61296 468 659 0 65370 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 274596 KiB
Current children cumulated memory: 247884 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.22 2.25 5/263 14841
/proc/meminfo: memFree=126846244/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=346052 memory=267788 CPUtime=102 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 34090 0 0 0 10182 18 0 0 20 0 1 0 1792742 354357248 66947 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 86513 66947 468 659 0 85717 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 355984 KiB
Current children cumulated memory: 270488 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.56 2.36 5/263 14852
/proc/meminfo: memFree=122319904/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=214576 memory=204900 CPUtime=161.81 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 35922 0 0 0 16156 25 0 0 20 0 1 0 1792742 219725824 51225 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 53644 51225 468 659 0 52848 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 224508 KiB
Current children cumulated memory: 207600 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.84 2.47 5/261 14863
/proc/meminfo: memFree=120223872/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=271600 memory=216164 CPUtime=221.63 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 39177 0 0 0 22133 30 0 0 20 0 1 0 1792742 278118400 54041 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 67900 54041 468 659 0 67104 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 281532 KiB
################
# More data... #
################
/proc/14660/statm: 179796 173413 468 659 0 179000 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 729116 KiB
Current children cumulated memory: 696352 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.06 5/263 16452
/proc/meminfo: memFree=112718192/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=509748 memory=459368 CPUtime=3093.7 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 126467 0 0 0 309231 139 0 0 20 0 1 0 1792742 521981952 114842 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 127437 114842 468 659 0 126641 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 519680 KiB
Current children cumulated memory: 462068 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.07 5/263 16463
/proc/meminfo: memFree=112534488/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=591136 memory=543336 CPUtime=3153.54 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 127199 0 0 0 315213 141 0 0 20 0 1 0 1792742 605323264 135834 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 147784 135834 468 659 0 146988 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 601068 KiB
Current children cumulated memory: 546036 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.07 5/264 16643
/proc/meminfo: memFree=112576760/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=723900 memory=586716 CPUtime=3213.38 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 128024 0 0 0 321196 142 0 0 20 0 1 0 1792742 741273600 146679 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 180975 146679 468 659 0 180179 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 733832 KiB
Current children cumulated memory: 589416 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.07 5/264 16653
/proc/meminfo: memFree=112446092/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=724744 memory=626356 CPUtime=3273.22 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 128457 0 0 0 327179 143 0 0 20 0 1 0 1792742 742137856 156589 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 181186 156589 468 659 0 180390 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 734676 KiB
Current children cumulated memory: 629056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.07 5/265 16666
/proc/meminfo: memFree=112305716/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=727272 memory=663356 CPUtime=3333.06 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 129239 0 0 0 333162 144 0 0 20 0 1 0 1792742 744726528 165839 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 181818 165839 468 659 0 181022 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 737204 KiB
Current children cumulated memory: 666056 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.08 5/261 16689
/proc/meminfo: memFree=112935504/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=946524 memory=732588 CPUtime=3392.9 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 130957 0 0 0 339144 146 0 0 20 0 1 0 1792742 969240576 183147 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 236631 183147 468 659 0 235835 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 956456 KiB
Current children cumulated memory: 735288 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/261 16699
/proc/meminfo: memFree=113065632/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=521520 memory=496588 CPUtime=3452.74 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 132003 0 0 0 345125 149 0 0 20 0 1 0 1792742 534036480 124147 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 130380 124147 468 659 0 129584 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 531452 KiB
Current children cumulated memory: 499288 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/261 16709
/proc/meminfo: memFree=112912340/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=602908 memory=546412 CPUtime=3512.57 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 132904 0 0 0 351107 150 0 0 20 0 1 0 1792742 617377792 136603 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 150727 136603 468 659 0 149931 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 612840 KiB
Current children cumulated memory: 549112 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 16721
/proc/meminfo: memFree=111729508/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=735672 memory=597800 CPUtime=3572.42 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 133532 0 0 0 357090 152 0 0 20 0 1 0 1792742 753328128 149450 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 183918 149450 468 659 0 183122 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 745604 KiB
Current children cumulated memory: 600500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.15 4.12 4.09 4/256 16734
/proc/meminfo: memFree=112257248/131524600 swapFree=131071996/131071996
[pid=14654] ppid=14650 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/14654/stat : 14654 (naps-1.03.sh) S 14650 14654 14585 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1792742 10170368 675 134679101440 94806508855296 94806509934616 140736779291840 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94806512033072 94806512080260 94806522355712 140736779297759 140736779297888 140736779297888 140736779304904 0
/proc/14654/statm: 2483 675 597 264 0 134 0
[pid=14660] ppid=14654 vsize=736152 memory=614568 CPUtime=3600.04 cores=1,3
/proc/14660/stat : 14660 (naps-1.03a2) R 14654 14654 14585 0 -1 4194304 133732 0 0 0 359852 152 0 0 20 0 1 0 1792742 753819648 153642 134679101440 4194304 6891597 140734608185024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37699584 140734608192490 140734608192608 140734608192608 140734608199625 0
/proc/14660/statm: 184038 153642 468 659 0 183242 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 746084 KiB
Current children cumulated memory: 617268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 14654 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000885 s, system=0.002061 s
[startup+3610.02 s]
# the end of solver process 14660 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.53 s, system=1.53779 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): 3610.02
CPU time (s): 3600.07
CPU user time (s): 3598.53
CPU system time (s): 1.53779
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 1090252
Max. memory (cumulated for all children) (KiB): 827244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.53
system time used= 1.53779
maximum resident set size= 862988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134194
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= 111
involuntary context switches= 4736
# summary of solver processes directly reported to runsolver:
# pid: 14654,14660
# total CPU time (s): 3600.07
# total CPU user time (s): 3598.53
# total CPU system time (s): 1.53779
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04213 second user time and 19.0742 second system time
The end
Begin job on nodeC034 at 2024-07-30 17:04:44 IDJOB=4463811 IDBENCH=143167 IDSOLVER=3091 FILE ID=nodeC034/4463811-1722351884 RUNJOBID= nodeC034-1722351884-14597 SLURM_JOB_ID= 8249019 Free space on /tmp= 890072 MiB SOLVER NAME= NaPS-GM 1.03a2 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463811-1722351884/watcher-4463811-1722351884 -o /tmp/evaluation-result-4463811-1722351884/solver-4463811-1722351884 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722351884-14597 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463811-1722351884.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9b60ab1c395a8a4ea9e1c58e7ae4b4ea RANDOM SEED=1887606450 nodeC034.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 : 3634.502 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.51 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 : 3668.595 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 : 7005.49 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 : 3651.620 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.51 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 : 3667.773 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 : 7005.49 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 : 3613.721 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.51 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 : 3600.204 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 : 7005.49 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 : 3323.505 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.51 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 : 3668.352 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 : 7005.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129819132 kB MemAvailable: 129852684 kB Buffers: 60280 kB Cached: 809212 kB SwapCached: 0 kB Active: 188324 kB Inactive: 1050296 kB Active(anon): 1436 kB Inactive(anon): 389076 kB Active(file): 186888 kB Inactive(file): 661220 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 15820 kB Writeback: 24 kB AnonPages: 367564 kB Mapped: 89688 kB Shmem: 21336 kB KReclaimable: 50536 kB Slab: 129980 kB SReclaimable: 50536 kB SUnreclaim: 79444 kB KernelStack: 4060 kB PageTables: 9224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 692812 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8992 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 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: 185044 kB DirectMap2M: 5879808 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 890060 MiB End job on nodeC034 at 2024-07-30 18:04:55