Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | OPTIMUM | 40.1633 | 40.3548 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog05cc_wcsp.wbo |
| MD5SUM | 3a053c93e9d0e4397f450be459e8f306 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2641 |
| Best CPU time to get the best result obtained on this benchmark | 0.84552 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1359 |
| Total number of constraints | 37158 |
| Number of soft constraints | 36807 |
| Number of constraints which are clauses | 36807 |
| Number of constraints which are cardinality constraints (but not clauses) | 351 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Top cost | 108619 |
| Min constraint cost | 1 |
| Max constraint cost | 108619 |
| Sum of constraints costs | 3926793432 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 12 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4456372-1721719569.wbo>
0.09/0.17 c original problem has 38166 variables (38166 bin, 0 int, 0 impl, 0 cont) and 73966 constraints
0.09/0.17 c problem read in 0.17
0.58/0.66 c presolving:
0.78/0.87 c (round 1, fast) 72410 del vars, 36260 del conss, 0 add conss, 72302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 656 impls, 243 clqs
0.88/0.93 c (round 2, fast) 72416 del vars, 36278 del conss, 0 add conss, 72302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 656 impls, 28634 clqs
0.88/0.93 c (round 3, fast) 72420 del vars, 36290 del conss, 0 add conss, 72302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 656 impls, 28622 clqs
0.88/0.94 c (round 4, fast) 72420 del vars, 36290 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 656 impls, 28622 clqs
0.88/0.97 c (round 5, exhaustive) 72420 del vars, 44032 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 656 impls, 28622 clqs
0.98/1.06 c (round 6, exhaustive) 72420 del vars, 44032 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 28622 clqs
1.88/1.97 c (round 7, exhaustive) 72447 del vars, 44034 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 38870 clqs
2.77/2.81 c (round 8, exhaustive) 72472 del vars, 44034 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42575 clqs
2.77/2.82 c (round 9, fast) 72472 del vars, 44059 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42575 clqs
2.87/2.97 c (round 10, exhaustive) 72497 del vars, 44059 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42605 clqs
2.87/2.98 c (round 11, fast) 72497 del vars, 44084 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42605 clqs
3.07/3.15 c (round 12, exhaustive) 72522 del vars, 44084 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42632 clqs
3.07/3.16 c (round 13, fast) 72522 del vars, 44109 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42632 clqs
3.26/3.33 c (round 14, exhaustive) 72547 del vars, 44109 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42664 clqs
3.26/3.34 c (round 15, fast) 72547 del vars, 44134 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42664 clqs
3.36/3.49 c (round 16, exhaustive) 72572 del vars, 44134 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42689 clqs
3.46/3.50 c (round 17, fast) 72572 del vars, 44159 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42689 clqs
3.56/3.66 c (round 18, exhaustive) 72597 del vars, 44159 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42714 clqs
3.56/3.67 c (round 19, fast) 72597 del vars, 44184 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42714 clqs
3.76/3.86 c (round 20, exhaustive) 72622 del vars, 44184 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42741 clqs
3.76/3.87 c (round 21, fast) 72622 del vars, 44209 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42741 clqs
3.96/4.04 c (round 22, exhaustive) 72647 del vars, 44209 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42766 clqs
3.96/4.04 c (round 23, fast) 72647 del vars, 44234 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42766 clqs
4.16/4.21 c (round 24, exhaustive) 72672 del vars, 44234 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42800 clqs
4.16/4.22 c (round 25, fast) 72672 del vars, 44259 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42800 clqs
4.26/4.39 c (round 26, exhaustive) 72697 del vars, 44259 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42843 clqs
4.36/4.40 c (round 27, fast) 72697 del vars, 44284 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42843 clqs
4.46/4.57 c (round 28, exhaustive) 72722 del vars, 44284 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42868 clqs
4.46/4.57 c (round 29, fast) 72722 del vars, 44309 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42868 clqs
4.66/4.76 c (round 30, exhaustive) 72747 del vars, 44309 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42893 clqs
4.66/4.76 c (round 31, fast) 72747 del vars, 44334 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42893 clqs
4.86/4.93 c (round 32, exhaustive) 72772 del vars, 44334 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42918 clqs
4.86/4.94 c (round 33, fast) 72772 del vars, 44359 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42918 clqs
4.96/5.10 c (round 34, exhaustive) 72797 del vars, 44359 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42943 clqs
5.06/5.11 c (round 35, fast) 72797 del vars, 44384 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42943 clqs
5.06/5.17 c (5.2s) probing: 1000/2551 (39.2%) - 0 fixings, 381 aggregations, 14407 implications, 0 bound changes
5.15/5.28 c (round 36, exhaustive) 72822 del vars, 44384 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42970 clqs
5.15/5.29 c (round 37, fast) 72822 del vars, 44409 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 42970 clqs
5.35/5.45 c (round 38, exhaustive) 72847 del vars, 44409 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43005 clqs
5.35/5.46 c (round 39, fast) 72847 del vars, 44434 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43005 clqs
5.55/5.63 c (round 40, exhaustive) 72872 del vars, 44434 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43030 clqs
5.55/5.64 c (round 41, fast) 72872 del vars, 44459 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43030 clqs
5.75/5.80 c (round 42, exhaustive) 72897 del vars, 44459 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43059 clqs
5.75/5.81 c (round 43, fast) 72897 del vars, 44484 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43059 clqs
5.85/5.98 c (round 44, exhaustive) 72922 del vars, 44484 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43086 clqs
5.85/5.99 c (round 45, fast) 72922 del vars, 44509 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43086 clqs
6.05/6.15 c (round 46, exhaustive) 72947 del vars, 44509 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43119 clqs
6.05/6.16 c (round 47, fast) 72947 del vars, 44534 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43119 clqs
6.24/6.33 c (round 48, exhaustive) 72972 del vars, 44534 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43144 clqs
6.24/6.34 c (round 49, fast) 72972 del vars, 44559 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43144 clqs
6.34/6.49 c (round 50, exhaustive) 72997 del vars, 44559 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43169 clqs
6.44/6.50 c (round 51, fast) 72997 del vars, 44584 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43169 clqs
6.54/6.65 c (round 52, exhaustive) 73022 del vars, 44584 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43194 clqs
6.54/6.65 c (round 53, fast) 73022 del vars, 44609 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43194 clqs
6.74/6.80 c (round 54, exhaustive) 73047 del vars, 44609 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43228 clqs
6.74/6.81 c (round 55, fast) 73047 del vars, 44634 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43228 clqs
6.84/6.97 c (round 56, exhaustive) 73072 del vars, 44634 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43255 clqs
6.84/6.97 c (round 57, fast) 73072 del vars, 44659 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43255 clqs
7.13/7.20 c (7.2s) probing: 1602/2551 (62.8%) - 0 fixings, 656 aggregations, 14785 implications, 0 bound changes
7.13/7.20 c (7.2s) probing aborted: 50/50 successive totally useless probings
7.13/7.20 c (round 58, exhaustive) 73078 del vars, 44659 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43261 clqs
7.13/7.21 c (round 59, fast) 73078 del vars, 44684 del conss, 0 add conss, 72958 chg bounds, 0 chg sides, 0 chg coeffs, 28622 upgd conss, 656 impls, 43261 clqs
7.13/7.26 c (7.3s) probing: 1607/2551 (63.0%) - 0 fixings, 656 aggregations, 14785 implications, 0 bound changes
7.13/7.26 c (7.3s) probing aborted: 50/50 successive totally useless probings
7.13/7.26 c (7.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
7.13/7.28 c (7.3s) no symmetry present (symcode time: 0.01)
7.24/7.30 c presolving (60 rounds: 60 fast, 30 medium, 30 exhaustive):
7.24/7.30 c 73078 deleted vars, 44684 deleted constraints, 0 added constraints, 72958 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
7.24/7.30 c 656 implications, 43261 cliques
7.24/7.30 c presolved problem has 1895 variables (1895 bin, 0 int, 0 impl, 0 cont) and 29282 constraints
7.24/7.30 c 28620 constraints of type <setppc>
7.24/7.30 c 656 constraints of type <linear>
7.24/7.30 c 6 constraints of type <indicator>
7.24/7.30 c transformed objective value is always integral (scale: 1)
7.24/7.30 c Presolving Time: 6.99
7.24/7.30 c - non default parameters ----------------------------------------------------------------------
7.24/7.30 c # SCIP version 10.0.0
7.24/7.30 c
7.24/7.30 c # maximal time in seconds to run
7.24/7.30 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
7.24/7.30 c limits/time = 3596.997014
7.24/7.30 c
7.24/7.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.24/7.30 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
7.24/7.30 c limits/memory = 27900
7.24/7.30 c
7.24/7.30 c # belongs reading time to solving time?
7.24/7.30 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
7.24/7.30 c timing/reading = TRUE
7.24/7.30 c
7.24/7.30 c -----------------------------------------------------------------------------------------------
7.24/7.30 c start solving
7.24/7.30 c
7.34/7.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.34/7.49 c 7.5s| 1 | 0 | 1579 | - | 289M | 0 |1895 | 29k| 29k| 0 | 0 | 43 | 0 | 8.352250e+02 | -- | Inf | unknown
8.63/8.73 c 8.7s| 1 | 0 | 5645 | - | 296M | 0 |1895 | 29k| 29k| 7 | 1 | 44 | 0 | 9.737630e+02 | -- | Inf | unknown
8.84/8.95 c 8.9s| 1 | 0 | 5745 | - | 303M | 0 |1895 | 29k| 29k| 15 | 2 | 46 | 0 | 1.095861e+03 | -- | Inf | unknown
9.14/9.20 c 9.2s| 1 | 0 | 5927 | - | 308M | 0 |1895 | 29k| 29k| 24 | 3 | 47 | 0 | 1.161279e+03 | -- | Inf | unknown
9.53/9.68 c 9.7s| 1 | 0 | 6050 | - | 316M | 0 |1895 | 29k| 29k| 33 | 4 | 49 | 0 | 1.256430e+03 | -- | Inf | unknown
9.82/9.94 c 9.9s| 1 | 0 | 6156 | - | 324M | 0 |1895 | 29k| 29k| 40 | 5 | 50 | 0 | 1.332273e+03 | -- | Inf | unknown
10.23/10.35 c 10.4s| 1 | 0 | 6312 | - | 332M | 0 |1895 | 29k| 29k| 52 | 6 | 53 | 0 | 1.375489e+03 | -- | Inf | unknown
10.62/10.76 c 10.8s| 1 | 0 | 6553 | - | 338M | 0 |1895 | 29k| 29k| 62 | 7 | 55 | 0 | 1.440970e+03 | -- | Inf | unknown
11.22/11.34 c 11.3s| 1 | 0 | 6733 | - | 352M | 0 |1895 | 29k| 29k| 76 | 8 | 56 | 0 | 1.469145e+03 | -- | Inf | unknown
11.72/11.85 c 11.9s| 1 | 0 | 6948 | - | 364M | 0 |1895 | 29k| 29k| 87 | 9 | 58 | 0 | 1.505825e+03 | -- | Inf | unknown
12.32/12.47 c 12.5s| 1 | 0 | 7384 | - | 375M | 0 |1895 | 29k| 29k| 95 | 10 | 59 | 0 | 1.523969e+03 | -- | Inf | unknown
12.42/12.58 c 12.6s| 1 | 0 | 7591 | - | 378M | 0 |1895 | 29k| 29k| 101 | 11 | 60 | 0 | 1.549662e+03 | -- | Inf | unknown
12.52/12.68 c 12.7s| 1 | 0 | 7726 | - | 381M | 0 |1895 | 29k| 29k| 112 | 12 | 68 | 0 | 1.566248e+03 | -- | Inf | unknown
12.62/12.79 c 12.8s| 1 | 0 | 7870 | - | 384M | 0 |1895 | 29k| 29k| 120 | 13 | 69 | 0 | 1.584679e+03 | -- | Inf | unknown
12.81/12.92 c 12.9s| 1 | 0 | 8077 | - | 388M | 0 |1895 | 29k| 29k| 131 | 14 | 75 | 0 | 1.620268e+03 | -- | Inf | unknown
12.92/13.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.92/13.03 c 13.0s| 1 | 0 | 8292 | - | 390M | 0 |1895 | 29k| 29k| 141 | 15 | 76 | 0 | 1.641755e+03 | -- | Inf | unknown
13.02/13.13 c 13.1s| 1 | 0 | 8424 | - | 393M | 0 |1895 | 29k| 29k| 150 | 16 | 77 | 0 | 1.659196e+03 | -- | Inf | unknown
13.11/13.29 c 13.3s| 1 | 0 | 8766 | - | 396M | 0 |1895 | 29k| 29k| 157 | 17 | 79 | 0 | 1.707665e+03 | -- | Inf | unknown
13.21/13.38 c 13.4s| 1 | 0 | 8850 | - | 400M | 0 |1895 | 29k| 29k| 164 | 18 | 81 | 0 | 1.722160e+03 | -- | Inf | unknown
13.31/13.49 c 13.5s| 1 | 0 | 9034 | - | 403M | 0 |1895 | 29k| 29k| 173 | 19 | 82 | 0 | 1.734562e+03 | -- | Inf | unknown
13.41/13.58 c 13.6s| 1 | 0 | 9126 | - | 406M | 0 |1895 | 29k| 29k| 183 | 20 | 83 | 0 | 1.740730e+03 | -- | Inf | unknown
13.51/13.68 c 13.7s| 1 | 0 | 9262 | - | 406M | 0 |1895 | 29k| 29k| 189 | 21 | 84 | 0 | 1.753756e+03 | -- | Inf | unknown
13.61/13.77 c 13.8s| 1 | 0 | 9404 | - | 406M | 0 |1895 | 29k| 29k| 195 | 22 | 91 | 0 | 1.762869e+03 | -- | Inf | unknown
13.71/13.86 c 13.9s| 1 | 0 | 9512 | - | 407M | 0 |1895 | 29k| 29k| 201 | 23 | 96 | 0 | 1.769582e+03 | -- | Inf | unknown
13.81/13.97 c 14.0s| 1 | 0 | 9694 | - | 407M | 0 |1895 | 29k| 29k| 205 | 24 | 102 | 0 | 1.782155e+03 | -- | Inf | unknown
13.92/14.04 c 14.0s| 1 | 0 | 9798 | - | 407M | 0 |1895 | 29k| 29k| 213 | 25 | 103 | 0 | 1.789329e+03 | -- | Inf | unknown
14.02/14.10 c 14.1s| 1 | 0 | 9858 | - | 407M | 0 |1895 | 29k| 29k| 216 | 26 | 104 | 0 | 1.793055e+03 | -- | Inf | unknown
14.11/14.23 c 14.2s| 1 | 0 | 10094 | - | 407M | 0 |1895 | 29k| 29k| 220 | 27 | 106 | 0 | 1.802113e+03 | -- | Inf | unknown
14.21/14.30 c 14.3s| 1 | 0 | 10197 | - | 407M | 0 |1895 | 29k| 29k| 226 | 28 | 108 | 0 | 1.814025e+03 | -- | Inf | unknown
14.21/14.38 c 14.4s| 1 | 0 | 10259 | - | 407M | 0 |1895 | 29k| 29k| 232 | 29 | 113 | 0 | 1.820530e+03 | -- | Inf | unknown
14.31/14.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.31/14.46 c 14.5s| 1 | 0 | 10401 | - | 407M | 0 |1895 | 29k| 29k| 238 | 30 | 117 | 0 | 1.837015e+03 | -- | Inf | unknown
14.41/14.55 c 14.5s| 1 | 0 | 10515 | - | 407M | 0 |1895 | 29k| 29k| 245 | 31 | 123 | 0 | 1.848173e+03 | -- | Inf | unknown
14.51/14.62 c 14.6s| 1 | 0 | 10587 | - | 408M | 0 |1895 | 29k| 29k| 249 | 32 | 126 | 0 | 1.875076e+03 | -- | Inf | unknown
14.51/14.69 c 14.7s| 1 | 0 | 10685 | - | 408M | 0 |1895 | 29k| 29k| 254 | 33 | 130 | 0 | 1.885405e+03 | -- | Inf | unknown
14.61/14.77 c 14.8s| 1 | 0 | 10745 | - | 408M | 0 |1895 | 29k| 29k| 260 | 34 | 140 | 0 | 1.898171e+03 | -- | Inf | unknown
14.71/14.85 c 14.9s| 1 | 0 | 10804 | - | 408M | 0 |1895 | 29k| 29k| 264 | 35 | 141 | 0 | 1.900965e+03 | -- | Inf | unknown
14.81/14.93 c 14.9s| 1 | 0 | 10917 | - | 408M | 0 |1895 | 29k| 29k| 270 | 36 | 142 | 0 | 1.903851e+03 | -- | Inf | unknown
14.91/15.01 c 15.0s| 1 | 0 | 11034 | - | 408M | 0 |1895 | 29k| 29k| 277 | 37 | 144 | 0 | 1.911825e+03 | -- | Inf | unknown
14.91/15.08 c 15.1s| 1 | 0 | 11079 | - | 408M | 0 |1895 | 29k| 29k| 281 | 38 | 150 | 0 | 1.918357e+03 | -- | Inf | unknown
15.01/15.16 c 15.2s| 1 | 0 | 11154 | - | 408M | 0 |1895 | 29k| 29k| 286 | 39 | 151 | 0 | 1.921991e+03 | -- | Inf | unknown
15.10/15.25 c 15.2s| 1 | 0 | 11267 | - | 409M | 0 |1895 | 29k| 29k| 294 | 40 | 159 | 0 | 1.951623e+03 | -- | Inf | unknown
15.20/15.32 c 15.3s| 1 | 0 | 11366 | - | 409M | 0 |1895 | 29k| 29k| 300 | 41 | 160 | 0 | 1.970735e+03 | -- | Inf | unknown
15.30/15.42 c 15.4s| 1 | 0 | 11505 | - | 409M | 0 |1895 | 29k| 29k| 305 | 42 | 162 | 0 | 2.031005e+03 | -- | Inf | unknown
15.30/15.48 c 15.5s| 1 | 0 | 11533 | - | 409M | 0 |1895 | 29k| 29k| 311 | 43 | 163 | 0 | 2.033860e+03 | -- | Inf | unknown
15.40/15.54 c 15.5s| 1 | 0 | 11544 | - | 409M | 0 |1895 | 29k| 29k| 315 | 44 | 166 | 0 | 2.035983e+03 | -- | Inf | unknown
15.40/15.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.40/15.59 c 15.6s| 1 | 0 | 11561 | - | 409M | 0 |1895 | 29k| 29k| 321 | 45 | 167 | 0 | 2.036820e+03 | -- | Inf | unknown
15.50/15.65 c 15.6s| 1 | 0 | 11580 | - | 410M | 0 |1895 | 29k| 29k| 324 | 46 | 169 | 0 | 2.037520e+03 | -- | Inf | unknown
15.60/15.71 c 15.7s| 1 | 0 | 11591 | - | 410M | 0 |1895 | 29k| 29k| 328 | 47 | 179 | 0 | 2.037750e+03 | -- | Inf | unknown
15.60/15.76 c 15.8s| 1 | 0 | 11602 | - | 410M | 0 |1895 | 29k| 29k| 329 | 48 | 181 | 0 | 2.037900e+03 | -- | Inf | unknown
15.70/15.81 c 15.8s| 1 | 0 | 11609 | - | 410M | 0 |1895 | 29k| 29k| 333 | 49 | 186 | 0 | 2.038044e+03 | -- | Inf | unknown
15.70/15.86 c 15.9s| 1 | 0 | 11611 | - | 410M | 0 |1895 | 29k| 29k| 336 | 50 | 188 | 0 | 2.038065e+03 | -- | Inf | unknown
15.80/15.92 c 15.9s| 1 | 0 | 11617 | - | 410M | 0 |1895 | 29k| 29k| 339 | 51 | 191 | 0 | 2.038161e+03 | -- | Inf | unknown
15.80/15.97 c 16.0s| 1 | 0 | 11623 | - | 410M | 0 |1895 | 29k| 29k| 342 | 52 | 196 | 0 | 2.038189e+03 | -- | Inf | unknown
15.90/16.02 c 16.0s| 1 | 0 | 11626 | - | 410M | 0 |1895 | 29k| 29k| 343 | 53 | 198 | 0 | 2.038193e+03 | -- | Inf | unknown
15.90/16.08 c 16.1s| 1 | 0 | 11641 | - | 410M | 0 |1895 | 29k| 29k| 344 | 54 | 199 | 0 | 2.038255e+03 | -- | Inf | unknown
20.99/21.17 c 21.2s| 1 | 2 | 16458 | - | 412M | 0 |1895 | 29k| 29k| 344 | 55 | 231 | 25 | 2.224734e+03 | -- | Inf | unknown
26.66/26.80 o 2761
26.66/26.80 c *26.8s| 3 | 2 | 17173 |2766.0 |strongbr| 2 |1895 | 29k| 29k| 344 | 2 | 234 | 82 | 2.225851e+03 | 2.761000e+03 | 24.04%| unknown
34.12/34.32 o 2641
34.12/34.32 c *34.3s| 4 | 1 | 18050 |2136.3 |strongbr| 2 |1895 | 29k| 29k| 344 | 10 | 250 | 192 | 2.225851e+03 | 2.641000e+03 | 18.65%| 9.17%
39.81/40.03 c
39.81/40.03 c SCIP Status : problem is solved [optimal solution found]
39.81/40.03 c Solving Time (sec) : 40.03
39.81/40.03 c Solving Nodes : 9
39.81/40.03 c Primal Bound : +2.64100000000000e+03 (2 solutions)
39.81/40.03 c Dual Bound : +2.64100000000000e+03
39.81/40.03 c Gap : 0.00 %
39.81/40.09 s OPTIMUM FOUND
39.81/40.10 v -x1359 x1358 -x1357 x1356 x1355 -x1354 x1353 -x1352 -x1351 x1350 x1349 -x1348 x1347 -x1346 x1345 -x1344 x1343 -x1342 x1341 -x1340
39.81/40.10 v x1339 -x1338 x1337 -x1336 -x1335 x1334 -x1333 x1332 -x1331 x1330 -x1329 x1328 -x1327 x1326 x1325 -x1324 -x1323 x1322 x1321
39.81/40.10 v -x1320 -x1319 x1318 -x1317 x1316 -x1315 x1314 -x1313 x1312 -x1311 -x1310 -x1309 -x1308 -x1307 x1306 -x1305 -x1304 -x1303 x1302
39.81/40.10 v -x1301 -x1300 x1299 -x1298 -x1297 x1296 -x1295 -x1294 x1293 x1292 -x1291 -x1290 x1289 -x1288 x1287 -x1286 x1285 -x1284 x1283
39.81/40.10 v -x1282 x1281 -x1280 -x1279 -x1278 x1277 -x1276 -x1275 -x1274 x1273 -x1272 -x1271 x1270 -x1269 -x1268 x1267 -x1266 -x1265 x1264
39.81/40.10 v -x1263 -x1262 x1261 -x1260 -x1259 x1258 -x1257 -x1256 x1255 -x1254 x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 x1246
39.81/40.10 v -x1245 x1244 -x1243 x1242 x1241 -x1240 -x1239 x1238 -x1237 x1236 -x1235 x1234 x1233 -x1232 -x1231 x1230 -x1229 x1228 -x1227 x1226
39.81/40.10 v -x1225 x1224 -x1223 x1222 -x1221 x1220 -x1219 x1218 -x1217 x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 -x1209 x1208 -x1207
39.81/40.10 v -x1206 -x1205 x1204 -x1203 -x1202 x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 x1191 -x1190 -x1189
39.81/40.10 v x1188 -x1187 -x1186 -x1185 -x1184 -x1183 x1182 x1181 -x1180 x1179 -x1178 -x1177 x1176 -x1175 x1174 -x1173 -x1172 x1171 -x1170
39.81/40.10 v -x1169 -x1168 x1167 -x1166 -x1165 x1164 -x1163 -x1162 -x1161 x1160 -x1159 -x1158 -x1157 x1156 -x1155 -x1154 -x1153 x1152
39.81/40.10 v -x1151 -x1150 -x1149 x1148 -x1147 -x1146 x1145 -x1144 x1143 -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 -x1135 x1134 -x1133
39.81/40.10 v -x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1115
39.81/40.10 v -x1114 -x1113 x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 x1105 -x1104 -x1103 x1102 -x1101 -x1100 x1099 -x1098 -x1097 x1096
39.81/40.10 v -x1095 -x1094 x1093 -x1092 x1091 -x1090 x1089 -x1088 -x1087 x1086 -x1085 x1084 x1083 -x1082 -x1081 -x1080 x1079 -x1078 x1077
39.81/40.10 v -x1076 x1075 -x1074 -x1073 x1072 -x1071 x1070 -x1069 x1068 -x1067 x1066 -x1065 x1064 x1063 -x1062 x1061 -x1060 -x1059 -x1058
39.81/40.10 v x1057 -x1056 x1055 -x1054 x1053 -x1052 x1051 -x1050 x1049 -x1048 x1047 -x1046 x1045 -x1044 x1043 -x1042 x1041 -x1040 x1039
39.81/40.10 v -x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032 x1031 -x1030 -x1029 -x1028 x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021 -x1020
39.81/40.10 v x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002
39.81/40.10 v x1001 -x1000 -x999 x998 -x997 -x996 -x995 x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 x985 -x984 -x983 x982 -x981 -x980
39.81/40.10 v -x979 -x978 -x977 x976 -x975 -x974 -x973 -x972 x971 -x970 -x969 -x968 x967 -x966 -x965 -x964 x963 -x962 -x961 -x960 x959
39.81/40.10 v -x958 -x957 -x956 x955 -x954 -x953 -x952 -x951 x950 -x949 -x948 -x947 x946 -x945 -x944 -x943 -x942 x941 -x940 -x939 -x938 x937
39.81/40.10 v -x936 -x935 -x934 -x933 -x932 x931 -x930 -x929 -x928 -x927 -x926 x925 -x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 x916
39.81/40.10 v -x915 -x914 -x913 x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 x895 -x894
39.81/40.10 v -x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873
39.81/40.10 v x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 x858 -x857 -x856 -x855 x854 -x853 -x852 -x851
39.81/40.10 v -x850 x849 -x848 -x847 x846 -x845 -x844 x843 -x842 -x841 -x840 x839 -x838 -x837 x836 -x835 -x834 x833 -x832 -x831 x830 -x829
39.81/40.10 v -x828 x827 -x826 x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 x817 -x816 x815 -x814 x813 -x812 x811 -x810 x809 -x808 x807
39.81/40.10 v -x806 x805 -x804 x803 -x802 x801 -x800 x799 -x798 x797 -x796 x795 -x794 x793 -x792 x791 -x790 x789 -x788 x787 -x786 x785 -x784
39.81/40.10 v x783 -x782 x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 -x766 -x765 -x764 x763 -x762
39.81/40.10 v -x761 -x760 -x759 -x758 -x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741
39.81/40.10 v -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 -x724 -x723 -x722 x721 -x720
39.81/40.10 v -x719 -x718 x717 -x716 -x715 -x714 x713 -x712 -x711 -x710 x709 -x708 -x707 x706 -x705 -x704 -x703 -x702 -x701 x700 -x699 -x698
39.81/40.10 v -x697 -x696 x695 -x694 -x693 -x692 x691 -x690 -x689 -x688 x687 -x686 -x685 -x684 x683 -x682 -x681 -x680 x679 -x678 -x677
39.81/40.10 v -x676 -x675 x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 x655
39.81/40.10 v -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 x634
39.81/40.10 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613 -x612
39.81/40.10 v x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 x599 -x598 -x597 -x596 -x595 -x594 x593 -x592 -x591
39.81/40.10 v -x590 x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 x570 -x569
39.81/40.10 v -x568 -x567 x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 x558 -x557 -x556 x555 -x554 -x553 -x552 x551 -x550 -x549 x548 -x547
39.81/40.10 v -x546 x545 x544 -x543 -x542 x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 x533 -x532 -x531 -x530 x529 -x528 -x527 x526 -x525
39.81/40.10 v -x524 x523 -x522 -x521 x520 -x519 -x518 x517 -x516 -x515 x514 -x513 -x512 x511 -x510 x509 -x508 -x507 -x506 x505 -x504 x503
39.81/40.10 v -x502 x501 -x500 x499 -x498 x497 -x496 x495 -x494 x493 -x492 x491 -x490 x489 -x488 x487 -x486 x485 -x484 x483 -x482 x481
39.81/40.10 v -x480 x479 -x478 x477 -x476 x475 -x474 x473 -x472 x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459
39.81/40.10 v -x458 x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
39.81/40.10 v -x436 -x435 -x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
39.81/40.10 v -x415 -x414 x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 x397 -x396 -x395 x394
39.81/40.10 v -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 x374 -x373
39.81/40.10 v -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351
39.81/40.10 v -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330
39.81/40.10 v -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309
39.81/40.10 v -x308 x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 x287
39.81/40.10 v -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 x268 -x267 -x266
39.81/40.10 v -x265 -x264 x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 x245 -x244
39.81/40.10 v -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 x225 -x224 -x223 -x222
39.81/40.10 v x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 x209 -x208 -x207 -x206 x205 -x204 -x203 x202 -x201
39.81/40.10 v -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179
39.81/40.10 v x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 x158
39.81/40.10 v -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136
39.81/40.10 v -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 x115
39.81/40.10 v -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 x92
39.81/40.10 v -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 x66
39.81/40.10 v -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 x51 -x50 x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 x41 -x40
39.81/40.10 v -x39 -x38 -x37 x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 x16 -x15 -x14
39.81/40.10 v -x13 -x12 -x11 x10 -x9 -x8 x7 -x6 -x5 x4 -x3 -x2 x1
39.81/40.10 c SCIP Status : problem is solved [optimal solution found]
39.81/40.10 c Total Time : 40.03
39.81/40.10 c solving : 40.03
39.81/40.10 c presolving : 6.99 (included in solving)
39.81/40.10 c reading : 0.17 (included in solving)
39.81/40.10 c copying : 0.09 (2 #copies) (minimal 0.04, maximal 0.05, average 0.04)
39.81/40.10 c Original Problem :
39.81/40.10 c Problem name : HOME/instance-4456372-1721719569.wbo
39.81/40.10 c Variables : 38166 (38166 binary, 0 integer, 0 implicit integer, 0 continuous)
39.81/40.10 c Constraints : 73966 initial, 73966 maximal
39.81/40.10 c Objective : minimize, 36807 non-zeros (abs.min = 1, abs.max = 108619)
39.81/40.10 c Presolved Problem :
39.81/40.10 c Problem name : t_HOME/instance-4456372-1721719569.wbo
39.81/40.10 c Variables : 1895 (1895 binary, 0 integer, 0 implicit integer, 0 continuous)
39.81/40.10 c Constraints : 29282 initial, 29447 maximal
39.81/40.10 c Objective : minimize, 656 non-zeros (abs.min = 1, abs.max = 348)
39.81/40.10 c Nonzeros : 59233 constraint, 87039 clique table
39.81/40.10 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
39.81/40.10 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c domcol : 0.00 0.00 28 0 0 0 0 0 0 0 0 0
39.81/40.10 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
39.81/40.10 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c implics : 0.00 0.00 30 0 0 0 0 0 0 0 0 0
39.81/40.10 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
39.81/40.10 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c trivial : 0.01 0.00 60 0 0 0 0 0 0 0 0 0
39.81/40.10 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c dualfix : 0.01 0.00 60 10 0 0 0 0 0 0 0 0
39.81/40.10 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c probing : 5.22 0.00 28 0 656 0 0 0 0 0 0 0
39.81/40.10 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
39.81/40.10 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
39.81/40.10 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c setppc : 0.91 0.00 110 0 2 0 0 0 2 0 0 0
39.81/40.10 c linear : 0.32 0.01 90 36151 108 0 36807 0 7881 0 0 0
39.81/40.10 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c indicator : 0.07 0.00 31 36151 0 0 36151 0 36801 0 0 0
39.81/40.10 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
39.81/40.10 c root node : - - - 985 - - 985 - - - - -
39.81/40.10 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
39.81/40.10 c benderslp : 0 0 0 0 27 0 0 50 0 0 0 0 0 0 0
39.81/40.10 c integral : 0 0 0 0 27 0 0 50 0 1 380 0 0 88 8
39.81/40.10 c knapsack : 0+ 2 0 2057 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c setppc : 28620+ 28638 55 9302 0 0 0 44 2753 93 1146 2 0 0 0
39.81/40.10 c linear : 656+ 658 55 9209 0 0 0 43 199 1 791 0 0 0 0
39.81/40.10 c logicor : 0+ 236 55 1472 0 0 0 0 82 15 12 1 1 0 0
39.81/40.10 c benders : 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0
39.81/40.10 c indicator : 6 6 55 9193 0 0 0 2 0 0 0 0 0 0 0
39.81/40.10 c fixedvar : 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0
39.81/40.10 c countsols : 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0
39.81/40.10 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
39.81/40.10 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
39.81/40.10 c integral : 20.92 0.00 0.00 0.00 20.91 0.00 0.00 0.00 0.00 0.00
39.81/40.10 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
39.81/40.10 c setppc : 2.12 0.00 0.07 1.75 0.00 0.00 0.00 0.14 0.00 0.17
39.81/40.10 c linear : 0.23 0.01 0.18 0.04 0.00 0.00 0.00 0.01 0.00 0.01
39.81/40.10 c logicor : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.01
39.81/40.10 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
39.81/40.10 c indicator : 0.09 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
39.81/40.10 c fixedvar : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
39.81/40.10 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
39.81/40.10 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
39.81/40.10 c Propagators : #Propagate #ResProp Cutoffs DomReds
39.81/40.10 c dualfix : 2 0 0 0
39.81/40.10 c genvbounds : 0 0 0 0
39.81/40.10 c nlobbt : 0 0 0 0
39.81/40.10 c obbt : 0 0 0 0
39.81/40.10 c probing : 0 0 0 0
39.81/40.10 c pseudoobj : 291 0 0 0
39.81/40.10 c redcost : 128 0 0 1637
39.81/40.10 c rootredcost : 3 0 0 1
39.81/40.10 c symmetry : 0 0 0 0
39.81/40.10 c vbounds : 2881 0 0 0
39.81/40.10 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
39.81/40.10 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
39.81/40.10 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
39.81/40.10 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
39.81/40.10 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
39.81/40.10 c probing : 5.22 0.00 5.22 0.00 0.00 0.00
39.81/40.10 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
39.81/40.10 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
39.81/40.10 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
39.81/40.10 c symmetry : 0.03 0.00 0.03 0.00 0.00 0.00
39.81/40.10 c vbounds : 0.02 0.00 0.01 0.00 0.00 0.00
39.81/40.10 c Symmetry :
39.81/40.10 c orbitopal red. : 0 reductions applied, 0 cutoffs
39.81/40.10 c orbital reduction: 0 reductions applied, 0 cutoffs
39.81/40.10 c lexicographic red: 0 reductions applied, 0 cutoffs
39.81/40.10 c shadow tree time : 0.00 s
39.81/40.10 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
39.81/40.10 c propagation : 0.00 102 99 - 244 10.7 1 8.0 - - -
39.81/40.10 c infeasible LP : 0.00 4 4 - 20 29.4 0 0.0 4 107.0 0
39.81/40.10 c bound exceed. LP : 0.11 40 25 - 68 37.1 1 20.0 7 119.9 167
39.81/40.10 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
39.81/40.10 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
39.81/40.10 c applied globally : 0.01 - - 0 314 12.1 - - 11 - -
39.81/40.10 c applied locally : - - - 0 0 0.0 - - 0 - -
39.81/40.10 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
39.81/40.10 c cut pool : 0.09 - 108 108 - - 2430 4139 - - - - - (maximal pool size: 2430)
39.81/40.10 c aggregation : 0.34 0.00 55 55 0 0 2 2 0 2 2 0 0
39.81/40.10 c > cmir : - - - - - - - 1 0 1 1 0 -
39.81/40.10 c > flowcover : - - - - - - - 0 0 0 0 0 -
39.81/40.10 c > knapsackcover : - - - - - - - 1 0 1 1 0 -
39.81/40.10 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c clique : 0.40 0.00 55 55 0 0 349 578 0 245 245 0 0
39.81/40.10 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c gomory : 3.04 0.00 10 10 0 0 2002 3418 0 41 41 0 0
39.81/40.10 c > gomorymi : - - - - - - - 2089 0 15 15 0 -
39.81/40.10 c > strongcg : - - - - - - - 1329 0 26 26 0 -
39.81/40.10 c impliedbounds : 0.06 0.00 55 55 0 6 16 22 0 5 5 0 0
39.81/40.10 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c mcf : 0.03 0.00 1 1 0 0 0 0 0 0 0 0 0
39.81/40.10 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c multilinear : 0.00 0.00 58 55 0 0 0 0 0 0 0 0 0
39.81/40.10 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.81/40.10 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
39.81/40.10 c zerohalf : 0.12 0.00 20 20 0 0 61 119 0 50 50 0 0
39.81/40.10 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
39.81/40.10 c hybrid : 0.02 0.00 54 54 344 0 3798 344 0 3798
39.81/40.10 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c Pricers : ExecTime SetupTime Calls Vars
39.81/40.10 c problem variables: 0.00 - 0 0
39.81/40.10 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
39.81/40.10 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c random : 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c relpscost : 20.91 0.00 27 0 0 1 380 0 88 8
39.81/40.10 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
39.81/40.10 c Primal Heuristics : ExecTime SetupTime Calls Found Best
39.81/40.10 c LP solutions : 0.00 - - 0 0
39.81/40.10 c relax solutions : 0.00 - - 0 0
39.81/40.10 c pseudo solutions : 0.00 - - 0 0
39.81/40.10 c strong branching : 0.01 - - 2 2
39.81/40.10 c actconsdiving : 0.00 0.00 0 0 0
39.81/40.10 c adaptivediving : 0.00 0.00 0 0 0
39.81/40.10 c alns : 0.09 0.00 1 0 0
39.81/40.10 c bound : 0.00 0.00 0 0 0
39.81/40.10 c clique : 0.06 0.00 1 0 0
39.81/40.10 c coefdiving : 0.00 0.00 0 0 0
39.81/40.10 c completesol : 0.00 0.00 0 0 0
39.81/40.10 c conflictdiving : 0.53 0.00 1 0 0
39.81/40.10 c crossover : 0.00 0.00 0 0 0
39.81/40.10 c dins : 0.00 0.00 0 0 0
39.81/40.10 c distributiondivin: 0.00 0.00 0 0 0
39.81/40.10 c dps : 0.00 0.00 0 0 0
39.81/40.10 c dualval : 0.00 0.00 0 0 0
39.81/40.10 c farkasdiving : 1.04 0.00 1 0 0
39.81/40.10 c feasjump : 0.02 0.00 1 0 0
39.81/40.10 c feaspump : 1.01 0.00 1 0 0
39.81/40.10 c fixandinfer : 0.00 0.00 0 0 0
39.81/40.10 c fracdiving : 0.00 0.00 0 0 0
39.81/40.10 c gins : 0.00 0.00 0 0 0
39.81/40.10 c guideddiving : 0.00 0.00 0 0 0
39.81/40.10 c indcoefdiving : 0.00 0.00 0 0 0
39.81/40.10 c indicator : 0.00 0.00 0 0 0
39.81/40.10 c indicatordiving : 0.00 0.00 0 0 0
39.81/40.10 c indoneopt : 0.15 0.00 3 0 0
39.81/40.10 c indrounding : 0.00 0.00 0 0 0
39.81/40.10 c indtwoopt : 0.00 0.00 0 0 0
39.81/40.10 c intdiving : 0.00 0.00 0 0 0
39.81/40.10 c intshifting : 0.00 0.00 0 0 0
39.81/40.10 c linesearchdiving : 0.00 0.00 0 0 0
39.81/40.10 c localbranching : 0.00 0.00 0 0 0
39.81/40.10 c locks : 0.02 0.00 1 0 0
39.81/40.10 c lpface : 0.00 0.00 0 0 0
39.81/40.10 c mpec : 0.00 0.00 0 0 0
39.81/40.10 c multistart : 0.00 0.00 0 0 0
39.81/40.10 c mutation : 0.00 0.00 0 0 0
39.81/40.10 c nlpdiving : 0.00 0.00 0 0 0
39.81/40.10 c objpscostdiving : 0.00 0.00 0 0 0
39.81/40.10 c octane : 0.00 0.00 0 0 0
39.81/40.10 c ofins : 0.00 0.00 0 0 0
39.81/40.10 c oneopt : 0.01 0.00 2 0 0
39.81/40.10 c padm : 0.00 0.00 0 0 0
39.81/40.10 c proximity : 0.00 0.00 0 0 0
39.81/40.10 c pscostdiving : 0.00 0.00 0 0 0
39.81/40.10 c randrounding : 0.71 0.00 55 0 0
39.81/40.10 c rens : 0.12 0.00 1 0 0
39.81/40.10 c reoptsols : 0.00 0.00 0 0 0
39.81/40.10 c repair : 0.00 0.00 0 0 0
39.81/40.10 c rins : 0.00 0.00 0 0 0
39.81/40.10 c rootsoldiving : 0.00 0.00 0 0 0
39.81/40.10 c rounding : 0.10 0.00 81 0 0
39.81/40.10 c scheduler : 0.00 0.00 0 0 0
39.81/40.10 c shiftandpropagate: 0.01 0.00 1 0 0
39.81/40.10 c shifting : 0.73 0.00 55 0 0
39.81/40.10 c simplerounding : 0.00 0.00 81 0 0
39.81/40.10 c smallcard : 0.00 0.00 0 0 0
39.81/40.10 c subnlp : 0.00 0.00 0 0 0
39.81/40.10 c trivial : 0.03 0.00 2 0 0
39.81/40.10 c trivialnegation : 0.00 0.00 0 0 0
39.81/40.10 c trustregion : 0.00 0.00 0 0 0
39.81/40.10 c trysol : 0.00 0.00 0 0 0
39.81/40.10 c twoopt : 0.00 0.00 0 0 0
39.81/40.10 c undercover : 0.00 0.00 0 0 0
39.81/40.10 c vbounds : 0.02 0.00 1 0 0
39.81/40.10 c veclendiving : 0.00 0.00 0 0 0
39.81/40.10 c zeroobj : 0.00 0.00 0 0 0
39.81/40.10 c zirounding : 0.00 0.00 4 0 0
39.81/40.10 c other solutions : - - - 0 -
39.81/40.10 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
39.81/40.10 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
39.81/40.10 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
39.81/40.10 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
39.81/40.10 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
39.81/40.10 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
39.81/40.10 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
39.81/40.10 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
39.81/40.10 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
39.81/40.10 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
39.81/40.10 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
39.81/40.10 c primal LP : 0.02 9 0 0.00 0.00 0.02 9
39.81/40.10 c dual LP : 2.26 114 10006 126.66 4424.80 0.11 35
39.81/40.10 c lex dual LP : 0.00 0 0 0.00 -
39.81/40.10 c barrier LP : 0.00 0 0 0.00 - 0.00 0
39.81/40.10 c resolve instable : 0.00 0 0 0.00 -
39.81/40.10 c diving/probing LP: 2.80 77 10006 129.95 3572.58
39.81/40.10 c strong branching : 18.40 316 73182 231.59 3978.29 - - 2
39.81/40.10 c (at root node) : - 25 12572 502.88 -
39.81/40.10 c conflict analysis: 0.07 18 167 9.28 2336.29
39.81/40.10 c B&B Tree :
39.81/40.10 c number of runs : 1
39.81/40.10 c nodes : 9 (4 internal, 5 leaves)
39.81/40.10 c feasible leaves : 0
39.81/40.10 c infeas. leaves : 2
39.81/40.10 c objective leaves : 3
39.81/40.10 c nodes (total) : 9 (4 internal, 5 leaves)
39.81/40.10 c nodes left : 0
39.81/40.10 c max depth : 3
39.81/40.10 c max depth (total): 3
39.81/40.10 c backtracks : 2 (22.2%)
39.81/40.10 c early backtracks : 0 (0.0%)
39.81/40.10 c nodes exc. ref. : 0 (0.0%)
39.81/40.10 c delayed cutoffs : 0
39.81/40.10 c repropagations : 3 (0 domain reductions, 0 cutoffs)
39.81/40.10 c avg switch length: 2.44
39.81/40.10 c switching time : 0.02
39.81/40.10 c Root Node :
39.81/40.10 c First LP value : +8.35225000000000e+02
39.81/40.10 c First LP Iters : 1579 (40951.29 Iter/sec)
39.81/40.10 c First LP Time : 0.04
39.81/40.10 c Final Dual Bound : +2.22473414727203e+03
39.81/40.10 c Final Root Iters : 11641
39.81/40.10 c Root LP Estimate : +6.25785649742329e+03
39.81/40.10 c Solution :
39.81/40.10 c Solutions found : 2 (2 improvements)
39.81/40.10 c First Solution : +2.76100000000000e+03 (in run 1, after 3 nodes, 26.79 seconds, depth 4, found by <relaxation>)
39.81/40.10 c Gap First Sol. : 24.04 %
39.81/40.10 c Gap Last Sol. : 18.65 %
39.81/40.10 c Primal Bound : +2.64100000000000e+03 (in run 1, after 4 nodes, 34.31 seconds, depth 4, found by <relaxation>)
39.81/40.10 c Dual Bound : +2.64100000000000e+03
39.81/40.10 c Gap : 0.00 %
39.81/40.10 c Integrals : Total Avg%
39.81/40.10 c primal-dual : 2887.04 72.12
39.81/40.10 c primal-ref : - - (not evaluated)
39.81/40.10 c dual-ref : - - (not evaluated)
40.10/40.34 c Time complete: 40.1512.
OK 2641
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: 63931 MiB (51335 MiB free)
memory of node 1: 64510 MiB (51678 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456372-1721719569/watcher-4456372-1721719569 -o /tmp/evaluation-result-4456372-1721719569/solver-4456372-1721719569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721718429-88162 --watchdog 3760 pbscip -f HOME/instance-4456372-1721719569.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=89603, runsolver pid=89600
[startup+0.101047 s]*
/proc/loadavg: 4.14 4.09 3.42 5/257 89604
/proc/meminfo: memFree=105445860/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=92428 memory=52120 CPUtime=0.09 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 10079 0 0 0 7 2 0 0 20 0 1 0 8486148 94646272 13030 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 23107 13030 3238 3540 0 11364 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 92428 KiB
Current children cumulated memory: 52120 KiB
[startup+0.205805 s]*
/proc/loadavg: 4.14 4.09 3.42 5/257 89604
/proc/meminfo: memFree=105394424/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=148620 memory=108640 CPUtime=0.2 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 24406 0 0 0 16 4 0 0 20 0 1 0 8486148 152186880 27160 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 37155 27160 3542 3540 0 25412 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 148620 KiB
Current children cumulated memory: 108640 KiB
[startup+0.305762 s]*
/proc/loadavg: 4.14 4.09 3.42 5/257 89604
/proc/meminfo: memFree=105351308/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=188012 memory=147772 CPUtime=0.29 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 34172 0 0 0 25 4 0 0 20 0 1 0 8486148 192524288 36943 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 47003 36943 3558 3540 0 35260 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 188012 KiB
Current children cumulated memory: 147772 KiB
[startup+0.700235 s]
/proc/loadavg: 4.12 4.09 3.43 5/257 89604
/proc/meminfo: memFree=105273888/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=326712 memory=280292 CPUtime=0.68 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 68595 0 0 0 59 9 0 0 20 0 1 0 8486148 334553088 70073 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 81678 70073 3590 3540 0 69935 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 326712 KiB
Current children cumulated memory: 280292 KiB
[startup+1.50021 s]
/proc/loadavg: 4.12 4.09 3.43 5/257 89604
/proc/meminfo: memFree=105217196/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=324012 memory=277836 CPUtime=1.48 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 70423 0 0 0 138 10 0 0 20 0 1 0 8486148 331788288 69459 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 81003 69459 3622 3540 0 69260 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 324012 KiB
Current children cumulated memory: 277836 KiB
[startup+3.1058 s]
/proc/loadavg: 4.12 4.09 3.43 5/257 89604
/proc/meminfo: memFree=105219992/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=324620 memory=278364 CPUtime=3.07 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 70577 0 0 0 297 10 0 0 20 0 1 0 8486148 332410880 69591 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 81155 69591 3622 3540 0 69412 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 324620 KiB
Current children cumulated memory: 278364 KiB
[startup+6.30022 s]
/proc/loadavg: 4.11 4.09 3.43 5/257 89606
/proc/meminfo: memFree=105219224/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=325324 memory=279156 CPUtime=6.24 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 70750 0 0 0 613 11 0 0 20 0 1 0 8486148 333131776 69789 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 81331 69789 3622 3540 0 69588 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 325324 KiB
Current children cumulated memory: 279156 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.10 3.44 5/257 89606
/proc/meminfo: memFree=105134348/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=458160 memory=374908 CPUtime=12.62 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 95757 0 0 0 1244 18 0 0 20 0 1 0 8486148 469155840 93727 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 114540 93727 3862 3540 0 102797 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 458160 KiB
Current children cumulated memory: 374908 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.10 3.45 5/257 89610
/proc/meminfo: memFree=105073092/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=528228 memory=425920 CPUtime=25.36 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 107935 0 0 0 2515 21 0 0 20 0 1 0 8486148 540905472 106480 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 132057 106480 3957 3540 0 120314 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 528228 KiB
Current children cumulated memory: 425920 KiB
[startup+40.3548 s]
# the end of solver process 89603 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=39.9143 s, system=0.248989 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 4.16 4.10 3.45 5/257 89610
/proc/meminfo: memFree=105073092/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=528228 memory=425920 CPUtime=25.46 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 107935 0 0 0 2525 21 0 0 20 0 1 0 8486148 540905472 106480 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 132057 106480 3957 3540 0 120314 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 528228 KiB
Current children cumulated memory: 425920 KiB
[startup+32.0002 s]*
/proc/loadavg: 4.13 4.09 3.45 5/257 89610
/proc/meminfo: memFree=105071640/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=528716 memory=426752 CPUtime=31.84 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 108410 0 0 0 3162 22 0 0 20 0 1 0 8486148 541405184 106688 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 132179 106688 3957 3540 0 120436 0
Current children cumulated CPU time: 31.84 s
Current children cumulated vsize: 528716 KiB
Current children cumulated memory: 426752 KiB
[startup+35.2003 s]
/proc/loadavg: 4.13 4.09 3.45 5/257 89611
/proc/meminfo: memFree=105071652/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=528716 memory=426752 CPUtime=35.03 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 108410 0 0 0 3480 23 0 0 20 0 1 0 8486148 541405184 106688 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 132179 106688 3957 3540 0 120436 0
Current children cumulated CPU time: 35.03 s
Current children cumulated vsize: 528716 KiB
Current children cumulated memory: 426752 KiB
[startup+38.4002 s]
/proc/loadavg: 4.12 4.09 3.46 5/257 89611
/proc/meminfo: memFree=105071644/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=528716 memory=426752 CPUtime=38.21 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 108410 0 0 0 3798 23 0 0 20 0 1 0 8486148 541405184 106688 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 132179 106688 3957 3540 0 120436 0
Current children cumulated CPU time: 38.21 s
Current children cumulated vsize: 528716 KiB
Current children cumulated memory: 426752 KiB
[startup+39.2002 s]
/proc/loadavg: 4.12 4.09 3.46 5/257 89611
/proc/meminfo: memFree=105071616/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=528716 memory=426752 CPUtime=39.01 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 108410 0 0 0 3878 23 0 0 20 0 1 0 8486148 541405184 106688 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 132179 106688 3957 3540 0 120436 0
Current children cumulated CPU time: 39.01 s
Current children cumulated vsize: 528716 KiB
Current children cumulated memory: 426752 KiB
[startup+40.0002 s]*
/proc/loadavg: 4.12 4.09 3.46 5/257 89611
/proc/meminfo: memFree=105069724/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=528716 memory=426752 CPUtime=39.81 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 108412 0 0 0 3958 23 0 0 20 0 1 0 8486148 541405184 106688 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 132179 106688 3957 3540 0 120436 0
Current children cumulated CPU time: 39.81 s
Current children cumulated vsize: 528716 KiB
Current children cumulated memory: 426752 KiB
[startup+40.2002 s]
/proc/loadavg: 4.12 4.09 3.46 5/257 89611
/proc/meminfo: memFree=105069724/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=527816 memory=425948 CPUtime=40 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 108420 0 0 0 3977 23 0 0 20 0 1 0 8486148 540483584 106487 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 131954 106487 3979 3540 0 120211 0
Current children cumulated CPU time: 40 s
Current children cumulated vsize: 527816 KiB
Current children cumulated memory: 425948 KiB
[startup+40.3002 s]
/proc/loadavg: 4.12 4.09 3.46 5/257 89611
/proc/meminfo: memFree=105069724/131524600 swapFree=131071996/131071996
[pid=89603] ppid=89600 vsize=423208 memory=321428 CPUtime=40.1 cores=0,2
/proc/89603/stat : 89603 (pbscip) R 89600 89603 88152 0 -1 4194304 108675 0 0 0 3987 23 0 0 20 0 1 0 8486148 433364992 80357 134679101440 4194304 18693293 140732101133344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51208192 140732101141507 140732101141606 140732101141606 140732101148622 0
/proc/89603/statm: 105802 80357 3979 3540 0 94059 0
Current children cumulated CPU time: 40.1 s
Current children cumulated vsize: 423208 KiB
Current children cumulated memory: 321428 KiB
Child status: 0
Real time (s): 40.3548
CPU time (s): 40.1633
CPU user time (s): 39.9143
CPU system time (s): 0.248989
CPU usage (%): 99.5253
Max. virtual memory (cumulated for all children) (KiB): 528716
Max. memory (cumulated for all children) (KiB): 426752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.9143
system time used= 0.248989
maximum resident set size= 426752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108683
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= 14
involuntary context switches= 284
# summary of solver processes directly reported to runsolver:
# pid: 89603
# total CPU time (s): 40.1633
# total CPU user time (s): 39.9143
# total CPU system time (s): 0.248989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081911 second user time and 0.238054 second system time
The end
Begin job on nodeC023 at 2024-07-23 09:26:09 IDJOB=4456372 IDBENCH=143948 IDSOLVER=3038 FILE ID=nodeC023/4456372-1721719569 RUNJOBID= nodeC023-1721718429-88162 SLURM_JOB_ID= 7770414 Free space on /tmp= 890020 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/driver/normalized-driverlog05cc_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456372-1721719569/watcher-4456372-1721719569 -o /tmp/evaluation-result-4456372-1721719569/solver-4456372-1721719569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721718429-88162 --watchdog 3760 pbscip -f HOME/instance-4456372-1721719569.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3a053c93e9d0e4397f450be459e8f306 RANDOM SEED=117729844 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3665.128 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.663 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3658.514 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.964 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.481 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.738 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3603.465 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.213 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 105485548 kB MemAvailable: 126631556 kB Buffers: 144344 kB Cached: 21737104 kB SwapCached: 0 kB Active: 947876 kB Inactive: 24339532 kB Active(anon): 1536 kB Inactive(anon): 3442160 kB Active(file): 946340 kB Inactive(file): 20897372 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19876 kB Writeback: 0 kB AnonPages: 3405224 kB Mapped: 133264 kB Shmem: 37720 kB KReclaimable: 283888 kB Slab: 391912 kB SReclaimable: 283888 kB SUnreclaim: 108024 kB KernelStack: 4156 kB PageTables: 16200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4042632 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20224 kB HardwareCorrupted: 0 kB AnonHugePages: 901120 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 279252 kB DirectMap2M: 32000000 kB DirectMap1G: 103809024 kB Free space on /tmp at the end= 890004 MiB End job on nodeC023 at 2024-07-23 09:26:49