Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | -145 | 3586.21 | 3597.28 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb |
| MD5SUM | fc228e1220654f2d8d37c5d03b9b5ad1 |
| 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 | -157 |
| Best CPU time to get the best result obtained on this benchmark | 3600.12 |
| 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 | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 47 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31622 |
| Sum of products size (including duplicates) | 63244 |
| Number of different products | 15811 |
| Sum of products size | 31622 |
0.00/0.05 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.05 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.05 c
0.00/0.05 c user parameter file <scip.set> not found - using default parameters
0.00/0.05 c reading problem <HOME/instance-4498152-1751268244.opb>
0.06/0.20 c original problem has 16811 variables (1000 bin, 0 int, 15811 impl, 0 cont) and 17811 constraints
0.06/0.20 c problem read in 0.15
0.27/0.35 o 0
0.27/0.35 c feasible solution found by trivial heuristic after 0.3 seconds, objective value 0.000000e+00
0.27/0.35 c presolving:
0.37/0.48 c (round 1, fast) 15811 del vars, 1000 del conss, 0 add conss, 15811 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.37/0.52 c (round 2, fast) 15811 del vars, 1000 del conss, 0 add conss, 15811 chg bounds, 0 chg sides, 0 chg coeffs, 15811 upgd conss, 0 impls, 0 clqs
0.47/0.59 c (round 3, medium) 15811 del vars, 2000 del conss, 0 add conss, 15811 chg bounds, 0 chg sides, 0 chg coeffs, 15811 upgd conss, 0 impls, 15810 clqs
0.65/0.75 c (0.7s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.65/0.75 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.65/0.76 c (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.65/0.78 c (0.7s) no symmetry present (symcode time: 0.00)
0.65/0.79 c presolving (4 rounds: 4 fast, 2 medium, 1 exhaustive):
0.65/0.79 c 15811 deleted vars, 2000 deleted constraints, 0 added constraints, 15811 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.65/0.79 c 0 implications, 15810 cliques
0.65/0.79 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15811 constraints
0.65/0.79 c 15811 constraints of type <setppc>
0.65/0.79 c transformed objective value is always integral (scale: 1)
0.65/0.79 c Presolving Time: 0.46
0.65/0.79 c - non default parameters ----------------------------------------------------------------------
0.65/0.79 c # SCIP version 10.0.0
0.65/0.79 c
0.65/0.79 c # maximal time in seconds to run
0.65/0.79 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.65/0.79 c limits/time = 3596.994113
0.65/0.79 c
0.65/0.79 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.65/0.79 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.65/0.79 c limits/memory = 27900
0.65/0.79 c
0.65/0.79 c # belongs reading time to solving time?
0.65/0.79 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.65/0.79 c timing/reading = TRUE
0.65/0.79 c
0.65/0.79 c -----------------------------------------------------------------------------------------------
0.65/0.79 c start solving
0.65/0.79 c transformed 1/1 original solutions to the transformed problem space
0.65/0.79 c
0.74/0.86 o -94
0.74/0.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.74/0.86 c p 0.8s| 1 | 0 | 0 | - | clique| 0 |1000 | 15k| 15k| 0 | 0 | 0 | 0 |-1.000000e+03 |-9.400000e+01 | 963.83%| unknown
0.74/0.88 o -130
0.74/0.88 c p 0.8s| 1 | 0 | 0 | - | locks| 0 |1000 | 15k| 15k| 0 | 0 | 0 | 0 |-1.000000e+03 |-1.300000e+02 | 669.23%| unknown
0.84/0.95 o -136
0.84/0.95 c i 0.9s| 1 | 0 | 107 | - | oneopt| 0 |1000 | 15k| 15k| 0 | 0 | 0 | 0 |-1.000000e+03 |-1.360000e+02 | 635.29%| unknown
0.96/1.04 c 1.0s| 1 | 0 | 1186 | - | 96M | 0 |1000 | 15k| 15k| 0 | 0 | 0 | 0 |-5.000000e+02 |-1.360000e+02 | 267.65%| unknown
1.44/1.59 c 1.5s| 1 | 0 | 2121 | - | 102M | 0 |1000 | 15k| 15k| 54 | 1 | 0 | 0 |-4.725000e+02 |-1.360000e+02 | 247.43%| unknown
1.95/2.02 c 2.0s| 1 | 0 | 3316 | - | 105M | 0 |1000 | 15k| 15k| 114 | 2 | 0 | 0 |-4.525000e+02 |-1.360000e+02 | 232.72%| unknown
2.44/2.52 c 2.5s| 1 | 0 | 4273 | - | 108M | 0 |1000 | 15k| 15k| 163 | 3 | 0 | 0 |-4.405000e+02 |-1.360000e+02 | 223.90%| unknown
2.95/3.07 c 3.0s| 1 | 0 | 5964 | - | 114M | 0 |1000 | 15k| 16k| 214 | 4 | 0 | 0 |-4.310000e+02 |-1.360000e+02 | 216.91%| unknown
3.63/3.73 c 3.7s| 1 | 0 | 8057 | - | 118M | 0 |1000 | 15k| 16k| 261 | 5 | 0 | 0 |-4.245000e+02 |-1.360000e+02 | 212.13%| unknown
4.23/4.40 c 4.3s| 1 | 0 | 10392 | - | 125M | 0 |1000 | 15k| 16k| 312 | 6 | 0 | 0 |-4.152500e+02 |-1.360000e+02 | 205.33%| unknown
5.04/5.15 c 5.1s| 1 | 0 | 12747 | - | 129M | 0 |1000 | 15k| 16k| 365 | 7 | 0 | 0 |-4.090000e+02 |-1.360000e+02 | 200.74%| unknown
5.94/6.02 c 6.0s| 1 | 0 | 16138 | - | 135M | 0 |1000 | 15k| 16k| 421 | 8 | 0 | 0 |-3.997500e+02 |-1.360000e+02 | 193.93%| unknown
7.22/7.30 c 7.2s| 1 | 0 | 20619 | - | 142M | 0 |1000 | 15k| 16k| 475 | 9 | 0 | 0 |-3.940000e+02 |-1.360000e+02 | 189.71%| unknown
8.52/8.68 c 8.6s| 1 | 0 | 25856 | - | 148M | 0 |1000 | 15k| 16k| 515 | 10 | 0 | 0 |-3.896786e+02 |-1.360000e+02 | 186.53%| unknown
9.62/9.74 c 9.7s| 1 | 0 | 30792 | - | 150M | 0 |1000 | 15k| 16k| 556 | 11 | 0 | 0 |-3.841818e+02 |-1.360000e+02 | 182.49%| unknown
10.92/11.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.92/11.05 c 11.0s| 1 | 0 | 36384 | - | 152M | 0 |1000 | 15k| 16k| 602 | 12 | 0 | 0 |-3.801068e+02 |-1.360000e+02 | 179.49%| unknown
11.92/12.02 c 12.0s| 1 | 0 | 40392 | - | 154M | 0 |1000 | 15k| 16k| 641 | 13 | 0 | 0 |-3.762575e+02 |-1.360000e+02 | 176.66%| unknown
13.02/13.16 c 13.1s| 1 | 0 | 45271 | - | 155M | 0 |1000 | 15k| 16k| 675 | 14 | 0 | 0 |-3.720567e+02 |-1.360000e+02 | 173.57%| unknown
14.30/14.47 c 14.4s| 1 | 0 | 51189 | - | 157M | 0 |1000 | 15k| 16k| 717 | 15 | 0 | 0 |-3.676975e+02 |-1.360000e+02 | 170.37%| unknown
15.20/15.33 c 15.3s| 1 | 0 | 54284 | - | 161M | 0 |1000 | 15k| 16k| 752 | 16 | 0 | 0 |-3.650063e+02 |-1.360000e+02 | 168.39%| unknown
16.10/16.22 c 16.2s| 1 | 0 | 57068 | - | 163M | 0 |1000 | 15k| 16k| 780 | 17 | 0 | 0 |-3.627830e+02 |-1.360000e+02 | 166.75%| unknown
17.10/17.21 c 17.2s| 1 | 0 | 60248 | - | 165M | 0 |1000 | 15k| 16k| 815 | 18 | 0 | 0 |-3.602019e+02 |-1.360000e+02 | 164.85%| unknown
18.00/18.15 c 18.1s| 1 | 0 | 63067 | - | 166M | 0 |1000 | 15k| 16k| 840 | 19 | 0 | 0 |-3.583288e+02 |-1.360000e+02 | 163.48%| unknown
19.00/19.17 c 19.1s| 1 | 0 | 66132 | - | 168M | 0 |1000 | 15k| 16k| 867 | 20 | 0 | 0 |-3.561127e+02 |-1.360000e+02 | 161.85%| unknown
19.59/19.74 c 19.7s| 1 | 0 | 67960 | - | 168M | 0 |1000 | 15k| 16k| 878 | 21 | 0 | 0 |-3.554318e+02 |-1.360000e+02 | 161.35%| unknown
20.00/20.13 c 20.1s| 1 | 0 | 69081 | - | 168M | 0 |1000 | 15k| 16k| 886 | 22 | 0 | 0 |-3.550731e+02 |-1.360000e+02 | 161.08%| unknown
20.49/20.63 c 20.6s| 1 | 0 | 70591 | - | 168M | 0 |1000 | 15k| 16k| 896 | 23 | 0 | 0 |-3.545952e+02 |-1.360000e+02 | 160.73%| unknown
20.90/21.07 c 21.0s| 1 | 0 | 71822 | - | 169M | 0 |1000 | 15k| 16k| 905 | 24 | 0 | 0 |-3.541411e+02 |-1.360000e+02 | 160.40%| unknown
21.38/21.55 c 21.5s| 1 | 0 | 73194 | - | 169M | 0 |1000 | 15k| 16k| 911 | 25 | 0 | 0 |-3.534920e+02 |-1.360000e+02 | 159.92%| unknown
21.78/21.97 c 21.9s| 1 | 0 | 74448 | - | 169M | 0 |1000 | 15k| 16k| 918 | 26 | 0 | 0 |-3.532084e+02 |-1.360000e+02 | 159.71%| unknown
22.18/22.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.18/22.30 c 22.3s| 1 | 0 | 75448 | - | 169M | 0 |1000 | 15k| 16k| 921 | 27 | 0 | 0 |-3.530018e+02 |-1.360000e+02 | 159.56%| unknown
22.68/22.81 c 22.8s| 1 | 0 | 76981 | - | 169M | 0 |1000 | 15k| 16k| 930 | 28 | 0 | 0 |-3.524886e+02 |-1.360000e+02 | 159.18%| unknown
23.18/23.32 c 23.3s| 1 | 0 | 78536 | - | 169M | 0 |1000 | 15k| 16k| 941 | 29 | 0 | 0 |-3.520639e+02 |-1.360000e+02 | 158.87%| unknown
23.68/23.83 c 23.8s| 1 | 0 | 79980 | - | 169M | 0 |1000 | 15k| 16k| 955 | 30 | 0 | 0 |-3.514063e+02 |-1.360000e+02 | 158.39%| unknown
24.17/24.39 c 24.3s| 1 | 0 | 81619 | - | 169M | 0 |1000 | 15k| 16k| 965 | 31 | 0 | 0 |-3.508531e+02 |-1.360000e+02 | 157.98%| unknown
24.57/24.73 c 24.7s| 1 | 0 | 82528 | - | 169M | 0 |1000 | 15k| 16k| 977 | 32 | 0 | 0 |-3.504664e+02 |-1.360000e+02 | 157.70%| unknown
24.98/25.15 c 25.1s| 1 | 0 | 83694 | - | 170M | 0 |1000 | 15k| 16k| 985 | 33 | 0 | 0 |-3.500832e+02 |-1.360000e+02 | 157.41%| unknown
25.47/25.62 c 25.6s| 1 | 0 | 84990 | - | 170M | 0 |1000 | 15k| 16k| 999 | 34 | 0 | 0 |-3.495499e+02 |-1.360000e+02 | 157.02%| unknown
26.07/26.26 c 26.2s| 1 | 0 | 86895 | - | 170M | 0 |1000 | 15k| 16k|1011 | 35 | 0 | 0 |-3.488259e+02 |-1.360000e+02 | 156.49%| unknown
26.77/26.92 c 26.9s| 1 | 0 | 89019 | - | 170M | 0 |1000 | 15k| 16k|1026 | 36 | 0 | 0 |-3.478391e+02 |-1.360000e+02 | 155.76%| unknown
27.27/27.48 c 27.4s| 1 | 0 | 90894 | - | 170M | 0 |1000 | 15k| 16k|1042 | 37 | 0 | 0 |-3.472784e+02 |-1.360000e+02 | 155.35%| unknown
27.76/28.00 c 28.0s| 1 | 0 | 92579 | - | 170M | 0 |1000 | 15k| 16k|1055 | 38 | 0 | 0 |-3.467071e+02 |-1.360000e+02 | 154.93%| unknown
28.26/28.42 c 28.4s| 1 | 0 | 93843 | - | 170M | 0 |1000 | 15k| 16k|1069 | 39 | 0 | 0 |-3.463464e+02 |-1.360000e+02 | 154.67%| unknown
28.66/28.88 c 28.8s| 1 | 0 | 95193 | - | 170M | 0 |1000 | 15k| 16k|1082 | 40 | 0 | 0 |-3.459656e+02 |-1.360000e+02 | 154.39%| unknown
29.06/29.29 c 29.2s| 1 | 0 | 96328 | - | 170M | 0 |1000 | 15k| 16k|1093 | 41 | 0 | 0 |-3.455865e+02 |-1.360000e+02 | 154.11%| unknown
29.66/29.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.66/29.86 c 29.8s| 1 | 0 | 97985 | - | 171M | 0 |1000 | 15k| 16k|1109 | 42 | 0 | 0 |-3.448794e+02 |-1.360000e+02 | 153.59%| unknown
30.16/30.39 c 30.3s| 1 | 0 | 99545 | - | 171M | 0 |1000 | 15k| 16k|1126 | 43 | 0 | 0 |-3.443894e+02 |-1.360000e+02 | 153.23%| unknown
30.76/30.91 c 30.9s| 1 | 0 |101151 | - | 171M | 0 |1000 | 15k| 16k|1140 | 44 | 0 | 0 |-3.438865e+02 |-1.360000e+02 | 152.86%| unknown
31.25/31.44 c 31.4s| 1 | 0 |102721 | - | 171M | 0 |1000 | 15k| 16k|1156 | 45 | 0 | 0 |-3.433763e+02 |-1.360000e+02 | 152.48%| unknown
31.75/31.99 c 31.9s| 1 | 0 |104268 | - | 171M | 0 |1000 | 15k| 16k|1168 | 46 | 0 | 0 |-3.428350e+02 |-1.360000e+02 | 152.08%| unknown
32.45/32.61 c 32.6s| 1 | 0 |106170 | - | 171M | 0 |1000 | 15k| 16k|1180 | 47 | 0 | 0 |-3.422113e+02 |-1.360000e+02 | 151.63%| unknown
32.96/33.14 c 33.1s| 1 | 0 |107732 | - | 171M | 0 |1000 | 15k| 16k|1199 | 48 | 0 | 0 |-3.414731e+02 |-1.360000e+02 | 151.08%| unknown
33.25/33.46 c 33.4s| 1 | 0 |108594 | - | 171M | 0 |1000 | 15k| 16k|1215 | 49 | 0 | 0 |-3.412630e+02 |-1.360000e+02 | 150.93%| unknown
33.65/33.89 c 33.8s| 1 | 0 |109785 | - | 172M | 0 |1000 | 15k| 16k|1226 | 50 | 0 | 0 |-3.408947e+02 |-1.360000e+02 | 150.66%| unknown
34.15/34.36 c 34.3s| 1 | 0 |111118 | - | 172M | 0 |1000 | 15k| 16k|1239 | 51 | 0 | 0 |-3.405236e+02 |-1.360000e+02 | 150.38%| unknown
34.74/34.90 c 34.8s| 1 | 0 |112777 | - | 172M | 0 |1000 | 15k| 16k|1248 | 52 | 0 | 0 |-3.401715e+02 |-1.360000e+02 | 150.13%| unknown
35.14/35.30 c 35.2s| 1 | 0 |113984 | - | 172M | 0 |1000 | 15k| 16k|1261 | 53 | 0 | 0 |-3.396506e+02 |-1.360000e+02 | 149.74%| unknown
35.74/35.90 c 35.9s| 1 | 0 |115724 | - | 172M | 0 |1000 | 15k| 16k|1274 | 54 | 0 | 0 |-3.390088e+02 |-1.360000e+02 | 149.27%| unknown
36.24/36.47 c 36.4s| 1 | 0 |117491 | - | 172M | 0 |1000 | 15k| 16k|1295 | 55 | 0 | 0 |-3.384331e+02 |-1.360000e+02 | 148.85%| unknown
36.74/36.91 c 36.9s| 1 | 0 |118812 | - | 172M | 0 |1000 | 15k| 16k|1309 | 56 | 0 | 0 |-3.379506e+02 |-1.360000e+02 | 148.49%| unknown
37.14/37.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
37.14/37.35 c 37.3s| 1 | 0 |119967 | - | 172M | 0 |1000 | 15k| 16k|1325 | 57 | 0 | 0 |-3.374441e+02 |-1.360000e+02 | 148.12%| unknown
37.54/37.77 c 37.7s| 1 | 0 |121122 | - | 173M | 0 |1000 | 15k| 16k|1340 | 58 | 0 | 0 |-3.370991e+02 |-1.360000e+02 | 147.87%| unknown
37.95/38.11 c 38.1s| 1 | 0 |121957 | - | 173M | 0 |1000 | 15k| 16k|1351 | 59 | 0 | 0 |-3.367458e+02 |-1.360000e+02 | 147.61%| unknown
38.33/38.53 c 38.5s| 1 | 0 |123122 | - | 173M | 0 |1000 | 15k| 16k|1363 | 60 | 0 | 0 |-3.363174e+02 |-1.360000e+02 | 147.29%| unknown
38.73/38.95 c 38.9s| 1 | 0 |124248 | - | 173M | 0 |1000 | 15k| 16k|1378 | 61 | 0 | 0 |-3.357570e+02 |-1.360000e+02 | 146.88%| unknown
39.23/39.44 c 39.4s| 1 | 0 |125556 | - | 174M | 0 |1000 | 15k| 16k|1393 | 62 | 0 | 0 |-3.351339e+02 |-1.360000e+02 | 146.42%| unknown
39.63/39.83 c 39.8s| 1 | 0 |126526 | - | 174M | 0 |1000 | 15k| 16k|1405 | 63 | 0 | 0 |-3.347512e+02 |-1.360000e+02 | 146.14%| unknown
39.95/40.17 c 40.1s| 1 | 0 |127387 | - | 174M | 0 |1000 | 15k| 16k|1415 | 64 | 0 | 0 |-3.343656e+02 |-1.360000e+02 | 145.86%| unknown
40.34/40.56 c 40.5s| 1 | 0 |128404 | - | 174M | 0 |1000 | 15k| 16k|1429 | 65 | 0 | 0 |-3.339405e+02 |-1.360000e+02 | 145.54%| unknown
40.64/40.88 c 40.8s| 1 | 0 |129191 | - | 174M | 0 |1000 | 15k| 16k|1446 | 66 | 0 | 0 |-3.336816e+02 |-1.360000e+02 | 145.35%| unknown
41.04/41.21 c 41.2s| 1 | 0 |130022 | - | 174M | 0 |1000 | 15k| 16k|1457 | 67 | 0 | 0 |-3.333764e+02 |-1.360000e+02 | 145.13%| unknown
41.33/41.59 c 41.5s| 1 | 0 |131032 | - | 174M | 0 |1000 | 15k| 16k|1471 | 68 | 0 | 0 |-3.330448e+02 |-1.360000e+02 | 144.89%| unknown
41.73/41.91 c 41.9s| 1 | 0 |131858 | - | 175M | 0 |1000 | 15k| 16k|1487 | 69 | 0 | 0 |-3.327957e+02 |-1.360000e+02 | 144.70%| unknown
42.03/42.24 c 42.2s| 1 | 0 |132693 | - | 175M | 0 |1000 | 15k| 16k|1502 | 70 | 0 | 0 |-3.326067e+02 |-1.360000e+02 | 144.56%| unknown
42.43/42.61 c 42.6s| 1 | 0 |133596 | - | 175M | 0 |1000 | 15k| 16k|1515 | 71 | 0 | 0 |-3.322387e+02 |-1.360000e+02 | 144.29%| unknown
42.84/43.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
42.84/43.02 c 43.0s| 1 | 0 |134616 | - | 175M | 0 |1000 | 15k| 16k|1531 | 72 | 0 | 0 |-3.318214e+02 |-1.360000e+02 | 143.99%| unknown
43.13/43.39 c 43.3s| 1 | 0 |135512 | - | 175M | 0 |1000 | 15k| 16k|1547 | 73 | 0 | 0 |-3.314306e+02 |-1.360000e+02 | 143.70%| unknown
43.53/43.73 c 43.7s| 1 | 0 |136323 | - | 175M | 0 |1000 | 15k| 16k|1561 | 74 | 0 | 0 |-3.310715e+02 |-1.360000e+02 | 143.43%| unknown
43.94/44.17 c 44.1s| 1 | 0 |137462 | - | 175M | 0 |1000 | 15k| 17k|1577 | 75 | 0 | 0 |-3.306008e+02 |-1.360000e+02 | 143.09%| unknown
44.32/44.54 c 44.5s| 1 | 0 |138376 | - | 175M | 0 |1000 | 15k| 17k|1595 | 76 | 0 | 0 |-3.301651e+02 |-1.360000e+02 | 142.77%| unknown
44.62/44.85 c 44.8s| 1 | 0 |139125 | - | 175M | 0 |1000 | 15k| 17k|1610 | 77 | 0 | 0 |-3.298429e+02 |-1.360000e+02 | 142.53%| unknown
44.94/45.13 c 45.1s| 1 | 0 |139778 | - | 176M | 0 |1000 | 15k| 17k|1623 | 78 | 0 | 0 |-3.295796e+02 |-1.360000e+02 | 142.34%| unknown
45.22/45.41 c 45.4s| 1 | 0 |140461 | - | 176M | 0 |1000 | 15k| 17k|1636 | 79 | 0 | 0 |-3.293973e+02 |-1.360000e+02 | 142.20%| unknown
45.42/45.62 c 45.6s| 1 | 0 |140923 | - | 176M | 0 |1000 | 15k| 17k|1646 | 80 | 0 | 0 |-3.292368e+02 |-1.360000e+02 | 142.09%| unknown
45.62/45.83 c 45.8s| 1 | 0 |141424 | - | 176M | 0 |1000 | 15k| 17k|1660 | 81 | 0 | 0 |-3.290729e+02 |-1.360000e+02 | 141.97%| unknown
45.83/46.11 c 46.1s| 1 | 0 |142012 | - | 176M | 0 |1000 | 15k| 17k|1669 | 82 | 0 | 0 |-3.287683e+02 |-1.360000e+02 | 141.74%| unknown
46.12/46.33 c 46.3s| 1 | 0 |142523 | - | 176M | 0 |1000 | 15k| 17k|1680 | 83 | 0 | 0 |-3.285523e+02 |-1.360000e+02 | 141.58%| unknown
46.32/46.59 c 46.5s| 1 | 0 |143088 | - | 176M | 0 |1000 | 15k| 17k|1694 | 84 | 0 | 0 |-3.283518e+02 |-1.360000e+02 | 141.44%| unknown
46.62/46.88 c 46.8s| 1 | 0 |143804 | - | 176M | 0 |1000 | 15k| 17k|1707 | 85 | 0 | 0 |-3.281137e+02 |-1.360000e+02 | 141.26%| unknown
46.93/47.18 c 47.1s| 1 | 0 |144528 | - | 177M | 0 |1000 | 15k| 17k|1720 | 86 | 0 | 0 |-3.278073e+02 |-1.360000e+02 | 141.03%| unknown
47.22/47.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
47.22/47.42 c 47.4s| 1 | 0 |145088 | - | 177M | 0 |1000 | 15k| 17k|1732 | 87 | 0 | 0 |-3.276235e+02 |-1.360000e+02 | 140.90%| unknown
47.41/47.69 c 47.6s| 1 | 0 |145734 | - | 177M | 0 |1000 | 15k| 17k|1740 | 88 | 0 | 0 |-3.274192e+02 |-1.360000e+02 | 140.75%| unknown
47.71/47.98 c 47.9s| 1 | 0 |146471 | - | 177M | 0 |1000 | 15k| 17k|1757 | 89 | 0 | 0 |-3.271196e+02 |-1.360000e+02 | 140.53%| unknown
48.11/48.33 c 48.3s| 1 | 0 |147327 | - | 177M | 0 |1000 | 15k| 17k|1781 | 90 | 0 | 0 |-3.266657e+02 |-1.360000e+02 | 140.20%| unknown
48.31/48.59 c 48.5s| 1 | 0 |147962 | - | 177M | 0 |1000 | 15k| 17k|1805 | 91 | 0 | 0 |-3.264682e+02 |-1.360000e+02 | 140.05%| unknown
48.61/48.82 c 48.8s| 1 | 0 |148475 | - | 177M | 0 |1000 | 15k| 17k|1818 | 92 | 0 | 0 |-3.263104e+02 |-1.360000e+02 | 139.93%| unknown
48.92/49.14 c 49.1s| 1 | 0 |149233 | - | 177M | 0 |1000 | 15k| 17k|1840 | 93 | 0 | 0 |-3.260257e+02 |-1.360000e+02 | 139.72%| unknown
49.21/49.41 c 49.4s| 1 | 0 |149845 | - | 177M | 0 |1000 | 15k| 17k|1852 | 94 | 0 | 0 |-3.258032e+02 |-1.360000e+02 | 139.56%| unknown
49.41/49.60 c 49.6s| 1 | 0 |150242 | - | 177M | 0 |1000 | 15k| 17k|1870 | 95 | 0 | 0 |-3.256893e+02 |-1.360000e+02 | 139.48%| unknown
49.51/49.76 c 49.7s| 1 | 0 |150530 | - | 178M | 0 |1000 | 15k| 17k|1885 | 96 | 0 | 0 |-3.256197e+02 |-1.360000e+02 | 139.43%| unknown
49.82/50.06 c 50.0s| 1 | 0 |151219 | - | 178M | 0 |1000 | 15k| 17k|1896 | 97 | 0 | 0 |-3.251796e+02 |-1.360000e+02 | 139.10%| unknown
50.01/50.29 c 50.2s| 1 | 0 |151759 | - | 178M | 0 |1000 | 15k| 17k|1912 | 98 | 0 | 0 |-3.249707e+02 |-1.360000e+02 | 138.95%| unknown
50.31/50.59 c 50.5s| 1 | 0 |152458 | - | 178M | 0 |1000 | 15k| 17k|1929 | 99 | 0 | 0 |-3.247104e+02 |-1.360000e+02 | 138.76%| unknown
50.60/50.80 c 50.8s| 1 | 0 |152929 | - | 178M | 0 |1000 | 15k| 17k|1944 |100 | 0 | 0 |-3.245885e+02 |-1.360000e+02 | 138.67%| unknown
50.70/50.93 c 50.9s| 1 | 0 |153244 | - | 178M | 0 |1000 | 15k| 17k|1959 |101 | 0 | 0 |-3.244674e+02 |-1.360000e+02 | 138.58%| unknown
50.92/51.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.92/51.12 c 51.1s| 1 | 0 |153751 | - | 178M | 0 |1000 | 15k| 17k|1976 |102 | 0 | 0 |-3.243691e+02 |-1.360000e+02 | 138.51%| unknown
51.00/51.23 c 51.2s| 1 | 0 |154068 | - | 178M | 0 |1000 | 15k| 17k|1990 |103 | 0 | 0 |-3.243117e+02 |-1.360000e+02 | 138.46%| unknown
51.30/51.50 c 51.4s| 1 | 0 |154795 | - | 179M | 0 |1000 | 15k| 17k|2007 |104 | 0 | 0 |-3.239762e+02 |-1.360000e+02 | 138.22%| unknown
51.40/51.68 c 51.6s| 1 | 0 |155345 | - | 179M | 0 |1000 | 15k| 17k|2020 |105 | 0 | 0 |-3.237698e+02 |-1.360000e+02 | 138.07%| unknown
51.60/51.82 c 51.8s| 1 | 0 |155769 | - | 179M | 0 |1000 | 15k| 17k|2034 |106 | 0 | 0 |-3.236766e+02 |-1.360000e+02 | 138.00%| unknown
51.70/51.95 c 51.9s| 1 | 0 |156138 | - | 179M | 0 |1000 | 15k| 17k|2051 |107 | 0 | 0 |-3.235687e+02 |-1.360000e+02 | 137.92%| unknown
51.81/52.11 c 52.1s| 1 | 0 |156595 | - | 179M | 0 |1000 | 15k| 17k|2067 |108 | 0 | 0 |-3.234946e+02 |-1.360000e+02 | 137.86%| unknown
52.00/52.27 c 52.2s| 1 | 0 |157195 | - | 179M | 0 |1000 | 15k| 17k|2082 |109 | 0 | 0 |-3.234120e+02 |-1.360000e+02 | 137.80%| unknown
52.10/52.37 c 52.3s| 1 | 0 |157535 | - | 179M | 0 |1000 | 15k| 17k|2102 |110 | 0 | 0 |-3.233881e+02 |-1.360000e+02 | 137.79%| unknown
52.20/52.43 c 52.4s| 1 | 0 |157660 | - | 180M | 0 |1000 | 15k| 17k|2112 |111 | 0 | 0 |-3.233869e+02 |-1.360000e+02 | 137.78%| unknown
52.30/52.53 c 52.5s| 1 | 0 |157893 | - | 180M | 0 |1000 | 15k| 17k|2121 |112 | 0 | 0 |-3.233333e+02 |-1.360000e+02 | 137.75%| unknown
52.30/52.56 c 52.5s| 1 | 0 |157898 | - | 180M | 0 |1000 | 15k| 17k|2125 |113 | 0 | 0 |-3.233333e+02 |-1.360000e+02 | 137.75%| unknown
52.50/52.70 c 52.7s| 1 | 0 |158376 | - | 180M | 0 |1000 | 15k| 17k|2126 |114 | 0 | 0 |-3.232668e+02 |-1.360000e+02 | 137.70%| unknown
52.60/52.85 c 52.8s| 1 | 0 |158880 | - | 180M | 0 |1000 | 15k| 17k|2145 |115 | 0 | 0 |-3.232186e+02 |-1.360000e+02 | 137.66%| unknown
52.70/52.99 c 52.9s| 1 | 0 |159303 | - | 180M | 0 |1000 | 15k| 17k|2154 |116 | 0 | 0 |-3.231586e+02 |-1.360000e+02 | 137.62%| unknown
52.91/53.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.91/53.16 c 53.1s| 1 | 0 |159826 | - | 180M | 0 |1000 | 15k| 17k|2168 |117 | 0 | 0 |-3.231137e+02 |-1.360000e+02 | 137.58%| unknown
53.00/53.28 c 53.2s| 1 | 0 |160211 | - | 180M | 0 |1000 | 15k| 17k|2184 |118 | 0 | 0 |-3.230795e+02 |-1.360000e+02 | 137.56%| unknown
53.20/53.44 c 53.4s| 1 | 0 |160762 | - | 180M | 0 |1000 | 15k| 17k|2191 |119 | 0 | 0 |-3.230379e+02 |-1.360000e+02 | 137.53%| unknown
53.30/53.58 c 53.5s| 1 | 0 |161184 | - | 180M | 0 |1000 | 15k| 17k|2211 |120 | 0 | 0 |-3.230023e+02 |-1.360000e+02 | 137.50%| unknown
53.39/53.62 c 53.6s| 1 | 0 |161201 | - | 181M | 0 |1000 | 15k| 17k|2225 |121 | 0 | 0 |-3.230000e+02 |-1.360000e+02 | 137.50%| unknown
59.38/59.66 c 59.6s| 1 | 2 |161211 | - | 181M | 0 |1000 | 15k| 17k|2225 |122 | 0 | 19 |-3.226792e+02 |-1.360000e+02 | 137.26%| unknown
262.89/263.87 o -139
262.89/263.87 c d 264s| 60 | 61 |573710 |6993.5 |guideddi| 14 |1000 | 15k| 16k| 0 | 1 | 0 | 335 |-3.209132e+02 |-1.390000e+02 | 130.87%| unknown
262.89/263.89 o -140
262.89/263.89 c i 264s| 61 | 60 |573727 |6877.2 | oneopt| 14 |1000 | 15k| 16k|3924 | 0 | 0 | 335 |-3.209132e+02 |-1.400000e+02 | 129.22%| unknown
284.42/285.47 o -145
284.42/285.47 c d 285s| 70 | 71 |643820 |6996.0 |guideddi| 14 |1000 | 15k| 17k| 0 | 6 | 0 | 348 |-3.196869e+02 |-1.450000e+02 | 120.47%| unknown
359.67/360.95 c 361s| 100 | 101 |851062 |6969.4 | 473M | 16 |1000 | 15k| 17k|5137 | 1 | 0 | 400 |-3.192572e+02 |-1.450000e+02 | 120.18%| unknown
578.39/580.22 c 580s| 200 | 201 | 1448k|6467.4 | 564M | 22 |1000 | 15k| 17k|6865 | 1 | 0 | 589 |-3.182771e+02 |-1.450000e+02 | 119.50%| unknown
779.40/781.84 c 782s| 300 | 301 | 1958k|6011.4 | 619M | 23 |1000 | 15k| 17k|9054 | 1 | 0 | 771 |-3.175109e+02 |-1.450000e+02 | 118.97%| unknown
972.65/975.79 c 976s| 400 | 401 | 2457k|5754.6 | 644M | 29 |1000 | 15k| 17k| 10k| 1 | 0 | 935 |-3.172447e+02 |-1.450000e+02 | 118.79%| unknown
1171.30/1175.01 c 1175s| 500 | 501 | 2935k|5560.4 | 664M | 42 |1000 | 15k| 17k| 11k| 1 | 0 |1110 |-3.162991e+02 |-1.450000e+02 | 118.14%| unknown
1313.92/1318.16 c 1318s| 600 | 601 | 3404k|5414.9 | 708M | 43 |1000 | 15k| 17k| 13k| 1 | 0 |1125 |-3.162991e+02 |-1.450000e+02 | 118.14%| unknown
1481.15/1485.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1481.15/1485.91 c 1486s| 700 | 701 | 3913k|5368.9 | 761M | 44 |1000 | 15k| 17k| 15k| 1 | 0 |1184 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
1636.63/1642.00 c 1642s| 800 | 801 | 4352k|5246.4 | 781M | 44 |1000 | 15k| 17k| 17k| 1 | 0 |1282 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
1808.66/1814.53 c 1814s| 900 | 901 | 4905k|5277.7 | 830M | 44 |1000 | 15k| 17k| 21k| 1 | 0 |1324 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
1961.04/1967.43 c 1967s| 1000 | 1001 | 5395k|5240.0 | 866M | 44 |1000 | 15k| 17k| 23k| 1 | 0 |1369 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2049.05/2055.79 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2051.55/2058.24 c (run 1, node 1049) performing user restart
2051.55/2058.24 c
2051.55/2058.24 c (restart) converted 1260 cuts from the global cut pool into linear constraints
2051.55/2058.24 c
2051.94/2058.66 c presolving:
2051.94/2058.69 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1260 upgd conss, 0 impls, 17030 clqs
2052.04/2058.77 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
2052.04/2058.77 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1 changed coefficients
2052.04/2058.77 c 0 implications, 17031 cliques
2052.04/2058.77 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 17071 constraints
2052.04/2058.77 c 40 constraints of type <knapsack>
2052.04/2058.77 c 17031 constraints of type <setppc>
2052.04/2058.77 c transformed objective value is always integral (scale: 1)
2052.04/2058.77 c Presolving Time: 0.77
2052.24/2059.00 c transformed 98/100 original solutions to the transformed problem space
2052.24/2059.00 c
2060.72/2067.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2060.72/2067.47 c 2067s| 1 | 0 | 5714k| - | 846M | 0 |1000 | 17k| 17k| 0 | 0 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2061.01/2067.74 c 2068s| 1 | 0 | 5715k| - | 857M | 0 |1000 | 17k| 17k| 5 | 1 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2061.33/2068.01 c 2068s| 1 | 0 | 5715k| - | 856M | 0 |1000 | 17k| 17k| 11 | 2 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2061.51/2068.28 c 2068s| 1 | 0 | 5715k| - | 863M | 0 |1000 | 17k| 17k| 17 | 3 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2061.81/2068.58 c 2069s| 1 | 0 | 5716k| - | 847M | 0 |1000 | 17k| 17k| 26 | 4 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2062.11/2068.89 c 2069s| 1 | 0 | 5716k| - | 854M | 0 |1000 | 17k| 17k| 35 | 5 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2062.51/2069.22 c 2069s| 1 | 0 | 5717k| - | 864M | 0 |1000 | 17k| 17k| 42 | 6 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2062.91/2069.61 c 2070s| 1 | 0 | 5717k| - | 857M | 0 |1000 | 17k| 17k| 51 | 7 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2063.21/2069.98 c 2070s| 1 | 0 | 5718k| - | 859M | 0 |1000 | 17k| 17k| 63 | 8 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2063.70/2070.40 c 2070s| 1 | 0 | 5718k| - | 860M | 0 |1000 | 17k| 17k| 72 | 9 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2064.10/2070.84 c 2071s| 1 | 0 | 5719k| - | 856M | 0 |1000 | 17k| 17k| 82 | 10 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2064.31/2071.11 c 2071s| 1 | 0 | 5719k| - | 856M | 0 |1000 | 17k| 17k| 92 | 11 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2064.60/2071.38 c 2071s| 1 | 0 | 5720k| - | 856M | 0 |1000 | 17k| 17k| 102 | 12 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2064.90/2071.62 c 2072s| 1 | 0 | 5720k| - | 857M | 0 |1000 | 17k| 17k| 113 | 13 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2065.10/2071.89 c 2072s| 1 | 0 | 5720k| - | 859M | 0 |1000 | 17k| 17k| 121 | 14 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2065.41/2072.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2065.41/2072.15 c 2072s| 1 | 0 | 5721k| - | 861M | 0 |1000 | 17k| 17k| 131 | 15 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2065.70/2072.41 c 2072s| 1 | 0 | 5721k| - | 863M | 0 |1000 | 17k| 17k| 151 | 16 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2065.90/2072.63 c 2073s| 1 | 0 | 5721k| - | 863M | 0 |1000 | 17k| 17k| 165 | 17 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2066.10/2072.87 c 2073s| 1 | 0 | 5722k| - | 863M | 0 |1000 | 17k| 17k| 179 | 18 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2066.41/2073.11 c 2073s| 1 | 0 | 5722k| - | 864M | 0 |1000 | 17k| 17k| 192 | 19 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2066.60/2073.37 c 2073s| 1 | 0 | 5723k| - | 864M | 0 |1000 | 17k| 17k| 201 | 20 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2066.70/2073.43 c 2073s| 1 | 0 | 5723k| - | 864M | 0 |1000 | 17k| 17k| 213 | 21 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2066.70/2073.49 c 2073s| 1 | 0 | 5723k| - | 864M | 0 |1000 | 17k| 17k| 214 | 22 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2066.79/2073.55 c 2074s| 1 | 0 | 5723k| - | 864M | 0 |1000 | 17k| 17k| 215 | 23 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2066.89/2073.64 c 2074s| 1 | 0 | 5723k| - | 865M | 0 |1000 | 17k| 17k| 216 | 24 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2066.99/2073.74 c 2074s| 1 | 0 | 5723k| - | 865M | 0 |1000 | 17k| 17k| 217 | 25 | 0 |1380 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2076.07/2082.81 c 2083s| 1 | 2 | 5723k| - | 865M | 0 |1000 | 17k| 17k| 217 | 26 | 0 |1416 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2353.71/2361.36 c 2361s| 100 | 101 | 6036k|5093.2 | 896M | 41 |1000 | 17k| 16k| 405 | 1 | 0 |2218 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2549.01/2557.12 c 2557s| 200 | 201 | 6447k|5014.2 | 980M | 55 |1000 | 17k| 17k|1425 | 1 | 0 |2563 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2676.13/2684.60 c 2685s| 300 | 301 | 6833k|4929.1 | 1011M | 59 |1000 | 17k| 17k|3211 | 1 | 0 |2634 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2797.80/2806.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2797.80/2806.66 c 2807s| 400 | 401 | 7296k|4908.4 | 1030M | 59 |1000 | 17k| 17k|5269 | 1 | 0 |2661 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
2951.28/2960.57 c 2961s| 500 | 501 | 7729k|4871.2 | 1062M | 61 |1000 | 17k| 17k|8206 | 1 | 0 |2798 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
3063.78/3073.30 c 3073s| 600 | 601 | 8145k|4828.1 | 1078M | 61 |1000 | 17k| 17k| 10k| 1 | 0 |2837 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
3172.38/3182.21 c 3182s| 700 | 701 | 8570k|4794.7 | 1103M | 62 |1000 | 17k| 16k| 12k| 1 | 0 |2842 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
3308.41/3318.65 c 3319s| 800 | 801 | 9023k|4780.2 | 1112M | 62 |1000 | 17k| 17k| 15k| 1 | 0 |2883 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
3423.61/3434.11 c 3434s| 900 | 901 | 9416k|4736.8 | 1119M | 62 |1000 | 17k| 17k| 18k| 1 | 0 |2966 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
3534.41/3545.39 c 3545s| 1000 | 1001 | 9853k|4718.8 | 1130M | 63 |1000 | 17k| 17k| 21k| 1 | 0 |2981 |-3.159307e+02 |-1.450000e+02 | 117.88%| unknown
3585.94/3597.04 c
3585.94/3597.04 c SCIP Status : solving was interrupted [time limit reached]
3585.94/3597.04 c Solving Time (sec) : 3597.00
3585.94/3597.04 c Solving Nodes : 1045 (total of 2094 nodes in 2 runs)
3585.94/3597.04 c Primal Bound : -1.45000000000000e+02 (254 solutions)
3585.94/3597.04 c Dual Bound : -3.15930738252046e+02
3585.94/3597.04 c Gap : 117.88 %
3585.94/3597.06 s SATISFIABLE
3585.94/3597.06 v -x1000 x999 -x998 -x997 -x996 x995 x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 x986 -x985 x984 -x983 -x982 -x981 -x980 -x979
3585.94/3597.06 v -x978 -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 x958 -x957
3585.94/3597.06 v x956 -x955 x954 -x953 -x952 -x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 x943 -x942 -x941 -x940 -x939 x938 -x937 -x936 -x935
3585.94/3597.06 v -x934 x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 x925 -x924 x923 -x922 x921 -x920 -x919 x918 x917 -x916 -x915 -x914 -x913
3585.94/3597.06 v -x912 x911 x910 -x909 -x908 -x907 -x906 -x905 x904 -x903 -x902 x901 x900 -x899 -x898 -x897 x896 x895 -x894 -x893 -x892 x891
3585.94/3597.06 v -x890 x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870
3585.94/3597.06 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849
3585.94/3597.06 v -x848 -x847 -x846 -x845 -x844 -x843 x842 -x841 -x840 -x839 -x838 -x837 -x836 x835 -x834 -x833 -x832 -x831 x830 -x829 x828 x827
3585.94/3597.06 v -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 x816 -x815 -x814 x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806
3585.94/3597.06 v -x805 x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784
3585.94/3597.06 v x783 -x782 -x781 -x780 -x779 -x778 x777 x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 x766 -x765 -x764 -x763
3585.94/3597.06 v -x762 -x761 x760 -x759 x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 x741
3585.94/3597.06 v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720
3585.94/3597.06 v x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699
3585.94/3597.06 v -x698 -x697 -x696 x695 -x694 -x693 -x692 x691 -x690 -x689 -x688 x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677
3585.94/3597.06 v -x676 x675 -x674 -x673 -x672 -x671 x670 x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656
3585.94/3597.06 v x655 -x654 -x653 -x652 -x651 -x650 -x649 x648 x647 -x646 -x645 -x644 -x643 -x642 -x641 x640 x639 -x638 x637 -x636 -x635 -x634
3585.94/3597.06 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 x624 -x623 -x622 x621 -x620 -x619 -x618 -x617 x616 x615 -x614 -x613
3585.94/3597.06 v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 x603 -x602 x601 -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591
3585.94/3597.06 v -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570
3585.94/3597.06 v -x569 -x568 -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 x555 -x554 -x553 x552 -x551 -x550 -x549 -x548
3585.94/3597.06 v -x547 -x546 x545 -x544 -x543 x542 -x541 -x540 -x539 x538 -x537 x536 x535 x534 -x533 -x532 x531 -x530 -x529 -x528 x527 -x526
3585.94/3597.06 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 x518 -x517 -x516 x515 -x514 -x513 -x512 x511 -x510 -x509 -x508 -x507 -x506 -x505
3585.94/3597.06 v -x504 -x503 -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484
3585.94/3597.06 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 x462
3585.94/3597.06 v x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441
3585.94/3597.06 v -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420
3585.94/3597.06 v -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398
3585.94/3597.06 v x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 x383 -x382 -x381 -x380 -x379 -x378 -x377
3585.94/3597.06 v -x376 x375 -x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 x359 x358 -x357 -x356 -x355
3585.94/3597.06 v -x354 -x353 -x352 x351 x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334
3585.94/3597.06 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313
3585.94/3597.06 v x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292
3585.94/3597.06 v -x291 -x290 x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271
3585.94/3597.06 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
3585.94/3597.06 v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
3585.94/3597.06 v -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207
3585.94/3597.06 v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186
3585.94/3597.06 v -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165
3585.94/3597.06 v -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144
3585.94/3597.06 v x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123
3585.94/3597.06 v -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102
3585.94/3597.06 v -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77
3585.94/3597.06 v -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52
3585.94/3597.06 v -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27
3585.94/3597.06 v -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3585.94/3597.06 c SCIP Status : solving was interrupted [time limit reached]
3585.94/3597.06 c Total Time : 3597.00
3585.94/3597.06 c solving : 3597.00
3585.94/3597.06 c presolving : 0.77 (included in solving)
3585.94/3597.06 c reading : 0.15 (included in solving)
3585.94/3597.06 c copying : 0.18 (10 #copies) (minimal 0.02, maximal 0.02, average 0.02)
3585.94/3597.06 c Original Problem :
3585.94/3597.06 c Problem name : HOME/instance-4498152-1751268244.opb
3585.94/3597.06 c Variables : 16811 (1000 binary, 0 integer, 15811 implicit integer, 0 continuous)
3585.94/3597.06 c Constraints : 17811 initial, 17811 maximal
3585.94/3597.06 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3585.94/3597.06 c Presolved Problem :
3585.94/3597.06 c Problem name : t_HOME/instance-4498152-1751268244.opb
3585.94/3597.06 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.94/3597.06 c Constraints : 17071 initial, 17071 maximal
3585.94/3597.06 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3585.94/3597.06 c Nonzeros : 37153 constraint, 35321 clique table
3585.94/3597.06 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.94/3597.06 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c domcol : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c probing : 0.09 0.00 1 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c knapsack : 0.07 0.00 3 0 0 0 0 0 0 0 0 1
3585.94/3597.06 c setppc : 0.07 0.00 11 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c and : 0.08 0.00 2 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c linear : 0.08 0.01 3 15811 0 0 15811 0 1000 0 0 0
3585.94/3597.06 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c pseudoboolean : 0.04 0.01 1 0 0 0 0 0 1000 0 0 0
3585.94/3597.06 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c root node : - - - 0 - - 0 - - - - -
3585.94/3597.06 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.94/3597.06 c benderslp : 0 0 0 0 2094 0 0 1080 0 0 0 0 0 0 0
3585.94/3597.06 c integral : 0 0 0 0 2094 0 0 1080 0 0 0 0 0 0 4188
3585.94/3597.06 c knapsack : 40 40 26 31370 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c setppc : 17031 17031 148 110763 0 0 0 1073 0 0 56577 38 31 0 0
3585.94/3597.06 c benders : 0 0 0 0 0 0 0 355 0 0 0 0 0 0 0
3585.94/3597.06 c fixedvar : 0 0 0 0 0 0 0 355 0 0 0 0 0 0 0
3585.94/3597.06 c countsols : 0 0 0 0 0 0 0 355 0 0 0 0 0 0 0
3585.94/3597.06 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.94/3597.06 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.94/3597.06 c integral : 810.37 0.00 0.00 0.00 810.37 0.00 0.00 0.00 0.00 0.00
3585.94/3597.06 c knapsack : 0.68 0.00 0.60 0.06 0.00 0.00 0.00 0.00 0.00 0.02
3585.94/3597.06 c setppc : 1.97 0.00 0.08 1.21 0.00 0.00 0.00 0.24 0.00 0.44
3585.94/3597.06 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.94/3597.06 c fixedvar : 0.31 0.00 0.00 0.00 0.00 0.00 0.00 0.31 0.00 0.00
3585.94/3597.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.94/3597.06 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.94/3597.06 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.94/3597.06 c dualfix : 3 0 0 0
3585.94/3597.06 c genvbounds : 0 0 0 0
3585.94/3597.06 c nlobbt : 0 0 0 0
3585.94/3597.06 c obbt : 0 0 0 0
3585.94/3597.06 c probing : 0 0 0 0
3585.94/3597.06 c pseudoobj : 6000 0 0 0
3585.94/3597.06 c redcost : 150 0 0 0
3585.94/3597.06 c rootredcost : 5 0 0 0
3585.94/3597.06 c symmetry : 0 0 0 0
3585.94/3597.06 c vbounds : 28017 0 0 0
3585.94/3597.06 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.94/3597.06 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.94/3597.06 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3585.94/3597.06 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.94/3597.06 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.94/3597.06 c probing : 0.09 0.00 0.09 0.00 0.00 0.00
3585.94/3597.06 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3585.94/3597.06 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
3585.94/3597.06 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.94/3597.06 c symmetry : 0.04 0.00 0.02 0.01 0.00 0.01
3585.94/3597.06 c vbounds : 0.03 0.00 0.00 0.02 0.00 0.01
3585.94/3597.06 c Symmetry :
3585.94/3597.06 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.94/3597.06 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.94/3597.06 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.94/3597.06 c shadow tree time : 0.00 s
3585.94/3597.06 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3585.94/3597.06 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.94/3597.06 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.94/3597.06 c bound exceed. LP : 0.59 940 0 - 0 0.0 0 0.0 0 0.0 1321
3585.94/3597.06 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.94/3597.06 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.94/3597.06 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
3585.94/3597.06 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.94/3597.06 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.94/3597.06 c cut pool : 7.17 - 2232 289 - - 39395 137147 - - - - - (maximal pool size: 5012)
3585.94/3597.06 c aggregation : 13.71 0.00 932 148 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.94/3597.06 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.94/3597.06 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.94/3597.06 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c clique : 1.52 0.00 148 148 0 0 1270 20528 0 11534 11534 0 0
3585.94/3597.06 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c gomory : 50.38 0.00 638 20 0 0 34980 48201 0 3825 3825 0 0
3585.94/3597.06 c > gomorymi : - - - - - - - 20510 0 137 137 0 -
3585.94/3597.06 c > strongcg : - - - - - - - 27691 0 3688 3688 0 -
3585.94/3597.06 c impliedbounds : 0.41 0.00 932 148 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c multilinear : 0.00 0.00 218 148 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c rapidlearning : 0.08 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c rlt : 0.00 0.00 144 20 0 0 0 0 0 0 0 0 0
3585.94/3597.06 c zerohalf : 11.69 0.00 658 40 0 0 3145 68418 0 32756 32756 0 0
3585.94/3597.06 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.94/3597.06 c hybrid : 0.76 0.00 1467 146 48146 0 89039 2442 0 8273
3585.94/3597.06 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c Pricers : ExecTime SetupTime Calls Vars
3585.94/3597.06 c problem variables: 0.00 - 0 0
3585.94/3597.06 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.94/3597.06 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c relpscost : 810.36 0.00 2094 0 0 0 0 0 0 4188
3585.94/3597.06 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.94/3597.06 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.94/3597.06 c LP solutions : 0.00 - - 0 0
3585.94/3597.06 c relax solutions : 0.00 - - 0 0
3585.94/3597.06 c pseudo solutions : 0.00 - - 0 0
3585.94/3597.06 c strong branching : 0.12 - - 0 0
3585.94/3597.06 c actconsdiving : 0.00 0.00 0 0 0
3585.94/3597.06 c adaptivediving : 14.70 0.00 11 0 0
3585.94/3597.06 c alns : 0.25 0.00 5 0 0
3585.94/3597.06 c bound : 0.00 0.00 0 0 0
3585.94/3597.06 c clique : 0.07 0.00 1 1 1
3585.94/3597.06 c coefdiving : 0.00 0.00 0 0 0
3585.94/3597.06 c completesol : 0.00 0.00 0 0 0
3585.94/3597.06 c conflictdiving : 0.00 0.00 0 0 0
3585.94/3597.06 c crossover : 0.38 0.00 2 2 0
3585.94/3597.06 c dins : 0.00 0.00 0 0 0
3585.94/3597.06 c distributiondivin: 102.44 0.00 50 0 0
3585.94/3597.06 c dps : 0.00 0.00 0 0 0
3585.94/3597.06 c dualval : 0.00 0.00 0 0 0
3585.94/3597.06 c farkasdiving : 0.00 0.00 0 0 0
3585.94/3597.06 c feasjump : 0.00 0.00 0 0 0
3585.94/3597.06 c feaspump : 0.00 0.00 0 0 0
3585.94/3597.06 c fixandinfer : 0.00 0.00 0 0 0
3585.94/3597.06 c fracdiving : 55.53 0.00 50 0 0
3585.94/3597.06 c gins : 0.01 0.00 0 0 0
3585.94/3597.06 c guideddiving : 56.65 0.00 50 2 2
3585.94/3597.06 c indcoefdiving : 0.00 0.00 0 0 0
3585.94/3597.06 c indicator : 0.00 0.00 0 0 0
3585.94/3597.06 c indicatordiving : 0.00 0.00 0 0 0
3585.94/3597.06 c indoneopt : 0.00 0.00 0 0 0
3585.94/3597.06 c indrounding : 0.00 0.00 0 0 0
3585.94/3597.06 c indtwoopt : 0.00 0.00 0 0 0
3585.94/3597.06 c intdiving : 0.00 0.00 0 0 0
3585.94/3597.06 c intshifting : 0.00 0.00 0 0 0
3585.94/3597.06 c linesearchdiving : 55.56 0.00 50 0 0
3585.94/3597.06 c localbranching : 0.00 0.00 0 0 0
3585.94/3597.06 c locks : 0.02 0.00 1 1 1
3585.94/3597.06 c lpface : 0.00 0.00 0 0 0
3585.94/3597.06 c mpec : 0.00 0.00 0 0 0
3585.94/3597.06 c multistart : 0.00 0.00 0 0 0
3585.94/3597.06 c mutation : 0.00 0.00 0 0 0
3585.94/3597.06 c nlpdiving : 0.00 0.00 0 0 0
3585.94/3597.06 c objpscostdiving : 163.95 0.00 20 87 0
3585.94/3597.06 c octane : 0.00 0.00 0 0 0
3585.94/3597.06 c ofins : 0.00 0.00 0 0 0
3585.94/3597.06 c oneopt : 0.01 0.00 3 2 2
3585.94/3597.06 c padm : 0.00 0.00 0 0 0
3585.94/3597.06 c proximity : 0.00 0.00 0 0 0
3585.94/3597.06 c pscostdiving : 64.39 0.00 50 0 0
3585.94/3597.06 c randrounding : 1.47 0.00 866 116 0
3585.94/3597.06 c rens : 0.00 0.00 0 0 0
3585.94/3597.06 c reoptsols : 0.00 0.00 0 0 0
3585.94/3597.06 c repair : 0.00 0.00 0 0 0
3585.94/3597.06 c rins : 25.06 0.00 3 3 0
3585.94/3597.06 c rootsoldiving : 33.62 0.00 25 39 0
3585.94/3597.06 c rounding : 8.78 0.00 745 0 0
3585.94/3597.06 c scheduler : 0.00 0.00 0 0 0
3585.94/3597.06 c shiftandpropagate: 0.00 0.00 0 0 0
3585.94/3597.06 c shifting : 6.98 0.00 556 0 0
3585.94/3597.06 c simplerounding : 0.17 0.00 3561 0 0
3585.94/3597.06 c smallcard : 0.00 0.00 0 0 0
3585.94/3597.06 c subnlp : 0.00 0.00 0 0 0
3585.94/3597.06 c trivial : 0.02 0.00 4 1 1
3585.94/3597.06 c trivialnegation : 0.00 0.00 0 0 0
3585.94/3597.06 c trustregion : 0.00 0.00 0 0 0
3585.94/3597.06 c trysol : 0.00 0.00 0 0 0
3585.94/3597.06 c twoopt : 0.00 0.00 0 0 0
3585.94/3597.06 c undercover : 0.00 0.00 0 0 0
3585.94/3597.06 c vbounds : 0.06 0.00 2 0 0
3585.94/3597.06 c veclendiving : 33.43 0.00 50 0 0
3585.94/3597.06 c zeroobj : 0.00 0.00 0 0 0
3585.94/3597.06 c zirounding : 1.15 0.00 1000 0 0
3585.94/3597.06 c other solutions : - - - 0 -
3585.94/3597.06 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.94/3597.06 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
3585.94/3597.06 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
3585.94/3597.06 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
3585.94/3597.06 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
3585.94/3597.06 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
3585.94/3597.06 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
3585.94/3597.06 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
3585.94/3597.06 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
3585.94/3597.06 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
3585.94/3597.06 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.94/3597.06 c primal LP : 1.27 602 0 0.00 0.00 1.27 602
3585.94/3597.06 c dual LP : 2065.58 3561 7411060 2081.17 3587.88 0.00 0
3585.94/3597.06 c lex dual LP : 0.00 0 0 0.00 -
3585.94/3597.06 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.94/3597.06 c resolve instable : 0.00 0 0 0.00 -
3585.94/3597.06 c diving/probing LP: 545.91 4739 2624979 553.91 4808.44
3585.94/3597.06 c strong branching : 801.45 2997 2764768 922.51 3449.71 - - 4879
3585.94/3597.06 c (at root node) : - 55 48536 882.47 -
3585.94/3597.06 c conflict analysis: 0.19 133 1321 9.93 6798.00
3585.94/3597.06 c B&B Tree :
3585.94/3597.06 c number of runs : 2
3585.94/3597.06 c nodes : 1045 (1045 internal, 0 leaves)
3585.94/3597.07 c feasible leaves : 0
3585.94/3597.07 c infeas. leaves : 0
3585.94/3597.07 c objective leaves : 0
3585.94/3597.07 c nodes (total) : 2094 (2094 internal, 0 leaves)
3585.94/3597.07 c nodes left : 1046
3585.94/3597.07 c max depth : 63
3585.94/3597.07 c max depth (total): 63
3585.94/3597.07 c backtracks : 165 (15.8%)
3585.94/3597.07 c early backtracks : 0 (0.0%)
3585.94/3597.07 c nodes exc. ref. : 0 (0.0%)
3585.94/3597.07 c delayed cutoffs : 0
3585.94/3597.07 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3585.94/3597.07 c avg switch length: 4.22
3585.94/3597.07 c switching time : 2.06
3585.94/3597.07 c Root Node :
3585.94/3597.07 c First LP value : -5.00000000000000e+02
3585.94/3597.07 c First LP Iters : 1079 (11586.70 Iter/sec)
3585.94/3597.07 c First LP Time : 0.09
3585.94/3597.07 c Final Dual Bound : -3.15930738252046e+02
3585.94/3597.07 c Final Root Iters : 189278
3585.94/3597.07 c Root LP Estimate : -8.93015721962526e+01
3585.94/3597.07 c Solution :
3585.94/3597.07 c Solutions found : 254 (7 improvements)
3585.94/3597.07 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.28 seconds, depth 0, found by <trivial>)
3585.94/3597.07 c Gap First Sol. : infinite
3585.94/3597.07 c Gap Last Sol. : 120.47 %
3585.94/3597.07 c Primal Bound : -1.45000000000000e+02 (in run 1, after 70 nodes, 285.42 seconds, depth 82, found by <guideddiving>)
3585.94/3597.07 c Dual Bound : -3.15930738252046e+02
3585.94/3597.07 c Gap : 117.88 %
3585.94/3597.07 c Integrals : Total Avg%
3585.94/3597.07 c primal-dual : 196103.01 54.52
3585.94/3597.07 c primal-ref : - - (not evaluated)
3585.94/3597.07 c dual-ref : - - (not evaluated)
3586.13/3597.27 c Time complete: 3586.2.
OK -145
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: 63837 MiB (62611 MiB free)
memory of node 1: 64465 MiB (63781 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498152-1751268244/watcher-4498152-1751268244 -o /tmp/evaluation-result-4498152-1751268244/solver-4498152-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751268232-33086 --watchdog 3760 pbscip -f HOME/instance-4498152-1751268244.opb -t 3600 -j 2 -m 31000
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=33270, runsolver pid=33266
Current StackSize limit: 8192 KiB
[startup+0.100074 s]*
/proc/loadavg: 1.07 0.30 0.16 5/249 33274
/proc/meminfo: memFree=129391360/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=58388 memory=30208 CPUtime=0.06 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 4600 0 0 0 4 2 0 0 20 0 1 0 42503121 59789312 7552 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 14597 7552 3264 3530 0 6048 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 58388 KiB
Current children cumulated memory: 30208 KiB
[startup+0.214128 s]*
/proc/loadavg: 1.07 0.30 0.16 4/251 33279
/proc/meminfo: memFree=129375516/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=80300 memory=53584 CPUtime=0.17 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 10356 0 0 0 13 4 0 0 20 0 1 0 42503121 82227200 13396 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 20075 13396 3552 3530 0 11526 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 80300 KiB
Current children cumulated memory: 53584 KiB
[startup+0.313843 s]*
/proc/loadavg: 1.07 0.30 0.16 6/251 33279
/proc/meminfo: memFree=129335956/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=99796 memory=73808 CPUtime=0.27 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 15408 0 0 0 21 6 0 0 20 0 1 0 42503121 102191104 18452 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 24949 18452 3552 3530 0 16400 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 99796 KiB
Current children cumulated memory: 73808 KiB
[startup+0.700332 s]
/proc/loadavg: 1.07 0.30 0.16 5/251 33279
/proc/meminfo: memFree=129272704/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=127592 memory=98000 CPUtime=0.65 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 21466 0 0 0 56 9 0 0 20 0 1 0 42503121 130654208 24500 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 31898 24500 3616 3530 0 23349 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 127592 KiB
Current children cumulated memory: 98000 KiB
[startup+1.50032 s]
/proc/loadavg: 1.07 0.30 0.16 5/251 33279
/proc/meminfo: memFree=129157808/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=154564 memory=121092 CPUtime=1.44 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 28391 0 0 0 133 11 0 0 20 0 1 0 42503121 158273536 30273 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 38641 30273 3840 3530 0 30092 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 154564 KiB
Current children cumulated memory: 121092 KiB
[startup+3.11265 s]
/proc/loadavg: 1.07 0.30 0.16 5/252 33280
/proc/meminfo: memFree=129043608/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=166512 memory=128260 CPUtime=3.05 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 30201 0 0 0 294 11 0 0 20 0 1 0 42503121 170508288 32065 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 41628 32065 3840 3530 0 33079 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 166512 KiB
Current children cumulated memory: 128260 KiB
[startup+6.30029 s]
/proc/loadavg: 1.31 0.36 0.18 5/252 33280
/proc/meminfo: memFree=129011352/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=194708 memory=148612 CPUtime=6.23 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 35291 0 0 0 611 12 0 0 20 0 1 0 42503121 199380992 37153 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 48677 37153 3840 3530 0 40128 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 194708 KiB
Current children cumulated memory: 148612 KiB
[startup+12.7003 s]
/proc/loadavg: 1.52 0.42 0.20 5/252 33280
/proc/meminfo: memFree=128971284/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=207640 memory=153732 CPUtime=12.61 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 36560 0 0 0 1249 12 0 0 20 0 1 0 42503121 212623360 38433 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 51910 38433 3840 3530 0 43361 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 207640 KiB
Current children cumulated memory: 153732 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 0.60 0.26 5/252 33280
/proc/meminfo: memFree=128919876/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=222080 memory=158596 CPUtime=25.37 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 37770 0 0 0 2525 12 0 0 20 0 1 0 42503121 227409920 39649 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 55520 39649 3840 3530 0 46971 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 222080 KiB
Current children cumulated memory: 158596 KiB
[startup+51.113 s]
/proc/loadavg: 2.80 0.89 0.37 5/252 33281
/proc/meminfo: memFree=128893352/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=231504 memory=168452 CPUtime=50.92 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 40231 0 0 0 5079 13 0 0 20 0 1 0 42503121 237060096 42113 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 57876 42113 3840 3530 0 49327 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 231504 KiB
Current children cumulated memory: 168452 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 1.40 0.57 5/252 33283
/proc/meminfo: memFree=128747152/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=253980 memory=190084 CPUtime=101.93 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 45564 0 0 0 10179 14 0 0 20 0 1 0 42503121 260075520 47521 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 63495 47521 3936 3530 0 54946 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 253980 KiB
Current children cumulated memory: 190084 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 1.89 0.79 5/252 33285
/proc/meminfo: memFree=128587240/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=328804 memory=245508 CPUtime=161.74 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 59495 0 0 0 16157 17 0 0 20 0 1 0 42503121 336695296 61377 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 82201 61377 3936 3530 0 73652 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 328804 KiB
Current children cumulated memory: 245508 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.29 1.00 5/252 33287
/proc/meminfo: memFree=128432276/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=385460 memory=290436 CPUtime=221.53 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 70722 0 0 0 22134 19 0 0 20 0 1 0 42503121 394711040 72609 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 96365 72609 3968 3530 0 87816 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 385460 KiB
Current children cumulated memory: 290436 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.62 1.20 5/252 33289
/proc/meminfo: memFree=128375936/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=392020 memory=294532 CPUtime=281.32 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 71729 0 0 0 28113 19 0 0 20 0 1 0 42503121 401428480 73633 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 98005 73633 3968 3530 0 89456 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 392020 KiB
Current children cumulated memory: 294532 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 2.91 1.39 5/250 33292
/proc/meminfo: memFree=128240716/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=506944 memory=387844 CPUtime=341.13 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 95038 0 0 0 34089 24 0 0 20 0 1 0 42503121 519110656 96961 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 126736 96961 3968 3530 0 118187 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 506944 KiB
Current children cumulated memory: 387844 KiB
[startup+402.3 s]
/proc/loadavg: 4.79 3.32 1.63 5/250 33294
/proc/meminfo: memFree=128106944/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=583472 memory=473988 CPUtime=400.96 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 109618 0 0 0 40069 27 0 0 20 0 1 0 42503121 597475328 118497 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 145868 118497 3968 3530 0 137319 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 583472 KiB
Current children cumulated memory: 473988 KiB
[startup+462.3 s]
/proc/loadavg: 4.33 3.46 1.78 5/250 33295
/proc/meminfo: memFree=128020336/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=592488 memory=496472 CPUtime=460.79 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 113094 0 0 0 46051 28 0 0 20 0 1 0 42503121 606707712 124118 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 148122 124118 3968 3530 0 139573 0
Current children cumulated CPU time: 460.79 s
################
# More data... #
################
/proc/loadavg: 4.10 4.09 4.01 5/250 33570
/proc/meminfo: memFree=126293412/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1165540 memory=1042536 CPUtime=3152.53 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 174247 0 0 0 315206 47 0 0 20 0 1 0 42503121 1193512960 260634 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 291385 260634 3968 3530 0 282836 0
Current children cumulated CPU time: 3152.53 s
Current children cumulated vsize: 1165540 KiB
Current children cumulated memory: 1042536 KiB
[startup+3222.3 s]
/proc/loadavg: 4.57 4.22 4.06 5/250 33572
/proc/meminfo: memFree=126204324/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1165540 memory=1042536 CPUtime=3212.37 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 174259 0 0 0 321190 47 0 0 20 0 1 0 42503121 1193512960 260634 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 291385 260634 3968 3530 0 282836 0
Current children cumulated CPU time: 3212.37 s
Current children cumulated vsize: 1165540 KiB
Current children cumulated memory: 1042536 KiB
[startup+3282.3 s]
/proc/loadavg: 4.46 4.26 4.09 5/250 33574
/proc/meminfo: memFree=126135224/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1183380 memory=1057128 CPUtime=3272.21 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 178096 0 0 0 327173 48 0 0 20 0 1 0 42503121 1211781120 264282 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 295845 264282 3968 3530 0 287296 0
Current children cumulated CPU time: 3272.21 s
Current children cumulated vsize: 1183380 KiB
Current children cumulated memory: 1057128 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.23 4.09 5/250 33576
/proc/meminfo: memFree=126062080/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1184556 memory=1057896 CPUtime=3332.05 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 178419 0 0 0 333157 48 0 0 20 0 1 0 42503121 1212985344 264474 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 296139 264474 3968 3530 0 287590 0
Current children cumulated CPU time: 3332.05 s
Current children cumulated vsize: 1184556 KiB
Current children cumulated memory: 1057896 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.22 4.09 5/249 33578
/proc/meminfo: memFree=125985316/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1184556 memory=1057896 CPUtime=3391.88 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 178437 0 0 0 339140 48 0 0 20 0 1 0 42503121 1212985344 264474 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 296139 264474 3968 3530 0 287590 0
Current children cumulated CPU time: 3391.88 s
Current children cumulated vsize: 1184556 KiB
Current children cumulated memory: 1057896 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.17 4.09 5/249 33580
/proc/meminfo: memFree=125883668/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1186988 memory=1058536 CPUtime=3451.7 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 178599 0 0 0 345122 48 0 0 20 0 1 0 42503121 1215475712 264634 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 296747 264634 3968 3530 0 288198 0
Current children cumulated CPU time: 3451.7 s
Current children cumulated vsize: 1186988 KiB
Current children cumulated memory: 1058536 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.16 4.09 5/249 33582
/proc/meminfo: memFree=125770104/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1192692 memory=1058536 CPUtime=3511.49 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 178607 0 0 0 351101 48 0 0 20 0 1 0 42503121 1221316608 264634 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 298173 264634 3968 3530 0 289624 0
Current children cumulated CPU time: 3511.49 s
Current children cumulated vsize: 1192692 KiB
Current children cumulated memory: 1058536 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.09 5/249 33584
/proc/meminfo: memFree=125696076/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1192692 memory=1059944 CPUtime=3571.28 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 179232 0 0 0 357080 48 0 0 20 0 1 0 42503121 1221316608 264986 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 298173 264986 3968 3530 0 289624 0
Current children cumulated CPU time: 3571.28 s
Current children cumulated vsize: 1192692 KiB
Current children cumulated memory: 1059944 KiB
[startup+3597.28 s]
# the end of solver process 33270 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.73 s, system=0.487088 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.16 4.09 5/249 33584
/proc/meminfo: memFree=125696580/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1192692 memory=1059944 CPUtime=3572.99 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 179236 0 0 0 357251 48 0 0 20 0 1 0 42503121 1221316608 264986 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 298173 264986 3968 3530 0 289624 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 1192692 KiB
Current children cumulated memory: 1059944 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.15 4.09 5/249 33584
/proc/meminfo: memFree=125688900/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1194308 memory=1059944 CPUtime=3579.35 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 179292 0 0 0 357887 48 0 0 20 0 1 0 42503121 1222971392 264986 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 298577 264986 3968 3530 0 290028 0
Current children cumulated CPU time: 3579.35 s
Current children cumulated vsize: 1194308 KiB
Current children cumulated memory: 1059944 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.15 4.09 5/249 33584
/proc/meminfo: memFree=125689152/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1194308 memory=1059944 CPUtime=3582.54 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 179295 0 0 0 358206 48 0 0 20 0 1 0 42503121 1222971392 264986 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 298577 264986 3968 3530 0 290028 0
Current children cumulated CPU time: 3582.54 s
Current children cumulated vsize: 1194308 KiB
Current children cumulated memory: 1059944 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.15 4.09 5/249 33584
/proc/meminfo: memFree=125688900/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1194308 memory=1059944 CPUtime=3584.14 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 179295 0 0 0 358366 48 0 0 20 0 1 0 42503121 1222971392 264986 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 298577 264986 3968 3530 0 290028 0
Current children cumulated CPU time: 3584.14 s
Current children cumulated vsize: 1194308 KiB
Current children cumulated memory: 1059944 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.15 4.09 5/249 33585
/proc/meminfo: memFree=125680708/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1194308 memory=1059944 CPUtime=3584.95 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 179295 0 0 0 358447 48 0 0 20 0 1 0 42503121 1222971392 264986 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 298577 264986 3968 3530 0 290028 0
Current children cumulated CPU time: 3584.95 s
Current children cumulated vsize: 1194308 KiB
Current children cumulated memory: 1059944 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.15 4.09 5/249 33585
/proc/meminfo: memFree=125680708/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1194308 memory=1059944 CPUtime=3585.73 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 179295 0 0 0 358525 48 0 0 20 0 1 0 42503121 1222971392 264986 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 298577 264986 3968 3530 0 290028 0
Current children cumulated CPU time: 3585.73 s
Current children cumulated vsize: 1194308 KiB
Current children cumulated memory: 1059944 KiB
[startup+3597.2 s]
/proc/loadavg: 4.10 4.15 4.09 5/249 33585
/proc/meminfo: memFree=125680708/131382120 swapFree=33010684/33010684
[pid=33270] ppid=33266 vsize=1194308 memory=1059944 CPUtime=3586.13 cores=1,3
/proc/33270/stat : 33270 (pbscip) R 33266 33270 33067 0 -1 4194304 179297 0 0 0 358565 48 0 0 20 0 1 0 42503121 1222971392 264986 18446744073709551615 4235264 18693293 140727813742960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30277632 140727813745033 140727813745132 140727813745132 140727813750734 0
/proc/33270/statm: 298577 264986 3968 3530 0 290028 0
Current children cumulated CPU time: 3586.13 s
Current children cumulated vsize: 1194308 KiB
Current children cumulated memory: 1059944 KiB
Child status: 0
Real time (s): 3597.28
CPU time (s): 3586.21
CPU user time (s): 3585.73
CPU system time (s): 0.487088
CPU usage (%): 99.6925
Max. virtual memory (cumulated for all children) (KiB): 1194308
Max. memory (cumulated for all children) (KiB): 1059944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.73
system time used= 0.487088
maximum resident set size= 1059944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179444
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= 153
involuntary context switches= 2101
# summary of solver processes directly reported to runsolver:
# pid: 33270
# total CPU time (s): 3586.21
# total CPU user time (s): 3585.73
# total CPU system time (s): 0.487088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8307 second user time and 32.8396 second system time
The end
Begin job on nodeC003 at 2025-06-30 09:24:04 IDJOB=4498152 IDBENCH=148532 IDSOLVER=3365 FILE ID=nodeC003/4498152-1751268244 RUNJOBID= nodeC003-1751268232-33086 SLURM_JOB_ID= 9594170 Free space on /tmp= 432720 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498152-1751268244/watcher-4498152-1751268244 -o /tmp/evaluation-result-4498152-1751268244/solver-4498152-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751268232-33086 --watchdog 3760 pbscip -f HOME/instance-4498152-1751268244.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= fc228e1220654f2d8d37c5d03b9b5ad1 RANDOM SEED=1449179163 nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.136 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.44 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.146 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.44 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 : 1197.137 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.44 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.164 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.44 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 : 3661.328 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.44 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 : 1197.184 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.44 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 : 1198.038 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.251 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129432004 kB MemAvailable: 129871668 kB Buffers: 3280 kB Cached: 1245816 kB SwapCached: 0 kB Active: 396148 kB Inactive: 996568 kB Active(anon): 161596 kB Inactive(anon): 0 kB Active(file): 234552 kB Inactive(file): 996568 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 57360 kB Writeback: 0 kB AnonPages: 146772 kB Mapped: 115700 kB Shmem: 17960 kB KReclaimable: 96340 kB Slab: 178820 kB SReclaimable: 96340 kB SUnreclaim: 82480 kB KernelStack: 3936 kB PageTables: 3240 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 441648 kB VmallocTotal: 34359738367 kB VmallocUsed: 149304 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432680 MiB End job on nodeC003 at 2025-06-30 10:24:02