Trace number 4461447

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS 1.03a1MSAT (TO) 3600.14 3612.3

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 Input file name: HOME/instance-4461447-1722080420.wbo
0.00/0.00	c Initial goal by soft: 463735
4.98/5.06	c single stage optimization mode
777.92/780.12	o 241642
3600.03/3612.20	c 
3600.03/3612.20	c *** TERMINATED *** by signal 15
3600.03/3612.20	s SATISFIABLE
3600.03/3612.20	c _____________________________________________________________________________
3600.03/3612.20	c std/band forms        : 142,0
3600.03/3612.20	c 2cl/3cl ITE-codings   : 0,0
3600.03/3612.20	c BDD/srt/adr Max costs : 0,694,2256784
3600.03/3612.20	c BDDraw/bin/mul/srt/adr: 0,0,0,141,1
3600.03/3612.20	c BDD nodes             : 0
3600.03/3612.20	c Es1/CC detections     : 0,0
3600.03/3612.20	c CC sort               : 141
3600.03/3612.20	c SAT/UNSAT calls       : 1,0
3600.03/3612.20	c regenrated variables  : 0
3600.03/3612.20	c eliminated fixed lits : 0
3600.03/3612.20	c goal lit flips        : 511389
3600.03/3612.20	c goal stages           : 1
3600.03/3612.20	c goal shrink           : 0
3600.03/3612.20	c goal coeff separations: 0
3600.03/3612.20	c restarts              : 0
3600.03/3612.20	c conflicts             : 0              (0 /sec)
3600.03/3612.20	c decisions             : 0              (0 /sec)
3600.03/3612.20	c propagations          : 25197          (7 /sec)
3600.03/3612.20	c inspects              : 0              (0 /sec)
3600.03/3612.20	c CPU time (solving tm) : 3585 s        (3571 s, SAT 771.7 s, UNSAT 0 s)
3600.03/3612.20	c Time for Opt-base     : 0.001126 s
3600.03/3612.20	c Steps for Opt-base    : 0
3600.03/3612.20	c Time for BDD coding   : 0 s
3600.03/3612.20	c Time for srt coding   : 0.007513 s
3600.03/3612.20	c _____________________________________________________________________________
3600.03/3612.20	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
3600.03/3612.20	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 x3149 -x3150 -x3151 -x3152 -x3153 -x3154 x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999
3600.03/3612.20	v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 x4599 -x4600 -x4601 -x4602 -x4603 -x4604 x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4941 -x4942 -x4943 -x4944 -x4945 -x4946 x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 x5077 -x5078 -x5079 -x5080 -x5081 -x5082 x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v
3600.03/3612.20	v

Verifier Data 

