Trace number 4497409

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 S1No Cert. 3602 1826.06

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.01/1824.01	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.01/1824.01	c numVar: 6027
3600.01/1824.01	c numCon: 21278
3600.01/1824.01	c numEqual: 0
3600.01/1824.01	c intSize: 10
3600.01/1824.01	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.01/1824.01	c ------------------- Paras list -------------------
3600.01/1824.01	c Name                	 Type      	 Now       	 Default   	 Comment
3600.01/1824.01	c timeout             	 double    	 3600.000000	 3600      	 
3600.01/1824.01	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.01/1824.01	c ls_time             	 double    	 10.000000 	 10        	 
3600.01/1824.01	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.01/1824.01	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.01/1824.01	c random_seed         	 int       	 0         	 0         	 
3600.01/1824.01	c sample_size         	 int       	 50        	 50        	 
3600.01/1824.01	c sub_score           	 int       	 1         	 1         	 
3600.01/1824.01	c tabu_base           	 int       	 3         	 3         	 
3600.01/1824.01	c tabu_variation      	 int       	 1         	 1         	 
3600.01/1824.01	c sub_div             	 int       	 4         	 4         	 
3600.01/1824.01	c nbcore              	 int       	 2         	 1         	 
3600.01/1824.01	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.01/1824.01	c print_sol           	 int       	 1         	 1         	 
3600.01/1824.01	c tmpdir              	 string		 .         	 "."       	 
3600.01/1824.01	c home                	 string		 HOME	 "."       	 
3600.01/1824.01	c benchname           	 string		 HOME/instance-4497409-1751371376.opb	 ""        	 
3600.01/1824.01	c --------------------------------------------------
3600.01/1824.01	c Local Search solver
3600.01/1824.01	c LS find feasible solution for PBO with objective value 25
3600.01/1824.01	c MIP solver
3600.01/1824.01	c receive signal 15, try to interrupt solver...
3600.01/1824.02	c MIP solver find feasible solution
3600.01/1824.02	c MIP solver objective value: 20
3600.01/1824.09	c MIP find feasible solution for PBO with objective value 20
3600.01/1824.09	c copy file: 0
3600.01/1824.09	c gen ub file: HOME/instance-4497409-1751371376.opb_ub.opb
3600.01/1824.09	c use Exact solver
3601.95/1826.01	o 20
3601.95/1826.01	s SATISFIABLE
3601.95/1826.01	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

Verifier Data

ERROR: no interpretation found !

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: 63837 MiB (61756 MiB free)
  memory of node 1: 64465 MiB (63619 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497409-1751371376/watcher-4497409-1751371376 -o /tmp/evaluation-result-4497409-1751371376/solver-4497409-1751371376 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751365444-52303 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4497409-1751371376.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=54860, runsolver pid=54857

[startup+0.100098 s]*
/proc/loadavg: 7.33 7.46 7.73 8/252 54861
/proc/meminfo: memFree=128377336/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=53956 memory=19456 CPUtime=0.09 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 3855 0 0 0 9 0 0 0 20 0 1 0 52816976 55250944 4864 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/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.213223 s]*
/proc/loadavg: 7.33 7.46 7.73 8/252 54861
/proc/meminfo: memFree=128378016/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=53956 memory=19456 CPUtime=0.21 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 3855 0 0 0 21 0 0 0 20 0 1 0 52816976 55250944 4864 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 13489 4864 1152 6655 0 3724 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53956 KiB
Current children cumulated memory: 19456 KiB

[startup+0.313371 s]*
/proc/loadavg: 7.33 7.46 7.73 8/252 54861
/proc/meminfo: memFree=128378016/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=53956 memory=19456 CPUtime=0.3 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 3855 0 0 0 30 0 0 0 20 0 1 0 52816976 55250944 4864 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 13489 4864 1152 6655 0 3724 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53956 KiB
Current children cumulated memory: 19456 KiB

[startup+0.700237 s]
/proc/loadavg: 7.33 7.46 7.73 8/252 54861
/proc/meminfo: memFree=128378016/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=53956 memory=19456 CPUtime=0.68 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 3855 0 0 0 68 0 0 0 20 0 1 0 52816976 55250944 4864 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/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.50024 s]
/proc/loadavg: 7.30 7.46 7.73 8/252 54861
/proc/meminfo: memFree=128378016/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=53956 memory=19456 CPUtime=1.47 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 3856 0 0 0 147 0 0 0 20 0 1 0 52816976 55250944 4864 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 13489 4864 1152 6655 0 3724 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 53956 KiB
Current children cumulated memory: 19456 KiB

