Trace number 4463859

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS-GM 1.03a2MSAT (TO) 3600.05 3612.31

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM5f9a4657d4fc1eb8e2b90c48691b3c7c
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.1201
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints180
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 9197
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 9196
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c NaPS 1.03a2.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4463859-1722351788.wbo
0.00/0.00	c Initial goal by soft: 9196
0.10/0.16	c single stage optimization mode
0.40/0.45	o 9124
0.99/1.11	o 5373
1.57/1.62	o 2093
1.98/2.01	o 365
1.98/2.06	o 52
2.08/2.19	o 22
4.08/4.18	o 14
4.16/4.20	o 9
3600.03/3612.30	c 
3600.03/3612.30	c *** TERMINATED *** by signal 15
3600.03/3612.30	s SATISFIABLE
3600.03/3612.30	c _____________________________________________________________________________
3600.03/3612.30	c std/band forms        : 88,0
3600.03/3612.30	c 2cl/3cl ITE-codings   : 130206,0
3600.03/3612.30	c BDD/srt/adr Max costs : 197520,806,0
3600.03/3612.30	c BDDraw/bin/mul/srt/adr: 0,0,8,80,0
3600.03/3612.30	c BDD nodes             : 132977
3600.03/3612.30	c Es1/CC detections     : 0,0
3600.03/3612.30	c CC sort               : 80
3600.03/3612.30	c SAT/UNSAT calls       : 8,0
3600.03/3612.30	c regenrated variables  : 399
3600.03/3612.30	c eliminated fixed lits : 414
3600.03/3612.30	c goal lit flips        : 0
3600.03/3612.30	c goal stages           : 1
3600.03/3612.30	c goal shrink           : 0
3600.03/3612.30	c goal coeff separations: 0
3600.03/3612.30	c restarts              : 61
3600.03/3612.30	c conflicts             : 32834          (9 /sec)
3600.03/3612.30	c decisions             : 355173         (99 /sec)
3600.03/3612.30	c propagations          : 8004714        (2225 /sec)
3600.03/3612.30	c inspects              : 0              (0 /sec)
3600.03/3612.30	c CPU time (solving tm) : 3598 s        (3597 s, SAT 2.856 s, UNSAT 0 s)
3600.03/3612.30	c Time for Opt-base     : 0.009794 s
3600.03/3612.30	c Steps for Opt-base    : 10980
3600.03/3612.30	c Time for BDD coding   : 0.9085 s
3600.03/3612.30	c Time for srt coding   : 0.01295 s
3600.03/3612.30	c _____________________________________________________________________________
3600.03/3612.30	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
3600.03/3612.30	v -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 -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
3600.03/3612.30	v 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 -x4000

Verifier Data 

OK	9

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 (62259 MiB free)
  memory of node 1: 64473 MiB (63958 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463859-1722351788/watcher-4463859-1722351788 -o /tmp/evaluation-result-4463859-1722351788/solver-4463859-1722351788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722351788-13557 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463859-1722351788.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100192 s]*
/proc/loadavg: 1.70 2.44 2.99 5/252 13636
/proc/meminfo: memFree=129227396/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=18176 memory=11764 CPUtime=0.1 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 2890 0 0 0 9 1 0 0 20 0 1 0 1549969 18612224 2941 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 4544 2941 468 659 0 3748 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28108 KiB
Current children cumulated memory: 14432 KiB

[startup+0.214288 s]*
/proc/loadavg: 1.70 2.44 2.99 5/252 13636
/proc/meminfo: memFree=129181232/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=29016 memory=23836 CPUtime=0.2 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 5395 0 0 0 18 2 0 0 20 0 1 0 1549969 29712384 5959 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 7254 5959 468 659 0 6458 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 26504 KiB

