Trace number 4512420

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 S2OPT134248448 2686.45 1378.14

General information on the benchmark

NamePB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
MD5SUMa5dff9c93e7230bd45df778b178a2583
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 benchmark134248448
Best CPU time to get the best result obtained on this benchmark1.87431
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3564
Total number of constraints11685
Number of constraints which are clauses11625
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints60
Minimum length of a constraint1
Maximum length of a constraint84
Number of terms in the objective function 166
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 461373439
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 461373439
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

2645.84/1337.59	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
2645.84/1337.59	c numVar: 3564
2645.84/1337.59	c numCon: 11685
2645.84/1337.59	c numEqual: 0
2645.84/1337.59	c intSize: 29
2645.84/1337.59	c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
2645.84/1337.59	c ------------------- Paras list -------------------
2645.84/1337.59	c Name                	 Type      	 Now       	 Default   	 Comment
2645.84/1337.59	c timeout             	 double    	 3600.000000	 3600      	 
2645.84/1337.59	c mip_time            	 double    	 0.500000  	 0.5       	 
2645.84/1337.59	c ls_time             	 double    	 10.000000 	 10        	 
2645.84/1337.59	c safe_mode           	 int       	 2         	 2         	 1 trust; 2 feasible
2645.84/1337.59	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
2645.84/1337.59	c random_seed         	 int       	 0         	 0         	 
2645.84/1337.59	c sample_size         	 int       	 50        	 50        	 
2645.84/1337.59	c sub_score           	 int       	 1         	 1         	 
2645.84/1337.59	c tabu_base           	 int       	 3         	 3         	 
2645.84/1337.59	c tabu_variation      	 int       	 1         	 1         	 
2645.84/1337.59	c sub_div             	 int       	 4         	 4         	 
2645.84/1337.59	c nbcore              	 int       	 2         	 1         	 
2645.84/1337.59	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
2645.84/1337.59	c print_sol           	 int       	 1         	 1         	 
2645.84/1337.59	c tmpdir              	 string		 .         	 "."       	 
2645.84/1337.59	c home                	 string		 HOME	 "."       	 
2645.84/1337.59	c benchname           	 string		 HOME/instance-4512420-1751512822.opb	 ""        	 
2645.84/1337.59	c --------------------------------------------------
2645.84/1337.59	c Local Search solver
2645.84/1337.59	c LS find feasible solution for PBO with objective value 319293184
2645.84/1337.59	c MIP solver
2645.84/1337.59	c Branch and Bound solver find optimal solution
2645.84/1337.59	c MIP solver objective value: 1.34248e+08
2646.03/1337.61	c MIP find feasible solution for PBO with objective value 134248448
2646.03/1337.61	c copy file: 0
2646.03/1337.61	c gen ub file: HOME/instance-4512420-1751512822.opb_ub.opb
2646.03/1337.61	c use Exact solver
2686.39/1378.12	c Exact find optimal solution
2686.39/1378.12	c Exact find feasible solution for PBO with objective value 134248448
2686.39/1378.13	o 134248448
2686.39/1378.13	s OPTIMUM FOUND
2686.39/1378.13	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 
2686.39/1378.13	c Total time: 1379

Verifier Data

OK	134248448

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

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

solver pid=67646, runsolver pid=67643

[startup+0.10006 s]*
/proc/loadavg: 5.61 5.89 5.70 6/267 67647
/proc/meminfo: memFree=125701692/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=47524 memory=12928 CPUtime=0.09 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 2228 0 0 0 9 0 0 0 20 0 1 0 66959737 48664576 3232 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 11881 3232 1152 6655 0 2116 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47524 KiB
Current children cumulated memory: 12928 KiB

[startup+0.205549 s]*
/proc/loadavg: 5.61 5.89 5.70 6/267 67647
/proc/meminfo: memFree=125701692/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=47524 memory=12928 CPUtime=0.2 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 2228 0 0 0 20 0 0 0 20 0 1 0 66959737 48664576 3232 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 11881 3232 1152 6655 0 2116 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47524 KiB
Current children cumulated memory: 12928 KiB

