Trace number 4527443

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)21 3602.19 1821.34

General information on the benchmark

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

Verifier Data

OK	21

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=119852, runsolver pid=119849

[startup+0.100059 s]*
/proc/loadavg: 4.54 1.53 0.60 7/266 119853
/proc/meminfo: memFree=128437120/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=52712 memory=18304 CPUtime=0.09 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 3534 0 0 0 8 1 0 0 20 0 1 0 138907535 53977088 4576 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 13178 4576 1216 6655 0 3413 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52712 KiB
Current children cumulated memory: 18304 KiB

[startup+0.2055 s]*
/proc/loadavg: 4.54 1.53 0.60 7/266 119853
/proc/meminfo: memFree=128437120/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=52712 memory=18304 CPUtime=0.2 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 3534 0 0 0 19 1 0 0 20 0 1 0 138907535 53977088 4576 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 13178 4576 1216 6655 0 3413 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52712 KiB
Current children cumulated memory: 18304 KiB

[startup+0.305413 s]*
/proc/loadavg: 4.54 1.53 0.60 7/266 119853
/proc/meminfo: memFree=128437120/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=52712 memory=18304 CPUtime=0.3 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 3534 0 0 0 29 1 0 0 20 0 1 0 138907535 53977088 4576 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 13178 4576 1216 6655 0 3413 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52712 KiB
Current children cumulated memory: 18304 KiB

[startup+0.700121 s]
/proc/loadavg: 4.54 1.53 0.60 7/266 119853
/proc/meminfo: memFree=128437344/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=52712 memory=18304 CPUtime=0.68 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 3534 0 0 0 67 1 0 0 20 0 1 0 138907535 53977088 4576 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 13178 4576 1216 6655 0 3413 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52712 KiB
Current children cumulated memory: 18304 KiB

[startup+1.50011 s]
/proc/loadavg: 4.54 1.53 0.60 7/266 119853
/proc/meminfo: memFree=128437344/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=52712 memory=18304 CPUtime=1.48 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 3534 0 0 0 147 1 0 0 20 0 1 0 138907535 53977088 4576 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 13178 4576 1216 6655 0 3413 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52712 KiB
Current children cumulated memory: 18304 KiB

[startup+3.10528 s]
/proc/loadavg: 4.66 1.61 0.63 7/266 119853
/proc/meminfo: memFree=128437252/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=52712 memory=18304 CPUtime=3.08 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 3534 0 0 0 307 1 0 0 20 0 1 0 138907535 53977088 4576 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 13178 4576 1216 6655 0 3413 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52712 KiB
Current children cumulated memory: 18304 KiB

[startup+6.30011 s]
/proc/loadavg: 4.66 1.61 0.63 7/266 119853
/proc/meminfo: memFree=128436244/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=52712 memory=18304 CPUtime=6.27 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 3534 0 0 0 626 1 0 0 20 0 1 0 138907535 53977088 4576 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 13178 4576 1216 6655 0 3413 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52712 KiB
Current children cumulated memory: 18304 KiB

[startup+12.7001 s]
/proc/loadavg: 4.77 1.68 0.66 8/268 119855
/proc/meminfo: memFree=128092436/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=176380 memory=98404 CPUtime=14.95 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 21195 0 0 0 1492 3 0 0 20 0 2 0 138907535 180613120 24601 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 44095 24601 3424 6655 0 23722 0
[pid=119852/tid=119855] ppid=119849 vsize=176380 memory=95844 CPUtime=2.29 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 5251 0 0 0 229 0 0 0 20 0 2 0 138908538 180613120 24601 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 14.95 s
Current children cumulated vsize: 176380 KiB
Current children cumulated memory: 98404 KiB

[startup+25.5002 s]
/proc/loadavg: 5.42 1.97 0.78 9/268 119855
/proc/meminfo: memFree=127854516/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=211048 memory=141748 CPUtime=40.33 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 70318 0 0 0 4026 7 0 0 20 0 2 0 138907535 216113152 35437 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 52762 35437 3520 6655 0 34057 0
[pid=119852/tid=119855] ppid=119849 vsize=211048 memory=141108 CPUtime=14.91 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 22972 0 0 0 1489 2 0 0 20 0 2 0 138908538 216113152 35437 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 40.33 s
Current children cumulated vsize: 211048 KiB
Current children cumulated memory: 141748 KiB

