Trace number 4426328

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS-GM 1.03MSAT (TO) 3600.05 3609.13

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 We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4426328-1720901897.wbo
5.18/5.21	c single stage optimization mode
5.57/5.69	o 235864
3600.02/3609.10	c 
3600.02/3609.10	c *** TERMINATED *** by signal 15
3600.02/3609.10	s SATISFIABLE
3600.02/3609.10	c _____________________________________________________________________________
3600.02/3609.10	c std/band forms        : 142,0
3600.02/3609.10	c 2cl/3cl ITE-codings   : 0,0
3600.02/3609.10	c BDD/srt/adr Max costs : 0,694,2256784
3600.02/3609.10	c BDDraw/bin/mul/srt/adr: 0,0,0,141,1
3600.02/3609.10	c BDD nodes             : 0
3600.02/3609.10	c Es1/CC detections     : 0,0
3600.02/3609.10	c CC sort               : 141
3600.02/3609.10	c SAT/UNSAT calls       : 1,0
3600.02/3609.10	c regenrated variables  : 0
3600.02/3609.10	c eliminated fixed lits : 0
3600.02/3609.10	c goal lit flips        : 0
3600.02/3609.10	c goal stages           : 1
3600.02/3609.10	c goal shrink           : 0
3600.02/3609.10	c goal coeff separations: 0
3600.02/3609.10	c restarts              : 1
3600.02/3609.10	c conflicts             : 47             (0 /sec)
3600.02/3609.10	c decisions             : 896859         (249 /sec)
3600.02/3609.10	c propagations          : 931750         (259 /sec)
3600.02/3609.10	c inspects              : 0              (0 /sec)
3600.02/3609.10	c CPU time (solving tm) : 3595 s        (3581 s, SAT 0.1621 s, UNSAT 0 s)
3600.02/3609.10	c Time for Opt-base     : 0.007822 s
3600.02/3609.10	c Steps for Opt-base    : 0
3600.02/3609.10	c Time for BDD coding   : 0 s
3600.02/3609.10	c Time for srt coding   : 0.008663 s
3600.02/3609.10	c _____________________________________________________________________________
3600.02/3609.10	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.02/3609.10	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.02/3609.10	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.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v
3600.02/3609.11	v

Verifier Data 

OK	223561

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426328-1720901897/watcher-4426328-1720901897 -o /tmp/evaluation-result-4426328-1720901897/solver-4426328-1720901897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1720901806-737813 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426328-1720901897.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=738106, runsolver pid=738103

[startup+0.100092 s]*
/proc/loadavg: 3.50 1.35 0.55 5/257 738111
/proc/meminfo: memFree=107271692/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=17852 memory=11472 CPUtime=0.09 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 2652 0 0 0 9 0 0 0 20 0 1 0 142352154 18280448 2868 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 4463 2868 436 659 0 3667 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27784 KiB
Current children cumulated memory: 14164 KiB

[startup+0.205575 s]*
/proc/loadavg: 3.50 1.35 0.55 5/257 738111
/proc/meminfo: memFree=107256848/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=26896 memory=19228 CPUtime=0.2 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 4577 0 0 0 20 0 0 0 20 0 1 0 142352154 27541504 4807 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 6724 4807 436 659 0 5928 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36828 KiB
Current children cumulated memory: 21920 KiB

[startup+0.305783 s]*
/proc/loadavg: 3.50 1.35 0.55 5/257 738111
/proc/meminfo: memFree=107234992/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=32672 memory=26360 CPUtime=0.29 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 6588 0 0 0 29 0 0 0 20 0 1 0 142352154 33456128 6590 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 8168 6590 436 659 0 7372 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 29052 KiB

[startup+0.700277 s]
/proc/loadavg: 3.50 1.35 0.55 5/257 738111
/proc/meminfo: memFree=107194276/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=64188 memory=55864 CPUtime=0.69 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 13850 0 0 0 67 2 0 0 20 0 1 0 142352154 65728512 13966 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 16047 13966 436 659 0 15251 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 74120 KiB
Current children cumulated memory: 58556 KiB

[startup+1.50026 s]
/proc/loadavg: 3.50 1.35 0.55 5/257 738111
/proc/meminfo: memFree=107133768/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=122824 memory=112824 CPUtime=1.49 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 28284 0 0 0 145 4 0 0 20 0 1 0 142352154 125771776 28206 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 30706 28206 436 659 0 29910 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 132756 KiB
Current children cumulated memory: 115516 KiB

[startup+3.10567 s]
/proc/loadavg: 3.50 1.35 0.55 5/257 738111
/proc/meminfo: memFree=106452324/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=320364 memory=295660 CPUtime=3.08 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 66331 0 0 0 298 10 0 0 20 0 1 0 142352154 328052736 73915 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 80091 73915 436 659 0 79295 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 330296 KiB
Current children cumulated memory: 298352 KiB

