Trace number 4483924

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.11 3608.81

General information on the benchmark

NamePB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/
normalized-BA_RDC4.dot_luby_10null20mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_product.opb
MD5SUM45fe61862ea6af1146fa753dc4b3b822
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7184
Best CPU time to get the best result obtained on this benchmark1515.42
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables57510
Total number of constraints149401
Number of constraints which are clauses149400
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 438
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 26095
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 26095
Number of bits of the biggest sum of numbers15
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.00	c initialize IPBHS solver
0.00/0.00	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.00	c optimizer = "gurobi"
0.00/0.00	c pbsolver = "roundingsat"
0.00/0.00	c use separate pbsolver for SIS
0.00/0.00	c load symmetries from file ""
0.00/0.00	c set time limit for symmetry computation to 100 seconds.
0.00/0.00	c set interchangeable summation variable limit to 3
0.00/0.00	c set sym compact max subset size to 5
0.00/0.00	c set explicit symmetry matrix usage to 1
0.00/0.00	c sym budget explicit to 100
0.00/0.00	c sym budget explicit lits to 6000
0.00/0.00	c sym budget compact to 100
0.00/0.00	c sym budget compact lits to 6000
0.00/0.00	c sym budget common to 0
0.00/0.00	c sym budget common lits to 0
0.00/0.00	c set sym generation to 's'
0.00/0.00	c set abstraction set creation to 10 iterations without LB change
0.00/0.00	c set abstraction set inputs to 0
0.00/0.00	c set abstraction set cluster min size to 2
0.00/0.00	c set abstraction set cluster max size to 100000000
0.00/0.00	c set abstraction set cluster activation limit to 2
0.00/0.00	c enable abstraction set require equal cost
0.00/0.00	c set abstraction set assumptions to 0
0.00/0.00	c set abstraction set constraint type to 0
0.00/0.00	c set abstract core extraction strategy to b
0.00/0.00	c set core extraction strategy to 2
0.00/0.00	c set core extraction shuffles 10
0.00/0.00	c set cores per iteration to 5
0.00/0.00	c set optimizer bound usage strategy to 2
0.00/0.00	c set optimizer max non-optimal iterations to 1000
0.00/0.00	c set small core cardinality limit to 2
0.00/0.00	c set max coef in cores to 1000000000
0.00/0.00	c set core processing techniques to 4095
0.00/0.00	c set SIS iterations to 5
0.00/0.00	c set SIS budget abs to 1000
0.00/0.00	c set SIS budget rel to 0.05
0.59/0.68	c limit for coefficient in constraints and objective to 1000000000
0.59/0.68	c will solve HOME/instance-4483924-1751280086.opb
0.59/0.68	c [0.04] will start solving
218.28/218.80	c [0.23] solve iteration 1, LB=-26095, UB=1
218.28/218.80	c [0.4] solve iteration 2, LB=-7680, UB=-3402
218.28/218.80	c [2.34] solve iteration 3, LB=-7680, UB=-3406
218.28/218.80	c [15.62] solve iteration 4, LB=-7680, UB=-3408
218.28/218.80	c [29.28] solve iteration 5, LB=-7680, UB=-3415
218.28/218.80	c [34.77] solve iteration 6, LB=-7680, UB=-3632
218.28/218.80	c [37.2] solve iteration 7, LB=-7680, UB=-3632
218.28/218.80	c [37.49] solve iteration 8, LB=-7680, UB=-3632
218.28/218.80	c [45.55] solve iteration 9, LB=-7680, UB=-3632
218.28/218.80	c [47.39] solve iteration 10, LB=-7680, UB=-3632
218.28/218.80	c [57.27] solve iteration 11, LB=-7680, UB=-3633
218.28/218.80	c [58.64] solve iteration 12, LB=-7680, UB=-3633
218.28/218.80	c [59.84] solve iteration 13, LB=-7680, UB=-3633
218.28/218.80	c [61.24] solve iteration 14, LB=-7680, UB=-3633
218.28/218.80	c [62.41] solve iteration 15, LB=-7680, UB=-3633
218.28/218.80	c [63.64] solve iteration 16, LB=-7680, UB=-3635
218.28/218.80	c [64.68] solve iteration 17, LB=-7680, UB=-3635
218.28/218.80	c [65.65] solve iteration 18, LB=-7680, UB=-3635
218.28/218.80	c [66.57] solve iteration 19, LB=-7680, UB=-3635
218.28/218.80	c [67.62] solve iteration 20, LB=-7680, UB=-3635
218.28/218.80	c [68.79] solve iteration 21, LB=-7680, UB=-3637
218.28/218.80	c [69.75] solve iteration 22, LB=-7680, UB=-3637
218.28/218.80	c [70.94] solve iteration 23, LB=-7680, UB=-3637
218.28/218.80	c [72.31] solve iteration 24, LB=-7680, UB=-3637
218.28/218.80	c [73.53] solve iteration 25, LB=-7680, UB=-3637
218.28/218.80	c [74.72] solve iteration 26, LB=-7680, UB=-3645
218.28/218.80	c [75.8] solve iteration 27, LB=-7680, UB=-3645
218.28/218.80	c [76.87] solve iteration 28, LB=-7680, UB=-3645
218.28/218.80	c [77.91] solve iteration 29, LB=-7680, UB=-3645
218.28/218.80	c [78.82] solve iteration 30, LB=-7680, UB=-3645
218.28/218.80	c [87.44] solve iteration 31, LB=-7680, UB=-3645
218.28/218.80	c [88.77] solve iteration 32, LB=-7680, UB=-3645
218.28/218.80	c [89.63] solve iteration 33, LB=-7680, UB=-3645
218.28/218.80	c [90.83] solve iteration 34, LB=-7680, UB=-3645
218.28/218.80	c [91.74] solve iteration 35, LB=-7680, UB=-3645
218.28/218.80	c [102.6] solve iteration 36, LB=-7680, UB=-3647
218.28/218.80	c [103.59] solve iteration 37, LB=-7680, UB=-3647
218.28/218.80	c [104.55] solve iteration 38, LB=-7680, UB=-3647
218.28/218.80	c [105.41] solve iteration 39, LB=-7680, UB=-3647
218.28/218.80	c [106.56] solve iteration 40, LB=-7680, UB=-3647
218.28/218.80	c [123.03] solve iteration 41, LB=-7680, UB=-3647
218.28/218.80	c [124.17] solve iteration 42, LB=-7680, UB=-3647
218.28/218.80	c [124.97] solve iteration 43, LB=-7680, UB=-3647
218.28/218.80	c [126.19] solve iteration 44, LB=-7680, UB=-3647
218.28/218.80	c [127.37] solve iteration 45, LB=-7680, UB=-3647
218.28/218.80	c [140.13] solve iteration 46, LB=-7680, UB=-3647
218.28/218.80	c [141.09] solve iteration 47, LB=-7680, UB=-3647
218.28/218.80	c [141.91] solve iteration 48, LB=-7680, UB=-3647
218.28/218.80	c [142.76] solve iteration 49, LB=-7680, UB=-3647
218.28/218.80	c [143.91] solve iteration 50, LB=-7680, UB=-3647
218.28/218.80	c [162.41] solve iteration 51, LB=-7680, UB=-3647
218.28/218.80	c [163.54] solve iteration 52, LB=-7680, UB=-3647
218.28/218.80	c [164.77] solve iteration 53, LB=-7680, UB=-3647
218.28/218.80	c [165.59] solve iteration 54, LB=-7680, UB=-3647
218.28/218.80	c [166.83] solve iteration 55, LB=-7680, UB=-3647
218.28/218.80	c [174.23] solve iteration 56, LB=-7680, UB=-3654
218.28/218.80	c [175.22] solve iteration 57, LB=-7680, UB=-3654
218.28/218.80	c [176.18] solve iteration 58, LB=-7680, UB=-3654
218.28/218.80	c [176.61] solve iteration 59, LB=-7680, UB=-3654
218.28/218.80	c [177.05] solve iteration 60, LB=-7680, UB=-3654
218.28/218.80	c [198.49] solve iteration 61, LB=-7680, UB=-3654
218.28/218.80	c [198.92] solve iteration 62, LB=-7680, UB=-3654
218.28/218.80	c [199.35] solve iteration 63, LB=-7680, UB=-3654
218.28/218.80	c [199.78] solve iteration 64, LB=-7680, UB=-3654
218.28/218.80	c [200.21] solve iteration 65, LB=-7680, UB=-3654
218.28/218.80	c [205.99] solve iteration 66, LB=-7680, UB=-3655
218.28/218.80	c [206.42] solve iteration 67, LB=-7680, UB=-3655
218.28/218.80	c [206.85] solve iteration 68, LB=-7680, UB=-3655
218.28/218.80	c [207.29] solve iteration 69, LB=-7680, UB=-3655
218.28/218.80	c [207.72] solve iteration 70, LB=-7680, UB=-3655
218.28/218.80	c [208.31] solve iteration 71, LB=-7680, UB=-3657
218.28/218.80	c [208.74] solve iteration 72, LB=-7680, UB=-3657
218.28/218.80	c [209.17] solve iteration 73, LB=-7680, UB=-3657
218.28/218.80	c [209.6] solve iteration 74, LB=-7680, UB=-3657
218.28/218.80	c [210.04] solve iteration 75, LB=-7680, UB=-3657
218.28/218.80	c [212.02] solve iteration 76, LB=-7680, UB=-3658
218.28/218.80	c [212.46] solve iteration 77, LB=-7680, UB=-3658
218.28/218.80	c [212.89] solve iteration 78, LB=-7680, UB=-3658
218.28/218.80	c [213.32] solve iteration 79, LB=-7680, UB=-3658
218.28/218.80	c [213.75] solve iteration 80, LB=-7680, UB=-3658
218.28/218.80	c [214.72] solve iteration 81, LB=-7680, UB=-3659
218.28/218.80	c [215.15] solve iteration 82, LB=-7680, UB=-3659
218.28/218.80	c [215.58] solve iteration 83, LB=-7680, UB=-3659
218.28/218.80	c [216.01] solve iteration 84, LB=-7680, UB=-3659
300.69/301.43	c [216.45] solve iteration 85, LB=-7680, UB=-3659
300.69/301.43	c [217.03] solve iteration 86, LB=-7680, UB=-3661
300.69/301.43	c [217.47] solve iteration 87, LB=-7680, UB=-3661
300.69/301.43	c [217.9] solve iteration 88, LB=-7680, UB=-3661
300.69/301.43	c [218.33] solve iteration 89, LB=-7680, UB=-3661
300.69/301.43	c [218.76] solve iteration 90, LB=-7680, UB=-3661
300.69/301.43	c [219.33] solve iteration 91, LB=-7680, UB=-3662
300.69/301.43	c [219.76] solve iteration 92, LB=-7680, UB=-3662
300.69/301.43	c [220.19] solve iteration 93, LB=-7680, UB=-3662
300.69/301.43	c [220.62] solve iteration 94, LB=-7680, UB=-3662
300.69/301.43	c [221.06] solve iteration 95, LB=-7680, UB=-3662
300.69/301.43	c [222.24] solve iteration 96, LB=-7680, UB=-3664
300.69/301.43	c [222.67] solve iteration 97, LB=-7680, UB=-3664
300.69/301.43	c [223.1] solve iteration 98, LB=-7680, UB=-3664
300.69/301.43	c [223.54] solve iteration 99, LB=-7680, UB=-3664
300.69/301.43	c [223.98] solve iteration 100, LB=-7680, UB=-3664
300.69/301.43	c [224.55] solve iteration 101, LB=-7680, UB=-3665
300.69/301.43	c [224.98] solve iteration 102, LB=-7680, UB=-3665
300.69/301.43	c [225.41] solve iteration 103, LB=-7680, UB=-3665
300.69/301.43	c [225.85] solve iteration 104, LB=-7680, UB=-3665
300.69/301.43	c [226.28] solve iteration 105, LB=-7680, UB=-3665
300.69/301.43	c [227.27] solve iteration 106, LB=-7680, UB=-3670
300.69/301.43	c [227.71] solve iteration 107, LB=-7680, UB=-3670
300.69/301.43	c [228.15] solve iteration 108, LB=-7680, UB=-3670
300.69/301.43	c [228.58] solve iteration 109, LB=-7680, UB=-3670
300.69/301.43	c [229.01] solve iteration 110, LB=-7680, UB=-3670
300.69/301.43	c [231.61] solve iteration 111, LB=-7680, UB=-3672
300.69/301.43	c [232.04] solve iteration 112, LB=-7680, UB=-3672
300.69/301.43	c [232.48] solve iteration 113, LB=-7680, UB=-3672
300.69/301.43	c [232.92] solve iteration 114, LB=-7680, UB=-3672
300.69/301.43	c [233.35] solve iteration 115, LB=-7680, UB=-3672
300.69/301.43	c [233.93] solve iteration 116, LB=-7680, UB=-3673
300.69/301.43	c [234.36] solve iteration 117, LB=-7680, UB=-3673
300.69/301.43	c [234.79] solve iteration 118, LB=-7680, UB=-3673
300.69/301.43	c [235.23] solve iteration 119, LB=-7680, UB=-3673
300.69/301.43	c [235.66] solve iteration 120, LB=-7680, UB=-3673
300.69/301.43	c [236.23] solve iteration 121, LB=-7680, UB=-3674
300.69/301.43	c [236.66] solve iteration 122, LB=-7680, UB=-3674
300.69/301.43	c [237.09] solve iteration 123, LB=-7680, UB=-3674
300.69/301.43	c [237.53] solve iteration 124, LB=-7680, UB=-3674
300.69/301.43	c [237.97] solve iteration 125, LB=-7680, UB=-3674
300.69/301.43	c [248.61] solve iteration 126, LB=-7680, UB=-3676
300.69/301.43	c [249.05] solve iteration 127, LB=-7680, UB=-3676
300.69/301.43	c [249.48] solve iteration 128, LB=-7680, UB=-3676
300.69/301.43	c [249.92] solve iteration 129, LB=-7680, UB=-3676
300.69/301.43	c [250.36] solve iteration 130, LB=-7680, UB=-3676
300.69/301.43	c [250.87] solve iteration 131, LB=-7680, UB=-3677
300.69/301.43	c [251.31] solve iteration 132, LB=-7680, UB=-3677
300.69/301.43	c [251.75] solve iteration 133, LB=-7680, UB=-3677
300.69/301.43	c [252.19] solve iteration 134, LB=-7680, UB=-3677
300.69/301.43	c [252.63] solve iteration 135, LB=-7680, UB=-3677
300.69/301.43	c [253.15] solve iteration 136, LB=-7680, UB=-3678
300.69/301.43	c [253.59] solve iteration 137, LB=-7680, UB=-3678
300.69/301.43	c [254.03] solve iteration 138, LB=-7680, UB=-3678
300.69/301.43	c [254.47] solve iteration 139, LB=-7680, UB=-3678
300.69/301.43	c [254.91] solve iteration 140, LB=-7680, UB=-3678
300.69/301.43	c [255.6] solve iteration 141, LB=-7680, UB=-3679
300.69/301.43	c [256.03] solve iteration 142, LB=-7680, UB=-3679
300.69/301.43	c [256.47] solve iteration 143, LB=-7680, UB=-3679
300.69/301.43	c [256.91] solve iteration 144, LB=-7680, UB=-3679
300.69/301.43	c [257.35] solve iteration 145, LB=-7680, UB=-3679
300.69/301.43	c [264.38] solve iteration 146, LB=-7680, UB=-3680
300.69/301.43	c [264.82] solve iteration 147, LB=-7680, UB=-3680
300.69/301.43	c [265.26] solve iteration 148, LB=-7680, UB=-3680
300.69/301.43	c [265.7] solve iteration 149, LB=-7680, UB=-3680
300.69/301.43	c [266.14] solve iteration 150, LB=-7680, UB=-3680
300.69/301.43	c [266.69] solve iteration 151, LB=-7680, UB=-3681
300.69/301.43	c [267.54] solve iteration 152, LB=-7680, UB=-3681
300.69/301.43	c [267.99] solve iteration 153, LB=-7680, UB=-3681
300.69/301.43	c [268.42] solve iteration 154, LB=-7680, UB=-3681
300.69/301.43	c [268.86] solve iteration 155, LB=-7680, UB=-3681
300.69/301.43	c [282.69] solve iteration 156, LB=-7680, UB=-3682
300.69/301.43	c [283.12] solve iteration 157, LB=-7680, UB=-3682
300.69/301.43	c [283.55] solve iteration 158, LB=-7680, UB=-3682
300.69/301.43	c [283.99] solve iteration 159, LB=-7680, UB=-3682
300.69/301.43	c [284.42] solve iteration 160, LB=-7680, UB=-3682
300.69/301.43	c [296.36] solve iteration 161, LB=-7680, UB=-3682
300.69/301.43	c [296.79] solve iteration 162, LB=-7680, UB=-3682
300.69/301.43	c [297.23] solve iteration 163, LB=-7680, UB=-3682
300.69/301.43	c [297.67] solve iteration 164, LB=-7680, UB=-3682
444.25/445.30	c [298.11] solve iteration 165, LB=-7680, UB=-3682
444.25/445.30	c [305.21] solve iteration 166, LB=-7680, UB=-3683
444.25/445.30	c [305.66] solve iteration 167, LB=-7680, UB=-3683
444.25/445.30	c [306.1] solve iteration 168, LB=-7680, UB=-3683
444.25/445.30	c [307.12] solve iteration 169, LB=-7680, UB=-3683
444.25/445.30	c [307.56] solve iteration 170, LB=-7680, UB=-3683
444.25/445.30	c [308.51] solve iteration 171, LB=-7680, UB=-3684
444.25/445.30	c [308.95] solve iteration 172, LB=-7680, UB=-3684
444.25/445.30	c [309.39] solve iteration 173, LB=-7680, UB=-3684
444.25/445.30	c [309.84] solve iteration 174, LB=-7680, UB=-3684
444.25/445.30	c [310.28] solve iteration 175, LB=-7680, UB=-3684
444.25/445.30	c [311.6] solve iteration 176, LB=-7680, UB=-3685
444.25/445.30	c [312.72] solve iteration 177, LB=-7680, UB=-3685
444.25/445.30	c [313.16] solve iteration 178, LB=-7680, UB=-3685
444.25/445.30	c [314.18] solve iteration 179, LB=-7680, UB=-3685
444.25/445.30	c [315.22] solve iteration 180, LB=-7680, UB=-3685
444.25/445.30	c [316.6] solve iteration 181, LB=-7680, UB=-3686
444.25/445.30	c [317.59] solve iteration 182, LB=-7680, UB=-3686
444.25/445.30	c [318.62] solve iteration 183, LB=-7680, UB=-3686
444.25/445.30	c [319.85] solve iteration 184, LB=-7680, UB=-3686
444.25/445.30	c [320.92] solve iteration 185, LB=-7680, UB=-3686
444.25/445.30	c [341.09] solve iteration 186, LB=-7680, UB=-3686
444.25/445.30	c [342.27] solve iteration 187, LB=-7680, UB=-3686
444.25/445.30	c [343.1] solve iteration 188, LB=-7680, UB=-3686
444.25/445.30	c [343.99] solve iteration 189, LB=-7680, UB=-3686
444.25/445.30	c [345.06] solve iteration 190, LB=-7680, UB=-3686
444.25/445.30	c [353.34] solve iteration 191, LB=-7680, UB=-3687
444.25/445.30	c [354.19] solve iteration 192, LB=-7680, UB=-3687
444.25/445.30	c [355.05] solve iteration 193, LB=-7680, UB=-3687
444.25/445.30	c [355.94] solve iteration 194, LB=-7680, UB=-3687
444.25/445.30	c [356.95] solve iteration 195, LB=-7680, UB=-3687
444.25/445.30	c [357.89] solve iteration 196, LB=-7680, UB=-3688
444.25/445.30	c [358.85] solve iteration 197, LB=-7680, UB=-3688
444.25/445.30	c [359.74] solve iteration 198, LB=-7680, UB=-3688
444.25/445.30	c [360.71] solve iteration 199, LB=-7680, UB=-3688
444.25/445.30	c [361.86] solve iteration 200, LB=-7680, UB=-3688
444.25/445.30	c [371.65] solve iteration 201, LB=-7680, UB=-3688
444.25/445.30	c [372.72] solve iteration 202, LB=-7680, UB=-3688
444.25/445.30	c [373.71] solve iteration 203, LB=-7680, UB=-3688
444.25/445.30	c [374.61] solve iteration 204, LB=-7680, UB=-3688
444.25/445.30	c [375.59] solve iteration 205, LB=-7680, UB=-3688
444.25/445.30	c [384.79] solve iteration 206, LB=-7680, UB=-3688
444.25/445.30	c [385.85] solve iteration 207, LB=-7680, UB=-3688
444.25/445.30	c [387.02] solve iteration 208, LB=-7680, UB=-3688
444.25/445.30	c [387.88] solve iteration 209, LB=-7680, UB=-3688
444.25/445.30	c [389.07] solve iteration 210, LB=-7680, UB=-3688
444.25/445.30	c [403.25] solve iteration 211, LB=-7680, UB=-3688
444.25/445.30	c [404.39] solve iteration 212, LB=-7680, UB=-3688
444.25/445.30	c [405.31] solve iteration 213, LB=-7680, UB=-3688
444.25/445.30	c [406.15] solve iteration 214, LB=-7680, UB=-3688
444.25/445.30	c [407.03] solve iteration 215, LB=-7680, UB=-3688
444.25/445.30	c [408.19] solve iteration 216, LB=-7680, UB=-3689
444.25/445.30	c [409.32] solve iteration 217, LB=-7680, UB=-3689
444.25/445.30	c [410.46] solve iteration 218, LB=-7680, UB=-3689
444.25/445.30	c [411.32] solve iteration 219, LB=-7680, UB=-3689
444.25/445.30	c [412.18] solve iteration 220, LB=-7680, UB=-3689
444.25/445.30	c [415.3] solve iteration 221, LB=-7680, UB=-3690
444.25/445.30	c [416.43] solve iteration 222, LB=-7680, UB=-3690
444.25/445.30	c [417.36] solve iteration 223, LB=-7680, UB=-3690
444.25/445.30	c [418.22] solve iteration 224, LB=-7680, UB=-3690
444.25/445.30	c [419.12] solve iteration 225, LB=-7680, UB=-3690
444.25/445.30	c [420.16] solve iteration 226, LB=-7680, UB=-3691
444.25/445.30	c [421] solve iteration 227, LB=-7680, UB=-3691
444.25/445.30	c [421.86] solve iteration 228, LB=-7680, UB=-3691
444.25/445.30	c [422.75] solve iteration 229, LB=-7680, UB=-3691
444.25/445.30	c [423.76] solve iteration 230, LB=-7680, UB=-3691
444.25/445.30	c [427.2] solve iteration 231, LB=-7680, UB=-3692
444.25/445.30	c [428.18] solve iteration 232, LB=-7680, UB=-3692
444.25/445.30	c [429.1] solve iteration 233, LB=-7680, UB=-3692
444.25/445.30	c [430.07] solve iteration 234, LB=-7680, UB=-3692
444.25/445.30	c [430.75] solve iteration 235, LB=-7680, UB=-3692
444.25/445.30	c [432.24] solve iteration 236, LB=-7680, UB=-3693
444.25/445.30	c [432.66] solve iteration 237, LB=-7680, UB=-3693
444.25/445.30	c [433.11] solve iteration 238, LB=-7680, UB=-3693
444.25/445.30	c [433.53] solve iteration 239, LB=-7680, UB=-3693
444.25/445.30	c [434.07] solve iteration 240, LB=-7680, UB=-3693
444.25/445.30	c [438.01] solve iteration 241, LB=-7680, UB=-3694
444.25/445.30	c [438.57] solve iteration 242, LB=-7680, UB=-3694
444.25/445.30	c [439.03] solve iteration 243, LB=-7680, UB=-3694
444.25/445.30	c [439.69] solve iteration 244, LB=-7680, UB=-3694
444.25/445.30	c [440.19] solve iteration 245, LB=-7680, UB=-3694
565.27/566.61	c [440.78] solve iteration 246, LB=-7680, UB=-3695
565.27/566.61	c [441.26] solve iteration 247, LB=-7680, UB=-3695
565.27/566.61	c [441.76] solve iteration 248, LB=-7680, UB=-3695
565.27/566.61	c [442.2] solve iteration 249, LB=-7680, UB=-3695
565.27/566.61	c [442.72] solve iteration 250, LB=-7680, UB=-3695
565.27/566.61	c [465.25] solve iteration 251, LB=-7680, UB=-3695
565.27/566.61	c [465.68] solve iteration 252, LB=-7680, UB=-3695
565.27/566.61	c [466.18] solve iteration 253, LB=-7680, UB=-3695
565.27/566.61	c [466.64] solve iteration 254, LB=-7680, UB=-3695
565.27/566.61	c [467.27] solve iteration 255, LB=-7680, UB=-3695
565.27/566.61	c [489.9] solve iteration 256, LB=-7680, UB=-3695
565.27/566.61	c [490.33] solve iteration 257, LB=-7680, UB=-3695
565.27/566.61	c [490.8] solve iteration 258, LB=-7680, UB=-3695
565.27/566.61	c [491.17] solve iteration 259, LB=-7680, UB=-3695
565.27/566.61	c [491.66] solve iteration 260, LB=-7680, UB=-3695
565.27/566.61	c [500.09] solve iteration 261, LB=-7680, UB=-3702
565.27/566.61	c [500.86] solve iteration 262, LB=-7680, UB=-3702
565.27/566.61	c [501.3] solve iteration 263, LB=-7680, UB=-3702
565.27/566.61	c [501.76] solve iteration 264, LB=-7680, UB=-3702
565.27/566.61	c [502.23] solve iteration 265, LB=-7680, UB=-3702
565.27/566.61	c [503.25] solve iteration 266, LB=-7680, UB=-3706
565.27/566.61	c [503.72] solve iteration 267, LB=-7680, UB=-3706
565.27/566.61	c [504.23] solve iteration 268, LB=-7680, UB=-3706
565.27/566.61	c [505.01] solve iteration 269, LB=-7680, UB=-3706
565.27/566.61	c [505.43] solve iteration 270, LB=-7680, UB=-3706
565.27/566.61	c [506.89] solve iteration 271, LB=-7680, UB=-3718
565.27/566.61	c [507.33] solve iteration 272, LB=-7680, UB=-3718
565.27/566.61	c [507.81] solve iteration 273, LB=-7680, UB=-3718
565.27/566.61	c [508.3] solve iteration 274, LB=-7680, UB=-3718
565.27/566.61	c [508.85] solve iteration 275, LB=-7680, UB=-3718
565.27/566.61	c [509.49] solve iteration 276, LB=-7680, UB=-3726
565.27/566.61	c [510.03] solve iteration 277, LB=-7680, UB=-3726
565.27/566.61	c [510.73] solve iteration 278, LB=-7680, UB=-3726
565.27/566.61	c [511.21] solve iteration 279, LB=-7680, UB=-3726
565.27/566.61	c [511.67] solve iteration 280, LB=-7680, UB=-3726
565.27/566.61	c [512.28] solve iteration 281, LB=-7680, UB=-3734
565.27/566.61	c [513.03] solve iteration 282, LB=-7680, UB=-3734
565.27/566.61	c [513.5] solve iteration 283, LB=-7680, UB=-3734
565.27/566.61	c [513.92] solve iteration 284, LB=-7680, UB=-3734
565.27/566.61	c [514.62] solve iteration 285, LB=-7680, UB=-3734
565.27/566.61	c [519.28] solve iteration 286, LB=-7680, UB=-3735
565.27/566.61	c [519.75] solve iteration 287, LB=-7680, UB=-3735
565.27/566.61	c [520.33] solve iteration 288, LB=-7680, UB=-3735
565.27/566.61	c [521.01] solve iteration 289, LB=-7680, UB=-3735
565.27/566.61	c [521.67] solve iteration 290, LB=-7680, UB=-3735
565.27/566.61	c [522.26] solve iteration 291, LB=-7680, UB=-3736
565.27/566.61	c [522.96] solve iteration 292, LB=-7680, UB=-3736
565.27/566.61	c [523.82] solve iteration 293, LB=-7680, UB=-3736
565.27/566.61	c [524.31] solve iteration 294, LB=-7680, UB=-3736
565.27/566.61	c [524.8] solve iteration 295, LB=-7680, UB=-3736
565.27/566.61	c [525.91] solve iteration 296, LB=-7680, UB=-3746
565.27/566.61	c [526.4] solve iteration 297, LB=-7680, UB=-3746
565.27/566.61	c [526.9] solve iteration 298, LB=-7680, UB=-3746
565.27/566.61	c [527.53] solve iteration 299, LB=-7680, UB=-3746
565.27/566.61	c [528] solve iteration 300, LB=-7680, UB=-3746
565.27/566.61	c [539.09] solve iteration 301, LB=-7680, UB=-3747
565.27/566.61	c [539.55] solve iteration 302, LB=-7680, UB=-3747
565.27/566.61	c [540.15] solve iteration 303, LB=-7680, UB=-3747
565.27/566.61	c [540.65] solve iteration 304, LB=-7680, UB=-3747
565.27/566.61	c [541.12] solve iteration 305, LB=-7680, UB=-3747
565.27/566.61	c [541.8] solve iteration 306, LB=-7680, UB=-3748
565.27/566.61	c [542.31] solve iteration 307, LB=-7680, UB=-3748
565.27/566.61	c [543.22] solve iteration 308, LB=-7680, UB=-3748
565.27/566.61	c [543.65] solve iteration 309, LB=-7680, UB=-3748
565.27/566.61	c [544.32] solve iteration 310, LB=-7680, UB=-3748
565.27/566.61	c [549.82] solve iteration 311, LB=-7680, UB=-3762
565.27/566.61	c [550.43] solve iteration 312, LB=-7680, UB=-3762
565.27/566.61	c [551.29] solve iteration 313, LB=-7680, UB=-3762
565.27/566.61	c [551.81] solve iteration 314, LB=-7680, UB=-3762
565.27/566.61	c [552.32] solve iteration 315, LB=-7680, UB=-3762
565.27/566.61	c [554.2] solve iteration 316, LB=-7680, UB=-3764
565.27/566.61	c [554.67] solve iteration 317, LB=-7680, UB=-3764
565.27/566.61	c [555.13] solve iteration 318, LB=-7680, UB=-3764
565.27/566.61	c [555.62] solve iteration 319, LB=-7680, UB=-3764
565.27/566.61	c [556.14] solve iteration 320, LB=-7680, UB=-3764
565.27/566.61	c [558.11] solve iteration 321, LB=-7680, UB=-3765
565.27/566.61	c [558.57] solve iteration 322, LB=-7680, UB=-3765
565.27/566.61	c [559.06] solve iteration 323, LB=-7680, UB=-3765
565.27/566.61	c [559.76] solve iteration 324, LB=-7680, UB=-3765
565.27/566.61	c [560.22] solve iteration 325, LB=-7680, UB=-3765
683.59/685.29	c [560.88] solve iteration 326, LB=-7680, UB=-3766
683.59/685.29	c [561.4] solve iteration 327, LB=-7680, UB=-3766
683.59/685.29	c [562.06] solve iteration 328, LB=-7680, UB=-3766
683.59/685.29	c [562.53] solve iteration 329, LB=-7680, UB=-3766
683.59/685.29	c [563.4] solve iteration 330, LB=-7680, UB=-3766
683.59/685.29	c [568.38] solve iteration 331, LB=-7680, UB=-3767
683.59/685.29	c [568.85] solve iteration 332, LB=-7680, UB=-3767
683.59/685.29	c [569.31] solve iteration 333, LB=-7680, UB=-3767
683.59/685.29	c [570.26] solve iteration 334, LB=-7680, UB=-3767
683.59/685.29	c [570.7] solve iteration 335, LB=-7680, UB=-3767
683.59/685.29	c [583.27] solve iteration 336, LB=-7680, UB=-3768
683.59/685.29	c [583.85] solve iteration 337, LB=-7680, UB=-3768
683.59/685.29	c [584.3] solve iteration 338, LB=-7680, UB=-3768
683.59/685.29	c [584.88] solve iteration 339, LB=-7680, UB=-3768
683.59/685.29	c [585.36] solve iteration 340, LB=-7680, UB=-3768
683.59/685.29	c [585.98] solve iteration 341, LB=-7680, UB=-3769
683.59/685.29	c [586.62] solve iteration 342, LB=-7680, UB=-3769
683.59/685.29	c [587.14] solve iteration 343, LB=-7680, UB=-3769
683.59/685.29	c [587.72] solve iteration 344, LB=-7680, UB=-3769
683.59/685.29	c [588.26] solve iteration 345, LB=-7680, UB=-3769
683.59/685.29	c [588.83] solve iteration 346, LB=-7680, UB=-3770
683.59/685.29	c [589.31] solve iteration 347, LB=-7680, UB=-3770
683.59/685.29	c [589.79] solve iteration 348, LB=-7680, UB=-3770
683.59/685.29	c [590.32] solve iteration 349, LB=-7680, UB=-3770
683.59/685.29	c [590.79] solve iteration 350, LB=-7680, UB=-3770
683.59/685.29	c [591.56] solve iteration 351, LB=-7680, UB=-3771
683.59/685.29	c [592.4] solve iteration 352, LB=-7680, UB=-3771
683.59/685.29	c [592.89] solve iteration 353, LB=-7680, UB=-3771
683.59/685.29	c [593.47] solve iteration 354, LB=-7680, UB=-3771
683.59/685.29	c [593.95] solve iteration 355, LB=-7680, UB=-3771
683.59/685.29	c [613.49] solve iteration 356, LB=-7680, UB=-3771
683.59/685.29	c [614] solve iteration 357, LB=-7680, UB=-3771
683.59/685.29	c [614.67] solve iteration 358, LB=-7680, UB=-3771
683.59/685.29	c [615.43] solve iteration 359, LB=-7680, UB=-3771
683.59/685.29	c [615.94] solve iteration 360, LB=-7680, UB=-3771
683.59/685.29	c [618.21] solve iteration 361, LB=-7680, UB=-3773
683.59/685.29	c [618.72] solve iteration 362, LB=-7680, UB=-3773
683.59/685.29	c [619.21] solve iteration 363, LB=-7680, UB=-3773
683.59/685.29	c [619.71] solve iteration 364, LB=-7680, UB=-3773
683.59/685.29	c [620.3] solve iteration 365, LB=-7680, UB=-3773
683.59/685.29	c [621.38] solve iteration 366, LB=-7680, UB=-3778
683.59/685.29	c [621.88] solve iteration 367, LB=-7680, UB=-3778
683.59/685.29	c [622.38] solve iteration 368, LB=-7680, UB=-3778
683.59/685.29	c [622.97] solve iteration 369, LB=-7680, UB=-3778
683.59/685.29	c [623.7] solve iteration 370, LB=-7680, UB=-3778
683.59/685.29	c [634.03] solve iteration 371, LB=-7680, UB=-3779
683.59/685.29	c [634.83] solve iteration 372, LB=-7680, UB=-3779
683.59/685.29	c [635.37] solve iteration 373, LB=-7680, UB=-3779
683.59/685.29	c [635.84] solve iteration 374, LB=-7680, UB=-3779
683.59/685.29	c [636.52] solve iteration 375, LB=-7680, UB=-3779
683.59/685.29	c [637.17] solve iteration 376, LB=-7680, UB=-3780
683.59/685.29	c [637.68] solve iteration 377, LB=-7680, UB=-3780
683.59/685.29	c [638.21] solve iteration 378, LB=-7680, UB=-3780
683.59/685.29	c [639.35] solve iteration 379, LB=-7680, UB=-3780
683.59/685.29	c [639.88] solve iteration 380, LB=-7680, UB=-3780
683.59/685.29	c [646.31] solve iteration 381, LB=-7680, UB=-3784
683.59/685.29	c [647.07] solve iteration 382, LB=-7680, UB=-3784
683.59/685.29	c [647.58] solve iteration 383, LB=-7680, UB=-3784
683.59/685.29	c [648.11] solve iteration 384, LB=-7680, UB=-3784
683.59/685.29	c [648.64] solve iteration 385, LB=-7680, UB=-3784
683.59/685.29	c [655.75] solve iteration 386, LB=-7680, UB=-3788
683.59/685.29	c [656.3] solve iteration 387, LB=-7680, UB=-3788
683.59/685.29	c [658.24] solve iteration 388, LB=-7680, UB=-3788
683.59/685.29	c [659.07] solve iteration 389, LB=-7680, UB=-3788
683.59/685.29	c [659.69] solve iteration 390, LB=-7680, UB=-3788
683.59/685.29	c [661.72] solve iteration 391, LB=-7680, UB=-3817
683.59/685.29	c [662.38] solve iteration 392, LB=-7680, UB=-3817
683.59/685.29	c [662.98] solve iteration 393, LB=-7680, UB=-3817
683.59/685.29	c [663.74] solve iteration 394, LB=-7680, UB=-3817
683.59/685.29	c [664.34] solve iteration 395, LB=-7680, UB=-3817
683.59/685.29	c [665.73] solve iteration 396, LB=-7680, UB=-3829
683.59/685.29	c [666.31] solve iteration 397, LB=-7680, UB=-3829
683.59/685.29	c [666.9] solve iteration 398, LB=-7680, UB=-3829
683.59/685.29	c [667.67] solve iteration 399, LB=-7680, UB=-3829
683.59/685.29	c [668.26] solve iteration 400, LB=-7680, UB=-3829
683.59/685.29	c [673.32] solve iteration 401, LB=-7680, UB=-3840
683.59/685.29	c [673.93] solve iteration 402, LB=-7680, UB=-3840
683.59/685.29	c [674.51] solve iteration 403, LB=-7680, UB=-3840
683.59/685.29	c [675.1] solve iteration 404, LB=-7680, UB=-3840
683.59/685.29	c [675.9] solve iteration 405, LB=-7680, UB=-3840
683.59/685.29	c [677.58] solve iteration 406, LB=-7680, UB=-3841
823.77/825.75	c [678.17] solve iteration 407, LB=-7680, UB=-3841
823.77/825.75	c [678.98] solve iteration 408, LB=-7680, UB=-3841
823.77/825.75	c [679.69] solve iteration 409, LB=-7680, UB=-3841
823.77/825.75	c [680.25] solve iteration 410, LB=-7680, UB=-3841
823.77/825.75	c [692.54] solve iteration 411, LB=-7680, UB=-3865
823.77/825.75	c [693.15] solve iteration 412, LB=-7680, UB=-3865
823.77/825.75	c [693.89] solve iteration 413, LB=-7680, UB=-3865
823.77/825.75	c [694.48] solve iteration 414, LB=-7680, UB=-3865
823.77/825.75	c [695.2] solve iteration 415, LB=-7680, UB=-3865
823.77/825.75	c [713.57] solve iteration 416, LB=-7680, UB=-3988
823.77/825.75	c [714.16] solve iteration 417, LB=-7680, UB=-3988
823.77/825.75	c [714.81] solve iteration 418, LB=-7680, UB=-3988
823.77/825.75	c [715.4] solve iteration 419, LB=-7680, UB=-3988
823.77/825.75	c [716.01] solve iteration 420, LB=-7680, UB=-3988
823.77/825.75	c [723.74] solve iteration 421, LB=-7680, UB=-4044
823.77/825.75	c [724.35] solve iteration 422, LB=-7680, UB=-4044
823.77/825.75	c [724.94] solve iteration 423, LB=-7680, UB=-4044
823.77/825.75	c [725.63] solve iteration 424, LB=-7680, UB=-4044
823.77/825.75	c [726.24] solve iteration 425, LB=-7680, UB=-4044
823.77/825.75	c [726.9] solve iteration 426, LB=-7680, UB=-4045
823.77/825.75	c [727.52] solve iteration 427, LB=-7680, UB=-4045
823.77/825.75	c [728.16] solve iteration 428, LB=-7680, UB=-4045
823.77/825.75	c [728.76] solve iteration 429, LB=-7680, UB=-4045
823.77/825.75	c [729.35] solve iteration 430, LB=-7680, UB=-4045
823.77/825.75	c [730.1] solve iteration 431, LB=-7680, UB=-4046
823.77/825.75	c [730.75] solve iteration 432, LB=-7680, UB=-4046
823.77/825.75	c [731.51] solve iteration 433, LB=-7680, UB=-4046
823.77/825.75	c [732.19] solve iteration 434, LB=-7680, UB=-4046
823.77/825.75	c [732.96] solve iteration 435, LB=-7680, UB=-4046
823.77/825.75	c [735.21] solve iteration 436, LB=-7680, UB=-4047
823.77/825.75	c [735.83] solve iteration 437, LB=-7680, UB=-4047
823.77/825.75	c [736.49] solve iteration 438, LB=-7680, UB=-4047
823.77/825.75	c [737.33] solve iteration 439, LB=-7680, UB=-4047
823.77/825.75	c [738.05] solve iteration 440, LB=-7680, UB=-4047
823.77/825.75	c [739.94] solve iteration 441, LB=-7680, UB=-4050
823.77/825.75	c [740.54] solve iteration 442, LB=-7680, UB=-4050
823.77/825.75	c [741.16] solve iteration 443, LB=-7680, UB=-4050
823.77/825.75	c [741.87] solve iteration 444, LB=-7680, UB=-4050
823.77/825.75	c [742.51] solve iteration 445, LB=-7680, UB=-4050
823.77/825.75	c [746.17] solve iteration 446, LB=-7680, UB=-4051
823.77/825.75	c [746.92] solve iteration 447, LB=-7680, UB=-4051
823.77/825.75	c [747.66] solve iteration 448, LB=-7680, UB=-4051
823.77/825.75	c [748.52] solve iteration 449, LB=-7680, UB=-4051
823.77/825.75	c [749.19] solve iteration 450, LB=-7680, UB=-4051
823.77/825.75	c [751.97] solve iteration 451, LB=-7680, UB=-4052
823.77/825.75	c [752.58] solve iteration 452, LB=-7680, UB=-4052
823.77/825.75	c [753.24] solve iteration 453, LB=-7680, UB=-4052
823.77/825.75	c [753.87] solve iteration 454, LB=-7680, UB=-4052
823.77/825.75	c [754.67] solve iteration 455, LB=-7680, UB=-4052
823.77/825.75	c [757.04] solve iteration 456, LB=-7680, UB=-4053
823.77/825.75	c [757.68] solve iteration 457, LB=-7680, UB=-4053
823.77/825.75	c [758.33] solve iteration 458, LB=-7680, UB=-4053
823.77/825.75	c [759.13] solve iteration 459, LB=-7680, UB=-4053
823.77/825.75	c [759.76] solve iteration 460, LB=-7680, UB=-4053
823.77/825.75	c [771.29] solve iteration 461, LB=-7680, UB=-4054
823.77/825.75	c [771.93] solve iteration 462, LB=-7680, UB=-4054
823.77/825.75	c [772.57] solve iteration 463, LB=-7680, UB=-4054
823.77/825.75	c [773.27] solve iteration 464, LB=-7680, UB=-4054
823.77/825.75	c [774.27] solve iteration 465, LB=-7680, UB=-4054
823.77/825.75	c [783.4] solve iteration 466, LB=-7680, UB=-4056
823.77/825.75	c [784.25] solve iteration 467, LB=-7680, UB=-4056
823.77/825.75	c [784.87] solve iteration 468, LB=-7680, UB=-4056
823.77/825.75	c [785.63] solve iteration 469, LB=-7680, UB=-4056
823.77/825.75	c [786.3] solve iteration 470, LB=-7680, UB=-4056
823.77/825.75	c [789.8] solve iteration 471, LB=-7680, UB=-4058
823.77/825.75	c [790.62] solve iteration 472, LB=-7680, UB=-4058
823.77/825.75	c [791.32] solve iteration 473, LB=-7680, UB=-4058
823.77/825.75	c [791.99] solve iteration 474, LB=-7680, UB=-4058
823.77/825.75	c [792.78] solve iteration 475, LB=-7680, UB=-4058
823.77/825.75	c [798.97] solve iteration 476, LB=-7680, UB=-4112
823.77/825.75	c [799.56] solve iteration 477, LB=-7680, UB=-4112
823.77/825.75	c [800.2] solve iteration 478, LB=-7680, UB=-4112
823.77/825.75	c [800.84] solve iteration 479, LB=-7680, UB=-4112
823.77/825.75	c [801.58] solve iteration 480, LB=-7680, UB=-4112
823.77/825.75	c [802.58] solve iteration 481, LB=-7680, UB=-4114
823.77/825.75	c [803.28] solve iteration 482, LB=-7680, UB=-4114
823.77/825.75	c [803.99] solve iteration 483, LB=-7680, UB=-4114
823.77/825.75	c [804.64] solve iteration 484, LB=-7680, UB=-4114
823.77/825.75	c [805.28] solve iteration 485, LB=-7680, UB=-4114
823.77/825.75	c [816.65] solve iteration 486, LB=-7680, UB=-4118
962.92/965.21	c [817.24] solve iteration 487, LB=-7680, UB=-4118
962.92/965.21	c [818.03] solve iteration 488, LB=-7680, UB=-4118
962.92/965.21	c [818.82] solve iteration 489, LB=-7680, UB=-4118
962.92/965.21	c [819.44] solve iteration 490, LB=-7680, UB=-4118
962.92/965.21	c [823.08] solve iteration 491, LB=-7680, UB=-4354
962.92/965.21	c [823.83] solve iteration 492, LB=-7680, UB=-4354
962.92/965.21	c [824.46] solve iteration 493, LB=-7680, UB=-4354
962.92/965.21	c [825.1] solve iteration 494, LB=-7680, UB=-4354
962.92/965.21	c [826] solve iteration 495, LB=-7680, UB=-4354
962.92/965.21	c [830.11] solve iteration 496, LB=-7680, UB=-4590
962.92/965.21	c [830.75] solve iteration 497, LB=-7680, UB=-4590
962.92/965.21	c [831.35] solve iteration 498, LB=-7680, UB=-4590
962.92/965.21	c [831.99] solve iteration 499, LB=-7680, UB=-4590
962.92/965.21	c [832.6] solve iteration 500, LB=-7680, UB=-4590
962.92/965.21	c [834.52] solve iteration 501, LB=-7680, UB=-4824
962.92/965.21	c [835.41] solve iteration 502, LB=-7680, UB=-4824
962.92/965.21	c [836.04] solve iteration 503, LB=-7680, UB=-4824
962.92/965.21	c [836.68] solve iteration 504, LB=-7680, UB=-4824
962.92/965.21	c [837.52] solve iteration 505, LB=-7680, UB=-4824
962.92/965.21	c [847.17] solve iteration 506, LB=-7680, UB=-4826
962.92/965.21	c [847.89] solve iteration 507, LB=-7680, UB=-4826
962.92/965.21	c [848.54] solve iteration 508, LB=-7680, UB=-4826
962.92/965.21	c [849.53] solve iteration 509, LB=-7680, UB=-4826
962.92/965.21	c [850.19] solve iteration 510, LB=-7680, UB=-4826
962.92/965.21	c [850.95] solve iteration 511, LB=-7680, UB=-4828
962.92/965.21	c [851.62] solve iteration 512, LB=-7680, UB=-4828
962.92/965.21	c [852.37] solve iteration 513, LB=-7680, UB=-4828
962.92/965.21	c [853.02] solve iteration 514, LB=-7680, UB=-4828
962.92/965.21	c [853.67] solve iteration 515, LB=-7680, UB=-4828
962.92/965.21	c [854.56] solve iteration 516, LB=-7680, UB=-4830
962.92/965.21	c [855.23] solve iteration 517, LB=-7680, UB=-4830
962.92/965.21	c [856.04] solve iteration 518, LB=-7680, UB=-4830
962.92/965.21	c [856.67] solve iteration 519, LB=-7680, UB=-4830
962.92/965.21	c [857.33] solve iteration 520, LB=-7680, UB=-4830
962.92/965.21	c [878.87] solve iteration 521, LB=-7680, UB=-5060
962.92/965.21	c [879.61] solve iteration 522, LB=-7680, UB=-5060
962.92/965.21	c [880.57] solve iteration 523, LB=-7680, UB=-5060
962.92/965.21	c [881.22] solve iteration 524, LB=-7680, UB=-5060
962.92/965.21	c [881.88] solve iteration 525, LB=-7680, UB=-5060
962.92/965.21	c [902.85] solve iteration 526, LB=-7680, UB=-5272
962.92/965.21	c [903.48] solve iteration 527, LB=-7680, UB=-5272
962.92/965.21	c [904.14] solve iteration 528, LB=-7680, UB=-5272
962.92/965.21	c [904.76] solve iteration 529, LB=-7680, UB=-5272
962.92/965.21	c [905.52] solve iteration 530, LB=-7680, UB=-5272
962.92/965.21	c [906.47] solve iteration 531, LB=-7680, UB=-5274
962.92/965.21	c [907.13] solve iteration 532, LB=-7680, UB=-5274
962.92/965.21	c [907.96] solve iteration 533, LB=-7680, UB=-5274
962.92/965.21	c [908.65] solve iteration 534, LB=-7680, UB=-5274
962.92/965.21	c [909.31] solve iteration 535, LB=-7680, UB=-5274
962.92/965.21	c [920.14] solve iteration 536, LB=-7680, UB=-5460
962.92/965.21	c [920.82] solve iteration 537, LB=-7680, UB=-5460
962.92/965.21	c [921.48] solve iteration 538, LB=-7680, UB=-5460
962.92/965.21	c [922.4] solve iteration 539, LB=-7680, UB=-5460
962.92/965.21	c [923.16] solve iteration 540, LB=-7680, UB=-5460
962.92/965.21	c [924.36] solve iteration 541, LB=-7680, UB=-5472
962.92/965.21	c [925.17] solve iteration 542, LB=-7680, UB=-5472
962.92/965.21	c [925.8] solve iteration 543, LB=-7680, UB=-5472
962.92/965.21	c [926.5] solve iteration 544, LB=-7680, UB=-5472
962.92/965.21	c [927.35] solve iteration 545, LB=-7680, UB=-5472
962.92/965.21	c [930.07] solve iteration 546, LB=-7680, UB=-5474
962.92/965.21	c [930.76] solve iteration 547, LB=-7680, UB=-5474
962.92/965.21	c [931.59] solve iteration 548, LB=-7680, UB=-5474
962.92/965.21	c [932.31] solve iteration 549, LB=-7680, UB=-5474
962.92/965.21	c [933.07] solve iteration 550, LB=-7680, UB=-5474
962.92/965.21	c [933.8] solve iteration 551, LB=-7680, UB=-5476
962.92/965.21	c [934.72] solve iteration 552, LB=-7680, UB=-5476
962.92/965.21	c [935.43] solve iteration 553, LB=-7680, UB=-5476
962.92/965.21	c [936.1] solve iteration 554, LB=-7680, UB=-5476
962.92/965.21	c [936.79] solve iteration 555, LB=-7680, UB=-5476
962.92/965.21	c [937.78] solve iteration 556, LB=-7680, UB=-5478
962.92/965.21	c [938.47] solve iteration 557, LB=-7680, UB=-5478
962.92/965.21	c [939.34] solve iteration 558, LB=-7680, UB=-5478
962.92/965.21	c [940.11] solve iteration 559, LB=-7680, UB=-5478
962.92/965.21	c [940.79] solve iteration 560, LB=-7680, UB=-5478
962.92/965.21	c [941.54] solve iteration 561, LB=-7680, UB=-5482
962.92/965.21	c [942.23] solve iteration 562, LB=-7680, UB=-5482
962.92/965.21	c [942.95] solve iteration 563, LB=-7680, UB=-5482
962.92/965.21	c [943.69] solve iteration 564, LB=-7680, UB=-5482
962.92/965.21	c [944.36] solve iteration 565, LB=-7680, UB=-5482
962.92/965.21	c [953.61] solve iteration 566, LB=-7680, UB=-5484
962.92/965.21	c [954.65] solve iteration 567, LB=-7680, UB=-5484
1140.11/1142.87	c [955.31] solve iteration 568, LB=-7680, UB=-5484
1140.11/1142.87	c [956.11] solve iteration 569, LB=-7680, UB=-5484
1140.11/1142.87	c [956.85] solve iteration 570, LB=-7680, UB=-5484
1140.11/1142.87	c [959.92] solve iteration 571, LB=-7680, UB=-5488
1140.11/1142.87	c [960.62] solve iteration 572, LB=-7680, UB=-5488
1140.11/1142.87	c [961.35] solve iteration 573, LB=-7680, UB=-5488
1140.11/1142.87	c [962.44] solve iteration 574, LB=-7680, UB=-5488
1140.11/1142.87	c [963.16] solve iteration 575, LB=-7680, UB=-5488
1140.11/1142.87	c [1000.56] solve iteration 576, LB=-7680, UB=-5488
1140.11/1142.87	c [1001.3] solve iteration 577, LB=-7680, UB=-5488
1140.11/1142.87	c [1002.01] solve iteration 578, LB=-7680, UB=-5488
1140.11/1142.87	c [1002.93] solve iteration 579, LB=-7680, UB=-5488
1140.11/1142.87	c [1003.69] solve iteration 580, LB=-7680, UB=-5488
1140.11/1142.87	c [1006.88] solve iteration 581, LB=-7680, UB=-5648
1140.11/1142.87	c [1007.52] solve iteration 582, LB=-7680, UB=-5648
1140.11/1142.87	c [1008.25] solve iteration 583, LB=-7680, UB=-5648
1140.11/1142.87	c [1008.96] solve iteration 584, LB=-7680, UB=-5648
1140.11/1142.87	c [1009.64] solve iteration 585, LB=-7680, UB=-5648
1140.11/1142.87	c [1026.99] solve iteration 586, LB=-7680, UB=-5712
1140.11/1142.87	c [1027.71] solve iteration 587, LB=-7680, UB=-5712
1140.11/1142.87	c [1028.4] solve iteration 588, LB=-7680, UB=-5712
1140.11/1142.87	c [1029.12] solve iteration 589, LB=-7680, UB=-5712
1140.11/1142.87	c [1029.95] solve iteration 590, LB=-7680, UB=-5712
1140.11/1142.87	c [1065.53] solve iteration 591, LB=-7680, UB=-5728
1140.11/1142.87	c [1066.17] solve iteration 592, LB=-7680, UB=-5728
1140.11/1142.87	c [1067.13] solve iteration 593, LB=-7680, UB=-5728
1140.11/1142.87	c [1067.96] solve iteration 594, LB=-7680, UB=-5728
1140.11/1142.87	c [1068.66] solve iteration 595, LB=-7680, UB=-5728
1140.11/1142.87	c [1078.17] solve iteration 596, LB=-7680, UB=-5736
1140.11/1142.87	c [1078.87] solve iteration 597, LB=-7680, UB=-5736
1140.11/1142.87	c [1079.61] solve iteration 598, LB=-7680, UB=-5736
1140.11/1142.87	c [1080.34] solve iteration 599, LB=-7680, UB=-5736
1140.11/1142.87	c [1081.04] solve iteration 600, LB=-7680, UB=-5736
1140.11/1142.87	c [1081.98] solve iteration 601, LB=-7680, UB=-5737
1140.11/1142.87	c [1082.66] solve iteration 602, LB=-7680, UB=-5737
1140.11/1142.87	c [1083.63] solve iteration 603, LB=-7680, UB=-5737
1140.11/1142.87	c [1084.37] solve iteration 604, LB=-7680, UB=-5737
1140.11/1142.87	c [1085.08] solve iteration 605, LB=-7680, UB=-5737
1140.11/1142.87	c [1086.02] solve iteration 606, LB=-7680, UB=-5738
1140.11/1142.87	c [1086.82] solve iteration 607, LB=-7680, UB=-5738
1140.11/1142.87	c [1087.58] solve iteration 608, LB=-7680, UB=-5738
1140.11/1142.87	c [1088.3] solve iteration 609, LB=-7680, UB=-5738
1140.11/1142.87	c [1089.35] solve iteration 610, LB=-7680, UB=-5738
1140.11/1142.87	c [1090.27] solve iteration 611, LB=-7680, UB=-5740
1140.11/1142.87	c [1090.95] solve iteration 612, LB=-7680, UB=-5740
1140.11/1142.87	c [1091.68] solve iteration 613, LB=-7680, UB=-5740
1140.11/1142.87	c [1092.4] solve iteration 614, LB=-7680, UB=-5740
1140.11/1142.87	c [1093.24] solve iteration 615, LB=-7680, UB=-5740
1140.11/1142.87	c [1094.87] solve iteration 616, LB=-7680, UB=-5741
1140.11/1142.87	c [1095.78] solve iteration 617, LB=-7680, UB=-5741
1140.11/1142.87	c [1096.5] solve iteration 618, LB=-7680, UB=-5741
1140.11/1142.87	c [1097.22] solve iteration 619, LB=-7680, UB=-5741
1140.11/1142.87	c [1098.01] solve iteration 620, LB=-7680, UB=-5741
1140.11/1142.87	c [1099.08] solve iteration 621, LB=-7680, UB=-5742
1140.11/1142.87	c [1099.86] solve iteration 622, LB=-7680, UB=-5742
1140.11/1142.87	c [1100.54] solve iteration 623, LB=-7680, UB=-5742
1140.11/1142.87	c [1101.33] solve iteration 624, LB=-7680, UB=-5742
1140.11/1142.87	c [1101.99] solve iteration 625, LB=-7680, UB=-5742
1140.11/1142.87	c [1102.8] solve iteration 626, LB=-7680, UB=-5743
1140.11/1142.87	c [1103.53] solve iteration 627, LB=-7680, UB=-5743
1140.11/1142.87	c [1104.28] solve iteration 628, LB=-7680, UB=-5743
1140.11/1142.87	c [1104.95] solve iteration 629, LB=-7680, UB=-5743
1140.11/1142.87	c [1105.76] solve iteration 630, LB=-7680, UB=-5743
1140.11/1142.87	c [1106.6] solve iteration 631, LB=-7680, UB=-5744
1140.11/1142.87	c [1107.5] solve iteration 632, LB=-7680, UB=-5744
1140.11/1142.87	c [1108.23] solve iteration 633, LB=-7680, UB=-5744
1140.11/1142.87	c [1109.05] solve iteration 634, LB=-7680, UB=-5744
1140.11/1142.87	c [1109.77] solve iteration 635, LB=-7680, UB=-5744
1140.11/1142.87	c [1120.5] solve iteration 636, LB=-7680, UB=-5745
1140.11/1142.87	c [1121.31] solve iteration 637, LB=-7680, UB=-5745
1140.11/1142.87	c [1122.06] solve iteration 638, LB=-7680, UB=-5745
1140.11/1142.87	c [1122.78] solve iteration 639, LB=-7680, UB=-5745
1140.11/1142.87	c [1123.62] solve iteration 640, LB=-7680, UB=-5745
1140.11/1142.87	c [1124.65] solve iteration 641, LB=-7680, UB=-5746
1140.11/1142.87	c [1125.37] solve iteration 642, LB=-7680, UB=-5746
1140.11/1142.87	c [1126.05] solve iteration 643, LB=-7680, UB=-5746
1140.11/1142.87	c [1126.86] solve iteration 644, LB=-7680, UB=-5746
1140.11/1142.87	c [1127.6] solve iteration 645, LB=-7680, UB=-5746
1140.11/1142.87	c [1130.96] solve iteration 646, LB=-7680, UB=-5747
1395.34/1398.60	c [1131.99] solve iteration 647, LB=-7680, UB=-5747
1395.34/1398.60	c [1132.75] solve iteration 648, LB=-7680, UB=-5747
1395.34/1398.60	c [1133.48] solve iteration 649, LB=-7680, UB=-5747
1395.34/1398.60	c [1134.24] solve iteration 650, LB=-7680, UB=-5747
1395.34/1398.60	c [1136.42] solve iteration 651, LB=-7680, UB=-5748
1395.34/1398.60	c [1137.16] solve iteration 652, LB=-7680, UB=-5748
1395.34/1398.60	c [1137.93] solve iteration 653, LB=-7680, UB=-5748
1395.34/1398.60	c [1138.62] solve iteration 654, LB=-7680, UB=-5748
1395.34/1398.60	c [1139.55] solve iteration 655, LB=-7680, UB=-5748
1395.34/1398.60	c [1155.99] solve iteration 656, LB=-7680, UB=-5750
1395.34/1398.60	c [1156.93] solve iteration 657, LB=-7680, UB=-5750
1395.34/1398.60	c [1157.85] solve iteration 658, LB=-7680, UB=-5750
1395.34/1398.60	c [1158.84] solve iteration 659, LB=-7680, UB=-5750
1395.34/1398.60	c [1159.53] solve iteration 660, LB=-7680, UB=-5750
1395.34/1398.60	c [1160.57] solve iteration 661, LB=-7680, UB=-5752
1395.34/1398.60	c [1161.44] solve iteration 662, LB=-7680, UB=-5752
1395.34/1398.60	c [1162.18] solve iteration 663, LB=-7680, UB=-5752
1395.34/1398.60	c [1162.92] solve iteration 664, LB=-7680, UB=-5752
1395.34/1398.60	c [1163.7] solve iteration 665, LB=-7680, UB=-5752
1395.34/1398.60	c [1167.55] solve iteration 666, LB=-7680, UB=-5754
1395.34/1398.60	c [1168.36] solve iteration 667, LB=-7680, UB=-5754
1395.34/1398.60	c [1169.12] solve iteration 668, LB=-7680, UB=-5754
1395.34/1398.60	c [1169.87] solve iteration 669, LB=-7680, UB=-5754
1395.34/1398.60	c [1170.84] solve iteration 670, LB=-7680, UB=-5754
1395.34/1398.60	c [1171.74] solve iteration 671, LB=-7680, UB=-5756
1395.34/1398.60	c [1172.54] solve iteration 672, LB=-7680, UB=-5756
1395.34/1398.60	c [1173.25] solve iteration 673, LB=-7680, UB=-5756
1395.34/1398.60	c [1174.01] solve iteration 674, LB=-7680, UB=-5756
1395.34/1398.60	c [1174.8] solve iteration 675, LB=-7680, UB=-5756
1395.34/1398.60	c [1177.78] solve iteration 676, LB=-7680, UB=-5764
1395.34/1398.60	c [1178.54] solve iteration 677, LB=-7680, UB=-5764
1395.34/1398.60	c [1179.45] solve iteration 678, LB=-7680, UB=-5764
1395.34/1398.60	c [1180.21] solve iteration 679, LB=-7680, UB=-5764
1395.34/1398.60	c [1180.93] solve iteration 680, LB=-7680, UB=-5764
1395.34/1398.60	c [1185.32] solve iteration 681, LB=-7680, UB=-5772
1395.34/1398.60	c [1186.12] solve iteration 682, LB=-7680, UB=-5772
1395.34/1398.60	c [1186.96] solve iteration 683, LB=-7680, UB=-5772
1395.34/1398.60	c [1187.93] solve iteration 684, LB=-7680, UB=-5772
1395.34/1398.60	c [1188.87] solve iteration 685, LB=-7680, UB=-5772
1395.34/1398.60	c [1239.64] solve iteration 686, LB=-7680, UB=-5772
1395.34/1398.60	c [1240.37] solve iteration 687, LB=-7680, UB=-5772
1395.34/1398.60	c [1241.16] solve iteration 688, LB=-7680, UB=-5772
1395.34/1398.60	c [1241.87] solve iteration 689, LB=-7680, UB=-5772
1395.34/1398.60	c [1242.9] solve iteration 690, LB=-7680, UB=-5772
1395.34/1398.60	c [1258.77] solve iteration 691, LB=-7680, UB=-5880
1395.34/1398.60	c [1259.54] solve iteration 692, LB=-7680, UB=-5880
1395.34/1398.60	c [1260.81] solve iteration 693, LB=-7680, UB=-5880
1395.34/1398.60	c [1261.53] solve iteration 694, LB=-7680, UB=-5880
1395.34/1398.60	c [1262.53] solve iteration 695, LB=-7680, UB=-5880
1395.34/1398.60	c [1277.66] solve iteration 696, LB=-7680, UB=-5920
1395.34/1398.60	c [1278.38] solve iteration 697, LB=-7680, UB=-5920
1395.34/1398.60	c [1279.2] solve iteration 698, LB=-7680, UB=-5920
1395.34/1398.60	c [1279.96] solve iteration 699, LB=-7680, UB=-5920
1395.34/1398.60	c [1280.71] solve iteration 700, LB=-7680, UB=-5920
1395.34/1398.60	c [1305.89] solve iteration 701, LB=-7680, UB=-5936
1395.34/1398.60	c [1306.78] solve iteration 702, LB=-7680, UB=-5936
1395.34/1398.60	c [1307.62] solve iteration 703, LB=-7680, UB=-5936
1395.34/1398.60	c [1308.42] solve iteration 704, LB=-7680, UB=-5936
1395.34/1398.60	c [1309.21] solve iteration 705, LB=-7680, UB=-5936
1395.34/1398.60	c [1312.94] solve iteration 706, LB=-7680, UB=-6080
1395.34/1398.60	c [1313.94] solve iteration 707, LB=-7680, UB=-6080
1395.34/1398.60	c [1314.67] solve iteration 708, LB=-7680, UB=-6080
1395.34/1398.60	c [1315.76] solve iteration 709, LB=-7680, UB=-6080
1395.34/1398.60	c [1316.71] solve iteration 710, LB=-7680, UB=-6080
1395.34/1398.60	c [1358.42] solve iteration 711, LB=-7680, UB=-6080
1395.34/1398.60	c [1359.19] solve iteration 712, LB=-7680, UB=-6080
1395.34/1398.60	c [1359.96] solve iteration 713, LB=-7680, UB=-6080
1395.34/1398.60	c [1360.69] solve iteration 714, LB=-7680, UB=-6080
1395.34/1398.60	c [1361.49] solve iteration 715, LB=-7680, UB=-6080
1395.34/1398.60	c [1376.93] solve iteration 716, LB=-7680, UB=-6096
1395.34/1398.60	c [1377.72] solve iteration 717, LB=-7680, UB=-6096
1395.34/1398.60	c [1378.5] solve iteration 718, LB=-7680, UB=-6096
1395.34/1398.60	c [1379.27] solve iteration 719, LB=-7680, UB=-6096
1395.34/1398.60	c [1380.06] solve iteration 720, LB=-7680, UB=-6096
1395.34/1398.60	c [1380.89] solve iteration 721, LB=-7680, UB=-6097
1395.34/1398.60	c [1381.67] solve iteration 722, LB=-7680, UB=-6097
1395.34/1398.60	c [1382.46] solve iteration 723, LB=-7680, UB=-6097
1395.34/1398.60	c [1383.69] solve iteration 724, LB=-7680, UB=-6097
1395.34/1398.60	c [1384.46] solve iteration 725, LB=-7680, UB=-6097
1987.12/1991.75	c [1385.53] solve iteration 726, LB=-7680, UB=-6098
1987.12/1991.75	c [1386.47] solve iteration 727, LB=-7680, UB=-6098
1987.12/1991.75	c [1387.25] solve iteration 728, LB=-7680, UB=-6098
1987.12/1991.75	c [1388.01] solve iteration 729, LB=-7680, UB=-6098
1987.12/1991.75	c [1388.83] solve iteration 730, LB=-7680, UB=-6098
1987.12/1991.75	c [1389.68] solve iteration 731, LB=-7680, UB=-6100
1987.12/1991.75	c [1390.49] solve iteration 732, LB=-7680, UB=-6100
1987.12/1991.75	c [1391.29] solve iteration 733, LB=-7680, UB=-6100
1987.12/1991.75	c [1392.22] solve iteration 734, LB=-7680, UB=-6100
1987.12/1991.75	c [1392.96] solve iteration 735, LB=-7680, UB=-6100
1987.12/1991.75	c [1393.99] solve iteration 736, LB=-7680, UB=-6104
1987.12/1991.75	c [1395.05] solve iteration 737, LB=-7680, UB=-6104
1987.12/1991.75	c [1395.82] solve iteration 738, LB=-7680, UB=-6104
1987.12/1991.75	c [1396.59] solve iteration 739, LB=-7680, UB=-6104
1987.12/1991.75	c [1397.53] solve iteration 740, LB=-7680, UB=-6104
1987.12/1991.75	c [1453.66] solve iteration 741, LB=-7680, UB=-6104
1987.12/1991.75	c [1454.44] solve iteration 742, LB=-7680, UB=-6104
1987.12/1991.75	c [1455.25] solve iteration 743, LB=-7680, UB=-6104
1987.12/1991.75	c [1456.07] solve iteration 744, LB=-7680, UB=-6104
1987.12/1991.75	c [1456.86] solve iteration 745, LB=-7680, UB=-6104
1987.12/1991.75	c [1458.51] solve iteration 746, LB=-7680, UB=-6168
1987.12/1991.75	c [1459.35] solve iteration 747, LB=-7680, UB=-6168
1987.12/1991.75	c [1460.14] solve iteration 748, LB=-7680, UB=-6168
1987.12/1991.75	c [1460.94] solve iteration 749, LB=-7680, UB=-6168
1987.12/1991.75	c [1461.69] solve iteration 750, LB=-7680, UB=-6168
1987.12/1991.75	c [1522.19] solve iteration 751, LB=-7680, UB=-6170
1987.12/1991.75	c [1523.05] solve iteration 752, LB=-7680, UB=-6170
1987.12/1991.75	c [1523.84] solve iteration 753, LB=-7680, UB=-6170
1987.12/1991.75	c [1524.66] solve iteration 754, LB=-7680, UB=-6170
1987.12/1991.75	c [1525.45] solve iteration 755, LB=-7680, UB=-6170
1987.12/1991.75	c [1526.56] solve iteration 756, LB=-7680, UB=-6172
1987.12/1991.75	c [1527.35] solve iteration 757, LB=-7680, UB=-6172
1987.12/1991.75	c [1528.15] solve iteration 758, LB=-7680, UB=-6172
1987.12/1991.75	c [1528.96] solve iteration 759, LB=-7680, UB=-6172
1987.12/1991.75	c [1529.76] solve iteration 760, LB=-7680, UB=-6172
1987.12/1991.75	c [1530.84] solve iteration 761, LB=-7680, UB=-6176
1987.12/1991.75	c [1531.66] solve iteration 762, LB=-7680, UB=-6176
1987.12/1991.75	c [1532.64] solve iteration 763, LB=-7680, UB=-6176
1987.12/1991.75	c [1533.63] solve iteration 764, LB=-7680, UB=-6176
1987.12/1991.75	c [1534.51] solve iteration 765, LB=-7680, UB=-6176
1987.12/1991.75	c [1581.49] solve iteration 766, LB=-7680, UB=-6184
1987.12/1991.75	c [1582.44] solve iteration 767, LB=-7680, UB=-6184
1987.12/1991.75	c [1583.31] solve iteration 768, LB=-7680, UB=-6184
1987.12/1991.75	c [1584.13] solve iteration 769, LB=-7680, UB=-6184
1987.12/1991.75	c [1584.91] solve iteration 770, LB=-7680, UB=-6184
1987.12/1991.75	c [1658.65] solve iteration 771, LB=-7680, UB=-6184
1987.12/1991.75	c [1659.39] solve iteration 772, LB=-7680, UB=-6184
1987.12/1991.75	c [1659.85] solve iteration 773, LB=-7680, UB=-6184
1987.12/1991.75	c [1660.27] solve iteration 774, LB=-7680, UB=-6184
1987.12/1991.75	c [1661.14] solve iteration 775, LB=-7680, UB=-6184
1987.12/1991.75	c [1728.66] solve iteration 776, LB=-7680, UB=-6184
1987.12/1991.75	c [1729.1] solve iteration 777, LB=-7680, UB=-6184
1987.12/1991.75	c [1729.79] solve iteration 778, LB=-7680, UB=-6184
1987.12/1991.75	c [1730.14] solve iteration 779, LB=-7680, UB=-6184
1987.12/1991.75	c [1730.74] solve iteration 780, LB=-7680, UB=-6184
1987.12/1991.75	c [1807.48] solve iteration 781, LB=-7680, UB=-6184
1987.12/1991.75	c [1807.9] solve iteration 782, LB=-7680, UB=-6184
1987.12/1991.75	c [1808.48] solve iteration 783, LB=-7680, UB=-6184
1987.12/1991.75	c [1808.86] solve iteration 784, LB=-7680, UB=-6184
1987.12/1991.75	c [1809.55] solve iteration 785, LB=-7680, UB=-6184
1987.12/1991.75	c [1878.99] solve iteration 786, LB=-7680, UB=-6186
1987.12/1991.75	c [1879.36] solve iteration 787, LB=-7680, UB=-6186
1987.12/1991.75	c [1879.78] solve iteration 788, LB=-7680, UB=-6186
1987.12/1991.75	c [1880.43] solve iteration 789, LB=-7680, UB=-6186
1987.12/1991.75	c [1880.84] solve iteration 790, LB=-7680, UB=-6186
1987.12/1991.75	c [1881.57] solve iteration 791, LB=-7680, UB=-6188
1987.12/1991.75	c [1882.03] solve iteration 792, LB=-7680, UB=-6188
1987.12/1991.75	c [1882.49] solve iteration 793, LB=-7680, UB=-6188
1987.12/1991.75	c [1882.87] solve iteration 794, LB=-7680, UB=-6188
1987.12/1991.75	c [1883.48] solve iteration 795, LB=-7680, UB=-6188
1987.12/1991.75	c [1902.4] solve iteration 796, LB=-7680, UB=-6200
1987.12/1991.75	c [1903.03] solve iteration 797, LB=-7680, UB=-6200
1987.12/1991.75	c [1903.38] solve iteration 798, LB=-7680, UB=-6200
1987.12/1991.75	c [1903.8] solve iteration 799, LB=-7680, UB=-6200
1987.12/1991.75	c [1904.24] solve iteration 800, LB=-7680, UB=-6200
1987.12/1991.75	c [1972.79] solve iteration 801, LB=-7680, UB=-6200
1987.12/1991.75	c [1973.23] solve iteration 802, LB=-7680, UB=-6200
1987.12/1991.75	c [1973.61] solve iteration 803, LB=-7680, UB=-6200
1987.12/1991.75	c [1974.11] solve iteration 804, LB=-7680, UB=-6200
3017.74/3024.89	c [1974.49] solve iteration 805, LB=-7680, UB=-6200
3017.74/3024.89	c [2017.56] solve iteration 806, LB=-7680, UB=-6216
3017.74/3024.89	c [2017.99] solve iteration 807, LB=-7680, UB=-6216
3017.74/3024.89	c [2018.38] solve iteration 808, LB=-7680, UB=-6216
3017.74/3024.89	c [2019.1] solve iteration 809, LB=-7680, UB=-6216
3017.74/3024.89	c [2019.55] solve iteration 810, LB=-7680, UB=-6216
3017.74/3024.89	c [2097.46] solve iteration 811, LB=-7680, UB=-6216
3017.74/3024.89	c [2098.07] solve iteration 812, LB=-7680, UB=-6216
3017.74/3024.89	c [2098.55] solve iteration 813, LB=-7680, UB=-6216
3017.74/3024.89	c [2098.99] solve iteration 814, LB=-7680, UB=-6216
3017.74/3024.89	c [2099.54] solve iteration 815, LB=-7680, UB=-6216
3017.74/3024.89	c [2186.88] solve iteration 816, LB=-7680, UB=-6216
3017.74/3024.89	c [2187.28] solve iteration 817, LB=-7680, UB=-6216
3017.74/3024.89	c [2187.67] solve iteration 818, LB=-7680, UB=-6216
3017.74/3024.89	c [2188.31] solve iteration 819, LB=-7680, UB=-6216
3017.74/3024.89	c [2188.92] solve iteration 820, LB=-7680, UB=-6216
3017.74/3024.89	c [2291.96] solve iteration 821, LB=-7680, UB=-6216
3017.74/3024.89	c [2292.4] solve iteration 822, LB=-7680, UB=-6216
3017.74/3024.89	c [2293.07] solve iteration 823, LB=-7680, UB=-6216
3017.74/3024.89	c [2293.5] solve iteration 824, LB=-7680, UB=-6216
3017.74/3024.89	c [2293.88] solve iteration 825, LB=-7680, UB=-6216
3017.74/3024.89	c [2395.96] solve iteration 826, LB=-7680, UB=-6216
3017.74/3024.89	c [2396.34] solve iteration 827, LB=-7680, UB=-6216
3017.74/3024.89	c [2396.72] solve iteration 828, LB=-7680, UB=-6216
3017.74/3024.89	c [2397.17] solve iteration 829, LB=-7680, UB=-6216
3017.74/3024.89	c [2397.83] solve iteration 830, LB=-7680, UB=-6216
3017.74/3024.89	c [2509.24] solve iteration 831, LB=-7680, UB=-6218
3017.74/3024.89	c [2509.69] solve iteration 832, LB=-7680, UB=-6218
3017.74/3024.89	c [2510.52] solve iteration 833, LB=-7680, UB=-6218
3017.74/3024.89	c [2510.97] solve iteration 834, LB=-7680, UB=-6218
3017.74/3024.89	c [2511.36] solve iteration 835, LB=-7680, UB=-6218
3017.74/3024.89	c [2511.88] solve iteration 836, LB=-7680, UB=-6220
3017.74/3024.89	c [2512.31] solve iteration 837, LB=-7680, UB=-6220
3017.74/3024.89	c [2512.71] solve iteration 838, LB=-7680, UB=-6220
3017.74/3024.89	c [2513.17] solve iteration 839, LB=-7680, UB=-6220
3017.74/3024.89	c [2513.57] solve iteration 840, LB=-7680, UB=-6220
3017.74/3024.89	c [2514.13] solve iteration 841, LB=-7680, UB=-6232
3017.74/3024.89	c [2514.56] solve iteration 842, LB=-7680, UB=-6232
3017.74/3024.89	c [2515.35] solve iteration 843, LB=-7680, UB=-6232
3017.74/3024.89	c [2515.73] solve iteration 844, LB=-7680, UB=-6232
3017.74/3024.89	c [2516.13] solve iteration 845, LB=-7680, UB=-6232
3017.74/3024.89	c [2521.17] solve iteration 846, LB=-7680, UB=-6240
3017.74/3024.89	c [2521.68] solve iteration 847, LB=-7680, UB=-6240
3017.74/3024.89	c [2522.29] solve iteration 848, LB=-7680, UB=-6240
3017.74/3024.89	c [2522.74] solve iteration 849, LB=-7680, UB=-6240
3017.74/3024.89	c [2523.12] solve iteration 850, LB=-7680, UB=-6240
3017.74/3024.89	c [2628.53] solve iteration 851, LB=-7680, UB=-6240
3017.74/3024.89	c [2628.92] solve iteration 852, LB=-7680, UB=-6240
3017.74/3024.89	c [2629.76] solve iteration 853, LB=-7680, UB=-6240
3017.74/3024.89	c [2630.23] solve iteration 854, LB=-7680, UB=-6240
3017.74/3024.89	c [2630.7] solve iteration 855, LB=-7680, UB=-6240
3017.74/3024.89	c [2657.64] solve iteration 856, LB=-7680, UB=-6248
3017.74/3024.89	c [2658.52] solve iteration 857, LB=-7680, UB=-6248
3017.74/3024.89	c [2658.97] solve iteration 858, LB=-7680, UB=-6248
3017.74/3024.89	c [2659.37] solve iteration 859, LB=-7680, UB=-6248
3017.74/3024.89	c [2659.92] solve iteration 860, LB=-7680, UB=-6248
3017.74/3024.89	c [2660.58] solve iteration 861, LB=-7680, UB=-6256
3017.74/3024.89	c [2661.02] solve iteration 862, LB=-7680, UB=-6256
3017.74/3024.89	c [2661.61] solve iteration 863, LB=-7680, UB=-6256
3017.74/3024.89	c [2662.04] solve iteration 864, LB=-7680, UB=-6256
3017.74/3024.89	c [2662.66] solve iteration 865, LB=-7680, UB=-6256
3017.74/3024.89	c [2676.08] solve iteration 866, LB=-7680, UB=-6400
3017.74/3024.89	c [2676.71] solve iteration 867, LB=-7680, UB=-6400
3017.74/3024.89	c [2677.35] solve iteration 868, LB=-7680, UB=-6400
3017.74/3024.89	c [2677.79] solve iteration 869, LB=-7680, UB=-6400
3017.74/3024.89	c [2678.26] solve iteration 870, LB=-7680, UB=-6400
3017.74/3024.89	c [2774.99] solve iteration 871, LB=-7680, UB=-6400
3017.74/3024.89	c [2775.4] solve iteration 872, LB=-7680, UB=-6400
3017.74/3024.89	c [2775.88] solve iteration 873, LB=-7680, UB=-6400
3017.74/3024.89	c [2776.5] solve iteration 874, LB=-7680, UB=-6400
3017.74/3024.89	c [2777] solve iteration 875, LB=-7680, UB=-6400
3017.74/3024.89	c [2882.75] solve iteration 876, LB=-7680, UB=-6400
3017.74/3024.89	c [2883.39] solve iteration 877, LB=-7680, UB=-6400
3017.74/3024.89	c [2883.79] solve iteration 878, LB=-7680, UB=-6400
3017.74/3024.89	c [2884.21] solve iteration 879, LB=-7680, UB=-6400
3017.74/3024.89	c [2884.68] solve iteration 880, LB=-7680, UB=-6400
3017.74/3024.89	c [3000.55] solve iteration 881, LB=-7680, UB=-6400
3017.74/3024.89	c [3000.98] solve iteration 882, LB=-7680, UB=-6400
3017.74/3024.89	c [3001.6

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483924-1751280086/watcher-4483924-1751280086 -o /tmp/evaluation-result-4483924-1751280086/solver-4483924-1751280086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751279332-38620 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4483924-1751280086.opb --max-coef 1000000000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=38760, runsolver pid=38757
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.14 4.01 3.88 5/266 38761
/proc/meminfo: memFree=127539712/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=88652 memory=24280 CPUtime=0.09 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 4942 0 0 0 9 0 0 0 20 0 1 0 43687206 90779648 6070 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 22163 6070 1632 641 0 6920 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 88652 KiB
Current children cumulated memory: 24280 KiB

[startup+0.20541 s]*
/proc/loadavg: 4.14 4.01 3.88 5/266 38761
/proc/meminfo: memFree=127519488/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=106772 memory=40844 CPUtime=0.2 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 8717 0 0 0 17 3 0 0 20 0 1 0 43687206 109334528 10211 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 26693 10211 1760 641 0 11450 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106772 KiB
Current children cumulated memory: 40844 KiB

[startup+0.305315 s]*
/proc/loadavg: 4.14 4.01 3.88 5/266 38761
/proc/meminfo: memFree=127511424/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=112932 memory=52184 CPUtime=0.29 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 10524 0 0 0 23 6 0 0 20 0 1 0 43687206 115642368 13046 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 28233 13046 1760 641 0 12990 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112932 KiB
Current children cumulated memory: 52184 KiB

[startup+0.70016 s]
/proc/loadavg: 4.13 4.01 3.88 5/266 38761
/proc/meminfo: memFree=127503360/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=164728 memory=87600 CPUtime=0.69 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 18391 0 0 0 48 21 0 0 20 0 2 0 43687206 168681472 21900 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 41182 21900 2336 641 0 23665 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 164728 KiB
Current children cumulated memory: 87600 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 4.01 3.88 5/267 38762
/proc/meminfo: memFree=127447932/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=202932 memory=125652 CPUtime=1.48 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 32648 0 0 0 125 23 0 0 20 0 2 0 43687206 207802368 31413 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 50733 31413 3392 641 0 33216 0
[pid=38760/tid=38762] ppid=38757 vsize=202932 memory=0 CPUtime=0 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 43687270 207802368 31413 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 202932 KiB
Current children cumulated memory: 125652 KiB

[startup+3.10528 s]
/proc/loadavg: 4.13 4.01 3.88 5/267 38762
/proc/meminfo: memFree=127435960/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=219968 memory=142280 CPUtime=3.09 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 52136 0 0 0 284 25 0 0 20 0 2 0 43687206 225247232 35570 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 54992 35570 3392 641 0 37475 0
[pid=38760/tid=38762] ppid=38757 vsize=219968 memory=87600 CPUtime=0 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 4 0 0 0 0 0 0 0 20 0 2 0 43687270 225247232 35570 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 219968 KiB
Current children cumulated memory: 142280 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.00 3.88 5/267 38762
/proc/meminfo: memFree=127416416/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=243360 memory=168652 CPUtime=6.27 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 64628 0 0 0 596 31 0 0 20 0 2 0 43687206 249200640 42163 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 60840 42163 3392 641 0 43323 0
[pid=38760/tid=38762] ppid=38757 vsize=243360 memory=14344 CPUtime=0 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 8 0 0 0 0 0 0 0 20 0 2 0 43687270 249200640 42163 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 243360 KiB
Current children cumulated memory: 168652 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.00 3.88 5/267 38762
/proc/meminfo: memFree=127347224/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=298584 memory=223932 CPUtime=12.65 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 102494 0 0 0 1226 39 0 0 20 0 2 0 43687206 305750016 55983 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 74646 55983 3392 641 0 57129 0
[pid=38760/tid=38762] ppid=38757 vsize=298584 memory=218172 CPUtime=0 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 11 0 0 0 0 0 0 0 20 0 2 0 43687270 305750016 55983 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 298584 KiB
Current children cumulated memory: 223932 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.00 3.89 5/267 38762
/proc/meminfo: memFree=127234368/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=360700 memory=263956 CPUtime=25.43 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 125870 0 0 0 2493 50 0 0 20 0 2 0 43687206 369356800 65989 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 90175 65989 3392 641 0 72658 0
[pid=38760/tid=38762] ppid=38757 vsize=360700 memory=263956 CPUtime=0 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 2 0 43687270 369356800 65989 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 360700 KiB
Current children cumulated memory: 263956 KiB

[startup+51.1053 s]
/proc/loadavg: 4.12 4.02 3.90 5/266 38763
/proc/meminfo: memFree=127141304/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=405112 memory=321832 CPUtime=50.97 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 225029 0 0 0 5026 71 0 0 20 0 2 0 43687206 414834688 80458 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 101278 80458 3552 641 0 83761 0
[pid=38760/tid=38762] ppid=38757 vsize=405112 memory=314216 CPUtime=0 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 2 0 43687270 414834688 80458 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 405112 KiB
Current children cumulated memory: 321832 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.03 3.91 5/266 38764
/proc/meminfo: memFree=126909356/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=560684 memory=480460 CPUtime=102.05 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 406676 0 0 0 10097 108 0 0 20 0 2 0 43687206 574140416 120115 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 140171 120115 3552 641 0 122654 0
[pid=38760/tid=38762] ppid=38757 vsize=560684 memory=14344 CPUtime=0.03 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 17 0 0 0 1 2 0 0 20 0 2 0 43687270 574140416 120115 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 560684 KiB
Current children cumulated memory: 480460 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.04 3.92 5/266 38766
/proc/meminfo: memFree=126747856/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=771604 memory=614756 CPUtime=161.91 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 545979 0 0 0 16050 141 0 0 20 0 2 0 43687206 790122496 153689 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 192901 153689 3552 641 0 175384 0
[pid=38760/tid=38762] ppid=38757 vsize=771604 memory=596452 CPUtime=0.05 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 21 0 0 0 2 3 0 0 20 0 2 0 43687270 790122496 153689 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 771604 KiB
Current children cumulated memory: 614756 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.04 3.93 5/266 38768
/proc/meminfo: memFree=126674924/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=785960 memory=657032 CPUtime=221.77 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 679650 0 0 0 21988 189 0 0 20 0 2 0 43687206 804823040 164258 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 196490 164258 3552 641 0 178973 0
[pid=38760/tid=38762] ppid=38757 vsize=785960 memory=17664 CPUtime=0.07 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 21 0 0 0 3 4 0 0 20 0 2 0 43687270 804823040 164258 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 785960 KiB
Current children cumulated memory: 657032 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.06 3.95 5/266 38770
/proc/meminfo: memFree=126584164/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=848012 memory=722192 CPUtime=281.64 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 896316 0 0 0 27915 249 0 0 20 0 2 0 43687206 868364288 180548 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 212003 180548 3552 641 0 194486 0
[pid=38760/tid=38762] ppid=38757 vsize=848012 memory=722056 CPUtime=0.1 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 21 0 0 0 4 6 0 0 20 0 2 0 43687270 868364288 180548 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 848012 KiB
Current children cumulated memory: 722192 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.06 3.96 5/266 38772
/proc/meminfo: memFree=126566016/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=849600 memory=724080 CPUtime=341.49 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 992050 0 0 0 33857 292 0 0 20 0 2 0 43687206 869990400 181020 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 212400 181020 3552 641 0 194883 0
[pid=38760/tid=38762] ppid=38757 vsize=849600 memory=722056 CPUtime=0.12 cores=5,7

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

/proc/meminfo: memFree=127804992/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=1152020 memory=956772 CPUtime=2975.36 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 3485675 0 0 0 295970 1566 0 0 20 0 2 0 43687206 1179668480 239193 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 288005 239193 3552 641 0 270488 0
[pid=38760/tid=38762] ppid=38757 vsize=1152020 memory=956772 CPUtime=1.14 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 43 0 0 0 42 72 0 0 20 0 2 0 43687270 1179668480 239193 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 2975.36 s
Current children cumulated vsize: 1152020 KiB
Current children cumulated memory: 956772 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/270 39098
/proc/meminfo: memFree=127762432/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=1152536 memory=957208 CPUtime=3035.19 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 3499089 0 0 0 301936 1583 0 0 20 0 2 0 43687206 1180196864 239302 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 288134 239302 3552 641 0 270617 0
[pid=38760/tid=38762] ppid=38757 vsize=1152536 memory=956772 CPUtime=1.16 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 43 0 0 0 43 73 0 0 20 0 2 0 43687270 1180196864 239302 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 3035.19 s
Current children cumulated vsize: 1152536 KiB
Current children cumulated memory: 957208 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/269 39100
/proc/meminfo: memFree=127659872/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=1152536 memory=957208 CPUtime=3095.03 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 3513319 0 0 0 307910 1593 0 0 20 0 2 0 43687206 1180196864 239302 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 288134 239302 3552 641 0 270617 0
[pid=38760/tid=38762] ppid=38757 vsize=1152536 memory=957208 CPUtime=1.18 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 43 0 0 0 43 75 0 0 20 0 2 0 43687270 1180196864 239302 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 3095.03 s
Current children cumulated vsize: 1152536 KiB
Current children cumulated memory: 957208 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 39102
/proc/meminfo: memFree=127648568/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=1153600 memory=958348 CPUtime=3154.86 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 3537285 0 0 0 313878 1608 0 0 20 0 2 0 43687206 1181286400 239587 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 288400 239587 3552 641 0 270883 0
[pid=38760/tid=38762] ppid=38757 vsize=1153600 memory=957208 CPUtime=1.2 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 45 0 0 0 44 76 0 0 20 0 2 0 43687270 1181286400 239587 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 3154.86 s
Current children cumulated vsize: 1153600 KiB
Current children cumulated memory: 958348 KiB

[startup+3222.3 s]
/proc/loadavg: 4.37 4.19 4.12 5/267 39104
/proc/meminfo: memFree=127581968/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=1153600 memory=970380 CPUtime=3214.68 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 3545853 0 0 0 319849 1619 0 0 20 0 2 0 43687206 1181286400 242595 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 288400 242595 3552 641 0 270883 0
[pid=38760/tid=38762] ppid=38757 vsize=1153600 memory=957208 CPUtime=1.22 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 46 0 0 0 45 77 0 0 20 0 2 0 43687270 1181286400 242595 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 3214.68 s
Current children cumulated vsize: 1153600 KiB
Current children cumulated memory: 970380 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/266 39106
/proc/meminfo: memFree=127554860/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=1154628 memory=977984 CPUtime=3274.51 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 3565503 0 0 0 325810 1641 0 0 20 0 2 0 43687206 1182339072 244496 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 288657 244496 3552 641 0 271140 0
[pid=38760/tid=38762] ppid=38757 vsize=1154628 memory=977036 CPUtime=1.25 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 46 0 0 0 46 79 0 0 20 0 2 0 43687270 1182339072 244496 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 3274.51 s
Current children cumulated vsize: 1154628 KiB
Current children cumulated memory: 977984 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/266 39108
/proc/meminfo: memFree=127568900/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=1154628 memory=977984 CPUtime=3334.34 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 3565754 0 0 0 331779 1655 0 0 20 0 2 0 43687206 1182339072 244496 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 288657 244496 3552 641 0 271140 0
[pid=38760/tid=38762] ppid=38757 vsize=1154628 memory=14344 CPUtime=1.27 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 47 0 0 0 46 81 0 0 20 0 2 0 43687270 1182339072 244496 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 3334.34 s
Current children cumulated vsize: 1154628 KiB
Current children cumulated memory: 977984 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.14 4.10 5/267 39117
/proc/meminfo: memFree=127535412/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=1154628 memory=977984 CPUtime=3394.17 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 3566630 0 0 0 337752 1665 0 0 20 0 2 0 43687206 1182339072 244496 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 288657 244496 3552 641 0 271140 0
[pid=38760/tid=38762] ppid=38757 vsize=1154628 memory=14344 CPUtime=1.29 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 47 0 0 0 47 82 0 0 20 0 2 0 43687270 1182339072 244496 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 3394.17 s
Current children cumulated vsize: 1154628 KiB
Current children cumulated memory: 977984 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/267 39119
/proc/meminfo: memFree=127500300/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=1154940 memory=978304 CPUtime=3454 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 3582008 0 0 0 343720 1680 0 0 20 0 2 0 43687206 1182658560 244576 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 288735 244576 3552 641 0 271218 0
[pid=38760/tid=38762] ppid=38757 vsize=1154940 memory=14344 CPUtime=1.31 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 48 0 0 0 48 83 0 0 20 0 2 0 43687270 1182658560 244576 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 3454 s
Current children cumulated vsize: 1154940 KiB
Current children cumulated memory: 978304 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/267 39121
/proc/meminfo: memFree=127518092/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=1154940 memory=978304 CPUtime=3513.84 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 3582672 0 0 0 349686 1698 0 0 20 0 2 0 43687206 1182658560 244576 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 288735 244576 3552 641 0 271218 0
[pid=38760/tid=38762] ppid=38757 vsize=1154940 memory=978304 CPUtime=1.33 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 48 0 0 0 49 84 0 0 20 0 2 0 43687270 1182658560 244576 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 3513.84 s
Current children cumulated vsize: 1154940 KiB
Current children cumulated memory: 978304 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 39124
/proc/meminfo: memFree=127469564/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=1156248 memory=979628 CPUtime=3573.66 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 3598312 0 0 0 355652 1714 0 0 20 0 2 0 43687206 1183997952 244907 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 289062 244907 3552 641 0 271545 0
[pid=38760/tid=38762] ppid=38757 vsize=1156248 memory=979628 CPUtime=1.35 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 49 0 0 0 50 85 0 0 20 0 2 0 43687270 1183997952 244907 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 3573.66 s
Current children cumulated vsize: 1156248 KiB
Current children cumulated memory: 979628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 39124
/proc/meminfo: memFree=127430292/131249988 swapFree=33010684/33010684
[pid=38760] ppid=38757 vsize=1156248 memory=979628 CPUtime=3600.08 cores=5,7
/proc/38760/stat : 38760 (ipbhs_gurobi) R 38757 38760 38607 0 -1 4194304 3598559 0 0 0 358290 1718 0 0 20 0 2 0 43687206 1183997952 244907 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
/proc/38760/statm: 289062 244907 3552 641 0 271545 0
[pid=38760/tid=38762] ppid=38757 vsize=1156248 memory=979628 CPUtime=1.36 cores=5,7
/proc/38760/task/38762/stat : 38762 (ipbhs_gurobi) S 38757 38760 38607 0 -1 4194368 49 0 0 0 50 86 0 0 20 0 2 0 43687270 1183997952 244907 18446744073709551615 94784782487552 94784785112605 140730203851312 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94784785731480 94784785764442 94784806408192 140730203855263 140730203855367 140730203855367 140730203860969 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1156248 KiB
Current children cumulated memory: 979628 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.91 s, system=17.1928 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3608.81
CPU time (s): 3600.11
CPU user time (s): 3582.91
CPU system time (s): 17.1928
CPU usage (%): 99.7588
Max. virtual memory (cumulated for all children) (KiB): 1161840
Max. memory (cumulated for all children) (KiB): 984332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.91
system time used= 17.1928
maximum resident set size= 987080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3598559
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= 358970
involuntary context switches= 20636


# summary of solver processes directly reported to runsolver:
#   pid: 38760
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3582.91
#   total CPU system time (s): 17.1928

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4692 second user time and 15.4825 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-06-30 12:41:26
IDJOB=4483924
IDBENCH=146011
IDSOLVER=3333
FILE ID=nodeC031/4483924-1751280086
RUNJOBID= nodeC031-1751279332-38620
SLURM_JOB_ID= 9594213
Free space on /tmp= 432864 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/normalized-BA_RDC4.dot_luby_10null20mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_product.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4483924-1751280086/watcher-4483924-1751280086 -o /tmp/evaluation-result-4483924-1751280086/solver-4483924-1751280086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751279332-38620 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4483924-1751280086.opb --max-coef 1000000000

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

MD5SUM BENCH= 45fe61862ea6af1146fa753dc4b3b822
RANDOM SEED=1930400182

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.855
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.78
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		: 3599.883
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.78
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.924
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.78
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		: 3700.000
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.78
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.807
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.893
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.78
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.373
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.78
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		: 3700.000
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        127555020 kB
MemAvailable:   127786940 kB
Buffers:            3280 kB
Cached:          1039460 kB
SwapCached:            0 kB
Active:          2357308 kB
Inactive:         774392 kB
Active(anon):    2107024 kB
Inactive(anon):        0 kB
Active(file):     250284 kB
Inactive(file):   774392 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             64076 kB
Writeback:             0 kB
AnonPages:       2090588 kB
Mapped:           117712 kB
Shmem:             18064 kB
KReclaimable:      92968 kB
Slab:             179572 kB
SReclaimable:      92968 kB
SUnreclaim:        86604 kB
KernelStack:        4288 kB
PageTables:         7472 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    2638340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    899072 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432824 MiB
End job on nodeC031 at 2025-06-30 13:41:36