Trace number 4463745

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.03a2MSAT (TO) 3600.11 3612.72

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.03a2.
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-4463745-1722355358.wbo
0.00/0.00	c Initial goal by soft: 463735
5.17/5.20	c single stage optimization mode
5.57/5.66	o 235864
3600.08/3612.70	c 
3600.08/3612.70	c *** TERMINATED *** by signal 15
3600.08/3612.70	s SATISFIABLE
3600.08/3612.70	c _____________________________________________________________________________
3600.08/3612.70	c std/band forms        : 142,0
3600.08/3612.70	c 2cl/3cl ITE-codings   : 0,0
3600.08/3612.70	c BDD/srt/adr Max costs : 0,694,2256784
3600.08/3612.70	c BDDraw/bin/mul/srt/adr: 0,0,0,141,1
3600.08/3612.70	c BDD nodes             : 0
3600.08/3612.70	c Es1/CC detections     : 0,0
3600.08/3612.70	c CC sort               : 141
3600.08/3612.70	c SAT/UNSAT calls       : 1,0
3600.08/3612.70	c regenrated variables  : 0
3600.08/3612.70	c eliminated fixed lits : 0
3600.08/3612.70	c goal lit flips        : 0
3600.08/3612.70	c goal stages           : 1
3600.08/3612.70	c goal shrink           : 0
3600.08/3612.70	c goal coeff separations: 0
3600.08/3612.70	c restarts              : 1
3600.08/3612.70	c conflicts             : 47             (0 /sec)
3600.08/3612.70	c decisions             : 896859         (249 /sec)
3600.08/3612.70	c propagations          : 931750         (259 /sec)
3600.08/3612.70	c inspects              : 0              (0 /sec)
3600.08/3612.70	c CPU time (solving tm) : 3595 s        (3581 s, SAT 0.1523 s, UNSAT 0 s)
3600.08/3612.70	c Time for Opt-base     : 0.007697 s
3600.08/3612.70	c Steps for Opt-base    : 0
3600.08/3612.70	c Time for BDD coding   : 0 s
3600.08/3612.70	c Time for srt coding   : 0.008151 s
3600.08/3612.70	c _____________________________________________________________________________
3600.08/3612.70	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.08/3612.70	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.08/3612.70	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.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	v
3600.08/3612.70	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: 63931 MiB (63161 MiB free)
  memory of node 1: 64510 MiB (63753 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463745-1722355358/watcher-4463745-1722355358 -o /tmp/evaluation-result-4463745-1722355358/solver-4463745-1722355358 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722351737-14139 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463745-1722355358.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10096 s]*
/proc/loadavg: 4.10 4.13 4.13 5/264 16599
/proc/meminfo: memFree=129949884/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=17724 memory=12832 CPUtime=0.09 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 2483 0 0 0 9 0 0 0 20 0 1 0 2136328 18149376 3208 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 4431 3208 436 659 0 3635 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27656 KiB
Current children cumulated memory: 15628 KiB

[startup+0.205542 s]*
/proc/loadavg: 4.10 4.13 4.13 5/264 16599
/proc/meminfo: memFree=129943332/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=26308 memory=20192 CPUtime=0.19 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 4289 0 0 0 19 0 0 0 20 0 1 0 2136328 26939392 4983 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 6577 4983 436 659 0 5781 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36240 KiB
Current children cumulated memory: 22988 KiB

[startup+0.30535 s]*
/proc/loadavg: 4.10 4.13 4.13 5/264 16599
/proc/meminfo: memFree=129935800/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=32540 memory=26828 CPUtime=0.29 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 6187 0 0 0 29 0 0 0 20 0 1 0 2136328 33320960 6707 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 8135 6707 436 659 0 7339 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42472 KiB
Current children cumulated memory: 29624 KiB