[startup+0.305191 s]*
/proc/loadavg: 5.61 5.89 5.70 6/267 67647
/proc/meminfo: memFree=125701692/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=47524 memory=12928 CPUtime=0.29 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 2228 0 0 0 29 0 0 0 20 0 1 0 66959737 48664576 3232 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 11881 3232 1152 6655 0 2116 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 47524 KiB
Current children cumulated memory: 12928 KiB

[startup+0.700132 s]
/proc/loadavg: 5.61 5.89 5.70 6/267 67647
/proc/meminfo: memFree=125701692/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=47524 memory=12928 CPUtime=0.68 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 2228 0 0 0 68 0 0 0 20 0 1 0 66959737 48664576 3232 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 11881 3232 1152 6655 0 2116 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47524 KiB
Current children cumulated memory: 12928 KiB

[startup+1.50012 s]
/proc/loadavg: 5.61 5.89 5.70 6/267 67647
/proc/meminfo: memFree=125701692/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=47524 memory=12928 CPUtime=1.48 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 2228 0 0 0 148 0 0 0 20 0 1 0 66959737 48664576 3232 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 11881 3232 1152 6655 0 2116 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47524 KiB
Current children cumulated memory: 12928 KiB

[startup+3.10562 s]
/proc/loadavg: 5.56 5.88 5.70 6/268 67649
/proc/meminfo: memFree=125701960/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=47524 memory=12928 CPUtime=3.08 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 2228 0 0 0 308 0 0 0 20 0 1 0 66959737 48664576 3232 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 11881 3232 1152 6655 0 2116 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 47524 KiB
Current children cumulated memory: 12928 KiB

[startup+6.30011 s]
/proc/loadavg: 5.56 5.88 5.70 6/268 67649
/proc/meminfo: memFree=125702212/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=47524 memory=12928 CPUtime=6.27 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 2228 0 0 0 627 0 0 0 20 0 1 0 66959737 48664576 3232 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 11881 3232 1152 6655 0 2116 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47524 KiB
Current children cumulated memory: 12928 KiB

[startup+12.7002 s]
/proc/loadavg: 5.56 5.87 5.70 7/269 67650
/proc/meminfo: memFree=125646264/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=164768 memory=75612 CPUtime=15.18 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 15481 0 0 0 1516 2 0 0 20 0 2 0 66959737 168722432 18903 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 41192 18903 3360 6655 0 17978 0
[pid=67646/tid=67650] ppid=67643 vsize=164768 memory=73436 CPUtime=2.52 cores=1,3
/proc/67646/task/67650/stat : 67650 (LSIPExact) R 67643 67646 65417 0 -1 4194368 3046 0 0 0 252 0 0 0 20 0 2 0 66960739 168722432 18903 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
Current children cumulated CPU time: 15.18 s
Current children cumulated vsize: 164768 KiB
Current children cumulated memory: 75612 KiB

[startup+25.5002 s]
/proc/loadavg: 5.71 5.89 5.71 7/269 67650
/proc/meminfo: memFree=125605712/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=171092 memory=93660 CPUtime=40.59 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 48121 0 0 0 4053 6 0 0 20 0 2 0 66959737 175198208 23415 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 42773 23415 3360 6655 0 22258 0
[pid=67646/tid=67650] ppid=67643 vsize=171092 memory=14432 CPUtime=15.16 cores=1,3
/proc/67646/task/67650/stat : 67650 (LSIPExact) R 67643 67646 65417 0 -1 4194368 14734 0 0 0 1515 1 0 0 20 0 2 0 66960739 175198208 23415 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
Current children cumulated CPU time: 40.59 s
Current children cumulated vsize: 171092 KiB
Current children cumulated memory: 93660 KiB

