Trace number 4426605

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.03MSAT (TO) 3600.15 3611.36

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426605-1720909667/watcher-4426605-1720909667 -o /tmp/evaluation-result-4426605-1720909667/solver-4426605-1720909667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1720909680-727667 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426605-1720909667.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=727742, runsolver pid=727739

[startup+0.100089 s]*
/proc/loadavg: 1.21 2.63 3.49 4/257 727761
/proc/meminfo: memFree=128677492/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=16524 memory=14824 CPUtime=0.09 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 3644 0 0 0 9 0 0 0 20 0 1 0 143130881 16920576 3706 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 4131 3706 580 659 0 3335 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26456 KiB
Current children cumulated memory: 17448 KiB

[startup+0.205605 s]*
/proc/loadavg: 1.21 2.63 3.49 5/257 727761
/proc/meminfo: memFree=128644472/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=28256 memory=26108 CPUtime=0.19 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 6972 0 0 0 19 0 0 0 20 0 1 0 143130881 28934144 6527 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 7064 6527 580 659 0 6268 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38188 KiB
Current children cumulated memory: 28732 KiB

[startup+0.305886 s]*
/proc/loadavg: 1.21 2.63 3.49 5/256 727782
/proc/meminfo: memFree=128636168/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=32928 memory=31388 CPUtime=0.3 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 8285 0 0 0 29 1 0 0 20 0 1 0 143130881 33718272 7781 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 8232 7847 580 659 0 7436 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42860 KiB
Current children cumulated memory: 34012 KiB

[startup+0.700242 s]
/proc/loadavg: 1.21 2.63 3.49 5/257 727787
/proc/meminfo: memFree=128581392/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=90108 memory=86008 CPUtime=0.68 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 19932 0 0 0 66 2 0 0 20 0 1 0 143130881 92270592 21502 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 22527 21502 580 659 0 21731 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100040 KiB
Current children cumulated memory: 88632 KiB

[startup+1.50024 s]
/proc/loadavg: 1.21 2.63 3.49 5/261 727797
/proc/meminfo: memFree=128480192/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=177928 memory=171764 CPUtime=1.48 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 31662 0 0 0 142 6 0 0 20 0 1 0 143130881 182198272 42941 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 44482 42941 580 659 0 43686 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 187860 KiB
Current children cumulated memory: 174388 KiB

[startup+3.10541 s]
/proc/loadavg: 1.43 2.65 3.49 5/261 727849
/proc/meminfo: memFree=128057548/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=318180 memory=313300 CPUtime=3.08 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 57908 0 0 0 298 10 0 0 20 0 1 0 143130881 325816320 78325 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 79545 78325 580 659 0 78749 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 328112 KiB
Current children cumulated memory: 315924 KiB

[startup+6.30022 s]
/proc/loadavg: 1.43 2.65 3.49 5/261 727849
/proc/meminfo: memFree=127227456/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=544468 memory=533152 CPUtime=6.27 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 96504 0 0 0 609 18 0 0 20 0 1 0 143130881 557535232 133288 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 136117 133288 612 659 0 135321 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 535776 KiB

[startup+12.7002 s]
/proc/loadavg: 1.64 2.68 3.50 5/263 728020
/proc/meminfo: memFree=126140140/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=544468 memory=533152 CPUtime=12.65 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 96505 0 0 0 1247 18 0 0 20 0 1 0 143130881 557535232 133288 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 136117 133288 612 659 0 135321 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 535776 KiB

[startup+25.5002 s]
/proc/loadavg: 2.24 2.76 3.51 5/263 728022
/proc/meminfo: memFree=125983712/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=544468 memory=533152 CPUtime=25.41 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 96509 0 0 0 2523 18 0 0 20 0 1 0 143130881 557535232 133288 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 136117 133288 612 659 0 135321 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 535776 KiB