[startup+6.30025 s]
/proc/loadavg: 3.54 1.39 0.57 5/257 738111
/proc/meminfo: memFree=106561888/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=452488 memory=436508 CPUtime=6.27 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 96855 0 0 0 612 15 0 0 20 0 1 0 142352154 463347712 109127 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 113122 109127 468 659 0 112326 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 462420 KiB
Current children cumulated memory: 439200 KiB

[startup+12.7003 s]
/proc/loadavg: 3.57 1.44 0.59 5/257 738112
/proc/meminfo: memFree=102945024/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=2211516 memory=2115232 CPUtime=12.65 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 278692 0 0 0 1203 62 0 0 20 0 1 0 142352154 2264592384 528808 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 552879 528808 468 659 0 552083 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2221448 KiB
Current children cumulated memory: 2117924 KiB

[startup+25.5003 s]
/proc/loadavg: 3.67 1.56 0.64 5/257 738114
/proc/meminfo: memFree=102971248/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3320844 memory=2975864 CPUtime=25.42 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 388575 0 0 0 2452 90 0 0 20 0 1 0 142352154 3400544256 743966 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 830211 743966 468 659 0 829415 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3330776 KiB
Current children cumulated memory: 2978556 KiB

[startup+51.1056 s]
/proc/loadavg: 3.84 1.77 0.74 5/257 738119
/proc/meminfo: memFree=100119512/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3320844 memory=2976000 CPUtime=50.95 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 388900 0 0 0 5005 90 0 0 20 0 1 0 142352154 3400544256 744000 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 830211 744000 468 659 0 829415 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3330776 KiB
Current children cumulated memory: 2978692 KiB

[startup+102.3 s]
/proc/loadavg: 4.33 2.22 0.94 5/257 738128
/proc/meminfo: memFree=98814388/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3320844 memory=2978048 CPUtime=102.01 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 389503 0 0 0 10109 92 0 0 20 0 1 0 142352154 3400544256 744512 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 830211 744512 468 659 0 829415 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 3330776 KiB
Current children cumulated memory: 2980740 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 2.56 1.14 4/252 738174
/proc/meminfo: memFree=105513792/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3320844 memory=2982144 CPUtime=161.84 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 389925 0 0 0 16091 93 0 0 20 0 1 0 142352154 3400544256 745536 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 830211 745536 468 659 0 829415 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 3330776 KiB
Current children cumulated memory: 2984836 KiB

[startup+222.3 s]
/proc/loadavg: 3.53 2.67 1.27 4/251 738184
/proc/meminfo: memFree=106069456/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3320844 memory=2984192 CPUtime=221.68 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 390540 0 0 0 22073 95 0 0 20 0 1 0 142352154 3400544256 746048 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 830211 746048 468 659 0 829415 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 3330776 KiB

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

/proc/738111/statm: 938331 797678 468 659 0 937535 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 3763256 KiB
Current children cumulated memory: 3193404 KiB

[startup+3162.3 s]
/proc/loadavg: 1.08 1.08 1.09 2/233 739967
/proc/meminfo: memFree=126791536/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3405328 memory=3115340 CPUtime=3154.29 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 477511 0 0 0 314998 431 0 0 20 0 1 0 142352154 3487055872 778835 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 851332 778835 468 659 0 850536 0
Current children cumulated CPU time: 3154.29 s
Current children cumulated vsize: 3415260 KiB
Current children cumulated memory: 3118032 KiB

[startup+3222.3 s]
/proc/loadavg: 1.15 1.10 1.09 2/233 739978
/proc/meminfo: memFree=126710288/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3754708 memory=3196096 CPUtime=3214.15 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 479135 0 0 0 320982 433 0 0 20 0 1 0 142352154 3844820992 799024 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 938677 799024 468 659 0 937881 0
Current children cumulated CPU time: 3214.15 s
Current children cumulated vsize: 3764640 KiB
Current children cumulated memory: 3198788 KiB

[startup+3282.3 s]
/proc/loadavg: 1.05 1.08 1.09 2/233 739988
/proc/meminfo: memFree=126798932/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3407228 memory=3105116 CPUtime=3274 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 481154 0 0 0 326954 446 0 0 20 0 1 0 142352154 3489001472 776279 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 851807 776279 468 659 0 851011 0
Current children cumulated CPU time: 3274 s
Current children cumulated vsize: 3417160 KiB
Current children cumulated memory: 3107808 KiB