[startup+51.1055 s]
/proc/loadavg: 5.81 5.90 5.72 7/269 67650
/proc/meminfo: memFree=125556032/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=177204 memory=100956 CPUtime=91.48 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 69640 0 0 0 9140 8 0 0 20 0 2 0 66959737 181456896 25239 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 44301 25239 3360 6655 0 23786 0
[pid=67646/tid=67650] ppid=67643 vsize=177204 memory=94812 CPUtime=40.51 cores=1,3
/proc/67646/task/67650/stat : 67650 (LSIPExact) R 67643 67646 65417 0 -1 4194368 25034 0 0 0 4049 2 0 0 20 0 2 0 66960739 181456896 25239 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
Current children cumulated CPU time: 91.48 s
Current children cumulated vsize: 177204 KiB
Current children cumulated memory: 100956 KiB

[startup+102.3 s]
/proc/loadavg: 6.08 5.95 5.75 7/270 67655
/proc/meminfo: memFree=125485840/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=198240 memory=132700 CPUtime=190.63 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 89682 0 0 0 19053 10 0 0 20 0 2 0 66959737 202997760 33175 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 49560 33175 3360 6655 0 32796 0
[pid=67646/tid=67650] ppid=67643 vsize=198240 memory=132700 CPUtime=89.93 cores=1,3
/proc/67646/task/67650/stat : 67650 (LSIPExact) R 67643 67646 65417 0 -1 4194368 32858 0 0 0 8990 3 0 0 20 0 2 0 66960739 202997760 33175 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
Current children cumulated CPU time: 190.63 s
Current children cumulated vsize: 198240 KiB
Current children cumulated memory: 132700 KiB

[startup+162.3 s]
/proc/loadavg: 6.28 6.05 5.80 7/270 67657
/proc/meminfo: memFree=125430248/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=198240 memory=132700 CPUtime=309.89 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 110859 0 0 0 30977 12 0 0 20 0 2 0 66959737 202997760 33175 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 49560 33175 3360 6655 0 32796 0
[pid=67646/tid=67650] ppid=67643 vsize=198240 memory=132700 CPUtime=149.35 cores=1,3
/proc/67646/task/67650/stat : 67650 (LSIPExact) R 67643 67646 65417 0 -1 4194368 43203 0 0 0 14931 4 0 0 20 0 2 0 66960739 202997760 33175 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
Current children cumulated CPU time: 309.89 s
Current children cumulated vsize: 198240 KiB
Current children cumulated memory: 132700 KiB

[startup+222.3 s]
/proc/loadavg: 6.18 6.05 5.82 7/270 67660
/proc/meminfo: memFree=125362672/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=217760 memory=176864 CPUtime=429.14 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 123520 0 0 0 42899 15 0 0 20 0 2 0 66959737 222986240 44216 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 54440 44216 3360 6655 0 43614 0
[pid=67646/tid=67650] ppid=67643 vsize=217760 memory=170336 CPUtime=208.77 cores=1,3
/proc/67646/task/67650/stat : 67650 (LSIPExact) R 67643 67646 65417 0 -1 4194368 49746 0 0 0 20871 6 0 0 20 0 2 0 66960739 222986240 44216 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
Current children cumulated CPU time: 429.14 s
Current children cumulated vsize: 217760 KiB
Current children cumulated memory: 176864 KiB

[startup+282.3 s]
/proc/loadavg: 6.18 6.07 5.84 7/270 67662
/proc/meminfo: memFree=125262172/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=311176 memory=244180 CPUtime=548.39 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 165615 0 0 0 54818 21 0 0 20 0 2 0 66959737 318644224 61045 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 77794 61045 3360 6655 0 59465 0
[pid=67646/tid=67650] ppid=67643 vsize=311176 memory=238932 CPUtime=268.18 cores=1,3
/proc/67646/task/67650/stat : 67650 (LSIPExact) R 67643 67646 65417 0 -1 4194368 71516 0 0 0 26809 9 0 0 20 0 2 0 66960739 318644224 61045 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
Current children cumulated CPU time: 548.39 s
Current children cumulated vsize: 311176 KiB
Current children cumulated memory: 244180 KiB

