Trace number 4527444

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 S1SAT (TO)20 3602.05 1820.52

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUM9def910af6a1ee27abcf25feff61a445
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 benchmark20
Best CPU time to get the best result obtained on this benchmark67.9647
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
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 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
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

3600.07/1818.50	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.07/1818.50	c numVar: 6027
3600.07/1818.50	c numCon: 21278
3600.07/1818.50	c numEqual: 0
3600.07/1818.50	c intSize: 10
3600.07/1818.50	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.07/1818.50	c ------------------- Paras list -------------------
3600.07/1818.50	c Name                	 Type      	 Now       	 Default   	 Comment
3600.07/1818.50	c timeout             	 double    	 3600.000000	 3600      	 
3600.07/1818.50	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.07/1818.50	c ls_time             	 double    	 10.000000 	 10        	 
3600.07/1818.50	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.07/1818.50	c mip_emphasis        	 int       	 1         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.07/1818.50	c random_seed         	 int       	 0         	 0         	 
3600.07/1818.50	c sample_size         	 int       	 50        	 50        	 
3600.07/1818.50	c sub_score           	 int       	 1         	 1         	 
3600.07/1818.50	c tabu_base           	 int       	 3         	 3         	 
3600.07/1818.50	c tabu_variation      	 int       	 1         	 1         	 
3600.07/1818.50	c sub_div             	 int       	 4         	 4         	 
3600.07/1818.50	c nbcore              	 int       	 2         	 1         	 
3600.07/1818.50	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.07/1818.50	c print_sol           	 int       	 1         	 1         	 
3600.07/1818.50	c tmpdir              	 string		 .         	 "."       	 
3600.07/1818.50	c home                	 string		 HOME	 "."       	 
3600.07/1818.50	c benchname           	 string		 HOME/instance-4527444-1752232297.opb	 ""        	 
3600.07/1818.50	c --------------------------------------------------
3600.07/1818.50	c Local Search solver
3600.07/1818.50	c LS find feasible solution for PBO with objective value 25
3600.07/1818.50	c MIP solver
3600.07/1818.50	c receive signal 15, try to interrupt solver...
3600.07/1818.51	c MIP solver find feasible solution
3600.07/1818.51	c MIP solver objective value: 20
3600.07/1818.55	c MIP find feasible solution for PBO with objective value 20
3600.07/1818.55	c copy file: 0
3600.07/1818.55	c gen ub file: HOME/instance-4527444-1752232297.opb_ub.opb
3600.07/1818.55	c use Exact solver
3602.01/1820.50	o 20
3602.01/1820.50	s SATISFIABLE
3602.01/1820.50	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 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 x4412 x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 x4482 x4483 -x4484 -x4485 -x4486 x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 x4522 -x4523 -x4524 x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 x4587 -x4588 -x4589 -x4590 -x4591 x4592 -x4593 -x4594 x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 -x4678 -x4679 -x4680 -x4681 x4682 -x4683 -x4684 x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 x4824 x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 x4942 -x4943 -x4944 -x4945 -x4946 x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5169 x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 -x5301 -x5302 -x5303 x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 x5415 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 x5900 -x5901 x5902 -x5903 -x5904 x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 x5940 x5941 -x5942 -x5943 -x5944 x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 x6022 -x6023 x6024 -x6025 x6026 -x6027 
3602.01/1820.51	c Total time: 1821

Verifier Data