[startup+0.700214 s]
/proc/loadavg: 4.10 4.13 4.13 5/264 16599
/proc/meminfo: memFree=129886396/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=64192 memory=56668 CPUtime=0.68 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 13482 0 0 0 67 1 0 0 20 0 1 0 2136328 65732608 14167 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 16048 14167 436 659 0 15252 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74124 KiB
Current children cumulated memory: 59464 KiB

[startup+1.50018 s]
/proc/loadavg: 4.09 4.13 4.13 5/264 16599
/proc/meminfo: memFree=129844996/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=122824 memory=113024 CPUtime=1.47 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 27314 0 0 0 144 3 0 0 20 0 1 0 2136328 125771776 28256 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 30706 28256 436 659 0 29910 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 132756 KiB
Current children cumulated memory: 115820 KiB

[startup+3.10571 s]
/proc/loadavg: 4.09 4.13 4.13 5/264 16599
/proc/meminfo: memFree=129676468/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=320364 memory=296008 CPUtime=3.07 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 65872 0 0 0 296 11 0 0 20 0 1 0 2136328 328052736 74002 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 80091 74002 436 659 0 79295 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 330296 KiB
Current children cumulated memory: 298804 KiB

[startup+6.3002 s]
/proc/loadavg: 4.08 4.12 4.13 5/264 16601
/proc/meminfo: memFree=129464048/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=452488 memory=434928 CPUtime=6.26 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 96921 0 0 0 609 17 0 0 20 0 1 0 2136328 463347712 108732 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 113122 108732 468 659 0 112326 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 462420 KiB
Current children cumulated memory: 437724 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.14 4.13 5/264 16601
/proc/meminfo: memFree=127969348/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=2369660 memory=2157636 CPUtime=12.65 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 286684 0 0 0 1199 66 0 0 20 0 1 0 2136328 2426531840 539409 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 592415 539409 468 659 0 591619 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2379592 KiB
Current children cumulated memory: 2160432 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.13 4.13 5/264 16604
/proc/meminfo: memFree=126869532/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3320844 memory=2979204 CPUtime=25.4 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 390890 0 0 0 2452 88 0 0 20 0 1 0 2136328 3400544256 744801 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 830211 744801 468 659 0 829415 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3330776 KiB
Current children cumulated memory: 2982000 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.12 4.13 5/262 16607
/proc/meminfo: memFree=126817264/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3320844 memory=2979388 CPUtime=50.93 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 391203 0 0 0 5004 89 0 0 20 0 1 0 2136328 3400544256 744847 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 830211 744847 468 659 0 829415 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 3330776 KiB
Current children cumulated memory: 2982184 KiB

[startup+102.3 s]
/proc/loadavg: 4.44 4.20 4.15 5/262 16616
/proc/meminfo: memFree=126805896/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3320844 memory=2981684 CPUtime=101.97 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 391871 0 0 0 10107 90 0 0 20 0 1 0 2136328 3400544256 745421 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 830211 745421 468 659 0 829415 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 3330776 KiB
Current children cumulated memory: 2984480 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.19 4.15 5/262 16626
/proc/meminfo: memFree=126686808/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3320844 memory=2983732 CPUtime=161.79 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 392282 0 0 0 16088 91 0 0 20 0 1 0 2136328 3400544256 745933 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 830211 745933 468 659 0 829415 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 3330776 KiB
Current children cumulated memory: 2986528 KiB

[startup+222.3 s]
/proc/loadavg: 3.91 4.12 4.13 4/252 16667
/proc/meminfo: memFree=126981400/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3320844 memory=2987848 CPUtime=221.61 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 392896 0 0 0 22069 92 0 0 20 0 1 0 2136328 3400544256 746962 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 830211 746962 468 659 0 829415 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 3330776 KiB

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

/proc/16599/statm: 938370 802548 468 659 0 937574 0
Current children cumulated CPU time: 3091.46 s
Current children cumulated vsize: 3763412 KiB
Current children cumulated memory: 3212988 KiB