[startup+51.1054 s]
/proc/loadavg: 6.31 2.46 0.97 9/267 119856
/proc/meminfo: memFree=127822160/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=211048 memory=150324 CPUtime=91.24 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 87706 0 0 0 9115 9 0 0 20 0 2 0 138907535 216113152 37581 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 52762 37581 3520 6655 0 36056 0
[pid=119852/tid=119855] ppid=119849 vsize=211048 memory=148276 CPUtime=40.28 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 31957 0 0 0 4025 3 0 0 20 0 2 0 138908538 216113152 37581 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 91.24 s
Current children cumulated vsize: 211048 KiB
Current children cumulated memory: 150324 KiB

[startup+102.3 s]
/proc/loadavg: 7.34 3.33 1.35 9/267 119858
/proc/meminfo: memFree=127749280/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=222140 memory=177204 CPUtime=192.97 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 117899 0 0 0 19284 13 0 0 20 0 2 0 138907535 227471360 44301 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 55535 44301 3520 6655 0 42737 0
[pid=119852/tid=119855] ppid=119849 vsize=222140 memory=175028 CPUtime=90.96 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 46792 0 0 0 9091 5 0 0 20 0 2 0 138908538 227471360 44301 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 192.97 s
Current children cumulated vsize: 222140 KiB
Current children cumulated memory: 177204 KiB

[startup+162.3 s]
/proc/loadavg: 7.34 4.08 1.73 8/268 119861
/proc/meminfo: memFree=127717352/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=231056 memory=170476 CPUtime=309.51 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 138523 0 0 0 30937 14 0 0 20 0 2 0 138907535 236601344 42619 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 57764 42619 3520 6655 0 45606 0
[pid=119852/tid=119855] ppid=119849 vsize=231056 memory=170476 CPUtime=147.68 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 52574 0 0 0 14763 5 0 0 20 0 2 0 138908538 236601344 42619 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 309.51 s
Current children cumulated vsize: 231056 KiB
Current children cumulated memory: 170476 KiB

[startup+222.3 s]
/proc/loadavg: 6.90 4.56 2.04 7/267 119908
/proc/meminfo: memFree=127759892/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=314612 memory=244588 CPUtime=428.81 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 182075 0 0 0 42859 22 0 0 20 0 2 0 138907535 322162688 61147 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 78653 61147 3520 6655 0 59474 0
[pid=119852/tid=119855] ppid=119849 vsize=314612 memory=221932 CPUtime=207.13 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 77788 0 0 0 20702 11 0 0 20 0 2 0 138908538 322162688 61147 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 428.81 s
Current children cumulated vsize: 314612 KiB
Current children cumulated memory: 244588 KiB

[startup+282.3 s]
/proc/loadavg: 6.96 5.00 2.35 8/268 119912
/proc/meminfo: memFree=127404088/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=427604 memory=341996 CPUtime=547.99 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 207861 0 0 0 54771 28 0 0 20 0 2 0 138907535 437866496 85499 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 106901 85499 3520 6655 0 83946 0
[pid=119852/tid=119855] ppid=119849 vsize=427604 memory=14848 CPUtime=266.51 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 91301 0 0 0 26636 15 0 0 20 0 2 0 138908538 437866496 85499 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 547.99 s
Current children cumulated vsize: 427604 KiB
Current children cumulated memory: 341996 KiB

[startup+342.3 s]
/proc/loadavg: 7.60 5.53 2.70 9/268 119914
/proc/meminfo: memFree=127064128/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=479692 memory=434028 CPUtime=667.14 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 231332 0 0 0 66681 33 0 0 20 0 2 0 138907535 491204608 108507 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 119923 108507 3520 6655 0 106933 0
[pid=119852/tid=119855] ppid=119849 vsize=479692 memory=387692 CPUtime=325.86 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 101619 0 0 0 32568 18 0 0 20 0 2 0 138908538 491204608 108507 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 667.14 s
Current children cumulated vsize: 479692 KiB
Current children cumulated memory: 434028 KiB

