Trace number 4431355

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 2024-07-09? (TO) 3600.03 3608.41

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
MD5SUM0aad002c81e214aa0b66948d5567e1f0
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 benchmark8691
Best CPU time to get the best result obtained on this benchmark0.113538
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables548
Total number of constraints166
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints126
Minimum length of a constraint2
Maximum length of a constraint143
Number of terms in the objective function 416
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 96797
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 96797
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

108.55/109.05	c initialize IPBHS solver
108.55/109.05	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
108.55/109.05	c optimizer = "gurobi"
108.55/109.05	c pbsolver = "roundingsat"
108.55/109.05	c load symmetries from file ""
108.55/109.05	c set time limit for symmetry computation to 100 seconds.
108.55/109.05	c set interchangeable summation variable limit to 3
108.55/109.05	c set abs symmetric core budget per WCE-iteration to 100
108.55/109.05	c set rel symmetric core budget per WCE-iteration to 0
108.55/109.05	c set lit symmetric core budget per WCE-iteration to 0
108.55/109.05	c set sym generation to 's'
108.55/109.05	c set abstraction set creation to 10 iterations without LB change
108.55/109.05	c set abstraction set inputs to 0
108.55/109.05	c set abstraction set cluster min size to 2
108.55/109.05	c set abstraction set cluster max size to 100000000
108.55/109.05	c set abstraction set cluster activation limit to 2
108.55/109.05	c enable abstraction set require equal cost
108.55/109.05	c set abstraction set assumptions to 0
108.55/109.05	c set abstraction set constraint type to 0
108.55/109.05	c set abstract core extraction strategy to b
108.55/109.05	c set core extraction strategy to 2
108.55/109.05	c set core extraction shuffles 10
108.55/109.06	c set cores per iteration to 5
108.55/109.06	c set optimizer bound usage strategy to 2
108.55/109.06	c set optimizer max non-optimal iterations to 1000
108.55/109.06	c set small core cardinality limit to 2
108.55/109.06	c set max coef in cores to 1000000000
108.55/109.06	c set SIS iterations to 5
108.55/109.06	c set SIS budget abs to 1000
108.55/109.06	c set SIS budget rel to 0.05
108.55/109.06	c limit for coefficient in constraints and objective to 9223372036854775807
108.55/109.06	c will solve HOME/instance-4431355-1721067140.opb
108.55/109.06	c [0.01] solve iteration 1, LB=0, UB=96798
108.55/109.06	c [1.55] solve iteration 2, LB=405, UB=15215
108.55/109.06	c [2.17] solve iteration 3, LB=919, UB=15215
108.55/109.06	c [2.96] solve iteration 4, LB=1227, UB=14845
108.55/109.06	c [3.69] solve iteration 5, LB=1237, UB=14845
108.55/109.06	c [4.45] solve iteration 6, LB=1344, UB=12206
108.55/109.06	c [5.1] solve iteration 7, LB=1369, UB=12206
108.55/109.06	c [6.02] solve iteration 8, LB=1403, UB=12206
108.55/109.06	c [6.9] solve iteration 9, LB=1544, UB=12206
108.55/109.06	c [7.85] solve iteration 10, LB=1637, UB=12206
108.55/109.06	c [8.62] solve iteration 11, LB=1672, UB=11822
108.55/109.06	c [9.66] solve iteration 12, LB=1820, UB=11822
108.55/109.06	c [10.76] solve iteration 13, LB=1896, UB=11822
108.55/109.06	c [11.91] solve iteration 14, LB=1901, UB=11822
108.55/109.06	c [12.9] solve iteration 15, LB=1969, UB=11822
108.55/109.06	c [14.05] solve iteration 16, LB=1979, UB=11073
108.55/109.06	c [15.16] solve iteration 17, LB=2069, UB=11073
108.55/109.06	c [16.32] solve iteration 18, LB=2123, UB=11073
108.55/109.06	c [17.45] solve iteration 19, LB=2132, UB=11073
108.55/109.06	c [19.15] solve iteration 20, LB=2212, UB=11073
108.55/109.06	c [22.95] solve iteration 21, LB=2218, UB=11073
108.55/109.06	c [24.1] solve iteration 22, LB=2360, UB=11073
108.55/109.06	c [25.31] solve iteration 23, LB=2440, UB=11073
108.55/109.06	c [26.58] solve iteration 24, LB=2594, UB=11073
108.55/109.06	c [28.07] solve iteration 25, LB=2707, UB=11073
108.55/109.06	c [29.66] solve iteration 26, LB=2768, UB=11071
108.55/109.06	c [31.18] solve iteration 27, LB=2799, UB=10822
108.55/109.06	c [33.53] solve iteration 28, LB=2841, UB=10822
108.55/109.06	c [35.3] solve iteration 29, LB=2887, UB=10822
108.55/109.06	c [36.37] solve iteration 30, LB=2969, UB=10822
108.55/109.06	c [39.1] solve iteration 31, LB=3578, UB=10818
108.55/109.06	c [40.66] solve iteration 32, LB=3618, UB=10818
108.55/109.06	c [42.46] solve iteration 33, LB=3731, UB=10818
108.55/109.06	c [44.09] solve iteration 34, LB=3740, UB=10818
108.55/109.06	c [45.92] solve iteration 35, LB=3985, UB=10818
108.55/109.06	c [47.75] solve iteration 36, LB=4017, UB=10810
108.55/109.06	c [49.93] solve iteration 37, LB=4017, UB=10810
108.55/109.06	c [51.7] solve iteration 38, LB=4029, UB=10810
108.55/109.06	c [53.37] solve iteration 39, LB=4033, UB=10810
108.55/109.06	c [56.18] solve iteration 40, LB=4034, UB=10810
108.55/109.06	c [65.11] solve iteration 41, LB=4035, UB=10797
108.55/109.06	c [66.99] solve iteration 42, LB=4037, UB=10797
108.55/109.06	c [69.01] solve iteration 43, LB=4047, UB=10797
108.55/109.06	c [71.02] solve iteration 44, LB=4049, UB=10797
108.55/109.06	c [74.11] solve iteration 45, LB=4072, UB=10797
108.55/109.06	c [81.06] solve iteration 46, LB=4078, UB=10795
108.55/109.06	c [83.08] solve iteration 47, LB=4080, UB=10795
108.55/109.06	c [85.29] solve iteration 48, LB=4084, UB=10795
108.55/109.06	c [87.7] solve iteration 49, LB=4091, UB=10795
108.55/109.06	c [89.52] solve iteration 50, LB=4113, UB=10795
108.55/109.06	c [93.32] solve iteration 51, LB=4116, UB=10787
108.55/109.06	c [95.77] solve iteration 52, LB=4116, UB=10787
108.55/109.06	c [98.34] solve iteration 53, LB=4126, UB=10787
108.55/109.06	c [100.86] solve iteration 54, LB=4133, UB=10787
108.55/109.06	c [103.75] solve iteration 55, LB=4141, UB=10787
690.24/692.59	c [106.18] solve iteration 56, LB=4154, UB=10759
690.24/692.59	c [109.41] solve iteration 57, LB=4154, UB=10759
690.24/692.59	c [111.59] solve iteration 58, LB=4155, UB=10759
690.24/692.59	c [113.96] solve iteration 59, LB=4156, UB=10759
690.24/692.59	c [116.25] solve iteration 60, LB=4157, UB=10759
690.24/692.59	c [119.54] solve iteration 61, LB=4157, UB=10758
690.24/692.59	c [122.71] solve iteration 62, LB=4178, UB=10758
690.24/692.59	c [126.18] solve iteration 63, LB=4178, UB=10758
690.24/692.59	c [129.62] solve iteration 64, LB=4178, UB=10758
690.24/692.59	c [133.37] solve iteration 65, LB=4178, UB=10758
690.24/692.59	c [136.61] solve iteration 66, LB=4196, UB=10591
690.24/692.59	c [139.85] solve iteration 67, LB=4196, UB=10591
690.24/692.59	c [143.3] solve iteration 68, LB=4204, UB=10591
690.24/692.59	c [146.74] solve iteration 69, LB=4227, UB=10591
690.24/692.59	c [150.27] solve iteration 70, LB=4231, UB=10591
690.24/692.59	c [160.31] solve iteration 71, LB=4231, UB=10577
690.24/692.59	c [164.17] solve iteration 72, LB=4231, UB=10577
690.24/692.59	c [167.65] solve iteration 73, LB=4231, UB=10577
690.24/692.59	c [171.15] solve iteration 74, LB=4233, UB=10577
690.24/692.59	c [174.89] solve iteration 75, LB=4244, UB=10577
690.24/692.59	c [184.93] solve iteration 76, LB=4254, UB=10499
690.24/692.59	c [188.48] solve iteration 77, LB=4254, UB=10499
690.24/692.59	c [192.76] solve iteration 78, LB=4254, UB=10499
690.24/692.59	c [196.8] solve iteration 79, LB=4254, UB=10499
690.24/692.59	c [200.67] solve iteration 80, LB=4255, UB=10499
690.24/692.59	c [208.81] solve iteration 81, LB=4255, UB=10496
690.24/692.59	c [212.85] solve iteration 82, LB=4259, UB=10496
690.24/692.59	c [216.96] solve iteration 83, LB=4270, UB=10496
690.24/692.59	c [221.02] solve iteration 84, LB=4272, UB=10496
690.24/692.59	c [223.8] solve iteration 85, LB=4279, UB=10496
690.24/692.59	c [228.91] solve iteration 86, LB=4296, UB=10483
690.24/692.59	c [231.94] solve iteration 87, LB=4296, UB=10483
690.24/692.59	c [236.3] solve iteration 88, LB=4297, UB=10483
690.24/692.59	c [240.93] solve iteration 89, LB=4301, UB=10483
690.24/692.59	c [245.64] solve iteration 90, LB=4327, UB=10483
690.24/692.59	c [253.05] solve iteration 91, LB=4367, UB=10475
690.24/692.59	c [257.86] solve iteration 92, LB=4388, UB=10475
690.24/692.59	c [262.6] solve iteration 93, LB=4388, UB=10475
690.24/692.59	c [267.45] solve iteration 94, LB=4388, UB=10475
690.24/692.59	c [271.67] solve iteration 95, LB=4388, UB=10475
690.24/692.59	c [275.97] solve iteration 96, LB=4388, UB=10348
690.24/692.59	c [280.56] solve iteration 97, LB=4388, UB=10348
690.24/692.59	c [285.37] solve iteration 98, LB=4392, UB=10348
690.24/692.59	c [288.36] solve iteration 99, LB=4392, UB=10348
690.24/692.59	c [293.38] solve iteration 100, LB=4403, UB=10348
690.24/692.59	c [304.98] solve iteration 101, LB=4403, UB=10340
690.24/692.59	c [309.95] solve iteration 102, LB=4410, UB=10340
690.24/692.59	c [315.26] solve iteration 103, LB=4410, UB=10340
690.24/692.59	c [320.87] solve iteration 104, LB=4428, UB=10340
690.24/692.59	c [326.92] solve iteration 105, LB=4428, UB=10340
690.24/692.59	c [344.73] solve iteration 106, LB=4429, UB=10340
690.24/692.59	c [349.84] solve iteration 107, LB=4429, UB=10340
690.24/692.59	c [354.91] solve iteration 108, LB=4436, UB=10340
690.24/692.59	c [360.1] solve iteration 109, LB=4439, UB=10340
690.24/692.59	c [365.6] solve iteration 110, LB=4440, UB=10340
690.24/692.59	c [371] solve iteration 111, LB=4440, UB=10337
690.24/692.59	c [376.5] solve iteration 112, LB=4441, UB=10337
690.24/692.59	c [382.22] solve iteration 113, LB=4441, UB=10337
690.24/692.59	c [387.84] solve iteration 114, LB=4441, UB=10337
690.24/692.59	c [393.11] solve iteration 115, LB=4444, UB=10337
690.24/692.59	c [411.44] solve iteration 116, LB=4445, UB=10337
690.24/692.59	c [415.36] solve iteration 117, LB=4445, UB=10337
690.24/692.59	c [420.88] solve iteration 118, LB=4447, UB=10337
690.24/692.59	c [426.79] solve iteration 119, LB=4453, UB=10337
690.24/692.59	c [432.73] solve iteration 120, LB=4453, UB=10337
690.24/692.59	c [440.7] solve iteration 121, LB=4459, UB=10321
690.24/692.59	c [447.06] solve iteration 122, LB=4460, UB=10321
690.24/692.59	c [452.48] solve iteration 123, LB=4460, UB=10321
690.24/692.59	c [458.05] solve iteration 124, LB=4476, UB=10321
690.24/692.59	c [463.84] solve iteration 125, LB=4476, UB=10321
690.24/692.59	c [487.84] solve iteration 126, LB=4476, UB=10321
690.24/692.59	c [494.18] solve iteration 127, LB=4480, UB=10321
690.24/692.59	c [500.27] solve iteration 128, LB=4484, UB=10321
690.24/692.59	c [506.52] solve iteration 129, LB=4484, UB=10321
690.24/692.59	c [512.79] solve iteration 130, LB=4484, UB=10321
690.24/692.59	c [554.61] solve iteration 131, LB=4484, UB=10312
690.24/692.59	c [561.9] solve iteration 132, LB=4484, UB=10312
690.24/692.59	c [568.94] solve iteration 133, LB=4487, UB=10312
690.24/692.59	c [577.16] solve iteration 134, LB=4487, UB=10312
690.24/692.59	c [584.02] solve iteration 135, LB=4488, UB=10312
690.24/692.59	c [662.88] solve iteration 136, LB=4488, UB=10312
690.24/692.59	c [670.19] solve iteration 137, LB=4489, UB=10312
690.24/692.59	c [678.16] solve iteration 138, LB=4489, UB=10312
2218.08/2223.87	c [686.95] solve iteration 139, LB=4489, UB=10312
2218.08/2223.87	c [696.11] solve iteration 140, LB=4493, UB=10312
2218.08/2223.87	c [707.07] solve iteration 141, LB=4493, UB=10131
2218.08/2223.87	c [715.12] solve iteration 142, LB=4493, UB=10131
2218.08/2223.87	c [722.94] solve iteration 143, LB=4493, UB=10131
2218.08/2223.87	c [731.35] solve iteration 144, LB=4493, UB=10131
2218.08/2223.87	c [739.45] solve iteration 145, LB=4493, UB=10131
2218.08/2223.87	c [751.3] solve iteration 146, LB=4493, UB=10128
2218.08/2223.87	c [760.88] solve iteration 147, LB=4493, UB=10128
2218.08/2223.87	c [770.39] solve iteration 148, LB=4496, UB=10128
2218.08/2223.87	c [779.29] solve iteration 149, LB=4496, UB=10128
2218.08/2223.87	c [789.49] solve iteration 150, LB=4496, UB=10128
2218.08/2223.87	c [873.01] solve iteration 151, LB=4497, UB=10128
2218.08/2223.87	c [879.98] solve iteration 152, LB=4497, UB=10128
2218.08/2223.87	c [887.16] solve iteration 153, LB=4497, UB=10128
2218.08/2223.87	c [894.19] solve iteration 154, LB=4497, UB=10128
2218.08/2223.87	c [901.97] solve iteration 155, LB=4497, UB=10128
2218.08/2223.87	c [920.25] solve iteration 156, LB=4497, UB=10102
2218.08/2223.87	c [927.93] solve iteration 157, LB=4498, UB=10102
2218.08/2223.87	c [935.65] solve iteration 158, LB=4498, UB=10102
2218.08/2223.87	c [943.23] solve iteration 159, LB=4498, UB=10102
2218.08/2223.87	c [951.54] solve iteration 160, LB=4507, UB=10102
2218.08/2223.87	c [970.19] solve iteration 161, LB=4511, UB=10046
2218.08/2223.87	c [978.11] solve iteration 162, LB=4511, UB=10046
2218.08/2223.87	c [987.05] solve iteration 163, LB=4511, UB=10046
2218.08/2223.87	c [994.84] solve iteration 164, LB=4511, UB=10046
2218.08/2223.87	c [1002.49] solve iteration 165, LB=4511, UB=10046
2218.08/2223.87	c [1010.52] solve iteration 166, LB=4511, UB=10013
2218.08/2223.87	c [1018.64] solve iteration 167, LB=4522, UB=10013
2218.08/2223.87	c [1026.35] solve iteration 168, LB=4522, UB=10013
2218.08/2223.87	c [1034.77] solve iteration 169, LB=4522, UB=10013
2218.08/2223.87	c [1042.91] solve iteration 170, LB=4522, UB=10013
2218.08/2223.87	c [1099.35] solve iteration 171, LB=4522, UB=10013
2218.08/2223.87	c [1107.91] solve iteration 172, LB=4522, UB=10013
2218.08/2223.87	c [1116.66] solve iteration 173, LB=4524, UB=10013
2218.08/2223.87	c [1125.37] solve iteration 174, LB=4524, UB=10013
2218.08/2223.87	c [1134.49] solve iteration 175, LB=4527, UB=10013
2218.08/2223.87	c [1266.54] solve iteration 176, LB=4532, UB=10013
2218.08/2223.87	c [1276.16] solve iteration 177, LB=4532, UB=10013
2218.08/2223.87	c [1286] solve iteration 178, LB=4594, UB=10013
2218.08/2223.87	c [1294.97] solve iteration 179, LB=4606, UB=10013
2218.08/2223.87	c [1304.85] solve iteration 180, LB=4614, UB=10013
2218.08/2223.87	c [1314.69] solve iteration 181, LB=4615, UB=9940
2218.08/2223.87	c [1324.51] solve iteration 182, LB=4615, UB=9940
2218.08/2223.87	c [1334.21] solve iteration 183, LB=4619, UB=9940
2218.08/2223.87	c [1342.86] solve iteration 184, LB=4619, UB=9940
2218.08/2223.87	c [1352.53] solve iteration 185, LB=4623, UB=9940
2218.08/2223.87	c [1528.79] solve iteration 186, LB=4628, UB=9940
2218.08/2223.87	c [1537.34] solve iteration 187, LB=4628, UB=9940
2218.08/2223.87	c [1546.12] solve iteration 188, LB=4628, UB=9940
2218.08/2223.87	c [1555.47] solve iteration 189, LB=4629, UB=9940
2218.08/2223.87	c [1564.73] solve iteration 190, LB=4629, UB=9935
2218.08/2223.87	c [1640.86] solve iteration 191, LB=4629, UB=9918
2218.08/2223.87	c [1653.56] solve iteration 192, LB=4633, UB=9918
2218.08/2223.87	c [1664.55] solve iteration 193, LB=4633, UB=9918
2218.08/2223.87	c [1677.76] solve iteration 194, LB=4633, UB=9918
2218.08/2223.87	c [1688.11] solve iteration 195, LB=4637, UB=9918
2218.08/2223.87	c [1700.4] solve iteration 196, LB=4637, UB=9878
2218.08/2223.87	c [1712.19] solve iteration 197, LB=4637, UB=9878
2218.08/2223.87	c [1722.43] solve iteration 198, LB=4637, UB=9878
2218.08/2223.87	c [1732.93] solve iteration 199, LB=4637, UB=9878
2218.08/2223.87	c [1743.92] solve iteration 200, LB=4637, UB=9878
2218.08/2223.87	c [1756.05] solve iteration 201, LB=4637, UB=9671
2218.08/2223.87	c [1767.15] solve iteration 202, LB=4637, UB=9671
2218.08/2223.87	c [1776.42] solve iteration 203, LB=4637, UB=9671
2218.08/2223.87	c [1789.09] solve iteration 204, LB=4637, UB=9671
2218.08/2223.87	c [1800.96] solve iteration 205, LB=4637, UB=9671
2218.08/2223.87	c [1869.31] solve iteration 206, LB=4637, UB=9671
2218.08/2223.87	c [1879.6] solve iteration 207, LB=4637, UB=9671
2218.08/2223.87	c [1889.38] solve iteration 208, LB=4637, UB=9671
2218.08/2223.87	c [1899.41] solve iteration 209, LB=4637, UB=9671
2218.08/2223.87	c [1909.49] solve iteration 210, LB=4637, UB=9671
2218.08/2223.87	c [1992.28] solve iteration 211, LB=4637, UB=9671
2218.08/2223.87	c [2000.63] solve iteration 212, LB=4637, UB=9671
2218.08/2223.87	c [2008.69] solve iteration 213, LB=4637, UB=9671
2218.08/2223.87	c [2016.71] solve iteration 214, LB=4639, UB=9671
2218.08/2223.87	c [2025.99] solve iteration 215, LB=4639, UB=9671
2218.08/2223.87	c [2160.32] solve iteration 216, LB=4639, UB=9671
2218.08/2223.87	c [2168.85] solve iteration 217, LB=4639, UB=9671
2218.08/2223.87	c [2178.2] solve iteration 218, LB=4639, UB=9671
2218.08/2223.87	c [2186.61] solve iteration 219, LB=4641, UB=9671
2218.08/2223.87	c [2195.87] solve iteration 2HOME/run-glibc-2.34.sh: line 2: 810052 Terminated              LD_LIBRARY_PATH=/home/evaluation/evaluation/priv/lib:/home/evaluation/evaluation/tools/lib64:/home/evaluation/evaluation/tools/lib:/usr/local/lib:/home/evaluation/evaluation/tools/glibc-2.34/lib/:/lib64 /home/evaluation/evaluation/tools/glibc-2.34/lib/ld-linux-x86-64.so.2 $*

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (63007 MiB free)
  memory of node 1: 64510 MiB (63283 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431355-1721067140/watcher-4431355-1721067140 -o /tmp/evaluation-result-4431355-1721067140/solver-4431355-1721067140 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721063543-807734 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431355-1721067140.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=810050, runsolver pid=810047

[startup+0.100874 s]*
/proc/loadavg: 4.67 4.28 4.14 5/244 810053
/proc/meminfo: memFree=129309932/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=137072 memory=24976 CPUtime=0.09 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 1842 0 0 0 6 3 0 0 20 0 2 0 158873325 140361728 6244 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 34268 6244 3800 46 0 6863 0
[pid=810052/tid=810053] ppid=810050 vsize=137072 memory=4026531971 CPUtime=0 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158873327 140361728 6244 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 147000 KiB
Current children cumulated memory: 27752 KiB

[startup+0.236882 s]*
/proc/loadavg: 4.67 4.28 4.14 5/252 810065
/proc/meminfo: memFree=129299052/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=137072 memory=24976 CPUtime=0.21 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 1882 0 0 0 14 7 0 0 20 0 2 0 158873325 140361728 6244 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 34268 6244 3800 46 0 6863 0
[pid=810052/tid=810053] ppid=810050 vsize=137072 memory=3471202400344241230 CPUtime=0 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158873327 140361728 6244 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 147000 KiB
Current children cumulated memory: 27752 KiB

[startup+0.309869 s]*
/proc/loadavg: 4.67 4.28 4.14 5/252 810065
/proc/meminfo: memFree=129296364/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=137072 memory=25240 CPUtime=0.28 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 1910 0 0 0 20 8 0 0 20 0 2 0 158873325 140361728 6310 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 34268 6310 3800 46 0 6863 0
[pid=810052/tid=810053] ppid=810050 vsize=137072 memory=-9187277903729355622 CPUtime=0 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) R 810050 810050 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158873327 140361728 6310 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 147000 KiB
Current children cumulated memory: 28016 KiB

