Trace number 4463477

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.03a2MSAT (TO) 3600.15 3612.77

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph07_wcsp.wbo
MD5SUM9031472e82cc640e2367b3bed0c7412c
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark7358
Best CPU time to get the best result obtained on this benchmark3600.48
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5160
Total number of constraints512485
Number of soft constraints512344
Number of constraints which are clauses512344
Number of constraints which are cardinality constraints (but not clauses)141
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 463736
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 146536849
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463477-1722355355/watcher-4463477-1722355355 -o /tmp/evaluation-result-4463477-1722355355/solver-4463477-1722355355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722351651-12350 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463477-1722355355.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=14919, runsolver pid=14916

[startup+0.100096 s]*
/proc/loadavg: 4.29 4.22 4.19 5/252 14924
/proc/meminfo: memFree=116556540/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=16528 memory=14824 CPUtime=0.09 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 3642 0 0 0 9 0 0 0 20 0 1 0 1905611 16924672 3706 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 4132 3706 580 659 0 3336 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26460 KiB
Current children cumulated memory: 17548 KiB

[startup+0.213598 s]*
/proc/loadavg: 4.29 4.22 4.19 5/252 14924
/proc/meminfo: memFree=116545900/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=28256 memory=26112 CPUtime=0.21 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 6979 0 0 0 20 1 0 0 20 0 1 0 1905611 28934144 6528 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 7064 6528 580 659 0 6268 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38188 KiB
Current children cumulated memory: 28836 KiB

[startup+0.313489 s]*
/proc/loadavg: 4.29 4.22 4.19 5/252 14924
/proc/meminfo: memFree=116540072/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=32928 memory=31128 CPUtime=0.31 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 8263 0 0 0 30 1 0 0 20 0 1 0 1905611 33718272 7782 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 8232 7782 580 659 0 7436 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42860 KiB
Current children cumulated memory: 33852 KiB

[startup+0.700441 s]
/proc/loadavg: 4.29 4.22 4.19 5/252 14924
/proc/meminfo: memFree=116518516/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=75004 memory=71560 CPUtime=0.68 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 16833 0 0 0 65 3 0 0 20 0 1 0 1905611 76804096 17890 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 18751 17890 580 659 0 17955 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84936 KiB
Current children cumulated memory: 74284 KiB

[startup+1.50044 s]
/proc/loadavg: 4.29 4.22 4.19 5/252 14924
/proc/meminfo: memFree=116470716/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=177928 memory=171456 CPUtime=1.48 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 32085 0 0 0 142 6 0 0 20 0 1 0 1905611 182198272 42864 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 44482 42864 580 659 0 43686 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 187860 KiB
Current children cumulated memory: 174180 KiB

[startup+3.1134 s]
/proc/loadavg: 4.26 4.22 4.18 5/252 14924
/proc/meminfo: memFree=116256832/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=318180 memory=313592 CPUtime=3.09 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 58996 0 0 0 297 12 0 0 20 0 1 0 1905611 325816320 78398 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 79545 78398 580 659 0 78749 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 328112 KiB
Current children cumulated memory: 316316 KiB

[startup+6.30042 s]
/proc/loadavg: 4.26 4.22 4.18 5/252 14924
/proc/meminfo: memFree=116076884/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=544468 memory=533516 CPUtime=6.27 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 97638 0 0 0 608 19 0 0 20 0 1 0 1905611 557535232 133379 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 136117 133379 612 659 0 135321 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 536240 KiB

[startup+12.7004 s]
/proc/loadavg: 4.24 4.21 4.18 5/252 14926
/proc/meminfo: memFree=116036492/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=544468 memory=533516 CPUtime=12.65 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 97652 0 0 0 1246 19 0 0 20 0 1 0 1905611 557535232 133379 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 136117 133379 612 659 0 135321 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 536240 KiB

[startup+25.5005 s]
/proc/loadavg: 4.19 4.20 4.18 5/249 14927
/proc/meminfo: memFree=116044708/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=544468 memory=533516 CPUtime=25.42 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 97656 0 0 0 2523 19 0 0 20 0 1 0 1905611 557535232 133379 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 136117 133379 612 659 0 135321 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 536240 KiB

