0.00/0.07	o 241
0.00/0.07	o 240
0.00/0.08	o 239
0.00/0.09	o 238
0.09/0.13	o 237
0.09/0.16	o 236
0.09/0.18	o 235
0.09/0.20	o 234
0.20/0.21	o 233
0.20/0.22	o 230
0.20/0.24	o 229
0.20/0.26	o 228
0.20/0.27	o 227
0.20/0.30	o 226
0.40/0.46	o 225
0.40/0.47	o 224
0.40/0.49	o 223
0.40/0.50	o 222
0.50/0.51	o 221
0.50/0.53	o 220
0.50/0.54	o 219
0.50/0.55	o 218
1.09/1.17	o 217
1.18/1.20	o 216
1.18/1.22	o 215
1.18/1.24	o 214
1.18/1.25	o 213
1.18/1.27	o 212
1.18/1.28	o 211
1.29/1.31	o 210
1.29/1.33	o 209
1.29/1.35	o 208
1.29/1.38	o 207
1.38/1.41	o 206
1.38/1.44	o 205
1.49/1.54	o 204
1.59/1.61	o 203
1.79/1.81	o 202
1.89/1.91	o 201
1.89/1.96	o 200
2.88/2.92	o 199
3.28/3.38	o 198
3.78/3.81	o 197
4.18/4.23	o 196
4.58/4.63	o 195
7.57/7.63	o 194
7.67/7.76	o 193
16.25/16.36	o 192
22.83/22.98	o 191
25.03/25.16	o 190
28.82/28.98	o 189
30.12/30.27	o 188
30.72/30.87	o 187
31.02/31.11	o 186
31.02/31.19	o 185
31.11/31.26	o 184
31.21/31.31	o 183
31.21/31.37	o 182
31.92/32.04	o 181
32.51/32.63	o 180
32.81/32.95	o 179
35.01/35.13	o 178
63.23/63.45	o 177
63.23/63.47	o 176
63.23/63.48	o 175
63.33/63.55	o 174
63.33/63.58	o 173
63.94/64.13	o 172
94.86/95.11	o 171
95.06/95.30	o 170
98.45/98.77	o 169
114.10/114.41	o 168
145.83/146.25	o 167
187.11/187.69	o 166
187.61/188.13	o 165
200.97/201.50	o 164
211.13/211.76	o 163
212.73/213.40	o 162
300.86/301.71	o 161
345.42/346.41	o 160
389.68/390.86	o 159
422.80/424.10	o 158
464.86/466.25	o 157
464.86/466.27	o 156
466.15/467.52	o 155
502.05/503.52	o 154
506.84/508.34	o 153
514.91/516.41	o 152
588.58/590.32	o 151
611.51/613.30	o 150
612.10/613.94	o 149
659.76/661.78	o 148
787.27/789.65	o 147
790.56/792.94	o 146
799.43/801.89	o 145
1141.50/1144.95	o 144
1200.82/1204.45	o 143
1475.60/1480.01	o 142
1476.99/1481.42	o 141
1476.99/1481.45	o 140
1671.51/1676.59	o 139
1836.22/1841.73	o 138
2214.28/2220.98	o 137
2779.29/2787.31	o 136
3600.03/3610.00	c Program interrupted by user.
3600.03/3610.00	s SATISFIABLE
3600.03/3610.00	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -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

