Trace number 4426329

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-GM 1.03Wrong Cert. 3600.1 3610.22

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph11reducmore_wcsp.wbo
MD5SUM4f5be5c84a0d76ec975a3a6b3be3f2ae
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1716
Best CPU time to get the best result obtained on this benchmark3428.68
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5747
Total number of constraints283088
Number of soft constraints282856
Number of constraints which are clauses282856
Number of constraints which are cardinality constraints (but not clauses)232
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.03.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4426329-1720901915.wbo
3.17/3.20	c single stage optimization mode
3.48/3.51	o 95603
3600.06/3610.20	c 
3600.06/3610.20	c *** TERMINATED *** by signal 15
3600.06/3610.20	s SATISFIABLE
3600.06/3610.20	c _____________________________________________________________________________
3600.06/3610.20	c std/band forms        : 227,0
3600.06/3610.20	c 2cl/3cl ITE-codings   : 0,0
3600.06/3610.20	c BDD/srt/adr Max costs : 0,694,1451460
3600.06/3610.20	c BDDraw/bin/mul/srt/adr: 0,0,0,226,1
3600.06/3610.20	c BDD nodes             : 0
3600.06/3610.20	c Es1/CC detections     : 0,0
3600.06/3610.20	c CC sort               : 226
3600.06/3610.20	c SAT/UNSAT calls       : 1,0
3600.06/3610.20	c regenrated variables  : 0
3600.06/3610.20	c eliminated fixed lits : 0
3600.06/3610.20	c goal lit flips        : 0
3600.06/3610.20	c goal stages           : 1
3600.06/3610.20	c goal shrink           : 0
3600.06/3610.20	c goal coeff separations: 8468
3600.06/3610.20	c restarts              : 1
3600.06/3610.20	c conflicts             : 17             (0 /sec)
3600.06/3610.20	c decisions             : 538760         (150 /sec)
3600.06/3610.20	c propagations          : 569277         (158 /sec)
3600.06/3610.20	c inspects              : 0              (0 /sec)
3600.06/3610.20	c CPU time (solving tm) : 3597 s        (3588 s, SAT 0.1459 s, UNSAT 0 s)
3600.06/3610.20	c Time for Opt-base     : 0.005132 s
3600.06/3610.20	c Steps for Opt-base    : 0
3600.06/3610.20	c Time for BDD coding   : 0 s
3600.06/3610.20	c Time for srt coding   : 0.007655 s
3600.06/3610.20	c _____________________________________________________________________________
3600.06/3610.20	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.06/3610.20	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.06/3610.20	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
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v
3600.06/3610.20	v

Verifier Data 