[startup+51.1132 s]
/proc/loadavg: 4.25 4.22 4.18 5/249 14932
/proc/meminfo: memFree=116042188/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=544468 memory=533684 CPUtime=50.96 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 97663 0 0 0 5077 19 0 0 20 0 1 0 1905611 557535232 133421 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 136117 133421 612 659 0 135321 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 536408 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.21 4.18 5/248 14941
/proc/meminfo: memFree=116024048/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=544468 memory=533684 CPUtime=102 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 97671 0 0 0 10181 19 0 0 20 0 1 0 1905611 557535232 133421 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 136117 133421 612 659 0 135321 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 536408 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.19 4.18 5/248 14951
/proc/meminfo: memFree=116026900/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=544468 memory=533684 CPUtime=161.83 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 97681 0 0 0 16164 19 0 0 20 0 1 0 1905611 557535232 133421 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 136117 133421 612 659 0 135321 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 554400 KiB
Current children cumulated memory: 536408 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/245 14962
/proc/meminfo: memFree=116024080/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=544468 memory=533684 CPUtime=221.66 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 97691 0 0 0 22147 19 0 0 20 0 1 0 1905611 557535232 133421 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 136117 133421 612 659 0 135321 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 554400 KiB

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

/proc/14924/statm: 1067285 1025542 660 659 0 1066489 0
Current children cumulated CPU time: 3091.61 s
Current children cumulated vsize: 4279072 KiB
Current children cumulated memory: 4104892 KiB

[startup+3162.3 s]
/proc/loadavg: 2.10 2.12 2.25 3/231 16185
/proc/meminfo: memFree=112987324/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=4102100 memory=3927796 CPUtime=3151.4 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 760071 0 0 0 313591 1549 0 0 20 0 1 0 1905611 4200550400 981949 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 1025525 981949 660 659 0 1024729 0
Current children cumulated CPU time: 3151.4 s
Current children cumulated vsize: 4112032 KiB
Current children cumulated memory: 3930520 KiB

[startup+3222.3 s]
/proc/loadavg: 2.21 2.14 2.25 3/231 16580
/proc/meminfo: memFree=112985384/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=4102100 memory=3927796 CPUtime=3211.19 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 760442 0 0 0 319569 1550 0 0 20 0 1 0 1905611 4200550400 981949 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 1025525 981949 660 659 0 1024729 0
Current children cumulated CPU time: 3211.19 s
Current children cumulated vsize: 4112032 KiB
Current children cumulated memory: 3930520 KiB

[startup+3282.3 s]
/proc/loadavg: 2.14 2.13 2.23 3/231 16590
/proc/meminfo: memFree=112984968/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=4101712 memory=3927408 CPUtime=3270.97 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 762058 0 0 0 325532 1565 0 0 20 0 1 0 1905611 4200153088 981852 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 1025428 981852 660 659 0 1024632 0
Current children cumulated CPU time: 3270.97 s
Current children cumulated vsize: 4111644 KiB
Current children cumulated memory: 3930132 KiB

[startup+3342.3 s]
/proc/loadavg: 1.65 2.01 2.18 2/223 16634
/proc/meminfo: memFree=118717152/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=4101712 memory=3927424 CPUtime=3330.71 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 762489 0 0 0 331505 1566 0 0 20 0 1 0 1905611 4200153088 981856 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 1025428 981856 660 659 0 1024632 0
Current children cumulated CPU time: 3330.71 s
Current children cumulated vsize: 4111644 KiB
Current children cumulated memory: 3930148 KiB

[startup+3402.3 s]
/proc/loadavg: 1.34 1.85 2.12 2/224 16813
/proc/meminfo: memFree=118535900/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=4274244 memory=4107288 CPUtime=3390.49 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 766692 0 0 0 337452 1597 0 0 20 0 1 0 1905611 4376825856 1026822 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 1068561 1026822 660 659 0 1067765 0
Current children cumulated CPU time: 3390.49 s
Current children cumulated vsize: 4284176 KiB
Current children cumulated memory: 4110012 KiB

[startup+3462.3 s]
/proc/loadavg: 1.17 1.71 2.05 2/224 16823
/proc/meminfo: memFree=118729308/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=4077632 memory=3913656 CPUtime=3450.26 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 767654 0 0 0 343429 1597 0 0 20 0 1 0 1905611 4175495168 978414 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 1019408 978414 660 659 0 1018612 0
Current children cumulated CPU time: 3450.26 s
Current children cumulated vsize: 4087564 KiB
Current children cumulated memory: 3916380 KiB

