Trace number 4497686

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 NameAnswerobjective functionCPU timeWall clock time
LSIPExact S2SAT (TO)18 3600.07 1844.53

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMbeae51edba02eeda3c8007d8306fd545
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark1.91149
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

3555.69/1800.03	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3555.69/1800.03	c numVar: 4318
3555.69/1800.03	c numCon: 15120
3555.69/1800.03	c numEqual: 0
3555.69/1800.03	c intSize: 10
3555.69/1800.03	c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
3555.69/1800.03	c ------------------- Paras list -------------------
3555.69/1800.03	c Name                	 Type      	 Now       	 Default   	 Comment
3555.69/1800.03	c timeout             	 double    	 3600.000000	 3600      	 
3555.69/1800.03	c mip_time            	 double    	 0.500000  	 0.5       	 
3555.69/1800.03	c ls_time             	 double    	 10.000000 	 10        	 
3555.69/1800.03	c safe_mode           	 int       	 2         	 2         	 1 trust; 2 feasible
3555.69/1800.03	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3555.69/1800.03	c random_seed         	 int       	 0         	 0         	 
3555.69/1800.03	c sample_size         	 int       	 50        	 50        	 
3555.69/1800.03	c sub_score           	 int       	 1         	 1         	 
3555.69/1800.03	c tabu_base           	 int       	 3         	 3         	 
3555.69/1800.03	c tabu_variation      	 int       	 1         	 1         	 
3555.69/1800.03	c sub_div             	 int       	 4         	 4         	 
3555.69/1800.03	c nbcore              	 int       	 2         	 1         	 
3555.69/1800.03	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3555.69/1800.03	c print_sol           	 int       	 1         	 1         	 
3555.69/1800.03	c tmpdir              	 string		 .         	 "."       	 
3555.69/1800.03	c home                	 string		 HOME	 "."       	 
3555.69/1800.03	c benchname           	 string		 HOME/instance-4497686-1751367653.opb	 ""        	 
3555.69/1800.03	c --------------------------------------------------
3555.69/1800.03	c Local Search solver
3555.69/1800.03	c LS find feasible solution for PBO with objective value 20
3555.69/1800.03	c MIP solver
3555.69/1800.03	c MIP solver find feasible solution
3555.69/1800.03	c MIP solver objective value: 18
3555.81/1800.13	c MIP find feasible solution for PBO with objective value 18
3555.81/1800.13	c copy file: 0
3555.81/1800.13	c gen ub file: HOME/instance-4497686-1751367653.opb_ub.opb
3555.81/1800.13	c use Exact solver
3600.02/1844.50	c receive signal 15, try to interrupt solver...
3600.02/1844.51	c Exact solver (PID 51706) interrupted gracefully.
3600.02/1844.51	o 18
3600.02/1844.51	s SATISFIABLE
3600.02/1844.51	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 -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 -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 
3600.02/1844.51	c Total time: 1845

Verifier Data

