Trace number 4459348

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
IPBHS-GUROBI-SYM 2024-07-09OPT378 242.781 243.141

DiagnosticValue
CARDINALITY_CORES_IN_OPTIMIZER0
CLAUSAL_CORES_IN_OPTIMIZER2308
CORES_EXTRACTED742
CORES_IN_OPTIMIZER2315
ITERATIONS9
PB_CORES_IN_OPTIMIZER7
SIS1
SIS_OUT_OF_BUDGET1
SIS_SAT0
SIS_UNSAT0
TIME_EXTRACT_CORES1.87
TIME_OPTIMIZE235.9
TIME_SIS1.7

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-1109824.opb
MD5SUMca6d41f9aded18c9e4512660dff57e08
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 benchmark378
Best CPU time to get the best result obtained on this benchmark18.2111
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1520
Total number of constraints28979
Number of constraints which are clauses28880
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints76
Minimum length of a constraint2
Maximum length of a constraint76
Number of terms in the objective function 1512
Biggest coefficient in the objective function 83
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 54080
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 83
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 54080
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.10/0.22	c initialize IPBHS solver
0.10/0.22	c IPBHS 0.0.0 beta (471c63a-dirty, Jul  9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
0.10/0.22	c optimizer = "gurobi"
0.10/0.22	c pbsolver = "roundingsat"
0.10/0.22	c load symmetries from file ""
0.10/0.22	c set time limit for symmetry computation to 100 seconds.
0.10/0.22	c set interchangeable summation variable limit to 3
0.10/0.22	c find symmetric cores by applying each permutation and add them to optimizer
0.10/0.22	c set abs symmetric core budget per WCE-iteration to 100
0.10/0.22	c set rel symmetric core budget per WCE-iteration to 0
0.10/0.22	c set lit symmetric core budget per WCE-iteration to 0
0.10/0.22	c set sym generation to 's'
0.10/0.22	c set abstraction set creation to 10 iterations without LB change
0.10/0.22	c set abstraction set inputs to 0
0.10/0.22	c set abstraction set cluster min size to 2
0.10/0.22	c set abstraction set cluster max size to 100000000
0.10/0.22	c set abstraction set cluster activation limit to 2
0.10/0.22	c enable abstraction set require equal cost
0.10/0.22	c set abstraction set assumptions to 0
0.10/0.22	c set abstraction set constraint type to 0
0.10/0.22	c set abstract core extraction strategy to b
0.10/0.22	c set core extraction strategy to 2
0.10/0.22	c set core extraction shuffles 10
0.10/0.22	c set cores per iteration to 5
0.10/0.22	c set optimizer bound usage strategy to 2
0.10/0.22	c set optimizer max non-optimal iterations to 1000
0.10/0.22	c set small core cardinality limit to 2
0.10/0.22	c set max coef in cores to 1000000000
0.10/0.22	c set SIS iterations to 5
0.10/0.22	c set SIS budget abs to 1000
0.10/0.22	c set SIS budget rel to 0.05
0.10/0.22	c limit for coefficient in constraints and objective to 9223372036854775807
0.10/0.22	c will solve HOME/instance-4459348-1721894820.opb
242.65/243.11	c [0.43] solve iteration 1, LB=0, UB=54081
242.65/243.11	c [0.78] solve iteration 2, LB=267, UB=638
242.65/243.11	c [1.64] solve iteration 3, LB=267, UB=580
242.65/243.11	c [3.7] solve iteration 4, LB=281, UB=534
242.65/243.11	c [8.02] solve iteration 5, LB=281, UB=440
242.65/243.11	c [16.6] solve iteration 6, LB=281, UB=423
242.65/243.11	c [29.4] solve iteration 7, LB=281, UB=394
242.65/243.11	c [48.13] solve iteration 8, LB=356, UB=383
242.65/243.11	c [76.01] solve iteration 9, LB=356, UB=381
242.65/243.11	c LB=UB after core extraction
242.65/243.11	c instance solved in 240.57s (IP-solver: 235.9s, core-extraction: 1.87s, SIS: 1.7s), 9 iterations, LB=378, UB=378, 
242.65/243.11	d ITERATIONS 9
242.65/243.11	d SIS 1
242.65/243.11	d SIS_SAT 0
242.65/243.11	d SIS_UNSAT 0
242.65/243.11	d SIS_OUT_OF_BUDGET 1
242.65/243.11	d CORES_EXTRACTED 742
242.65/243.11	d CORES_IN_OPTIMIZER 2315
242.65/243.11	d CLAUSAL_CORES_IN_OPTIMIZER 2308
242.65/243.11	d CARDINALITY_CORES_IN_OPTIMIZER 0
242.65/243.11	d PB_CORES_IN_OPTIMIZER 7
242.65/243.11	d TIME_EXTRACT_CORES 1.870000
242.65/243.11	d TIME_OPTIMIZE 235.900000
242.65/243.11	d TIME_SIS 1.700000
242.65/243.11	c solve_time: 240.570000
242.65/243.11	s OPTIMUM FOUND
242.65/243.11	o 378
242.65/243.11	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x40 -x59 -x78 -x97 -x116 -x135 -x154 -x173 -x192 -x211 -x230 -x249 -x268 -x287 -x306 -x325 -x344 -x363 -x39 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x60 -x79 -x98 -x117 -x136 -x155 -x174 -x193 -x212 -x231 -x250 -x269 -x288 -x307 -x326 -x345 -x364 -x58 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x80 -x99 -x118 -x137 -x156 -x175 -x194 -x213 -x232 -x251 -x270 -x289 -x308 -x327 -x346 -x365 -x77 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x100 -x119 -x138 -x157 -x176 -x195 -x214 -x233 -x252 -x271 -x290 -x309 -x328 -x347 -x366 -x96 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x120 -x139 -x158 -x177 -x196 -x215 -x234 -x253 -x272 -x291 -x310 -x329 -x348 -x367 -x115 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x140 -x159 -x178 -x197 -x216 -x235 -x254 -x273 -x292 -x311 -x330 -x349 -x368 -x134 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x160 -x179 -x198 -x217 -x236 -x255 -x274 -x293 -x312 -x331 -x350 -x369 -x153 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x180 -x199 -x218 -x237 -x256 -x275 -x294 -x313 -x332 -x351 -x370 -x172 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x200 -x219 -x238 -x257 -x276 -x295 -x314 -x333 -x352 -x371 -x191 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x220 -x239 -x258 -x277 -x296 -x315 -x334 -x353 -x372 -x210 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x240 -x259 -x278 -x297 -x316 -x335 -x354 -x373 -x229 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x260 -x279 -x298 -x317 -x336 -x355 -x374 -x248 -x261 -x262 -x263 -x264 -x265 -x266 -x280 -x299 -x318 -x337 -x356 -x375 x267 -x281 -x282 -x283 -x284 -x285 -x300 -x319 x338 -x357 -x376 -x286 -x301 -x302 -x303 -x304 -x320 -x339 -x358 -x377 -x305 -x321 -x322 -x323 -x340 -x359 -x378 -x324 -x341 -x342 -x360 x379 -x343 -x361 -x380 -x362 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x439 -x458 -x477 -x496 -x515 -x534 -x553 -x572 -x591 -x610 -x629 -x648 -x667 -x686 -x705 -x724 -x743 -x419 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x440 -x459 -x478 -x497 -x516 -x535 -x554 -x573 -x592 -x611 x630 -x649 -x668 -x687 -x706 -x725 -x744 -x438 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x460 -x479 x498 -x517 -x536 -x555 -x574 -x593 -x612 -x631 -x650 -x669 -x688 -x707 -x726 -x745 -x457 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x480 -x499 -x518 -x537 -x556 -x575 -x594 -x613 -x632 -x651 -x670 -x689 -x708 -x727 -x746 -x476 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x500 -x519 -x538 -x557 -x576 -x595 -x614 -x633 -x652 -x671 -x690 -x709 -x728 -x747 -x495 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x520 -x539 x558 -x577 -x596 -x615 -x634 -x653 -x672 -x691 -x710 -x729 -x748 -x514 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 x540 -x559 -x578 -x597 -x616 -x635 -x654 -x673 -x692 -x711 -x730 -x749 -x533 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x560 -x579 -x598 -x617 -x636 -x655 -x674 -x693 -x712 -x731 -x750 -x552 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x580 -x599 -x618 -x637 -x656 x675 -x694 -x713 -x732 -x751 x571 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x600 -x619 -x638 -x657 -x676 -x695 -x714 -x733 -x752 -x590 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x620 -x639 -x658 -x677 -x696 -x715 -x734 -x753 -x609 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x640 -x659 -x678 -x697 -x716 -x735 -x754 -x628 -x641 -x642 -x643 -x644 -x645 -x646 -x660 -x679 -x698 -x717 -x736 -x755 -x647 -x661 -x662 -x663 -x664 -x665 -x680 -x699 -x718 -x737 -x756 -x666 -x681 -x682 -x683 -x684 -x700 -x719 -x738 -x757 -x685 -x701 -x702 -x703 -x720 -x739 -x758 -x704 -x721 -x722 -x740 -x759 -x723 -x741 -x760 -x742 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x800 -x819 -x838 -x857 -x876 -x895 -x914 -x933 -x952 -x971 -x990 -x1009 -x1028 -x1047 -x1066 -x1085 x1104 -x1123 -x799 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x820 -x839 -x858 -x877 -x896 -x915 -x934 -x953 -x972 -x991 -x1010 -x1029 -x1048 -x1067 -x1086 -x1105 -x1124 -x818 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x840 -x859 -x878 -x897 -x916 -x935 -x954 -x973 -x992 -x1011 -x1030 -x1049 -x1068 -x1087 -x1106 -x1125 -x837 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x860 -x879 -x898 -x917 -x936 -x955 -x974 -x993 -x1012 -x1031 -x1050 -x1069 -x1088 -x1107 -x1126 -x856 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x880 -x899 -x918 -x937 -x956 -x975 -x994 -x1013 -x1032 -x1051 -x1070 -x1089 -x1108 -x1127 -x875 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x900 -x919 -x938 -x957 -x976 -x995 -x1014 -x1033 -x1052 -x1071 -x1090 -x1109 -x1128 -x894 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x920 -x939 -x958 -x977 -x996 -x1015 -x1034 -x1053 -x1072 -x1091 -x1110 -x1129 -x913 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x940 -x959 -x978 -x997 -x1016 -x1035 -x1054 -x1073 -x1092 -x1111 -x1130 -x932 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x960 -x979 -x998 -x1017 -x1036 -x1055 -x1074 -x1093 -x1112 -x1131 -x951 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x980 -x999 -x1018 -x1037 -x1056 -x1075 -x1094 -x1113 -x1132 -x970 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x1000 -x1019 -x1038 -x1057 -x1076 -x1095 -x1114 -x1133 -x989 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1020 -x1039 -x1058 -x1077 -x1096 -x1115 -x1134 -x1008 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1040 -x1059 -x1078 -x1097 -x1116 -x1135 -x1027 -x1041 -x1042 -x1043 -x1044 -x1045 -x1060 -x1079 -x1098 -x1117 -x1136 -x1046 -x1061 -x1062 -x1063 -x1064 -x1080 -x1099 -x1118 -x1137 -x1065 -x1081 -x1082 -x1083 -x1100 -x1119 -x1138 -x1084 -x1101 -x1102 -x1120 -x1139 -x1103 -x1121 -x1140 -x1122 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1180 -x1199 -x1218 -x1237 -x1256 -x1275 -x1294 -x1313 -x1332 -x1351 -x1370 -x1389 -x1408 -x1427 -x1446 -x1465 -x1484 -x1503 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1200 -x1219 -x1238 -x1257 -x1276 -x1295 -x1314 -x1333 -x1352 -x1371 -x1390 -x1409 -x1428 -x1447 -x1466 -x1485 -x1504 -x1198 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1220 -x1239 -x1258 -x1277 -x1296 -x1315 -x1334 -x1353 -x1372 -x1391 -x1410 -x1429 -x1448 -x1467 -x1486 -x1505 -x1217 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1240 -x1259 -x1278 -x1297 -x1316 -x1335 -x1354 -x1373 -x1392 -x1411 -x1430 -x1449 -x1468 -x1487 -x1506 x1236 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1260 -x1279 -x1298 -x1317 -x1336 x1355 -x1374 -x1393 -x1412 -x1431 -x1450 -x1469 -x1488 -x1507 -x1255 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1280 -x1299 -x1318 -x1337 -x1356 -x1375 -x1394 -x1413 -x1432 -x1451 -x1470 -x1489 -x1508 -x1274 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1300 -x1319 -x1338 -x1357 -x1376 -x1395 -x1414 -x1433 -x1452 -x1471 -x1490 -x1509 -x1293 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1320 -x1339 -x1358 -x1377 -x1396 -x1415 -x1434 -x1453 -x1472 -x1491 -x1510 -x1312 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1340 -x1359 -x1378 -x1397 -x1416 -x1435 -x1454 -x1473 -x1492 -x1511 -x1331 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1360 -x1379 -x1398 -x1417 -x1436 -x1455 -x1474 -x1493 -x1512 -x1350 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1380 -x1399 -x1418 -x1437 x1456 -x1475 -x1494 -x1513 -x1369 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1400 -x1419 -x1438 -x1457 -x1476 -x1495 -x1514 -x1388 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1420 -x1439 -x1458 -x1477 -x1496 -x1515 -x1407 -x1421 -x1422 -x1423 -x1424 -x1425 -x1440 -x1459 -x1478 -x1497 -x1516 -x1426 -x1441 -x1442 -x1443 -x1444 -x1460 -x1479 -x1498 -x1517 -x1445 -x1461 -x1462 -x1463 -x1480 -x1499 -x1518 -x1464 -x1481 -x1482 -x1500 -x1519 -x1483 -x1501 -x1520 -x1502

Verifier Data 

OK	378

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: 64096 MiB (54492 MiB free)
  memory of node 1: 64473 MiB (55529 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459348-1721894820/watcher-4459348-1721894820 -o /tmp/evaluation-result-4459348-1721894820/solver-4459348-1721894820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721888517-224269 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4459348-1721894820.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=228700, runsolver pid=228697
Current StackSize limit: 8192 KiB


[startup+0.100299 s]*
/proc/loadavg: 4.10 4.15 4.19 5/249 228702
/proc/meminfo: memFree=112655484/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=92016 memory=12780 CPUtime=0.1 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 1931 0 0 0 8 2 0 0 20 0 1 0 25470948 94224384 3195 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 23004 3195 1708 46 0 3619 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 101944 KiB
Current children cumulated memory: 15512 KiB

[startup+0.213215 s]*
/proc/loadavg: 4.10 4.15 4.19 5/250 228703
/proc/meminfo: memFree=112631712/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=155780 memory=40320 CPUtime=0.21 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 6926 0 0 0 15 6 0 0 20 0 2 0 25470948 159518720 10080 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 38945 10080 2728 46 0 11540 0
[pid=228702/tid=228703] ppid=228700 vsize=155780 memory=3471202400344241230 CPUtime=0 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25470965 159518720 10146 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 165708 KiB
Current children cumulated memory: 43052 KiB

[startup+0.313198 s]*
/proc/loadavg: 4.10 4.15 4.19 5/250 228703
/proc/meminfo: memFree=112629312/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=158020 memory=42696 CPUtime=0.31 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 7543 0 0 0 25 6 0 0 20 0 2 0 25470948 161812480 10674 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 39505 10674 2728 46 0 12100 0
[pid=228702/tid=228703] ppid=228700 vsize=158020 memory=-8680621880598487909 CPUtime=0 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25470965 161812480 10674 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 167948 KiB
Current children cumulated memory: 45428 KiB

[startup+0.700477 s]
/proc/loadavg: 4.10 4.15 4.19 5/250 228703
/proc/meminfo: memFree=112628304/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=158020 memory=43020 CPUtime=0.68 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 7550 0 0 0 53 15 0 0 20 0 2 0 25470948 161812480 10755 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 39505 10755 2744 46 0 12100 0
[pid=228702/tid=228703] ppid=228700 vsize=158020 memory=0 CPUtime=0 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25470965 161812480 10755 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 167948 KiB
Current children cumulated memory: 45752 KiB

[startup+1.50046 s]
/proc/loadavg: 4.10 4.15 4.19 5/250 228705
/proc/meminfo: memFree=112596168/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=258756 memory=109048 CPUtime=1.48 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 21520 0 0 0 124 24 0 0 20 0 2 0 25470948 264966144 27262 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 64689 27262 3950 46 0 37284 0
[pid=228702/tid=228703] ppid=228700 vsize=258756 memory=92684 CPUtime=0 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25470965 264966144 27262 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 268684 KiB
Current children cumulated memory: 111780 KiB

[startup+3.1131 s]
/proc/loadavg: 4.10 4.14 4.19 5/250 228705
/proc/meminfo: memFree=112544340/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=304692 memory=149320 CPUtime=3.08 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 44266 0 0 0 261 47 0 0 20 0 2 0 25470948 312004608 37330 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 76173 37330 3951 46 0 48768 0
[pid=228702/tid=228703] ppid=228700 vsize=304692 memory=-8680621880598487909 CPUtime=0 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 25470965 312004608 37330 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 314620 KiB
Current children cumulated memory: 152052 KiB

[startup+6.30044 s]
/proc/loadavg: 4.10 4.14 4.19 5/250 228705
/proc/meminfo: memFree=112469664/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=370024 memory=204364 CPUtime=6.26 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 74667 0 0 0 562 64 0 0 20 0 2 0 25470948 378904576 51091 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 92506 51091 4092 46 0 65101 0
[pid=228702/tid=228703] ppid=228700 vsize=370024 memory=164308 CPUtime=0 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 25470965 378904576 51091 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 379952 KiB
Current children cumulated memory: 207096 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.14 4.19 6/250 228706
/proc/meminfo: memFree=112451120/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=391240 memory=225000 CPUtime=12.63 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 108532 0 0 0 1190 73 0 0 20 0 2 0 25470948 400629760 56250 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 97810 56250 4122 46 0 70405 0
[pid=228702/tid=228703] ppid=228700 vsize=391240 memory=13560 CPUtime=0.01 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 12 0 0 0 0 1 0 0 20 0 2 0 25470965 400629760 56250 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 401168 KiB
Current children cumulated memory: 227732 KiB

[startup+25.5005 s]
/proc/loadavg: 4.14 4.15 4.19 5/250 228708
/proc/meminfo: memFree=112412324/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=508656 memory=263624 CPUtime=25.41 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 159220 0 0 0 2419 122 0 0 20 0 2 0 25470948 520863744 65906 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 127164 65906 4122 46 0 99759 0
[pid=228702/tid=228703] ppid=228700 vsize=508656 memory=2732 CPUtime=0.02 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 20 0 0 0 0 2 0 0 20 0 2 0 25470965 520863744 65906 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 518584 KiB
Current children cumulated memory: 266356 KiB

[startup+51.1131 s]
/proc/loadavg: 4.09 4.14 4.19 5/250 228712
/proc/meminfo: memFree=112364060/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=468884 memory=335500 CPUtime=50.98 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 238292 0 0 0 4950 148 0 0 20 0 2 0 25470948 480137216 83875 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 117221 83875 4122 46 0 89816 0
[pid=228702/tid=228703] ppid=228700 vsize=468884 memory=285240 CPUtime=0.05 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 28 0 0 0 1 4 0 0 20 0 2 0 25470965 480137216 83875 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 478812 KiB
Current children cumulated memory: 338232 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.18 5/250 228722
/proc/meminfo: memFree=112247192/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=600488 memory=426432 CPUtime=102.1 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 342216 0 0 0 10022 188 0 0 20 0 2 0 25470948 614899712 106608 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 150122 106608 4122 46 0 122717 0
[pid=228702/tid=228703] ppid=228700 vsize=600488 memory=2732 CPUtime=0.12 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 38 0 0 0 3 9 0 0 20 0 2 0 25470965 614899712 106608 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 610416 KiB
Current children cumulated memory: 429164 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.18 5/250 228732
/proc/meminfo: memFree=112282844/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=519028 memory=390552 CPUtime=162.03 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 371832 0 0 0 16006 197 0 0 20 0 2 0 25470948 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 129757 97638 4122 46 0 102352 0
[pid=228702/tid=228703] ppid=228700 vsize=519028 memory=2732 CPUtime=0.19 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 45 0 0 0 5 14 0 0 20 0 2 0 25470965 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 162.03 s
Current children cumulated vsize: 528956 KiB
Current children cumulated memory: 393284 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.18 5/252 228747
/proc/meminfo: memFree=112282108/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=519028 memory=390552 CPUtime=221.96 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 388564 0 0 0 21992 204 0 0 20 0 2 0 25470948 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 129757 97638 4122 46 0 102352 0
[pid=228702/tid=228703] ppid=228700 vsize=519028 memory=13560 CPUtime=0.26 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 50 0 0 0 7 19 0 0 20 0 2 0 25470965 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 221.96 s
Current children cumulated vsize: 528956 KiB
Current children cumulated memory: 393284 KiB

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

# cumulated CPU time of all completed processes:  user=240.689 s, system=2.09182 s

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

[startup+230.4 s]
/proc/loadavg: 4.14 4.13 4.18 5/252 228747
/proc/meminfo: memFree=112282120/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=519028 memory=390552 CPUtime=230.05 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 390381 0 0 0 22801 204 0 0 20 0 2 0 25470948 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 129757 97638 4122 46 0 102352 0
[pid=228702/tid=228703] ppid=228700 vsize=519028 memory=69604 CPUtime=0.27 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 51 0 0 0 8 19 0 0 20 0 2 0 25470965 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 230.05 s
Current children cumulated vsize: 528956 KiB
Current children cumulated memory: 393284 KiB

[startup+236.8 s]
/proc/loadavg: 4.21 4.15 4.18 5/252 228749
/proc/meminfo: memFree=112282060/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=519028 memory=390552 CPUtime=236.44 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 390489 0 0 0 23439 205 0 0 20 0 2 0 25470948 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 129757 97638 4122 46 0 102352 0
[pid=228702/tid=228703] ppid=228700 vsize=519028 memory=13560 CPUtime=0.27 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 51 0 0 0 8 19 0 0 20 0 2 0 25470965 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 236.44 s
Current children cumulated vsize: 528956 KiB
Current children cumulated memory: 393284 KiB

[startup+240 s]*
/proc/loadavg: 4.19 4.15 4.18 7/253 228750
/proc/meminfo: memFree=112282408/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=519028 memory=390552 CPUtime=239.66 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 390570 0 0 0 23760 206 0 0 20 0 2 0 25470948 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 129757 97638 4122 46 0 102352 0
[pid=228702/tid=228703] ppid=228700 vsize=519028 memory=390552 CPUtime=0.28 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 51 0 0 0 8 20 0 0 20 0 2 0 25470965 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 239.66 s
Current children cumulated vsize: 528956 KiB
Current children cumulated memory: 393284 KiB

[startup+241.6 s]
/proc/loadavg: 4.19 4.15 4.18 5/252 228751
/proc/meminfo: memFree=112282700/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=519028 memory=390552 CPUtime=241.24 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 390583 0 0 0 23918 206 0 0 20 0 2 0 25470948 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 129757 97638 4122 46 0 102352 0
[pid=228702/tid=228703] ppid=228700 vsize=519028 memory=69604 CPUtime=0.28 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 51 0 0 0 8 20 0 0 20 0 2 0 25470965 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 241.24 s
Current children cumulated vsize: 528956 KiB
Current children cumulated memory: 393284 KiB

[startup+242.4 s]
/proc/loadavg: 4.17 4.14 4.18 5/252 228751
/proc/meminfo: memFree=112282732/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=519028 memory=390552 CPUtime=242.04 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 390589 0 0 0 23998 206 0 0 20 0 2 0 25470948 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 129757 97638 4122 46 0 102352 0
[pid=228702/tid=228703] ppid=228700 vsize=519028 memory=8186589206798440089 CPUtime=0.28 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 51 0 0 0 8 20 0 0 20 0 2 0 25470965 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 242.04 s
Current children cumulated vsize: 528956 KiB
Current children cumulated memory: 393284 KiB

[startup+242.8 s]
/proc/loadavg: 4.17 4.14 4.18 5/252 228751
/proc/meminfo: memFree=112282732/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=519028 memory=390552 CPUtime=242.44 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 390599 0 0 0 24038 206 0 0 20 0 2 0 25470948 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 129757 97638 4122 46 0 102352 0
[pid=228702/tid=228703] ppid=228700 vsize=519028 memory=911202 CPUtime=0.28 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 51 0 0 0 8 20 0 0 20 0 2 0 25470965 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 242.44 s
Current children cumulated vsize: 528956 KiB
Current children cumulated memory: 393284 KiB

[startup+243 s]*
/proc/loadavg: 4.17 4.14 4.18 5/252 228751
/proc/meminfo: memFree=112282724/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=519028 memory=390552 CPUtime=242.65 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 392858 0 0 0 24059 206 0 0 20 0 2 0 25470948 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 129757 97638 4122 46 0 102352 0
[pid=228702/tid=228703] ppid=228700 vsize=519028 memory=8186589206798440089 CPUtime=0.28 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 51 0 0 0 8 20 0 0 20 0 2 0 25470965 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 242.65 s
Current children cumulated vsize: 528956 KiB
Current children cumulated memory: 393284 KiB

[startup+243.114 s]
/proc/loadavg: 4.17 4.14 4.18 5/252 228751
/proc/meminfo: memFree=112282724/131655788 swapFree=131071472/131071996
[pid=228700] ppid=228697 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/228700/stat : 228700 (run-glibc-2.34.) S 228697 228700 224258 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 25470947 10166272 683 134679101440 94851837648896 94851838728216 140728211665824 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94851840826672 94851840873860 94851847766016 140728211674047 140728211674204 140728211674204 140728211681219 0
/proc/228700/statm: 2482 683 602 264 0 133 0
[pid=228702] ppid=228700 vsize=519028 memory=390552 CPUtime=242.75 cores=4,6
/proc/228702/stat : 228702 (ld-linux-x86-64) R 228700 228700 224258 0 -1 4194304 398328 0 0 0 24068 207 0 0 20 0 2 0 25470948 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
/proc/228702/statm: 129757 97638 4122 46 0 102352 0
[pid=228702/tid=228703] ppid=228700 vsize=519028 memory=2732 CPUtime=0.29 cores=4,6
/proc/228702/task/228703/stat : 228703 (ld-linux-x86-64) S 228700 228700 224258 0 -1 1077936192 51 0 0 0 9 20 0 0 20 0 2 0 25470965 531484672 97638 134679101440 140599385473024 140599385660636 140725828308272 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140599387761536 140599387770984 93825025519616 140725828309847 140725828310011 140725828310011 140725828317106 0
Current children cumulated CPU time: 242.75 s
Current children cumulated vsize: 528956 KiB
Current children cumulated memory: 393284 KiB

Child status: 0

Real time (s): 243.141
CPU time (s): 242.781
CPU user time (s): 240.689
CPU system time (s): 2.09182
CPU usage (%): 99.8519
Max. virtual memory (cumulated for all children) (KiB): 661132
Max. memory (cumulated for all children) (KiB): 436448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 240.689
system time used= 2.09182
maximum resident set size= 441168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23916
involuntary context switches= 193


# summary of solver processes directly reported to runsolver:
#   pid: 228700
#   total CPU time (s): 242.781
#   total CPU user time (s): 240.689
#   total CPU system time (s): 2.09182

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32051 second user time and 2.59379 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-25 10:07:00
IDJOB=4459348
IDBENCH=178773
IDSOLVER=3055
FILE ID=nodeC004/4459348-1721894820
RUNJOBID= nodeC004-1721888517-224269
SLURM_JOB_ID= 8089308
Free space on /tmp= 723564 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-neos-1109824.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459348-1721894820/watcher-4459348-1721894820 -o /tmp/evaluation-result-4459348-1721894820/solver-4459348-1721894820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721888517-224269 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4459348-1721894820.opb

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

MD5SUM BENCH= ca6d41f9aded18c9e4512660dff57e08
RANDOM SEED=232442920

nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        112662204 kB
MemAvailable:   123694948 kB
Buffers:          316000 kB
Cached:         11504608 kB
SwapCached:           60 kB
Active:          2796064 kB
Inactive:       15538324 kB
Active(anon):       1460 kB
Inactive(anon):  6566500 kB
Active(file):    2794604 kB
Inactive(file):  8971824 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             42752 kB
Writeback:             0 kB
AnonPages:       6508572 kB
Mapped:           132136 kB
Shmem:             53860 kB
KReclaimable:     213028 kB
Slab:             325800 kB
SReclaimable:     213028 kB
SUnreclaim:       112772 kB
KernelStack:        3952 kB
PageTables:        22820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7623792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20128 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2162688 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      392008 kB
DirectMap2M:    50892800 kB
DirectMap1G:    84934656 kB

Free space on /tmp at the end= 723524 MiB
End job on nodeC004 at 2024-07-25 10:11:03