[startup+342.3 s]
/proc/loadavg: 6.13 6.07 5.86 7/268 67664
/proc/meminfo: memFree=125201836/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=340724 memory=295252 CPUtime=667.65 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 181199 0 0 0 66741 24 0 0 20 0 2 0 66959737 348901376 73813 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 85181 73813 3360 6655 0 72400 0
[pid=67646/tid=67650] ppid=67643 vsize=340724 memory=264660 CPUtime=327.6 cores=1,3
/proc/67646/task/67650/stat : 67650 (LSIPExact) R 67643 67646 65417 0 -1 4194368 78555 0 0 0 32750 10 0 0 20 0 2 0 66960739 348901376 73813 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
Current children cumulated CPU time: 667.65 s
Current children cumulated vsize: 340724 KiB
Current children cumulated memory: 295252 KiB


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

[pid=67646] ppid=67643 vsize=701512 memory=627444 CPUtime=2218.06 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 451698 0 0 0 221738 68 0 0 20 0 2 0 66959737 718348288 156861 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 175378 156861 3360 6655 0 155221 0
[pid=67646/tid=67650] ppid=67643 vsize=701512 memory=2760 CPUtime=1100.16 cores=1,3
/proc/67646/task/67650/stat : 67650 (LSIPExact) R 67643 67646 65417 0 -1 4194368 212437 0 0 0 109980 36 0 0 20 0 2 0 66960739 718348288 156861 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
Current children cumulated CPU time: 2218.06 s
Current children cumulated vsize: 701512 KiB
Current children cumulated memory: 627444 KiB

[startup+1182.3 s]
/proc/loadavg: 5.49 6.19 6.19 6/268 68136
/proc/meminfo: memFree=126838056/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=702904 memory=629364 CPUtime=2337.32 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 466575 0 0 0 233662 70 0 0 20 0 2 0 66959737 719773696 157341 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 175726 157341 3360 6655 0 155571 0
[pid=67646/tid=67650] ppid=67643 vsize=702904 memory=629236 CPUtime=1159.59 cores=1,3
/proc/67646/task/67650/stat : 67650 (LSIPExact) R 67643 67646 65417 0 -1 4194368 220048 0 0 0 115922 37 0 0 20 0 2 0 66960739 719773696 157341 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
Current children cumulated CPU time: 2337.32 s
Current children cumulated vsize: 702904 KiB
Current children cumulated memory: 629364 KiB

[startup+1242.3 s]
/proc/loadavg: 5.28 6.00 6.12 6/268 68139
/proc/meminfo: memFree=126785068/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=706052 memory=631668 CPUtime=2456.59 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 508933 0 0 0 245583 76 0 0 20 0 2 0 66959737 722997248 157917 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 176513 157917 3360 6655 0 156358 0
[pid=67646/tid=67650] ppid=67643 vsize=706052 memory=14432 CPUtime=1219.01 cores=1,3
/proc/67646/task/67650/stat : 67650 (LSIPExact) R 67643 67646 65417 0 -1 4194368 240055 0 0 0 121861 40 0 0 20 0 2 0 66960739 722997248 157917 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
Current children cumulated CPU time: 2456.59 s
Current children cumulated vsize: 706052 KiB
Current children cumulated memory: 631668 KiB