[startup+3.11302 s]
/proc/loadavg: 7.30 7.46 7.73 8/254 54864
/proc/meminfo: memFree=128378252/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=53956 memory=19456 CPUtime=3.08 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 3856 0 0 0 308 0 0 0 20 0 1 0 52816976 55250944 4864 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/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.30024 s]
/proc/loadavg: 7.28 7.45 7.72 8/254 54864
/proc/meminfo: memFree=128378276/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=53956 memory=19456 CPUtime=6.26 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 3856 0 0 0 626 0 0 0 20 0 1 0 52816976 55250944 4864 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/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.7002 s]
/proc/loadavg: 7.33 7.46 7.73 9/255 54865
/proc/meminfo: memFree=128297140/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=182372 memory=92132 CPUtime=14.87 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 19753 0 0 0 1484 3 0 0 20 0 2 0 52816976 186748928 23033 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 45593 23033 3328 6655 0 22177 0
[pid=54860/tid=54865] ppid=54857 vsize=182372 memory=92132 CPUtime=2.21 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 2582 0 0 0 221 0 0 0 20 0 2 0 52817980 186748928 23033 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 14.87 s
Current children cumulated vsize: 182372 KiB
Current children cumulated memory: 92132 KiB

[startup+25.5002 s]
/proc/loadavg: 7.44 7.48 7.73 9/255 54865
/proc/meminfo: memFree=128249016/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=219124 memory=149984 CPUtime=40.22 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 80777 0 0 0 4012 10 0 0 20 0 2 0 52816976 224382976 37496 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 54781 37496 3424 6655 0 36232 0
[pid=54860/tid=54865] ppid=54857 vsize=219124 memory=149984 CPUtime=14.82 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 27129 0 0 0 1478 4 0 0 20 0 2 0 52817980 224382976 37496 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 40.22 s
Current children cumulated vsize: 219124 KiB
Current children cumulated memory: 149984 KiB

[startup+51.1054 s]
/proc/loadavg: 7.66 7.53 7.74 9/255 54865
/proc/meminfo: memFree=128245568/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=219124 memory=154464 CPUtime=91.08 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 94352 0 0 0 9097 11 0 0 20 0 2 0 52816976 224382976 38616 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 54781 38616 3424 6655 0 37260 0
[pid=54860/tid=54865] ppid=54857 vsize=219124 memory=154464 CPUtime=40.17 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 33917 0 0 0 4012 5 0 0 20 0 2 0 52817980 224382976 38616 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 91.08 s
Current children cumulated vsize: 219124 KiB
Current children cumulated memory: 154464 KiB

[startup+102.3 s]
/proc/loadavg: 7.97 7.63 7.76 9/255 54867
/proc/meminfo: memFree=128209704/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=233516 memory=185440 CPUtime=192.76 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 118797 0 0 0 19260 16 0 0 20 0 2 0 52816976 239120384 46360 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 58379 46360 3424 6655 0 44987 0
[pid=54860/tid=54865] ppid=54857 vsize=233516 memory=184032 CPUtime=90.83 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 45125 0 0 0 9076 7 0 0 20 0 2 0 52817980 239120384 46360 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 192.76 s
Current children cumulated vsize: 233516 KiB
Current children cumulated memory: 185440 KiB

[startup+162.3 s]
/proc/loadavg: 8.05 7.72 7.79 9/255 54871
/proc/meminfo: memFree=128150700/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=325936 memory=235360 CPUtime=311.93 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 145172 0 0 0 31172 21 0 0 20 0 2 0 52816976 333758464 58840 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 81484 58840 3424 6655 0 57534 0
[pid=54860/tid=54865] ppid=54857 vsize=325936 memory=213472 CPUtime=150.2 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 58650 0 0 0 15011 9 0 0 20 0 2 0 52817980 333758464 58840 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 311.93 s
Current children cumulated vsize: 325936 KiB
Current children cumulated memory: 235360 KiB