[startup+0.313903 s]*
/proc/loadavg: 1.70 2.44 2.99 5/252 13636
/proc/meminfo: memFree=129166684/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=30180 memory=25136 CPUtime=0.3 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 6426 0 0 0 28 2 0 0 20 0 1 0 1549969 30904320 6284 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 7545 6284 468 659 0 6749 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40112 KiB
Current children cumulated memory: 27804 KiB

[startup+0.700389 s]
/proc/loadavg: 1.70 2.44 2.99 5/252 13636
/proc/meminfo: memFree=129148824/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=43528 memory=39400 CPUtime=0.68 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 10858 0 0 0 64 4 0 0 20 0 1 0 1549969 44572672 9850 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 10882 9850 468 659 0 10086 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53460 KiB
Current children cumulated memory: 42068 KiB

[startup+1.50045 s]
/proc/loadavg: 1.70 2.44 2.99 5/252 13636
/proc/meminfo: memFree=129038328/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=139832 memory=125008 CPUtime=1.47 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 27701 0 0 0 137 10 0 0 20 0 1 0 1549969 143187968 31252 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 34958 31252 468 659 0 34162 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 149764 KiB
Current children cumulated memory: 127676 KiB

[startup+3.11259 s]
/proc/loadavg: 1.70 2.44 2.99 5/252 13636
/proc/meminfo: memFree=128780560/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=170856 memory=165116 CPUtime=3.07 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 33179 0 0 0 295 12 0 0 20 0 1 0 1549969 174956544 41279 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 42714 41279 468 659 0 41918 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 180788 KiB
Current children cumulated memory: 167784 KiB

[startup+6.30037 s]
/proc/loadavg: 1.88 2.47 3.00 5/252 13637
/proc/meminfo: memFree=128717380/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=182460 memory=175868 CPUtime=6.25 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 34077 0 0 0 612 13 0 0 20 0 1 0 1549969 186839040 43967 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 45615 43967 468 659 0 44819 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 192392 KiB
Current children cumulated memory: 178536 KiB

[startup+12.7003 s]
/proc/loadavg: 2.05 2.49 3.00 5/252 13637
/proc/meminfo: memFree=128686684/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=212808 memory=192044 CPUtime=12.63 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 34755 0 0 0 1249 14 0 0 20 0 1 0 1549969 217915392 48011 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 53202 48011 468 659 0 52406 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 222740 KiB
Current children cumulated memory: 194712 KiB

[startup+25.5004 s]
/proc/loadavg: 2.48 2.57 3.02 5/252 13640
/proc/meminfo: memFree=128625456/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=212808 memory=192264 CPUtime=25.38 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 35574 0 0 0 2522 16 0 0 20 0 1 0 1549969 217915392 48066 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 53202 48066 468 659 0 52406 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 222740 KiB
Current children cumulated memory: 194932 KiB

[startup+51.1133 s]
/proc/loadavg: 3.07 2.70 3.05 5/250 13643
/proc/meminfo: memFree=128512808/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=262128 memory=238280 CPUtime=50.91 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 37267 0 0 0 5070 21 0 0 20 0 1 0 1549969 268419072 59570 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 65532 59570 468 659 0 64736 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 272060 KiB
Current children cumulated memory: 240948 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 2.90 3.10 5/251 13656
/proc/meminfo: memFree=128526484/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=292948 memory=254920 CPUtime=101.91 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 41305 0 0 0 10164 27 0 0 20 0 1 0 1549969 299978752 63730 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 73237 63730 468 659 0 72441 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 302880 KiB
Current children cumulated memory: 257588 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 3.12 3.17 5/251 13667
/proc/meminfo: memFree=128415080/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=275076 memory=261236 CPUtime=161.68 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 44571 0 0 0 16133 35 0 0 20 0 1 0 1549969 281677824 65309 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 68769 65309 468 659 0 67973 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 285008 KiB
Current children cumulated memory: 263904 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.31 3.23 5/250 13679
/proc/meminfo: memFree=128352124/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=305896 memory=292440 CPUtime=221.46 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 47244 0 0 0 22106 40 0 0 20 0 1 0 1549969 313237504 73110 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 76474 73110 468 659 0 75678 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 315828 KiB

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