OK	18

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: 63665 MiB (61749 MiB free)
  memory of node 1: 64507 MiB (62931 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497686-1751367653/watcher-4497686-1751367653 -o /tmp/evaluation-result-4497686-1751367653/solver-4497686-1751367653 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751360343-49784 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4497686-1751367653.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=51499, runsolver pid=51496

[startup+0.100065 s]*
/proc/loadavg: 7.03 7.61 7.35 7/265 51500
/proc/meminfo: memFree=127663604/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=49928 memory=15360 CPUtime=0.09 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 2830 0 0 0 9 0 0 0 20 0 1 0 52442987 51126272 3840 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 12482 3840 1152 6655 0 2717 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49928 KiB
Current children cumulated memory: 15360 KiB

[startup+0.205738 s]*
/proc/loadavg: 7.03 7.61 7.35 7/265 51500
/proc/meminfo: memFree=127663604/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=49928 memory=15360 CPUtime=0.19 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 2830 0 0 0 19 0 0 0 20 0 1 0 52442987 51126272 3840 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 12482 3840 1152 6655 0 2717 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 49928 KiB
Current children cumulated memory: 15360 KiB

[startup+0.305592 s]*
/proc/loadavg: 7.03 7.61 7.35 7/265 51500
/proc/meminfo: memFree=127663604/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=49928 memory=15360 CPUtime=0.29 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 2830 0 0 0 29 0 0 0 20 0 1 0 52442987 51126272 3840 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 12482 3840 1152 6655 0 2717 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 49928 KiB
Current children cumulated memory: 15360 KiB

[startup+0.700172 s]
/proc/loadavg: 7.03 7.61 7.35 7/265 51500
/proc/meminfo: memFree=127663604/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=49928 memory=15360 CPUtime=0.68 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 2830 0 0 0 68 0 0 0 20 0 1 0 52442987 51126272 3840 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 12482 3840 1152 6655 0 2717 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49928 KiB
Current children cumulated memory: 15360 KiB

[startup+1.50016 s]
/proc/loadavg: 7.03 7.61 7.35 7/265 51500
/proc/meminfo: memFree=127664108/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=49928 memory=15360 CPUtime=1.48 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 2830 0 0 0 148 0 0 0 20 0 1 0 52442987 51126272 3840 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 12482 3840 1152 6655 0 2717 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49928 KiB
Current children cumulated memory: 15360 KiB

[startup+3.10535 s]
/proc/loadavg: 7.03 7.61 7.35 7/265 51500
/proc/meminfo: memFree=127664620/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=49928 memory=15360 CPUtime=3.08 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 2830 0 0 0 308 0 0 0 20 0 1 0 52442987 51126272 3840 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 12482 3840 1152 6655 0 2717 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 49928 KiB
Current children cumulated memory: 15360 KiB

[startup+6.3001 s]
/proc/loadavg: 6.95 7.58 7.34 7/267 51502
/proc/meminfo: memFree=127345376/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=49928 memory=15360 CPUtime=6.27 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 2830 0 0 0 627 0 0 0 20 0 1 0 52442987 51126272 3840 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 12482 3840 1152 6655 0 2717 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49928 KiB
Current children cumulated memory: 15360 KiB

[startup+12.7002 s]
/proc/loadavg: 6.87 7.56 7.34 8/268 51514
/proc/meminfo: memFree=127272804/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=188180 memory=100612 CPUtime=15.02 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 22002 0 0 0 1499 3 0 0 20 0 2 0 52442987 192696320 25153 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 47045 25153 3360 6655 0 24829 0
[pid=51499/tid=51514] ppid=51496 vsize=188180 memory=100484 CPUtime=2.37 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 3931 0 0 0 237 0 0 0 20 0 2 0 52443989 192696320 25153 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 15.02 s
Current children cumulated vsize: 188180 KiB
Current children cumulated memory: 100612 KiB

[startup+25.5002 s]
/proc/loadavg: 6.89 7.54 7.33 8/269 51515
/proc/meminfo: memFree=126853788/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=193136 memory=116760 CPUtime=40.39 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 59671 0 0 0 4032 7 0 0 20 0 2 0 52442987 197771264 29190 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 48284 29190 3360 6655 0 27959 0
[pid=51499/tid=51514] ppid=51496 vsize=193136 memory=116760 CPUtime=14.99 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 18042 0 0 0 1497 2 0 0 20 0 2 0 52443989 197771264 29190 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 40.39 s
Current children cumulated vsize: 193136 KiB
Current children cumulated memory: 116760 KiB

[startup+51.1056 s]
/proc/loadavg: 7.29 7.57 7.35 9/269 51516
/proc/meminfo: memFree=126586048/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=193136 memory=117784 CPUtime=91.17 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 71041 0 0 0 9109 8 0 0 20 0 2 0 52442987 197771264 29446 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 48284 29446 3360 6655 0 28097 0
[pid=51499/tid=51514] ppid=51496 vsize=193136 memory=117784 CPUtime=40.29 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 23683 0 0 0 4026 3 0 0 20 0 2 0 52443989 197771264 29446 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 91.17 s
Current children cumulated vsize: 193136 KiB
Current children cumulated memory: 117784 KiB

[startup+102.3 s]
/proc/loadavg: 7.75 7.65 7.39 9/269 51517
/proc/meminfo: memFree=126357072/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=195992 memory=131736 CPUtime=192.8 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 94625 0 0 0 19268 12 0 0 20 0 2 0 52442987 200695808 32934 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 48998 32934 3360 6655 0 31291 0
[pid=51499/tid=51514] ppid=51496 vsize=195992 memory=130072 CPUtime=90.93 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 34609 0 0 0 9088 5 0 0 20 0 2 0 52443989 200695808 32934 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 192.8 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 131736 KiB

[startup+162.3 s]
/proc/loadavg: 7.86 7.70 7.43 9/269 51526
/proc/meminfo: memFree=126116272/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=210580 memory=152588 CPUtime=305.89 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 121315 0 0 0 30572 17 0 0 20 0 2 0 52442987 215633920 38147 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 52645 38147 3360 6655 0 37816 0
[pid=51499/tid=51514] ppid=51496 vsize=210580 memory=152588 CPUtime=148.37 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 42305 0 0 0 14830 7 0 0 20 0 2 0 52443989 215633920 38147 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 305.89 s
Current children cumulated vsize: 210580 KiB
Current children cumulated memory: 152588 KiB

[startup+222.3 s]
/proc/loadavg: 8.09 7.80 7.48 9/269 51528
/proc/meminfo: memFree=126092000/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=245336 memory=192596 CPUtime=424.76 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 153679 0 0 0 42453 23 0 0 20 0 2 0 52442987 251224064 48149 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 61334 48149 3360 6655 0 46505 0
[pid=51499/tid=51514] ppid=51496 vsize=245336 memory=192596 CPUtime=207.53 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 51813 0 0 0 20744 9 0 0 20 0 2 0 52443989 251224064 48149 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 424.76 s
Current children cumulated vsize: 245336 KiB
Current children cumulated memory: 192596 KiB

[startup+282.3 s]
/proc/loadavg: 8.08 7.86 7.52 9/269 51530
/proc/meminfo: memFree=126062420/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=246436 memory=193236 CPUtime=543.79 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 156260 0 0 0 54355 24 0 0 20 0 2 0 52442987 252350464 48309 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 61609 48309 3360 6655 0 46780 0
[pid=51499/tid=51514] ppid=51496 vsize=246436 memory=193236 CPUtime=266.84 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 52754 0 0 0 26673 11 0 0 20 0 2 0 52443989 252350464 48309 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 543.79 s
Current children cumulated vsize: 246436 KiB
Current children cumulated memory: 193236 KiB

[startup+342.3 s]
/proc/loadavg: 8.07 7.90 7.56 9/269 51533
/proc/meminfo: memFree=126034068/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=262976 memory=212992 CPUtime=662.76 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 195120 0 0 0 66246 30 0 0 20 0 2 0 52442987 269287424 53248 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 65744 53248 3360 6655 0 53484 0
[pid=51499/tid=51514] ppid=51496 vsize=262976 memory=193236 CPUtime=326.1 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 70797 0 0 0 32596 14 0 0 20 0 2 0 52443989 269287424 53248 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 662.76 s
Current children cumulated vsize: 262976 KiB
Current children cumulated memory: 212992 KiB


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

/proc/51499/statm: 361922 351396 3360 6655 0 349887 0
[pid=51499/tid=51514] ppid=51496 vsize=1447688 memory=1361680 CPUtime=1274.48 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 274679 0 0 0 127375 73 0 0 20 0 2 0 52443989 1482432512 351396 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 2566.68 s
Current children cumulated vsize: 1447688 KiB
Current children cumulated memory: 1405584 KiB

[startup+1362.3 s]
/proc/loadavg: 7.53 7.86 7.83 8/270 51687
/proc/meminfo: memFree=121972592/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=1532548 memory=1449488 CPUtime=2685.92 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 620097 0 0 0 268456 136 0 0 20 0 2 0 52442987 1569329152 362372 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 383137 362372 3360 6655 0 360808 0
[pid=51499/tid=51514] ppid=51496 vsize=1532548 memory=1419408 CPUtime=1333.89 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 281194 0 0 0 133314 75 0 0 20 0 2 0 52443989 1569329152 362372 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 2685.92 s
Current children cumulated vsize: 1532548 KiB
Current children cumulated memory: 1449488 KiB

[startup+1422.3 s]
/proc/loadavg: 7.31 7.73 7.79 8/270 51689
/proc/meminfo: memFree=120508532/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=1573232 memory=1520272 CPUtime=2805.15 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 651136 0 0 0 280373 142 0 0 20 0 2 0 52442987 1610989568 380068 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 393308 380068 3360 6655 0 378536 0
[pid=51499/tid=51514] ppid=51496 vsize=1573232 memory=1419408 CPUtime=1393.29 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 295187 0 0 0 139251 78 0 0 20 0 2 0 52443989 1610989568 380068 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 2805.15 s
Current children cumulated vsize: 1573232 KiB
Current children cumulated memory: 1520272 KiB

[startup+1482.3 s]
/proc/loadavg: 7.16 7.61 7.74 8/269 51691
/proc/meminfo: memFree=118787828/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=1594000 memory=1556800 CPUtime=2924.39 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 675469 0 0 0 292293 146 0 0 20 0 2 0 52442987 1632256000 389200 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 398500 389200 3360 6655 0 387683 0
[pid=51499/tid=51514] ppid=51496 vsize=1594000 memory=18432 CPUtime=1452.71 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 308502 0 0 0 145190 81 0 0 20 0 2 0 52443989 1632256000 389200 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 2924.39 s
Current children cumulated vsize: 1594000 KiB
Current children cumulated memory: 1556800 KiB

[startup+1542.3 s]
/proc/loadavg: 7.10 7.51 7.70 8/269 51693
/proc/meminfo: memFree=117681816/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=1684984 memory=1622320 CPUtime=3043.62 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 698268 0 0 0 304212 150 0 0 20 0 2 0 52442987 1725423616 405580 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 421246 405580 3360 6655 0 404640 0
[pid=51499/tid=51514] ppid=51496 vsize=1684984 memory=14592 CPUtime=1512.11 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 324434 0 0 0 151126 85 0 0 20 0 2 0 52443989 1725423616 405580 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 3043.62 s
Current children cumulated vsize: 1684984 KiB
Current children cumulated memory: 1622320 KiB

[startup+1602.3 s]
/proc/loadavg: 7.14 7.45 7.66 8/269 51696
/proc/meminfo: memFree=115900708/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=1707744 memory=1669168 CPUtime=3162.84 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 718952 0 0 0 316130 154 0 0 20 0 2 0 52442987 1748729856 417292 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 426936 417292 3360 6655 0 416206 0
[pid=51499/tid=51514] ppid=51496 vsize=1707744 memory=1666096 CPUtime=1571.51 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 336149 0 0 0 157064 87 0 0 20 0 2 0 52443989 1748729856 417292 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 3162.84 s
Current children cumulated vsize: 1707744 KiB
Current children cumulated memory: 1669168 KiB

[startup+1662.3 s]
/proc/loadavg: 7.10 7.38 7.62 8/268 51699
/proc/meminfo: memFree=114917932/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=1804164 memory=1722464 CPUtime=3282.07 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 738857 0 0 0 328047 160 0 0 20 0 2 0 52442987 1847463936 430616 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 451041 430616 3360 6655 0 429164 0
[pid=51499/tid=51514] ppid=51496 vsize=1804164 memory=1687856 CPUtime=1630.92 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 348696 0 0 0 163000 92 0 0 20 0 2 0 52443989 1847463936 430616 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 3282.07 s
Current children cumulated vsize: 1804164 KiB
Current children cumulated memory: 1722464 KiB

[startup+1722.3 s]
/proc/loadavg: 7.14 7.34 7.60 7/268 51701
/proc/meminfo: memFree=114338452/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=1846728 memory=1805792 CPUtime=3401.29 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 768766 0 0 0 339963 166 0 0 20 0 2 0 52442987 1891049472 451448 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 461682 451448 3360 6655 0 450166 0
[pid=51499/tid=51514] ppid=51496 vsize=1846728 memory=1799520 CPUtime=1690.31 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 365257 0 0 0 168936 95 0 0 20 0 2 0 52443989 1891049472 451448 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 3401.29 s
Current children cumulated vsize: 1846728 KiB
Current children cumulated memory: 1805792 KiB

[startup+1782.3 s]
/proc/loadavg: 7.08 7.28 7.56 8/268 51703
/proc/meminfo: memFree=113910564/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=1948200 memory=1861228 CPUtime=3520.51 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) R 51496 51499 49774 0 -1 4194304 796513 0 0 0 351878 173 0 0 20 0 2 0 52442987 1994956800 465307 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 487050 465307 3360 6655 0 463966 0
[pid=51499/tid=51514] ppid=51496 vsize=1948200 memory=10752 CPUtime=1749.71 cores=0,2
/proc/51499/task/51514/stat : 51514 (LSIPExact) R 51496 51499 49774 0 -1 4194368 384791 0 0 0 174871 100 0 0 20 0 2 0 52443989 1994956800 465307 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
Current children cumulated CPU time: 3520.51 s
Current children cumulated vsize: 1948200 KiB
Current children cumulated memory: 1861228 KiB