[startup+0.70031 s]
/proc/loadavg: 4.67 4.28 4.14 6/252 810065
/proc/meminfo: memFree=129291572/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=137072 memory=25768 CPUtime=0.66 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 2088 0 0 0 47 19 0 0 20 0 2 0 158873325 140361728 6442 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 34268 6442 3800 46 0 6863 0
[pid=810052/tid=810053] ppid=810050 vsize=137072 memory=11948 CPUtime=0 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158873327 140361728 6442 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 147000 KiB
Current children cumulated memory: 28544 KiB

[startup+1.50036 s]
/proc/loadavg: 4.67 4.28 4.14 5/252 810065
/proc/meminfo: memFree=129281076/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=137608 memory=28932 CPUtime=1.46 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 2977 0 0 0 107 39 0 0 20 0 2 0 158873325 140910592 7233 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 34402 7233 3800 46 0 6997 0
[pid=810052/tid=810053] ppid=810050 vsize=137608 memory=28744 CPUtime=0 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 158873327 140910592 7233 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 147536 KiB
Current children cumulated memory: 31708 KiB

[startup+3.11337 s]
/proc/loadavg: 4.67 4.28 4.14 5/252 810065
/proc/meminfo: memFree=129238816/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=164512 memory=41600 CPUtime=3.06 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 7195 0 0 0 249 57 0 0 20 0 2 0 158873325 168460288 10400 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 41128 10400 3800 46 0 13723 0
[pid=810052/tid=810053] ppid=810050 vsize=164512 memory=28744 CPUtime=0 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 158873327 168460288 10400 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 174440 KiB
Current children cumulated memory: 44376 KiB