OK	241642

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (55015 MiB free)
  memory of node 1: 64473 MiB (58874 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461447-1722080420/watcher-4461447-1722080420 -o /tmp/evaluation-result-4461447-1722080420/solver-4461447-1722080420 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722076558-326023 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461447-1722080420.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
Current StackSize limit: 8192 KiB

solver pid=329097, runsolver pid=329094

[startup+0.100093 s]*
/proc/loadavg: 4.30 4.17 4.10 5/258 329102
/proc/meminfo: memFree=116611676/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=16528 memory=14824 CPUtime=0.09 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 3650 0 0 0 9 0 0 0 20 0 1 0 44569892 16924672 3706 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 4132 3706 580 659 0 3336 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26460 KiB
Current children cumulated memory: 17528 KiB

[startup+0.205914 s]*
/proc/loadavg: 4.30 4.17 4.10 5/258 329102
/proc/meminfo: memFree=116600056/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=28256 memory=26112 CPUtime=0.19 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 6983 0 0 0 19 0 0 0 20 0 1 0 44569892 28934144 6528 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 7064 6528 580 659 0 6268 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38188 KiB
Current children cumulated memory: 28816 KiB

[startup+0.305807 s]*
/proc/loadavg: 4.27 4.16 4.10 6/258 329102
/proc/meminfo: memFree=116593188/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=33060 memory=31392 CPUtime=0.3 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 8348 0 0 0 29 1 0 0 20 0 1 0 44569892 33853440 7848 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 8265 7848 580 659 0 7469 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42992 KiB
Current children cumulated memory: 34096 KiB

[startup+0.700216 s]
/proc/loadavg: 4.27 4.16 4.10 5/258 329102
/proc/meminfo: memFree=116571284/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=91728 memory=86540 CPUtime=0.69 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 19550 0 0 0 66 3 0 0 20 0 1 0 44569892 93929472 21635 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 22932 21635 580 659 0 22136 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 101660 KiB
Current children cumulated memory: 89244 KiB

[startup+1.50026 s]
/proc/loadavg: 4.27 4.16 4.10 5/254 329116
/proc/meminfo: memFree=116839992/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=177928 memory=169936 CPUtime=1.49 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 30720 0 0 0 143 6 0 0 20 0 1 0 44569892 182198272 42484 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 44482 42484 580 659 0 43686 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 187860 KiB
Current children cumulated memory: 172640 KiB

[startup+3.10577 s]
/proc/loadavg: 4.27 4.16 4.10 5/258 329152
/proc/meminfo: memFree=116415664/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=318180 memory=313188 CPUtime=3.09 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 58369 0 0 0 297 12 0 0 20 0 1 0 44569892 325816320 78297 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 79545 78297 580 659 0 78749 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 328112 KiB
Current children cumulated memory: 315892 KiB

[startup+6.30025 s]
/proc/loadavg: 4.25 4.16 4.09 5/258 329152
/proc/meminfo: memFree=115951468/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=544468 memory=531424 CPUtime=6.27 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 96630 0 0 0 607 20 0 0 20 0 1 0 44569892 557535232 132856 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 136117 132856 612 659 0 135321 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 534128 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.16 4.09 5/258 329153
/proc/meminfo: memFree=115403404/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=544468 memory=531424 CPUtime=12.65 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 96631 0 0 0 1245 20 0 0 20 0 1 0 44569892 557535232 132856 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 136117 132856 612 659 0 135321 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 534128 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.17 4.10 5/258 329155
/proc/meminfo: memFree=115453788/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=544468 memory=531620 CPUtime=25.41 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 96635 0 0 0 2521 20 0 0 20 0 1 0 44569892 557535232 132905 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 136117 132905 612 659 0 135321 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 534324 KiB

[startup+51.1057 s]
/proc/loadavg: 4.22 4.17 4.10 5/258 329159
/proc/meminfo: memFree=115559892/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=544468 memory=531620 CPUtime=50.96 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 96642 0 0 0 5075 21 0 0 20 0 1 0 44569892 557535232 132905 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 136117 132905 612 659 0 135321 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 534324 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/259 329220
/proc/meminfo: memFree=115667300/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=544468 memory=531636 CPUtime=102.01 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 96653 0 0 0 10180 21 0 0 20 0 1 0 44569892 557535232 132909 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 136117 132909 612 659 0 135321 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 534340 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/258 329279
/proc/meminfo: memFree=113993040/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=544468 memory=531636 CPUtime=161.87 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 96674 0 0 0 16165 22 0 0 20 0 1 0 44569892 557535232 132909 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 136117 132909 612 659 0 135321 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 534340 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.10 5/258 329291
/proc/meminfo: memFree=113989052/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=544468 memory=535096 CPUtime=221.71 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 96704 0 0 0 22149 22 0 0 20 0 1 0 44569892 557535232 133774 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 136117 133774 612 659 0 135321 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 554400 KiB

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

/proc/329102/statm: 1067285 1026991 660 659 0 1066489 0
Current children cumulated CPU time: 3032.16 s
Current children cumulated vsize: 4279072 KiB
Current children cumulated memory: 4110668 KiB

[startup+3102.3 s]
/proc/loadavg: 4.24 4.20 4.14 5/262 330998
/proc/meminfo: memFree=108322952/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=4102100 memory=3934848 CPUtime=3091.95 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 764061 0 0 0 307783 1412 0 0 20 0 1 0 44569892 4200550400 983712 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 1025525 983712 660 659 0 1024729 0
Current children cumulated CPU time: 3091.95 s
Current children cumulated vsize: 4112032 KiB
Current children cumulated memory: 3937552 KiB

[startup+3162.3 s]
/proc/loadavg: 4.25 4.21 4.14 5/263 331009
/proc/meminfo: memFree=108322588/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=4102100 memory=3934848 CPUtime=3151.74 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 764663 0 0 0 313761 1413 0 0 20 0 1 0 44569892 4200550400 983712 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 1025525 983712 660 659 0 1024729 0
Current children cumulated CPU time: 3151.74 s
Current children cumulated vsize: 4112032 KiB
Current children cumulated memory: 3937552 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.19 4.14 5/261 331020
/proc/meminfo: memFree=108324248/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=4101712 memory=3934460 CPUtime=3211.52 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 766703 0 0 0 319723 1429 0 0 20 0 1 0 44569892 4200153088 983615 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 1025428 983615 660 659 0 1024632 0
Current children cumulated CPU time: 3211.52 s
Current children cumulated vsize: 4111644 KiB
Current children cumulated memory: 3937164 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/261 331030
/proc/meminfo: memFree=102851832/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=4101712 memory=3934460 CPUtime=3271.3 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 767345 0 0 0 325700 1430 0 0 20 0 1 0 44569892 4200153088 983615 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 1025428 983615 660 659 0 1024632 0
Current children cumulated CPU time: 3271.3 s
Current children cumulated vsize: 4111644 KiB
Current children cumulated memory: 3937164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/257 331040
/proc/meminfo: memFree=101929356/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=4274244 memory=4113068 CPUtime=3331.09 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 773827 0 0 0 331650 1459 0 0 20 0 1 0 44569892 4376825856 1028267 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 1068561 1028267 660 659 0 1067765 0
Current children cumulated CPU time: 3331.09 s
Current children cumulated vsize: 4284176 KiB
Current children cumulated memory: 4115772 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/257 331052
/proc/meminfo: memFree=101799040/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=4077632 memory=3916456 CPUtime=3390.87 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 774440 0 0 0 337627 1460 0 0 20 0 1 0 44569892 4175495168 979114 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 1019408 979114 660 659 0 1018612 0
Current children cumulated CPU time: 3390.87 s
Current children cumulated vsize: 4087564 KiB
Current children cumulated memory: 3919160 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/256 331062
/proc/meminfo: memFree=98964312/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=4077632 memory=3916456 CPUtime=3450.66 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 775317 0 0 0 343603 1463 0 0 20 0 1 0 44569892 4175495168 979114 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 1019408 979114 660 659 0 1018612 0
Current children cumulated CPU time: 3450.66 s
Current children cumulated vsize: 4087564 KiB
Current children cumulated memory: 3919160 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/256 331072
/proc/meminfo: memFree=100687700/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=4079916 memory=3918740 CPUtime=3510.44 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 776589 0 0 0 349567 1477 0 0 20 0 1 0 44569892 4177833984 979685 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 1019979 979685 660 659 0 1019183 0
Current children cumulated CPU time: 3510.44 s
Current children cumulated vsize: 4089848 KiB
Current children cumulated memory: 3921444 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/256 331082
/proc/meminfo: memFree=100710212/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=4079916 memory=3918740 CPUtime=3570.24 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 777056 0 0 0 355544 1480 0 0 20 0 1 0 44569892 4177833984 979685 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 1019979 979685 660 659 0 1019183 0
Current children cumulated CPU time: 3570.24 s
Current children cumulated vsize: 4089848 KiB
Current children cumulated memory: 3921444 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.07 4.12 4.11 4/250 331124
/proc/meminfo: memFree=109201340/131524600 swapFree=131060368/131071996
[pid=329097] ppid=329094 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/329097/stat : 329097 (naps-1.03.sh) S 329094 329097 326013 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44569892 10170368 676 134679101440 93976461881344 93976462960664 140733156742944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93976465059120 93976465106308 93976474075136 140733156746213 140733156746338 140733156746338 140733156753352 0
/proc/329097/statm: 2483 676 599 264 0 134 0
[pid=329102] ppid=329097 vsize=4300972 memory=4136096 CPUtime=3600.03 cores=0,2
/proc/329102/stat : 329102 (naps-1.03) R 329097 329097 326013 0 -1 4194304 782635 0 0 0 358509 1494 0 0 20 0 1 0 44569892 4404195328 1034024 134679101440 4194304 6891597 140735676467536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27897856 140735676474358 140735676474470 140735676474470 140735676481483 0
/proc/329102/statm: 1075243 1034024 660 659 0 1074447 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4310904 KiB
Current children cumulated memory: 4138800 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002752 s, system=0.000175 s

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

# cumulated CPU time of all completed processes:  user=3585.1 s, system=15.0339 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): 3612.3
CPU time (s): 3600.14
CPU user time (s): 3585.1
CPU system time (s): 15.0339
CPU usage (%): 99.6633
Max. virtual memory (cumulated for all children) (KiB): 4993232
Max. memory (cumulated for all children) (KiB): 4822640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.1
system time used= 15.0339
maximum resident set size= 4819936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 783102
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= 16
involuntary context switches= 25196


# summary of solver processes directly reported to runsolver:
#   pid: 329097,329102
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3585.1
#   total CPU system time (s): 15.0339

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73874 second user time and 17.9418 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-27 13:40:20
IDJOB=4461447
IDBENCH=144135
IDSOLVER=3088
FILE ID=nodeC014/4461447-1722080420
RUNJOBID= nodeC014-1722076558-326023
SLURM_JOB_ID= 8248132
Free space on /tmp= 890008 MiB

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

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

MD5SUM BENCH= 9031472e82cc640e2367b3bed0c7412c
RANDOM SEED=1729835667

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        116623484 kB
MemAvailable:   128790472 kB
Buffers:          380096 kB
Cached:         12559248 kB
SwapCached:          140 kB
Active:           828788 kB
Inactive:       13355136 kB
Active(anon):       2204 kB
Inactive(anon):  1295364 kB
Active(file):     826584 kB
Inactive(file): 12059772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060368 kB
Dirty:             26364 kB
Writeback:             0 kB
AnonPages:       1239860 kB
Mapped:           101672 kB
Shmem:             52988 kB
KReclaimable:     240912 kB
Slab:             366468 kB
SReclaimable:     240912 kB
SUnreclaim:       125556 kB
KernelStack:        4144 kB
PageTables:        12088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1791536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    915456 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      395988 kB
DirectMap2M:    46563328 kB
DirectMap1G:    89128960 kB

Free space on /tmp at the end= 889940 MiB
End job on nodeC014 at 2024-07-27 14:40:32