/proc/13612/statm: 136677 132566 468 659 0 135881 0
Current children cumulated CPU time: 3091.68 s
Current children cumulated vsize: 556640 KiB
Current children cumulated memory: 532932 KiB

[startup+3162.3 s]
/proc/loadavg: 4.74 4.39 4.18 5/250 15516
/proc/meminfo: memFree=121632104/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=465488 memory=444836 CPUtime=3151.48 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 132827 0 0 0 314972 176 0 0 20 0 1 0 1549969 476659712 111209 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 116372 111209 468 659 0 115576 0
Current children cumulated CPU time: 3151.48 s
Current children cumulated vsize: 475420 KiB
Current children cumulated memory: 447504 KiB

[startup+3222.3 s]
/proc/loadavg: 4.68 4.45 4.21 5/247 15528
/proc/meminfo: memFree=121713196/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=547156 memory=490024 CPUtime=3211.29 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 133614 0 0 0 320952 177 0 0 20 0 1 0 1549969 560287744 122506 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 136789 122506 468 659 0 135993 0
Current children cumulated CPU time: 3211.29 s
Current children cumulated vsize: 557088 KiB
Current children cumulated memory: 492692 KiB

[startup+3282.3 s]
/proc/loadavg: 4.31 4.38 4.20 5/247 15539
/proc/meminfo: memFree=121599440/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=549384 memory=528860 CPUtime=3271.1 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 134319 0 0 0 326932 178 0 0 20 0 1 0 1549969 562569216 132215 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 137346 132215 468 659 0 136550 0
Current children cumulated CPU time: 3271.1 s
Current children cumulated vsize: 559316 KiB
Current children cumulated memory: 531528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.75 4.48 4.24 5/247 15717
/proc/meminfo: memFree=121770516/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=468728 memory=440392 CPUtime=3330.9 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 135712 0 0 0 332909 181 0 0 20 0 1 0 1549969 479977472 110098 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 117182 110098 468 659 0 116386 0
Current children cumulated CPU time: 3330.9 s
Current children cumulated vsize: 478660 KiB
Current children cumulated memory: 443060 KiB

[startup+3402.3 s]
/proc/loadavg: 4.49 4.47 4.26 5/247 15728
/proc/meminfo: memFree=121640688/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=550284 memory=484272 CPUtime=3390.71 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 136571 0 0 0 338888 183 0 0 20 0 1 0 1549969 563490816 121068 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 137571 121068 468 659 0 136775 0
Current children cumulated CPU time: 3390.71 s
Current children cumulated vsize: 560216 KiB
Current children cumulated memory: 486940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.39 4.24 5/248 15741
/proc/meminfo: memFree=121542472/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=551184 memory=515748 CPUtime=3450.52 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 136926 0 0 0 344868 184 0 0 20 0 1 0 1549969 564412416 128937 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 137796 128937 468 659 0 137000 0
Current children cumulated CPU time: 3450.52 s
Current children cumulated vsize: 561116 KiB
Current children cumulated memory: 518416 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.35 4.24 5/247 15762
/proc/meminfo: memFree=121801708/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=421616 memory=409104 CPUtime=3510.32 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 137667 0 0 0 350845 187 0 0 20 0 1 0 1549969 431734784 102276 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 105404 102276 468 659 0 104608 0
Current children cumulated CPU time: 3510.32 s
Current children cumulated vsize: 431548 KiB
Current children cumulated memory: 411772 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.30 4.23 5/247 15774
/proc/meminfo: memFree=121676568/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=471704 memory=453316 CPUtime=3570.12 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 138642 0 0 0 356824 188 0 0 20 0 1 0 1549969 483024896 113329 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 117926 113329 468 659 0 117130 0
Current children cumulated CPU time: 3570.12 s
Current children cumulated vsize: 481636 KiB
Current children cumulated memory: 455984 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 4.13 4.29 4.22 5/247 15878
/proc/meminfo: memFree=122494524/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=553224 memory=472516 CPUtime=3600.03 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 139482 0 0 0 359814 189 0 0 20 0 1 0 1549969 566501376 118129 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 138306 118129 468 659 0 137510 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 563156 KiB
Current children cumulated memory: 475184 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.004071 s, system=0.00341 s

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

