Trace number 4437569

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-LSMabP+Exact 2024-07-11SAT21 3586.8 3596.05

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM529ae296d86301d65a8fd4e36abb4ed9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark90.3129
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3586.73/3596.04	o 667
3586.73/3596.04	o 667
3586.73/3596.04	o 667
3586.73/3596.04	o 667
3586.73/3596.04	o 667
3586.73/3596.04	o 667
3586.73/3596.04	o 667
3586.73/3596.04	o 667
3586.73/3596.04	o 667
3586.73/3596.04	o 31
3586.73/3596.04	o 30
3586.73/3596.04	o 29
3586.73/3596.04	o 28
3586.73/3596.04	o 27
3586.73/3596.04	o 26
3586.73/3596.04	o 25
3586.73/3596.04	o 24
3586.73/3596.04	o 24
3586.73/3596.04	o 23
3586.73/3596.04	o 23
3586.73/3596.04	o 23
3586.73/3596.04	o 22
3586.73/3596.04	o 22
3586.73/3596.04	o 21
3586.73/3596.04	o 21
3586.73/3596.04	c Program interrupted by user.
3586.73/3596.04	s SATISFIABLE
3586.73/3596.04	v x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2412 x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x2650 x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 x2819 -x2820 -x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 x3277 x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 x3497 x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 x3902 -x3903 -x3904 x3905 -x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 x3956 x3957 x3958 -x3959 -x3960 x3961 -x3962 x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 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 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 x5273 -x5274 x5275 -x5276 -x5277 x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 x5308 x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 x5357 -x5358 -x5359 x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 x5369 -x5370 x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 x5389 x5390 -x5391 x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 x5399 -x5400 x5401 -x5402 -x5403 x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 x5659 x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 -x5793 -x5794 -x5795 x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 x5876 -x5877 x5878 -x5879 x5880 -x5881 -x5882 x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 x5916 -x5917 x5918 -x5919 -x5920 -x5921 -x5922 x5923 -x5924 x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 x5942 -x5943 x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 x5956 -x5957 -x5958 x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 x5982 -x5983 x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 x6005 x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076

Verifier Data 

OK	21