[startup+3522.3 s]
/proc/loadavg: 1.22 1.63 2.00 2/225 16850
/proc/meminfo: memFree=118728624/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=4077632 memory=3913656 CPUtime=3510.02 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 768211 0 0 0 349405 1597 0 0 20 0 1 0 1905611 4175495168 978414 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 1019408 978414 660 659 0 1018612 0
Current children cumulated CPU time: 3510.02 s
Current children cumulated vsize: 4087564 KiB
Current children cumulated memory: 3916380 KiB

[startup+3582.3 s]
/proc/loadavg: 1.14 1.52 1.94 2/225 16860
/proc/meminfo: memFree=118725700/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=4079916 memory=3915940 CPUtime=3569.77 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 769913 0 0 0 355365 1612 0 0 20 0 1 0 1905611 4177833984 978985 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 1019979 978985 660 659 0 1019183 0
Current children cumulated CPU time: 3569.77 s
Current children cumulated vsize: 4089848 KiB
Current children cumulated memory: 3918664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 1.16 1.49 1.91 2/225 16866
/proc/meminfo: memFree=118725252/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=4079916 memory=3915940 CPUtime=3600.06 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 770143 0 0 0 358393 1613 0 0 20 0 1 0 1905611 4177833984 978985 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 1019979 978985 660 659 0 1019183 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 4089848 KiB
Current children cumulated memory: 3918664 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.003363 s, system=0.002721 s

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

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

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

[startup+3612.7 s]
/proc/loadavg: 1.16 1.49 1.91 2/225 16866
/proc/meminfo: memFree=118725252/131655788 swapFree=131071472/131071996
[pid=14919] ppid=14916 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/14919/stat : 14919 (naps-1.03.sh) S 14916 14919 12340 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 1905610 10170368 681 134679101440 93913877364736 93913878444056 140733105072432 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93913880542512 93913880589700 93913903222784 140733105075171 140733105075296 140733105075296 140733105082312 0
/proc/14919/statm: 2483 681 604 264 0 134 0
[pid=14924] ppid=14919 vsize=4079916 memory=3915940 CPUtime=3600.06 cores=0,2
/proc/14924/stat : 14924 (naps-1.03a2) R 14919 14919 12340 0 -1 4194304 770143 0 0 0 358393 1613 0 0 20 0 1 0 1905611 4177833984 978985 134679101440 4194304 6891597 140734898383280 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10309632 140734898385902 140734898386016 140734898386016 140734898393033 0
/proc/14924/statm: 1019979 978985 660 659 0 1019183 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 4089848 KiB
Current children cumulated memory: 3918664 KiB

Child status: 10

Real time (s): 3612.77
CPU time (s): 3600.15
CPU user time (s): 3583.95
CPU system time (s): 16.1997
CPU usage (%): 99.6505
Max. virtual memory (cumulated for all children) (KiB): 4993232
Max. memory (cumulated for all children) (KiB): 4816784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.95
system time used= 16.1997
maximum resident set size= 4814060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 770608
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= 99
involuntary context switches= 21893


# summary of solver processes directly reported to runsolver:
#   pid: 14919,14924
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3583.95
#   total CPU system time (s): 16.1997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6983 second user time and 33.8234 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-30 18:02:35
IDJOB=4463477
IDBENCH=144135
IDSOLVER=3090
FILE ID=nodeC012/4463477-1722355355
RUNJOBID= nodeC012-1722351651-12350
SLURM_JOB_ID= 8249009
Free space on /tmp= 723500 MiB

SOLVER NAME= NaPS 1.03a2
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-4463477-1722355355/watcher-4463477-1722355355 -o /tmp/evaluation-result-4463477-1722355355/solver-4463477-1722355355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722351651-12350 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4463477-1722355355.wbo

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

MD5SUM BENCH= 9031472e82cc640e2367b3bed0c7412c
RANDOM SEED=1872979370

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        116569204 kB
MemAvailable:   124160704 kB
Buffers:           61524 kB
Cached:          8331096 kB
SwapCached:           48 kB
Active:           445164 kB
Inactive:       14127168 kB
Active(anon):       1464 kB
Inactive(anon):  6199520 kB
Active(file):     443700 kB
Inactive(file):  7927648 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             20768 kB
Writeback:             0 kB
AnonPages:       6179108 kB
Mapped:            94996 kB
Shmem:             21248 kB
KReclaimable:     120700 kB
Slab:             203308 kB
SReclaimable:     120700 kB
SUnreclaim:        82608 kB
KernelStack:        4048 kB
PageTables:        21140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    6784296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6240 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2713600 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:      199496 kB
DirectMap2M:    13336576 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC012 at 2024-07-30 19:02:48