Trace number 4505660

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 2025-06-09? (TO) 3600.08 3602.94

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
MD5SUM0390bfe3f6c229f0cac833c3202307c0
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-186459
Best CPU time to get the best result obtained on this benchmark72000.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 25674
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 24116532
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 24116532
Number of bits of the biggest sum of numbers25
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c initialize IPBHS solver
0.00/0.01	c IPBHS 0.0.0 beta (8d0f613-dirty, Jun  3 2025 11:30:33), compiled with satsolvers: , optimizers: , GreedyOptimizer, Gurobi 12.0.2, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01	c optimizer = "gurobi"
0.00/0.01	c pbsolver = "roundingsat"
0.00/0.01	c use separate pbsolver for SIS
0.00/0.01	c load symmetries from file ""
0.00/0.01	c set time limit for symmetry computation to 100 seconds.
0.00/0.01	c set interchangeable summation variable limit to 3
0.00/0.01	c set sym compact max subset size to 5
0.00/0.01	c set explicit symmetry matrix usage to 1
0.00/0.01	c sym budget explicit to 100
0.00/0.01	c sym budget explicit lits to 6000
0.00/0.01	c sym budget compact to 100
0.00/0.01	c sym budget compact lits to 6000
0.00/0.01	c sym budget common to 0
0.00/0.01	c sym budget common lits to 0
0.00/0.01	c set sym generation to 's'
0.00/0.01	c set abstraction set creation to 10 iterations without LB change
0.00/0.01	c set abstraction set inputs to 0
0.00/0.01	c set abstraction set cluster min size to 2
0.00/0.01	c set abstraction set cluster max size to 100000000
0.00/0.01	c set abstraction set cluster activation limit to 2
0.00/0.01	c enable abstraction set require equal cost
0.00/0.01	c set abstraction set assumptions to 0
0.00/0.01	c set abstraction set constraint type to 0
0.00/0.01	c set abstract core extraction strategy to b
0.00/0.01	c set core extraction strategy to 2
0.00/0.01	c set core extraction shuffles 10
0.00/0.01	c set cores per iteration to 5
0.00/0.01	c set optimizer bound usage strategy to 2
0.00/0.01	c set optimizer max non-optimal iterations to 1000
0.00/0.01	c set small core cardinality limit to 2
0.00/0.01	c set max coef in cores to 1000000000
0.00/0.01	c set core processing techniques to 4095
0.00/0.01	c set SIS iterations to 5
0.00/0.01	c set SIS budget abs to 1000
0.00/0.01	c set SIS budget rel to 0.05
0.99/1.01	c limit for coefficient in constraints and objective to 1000000000
0.99/1.01	c will solve HOME/instance-4505660-1751492227.opb
0.99/1.01	c [0.06] will start solving
1327.58/1328.69	c [2.48] solve iteration 1, LB=-24116532, UB=1
1327.58/1328.69	c [3.28] solve iteration 2, LB=-237241, UB=0
1327.58/1328.69	c [3.82] solve iteration 3, LB=-237241, UB=-24476
1327.58/1328.69	c [4.33] solve iteration 4, LB=-237241, UB=-32838
1327.58/1328.69	c [4.76] solve iteration 5, LB=-237241, UB=-32838
1327.58/1328.69	c [7.23] solve iteration 6, LB=-237241, UB=-34347
1327.58/1328.69	c [7.7] solve iteration 7, LB=-237241, UB=-34347
1327.58/1328.69	c [8.14] solve iteration 8, LB=-237241, UB=-34347
1327.58/1328.69	c [8.53] solve iteration 9, LB=-237241, UB=-34347
1327.58/1328.69	c [8.89] solve iteration 10, LB=-237241, UB=-34347
1327.58/1328.69	c [9.39] solve iteration 11, LB=-237241, UB=-34355
1327.58/1328.69	c [9.75] solve iteration 12, LB=-237241, UB=-34355
1327.58/1328.69	c [10.15] solve iteration 13, LB=-237241, UB=-34355
1327.58/1328.69	c [10.48] solve iteration 14, LB=-237241, UB=-34355
1327.58/1328.69	c [10.89] solve iteration 15, LB=-237241, UB=-34355
1327.58/1328.69	c [11.31] solve iteration 16, LB=-237241, UB=-34389
1327.58/1328.69	c [11.76] solve iteration 17, LB=-237241, UB=-34389
1327.58/1328.69	c [12.14] solve iteration 18, LB=-237241, UB=-34389
1327.58/1328.69	c [12.57] solve iteration 19, LB=-237241, UB=-34389
1327.58/1328.69	c [13.03] solve iteration 20, LB=-237241, UB=-34389
1327.58/1328.69	c [13.46] solve iteration 21, LB=-237241, UB=-34390
1327.58/1328.69	c [13.89] solve iteration 22, LB=-237241, UB=-34390
1327.58/1328.69	c [14.23] solve iteration 23, LB=-237241, UB=-36409
1327.58/1328.69	c [14.68] solve iteration 24, LB=-237241, UB=-36409
1327.58/1328.69	c [15.11] solve iteration 25, LB=-237241, UB=-36409
1327.58/1328.69	c [33.22] solve iteration 26, LB=-237241, UB=-36974
1327.58/1328.69	c [33.62] solve iteration 27, LB=-237241, UB=-39603
1327.58/1328.69	c [34.08] solve iteration 28, LB=-237241, UB=-39603
1327.58/1328.69	c [34.6] solve iteration 29, LB=-237241, UB=-39603
1327.58/1328.69	c [35.08] solve iteration 30, LB=-237241, UB=-39603
1327.58/1328.69	c [80.62] solve iteration 31, LB=-237241, UB=-39935
1327.58/1328.69	c [81.1] solve iteration 32, LB=-237241, UB=-39935
1327.58/1328.69	c [81.62] solve iteration 33, LB=-237241, UB=-39935
1327.58/1328.69	c [82.22] solve iteration 34, LB=-237241, UB=-39935
1327.58/1328.69	c [82.71] solve iteration 35, LB=-237241, UB=-39935
1327.58/1328.69	c [83.45] solve iteration 36, LB=-237241, UB=-40545
1327.58/1328.69	c [83.93] solve iteration 37, LB=-237241, UB=-40545
1327.58/1328.69	c [84.57] solve iteration 38, LB=-237241, UB=-40545
1327.58/1328.69	c [85.04] solve iteration 39, LB=-237241, UB=-40545
1327.58/1328.69	c [85.66] solve iteration 40, LB=-237241, UB=-40545
1327.58/1328.69	c [86.29] solve iteration 41, LB=-237241, UB=-40546
1327.58/1328.69	c [86.84] solve iteration 42, LB=-237241, UB=-40546
1327.58/1328.69	c [87.35] solve iteration 43, LB=-237241, UB=-40546
1327.58/1328.69	c [87.75] solve iteration 44, LB=-237241, UB=-40546
1327.58/1328.69	c [88.17] solve iteration 45, LB=-237241, UB=-40546
1327.58/1328.69	c [88.69] solve iteration 46, LB=-237241, UB=-40547
1327.58/1328.69	c [89.18] solve iteration 47, LB=-237241, UB=-40547
1327.58/1328.69	c [89.6] solve iteration 48, LB=-237241, UB=-53133
1327.58/1328.69	c [90.12] solve iteration 49, LB=-237241, UB=-53133
1327.58/1328.69	c [90.54] solve iteration 50, LB=-237241, UB=-53133
1327.58/1328.69	c [254.17] solve iteration 51, LB=-237241, UB=-53133
1327.58/1328.69	c [254.73] solve iteration 52, LB=-237241, UB=-53133
1327.58/1328.69	c [255.24] solve iteration 53, LB=-237241, UB=-53133
1327.58/1328.69	c [255.79] solve iteration 54, LB=-237241, UB=-53133
1327.58/1328.69	c [256.29] solve iteration 55, LB=-237241, UB=-53133
1327.58/1328.69	c [405.13] solve iteration 56, LB=-237241, UB=-53133
1327.58/1328.69	c [405.65] solve iteration 57, LB=-237241, UB=-53133
1327.58/1328.69	c [406.2] solve iteration 58, LB=-237241, UB=-53133
1327.58/1328.69	c [406.73] solve iteration 59, LB=-237241, UB=-53133
1327.58/1328.69	c [407.32] solve iteration 60, LB=-237241, UB=-53133
1327.58/1328.69	c [593.92] solve iteration 61, LB=-237241, UB=-53133
1327.58/1328.69	c [594.49] solve iteration 62, LB=-237241, UB=-53133
1327.58/1328.69	c [595.01] solve iteration 63, LB=-237241, UB=-53133
1327.58/1328.69	c [595.69] solve iteration 64, LB=-237241, UB=-53133
1327.58/1328.69	c [596.36] solve iteration 65, LB=-237241, UB=-53133
1327.58/1328.69	c [831.44] solve iteration 66, LB=-237241, UB=-53133
1327.58/1328.69	c [832.08] solve iteration 67, LB=-237241, UB=-53133
1327.58/1328.69	c [832.46] solve iteration 68, LB=-237241, UB=-53133
1327.58/1328.69	c [832.75] solve iteration 69, LB=-237241, UB=-53133
1327.58/1328.69	c [833.18] solve iteration 70, LB=-237241, UB=-53133
1327.58/1328.69	c [1148.63] solve iteration 71, LB=-237241, UB=-53133
1327.58/1328.69	c [1148.96] solve iteration 72, LB=-237241, UB=-53133
1327.58/1328.69	c [1149.42] solve iteration 73, LB=-237241, UB=-53133
1327.58/1328.69	c [1149.85] solve iteration 74, LB=-237241, UB=-53133
1327.58/1328.69	c [1150.19] solve iteration 75, LB=-237241, UB=-53133
1327.58/1328.69	c [1322.27] solve iteration 76, LB=-237241, UB=-53133
1327.58/1328.69	c [1322.68] solve iteration 77, LB=-237241, UB=-53133
1327.58/1328.69	c [1323.02] solve iteration 78, LB=-237241, UB=-53133
1327.58/1328.69	c [1323.4] solve iteration 79, LB=-237241, UB=-53133
2251.20/2252.91	c [1323.72] solve iteration 80, LB=-237241, UB=-53133
2251.20/2252.91	c [1513.3] solve iteration 81, LB=-237241, UB=-53133
2251.20/2252.91	c [1513.67] solve iteration 82, LB=-237241, UB=-53133
2251.20/2252.91	c [1514.04] solve iteration 83, LB=-237241, UB=-53133
2251.20/2252.91	c [1514.47] solve iteration 84, LB=-237241, UB=-53133
2251.20/2252.91	c [1514.86] solve iteration 85, LB=-237241, UB=-53133
2251.20/2252.91	c [1685.59] solve iteration 86, LB=-237241, UB=-53133
2251.20/2252.91	c [1685.97] solve iteration 87, LB=-237241, UB=-53133
2251.20/2252.91	c [1686.32] solve iteration 88, LB=-237241, UB=-53133
2251.20/2252.91	c [1686.79] solve iteration 89, LB=-237241, UB=-53133
2251.20/2252.91	c [1687.23] solve iteration 90, LB=-237241, UB=-53133
2251.20/2252.91	c [1879.51] solve iteration 91, LB=-237241, UB=-53133
2251.20/2252.91	c [1879.89] solve iteration 92, LB=-237241, UB=-53133
2251.20/2252.91	c [1880.28] solve iteration 93, LB=-237241, UB=-53133
2251.20/2252.91	c [1880.72] solve iteration 94, LB=-237241, UB=-53133
2251.20/2252.91	c [1881.05] solve iteration 95, LB=-237241, UB=-53133
2251.20/2252.91	c [1973.3] solve iteration 96, LB=-237241, UB=-53700
2251.20/2252.91	c [1973.76] solve iteration 97, LB=-237241, UB=-53700
2251.20/2252.91	c [1974.16] solve iteration 98, LB=-237241, UB=-53700
2251.20/2252.91	c [1974.58] solve iteration 99, LB=-237241, UB=-53700
2251.20/2252.91	c [1974.92] solve iteration 100, LB=-237241, UB=-53700
2251.20/2252.91	c [1976.56] solve iteration 101, LB=-237241, UB=-53701
2251.20/2252.91	c [1976.96] solve iteration 102, LB=-237241, UB=-53701
2251.20/2252.91	c [1977.42] solve iteration 103, LB=-237241, UB=-53701
2251.20/2252.91	c [1977.91] solve iteration 104, LB=-237241, UB=-53701
2251.20/2252.91	c [1978.32] solve iteration 105, LB=-237241, UB=-53701
2251.20/2252.91	c [1979.58] solve iteration 106, LB=-237241, UB=-53702
2251.20/2252.91	c [1980.03] solve iteration 107, LB=-237241, UB=-53743
2251.20/2252.91	c [1980.48] solve iteration 108, LB=-237241, UB=-53743
2251.20/2252.91	c [1980.92] solve iteration 109, LB=-237241, UB=-53743
2251.20/2252.91	c [1981.36] solve iteration 110, LB=-237241, UB=-53743
2251.20/2252.91	c [1982.01] solve iteration 111, LB=-237241, UB=-53846
2251.20/2252.91	c [1982.48] solve iteration 112, LB=-237241, UB=-53846
2251.20/2252.91	c [1982.94] solve iteration 113, LB=-237241, UB=-53846
2251.20/2252.91	c [1983.39] solve iteration 114, LB=-237241, UB=-53846
2251.20/2252.91	c [1983.85] solve iteration 115, LB=-237241, UB=-53846
2251.20/2252.91	c [1988.49] solve iteration 116, LB=-237241, UB=-53850
2251.20/2252.91	c [1988.81] solve iteration 117, LB=-237241, UB=-53850
2251.20/2252.91	c [1989.29] solve iteration 118, LB=-237241, UB=-53850
2251.20/2252.91	c [1989.74] solve iteration 119, LB=-237241, UB=-53850
2251.20/2252.91	c [1990.12] solve iteration 120, LB=-237241, UB=-53850
2251.20/2252.91	c [1991.38] solve iteration 121, LB=-237241, UB=-53855
2251.20/2252.91	c [1991.83] solve iteration 122, LB=-237241, UB=-74648
2251.20/2252.91	c [1992.26] solve iteration 123, LB=-237241, UB=-74648
2251.20/2252.91	c [1992.6] solve iteration 124, LB=-237241, UB=-74648
2251.20/2252.91	c [1993.1] solve iteration 125, LB=-237241, UB=-74648
2251.20/2252.91	c [2158.72] solve iteration 126, LB=-237241, UB=-74648
2251.20/2252.91	c [2159.13] solve iteration 127, LB=-237241, UB=-74648
2251.20/2252.91	c [2159.72] solve iteration 128, LB=-237241, UB=-74648
2251.20/2252.91	c [2160.15] solve iteration 129, LB=-237241, UB=-74648
2251.20/2252.91	c [2160.59] solve iteration 130, LB=-237241, UB=-74648
2251.20/2252.91	c [2231.58] solve iteration 131, LB=-237241, UB=-74714
2251.20/2252.91	c [2231.95] solve iteration 132, LB=-237241, UB=-74714
2251.20/2252.91	c [2232.44] solve iteration 133, LB=-237241, UB=-74714
2251.20/2252.91	c [2232.87] solve iteration 134, LB=-237241, UB=-74714
2251.20/2252.91	c [2233.36] solve iteration 135, LB=-237241, UB=-74714
2251.20/2252.91	c [2234.35] solve iteration 136, LB=-237241, UB=-74857
2251.20/2252.91	c [2234.82] solve iteration 137, LB=-237241, UB=-74857
2251.20/2252.91	c [2235.33] solve iteration 138, LB=-237241, UB=-74857
2251.20/2252.91	c [2235.91] solve iteration 139, LB=-237241, UB=-74857
2251.20/2252.91	c [2236.32] solve iteration 140, LB=-237241, UB=-74857
2251.20/2252.91	c [2236.97] solve iteration 141, LB=-237241, UB=-74946
2251.20/2252.91	c [2237.4] solve iteration 142, LB=-237241, UB=-74946
2251.20/2252.91	c [2237.91] solve iteration 143, LB=-237241, UB=-74946
2251.20/2252.91	c [2238.3] solve iteration 144, LB=-237241, UB=-74946
2251.20/2252.91	c [2238.8] solve iteration 145, LB=-237241, UB=-74946
2251.20/2252.91	c [2239.6] solve iteration 146, LB=-237241, UB=-75001
2251.20/2252.91	c [2240.07] solve iteration 147, LB=-237241, UB=-75001
2251.20/2252.91	c [2240.56] solve iteration 148, LB=-237241, UB=-75001
2251.20/2252.91	c [2241.12] solve iteration 149, LB=-237241, UB=-75001
2251.20/2252.91	c [2241.55] solve iteration 150, LB=-237241, UB=-75001
2251.20/2252.91	c [2242.92] solve iteration 151, LB=-237241, UB=-75090
2251.20/2252.91	c [2243.44] solve iteration 152, LB=-237241, UB=-75090
2251.20/2252.91	c [2243.99] solve iteration 153, LB=-237241, UB=-75090
2251.20/2252.91	c [2244.45] solve iteration 154, LB=-237241, UB=-75090
2299.65/2301.42	c [2244.91] solve iteration 155, LB=-237241, UB=-75090
2299.65/2301.42	c [2245.44] solve iteration 156, LB=-237241, UB=-75091
2299.65/2301.42	c [2246.08] solve iteration 157, LB=-237241, UB=-75091
2299.65/2301.42	c [2246.63] solve iteration 158, LB=-237241, UB=-75091
2299.65/2301.42	c [2247.11] solve iteration 159, LB=-237241, UB=-75091
2299.65/2301.42	c [2247.55] solve iteration 160, LB=-237241, UB=-75091
2299.65/2301.42	c [2248.14] solve iteration 161, LB=-237241, UB=-75096
2299.65/2301.42	c [2248.62] solve iteration 162, LB=-237241, UB=-75096
2299.65/2301.42	c [2249.21] solve iteration 163, LB=-237241, UB=-75096
2299.65/2301.42	c [2249.7] solve iteration 164, LB=-237241, UB=-75096
2299.65/2301.42	c [2250.13] solve iteration 165, LB=-237241, UB=-75096
2299.65/2301.42	c [2250.74] solve iteration 166, LB=-237241, UB=-75099
2299.65/2301.42	c [2251.3] solve iteration 167, LB=-237241, UB=-75099
2299.65/2301.42	c [2251.9] solve iteration 168, LB=-237241, UB=-75099
2299.65/2301.42	c [2252.46] solve iteration 169, LB=-237241, UB=-75099
2299.65/2301.42	c [2252.89] solve iteration 170, LB=-237241, UB=-75099
2299.65/2301.42	c [2253.5] solve iteration 171, LB=-237241, UB=-75100
2299.65/2301.42	c [2253.93] solve iteration 172, LB=-237241, UB=-75100
2299.65/2301.42	c [2254.44] solve iteration 173, LB=-237241, UB=-75100
2299.65/2301.42	c [2254.98] solve iteration 174, LB=-237241, UB=-75100
2299.65/2301.42	c [2255.55] solve iteration 175, LB=-237241, UB=-75100
2299.65/2301.42	c [2257.56] solve iteration 176, LB=-237241, UB=-75112
2299.65/2301.42	c [2257.98] solve iteration 177, LB=-237241, UB=-75112
2299.65/2301.42	c [2258.49] solve iteration 178, LB=-237241, UB=-75112
2299.65/2301.42	c [2258.99] solve iteration 179, LB=-237241, UB=-75112
2299.65/2301.42	c [2259.51] solve iteration 180, LB=-237241, UB=-75112
2299.65/2301.42	c [2261.41] solve iteration 181, LB=-237241, UB=-75133
2299.65/2301.42	c [2261.88] solve iteration 182, LB=-237241, UB=-75133
2299.65/2301.42	c [2262.4] solve iteration 183, LB=-237241, UB=-75133
2299.65/2301.42	c [2262.87] solve iteration 184, LB=-237241, UB=-75133
2299.65/2301.42	c [2263.35] solve iteration 185, LB=-237241, UB=-75133
2299.65/2301.42	c [2264.31] solve iteration 186, LB=-237241, UB=-75154
2299.65/2301.42	c [2264.89] solve iteration 187, LB=-237241, UB=-75154
2299.65/2301.42	c [2265.36] solve iteration 188, LB=-237241, UB=-75154
2299.65/2301.42	c [2265.91] solve iteration 189, LB=-237241, UB=-75154
2299.65/2301.42	c [2266.48] solve iteration 190, LB=-237241, UB=-75154
2299.65/2301.42	c [2268.25] solve iteration 191, LB=-237241, UB=-75187
2299.65/2301.42	c [2268.78] solve iteration 192, LB=-237241, UB=-75187
2299.65/2301.42	c [2269.37] solve iteration 193, LB=-237241, UB=-75187
2299.65/2301.42	c [2269.82] solve iteration 194, LB=-237241, UB=-75187
2299.65/2301.42	c [2270.29] solve iteration 195, LB=-237241, UB=-75187
2299.65/2301.42	c [2271.83] solve iteration 196, LB=-237241, UB=-75197
2299.65/2301.42	c [2272.42] solve iteration 197, LB=-237241, UB=-75197
2299.65/2301.42	c [2272.88] solve iteration 198, LB=-237241, UB=-75197
2299.65/2301.42	c [2273.39] solve iteration 199, LB=-237241, UB=-75197
2299.65/2301.42	c [2274.01] solve iteration 200, LB=-237241, UB=-75197
2299.65/2301.42	c [2275.07] solve iteration 201, LB=-237241, UB=-75208
2299.65/2301.42	c [2275.69] solve iteration 202, LB=-237241, UB=-75208
2299.65/2301.42	c [2276.17] solve iteration 203, LB=-237241, UB=-75208
2299.65/2301.42	c [2276.67] solve iteration 204, LB=-237241, UB=-75208
2299.65/2301.42	c [2277.23] solve iteration 205, LB=-237241, UB=-75208
2299.65/2301.42	c [2277.89] solve iteration 206, LB=-237241, UB=-75209
2299.65/2301.42	c [2278.43] solve iteration 207, LB=-237241, UB=-75209
2299.65/2301.42	c [2279.01] solve iteration 208, LB=-237241, UB=-75209
2299.65/2301.42	c [2279.49] solve iteration 209, LB=-237241, UB=-75209
2299.65/2301.42	c [2280.01] solve iteration 210, LB=-237241, UB=-75209
2299.65/2301.42	c [2280.62] solve iteration 211, LB=-237241, UB=-75210
2299.65/2301.42	c [2281.14] solve iteration 212, LB=-237241, UB=-75210
2299.65/2301.42	c [2281.76] solve iteration 213, LB=-237241, UB=-75210
2299.65/2301.42	c [2282.37] solve iteration 214, LB=-237241, UB=-75210
2299.65/2301.42	c [2282.92] solve iteration 215, LB=-237241, UB=-75210
2299.65/2301.42	c [2283.61] solve iteration 216, LB=-237241, UB=-75213
2299.65/2301.42	c [2284.26] solve iteration 217, LB=-237241, UB=-75213
2299.65/2301.42	c [2284.8] solve iteration 218, LB=-237241, UB=-75213
2299.65/2301.42	c [2285.39] solve iteration 219, LB=-237241, UB=-75213
2299.65/2301.42	c [2286.07] solve iteration 220, LB=-237241, UB=-75213
2299.65/2301.42	c [2286.83] solve iteration 221, LB=-237241, UB=-75214
2299.65/2301.42	c [2287.39] solve iteration 222, LB=-237241, UB=-75214
2299.65/2301.42	c [2288.04] solve iteration 223, LB=-237241, UB=-75214
2299.65/2301.42	c [2288.6] solve iteration 224, LB=-237241, UB=-75214
2299.65/2301.42	c [2289.13] solve iteration 225, LB=-237241, UB=-75214
2299.65/2301.42	c [2290.39] solve iteration 226, LB=-237241, UB=-75218
2299.65/2301.42	c [2290.91] solve iteration 227, LB=-237241, UB=-75218
2299.65/2301.42	c [2291.53] solve iteration 228, LB=-237241, UB=-75218
2299.65/2301.42	c [2292.08] solve iteration 229, LB=-237241, UB=-75218
2358.09/2359.98	c [2292.66] solve iteration 230, LB=-237241, UB=-75218
2358.09/2359.98	c [2294.43] solve iteration 231, LB=-237241, UB=-75219
2358.09/2359.98	c [2295.01] solve iteration 232, LB=-237241, UB=-75219
2358.09/2359.98	c [2295.62] solve iteration 233, LB=-237241, UB=-75219
2358.09/2359.98	c [2296.15] solve iteration 234, LB=-237241, UB=-75219
2358.09/2359.98	c [2296.64] solve iteration 235, LB=-237241, UB=-75219
2358.09/2359.98	c [2297.72] solve iteration 236, LB=-237241, UB=-75220
2358.09/2359.98	c [2298.28] solve iteration 237, LB=-237241, UB=-75220
2358.09/2359.98	c [2298.86] solve iteration 238, LB=-237241, UB=-75220
2358.09/2359.98	c [2299.48] solve iteration 239, LB=-237241, UB=-75220
2358.09/2359.98	c [2300.14] solve iteration 240, LB=-237241, UB=-75220
2358.09/2359.98	c [2301.6] solve iteration 241, LB=-237241, UB=-75253
2358.09/2359.98	c [2302.2] solve iteration 242, LB=-237241, UB=-75253
2358.09/2359.98	c [2302.79] solve iteration 243, LB=-237241, UB=-75253
2358.09/2359.98	c [2303.43] solve iteration 244, LB=-237241, UB=-75253
2358.09/2359.98	c [2303.97] solve iteration 245, LB=-237241, UB=-75253
2358.09/2359.98	c [2306.06] solve iteration 246, LB=-237241, UB=-75254
2358.09/2359.98	c [2306.65] solve iteration 247, LB=-237241, UB=-75254
2358.09/2359.98	c [2307.3] solve iteration 248, LB=-237241, UB=-75254
2358.09/2359.98	c [2307.89] solve iteration 249, LB=-237241, UB=-75254
2358.09/2359.98	c [2308.5] solve iteration 250, LB=-237241, UB=-75254
2358.09/2359.98	c [2310.34] solve iteration 251, LB=-237241, UB=-75486
2358.09/2359.98	c [2310.91] solve iteration 252, LB=-237241, UB=-78829
2358.09/2359.98	c [2311.52] solve iteration 253, LB=-237241, UB=-78829
2358.09/2359.98	c [2312.13] solve iteration 254, LB=-237241, UB=-78829
2358.09/2359.98	c [2312.75] solve iteration 255, LB=-237241, UB=-78829
2358.09/2359.98	c [2314.3] solve iteration 256, LB=-237241, UB=-79664
2358.09/2359.98	c [2314.92] solve iteration 257, LB=-237241, UB=-79664
2358.09/2359.98	c [2315.56] solve iteration 258, LB=-237241, UB=-79664
2358.09/2359.98	c [2316.11] solve iteration 259, LB=-237241, UB=-79664
2358.09/2359.98	c [2316.62] solve iteration 260, LB=-237241, UB=-79664
2358.09/2359.98	c [2318.45] solve iteration 261, LB=-237241, UB=-79665
2358.09/2359.98	c [2318.98] solve iteration 262, LB=-237241, UB=-79665
2358.09/2359.98	c [2319.5] solve iteration 263, LB=-237241, UB=-79665
2358.09/2359.98	c [2319.98] solve iteration 264, LB=-237241, UB=-79665
2358.09/2359.98	c [2320.55] solve iteration 265, LB=-237241, UB=-79665
2358.09/2359.98	c [2322.15] solve iteration 266, LB=-237241, UB=-79806
2358.09/2359.98	c [2322.67] solve iteration 267, LB=-237241, UB=-79806
2358.09/2359.98	c [2323.27] solve iteration 268, LB=-237241, UB=-79806
2358.09/2359.98	c [2323.82] solve iteration 269, LB=-237241, UB=-79806
2358.09/2359.98	c [2324.37] solve iteration 270, LB=-237241, UB=-79806
2358.09/2359.98	c [2325.84] solve iteration 271, LB=-237241, UB=-79892
2358.09/2359.98	c [2326.4] solve iteration 272, LB=-237241, UB=-79892
2358.09/2359.98	c [2326.94] solve iteration 273, LB=-237241, UB=-79892
2358.09/2359.98	c [2327.52] solve iteration 274, LB=-237241, UB=-79892
2358.09/2359.98	c [2328.06] solve iteration 275, LB=-237241, UB=-79892
2358.09/2359.98	c [2328.97] solve iteration 276, LB=-237241, UB=-79893
2358.09/2359.98	c [2329.54] solve iteration 277, LB=-237241, UB=-79893
2358.09/2359.98	c [2330.08] solve iteration 278, LB=-237241, UB=-79893
2358.09/2359.98	c [2330.6] solve iteration 279, LB=-237241, UB=-79893
2358.09/2359.98	c [2331.17] solve iteration 280, LB=-237241, UB=-79893
2358.09/2359.98	c [2332.41] solve iteration 281, LB=-237241, UB=-80879
2358.09/2359.98	c [2333.1] solve iteration 282, LB=-237241, UB=-80879
2358.09/2359.98	c [2333.76] solve iteration 283, LB=-237241, UB=-80879
2358.09/2359.98	c [2334.33] solve iteration 284, LB=-237241, UB=-80879
2358.09/2359.98	c [2335.06] solve iteration 285, LB=-237241, UB=-80879
2358.09/2359.98	c [2336.36] solve iteration 286, LB=-237241, UB=-82473
2358.09/2359.98	c [2337.12] solve iteration 287, LB=-237241, UB=-82473
2358.09/2359.98	c [2337.74] solve iteration 288, LB=-237241, UB=-82473
2358.09/2359.98	c [2338.43] solve iteration 289, LB=-237241, UB=-82473
2358.09/2359.98	c [2338.93] solve iteration 290, LB=-237241, UB=-82473
2358.09/2359.98	c [2339.69] solve iteration 291, LB=-237241, UB=-82474
2358.09/2359.98	c [2340.32] solve iteration 292, LB=-237241, UB=-82474
2358.09/2359.98	c [2340.94] solve iteration 293, LB=-237241, UB=-82474
2358.09/2359.98	c [2341.58] solve iteration 294, LB=-237241, UB=-82474
2358.09/2359.98	c [2342.14] solve iteration 295, LB=-237241, UB=-82474
2358.09/2359.98	c [2343.74] solve iteration 296, LB=-237241, UB=-86654
2358.09/2359.98	c [2344.45] solve iteration 297, LB=-237241, UB=-86654
2358.09/2359.98	c [2345.08] solve iteration 298, LB=-237241, UB=-86654
2358.09/2359.98	c [2345.73] solve iteration 299, LB=-237241, UB=-86654
2358.09/2359.98	c [2346.43] solve iteration 300, LB=-237241, UB=-86654
2358.09/2359.98	c [2348.53] solve iteration 301, LB=-237241, UB=-93330
2358.09/2359.98	c [2349.18] solve iteration 302, LB=-237241, UB=-93330
2358.09/2359.98	c [2349.9] solve iteration 303, LB=-237241, UB=-93330
2424.23/2426.19	c [2350.59] solve iteration 304, LB=-237241, UB=-93330
2424.23/2426.19	c [2351.22] solve iteration 305, LB=-237241, UB=-93330
2424.23/2426.19	c [2351.94] solve iteration 306, LB=-237241, UB=-93331
2424.23/2426.19	c [2352.53] solve iteration 307, LB=-237241, UB=-93331
2424.23/2426.19	c [2353.16] solve iteration 308, LB=-237241, UB=-93331
2424.23/2426.19	c [2353.68] solve iteration 309, LB=-237241, UB=-93331
2424.23/2426.19	c [2354.42] solve iteration 310, LB=-237241, UB=-93331
2424.23/2426.19	c [2355.81] solve iteration 311, LB=-237241, UB=-93406
2424.23/2426.19	c [2356.32] solve iteration 312, LB=-237241, UB=-93406
2424.23/2426.19	c [2356.94] solve iteration 313, LB=-237241, UB=-93406
2424.23/2426.19	c [2357.62] solve iteration 314, LB=-237241, UB=-93406
2424.23/2426.19	c [2358.35] solve iteration 315, LB=-237241, UB=-93406
2424.23/2426.19	c [2361.55] solve iteration 316, LB=-237241, UB=-93469
2424.23/2426.19	c [2362.24] solve iteration 317, LB=-237241, UB=-93469
2424.23/2426.19	c [2362.81] solve iteration 318, LB=-237241, UB=-93469
2424.23/2426.19	c [2363.5] solve iteration 319, LB=-237241, UB=-93469
2424.23/2426.19	c [2364.12] solve iteration 320, LB=-237241, UB=-93469
2424.23/2426.19	c [2367.78] solve iteration 321, LB=-237241, UB=-93474
2424.23/2426.19	c [2368.48] solve iteration 322, LB=-237241, UB=-93474
2424.23/2426.19	c [2369.12] solve iteration 323, LB=-237241, UB=-93474
2424.23/2426.19	c [2369.77] solve iteration 324, LB=-237241, UB=-93474
2424.23/2426.19	c [2370.54] solve iteration 325, LB=-237241, UB=-93474
2424.23/2426.19	c [2371.27] solve iteration 326, LB=-237241, UB=-93475
2424.23/2426.19	c [2371.95] solve iteration 327, LB=-237241, UB=-93475
2424.23/2426.19	c [2372.57] solve iteration 328, LB=-237241, UB=-93475
2424.23/2426.19	c [2373.21] solve iteration 329, LB=-237241, UB=-93475
2424.23/2426.19	c [2373.96] solve iteration 330, LB=-237241, UB=-93475
2424.23/2426.19	c [2374.78] solve iteration 331, LB=-237241, UB=-93476
2424.23/2426.19	c [2375.54] solve iteration 332, LB=-237241, UB=-93476
2424.23/2426.19	c [2376.18] solve iteration 333, LB=-237241, UB=-93476
2424.23/2426.19	c [2376.83] solve iteration 334, LB=-237241, UB=-93476
2424.23/2426.19	c [2377.43] solve iteration 335, LB=-237241, UB=-93476
2424.23/2426.19	c [2379.35] solve iteration 336, LB=-237241, UB=-93509
2424.23/2426.19	c [2380.04] solve iteration 337, LB=-237241, UB=-93509
2424.23/2426.19	c [2380.66] solve iteration 338, LB=-237241, UB=-93509
2424.23/2426.19	c [2381.4] solve iteration 339, LB=-237241, UB=-93509
2424.23/2426.19	c [2382.37] solve iteration 340, LB=-237241, UB=-93509
2424.23/2426.19	c [2385.21] solve iteration 341, LB=-237241, UB=-93545
2424.23/2426.19	c [2385.84] solve iteration 342, LB=-237241, UB=-93545
2424.23/2426.19	c [2386.56] solve iteration 343, LB=-237241, UB=-93545
2424.23/2426.19	c [2387.23] solve iteration 344, LB=-237241, UB=-93545
2424.23/2426.19	c [2387.89] solve iteration 345, LB=-237241, UB=-93545
2424.23/2426.19	c [2389.96] solve iteration 346, LB=-237241, UB=-93546
2424.23/2426.19	c [2390.67] solve iteration 347, LB=-237241, UB=-93546
2424.23/2426.19	c [2391.41] solve iteration 348, LB=-237241, UB=-93546
2424.23/2426.19	c [2392.05] solve iteration 349, LB=-237241, UB=-93546
2424.23/2426.19	c [2392.7] solve iteration 350, LB=-237241, UB=-93546
2424.23/2426.19	c [2393.56] solve iteration 351, LB=-237241, UB=-93547
2424.23/2426.19	c [2394.21] solve iteration 352, LB=-237241, UB=-93547
2424.23/2426.19	c [2394.9] solve iteration 353, LB=-237241, UB=-93547
2424.23/2426.19	c [2395.62] solve iteration 354, LB=-237241, UB=-93547
2424.23/2426.19	c [2396.31] solve iteration 355, LB=-237241, UB=-93547
2424.23/2426.19	c [2397.18] solve iteration 356, LB=-237241, UB=-93548
2424.23/2426.19	c [2397.88] solve iteration 357, LB=-237241, UB=-93548
2424.23/2426.19	c [2398.76] solve iteration 358, LB=-237241, UB=-93548
2424.23/2426.19	c [2399.46] solve iteration 359, LB=-237241, UB=-93548
2424.23/2426.19	c [2400.11] solve iteration 360, LB=-237241, UB=-93548
2424.23/2426.19	c [2401.1] solve iteration 361, LB=-237241, UB=-93549
2424.23/2426.19	c [2401.87] solve iteration 362, LB=-237241, UB=-93549
2424.23/2426.19	c [2402.64] solve iteration 363, LB=-237241, UB=-93549
2424.23/2426.19	c [2403.37] solve iteration 364, LB=-237241, UB=-93549
2424.23/2426.19	c [2404.1] solve iteration 365, LB=-237241, UB=-93549
2424.23/2426.19	c [2405.06] solve iteration 366, LB=-237241, UB=-93550
2424.23/2426.19	c [2405.74] solve iteration 367, LB=-237241, UB=-93550
2424.23/2426.19	c [2406.57] solve iteration 368, LB=-237241, UB=-93550
2424.23/2426.19	c [2407.42] solve iteration 369, LB=-237241, UB=-93550
2424.23/2426.19	c [2408.2] solve iteration 370, LB=-237241, UB=-93550
2424.23/2426.19	c [2409.99] solve iteration 371, LB=-237241, UB=-93552
2424.23/2426.19	c [2410.71] solve iteration 372, LB=-237241, UB=-93552
2424.23/2426.19	c [2411.45] solve iteration 373, LB=-237241, UB=-93552
2424.23/2426.19	c [2412.29] solve iteration 374, LB=-237241, UB=-93552
2424.23/2426.19	c [2412.93] solve iteration 375, LB=-237241, UB=-93552
2424.23/2426.19	c [2414.31] solve iteration 376, LB=-237241, UB=-93556
2424.23/2426.19	c [2414.97] solve iteration 377, LB=-237241, UB=-93556
2424.23/2426.19	c [2415.72] solve iteration 378, LB=-237241, UB=-93556
2519.54/2521.52	c [2416.52] solve iteration 379, LB=-237241, UB=-93556
2519.54/2521.52	c [2417.39] solve iteration 380, LB=-237241, UB=-93556
2519.54/2521.52	c [2419.56] solve iteration 381, LB=-237241, UB=-93560
2519.54/2521.52	c [2420.32] solve iteration 382, LB=-237241, UB=-93560
2519.54/2521.52	c [2421.19] solve iteration 383, LB=-237241, UB=-93560
2519.54/2521.52	c [2421.89] solve iteration 384, LB=-237241, UB=-93560
2519.54/2521.52	c [2422.61] solve iteration 385, LB=-237241, UB=-93560
2519.54/2521.52	c [2424.64] solve iteration 386, LB=-237241, UB=-93593
2519.54/2521.52	c [2425.34] solve iteration 387, LB=-237241, UB=-93593
2519.54/2521.52	c [2426.27] solve iteration 388, LB=-237241, UB=-93593
2519.54/2521.52	c [2427.03] solve iteration 389, LB=-237241, UB=-93593
2519.54/2521.52	c [2427.9] solve iteration 390, LB=-237241, UB=-93593
2519.54/2521.52	c [2429.7] solve iteration 391, LB=-237241, UB=-93626
2519.54/2521.52	c [2430.42] solve iteration 392, LB=-237241, UB=-93626
2519.54/2521.52	c [2431.2] solve iteration 393, LB=-237241, UB=-93626
2519.54/2521.52	c [2431.93] solve iteration 394, LB=-237241, UB=-93626
2519.54/2521.52	c [2432.67] solve iteration 395, LB=-237241, UB=-93626
2519.54/2521.52	c [2434.5] solve iteration 396, LB=-237241, UB=-93636
2519.54/2521.52	c [2435.23] solve iteration 397, LB=-237241, UB=-93636
2519.54/2521.52	c [2436.02] solve iteration 398, LB=-237241, UB=-93636
2519.54/2521.52	c [2436.79] solve iteration 399, LB=-237241, UB=-93636
2519.54/2521.52	c [2437.57] solve iteration 400, LB=-237241, UB=-93636
2519.54/2521.52	c [2441.2] solve iteration 401, LB=-237241, UB=-93644
2519.54/2521.52	c [2442.06] solve iteration 402, LB=-237241, UB=-93644
2519.54/2521.52	c [2442.86] solve iteration 403, LB=-237241, UB=-93644
2519.54/2521.52	c [2443.61] solve iteration 404, LB=-237241, UB=-93644
2519.54/2521.52	c [2444.43] solve iteration 405, LB=-237241, UB=-93644
2519.54/2521.52	c [2447.94] solve iteration 406, LB=-237241, UB=-100396
2519.54/2521.52	c [2448.64] solve iteration 407, LB=-237241, UB=-100396
2519.54/2521.52	c [2449.42] solve iteration 408, LB=-237241, UB=-100396
2519.54/2521.52	c [2450.17] solve iteration 409, LB=-237241, UB=-100396
2519.54/2521.52	c [2450.98] solve iteration 410, LB=-237241, UB=-100396
2519.54/2521.52	c [2453.41] solve iteration 411, LB=-237241, UB=-100404
2519.54/2521.52	c [2454.22] solve iteration 412, LB=-237241, UB=-100404
2519.54/2521.52	c [2455.05] solve iteration 413, LB=-237241, UB=-100404
2519.54/2521.52	c [2455.89] solve iteration 414, LB=-237241, UB=-100404
2519.54/2521.52	c [2456.72] solve iteration 415, LB=-237241, UB=-100404
2519.54/2521.52	c [2459.28] solve iteration 416, LB=-237241, UB=-102975
2519.54/2521.52	c [2460.25] solve iteration 417, LB=-237241, UB=-102975
2519.54/2521.52	c [2461.1] solve iteration 418, LB=-237241, UB=-102975
2519.54/2521.52	c [2462.12] solve iteration 419, LB=-237241, UB=-102975
2519.54/2521.52	c [2462.97] solve iteration 420, LB=-237241, UB=-102975
2519.54/2521.52	c [2466.82] solve iteration 421, LB=-237241, UB=-103949
2519.54/2521.52	c [2467.72] solve iteration 422, LB=-237241, UB=-103949
2519.54/2521.52	c [2468.62] solve iteration 423, LB=-237241, UB=-103949
2519.54/2521.52	c [2469.33] solve iteration 424, LB=-237241, UB=-103949
2519.54/2521.52	c [2470.12] solve iteration 425, LB=-237241, UB=-103949
2519.54/2521.52	c [2472.26] solve iteration 426, LB=-237241, UB=-104525
2519.54/2521.52	c [2473.09] solve iteration 427, LB=-237241, UB=-104525
2519.54/2521.52	c [2474.05] solve iteration 428, LB=-237241, UB=-104525
2519.54/2521.52	c [2474.78] solve iteration 429, LB=-237241, UB=-104525
2519.54/2521.52	c [2475.52] solve iteration 430, LB=-237241, UB=-104525
2519.54/2521.52	c [2479.23] solve iteration 431, LB=-237241, UB=-104580
2519.54/2521.52	c [2480.03] solve iteration 432, LB=-237241, UB=-104580
2519.54/2521.52	c [2480.89] solve iteration 433, LB=-237241, UB=-104580
2519.54/2521.52	c [2481.75] solve iteration 434, LB=-237241, UB=-104580
2519.54/2521.52	c [2482.51] solve iteration 435, LB=-237241, UB=-104580
2519.54/2521.52	c [2492.84] solve iteration 436, LB=-237241, UB=-111222
2519.54/2521.52	c [2493.71] solve iteration 437, LB=-237241, UB=-111222
2519.54/2521.52	c [2494.53] solve iteration 438, LB=-237241, UB=-111222
2519.54/2521.52	c [2495.41] solve iteration 439, LB=-237241, UB=-111222
2519.54/2521.52	c [2496.38] solve iteration 440, LB=-237241, UB=-111222
2519.54/2521.52	c [2498.37] solve iteration 441, LB=-237241, UB=-112442
2519.54/2521.52	c [2499.32] solve iteration 442, LB=-237241, UB=-112442
2519.54/2521.52	c [2500.28] solve iteration 443, LB=-237241, UB=-112442
2519.54/2521.52	c [2501.18] solve iteration 444, LB=-237241, UB=-112442
2519.54/2521.52	c [2502.08] solve iteration 445, LB=-237241, UB=-112442
2519.54/2521.52	c [2504.26] solve iteration 446, LB=-237241, UB=-112531
2519.54/2521.52	c [2505.21] solve iteration 447, LB=-237241, UB=-112531
2519.54/2521.52	c [2506.1] solve iteration 448, LB=-237241, UB=-112531
2519.54/2521.52	c [2507] solve iteration 449, LB=-237241, UB=-112531
2519.54/2521.52	c [2508.02] solve iteration 450, LB=-237241, UB=-112531
2519.54/2521.52	c [2509.63] solve iteration 451, LB=-237241, UB=-116335
2519.54/2521.52	c [2510.58] solve iteration 452, LB=-237241, UB=-116335
2613.97/2616.09	c [2511.55] solve iteration 453, LB=-237241, UB=-116335
2613.97/2616.09	c [2512.4] solve iteration 454, LB=-237241, UB=-116335
2613.97/2616.09	c [2513.32] solve iteration 455, LB=-237241, UB=-116335
2613.97/2616.09	c [2515.45] solve iteration 456, LB=-237241, UB=-116712
2613.97/2616.09	c [2516.37] solve iteration 457, LB=-237241, UB=-116712
2613.97/2616.09	c [2517.24] solve iteration 458, LB=-237241, UB=-116712
2613.97/2616.09	c [2518.17] solve iteration 459, LB=-237241, UB=-116712
2613.97/2616.09	c [2519.01] solve iteration 460, LB=-237241, UB=-116712
2613.97/2616.09	c [2521.41] solve iteration 461, LB=-237241, UB=-116725
2613.97/2616.09	c [2522.33] solve iteration 462, LB=-237241, UB=-116725
2613.97/2616.09	c [2523.26] solve iteration 463, LB=-237241, UB=-116725
2613.97/2616.09	c [2524.18] solve iteration 464, LB=-237241, UB=-116725
2613.97/2616.09	c [2525.03] solve iteration 465, LB=-237241, UB=-116725
2613.97/2616.09	c [2527.47] solve iteration 466, LB=-237241, UB=-116780
2613.97/2616.09	c [2528.51] solve iteration 467, LB=-237241, UB=-116780
2613.97/2616.09	c [2529.45] solve iteration 468, LB=-237241, UB=-116780
2613.97/2616.09	c [2530.4] solve iteration 469, LB=-237241, UB=-116780
2613.97/2616.09	c [2531.28] solve iteration 470, LB=-237241, UB=-116780
2613.97/2616.09	c [2532.84] solve iteration 471, LB=-237241, UB=-116856
2613.97/2616.09	c [2533.67] solve iteration 472, LB=-237241, UB=-116856
2613.97/2616.09	c [2534.69] solve iteration 473, LB=-237241, UB=-116856
2613.97/2616.09	c [2535.57] solve iteration 474, LB=-237241, UB=-116856
2613.97/2616.09	c [2536.47] solve iteration 475, LB=-237241, UB=-116856
2613.97/2616.09	c [2538.27] solve iteration 476, LB=-237241, UB=-117000
2613.97/2616.09	c [2539.23] solve iteration 477, LB=-237241, UB=-117000
2613.97/2616.09	c [2540.18] solve iteration 478, LB=-237241, UB=-117000
2613.97/2616.09	c [2541.07] solve iteration 479, LB=-237241, UB=-117000
2613.97/2616.09	c [2542.05] solve iteration 480, LB=-237241, UB=-117000
2613.97/2616.09	c [2544.51] solve iteration 481, LB=-237241, UB=-117003
2613.97/2616.09	c [2545.62] solve iteration 482, LB=-237241, UB=-117003
2613.97/2616.09	c [2546.53] solve iteration 483, LB=-237241, UB=-117003
2613.97/2616.09	c [2547.5] solve iteration 484, LB=-237241, UB=-117003
2613.97/2616.09	c [2548.41] solve iteration 485, LB=-237241, UB=-117003
2613.97/2616.09	c [2549.78] solve iteration 486, LB=-237241, UB=-117089
2613.97/2616.09	c [2550.85] solve iteration 487, LB=-237241, UB=-117089
2613.97/2616.09	c [2551.82] solve iteration 488, LB=-237241, UB=-117089
2613.97/2616.09	c [2552.71] solve iteration 489, LB=-237241, UB=-117089
2613.97/2616.09	c [2553.67] solve iteration 490, LB=-237241, UB=-117089
2613.97/2616.09	c [2556.58] solve iteration 491, LB=-237241, UB=-117092
2613.97/2616.09	c [2557.5] solve iteration 492, LB=-237241, UB=-117092
2613.97/2616.09	c [2558.42] solve iteration 493, LB=-237241, UB=-117092
2613.97/2616.09	c [2559.28] solve iteration 494, LB=-237241, UB=-117092
2613.97/2616.09	c [2560.34] solve iteration 495, LB=-237241, UB=-117092
2613.97/2616.09	c [2561.73] solve iteration 496, LB=-237241, UB=-117123
2613.97/2616.09	c [2562.73] solve iteration 497, LB=-237241, UB=-117123
2613.97/2616.09	c [2563.66] solve iteration 498, LB=-237241, UB=-117123
2613.97/2616.09	c [2564.66] solve iteration 499, LB=-237241, UB=-117123
2613.97/2616.09	c [2565.66] solve iteration 500, LB=-237241, UB=-117123
2613.97/2616.09	c [2570.15] solve iteration 501, LB=-237241, UB=-118076
2613.97/2616.09	c [2571.09] solve iteration 502, LB=-237241, UB=-118076
2613.97/2616.09	c [2572.1] solve iteration 503, LB=-237241, UB=-118076
2613.97/2616.09	c [2573.02] solve iteration 504, LB=-237241, UB=-118076
2613.97/2616.09	c [2573.96] solve iteration 505, LB=-237241, UB=-118076
2613.97/2616.09	c [2576.69] solve iteration 506, LB=-237241, UB=-118254
2613.97/2616.09	c [2577.62] solve iteration 507, LB=-237241, UB=-118254
2613.97/2616.09	c [2578.57] solve iteration 508, LB=-237241, UB=-118254
2613.97/2616.09	c [2579.52] solve iteration 509, LB=-237241, UB=-118254
2613.97/2616.09	c [2580.57] solve iteration 510, LB=-237241, UB=-118254
2613.97/2616.09	c [2586.11] solve iteration 511, LB=-237241, UB=-118343
2613.97/2616.09	c [2587.13] solve iteration 512, LB=-237241, UB=-118343
2613.97/2616.09	c [2588.05] solve iteration 513, LB=-237241, UB=-118343
2613.97/2616.09	c [2589.03] solve iteration 514, LB=-237241, UB=-118343
2613.97/2616.09	c [2590.03] solve iteration 515, LB=-237241, UB=-118343
2613.97/2616.09	c [2594.72] solve iteration 516, LB=-237241, UB=-118377
2613.97/2616.09	c [2595.77] solve iteration 517, LB=-237241, UB=-118377
2613.97/2616.09	c [2596.74] solve iteration 518, LB=-237241, UB=-118377
2613.97/2616.09	c [2597.73] solve iteration 519, LB=-237241, UB=-118377
2613.97/2616.09	c [2598.7] solve iteration 520, LB=-237241, UB=-118377
2613.97/2616.09	c [2600.58] solve iteration 521, LB=-237241, UB=-118398
2613.97/2616.09	c [2601.63] solve iteration 522, LB=-237241, UB=-118398
2613.97/2616.09	c [2602.67] solve iteration 523, LB=-237241, UB=-118398
2613.97/2616.09	c [2603.66] solve iteration 524, LB=-237241, UB=-118398
2613.97/2616.09	c [2604.65] solve iteration 525, LB=-237241, UB=-118398
2714.76/2717.00	c [2606.57] solve iteration 526, LB=-237241, UB=-118864
2714.76/2717.00	c [2607.56] solve iteration 527, LB=-237241, UB=-118864
2714.76/2717.00	c [2608.57] solve iteration 528, LB=-237241, UB=-118864
2714.76/2717.00	c [2609.62] solve iteration 529, LB=-237241, UB=-118864
2714.76/2717.00	c [2610.74] solve iteration 530, LB=-237241, UB=-118864
2714.76/2717.00	c [2612.7] solve iteration 531, LB=-237241, UB=-119241
2714.76/2717.00	c [2613.69] solve iteration 532, LB=-237241, UB=-119241
2714.76/2717.00	c [2614.62] solve iteration 533, LB=-237241, UB=-119241
2714.76/2717.00	c [2615.63] solve iteration 534, LB=-237241, UB=-119241
2714.76/2717.00	c [2616.69] solve iteration 535, LB=-237241, UB=-119241
2714.76/2717.00	c [2619.47] solve iteration 536, LB=-237241, UB=-119474
2714.76/2717.00	c [2620.53] solve iteration 537, LB=-237241, UB=-119474
2714.76/2717.00	c [2621.56] solve iteration 538, LB=-237241, UB=-119474
2714.76/2717.00	c [2622.53] solve iteration 539, LB=-237241, UB=-119474
2714.76/2717.00	c [2623.39] solve iteration 540, LB=-237241, UB=-119474
2714.76/2717.00	c [2627.57] solve iteration 541, LB=-237241, UB=-119563
2714.76/2717.00	c [2628.6] solve iteration 542, LB=-237241, UB=-119563
2714.76/2717.00	c [2629.61] solve iteration 543, LB=-237241, UB=-119563
2714.76/2717.00	c [2630.64] solve iteration 544, LB=-237241, UB=-119563
2714.76/2717.00	c [2631.74] solve iteration 545, LB=-237241, UB=-119563
2714.76/2717.00	c [2638.06] solve iteration 546, LB=-237241, UB=-119652
2714.76/2717.00	c [2639.1] solve iteration 547, LB=-237241, UB=-119652
2714.76/2717.00	c [2640.18] solve iteration 548, LB=-237241, UB=-119652
2714.76/2717.00	c [2641.4] solve iteration 549, LB=-237241, UB=-119652
2714.76/2717.00	c [2642.61] solve iteration 550, LB=-237241, UB=-119652
2714.76/2717.00	c [2645.53] solve iteration 551, LB=-237241, UB=-119885
2714.76/2717.00	c [2646.6] solve iteration 552, LB=-237241, UB=-119885
2714.76/2717.00	c [2647.72] solve iteration 553, LB=-237241, UB=-119885
2714.76/2717.00	c [2648.88] solve iteration 554, LB=-237241, UB=-119885
2714.76/2717.00	c [2650.05] solve iteration 555, LB=-237241, UB=-119885
2714.76/2717.00	c [2652.33] solve iteration 556, LB=-237241, UB=-120262
2714.76/2717.00	c [2653.5] solve iteration 557, LB=-237241, UB=-120262
2714.76/2717.00	c [2654.5] solve iteration 558, LB=-237241, UB=-120262
2714.76/2717.00	c [2655.68] solve iteration 559, LB=-237241, UB=-120262
2714.76/2717.00	c [2656.74] solve iteration 560, LB=-237241, UB=-120262
2714.76/2717.00	c [2658.63] solve iteration 561, LB=-237241, UB=-120351
2714.76/2717.00	c [2659.46] solve iteration 562, LB=-237241, UB=-120351
2714.76/2717.00	c [2660.3] solve iteration 563, LB=-237241, UB=-120351
2714.76/2717.00	c [2661.14] solve iteration 564, LB=-237241, UB=-120351
2714.76/2717.00	c [2662.1] solve iteration 565, LB=-237241, UB=-120351
2714.76/2717.00	c [2663.23] solve iteration 566, LB=-237241, UB=-120495
2714.76/2717.00	c [2664.12] solve iteration 567, LB=-237241, UB=-120495
2714.76/2717.00	c [2665.06] solve iteration 568, LB=-237241, UB=-120495
2714.76/2717.00	c [2666.1] solve iteration 569, LB=-237241, UB=-120495
2714.76/2717.00	c [2666.93] solve iteration 570, LB=-237241, UB=-120495
2714.76/2717.00	c [2670.06] solve iteration 571, LB=-237241, UB=-120550
2714.76/2717.00	c [2670.88] solve iteration 572, LB=-237241, UB=-120550
2714.76/2717.00	c [2671.86] solve iteration 573, LB=-237241, UB=-120550
2714.76/2717.00	c [2672.67] solve iteration 574, LB=-237241, UB=-120550
2714.76/2717.00	c [2673.61] solve iteration 575, LB=-237241, UB=-120550
2714.76/2717.00	c [2676.02] solve iteration 576, LB=-237241, UB=-120639
2714.76/2717.00	c [2676.97] solve iteration 577, LB=-237241, UB=-120639
2714.76/2717.00	c [2677.92] solve iteration 578, LB=-237241, UB=-120639
2714.76/2717.00	c [2679] solve iteration 579, LB=-237241, UB=-120639
2714.76/2717.00	c [2679.91] solve iteration 580, LB=-237241, UB=-120639
2714.76/2717.00	c [2682.94] solve iteration 581, LB=-237241, UB=-120872
2714.76/2717.00	c [2683.91] solve iteration 582, LB=-237241, UB=-120872
2714.76/2717.00	c [2684.85] solve iteration 583, LB=-237241, UB=-120872
2714.76/2717.00	c [2685.81] solve iteration 584, LB=-237241, UB=-120872
2714.76/2717.00	c [2686.83] solve iteration 585, LB=-237241, UB=-120872
2714.76/2717.00	c [2688.83] solve iteration 586, LB=-237241, UB=-121859
2714.76/2717.00	c [2689.72] solve iteration 587, LB=-237241, UB=-121859
2714.76/2717.00	c [2690.59] solve iteration 588, LB=-237241, UB=-121859
2714.76/2717.00	c [2691.58] solve iteration 589, LB=-237241, UB=-121859
2714.76/2717.00	c [2692.62] solve iteration 590, LB=-237241, UB=-121859
2714.76/2717.00	c [2695.92] solve iteration 591, LB=-237241, UB=-122092
2714.76/2717.00	c [2696.88] solve iteration 592, LB=-237241, UB=-122092
2714.76/2717.00	c [2697.9] solve iteration 593, LB=-237241, UB=-122092
2714.76/2717.00	c [2698.92] solve iteration 594, LB=-237241, UB=-122092
2714.76/2717.00	c [2699.93] solve iteration 595, LB=-237241, UB=-122092
2714.76/2717.00	c [2701.99] solve iteration 596, LB=-237241, UB=-125663
2714.76/2717.00	c [2702.97] solve iteration 597, LB=-237241, UB=-125663
2714.76/2717.00	c [2704.01] solve iteration 598, LB=-237241, UB=-125663
2714.76/2717.00	c [2705.02] solve iteration 599, LB=-237241, UB=-125663
2804.17/2806.47	c [2706.06] solve iteration 600, LB=-237241, UB=-125663
2804.17/2806.47	c [2708.03] solve iteration 601, LB=-237241, UB=-125718
2804.17/2806.47	c [2709.15] solve iteration 602, LB=-237241, UB=-125718
2804.17/2806.47	c [2710.12] solve iteration 603, LB=-237241, UB=-125718
2804.17/2806.47	c [2711.06] solve iteration 604, LB=-237241, UB=-125718
2804.17/2806.47	c [2711.94] solve iteration 605, LB=-237241, UB=-125718
2804.17/2806.47	c [2714.66] solve iteration 606, LB=-237241, UB=-125951
2804.17/2806.47	c [2715.66] solve iteration 607, LB=-237241, UB=-125951
2804.17/2806.47	c [2716.69] solve iteration 608, LB=-237241, UB=-125951
2804.17/2806.47	c [2717.66] solve iteration 609, LB=-237241, UB=-125951
2804.17/2806.47	c [2718.65] solve iteration 610, LB=-237241, UB=-125951
2804.17/2806.47	c [2720.25] solve iteration 611, LB=-237241, UB=-126040
2804.17/2806.47	c [2721.26] solve iteration 612, LB=-237241, UB=-126040
2804.17/2806.47	c [2722.26] solve iteration 613, LB=-237241, UB=-126040
2804.17/2806.47	c [2723.33] solve iteration 614, LB=-237241, UB=-126040
2804.17/2806.47	c [2724.37] solve iteration 615, LB=-237241, UB=-126040
2804.17/2806.47	c [2726.82] solve iteration 616, LB=-237241, UB=-126184
2804.17/2806.47	c [2727.82] solve iteration 617, LB=-237241, UB=-126184
2804.17/2806.47	c [2728.77] solve iteration 618, LB=-237241, UB=-126184
2804.17/2806.47	c [2729.8] solve iteration 619, LB=-237241, UB=-126184
2804.17/2806.47	c [2730.87] solve iteration 620, LB=-237241, UB=-126184
2804.17/2806.47	c [2734.73] solve iteration 621, LB=-237241, UB=-126273
2804.17/2806.47	c [2735.64] solve iteration 622, LB=-237241, UB=-126273
2804.17/2806.47	c [2736.62] solve iteration 623, LB=-237241, UB=-126273
2804.17/2806.47	c [2737.64] solve iteration 624, LB=-237241, UB=-126273
2804.17/2806.47	c [2738.68] solve iteration 625, LB=-237241, UB=-126273
2804.17/2806.47	c [2739.88] solve iteration 626, LB=-237241, UB=-126307
2804.17/2806.47	c [2741.01] solve iteration 627, LB=-237241, UB=-126307
2804.17/2806.47	c [2742.12] solve iteration 628, LB=-237241, UB=-126307
2804.17/2806.47	c [2743.11] solve iteration 629, LB=-237241, UB=-126307
2804.17/2806.47	c [2744.2] solve iteration 630, LB=-237241, UB=-126307
2804.17/2806.47	c [2745.52] solve iteration 631, LB=-237241, UB=-126308
2804.17/2806.47	c [2746.48] solve iteration 632, LB=-237241, UB=-126308
2804.17/2806.47	c [2747.48] solve iteration 633, LB=-237241, UB=-126308
2804.17/2806.47	c [2748.64] solve iteration 634, LB=-237241, UB=-126308
2804.17/2806.47	c [2749.65] solve iteration 635, LB=-237241, UB=-126308
2804.17/2806.47	c [2750.99] solve iteration 636, LB=-237241, UB=-126309
2804.17/2806.47	c [2752.11] solve iteration 637, LB=-237241, UB=-126309
2804.17/2806.47	c [2753.11] solve iteration 638, LB=-237241, UB=-126309
2804.17/2806.47	c [2754.12] solve iteration 639, LB=-237241, UB=-126309
2804.17/2806.47	c [2755.22] solve iteration 640, LB=-237241, UB=-126309
2804.17/2806.47	c [2756.64] solve iteration 641, LB=-237241, UB=-126364
2804.17/2806.47	c [2757.72] solve iteration 642, LB=-237241, UB=-126364
2804.17/2806.47	c [2758.83] solve iteration 643, LB=-237241, UB=-126364
2804.17/2806.47	c [2759.94] solve iteration 644, LB=-237241, UB=-126364
2804.17/2806.47	c [2761] solve iteration 645, LB=-237241, UB=-126364
2804.17/2806.47	c [2762.34] solve iteration 646, LB=-237241, UB=-126419
2804.17/2806.47	c [2763.39] solve iteration 647, LB=-237241, UB=-126419
2804.17/2806.47	c [2764.48] solve iteration 648, LB=-237241, UB=-126419
2804.17/2806.47	c [2765.51] solve iteration 649, LB=-237241, UB=-126419
2804.17/2806.47	c [2766.61] solve iteration 650, LB=-237241, UB=-126419
2804.17/2806.47	c [2768.01] solve iteration 651, LB=-237241, UB=-126452
2804.17/2806.47	c [2769.28] solve iteration 652, LB=-237241, UB=-126452
2804.17/2806.47	c [2770.3] solve iteration 653, LB=-237241, UB=-126452
2804.17/2806.47	c [2771.43] solve iteration 654, LB=-237241, UB=-126452
2804.17/2806.47	c [2772.59] solve iteration 655, LB=-237241, UB=-126452
2804.17/2806.47	c [2774.19] solve iteration 656, LB=-237241, UB=-126473
2804.17/2806.47	c [2775.31] solve iteration 657, LB=-237241, UB=-126473
2804.17/2806.47	c [2776.33] solve iteration 658, LB=-237241, UB=-126473
2804.17/2806.47	c [2777.47] solve iteration 659, LB=-237241, UB=-126473
2804.17/2806.47	c [2778.42] solve iteration 660, LB=-237241, UB=-126473
2804.17/2806.47	c [2780.03] solve iteration 661, LB=-237241, UB=-126506
2804.17/2806.47	c [2781.26] solve iteration 662, LB=-237241, UB=-126506
2804.17/2806.47	c [2782.41] solve iteration 663, LB=-237241, UB=-126506
2804.17/2806.47	c [2783.55] solve iteration 664, LB=-237241, UB=-126506
2804.17/2806.47	c [2784.56] solve iteration 665, LB=-237241, UB=-126506
2804.17/2806.47	c [2786.34] solve iteration 666, LB=-237241, UB=-133038
2804.17/2806.47	c [2787.41] solve iteration 667, LB=-237241, UB=-133038
2804.17/2806.47	c [2788.62] solve iteration 668, LB=-237241, UB=-133038
2804.17/2806.47	c [2789.71] solve iteration 669, LB=-237241, UB=-133038
2804.17/2806.47	c [2790.8] solve iteration 670, LB=-237241, UB=-133038
2804.17/2806.47	c [2792.72] solve iteration 671, LB=-237241, UB=-133148
2804.17/2806.47	c [2793.88] solve iteration 672, LB=-237241, UB=-133148
2910.56/2912.93	c [2795.06] solve iteration 673, LB=-237241, UB=-133148
2910.56/2912.93	c [2796.2] solve iteration 674, LB=-237241, UB=-133148
2910.56/2912.93	c [2797.29] solve iteration 675, LB=-237241, UB=-133148
2910.56/2912.93	c [2798.88] solve iteration 676, LB=-237241, UB=-133182
2910.56/2912.93	c [2800.06] solve iteration 677, LB=-237241, UB=-133182
2910.56/2912.93	c [2801.25] solve iteration 678, LB=-237241, UB=-133182
2910.56/2912.93	c [2802.35] solve iteration 679, LB=-237241, UB=-133182
2910.56/2912.93	c [2803.52] solve iteration 680, LB=-237241, UB=-133182
2910.56/2912.93	c [2805.29] solve iteration 681, LB=-237241, UB=-133326
2910.56/2912.93	c [2806.37] solve iteration 682, LB=-237241, UB=-133326
2910.56/2912.93	c [2807.68] solve iteration 683, LB=-237241, UB=-133326
2910.56/2912.93	c [2808.88] solve iteration 684, LB=-237241, UB=-133326
2910.56/2912.93	c [2810] solve iteration 685, LB=-237241, UB=-133326
2910.56/2912.93	c [2812.26] solve iteration 686, LB=-237241, UB=-133559
2910.56/2912.93	c [2813.43] solve iteration 687, LB=-237241, UB=-133559
2910.56/2912.93	c [2814.64] solve iteration 688, LB=-237241, UB=-133559
2910.56/2912.93	c [2815.91] solve iteration 689, LB=-237241, UB=-133559
2910.56/2912.93	c [2816.92] solve iteration 690, LB=-237241, UB=-133559
2910.56/2912.93	c [2818.62] solve iteration 691, LB=-237241, UB=-133792
2910.56/2912.93	c [2819.81] solve iteration 692, LB=-237241, UB=-133792
2910.56/2912.93	c [2820.94] solve iteration 693, LB=-237241, UB=-133792
2910.56/2912.93	c [2822.01] solve iteration 694, LB=-237241, UB=-133792
2910.56/2912.93	c [2823.28] solve iteration 695, LB=-237241, UB=-133792
2910.56/2912.93	c [2825.12] solve iteration 696, LB=-237241, UB=-134402
2910.56/2912.93	c [2826.19] solve iteration 697, LB=-237241, UB=-134402
2910.56/2912.93	c [2827.36] solve iteration 698, LB=-237241, UB=-134402
2910.56/2912.93	c [2828.7] solve iteration 699, LB=-237241, UB=-134402
2910.56/2912.93	c [2829.77] solve iteration 700, LB=-237241, UB=-134402
2910.56/2912.93	c [2832.68] solve iteration 701, LB=-237241, UB=-135389
2910.56/2912.93	c [2833.85] solve iteration 702, LB=-237241, UB=-135389
2910.56/2912.93	c [2835] solve iteration 703, LB=-237241, UB=-135389
2910.56/2912.93	c [2836.21] solve iteration 704, LB=-237241, UB=-135389
2910.56/2912.93	c [2837.37] solve iteration 705, LB=-237241, UB=-135389
2910.56/2912.93	c [2839.6] solve iteration 706, LB=-237241, UB=-136986
2910.56/2912.93	c [2840.83] solve iteration 707, LB=-237241, UB=-136986
2910.56/2912.93	c [2842.07] solve iteration 708, LB=-237241, UB=-136986
2910.56/2912.93	c [2843.24] solve iteration 709, LB=-237241, UB=-136986
2910.56/2912.93	c [2844.41] solve iteration 710, LB=-237241, UB=-136986
2910.56/2912.93	c [2846.6] solve iteration 711, LB=-237241, UB=-137363
2910.56/2912.93	c [2847.8] solve iteration 712, LB=-237241, UB=-137363
2910.56/2912.93	c [2849.05] solve iteration 713, LB=-237241, UB=-137363
2910.56/2912.93	c [2850.1] solve iteration 714, LB=-237241, UB=-137363
2910.56/2912.93	c [2851.29] solve iteration 715, LB=-237241, UB=-137363
2910.56/2912.93	c [2852.71] solve iteration 716, LB=-237241, UB=-137507
2910.56/2912.93	c [2853.95] solve iteration 717, LB=-237241, UB=-137507
2910.56/2912.93	c [2855.14] solve iteration 718, LB=-237241, UB=-137507
2910.56/2912.93	c [2856.31] solve iteration 719, LB=-237241, UB=-137507
2910.56/2912.93	c [2857.38] solve iteration 720, LB=-237241, UB=-137507
2910.56/2912.93	c [2859.93] solve iteration 721, LB=-237241, UB=-137740
2910.56/2912.93	c [2861.1] solve iteration 722, LB=-237241, UB=-137740
2910.56/2912.93	c [2862.53] solve iteration 723, LB=-237241, UB=-137740
2910.56/2912.93	c [2863.91] solve iteration 724, LB=-237241, UB=-137740
2910.56/2912.93	c [2865.22] solve iteration 725, LB=-237241, UB=-137740
2910.56/2912.93	c [2867.2] solve iteration 726, LB=-237241, UB=-138727
2910.56/2912.93	c [2868.53] solve iteration 727, LB=-237241, UB=-138727
2910.56/2912.93	c [2869.77] solve iteration 728, LB=-237241, UB=-138727
2910.56/2912.93	c [2870.99] solve iteration 729, LB=-237241, UB=-138727
2910.56/2912.93	c [2872.31] solve iteration 730, LB=-237241, UB=-138727
2910.56/2912.93	c [2874.58] solve iteration 731, LB=-237241, UB=-139337
2910.56/2912.93	c [2875.82] solve iteration 732, LB=-237241, UB=-139337
2910.56/2912.93	c [2876.98] solve iteration 733, LB=-237241, UB=-139337
2910.56/2912.93	c [2878.22] solve iteration 734, LB=-237241, UB=-139337
2910.56/2912.93	c [2879.38] solve iteration 735, LB=-237241, UB=-139337
2910.56/2912.93	c [2884.1] solve iteration 736, LB=-237241, UB=-139481
2910.56/2912.93	c [2885.41] solve iteration 737, LB=-237241, UB=-139481
2910.56/2912.93	c [2886.53] solve iteration 738, LB=-237241, UB=-139481
2910.56/2912.93	c [2887.86] solve iteration 739, LB=-237241, UB=-139481
2910.56/2912.93	c [2889.05] solve iteration 740, LB=-237241, UB=-139481
2910.56/2912.93	c [2894.12] solve iteration 741, LB=-237241, UB=-139570
2910.56/2912.93	c [2895.45] solve iteration 742, LB=-237241, UB=-139570
2910.56/2912.93	c [2896.75] solve iteration 743, LB=-237241, UB=-139570
2910.56/2912.93	c [2897.96] solve iteration 744, LB=-237241, UB=-139570
2910.56/2912.93	c [2899.43] solve iteration 745, LB=-237241, UB=-139570
3037.14/3039.65	c [2901.26] solve iteration 746, LB=-237241, UB=-139714
3037.14/3039.65	c [2902.48] solve iteration 747, LB=-237241, UB=-139714
3037.14/3039.65	c [2904.03] solve iteration 748, LB=-237241, UB=-139714
3037.14/3039.65	c [2905.37] solve iteration 749, LB=-237241, UB=-139714
3037.14/3039.65	c [2906.49] solve iteration 750, LB=-237241, UB=-139714
3037.14/3039.65	c [2909.68] solve iteration 751, LB=-237241, UB=-140091
3037.14/3039.65	c [2910.97] solve iteration 752, LB=-237241, UB=-140091
3037.14/3039.65	c [2912.28] solve iteration 753, LB=-237241, UB=-140091
3037.14/3039.65	c [2913.75] solve iteration 754, LB=-237241, UB=-140091
3037.14/3039.65	c [2915.23] solve iteration 755, LB=-237241, UB=-140091
3037.14/3039.65	c [2918.24] solve iteration 756, LB=-237241, UB=-140701
3037.14/3039.65	c [2919.56] solve iteration 757, LB=-237241, UB=-140701
3037.14/3039.65	c [2920.81] solve iteration 758, LB=-237241, UB=-140701
3037.14/3039.65	c [2922.19] solve iteration 759, LB=-237241, UB=-140701
3037.14/3039.65	c [2923.52] solve iteration 760, LB=-237241, UB=-140701
3037.14/3039.65	c [2927.73] solve iteration 761, LB=-237241, UB=-141078
3037.14/3039.65	c [2928.95] solve iteration 762, LB=-237241, UB=-141078
3037.14/3039.65	c [2930.42] solve iteration 763, LB=-237241, UB=-141078
3037.14/3039.65	c [2931.82] solve iteration 764, LB=-237241, UB=-141078
3037.14/3039.65	c [2933.32] solve iteration 765, LB=-237241, UB=-141078
3037.14/3039.65	c [2934.79] solve iteration 766, LB=-237241, UB=-141167
3037.14/3039.65	c [2936.19] solve iteration 767, LB=-237241, UB=-141167
3037.14/3039.65	c [2937.66] solve iteration 768, LB=-237241, UB=-141167
3037.14/3039.65	c [2938.97] solve iteration 769, LB=-237241, UB=-141167
3037.14/3039.65	c [2940.3] solve iteration 770, LB=-237241, UB=-141167
3037.14/3039.65	c [2942.76] solve iteration 771, LB=-237241, UB=-141222
3037.14/3039.65	c [2944.08] solve iteration 772, LB=-237241, UB=-141222
3037.14/3039.65	c [2945.41] solve iteration 773, LB=-237241, UB=-141222
3037.14/3039.65	c [2946.79] solve iteration 774, LB=-237241, UB=-141222
3037.14/3039.65	c [2948.11] solve iteration 775, LB=-237241, UB=-141222
3037.14/3039.65	c [2950.12] solve iteration 776, LB=-237241, UB=-141311
3037.14/3039.65	c [2951.56] solve iteration 777, LB=-237241, UB=-141311
3037.14/3039.65	c [2953.02] solve iteration 778, LB=-237241, UB=-141311
3037.14/3039.65	c [2954.28] solve iteration 779, LB=-237241, UB=-141311
3037.14/3039.65	c [2955.8] solve iteration 780, LB=-237241, UB=-141311
3037.14/3039.65	c [2958.46] solve iteration 781, LB=-237241, UB=-141688
3037.14/3039.65	c [2959.92] solve iteration 782, LB=-237241, UB=-141688
3037.14/3039.65	c [2961.35] solve iteration 783, LB=-237241, UB=-141688
3037.14/3039.65	c [2962.77] solve iteration 784, LB=-237241, UB=-141688
3037.14/3039.65	c [2964.24] solve iteration 785, LB=-237241, UB=-141688
3037.14/3039.65	c [2967.79] solve iteration 786, LB=-237241, UB=-141921
3037.14/3039.65	c [2969.02] solve iteration 787, LB=-237241, UB=-141921
3037.14/3039.65	c [2970.4] solve iteration 788, LB=-237241, UB=-141921
3037.14/3039.65	c [2971.85] solve iteration 789, LB=-237241, UB=-141921
3037.14/3039.65	c [2973.4] solve iteration 790, LB=-237241, UB=-141921
3037.14/3039.65	c [2976.35] solve iteration 791, LB=-237241, UB=-142908
3037.14/3039.65	c [2977.83] solve iteration 792, LB=-237241, UB=-142908
3037.14/3039.65	c [2979.18] solve iteration 793, LB=-237241, UB=-142908
3037.14/3039.65	c [2980.65] solve iteration 794, LB=-237241, UB=-142908
3037.14/3039.65	c [2981.83] solve iteration 795, LB=-237241, UB=-142908
3037.14/3039.65	c [2984.1] solve iteration 796, LB=-237241, UB=-143285
3037.14/3039.65	c [2985.46] solve iteration 797, LB=-237241, UB=-143285
3037.14/3039.65	c [2986.92] solve iteration 798, LB=-237241, UB=-143285
3037.14/3039.65	c [2988.49] solve iteration 799, LB=-237241, UB=-143285
3037.14/3039.65	c [2990.15] solve iteration 800, LB=-237241, UB=-143285
3037.14/3039.65	c [2993.11] solve iteration 801, LB=-237241, UB=-143662
3037.14/3039.65	c [2994.4] solve iteration 802, LB=-237241, UB=-143662
3037.14/3039.65	c [2995.92] solve iteration 803, LB=-237241, UB=-143662
3037.14/3039.65	c [2997.38] solve iteration 804, LB=-237241, UB=-143662
3037.14/3039.65	c [2998.78] solve iteration 805, LB=-237241, UB=-143662
3037.14/3039.65	c [3005.06] solve iteration 806, LB=-237241, UB=-144272
3037.14/3039.65	c [3006.75] solve iteration 807, LB=-237241, UB=-144272
3037.14/3039.65	c [3008.25] solve iteration 808, LB=-237241, UB=-144272
3037.14/3039.65	c [3009.75] solve iteration 809, LB=-237241, UB=-144272
3037.14/3039.65	c [3011.14] solve iteration 810, LB=-237241, UB=-144272
3037.14/3039.65	c [3014.34] solve iteration 811, LB=-237241, UB=-144882
3037.14/3039.65	c [3015.74] solve iteration 812, LB=-237241, UB=-144882
3037.14/3039.65	c [3017.17] solve iteration 813, LB=-237241, UB=-144882
3037.14/3039.65	c [3018.56] solve iteration 814, LB=-237241, UB=-144882
3037.14/3039.65	c [3020.13] solve iteration 815, LB=-237241, UB=-144882
3037.14/3039.65	c [3022.44] solve iteration 816, LB=-237241, UB=-145492
3037.14/3039.65	c [3023.97] solve iteration 817, LB=-237241, UB=-145492
3037.14/3039.65	c [3025.38] solve iteration 818, LB=-237241, UB=-145492
3512.61/3515.47	c [3027] solve iteration 819, LB=-237241, UB=-145492
3512.61/3515.47	c [3028.59] solve iteration 820, LB=-237241, UB=-145492
3512.61/3515.47	c [3165.54] solve iteration 821, LB=-237241, UB=-145492
3512.61/3515.47	c [3166.86] solve iteration 822, LB=-237241, UB=-145492
3512.61/3515.47	c [3168.21] solve iteration 823, LB=-237241, UB=-145492
3512.61/3515.47	c [3169.76] solve iteration 824, LB=-237241, UB=-145492
3512.61/3515.47	c [3171.27] solve iteration 825, LB=-237241, UB=-145492
3512.61/3515.47	c [3173.36] solve iteration 826, LB=-237241, UB=-145869
3512.61/3515.47	c [3174.91] solve iteration 827, LB=-237241, UB=-145869
3512.61/3515.47	c [3176.3] solve iteration 828, LB=-237241, UB=-145869
3512.61/3515.47	c [3177.81] solve iteration 829, LB=-237241, UB=-145869
3512.61/3515.47	c [3179.31] solve iteration 830, LB=-237241, UB=-145869
3512.61/3515.47	c [3328.21] solve iteration 831, LB=-237241, UB=-146102
3512.61/3515.47	c [3329.68] solve iteration 832, LB=-237241, UB=-146102
3512.61/3515.47	c [3331.1] solve iteration 833, LB=-237241, UB=-146102
3512.61/3515.47	c [3332.51] solve iteration 834, LB=-237241, UB=-146102
3512.61/3515.47	c [3333.91] solve iteration 835, LB=-237241, UB=-146102
3512.61/3515.47	c [3336.43] solve iteration 836, LB=-237241, UB=-146479
3512.61/3515.47	c [3337.94] solve iteration 837, LB=-237241, UB=-146479
3512.61/3515.47	c [3339.45] solve iteration 838, LB=-237241, UB=-146479
3512.61/3515.47	c [3340.93] solve iteration 839, LB=-237241, UB=-146479
3512.61/3515.47	c [3342.34] solve iteration 840, LB=-237241, UB=-146479
3512.61/3515.47	c [3344.53] solve iteration 841, LB=-237241, UB=-146712
3512.61/3515.47	c [3345.85] solve iteration 842, LB=-237241, UB=-146712
3512.61/3515.47	c [3347.27] solve iteration 843, LB=-237241, UB=-146712
3512.61/3515.47	c [3348.71] solve iteration 844, LB=-237241, UB=-146712
3512.61/3515.47	c [3350.13] solve iteration 845, LB=-237241, UB=-146712
3512.61/3515.47	c [3352.18] solve iteration 846, LB=-237241, UB=-147089
3512.61/3515.47	c [3353.78] solve iteration 847, LB=-237241, UB=-147089
3512.61/3515.47	c [3355.12] solve iteration 848, LB=-237241, UB=-147089
3512.61/3515.47	c [3356.36] solve iteration 849, LB=-237241, UB=-147089
3512.61/3515.47	c [3358.01] solve iteration 850, LB=-237241, UB=-147089
3512.61/3515.47	c [3361.55] solve iteration 851, LB=-237241, UB=-147466
3512.61/3515.47	c [3362.89] solve iteration 852, LB=-237241, UB=-147466
3512.61/3515.47	c [3364.45] solve iteration 853, LB=-237241, UB=-147466
3512.61/3515.47	c [3365.9] solve iteration 854, LB=-237241, UB=-147466
3512.61/3515.47	c [3367.43] solve iteration 855, LB=-237241, UB=-147466
3512.61/3515.47	c [3369.55] solve iteration 856, LB=-237241, UB=-147699
3512.61/3515.47	c [3370.89] solve iteration 857, LB=-237241, UB=-147699
3512.61/3515.47	c [3372.34] solve iteration 858, LB=-237241, UB=-147699
3512.61/3515.47	c [3373.88] solve iteration 859, LB=-237241, UB=-147699
3512.61/3515.47	c [3375.35] solve iteration 860, LB=-237241, UB=-147699
3512.61/3515.47	c [3377.68] solve iteration 861, LB=-237241, UB=-148076
3512.61/3515.47	c [3379.16] solve iteration 862, LB=-237241, UB=-148076
3512.61/3515.47	c [3380.61] solve iteration 863, LB=-237241, UB=-148076
3512.61/3515.47	c [3382.02] solve iteration 864, LB=-237241, UB=-148076
3512.61/3515.47	c [3383.43] solve iteration 865, LB=-237241, UB=-148076
3512.61/3515.47	c [3385.91] solve iteration 866, LB=-237241, UB=-149063
3512.61/3515.47	c [3387.44] solve iteration 867, LB=-237241, UB=-149063
3512.61/3515.47	c [3388.9] solve iteration 868, LB=-237241, UB=-149063
3512.61/3515.47	c [3390.47] solve iteration 869, LB=-237241, UB=-149063
3512.61/3515.47	c [3391.93] solve iteration 870, LB=-237241, UB=-149063
3512.61/3515.47	c [3394.05] solve iteration 871, LB=-237241, UB=-149673
3512.61/3515.47	c [3395.63] solve iteration 872, LB=-237241, UB=-149673
3512.61/3515.47	c [3397.1] solve iteration 873, LB=-237241, UB=-149673
3512.61/3515.47	c [3398.6] solve iteration 874, LB=-237241, UB=-149673
3512.61/3515.47	c [3400.19] solve iteration 875, LB=-237241, UB=-149673
3512.61/3515.47	c [3402.32] solve iteration 876, LB=-237241, UB=-150050
3512.61/3515.47	c [3403.79] solve iteration 877, LB=-237241, UB=-150050
3512.61/3515.47	c [3405.41] solve iteration 878, LB=-237241, UB=-150050
3512.61/3515.47	c [3406.81] solve iteration 879, LB=-237241, UB=-150050
3512.61/3515.47	c [3408.31] solve iteration 880, LB=-237241, UB=-150050
3512.61/3515.47	c [3431.23] solve iteration 881, LB=-237241, UB=-150660
3512.61/3515.47	c [3432.82] solve iteration 882, LB=-237241, UB=-150660
3512.61/3515.47	c [3434.23] solve iteration 883, LB=-237241, UB=-150660
3512.61/3515.47	c [3435.73] solve iteration 884, LB=-237241, UB=-150660
3512.61/3515.47	c [3437.31] solve iteration 885, LB=-237241, UB=-150660
3512.61/3515.47	c [3489.05] solve iteration 886, LB=-237241, UB=-150665
3512.61/3515.47	c [3490.68] solve iteration 887, LB=-237241, UB=-150665
3512.61/3515.47	c [3492.17] solve iteration 888, LB=-237241, UB=-150665
3512.61/3515.47	c [3493.77] solve iteration 889, LB=-237241, UB=-150665
3512.61/3515.47	c [3495.37] solve iteration 890, LB=-237241, UB=-150665
3512.61/3515.47	c [3497.4] solve iteration 891, LB=-237241, UB=-150668
3512.61/3515.47	c [3499.36] sol

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: 63794 MiB (62860 MiB free)
  memory of node 1: 64507 MiB (61686 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505660-1751492227/watcher-4505660-1751492227 -o /tmp/evaluation-result-4505660-1751492227/solver-4505660-1751492227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751488621-72612 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4505660-1751492227.opb --max-coef 1000000000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=72975, runsolver pid=72971
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 4.10 4.20 4.22 3/243 72980
/proc/meminfo: memFree=127132872/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=752692 memory=234664 CPUtime=0.09 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 1046 0 0 0 2 7 0 0 20 0 1 0 64902503 770756608 58666 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 188173 58666 1600 641 0 172930 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 752692 KiB
Current children cumulated memory: 234664 KiB

[startup+0.211327 s]*
/proc/loadavg: 4.10 4.20 4.22 3/245 72982
/proc/meminfo: memFree=126575820/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=752692 memory=500904 CPUtime=0.2 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 1176 0 0 0 4 16 0 0 20 0 1 0 64902503 770756608 125226 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 188173 125226 1600 641 0 172930 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 752692 KiB
Current children cumulated memory: 500904 KiB

[startup+0.311074 s]*
/proc/loadavg: 4.10 4.20 4.22 3/247 72992
/proc/meminfo: memFree=126091780/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=755336 memory=691756 CPUtime=0.3 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 2112 0 0 0 8 22 0 0 20 0 1 0 64902503 773464064 172939 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 188834 172939 1600 641 0 173591 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 755336 KiB
Current children cumulated memory: 691756 KiB

[startup+0.700261 s]
/proc/loadavg: 4.10 4.20 4.22 4/244 73008
/proc/meminfo: memFree=126065428/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=788480 memory=723392 CPUtime=0.67 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 10838 0 0 0 39 28 0 0 20 0 1 0 64902503 807403520 180848 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 197120 180848 1696 641 0 181877 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 788480 KiB
Current children cumulated memory: 723392 KiB

[startup+1.50035 s]
/proc/loadavg: 4.10 4.20 4.22 7/245 73037
/proc/meminfo: memFree=126232476/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=825304 memory=750612 CPUtime=1.47 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 15569 0 0 0 109 38 0 0 20 0 2 0 64902503 845111296 187653 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 206326 187653 2272 641 0 188809 0
[pid=72975/tid=73037] ppid=72971 vsize=825304 memory=-7459211752118974148 CPUtime=0 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 64902598 845111296 187653 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 825304 KiB
Current children cumulated memory: 750612 KiB

[startup+3.11278 s]
/proc/loadavg: 4.10 4.20 4.22 5/254 73057
/proc/meminfo: memFree=125907888/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=825304 memory=750612 CPUtime=3.08 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 15765 0 0 0 270 38 0 0 20 0 2 0 64902503 845111296 187653 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 206326 187653 2272 641 0 188809 0
[pid=72975/tid=73037] ppid=72971 vsize=825304 memory=750612 CPUtime=0 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 3 0 0 0 0 0 0 0 20 0 2 0 64902598 845111296 187653 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 825304 KiB
Current children cumulated memory: 750612 KiB

[startup+6.30028 s]
/proc/loadavg: 4.09 4.19 4.22 5/255 73058
/proc/meminfo: memFree=125448044/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=853088 memory=780532 CPUtime=6.26 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 70495 0 0 0 580 46 0 0 20 0 2 0 64902503 873562112 195133 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 213272 195133 3232 641 0 195755 0
[pid=72975/tid=73037] ppid=72971 vsize=853088 memory=750612 CPUtime=0 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 2 0 64902598 873562112 195133 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 853088 KiB
Current children cumulated memory: 780532 KiB

[startup+12.7004 s]
/proc/loadavg: 4.17 4.21 4.23 5/255 73058
/proc/meminfo: memFree=125356556/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=861952 memory=788328 CPUtime=12.65 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 159856 0 0 0 1201 64 0 0 20 0 2 0 64902503 882638848 197082 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 215488 197082 3232 641 0 197971 0
[pid=72975/tid=73037] ppid=72971 vsize=861952 memory=784968 CPUtime=0.01 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 16 0 0 0 0 1 0 0 20 0 2 0 64902598 882638848 197082 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 861952 KiB
Current children cumulated memory: 788328 KiB

[startup+25.5002 s]
/proc/loadavg: 4.21 4.21 4.23 5/255 73058
/proc/meminfo: memFree=125246548/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=876952 memory=807228 CPUtime=25.44 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 217416 0 0 0 2463 81 0 0 20 0 2 0 64902503 897998848 201807 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 219238 201807 3232 641 0 201721 0
[pid=72975/tid=73037] ppid=72971 vsize=876952 memory=0 CPUtime=0.02 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 23 0 0 0 0 2 0 0 20 0 2 0 64902598 897998848 201807 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 876952 KiB
Current children cumulated memory: 807228 KiB

[startup+51.1125 s]
/proc/loadavg: 4.14 4.19 4.22 5/255 73058
/proc/meminfo: memFree=125132240/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=909596 memory=835468 CPUtime=51.03 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 245219 0 0 0 5006 97 0 0 20 0 2 0 64902503 931426304 208867 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 227399 208867 3232 641 0 209882 0
[pid=72975/tid=73037] ppid=72971 vsize=909596 memory=831372 CPUtime=0.05 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 26 0 0 0 1 4 0 0 20 0 2 0 64902598 931426304 208867 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 909596 KiB
Current children cumulated memory: 835468 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.16 4.21 5/254 73060
/proc/meminfo: memFree=124948572/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=995912 memory=883012 CPUtime=102.18 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 304619 0 0 0 10083 135 0 0 20 0 2 0 64902503 1019813888 220753 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 248978 220753 3232 641 0 231461 0
[pid=72975/tid=73037] ppid=72971 vsize=995912 memory=14336 CPUtime=0.11 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 28 0 0 0 3 8 0 0 20 0 2 0 64902598 1019813888 220753 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 102.18 s
Current children cumulated vsize: 995912 KiB
Current children cumulated memory: 883012 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.16 4.20 5/254 73066
/proc/meminfo: memFree=124661472/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=1077300 memory=938308 CPUtime=162.13 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 306397 0 0 0 16067 146 0 0 20 0 2 0 64902503 1103155200 234577 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 269325 234577 3232 641 0 251808 0
[pid=72975/tid=73037] ppid=72971 vsize=1077300 memory=5632 CPUtime=0.17 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 29 0 0 0 4 13 0 0 20 0 2 0 64902598 1103155200 234577 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 162.13 s
Current children cumulated vsize: 1077300 KiB
Current children cumulated memory: 938308 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.19 5/254 73068
/proc/meminfo: memFree=124518188/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=1077300 memory=993604 CPUtime=222.1 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 306440 0 0 0 22053 157 0 0 20 0 2 0 64902503 1103155200 248401 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 269325 248401 3232 641 0 251808 0
[pid=72975/tid=73037] ppid=72971 vsize=1077300 memory=18432 CPUtime=0.24 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 29 0 0 0 7 17 0 0 20 0 2 0 64902598 1103155200 248401 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 222.1 s
Current children cumulated vsize: 1077300 KiB
Current children cumulated memory: 993604 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.13 4.18 5/254 73070
/proc/meminfo: memFree=124219232/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=1214128 memory=1057140 CPUtime=282.06 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 330628 0 0 0 28024 182 0 0 20 0 2 0 64902503 1243267072 264285 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 303532 264285 3232 641 0 286015 0
[pid=72975/tid=73037] ppid=72971 vsize=1214128 memory=14336 CPUtime=0.3 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 30 0 0 0 8 22 0 0 20 0 2 0 64902598 1243267072 264285 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 282.06 s
Current children cumulated vsize: 1214128 KiB
Current children cumulated memory: 1057140 KiB

[startup+342.3 s]
/proc/loadavg: 4.76 4.32 4.24 5/254 73072
/proc/meminfo: memFree=123613232/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=1214128 memory=1102196 CPUtime=342.01 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 330656 0 0 0 34004 197 0 0 20 0 2 0 64902503 1243267072 275549 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 303532 275549 3232 641 0 286015 0
[pid=72975/tid=73037] ppid=72971 vsize=1214128 memory=18432 CPUtime=0.38 cores=4,6

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

/proc/meminfo: memFree=120928780/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=2185764 memory=1921848 CPUtime=3039.84 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 2394714 0 0 0 302855 1129 0 0 20 0 2 0 64902503 2238222336 480462 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 546441 480462 3488 641 0 528924 0
[pid=72975/tid=73037] ppid=72971 vsize=2185764 memory=1924024 CPUtime=3.48 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 85 0 0 0 93 255 0 0 20 0 2 0 64902598 2238222336 480462 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 3039.84 s
Current children cumulated vsize: 2185764 KiB
Current children cumulated memory: 1921848 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/255 73228
/proc/meminfo: memFree=120897236/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=2185120 memory=1935812 CPUtime=3099.81 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 2401324 0 0 0 308843 1138 0 0 20 0 2 0 64902503 2237562880 483953 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 546280 483953 3488 641 0 528763 0
[pid=72975/tid=73037] ppid=72971 vsize=2185120 memory=1921696 CPUtime=3.54 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 85 0 0 0 94 260 0 0 20 0 2 0 64902598 2237562880 483953 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 3099.81 s
Current children cumulated vsize: 2185120 KiB
Current children cumulated memory: 1935812 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/255 73234
/proc/meminfo: memFree=120787100/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=2252536 memory=2003780 CPUtime=3159.77 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 2436791 0 0 0 314828 1149 0 0 20 0 2 0 64902503 2306596864 500945 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 563134 500945 3488 641 0 545617 0
[pid=72975/tid=73037] ppid=72971 vsize=2252536 memory=1921696 CPUtime=3.61 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 86 0 0 0 96 265 0 0 20 0 2 0 64902598 2306596864 500945 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 3159.77 s
Current children cumulated vsize: 2252536 KiB
Current children cumulated memory: 2003780 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/255 73237
/proc/meminfo: memFree=120492936/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=2351624 memory=2106508 CPUtime=3219.72 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 2553268 0 0 0 320798 1174 0 0 20 0 2 0 64902503 2408062976 526627 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 587906 526627 3488 641 0 570389 0
[pid=72975/tid=73037] ppid=72971 vsize=2351624 memory=1921696 CPUtime=3.68 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 88 0 0 0 98 270 0 0 20 0 2 0 64902598 2408062976 526627 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 3219.72 s
Current children cumulated vsize: 2351624 KiB
Current children cumulated memory: 2106508 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/255 73240
/proc/meminfo: memFree=120462624/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=2384004 memory=2134668 CPUtime=3279.69 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 2614704 0 0 0 326782 1187 0 0 20 0 2 0 64902503 2441220096 533667 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 596001 533667 3488 641 0 578484 0
[pid=72975/tid=73037] ppid=72971 vsize=2384004 memory=2134668 CPUtime=3.74 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 89 0 0 0 99 275 0 0 20 0 2 0 64902598 2441220096 533667 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 3279.69 s
Current children cumulated vsize: 2384004 KiB
Current children cumulated memory: 2134668 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/254 73242
/proc/meminfo: memFree=120443028/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=2390484 memory=2141196 CPUtime=3339.66 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 2617179 0 0 0 332771 1195 0 0 20 0 2 0 64902503 2447855616 535299 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 597621 535299 3488 641 0 580104 0
[pid=72975/tid=73037] ppid=72971 vsize=2390484 memory=2139532 CPUtime=3.81 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 89 0 0 0 101 280 0 0 20 0 2 0 64902598 2447855616 535299 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 3339.66 s
Current children cumulated vsize: 2390484 KiB
Current children cumulated memory: 2141196 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/254 73244
/proc/meminfo: memFree=120399704/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=2443252 memory=2185592 CPUtime=3399.6 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 2743436 0 0 0 338717 1243 0 0 20 0 2 0 64902503 2501890048 546398 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 610813 546398 3488 641 0 593296 0
[pid=72975/tid=73037] ppid=72971 vsize=2443252 memory=2139532 CPUtime=3.89 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 89 0 0 0 103 286 0 0 20 0 2 0 64902598 2501890048 546398 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 3399.6 s
Current children cumulated vsize: 2443252 KiB
Current children cumulated memory: 2185592 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/254 73246
/proc/meminfo: memFree=120354152/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=2449064 memory=2193248 CPUtime=3459.55 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 2765120 0 0 0 344694 1261 0 0 20 0 2 0 64902503 2507841536 548312 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 612266 548312 3488 641 0 594749 0
[pid=72975/tid=73037] ppid=72971 vsize=2449064 memory=2139532 CPUtime=3.96 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 90 0 0 0 105 291 0 0 20 0 2 0 64902598 2507841536 548312 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 3459.55 s
Current children cumulated vsize: 2449064 KiB
Current children cumulated memory: 2193248 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/255 73251
/proc/meminfo: memFree=120342252/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=2460380 memory=2187540 CPUtime=3519.5 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 2866169 0 0 0 350667 1283 0 0 20 0 2 0 64902503 2519429120 546885 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 615095 546885 3488 641 0 597578 0
[pid=72975/tid=73037] ppid=72971 vsize=2460380 memory=14336 CPUtime=4.03 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 93 0 0 0 107 296 0 0 20 0 2 0 64902598 2519429120 546885 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 3519.5 s
Current children cumulated vsize: 2460380 KiB
Current children cumulated memory: 2187540 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/254 73253
/proc/meminfo: memFree=120315552/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=2439084 memory=2179516 CPUtime=3579.45 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 2987440 0 0 0 356620 1325 0 0 20 0 2 0 64902503 2497622016 544879 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 609771 544879 3488 641 0 592254 0
[pid=72975/tid=73037] ppid=72971 vsize=2439084 memory=2195856 CPUtime=4.1 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 94 0 0 0 109 301 0 0 20 0 2 0 64902598 2497622016 544879 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 3579.45 s
Current children cumulated vsize: 2439084 KiB
Current children cumulated memory: 2179516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.9 s]
/proc/loadavg: 4.14 4.12 4.15 5/254 73253
/proc/meminfo: memFree=120317236/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=2478080 memory=2196964 CPUtime=3600.03 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 3013123 0 0 0 358667 1336 0 0 20 0 2 0 64902503 2537553920 549241 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 619520 549241 3488 641 0 602003 0
[pid=72975/tid=73037] ppid=72971 vsize=2478080 memory=18432 CPUtime=4.13 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 94 0 0 0 110 303 0 0 20 0 2 0 64902598 2537553920 549241 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2478080 KiB
Current children cumulated memory: 2196964 KiB

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