[startup+51.1054 s]
/proc/loadavg: 2.84 2.86 3.53 5/263 728025
/proc/meminfo: memFree=125984240/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=544468 memory=533240 CPUtime=50.96 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 96518 0 0 0 5077 19 0 0 20 0 1 0 143130881 557535232 133310 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 136117 133310 612 659 0 135321 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 535864 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 3.05 3.56 5/263 728035
/proc/meminfo: memFree=125974388/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=544468 memory=533240 CPUtime=102.03 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 96544 0 0 0 10184 19 0 0 20 0 1 0 143130881 557535232 133310 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 136117 133310 612 659 0 135321 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 535864 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 3.26 3.60 5/263 728153
/proc/meminfo: memFree=124300592/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=544468 memory=536484 CPUtime=161.88 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 96587 0 0 0 16169 19 0 0 20 0 1 0 143130881 557535232 134121 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 136117 134121 612 659 0 135321 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 539108 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.41 3.63 5/263 728163
/proc/meminfo: memFree=124296684/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=544468 memory=536484 CPUtime=221.74 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 96626 0 0 0 22155 19 0 0 20 0 1 0 143130881 557535232 134121 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 136117 134121 612 659 0 135321 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 554400 KiB

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

/proc/727747/statm: 1027756 984153 660 659 0 1026960 0
Current children cumulated CPU time: 3092.8 s
Current children cumulated vsize: 4120956 KiB
Current children cumulated memory: 3939236 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.20 4.13 5/261 729274
/proc/meminfo: memFree=120853704/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=4111024 memory=3936612 CPUtime=3152.61 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 764142 0 0 0 313911 1350 0 0 20 0 1 0 143130881 4209688576 984153 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 1027756 984153 660 659 0 1026960 0
Current children cumulated CPU time: 3152.61 s
Current children cumulated vsize: 4120956 KiB
Current children cumulated memory: 3939236 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.21 4.14 5/261 729284
/proc/meminfo: memFree=120186360/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=4776772 memory=4602252 CPUtime=3212.41 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 765294 0 0 0 319878 1363 0 0 20 0 1 0 143130881 4891414528 1150563 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 1194193 1150563 660 659 0 1193397 0
Current children cumulated CPU time: 3212.41 s
Current children cumulated vsize: 4786704 KiB
Current children cumulated memory: 4604876 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.17 4.13 5/261 729294
/proc/meminfo: memFree=120879760/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=4077676 memory=3909828 CPUtime=3272.22 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 769708 0 0 0 325845 1377 0 0 20 0 1 0 143130881 4175540224 977457 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 1019419 977457 660 659 0 1018623 0
Current children cumulated CPU time: 3272.22 s
Current children cumulated vsize: 4087608 KiB
Current children cumulated memory: 3912452 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.20 4.14 5/261 729304
/proc/meminfo: memFree=115353696/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=4077676 memory=3909828 CPUtime=3332.02 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 770923 0 0 0 331825 1377 0 0 20 0 1 0 143130881 4175540224 977457 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 1019419 977457 660 659 0 1018623 0
Current children cumulated CPU time: 3332.02 s
Current children cumulated vsize: 4087608 KiB
Current children cumulated memory: 3912452 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.13 5/261 729316
/proc/meminfo: memFree=114813280/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=4079960 memory=3912112 CPUtime=3391.81 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 772692 0 0 0 337791 1390 0 0 20 0 1 0 143130881 4177879040 978028 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 1019990 978028 660 659 0 1019194 0
Current children cumulated CPU time: 3391.81 s
Current children cumulated vsize: 4089892 KiB
Current children cumulated memory: 3914736 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/260 729710
/proc/meminfo: memFree=113022572/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=4079960 memory=3912112 CPUtime=3451.58 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 773247 0 0 0 343768 1390 0 0 20 0 1 0 143130881 4177879040 978028 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 1019990 978028 660 659 0 1019194 0
Current children cumulated CPU time: 3451.58 s
Current children cumulated vsize: 4089892 KiB
Current children cumulated memory: 3914736 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/260 729721
/proc/meminfo: memFree=113223276/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=4783052 memory=4602940 CPUtime=3511.38 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 782501 0 0 0 349717 1421 0 0 20 0 1 0 143130881 4897845248 1150735 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 1195763 1150735 660 659 0 1194967 0
Current children cumulated CPU time: 3511.38 s
Current children cumulated vsize: 4792984 KiB
Current children cumulated memory: 4605564 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/260 729732
/proc/meminfo: memFree=113187168/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=4115020 memory=3944008 CPUtime=3571.19 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 783334 0 0 0 355698 1421 0 0 20 0 1 0 143130881 4213780480 986002 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 1028755 986002 660 659 0 1027959 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 4124952 KiB
Current children cumulated memory: 3946632 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.12 4.13 4.12 3/247 729969
/proc/meminfo: memFree=123113948/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=4115020 memory=3944008 CPUtime=3600.08 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 783604 0 0 0 358587 1421 0 0 20 0 1 0 143130881 4213780480 986002 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 1028755 986002 660 659 0 1027959 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4124952 KiB
Current children cumulated memory: 3946632 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002079 s, system=0.00061 s

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