[startup+6.30039 s]
/proc/loadavg: 4.62 4.27 4.14 5/252 810065
/proc/meminfo: memFree=129186104/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=186532 memory=66204 CPUtime=6.24 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 19213 0 0 0 527 97 0 0 20 0 2 0 158873325 191008768 16551 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 46633 16551 3895 46 0 19228 0
[pid=810052/tid=810053] ppid=810050 vsize=186532 memory=2776 CPUtime=0 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 2 0 158873327 191008768 16551 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 196460 KiB
Current children cumulated memory: 68980 KiB

[startup+12.7004 s]
/proc/loadavg: 4.57 4.27 4.14 5/252 810066
/proc/meminfo: memFree=129111808/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=214368 memory=86556 CPUtime=12.64 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 33882 0 0 0 1105 159 0 0 20 0 2 0 158873325 219512832 21639 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 53592 21639 3895 46 0 26187 0
[pid=810052/tid=810053] ppid=810050 vsize=214368 memory=81416 CPUtime=0 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 158873327 219512832 21639 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 224296 KiB
Current children cumulated memory: 89332 KiB

[startup+25.5004 s]
/proc/loadavg: 4.44 4.26 4.14 5/252 810068
/proc/meminfo: memFree=129010284/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=221532 memory=81512 CPUtime=25.41 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 65777 0 0 0 2297 244 0 0 20 0 2 0 158873325 226848768 20378 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 55383 20378 3895 46 0 27978 0
[pid=810052/tid=810053] ppid=810050 vsize=221532 memory=2776 CPUtime=0.01 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 26 0 0 0 0 1 0 0 20 0 2 0 158873327 226848768 20378 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 231460 KiB
Current children cumulated memory: 84288 KiB