[startup+1302.3 s]
/proc/loadavg: 5.15 5.83 6.06 6/268 68142
/proc/meminfo: memFree=126770216/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=706052 memory=631668 CPUtime=2575.86 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) R 67643 67646 65417 0 -1 4194304 543611 0 0 0 257506 80 0 0 20 0 2 0 66959737 722997248 157917 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 176513 157917 3360 6655 0 156358 0
[pid=67646/tid=67650] ppid=67643 vsize=706052 memory=631668 CPUtime=1278.45 cores=1,3
/proc/67646/task/67650/stat : 67650 (LSIPExact) R 67643 67646 65417 0 -1 4194368 259704 0 0 0 127802 43 0 0 20 0 2 0 66960739 722997248 157917 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
Current children cumulated CPU time: 2575.86 s
Current children cumulated vsize: 706052 KiB
Current children cumulated memory: 631668 KiB

[startup+1362.3 s]
/proc/loadavg: 4.82 5.63 5.97 5/269 68151
/proc/meminfo: memFree=126863760/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=510632 memory=476512 CPUtime=2646.03 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) S 67643 67646 65417 0 -1 4194304 567752 229 0 0 264519 84 0 0 20 0 1 0 66959737 522887168 119128 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 127658 119128 3392 6655 0 117869 0
[pid=68150] ppid=67646 vsize=53984 memory=38808 CPUtime=24.6 cores=1,3
/proc/68150/stat : 68150 (Exact) R 67646 68150 68150 0 -1 4194304 7832 0 0 0 2454 6 0 0 20 0 1 0 67093498 55279616 9702 18446744073709551615 4198400 8335837 140730050625344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28815360 140730050627764 140730050628125 140730050628125 140730050633679 0
/proc/68150/statm: 13496 9702 1120 1011 0 12263 0
Current children cumulated CPU time: 2670.63 s
Current children cumulated vsize: 564616 KiB
Current children cumulated memory: 515320 KiB

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

# cumulated CPU time of all completed processes:  user=2685.5 s, system=0.951995 s

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

[startup+1369.6 s]
/proc/loadavg: 4.76 5.60 5.96 5/269 68154
/proc/meminfo: memFree=126864084/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=510632 memory=476512 CPUtime=2646.03 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) S 67643 67646 65417 0 -1 4194304 567752 229 0 0 264519 84 0 0 20 0 1 0 66959737 522887168 119128 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 127658 119128 3392 6655 0 117869 0
[pid=68150] ppid=67646 vsize=55088 memory=39960 CPUtime=31.88 cores=1,3
/proc/68150/stat : 68150 (Exact) R 67646 68150 68150 0 -1 4194304 8113 0 0 0 3180 8 0 0 20 0 1 0 67093498 56410112 9990 18446744073709551615 4198400 8335837 140730050625344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28815360 140730050627764 140730050628125 140730050628125 140730050633679 0
/proc/68150/statm: 13772 9990 1120 1011 0 12539 0
Current children cumulated CPU time: 2677.91 s
Current children cumulated vsize: 565720 KiB
Current children cumulated memory: 516472 KiB

[startup+1372.8 s]
/proc/loadavg: 4.70 5.57 5.95 5/269 68154
/proc/meminfo: memFree=126864908/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=510632 memory=476512 CPUtime=2646.03 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) S 67643 67646 65417 0 -1 4194304 567752 229 0 0 264519 84 0 0 20 0 1 0 66959737 522887168 119128 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 127658 119128 3392 6655 0 117869 0
[pid=68150] ppid=67646 vsize=55712 memory=40600 CPUtime=35.08 cores=1,3
/proc/68150/stat : 68150 (Exact) R 67646 68150 68150 0 -1 4194304 8271 0 0 0 3499 9 0 0 20 0 1 0 67093498 57049088 10150 18446744073709551615 4198400 8335837 140730050625344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28815360 140730050627764 140730050628125 140730050628125 140730050633679 0
/proc/68150/statm: 13928 10150 1120 1011 0 12695 0
Current children cumulated CPU time: 2681.11 s
Current children cumulated vsize: 566344 KiB
Current children cumulated memory: 517112 KiB