[startup+402.3 s]

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

Current children cumulated CPU time: 2811.7 s
Current children cumulated vsize: 1964388 KiB
Current children cumulated memory: 1900396 KiB

[startup+1482.3 s]
/proc/loadavg: 8.17 8.08 6.53 9/266 120011
/proc/meminfo: memFree=124906488/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=2079572 memory=2011372 CPUtime=2930.87 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 696981 0 0 0 292947 140 0 0 20 0 2 0 138907535 2129481728 502843 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 519893 502843 3520 6655 0 501736 0
[pid=119852/tid=119855] ppid=119849 vsize=2079572 memory=17664 CPUtime=1455.49 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 336009 0 0 0 145478 71 0 0 20 0 2 0 138908538 2129481728 502843 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 2930.87 s
Current children cumulated vsize: 2079572 KiB
Current children cumulated memory: 2011372 KiB

[startup+1542.3 s]
/proc/loadavg: 8.12 8.08 6.63 9/267 120014
/proc/meminfo: memFree=124811180/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=2191444 memory=2105580 CPUtime=3050.04 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 726880 0 0 0 304859 145 0 0 20 0 2 0 138907535 2244038656 526395 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 547861 526395 3520 6655 0 525091 0
[pid=119852/tid=119855] ppid=119849 vsize=2191444 memory=14848 CPUtime=1515.27 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 353472 0 0 0 151453 74 0 0 20 0 2 0 138908538 2244038656 526395 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 3050.04 s
Current children cumulated vsize: 2191444 KiB
Current children cumulated memory: 2105580 KiB

[startup+1602.3 s]
/proc/loadavg: 8.48 8.18 6.75 9/267 120016
/proc/meminfo: memFree=124703236/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=2312248 memory=2219500 CPUtime=3169.19 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 756871 0 0 0 316768 151 0 0 20 0 2 0 138907535 2367741952 554875 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 578062 554875 3520 6655 0 553776 0
[pid=119852/tid=119855] ppid=119849 vsize=2312248 memory=2171884 CPUtime=1575.05 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 369395 0 0 0 157428 77 0 0 20 0 2 0 138908538 2367741952 554875 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 3169.19 s
Current children cumulated vsize: 2312248 KiB
Current children cumulated memory: 2219500 KiB

[startup+1662.3 s]
/proc/loadavg: 8.24 8.16 6.84 9/267 120018
/proc/meminfo: memFree=124586436/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=2366372 memory=2323180 CPUtime=3288.36 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 788937 0 0 0 328677 159 0 0 20 0 2 0 138907535 2423164928 580795 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 591593 580795 3520 6655 0 579716 0
[pid=119852/tid=119855] ppid=119849 vsize=2366372 memory=2171884 CPUtime=1634.83 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 386603 0 0 0 163402 81 0 0 20 0 2 0 138908538 2423164928 580795 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 3288.36 s
Current children cumulated vsize: 2366372 KiB
Current children cumulated memory: 2323180 KiB

[startup+1722.3 s]
/proc/loadavg: 7.64 8.02 6.88 8/267 120020
/proc/meminfo: memFree=124489936/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=2466996 memory=2406508 CPUtime=3407.54 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 818898 0 0 0 340588 166 0 0 20 0 2 0 138907535 2526203904 601627 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 616749 601627 3520 6655 0 600555 0
[pid=119852/tid=119855] ppid=119849 vsize=2466996 memory=2171884 CPUtime=1694.35 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 406023 0 0 0 169349 86 0 0 20 0 2 0 138908538 2526203904 601627 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 3407.54 s
Current children cumulated vsize: 2466996 KiB
Current children cumulated memory: 2406508 KiB