Watcher Data 

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: 64059 MiB (63096 MiB free)
  memory of node 1: 64510 MiB (60448 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437569-1722973069/watcher-4437569-1722973069 -o /tmp/evaluation-result-4437569-1722973069/solver-4437569-1722973069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722971270-336975 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437569-1722973069.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64

solver pid=338108, runsolver pid=338105
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 4.22 4.12 3.91 5/246 338112
/proc/meminfo: memFree=126498808/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 63903869 10170368 683 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 683 605 264 0 134 0
[pid=338111] ppid=338108 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/338111/stat : 338111 (timeout) S 338108 338111 336962 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63903870 8867840 255 134679101440 94207946874880 94207946909896 140720337170496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94207949007312 94207949009444 94207959998464 140720337179687 140720337179809 140720337179809 140720337186791 0
/proc/338111/statm: 2165 255 230 9 0 87 0
[pid=338112] ppid=338111 vsize=21660 memory=8888 CPUtime=0.1 cores=5,7
/proc/338112/stat : 338112 (LS-MabP) R 338111 338111 336962 0 -1 4194304 958 0 0 0 10 0 0 0 20 0 1 0 63903870 22179840 2222 134679101440 4194304 15467897 140732646610224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28782592 140732646614075 140732646614184 140732646614184 140732646621166 0
/proc/338112/statm: 5415 2222 1073 2753 0 2068 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40252 KiB
Current children cumulated memory: 12640 KiB

[startup+0.212607 s]*
/proc/loadavg: 4.22 4.12 3.91 5/246 338112
/proc/meminfo: memFree=126497608/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 63903869 10170368 683 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 683 605 264 0 134 0
[pid=338111] ppid=338108 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/338111/stat : 338111 (timeout) S 338108 338111 336962 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63903870 8867840 255 134679101440 94207946874880 94207946909896 140720337170496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94207949007312 94207949009444 94207959998464 140720337179687 140720337179809 140720337179809 140720337186791 0
/proc/338111/statm: 2165 255 230 9 0 87 0
[pid=338112] ppid=338111 vsize=22948 memory=9732 CPUtime=0.21 cores=5,7
/proc/338112/stat : 338112 (LS-MabP) R 338111 338111 336962 0 -1 4194304 1435 0 0 0 21 0 0 0 20 0 1 0 63903870 23498752 2433 134679101440 4194304 15467897 140732646610224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28782592 140732646614075 140732646614184 140732646614184 140732646621166 0
/proc/338112/statm: 5737 2433 1073 2753 0 2390 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41540 KiB
Current children cumulated memory: 13484 KiB

[startup+0.31249 s]*
/proc/loadavg: 4.22 4.12 3.91 5/246 338112
/proc/meminfo: memFree=126487408/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 63903869 10170368 683 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 683 605 264 0 134 0
[pid=338111] ppid=338108 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/338111/stat : 338111 (timeout) S 338108 338111 336962 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63903870 8867840 255 134679101440 94207946874880 94207946909896 140720337170496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94207949007312 94207949009444 94207959998464 140720337179687 140720337179809 140720337179809 140720337186791 0
/proc/338111/statm: 2165 255 230 9 0 87 0
[pid=338112] ppid=338111 vsize=33044 memory=20200 CPUtime=0.3 cores=5,7
/proc/338112/stat : 338112 (LS-MabP) R 338111 338111 336962 0 -1 4194304 4765 0 0 0 30 0 0 0 20 0 1 0 63903870 33837056 5050 134679101440 4194304 15467897 140732646610224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28782592 140732646614075 140732646614184 140732646614184 140732646621166 0
/proc/338112/statm: 8261 5050 1105 2753 0 4914 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51636 KiB
Current children cumulated memory: 23952 KiB

[startup+0.700414 s]
/proc/loadavg: 4.22 4.12 3.91 5/243 338123
/proc/meminfo: memFree=126542084/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 63903869 10170368 683 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 683 605 264 0 134 0
[pid=338111] ppid=338108 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/338111/stat : 338111 (timeout) S 338108 338111 336962 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63903870 8867840 255 134679101440 94207946874880 94207946909896 140720337170496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94207949007312 94207949009444 94207959998464 140720337179687 140720337179809 140720337179809 140720337186791 0
/proc/338111/statm: 2165 255 230 9 0 87 0
[pid=338112] ppid=338111 vsize=33044 memory=20200 CPUtime=0.68 cores=5,7
/proc/338112/stat : 338112 (LS-MabP) R 338111 338111 336962 0 -1 4194304 4768 0 0 0 68 0 0 0 20 0 1 0 63903870 33837056 5050 134679101440 4194304 15467897 140732646610224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28782592 140732646614075 140732646614184 140732646614184 140732646621166 0
/proc/338112/statm: 8261 5050 1105 2753 0 4914 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51636 KiB
Current children cumulated memory: 23952 KiB

[startup+1.50042 s]
/proc/loadavg: 4.22 4.12 3.91 5/239 338159
/proc/meminfo: memFree=126535808/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 63903869 10170368 683 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 683 605 264 0 134 0
[pid=338111] ppid=338108 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/338111/stat : 338111 (timeout) S 338108 338111 336962 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63903870 8867840 255 134679101440 94207946874880 94207946909896 140720337170496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94207949007312 94207949009444 94207959998464 140720337179687 140720337179809 140720337179809 140720337186791 0
/proc/338111/statm: 2165 255 230 9 0 87 0
[pid=338112] ppid=338111 vsize=39496 memory=26380 CPUtime=1.48 cores=5,7
/proc/338112/stat : 338112 (LS-MabP) R 338111 338111 336962 0 -1 4194304 8389 0 0 0 146 2 0 0 20 0 1 0 63903870 40443904 6595 134679101440 4194304 15467897 140732646610224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28782592 140732646614075 140732646614184 140732646614184 140732646621166 0
/proc/338112/statm: 9874 6595 1153 2753 0 6527 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58088 KiB
Current children cumulated memory: 30132 KiB

[startup+3.11372 s]
/proc/loadavg: 4.22 4.12 3.91 5/247 338172
/proc/meminfo: memFree=126515060/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 63903869 10170368 683 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 683 605 264 0 134 0
[pid=338111] ppid=338108 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/338111/stat : 338111 (timeout) S 338108 338111 336962 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63903870 8867840 255 134679101440 94207946874880 94207946909896 140720337170496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94207949007312 94207949009444 94207959998464 140720337179687 140720337179809 140720337179809 140720337186791 0
/proc/338111/statm: 2165 255 230 9 0 87 0
[pid=338112] ppid=338111 vsize=39496 memory=26448 CPUtime=3.08 cores=5,7
/proc/338112/stat : 338112 (LS-MabP) R 338111 338111 336962 0 -1 4194304 9157 0 0 0 304 4 0 0 20 0 1 0 63903870 40443904 6612 134679101440 4194304 15467897 140732646610224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28782592 140732646614075 140732646614184 140732646614184 140732646621166 0
/proc/338112/statm: 9874 6612 1169 2753 0 6527 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58088 KiB
Current children cumulated memory: 30200 KiB

[startup+6.30041 s]
/proc/loadavg: 4.20 4.11 3.91 5/247 338174
/proc/meminfo: memFree=126511704/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 63903869 10170368 683 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 683 605 264 0 134 0
[pid=338111] ppid=338108 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/338111/stat : 338111 (timeout) S 338108 338111 336962 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63903870 8867840 255 134679101440 94207946874880 94207946909896 140720337170496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94207949007312 94207949009444 94207959998464 140720337179687 140720337179809 140720337179809 140720337186791 0
/proc/338111/statm: 2165 255 230 9 0 87 0
[pid=338112] ppid=338111 vsize=39496 memory=26448 CPUtime=6.27 cores=5,7
/proc/338112/stat : 338112 (LS-MabP) R 338111 338111 336962 0 -1 4194304 12225 0 0 0 617 10 0 0 20 0 1 0 63903870 40443904 6612 134679101440 4194304 15467897 140732646610224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28782592 140732646614075 140732646614184 140732646614184 140732646621166 0
/proc/338112/statm: 9874 6612 1169 2753 0 6527 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 58088 KiB
Current children cumulated memory: 30200 KiB

[startup+12.7004 s]
/proc/loadavg: 4.26 4.13 3.91 5/247 338174
/proc/meminfo: memFree=126511320/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 63903869 10170368 683 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 683 605 264 0 134 0
[pid=338111] ppid=338108 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/338111/stat : 338111 (timeout) S 338108 338111 336962 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63903870 8867840 255 134679101440 94207946874880 94207946909896 140720337170496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94207949007312 94207949009444 94207959998464 140720337179687 140720337179809 140720337179809 140720337186791 0
/proc/338111/statm: 2165 255 230 9 0 87 0
[pid=338112] ppid=338111 vsize=39496 memory=26448 CPUtime=12.66 cores=5,7
/proc/338112/stat : 338112 (LS-MabP) R 338111 338111 336962 0 -1 4194304 12225 0 0 0 1246 20 0 0 20 0 1 0 63903870 40443904 6612 134679101440 4194304 15467897 140732646610224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28782592 140732646614075 140732646614184 140732646614184 140732646621166 0
/proc/338112/statm: 9874 6612 1169 2753 0 6527 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 58088 KiB
Current children cumulated memory: 30200 KiB

[startup+25.5005 s]
/proc/loadavg: 4.21 4.12 3.92 5/247 338177
/proc/meminfo: memFree=126396532/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 63903869 10170368 683 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 683 605 264 0 134 0
[pid=338111] ppid=338108 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/338111/stat : 338111 (timeout) S 338108 338111 336962 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63903870 8867840 255 134679101440 94207946874880 94207946909896 140720337170496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94207949007312 94207949009444 94207959998464 140720337179687 140720337179809 140720337179809 140720337186791 0
/proc/338111/statm: 2165 255 230 9 0 87 0
[pid=338112] ppid=338111 vsize=39496 memory=26448 CPUtime=25.42 cores=5,7
/proc/338112/stat : 338112 (LS-MabP) R 338111 338111 336962 0 -1 4194304 12225 0 0 0 2504 38 0 0 20 0 1 0 63903870 40443904 6612 134679101440 4194304 15467897 140732646610224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28782592 140732646614075 140732646614184 140732646614184 140732646621166 0
/proc/338112/statm: 9874 6612 1169 2753 0 6527 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 58088 KiB
Current children cumulated memory: 30200 KiB

[startup+51.1129 s]
/proc/loadavg: 4.21 4.13 3.92 5/247 338182
/proc/meminfo: memFree=126324024/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 63903869 10170368 683 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 683 605 264 0 134 0
[pid=338111] ppid=338108 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/338111/stat : 338111 (timeout) S 338108 338111 336962 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63903870 8867840 255 134679101440 94207946874880 94207946909896 140720337170496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94207949007312 94207949009444 94207959998464 140720337179687 140720337179809 140720337179809 140720337186791 0
/proc/338111/statm: 2165 255 230 9 0 87 0
[pid=338112] ppid=338111 vsize=39496 memory=26448 CPUtime=50.99 cores=5,7
/proc/338112/stat : 338112 (LS-MabP) R 338111 338111 336962 0 -1 4194304 12225 0 0 0 5027 72 0 0 20 0 1 0 63903870 40443904 6612 134679101440 4194304 15467897 140732646610224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28782592 140732646614075 140732646614184 140732646614184 140732646621166 0
/proc/338112/statm: 9874 6612 1169 2753 0 6527 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 58088 KiB
Current children cumulated memory: 30200 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.12 3.93 5/247 338191
/proc/meminfo: memFree=126314832/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 63903869 10170368 683 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0

################
# More data... #
################

/proc/339131/statm: 33617 30829 820 745 0 32682 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 153060 KiB
Current children cumulated memory: 127128 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/247 340104
/proc/meminfo: memFree=116137952/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2776 CPUtime=1794 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 267 14252 0 0 0 0 176915 2485 20 0 1 0 63903869 10170368 694 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 694 605 264 0 134 0
[pid=339130] ppid=338108 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/339130/stat : 339130 (timeout) S 338108 339130 336962 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64083671 8867840 259 134679101440 94157534584832 94157534619848 140731765714736 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94157536717264 94157536719396 94157563080704 140731765720056 140731765720225 140731765720225 140731765727207 0
/proc/339130/statm: 2165 259 234 9 0 87 0
[pid=339131] ppid=339130 vsize=134764 memory=123576 CPUtime=1659.35 cores=5,7
/proc/339131/stat : 339131 (Exact) R 339130 339130 336962 0 -1 4194304 19763 0 0 0 165929 6 0 0 20 0 1 0 64083672 137998336 30894 134679101440 4194304 7243121 140721086007984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 14188544 140721086010388 140721086010538 140721086010538 140721086017520 0
/proc/339131/statm: 33691 30894 820 745 0 32756 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 127388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/247 340116
/proc/meminfo: memFree=115540580/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2776 CPUtime=1794 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 267 14252 0 0 0 0 176915 2485 20 0 1 0 63903869 10170368 694 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 694 605 264 0 134 0
[pid=339130] ppid=338108 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/339130/stat : 339130 (timeout) S 338108 339130 336962 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64083671 8867840 259 134679101440 94157534584832 94157534619848 140731765714736 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94157536717264 94157536719396 94157563080704 140731765720056 140731765720225 140731765720225 140731765727207 0
/proc/339130/statm: 2165 259 234 9 0 87 0
[pid=339131] ppid=339130 vsize=134764 memory=123800 CPUtime=1719.2 cores=5,7
/proc/339131/stat : 339131 (Exact) R 339130 339130 336962 0 -1 4194304 19822 0 0 0 171914 6 0 0 20 0 1 0 64083672 137998336 30950 134679101440 4194304 7243121 140721086007984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 14188544 140721086010388 140721086010538 140721086010538 140721086017520 0
/proc/339131/statm: 33691 30950 820 745 0 32756 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 127612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/247 340126
/proc/meminfo: memFree=115020576/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2776 CPUtime=1794 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 267 14252 0 0 0 0 176915 2485 20 0 1 0 63903869 10170368 694 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 694 605 264 0 134 0
[pid=339130] ppid=338108 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/339130/stat : 339130 (timeout) S 338108 339130 336962 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64083671 8867840 259 134679101440 94157534584832 94157534619848 140731765714736 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94157536717264 94157536719396 94157563080704 140731765720056 140731765720225 140731765720225 140731765727207 0
/proc/339130/statm: 2165 259 234 9 0 87 0
[pid=339131] ppid=339130 vsize=134764 memory=123808 CPUtime=1779.06 cores=5,7
/proc/339131/stat : 339131 (Exact) R 339130 339130 336962 0 -1 4194304 19867 0 0 0 177900 6 0 0 20 0 1 0 64083672 137998336 30952 134679101440 4194304 7243121 140721086007984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 14188544 140721086010388 140721086010538 140721086010538 140721086017520 0
/proc/339131/statm: 33691 30952 820 745 0 32756 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 127620 KiB

[startup+3596.05 s]
# the end of solver process 338108 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3561.86 s, system=24.9429 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.16 4.13 4.11 5/247 340126
/proc/meminfo: memFree=115016624/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2776 CPUtime=1794 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 267 14252 0 0 0 0 176915 2485 20 0 1 0 63903869 10170368 694 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 694 605 264 0 134 0
[pid=339130] ppid=338108 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/339130/stat : 339130 (timeout) S 338108 339130 336962 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64083671 8867840 259 134679101440 94157534584832 94157534619848 140731765714736 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94157536717264 94157536719396 94157563080704 140731765720056 140731765720225 140731765720225 140731765727207 0
/proc/339130/statm: 2165 259 234 9 0 87 0
[pid=339131] ppid=339130 vsize=134764 memory=123808 CPUtime=1780.76 cores=5,7
/proc/339131/stat : 339131 (Exact) R 339130 339130 336962 0 -1 4194304 19867 0 0 0 178070 6 0 0 20 0 1 0 64083672 137998336 30952 134679101440 4194304 7243121 140721086007984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 14188544 140721086010388 140721086010538 140721086010538 140721086017520 0
/proc/339131/statm: 33691 30952 820 745 0 32756 0
Current children cumulated CPU time: 3574.76 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 127620 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.10 5/247 340127
/proc/meminfo: memFree=114987476/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2776 CPUtime=1794 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 267 14252 0 0 0 0 176915 2485 20 0 1 0 63903869 10170368 694 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 694 605 264 0 134 0
[pid=339130] ppid=338108 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/339130/stat : 339130 (timeout) S 338108 339130 336962 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64083671 8867840 259 134679101440 94157534584832 94157534619848 140731765714736 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94157536717264 94157536719396 94157563080704 140731765720056 140731765720225 140731765720225 140731765727207 0
/proc/339130/statm: 2165 259 234 9 0 87 0
[pid=339131] ppid=339130 vsize=134764 memory=123808 CPUtime=1787.14 cores=5,7
/proc/339131/stat : 339131 (Exact) R 339130 339130 336962 0 -1 4194304 19868 0 0 0 178708 6 0 0 20 0 1 0 64083672 137998336 30952 134679101440 4194304 7243121 140721086007984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 14188544 140721086010388 140721086010538 140721086010538 140721086017520 0
/proc/339131/statm: 33691 30952 820 745 0 32756 0
Current children cumulated CPU time: 3581.14 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 127620 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.10 5/247 340127
/proc/meminfo: memFree=114987476/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2776 CPUtime=1794 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 267 14252 0 0 0 0 176915 2485 20 0 1 0 63903869 10170368 694 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 694 605 264 0 134 0
[pid=339130] ppid=338108 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/339130/stat : 339130 (timeout) S 338108 339130 336962 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64083671 8867840 259 134679101440 94157534584832 94157534619848 140731765714736 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94157536717264 94157536719396 94157563080704 140731765720056 140731765720225 140731765720225 140731765727207 0
/proc/339130/statm: 2165 259 234 9 0 87 0
[pid=339131] ppid=339130 vsize=134764 memory=123808 CPUtime=1790.33 cores=5,7
/proc/339131/stat : 339131 (Exact) R 339130 339130 336962 0 -1 4194304 19868 0 0 0 179027 6 0 0 20 0 1 0 64083672 137998336 30952 134679101440 4194304 7243121 140721086007984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 14188544 140721086010388 140721086010538 140721086010538 140721086017520 0
/proc/339131/statm: 33691 30952 820 745 0 32756 0
Current children cumulated CPU time: 3584.33 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 127620 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.12 4.10 5/247 340127
/proc/meminfo: memFree=114985176/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2776 CPUtime=1794 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 267 14252 0 0 0 0 176915 2485 20 0 1 0 63903869 10170368 694 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 694 605 264 0 134 0
[pid=339130] ppid=338108 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/339130/stat : 339130 (timeout) S 338108 339130 336962 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64083671 8867840 259 134679101440 94157534584832 94157534619848 140731765714736 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94157536717264 94157536719396 94157563080704 140731765720056 140731765720225 140731765720225 140731765727207 0
/proc/339130/statm: 2165 259 234 9 0 87 0
[pid=339131] ppid=339130 vsize=134764 memory=123808 CPUtime=1791.92 cores=5,7
/proc/339131/stat : 339131 (Exact) R 339130 339130 336962 0 -1 4194304 19869 0 0 0 179186 6 0 0 20 0 1 0 64083672 137998336 30952 134679101440 4194304 7243121 140721086007984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 14188544 140721086010388 140721086010538 140721086010538 140721086017520 0
/proc/339131/statm: 33691 30952 820 745 0 32756 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 127620 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.12 4.10 5/247 340127
/proc/meminfo: memFree=114985176/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2776 CPUtime=1794 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 267 14252 0 0 0 0 176915 2485 20 0 1 0 63903869 10170368 694 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 694 605 264 0 134 0
[pid=339130] ppid=338108 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/339130/stat : 339130 (timeout) S 338108 339130 336962 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64083671 8867840 259 134679101440 94157534584832 94157534619848 140731765714736 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94157536717264 94157536719396 94157563080704 140731765720056 140731765720225 140731765720225 140731765727207 0
/proc/339130/statm: 2165 259 234 9 0 87 0
[pid=339131] ppid=339130 vsize=134764 memory=123808 CPUtime=1792.33 cores=5,7
/proc/339131/stat : 339131 (Exact) R 339130 339130 336962 0 -1 4194304 19869 0 0 0 179227 6 0 0 20 0 1 0 64083672 137998336 30952 134679101440 4194304 7243121 140721086007984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 14188544 140721086010388 140721086010538 140721086010538 140721086017520 0
/proc/339131/statm: 33691 30952 820 745 0 32756 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 127620 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.12 4.10 5/242 340165
/proc/meminfo: memFree=115141872/131655788 swapFree=131071996/131071996
[pid=338108] ppid=338105 vsize=9932 memory=2776 CPUtime=1794 cores=5,7
/proc/338108/stat : 338108 (Hybrid-LSMabP+E) S 338105 338108 336962 0 -1 4194304 267 14252 0 0 0 0 176915 2485 20 0 1 0 63903869 10170368 694 134679101440 94813320384512 94813321463832 140730522626176 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94813323562288 94813323609476 94813340598272 140730522629102 140730522629247 140730522629247 140730522636258 0
/proc/338108/statm: 2483 694 605 264 0 134 0
[pid=339130] ppid=338108 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/339130/stat : 339130 (timeout) S 338108 339130 336962 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64083671 8867840 259 134679101440 94157534584832 94157534619848 140731765714736 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94157536717264 94157536719396 94157563080704 140731765720056 140731765720225 140731765720225 140731765727207 0
/proc/339130/statm: 2165 259 234 9 0 87 0
[pid=339131] ppid=339130 vsize=134764 memory=123808 CPUtime=1792.73 cores=5,7
/proc/339131/stat : 339131 (Exact) R 339130 339130 336962 0 -1 4194304 19869 0 0 0 179267 6 0 0 20 0 1 0 64083672 137998336 30952 134679101440 4194304 7243121 140721086007984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 14188544 140721086010388 140721086010538 140721086010538 140721086017520 0
/proc/339131/statm: 33691 30952 820 745 0 32756 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 127620 KiB

Child status: 0

Real time (s): 3596.05
CPU time (s): 3586.8
CPU user time (s): 3561.86
CPU system time (s): 24.9429
CPU usage (%): 99.7429
Max. virtual memory (cumulated for all children) (KiB): 153356
Max. memory (cumulated for all children) (KiB): 127620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.86
system time used= 24.9429
maximum resident set size= 123808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37541
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107
involuntary context switches= 1619


# summary of solver processes directly reported to runsolver:
#   pid: 338108
#   total CPU time (s): 3586.8
#   total CPU user time (s): 3561.86
#   total CPU system time (s): 24.9429

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2129 second user time and 37.2444 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-08-06 21:37:49
IDJOB=4437569
IDBENCH=148194
IDSOLVER=3071
FILE ID=nodeC010/4437569-1722973069
RUNJOBID= nodeC010-1722971270-336975
SLURM_JOB_ID= 8259063
Free space on /tmp= 723716 MiB

SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437569-1722973069/watcher-4437569-1722973069 -o /tmp/evaluation-result-4437569-1722973069/solver-4437569-1722973069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722971270-336975 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437569-1722973069.opb 3600 HOME 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=1593725287

nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1621.869
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3664.150
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.140
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.245
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3660.259
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1447.279
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.312
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.126
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126514324 kB
MemAvailable:   129886376 kB
Buffers:          346508 kB
Cached:          3876676 kB
SwapCached:            0 kB
Active:           650716 kB
Inactive:        4008072 kB
Active(anon):       1988 kB
Inactive(anon):   479496 kB
Active(file):     648728 kB
Inactive(file):  3528576 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             43260 kB
Writeback:             0 kB
AnonPages:        435636 kB
Mapped:           113772 kB
Shmem:             45888 kB
KReclaimable:      69556 kB
Slab:             155688 kB
SReclaimable:      69556 kB
SUnreclaim:        86132 kB
KernelStack:        3856 kB
PageTables:         9956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     817348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            24160 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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:      248648 kB
DirectMap2M:    22724608 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723700 MiB
End job on nodeC010 at 2024-08-06 22:37:46