Trace number 4461449

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 NameAnswerCPU timeWall clock time
NaPS 1.03a1Wrong Cert. 3600.03 3610.31

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
graphs/normalized-graph11reduc_wcsp.wbo
MD5SUM4f9f31b2d576e76fab744cedabc86032
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1810
Best CPU time to get the best result obtained on this benchmark3128.81
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5855
Total number of constraints283196
Number of soft constraints282856
Number of constraints which are clauses282856
Number of constraints which are cardinality constraints (but not clauses)340
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 3080
Min constraint cost 1
Max constraint cost 3080
Sum of constraints costs 64455868
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.03a1.
0.00/0.00	c Input file name: HOME/instance-4461449-1722080486.wbo
0.00/0.00	c Initial goal by soft: 3079
2.78/2.82	c single stage optimization mode
296.29/296.97	c Found but not a solution: 160970
3567.82/3578.10	c Found but not a solution: 94475
3600.01/3610.30	c 
3600.01/3610.30	c *** TERMINATED *** by signal 15
3600.01/3610.30	s SATISFIABLE
3600.01/3610.30	c _____________________________________________________________________________
3600.01/3610.30	c std/band forms        : 228,0
3600.01/3610.30	c 2cl/3cl ITE-codings   : 0,0
3600.01/3610.30	c BDD/srt/adr Max costs : 0,694,1451460
3600.01/3610.30	c BDDraw/bin/mul/srt/adr: 0,0,0,226,2
3600.01/3610.30	c BDD nodes             : 0
3600.01/3610.30	c Es1/CC detections     : 0,0
3600.01/3610.30	c CC sort               : 226
3600.01/3610.30	c SAT/UNSAT calls       : 2,0
3600.01/3610.30	c regenrated variables  : 1459
3600.01/3610.30	c eliminated fixed lits : 0
3600.01/3610.30	c goal lit flips        : 282263
3600.01/3610.30	c goal stages           : 1
3600.01/3610.30	c goal shrink           : 0
3600.01/3610.30	c goal coeff separations: 8468
3600.01/3610.30	c restarts              : 146703
3600.01/3610.30	c conflicts             : 2485166        (692 /sec)
3600.01/3610.30	c decisions             : 170012205      (47354 /sec)
3600.01/3610.30	c propagations          : 12902530697    (3593781 /sec)
3600.01/3610.30	c inspects              : 0              (0 /sec)
3600.01/3610.30	c CPU time (solving tm) : 3590 s        (3580 s, SAT 3550 s, UNSAT 0 s)
3600.01/3610.30	c Time for Opt-base     : 0.001364 s
3600.01/3610.30	c Steps for Opt-base    : 0
3600.01/3610.30	c Time for BDD coding   : 0 s
3600.01/3610.30	c Time for srt coding   : 0.006532 s
3600.01/3610.30	c _____________________________________________________________________________
3600.01/3610.30	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
3600.01/3610.30	v -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
3600.01/3610.30	v -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
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v
3600.01/3610.30	v

Verifier Data 