OK	136

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61357 MiB free)
  memory of node 1: 64510 MiB (60686 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433411-1721100611/watcher-4433411-1721100611 -o /tmp/evaluation-result-4433411-1721100611/solver-4433411-1721100611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721093336-835404 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1942840536 HOME/instance-4433411-1721100611.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=839790, runsolver pid=839787
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 4.11 4.09 4.11 5/260 839791
/proc/meminfo: memFree=124946532/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=46756 memory=29648 CPUtime=0.09 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 6182 0 0 0 8 1 0 0 20 0 1 0 162220234 47878144 7412 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 11689 7412 835 746 0 10753 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46756 KiB
Current children cumulated memory: 29648 KiB

[startup+0.205643 s]*
/proc/loadavg: 4.11 4.09 4.11 5/260 839791
/proc/meminfo: memFree=124935968/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=53104 memory=40072 CPUtime=0.2 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 7771 0 0 0 18 2 0 0 20 0 1 0 162220234 54378496 10018 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 13276 10018 835 746 0 12340 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53104 KiB
Current children cumulated memory: 40072 KiB

[startup+0.305604 s]*
/proc/loadavg: 4.11 4.09 4.11 5/260 839791
/proc/meminfo: memFree=124923472/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=60892 memory=50036 CPUtime=0.3 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 9743 0 0 0 28 2 0 0 20 0 1 0 162220234 62353408 12509 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 15223 12509 835 746 0 14287 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60892 KiB
Current children cumulated memory: 50036 KiB

[startup+0.700228 s]
/proc/loadavg: 4.11 4.09 4.11 5/260 839791
/proc/meminfo: memFree=124916912/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=79244 memory=72604 CPUtime=0.69 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 14320 0 0 0 66 3 0 0 20 0 1 0 162220234 81145856 18151 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 19811 18151 835 746 0 18875 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79244 KiB
Current children cumulated memory: 72604 KiB

[startup+1.50023 s]
/proc/loadavg: 4.11 4.09 4.11 5/260 839793
/proc/meminfo: memFree=124894260/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=130848 memory=119772 CPUtime=1.49 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 23315 0 0 0 144 5 0 0 20 0 1 0 162220234 133988352 29943 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 32712 29943 835 746 0 31776 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 130848 KiB
Current children cumulated memory: 119772 KiB

[startup+3.10548 s]
/proc/loadavg: 4.10 4.09 4.11 5/260 839793
/proc/meminfo: memFree=124803396/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=158764 memory=140604 CPUtime=3.09 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 25854 0 0 0 303 6 0 0 20 0 1 0 162220234 162574336 35151 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 39691 35151 835 746 0 38755 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 158764 KiB
Current children cumulated memory: 140604 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.09 4.11 5/260 839793
/proc/meminfo: memFree=124772276/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=158764 memory=140604 CPUtime=6.27 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 25878 0 0 0 621 6 0 0 20 0 1 0 162220234 162574336 35151 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 39691 35151 835 746 0 38755 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 158764 KiB
Current children cumulated memory: 140604 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.11 5/260 839850
/proc/meminfo: memFree=124657268/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=257572 memory=217192 CPUtime=12.66 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 37869 0 0 0 1256 10 0 0 20 0 1 0 162220234 263753728 54298 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 64393 54298 835 746 0 63457 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 257572 KiB
Current children cumulated memory: 217192 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.11 5/258 839853
/proc/meminfo: memFree=124253700/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=333496 memory=260924 CPUtime=25.43 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 42848 0 0 0 2530 13 0 0 20 0 1 0 162220234 341499904 65231 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 83374 65231 835 746 0 82438 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 333496 KiB
Current children cumulated memory: 260924 KiB

[startup+51.1055 s]
/proc/loadavg: 4.15 4.11 4.11 5/258 839857
/proc/meminfo: memFree=123918164/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=461908 memory=409988 CPUtime=50.97 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 66957 0 0 0 5078 19 0 0 20 0 1 0 162220234 472993792 102497 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 115477 102497 835 746 0 114541 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 461908 KiB
Current children cumulated memory: 409988 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/258 839866
/proc/meminfo: memFree=123606460/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=487592 memory=435968 CPUtime=102.04 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 73629 0 0 0 10183 21 0 0 20 0 1 0 162220234 499294208 108992 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 121898 108992 835 746 0 120962 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 487592 KiB
Current children cumulated memory: 435968 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.12 4.11 5/258 840015
/proc/meminfo: memFree=124475596/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=498540 memory=446664 CPUtime=161.88 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 76446 0 0 0 16166 22 0 0 20 0 1 0 162220234 510504960 111666 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 124635 111666 835 746 0 123699 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 498540 KiB
Current children cumulated memory: 446664 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/256 840026
/proc/meminfo: memFree=124234708/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=624400 memory=486512 CPUtime=221.7 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 79897 0 0 0 22144 26 0 0 20 0 1 0 162220234 639385600 121628 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 156100 121628 835 746 0 155164 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 624400 KiB
Current children cumulated memory: 486512 KiB

[startup+282.3 s]
/proc/loadavg: 4.49 4.21 4.13 5/256 840037
/proc/meminfo: memFree=124226940/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=629004 memory=492468 CPUtime=281.52 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 81479 0 0 0 28125 27 0 0 20 0 1 0 162220234 644100096 123117 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 157251 123117 835 746 0 156315 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 629004 KiB
Current children cumulated memory: 492468 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 4.19 4.13 5/255 840047
/proc/meminfo: memFree=124222720/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=631440 memory=495036 CPUtime=341.34 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 82244 0 0 0 34107 27 0 0 20 0 1 0 162220234 646594560 123759 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 157860 123759 835 746 0 156924 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 631440 KiB
Current children cumulated memory: 495036 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/256 840059
/proc/meminfo: memFree=124219148/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=631760 memory=495504 CPUtime=401.15 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 82437 0 0 0 40088 27 0 0 20 0 1 0 162220234 646922240 123876 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 157940 123876 835 746 0 157004 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 631760 KiB
Current children cumulated memory: 495504 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/256 840070
/proc/meminfo: memFree=124184532/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=633744 memory=528832 CPUtime=460.97 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 86249 0 0 0 46068 29 0 0 20 0 1 0 162220234 648953856 132208 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 158436 132208 835 746 0 157500 0

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

Current children cumulated memory: 573716 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 841092
/proc/meminfo: memFree=123476564/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=655636 memory=573780 CPUtime=2854.11 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 99798 0 0 0 285369 42 0 0 20 0 1 0 162220234 671371264 143445 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 163909 143445 835 746 0 162973 0
Current children cumulated CPU time: 2854.11 s
Current children cumulated vsize: 655636 KiB
Current children cumulated memory: 573780 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/258 841102
/proc/meminfo: memFree=123475492/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=655636 memory=573780 CPUtime=2913.97 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 100007 0 0 0 291355 42 0 0 20 0 1 0 162220234 671371264 143445 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 163909 143445 835 746 0 162973 0
Current children cumulated CPU time: 2913.97 s
Current children cumulated vsize: 655636 KiB
Current children cumulated memory: 573780 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 841112
/proc/meminfo: memFree=123474328/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=656020 memory=574036 CPUtime=2973.83 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 100336 0 0 0 297341 42 0 0 20 0 1 0 162220234 671764480 143509 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 164005 143509 835 746 0 163069 0
Current children cumulated CPU time: 2973.83 s
Current children cumulated vsize: 656020 KiB
Current children cumulated memory: 574036 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 841127
/proc/meminfo: memFree=123473488/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=656020 memory=574036 CPUtime=3033.69 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 100647 0 0 0 303327 42 0 0 20 0 1 0 162220234 671764480 143509 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 164005 143509 835 746 0 163069 0
Current children cumulated CPU time: 3033.69 s
Current children cumulated vsize: 656020 KiB
Current children cumulated memory: 574036 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 841139
/proc/meminfo: memFree=123366916/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=656020 memory=574164 CPUtime=3093.54 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 100950 0 0 0 309312 42 0 0 20 0 1 0 162220234 671764480 143541 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 164005 143541 835 746 0 163069 0
Current children cumulated CPU time: 3093.54 s
Current children cumulated vsize: 656020 KiB
Current children cumulated memory: 574164 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 841149
/proc/meminfo: memFree=123365432/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=656788 memory=574656 CPUtime=3153.4 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 101374 0 0 0 315298 42 0 0 20 0 1 0 162220234 672550912 143664 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 164197 143664 835 746 0 163261 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 656788 KiB
Current children cumulated memory: 574656 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 841161
/proc/meminfo: memFree=123364604/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=656788 memory=574804 CPUtime=3213.26 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 101636 0 0 0 321284 42 0 0 20 0 1 0 162220234 672550912 143701 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 164197 143701 835 746 0 163261 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 656788 KiB
Current children cumulated memory: 574804 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.16 4.11 5/258 841172
/proc/meminfo: memFree=123363480/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=657044 memory=575060 CPUtime=3273.11 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 101962 0 0 0 327269 42 0 0 20 0 1 0 162220234 672813056 143765 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 164261 143765 835 746 0 163325 0
Current children cumulated CPU time: 3273.11 s
Current children cumulated vsize: 657044 KiB
Current children cumulated memory: 575060 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/258 841568
/proc/meminfo: memFree=123463984/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=657492 memory=575408 CPUtime=3332.96 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 102352 0 0 0 333254 42 0 0 20 0 1 0 162220234 673271808 143852 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 164373 143852 835 746 0 163437 0
Current children cumulated CPU time: 3332.96 s
Current children cumulated vsize: 657492 KiB
Current children cumulated memory: 575408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 841578
/proc/meminfo: memFree=123463668/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=657492 memory=575508 CPUtime=3392.82 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 102612 0 0 0 339240 42 0 0 20 0 1 0 162220234 673271808 143877 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 164373 143877 835 746 0 163437 0
Current children cumulated CPU time: 3392.82 s
Current children cumulated vsize: 657492 KiB
Current children cumulated memory: 575508 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/257 841591
/proc/meminfo: memFree=123462296/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=658196 memory=576212 CPUtime=3452.67 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 103048 0 0 0 345225 42 0 0 20 0 1 0 162220234 673992704 144053 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 164549 144053 835 746 0 163613 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 658196 KiB
Current children cumulated memory: 576212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 841771
/proc/meminfo: memFree=123460896/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=658644 memory=576656 CPUtime=3512.53 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 103379 0 0 0 351211 42 0 0 20 0 1 0 162220234 674451456 144164 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 164661 144164 835 746 0 163725 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 658644 KiB
Current children cumulated memory: 576656 KiB

[startup+3582.3 s]
/proc/loadavg: 3.28 3.91 4.02 3/245 841842
/proc/meminfo: memFree=126811960/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=658644 memory=576724 CPUtime=3572.39 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 103723 0 0 0 357197 42 0 0 20 0 1 0 162220234 674451456 144181 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 164661 144181 835 746 0 163725 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 658644 KiB
Current children cumulated memory: 576724 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 2.84 3.74 3.96 3/249 841905
/proc/meminfo: memFree=126810524/131524600 swapFree=130796056/131071996
[pid=839790] ppid=839787 vsize=658644 memory=576724 CPUtime=3600.03 cores=1,3
/proc/839790/stat : 839790 (Exact_nosoplex) R 839787 839790 835392 0 -1 4194304 103726 0 0 0 359961 42 0 0 20 0 1 0 162220234 674451456 144181 134679101440 4194304 7248369 140722919679936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13864960 140722919682988 140722919683167 140722919683167 140722919690182 0
/proc/839790/statm: 164661 144181 835 746 0 163725 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 658644 KiB
Current children cumulated memory: 576724 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.02 s]
# the end of solver process 839790 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.63 s, system=0.431794 s

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

