Trace number 4505662

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-SCIP 2025-06-09? (TO) 3600.1 3612.17

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:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01	c optimizer = "scip"
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.28/0.32	c limit for coefficient in constraints and objective to 1000000000
0.28/0.32	c will solve HOME/instance-4505662-1751460911.opb
0.28/0.32	c [0.02] will start solving
108.01/108.45	c [1.93] solve iteration 1, LB=-24116532, UB=1
108.01/108.45	c [3.25] solve iteration 2, LB=-237241, UB=0
108.01/108.45	c [4.34] solve iteration 3, LB=-237241, UB=-8972
108.01/108.45	c [5.42] solve iteration 4, LB=-237241, UB=-17334
108.01/108.45	c [6.18] solve iteration 5, LB=-237241, UB=-17334
108.01/108.45	c [6.99] solve iteration 6, LB=-237241, UB=-17711
108.01/108.45	c [7.75] solve iteration 7, LB=-237241, UB=-17711
108.01/108.45	c [8.85] solve iteration 8, LB=-237241, UB=-17711
108.01/108.45	c [9.85] solve iteration 9, LB=-237241, UB=-17711
108.01/108.45	c [10.96] solve iteration 10, LB=-237241, UB=-17711
108.01/108.45	c [12.08] solve iteration 11, LB=-237241, UB=-18088
108.01/108.45	c [13.29] solve iteration 12, LB=-237241, UB=-18088
108.01/108.45	c [14.46] solve iteration 13, LB=-237241, UB=-18088
108.01/108.45	c [15.62] solve iteration 14, LB=-237241, UB=-18088
108.01/108.45	c [16.85] solve iteration 15, LB=-237241, UB=-18088
108.01/108.45	c [17.82] solve iteration 16, LB=-237241, UB=-18122
108.01/108.45	c [18.81] solve iteration 17, LB=-237241, UB=-18122
108.01/108.45	c [19.96] solve iteration 18, LB=-237241, UB=-18122
108.01/108.45	c [21.13] solve iteration 19, LB=-237241, UB=-18122
108.01/108.45	c [22.21] solve iteration 20, LB=-237241, UB=-18122
108.01/108.45	c [23.37] solve iteration 21, LB=-237241, UB=-18130
108.01/108.45	c [24.47] solve iteration 22, LB=-237241, UB=-18130
108.01/108.45	c [25.62] solve iteration 23, LB=-237241, UB=-18130
108.01/108.45	c [26.76] solve iteration 24, LB=-237241, UB=-18130
108.01/108.45	c [27.9] solve iteration 25, LB=-237241, UB=-18130
108.01/108.45	c [29.21] solve iteration 26, LB=-237241, UB=-19117
108.01/108.45	c [30.43] solve iteration 27, LB=-237241, UB=-19117
108.01/108.45	c [31.79] solve iteration 28, LB=-237241, UB=-19117
108.01/108.45	c [33.14] solve iteration 29, LB=-237241, UB=-19117
108.01/108.45	c [34.53] solve iteration 30, LB=-237241, UB=-19117
108.01/108.45	c [36] solve iteration 31, LB=-237241, UB=-19118
108.01/108.45	c [37.32] solve iteration 32, LB=-237241, UB=-19118
108.01/108.45	c [38.62] solve iteration 33, LB=-237241, UB=-19118
108.01/108.45	c [39.95] solve iteration 34, LB=-237241, UB=-19118
108.01/108.45	c [41.26] solve iteration 35, LB=-237241, UB=-19118
108.01/108.45	c [42.47] solve iteration 36, LB=-237241, UB=-19262
108.01/108.45	c [43.88] solve iteration 37, LB=-237241, UB=-19262
108.01/108.45	c [45.11] solve iteration 38, LB=-237241, UB=-19262
108.01/108.45	c [46.57] solve iteration 39, LB=-237241, UB=-19262
108.01/108.45	c [47.81] solve iteration 40, LB=-237241, UB=-19262
108.01/108.45	c [49.18] solve iteration 41, LB=-237241, UB=-20249
108.01/108.45	c [50.42] solve iteration 42, LB=-237241, UB=-20249
108.01/108.45	c [51.72] solve iteration 43, LB=-237241, UB=-20249
108.01/108.45	c [53.01] solve iteration 44, LB=-237241, UB=-20249
108.01/108.45	c [54.33] solve iteration 45, LB=-237241, UB=-20249
108.01/108.45	c [55.71] solve iteration 46, LB=-237241, UB=-20250
108.01/108.45	c [57.06] solve iteration 47, LB=-237241, UB=-20250
108.01/108.45	c [58.42] solve iteration 48, LB=-237241, UB=-20250
108.01/108.45	c [59.8] solve iteration 49, LB=-237241, UB=-20250
108.01/108.45	c [61.13] solve iteration 50, LB=-237241, UB=-20250
108.01/108.45	c [62.51] solve iteration 51, LB=-237241, UB=-20252
108.01/108.45	c [63.85] solve iteration 52, LB=-237241, UB=-20252
108.01/108.45	c [65.29] solve iteration 53, LB=-237241, UB=-20252
108.01/108.45	c [66.78] solve iteration 54, LB=-237241, UB=-20252
108.01/108.45	c [68.26] solve iteration 55, LB=-237241, UB=-20252
108.01/108.45	c [69.74] solve iteration 56, LB=-237241, UB=-20286
108.01/108.45	c [71.2] solve iteration 57, LB=-237241, UB=-20286
108.01/108.45	c [72.63] solve iteration 58, LB=-237241, UB=-20286
108.01/108.45	c [74.09] solve iteration 59, LB=-237241, UB=-20286
108.01/108.45	c [75.53] solve iteration 60, LB=-237241, UB=-20286
108.01/108.45	c [77.08] solve iteration 61, LB=-237241, UB=-20287
108.01/108.45	c [78.57] solve iteration 62, LB=-237241, UB=-20287
108.01/108.45	c [80.12] solve iteration 63, LB=-237241, UB=-20287
108.01/108.45	c [81.65] solve iteration 64, LB=-237241, UB=-20287
108.01/108.45	c [83.14] solve iteration 65, LB=-237241, UB=-20287
108.01/108.45	c [84.59] solve iteration 66, LB=-237241, UB=-20289
108.01/108.45	c [86.08] solve iteration 67, LB=-237241, UB=-20289
108.01/108.45	c [87.6] solve iteration 68, LB=-237241, UB=-20289
108.01/108.45	c [89.12] solve iteration 69, LB=-237241, UB=-20289
108.01/108.45	c [90.64] solve iteration 70, LB=-237241, UB=-20289
108.01/108.45	c [92.33] solve iteration 71, LB=-237241, UB=-20899
108.01/108.45	c [93.95] solve iteration 72, LB=-237241, UB=-20899
108.01/108.45	c [95.46] solve iteration 73, LB=-237241, UB=-20899
108.01/108.45	c [97.16] solve iteration 74, LB=-237241, UB=-20899
108.01/108.45	c [98.82] solve iteration 75, LB=-237241, UB=-20899
108.01/108.45	c [100.53] solve iteration 76, LB=-237241, UB=-21509
108.01/108.45	c [102.34] solve iteration 77, LB=-237241, UB=-21509
108.01/108.45	c [104.13] solve iteration 78, LB=-237241, UB=-21509
108.01/108.45	c [105.85] solve iteration 79, LB=-237241, UB=-21509
108.01/108.45	c [107.51] solve iteration 80, LB=-237241, UB=-21509
440.45/441.93	c [109.39] solve iteration 81, LB=-237241, UB=-23106
440.45/441.93	c [111.2] solve iteration 82, LB=-237241, UB=-23106
440.45/441.93	c [112.94] solve iteration 83, LB=-237241, UB=-23106
440.45/441.93	c [114.73] solve iteration 84, LB=-237241, UB=-23106
440.45/441.93	c [116.59] solve iteration 85, LB=-237241, UB=-23106
440.45/441.93	c [121.86] solve iteration 86, LB=-237241, UB=-23483
440.45/441.93	c [123.56] solve iteration 87, LB=-237241, UB=-23483
440.45/441.93	c [125.51] solve iteration 88, LB=-237241, UB=-23483
440.45/441.93	c [127.33] solve iteration 89, LB=-237241, UB=-23483
440.45/441.93	c [129.19] solve iteration 90, LB=-237241, UB=-23483
440.45/441.93	c [135.04] solve iteration 91, LB=-237241, UB=-26067
440.45/441.93	c [136.9] solve iteration 92, LB=-237241, UB=-26067
440.45/441.93	c [138.85] solve iteration 93, LB=-237241, UB=-26067
440.45/441.93	c [140.68] solve iteration 94, LB=-237241, UB=-26067
440.45/441.93	c [142.56] solve iteration 95, LB=-237241, UB=-26067
440.45/441.93	c [144.6] solve iteration 96, LB=-237241, UB=-26444
440.45/441.93	c [146.46] solve iteration 97, LB=-237241, UB=-26444
440.45/441.93	c [148.35] solve iteration 98, LB=-237241, UB=-26444
440.45/441.93	c [150.15] solve iteration 99, LB=-237241, UB=-26444
440.45/441.93	c [152.03] solve iteration 100, LB=-237241, UB=-26444
440.45/441.93	c [154.04] solve iteration 101, LB=-237241, UB=-29028
440.45/441.93	c [155.91] solve iteration 102, LB=-237241, UB=-29028
440.45/441.93	c [157.73] solve iteration 103, LB=-237241, UB=-29028
440.45/441.93	c [159.53] solve iteration 104, LB=-237241, UB=-29028
440.45/441.93	c [161.41] solve iteration 105, LB=-237241, UB=-29028
440.45/441.93	c [163.67] solve iteration 106, LB=-237241, UB=-29261
440.45/441.93	c [165.65] solve iteration 107, LB=-237241, UB=-29261
440.45/441.93	c [167.57] solve iteration 108, LB=-237241, UB=-29261
440.45/441.93	c [169.58] solve iteration 109, LB=-237241, UB=-29261
440.45/441.93	c [171.46] solve iteration 110, LB=-237241, UB=-29261
440.45/441.93	c [234.91] solve iteration 111, LB=-237241, UB=-33441
440.45/441.93	c [237.27] solve iteration 112, LB=-237241, UB=-33441
440.45/441.93	c [239.35] solve iteration 113, LB=-237241, UB=-33441
440.45/441.93	c [241.31] solve iteration 114, LB=-237241, UB=-33441
440.45/441.93	c [243.17] solve iteration 115, LB=-237241, UB=-33441
440.45/441.93	c [245.35] solve iteration 116, LB=-237241, UB=-37622
440.45/441.93	c [247.28] solve iteration 117, LB=-237241, UB=-37622
440.45/441.93	c [249.32] solve iteration 118, LB=-237241, UB=-37622
440.45/441.93	c [251.31] solve iteration 119, LB=-237241, UB=-37622
440.45/441.93	c [253.22] solve iteration 120, LB=-237241, UB=-37622
440.45/441.93	c [255.17] solve iteration 121, LB=-237241, UB=-38232
440.45/441.93	c [257.16] solve iteration 122, LB=-237241, UB=-38232
440.45/441.93	c [259.35] solve iteration 123, LB=-237241, UB=-38232
440.45/441.93	c [261.46] solve iteration 124, LB=-237241, UB=-38232
440.45/441.93	c [263.53] solve iteration 125, LB=-237241, UB=-38232
440.45/441.93	c [265.75] solve iteration 126, LB=-237241, UB=-38245
440.45/441.93	c [267.88] solve iteration 127, LB=-237241, UB=-38245
440.45/441.93	c [269.97] solve iteration 128, LB=-237241, UB=-38245
440.45/441.93	c [272.13] solve iteration 129, LB=-237241, UB=-38245
440.45/441.93	c [274.18] solve iteration 130, LB=-237241, UB=-38245
440.45/441.93	c [276.85] solve iteration 131, LB=-237241, UB=-39232
440.45/441.93	c [278.99] solve iteration 132, LB=-237241, UB=-39232
440.45/441.93	c [281.04] solve iteration 133, LB=-237241, UB=-39232
440.45/441.93	c [283.09] solve iteration 134, LB=-237241, UB=-39232
440.45/441.93	c [285.29] solve iteration 135, LB=-237241, UB=-39232
440.45/441.93	c [288.2] solve iteration 136, LB=-237241, UB=-40219
440.45/441.93	c [290.34] solve iteration 137, LB=-237241, UB=-40219
440.45/441.93	c [292.47] solve iteration 138, LB=-237241, UB=-40219
440.45/441.93	c [294.52] solve iteration 139, LB=-237241, UB=-40219
440.45/441.93	c [296.73] solve iteration 140, LB=-237241, UB=-40219
440.45/441.93	c [299.38] solve iteration 141, LB=-237241, UB=-44387
440.45/441.93	c [301.61] solve iteration 142, LB=-237241, UB=-44387
440.45/441.93	c [303.83] solve iteration 143, LB=-237241, UB=-44387
440.45/441.93	c [305.96] solve iteration 144, LB=-237241, UB=-44387
440.45/441.93	c [308.05] solve iteration 145, LB=-237241, UB=-44387
440.45/441.93	c [415.79] solve iteration 146, LB=-237241, UB=-44398
440.45/441.93	c [418.08] solve iteration 147, LB=-237241, UB=-44398
440.45/441.93	c [420.35] solve iteration 148, LB=-237241, UB=-44398
440.45/441.93	c [422.67] solve iteration 149, LB=-237241, UB=-44398
440.45/441.93	c [425.17] solve iteration 150, LB=-237241, UB=-44398
440.45/441.93	c [427.74] solve iteration 151, LB=-237241, UB=-45995
440.45/441.93	c [430] solve iteration 152, LB=-237241, UB=-45995
440.45/441.93	c [432.12] solve iteration 153, LB=-237241, UB=-45995
440.45/441.93	c [434.65] solve iteration 154, LB=-237241, UB=-45995
440.45/441.93	c [436.86] solve iteration 155, LB=-237241, UB=-45995
440.45/441.93	c [439.3] solve iteration 156, LB=-237241, UB=-45996
836.36/839.15	c [441.66] solve iteration 157, LB=-237241, UB=-45996
836.36/839.15	c [443.87] solve iteration 158, LB=-237241, UB=-45996
836.36/839.15	c [446.14] solve iteration 159, LB=-237241, UB=-45996
836.36/839.15	c [448.41] solve iteration 160, LB=-237241, UB=-45996
836.36/839.15	c [450.79] solve iteration 161, LB=-237241, UB=-46001
836.36/839.15	c [453.27] solve iteration 162, LB=-237241, UB=-46001
836.36/839.15	c [455.45] solve iteration 163, LB=-237241, UB=-46001
836.36/839.15	c [457.69] solve iteration 164, LB=-237241, UB=-46001
836.36/839.15	c [459.96] solve iteration 165, LB=-237241, UB=-46001
836.36/839.15	c [462.5] solve iteration 166, LB=-237241, UB=-46611
836.36/839.15	c [464.72] solve iteration 167, LB=-237241, UB=-46611
836.36/839.15	c [466.89] solve iteration 168, LB=-237241, UB=-46611
836.36/839.15	c [469.15] solve iteration 169, LB=-237241, UB=-46611
836.36/839.15	c [471.52] solve iteration 170, LB=-237241, UB=-46611
836.36/839.15	c [474.25] solve iteration 171, LB=-237241, UB=-46612
836.36/839.15	c [476.64] solve iteration 172, LB=-237241, UB=-46612
836.36/839.15	c [479.06] solve iteration 173, LB=-237241, UB=-46612
836.36/839.15	c [481.63] solve iteration 174, LB=-237241, UB=-46612
836.36/839.15	c [484.06] solve iteration 175, LB=-237241, UB=-46612
836.36/839.15	c [486.51] solve iteration 176, LB=-237241, UB=-46625
836.36/839.15	c [488.88] solve iteration 177, LB=-237241, UB=-46625
836.36/839.15	c [491.5] solve iteration 178, LB=-237241, UB=-46625
836.36/839.15	c [493.98] solve iteration 179, LB=-237241, UB=-46625
836.36/839.15	c [496.35] solve iteration 180, LB=-237241, UB=-46625
836.36/839.15	c [498.92] solve iteration 181, LB=-237241, UB=-46629
836.36/839.15	c [501.48] solve iteration 182, LB=-237241, UB=-46629
836.36/839.15	c [503.88] solve iteration 183, LB=-237241, UB=-46629
836.36/839.15	c [506.51] solve iteration 184, LB=-237241, UB=-46629
836.36/839.15	c [509.01] solve iteration 185, LB=-237241, UB=-46629
836.36/839.15	c [512.12] solve iteration 186, LB=-237241, UB=-46768
836.36/839.15	c [514.62] solve iteration 187, LB=-237241, UB=-46768
836.36/839.15	c [517.1] solve iteration 188, LB=-237241, UB=-46768
836.36/839.15	c [519.43] solve iteration 189, LB=-237241, UB=-46768
836.36/839.15	c [521.81] solve iteration 190, LB=-237241, UB=-46768
836.36/839.15	c [525.07] solve iteration 191, LB=-237241, UB=-46772
836.36/839.15	c [527.57] solve iteration 192, LB=-237241, UB=-46772
836.36/839.15	c [529.98] solve iteration 193, LB=-237241, UB=-46772
836.36/839.15	c [532.41] solve iteration 194, LB=-237241, UB=-46772
836.36/839.15	c [534.72] solve iteration 195, LB=-237241, UB=-46772
836.36/839.15	c [539.56] solve iteration 196, LB=-237241, UB=-47369
836.36/839.15	c [542.02] solve iteration 197, LB=-237241, UB=-47369
836.36/839.15	c [544.38] solve iteration 198, LB=-237241, UB=-47369
836.36/839.15	c [546.84] solve iteration 199, LB=-237241, UB=-47369
836.36/839.15	c [549.5] solve iteration 200, LB=-237241, UB=-47369
836.36/839.15	c [748.4] solve iteration 201, LB=-237241, UB=-47369
836.36/839.15	c [750.89] solve iteration 202, LB=-237241, UB=-47369
836.36/839.15	c [753.43] solve iteration 203, LB=-237241, UB=-47369
836.36/839.15	c [756.02] solve iteration 204, LB=-237241, UB=-47369
836.36/839.15	c [758.62] solve iteration 205, LB=-237241, UB=-47369
836.36/839.15	c [761.52] solve iteration 206, LB=-237241, UB=-48356
836.36/839.15	c [764.13] solve iteration 207, LB=-237241, UB=-48356
836.36/839.15	c [766.72] solve iteration 208, LB=-237241, UB=-48356
836.36/839.15	c [769.48] solve iteration 209, LB=-237241, UB=-48356
836.36/839.15	c [772.13] solve iteration 210, LB=-237241, UB=-48356
836.36/839.15	c [776.33] solve iteration 211, LB=-237241, UB=-48966
836.36/839.15	c [779.11] solve iteration 212, LB=-237241, UB=-48966
836.36/839.15	c [781.9] solve iteration 213, LB=-237241, UB=-48966
836.36/839.15	c [784.36] solve iteration 214, LB=-237241, UB=-48966
836.36/839.15	c [786.92] solve iteration 215, LB=-237241, UB=-48966
836.36/839.15	c [790.15] solve iteration 216, LB=-237241, UB=-51550
836.36/839.15	c [792.87] solve iteration 217, LB=-237241, UB=-51550
836.36/839.15	c [795.47] solve iteration 218, LB=-237241, UB=-51550
836.36/839.15	c [798.13] solve iteration 219, LB=-237241, UB=-51550
836.36/839.15	c [800.77] solve iteration 220, LB=-237241, UB=-51550
836.36/839.15	c [804.76] solve iteration 221, LB=-237241, UB=-51551
836.36/839.15	c [807.15] solve iteration 222, LB=-237241, UB=-51551
836.36/839.15	c [809.8] solve iteration 223, LB=-237241, UB=-51551
836.36/839.15	c [812.69] solve iteration 224, LB=-237241, UB=-51551
836.36/839.15	c [815.33] solve iteration 225, LB=-237241, UB=-51551
836.36/839.15	c [818.23] solve iteration 226, LB=-237241, UB=-51552
836.36/839.15	c [820.97] solve iteration 227, LB=-237241, UB=-51552
836.36/839.15	c [823.54] solve iteration 228, LB=-237241, UB=-51552
836.36/839.15	c [825.98] solve iteration 229, LB=-237241, UB=-51552
836.36/839.15	c [828.95] solve iteration 230, LB=-237241, UB=-51552
836.36/839.15	c [831.99] solve iteration 231, LB=-237241, UB=-51555
836.36/839.15	c [834.67] solve iteration 232, LB=-237241, UB=-51555
1222.67/1226.74	c [837.49] solve iteration 233, LB=-237241, UB=-51555
1222.67/1226.74	c [840.13] solve iteration 234, LB=-237241, UB=-51555
1222.67/1226.74	c [842.58] solve iteration 235, LB=-237241, UB=-51555
1222.67/1226.74	c [845.52] solve iteration 236, LB=-237241, UB=-51568
1222.67/1226.74	c [848.16] solve iteration 237, LB=-237241, UB=-51568
1222.67/1226.74	c [850.89] solve iteration 238, LB=-237241, UB=-51568
1222.67/1226.74	c [853.88] solve iteration 239, LB=-237241, UB=-51568
1222.67/1226.74	c [856.62] solve iteration 240, LB=-237241, UB=-51568
1222.67/1226.74	c [859.55] solve iteration 241, LB=-237241, UB=-51602
1222.67/1226.74	c [862.39] solve iteration 242, LB=-237241, UB=-51602
1222.67/1226.74	c [865.07] solve iteration 243, LB=-237241, UB=-51602
1222.67/1226.74	c [867.91] solve iteration 244, LB=-237241, UB=-51602
1222.67/1226.74	c [870.82] solve iteration 245, LB=-237241, UB=-51602
1222.67/1226.74	c [873.85] solve iteration 246, LB=-237241, UB=-52586
1222.67/1226.74	c [876.62] solve iteration 247, LB=-237241, UB=-52586
1222.67/1226.74	c [879.55] solve iteration 248, LB=-237241, UB=-52586
1222.67/1226.74	c [882.38] solve iteration 249, LB=-237241, UB=-52586
1222.67/1226.74	c [885.23] solve iteration 250, LB=-237241, UB=-52586
1222.67/1226.74	c [888.42] solve iteration 251, LB=-237241, UB=-52593
1222.67/1226.74	c [891.38] solve iteration 252, LB=-237241, UB=-52593
1222.67/1226.74	c [894.06] solve iteration 253, LB=-237241, UB=-52593
1222.67/1226.74	c [896.79] solve iteration 254, LB=-237241, UB=-52593
1222.67/1226.74	c [899.66] solve iteration 255, LB=-237241, UB=-52593
1222.67/1226.74	c [914] solve iteration 256, LB=-237241, UB=-52734
1222.67/1226.74	c [917.13] solve iteration 257, LB=-237241, UB=-52734
1222.67/1226.74	c [920.07] solve iteration 258, LB=-237241, UB=-52734
1222.67/1226.74	c [923] solve iteration 259, LB=-237241, UB=-52734
1222.67/1226.74	c [925.82] solve iteration 260, LB=-237241, UB=-52734
1222.67/1226.74	c [1045.45] solve iteration 261, LB=-237241, UB=-52736
1222.67/1226.74	c [1048.36] solve iteration 262, LB=-237241, UB=-52736
1222.67/1226.74	c [1051.67] solve iteration 263, LB=-237241, UB=-52736
1222.67/1226.74	c [1054.47] solve iteration 264, LB=-237241, UB=-52736
1222.67/1226.74	c [1057.46] solve iteration 265, LB=-237241, UB=-52736
1222.67/1226.74	c [1060.79] solve iteration 266, LB=-237241, UB=-52737
1222.67/1226.74	c [1063.61] solve iteration 267, LB=-237241, UB=-52737
1222.67/1226.74	c [1066.52] solve iteration 268, LB=-237241, UB=-52737
1222.67/1226.74	c [1069.35] solve iteration 269, LB=-237241, UB=-52737
1222.67/1226.74	c [1072.44] solve iteration 270, LB=-237241, UB=-52737
1222.67/1226.74	c [1075.77] solve iteration 271, LB=-237241, UB=-52738
1222.67/1226.74	c [1078.86] solve iteration 272, LB=-237241, UB=-52738
1222.67/1226.74	c [1081.83] solve iteration 273, LB=-237241, UB=-52738
1222.67/1226.74	c [1084.82] solve iteration 274, LB=-237241, UB=-52738
1222.67/1226.74	c [1087.79] solve iteration 275, LB=-237241, UB=-52738
1222.67/1226.74	c [1091.03] solve iteration 276, LB=-237241, UB=-52739
1222.67/1226.74	c [1093.98] solve iteration 277, LB=-237241, UB=-52739
1222.67/1226.74	c [1096.91] solve iteration 278, LB=-237241, UB=-52739
1222.67/1226.74	c [1099.98] solve iteration 279, LB=-237241, UB=-52739
1222.67/1226.74	c [1102.94] solve iteration 280, LB=-237241, UB=-52739
1222.67/1226.74	c [1106.18] solve iteration 281, LB=-237241, UB=-52740
1222.67/1226.74	c [1109.3] solve iteration 282, LB=-237241, UB=-52740
1222.67/1226.74	c [1112.27] solve iteration 283, LB=-237241, UB=-52740
1222.67/1226.74	c [1115.33] solve iteration 284, LB=-237241, UB=-52740
1222.67/1226.74	c [1118.16] solve iteration 285, LB=-237241, UB=-52740
1222.67/1226.74	c [1121.38] solve iteration 286, LB=-237241, UB=-52741
1222.67/1226.74	c [1124.47] solve iteration 287, LB=-237241, UB=-52741
1222.67/1226.74	c [1127.44] solve iteration 288, LB=-237241, UB=-52741
1222.67/1226.74	c [1130.31] solve iteration 289, LB=-237241, UB=-52741
1222.67/1226.74	c [1133.28] solve iteration 290, LB=-237241, UB=-52741
1222.67/1226.74	c [1168.66] solve iteration 291, LB=-237241, UB=-53727
1222.67/1226.74	c [1171.72] solve iteration 292, LB=-237241, UB=-53727
1222.67/1226.74	c [1174.86] solve iteration 293, LB=-237241, UB=-53727
1222.67/1226.74	c [1177.89] solve iteration 294, LB=-237241, UB=-53727
1222.67/1226.74	c [1181.01] solve iteration 295, LB=-237241, UB=-53727
1222.67/1226.74	c [1185.54] solve iteration 296, LB=-237241, UB=-53728
1222.67/1226.74	c [1188.67] solve iteration 297, LB=-237241, UB=-53728
1222.67/1226.74	c [1191.66] solve iteration 298, LB=-237241, UB=-53728
1222.67/1226.74	c [1194.58] solve iteration 299, LB=-237241, UB=-53728
1222.67/1226.74	c [1197.58] solve iteration 300, LB=-237241, UB=-53728
1222.67/1226.74	c [1200.83] solve iteration 301, LB=-237241, UB=-53732
1222.67/1226.74	c [1203.67] solve iteration 302, LB=-237241, UB=-53732
1222.67/1226.74	c [1206.77] solve iteration 303, LB=-237241, UB=-53732
1222.67/1226.74	c [1209.85] solve iteration 304, LB=-237241, UB=-53732
1222.67/1226.74	c [1212.95] solve iteration 305, LB=-237241, UB=-53732
1222.67/1226.74	c [1217.15] solve iteration 306, LB=-237241, UB=-53745
1222.67/1226.74	c [1220.33] solve iteration 307, LB=-237241, UB=-53745
1685.25/1690.81	c [1223.29] solve iteration 308, LB=-237241, UB=-53745
1685.25/1690.81	c [1226.43] solve iteration 309, LB=-237241, UB=-53745
1685.25/1690.81	c [1229.56] solve iteration 310, LB=-237241, UB=-53745
1685.25/1690.81	c [1249.42] solve iteration 311, LB=-237241, UB=-53770
1685.25/1690.81	c [1252.65] solve iteration 312, LB=-237241, UB=-53770
1685.25/1690.81	c [1255.88] solve iteration 313, LB=-237241, UB=-53770
1685.25/1690.81	c [1259.3] solve iteration 314, LB=-237241, UB=-53770
1685.25/1690.81	c [1262.51] solve iteration 315, LB=-237241, UB=-53770
1685.25/1690.81	c [1274.47] solve iteration 316, LB=-237241, UB=-55366
1685.25/1690.81	c [1277.49] solve iteration 317, LB=-237241, UB=-55366
1685.25/1690.81	c [1280.55] solve iteration 318, LB=-237241, UB=-55366
1685.25/1690.81	c [1283.57] solve iteration 319, LB=-237241, UB=-55366
1685.25/1690.81	c [1287.09] solve iteration 320, LB=-237241, UB=-55366
1685.25/1690.81	c [1337.15] solve iteration 321, LB=-237241, UB=-56311
1685.25/1690.81	c [1340.71] solve iteration 322, LB=-237241, UB=-56311
1685.25/1690.81	c [1343.98] solve iteration 323, LB=-237241, UB=-56311
1685.25/1690.81	c [1347.06] solve iteration 324, LB=-237241, UB=-56311
1685.25/1690.81	c [1350.24] solve iteration 325, LB=-237241, UB=-56311
1685.25/1690.81	c [1383.41] solve iteration 326, LB=-237241, UB=-56340
1685.25/1690.81	c [1386.96] solve iteration 327, LB=-237241, UB=-56340
1685.25/1690.81	c [1390.12] solve iteration 328, LB=-237241, UB=-56340
1685.25/1690.81	c [1393.41] solve iteration 329, LB=-237241, UB=-56340
1685.25/1690.81	c [1396.64] solve iteration 330, LB=-237241, UB=-56340
1685.25/1690.81	c [1407.27] solve iteration 331, LB=-237241, UB=-56353
1685.25/1690.81	c [1410.41] solve iteration 332, LB=-237241, UB=-56353
1685.25/1690.81	c [1414.06] solve iteration 333, LB=-237241, UB=-56353
1685.25/1690.81	c [1417.19] solve iteration 334, LB=-237241, UB=-56353
1685.25/1690.81	c [1420.75] solve iteration 335, LB=-237241, UB=-56353
1685.25/1690.81	c [1455.35] solve iteration 336, LB=-237241, UB=-57717
1685.25/1690.81	c [1458.65] solve iteration 337, LB=-237241, UB=-57717
1685.25/1690.81	c [1462.17] solve iteration 338, LB=-237241, UB=-57717
1685.25/1690.81	c [1465.57] solve iteration 339, LB=-237241, UB=-57717
1685.25/1690.81	c [1468.65] solve iteration 340, LB=-237241, UB=-57717
1685.25/1690.81	c [1472.62] solve iteration 341, LB=-237241, UB=-57751
1685.25/1690.81	c [1475.99] solve iteration 342, LB=-237241, UB=-57751
1685.25/1690.81	c [1479.61] solve iteration 343, LB=-237241, UB=-57751
1685.25/1690.81	c [1483.01] solve iteration 344, LB=-237241, UB=-57751
1685.25/1690.81	c [1486.28] solve iteration 345, LB=-237241, UB=-57751
1685.25/1690.81	c [1489.91] solve iteration 346, LB=-237241, UB=-57752
1685.25/1690.81	c [1493.24] solve iteration 347, LB=-237241, UB=-57752
1685.25/1690.81	c [1496.71] solve iteration 348, LB=-237241, UB=-57752
1685.25/1690.81	c [1499.87] solve iteration 349, LB=-237241, UB=-57752
1685.25/1690.81	c [1503.48] solve iteration 350, LB=-237241, UB=-57752
1685.25/1690.81	c [1507.83] solve iteration 351, LB=-237241, UB=-57754
1685.25/1690.81	c [1511.35] solve iteration 352, LB=-237241, UB=-57754
1685.25/1690.81	c [1514.84] solve iteration 353, LB=-237241, UB=-57754
1685.25/1690.81	c [1518.34] solve iteration 354, LB=-237241, UB=-57754
1685.25/1690.81	c [1522.04] solve iteration 355, LB=-237241, UB=-57754
1685.25/1690.81	c [1527.01] solve iteration 356, LB=-237241, UB=-57756
1685.25/1690.81	c [1530.78] solve iteration 357, LB=-237241, UB=-57756
1685.25/1690.81	c [1534.52] solve iteration 358, LB=-237241, UB=-57756
1685.25/1690.81	c [1538.55] solve iteration 359, LB=-237241, UB=-57756
1685.25/1690.81	c [1542.53] solve iteration 360, LB=-237241, UB=-57756
1685.25/1690.81	c [1548.87] solve iteration 361, LB=-237241, UB=-57759
1685.25/1690.81	c [1552.61] solve iteration 362, LB=-237241, UB=-57759
1685.25/1690.81	c [1556.56] solve iteration 363, LB=-237241, UB=-57759
1685.25/1690.81	c [1560.43] solve iteration 364, LB=-237241, UB=-57759
1685.25/1690.81	c [1564.55] solve iteration 365, LB=-237241, UB=-57759
1685.25/1690.81	c [1612.41] solve iteration 366, LB=-237241, UB=-57780
1685.25/1690.81	c [1615.95] solve iteration 367, LB=-237241, UB=-57780
1685.25/1690.81	c [1620.13] solve iteration 368, LB=-237241, UB=-57780
1685.25/1690.81	c [1624.02] solve iteration 369, LB=-237241, UB=-57780
1685.25/1690.81	c [1628.06] solve iteration 370, LB=-237241, UB=-57780
1685.25/1690.81	c [1637.3] solve iteration 371, LB=-237241, UB=-57785
1685.25/1690.81	c [1641.18] solve iteration 372, LB=-237241, UB=-57785
1685.25/1690.81	c [1644.81] solve iteration 373, LB=-237241, UB=-57785
1685.25/1690.81	c [1648.53] solve iteration 374, LB=-237241, UB=-57785
1685.25/1690.81	c [1652.29] solve iteration 375, LB=-237241, UB=-57785
1685.25/1690.81	c [1656.6] solve iteration 376, LB=-237241, UB=-57790
1685.25/1690.81	c [1661.03] solve iteration 377, LB=-237241, UB=-57790
1685.25/1690.81	c [1665.44] solve iteration 378, LB=-237241, UB=-57790
1685.25/1690.81	c [1669.65] solve iteration 379, LB=-237241, UB=-57790
1685.25/1690.81	c [1673.54] solve iteration 380, LB=-237241, UB=-57790
1685.25/1690.81	c [1678.23] solve iteration 381, LB=-237241, UB=-57791
1685.25/1690.81	c [1682.28] solve iteration 382, LB=-237241, UB=-57791
2050.70/2057.55	c [1686.24] solve iteration 383, LB=-237241, UB=-57791
2050.70/2057.55	c [1690.31] solve iteration 384, LB=-237241, UB=-57791
2050.70/2057.55	c [1694.07] solve iteration 385, LB=-237241, UB=-57791
2050.70/2057.55	c [1698.56] solve iteration 386, LB=-237241, UB=-57792
2050.70/2057.55	c [1702.73] solve iteration 387, LB=-237241, UB=-57792
2050.70/2057.55	c [1706.81] solve iteration 388, LB=-237241, UB=-57792
2050.70/2057.55	c [1710.65] solve iteration 389, LB=-237241, UB=-57792
2050.70/2057.55	c [1714.91] solve iteration 390, LB=-237241, UB=-57792
2050.70/2057.55	c [1720.11] solve iteration 391, LB=-237241, UB=-57793
2050.70/2057.55	c [1724.52] solve iteration 392, LB=-237241, UB=-57793
2050.70/2057.55	c [1729.81] solve iteration 393, LB=-237241, UB=-57793
2050.70/2057.55	c [1734.2] solve iteration 394, LB=-237241, UB=-57793
2050.70/2057.55	c [1738.43] solve iteration 395, LB=-237241, UB=-57793
2050.70/2057.55	c [1742.82] solve iteration 396, LB=-237241, UB=-57794
2050.70/2057.55	c [1747.32] solve iteration 397, LB=-237241, UB=-57794
2050.70/2057.55	c [1751.58] solve iteration 398, LB=-237241, UB=-57794
2050.70/2057.55	c [1755.82] solve iteration 399, LB=-237241, UB=-57794
2050.70/2057.55	c [1760.1] solve iteration 400, LB=-237241, UB=-57794
2050.70/2057.55	c [1765.32] solve iteration 401, LB=-237241, UB=-57795
2050.70/2057.55	c [1769.48] solve iteration 402, LB=-237241, UB=-57795
2050.70/2057.55	c [1773.77] solve iteration 403, LB=-237241, UB=-57795
2050.70/2057.55	c [1778] solve iteration 404, LB=-237241, UB=-57795
2050.70/2057.55	c [1782.34] solve iteration 405, LB=-237241, UB=-57795
2050.70/2057.55	c [1787.59] solve iteration 406, LB=-237241, UB=-57799
2050.70/2057.55	c [1791.72] solve iteration 407, LB=-237241, UB=-57799
2050.70/2057.55	c [1796.17] solve iteration 408, LB=-237241, UB=-57799
2050.70/2057.55	c [1800.77] solve iteration 409, LB=-237241, UB=-57799
2050.70/2057.55	c [1805.04] solve iteration 410, LB=-237241, UB=-57799
2050.70/2057.55	c [1812.2] solve iteration 411, LB=-237241, UB=-57802
2050.70/2057.55	c [1816.83] solve iteration 412, LB=-237241, UB=-57802
2050.70/2057.55	c [1820.99] solve iteration 413, LB=-237241, UB=-57802
2050.70/2057.55	c [1825.49] solve iteration 414, LB=-237241, UB=-57802
2050.70/2057.55	c [1829.73] solve iteration 415, LB=-237241, UB=-57802
2050.70/2057.55	c [1836.56] solve iteration 416, LB=-237241, UB=-57806
2050.70/2057.55	c [1841.08] solve iteration 417, LB=-237241, UB=-57806
2050.70/2057.55	c [1845.46] solve iteration 418, LB=-237241, UB=-57806
2050.70/2057.55	c [1849.79] solve iteration 419, LB=-237241, UB=-57806
2050.70/2057.55	c [1854.07] solve iteration 420, LB=-237241, UB=-57806
2050.70/2057.55	c [1859.74] solve iteration 421, LB=-237241, UB=-59390
2050.70/2057.55	c [1864.24] solve iteration 422, LB=-237241, UB=-59390
2050.70/2057.55	c [1868.57] solve iteration 423, LB=-237241, UB=-59390
2050.70/2057.55	c [1873.15] solve iteration 424, LB=-237241, UB=-59390
2050.70/2057.55	c [1877.9] solve iteration 425, LB=-237241, UB=-59390
2050.70/2057.55	c [1891.35] solve iteration 426, LB=-237241, UB=-59397
2050.70/2057.55	c [1895.89] solve iteration 427, LB=-237241, UB=-59397
2050.70/2057.55	c [1900.57] solve iteration 428, LB=-237241, UB=-59397
2050.70/2057.55	c [1905.14] solve iteration 429, LB=-237241, UB=-59397
2050.70/2057.55	c [1909.52] solve iteration 430, LB=-237241, UB=-59397
2050.70/2057.55	c [1916.83] solve iteration 431, LB=-237241, UB=-59401
2050.70/2057.55	c [1921.99] solve iteration 432, LB=-237241, UB=-59401
2050.70/2057.55	c [1926.72] solve iteration 433, LB=-237241, UB=-59401
2050.70/2057.55	c [1931.3] solve iteration 434, LB=-237241, UB=-59401
2050.70/2057.55	c [1935.98] solve iteration 435, LB=-237241, UB=-59401
2050.70/2057.55	c [1942.18] solve iteration 436, LB=-237241, UB=-59403
2050.70/2057.55	c [1946.77] solve iteration 437, LB=-237241, UB=-59403
2050.70/2057.55	c [1951.29] solve iteration 438, LB=-237241, UB=-59403
2050.70/2057.55	c [1956.27] solve iteration 439, LB=-237241, UB=-59403
2050.70/2057.55	c [1960.77] solve iteration 440, LB=-237241, UB=-59403
2050.70/2057.55	c [1970.61] solve iteration 441, LB=-237241, UB=-59589
2050.70/2057.55	c [1975.7] solve iteration 442, LB=-237241, UB=-59589
2050.70/2057.55	c [1980.57] solve iteration 443, LB=-237241, UB=-59589
2050.70/2057.55	c [1985.4] solve iteration 444, LB=-237241, UB=-59589
2050.70/2057.55	c [1990.35] solve iteration 445, LB=-237241, UB=-59589
2050.70/2057.55	c [1997.13] solve iteration 446, LB=-237241, UB=-61152
2050.70/2057.55	c [2002.12] solve iteration 447, LB=-237241, UB=-61152
2050.70/2057.55	c [2007.56] solve iteration 448, LB=-237241, UB=-61152
2050.70/2057.55	c [2012.17] solve iteration 449, LB=-237241, UB=-61152
2050.70/2057.55	c [2017.04] solve iteration 450, LB=-237241, UB=-61152
2050.70/2057.55	c [2022.08] solve iteration 451, LB=-237241, UB=-61157
2050.70/2057.55	c [2026.79] solve iteration 452, LB=-237241, UB=-61157
2050.70/2057.55	c [2031.65] solve iteration 453, LB=-237241, UB=-61157
2050.70/2057.55	c [2036.64] solve iteration 454, LB=-237241, UB=-61157
2050.70/2057.55	c [2041.83] solve iteration 455, LB=-237241, UB=-61157
2050.70/2057.55	c [2047.24] solve iteration 456, LB=-237241, UB=-61160
2494.28/2502.67	c [2051.85] solve iteration 457, LB=-237241, UB=-61160
2494.28/2502.67	c [2056.94] solve iteration 458, LB=-237241, UB=-61160
2494.28/2502.67	c [2061.96] solve iteration 459, LB=-237241, UB=-61160
2494.28/2502.67	c [2066.79] solve iteration 460, LB=-237241, UB=-61160
2494.28/2502.67	c [2073.22] solve iteration 461, LB=-237241, UB=-61165
2494.28/2502.67	c [2078.1] solve iteration 462, LB=-237241, UB=-61165
2494.28/2502.67	c [2083.23] solve iteration 463, LB=-237241, UB=-61165
2494.28/2502.67	c [2088.35] solve iteration 464, LB=-237241, UB=-61165
2494.28/2502.67	c [2093.51] solve iteration 465, LB=-237241, UB=-61165
2494.28/2502.67	c [2103.77] solve iteration 466, LB=-237241, UB=-61166
2494.28/2502.67	c [2108.94] solve iteration 467, LB=-237241, UB=-61166
2494.28/2502.67	c [2114.42] solve iteration 468, LB=-237241, UB=-61166
2494.28/2502.67	c [2119.87] solve iteration 469, LB=-237241, UB=-61166
2494.28/2502.67	c [2125.75] solve iteration 470, LB=-237241, UB=-61166
2494.28/2502.67	c [2131.61] solve iteration 471, LB=-237241, UB=-61168
2494.28/2502.67	c [2136.71] solve iteration 472, LB=-237241, UB=-61168
2494.28/2502.67	c [2141.92] solve iteration 473, LB=-237241, UB=-61168
2494.28/2502.67	c [2147.23] solve iteration 474, LB=-237241, UB=-61168
2494.28/2502.67	c [2152.4] solve iteration 475, LB=-237241, UB=-61168
2494.28/2502.67	c [2158.48] solve iteration 476, LB=-237241, UB=-61170
2494.28/2502.67	c [2163.59] solve iteration 477, LB=-237241, UB=-61170
2494.28/2502.67	c [2168.71] solve iteration 478, LB=-237241, UB=-61170
2494.28/2502.67	c [2174.11] solve iteration 479, LB=-237241, UB=-61170
2494.28/2502.67	c [2179.18] solve iteration 480, LB=-237241, UB=-61170
2494.28/2502.67	c [2184.99] solve iteration 481, LB=-237241, UB=-61173
2494.28/2502.67	c [2190.24] solve iteration 482, LB=-237241, UB=-61173
2494.28/2502.67	c [2195.58] solve iteration 483, LB=-237241, UB=-61173
2494.28/2502.67	c [2200.73] solve iteration 484, LB=-237241, UB=-61173
2494.28/2502.67	c [2205.9] solve iteration 485, LB=-237241, UB=-61173
2494.28/2502.67	c [2212.49] solve iteration 486, LB=-237241, UB=-61178
2494.28/2502.67	c [2217.74] solve iteration 487, LB=-237241, UB=-61178
2494.28/2502.67	c [2222.99] solve iteration 488, LB=-237241, UB=-61178
2494.28/2502.67	c [2228.34] solve iteration 489, LB=-237241, UB=-61178
2494.28/2502.67	c [2234.02] solve iteration 490, LB=-237241, UB=-61178
2494.28/2502.67	c [2243.63] solve iteration 491, LB=-237241, UB=-61181
2494.28/2502.67	c [2249.14] solve iteration 492, LB=-237241, UB=-61181
2494.28/2502.67	c [2254.54] solve iteration 493, LB=-237241, UB=-61181
2494.28/2502.67	c [2259.95] solve iteration 494, LB=-237241, UB=-61181
2494.28/2502.67	c [2265.77] solve iteration 495, LB=-237241, UB=-61181
2494.28/2502.67	c [2271.5] solve iteration 496, LB=-237241, UB=-61186
2494.28/2502.67	c [2277.13] solve iteration 497, LB=-237241, UB=-61186
2494.28/2502.67	c [2282.38] solve iteration 498, LB=-237241, UB=-61186
2494.28/2502.67	c [2288.13] solve iteration 499, LB=-237241, UB=-61186
2494.28/2502.67	c [2293.65] solve iteration 500, LB=-237241, UB=-61186
2494.28/2502.67	c [2300.16] solve iteration 501, LB=-237241, UB=-61191
2494.28/2502.67	c [2305.83] solve iteration 502, LB=-237241, UB=-61191
2494.28/2502.67	c [2311.24] solve iteration 503, LB=-237241, UB=-61191
2494.28/2502.67	c [2316.9] solve iteration 504, LB=-237241, UB=-61191
2494.28/2502.67	c [2322.7] solve iteration 505, LB=-237241, UB=-61191
2494.28/2502.67	c [2328.43] solve iteration 506, LB=-237241, UB=-61192
2494.28/2502.67	c [2334.16] solve iteration 507, LB=-237241, UB=-61192
2494.28/2502.67	c [2339.47] solve iteration 508, LB=-237241, UB=-61192
2494.28/2502.67	c [2344.89] solve iteration 509, LB=-237241, UB=-61192
2494.28/2502.67	c [2350.67] solve iteration 510, LB=-237241, UB=-61192
2494.28/2502.67	c [2358.67] solve iteration 511, LB=-237241, UB=-61199
2494.28/2502.67	c [2364.34] solve iteration 512, LB=-237241, UB=-61199
2494.28/2502.67	c [2370.32] solve iteration 513, LB=-237241, UB=-61199
2494.28/2502.67	c [2376.15] solve iteration 514, LB=-237241, UB=-61199
2494.28/2502.67	c [2382.01] solve iteration 515, LB=-237241, UB=-61199
2494.28/2502.67	c [2392.76] solve iteration 516, LB=-237241, UB=-61212
2494.28/2502.67	c [2398.43] solve iteration 517, LB=-237241, UB=-61212
2494.28/2502.67	c [2403.78] solve iteration 518, LB=-237241, UB=-61212
2494.28/2502.67	c [2409.34] solve iteration 519, LB=-237241, UB=-61212
2494.28/2502.67	c [2414.85] solve iteration 520, LB=-237241, UB=-61212
2494.28/2502.67	c [2426.27] solve iteration 521, LB=-237241, UB=-61254
2494.28/2502.67	c [2432.06] solve iteration 522, LB=-237241, UB=-61254
2494.28/2502.67	c [2438.05] solve iteration 523, LB=-237241, UB=-61254
2494.28/2502.67	c [2444.07] solve iteration 524, LB=-237241, UB=-61254
2494.28/2502.67	c [2449.8] solve iteration 525, LB=-237241, UB=-61254
2494.28/2502.67	c [2459.19] solve iteration 526, LB=-237241, UB=-61432
2494.28/2502.67	c [2464.91] solve iteration 527, LB=-237241, UB=-61432
2494.28/2502.67	c [2470.51] solve iteration 528, LB=-237241, UB=-61432
2494.28/2502.67	c [2476.41] solve iteration 529, LB=-237241, UB=-61432
2494.28/2502.67	c [2482.03] solve iteration 530, LB=-237241, UB=-61432
2494.28/2502.67	c [2490.38] solve iteration 531, LB=-237241, UB=-61453
2704.56/2713.62	c [2496.5] solve iteration 532, LB=-237241, UB=-61529
2704.56/2713.62	c [2502.27] solve iteration 533, LB=-237241, UB=-61529
2704.56/2713.62	c [2508.29] solve iteration 534, LB=-237241, UB=-61529
2704.56/2713.62	c [2514.35] solve iteration 535, LB=-237241, UB=-62660
2704.56/2713.62	c [2530.87] solve iteration 536, LB=-237241, UB=-65579
2704.56/2713.62	c [2536.98] solve iteration 537, LB=-237241, UB=-65579
2704.56/2713.62	c [2543.38] solve iteration 538, LB=-237241, UB=-65579
2704.56/2713.62	c [2549.2] solve iteration 539, LB=-237241, UB=-65579
2704.56/2713.62	c [2555.06] solve iteration 540, LB=-237241, UB=-65579
2704.56/2713.62	c [2561.05] solve iteration 541, LB=-237241, UB=-65592
2704.56/2713.62	c [2567.3] solve iteration 542, LB=-237241, UB=-65592
2704.56/2713.62	c [2573.33] solve iteration 543, LB=-237241, UB=-65592
2704.56/2713.62	c [2579.14] solve iteration 544, LB=-237241, UB=-65592
2704.56/2713.62	c [2585.28] solve iteration 545, LB=-237241, UB=-65592
2704.56/2713.62	c [2593.01] solve iteration 546, LB=-237241, UB=-65600
2704.56/2713.62	c [2599.54] solve iteration 547, LB=-237241, UB=-65600
2704.56/2713.62	c [2605.57] solve iteration 548, LB=-237241, UB=-65600
2704.56/2713.62	c [2611.88] solve iteration 549, LB=-237241, UB=-65600
2704.56/2713.62	c [2618.07] solve iteration 550, LB=-237241, UB=-65600
2704.56/2713.62	c [2625.44] solve iteration 551, LB=-237241, UB=-65603
2704.56/2713.62	c [2631.66] solve iteration 552, LB=-237241, UB=-65603
2704.56/2713.62	c [2638.19] solve iteration 553, LB=-237241, UB=-65603
2704.56/2713.62	c [2644.54] solve iteration 554, LB=-237241, UB=-65603
2704.56/2713.62	c [2650.91] solve iteration 555, LB=-237241, UB=-65603
2704.56/2713.62	c [2657.94] solve iteration 556, LB=-237241, UB=-65613
2704.56/2713.62	c [2664.34] solve iteration 557, LB=-237241, UB=-65613
2704.56/2713.62	c [2670.41] solve iteration 558, LB=-237241, UB=-65613
2704.56/2713.62	c [2676.88] solve iteration 559, LB=-237241, UB=-65613
2704.56/2713.62	c [2683.34] solve iteration 560, LB=-237241, UB=-65613
2704.56/2713.62	c [2694.71] solve iteration 561, LB=-237241, UB=-65621
3309.52/3320.64	c [2701.24] solve iteration 562, LB=-237241, UB=-65621
3309.52/3320.64	c [2707.29] solve iteration 563, LB=-237241, UB=-65621
3309.52/3320.64	c [2713.54] solve iteration 564, LB=-237241, UB=-65621
3309.52/3320.64	c [2720.3] solve iteration 565, LB=-237241, UB=-65621
3309.52/3320.64	c [2728.54] solve iteration 566, LB=-237241, UB=-65642
3309.52/3320.64	c [2735.21] solve iteration 567, LB=-237241, UB=-65642
3309.52/3320.64	c [2741.97] solve iteration 568, LB=-237241, UB=-65642
3309.52/3320.64	c [2748.8] solve iteration 569, LB=-237241, UB=-65642
3309.52/3320.64	c [2755.22] solve iteration 570, LB=-237241, UB=-65642
3309.52/3320.64	c [2766.72] solve iteration 571, LB=-237241, UB=-65645
3309.52/3320.64	c [2773.22] solve iteration 572, LB=-237241, UB=-65645
3309.52/3320.64	c [2779.8] solve iteration 573, LB=-237241, UB=-65645
3309.52/3320.64	c [2786.16] solve iteration 574, LB=-237241, UB=-65645
3309.52/3320.64	c [2792.86] solve iteration 575, LB=-237241, UB=-65645
3309.52/3320.64	c [2801.41] solve iteration 576, LB=-237241, UB=-65655
3309.52/3320.64	c [2808.08] solve iteration 577, LB=-237241, UB=-65655
3309.52/3320.64	c [2814.68] solve iteration 578, LB=-237241, UB=-65655
3309.52/3320.64	c [2821.32] solve iteration 579, LB=-237241, UB=-65655
3309.52/3320.64	c [2828.38] solve iteration 580, LB=-237241, UB=-65655
3309.52/3320.64	c [2839.98] solve iteration 581, LB=-237241, UB=-65710
3309.52/3320.64	c [2847.33] solve iteration 582, LB=-237241, UB=-65710
3309.52/3320.64	c [2854.6] solve iteration 583, LB=-237241, UB=-65710
3309.52/3320.64	c [2861.22] solve iteration 584, LB=-237241, UB=-65710
3309.52/3320.64	c [2868.14] solve iteration 585, LB=-237241, UB=-65710
3309.52/3320.64	c [2876.7] solve iteration 586, LB=-237241, UB=-65799
3309.52/3320.64	c [2883.67] solve iteration 587, LB=-237241, UB=-65799
3309.52/3320.64	c [2891.02] solve iteration 588, LB=-237241, UB=-65799
3309.52/3320.64	c [2898.37] solve iteration 589, LB=-237241, UB=-65799
3309.52/3320.64	c [2905.28] solve iteration 590, LB=-237241, UB=-65799
3309.52/3320.64	c [2912.85] solve iteration 591, LB=-237241, UB=-65800
3309.52/3320.64	c [2919.71] solve iteration 592, LB=-237241, UB=-65800
3309.52/3320.64	c [2926.65] solve iteration 593, LB=-237241, UB=-65800
3309.52/3320.64	c [2933.72] solve iteration 594, LB=-237241, UB=-65800
3309.52/3320.64	c [2940.8] solve iteration 595, LB=-237241, UB=-65800
3309.52/3320.64	c [2948.4] solve iteration 596, LB=-237241, UB=-65804
3309.52/3320.64	c [2955.46] solve iteration 597, LB=-237241, UB=-65804
3309.52/3320.64	c [2962.72] solve iteration 598, LB=-237241, UB=-65804
3309.52/3320.64	c [2969.73] solve iteration 599, LB=-237241, UB=-65804
3309.52/3320.64	c [2976.91] solve iteration 600, LB=-237241, UB=-65804
3309.52/3320.64	c [2985.28] solve iteration 601, LB=-237241, UB=-65812
3309.52/3320.64	c [2992.46] solve iteration 602, LB=-237241, UB=-65812
3309.52/3320.64	c [2999.81] solve iteration 603, LB=-237241, UB=-65812
3309.52/3320.64	c [3007.05] solve iteration 604, LB=-237241, UB=-65812
3309.52/3320.64	c [3014.58] solve iteration 605, LB=-237241, UB=-65812
3309.52/3320.64	c [3024.83] solve iteration 606, LB=-237241, UB=-65820
3309.52/3320.64	c [3032.87] solve iteration 607, LB=-237241, UB=-65820
3309.52/3320.64	c [3040.52] solve iteration 608, LB=-237241, UB=-65820
3309.52/3320.64	c [3047.69] solve iteration 609, LB=-237241, UB=-65820
3309.52/3320.64	c [3055.09] solve iteration 610, LB=-237241, UB=-65820
3309.52/3320.64	c [3066.92] solve iteration 611, LB=-237241, UB=-72407
3309.52/3320.64	c [3074.73] solve iteration 612, LB=-237241, UB=-72407
3309.52/3320.64	c [3083.03] solve iteration 613, LB=-237241, UB=-72407
3309.52/3320.64	c [3090.8] solve iteration 614, LB=-237241, UB=-72407
3309.52/3320.64	c [3098.93] solve iteration 615, LB=-237241, UB=-72407
3309.52/3320.64	c [3110.07] solve iteration 616, LB=-237241, UB=-72412
3309.52/3320.64	c [3117.68] solve iteration 617, LB=-237241, UB=-72412
3309.52/3320.64	c [3125.79] solve iteration 618, LB=-237241, UB=-72412
3309.52/3320.64	c [3133.73] solve iteration 619, LB=-237241, UB=-72412
3309.52/3320.64	c [3141.8] solve iteration 620, LB=-237241, UB=-72412
3309.52/3320.64	c [3156.48] solve iteration 621, LB=-237241, UB=-72454
3309.52/3320.64	c [3164.65] solve iteration 622, LB=-237241, UB=-72454
3309.52/3320.64	c [3173.29] solve iteration 623, LB=-237241, UB=-72454
3309.52/3320.64	c [3181.73] solve iteration 624, LB=-237241, UB=-72454
3309.52/3320.64	c [3190.02] solve iteration 625, LB=-237241, UB=-72454
3309.52/3320.64	c [3203.2] solve iteration 626, LB=-237241, UB=-72462
3309.52/3320.64	c [3211.19] solve iteration 627, LB=-237241, UB=-72462
3309.52/3320.64	c [3219.46] solve iteration 628, LB=-237241, UB=-72462
3309.52/3320.64	c [3227.84] solve iteration 629, LB=-237241, UB=-72462
3309.52/3320.64	c [3235.95] solve iteration 630, LB=-237241, UB=-72462
3309.52/3320.64	c [3250.25] solve iteration 631, LB=-237241, UB=-72928
3309.52/3320.64	c [3258.84] solve iteration 632, LB=-237241, UB=-72928
3309.52/3320.64	c [3266.85] solve iteration 633, LB=-237241, UB=-72928
3309.52/3320.64	c [3275.13] solve iteration 634, LB=-237241, UB=-72928
3309.52/3320.64	c [3283.64] solve iteration 635, LB=-237241, UB=-72928
3309.52/3320.64	c [3304.49] solve iteration 636, LB=

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: 63665 MiB (62030 MiB free)
  memory of node 1: 64507 MiB (56742 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505662-1751460911/watcher-4505662-1751460911 -o /tmp/evaluation-result-4505662-1751460911/solver-4505662-1751460911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751453688-69811 --watchdog 3760 ./ipbhs_scip HOME/instance-4505662-1751460911.opb --optimizer scip --max-coef 1000000000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=70607, runsolver pid=70604

[startup+0.100062 s]*
/proc/loadavg: 4.22 4.11 4.10 5/264 70618
/proc/meminfo: memFree=121378388/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=59960 memory=24440 CPUtime=0.08 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 5475 0 0 0 7 1 0 0 20 0 1 0 61768987 61399040 6110 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 14990 6110 1696 2790 0 8415 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 59960 KiB
Current children cumulated memory: 24440 KiB

[startup+0.205472 s]*
/proc/loadavg: 4.22 4.11 4.10 5/264 70618
/proc/meminfo: memFree=120863420/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=76788 memory=44336 CPUtime=0.19 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 9706 0 0 0 14 5 0 0 20 0 1 0 61768987 78630912 11084 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 19197 11084 1696 2790 0 12622 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76788 KiB
Current children cumulated memory: 44336 KiB

[startup+0.305351 s]*
/proc/loadavg: 4.22 4.11 4.10 5/264 70618
/proc/meminfo: memFree=120383072/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=142076 memory=116404 CPUtime=0.28 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 25782 0 0 0 19 9 0 0 20 0 1 0 61768987 145485824 29101 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 35519 29101 3200 2790 0 28944 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 142076 KiB
Current children cumulated memory: 116404 KiB

[startup+0.700142 s]
/proc/loadavg: 4.22 4.11 4.10 5/264 70618
/proc/meminfo: memFree=120165836/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=166272 memory=140212 CPUtime=0.67 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 31747 0 0 0 57 10 0 0 20 0 1 0 61768987 170262528 35053 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 41568 35053 3200 2790 0 34993 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 166272 KiB
Current children cumulated memory: 140212 KiB

[startup+1.50013 s]
/proc/loadavg: 4.22 4.11 4.10 5/264 70618
/proc/meminfo: memFree=120041284/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=166272 memory=140212 CPUtime=1.47 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 31747 0 0 0 137 10 0 0 20 0 1 0 61768987 170262528 35053 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 41568 35053 3200 2790 0 34993 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 166272 KiB
Current children cumulated memory: 140212 KiB

[startup+3.10515 s]
/proc/loadavg: 4.22 4.11 4.10 5/264 70618
/proc/meminfo: memFree=119410864/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=306764 memory=267700 CPUtime=3.07 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 63362 0 0 0 293 14 0 0 20 0 1 0 61768987 314126336 66925 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 76691 66925 3616 2790 0 70116 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 306764 KiB
Current children cumulated memory: 267700 KiB

[startup+6.30015 s]
/proc/loadavg: 4.20 4.11 4.10 5/264 70618
/proc/meminfo: memFree=118924444/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=322100 memory=292440 CPUtime=6.25 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 72497 0 0 0 609 16 0 0 20 0 1 0 61768987 329830400 73110 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 80525 73110 3712 2790 0 73950 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 322100 KiB
Current children cumulated memory: 292440 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.12 4.10 5/264 70618
/proc/meminfo: memFree=116704348/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=341244 memory=312664 CPUtime=12.64 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 77605 0 0 0 1245 19 0 0 20 0 1 0 61768987 349433856 78166 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 85311 78166 3712 2790 0 78736 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 341244 KiB
Current children cumulated memory: 312664 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.12 4.10 5/264 70618
/proc/meminfo: memFree=114926500/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=359712 memory=331484 CPUtime=25.39 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 83109 0 0 0 2517 22 0 0 20 0 1 0 61768987 368345088 82871 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 89928 82871 3712 2790 0 83353 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 331484 KiB

[startup+51.1053 s]
/proc/loadavg: 4.21 4.12 4.10 5/264 70619
/proc/meminfo: memFree=114774432/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=370704 memory=343652 CPUtime=50.91 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 87675 0 0 0 5064 27 0 0 20 0 1 0 61768987 379600896 85913 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 92676 85913 3744 2790 0 86101 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 370704 KiB
Current children cumulated memory: 343652 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/263 70620
/proc/meminfo: memFree=114657740/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=403660 memory=375356 CPUtime=101.93 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 113258 0 0 0 10156 37 0 0 20 0 1 0 61768987 413347840 93839 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 100915 93839 3744 2790 0 94340 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 403660 KiB
Current children cumulated memory: 375356 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 70626
/proc/meminfo: memFree=114502272/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=444156 memory=410320 CPUtime=161.74 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 130331 0 0 0 16117 57 0 0 20 0 1 0 61768987 454815744 102580 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 111039 102580 3744 2790 0 104464 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 444156 KiB
Current children cumulated memory: 410320 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 70628
/proc/meminfo: memFree=114284032/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=602580 memory=543564 CPUtime=221.57 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 148997 0 0 0 22091 66 0 0 20 0 1 0 61768987 617041920 135891 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 150645 135891 3744 2790 0 144070 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 602580 KiB
Current children cumulated memory: 543564 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 70630
/proc/meminfo: memFree=114086768/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=687704 memory=653756 CPUtime=281.35 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 207673 0 0 0 28056 79 0 0 20 0 1 0 61768987 704208896 163439 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 171926 163439 3744 2790 0 165351 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 687704 KiB
Current children cumulated memory: 653756 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 70633
/proc/meminfo: memFree=113947796/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=789224 memory=712292 CPUtime=341.16 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 216038 0 0 0 34029 87 0 0 20 0 1 0 61768987 808165376 178073 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 197306 178073 3744 2790 0 190731 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 789224 KiB
Current children cumulated memory: 712292 KiB

[startup+402.3 s]
/proc/loadavg: 4.44 4.19 4.12 5/267 70653
/proc/meminfo: memFree=113712452/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=1009492 memory=884260 CPUtime=400.98 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 238571 0 0 0 40005 93 0 0 20 0 1 0 61768987 1033719808 221065 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 252373 221065 3744 2790 0 245798 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 1009492 KiB
Current children cumulated memory: 884260 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/264 70655
/proc/meminfo: memFree=113562180/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=1068824 memory=967468 CPUtime=460.77 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 260322 0 0 0 45975 102 0 0 20 0 1 0 61768987 1094475776 241867 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 267206 241867 3744 2790 0 260631 0
Current children cumulated CPU time: 460.77 s
Current children cumulated vsize: 1068824 KiB

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

Current children cumulated memory: 2089760 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 70780
/proc/meminfo: memFree=110340516/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2367840 memory=2097844 CPUtime=2912.56 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1136815 0 0 0 290821 435 0 0 20 0 1 0 61768987 2424668160 524461 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 591960 524461 3744 2790 0 585385 0
Current children cumulated CPU time: 2912.56 s
Current children cumulated vsize: 2367840 KiB
Current children cumulated memory: 2097844 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 70783
/proc/meminfo: memFree=110336160/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2353408 memory=2078408 CPUtime=2972.35 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1184308 0 0 0 296790 445 0 0 20 0 1 0 61768987 2409889792 519602 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 588352 519602 3744 2790 0 581777 0
Current children cumulated CPU time: 2972.35 s
Current children cumulated vsize: 2353408 KiB
Current children cumulated memory: 2078408 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 70785
/proc/meminfo: memFree=110324764/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2376108 memory=2100068 CPUtime=3032.15 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1221209 0 0 0 302760 455 0 0 20 0 1 0 61768987 2433134592 525017 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 594027 525017 3744 2790 0 587452 0
Current children cumulated CPU time: 3032.15 s
Current children cumulated vsize: 2376108 KiB
Current children cumulated memory: 2100068 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 70787
/proc/meminfo: memFree=110296636/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2370000 memory=2094584 CPUtime=3091.95 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1267572 0 0 0 308730 465 0 0 20 0 1 0 61768987 2426880000 523646 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 592500 523646 3744 2790 0 585925 0
Current children cumulated CPU time: 3091.95 s
Current children cumulated vsize: 2370000 KiB
Current children cumulated memory: 2094584 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 70790
/proc/meminfo: memFree=110249352/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2369196 memory=2095548 CPUtime=3151.74 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1293668 0 0 0 314703 471 0 0 20 0 1 0 61768987 2426056704 523887 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 592299 523887 3744 2790 0 585724 0
Current children cumulated CPU time: 3151.74 s
Current children cumulated vsize: 2369196 KiB
Current children cumulated memory: 2095548 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 70792
/proc/meminfo: memFree=110170504/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2388740 memory=2115144 CPUtime=3211.54 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1307824 0 0 0 320678 476 0 0 20 0 1 0 61768987 2446069760 528786 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 597185 528786 3744 2790 0 590610 0
Current children cumulated CPU time: 3211.54 s
Current children cumulated vsize: 2388740 KiB
Current children cumulated memory: 2115144 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 70795
/proc/meminfo: memFree=110103560/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2389660 memory=2116220 CPUtime=3271.34 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1337705 0 0 0 326649 485 0 0 20 0 1 0 61768987 2447011840 529055 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 597415 529055 3744 2790 0 590840 0
Current children cumulated CPU time: 3271.34 s
Current children cumulated vsize: 2389660 KiB
Current children cumulated memory: 2116220 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 70798
/proc/meminfo: memFree=110044856/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2370808 memory=2099180 CPUtime=3331.13 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1361545 0 0 0 332621 492 0 0 20 0 1 0 61768987 2427707392 524795 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 592702 524795 3744 2790 0 586127 0
Current children cumulated CPU time: 3331.13 s
Current children cumulated vsize: 2370808 KiB
Current children cumulated memory: 2099180 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 70807
/proc/meminfo: memFree=109872700/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2396612 memory=2125324 CPUtime=3390.93 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1397173 0 0 0 338592 501 0 0 20 0 1 0 61768987 2454130688 531331 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 599153 531331 3744 2790 0 592578 0
Current children cumulated CPU time: 3390.93 s
Current children cumulated vsize: 2396612 KiB
Current children cumulated memory: 2125324 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/265 70809
/proc/meminfo: memFree=109744736/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2399752 memory=2128684 CPUtime=3450.73 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1401199 0 0 0 344569 504 0 0 20 0 1 0 61768987 2457346048 532171 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 599938 532171 3744 2790 0 593363 0
Current children cumulated CPU time: 3450.73 s
Current children cumulated vsize: 2399752 KiB
Current children cumulated memory: 2128684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 70811
/proc/meminfo: memFree=109630848/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2402000 memory=2130904 CPUtime=3510.52 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1403828 0 0 0 350546 506 0 0 20 0 1 0 61768987 2459648000 532726 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 600500 532726 3744 2790 0 593925 0
Current children cumulated CPU time: 3510.52 s
Current children cumulated vsize: 2402000 KiB
Current children cumulated memory: 2130904 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 70813
/proc/meminfo: memFree=109618456/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2410368 memory=2139340 CPUtime=3570.32 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1413929 0 0 0 356522 510 0 0 20 0 1 0 61768987 2468216832 534835 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 602592 534835 3744 2790 0 596017 0
Current children cumulated CPU time: 3570.32 s
Current children cumulated vsize: 2410368 KiB
Current children cumulated memory: 2139340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.1 s]
/proc/loadavg: 4.09 4.10 4.09 2/247 70908
/proc/meminfo: memFree=120040488/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2410816 memory=2139688 CPUtime=3600.03 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1415122 0 0 0 359491 512 0 0 20 0 1 0 61768987 2468675584 534922 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 602704 534922 3744 2790 0 596129 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2410816 KiB
Current children cumulated memory: 2139688 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.91 s, system=5.18354 s

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