[startup+1782.3 s]
/proc/loadavg: 7.56 7.91 6.91 9/267 120067
/proc/meminfo: memFree=121369120/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=2583992 memory=2498924 CPUtime=3526.7 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 843230 0 0 0 352497 173 0 0 20 0 2 0 138907535 2646007808 624731 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 645998 624731 3520 6655 0 623689 0
[pid=119852/tid=119855] ppid=119849 vsize=2583992 memory=14848 CPUtime=1753.71 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 416941 0 0 0 175282 89 0 0 20 0 2 0 138908538 2646007808 624731 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 3526.7 s
Current children cumulated vsize: 2583992 KiB
Current children cumulated memory: 2498924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1819.3 s]
/proc/loadavg: 7.85 7.94 6.97 9/268 120076
/proc/meminfo: memFree=121395432/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=2593252 memory=2509292 CPUtime=3600.19 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) R 119849 119852 118997 0 -1 4194304 847768 0 0 0 359845 174 0 0 20 0 2 0 138907535 2655490048 627323 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 648313 627323 3520 6655 0 626253 0
[pid=119852/tid=119855] ppid=119849 vsize=2593252 memory=2508780 CPUtime=1790.32 cores=1,3
/proc/119852/task/119855/stat : 119855 (LSIPExact) R 119849 119852 118997 0 -1 4194368 417762 0 0 0 178943 89 0 0 20 0 2 0 138908538 2655490048 627323 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 2593252 KiB
Current children cumulated memory: 2509292 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3600.34 s, system=1.85661 s

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

[startup+1820 s]*
/proc/loadavg: 7.85 7.94 6.97 8/268 120078
/proc/meminfo: memFree=122579220/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=1367744 memory=1289508 CPUtime=3600.28 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) S 119849 119852 118997 0 -1 4194304 872386 229 0 0 359849 179 0 0 20 0 1 0 138907535 1400569856 322377 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 341936 322377 3584 6655 0 332138 0
[pid=120078] ppid=119852 vsize=55616 memory=38640 CPUtime=0.56 cores=1,3
/proc/120078/stat : 120078 (Exact) R 119852 120078 120078 0 -1 4194304 8506 0 0 0 54 2 0 0 20 0 1 0 139089477 56950784 9660 18446744073709551615 4198400 8335837 140737362849856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 17186816 140737362856114 140737362856475 140737362856475 140737362862031 0
/proc/120078/statm: 13904 9660 1120 1011 0 12671 0
Current children cumulated CPU time: 3600.84 s
Current children cumulated vsize: 1423360 KiB
Current children cumulated memory: 1328148 KiB

[startup+1820.8 s]
/proc/loadavg: 7.85 7.94 6.97 8/268 120078
/proc/meminfo: memFree=122579220/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=1367744 memory=1289508 CPUtime=3600.28 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) S 119849 119852 118997 0 -1 4194304 872386 229 0 0 359849 179 0 0 20 0 1 0 138907535 1400569856 322377 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 341936 322377 3584 6655 0 332138 0
[pid=120078] ppid=119852 vsize=67568 memory=57056 CPUtime=1.35 cores=1,3
/proc/120078/stat : 120078 (Exact) R 119852 120078 120078 0 -1 4194304 11211 0 0 0 133 2 0 0 20 0 1 0 139089477 69189632 14264 18446744073709551615 4198400 8335837 140737362849856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 17186816 140737362856114 140737362856475 140737362856475 140737362862031 0
/proc/120078/statm: 16892 14264 1120 1011 0 15659 0
Current children cumulated CPU time: 3601.63 s
Current children cumulated vsize: 1435312 KiB
Current children cumulated memory: 1346564 KiB