FAILED
ERROR: cost 3341 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: 64096 MiB (51817 MiB free)
  memory of node 1: 64473 MiB (62155 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426329-1720901915/watcher-4426329-1720901915 -o /tmp/evaluation-result-4426329-1720901915/solver-4426329-1720901915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1720901807-720160 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426329-1720901915.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=720400, runsolver pid=720397

[startup+0.100101 s]*
/proc/loadavg: 3.96 1.66 0.68 5/242 720405
/proc/meminfo: memFree=116701800/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=13996 memory=7504 CPUtime=0.1 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 1568 0 0 0 10 0 0 0 20 0 1 0 142350386 14331904 1876 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 3499 1876 436 659 0 2703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23928 KiB
Current children cumulated memory: 10264 KiB

[startup+0.212986 s]*
/proc/loadavg: 3.96 1.66 0.68 5/242 720405
/proc/meminfo: memFree=116694516/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=19280 memory=14376 CPUtime=0.21 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 2844 0 0 0 21 0 0 0 20 0 1 0 142350386 19742720 3594 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 4820 3594 436 659 0 4024 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29212 KiB
Current children cumulated memory: 17136 KiB

[startup+0.313349 s]*
/proc/loadavg: 3.96 1.66 0.68 5/242 720405
/proc/meminfo: memFree=116690008/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=22556 memory=17660 CPUtime=0.31 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 3683 0 0 0 31 0 0 0 20 0 1 0 142350386 23097344 4415 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 5639 4415 436 659 0 4843 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32488 KiB
Current children cumulated memory: 20420 KiB

[startup+0.700426 s]
/proc/loadavg: 3.96 1.66 0.68 5/242 720405
/proc/meminfo: memFree=116679852/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=46524 memory=39220 CPUtime=0.68 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 9602 0 0 0 67 1 0 0 20 0 1 0 142350386 47640576 9805 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 11631 9805 436 659 0 10835 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56456 KiB
Current children cumulated memory: 41980 KiB

[startup+1.50042 s]
/proc/loadavg: 4.04 1.72 0.70 5/242 720405
/proc/meminfo: memFree=116645616/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=108036 memory=93484 CPUtime=1.48 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 22381 0 0 0 145 3 0 0 20 0 1 0 142350386 110628864 23371 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 27009 23371 436 659 0 26213 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117968 KiB
Current children cumulated memory: 96244 KiB

[startup+3.11249 s]
/proc/loadavg: 4.04 1.72 0.70 5/242 720407
/proc/meminfo: memFree=116473360/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=243684 memory=225632 CPUtime=3.09 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 54241 0 0 0 301 8 0 0 20 0 1 0 142350386 249532416 56408 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 60921 56408 468 659 0 60125 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 253616 KiB
Current children cumulated memory: 228392 KiB

[startup+6.30039 s]
/proc/loadavg: 4.04 1.76 0.72 5/242 720407
/proc/meminfo: memFree=115485436/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=935300 memory=852780 CPUtime=6.27 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 132230 0 0 0 599 28 0 0 20 0 1 0 142350386 957747200 213195 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 233825 213195 468 659 0 233029 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 945232 KiB
Current children cumulated memory: 855540 KiB

[startup+12.7004 s]
/proc/loadavg: 4.03 1.79 0.73 5/242 720408
/proc/meminfo: memFree=114950776/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=1981252 memory=1899260 CPUtime=12.65 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 257087 0 0 0 1205 60 0 0 20 0 1 0 142350386 2028802048 474815 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 495313 474815 468 659 0 494517 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1991184 KiB
Current children cumulated memory: 1902020 KiB

[startup+25.5004 s]
/proc/loadavg: 4.03 1.87 0.77 5/242 720411
/proc/meminfo: memFree=113455172/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=1992608 memory=1910236 CPUtime=25.42 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 258968 0 0 0 2481 61 0 0 20 0 1 0 142350386 2040430592 477559 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 498152 477559 468 659 0 497356 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2002540 KiB
Current children cumulated memory: 1912996 KiB

[startup+51.1126 s]
/proc/loadavg: 4.09 2.09 0.88 5/242 720414
/proc/meminfo: memFree=112757428/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=1992608 memory=1912284 CPUtime=50.97 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 259189 0 0 0 5036 61 0 0 20 0 1 0 142350386 2040430592 478071 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 498152 478071 468 659 0 497356 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2002540 KiB
Current children cumulated memory: 1915044 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 2.42 1.06 5/243 720423
/proc/meminfo: memFree=109698392/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=1993136 memory=1913160 CPUtime=102.03 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 259816 0 0 0 10141 62 0 0 20 0 1 0 142350386 2040971264 478290 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 498284 478290 468 659 0 497488 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2003068 KiB
Current children cumulated memory: 1915920 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 2.72 1.25 5/245 720437
/proc/meminfo: memFree=107367212/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=2000288 memory=1938656 CPUtime=161.87 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 261882 0 0 0 16123 64 0 0 20 0 1 0 142350386 2048294912 484664 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 500072 484664 468 659 0 499276 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2010220 KiB
Current children cumulated memory: 1941416 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 2.99 1.43 5/245 720448
/proc/meminfo: memFree=107544524/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=2220148 memory=1967948 CPUtime=221.7 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 263880 0 0 0 22105 65 0 0 20 0 1 0 142350386 2273431552 491987 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 555037 491987 468 659 0 554241 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 2230080 KiB

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

/proc/720405/statm: 579000 535509 468 659 0 578204 0
Current children cumulated CPU time: 3033.71 s
Current children cumulated vsize: 2325932 KiB
Current children cumulated memory: 2144796 KiB

[startup+3102.3 s]
/proc/loadavg: 3.21 3.13 3.08 4/234 722172
/proc/meminfo: memFree=124104020/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=2317796 memory=2063576 CPUtime=3093.51 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 318113 0 0 0 309091 260 0 0 20 0 1 0 142350386 2373423104 515894 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 579449 515894 468 659 0 578653 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 2327728 KiB
Current children cumulated memory: 2066336 KiB

[startup+3162.3 s]
/proc/loadavg: 3.14 3.12 3.08 4/237 722187
/proc/meminfo: memFree=124042336/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=2318720 memory=2091472 CPUtime=3153.3 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 319107 0 0 0 315070 260 0 0 20 0 1 0 142350386 2374369280 522868 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 579680 522868 468 659 0 578884 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 2328652 KiB
Current children cumulated memory: 2094232 KiB

[startup+3222.3 s]
/proc/loadavg: 3.09 3.11 3.08 4/237 722198
/proc/meminfo: memFree=123985280/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=2319512 memory=2118260 CPUtime=3213.14 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 320009 0 0 0 321053 261 0 0 20 0 1 0 142350386 2375180288 529565 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 579878 529565 468 659 0 579082 0
Current children cumulated CPU time: 3213.14 s
Current children cumulated vsize: 2329444 KiB
Current children cumulated memory: 2121020 KiB

[startup+3282.3 s]
/proc/loadavg: 3.13 3.12 3.08 4/237 722208
/proc/meminfo: memFree=123921908/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=2320188 memory=2147644 CPUtime=3272.99 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 321128 0 0 0 327037 262 0 0 20 0 1 0 142350386 2375872512 536911 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 580047 536911 468 659 0 579251 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 2330120 KiB
Current children cumulated memory: 2150404 KiB

[startup+3342.3 s]
/proc/loadavg: 3.10 3.11 3.08 4/237 722219
/proc/meminfo: memFree=124064204/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=2320912 memory=2071032 CPUtime=3332.83 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 322738 0 0 0 333013 270 0 0 20 0 1 0 142350386 2376613888 517758 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 580228 517758 468 659 0 579432 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 2330844 KiB
Current children cumulated memory: 2073792 KiB

[startup+3402.3 s]
/proc/loadavg: 3.23 3.14 3.09 4/238 722232
/proc/meminfo: memFree=124003844/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=2321312 memory=2106300 CPUtime=3392.67 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 323634 0 0 0 338997 270 0 0 20 0 1 0 142350386 2377023488 526575 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 580328 526575 468 659 0 579532 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 2331244 KiB
Current children cumulated memory: 2109060 KiB

[startup+3462.3 s]
/proc/loadavg: 3.14 3.13 3.09 4/235 722244
/proc/meminfo: memFree=123941140/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=2322660 memory=2140296 CPUtime=3452.51 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 324655 0 0 0 344980 271 0 0 20 0 1 0 142350386 2378403840 535074 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 580665 535074 468 659 0 579869 0
Current children cumulated CPU time: 3452.51 s
Current children cumulated vsize: 2332592 KiB
Current children cumulated memory: 2143056 KiB

[startup+3522.3 s]
/proc/loadavg: 2.41 2.95 3.04 2/219 722316
/proc/meminfo: memFree=127975080/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=2325508 memory=2167700 CPUtime=3512.36 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 326305 0 0 0 350964 272 0 0 20 0 1 0 142350386 2381320192 541925 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 581377 541925 468 659 0 580581 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 2335440 KiB
Current children cumulated memory: 2170460 KiB

[startup+3582.3 s]
/proc/loadavg: 1.69 2.64 2.92 2/219 722327
/proc/meminfo: memFree=128043776/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=2327112 memory=2097388 CPUtime=3572.23 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 327983 0 0 0 356943 280 0 0 20 0 1 0 142350386 2382962688 524347 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 581778 524347 468 659 0 580982 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 2337044 KiB
Current children cumulated memory: 2100148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 1.45 2.51 2.87 2/219 722331
/proc/meminfo: memFree=128031092/131655788 swapFree=131071996/131071996
[pid=720400] ppid=720397 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/720400/stat : 720400 (naps-1.03.sh) S 720397 720400 720147 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 142350385 10170368 690 134679101440 94851086991360 94851088070680 140727064278288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94851090169136 94851090216324 94851092434944 140727064282032 140727064282161 140727064282161 140727064289224 0
/proc/720400/statm: 2483 690 613 264 0 134 0
[pid=720405] ppid=720400 vsize=2327512 memory=2110016 CPUtime=3600.06 cores=5,7
/proc/720405/stat : 720405 (naps-1.03) R 720400 720400 720147 0 -1 4194304 328321 0 0 0 359726 280 0 0 20 0 1 0 142350386 2383372288 527504 134679101440 4194304 6891213 140723447669744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12259328 140723447677889 140723447678005 140723447678005 140723447685067 0
/proc/720405/statm: 581878 527504 468 659 0 581082 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2337444 KiB
Current children cumulated memory: 2112776 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.003719 s, system=0.002598 s

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

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

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

Child status: 10

Real time (s): 3610.22
CPU time (s): 3600.1
CPU user time (s): 3597.27
CPU system time (s): 2.82718
CPU usage (%): 99.7197
Max. virtual memory (cumulated for all children) (KiB): 2895308
Max. memory (cumulated for all children) (KiB): 2546976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.27
system time used= 2.82718
maximum resident set size= 2544216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328790
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= 232
involuntary context switches= 4489


# summary of solver processes directly reported to runsolver:
#   pid: 720400,720405
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.27
#   total CPU system time (s): 2.82718

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2647 second user time and 38.0754 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-13 22:18:48
IDJOB=4426329
IDBENCH=144138
IDSOLVER=3042
FILE ID=nodeC005/4426329-1720901915
RUNJOBID= nodeC005-1720901807-720160
SLURM_JOB_ID= 7486071
Free space on /tmp= 723740 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph11reducmore_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426329-1720901915/watcher-4426329-1720901915 -o /tmp/evaluation-result-4426329-1720901915/solver-4426329-1720901915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1720901807-720160 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4426329-1720901915.wbo

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

MD5SUM BENCH= 4f5be5c84a0d76ec975a3a6b3be3f2ae
RANDOM SEED=780343536

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        116708660 kB
MemAvailable:   116623268 kB
Buffers:          317232 kB
Cached:           445820 kB
SwapCached:            0 kB
Active:           476476 kB
Inactive:       13941312 kB
Active(anon):       1448 kB
Inactive(anon): 13690984 kB
Active(file):     475028 kB
Inactive(file):   250328 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14140 kB
Writeback:             4 kB
AnonPages:      13654156 kB
Mapped:           108244 kB
Shmem:             37696 kB
KReclaimable:      58904 kB
Slab:             151824 kB
SReclaimable:      58904 kB
SUnreclaim:        92920 kB
KernelStack:        3888 kB
PageTables:        36468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   15849032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            47168 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4300800 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:      187208 kB
DirectMap2M:     6008832 kB
DirectMap1G:    130023424 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC005 at 2024-07-13 23:18:58