# cumulated CPU time of all completed processes:  user=3585.88 s, system=14.2709 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+3611.3 s]
/proc/loadavg: 4.12 4.13 4.12 3/247 729969
/proc/meminfo: memFree=123113948/131524600 swapFree=131071996/131071996
[pid=727742] ppid=727739 vsize=9932 memory=2624 CPUtime=0 cores=0,2
/proc/727742/stat : 727742 (naps-1.03.sh) S 727739 727742 720886 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 143130881 10170368 656 134679101440 94771787149312 94771788228632 140729840948944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94771790327088 94771790374276 94771802267648 140729840956336 140729840956461 140729840956461 140729840963528 0
/proc/727742/statm: 2483 656 577 264 0 134 0
[pid=727747] ppid=727742 vsize=4115020 memory=3944008 CPUtime=3600.08 cores=0,2
/proc/727747/stat : 727747 (naps-1.03) R 727742 727742 720886 0 -1 4194304 783604 0 0 0 358587 1421 0 0 20 0 1 0 143130881 4213780480 986002 134679101440 4194304 6891213 140735849695312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 39804928 140735849698241 140735849698353 140735849698353 140735849705419 0
/proc/727747/statm: 1028755 986002 660 659 0 1027959 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4124952 KiB
Current children cumulated memory: 3946632 KiB

Child status: 10

Real time (s): 3611.36
CPU time (s): 3600.15
CPU user time (s): 3585.88
CPU system time (s): 14.2709
CPU usage (%): 99.6897
Max. virtual memory (cumulated for all children) (KiB): 4993272
Max. memory (cumulated for all children) (KiB): 4815816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.88
system time used= 14.2709
maximum resident set size= 4813192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 784070
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= 77
involuntary context switches= 25190


# summary of solver processes directly reported to runsolver:
#   pid: 727742,727747
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3585.88
#   total CPU system time (s): 14.2709

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37755 second user time and 16.9442 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-14 00:28:00
IDJOB=4426605
IDBENCH=144135
IDSOLVER=3043
FILE ID=nodeC022/4426605-1720909667
RUNJOBID= nodeC022-1720909680-727667
SLURM_JOB_ID= 7486081
Free space on /tmp= 890052 MiB

SOLVER NAME= NaPS 1.03
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-4426605-1720909667/watcher-4426605-1720909667 -o /tmp/evaluation-result-4426605-1720909667/solver-4426605-1720909667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1720909680-727667 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4426605-1720909667.wbo

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

MD5SUM BENCH= 9031472e82cc640e2367b3bed0c7412c
RANDOM SEED=137826731

nodeC022.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		: 3663.544
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.66
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		: 3664.313
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.96
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		: 3665.954
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.66
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		: 3607.125
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.96
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		: 3621.662
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.66
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		: 3657.297
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.96
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		: 3666.154
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.66
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		: 3655.075
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128770648 kB
MemAvailable:   129724876 kB
Buffers:          335840 kB
Cached:          1451568 kB
SwapCached:            0 kB
Active:           539428 kB
Inactive:        1627012 kB
Active(anon):       1548 kB
Inactive(anon):   415200 kB
Active(file):     537880 kB
Inactive(file):  1211812 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             37124 kB
Writeback:             0 kB
AnonPages:        378464 kB
Mapped:           106556 kB
Shmem:             37720 kB
KReclaimable:      88368 kB
Slab:             189608 kB
SReclaimable:      88368 kB
SUnreclaim:       101240 kB
KernelStack:        4160 kB
PageTables:         9844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     765444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54496 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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:      213716 kB
DirectMap2M:    18434048 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890000 MiB
End job on nodeC022 at 2024-07-14 01:28:11