Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | SAT | 517 | 3587.82 | 3597.04 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-edgecross20-080.opb |
| MD5SUM | 09771aef0beb4a695febed49a69e8ae9 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 517 |
| Best CPU time to get the best result obtained on this benchmark | 3587.82 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 381 |
| Total number of constraints | 4561 |
| Number of constraints which are clauses | 4560 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 3099 |
| Biggest coefficient in the objective function | 1457 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 8717 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 1457 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 8717 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 2761 |
| Sum of products size (including duplicates) | 5522 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4512192-1751271854.opb>
0.00/0.01 c original problem has 3142 variables (381 bin, 0 int, 2761 cont) and 7322 constraints
0.00/0.01 c original problem has 2761 implied integral variables (0 bin, 0 int, 2761 cont)
0.00/0.01 c problem read in 0.012 seconds
0.00/0.02 o 1457
0.00/0.02 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.457000e+03
0.00/0.02 c presolving:
0.00/0.04 c (round 1, exhaustive) 1 del vars, 2281 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5522 clqs
0.00/0.06 c (0.1s) probing: 51/3141 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.06 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.06 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.06 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.00/0.06 c 1 deleted vars, 2281 deleted constraints, 0 added constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 0 implications, 5522 cliques
0.00/0.06 c presolved problem has 3141 variables (380 bin, 0 int, 2761 cont) and 5041 constraints
0.00/0.06 c presolved problem has 2761 implied integral variables (0 bin, 0 int, 2761 cont)
0.00/0.06 c 2761 constraints of type <and>
0.00/0.06 c 2280 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c
0.00/0.06 c # SCIP version 10.0.0
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.06 c limits/time = 3596.998114
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.06 c limits/memory = 27900
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.00/0.06 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.06 c reading/opbreader/maxintsize = 47
0.00/0.06 c
0.00/0.06 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.06 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.06 c propagating/genvbounds/timingmask = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c transformed 1/1 original solutions to the transformed problem space
0.00/0.06 c
0.00/0.10 o 1408
0.00/0.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.10 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |3141 |5041 |7802 | 0 | 0 | 0 | 0 |-2.173000e+03 | 1.408000e+03 | Inf | unknown
2.38/2.41 c 2.4s| 1 | 0 | 10908 | - | 41M | 0 |3141 |5041 |7802 | 0 | 0 | 0 | 0 | 5.200000e+01 | 1.408000e+03 |2607.69%| unknown
2.38/2.47 o 1384
2.38/2.47 c L 2.5s| 1 | 0 | 10908 | - |undercov| 0 |3141 |5041 |7802 | 0 | 0 | 0 | 0 | 5.200000e+01 | 1.384000e+03 |2561.54%| unknown
2.48/2.52 c 2.5s| 1 | 0 | 10933 | - | 42M | 0 |3141 |5041 |9134 |1332 | 1 | 0 | 0 | 5.200000e+01 | 1.384000e+03 |2561.54%| unknown
2.48/2.59 o 1145
2.48/2.59 c i 2.6s| 1 | 0 | 12410 | - | oneopt| 0 |3141 |5041 |9134 |1332 | 1 | 0 | 0 | 5.200000e+01 | 1.145000e+03 |2101.92%| unknown
2.68/2.70 c 2.7s| 1 | 0 | 12760 | - | 48M | 0 |3141 |5041 |9170 |1368 | 2 | 0 | 0 | 7.000000e+01 | 1.145000e+03 |1535.71%| unknown
2.78/2.86 c 2.9s| 1 | 0 | 13173 | - | 49M | 0 |3141 |5041 |9197 |1395 | 3 | 0 | 0 | 8.100000e+01 | 1.145000e+03 |1313.58%| unknown
2.88/2.95 c 3.0s| 1 | 0 | 13393 | - | 53M | 0 |3141 |5042 |9362 |1560 | 4 | 1 | 0 | 9.350000e+01 | 1.145000e+03 |1124.60%| unknown
2.98/3.06 c 3.1s| 1 | 0 | 13659 | - | 55M | 0 |3141 |5042 |9399 |1597 | 5 | 1 | 0 | 1.045000e+02 | 1.145000e+03 | 995.69%| unknown
3.27/3.31 c 3.3s| 1 | 0 | 14421 | - | 57M | 0 |3141 |5042 |9433 |1631 | 6 | 1 | 0 | 1.140000e+02 | 1.145000e+03 | 904.39%| unknown
3.47/3.50 c 3.5s| 1 | 0 | 14983 | - | 60M | 0 |3141 |5043 |9465 |1663 | 7 | 2 | 0 | 1.270000e+02 | 1.145000e+03 | 801.57%| unknown
3.77/3.82 c 3.8s| 1 | 0 | 16074 | - | 61M | 0 |3141 |5043 |9492 |1690 | 8 | 2 | 0 | 1.382500e+02 | 1.145000e+03 | 728.21%| unknown
4.08/4.13 c 4.1s| 1 | 0 | 17083 | - | 63M | 0 |3141 |5044 |9526 |1724 | 9 | 3 | 0 | 1.465000e+02 | 1.145000e+03 | 681.57%| unknown
4.38/4.46 c 4.5s| 1 | 0 | 18116 | - | 68M | 0 |3141 |5044 |9550 |1748 | 10 | 3 | 0 | 1.512500e+02 | 1.145000e+03 | 657.02%| unknown
4.68/4.73 c 4.7s| 1 | 0 | 18882 | - | 77M | 0 |3141 |5045 |9579 |1777 | 11 | 4 | 0 | 1.573125e+02 | 1.145000e+03 | 627.85%| unknown
4.88/4.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.88/4.98 c 5.0s| 1 | 0 | 19850 | - | 78M | 0 |3141 |5045 |9611 |1809 | 12 | 4 | 0 | 1.622500e+02 | 1.145000e+03 | 605.70%| unknown
5.18/5.26 c 5.3s| 1 | 0 | 20835 | - | 80M | 0 |3141 |5045 |9636 |1834 | 13 | 4 | 0 | 1.667748e+02 | 1.145000e+03 | 586.55%| unknown
5.48/5.50 c 5.5s| 1 | 0 | 21605 | - | 81M | 0 |3141 |5045 |9542 |1860 | 14 | 4 | 0 | 1.667748e+02 | 1.145000e+03 | 586.55%| unknown
5.48/5.50 c 5.5s| 1 | 0 | 21605 | - | 81M | 0 |3141 |5045 |9542 |1860 | 14 | 4 | 0 | 1.714881e+02 | 1.145000e+03 | 567.68%| unknown
5.77/5.80 c 5.8s| 1 | 0 | 22798 | - | 82M | 0 |3141 |5046 |9565 |1883 | 15 | 5 | 0 | 1.714881e+02 | 1.145000e+03 | 567.68%| unknown
5.87/5.91 c 5.9s| 1 | 0 | 23112 | - | 82M | 0 |3141 |5046 |9518 |1883 | 15 | 5 | 0 | 1.749524e+02 | 1.145000e+03 | 554.46%| unknown
6.08/6.13 c 6.1s| 1 | 0 | 23960 | - | 83M | 0 |3141 |5046 |9536 |1901 | 16 | 5 | 0 | 1.749524e+02 | 1.145000e+03 | 554.46%| unknown
6.08/6.17 c 6.2s| 1 | 0 | 24062 | - | 83M | 0 |3141 |5046 |9536 |1901 | 16 | 5 | 0 | 1.771667e+02 | 1.145000e+03 | 546.28%| unknown
6.47/6.58 c 6.6s| 1 | 0 | 25667 | - | 84M | 0 |3141 |5046 |9493 |1927 | 17 | 5 | 0 | 1.771667e+02 | 1.145000e+03 | 546.28%| unknown
6.57/6.62 c 6.6s| 1 | 0 | 25783 | - | 84M | 0 |3141 |5046 |9493 |1927 | 17 | 5 | 0 | 1.827500e+02 | 1.145000e+03 | 526.54%| unknown
6.77/6.84 c 6.8s| 1 | 0 | 26581 | - | 86M | 0 |3141 |5047 |9515 |1949 | 18 | 6 | 0 | 1.827500e+02 | 1.145000e+03 | 526.54%| unknown
6.77/6.85 c 6.9s| 1 | 0 | 26633 | - | 86M | 0 |3141 |5047 |9515 |1949 | 18 | 6 | 0 | 1.853929e+02 | 1.145000e+03 | 517.61%| unknown
7.07/7.11 c 7.1s| 1 | 0 | 27644 | - | 87M | 0 |3141 |5047 |9513 |1968 | 19 | 6 | 0 | 1.853929e+02 | 1.145000e+03 | 517.61%| unknown
7.07/7.14 c 7.1s| 1 | 0 | 27741 | - | 87M | 0 |3141 |5047 |9513 |1968 | 19 | 6 | 0 | 1.880000e+02 | 1.145000e+03 | 509.04%| unknown
7.47/7.57 c 7.6s| 1 | 0 | 29402 | - | 88M | 0 |3141 |5047 |9524 |1995 | 20 | 6 | 0 | 1.880000e+02 | 1.145000e+03 | 509.04%| unknown
7.47/7.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.47/7.58 c 7.6s| 1 | 0 | 29424 | - | 88M | 0 |3141 |5047 |9524 |1995 | 20 | 6 | 0 | 1.939167e+02 | 1.145000e+03 | 490.46%| unknown
7.87/7.94 c 7.9s| 1 | 0 | 30899 | - | 89M | 0 |3141 |5048 |9552 |2023 | 21 | 7 | 0 | 1.939167e+02 | 1.145000e+03 | 490.46%| unknown
7.97/8.03 c 8.0s| 1 | 0 | 31219 | - | 89M | 0 |3141 |5048 |9552 |2023 | 21 | 7 | 0 | 2.002885e+02 | 1.145000e+03 | 471.68%| unknown
8.07/8.10 c 8.1s| 1 | 0 | 31404 | - | 89M | 0 |3141 |5049 |9541 |2042 | 22 | 8 | 0 | 2.002885e+02 | 1.145000e+03 | 471.68%| unknown
8.07/8.10 c 8.1s| 1 | 0 | 31404 | - | 89M | 0 |3141 |5049 |9541 |2042 | 22 | 8 | 0 | 2.005000e+02 | 1.145000e+03 | 471.07%| unknown
8.07/8.13 c 8.1s| 1 | 0 | 31426 | - | 89M | 0 |3141 |5049 |9553 |2054 | 23 | 8 | 0 | 2.005000e+02 | 1.145000e+03 | 471.07%| unknown
8.07/8.19 c 8.2s| 1 | 0 | 31555 | - | 89M | 0 |3141 |5050 |9559 |2060 | 24 | 9 | 0 | 2.005000e+02 | 1.145000e+03 | 471.07%| unknown
8.17/8.20 c 8.2s| 1 | 0 | 31561 | - | 89M | 0 |3141 |5050 |9559 |2060 | 24 | 9 | 0 | 2.005500e+02 | 1.145000e+03 | 470.93%| unknown
8.17/8.24 c 8.2s| 1 | 0 | 31617 | - | 89M | 0 |3141 |5050 |9563 |2064 | 25 | 9 | 0 | 2.005500e+02 | 1.145000e+03 | 470.93%| unknown
8.17/8.24 c 8.2s| 1 | 0 | 31617 | - | 89M | 0 |3141 |5050 |9563 |2064 | 25 | 9 | 0 | 2.005682e+02 | 1.145000e+03 | 470.88%| unknown
8.17/8.27 c 8.3s| 1 | 0 | 31621 | - | 89M | 0 |3141 |5050 |9543 |2068 | 26 | 9 | 0 | 2.005682e+02 | 1.145000e+03 | 470.88%| unknown
8.17/8.27 c 8.3s| 1 | 0 | 31621 | - | 89M | 0 |3141 |5050 |9543 |2068 | 26 | 9 | 0 | 2.005682e+02 | 1.145000e+03 | 470.88%| unknown
12.85/12.96 o 721
12.85/12.96 c d13.0s| 1 | 0 | 53544 | - |farkasdi| 0 |3141 |5065 |9543 | 0 | 27 | 24 | 0 | 2.005682e+02 | 7.210000e+02 | 259.48%| unknown
17.44/17.54 c 17.5s| 1 | 0 | 73363 | - | 91M | 0 |3141 |5065 |9543 |2068 | 27 | 24 | 0 | 2.005682e+02 | 7.210000e+02 | 259.48%| unknown
17.54/17.61 c 17.6s| 1 | 0 | 73404 | - | 91M | 0 |3141 |5065 |9563 |2088 | 28 | 24 | 0 | 2.005682e+02 | 7.210000e+02 | 259.48%| unknown
17.54/17.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.54/17.62 c 17.6s| 1 | 0 | 73426 | - | 91M | 0 |3141 |5065 |9569 |2094 | 29 | 24 | 0 | 2.005682e+02 | 7.210000e+02 | 259.48%| unknown
32.29/32.46 c 32.5s| 1 | 2 | 73445 | - | 91M | 0 |3141 |5065 |9569 |2094 | 29 | 24 | 70 | 2.005682e+02 | 7.210000e+02 | 259.48%| unknown
93.11/93.42 o 653
93.11/93.42 c d93.4s| 34 | 35 |173667 |4302.8 |adaptive| 13 |3141 |5065 |9730 | 0 | 1 | 24 | 245 | 2.210417e+02 | 6.530000e+02 | 195.42%| unknown
195.29/196.00 c 196s| 100 | 71 |538116 |5115.6 | 156M | 19 |3141 |5066 | 10k|4426 | 1 | 25 | 360 | 2.412917e+02 | 6.530000e+02 | 170.63%| unknown
302.59/303.51 o 643
302.59/303.51 c r 304s| 168 | 103 |892073 |5152.1 |simplero| 23 |3141 |5066 | 10k|5946 | 2 | 25 | 489 | 2.586667e+02 | 6.430000e+02 | 148.58%| unknown
315.56/316.52 o 639
315.56/316.52 c r 317s| 182 | 103 |942143 |5030.2 |simplero| 23 |3141 |5066 | 10k|5997 | 0 | 25 | 501 | 2.590000e+02 | 6.390000e+02 | 146.72%| unknown
330.03/331.09 c 331s| 200 | 103 |984537 |4788.3 | 183M | 23 |3141 |5066 | 10k|6062 | 0 | 25 | 524 | 2.590000e+02 | 6.390000e+02 | 146.72%| unknown
330.72/331.71 o 638
330.72/331.71 c * 332s| 201 | 102 |985884 |4771.1 |strongbr| 23 |3141 |5066 | 10k|6092 | 2 | 25 | 525 | 2.590000e+02 | 6.380000e+02 | 146.33%| unknown
411.11/412.33 c 412s| 300 | 123 | 1235k|4026.7 | 193M | 23 |3141 |5066 | 10k|6685 | 0 | 25 | 685 | 2.657500e+02 | 6.380000e+02 | 140.08%| unknown
529.20/530.77 o 632
529.20/530.77 c r 531s| 370 | 154 | 1616k|4294.2 |simplero| 23 |3141 |5066 | 10k|9085 | 1 | 25 | 813 | 2.710000e+02 | 6.320000e+02 | 133.21%| unknown
529.51/531.04 o 627
529.51/531.04 c r 531s| 372 | 152 | 1617k|4274.5 |simplero| 23 |3141 |5066 | 10k|9085 | 0 | 25 | 813 | 2.710000e+02 | 6.270000e+02 | 131.37%| unknown
536.18/537.75 o 599
536.18/537.75 c r 538s| 378 | 147 | 1645k|4279.7 |simplero| 23 |3141 |5066 | 10k|9179 | 1 | 25 | 813 | 2.710000e+02 | 5.990000e+02 | 121.03%| unknown
539.58/541.11 o 535
539.58/541.11 c r 541s| 381 | 116 | 1658k|4282.0 |simplero| 23 |3141 |5066 | 10k|9199 | 0 | 25 | 813 | 2.710000e+02 | 5.350000e+02 | 97.42%| 6.71%
540.07/541.66 o 530
540.07/541.66 c r 542s| 382 | 113 | 1661k|4277.1 |simplero| 23 |3141 |5066 | 10k|9203 | 1 | 25 | 813 | 2.710000e+02 | 5.300000e+02 | 95.57%| 6.76%
558.83/560.47 o 526
558.83/560.47 c r 560s| 393 | 113 | 1734k|4345.0 |simplero| 23 |3141 |5066 | 10k|9297 | 0 | 25 | 813 | 2.710000e+02 | 5.260000e+02 | 94.10%| 6.87%
571.89/573.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
571.89/573.50 c 574s| 400 | 114 | 1783k|4389.7 | 222M | 23 |3141 |5066 | 10k|9362 | 0 | 25 | 814 | 2.710000e+02 | 5.260000e+02 | 94.10%| 7.06%
798.32/800.51 c 801s| 500 | 142 | 2378k|4703.6 | 251M | 23 |3141 |5066 | 10k| 11k| 0 | 25 |1021 | 2.810000e+02 | 5.260000e+02 | 87.19%| 8.64%
1086.09/1089.02 o 521
1086.09/1089.02 c r1089s| 574 | 155 | 3190k|5512.2 |simplero| 23 |3141 |5066 | 10k| 15k| 0 | 25 |1101 | 2.810000e+02 | 5.210000e+02 | 85.41%| 9.17%
1118.21/1121.25 o 519
1118.21/1121.25 c r1121s| 586 | 153 | 3268k|5533.4 |simplero| 23 |3141 |5066 | 10k| 15k| 0 | 25 |1104 | 2.810000e+02 | 5.190000e+02 | 84.70%| 9.36%
1180.76/1183.95 c 1184s| 600 | 155 | 3435k|5682.2 | 311M | 23 |3141 |5066 | 10k| 17k| 0 | 25 |1141 | 2.836500e+02 | 5.190000e+02 | 82.97%| 9.81%
1796.64/1801.37 c 1801s| 700 | 181 | 4720k|6707.3 | 365M | 23 |3141 |5066 | 10k| 23k| 2 | 25 |1346 | 2.914167e+02 | 5.190000e+02 | 78.10%| 13.95%
2483.45/2489.96 o 517
2483.45/2489.96 c L2490s| 786 | 179 | 6094k|7724.0 |crossove| 23 |3141 |5066 | 10k| 28k| 3 | 25 |1469 | 2.925000e+02 | 5.170000e+02 | 76.75%| 17.13%
2567.71/2574.45 c 2574s| 800 | 177 | 6244k|7776.0 | 410M | 23 |3141 |5066 | 11k| 29k| 2 | 25 |1500 | 2.925000e+02 | 5.170000e+02 | 76.75%| 17.82%
3163.73/3171.93 c 3172s| 900 | 181 | 7550k|8363.3 | 426M | 23 |3141 |5066 | 10k| 34k| 0 | 25 |1530 | 2.995234e+02 | 5.170000e+02 | 72.61%| 22.21%
3587.66/3597.00 c
3587.66/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.66/3597.00 c Solving Time (sec) : 3597.00
3587.66/3597.00 c Solving Nodes : 983
3587.66/3597.00 c Primal Bound : +5.17000000000000e+02 (19 solutions)
3587.66/3597.00 c Dual Bound : +3.01875000000000e+02
3587.66/3597.00 c Gap : 71.26 %
3587.66/3597.00 s SATISFIABLE
3587.66/3597.00 v x1 -x245 -x249 -x250 -x256 -x257 x265 -x267 x270 x315 -x317 x320 -x327 x330 x331 -x332 x348 -x349 -x366 -x367 x2 -x229 -x233 -x234
3587.66/3597.00 v -x240 -x241 x266 x316 x326 -x340 -x341 -x3 -x228 -x236 -x239 x251 x255 -x336 -x339 x347 -x4 -x252 x5 -x235 -x6 x260 x335 x352 -x370
3587.66/3597.00 v x7 -x244 -x344 x8 -x247 -x254 -x292 -x294 x297 x329 x346 x360 x9 -x231 -x238 x293 -x338 x10 x11 -x12 -x194 -x206 -x210 -x216 x13
3587.66/3597.00 v x191 x208 -x14 -x258 x333 x350 -x368 x15 -x242 -x342 x16 -x246 x279 x281 x284 x17 -x230 x280 x18 x195 x207 x211 x217 -x248 x304
3587.66/3597.00 v x306 x309 x19 x192 x209 -x232 x305 -x20 -x21 x22 x23 x24 x25 x26 x27 -x28 x29 x30 -x259 -x334 -x351 -x369 x31 -x243 -x343 x32 x33
3587.66/3597.00 v -x34 x253 x328 x345 -x354 x35 -x237 -x337 x36 x37 -x38 x264 x271 -x322 -x371 -x39 x275 x325 x374 x377 -x40 x262 x269 -x291 x298
3587.66/3597.00 v -x299 x319 x361 -x362 -x41 x321 -x42 -x196 -x204 -x218 -x220 -x272 -x43 x273 x323 -x372 x375 x44 -x261 x278 x285 x286 x45 x197 x205
3587.66/3597.00 v x219 -x221 -x263 x303 x310 -x311 -x46 x47 x48 -x49 -x50 x51 -x274 -x324 -x373 x376 -x52 -x53 x268 x318 -x355 -x356 x54 -x55 x56
3587.66/3597.00 v x57 -x58 x59 x60 x61 -x62 x63 x64 x65 x66 x67 x68 -x69 x70 x71 x302 x365 x72 -x73 -x226 x74 x379 x75 x289 x76 x227 x314 -x77 x78
3587.66/3597.00 v x79 x80 x81 x82 x380 x83 -x84 -x359 x85 -x86 -x296 -x87 -x200 -x214 -x88 x300 x363 x89 x276 x283 x90 x201 x215 -x290 x308 -x91 x92
3587.66/3597.00 v x93 -x94 -x95 x96 -x301 -x364 x97 -x98 x295 -x353 x99 -x100 -x101 x102 x103 -x104 x105 x106 x107 -x108 x109 x110 -x111 x112 x113
3587.66/3597.00 v -x222 x114 -x198 x115 -x193 -x202 -x116 x117 x118 x119 x120 x121 -x224 x122 -x123 x212 x124 x125 x287 x126 x223 x312 -x127 x128
3587.66/3597.00 v x129 x130 x131 x132 -x378 x133 -x134 -x357 x135 -x136 -x199 x277 -x137 -x138 x139 -x140 -x141 x142 x288 -x143 -x144 x282 -x145 -x146
3587.66/3597.00 v x147 -x203 x148 -x149 -x150 x151 -x225 -x313 -x152 -x153 x213 x307 -x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 -x164 -x165
3587.66/3597.00 v x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 x178 -x179 x180 x181 x182 -x183 x184 -x185 -x186 -x358 -x187
3587.66/3597.00 v -x188 x189 x190 x381
3587.66/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.66/3597.00 c Total Time : 3597.00
3587.66/3597.00 c solving : 3597.00
3587.66/3597.00 c presolving : 0.04 (included in solving)
3587.66/3597.00 c reading : 0.01 (included in solving)
3587.66/3597.00 c copying : 0.04 (6 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.66/3597.00 c Original Problem :
3587.66/3597.00 c Problem name : HOME/instance-4512192-1751271854.opb
3587.66/3597.00 c Variables : 3142 (381 binary, 0 integer, 2761 continuous)
3587.66/3597.00 c implied integral : 2761 (0 binary, 0 integer, 2761 continuous)
3587.66/3597.00 c Constraints : 7322 initial, 7322 maximal
3587.66/3597.00 c Objective : minimize, 3099 non-zeros (abs.min = 1, abs.max = 1457)
3587.66/3597.00 c Presolved Problem :
3587.66/3597.00 c Problem name : t_HOME/instance-4512192-1751271854.opb
3587.66/3597.00 c Variables : 3141 (380 binary, 0 integer, 2761 continuous)
3587.66/3597.00 c implied integral : 2761 (0 binary, 0 integer, 2761 continuous)
3587.66/3597.00 c Constraints : 5041 initial, 5066 maximal
3587.66/3597.00 c Objective : minimize, 3098 non-zeros (abs.min = 1, abs.max = 33)
3587.66/3597.00 c Nonzeros : 15123 constraint, 11044 clique table
3587.66/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.66/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c and : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c linear : 0.01 0.00 4 1 0 0 1 0 2281 0 0 0
3587.66/3597.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.66/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.66/3597.00 c integral : 0 0 0 0 607 0 0 277 0 0 0 0 0 0 1214
3587.66/3597.00 c and : 2761 2761 1514 18683 0 0 0 275 53 8 30384 22274 8721 0 0
3587.66/3597.00 c linear : 2280 2280 28 18620 0 0 0 21 30 16 1316 0 0 0 0
3587.66/3597.00 c logicor : 0+ 25 25 1412 0 0 0 0 0 0 47 0 0 0 0
3587.66/3597.00 c fixedvar : 0 0 0 0 0 0 0 22 0 0 0 0 0 0 0
3587.66/3597.00 c countsols : 0 0 0 0 0 0 0 22 0 0 0 0 0 0 0
3587.66/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.66/3597.00 c integral : 414.38 0.00 0.00 0.00 414.38 0.00 0.00 0.00 0.00 0.00
3587.66/3597.00 c and : 1.79 0.00 0.94 0.47 0.00 0.00 0.00 0.01 0.00 0.37
3587.66/3597.00 c linear : 0.14 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.03
3587.66/3597.00 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.66/3597.00 c dualfix : 3 0 0 0
3587.66/3597.00 c genvbounds : 0 0 0 0
3587.66/3597.00 c nlobbt : 0 0 0 0
3587.66/3597.00 c obbt : 0 0 0 0
3587.66/3597.00 c probing : 0 0 0 0
3587.66/3597.00 c pseudoobj : 3411 0 0 0
3587.66/3597.00 c redcost : 3048 0 0 14178
3587.66/3597.00 c rootredcost : 14 0 0 0
3587.66/3597.00 c symmetry : 0 0 0 0
3587.66/3597.00 c vbounds : 9875 0 0 0
3587.66/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.66/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.00 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.66/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.66/3597.00 c redcost : 0.13 0.00 0.00 0.13 0.00 0.00
3587.66/3597.00 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.00 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
3587.66/3597.00 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.66/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.66/3597.00 c propagation : 0.00 24 24 - 25 3.7 0 0.0 - - -
3587.66/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.66/3597.00 c bound exceed. LP : 0.02 5 0 - 0 0.0 0 0.0 0 0.0 55
3587.66/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.66/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.66/3597.00 c applied globally : 0.00 - - 0 25 3.7 - - 0 - -
3587.66/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.66/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.66/3597.00 c cut pool : 1.18 - 1037 47 - - 16647 104862 - - - - - (maximal pool size: 5863)
3587.66/3597.00 c aggregation : 8.10 0.00 433 27 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.66/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.66/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.66/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c clique : 0.02 0.00 27 27 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c gomory : 176.24 0.00 279 10 0 0 11021 32863 0 3631 3631 0 0
3587.66/3597.00 c > gomorymi : - - - - - - - 8061 0 409 409 0 -
3587.66/3597.00 c > strongcg : - - - - - - - 24802 0 3222 3222 0 -
3587.66/3597.00 c impliedbounds : 0.09 0.00 433 27 0 0 2894 12864 0 4656 4656 0 0
3587.66/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c mixing : 0.00 0.00 434 28 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c multilinear : 0.00 0.00 95 28 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c rapidlearning : 0.02 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.66/3597.00 c zerohalf : 11.29 0.00 289 20 0 0 2732 59135 0 20435 20435 0 0
3587.66/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.66/3597.00 c hybrid : 0.30 0.00 1270 28 37443 0 89693 2094 0 5836
3587.66/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.66/3597.00 c problem variables: 0.17 - 4150 9131
3587.66/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.66/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c relpscost : 414.38 0.00 607 0 0 0 0 0 0 1214
3587.66/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.66/3597.00 c LP solutions : 0.00 - - 0 0
3587.66/3597.00 c relax solutions : 0.00 - - 0 0
3587.66/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.66/3597.00 c strong branching : 0.00 - - 1 1
3587.66/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.66/3597.00 c adaptivediving : 13.07 0.00 6 1 1
3587.66/3597.00 c alns : 0.09 0.00 4 0 0
3587.66/3597.00 c bound : 0.00 0.00 0 0 0
3587.66/3597.00 c clique : 0.03 0.00 1 1 1
3587.66/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.66/3597.00 c completesol : 0.00 0.00 0 0 0
3587.66/3597.00 c conflictdiving : 11.73 0.00 4 0 0
3587.66/3597.00 c crossover : 0.03 0.00 1 1 1
3587.66/3597.00 c dins : 0.00 0.00 0 0 0
3587.66/3597.00 c distributiondivin: 16.34 0.00 4 0 0
3587.66/3597.00 c dks : 0.00 0.00 0 0 0
3587.66/3597.00 c dps : 0.00 0.00 0 0 0
3587.66/3597.00 c dualval : 0.00 0.00 0 0 0
3587.66/3597.00 c farkasdiving : 14.69 0.00 4 1 1
3587.66/3597.00 c feaspump : 3.94 0.00 1 0 0
3587.66/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.66/3597.00 c fracdiving : 16.21 0.00 4 0 0
3587.66/3597.00 c gins : 0.00 0.00 0 0 0
3587.66/3597.00 c guideddiving : 10.86 0.00 3 0 0
3587.66/3597.00 c indicator : 0.00 0.00 0 0 0
3587.66/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.66/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.66/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.66/3597.00 c linesearchdiving : 15.87 0.00 4 0 0
3587.66/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.66/3597.00 c locks : 0.01 0.00 1 0 0
3587.66/3597.00 c lpface : 0.00 0.00 0 0 0
3587.66/3597.00 c mpec : 0.00 0.00 0 0 0
3587.66/3597.00 c multistart : 0.00 0.00 0 0 0
3587.66/3597.00 c mutation : 0.00 0.00 0 0 0
3587.66/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.66/3597.00 c objpscostdiving : 31.23 0.00 2 0 0
3587.66/3597.00 c octane : 0.00 0.00 0 0 0
3587.66/3597.00 c ofins : 0.00 0.00 0 0 0
3587.66/3597.00 c oneopt : 0.09 0.00 16 1 1
3587.66/3597.00 c padm : 0.00 0.00 0 0 0
3587.66/3597.00 c proximity : 0.00 0.00 0 0 0
3587.66/3597.00 c pscostdiving : 8.93 0.00 3 0 0
3587.66/3597.00 c randrounding : 0.21 0.00 74 0 0
3587.66/3597.00 c rens : 0.00 0.00 0 0 0
3587.66/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.66/3597.00 c repair : 0.00 0.00 0 0 0
3587.66/3597.00 c rins : 0.00 0.00 0 0 0
3587.66/3597.00 c rootsoldiving : 5.71 0.00 2 0 0
3587.66/3597.00 c rounding : 0.10 0.00 554 0 0
3587.66/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.66/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3587.66/3597.00 c shifting : 0.62 0.00 285 0 0
3587.66/3597.00 c simplerounding : 0.29 0.00 3465 10 10
3587.66/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.66/3597.00 c trivial : 0.00 0.00 2 2 1
3587.66/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.66/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.66/3597.00 c trysol : 0.00 0.00 0 0 0
3587.66/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.66/3597.00 c undercover : 0.07 0.00 1 1 1
3587.66/3597.00 c vbounds : 0.08 0.00 1 0 0
3587.66/3597.00 c veclendiving : 1.42 0.00 3 0 0
3587.66/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.77/3597.00 c zirounding : 0.54 0.00 607 0 0
3587.77/3597.00 c other solutions : - - - 0 -
3587.77/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.77/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.77/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.77/3597.00 c primal LP : 473.05 2008 1481156 925.14 3131.10 1.58 407
3587.77/3597.00 c dual LP : 2353.23 2415 6446907 2861.48 2739.60 0.45 162
3587.77/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.77/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.77/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.77/3597.00 c diving/probing LP: 151.71 768 645725 840.79 4256.21
3587.77/3597.00 c strong branching : 408.88 1562 1416080 906.58 3463.29 - - 2510
3587.77/3597.00 c (at root node) : - 70 69472 992.46 -
3587.77/3597.00 c conflict analysis: 0.01 6 55 9.17 -
3587.77/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.77/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3587.77/3597.00 c B&B Tree :
3587.77/3597.00 c number of runs : 1
3587.77/3597.00 c nodes : 983 (607 internal, 376 leaves)
3587.77/3597.00 c feasible leaves : 0
3587.77/3597.00 c infeas. leaves : 375
3587.77/3597.00 c objective leaves : 0
3587.77/3597.00 c nodes (total) : 983 (607 internal, 376 leaves)
3587.77/3597.00 c nodes left : 187
3587.77/3597.00 c max depth : 23
3587.77/3597.00 c max depth (total): 23
3587.77/3597.00 c backtracks : 244 (24.8%)
3587.77/3597.00 c early backtracks : 0 (0.0%)
3587.77/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.77/3597.00 c delayed cutoffs : 0
3587.77/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.77/3597.00 c avg switch length: 3.08
3587.77/3597.00 c switching time : 0.61
3587.77/3597.00 c Root Node :
3587.77/3597.00 c First LP value : +5.20000000000000e+01
3587.77/3597.00 c First LP Iters : 10898 (4928.48 Iter/sec)
3587.77/3597.00 c First LP Time : 2.21
3587.77/3597.00 c Final Dual Bound : +2.00568181818182e+02
3587.77/3597.00 c Final Root Iters : 31674
3587.77/3597.00 c Root LP Estimate : +1.83896286883716e+03
3587.77/3597.00 c Solution :
3587.77/3597.00 c Solutions found : 19 (18 improvements)
3587.77/3597.00 c First Solution : +1.45700000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
3587.77/3597.00 c Gap First Sol. : infinite
3587.77/3597.00 c Gap Last Sol. : 76.75 %
3587.77/3597.00 c Primal Bound : +5.17000000000000e+02 (in run 1, after 786 nodes, 2489.97 seconds, depth 8, found by <crossover>)
3587.77/3597.00 c Dual Bound : +3.01875000000000e+02
3587.77/3597.00 c Gap : 71.26 %
3587.77/3597.00 c Integrals : Total Avg%
3587.77/3597.00 c primal-dual : 168898.26 46.96
3587.77/3597.00 c primal-ref : - - (not evaluated)
3587.77/3597.00 c dual-ref : - - (not evaluated)
3587.77/3597.04 c Time complete (sec): 3587.815
OK 517
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 (62880 MiB free)
memory of node 1: 64465 MiB (63509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512192-1751271854/watcher-4512192-1751271854 -o /tmp/evaluation-result-4512192-1751271854/solver-4512192-1751271854 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751268232-36902 --watchdog 3760 pbsolver -f HOME/instance-4512192-1751271854.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=37632, runsolver pid=37629
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.16 4.11 4.02 5/263 37633
/proc/meminfo: memFree=129377000/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=63568 memory=49768 CPUtime=0.09 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 10749 0 0 0 8 1 0 0 20 0 1 0 42863978 65093632 12442 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 15892 12442 2592 2575 0 12799 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63568 KiB
Current children cumulated memory: 49768 KiB
[startup+0.205561 s]*
/proc/loadavg: 4.16 4.11 4.02 5/263 37633
/proc/meminfo: memFree=129358856/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=65944 memory=52072 CPUtime=0.2 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 11321 0 0 0 19 1 0 0 20 0 1 0 42863978 67526656 13018 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 16486 13018 2624 2575 0 13393 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65944 KiB
Current children cumulated memory: 52072 KiB
[startup+0.305294 s]*
/proc/loadavg: 4.16 4.11 4.02 5/263 37633
/proc/meminfo: memFree=129346760/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=67048 memory=52840 CPUtime=0.3 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 11532 0 0 0 29 1 0 0 20 0 1 0 42863978 68657152 13210 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 16762 13210 2624 2575 0 13669 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67048 KiB
Current children cumulated memory: 52840 KiB
[startup+0.700161 s]
/proc/loadavg: 4.16 4.11 4.02 5/263 37633
/proc/meminfo: memFree=129343736/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=67324 memory=53352 CPUtime=0.69 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 11639 0 0 0 68 1 0 0 20 0 1 0 42863978 68939776 13338 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 16831 13338 2624 2575 0 13738 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67324 KiB
Current children cumulated memory: 53352 KiB
[startup+1.50019 s]
/proc/loadavg: 4.16 4.11 4.02 5/263 37633
/proc/meminfo: memFree=129315512/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=67540 memory=53608 CPUtime=1.48 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 11704 0 0 0 147 1 0 0 20 0 1 0 42863978 69160960 13402 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 16885 13402 2624 2575 0 13792 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67540 KiB
Current children cumulated memory: 53608 KiB
[startup+3.10527 s]
/proc/loadavg: 4.15 4.10 4.02 5/264 37685
/proc/meminfo: memFree=129320924/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=94112 memory=79280 CPUtime=3.08 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 19724 0 0 0 306 2 0 0 20 0 1 0 42863978 96370688 19820 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 23528 19820 2688 2575 0 20435 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 94112 KiB
Current children cumulated memory: 79280 KiB
[startup+6.30017 s]
/proc/loadavg: 4.15 4.10 4.02 5/263 37730
/proc/meminfo: memFree=129273328/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=112960 memory=93104 CPUtime=6.27 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 23196 0 0 0 624 3 0 0 20 0 1 0 42863978 115671040 23276 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 28240 23276 2688 2575 0 25147 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 112960 KiB
Current children cumulated memory: 93104 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.12 4.03 5/263 37730
/proc/meminfo: memFree=129135932/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=119360 memory=96048 CPUtime=12.65 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 23944 0 0 0 1262 3 0 0 20 0 1 0 42863978 122224640 24012 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 29840 24012 2688 2575 0 26747 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 119360 KiB
Current children cumulated memory: 96048 KiB
[startup+25.5001 s]
/proc/loadavg: 4.25 4.13 4.03 5/263 37730
/proc/meminfo: memFree=129059524/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=135104 memory=110768 CPUtime=25.42 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 27603 0 0 0 2538 4 0 0 20 0 1 0 42863978 138346496 27692 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 33776 27692 2688 2575 0 30683 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 135104 KiB
Current children cumulated memory: 110768 KiB
[startup+51.1052 s]
/proc/loadavg: 4.51 4.20 4.06 5/263 37731
/proc/meminfo: memFree=128983724/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=135104 memory=110768 CPUtime=50.94 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 27607 0 0 0 5090 4 0 0 20 0 1 0 42863978 138346496 27692 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 33776 27692 2688 2575 0 30683 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 135104 KiB
Current children cumulated memory: 110768 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 4.20 4.06 5/263 37732
/proc/meminfo: memFree=128835328/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=142972 memory=114864 CPUtime=101.98 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 28644 0 0 0 10194 4 0 0 20 0 1 0 42863978 146403328 28716 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 35743 28716 2688 2575 0 32650 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 142972 KiB
Current children cumulated memory: 114864 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.06 5/265 37736
/proc/meminfo: memFree=128542644/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=172900 memory=129456 CPUtime=161.8 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 32313 0 0 0 16175 5 0 0 20 0 1 0 42863978 177049600 32364 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 43225 32364 2688 2575 0 40132 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 172900 KiB
Current children cumulated memory: 129456 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.17 4.07 5/265 37738
/proc/meminfo: memFree=128553164/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=196232 memory=144176 CPUtime=221.61 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 35856 0 0 0 22156 5 0 0 20 0 1 0 42863978 200941568 36044 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 49058 36044 2688 2575 0 45965 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 196232 KiB
Current children cumulated memory: 144176 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.14 4.06 5/265 37830
/proc/meminfo: memFree=128860152/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=210516 memory=177328 CPUtime=281.45 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 39562 0 0 0 28139 6 0 0 20 0 1 0 42863978 215568384 44332 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 52629 44332 2688 2575 0 49536 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 210516 KiB
Current children cumulated memory: 177328 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.12 4.06 5/264 37832
/proc/meminfo: memFree=128815920/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=213028 memory=203440 CPUtime=341.29 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 39984 0 0 0 34123 6 0 0 20 0 1 0 42863978 218140672 50860 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 53257 50860 2688 2575 0 50164 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 213028 KiB
Current children cumulated memory: 203440 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.13 4.07 5/264 37835
/proc/meminfo: memFree=128759140/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=222028 memory=207280 CPUtime=401.14 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 41116 0 0 0 40108 6 0 0 20 0 1 0 42863978 227356672 51820 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 55507 51820 2688 2575 0 52414 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 222028 KiB
Current children cumulated memory: 207280 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/263 37837
/proc/meminfo: memFree=128654484/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=237884 memory=211376 CPUtime=460.98 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 42238 0 0 0 46092 6 0 0 20 0 1 0 42863978 243593216 52844 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 59471 52844 2688 2575 0 56378 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
/proc/loadavg: 4.08 4.08 4.09 5/263 37977
/proc/meminfo: memFree=127704080/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=455544 memory=429044 CPUtime=3154.15 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 57227 0 0 0 315405 10 0 0 20 0 1 0 42863978 466477056 107261 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 113886 107261 2688 2575 0 110793 0
Current children cumulated CPU time: 3154.15 s
Current children cumulated vsize: 455544 KiB
Current children cumulated memory: 429044 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 37979
/proc/meminfo: memFree=127704208/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=456588 memory=429172 CPUtime=3214 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 57233 0 0 0 321390 10 0 0 20 0 1 0 42863978 467546112 107293 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114147 107293 2688 2575 0 111054 0
Current children cumulated CPU time: 3214 s
Current children cumulated vsize: 456588 KiB
Current children cumulated memory: 429172 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 37981
/proc/meminfo: memFree=127695540/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=459668 memory=431860 CPUtime=3273.85 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 58057 0 0 0 327375 10 0 0 20 0 1 0 42863978 470700032 107965 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114917 107965 2688 2575 0 111824 0
Current children cumulated CPU time: 3273.85 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 431860 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 37983
/proc/meminfo: memFree=127687588/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=459668 memory=431860 CPUtime=3333.7 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 58057 0 0 0 333360 10 0 0 20 0 1 0 42863978 470700032 107965 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114917 107965 2688 2575 0 111824 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 431860 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 37998
/proc/meminfo: memFree=127688256/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=459668 memory=431860 CPUtime=3393.55 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 58201 0 0 0 339345 10 0 0 20 0 1 0 42863978 470700032 107965 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114917 107965 2688 2575 0 111824 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 431860 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 38001
/proc/meminfo: memFree=127688128/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=459668 memory=431860 CPUtime=3453.41 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 58202 0 0 0 345331 10 0 0 20 0 1 0 42863978 470700032 107965 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114917 107965 2688 2575 0 111824 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 431860 KiB
[startup+3522.3 s]
/proc/loadavg: 4.29 4.16 4.11 5/265 38003
/proc/meminfo: memFree=127665932/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=459668 memory=431860 CPUtime=3513.26 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 58299 0 0 0 351316 10 0 0 20 0 1 0 42863978 470700032 107965 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114917 107965 2688 2575 0 111824 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 431860 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.11 4/259 38036
/proc/meminfo: memFree=128165224/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=459668 memory=431860 CPUtime=3573.11 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 58347 0 0 0 357301 10 0 0 20 0 1 0 42863978 470700032 107965 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114917 107965 2688 2575 0 111824 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 431860 KiB
[startup+3597.04 s]
# the end of solver process 37632 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.71 s, system=0.111632 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.14 4.11 4/259 38036
/proc/meminfo: memFree=128165224/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=459668 memory=431860 CPUtime=3574.81 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 58347 0 0 0 357471 10 0 0 20 0 1 0 42863978 470700032 107965 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114917 107965 2688 2575 0 111824 0
Current children cumulated CPU time: 3574.81 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 431860 KiB
[startup+3590.4 s]
/proc/loadavg: 4.04 4.12 4.10 4/259 38036
/proc/meminfo: memFree=128165224/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=459668 memory=431860 CPUtime=3581.18 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 58347 0 0 0 358108 10 0 0 20 0 1 0 42863978 470700032 107965 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114917 107965 2688 2575 0 111824 0
Current children cumulated CPU time: 3581.18 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 431860 KiB
[startup+3593.6 s]
/proc/loadavg: 3.96 4.10 4.10 4/259 38036
/proc/meminfo: memFree=128165224/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=459668 memory=431860 CPUtime=3584.37 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 58347 0 0 0 358427 10 0 0 20 0 1 0 42863978 470700032 107965 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114917 107965 2688 2575 0 111824 0
Current children cumulated CPU time: 3584.37 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 431860 KiB
[startup+3595.2 s]
/proc/loadavg: 3.96 4.10 4.10 4/259 38036
/proc/meminfo: memFree=128165224/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=459668 memory=431860 CPUtime=3585.97 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 58347 0 0 0 358587 10 0 0 20 0 1 0 42863978 470700032 107965 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114917 107965 2688 2575 0 111824 0
Current children cumulated CPU time: 3585.97 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 431860 KiB
[startup+3596 s]*
/proc/loadavg: 3.96 4.10 4.10 4/259 38036
/proc/meminfo: memFree=128165272/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=459668 memory=431860 CPUtime=3586.77 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 58347 0 0 0 358667 10 0 0 20 0 1 0 42863978 470700032 107965 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114917 107965 2688 2575 0 111824 0
Current children cumulated CPU time: 3586.77 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 431860 KiB
[startup+3596.8 s]
/proc/loadavg: 3.96 4.10 4.10 4/259 38036
/proc/meminfo: memFree=128165272/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=459668 memory=431860 CPUtime=3587.56 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 58347 0 0 0 358746 10 0 0 20 0 1 0 42863978 470700032 107965 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114917 107965 2688 2575 0 111824 0
Current children cumulated CPU time: 3587.56 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 431860 KiB
[startup+3597 s]*
/proc/loadavg: 3.88 4.09 4.09 4/259 38036
/proc/meminfo: memFree=128165272/131249988 swapFree=33010684/33010684
[pid=37632] ppid=37629 vsize=459668 memory=431860 CPUtime=3587.77 cores=0,2
/proc/37632/stat : 37632 (pbsolver) R 37629 37632 36885 0 -1 4194304 58347 0 0 0 358767 10 0 0 20 0 1 0 42863978 470700032 107965 18446744073709551615 4198400 14743177 140721898217488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23183360 140721898219914 140721898220010 140721898220010 140721898225612 0
/proc/37632/statm: 114917 107965 2688 2575 0 111824 0
Current children cumulated CPU time: 3587.77 s
Current children cumulated vsize: 459668 KiB
Current children cumulated memory: 431860 KiB
Child status: 0
Real time (s): 3597.04
CPU time (s): 3587.82
CPU user time (s): 3587.71
CPU system time (s): 0.111632
CPU usage (%): 99.7435
Max. virtual memory (cumulated for all children) (KiB): 459668
Max. memory (cumulated for all children) (KiB): 431860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.71
system time used= 0.111632
maximum resident set size= 431860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58397
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= 45
involuntary context switches= 8195
# summary of solver processes directly reported to runsolver:
# pid: 37632
# total CPU time (s): 3587.82
# total CPU user time (s): 3587.71
# total CPU system time (s): 0.111632
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62453 second user time and 14.4309 second system time
The end
Begin job on nodeC031 at 2025-06-30 10:24:14 IDJOB=4512192 IDBENCH=160498 IDSOLVER=3366 FILE ID=nodeC031/4512192-1751271854 RUNJOBID= nodeC031-1751268232-36902 SLURM_JOB_ID= 9594198 Free space on /tmp= 433016 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross20-080.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512192-1751271854/watcher-4512192-1751271854 -o /tmp/evaluation-result-4512192-1751271854/solver-4512192-1751271854 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751268232-36902 --watchdog 3760 pbsolver -f HOME/instance-4512192-1751271854.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 09771aef0beb4a695febed49a69e8ae9 RANDOM SEED=694883639 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 : 3492.069 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.892 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.866 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 : 3600.526 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.885 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.882 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 : 3700.000 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 : 3599.793 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: 129435272 kB MemAvailable: 129393616 kB Buffers: 3280 kB Cached: 766048 kB SwapCached: 0 kB Active: 723208 kB Inactive: 511288 kB Active(anon): 483240 kB Inactive(anon): 0 kB Active(file): 239968 kB Inactive(file): 511288 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 60480 kB Writeback: 12 kB AnonPages: 468488 kB Mapped: 134392 kB Shmem: 18064 kB KReclaimable: 92656 kB Slab: 179120 kB SReclaimable: 92656 kB SUnreclaim: 86464 kB KernelStack: 4256 kB PageTables: 3720 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 830628 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 45056 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= 433016 MiB End job on nodeC031 at 2025-06-30 11:24:11