[startup+1842.3 s]
/proc/loadavg: 5.98 6.94 7.42 6/268 51708
/proc/meminfo: memFree=113397208/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=1082536 memory=1015996 CPUtime=3555.81 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) S 51496 51499 49774 0 -1 4194304 828917 230 0 0 355402 179 0 0 20 0 1 0 52442987 1108516864 253999 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 270634 253999 3392 6655 0 260863 0
[pid=51706] ppid=51499 vsize=108648 memory=96916 CPUtime=42.02 cores=0,2
/proc/51706/stat : 51706 (Exact) R 51499 51706 51706 0 -1 4194304 17191 0 0 0 4188 14 0 0 20 0 1 0 52623000 111255552 24229 18446744073709551615 4198400 8335837 140736066446832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 19034112 140736066451636 140736066451997 140736066451997 140736066457551 0
/proc/51706/statm: 27162 24229 1120 1011 0 25929 0
Current children cumulated CPU time: 3597.83 s
Current children cumulated vsize: 1191184 KiB
Current children cumulated memory: 1112912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1844.5 s]
/proc/loadavg: 5.98 6.94 7.42 6/268 51708
/proc/meminfo: memFree=113324124/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=1082536 memory=1015996 CPUtime=3555.81 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) S 51496 51499 49774 0 -1 4194304 828917 230 0 0 355402 179 0 0 20 0 1 0 52442987 1108516864 253999 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 270634 253999 3392 6655 0 260863 0
[pid=51706] ppid=51499 vsize=108648 memory=96916 CPUtime=44.21 cores=0,2
/proc/51706/stat : 51706 (Exact) R 51499 51706 51706 0 -1 4194304 17191 0 0 0 4407 14 0 0 20 0 1 0 52623000 111255552 24229 18446744073709551615 4198400 8335837 140736066446832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 19034112 140736066451636 140736066451997 140736066451997 140736066457551 0
/proc/51706/statm: 27162 24229 1120 1011 0 25929 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1191184 KiB
Current children cumulated memory: 1112912 KiB

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