OK	20

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: 63708 MiB (58220 MiB free)
  memory of node 1: 64465 MiB (58743 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527444-1752232297/watcher-4527444-1752232297 -o /tmp/evaluation-result-4527444-1752232297/solver-4527444-1752232297 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752232205-113513 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527444-1752232297.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
solver pid=113852, runsolver pid=113849
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.57 1.53 0.60 7/269 113853
/proc/meminfo: memFree=119754424/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=53956 memory=19456 CPUtime=0.09 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 3857 0 0 0 9 0 0 0 20 0 1 0 138909105 55250944 4864 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 13489 4864 1152 6655 0 3724 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53956 KiB
Current children cumulated memory: 19456 KiB

[startup+0.205691 s]*
/proc/loadavg: 4.57 1.53 0.60 7/269 113853
/proc/meminfo: memFree=119719608/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=53956 memory=19456 CPUtime=0.19 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 3857 0 0 0 19 0 0 0 20 0 1 0 138909105 55250944 4864 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 13489 4864 1152 6655 0 3724 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 53956 KiB
Current children cumulated memory: 19456 KiB

[startup+0.305453 s]*
/proc/loadavg: 4.57 1.53 0.60 7/269 113853
/proc/meminfo: memFree=119719104/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=53956 memory=19456 CPUtime=0.29 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 3857 0 0 0 29 0 0 0 20 0 1 0 138909105 55250944 4864 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 13489 4864 1152 6655 0 3724 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 53956 KiB
Current children cumulated memory: 19456 KiB

[startup+0.700145 s]
/proc/loadavg: 4.57 1.53 0.60 7/269 113853
/proc/meminfo: memFree=119719104/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=53956 memory=19456 CPUtime=0.68 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 3858 0 0 0 68 0 0 0 20 0 1 0 138909105 55250944 4864 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 13489 4864 1152 6655 0 3724 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53956 KiB
Current children cumulated memory: 19456 KiB

[startup+1.50014 s]
/proc/loadavg: 4.57 1.53 0.60 7/269 113853
/proc/meminfo: memFree=119718096/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=53956 memory=19456 CPUtime=1.48 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 3858 0 0 0 148 0 0 0 20 0 1 0 138909105 55250944 4864 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 13489 4864 1152 6655 0 3724 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53956 KiB
Current children cumulated memory: 19456 KiB

[startup+3.10533 s]
/proc/loadavg: 4.69 1.61 0.63 7/269 113853
/proc/meminfo: memFree=119720348/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=53956 memory=19456 CPUtime=3.08 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 3858 0 0 0 308 0 0 0 20 0 1 0 138909105 55250944 4864 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 13489 4864 1152 6655 0 3724 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53956 KiB
Current children cumulated memory: 19456 KiB

[startup+6.30011 s]
/proc/loadavg: 4.69 1.61 0.63 7/269 113853
/proc/meminfo: memFree=119707388/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=53956 memory=19456 CPUtime=6.26 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 3858 0 0 0 626 0 0 0 20 0 1 0 138909105 55250944 4864 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 13489 4864 1152 6655 0 3724 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 53956 KiB
Current children cumulated memory: 19456 KiB

[startup+12.7001 s]
/proc/loadavg: 5.05 1.79 0.70 8/270 113854
/proc/meminfo: memFree=119631820/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=182372 memory=104932 CPUtime=14.89 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 22964 0 0 0 1486 3 0 0 20 0 2 0 138909105 186748928 26233 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 45593 26233 3328 6655 0 25796 0
[pid=113852/tid=113854] ppid=113849 vsize=182372 memory=6512 CPUtime=2.23 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 5793 0 0 0 223 0 0 0 20 0 2 0 138910108 186748928 26233 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 14.89 s
Current children cumulated vsize: 182372 KiB
Current children cumulated memory: 104932 KiB

[startup+25.5002 s]
/proc/loadavg: 5.35 1.96 0.77 8/270 113855
/proc/meminfo: memFree=119501896/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=219124 memory=153696 CPUtime=40.25 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 80017 0 0 0 4016 9 0 0 20 0 2 0 138909105 224382976 38424 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 54781 38424 3424 6655 0 37700 0
[pid=113852/tid=113854] ppid=113849 vsize=219124 memory=16532 CPUtime=14.84 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 27268 0 0 0 1481 3 0 0 20 0 2 0 138910108 224382976 38424 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 40.25 s
Current children cumulated vsize: 219124 KiB
Current children cumulated memory: 153696 KiB

[startup+51.1056 s]
/proc/loadavg: 5.91 2.36 0.93 8/270 113855
/proc/meminfo: memFree=119323524/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=219124 memory=153952 CPUtime=91.15 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 92862 0 0 0 9105 10 0 0 20 0 2 0 138909105 224382976 38488 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 54781 38488 3424 6655 0 37700 0
[pid=113852/tid=113854] ppid=113849 vsize=219124 memory=153952 CPUtime=40.19 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 33246 0 0 0 4016 3 0 0 20 0 2 0 138910108 224382976 38488 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 91.15 s
Current children cumulated vsize: 219124 KiB
Current children cumulated memory: 153952 KiB

[startup+102.3 s]
/proc/loadavg: 6.61 3.16 1.29 8/270 113857
/proc/meminfo: memFree=119104472/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=327940 memory=233568 CPUtime=192.86 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 128703 0 0 0 19270 16 0 0 20 0 2 0 138909105 335810560 58392 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 81985 58392 3424 6655 0 57188 0
[pid=113852/tid=113854] ppid=113849 vsize=327940 memory=5504 CPUtime=90.87 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 49416 0 0 0 9081 6 0 0 20 0 2 0 138910108 335810560 58392 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 192.86 s
Current children cumulated vsize: 327940 KiB
Current children cumulated memory: 233568 KiB

[startup+162.3 s]
/proc/loadavg: 6.91 3.88 1.66 8/270 113859
/proc/meminfo: memFree=118939196/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=278408 memory=215624 CPUtime=309.2 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 174932 0 0 0 30899 21 0 0 20 0 2 0 138909105 285089792 53906 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 69602 53906 3424 6655 0 59835 0
[pid=113852/tid=113854] ppid=113849 vsize=278408 memory=215624 CPUtime=147.38 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 63460 0 0 0 14731 7 0 0 20 0 2 0 138910108 285089792 53906 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 309.2 s
Current children cumulated vsize: 278408 KiB
Current children cumulated memory: 215624 KiB

[startup+222.3 s]
/proc/loadavg: 7.01 4.46 2.00 8/268 113861
/proc/meminfo: memFree=118719992/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=278408 memory=232264 CPUtime=428.4 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 201132 0 0 0 42816 24 0 0 20 0 2 0 138909105 285089792 58066 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 69602 58066 3424 6655 0 59835 0
[pid=113852/tid=113854] ppid=113849 vsize=278408 memory=16532 CPUtime=206.78 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 75104 0 0 0 20669 9 0 0 20 0 2 0 138910108 285089792 58066 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 428.4 s
Current children cumulated vsize: 278408 KiB
Current children cumulated memory: 232264 KiB

[startup+282.3 s]
/proc/loadavg: 7.10 4.96 2.33 8/268 113863
/proc/meminfo: memFree=118536964/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=350512 memory=267848 CPUtime=547.6 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 217956 0 0 0 54732 28 0 0 20 0 2 0 138909105 358924288 66962 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 87628 66962 3424 6655 0 65395 0
[pid=113852/tid=113854] ppid=113849 vsize=350512 memory=247368 CPUtime=266.17 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 82825 0 0 0 26605 12 0 0 20 0 2 0 138910108 358924288 66962 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 547.6 s
Current children cumulated vsize: 350512 KiB
Current children cumulated memory: 267848 KiB

[startup+342.3 s]
/proc/loadavg: 7.04 5.33 2.62 8/268 113866
/proc/meminfo: memFree=118331228/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=378272 memory=326856 CPUtime=666.8 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 258262 0 0 0 66647 33 0 0 20 0 2 0 138909105 387350528 81714 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 94568 81714 3424 6655 0 80178 0
[pid=113852/tid=113854] ppid=113849 vsize=378272 memory=247368 CPUtime=325.56 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 103110 0 0 0 32542 14 0 0 20 0 2 0 138910108 387350528 81714 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 666.8 s
Current children cumulated vsize: 378272 KiB
Current children cumulated memory: 326856 KiB

[startup+402.3 s]

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

Current children cumulated CPU time: 2812.65 s
Current children cumulated vsize: 888308 KiB
Current children cumulated memory: 810184 KiB

[startup+1482.3 s]
/proc/loadavg: 8.08 7.58 6.04 9/268 113970
/proc/meminfo: memFree=114385224/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=922960 memory=847944 CPUtime=2931.88 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 509105 0 0 0 293116 72 0 0 20 0 2 0 138909105 945111040 211986 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 230740 211986 3424 6655 0 210336 0
[pid=113852/tid=113854] ppid=113849 vsize=922960 memory=840008 CPUtime=1454.11 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 224655 0 0 0 145377 34 0 0 20 0 2 0 138910108 945111040 211986 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 2931.88 s
Current children cumulated vsize: 922960 KiB
Current children cumulated memory: 847944 KiB

[startup+1542.3 s]
/proc/loadavg: 8.09 7.67 6.17 9/268 113972
/proc/meminfo: memFree=114221832/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=941032 memory=878792 CPUtime=3051.12 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 516950 0 0 0 305039 73 0 0 20 0 2 0 138909105 963616768 219698 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 235258 219698 3424 6655 0 218092 0
[pid=113852/tid=113854] ppid=113849 vsize=941032 memory=878280 CPUtime=1513.52 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 227814 0 0 0 151317 35 0 0 20 0 2 0 138910108 963616768 219698 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 3051.12 s
Current children cumulated vsize: 941032 KiB
Current children cumulated memory: 878792 KiB

[startup+1602.3 s]
/proc/loadavg: 8.11 7.76 6.30 9/268 113974
/proc/meminfo: memFree=114208808/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=942436 memory=881480 CPUtime=3170.35 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 518288 0 0 0 316962 73 0 0 20 0 2 0 138909105 965054464 220370 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 235609 220370 3424 6655 0 218656 0
[pid=113852/tid=113854] ppid=113849 vsize=942436 memory=881480 CPUtime=1572.92 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 228567 0 0 0 157257 35 0 0 20 0 2 0 138910108 965054464 220370 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 3170.35 s
Current children cumulated vsize: 942436 KiB
Current children cumulated memory: 881480 KiB

[startup+1662.3 s]
/proc/loadavg: 8.14 7.84 6.41 9/268 113977
/proc/meminfo: memFree=114008908/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=954024 memory=913480 CPUtime=3289.59 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 533286 0 0 0 328884 75 0 0 20 0 2 0 138909105 976920576 228370 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 238506 228370 3424 6655 0 226685 0
[pid=113852/tid=113854] ppid=113849 vsize=954024 memory=897480 CPUtime=1632.32 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 238671 0 0 0 163196 36 0 0 20 0 2 0 138910108 976920576 228370 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 3289.59 s
Current children cumulated vsize: 954024 KiB
Current children cumulated memory: 913480 KiB

[startup+1722.3 s]
/proc/loadavg: 8.38 7.95 6.54 9/267 113979
/proc/meminfo: memFree=113860616/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=1043392 memory=947528 CPUtime=3408.84 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 543662 0 0 0 340807 77 0 0 20 0 2 0 138909105 1068433408 236882 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 260848 236882 3424 6655 0 235175 0
[pid=113852/tid=113854] ppid=113849 vsize=1043392 memory=897480 CPUtime=1691.73 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 241938 0 0 0 169136 37 0 0 20 0 2 0 138910108 1068433408 236882 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 3408.84 s
Current children cumulated vsize: 1043392 KiB
Current children cumulated memory: 947528 KiB

[startup+1782.3 s]
/proc/loadavg: 7.83 7.88 6.61 9/268 114082
/proc/meminfo: memFree=116427348/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=1061056 memory=965320 CPUtime=3528.11 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 549059 0 0 0 352733 78 0 0 20 0 2 0 138909105 1086521344 241330 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 265264 241330 3424 6655 0 239591 0
[pid=113852/tid=113854] ppid=113849 vsize=1061056 memory=961736 CPUtime=1751.17 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 242480 0 0 0 175080 37 0 0 20 0 2 0 138910108 1086521344 241330 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 3528.11 s
Current children cumulated vsize: 1061056 KiB
Current children cumulated memory: 965320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1818.5 s]
/proc/loadavg: 7.76 7.85 6.66 9/268 114083
/proc/meminfo: memFree=116287588/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=1075784 memory=983112 CPUtime=3600.07 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) R 113849 113852 113493 0 -1 4194304 554460 0 0 0 359928 79 0 0 20 0 2 0 138909105 1101602816 245778 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 268946 245778 3424 6655 0 243979 0
[pid=113852/tid=113854] ppid=113849 vsize=1075784 memory=964808 CPUtime=1787.02 cores=5,7
/proc/113852/task/113854/stat : 113854 (LSIPExact) R 113849 113852 113493 0 -1 4194368 243453 0 0 0 178665 37 0 0 20 0 2 0 138910108 1101602816 245778 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1075784 KiB
Current children cumulated memory: 983112 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3601.21 s, system=0.844308 s

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

