Trace number 4461093

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.03a1MSAT (TO) 3600.11 3610.06

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph07_wcsp.wbo
MD5SUM9031472e82cc640e2367b3bed0c7412c
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark7358
Best CPU time to get the best result obtained on this benchmark3600.48
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5160
Total number of constraints512485
Number of soft constraints512344
Number of constraints which are clauses512344
Number of constraints which are cardinality constraints (but not clauses)141
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 463736
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 146536849
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 We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4461093-1722080347.wbo
0.00/0.00	c Initial goal by soft: 463735
6.17/6.29	c single stage optimization mode
6.66/6.76	o 235864
3600.04/3610.01	c 
3600.04/3610.01	c *** TERMINATED *** by signal 15
3600.04/3610.01	s SATISFIABLE
3600.04/3610.01	c _____________________________________________________________________________
3600.04/3610.01	c std/band forms        : 142,0
3600.04/3610.01	c 2cl/3cl ITE-codings   : 0,0
3600.04/3610.01	c BDD/srt/adr Max costs : 0,694,2256784
3600.04/3610.01	c BDDraw/bin/mul/srt/adr: 0,0,0,141,1
3600.04/3610.01	c BDD nodes             : 0
3600.04/3610.01	c Es1/CC detections     : 0,0
3600.04/3610.01	c CC sort               : 141
3600.04/3610.01	c SAT/UNSAT calls       : 1,0
3600.04/3610.01	c regenrated variables  : 0
3600.04/3610.01	c eliminated fixed lits : 0
3600.04/3610.01	c goal lit flips        : 0
3600.04/3610.01	c goal stages           : 1
3600.04/3610.01	c goal shrink           : 0
3600.04/3610.01	c goal coeff separations: 0
3600.04/3610.01	c restarts              : 1
3600.04/3610.01	c conflicts             : 47             (0 /sec)
3600.04/3610.01	c decisions             : 896859         (249 /sec)
3600.04/3610.01	c propagations          : 931750         (259 /sec)
3600.04/3610.01	c inspects              : 0              (0 /sec)
3600.04/3610.01	c CPU time (solving tm) : 3595 s        (3580 s, SAT 0.1608 s, UNSAT 0 s)
3600.04/3610.01	c Time for Opt-base     : 0.007837 s
3600.04/3610.01	c Steps for Opt-base    : 0
3600.04/3610.01	c Time for BDD coding   : 0 s
3600.04/3610.01	c Time for srt coding   : 0.008409 s
3600.04/3610.01	c _____________________________________________________________________________
3600.04/3610.01	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.04/3610.01	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.04/3610.01	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
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v
3600.04/3610.01	v

Verifier Data 