[startup+51.1136 s]
/proc/loadavg: 4.29 4.23 4.13 5/252 810072
/proc/meminfo: memFree=128859020/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=294188 memory=149816 CPUtime=50.9 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 127903 0 0 0 4746 344 0 0 20 0 2 0 158873325 301248512 37454 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 73547 37454 3895 46 0 46142 0
[pid=810052/tid=810053] ppid=810050 vsize=294188 memory=5424 CPUtime=0.05 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 41 0 0 0 1 4 0 0 20 0 2 0 158873327 301248512 37454 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 304116 KiB
Current children cumulated memory: 152592 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.21 4.13 5/252 810082
/proc/meminfo: memFree=128545668/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=322280 memory=211916 CPUtime=101.87 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 186287 0 0 0 9719 468 0 0 20 0 2 0 158873325 330014720 52979 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 80570 52979 3895 46 0 53165 0
[pid=810052/tid=810053] ppid=810050 vsize=322280 memory=2776 CPUtime=0.1 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 50 0 0 0 2 8 0 0 20 0 2 0 158873327 330014720 52979 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 332208 KiB
Current children cumulated memory: 214692 KiB

[startup+162.3 s]

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

/proc/810052/statm: 234999 185707 3926 46 0 207594 0
[pid=810052/tid=810053] ppid=810050 vsize=939996 memory=11648 CPUtime=3.92 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 251 0 0 0 117 275 0 0 20 0 2 0 158873327 962555904 185707 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 3094.85 s
Current children cumulated vsize: 949924 KiB
Current children cumulated memory: 745604 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.27 4.27 5/250 811864
/proc/meminfo: memFree=122841932/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=922180 memory=708840 CPUtime=3154.7 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 1659595 0 0 0 312741 2729 0 0 20 0 2 0 158873325 944312320 177210 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 230545 177210 3926 46 0 203140 0
[pid=810052/tid=810053] ppid=810050 vsize=922180 memory=708840 CPUtime=4 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 255 0 0 0 119 281 0 0 20 0 2 0 158873327 944312320 177210 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 3154.7 s
Current children cumulated vsize: 932108 KiB
Current children cumulated memory: 711616 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.25 4.26 6/249 811875
/proc/meminfo: memFree=122828836/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=922180 memory=708840 CPUtime=3214.59 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 1661165 0 0 0 318705 2754 0 0 20 0 2 0 158873325 944312320 177210 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 230545 177210 3926 46 0 203140 0
[pid=810052/tid=810053] ppid=810050 vsize=922180 memory=40500 CPUtime=4.07 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 257 0 0 0 121 286 0 0 20 0 2 0 158873327 944312320 177210 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 3214.59 s
Current children cumulated vsize: 932108 KiB
Current children cumulated memory: 711616 KiB