[startup+3602.94 s]
# the end of solver process 72975 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3586.68 s, system=13.3994 s

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

[startup+3602.9 s]
/proc/loadavg: 4.14 4.12 4.15 5/254 73253
/proc/meminfo: memFree=120317236/131382116 swapFree=33010684/33010684
[pid=72975] ppid=72971 vsize=2478080 memory=2196964 CPUtime=3600.03 cores=4,6
/proc/72975/stat : 72975 (ipbhs_gurobi) R 72971 72975 72601 0 -1 4194304 3013123 0 0 0 358667 1336 0 0 20 0 2 0 64902503 2537553920 549241 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
/proc/72975/statm: 619520 549241 3488 641 0 602003 0
[pid=72975/tid=73037] ppid=72971 vsize=2478080 memory=18432 CPUtime=4.13 cores=4,6
/proc/72975/task/73037/stat : 73037 (ipbhs_gurobi) S 72971 72975 72601 0 -1 4194368 94 0 0 0 110 303 0 0 20 0 2 0 64902598 2537553920 549241 18446744073709551615 94777705984000 94777708609053 140721717662400 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94777709227928 94777709260890 94777741819904 140721717668255 140721717668359 140721717668359 140721717673961 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2478080 KiB
Current children cumulated memory: 2196964 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3602.94
CPU time (s): 3600.08
CPU user time (s): 3586.68
CPU system time (s): 13.3994
CPU usage (%): 99.9205
Max. virtual memory (cumulated for all children) (KiB): 2478164
Max. memory (cumulated for all children) (KiB): 2205732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.68
system time used= 13.3994
maximum resident set size= 2205732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3013123
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= 356836
involuntary context switches= 3083