[startup+1376 s]*
/proc/loadavg: 4.70 5.57 5.95 5/269 68154
/proc/meminfo: memFree=126865424/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=510632 memory=476512 CPUtime=2646.03 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) S 67643 67646 65417 0 -1 4194304 567752 229 0 0 264519 84 0 0 20 0 1 0 66959737 522887168 119128 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 127658 119128 3392 6655 0 117869 0
[pid=68150] ppid=67646 vsize=55712 memory=40600 CPUtime=38.27 cores=1,3
/proc/68150/stat : 68150 (Exact) R 67646 68150 68150 0 -1 4194304 8272 0 0 0 3818 9 0 0 20 0 1 0 67093498 57049088 10150 18446744073709551615 4198400 8335837 140730050625344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28815360 140730050627764 140730050628125 140730050628125 140730050633679 0
/proc/68150/statm: 13928 10150 1120 1011 0 12695 0
Current children cumulated CPU time: 2684.3 s
Current children cumulated vsize: 566344 KiB
Current children cumulated memory: 517112 KiB

[startup+1376.8 s]
/proc/loadavg: 4.70 5.57 5.95 5/269 68154
/proc/meminfo: memFree=126865424/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=510632 memory=476512 CPUtime=2646.03 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) S 67643 67646 65417 0 -1 4194304 567752 229 0 0 264519 84 0 0 20 0 1 0 66959737 522887168 119128 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 127658 119128 3392 6655 0 117869 0
[pid=68150] ppid=67646 vsize=55712 memory=40600 CPUtime=39.06 cores=1,3
/proc/68150/stat : 68150 (Exact) R 67646 68150 68150 0 -1 4194304 8272 0 0 0 3897 9 0 0 20 0 1 0 67093498 57049088 10150 18446744073709551615 4198400 8335837 140730050625344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28815360 140730050627764 140730050628125 140730050628125 140730050633679 0
/proc/68150/statm: 13928 10150 1120 1011 0 12695 0
Current children cumulated CPU time: 2685.09 s
Current children cumulated vsize: 566344 KiB
Current children cumulated memory: 517112 KiB

[startup+1377.6 s]
/proc/loadavg: 4.64 5.55 5.94 5/269 68154
/proc/meminfo: memFree=126865424/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=510632 memory=476512 CPUtime=2646.03 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) S 67643 67646 65417 0 -1 4194304 567752 229 0 0 264519 84 0 0 20 0 1 0 66959737 522887168 119128 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 127658 119128 3392 6655 0 117869 0
[pid=68150] ppid=67646 vsize=56404 memory=43348 CPUtime=39.86 cores=1,3
/proc/68150/stat : 68150 (Exact) R 67646 68150 68150 0 -1 4194304 8461 0 0 0 3977 9 0 0 20 0 1 0 67093498 57757696 10837 18446744073709551615 4198400 8335837 140730050625344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28815360 140730050627764 140730050628125 140730050628125 140730050633679 0
/proc/68150/statm: 14101 10837 1120 1011 0 12868 0
Current children cumulated CPU time: 2685.89 s
Current children cumulated vsize: 567036 KiB
Current children cumulated memory: 519860 KiB

[startup+1378 s]*
/proc/loadavg: 4.64 5.55 5.94 5/269 68154
/proc/meminfo: memFree=126865424/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=510632 memory=476512 CPUtime=2646.03 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) S 67643 67646 65417 0 -1 4194304 567752 229 0 0 264519 84 0 0 20 0 1 0 66959737 522887168 119128 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 127658 119128 3392 6655 0 117869 0
[pid=68150] ppid=67646 vsize=56404 memory=43348 CPUtime=40.26 cores=1,3
/proc/68150/stat : 68150 (Exact) R 67646 68150 68150 0 -1 4194304 8461 0 0 0 4017 9 0 0 20 0 1 0 67093498 57757696 10837 18446744073709551615 4198400 8335837 140730050625344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28815360 140730050627764 140730050628125 140730050628125 140730050633679 0
/proc/68150/statm: 14101 10837 1120 1011 0 12868 0
Current children cumulated CPU time: 2686.29 s
Current children cumulated vsize: 567036 KiB
Current children cumulated memory: 519860 KiB