[startup+1844.53 s]
# the end of solver process 51499 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3598.11 s, system=1.95667 s

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

[startup+1844.5 s]
/proc/loadavg: 5.98 6.94 7.42 6/268 51708
/proc/meminfo: memFree=113324124/131249996 swapFree=33010684/33010684
[pid=51499] ppid=51496 vsize=1082536 memory=1015996 CPUtime=3555.81 cores=0,2
/proc/51499/stat : 51499 (LSIPExact) S 51496 51499 49774 0 -1 4194304 828917 230 0 0 355402 179 0 0 20 0 1 0 52442987 1108516864 253999 18446744073709551615 94628743471104 94628770727505 140735914801744 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94628779230344 94628779661952 94628808548352 140735914809690 140735914809866 140735914809866 140735914815468 0
/proc/51499/statm: 270634 253999 3392 6655 0 260863 0
[pid=51706] ppid=51499 vsize=108648 memory=96916 CPUtime=44.21 cores=0,2
/proc/51706/stat : 51706 (Exact) R 51499 51706 51706 0 -1 4194304 17191 0 0 0 4407 14 0 0 20 0 1 0 52623000 111255552 24229 18446744073709551615 4198400 8335837 140736066446832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 19034112 140736066451636 140736066451997 140736066451997 140736066457551 0
/proc/51706/statm: 27162 24229 1120 1011 0 25929 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1191184 KiB
Current children cumulated memory: 1112912 KiB