[startup+3162.3 s]
/proc/loadavg: 2.06 2.08 2.16 3/244 18226
/proc/meminfo: memFree=126846188/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3405424 memory=3136752 CPUtime=3151.23 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 485832 0 0 0 314697 426 0 0 20 0 1 0 2136328 3487154176 784188 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 851356 784188 468 659 0 850560 0
Current children cumulated CPU time: 3151.23 s
Current children cumulated vsize: 3415356 KiB
Current children cumulated memory: 3139548 KiB

[startup+3222.3 s]
/proc/loadavg: 2.07 2.08 2.15 3/243 18236
/proc/meminfo: memFree=126788540/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3754936 memory=3213668 CPUtime=3211 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 487407 0 0 0 320672 428 0 0 20 0 1 0 2136328 3845054464 803417 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 938734 803417 468 659 0 937938 0
Current children cumulated CPU time: 3211 s
Current children cumulated vsize: 3764868 KiB
Current children cumulated memory: 3216464 KiB

[startup+3282.3 s]
/proc/loadavg: 2.14 2.09 2.15 3/243 18246
/proc/meminfo: memFree=126844460/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3407332 memory=3128488 CPUtime=3270.78 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 489467 0 0 0 326637 441 0 0 20 0 1 0 2136328 3489107968 782122 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 851833 782122 468 659 0 851037 0
Current children cumulated CPU time: 3270.78 s
Current children cumulated vsize: 3417264 KiB
Current children cumulated memory: 3131284 KiB

[startup+3342.3 s]
/proc/loadavg: 2.11 2.09 2.15 3/245 18429
/proc/meminfo: memFree=126780520/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3756724 memory=3205456 CPUtime=3330.56 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 491220 0 0 0 332613 443 0 0 20 0 1 0 2136328 3846885376 801364 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 939181 801364 468 659 0 938385 0
Current children cumulated CPU time: 3330.56 s
Current children cumulated vsize: 3766656 KiB
Current children cumulated memory: 3208252 KiB

[startup+3402.3 s]
/proc/loadavg: 2.09 2.09 2.14 3/245 18439
/proc/meminfo: memFree=126915176/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3409336 memory=3124436 CPUtime=3390.37 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 493352 0 0 0 338582 455 0 0 20 0 1 0 2136328 3491160064 781109 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 852334 781109 468 659 0 851538 0
Current children cumulated CPU time: 3390.37 s
Current children cumulated vsize: 3419268 KiB
Current children cumulated memory: 3127232 KiB

[startup+3462.3 s]
/proc/loadavg: 2.13 2.10 2.14 4/246 18452
/proc/meminfo: memFree=126764336/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3758720 memory=3211440 CPUtime=3450.17 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 494919 0 0 0 344560 457 0 0 20 0 1 0 2136328 3848929280 802860 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 939680 802860 468 659 0 938884 0
Current children cumulated CPU time: 3450.17 s
Current children cumulated vsize: 3768652 KiB
Current children cumulated memory: 3214236 KiB

[startup+3522.3 s]
/proc/loadavg: 2.10 2.09 2.13 3/245 18474
/proc/meminfo: memFree=126716048/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3760536 memory=3282660 CPUtime=3509.96 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 496270 0 0 0 350537 459 0 0 20 0 1 0 2136328 3850788864 820665 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 940134 820665 468 659 0 939338 0
Current children cumulated CPU time: 3509.96 s
Current children cumulated vsize: 3770468 KiB
Current children cumulated memory: 3285456 KiB