[startup+1378.11 s]
/proc/loadavg: 4.64 5.55 5.94 5/269 68154
/proc/meminfo: memFree=126865424/131250000 swapFree=33007332/33010684
[pid=67646] ppid=67643 vsize=510632 memory=476512 CPUtime=2646.03 cores=1,3
/proc/67646/stat : 67646 (LSIPExact) S 67643 67646 65417 0 -1 4194304 567752 229 0 0 264519 84 0 0 20 0 1 0 66959737 522887168 119128 18446744073709551615 93923686731776 93923713988177 140735011800864 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93923722491016 93923722922624 93923747328000 140735011805530 140735011805706 140735011805706 140735011811308 0
/proc/67646/statm: 127658 119128 3392 6655 0 117869 0
[pid=68150] ppid=67646 vsize=56404 memory=43348 CPUtime=40.36 cores=1,3
/proc/68150/stat : 68150 (Exact) R 67646 68150 68150 0 -1 4194304 8461 0 0 0 4027 9 0 0 20 0 1 0 67093498 57757696 10837 18446744073709551615 4198400 8335837 140730050625344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28815360 140730050627764 140730050628125 140730050628125 140730050633679 0
/proc/68150/statm: 14101 10837 1120 1011 0 12868 0
Current children cumulated CPU time: 2686.39 s
Current children cumulated vsize: 567036 KiB
Current children cumulated memory: 519860 KiB

Child status: 0

Real time (s): 1378.14
CPU time (s): 2686.45
CPU user time (s): 2685.5
CPU system time (s): 0.951995
CPU usage (%): 194.933
Max. virtual memory (cumulated for all children) (KiB): 707240
Max. memory (cumulated for all children) (KiB): 635636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2685.5
system time used= 0.951995
maximum resident set size= 635892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 576905
page faults= 0
swaps= 0
block input operations= 664
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 644
involuntary context switches= 19949


# summary of solver processes directly reported to runsolver:
#   pid: 67646
#   total CPU time (s): 2686.45
#   total CPU user time (s): 2685.5
#   total CPU system time (s): 0.951995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.19091 second user time and 5.98472 second system time

The end

Launcher Data

Begin job on nodeC019 at 2025-07-03 05:20:22
IDJOB=4512420
IDBENCH=161280
IDSOLVER=3337
FILE ID=nodeC019/4512420-1751512822
RUNJOBID= nodeC019-1751504701-65429
SLURM_JOB_ID= 9598595
Free space on /tmp= 431504 MiB

SOLVER NAME= LSIPExact  S2
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512420-1751512822/watcher-4512420-1751512822 -o /tmp/evaluation-result-4512420-1751512822/solver-4512420-1751512822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751504701-65429 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4512420-1751512822.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= a5dff9c93e7230bd45df778b178a2583
RANDOM SEED=1638156576

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        125701880 kB
MemAvailable:   127400616 kB
Buffers:             904 kB
Cached:          2502268 kB
SwapCached:          440 kB
Active:          2535744 kB
Inactive:        2356660 kB
Active(anon):    2376688 kB
Inactive(anon):    27736 kB
Active(file):     159056 kB
Inactive(file):  2328924 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             44968 kB
Writeback:             0 kB
AnonPages:       2387240 kB
Mapped:           148960 kB
Shmem:             15192 kB
KReclaimable:      99992 kB
Slab:             188560 kB
SReclaimable:      99992 kB
SUnreclaim:        88568 kB
KernelStack:        4304 kB
PageTables:         8068 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3014824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1251328 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431468 MiB
End job on nodeC019 at 2025-07-03 05:43:21