Child status: 0

Real time (s): 1844.53
CPU time (s): 3600.07
CPU user time (s): 3598.11
CPU system time (s): 1.95667
CPU usage (%): 195.176
Max. virtual memory (cumulated for all children) (KiB): 1968700
Max. memory (cumulated for all children) (KiB): 1890540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.11
system time used= 1.95667
maximum resident set size= 1890796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 846487
page faults= 0
swaps= 0
block input operations= 856
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 628
involuntary context switches= 89054


# summary of solver processes directly reported to runsolver:
#   pid: 51499
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.11
#   total CPU system time (s): 1.95667

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91763 second user time and 7.68474 second system time

The end

Launcher Data

Begin job on nodeC021 at 2025-07-01 13:00:53
IDJOB=4497686
IDBENCH=148191
IDSOLVER=3337
FILE ID=nodeC021/4497686-1751367653
RUNJOBID= nodeC021-1751360343-49784
SLURM_JOB_ID= 9598162
Free space on /tmp= 432448 MiB

SOLVER NAME= LSIPExact  S2
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497686-1751367653/watcher-4497686-1751367653 -o /tmp/evaluation-result-4497686-1751367653/solver-4497686-1751367653 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751360343-49784 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4497686-1751367653.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1532522464

nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.860
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.772
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.747
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.919
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.740
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.663
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.677
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.982
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127672928 kB
MemAvailable:   128601256 kB
Buffers:            3280 kB
Cached:          1734104 kB
SwapCached:            0 kB
Active:          1425152 kB
Inactive:        1465060 kB
Active(anon):    1170888 kB
Inactive(anon):        0 kB
Active(file):     254264 kB
Inactive(file):  1465060 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             93320 kB
Writeback:             0 kB
AnonPages:       1155476 kB
Mapped:           131056 kB
Shmem:             18060 kB
KReclaimable:      96088 kB
Slab:             184660 kB
SReclaimable:      96088 kB
SUnreclaim:        88572 kB
KernelStack:        4272 kB
PageTables:         5312 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1514716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    671744 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432368 MiB
End job on nodeC021 at 2025-07-01 13:31:38