[startup+3282.3 s]
/proc/loadavg: 5.08 4.47 4.34 5/250 811886
/proc/meminfo: memFree=122809576/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=922180 memory=708840 CPUtime=3274.49 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 1662333 0 0 0 324676 2773 0 0 20 0 2 0 158873325 944312320 177210 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 230545 177210 3926 46 0 203140 0
[pid=810052/tid=810053] ppid=810050 vsize=922180 memory=708840 CPUtime=4.15 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 261 0 0 0 124 291 0 0 20 0 2 0 158873327 944312320 177210 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 3274.49 s
Current children cumulated vsize: 932108 KiB
Current children cumulated memory: 711616 KiB

[startup+3342.3 s]
/proc/loadavg: 4.77 4.51 4.36 5/250 811896
/proc/meminfo: memFree=122795948/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=922180 memory=708840 CPUtime=3334.39 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 1663581 0 0 0 330651 2788 0 0 20 0 2 0 158873325 944312320 177210 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 230545 177210 3926 46 0 203140 0
[pid=810052/tid=810053] ppid=810050 vsize=922180 memory=708840 CPUtime=4.24 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 265 0 0 0 127 297 0 0 20 0 2 0 158873327 944312320 177210 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 3334.39 s
Current children cumulated vsize: 932108 KiB
Current children cumulated memory: 711616 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.43 4.34 5/250 811907
/proc/meminfo: memFree=122735196/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=944876 memory=753200 CPUtime=3394.27 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 1701055 0 0 0 336593 2834 0 0 20 0 2 0 158873325 967553024 188300 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 236219 188300 3926 46 0 208814 0
[pid=810052/tid=810053] ppid=810050 vsize=944876 memory=734576 CPUtime=4.32 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 269 0 0 0 129 303 0 0 20 0 2 0 158873327 967553024 188300 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 3394.27 s
Current children cumulated vsize: 954804 KiB
Current children cumulated memory: 755976 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.37 4.33 5/250 811917
/proc/meminfo: memFree=122767852/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=904360 memory=704680 CPUtime=3454.16 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 1714593 0 0 0 342546 2870 0 0 20 0 2 0 158873325 926064640 176170 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 226090 176170 3926 46 0 198685 0
[pid=810052/tid=810053] ppid=810050 vsize=904360 memory=734576 CPUtime=4.4 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 272 0 0 0 132 308 0 0 20 0 2 0 158873327 926064640 176170 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 3454.16 s
Current children cumulated vsize: 914288 KiB
Current children cumulated memory: 707456 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.31 4.31 5/252 811931
/proc/meminfo: memFree=122754928/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=904360 memory=704680 CPUtime=3514.06 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 1714958 0 0 0 348512 2894 0 0 20 0 2 0 158873325 926064640 176170 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 226090 176170 3926 46 0 198685 0
[pid=810052/tid=810053] ppid=810050 vsize=904360 memory=2776 CPUtime=4.47 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 275 0 0 0 134 313 0 0 20 0 2 0 158873327 926064640 176170 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 3514.06 s
Current children cumulated vsize: 914288 KiB
Current children cumulated memory: 707456 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.27 4.29 5/251 811941
/proc/meminfo: memFree=122741808/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=904360 memory=704680 CPUtime=3573.95 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 1716358 0 0 0 354488 2907 0 0 20 0 2 0 158873325 926064640 176170 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 226090 176170 3926 46 0 198685 0
[pid=810052/tid=810053] ppid=810050 vsize=904360 memory=2776 CPUtime=4.55 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 279 0 0 0 136 319 0 0 20 0 2 0 158873327 926064640 176170 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 3573.95 s
Current children cumulated vsize: 914288 KiB
Current children cumulated memory: 707456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 4.13 4.26 4.29 5/251 812042
/proc/meminfo: memFree=128611472/131655788 swapFree=131071996/131071996
[pid=810050] ppid=810047 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/810050/stat : 810050 (run-glibc-2.34.) S 810047 810050 807724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 158873324 10166272 694 134679101440 94781793902592 94781794981912 140727665750304 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94781797080368 94781797127556 94781822455808 140727665755083 140727665755228 140727665755228 140727665762243 0
/proc/810050/statm: 2482 694 613 264 0 133 0
[pid=810052] ppid=810050 vsize=904360 memory=704680 CPUtime=3600 cores=0,2
/proc/810052/stat : 810052 (ld-linux-x86-64) R 810050 810050 807724 0 -1 4194304 1717464 0 0 0 357086 2914 0 0 20 0 2 0 158873325 926064640 176170 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
/proc/810052/statm: 226090 176170 3926 46 0 198685 0
[pid=810052/tid=810053] ppid=810050 vsize=904360 memory=704680 CPUtime=4.59 cores=0,2
/proc/810052/task/810053/stat : 810053 (ld-linux-x86-64) S 810050 810050 807724 0 -1 1077936192 281 0 0 0 137 322 0 0 20 0 2 0 158873327 926064640 176170 134679101440 139892725387264 139892725574876 140723864270464 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139892727675776 139892727685224 93825003958272 140723864277859 140723864278011 140723864278011 140723864285106 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 914288 KiB
Current children cumulated memory: 707456 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3608.41 s]
# the end of solver process 810050 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3570.87 s, system=29.1514 s

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