[startup+1819.2 s]
/proc/loadavg: 7.76 7.85 6.66 8/268 114085
/proc/meminfo: memFree=116633556/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=682724 memory=610140 CPUtime=3600.11 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) S 113849 113852 113493 0 -1 4194304 558909 229 0 0 359931 80 0 0 20 0 1 0 138909105 699109376 152535 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 170681 152535 3456 6655 0 160914 0
[pid=114085] ppid=113852 vsize=55848 memory=38564 CPUtime=0.61 cores=5,7
/proc/114085/stat : 114085 (Exact) R 113852 114085 114085 0 -1 4194304 8632 0 0 0 59 2 0 0 20 0 1 0 139090960 57188352 9641 18446744073709551615 4198400 8335837 140721855368848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 18317312 140721855371442 140721855371803 140721855371803 140721855377359 0
/proc/114085/statm: 13962 9641 1120 1011 0 12729 0
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 738572 KiB
Current children cumulated memory: 648704 KiB

[startup+1820 s]*
/proc/loadavg: 7.76 7.85 6.66 8/268 114085
/proc/meminfo: memFree=116617688/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=682724 memory=610140 CPUtime=3600.11 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) S 113849 113852 113493 0 -1 4194304 558909 229 0 0 359931 80 0 0 20 0 1 0 138909105 699109376 152535 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 170681 152535 3456 6655 0 160914 0
[pid=114085] ppid=113852 vsize=73052 memory=61812 CPUtime=1.41 cores=5,7
/proc/114085/stat : 114085 (Exact) R 113852 114085 114085 0 -1 4194304 12536 0 0 0 139 2 0 0 20 0 1 0 139090960 74805248 15453 18446744073709551615 4198400 8335837 140721855368848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 18317312 140721855371442 140721855371803 140721855371803 140721855377359 0
/proc/114085/statm: 18263 15453 1120 1011 0 17030 0
Current children cumulated CPU time: 3601.52 s
Current children cumulated vsize: 755776 KiB
Current children cumulated memory: 671952 KiB