[startup+222.3 s]
/proc/loadavg: 8.01 7.77 7.80 9/255 54873
/proc/meminfo: memFree=128218720/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=216996 memory=149600 CPUtime=428.2 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 204215 0 0 0 42790 30 0 0 20 0 2 0 52816976 222203904 37400 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 54249 37400 3424 6655 0 44466 0
[pid=54860/tid=54865] ppid=54857 vsize=216996 memory=140368 CPUtime=206.77 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 73975 0 0 0 20666 11 0 0 20 0 2 0 52817980 222203904 37400 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 428.2 s
Current children cumulated vsize: 216996 KiB
Current children cumulated memory: 149600 KiB

[startup+282.3 s]
/proc/loadavg: 8.07 7.83 7.83 9/255 54879
/proc/meminfo: memFree=128139660/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=281836 memory=231716 CPUtime=547.11 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 226427 0 0 0 54676 35 0 0 20 0 2 0 52816976 288600064 57929 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 70459 57929 3424 6655 0 60676 0
[pid=54860/tid=54865] ppid=54857 vsize=281836 memory=190116 CPUtime=265.92 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 78906 0 0 0 26580 12 0 0 20 0 2 0 52817980 288600064 57929 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 547.11 s
Current children cumulated vsize: 281836 KiB
Current children cumulated memory: 231716 KiB

[startup+342.3 s]
/proc/loadavg: 8.08 7.88 7.84 9/253 54881
/proc/meminfo: memFree=128143236/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=285344 memory=236452 CPUtime=666.29 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 227732 0 0 0 66593 36 0 0 20 0 2 0 52816976 292192256 59113 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 71336 59113 3424 6655 0 61553 0
[pid=54860/tid=54865] ppid=54857 vsize=285344 memory=190116 CPUtime=325.3 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 79277 0 0 0 32518 12 0 0 20 0 2 0 52817980 292192256 59113 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 666.29 s
Current children cumulated vsize: 285344 KiB
Current children cumulated memory: 236452 KiB


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

/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 339679 0 0 0 268333 71 0 0 20 0 2 0 52816976 512282624 104509 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 125069 104509 3424 6655 0 102726 0
[pid=54860/tid=54865] ppid=54857 vsize=500276 memory=400244 CPUtime=1327.49 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 143727 0 0 0 132718 31 0 0 20 0 2 0 52817980 512282624 104509 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 2684.04 s
Current children cumulated vsize: 500276 KiB
Current children cumulated memory: 418036 KiB

[startup+1422.3 s]
/proc/loadavg: 8.02 8.07 7.98 9/256 55072
/proc/meminfo: memFree=127084916/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=514292 memory=445812 CPUtime=2803.09 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 355472 0 0 0 280235 74 0 0 20 0 2 0 52816976 526635008 111453 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 128573 111453 3424 6655 0 109681 0
[pid=54860/tid=54865] ppid=54857 vsize=514292 memory=400244 CPUtime=1386.85 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 150600 0 0 0 138653 32 0 0 20 0 2 0 52817980 526635008 111453 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 2803.09 s
Current children cumulated vsize: 514292 KiB
Current children cumulated memory: 445812 KiB

[startup+1482.3 s]
/proc/loadavg: 8.12 8.09 8.00 9/255 55078
/proc/meminfo: memFree=127025092/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=533272 memory=481524 CPUtime=2922.15 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 369480 0 0 0 292137 78 0 0 20 0 2 0 52816976 546070528 120381 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 133318 120381 3424 6655 0 118687 0
[pid=54860/tid=54865] ppid=54857 vsize=533272 memory=440436 CPUtime=1446.21 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 158231 0 0 0 144588 33 0 0 20 0 2 0 52817980 546070528 120381 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 2922.15 s
Current children cumulated vsize: 533272 KiB
Current children cumulated memory: 481524 KiB

[startup+1542.3 s]
/proc/loadavg: 8.11 8.09 8.00 9/255 55080
/proc/meminfo: memFree=126952120/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=550696 memory=514676 CPUtime=3041.17 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 378489 0 0 0 304037 80 0 0 20 0 2 0 52816976 563912704 128669 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 137674 128669 3424 6655 0 126923 0
[pid=54860/tid=54865] ppid=54857 vsize=550696 memory=489460 CPUtime=1505.56 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 162501 0 0 0 150522 34 0 0 20 0 2 0 52817980 563912704 128669 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 3041.17 s
Current children cumulated vsize: 550696 KiB
Current children cumulated memory: 514676 KiB