Child status: 143

Real time (s): 3608.41
CPU time (s): 3600.03
CPU user time (s): 3570.87
CPU system time (s): 29.1514
CPU usage (%): 99.7677
Max. virtual memory (cumulated for all children) (KiB): 1030096
Max. memory (cumulated for all children) (KiB): 784812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.87
system time used= 29.1514
maximum resident set size= 782036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1717681
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= 355344
involuntary context switches= 25177


# summary of solver processes directly reported to runsolver:
#   pid: 810050
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3570.87
#   total CPU system time (s): 29.1514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.952 second user time and 39.139 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-15 20:12:32
IDJOB=4431355
IDBENCH=146905
IDSOLVER=3056
FILE ID=nodeC010/4431355-1721067140
RUNJOBID= nodeC010-1721063543-807734
SLURM_JOB_ID= 7505519
Free space on /tmp= 723656 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431355-1721067140/watcher-4431355-1721067140 -o /tmp/evaluation-result-4431355-1721067140/solver-4431355-1721067140 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721063543-807734 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431355-1721067140.opb

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

MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0
RANDOM SEED=2135155976

nodeC010.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		: 3492.215
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	: 6983.51
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		: 1197.179
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.31
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.173
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	: 6983.51
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.177
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.31
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		: 3673.467
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	: 6983.51
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		: 3192.461
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.31
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.388
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	: 6983.51
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.199
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129322228 kB
MemAvailable:   129750296 kB
Buffers:          377876 kB
Cached:           892948 kB
SwapCached:            0 kB
Active:           691108 kB
Inactive:        1123264 kB
Active(anon):       1440 kB
Inactive(anon):   579808 kB
Active(file):     689668 kB
Inactive(file):   543456 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            172800 kB
Writeback:             0 kB
AnonPages:        543620 kB
Mapped:           118828 kB
Shmem:             37704 kB
KReclaimable:      69948 kB
Slab:             162672 kB
SReclaimable:      69948 kB
SUnreclaim:        92724 kB
KernelStack:        3952 kB
PageTables:        10452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     992360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51200 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      187208 kB
DirectMap2M:    18591744 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 723616 MiB
End job on nodeC010 at 2024-07-15 21:12:41