[startup+1820.4 s]
/proc/loadavg: 7.76 7.85 6.66 8/268 114085
/proc/meminfo: memFree=116617688/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=682724 memory=610140 CPUtime=3600.11 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) S 113849 113852 113493 0 -1 4194304 558909 229 0 0 359931 80 0 0 20 0 1 0 138909105 699109376 152535 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 170681 152535 3456 6655 0 160914 0
[pid=114085] ppid=113852 vsize=73052 memory=61812 CPUtime=1.8 cores=5,7
/proc/114085/stat : 114085 (Exact) R 113852 114085 114085 0 -1 4194304 12539 0 0 0 178 2 0 0 20 0 1 0 139090960 74805248 15453 18446744073709551615 4198400 8335837 140721855368848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 18317312 140721855371442 140721855371803 140721855371803 140721855377359 0
/proc/114085/statm: 18263 15453 1120 1011 0 17030 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 755776 KiB
Current children cumulated memory: 671952 KiB

[startup+1820.5 s]
/proc/loadavg: 7.76 7.85 6.66 8/268 114085
/proc/meminfo: memFree=116617688/131250000 swapFree=33009904/33010684
[pid=113852] ppid=113849 vsize=682724 memory=610140 CPUtime=3600.11 cores=5,7
/proc/113852/stat : 113852 (LSIPExact) S 113849 113852 113493 0 -1 4194304 558909 229 0 0 359931 80 0 0 20 0 1 0 138909105 699109376 152535 18446744073709551615 94570720051200 94570747308369 140733205193888 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94570755810440 94570756242048 94570777743360 140733205199192 140733205199368 140733205199368 140733205204972 0
/proc/113852/statm: 170681 152535 3456 6655 0 160914 0
[pid=114085] ppid=113852 vsize=73184 memory=61940 CPUtime=1.9 cores=5,7
/proc/114085/stat : 114085 (Exact) R 113852 114085 114085 0 -1 4194304 12569 0 0 0 188 2 0 0 20 0 1 0 139090960 74940416 15485 18446744073709551615 4198400 8335837 140721855368848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 18317312 140721855371442 140721855371803 140721855371803 140721855377359 0
/proc/114085/statm: 18296 15485 1120 1011 0 17063 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 755908 KiB
Current children cumulated memory: 672080 KiB