FAILED
ERROR: cost 3445 exceeds topCost = 3080

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: 63968 MiB (55105 MiB free)
  memory of node 1: 64473 MiB (58134 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461449-1722080486/watcher-4461449-1722080486 -o /tmp/evaluation-result-4461449-1722080486/solver-4461449-1722080486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722076558-326024 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461449-1722080486.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=329207, runsolver pid=329204

[startup+0.100086 s]*
/proc/loadavg: 4.17 4.16 4.09 5/258 329212
/proc/meminfo: memFree=115945636/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=15944 memory=14384 CPUtime=0.09 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 3506 0 0 0 9 0 0 0 20 0 1 0 44576546 16326656 3596 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 3986 3596 596 659 0 3190 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25876 KiB
Current children cumulated memory: 17088 KiB

[startup+0.205977 s]*
/proc/loadavg: 4.17 4.16 4.09 5/258 329212
/proc/meminfo: memFree=115934600/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=26984 memory=24588 CPUtime=0.2 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 6125 0 0 0 20 0 0 0 20 0 1 0 44576546 27631616 6147 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 6746 6147 596 659 0 5950 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36916 KiB
Current children cumulated memory: 27292 KiB

[startup+0.305935 s]*
/proc/loadavg: 4.17 4.16 4.09 5/258 329212
/proc/meminfo: memFree=115928460/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=32952 memory=31188 CPUtime=0.29 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 7734 0 0 0 29 0 0 0 20 0 1 0 44576546 33742848 7797 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 8238 7797 596 659 0 7442 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42884 KiB
Current children cumulated memory: 33892 KiB

[startup+0.700196 s]
/proc/loadavg: 4.17 4.16 4.09 5/258 329212
/proc/meminfo: memFree=115905720/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=88384 memory=85616 CPUtime=0.69 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 19285 0 0 0 66 3 0 0 20 0 1 0 44576546 90505216 21404 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 22096 21404 596 659 0 21300 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 98316 KiB
Current children cumulated memory: 88320 KiB

[startup+1.50027 s]
/proc/loadavg: 4.17 4.16 4.09 5/258 329213
/proc/meminfo: memFree=115857784/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=177944 memory=170044 CPUtime=1.48 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 31769 0 0 0 143 5 0 0 20 0 1 0 44576546 182214656 42511 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 44486 42511 596 659 0 43690 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 187876 KiB
Current children cumulated memory: 172748 KiB

[startup+3.10578 s]
/proc/loadavg: 4.17 4.16 4.09 5/258 329213
/proc/meminfo: memFree=115687824/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=277248 memory=269508 CPUtime=3.08 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 54041 0 0 0 300 8 0 0 20 0 1 0 44576546 283901952 67377 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 69312 67377 612 659 0 68516 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 287180 KiB
Current children cumulated memory: 272212 KiB

[startup+6.30016 s]
/proc/loadavg: 4.16 4.16 4.09 5/258 329213
/proc/meminfo: memFree=115667848/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=295752 memory=289044 CPUtime=6.28 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 58933 0 0 0 619 9 0 0 20 0 1 0 44576546 302850048 72261 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 73938 72261 612 659 0 73142 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 305684 KiB
Current children cumulated memory: 291748 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.15 4.09 5/258 329215
/proc/meminfo: memFree=115667716/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=295752 memory=289044 CPUtime=12.66 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 58948 0 0 0 1257 9 0 0 20 0 1 0 44576546 302850048 72261 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 73938 72261 612 659 0 73142 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 305684 KiB
Current children cumulated memory: 291748 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.16 4.10 5/258 329217
/proc/meminfo: memFree=115667336/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=295752 memory=289044 CPUtime=25.44 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 58965 0 0 0 2535 9 0 0 20 0 1 0 44576546 302850048 72261 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 73938 72261 612 659 0 73142 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 305684 KiB
Current children cumulated memory: 291748 KiB

[startup+51.1051 s]
/proc/loadavg: 4.12 4.15 4.09 5/259 329273
/proc/meminfo: memFree=114960980/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=295752 memory=289100 CPUtime=50.99 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 58984 0 0 0 5090 9 0 0 20 0 1 0 44576546 302850048 72275 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 73938 72275 612 659 0 73142 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 305684 KiB
Current children cumulated memory: 291804 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/258 329281
/proc/meminfo: memFree=113993104/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=295752 memory=289100 CPUtime=102.1 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 59004 0 0 0 10200 10 0 0 20 0 1 0 44576546 302850048 72275 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 73938 72275 612 659 0 73142 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 305684 KiB
Current children cumulated memory: 291804 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/258 329292
/proc/meminfo: memFree=113988984/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=295752 memory=289100 CPUtime=161.99 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 59028 0 0 0 16189 10 0 0 20 0 1 0 44576546 302850048 72275 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 73938 72275 612 659 0 73142 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 305684 KiB
Current children cumulated memory: 291804 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/258 329303
/proc/meminfo: memFree=113988352/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=295752 memory=289100 CPUtime=221.86 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 59040 0 0 0 22176 10 0 0 20 0 1 0 44576546 302850048 72275 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 73938 72275 612 659 0 73142 0
Current children cumulated CPU time: 221.86 s
Current children cumulated vsize: 305684 KiB

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

/proc/329212/statm: 650848 630478 660 659 0 650052 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 2613324 KiB
Current children cumulated memory: 2524616 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/261 331022
/proc/meminfo: memFree=108324216/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=2601676 memory=2520196 CPUtime=3153.29 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 539941 0 0 0 314445 884 0 0 20 0 1 0 44576546 2664116224 630049 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 650419 630049 660 659 0 649623 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 2611608 KiB
Current children cumulated memory: 2522900 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/261 331032
/proc/meminfo: memFree=102769852/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=2601676 memory=2520196 CPUtime=3213.13 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 540584 0 0 0 320429 884 0 0 20 0 1 0 44576546 2664116224 630049 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 650419 630049 660 659 0 649623 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 2611608 KiB
Current children cumulated memory: 2522900 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/257 331042
/proc/meminfo: memFree=101681900/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=2606008 memory=2524528 CPUtime=3272.95 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 542590 0 0 0 326402 893 0 0 20 0 1 0 44576546 2668552192 631132 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 651502 631132 660 659 0 650706 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 2615940 KiB
Current children cumulated memory: 2527232 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.16 4.13 5/257 331054
/proc/meminfo: memFree=100318296/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=2606548 memory=2525068 CPUtime=3332.79 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 543915 0 0 0 332377 902 0 0 20 0 1 0 44576546 2669105152 631267 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 651637 631267 660 659 0 650841 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 2616480 KiB
Current children cumulated memory: 2527772 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/256 331064
/proc/meminfo: memFree=100435432/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=2576260 memory=2494908 CPUtime=3392.61 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 550146 0 0 0 338343 918 0 0 20 0 1 0 44576546 2638090240 623727 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 644065 623727 660 659 0 643269 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 2586192 KiB
Current children cumulated memory: 2497612 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/256 331074
/proc/meminfo: memFree=100687688/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=2592620 memory=2511268 CPUtime=3452.44 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 551482 0 0 0 344317 927 0 0 20 0 1 0 44576546 2654842880 627817 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 648155 627817 660 659 0 647359 0
Current children cumulated CPU time: 3452.44 s
Current children cumulated vsize: 2602552 KiB
Current children cumulated memory: 2513972 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/256 331084
/proc/meminfo: memFree=100710212/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=2568532 memory=2487180 CPUtime=3512.27 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 554079 0 0 0 350282 945 0 0 20 0 1 0 44576546 2630176768 621795 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 642133 621795 660 659 0 641337 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 2578464 KiB
Current children cumulated memory: 2489884 KiB

[startup+3582.3 s]
/proc/loadavg: 3.15 3.88 4.03 3/242 331161
/proc/meminfo: memFree=113286992/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=2666948 memory=2585464 CPUtime=3572.1 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 559761 0 0 0 356235 975 0 0 20 0 1 0 44576546 2730954752 646366 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 666737 646366 660 659 0 665941 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 2676880 KiB
Current children cumulated memory: 2588168 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 2.75 3.72 3.97 3/242 331165
/proc/meminfo: memFree=113360220/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=2598792 memory=2512408 CPUtime=3600.01 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 562894 0 0 0 359023 978 0 0 20 0 1 0 44576546 2661163008 628102 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 649698 628102 660 659 0 648902 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2608724 KiB
Current children cumulated memory: 2515112 KiB

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

[startup+3610.3 s]
# the end of solver process 329207 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001201 s, system=0.001535 s

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

# cumulated CPU time of all completed processes:  user=3590.24 s, system=9.79024 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3610.3 s]
/proc/loadavg: 2.75 3.72 3.97 3/242 331165
/proc/meminfo: memFree=113360220/131524600 swapFree=131060368/131071996
[pid=329207] ppid=329204 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/329207/stat : 329207 (naps-1.03.sh) S 329204 329207 326013 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44576546 10170368 676 134679101440 93859594117120 93859595196440 140724075054448 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93859597294896 93859597342084 93859628122112 140724075058149 140724075058274 140724075058274 140724075065288 0
/proc/329207/statm: 2483 676 599 264 0 134 0
[pid=329212] ppid=329207 vsize=2598792 memory=2512408 CPUtime=3600.01 cores=4,6
/proc/329212/stat : 329212 (naps-1.03) R 329207 329207 326013 0 -1 4194304 562894 0 0 0 359023 978 0 0 20 0 1 0 44576546 2661163008 628102 134679101440 4194304 6891597 140735000668288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24543232 140735000675318 140735000675430 140735000675430 140735000682443 0
/proc/329212/statm: 649698 628102 660 659 0 648902 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2608724 KiB
Current children cumulated memory: 2515112 KiB

Child status: 10

Real time (s): 3610.31
CPU time (s): 3600.03
CPU user time (s): 3590.24
CPU system time (s): 9.79024
CPU usage (%): 99.7154
Max. virtual memory (cumulated for all children) (KiB): 3182852
Max. memory (cumulated for all children) (KiB): 3084580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.24
system time used= 9.79024
maximum resident set size= 3081876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 563357
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= 267
involuntary context switches= 3049


# summary of solver processes directly reported to runsolver:
#   pid: 329207,329212
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3590.24
#   total CPU system time (s): 9.79024

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.59094 second user time and 20.7991 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-27 13:41:26
IDJOB=4461449
IDBENCH=144141
IDSOLVER=3088
FILE ID=nodeC014/4461449-1722080486
RUNJOBID= nodeC014-1722076558-326024
SLURM_JOB_ID= 8248132
Free space on /tmp= 889968 MiB

SOLVER NAME= NaPS 1.03a1
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph11reduc_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461449-1722080486/watcher-4461449-1722080486 -o /tmp/evaluation-result-4461449-1722080486/solver-4461449-1722080486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722076558-326024 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4461449-1722080486.wbo

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

MD5SUM BENCH= 4f9f31b2d576e76fab744cedabc86032
RANDOM SEED=784046867

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		: 3661.216
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.45
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		: 3686.907
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.48
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		: 3600.161
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.45
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		: 3600.028
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.48
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		: 3660.910
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.45
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		: 3686.922
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.48
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		: 3651.903
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.45
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.076
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        115957744 kB
MemAvailable:   128164572 kB
Buffers:          380172 kB
Cached:         12599024 kB
SwapCached:          140 kB
Active:           874428 kB
Inactive:       13974580 kB
Active(anon):       2204 kB
Inactive(anon):  1920592 kB
Active(file):     872224 kB
Inactive(file): 12053988 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060368 kB
Dirty:             13612 kB
Writeback:             0 kB
AnonPages:       1866444 kB
Mapped:           101284 kB
Shmem:             52988 kB
KReclaimable:     240880 kB
Slab:             366340 kB
SReclaimable:     240880 kB
SUnreclaim:       125460 kB
KernelStack:        4112 kB
PageTables:        13292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2369856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    733184 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:      395988 kB
DirectMap2M:    46563328 kB
DirectMap1G:    89128960 kB

Free space on /tmp at the end= 889960 MiB
End job on nodeC014 at 2024-07-27 14:41:37