[startup+1602.3 s]
/proc/loadavg: 8.08 8.08 8.00 9/255 55082
/proc/meminfo: memFree=126879928/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=639984 memory=563240 CPUtime=3160.19 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 392479 0 0 0 315935 84 0 0 20 0 2 0 52816976 655343616 140810 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 159996 140810 3424 6655 0 139050 0
[pid=54860/tid=54865] ppid=54857 vsize=639984 memory=5632 CPUtime=1564.91 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 169882 0 0 0 156454 37 0 0 20 0 2 0 52817980 655343616 140810 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 3160.19 s
Current children cumulated vsize: 639984 KiB
Current children cumulated memory: 563240 KiB

[startup+1662.3 s]
/proc/loadavg: 8.13 8.10 8.01 10/254 55084
/proc/meminfo: memFree=126852184/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=660836 memory=612008 CPUtime=3279.22 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 404807 0 0 0 327835 87 0 0 20 0 2 0 52816976 676696064 153002 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 165209 153002 3424 6655 0 151346 0
[pid=54860/tid=54865] ppid=54857 vsize=660836 memory=609320 CPUtime=1624.25 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 176967 0 0 0 162387 38 0 0 20 0 2 0 52817980 676696064 153002 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 3279.22 s
Current children cumulated vsize: 660836 KiB
Current children cumulated memory: 612008 KiB

[startup+1722.3 s]
/proc/loadavg: 8.10 8.09 8.01 9/254 55084
/proc/meminfo: memFree=126803564/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=754896 memory=658268 CPUtime=3398.25 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 416376 0 0 0 339735 90 0 0 20 0 2 0 52816976 773013504 164567 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 188724 164567 3424 6655 0 162910 0
[pid=54860/tid=54865] ppid=54857 vsize=754896 memory=613544 CPUtime=1683.61 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 181338 0 0 0 168321 40 0 0 20 0 2 0 52817980 773013504 164567 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 3398.25 s
Current children cumulated vsize: 754896 KiB
Current children cumulated memory: 658268 KiB

[startup+1782.3 s]
/proc/loadavg: 8.15 8.10 8.02 9/254 55086
/proc/meminfo: memFree=126739380/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=788416 memory=721032 CPUtime=3517.26 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 431819 0 0 0 351631 95 0 0 20 0 2 0 52816976 807337984 180258 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 197104 180258 3424 6655 0 178566 0
[pid=54860/tid=54865] ppid=54857 vsize=788416 memory=704092 CPUtime=1742.93 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 188238 0 0 0 174251 42 0 0 20 0 2 0 52817980 807337984 180258 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 3517.26 s
Current children cumulated vsize: 788416 KiB
Current children cumulated memory: 721032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1824 s]*
/proc/loadavg: 8.16 8.10 8.02 9/254 55088
/proc/meminfo: memFree=126677728/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=817280 memory=774408 CPUtime=3600.01 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) R 54857 54860 52290 0 -1 4194304 446843 0 0 0 359903 98 0 0 20 0 2 0 52816976 836894720 193602 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 204320 193602 3424 6655 0 191921 0
[pid=54860/tid=54865] ppid=54857 vsize=817280 memory=14720 CPUtime=1784.19 cores=5,7
/proc/54860/task/54865/stat : 54865 (LSIPExact) R 54857 54860 52290 0 -1 4194368 194377 0 0 0 178376 43 0 0 20 0 2 0 52817980 836894720 193602 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 817280 KiB
Current children cumulated memory: 774408 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+1826.06 s]
# the end of solver process 54860 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3600.93 s, system=1.07657 s

Solver just ended.
Dumping a history of the last processes samples

[startup+1824.8 s]
/proc/loadavg: 8.16 8.10 8.02 9/254 55088
/proc/meminfo: memFree=126677728/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=398460 memory=330348 CPUtime=3600.07 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) S 54857 54860 52290 0 -1 4194304 451275 226 0 0 359906 101 0 0 20 0 1 0 52816976 408023040 82587 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 99615 82587 3456 6655 0 89846 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 398460 KiB
Current children cumulated memory: 330348 KiB