[startup+3342.3 s]
/proc/loadavg: 1.06 1.08 1.09 2/234 740001
/proc/meminfo: memFree=126715044/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3756476 memory=3188832 CPUtime=3333.85 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 482840 0 0 0 332937 448 0 0 20 0 1 0 142352154 3846631424 797208 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 939119 797208 468 659 0 938323 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 3766408 KiB
Current children cumulated memory: 3191524 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 1.09 1.09 2/234 740012
/proc/meminfo: memFree=126639348/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=4317172 memory=3264228 CPUtime=3393.71 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 484252 0 0 0 338920 451 0 0 20 0 1 0 142352154 4420784128 816057 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 1079293 816057 468 659 0 1078497 0
Current children cumulated CPU time: 3393.71 s
Current children cumulated vsize: 4327104 KiB
Current children cumulated memory: 3266920 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.09 1.09 2/232 740023
/proc/meminfo: memFree=126706504/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3758644 memory=3196768 CPUtime=3453.57 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 486426 0 0 0 344892 465 0 0 20 0 1 0 142352154 3848851456 799192 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 939661 799192 468 659 0 938865 0
Current children cumulated CPU time: 3453.57 s
Current children cumulated vsize: 3768576 KiB
Current children cumulated memory: 3199460 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.09 1.09 2/232 740034
/proc/meminfo: memFree=126633404/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3759756 memory=3269444 CPUtime=3513.41 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 487763 0 0 0 350874 467 0 0 20 0 1 0 142352154 3849990144 817361 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 939939 817361 468 659 0 939143 0
Current children cumulated CPU time: 3513.41 s
Current children cumulated vsize: 3769688 KiB
Current children cumulated memory: 3272136 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.08 1.09 2/232 740046
/proc/meminfo: memFree=126722536/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3760460 memory=3180216 CPUtime=3573.28 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 490086 0 0 0 356847 481 0 0 20 0 1 0 142352154 3850711040 795054 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 940115 795054 468 659 0 939319 0
Current children cumulated CPU time: 3573.28 s
Current children cumulated vsize: 3770392 KiB
Current children cumulated memory: 3182908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.1 s]
/proc/loadavg: 1.13 1.09 1.09 2/232 740052
/proc/meminfo: memFree=126693600/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3760596 memory=3208960 CPUtime=3600.02 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 490659 0 0 0 359520 482 0 0 20 0 1 0 142352154 3850850304 802240 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 940149 802240 468 659 0 939353 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3770528 KiB
Current children cumulated memory: 3211652 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002337 s, system=0.000468 s

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

# cumulated CPU time of all completed processes:  user=3595.21 s, system=4.83965 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+3609.1 s]
/proc/loadavg: 1.13 1.09 1.09 2/232 740052
/proc/meminfo: memFree=126693600/131524600 swapFree=131071996/131071996
[pid=738106] ppid=738103 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/738106/stat : 738106 (naps-1.03.sh) S 738103 738106 737802 0 -1 4194304 220 245 0 0 0 0 0 0 20 0 1 0 142352154 10170368 673 134679101440 94542585757696 94542586837016 140729562980608 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94542588935472 94542588982660 94542621474816 140729562989488 140729562989617 140729562989617 140729562996680 0
/proc/738106/statm: 2483 673 595 264 0 134 0
[pid=738111] ppid=738106 vsize=3760596 memory=3208960 CPUtime=3600.02 cores=4,6
/proc/738111/stat : 738111 (naps-1.03) R 738106 738106 737802 0 -1 4194304 490659 0 0 0 359520 482 0 0 20 0 1 0 142352154 3850850304 802240 134679101440 4194304 6891213 140728477060720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 37208064 140728477066177 140728477066293 140728477066293 140728477073355 0
/proc/738111/statm: 940149 802240 468 659 0 939353 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3770528 KiB
Current children cumulated memory: 3211652 KiB

Child status: 10

Real time (s): 3609.13
CPU time (s): 3600.05
CPU user time (s): 3595.21
CPU system time (s): 4.83965
CPU usage (%): 99.7485
Max. virtual memory (cumulated for all children) (KiB): 4329192
Max. memory (cumulated for all children) (KiB): 3854764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.21
system time used= 4.83965
maximum resident set size= 3852072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491163
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= 239
involuntary context switches= 4680


# summary of solver processes directly reported to runsolver:
#   pid: 738106,738111
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3595.21
#   total CPU system time (s): 4.83965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73483 second user time and 16.7659 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-13 22:18:30
IDJOB=4426328
IDBENCH=144135
IDSOLVER=3042
FILE ID=nodeC018/4426328-1720901897
RUNJOBID= nodeC018-1720901806-737813
SLURM_JOB_ID= 7486067
Free space on /tmp= 890052 MiB

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

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

MD5SUM BENCH= 9031472e82cc640e2367b3bed0c7412c
RANDOM SEED=377679819

nodeC018.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		: 3662.265
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.52
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		: 3687.670
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.30
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		: 3600.318
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.52
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.029
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.30
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		: 3664.302
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.52
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		: 3687.668
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.30
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		: 3637.629
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.52
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.978
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        107293380 kB
MemAvailable:   107227884 kB
Buffers:          323536 kB
Cached:           457004 kB
SwapCached:            0 kB
Active:           466352 kB
Inactive:       23158552 kB
Active(anon):       1612 kB
Inactive(anon): 22880188 kB
Active(file):     464740 kB
Inactive(file):   278364 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             26460 kB
Writeback:             0 kB
AnonPages:      22842468 kB
Mapped:           109352 kB
Shmem:             37712 kB
KReclaimable:      62448 kB
Slab:             163128 kB
SReclaimable:      62448 kB
SUnreclaim:       100680 kB
KernelStack:        4100 kB
PageTables:        53744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   26790308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54944 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6346752 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:      209620 kB
DirectMap2M:    10049536 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC018 at 2024-07-13 23:18:39