Child status: 0

Real time (s): 1820.52
CPU time (s): 3602.05
CPU user time (s): 3601.21
CPU system time (s): 0.844308
CPU usage (%): 197.858
Max. virtual memory (cumulated for all children) (KiB): 1075784
Max. memory (cumulated for all children) (KiB): 983112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3601.21
system time used= 0.844308
maximum resident set size= 983368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 572587
page faults= 0
swaps= 0
block input operations= 1208
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 571
involuntary context switches= 50863


# summary of solver processes directly reported to runsolver:
#   pid: 113852
#   total CPU time (s): 3602.05
#   total CPU user time (s): 3601.21
#   total CPU system time (s): 0.844308

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.40673 second user time and 8.61163 second system time

The end

Launcher Data

Begin job on nodeC033 at 2025-07-11 13:11:37
IDJOB=4527444
IDBENCH=148185
IDSOLVER=3384
FILE ID=nodeC033/4527444-1752232297
RUNJOBID= nodeC033-1752232205-113513
SLURM_JOB_ID= 9682544
Free space on /tmp= 429620 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527444-1752232297/watcher-4527444-1752232297 -o /tmp/evaluation-result-4527444-1752232297/solver-4527444-1752232297 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752232205-113513 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4527444-1752232297.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=133869697

nodeC033 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		: 3600.065
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	: 7000.13
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		: 3600.046
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	: 7000.13
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		: 3608.558
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.072
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	: 7000.13
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		: 3600.068
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	: 7000.13
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		: 3600.047
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	: 7000.13
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		: 3600.067
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	: 7000.13
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		: 3600.701
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        119770476 kB
MemAvailable:   128400224 kB
Buffers:            2128 kB
Cached:          9351720 kB
SwapCached:           68 kB
Active:          2014936 kB
Inactive:        8679976 kB
Active(anon):    1353704 kB
Inactive(anon):     5388 kB
Active(file):     661232 kB
Inactive(file):  8674588 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             45252 kB
Writeback:             0 kB
AnonPages:       1342152 kB
Mapped:           148100 kB
Shmem:             18028 kB
KReclaimable:     266332 kB
Slab:             361624 kB
SReclaimable:     266332 kB
SUnreclaim:        95292 kB
KernelStack:        4336 kB
PageTables:         6028 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1831676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    370688 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429528 MiB
End job on nodeC033 at 2025-07-11 13:41:58