Child status: 10

Real time (s): 3610.02
CPU time (s): 3600.06
CPU user time (s): 3599.63
CPU system time (s): 0.431794
CPU usage (%): 99.7242
Max. virtual memory (cumulated for all children) (KiB): 658644
Max. memory (cumulated for all children) (KiB): 576724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.63
system time used= 0.431794
maximum resident set size= 619936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103727
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78
involuntary context switches= 1836


# summary of solver processes directly reported to runsolver:
#   pid: 839790
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.63
#   total CPU system time (s): 0.431794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29856 second user time and 15.7512 second system time

The end

Begin job on nodeC014 at 2024-07-16 05:30:23
IDJOB=4433411
IDBENCH=147662
IDSOLVER=3061
FILE ID=nodeC014/4433411-1721100611
RUNJOBID= nodeC014-1721093336-835404
SLURM_JOB_ID= 7505593
Free space on /tmp= 890064 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433411-1721100611/watcher-4433411-1721100611 -o /tmp/evaluation-result-4433411-1721100611/solver-4433411-1721100611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721093336-835404 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1942840536 HOME/instance-4433411-1721100611.opb

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

MD5SUM BENCH= f38762496267db1df9beeeeb0c56175f
RANDOM SEED=1942840536

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124973156 kB
MemAvailable:   127681828 kB
Buffers:          331720 kB
Cached:          3183152 kB
SwapCached:        12836 kB
Active:          1053408 kB
Inactive:        4934676 kB
Active(anon):       9436 kB
Inactive(anon):  2481664 kB
Active(file):    1043972 kB
Inactive(file):  2453012 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130796056 kB
Dirty:              4772 kB
Writeback:             0 kB
AnonPages:       2464284 kB
Mapped:            56780 kB
Shmem:             17876 kB
KReclaimable:     102672 kB
Slab:             194732 kB
SReclaimable:     102672 kB
SUnreclaim:        92060 kB
KernelStack:        4176 kB
PageTables:        14900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3363464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            28640 kB
HardwareCorrupted:     0 kB
AnonHugePages:    718848 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:      191188 kB
DirectMap2M:    14262272 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC014 at 2024-07-16 06:30:34