[startup+1825.6 s]
/proc/loadavg: 8.16 8.10 8.02 8/254 55090
/proc/meminfo: memFree=127086044/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=398460 memory=330348 CPUtime=3600.07 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) S 54857 54860 52290 0 -1 4194304 451275 226 0 0 359906 101 0 0 20 0 1 0 52816976 408023040 82587 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 99615 82587 3456 6655 0 89846 0
[pid=55090] ppid=54860 vsize=72764 memory=60892 CPUtime=1.47 cores=5,7
/proc/55090/stat : 55090 (Exact) R 54860 55090 55090 0 -1 4194304 12789 0 0 0 143 4 0 0 20 0 1 0 52999385 74510336 15223 18446744073709551615 4198400 8335837 140725185342368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 19103744 140725185345716 140725185346077 140725185346077 140725185351631 0
/proc/55090/statm: 18191 15223 1120 1011 0 16958 0
Current children cumulated CPU time: 3601.54 s
Current children cumulated vsize: 471224 KiB
Current children cumulated memory: 391240 KiB

[startup+1826 s]*
/proc/loadavg: 8.16 8.10 8.02 8/254 55090
/proc/meminfo: memFree=127061976/131382112 swapFree=33010684/33010684
[pid=54860] ppid=54857 vsize=398460 memory=330348 CPUtime=3600.07 cores=5,7
/proc/54860/stat : 54860 (LSIPExact) S 54857 54860 52290 0 -1 4194304 451275 226 0 0 359906 101 0 0 20 0 1 0 52816976 408023040 82587 18446744073709551615 94172405874688 94172433131089 140734867253744 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94172441633928 94172442065536 94172454326272 140734867261786 140734867261962 140734867261962 140734867267564 0
/proc/54860/statm: 99615 82587 3456 6655 0 89846 0
[pid=55090] ppid=54860 vsize=73052 memory=61148 CPUtime=1.88 cores=5,7
/proc/55090/stat : 55090 (Exact) R 54860 55090 55090 0 -1 4194304 12838 0 0 0 184 4 0 0 20 0 1 0 52999385 74805248 15287 18446744073709551615 4198400 8335837 140725185342368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 19103744 140725185345716 140725185346077 140725185346077 140725185351631 0
/proc/55090/statm: 18263 15287 1120 1011 0 17030 0
Current children cumulated CPU time: 3601.95 s
Current children cumulated vsize: 471512 KiB
Current children cumulated memory: 391496 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1826.06
CPU time (s): 3602
CPU user time (s): 3600.93
CPU system time (s): 1.07657
CPU usage (%): 197.255
Max. virtual memory (cumulated for all children) (KiB): 817280
Max. memory (cumulated for all children) (KiB): 774408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.93
system time used= 1.07657
maximum resident set size= 774664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464852
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= 560
involuntary context switches= 112887


# summary of solver processes directly reported to runsolver:
#   pid: 54860
#   total CPU time (s): 3602
#   total CPU user time (s): 3600.93
#   total CPU system time (s): 1.07657

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.90224 second user time and 7.02442 second system time

The end

Launcher Data

Begin job on nodeC005 at 2025-07-01 14:02:56
IDJOB=4497409
IDBENCH=148185
IDSOLVER=3336
FILE ID=nodeC005/4497409-1751371376
RUNJOBID= nodeC005-1751365444-52303
SLURM_JOB_ID= 9598182
Free space on /tmp= 430536 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-4497409-1751371376/watcher-4497409-1751371376 -o /tmp/evaluation-result-4497409-1751371376/solver-4497409-1751371376 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751365444-52303 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4497409-1751371376.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=2080528498

nodeC005 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	: 0xb00001f
cpu MHz		: 3591.724
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.727
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.751
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.725
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.680
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1796.211
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.733
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.239
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128385148 kB
MemAvailable:   129263896 kB
Buffers:            2752 kB
Cached:          1677660 kB
SwapCached:            0 kB
Active:          1056796 kB
Inactive:        1329012 kB
Active(anon):     715192 kB
Inactive(anon):     8164 kB
Active(file):     341604 kB
Inactive(file):  1320848 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             45256 kB
Writeback:           176 kB
AnonPages:        708428 kB
Mapped:           140692 kB
Shmem:             17960 kB
KReclaimable:     111844 kB
Slab:             196232 kB
SReclaimable:     111844 kB
SUnreclaim:        84388 kB
KernelStack:        4112 kB
PageTables:         4736 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1089172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    493568 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430488 MiB
End job on nodeC005 at 2025-07-01 14:33:22