[startup+1821.2 s]
/proc/loadavg: 7.85 7.94 6.97 8/268 120078
/proc/meminfo: memFree=122575124/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=1367744 memory=1289508 CPUtime=3600.28 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) S 119849 119852 118997 0 -1 4194304 872386 229 0 0 359849 179 0 0 20 0 1 0 138907535 1400569856 322377 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 341936 322377 3584 6655 0 332138 0
[pid=120078] ppid=119852 vsize=67832 memory=57312 CPUtime=1.74 cores=1,3
/proc/120078/stat : 120078 (Exact) R 119852 120078 120078 0 -1 4194304 11286 0 0 0 172 2 0 0 20 0 1 0 139089477 69459968 14328 18446744073709551615 4198400 8335837 140737362849856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 17186816 140737362856114 140737362856475 140737362856475 140737362862031 0
/proc/120078/statm: 16958 14328 1120 1011 0 15725 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 1435576 KiB
Current children cumulated memory: 1346820 KiB

[startup+1821.3 s]
/proc/loadavg: 7.85 7.94 6.97 8/268 120078
/proc/meminfo: memFree=122575124/131249996 swapFree=33006296/33010684
[pid=119852] ppid=119849 vsize=1367744 memory=1289508 CPUtime=3600.28 cores=1,3
/proc/119852/stat : 119852 (LSIPExact) S 119849 119852 118997 0 -1 4194304 872386 229 0 0 359849 179 0 0 20 0 1 0 138907535 1400569856 322377 18446744073709551615 94898178711552 94898205968721 140727519576608 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94898214470792 94898214902400 94898227879936 140727519578456 140727519578632 140727519578632 140727519584236 0
/proc/119852/statm: 341936 322377 3584 6655 0 332138 0
[pid=120078] ppid=119852 vsize=68100 memory=57568 CPUtime=1.84 cores=1,3
/proc/120078/stat : 120078 (Exact) R 119852 120078 120078 0 -1 4194304 11348 0 0 0 182 2 0 0 20 0 1 0 139089477 69734400 14392 18446744073709551615 4198400 8335837 140737362849856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 17186816 140737362856114 140737362856475 140737362856475 140737362862031 0
/proc/120078/statm: 17025 14392 1120 1011 0 15792 0
Current children cumulated CPU time: 3602.12 s
Current children cumulated vsize: 1435844 KiB
Current children cumulated memory: 1347076 KiB

Child status: 0

Real time (s): 1821.34
CPU time (s): 3602.19
CPU user time (s): 3600.34
CPU system time (s): 1.85661
CPU usage (%): 197.777
Max. virtual memory (cumulated for all children) (KiB): 2593252
Max. memory (cumulated for all children) (KiB): 2509292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.34
system time used= 1.85661
maximum resident set size= 2509676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 885270
page faults= 0
swaps= 0
block input operations= 1104
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 526
involuntary context switches= 70850


# summary of solver processes directly reported to runsolver:
#   pid: 119852
#   total CPU time (s): 3602.19
#   total CPU user time (s): 3600.34
#   total CPU system time (s): 1.85661

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.6862 second user time and 8.48419 second system time

The end

Launcher Data

Begin job on nodeC015 at 2025-07-11 13:11:40
IDJOB=4527443
IDBENCH=148192
IDSOLVER=3384
FILE ID=nodeC015/4527443-1752232300
RUNJOBID= nodeC015-1752232205-119015
SLURM_JOB_ID= 9682526
Free space on /tmp= 432280 MiB

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

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

MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=732270725

nodeC015 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.114
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.14
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.165
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.14
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		: 3600.056
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.14
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.075
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.14
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.127
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.14
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.065
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.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128437072 kB
MemAvailable:   129446628 kB
Buffers:            1508 kB
Cached:          1789092 kB
SwapCached:         3880 kB
Active:           594360 kB
Inactive:        1539672 kB
Active(anon):     308864 kB
Inactive(anon):    48724 kB
Active(file):     285496 kB
Inactive(file):  1490948 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             94496 kB
Writeback:            52 kB
AnonPages:        342696 kB
Mapped:           129468 kB
Shmem:             14152 kB
KReclaimable:     144700 kB
Slab:             238616 kB
SReclaimable:     144700 kB
SUnreclaim:        93916 kB
KernelStack:        4288 kB
PageTables:         3748 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     689464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432192 MiB
End job on nodeC015 at 2025-07-11 13:42:02