# cumulated CPU time of all completed processes:  user=3598.15 s, system=1.90278 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.3 s]
/proc/loadavg: 4.13 4.29 4.22 5/247 15878
/proc/meminfo: memFree=122494524/131655788 swapFree=131071996/131071996
[pid=13607] ppid=13604 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/13607/stat : 13607 (naps-1.03.sh) S 13604 13607 13547 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 1549968 10170368 667 134679101440 94152367960064 94152369039384 140726119482384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94152371137840 94152371185028 94152396484608 140726119486431 140726119486560 140726119486560 140726119493576 0
/proc/13607/statm: 2483 667 588 264 0 134 0
[pid=13612] ppid=13607 vsize=553224 memory=472516 CPUtime=3600.03 cores=0,2
/proc/13612/stat : 13612 (naps-1.03a2) R 13607 13607 13547 0 -1 4194304 139482 0 0 0 359814 189 0 0 20 0 1 0 1549969 566501376 118129 134679101440 4194304 6891597 140723209325392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35094528 140723209327594 140723209327712 140723209327712 140723209334729 0
/proc/13612/statm: 138306 118129 468 659 0 137510 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 563156 KiB
Current children cumulated memory: 475184 KiB

Child status: 10

Real time (s): 3612.31
CPU time (s): 3600.05
CPU user time (s): 3598.15
CPU system time (s): 1.90278
CPU usage (%): 99.6607
Max. virtual memory (cumulated for all children) (KiB): 689068
Max. memory (cumulated for all children) (KiB): 611244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.15
system time used= 1.90278
maximum resident set size= 611612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139944
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= 111
involuntary context switches= 25182


# summary of solver processes directly reported to runsolver:
#   pid: 13607,13612
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.15
#   total CPU system time (s): 1.90278

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5323 second user time and 36.0514 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-30 17:03:09
IDJOB=4463859
IDBENCH=143140
IDSOLVER=3091
FILE ID=nodeC004/4463859-1722351788
RUNJOBID= nodeC004-1722351788-13557
SLURM_JOB_ID= 8249015
Free space on /tmp= 723776 MiB

SOLVER NAME= NaPS-GM 1.03a2
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463859-1722351788/watcher-4463859-1722351788 -o /tmp/evaluation-result-4463859-1722351788/solver-4463859-1722351788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722351788-13557 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4463859-1722351788.wbo

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

MD5SUM BENCH= 5f9a4657d4fc1eb8e2b90c48691b3c7c
RANDOM SEED=1007260523

nodeC004.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		: 1197.255
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.85
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		: 1197.284
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.39
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.233
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.85
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.328
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.39
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		: 1297.002
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.85
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		: 1197.239
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.39
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.277
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.85
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.241
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129251008 kB
MemAvailable:   130025504 kB
Buffers:           58004 kB
Cached:          1553912 kB
SwapCached:            0 kB
Active:           172192 kB
Inactive:        1811532 kB
Active(anon):       1320 kB
Inactive(anon):   392160 kB
Active(file):     170872 kB
Inactive(file):  1419372 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14524 kB
Writeback:            28 kB
AnonPages:        364944 kB
Mapped:            88496 kB
Shmem:             21320 kB
KReclaimable:      48900 kB
Slab:             123412 kB
SReclaimable:      48900 kB
SUnreclaim:        74512 kB
KernelStack:        3700 kB
PageTables:         9656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     733916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6176 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      172872 kB
DirectMap2M:     9168896 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723672 MiB
End job on nodeC004 at 2024-07-30 18:03:21