Trace number 4484110

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
IPBHS-SCIP 2025-06-09? (TO) 3600.04 3611.2

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
MD5SUM9e8345160c873e2ecbeb2fceb1264fd1
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 benchmark2642
Best CPU time to get the best result obtained on this benchmark0.045582
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables907
Total number of constraints403
Number of constraints which are clauses126
Number of constraints which are cardinality constraints (but not clauses)277
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134
Number of terms in the objective function 748
Biggest coefficient in the objective function 240
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 33855
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 240
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 33855
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c initialize IPBHS solver
0.00/0.01	c IPBHS 0.0.0 beta (8d0f613-dirty, Jun  3 2025 11:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01	c optimizer = "scip"
0.00/0.01	c pbsolver = "roundingsat"
0.00/0.01	c use separate pbsolver for SIS
0.00/0.01	c load symmetries from file ""
0.00/0.01	c set time limit for symmetry computation to 100 seconds.
0.00/0.01	c set interchangeable summation variable limit to 3
0.00/0.01	c set sym compact max subset size to 5
0.00/0.01	c set explicit symmetry matrix usage to 1
0.00/0.01	c sym budget explicit to 100
0.00/0.01	c sym budget explicit lits to 6000
0.00/0.01	c sym budget compact to 100
0.00/0.01	c sym budget compact lits to 6000
0.00/0.01	c sym budget common to 0
0.00/0.01	c sym budget common lits to 0
0.00/0.01	c set sym generation to 's'
0.00/0.01	c set abstraction set creation to 10 iterations without LB change
0.00/0.01	c set abstraction set inputs to 0
0.00/0.01	c set abstraction set cluster min size to 2
0.00/0.01	c set abstraction set cluster max size to 100000000
0.00/0.01	c set abstraction set cluster activation limit to 2
0.00/0.01	c enable abstraction set require equal cost
0.00/0.01	c set abstraction set assumptions to 0
0.00/0.01	c set abstraction set constraint type to 0
0.00/0.01	c set abstract core extraction strategy to b
0.00/0.01	c set core extraction strategy to 2
0.00/0.01	c set core extraction shuffles 10
0.00/0.01	c set cores per iteration to 5
0.00/0.01	c set optimizer bound usage strategy to 2
0.00/0.01	c set optimizer max non-optimal iterations to 1000
0.00/0.01	c set small core cardinality limit to 2
0.00/0.01	c set max coef in cores to 1000000000
0.00/0.01	c set core processing techniques to 4095
0.00/0.01	c set SIS iterations to 5
0.00/0.01	c set SIS budget abs to 1000
0.00/0.01	c set SIS budget rel to 0.05
0.00/0.03	c limit for coefficient in constraints and objective to 1000000000
0.00/0.03	c will solve HOME/instance-4484110-1751283130.opb
0.00/0.03	c [0.01] will start solving
52.10/52.33	c [0.01] solve iteration 1, LB=-415, UB=33441
52.10/52.33	c [0.11] solve iteration 2, LB=2242, UB=4282
52.10/52.33	c [0.26] solve iteration 3, LB=2242, UB=2855
52.10/52.33	c [0.47] solve iteration 4, LB=2242, UB=2645
52.10/52.33	c [0.68] solve iteration 5, LB=2242, UB=2645
52.10/52.33	c [1.25] solve iteration 6, LB=2242, UB=2645
52.10/52.33	c [1.39] solve iteration 7, LB=2242, UB=2645
52.10/52.33	c [1.54] solve iteration 8, LB=2242, UB=2645
52.10/52.33	c [1.67] solve iteration 9, LB=2242, UB=2645
52.10/52.33	c [1.81] solve iteration 10, LB=2242, UB=2644
52.10/52.33	c [2.25] solve iteration 11, LB=2242, UB=2644
52.10/52.33	c [2.39] solve iteration 12, LB=2242, UB=2644
52.10/52.33	c [2.54] solve iteration 13, LB=2242, UB=2644
52.10/52.33	c [2.7] solve iteration 14, LB=2242, UB=2644
52.10/52.33	c [2.86] solve iteration 15, LB=2242, UB=2644
52.10/52.33	c [3.25] solve iteration 16, LB=2242, UB=2644
52.10/52.33	c [3.43] solve iteration 17, LB=2242, UB=2644
52.10/52.33	c [3.61] solve iteration 18, LB=2242, UB=2644
52.10/52.33	c [3.8] solve iteration 19, LB=2242, UB=2644
52.10/52.33	c [4.01] solve iteration 20, LB=2242, UB=2644
52.10/52.33	c [4.59] solve iteration 21, LB=2242, UB=2644
52.10/52.33	c [4.8] solve iteration 22, LB=2242, UB=2644
52.10/52.33	c [5.01] solve iteration 23, LB=2242, UB=2644
52.10/52.33	c [5.24] solve iteration 24, LB=2242, UB=2644
52.10/52.33	c [5.48] solve iteration 25, LB=2242, UB=2644
52.10/52.33	c [6.09] solve iteration 26, LB=2242, UB=2644
52.10/52.33	c [6.39] solve iteration 27, LB=2242, UB=2644
52.10/52.33	c [6.67] solve iteration 28, LB=2242, UB=2644
52.10/52.33	c [7.05] solve iteration 29, LB=2242, UB=2644
52.10/52.33	c [7.44] solve iteration 30, LB=2242, UB=2644
52.10/52.33	c [8.14] solve iteration 31, LB=2242, UB=2644
52.10/52.33	c [8.55] solve iteration 32, LB=2242, UB=2644
52.10/52.33	c [8.99] solve iteration 33, LB=2242, UB=2644
52.10/52.33	c [9.37] solve iteration 34, LB=2242, UB=2644
52.10/52.33	c [9.76] solve iteration 35, LB=2242, UB=2644
52.10/52.33	c [10.55] solve iteration 36, LB=2242, UB=2644
52.10/52.33	c [10.96] solve iteration 37, LB=2242, UB=2644
52.10/52.33	c [11.37] solve iteration 38, LB=2242, UB=2644
52.10/52.33	c [11.8] solve iteration 39, LB=2242, UB=2644
52.10/52.33	c [12.23] solve iteration 40, LB=2242, UB=2644
52.10/52.33	c [13.32] solve iteration 41, LB=2242, UB=2644
52.10/52.33	c [13.75] solve iteration 42, LB=2242, UB=2644
52.10/52.33	c [14.21] solve iteration 43, LB=2242, UB=2643
52.10/52.33	c [14.68] solve iteration 44, LB=2242, UB=2643
52.10/52.33	c [15.16] solve iteration 45, LB=2242, UB=2643
52.10/52.33	c [16.1] solve iteration 46, LB=2242, UB=2643
52.10/52.33	c [16.6] solve iteration 47, LB=2242, UB=2643
52.10/52.33	c [17.1] solve iteration 48, LB=2242, UB=2643
52.10/52.33	c [17.61] solve iteration 49, LB=2242, UB=2643
52.10/52.33	c [18.14] solve iteration 50, LB=2242, UB=2643
52.10/52.33	c [19.24] solve iteration 51, LB=2242, UB=2643
52.10/52.33	c [19.77] solve iteration 52, LB=2242, UB=2643
52.10/52.33	c [20.33] solve iteration 53, LB=2242, UB=2643
52.10/52.33	c [20.89] solve iteration 54, LB=2242, UB=2643
52.10/52.33	c [21.47] solve iteration 55, LB=2242, UB=2643
52.10/52.33	c [22.43] solve iteration 56, LB=2242, UB=2643
52.10/52.33	c [23.02] solve iteration 57, LB=2242, UB=2643
52.10/52.33	c [23.65] solve iteration 58, LB=2242, UB=2643
52.10/52.33	c [24.22] solve iteration 59, LB=2242, UB=2643
52.10/52.33	c [24.86] solve iteration 60, LB=2242, UB=2643
52.10/52.33	c [26.08] solve iteration 61, LB=2242, UB=2643
52.10/52.33	c [26.76] solve iteration 62, LB=2242, UB=2642
52.10/52.33	c [27.4] solve iteration 63, LB=2242, UB=2642
52.10/52.33	c [28.03] solve iteration 64, LB=2242, UB=2642
52.10/52.33	c [28.7] solve iteration 65, LB=2242, UB=2642
52.10/52.33	c [29.94] solve iteration 66, LB=2242, UB=2642
52.10/52.33	c [30.61] solve iteration 67, LB=2242, UB=2642
52.10/52.33	c [31.3] solve iteration 68, LB=2242, UB=2642
52.10/52.33	c [32] solve iteration 69, LB=2242, UB=2642
52.10/52.33	c [32.72] solve iteration 70, LB=2242, UB=2642
52.10/52.33	c [34.09] solve iteration 71, LB=2242, UB=2642
52.10/52.33	c [34.77] solve iteration 72, LB=2242, UB=2642
52.10/52.33	c [35.46] solve iteration 73, LB=2242, UB=2642
52.10/52.33	c [36.21] solve iteration 74, LB=2242, UB=2642
52.10/52.33	c [36.99] solve iteration 75, LB=2242, UB=2642
52.10/52.33	c [38.41] solve iteration 76, LB=2242, UB=2642
52.10/52.33	c [39.23] solve iteration 77, LB=2242, UB=2642
52.10/52.33	c [40.04] solve iteration 78, LB=2242, UB=2642
52.10/52.33	c [40.87] solve iteration 79, LB=2242, UB=2642
52.10/52.33	c [41.63] solve iteration 80, LB=2242, UB=2642
52.10/52.33	c [43.18] solve iteration 81, LB=2242, UB=2642
52.10/52.33	c [43.98] solve iteration 82, LB=2242, UB=2642
52.10/52.33	c [44.8] solve iteration 83, LB=2242, UB=2642
52.10/52.33	c [45.61] solve iteration 84, LB=2242, UB=2642
52.10/52.33	c [46.45] solve iteration 85, LB=2242, UB=2642
52.10/52.33	c [48.45] solve iteration 86, LB=2242, UB=2642
52.10/52.33	c [49.34] solve iteration 87, LB=2242, UB=2642
52.10/52.33	c [50.33] solve iteration 88, LB=2242, UB=2642
52.10/52.33	c [51.16] solve iteration 89, LB=2242, UB=2642
232.54/233.33	c [52.63] solve iteration 90, LB=2242, UB=2642
232.54/233.33	c [55.59] solve iteration 91, LB=2242, UB=2642
232.54/233.33	c [57.19] solve iteration 92, LB=2242, UB=2642
232.54/233.33	c [58.09] solve iteration 93, LB=2242, UB=2642
232.54/233.33	c [59.01] solve iteration 94, LB=2242, UB=2642
232.54/233.33	c [60.03] solve iteration 95, LB=2242, UB=2642
232.54/233.33	c [62.08] solve iteration 96, LB=2242, UB=2642
232.54/233.33	c [62.93] solve iteration 97, LB=2242, UB=2642
232.54/233.33	c [64.39] solve iteration 98, LB=2242, UB=2642
232.54/233.33	c [66.3] solve iteration 99, LB=2242, UB=2642
232.54/233.33	c [67.27] solve iteration 100, LB=2242, UB=2642
232.54/233.33	c [70.19] solve iteration 101, LB=2242, UB=2642
232.54/233.33	c [71.09] solve iteration 102, LB=2242, UB=2642
232.54/233.33	c [71.99] solve iteration 103, LB=2242, UB=2642
232.54/233.33	c [73.95] solve iteration 104, LB=2242, UB=2642
232.54/233.33	c [75.99] solve iteration 105, LB=2242, UB=2642
232.54/233.33	c [77.84] solve iteration 106, LB=2242, UB=2642
232.54/233.33	c [78.86] solve iteration 107, LB=2242, UB=2642
232.54/233.33	c [80.86] solve iteration 108, LB=2242, UB=2642
232.54/233.33	c [81.83] solve iteration 109, LB=2242, UB=2642
232.54/233.33	c [82.83] solve iteration 110, LB=2242, UB=2642
232.54/233.33	c [85] solve iteration 111, LB=2242, UB=2642
232.54/233.33	c [85.94] solve iteration 112, LB=2242, UB=2642
232.54/233.33	c [87.25] solve iteration 113, LB=2242, UB=2642
232.54/233.33	c [89.46] solve iteration 114, LB=2242, UB=2642
232.54/233.33	c [90.42] solve iteration 115, LB=2242, UB=2642
232.54/233.33	c [93.73] solve iteration 116, LB=2242, UB=2642
232.54/233.33	c [94.87] solve iteration 117, LB=2242, UB=2642
232.54/233.33	c [97.1] solve iteration 118, LB=2242, UB=2642
232.54/233.33	c [98.15] solve iteration 119, LB=2242, UB=2642
232.54/233.33	c [99.22] solve iteration 120, LB=2242, UB=2642
232.54/233.33	c [102.6] solve iteration 121, LB=2242, UB=2642
232.54/233.33	c [104.9] solve iteration 122, LB=2242, UB=2642
232.54/233.33	c [106.05] solve iteration 123, LB=2242, UB=2642
232.54/233.33	c [107.54] solve iteration 124, LB=2242, UB=2642
232.54/233.33	c [109.52] solve iteration 125, LB=2242, UB=2642
232.54/233.33	c [113.26] solve iteration 126, LB=2242, UB=2642
232.54/233.33	c [115.58] solve iteration 127, LB=2242, UB=2642
232.54/233.33	c [117.76] solve iteration 128, LB=2242, UB=2642
232.54/233.33	c [120.42] solve iteration 129, LB=2242, UB=2642
232.54/233.33	c [122.76] solve iteration 130, LB=2242, UB=2642
232.54/233.33	c [126.79] solve iteration 131, LB=2242, UB=2642
232.54/233.33	c [128] solve iteration 132, LB=2242, UB=2642
232.54/233.33	c [129.36] solve iteration 133, LB=2242, UB=2642
232.54/233.33	c [131.49] solve iteration 134, LB=2242, UB=2642
232.54/233.33	c [133.95] solve iteration 135, LB=2242, UB=2642
232.54/233.33	c [137.75] solve iteration 136, LB=2242, UB=2642
232.54/233.33	c [139.13] solve iteration 137, LB=2242, UB=2642
232.54/233.33	c [140.58] solve iteration 138, LB=2242, UB=2642
232.54/233.33	c [143.27] solve iteration 139, LB=2242, UB=2642
232.54/233.33	c [144.44] solve iteration 140, LB=2242, UB=2642
232.54/233.33	c [147.23] solve iteration 141, LB=2242, UB=2642
232.54/233.33	c [148.43] solve iteration 142, LB=2242, UB=2642
232.54/233.33	c [150.21] solve iteration 143, LB=2242, UB=2642
232.54/233.33	c [151.75] solve iteration 144, LB=2242, UB=2642
232.54/233.33	c [153.02] solve iteration 145, LB=2242, UB=2642
232.54/233.33	c [157.6] solve iteration 146, LB=2242, UB=2642
232.54/233.33	c [160.15] solve iteration 147, LB=2242, UB=2642
232.54/233.33	c [163.02] solve iteration 148, LB=2242, UB=2642
232.54/233.33	c [165.69] solve iteration 149, LB=2242, UB=2642
232.54/233.33	c [168.69] solve iteration 150, LB=2242, UB=2642
232.54/233.33	c [172.05] solve iteration 151, LB=2242, UB=2642
232.54/233.33	c [174.84] solve iteration 152, LB=2242, UB=2642
232.54/233.33	c [177.56] solve iteration 153, LB=2242, UB=2642
232.54/233.33	c [179.14] solve iteration 154, LB=2242, UB=2642
232.54/233.33	c [180.5] solve iteration 155, LB=2242, UB=2642
232.54/233.33	c [185.28] solve iteration 156, LB=2242, UB=2642
232.54/233.33	c [187.98] solve iteration 157, LB=2242, UB=2642
232.54/233.33	c [189.48] solve iteration 158, LB=2242, UB=2642
232.54/233.33	c [190.84] solve iteration 159, LB=2242, UB=2642
232.54/233.33	c [192.14] solve iteration 160, LB=2242, UB=2642
232.54/233.33	c [195.43] solve iteration 161, LB=2242, UB=2642
232.54/233.33	c [196.74] solve iteration 162, LB=2242, UB=2642
232.54/233.33	c [198.2] solve iteration 163, LB=2242, UB=2642
232.54/233.33	c [201] solve iteration 164, LB=2242, UB=2642
232.54/233.33	c [204.03] solve iteration 165, LB=2242, UB=2642
232.54/233.33	c [207.96] solve iteration 166, LB=2242, UB=2642
232.54/233.33	c [211.04] solve iteration 167, LB=2242, UB=2642
232.54/233.33	c [213.14] solve iteration 168, LB=2242, UB=2642
232.54/233.33	c [215.25] solve iteration 169, LB=2242, UB=2642
232.54/233.33	c [218.39] solve iteration 170, LB=2242, UB=2642
232.54/233.33	c [224.24] solve iteration 171, LB=2242, UB=2642
232.54/233.33	c [225.8] solve iteration 172, LB=2242, UB=2642
232.54/233.33	c [227.22] solve iteration 173, LB=2242, UB=2642
232.54/233.33	c [230.23] solve iteration 174, LB=2242, UB=2642
602.57/604.50	c [233.29] solve iteration 175, LB=2242, UB=2642
602.57/604.50	c [239.92] solve iteration 176, LB=2242, UB=2642
602.57/604.50	c [243.28] solve iteration 177, LB=2242, UB=2642
602.57/604.50	c [246.75] solve iteration 178, LB=2242, UB=2642
602.57/604.50	c [248.88] solve iteration 179, LB=2242, UB=2642
602.57/604.50	c [252.21] solve iteration 180, LB=2242, UB=2642
602.57/604.50	c [256.85] solve iteration 181, LB=2242, UB=2642
602.57/604.50	c [260.03] solve iteration 182, LB=2242, UB=2642
602.57/604.50	c [263.35] solve iteration 183, LB=2242, UB=2642
602.57/604.50	c [266.94] solve iteration 184, LB=2242, UB=2642
602.57/604.50	c [270.7] solve iteration 185, LB=2242, UB=2642
602.57/604.50	c [278.29] solve iteration 186, LB=2242, UB=2642
602.57/604.50	c [279.94] solve iteration 187, LB=2242, UB=2642
602.57/604.50	c [282.85] solve iteration 188, LB=2242, UB=2642
602.57/604.50	c [284.41] solve iteration 189, LB=2242, UB=2642
602.57/604.50	c [287.49] solve iteration 190, LB=2242, UB=2642
602.57/604.50	c [294.73] solve iteration 191, LB=2242, UB=2642
602.57/604.50	c [296.25] solve iteration 192, LB=2242, UB=2642
602.57/604.50	c [298.25] solve iteration 193, LB=2242, UB=2642
602.57/604.50	c [300.67] solve iteration 194, LB=2242, UB=2642
602.57/604.50	c [303.57] solve iteration 195, LB=2242, UB=2642
602.57/604.50	c [310.77] solve iteration 196, LB=2242, UB=2642
602.57/604.50	c [312.78] solve iteration 197, LB=2242, UB=2642
602.57/604.50	c [316.05] solve iteration 198, LB=2242, UB=2642
602.57/604.50	c [319.73] solve iteration 199, LB=2242, UB=2642
602.57/604.50	c [322.99] solve iteration 200, LB=2242, UB=2642
602.57/604.50	c [330.16] solve iteration 201, LB=2242, UB=2642
602.57/604.50	c [333.27] solve iteration 202, LB=2242, UB=2642
602.57/604.50	c [336.49] solve iteration 203, LB=2242, UB=2642
602.57/604.50	c [339.3] solve iteration 204, LB=2242, UB=2642
602.57/604.50	c [342.88] solve iteration 205, LB=2242, UB=2642
602.57/604.50	c [350.53] solve iteration 206, LB=2242, UB=2642
602.57/604.50	c [352.24] solve iteration 207, LB=2242, UB=2642
602.57/604.50	c [355.5] solve iteration 208, LB=2242, UB=2642
602.57/604.50	c [357.89] solve iteration 209, LB=2242, UB=2642
602.57/604.50	c [361.31] solve iteration 210, LB=2242, UB=2642
602.57/604.50	c [369.26] solve iteration 211, LB=2242, UB=2642
602.57/604.50	c [373.04] solve iteration 212, LB=2242, UB=2642
602.57/604.50	c [377.25] solve iteration 213, LB=2242, UB=2642
602.57/604.50	c [381.14] solve iteration 214, LB=2242, UB=2642
602.57/604.50	c [383.96] solve iteration 215, LB=2242, UB=2642
602.57/604.50	c [392.18] solve iteration 216, LB=2242, UB=2642
602.57/604.50	c [394.64] solve iteration 217, LB=2242, UB=2642
602.57/604.50	c [397.55] solve iteration 218, LB=2242, UB=2642
602.57/604.50	c [399.74] solve iteration 219, LB=2242, UB=2642
602.57/604.50	c [401.53] solve iteration 220, LB=2242, UB=2642
602.57/604.50	c [411.48] solve iteration 221, LB=2242, UB=2642
602.57/604.50	c [414.99] solve iteration 222, LB=2242, UB=2642
602.57/604.50	c [418.6] solve iteration 223, LB=2242, UB=2642
602.57/604.50	c [422.09] solve iteration 224, LB=2242, UB=2642
602.57/604.50	c [425.48] solve iteration 225, LB=2242, UB=2642
602.57/604.50	c [435.7] solve iteration 226, LB=2242, UB=2642
602.57/604.50	c [438.21] solve iteration 227, LB=2242, UB=2642
602.57/604.50	c [441.95] solve iteration 228, LB=2242, UB=2642
602.57/604.50	c [444.15] solve iteration 229, LB=2242, UB=2642
602.57/604.50	c [447.92] solve iteration 230, LB=2242, UB=2642
602.57/604.50	c [456.87] solve iteration 231, LB=2242, UB=2642
602.57/604.50	c [460.22] solve iteration 232, LB=2242, UB=2642
602.57/604.50	c [463.53] solve iteration 233, LB=2242, UB=2642
602.57/604.50	c [467.44] solve iteration 234, LB=2242, UB=2642
602.57/604.50	c [469.42] solve iteration 235, LB=2242, UB=2642
602.57/604.50	c [479.64] solve iteration 236, LB=2242, UB=2642
602.57/604.50	c [483.62] solve iteration 237, LB=2242, UB=2642
602.57/604.50	c [487.21] solve iteration 238, LB=2242, UB=2642
602.57/604.50	c [490.91] solve iteration 239, LB=2242, UB=2642
602.57/604.50	c [494.99] solve iteration 240, LB=2242, UB=2642
602.57/604.50	c [508.41] solve iteration 241, LB=2242, UB=2642
602.57/604.50	c [512.42] solve iteration 242, LB=2242, UB=2642
602.57/604.50	c [516.36] solve iteration 243, LB=2242, UB=2642
602.57/604.50	c [521.06] solve iteration 244, LB=2242, UB=2642
602.57/604.50	c [525.34] solve iteration 245, LB=2242, UB=2642
602.57/604.50	c [537.92] solve iteration 246, LB=2242, UB=2642
602.57/604.50	c [540.13] solve iteration 247, LB=2242, UB=2642
602.57/604.50	c [544.01] solve iteration 248, LB=2242, UB=2642
602.57/604.50	c [548.42] solve iteration 249, LB=2242, UB=2642
602.57/604.50	c [552.3] solve iteration 250, LB=2242, UB=2642
602.57/604.50	c [571.15] solve iteration 251, LB=2242, UB=2642
602.57/604.50	c [574.92] solve iteration 252, LB=2242, UB=2642
602.57/604.50	c [577.02] solve iteration 253, LB=2242, UB=2642
602.57/604.50	c [580.56] solve iteration 254, LB=2242, UB=2642
602.57/604.50	c [584.58] solve iteration 255, LB=2242, UB=2642
602.57/604.50	c [594.01] solve iteration 256, LB=2242, UB=2642
602.57/604.50	c [598.25] solve iteration 257, LB=2242, UB=2642
1338.07/1342.34	c [603.05] solve iteration 258, LB=2242, UB=2642
1338.07/1342.34	c [607.11] solve iteration 259, LB=2242, UB=2642
1338.07/1342.34	c [610.81] solve iteration 260, LB=2242, UB=2642
1338.07/1342.34	c [627.69] solve iteration 261, LB=2242, UB=2642
1338.07/1342.34	c [629.91] solve iteration 262, LB=2242, UB=2642
1338.07/1342.34	c [634.61] solve iteration 263, LB=2242, UB=2642
1338.07/1342.34	c [640.05] solve iteration 264, LB=2242, UB=2642
1338.07/1342.34	c [644.42] solve iteration 265, LB=2242, UB=2642
1338.07/1342.34	c [661.34] solve iteration 266, LB=2242, UB=2642
1338.07/1342.34	c [666.39] solve iteration 267, LB=2242, UB=2642
1338.07/1342.34	c [670.91] solve iteration 268, LB=2242, UB=2642
1338.07/1342.34	c [673.61] solve iteration 269, LB=2242, UB=2642
1338.07/1342.34	c [678.37] solve iteration 270, LB=2242, UB=2642
1338.07/1342.34	c [695.17] solve iteration 271, LB=2242, UB=2642
1338.07/1342.34	c [699.52] solve iteration 272, LB=2242, UB=2642
1338.07/1342.34	c [704.2] solve iteration 273, LB=2242, UB=2642
1338.07/1342.34	c [709.11] solve iteration 274, LB=2242, UB=2642
1338.07/1342.34	c [714.12] solve iteration 275, LB=2242, UB=2642
1338.07/1342.34	c [734.4] solve iteration 276, LB=2242, UB=2642
1338.07/1342.34	c [739.34] solve iteration 277, LB=2242, UB=2642
1338.07/1342.34	c [743.86] solve iteration 278, LB=2242, UB=2642
1338.07/1342.34	c [749.09] solve iteration 279, LB=2242, UB=2642
1338.07/1342.34	c [751.55] solve iteration 280, LB=2242, UB=2642
1338.07/1342.34	c [768.29] solve iteration 281, LB=2242, UB=2642
1338.07/1342.34	c [773.22] solve iteration 282, LB=2242, UB=2642
1338.07/1342.34	c [777.86] solve iteration 283, LB=2242, UB=2642
1338.07/1342.34	c [779.99] solve iteration 284, LB=2242, UB=2642
1338.07/1342.34	c [784.52] solve iteration 285, LB=2242, UB=2642
1338.07/1342.34	c [808.75] solve iteration 286, LB=2242, UB=2642
1338.07/1342.34	c [811.16] solve iteration 287, LB=2242, UB=2642
1338.07/1342.34	c [813.61] solve iteration 288, LB=2242, UB=2642
1338.07/1342.34	c [815.89] solve iteration 289, LB=2242, UB=2642
1338.07/1342.34	c [820.2] solve iteration 290, LB=2242, UB=2642
1338.07/1342.34	c [844.31] solve iteration 291, LB=2242, UB=2642
1338.07/1342.34	c [848.84] solve iteration 292, LB=2242, UB=2642
1338.07/1342.34	c [853.29] solve iteration 293, LB=2242, UB=2642
1338.07/1342.34	c [858] solve iteration 294, LB=2242, UB=2642
1338.07/1342.34	c [860.71] solve iteration 295, LB=2242, UB=2642
1338.07/1342.34	c [880.82] solve iteration 296, LB=2242, UB=2642
1338.07/1342.34	c [883.3] solve iteration 297, LB=2242, UB=2642
1338.07/1342.34	c [885.8] solve iteration 298, LB=2242, UB=2642
1338.07/1342.34	c [888.32] solve iteration 299, LB=2242, UB=2642
1338.07/1342.34	c [890.91] solve iteration 300, LB=2242, UB=2642
1338.07/1342.34	c [912.07] solve iteration 301, LB=2242, UB=2642
1338.07/1342.34	c [914.59] solve iteration 302, LB=2242, UB=2642
1338.07/1342.34	c [917.11] solve iteration 303, LB=2242, UB=2642
1338.07/1342.34	c [922.2] solve iteration 304, LB=2242, UB=2642
1338.07/1342.34	c [927.95] solve iteration 305, LB=2242, UB=2642
1338.07/1342.34	c [951.81] solve iteration 306, LB=2242, UB=2642
1338.07/1342.34	c [956.95] solve iteration 307, LB=2242, UB=2642
1338.07/1342.34	c [962.22] solve iteration 308, LB=2242, UB=2642
1338.07/1342.34	c [967.38] solve iteration 309, LB=2242, UB=2642
1338.07/1342.34	c [972.71] solve iteration 310, LB=2242, UB=2642
1338.07/1342.34	c [1002.36] solve iteration 311, LB=2242, UB=2642
1338.07/1342.34	c [1007.86] solve iteration 312, LB=2242, UB=2642
1338.07/1342.34	c [1013.41] solve iteration 313, LB=2242, UB=2642
1338.07/1342.34	c [1019.14] solve iteration 314, LB=2242, UB=2642
1338.07/1342.34	c [1023.87] solve iteration 315, LB=2242, UB=2642
1338.07/1342.34	c [1048.4] solve iteration 316, LB=2242, UB=2642
1338.07/1342.34	c [1053.9] solve iteration 317, LB=2242, UB=2642
1338.07/1342.34	c [1058.47] solve iteration 318, LB=2242, UB=2642
1338.07/1342.34	c [1064.02] solve iteration 319, LB=2242, UB=2642
1338.07/1342.34	c [1069.58] solve iteration 320, LB=2242, UB=2642
1338.07/1342.34	c [1099.58] solve iteration 321, LB=2242, UB=2642
1338.07/1342.34	c [1104.84] solve iteration 322, LB=2242, UB=2642
1338.07/1342.34	c [1107.46] solve iteration 323, LB=2242, UB=2642
1338.07/1342.34	c [1110.01] solve iteration 324, LB=2242, UB=2642
1338.07/1342.34	c [1115.53] solve iteration 325, LB=2242, UB=2642
1338.07/1342.34	c [1182.49] solve iteration 326, LB=2242, UB=2642
1338.07/1342.34	c [1187.96] solve iteration 327, LB=2242, UB=2642
1338.07/1342.34	c [1193.44] solve iteration 328, LB=2242, UB=2642
1338.07/1342.34	c [1198.67] solve iteration 329, LB=2242, UB=2642
1338.07/1342.34	c [1204.26] solve iteration 330, LB=2242, UB=2642
1338.07/1342.34	c [1224.89] solve iteration 331, LB=2242, UB=2642
1338.07/1342.34	c [1230.08] solve iteration 332, LB=2242, UB=2642
1338.07/1342.34	c [1235.65] solve iteration 333, LB=2242, UB=2642
1338.07/1342.34	c [1240.64] solve iteration 334, LB=2242, UB=2642
1338.07/1342.34	c [1245.55] solve iteration 335, LB=2242, UB=2642
1338.07/1342.34	c [1274.35] solve iteration 336, LB=2242, UB=2642
1338.07/1342.34	c [1279.74] solve iteration 337, LB=2242, UB=2642
1338.07/1342.34	c [1285.52] solve iteration 338, LB=2242, UB=2642
1338.07/1342.34	c [1288.09] solve iteration 339, LB=2242, UB=2642
1338.07/1342.34	c [1294.14] solve iteration 340, LB=2242, UB=2642
1338.07/1342.34	c [1330.3] solve iteration 341, LB=2242, UB=2642
2826.34/2835.31	c [1333.25] solve iteration 342, LB=2242, UB=2642
2826.34/2835.31	c [1338.13] solve iteration 343, LB=2242, UB=2642
2826.34/2835.31	c [1343.5] solve iteration 344, LB=2242, UB=2642
2826.34/2835.31	c [1349.17] solve iteration 345, LB=2242, UB=2642
2826.34/2835.31	c [1379.84] solve iteration 346, LB=2242, UB=2642
2826.34/2835.31	c [1383.84] solve iteration 347, LB=2242, UB=2642
2826.34/2835.31	c [1386.62] solve iteration 348, LB=2242, UB=2642
2826.34/2835.31	c [1389.4] solve iteration 349, LB=2242, UB=2642
2826.34/2835.31	c [1392.2] solve iteration 350, LB=2242, UB=2642
2826.34/2835.31	c [1428.54] solve iteration 351, LB=2242, UB=2642
2826.34/2835.31	c [1431.23] solve iteration 352, LB=2242, UB=2642
2826.34/2835.31	c [1433.91] solve iteration 353, LB=2242, UB=2642
2826.34/2835.31	c [1439.31] solve iteration 354, LB=2242, UB=2642
2826.34/2835.31	c [1444.09] solve iteration 355, LB=2242, UB=2642
2826.34/2835.31	c [1487.97] solve iteration 356, LB=2242, UB=2642
2826.34/2835.31	c [1493.65] solve iteration 357, LB=2242, UB=2642
2826.34/2835.31	c [1499.29] solve iteration 358, LB=2242, UB=2642
2826.34/2835.31	c [1505.49] solve iteration 359, LB=2242, UB=2642
2826.34/2835.31	c [1512.28] solve iteration 360, LB=2242, UB=2642
2826.34/2835.31	c [1563.22] solve iteration 361, LB=2242, UB=2642
2826.34/2835.31	c [1569.7] solve iteration 362, LB=2242, UB=2642
2826.34/2835.31	c [1574.49] solve iteration 363, LB=2242, UB=2642
2826.34/2835.31	c [1580.46] solve iteration 364, LB=2242, UB=2642
2826.34/2835.31	c [1583.62] solve iteration 365, LB=2242, UB=2642
2826.34/2835.31	c [1646.06] solve iteration 366, LB=2242, UB=2642
2826.34/2835.31	c [1648.96] solve iteration 367, LB=2242, UB=2642
2826.34/2835.31	c [1655.85] solve iteration 368, LB=2242, UB=2642
2826.34/2835.31	c [1662.13] solve iteration 369, LB=2242, UB=2642
2826.34/2835.31	c [1666.92] solve iteration 370, LB=2242, UB=2642
2826.34/2835.31	c [1710.15] solve iteration 371, LB=2242, UB=2642
2826.34/2835.31	c [1714.69] solve iteration 372, LB=2242, UB=2642
2826.34/2835.31	c [1720.95] solve iteration 373, LB=2242, UB=2642
2826.34/2835.31	c [1727.52] solve iteration 374, LB=2242, UB=2642
2826.34/2835.31	c [1733.58] solve iteration 375, LB=2242, UB=2642
2826.34/2835.31	c [1796.83] solve iteration 376, LB=2242, UB=2642
2826.34/2835.31	c [1801.2] solve iteration 377, LB=2242, UB=2642
2826.34/2835.31	c [1807.72] solve iteration 378, LB=2242, UB=2642
2826.34/2835.31	c [1813.17] solve iteration 379, LB=2242, UB=2642
2826.34/2835.31	c [1819.24] solve iteration 380, LB=2242, UB=2642
2826.34/2835.31	c [1892.74] solve iteration 381, LB=2242, UB=2642
2826.34/2835.31	c [1895.89] solve iteration 382, LB=2242, UB=2642
2826.34/2835.31	c [1899.05] solve iteration 383, LB=2242, UB=2642
2826.34/2835.31	c [1902.17] solve iteration 384, LB=2242, UB=2642
2826.34/2835.31	c [1905.32] solve iteration 385, LB=2242, UB=2642
2826.34/2835.31	c [1975.01] solve iteration 386, LB=2242, UB=2642
2826.34/2835.31	c [1980.29] solve iteration 387, LB=2242, UB=2642
2826.34/2835.31	c [1987.49] solve iteration 388, LB=2242, UB=2642
2826.34/2835.31	c [1992.63] solve iteration 389, LB=2242, UB=2642
2826.34/2835.31	c [1999.36] solve iteration 390, LB=2242, UB=2642
2826.34/2835.31	c [2066.77] solve iteration 391, LB=2242, UB=2642
2826.34/2835.31	c [2073.68] solve iteration 392, LB=2242, UB=2642
2826.34/2835.31	c [2076.74] solve iteration 393, LB=2242, UB=2642
2826.34/2835.31	c [2081.48] solve iteration 394, LB=2242, UB=2642
2826.34/2835.31	c [2084.72] solve iteration 395, LB=2242, UB=2642
2826.34/2835.31	c [2187.2] solve iteration 396, LB=2242, UB=2642
2826.34/2835.31	c [2193.75] solve iteration 397, LB=2242, UB=2642
2826.34/2835.31	c [2199.1] solve iteration 398, LB=2242, UB=2642
2826.34/2835.31	c [2204.95] solve iteration 399, LB=2242, UB=2642
2826.34/2835.31	c [2208.24] solve iteration 400, LB=2242, UB=2642
2826.34/2835.31	c [2287.59] solve iteration 401, LB=2242, UB=2642
2826.34/2835.31	c [2295.54] solve iteration 402, LB=2242, UB=2642
2826.34/2835.31	c [2302.97] solve iteration 403, LB=2242, UB=2642
2826.34/2835.31	c [2310.25] solve iteration 404, LB=2242, UB=2642
2826.34/2835.31	c [2316.65] solve iteration 405, LB=2242, UB=2642
2826.34/2835.31	c [2383.55] solve iteration 406, LB=2242, UB=2642
2826.34/2835.31	c [2389.21] solve iteration 407, LB=2242, UB=2642
2826.34/2835.31	c [2395.31] solve iteration 408, LB=2242, UB=2642
2826.34/2835.31	c [2401.43] solve iteration 409, LB=2242, UB=2642
2826.34/2835.31	c [2407.84] solve iteration 410, LB=2242, UB=2642
2826.34/2835.31	c [2498.46] solve iteration 411, LB=2242, UB=2642
2826.34/2835.31	c [2506.05] solve iteration 412, LB=2242, UB=2642
2826.34/2835.31	c [2512.29] solve iteration 413, LB=2242, UB=2642
2826.34/2835.31	c [2519.83] solve iteration 414, LB=2242, UB=2642
2826.34/2835.31	c [2526.86] solve iteration 415, LB=2242, UB=2642
2826.34/2835.31	c [2664.52] solve iteration 416, LB=2242, UB=2642
2826.34/2835.31	c [2671.18] solve iteration 417, LB=2242, UB=2642
2826.34/2835.31	c [2678.15] solve iteration 418, LB=2242, UB=2642
2826.34/2835.31	c [2685.88] solve iteration 419, LB=2242, UB=2642
2826.34/2835.31	c [2691.83] solve iteration 420, LB=2242, UB=2642
2826.34/2835.31	c [2803.38] solve iteration 421, LB=2242, UB=2642
2826.34/2835.31	c [2809.34] solve iteration 422, LB=2242, UB=2642
2826.34/2835.31	c [2812.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (58084 MiB free)
  memory of node 1: 64507 MiB (59051 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484110-1751283130/watcher-4484110-1751283130 -o /tmp/evaluation-result-4484110-1751283130/solver-4484110-1751283130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751279452-39347 --watchdog 3760 ./ipbhs_scip HOME/instance-4484110-1751283130.opb --optimizer scip --max-coef 1000000000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100072 s]*
/proc/loadavg: 4.54 4.20 4.13 5/252 39816
/proc/meminfo: memFree=119927352/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=56280 memory=27548 CPUtime=0.09 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 4234 0 0 0 7 2 0 0 20 0 1 0 43992789 57630720 6887 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 14070 6887 3616 2790 0 7495 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56280 KiB
Current children cumulated memory: 27548 KiB

[startup+0.217424 s]*
/proc/loadavg: 4.57 4.22 4.13 5/252 39816
/proc/meminfo: memFree=119921808/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=67200 memory=37224 CPUtime=0.2 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 7226 0 0 0 16 4 0 0 20 0 1 0 43992789 68812800 9306 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 16800 9306 3680 2790 0 10225 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67200 KiB
Current children cumulated memory: 37224 KiB

[startup+0.313241 s]*
/proc/loadavg: 4.57 4.22 4.13 5/252 39816
/proc/meminfo: memFree=119916012/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=69516 memory=40168 CPUtime=0.29 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 7943 0 0 0 25 4 0 0 20 0 1 0 43992789 71184384 10042 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 17379 10042 3680 2790 0 10804 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69516 KiB
Current children cumulated memory: 40168 KiB

[startup+0.70028 s]
/proc/loadavg: 4.57 4.22 4.13 5/252 39816
/proc/meminfo: memFree=119911980/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=78460 memory=50920 CPUtime=0.67 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 10630 0 0 0 59 8 0 0 20 0 1 0 43992789 80343040 12730 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 19615 12730 3680 2790 0 13040 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 78460 KiB
Current children cumulated memory: 50920 KiB

[startup+1.5003 s]
/proc/loadavg: 4.57 4.22 4.13 5/252 39816
/proc/meminfo: memFree=119895852/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=97248 memory=73532 CPUtime=1.47 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 15754 0 0 0 134 13 0 0 20 0 1 0 43992789 99581952 18383 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 24312 18383 3712 2790 0 17737 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 97248 KiB
Current children cumulated memory: 73532 KiB

[startup+3.1129 s]
/proc/loadavg: 4.57 4.22 4.13 5/252 39816
/proc/meminfo: memFree=119822988/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=161836 memory=136276 CPUtime=3.07 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 32226 0 0 0 285 22 0 0 20 0 1 0 43992789 165720064 34069 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 40459 34069 3712 2790 0 33884 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 161836 KiB
Current children cumulated memory: 136276 KiB

[startup+6.30032 s]
/proc/loadavg: 4.61 4.23 4.14 5/252 39816
/proc/meminfo: memFree=119782680/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=205540 memory=181568 CPUtime=6.25 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 45099 0 0 0 592 33 0 0 20 0 1 0 43992789 210472960 45392 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 51385 45392 3712 2790 0 44810 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 205540 KiB
Current children cumulated memory: 181568 KiB

[startup+12.7003 s]
/proc/loadavg: 4.64 4.24 4.14 5/252 39816
/proc/meminfo: memFree=119664736/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=269104 memory=233280 CPUtime=12.63 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 60767 0 0 0 1220 43 0 0 20 0 1 0 43992789 275562496 58320 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 67276 58320 3712 2790 0 60701 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 269104 KiB
Current children cumulated memory: 233280 KiB

[startup+25.5003 s]
/proc/loadavg: 4.70 4.27 4.15 5/252 39817
/proc/meminfo: memFree=119554476/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=302504 memory=272684 CPUtime=25.39 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 85207 0 0 0 2474 65 0 0 20 0 1 0 43992789 309764096 68171 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 75626 68171 3712 2790 0 69051 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 302504 KiB
Current children cumulated memory: 272684 KiB

[startup+51.1129 s]
/proc/loadavg: 4.53 4.27 4.16 5/252 39817
/proc/meminfo: memFree=119388024/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=356228 memory=317816 CPUtime=50.92 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 143729 0 0 0 4996 96 0 0 20 0 1 0 43992789 364777472 79454 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 89057 79454 3712 2790 0 82482 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 356228 KiB
Current children cumulated memory: 317816 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.25 4.15 5/252 39819
/proc/meminfo: memFree=119225028/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=416264 memory=377836 CPUtime=101.95 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 204951 0 0 0 10054 141 0 0 20 0 1 0 43992789 426254336 94459 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 104066 94459 3712 2790 0 97491 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 416264 KiB
Current children cumulated memory: 377836 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.23 4.15 5/251 39821
/proc/meminfo: memFree=119106228/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=468336 memory=434320 CPUtime=161.76 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 260728 0 0 0 15993 183 0 0 20 0 1 0 43992789 479576064 108580 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 117084 108580 3712 2790 0 110509 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 468336 KiB
Current children cumulated memory: 434320 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.20 4.15 5/251 39829
/proc/meminfo: memFree=119000596/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=487328 memory=457972 CPUtime=221.57 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 319193 0 0 0 21934 223 0 0 20 0 1 0 43992789 499023872 114493 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 121832 114493 3712 2790 0 115257 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 487328 KiB
Current children cumulated memory: 457972 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.18 4.14 5/250 39831
/proc/meminfo: memFree=118929484/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=549996 memory=516356 CPUtime=281.38 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 395172 0 0 0 27877 261 0 0 20 0 1 0 43992789 563195904 129089 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 137499 129089 3712 2790 0 130924 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 549996 KiB
Current children cumulated memory: 516356 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/249 39833
/proc/meminfo: memFree=118896572/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=585832 memory=543784 CPUtime=341.19 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 446851 0 0 0 33823 296 0 0 20 0 1 0 43992789 599891968 135946 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 146458 135946 3712 2790 0 139883 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 585832 KiB
Current children cumulated memory: 543784 KiB

[startup+402.3 s]
/proc/loadavg: 4.50 4.25 4.17 5/249 39835
/proc/meminfo: memFree=118814152/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=583584 memory=543812 CPUtime=401 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 484701 0 0 0 39772 328 0 0 20 0 1 0 43992789 597590016 135953 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 145896 135953 3712 2790 0 139321 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 583584 KiB
Current children cumulated memory: 543812 KiB

[startup+462.3 s]
/proc/loadavg: 4.46 4.31 4.19 5/249 39837
/proc/meminfo: memFree=118720752/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=606652 memory=570708 CPUtime=460.82 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 539987 0 0 0 45717 365 0 0 20 0 1 0 43992789 621211648 142677 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 151663 142677 3712 2790 0 145088 0
Current children cumulated CPU time: 460.82 s

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

Current children cumulated memory: 947140 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 39957
/proc/meminfo: memFree=117322524/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1031428 memory=947552 CPUtime=2853.26 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1263312 0 0 0 283944 1382 0 0 20 0 1 0 43992789 1056182272 236888 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 257857 236888 3712 2790 0 251282 0
Current children cumulated CPU time: 2853.26 s
Current children cumulated vsize: 1031428 KiB
Current children cumulated memory: 947552 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 39960
/proc/meminfo: memFree=117275352/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1031428 memory=947936 CPUtime=2913.08 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1263451 0 0 0 289894 1414 0 0 20 0 1 0 43992789 1056182272 236984 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 257857 236984 3712 2790 0 251282 0
Current children cumulated CPU time: 2913.08 s
Current children cumulated vsize: 1031428 KiB
Current children cumulated memory: 947936 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 39962
/proc/meminfo: memFree=117261324/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1071176 memory=970924 CPUtime=2972.91 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1279543 0 0 0 295854 1437 0 0 20 0 1 0 43992789 1096884224 242731 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 267794 242731 3712 2790 0 261219 0
Current children cumulated CPU time: 2972.91 s
Current children cumulated vsize: 1071176 KiB
Current children cumulated memory: 970924 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 39964
/proc/meminfo: memFree=117247708/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1071176 memory=975276 CPUtime=3032.74 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1279620 0 0 0 301809 1465 0 0 20 0 1 0 43992789 1096884224 243819 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 267794 243819 3712 2790 0 261219 0
Current children cumulated CPU time: 3032.74 s
Current children cumulated vsize: 1071176 KiB
Current children cumulated memory: 975276 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 39966
/proc/meminfo: memFree=117263080/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1052936 memory=958836 CPUtime=3092.57 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1299053 0 0 0 307766 1491 0 0 20 0 1 0 43992789 1078206464 239709 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 263234 239709 3712 2790 0 256659 0
Current children cumulated CPU time: 3092.57 s
Current children cumulated vsize: 1052936 KiB
Current children cumulated memory: 958836 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 39968
/proc/meminfo: memFree=117272740/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1052936 memory=965876 CPUtime=3152.39 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1299057 0 0 0 313722 1517 0 0 20 0 1 0 43992789 1078206464 241469 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 263234 241469 3712 2790 0 256659 0
Current children cumulated CPU time: 3152.39 s
Current children cumulated vsize: 1052936 KiB
Current children cumulated memory: 965876 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 39977
/proc/meminfo: memFree=117246172/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1078184 memory=1004556 CPUtime=3212.23 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1319319 0 0 0 319680 1543 0 0 20 0 1 0 43992789 1104060416 251139 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 269546 251139 3712 2790 0 262971 0
Current children cumulated CPU time: 3212.23 s
Current children cumulated vsize: 1078184 KiB
Current children cumulated memory: 1004556 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 39979
/proc/meminfo: memFree=117210072/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1076060 memory=1003412 CPUtime=3272.05 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1330864 0 0 0 325644 1561 0 0 20 0 1 0 43992789 1101885440 250853 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 269015 250853 3712 2790 0 262440 0
Current children cumulated CPU time: 3272.05 s
Current children cumulated vsize: 1076060 KiB
Current children cumulated memory: 1003412 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 39981
/proc/meminfo: memFree=117213012/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1076060 memory=1003412 CPUtime=3331.9 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1330864 0 0 0 331611 1579 0 0 20 0 1 0 43992789 1101885440 250853 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 269015 250853 3712 2790 0 262440 0
Current children cumulated CPU time: 3331.9 s
Current children cumulated vsize: 1076060 KiB
Current children cumulated memory: 1003412 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 39983
/proc/meminfo: memFree=117224612/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1102428 memory=1031296 CPUtime=3391.75 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1343309 0 0 0 337581 1594 0 0 20 0 1 0 43992789 1128886272 257824 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 275607 257824 3712 2790 0 269032 0
Current children cumulated CPU time: 3391.75 s
Current children cumulated vsize: 1102428 KiB
Current children cumulated memory: 1031296 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 39985
/proc/meminfo: memFree=117224064/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1082648 memory=1011644 CPUtime=3451.6 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1354507 0 0 0 343540 1620 0 0 20 0 1 0 43992789 1108631552 252911 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 270662 252911 3712 2790 0 264087 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 1082648 KiB
Current children cumulated memory: 1011644 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/249 39987
/proc/meminfo: memFree=117216268/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1082648 memory=1015740 CPUtime=3511.44 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1354513 0 0 0 349503 1641 0 0 20 0 1 0 43992789 1108631552 253935 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 270662 253935 3712 2790 0 264087 0
Current children cumulated CPU time: 3511.44 s
Current children cumulated vsize: 1082648 KiB
Current children cumulated memory: 1015740 KiB

[startup+3582.3 s]
/proc/loadavg: 4.29 4.14 4.11 5/250 40259
/proc/meminfo: memFree=117463872/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1079792 memory=1012884 CPUtime=3571.22 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1378049 0 0 0 355451 1671 0 0 20 0 1 0 43992789 1105707008 253221 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 269948 253221 3712 2790 0 263373 0
Current children cumulated CPU time: 3571.22 s
Current children cumulated vsize: 1079792 KiB
Current children cumulated memory: 1012884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.25 4.14 4.11 5/250 40259
/proc/meminfo: memFree=117187108/131382112 swapFree=33010684/33010684
[pid=39815] ppid=39812 vsize=1079792 memory=1012884 CPUtime=3600.02 cores=1,3
/proc/39815/stat : 39815 (ipbhs_scip) R 39812 39815 39335 0 -1 4194304 1378049 0 0 0 358315 1687 0 0 20 0 1 0 43992789 1105707008 253221 18446744073709551615 93951293030400 93951304456797 140727746570528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93951306592472 93951306637490 93951337656320 140727746574738 140727746574857 140727746574857 140727746580459 0
/proc/39815/statm: 269948 253221 3712 2790 0 263373 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1079792 KiB
Current children cumulated memory: 1012884 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.16 s, system=16.8824 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): 3611.2
CPU time (s): 3600.04
CPU user time (s): 3583.16
CPU system time (s): 16.8824
CPU usage (%): 99.6909
Max. virtual memory (cumulated for all children) (KiB): 1108456
Max. memory (cumulated for all children) (KiB): 1041300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.16
system time used= 16.8824
maximum resident set size= 1048284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1378049
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= 161
involuntary context switches= 2636


# summary of solver processes directly reported to runsolver:
#   pid: 39815
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3583.16
#   total CPU system time (s): 16.8824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2807 second user time and 34.1223 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-06-30 13:32:10
IDJOB=4484110
IDBENCH=146650
IDSOLVER=3335
FILE ID=nodeC009/4484110-1751283130
RUNJOBID= nodeC009-1751279452-39347
SLURM_JOB_ID= 9594214
Free space on /tmp= 432448 MiB

SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484110-1751283130/watcher-4484110-1751283130 -o /tmp/evaluation-result-4484110-1751283130/solver-4484110-1751283130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751279452-39347 --watchdog 3760  ./ipbhs_scip HOME/instance-4484110-1751283130.opb --optimizer scip --max-coef 1000000000

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

MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1
RANDOM SEED=893053766

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

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        119947324 kB
MemAvailable:   126791968 kB
Buffers:            3280 kB
Cached:          7617264 kB
SwapCached:            0 kB
Active:          3475076 kB
Inactive:        7319832 kB
Active(anon):    3191356 kB
Inactive(anon):      968 kB
Active(file):     283720 kB
Inactive(file):  7318864 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             69832 kB
Writeback:             0 kB
AnonPages:       3177456 kB
Mapped:           135240 kB
Shmem:             17960 kB
KReclaimable:     162992 kB
Slab:             246360 kB
SReclaimable:     162992 kB
SUnreclaim:        83368 kB
KernelStack:        4064 kB
PageTables:         9408 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    3677644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1845248 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432384 MiB
End job on nodeC009 at 2025-06-30 14:32:22