[startup+3612.1 s]
/proc/loadavg: 4.09 4.10 4.09 2/247 70908
/proc/meminfo: memFree=120040488/131249996 swapFree=33010684/33010684
[pid=70607] ppid=70604 vsize=2410816 memory=2139688 CPUtime=3600.03 cores=0,2
/proc/70607/stat : 70607 (ipbhs_scip) R 70604 70607 69801 0 -1 4194304 1415122 0 0 0 359491 512 0 0 20 0 1 0 61768987 2468675584 534922 18446744073709551615 94182620753920 94182632180317 140732856115664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94182634315992 94182634361010 94182649794560 140732856121746 140732856121865 140732856121865 140732856127467 0
/proc/70607/statm: 602704 534922 3744 2790 0 596129 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2410816 KiB
Current children cumulated memory: 2139688 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3612.17
CPU time (s): 3600.1
CPU user time (s): 3594.91
CPU system time (s): 5.18354
CPU usage (%): 99.6659
Max. virtual memory (cumulated for all children) (KiB): 2412444
Max. memory (cumulated for all children) (KiB): 2141388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.91
system time used= 5.18354
maximum resident set size= 2141388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1415122
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= 77
involuntary context switches= 8289


# summary of solver processes directly reported to runsolver:
#   pid: 70607
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3594.91
#   total CPU system time (s): 5.18354

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84244 second user time and 14.9118 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-02 14:55:11
IDJOB=4505662
IDBENCH=156158
IDSOLVER=3335
FILE ID=nodeC024/4505662-1751460911
RUNJOBID= nodeC024-1751453688-69811
SLURM_JOB_ID= 9598442
Free space on /tmp= 432188 MiB

SOLVER NAME= IPBHS-SCIP 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_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505662-1751460911/watcher-4505662-1751460911 -o /tmp/evaluation-result-4505662-1751460911/solver-4505662-1751460911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751453688-69811 --watchdog 3760  ./ipbhs_scip HOME/instance-4505662-1751460911.opb --optimizer scip --max-coef 1000000000

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

MD5SUM BENCH= 0390bfe3f6c229f0cac833c3202307c0
RANDOM SEED=181342818

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        121624248 kB
MemAvailable:   129425900 kB
Buffers:            3280 kB
Cached:          8569780 kB
SwapCached:            0 kB
Active:           636980 kB
Inactive:        8311468 kB
Active(anon):     393456 kB
Inactive(anon):        0 kB
Active(file):     243524 kB
Inactive(file):  8311468 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            387196 kB
Writeback:             8 kB
AnonPages:        376448 kB
Mapped:           106780 kB
Shmem:             18064 kB
KReclaimable:     171396 kB
Slab:             263264 kB
SReclaimable:     171396 kB
SUnreclaim:        91868 kB
KernelStack:        4096 kB
PageTables:         3544 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     728456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432292 MiB
End job on nodeC024 at 2025-07-02 15:55:23