OK	223561

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (48009 MiB free)
  memory of node 1: 64510 MiB (56608 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461093-1722080347/watcher-4461093-1722080347 -o /tmp/evaluation-result-4461093-1722080347/solver-4461093-1722080347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722076573-370001 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461093-1722080347.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

solver pid=373648, runsolver pid=373645
Current StackSize limit: 8192 KiB


[startup+0.100476 s]*
/proc/loadavg: 4.09 4.12 4.07 5/242 373653
/proc/meminfo: memFree=107123880/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=12288 memory=5992 CPUtime=0.09 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 1125 0 0 0 9 0 0 0 20 0 1 0 44024169 12582912 1498 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 3072 1498 436 659 0 2276 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22220 KiB
Current children cumulated memory: 8724 KiB

[startup+0.213035 s]*
/proc/loadavg: 4.09 4.12 4.07 5/242 373653
/proc/meminfo: memFree=107118360/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=15896 memory=11348 CPUtime=0.21 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 2037 0 0 0 20 1 0 0 20 0 1 0 44024169 16277504 2837 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 3974 2837 436 659 0 3178 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25828 KiB
Current children cumulated memory: 14080 KiB

[startup+0.312889 s]*
/proc/loadavg: 4.09 4.12 4.07 5/242 373653
/proc/meminfo: memFree=107115868/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=18088 memory=13596 CPUtime=0.31 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 2651 0 0 0 30 1 0 0 20 0 1 0 44024169 18522112 3399 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 4522 3399 436 659 0 3726 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28020 KiB
Current children cumulated memory: 16328 KiB

[startup+0.700381 s]
/proc/loadavg: 4.09 4.12 4.07 5/242 373653
/proc/meminfo: memFree=107109312/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=28084 memory=22372 CPUtime=0.68 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 5023 0 0 0 66 2 0 0 20 0 1 0 44024169 28758016 5593 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 7021 5593 436 659 0 6225 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38016 KiB
Current children cumulated memory: 25104 KiB

[startup+1.50042 s]
/proc/loadavg: 4.09 4.12 4.07 5/242 373653
/proc/meminfo: memFree=107095508/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=56496 memory=52668 CPUtime=1.47 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 11957 0 0 0 143 4 0 0 20 0 1 0 44024169 57851904 13167 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 14124 13167 436 659 0 13328 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 66428 KiB
Current children cumulated memory: 55400 KiB

[startup+3.11282 s]
/proc/loadavg: 4.08 4.12 4.07 5/242 373653
/proc/meminfo: memFree=106975764/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=171748 memory=158544 CPUtime=3.08 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 35466 0 0 0 299 9 0 0 20 0 1 0 44024169 175869952 39636 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 42937 39636 436 659 0 42141 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 181680 KiB
Current children cumulated memory: 161276 KiB

[startup+6.30041 s]
/proc/loadavg: 4.08 4.12 4.07 5/242 373655
/proc/meminfo: memFree=106797232/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=405504 memory=388156 CPUtime=6.27 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 86785 0 0 0 609 18 0 0 20 0 1 0 44024169 415236096 97039 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 101376 97039 468 659 0 100580 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 415436 KiB
Current children cumulated memory: 390888 KiB

[startup+12.7004 s]
/proc/loadavg: 4.07 4.12 4.07 5/242 373655
/proc/meminfo: memFree=105619316/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=1951092 memory=1751996 CPUtime=12.65 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 243986 0 0 0 1210 55 0 0 20 0 1 0 44024169 1997918208 437999 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 487773 437999 468 659 0 486977 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1961024 KiB
Current children cumulated memory: 1754728 KiB

[startup+25.5004 s]
/proc/loadavg: 4.06 4.11 4.07 5/242 373658
/proc/meminfo: memFree=104190140/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3320844 memory=2974784 CPUtime=25.42 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 390472 0 0 0 2454 88 0 0 20 0 1 0 44024169 3400544256 743696 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 830211 743696 468 659 0 829415 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3330776 KiB
Current children cumulated memory: 2977516 KiB

[startup+51.113 s]
/proc/loadavg: 4.11 4.12 4.07 5/242 373661
/proc/meminfo: memFree=104170668/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3320844 memory=2976884 CPUtime=50.98 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 390615 0 0 0 5009 89 0 0 20 0 1 0 44024169 3400544256 744221 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 830211 744221 468 659 0 829415 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 3330776 KiB
Current children cumulated memory: 2979616 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/245 373674
/proc/meminfo: memFree=104139444/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3320844 memory=2976884 CPUtime=102.05 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 391138 0 0 0 10116 89 0 0 20 0 1 0 44024169 3400544256 744221 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 830211 744221 468 659 0 829415 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 3330776 KiB
Current children cumulated memory: 2979616 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/245 373685
/proc/meminfo: memFree=104106268/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3320844 memory=2978932 CPUtime=161.92 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 391533 0 0 0 16102 90 0 0 20 0 1 0 44024169 3400544256 744733 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 830211 744733 468 659 0 829415 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 3330776 KiB
Current children cumulated memory: 2981664 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/245 373696
/proc/meminfo: memFree=104147084/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3320844 memory=2983028 CPUtime=221.77 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 392129 0 0 0 22087 90 0 0 20 0 1 0 44024169 3400544256 745757 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 830211 745757 468 659 0 829415 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 3330776 KiB

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

/proc/373653/statm: 936928 803391 468 659 0 936132 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 3757644 KiB
Current children cumulated memory: 3216296 KiB

[startup+3102.3 s]
/proc/loadavg: 2.11 2.13 2.63 3/234 375458
/proc/meminfo: memFree=122591528/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3748280 memory=3150724 CPUtime=3093.71 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 442571 0 0 0 308981 390 0 0 20 0 1 0 44024169 3838238720 787681 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 937070 787681 468 659 0 936274 0
Current children cumulated CPU time: 3093.71 s
Current children cumulated vsize: 3758212 KiB
Current children cumulated memory: 3153456 KiB

[startup+3162.3 s]
/proc/loadavg: 2.10 2.12 2.60 3/234 375469
/proc/meminfo: memFree=122523656/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3749364 memory=3215224 CPUtime=3153.55 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 443236 0 0 0 314963 392 0 0 20 0 1 0 44024169 3839348736 803806 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 937341 803806 468 659 0 936545 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 3759296 KiB
Current children cumulated memory: 3217956 KiB

[startup+3222.3 s]
/proc/loadavg: 2.08 2.11 2.56 3/233 375480
/proc/meminfo: memFree=122581860/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3749772 memory=3156292 CPUtime=3213.38 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 444537 0 0 0 320932 406 0 0 20 0 1 0 44024169 3839766528 789073 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 937443 789073 468 659 0 936647 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 3759704 KiB
Current children cumulated memory: 3159024 KiB

[startup+3282.3 s]
/proc/loadavg: 1.62 1.99 2.49 2/224 375521
/proc/meminfo: memFree=123914332/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3750780 memory=3220692 CPUtime=3273.22 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 445165 0 0 0 326915 407 0 0 20 0 1 0 44024169 3840798720 805173 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 937695 805173 468 659 0 936899 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 3760712 KiB
Current children cumulated memory: 3223424 KiB

[startup+3342.3 s]
/proc/loadavg: 1.62 1.91 2.43 2/224 375531
/proc/meminfo: memFree=123983084/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3751324 memory=3151716 CPUtime=3333.06 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 447718 0 0 0 332885 421 0 0 20 0 1 0 44024169 3841355776 787929 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 937831 787929 468 659 0 937035 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 3761256 KiB
Current children cumulated memory: 3154448 KiB

[startup+3402.3 s]
/proc/loadavg: 1.61 1.88 2.39 2/218 375542
/proc/meminfo: memFree=123918668/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3752016 memory=3215900 CPUtime=3392.89 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 448438 0 0 0 338866 423 0 0 20 0 1 0 44024169 3842064384 803975 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 938004 803975 468 659 0 937208 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 3761948 KiB
Current children cumulated memory: 3218632 KiB

[startup+3462.3 s]
/proc/loadavg: 1.32 1.75 2.31 2/218 375552
/proc/meminfo: memFree=123986840/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3753200 memory=3147488 CPUtime=3452.73 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 450722 0 0 0 344835 438 0 0 20 0 1 0 44024169 3843276800 786872 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 938300 786872 468 659 0 937504 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 3763132 KiB
Current children cumulated memory: 3150220 KiB

[startup+3522.3 s]
/proc/loadavg: 1.17 1.62 2.23 2/218 375562
/proc/meminfo: memFree=123922668/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3753788 memory=3211412 CPUtime=3512.57 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 451487 0 0 0 350817 440 0 0 20 0 1 0 44024169 3843878912 802853 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 938447 802853 468 659 0 937651 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 3763720 KiB
Current children cumulated memory: 3214144 KiB

[startup+3582.3 s]
/proc/loadavg: 1.17 1.54 2.16 2/218 375573
/proc/meminfo: memFree=123989968/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3405424 memory=3145964 CPUtime=3572.41 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 453297 0 0 0 356787 454 0 0 20 0 1 0 44024169 3487154176 786491 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 851356 786491 468 659 0 850560 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 3415356 KiB
Current children cumulated memory: 3148696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 1.10 1.49 2.12 2/218 375579
/proc/meminfo: memFree=123956040/131655788 swapFree=131057156/131071996
[pid=373648] ppid=373645 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/373648/stat : 373648 (naps-1.03.sh) S 373645 373648 369990 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 44024169 10170368 683 134679101440 94398431076352 94398432155672 140734828761536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94398434254128 94398434301316 94398451429376 140734828766177 140734828766306 140734828766306 140734828773320 0
/proc/373648/statm: 2483 683 604 264 0 134 0
[pid=373653] ppid=373648 vsize=3754672 memory=3177548 CPUtime=3600.04 cores=4,6
/proc/373653/stat : 373653 (naps-1.03) R 373648 373648 369990 0 -1 4194304 453840 0 0 0 359549 455 0 0 20 0 1 0 44024169 3844784128 794387 134679101440 4194304 6891597 140725214869216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21086208 140725214872562 140725214872678 140725214872678 140725214879691 0
/proc/373653/statm: 938668 794387 468 659 0 937872 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3764604 KiB
Current children cumulated memory: 3180280 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00276 s, system=0.004517 s

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

# cumulated CPU time of all completed processes:  user=3595.5 s, system=4.61003 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.06
CPU time (s): 3600.11
CPU user time (s): 3595.5
CPU system time (s): 4.61003
CPU usage (%): 99.7244
Max. virtual memory (cumulated for all children) (KiB): 4323404
Max. memory (cumulated for all children) (KiB): 3846520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.5
system time used= 4.61003
maximum resident set size= 3843788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 454350
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= 106
involuntary context switches= 4691


# summary of solver processes directly reported to runsolver:
#   pid: 373648,373653
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3595.5
#   total CPU system time (s): 4.61003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.7213 second user time and 31.2203 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-27 13:39:08
IDJOB=4461093
IDBENCH=144135
IDSOLVER=3087
FILE ID=nodeC005/4461093-1722080347
RUNJOBID= nodeC005-1722076573-370001
SLURM_JOB_ID= 8248134
Free space on /tmp= 723744 MiB

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

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

MD5SUM BENCH= 9031472e82cc640e2367b3bed0c7412c
RANDOM SEED=544445828

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		: 3491.572
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.14
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		: 3492.016
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.31
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.163
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.14
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.150
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.31
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		: 1197.133
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.14
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		: 3494.425
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.31
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.111
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.14
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.218
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        107128888 kB
MemAvailable:   110077772 kB
Buffers:          372412 kB
Cached:          3390720 kB
SwapCached:          244 kB
Active:          1748212 kB
Inactive:       22169708 kB
Active(anon):       2216 kB
Inactive(anon): 20205452 kB
Active(file):    1745996 kB
Inactive(file):  1964256 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057156 kB
Dirty:             21160 kB
Writeback:            68 kB
AnonPages:      20154700 kB
Mapped:           101916 kB
Shmem:             52880 kB
KReclaimable:     157328 kB
Slab:             264928 kB
SReclaimable:     157328 kB
SUnreclaim:       107600 kB
KernelStack:        3872 kB
PageTables:        49080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   23018384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10720 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6377472 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:      435016 kB
DirectMap2M:    55044096 kB
DirectMap1G:    80740352 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC005 at 2024-07-27 14:39:18