[startup+3582.3 s]
/proc/loadavg: 2.11 2.10 2.13 3/245 18484
/proc/meminfo: memFree=126780848/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3760668 memory=3192764 CPUtime=3569.77 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 498725 0 0 0 356506 471 0 0 20 0 1 0 2136328 3850924032 798191 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 940167 798191 468 659 0 939371 0
Current children cumulated CPU time: 3569.77 s
Current children cumulated vsize: 3770600 KiB
Current children cumulated memory: 3195560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 1.90 2.06 2.12 2/237 18520
/proc/meminfo: memFree=127039232/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3760668 memory=3225624 CPUtime=3600.08 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 499176 0 0 0 359536 472 0 0 20 0 1 0 2136328 3850924032 806406 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 940167 806406 468 659 0 939371 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3770600 KiB
Current children cumulated memory: 3228420 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000711 s, system=0.002084 s

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

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

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

[startup+3612.7 s]
/proc/loadavg: 1.90 2.06 2.12 2/237 18520
/proc/meminfo: memFree=127039232/131524600 swapFree=131071996/131071996
[pid=16594] ppid=16591 vsize=9932 memory=2796 CPUtime=0 cores=0,2
/proc/16594/stat : 16594 (naps-1.03.sh) S 16591 16594 14129 0 -1 4194304 226 244 0 0 0 0 0 0 20 0 1 0 2136328 10170368 699 134679101440 94504721252352 94504722331672 140722220018080 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94504724430128 94504724477316 94504733925376 140722220024799 140722220024928 140722220024928 140722220031944 0
/proc/16594/statm: 2483 699 623 264 0 134 0
[pid=16599] ppid=16594 vsize=3760668 memory=3225624 CPUtime=3600.08 cores=0,2
/proc/16599/stat : 16599 (naps-1.03a2) R 16594 16594 14129 0 -1 4194304 499176 0 0 0 359536 472 0 0 20 0 1 0 2136328 3850924032 806406 134679101440 4194304 6891597 140722793382704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9134080 140722793391082 140722793391200 140722793391200 140722793398217 0
/proc/16599/statm: 940167 806406 468 659 0 939371 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3770600 KiB
Current children cumulated memory: 3228420 KiB

Child status: 10

Real time (s): 3612.72
CPU time (s): 3600.11
CPU user time (s): 3595.37
CPU system time (s): 4.7445
CPU usage (%): 99.6509
Max. virtual memory (cumulated for all children) (KiB): 4329268
Max. memory (cumulated for all children) (KiB): 3858488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.37
system time used= 4.7445
maximum resident set size= 3855692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499690
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= 238
involuntary context switches= 25261


# summary of solver processes directly reported to runsolver:
#   pid: 16594,16599
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3595.37
#   total CPU system time (s): 4.7445

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71437 second user time and 16.1402 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-30 18:02:38
IDJOB=4463745
IDBENCH=144135
IDSOLVER=3091
FILE ID=nodeC027/4463745-1722355358
RUNJOBID= nodeC027-1722351737-14139
SLURM_JOB_ID= 8249013
Free space on /tmp= 890052 MiB

SOLVER NAME= NaPS-GM 1.03a2
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-4463745-1722355358/watcher-4463745-1722355358 -o /tmp/evaluation-result-4463745-1722355358/solver-4463745-1722355358 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722351737-14139 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4463745-1722355358.wbo

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

MD5SUM BENCH= 9031472e82cc640e2367b3bed0c7412c
RANDOM SEED=904778523

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129961972 kB
MemAvailable:   129707948 kB
Buffers:           62608 kB
Cached:           520044 kB
SwapCached:            0 kB
Active:           192204 kB
Inactive:         902832 kB
Active(anon):       1568 kB
Inactive(anon):   532140 kB
Active(file):     190636 kB
Inactive(file):   370692 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             37172 kB
Writeback:             0 kB
AnonPages:        511284 kB
Mapped:            94088 kB
Shmem:             21336 kB
KReclaimable:      48588 kB
Slab:             128492 kB
SReclaimable:      48588 kB
SUnreclaim:        79904 kB
KernelStack:        4240 kB
PageTables:        10032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     763812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9024 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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:      150228 kB
DirectMap2M:     9060352 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC027 at 2024-07-30 19:02:51