# summary of solver processes directly reported to runsolver:
#   pid: 72975
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3586.68
#   total CPU system time (s): 13.3994

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1848 second user time and 32.1304 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-02 23:37:07
IDJOB=4505660
IDBENCH=156158
IDSOLVER=3333
FILE ID=nodeC011/4505660-1751492227
RUNJOBID= nodeC011-1751488621-72612
SLURM_JOB_ID= 9598547
Free space on /tmp= 430204 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505660-1751492227/watcher-4505660-1751492227 -o /tmp/evaluation-result-4505660-1751492227/solver-4505660-1751492227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751488621-72612 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4505660-1751492227.opb --max-coef 1000000000

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

MD5SUM BENCH= 0390bfe3f6c229f0cac833c3202307c0
RANDOM SEED=1297649104

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        127538040 kB
MemAvailable:   129959640 kB
Buffers:            3276 kB
Cached:          3223372 kB
SwapCached:            0 kB
Active:           512768 kB
Inactive:        2784288 kB
Active(anon):      86264 kB
Inactive(anon):     2104 kB
Active(file):     426504 kB
Inactive(file):  2782184 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            123876 kB
Writeback:             0 kB
AnonPages:         73556 kB
Mapped:           103244 kB
Shmem:             17960 kB
KReclaimable:     104692 kB
Slab:             189340 kB
SReclaimable:     104692 kB
SUnreclaim:        84648 kB
KernelStack:        3840 kB
PageTables:         2864 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     336128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149304 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430276 MiB
End job on nodeC011 at 2025-07-03 00:37:11