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 | 9.19291 | 9.23042 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-414_wcsp.wbo |
| MD5SUM | 2452411e7d53b4184f08359a7309571d |
| 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 | 38478 |
| Best CPU time to get the best result obtained on this benchmark | 1.07405 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1056 |
| Total number of constraints | 14903 |
| Number of soft constraints | 14539 |
| Number of constraints which are clauses | 14539 |
| Number of constraints which are cardinality constraints (but not clauses) | 364 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 4 |
| Top cost | 60599 |
| Min constraint cost | 1 |
| Max constraint cost | 60599 |
| Sum of constraints costs | 859051423 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5 |
| Number of bits of the biggest sum of numbers | 3 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4526290-1751629757.wbo>
0.10/0.17 c original problem has 15595 variables (15595 bin, 0 int, 0 impl, 0 cont) and 29443 constraints
0.10/0.17 c problem read in 0.15
0.51/0.55 c presolving:
0.68/0.70 c (round 1, fast) 28550 del vars, 14376 del conss, 0 add conss, 28350 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 364 impls, 164 clqs
0.68/0.75 c (round 2, exhaustive) 28551 del vars, 14377 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 364 impls, 9619 clqs
0.68/0.75 c (round 3, fast) 28750 del vars, 14576 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 364 impls, 9619 clqs
0.78/0.80 c (round 4, exhaustive) 28750 del vars, 14576 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9619 clqs
0.88/0.94 c (round 5, exhaustive) 28775 del vars, 14576 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9644 clqs
0.99/1.10 c (round 6, exhaustive) 28800 del vars, 14576 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9669 clqs
0.99/1.10 c (round 7, fast) 28800 del vars, 14601 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9669 clqs
1.18/1.22 c (round 8, exhaustive) 28825 del vars, 14601 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9694 clqs
1.18/1.23 c (round 9, fast) 28825 del vars, 14626 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9694 clqs
1.28/1.35 c (round 10, exhaustive) 28850 del vars, 14626 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9720 clqs
1.28/1.35 c (round 11, fast) 28850 del vars, 14651 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9720 clqs
1.38/1.47 c (round 12, exhaustive) 28875 del vars, 14651 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9745 clqs
1.38/1.47 c (round 13, fast) 28875 del vars, 14676 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9745 clqs
1.48/1.57 c (round 14, exhaustive) 28900 del vars, 14676 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9770 clqs
1.48/1.58 c (round 15, fast) 28900 del vars, 14701 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9770 clqs
1.68/1.70 c (1.7s) probing: 570/1384 (41.2%) - 0 fixings, 165 aggregations, 166 implications, 0 bound changes
1.68/1.70 c (1.7s) probing aborted: 50/50 successive totally useless probings
1.68/1.70 c (round 16, exhaustive) 28915 del vars, 14701 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9785 clqs
1.68/1.71 c (round 17, fast) 28915 del vars, 14726 del conss, 0 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9785 clqs
1.68/1.74 c (1.7s) probing: 575/1384 (41.5%) - 0 fixings, 165 aggregations, 166 implications, 0 bound changes
1.68/1.74 c (1.7s) probing aborted: 50/50 successive totally useless probings
1.68/1.74 c (1.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.68/1.76 c (1.7s) symmetry computation finished: 42 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
1.68/1.78 c dynamic symmetry handling statistics:
1.68/1.78 c orbitopal reduction: 2 components: 4x3, 4x3
1.68/1.78 c orbital reduction: 3 components of sizes 2, 3, 3
1.68/1.78 c lexicographic reduction: 30 permutations with support sizes 8, 4, 4, 12, 8, 4, 10, 8, 10, 8, 4, 20, 8, 8, 4, 8, 4, 4, 10, 4, 12, 8, 10, 4, 4, 4, 10, 4, 8, 10
1.68/1.78 c handled 31 out of 31 symmetry components
1.68/1.78 c (round 18, exhaustive) 28919 del vars, 14726 del conss, 4 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9745 clqs
1.68/1.78 c (round 19, fast) 28919 del vars, 14781 del conss, 4 add conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 14338 upgd conss, 364 impls, 9745 clqs
1.77/1.81 c (1.8s) probing: 580/1384 (41.9%) - 0 fixings, 165 aggregations, 166 implications, 0 bound changes
1.77/1.81 c (1.8s) probing aborted: 50/50 successive totally useless probings
1.77/1.82 c presolving (20 rounds: 20 fast, 11 medium, 11 exhaustive):
1.77/1.82 c 28919 deleted vars, 14781 deleted constraints, 4 added constraints, 28714 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.77/1.82 c 364 implications, 9745 cliques
1.77/1.82 c presolved problem has 1215 variables (1215 bin, 0 int, 0 impl, 0 cont) and 14666 constraints
1.77/1.82 c 9579 constraints of type <setppc>
1.77/1.82 c 165 constraints of type <linear>
1.77/1.82 c 4 constraints of type <orbitope>
1.77/1.82 c 4719 constraints of type <logicor>
1.77/1.82 c 199 constraints of type <indicator>
1.77/1.82 c transformed objective value is always integral (scale: 1)
1.77/1.82 c Presolving Time: 1.54
1.77/1.82 c - non default parameters ----------------------------------------------------------------------
1.77/1.82 c # SCIP version 10.0.0
1.77/1.82 c
1.77/1.82 c # maximal time in seconds to run
1.77/1.82 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.77/1.82 c limits/time = 3596.99315
1.77/1.82 c
1.77/1.82 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.77/1.82 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.77/1.82 c limits/memory = 27900
1.77/1.82 c
1.77/1.82 c # belongs reading time to solving time?
1.77/1.82 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.77/1.82 c timing/reading = TRUE
1.77/1.82 c
1.77/1.82 c -----------------------------------------------------------------------------------------------
1.77/1.82 c start solving
1.77/1.82 c
1.77/1.87 o 50496
1.77/1.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.77/1.87 c p 1.9s| 1 | 0 | 0 | - | clique| 0 |1215 | 14k| 14k| 0 | 0 | 0 | 0 | 0.000000e+00 | 5.049600e+04 | Inf | unknown
2.09/2.14 c 2.1s| 1 | 0 | 1374 | - | 142M | 0 |1215 | 14k| 14k| 0 | 0 | 17 | 0 | 2.018200e+04 | 5.049600e+04 | 150.20%| unknown
2.57/2.60 c 2.6s| 1 | 0 | 1899 | - | 146M | 0 |1215 | 14k| 14k| 81 | 1 | 17 | 0 | 2.171800e+04 | 5.049600e+04 | 132.51%| unknown
2.67/2.75 c 2.7s| 1 | 0 | 2484 | - | 148M | 0 |1215 | 14k| 14k| 149 | 2 | 17 | 0 | 2.424725e+04 | 5.049600e+04 | 108.25%| unknown
2.77/2.89 c 2.9s| 1 | 0 | 3006 | - | 150M | 0 |1215 | 14k| 14k| 211 | 3 | 17 | 0 | 2.727400e+04 | 5.049600e+04 | 85.14%| unknown
3.18/3.22 c 3.2s| 1 | 0 | 3655 | - | 153M | 0 |1215 | 14k| 14k| 272 | 4 | 18 | 0 | 2.946092e+04 | 5.049600e+04 | 71.40%| unknown
3.28/3.37 c 3.4s| 1 | 0 | 4078 | - | 155M | 0 |1215 | 14k| 14k| 316 | 5 | 19 | 0 | 3.131216e+04 | 5.049600e+04 | 61.27%| unknown
3.68/3.70 c 3.7s| 1 | 0 | 4605 | - | 157M | 0 |1215 | 14k| 15k| 356 | 6 | 20 | 0 | 3.358106e+04 | 5.049600e+04 | 50.37%| unknown
3.87/3.94 c 3.9s| 1 | 0 | 5013 | - | 159M | 0 |1215 | 14k| 15k| 397 | 7 | 21 | 0 | 3.384752e+04 | 5.049600e+04 | 49.19%| unknown
4.17/4.25 c 4.2s| 1 | 0 | 5487 | - | 160M | 0 |1215 | 14k| 15k| 434 | 8 | 21 | 0 | 3.436012e+04 | 5.049600e+04 | 46.96%| unknown
4.57/4.61 c 4.6s| 1 | 0 | 5914 | - | 162M | 0 |1215 | 14k| 15k| 473 | 9 | 21 | 0 | 3.487270e+04 | 5.049600e+04 | 44.80%| unknown
4.87/4.97 c 5.0s| 1 | 0 | 6270 | - | 164M | 0 |1215 | 14k| 15k| 514 | 10 | 22 | 0 | 3.488602e+04 | 5.049600e+04 | 44.75%| unknown
4.98/5.02 c 5.0s| 1 | 0 | 6509 | - | 166M | 0 |1215 | 14k| 15k| 547 | 11 | 23 | 0 | 3.489821e+04 | 5.049600e+04 | 44.70%| unknown
4.98/5.07 c 5.1s| 1 | 0 | 6788 | - | 168M | 0 |1215 | 14k| 15k| 581 | 12 | 25 | 0 | 3.507529e+04 | 5.049600e+04 | 43.96%| unknown
4.98/5.08 o 45533
4.98/5.08 c r 5.1s| 1 | 0 | 6788 | - |shifting| 0 |1215 | 14k| 15k| 581 | 12 | 26 | 0 | 3.507529e+04 | 4.553300e+04 | 29.82%| unknown
5.08/5.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.08/5.12 c 5.1s| 1 | 0 | 7045 | - | 169M | 0 |1215 | 14k| 15k| 605 | 13 | 26 | 0 | 3.541728e+04 | 4.553300e+04 | 28.56%| unknown
5.17/5.23 c 5.2s| 1 | 0 | 7214 | - | 171M | 0 |1215 | 14k| 15k| 634 | 14 | 26 | 0 | 3.542854e+04 | 4.553300e+04 | 28.52%| unknown
5.17/5.27 c 5.3s| 1 | 0 | 7426 | - | 172M | 0 |1215 | 14k| 15k| 658 | 15 | 27 | 0 | 3.543729e+04 | 4.553300e+04 | 28.49%| unknown
5.27/5.31 c 5.3s| 1 | 0 | 7617 | - | 174M | 0 |1215 | 14k| 15k| 684 | 16 | 29 | 0 | 3.544733e+04 | 4.553300e+04 | 28.45%| unknown
5.27/5.34 c 5.3s| 1 | 0 | 7783 | - | 175M | 0 |1215 | 14k| 15k| 705 | 17 | 30 | 0 | 3.550830e+04 | 4.553300e+04 | 28.23%| unknown
5.27/5.38 c 5.4s| 1 | 0 | 7933 | - | 177M | 0 |1215 | 14k| 15k| 727 | 18 | 32 | 0 | 3.568018e+04 | 4.553300e+04 | 27.61%| unknown
5.37/5.40 c 5.4s| 1 | 0 | 8086 | - | 179M | 0 |1215 | 14k| 15k| 747 | 19 | 33 | 0 | 3.584904e+04 | 4.553300e+04 | 27.01%| unknown
5.37/5.43 c 5.4s| 1 | 0 | 8202 | - | 180M | 0 |1215 | 14k| 15k| 762 | 20 | 34 | 0 | 3.588646e+04 | 4.553300e+04 | 26.88%| unknown
5.37/5.46 c 5.4s| 1 | 0 | 8248 | - | 180M | 0 |1215 | 14k| 15k| 768 | 21 | 35 | 0 | 3.588743e+04 | 4.553300e+04 | 26.88%| unknown
5.37/5.49 c 5.5s| 1 | 0 | 8311 | - | 180M | 0 |1215 | 14k| 15k| 773 | 22 | 36 | 0 | 3.589046e+04 | 4.553300e+04 | 26.87%| unknown
5.47/5.51 c 5.5s| 1 | 0 | 8377 | - | 180M | 0 |1215 | 14k| 15k| 782 | 23 | 37 | 0 | 3.596968e+04 | 4.553300e+04 | 26.59%| unknown
5.47/5.53 o 44545
5.47/5.53 c r 5.5s| 1 | 0 | 8377 | - |shifting| 0 |1215 | 14k| 15k| 782 | 23 | 37 | 0 | 3.596968e+04 | 4.454500e+04 | 23.84%| unknown
5.47/5.55 c 5.5s| 1 | 0 | 8499 | - | 181M | 0 |1215 | 14k| 15k| 789 | 24 | 37 | 0 | 3.609037e+04 | 4.454500e+04 | 23.43%| unknown
5.57/5.65 c 5.6s| 1 | 0 | 8530 | - | 182M | 0 |1215 | 14k| 15k| 800 | 25 | 38 | 0 | 3.630890e+04 | 4.454500e+04 | 22.68%| unknown
5.57/5.67 c 5.7s| 1 | 0 | 8572 | - | 182M | 0 |1215 | 14k| 15k| 807 | 26 | 39 | 0 | 3.654636e+04 | 4.454500e+04 | 21.89%| unknown
5.57/5.68 o 42546
5.57/5.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.57/5.68 c r 5.7s| 1 | 0 | 8572 | - |rounding| 0 |1215 | 14k| 15k| 807 | 26 | 40 | 0 | 3.654636e+04 | 4.254600e+04 | 16.42%| unknown
5.67/5.70 c 5.7s| 1 | 0 | 8684 | - | 183M | 0 |1215 | 14k| 15k| 814 | 27 | 40 | 0 | 3.704607e+04 | 4.254600e+04 | 14.85%| unknown
5.77/5.80 c 5.8s| 1 | 0 | 8718 | - | 183M | 0 |1215 | 14k| 14k| 822 | 28 | 41 | 0 | 3.704835e+04 | 4.254600e+04 | 14.84%| unknown
5.77/5.83 c 5.8s| 1 | 0 | 8765 | - | 183M | 0 |1215 | 14k| 15k| 832 | 29 | 42 | 0 | 3.710264e+04 | 4.254600e+04 | 14.67%| unknown
5.77/5.84 c 5.8s| 1 | 0 | 8805 | - | 183M | 0 |1215 | 14k| 15k| 840 | 30 | 43 | 0 | 3.710409e+04 | 4.254600e+04 | 14.67%| unknown
5.77/5.86 c 5.8s| 1 | 0 | 8861 | - | 183M | 0 |1215 | 14k| 15k| 848 | 31 | 44 | 0 | 3.710639e+04 | 4.254600e+04 | 14.66%| unknown
5.77/5.88 c 5.9s| 1 | 0 | 8911 | - | 183M | 0 |1215 | 14k| 15k| 852 | 32 | 45 | 0 | 3.718989e+04 | 4.254600e+04 | 14.40%| unknown
5.87/5.91 c 5.9s| 1 | 0 | 8942 | - | 183M | 0 |1215 | 14k| 15k| 856 | 33 | 45 | 0 | 3.735676e+04 | 4.254600e+04 | 13.89%| unknown
5.87/5.93 c 5.9s| 1 | 0 | 8991 | - | 183M | 0 |1215 | 14k| 14k| 861 | 34 | 46 | 0 | 3.735953e+04 | 4.254600e+04 | 13.88%| unknown
5.87/5.95 c 5.9s| 1 | 0 | 9016 | - | 183M | 0 |1215 | 14k| 14k| 868 | 35 | 46 | 0 | 3.736015e+04 | 4.254600e+04 | 13.88%| unknown
5.87/5.96 o 40542
5.87/5.96 c r 5.9s| 1 | 0 | 9016 | - |rounding| 0 |1215 | 14k| 14k| 868 | 35 | 48 | 0 | 3.736015e+04 | 4.054200e+04 | 8.52%| unknown
5.87/5.98 c 6.0s| 1 | 0 | 9053 | - | 184M | 0 |1215 | 14k| 14k| 875 | 36 | 48 | 0 | 3.736126e+04 | 4.054200e+04 | 8.51%| unknown
5.98/6.06 o 40535
5.98/6.06 c r 6.0s| 1 | 0 | 9053 | - |shifting| 0 |1215 | 14k| 14k| 875 | 36 | 52 | 0 | 3.736126e+04 | 4.053500e+04 | 8.49%| unknown
5.98/6.08 c 6.1s| 1 | 0 | 9079 | - | 184M | 0 |1215 | 14k| 14k| 882 | 37 | 52 | 0 | 3.739326e+04 | 4.053500e+04 | 8.40%| unknown
6.08/6.17 c 6.2s| 1 | 0 | 9100 | - | 184M | 0 |1215 | 14k| 14k| 887 | 38 | 53 | 0 | 3.744391e+04 | 4.053500e+04 | 8.26%| unknown
6.08/6.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.08/6.19 c 6.2s| 1 | 0 | 9127 | - | 184M | 0 |1215 | 14k| 14k| 893 | 39 | 54 | 0 | 3.746566e+04 | 4.053500e+04 | 8.19%| unknown
6.17/6.21 c 6.2s| 1 | 0 | 9149 | - | 184M | 0 |1215 | 14k| 14k| 899 | 40 | 56 | 0 | 3.748444e+04 | 4.053500e+04 | 8.14%| unknown
6.17/6.22 o 38513
6.17/6.22 c r 6.2s| 1 | 0 | 9149 | - |rounding| 0 |1215 | 14k| 14k| 899 | 40 | 56 | 0 | 3.748444e+04 | 3.851300e+04 | 2.74%| unknown
6.17/6.23 c 6.2s| 1 | 0 | 9169 | - | 184M | 0 |1215 | 14k| 14k| 904 | 41 | 56 | 0 | 3.748649e+04 | 3.851300e+04 | 2.74%| unknown
6.27/6.31 c 6.3s| 1 | 0 | 9169 | - | 184M | 0 |1215 | 14k| 12k| 904 | 41 | 56 | 0 | 3.748649e+04 | 3.851300e+04 | 2.74%| unknown
6.27/6.33 c 6.3s| 1 | 0 | 9188 | - | 184M | 0 |1215 | 13k| 12k| 911 | 42 | 56 | 0 | 3.748653e+04 | 3.851300e+04 | 2.74%| unknown
6.27/6.35 c 6.3s| 1 | 0 | 9205 | - | 184M | 0 |1215 | 12k| 12k| 914 | 43 | 57 | 0 | 3.748671e+04 | 3.851300e+04 | 2.74%| unknown
6.27/6.37 c 6.4s| 1 | 0 | 9217 | - | 184M | 0 |1215 | 12k| 12k| 920 | 44 | 57 | 0 | 3.748673e+04 | 3.851300e+04 | 2.74%| unknown
6.27/6.39 c 6.4s| 1 | 0 | 9236 | - | 186M | 0 |1215 | 12k| 12k| 925 | 45 | 59 | 0 | 3.748694e+04 | 3.851300e+04 | 2.74%| unknown
6.37/6.40 c 6.4s| 1 | 0 | 9255 | - | 186M | 0 |1215 | 12k| 12k| 932 | 46 | 60 | 0 | 3.748718e+04 | 3.851300e+04 | 2.74%| unknown
6.37/6.42 c 6.4s| 1 | 0 | 9270 | - | 186M | 0 |1215 | 12k| 12k| 936 | 47 | 61 | 0 | 3.748721e+04 | 3.851300e+04 | 2.74%| unknown
6.37/6.44 c 6.4s| 1 | 0 | 9275 | - | 186M | 0 |1215 | 12k| 12k| 939 | 48 | 61 | 0 | 3.748733e+04 | 3.851300e+04 | 2.74%| unknown
6.37/6.46 c 6.4s| 1 | 0 | 9287 | - | 186M | 0 |1215 | 12k| 12k| 942 | 49 | 61 | 0 | 3.748733e+04 | 3.851300e+04 | 2.74%| unknown
6.37/6.47 c 6.5s| 1 | 0 | 9303 | - | 186M | 0 |1215 | 12k| 12k| 944 | 50 | 62 | 0 | 3.748733e+04 | 3.851300e+04 | 2.74%| unknown
6.37/6.48 c 6.5s| 1 | 0 | 9303 | - | 186M | 0 |1215 | 12k| 12k| 944 | 50 | 62 | 0 | 3.748733e+04 | 3.851300e+04 | 2.74%| unknown
6.37/6.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.37/6.49 c 6.5s| 1 | 0 | 9309 | - | 186M | 0 |1215 | 12k| 12k| 947 | 51 | 62 | 0 | 3.748733e+04 | 3.851300e+04 | 2.74%| unknown
6.46/6.51 c 6.5s| 1 | 0 | 9329 | - | 186M | 0 |1215 | 12k| 12k| 949 | 52 | 62 | 0 | 3.748740e+04 | 3.851300e+04 | 2.74%| unknown
6.46/6.53 c 6.5s| 1 | 0 | 9337 | - | 186M | 0 |1215 | 12k| 12k| 952 | 53 | 63 | 0 | 3.748746e+04 | 3.851300e+04 | 2.74%| unknown
6.46/6.55 c 6.5s| 1 | 0 | 9348 | - | 186M | 0 |1215 | 12k| 12k| 954 | 54 | 63 | 0 | 3.748758e+04 | 3.851300e+04 | 2.74%| unknown
6.46/6.56 c 6.5s| 1 | 0 | 9353 | - | 186M | 0 |1215 | 12k| 12k| 956 | 55 | 63 | 0 | 3.748758e+04 | 3.851300e+04 | 2.74%| unknown
7.07/7.15 c 7.1s| 1 | 2 | 9808 | - | 188M | 0 |1215 | 12k| 12k| 956 | 56 | 66 | 33 | 3.773608e+04 | 3.851300e+04 | 2.06%| unknown
7.07/7.15 c (run 1, node 1) restarting after 43 global fixings of integer variables
7.07/7.15 c
7.07/7.15 c (restart) converted 265 cuts from the global cut pool into linear constraints
7.07/7.15 c
7.16/7.21 c presolving:
7.16/7.22 c (round 1, fast) 49 del vars, 462 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 364 impls, 8449 clqs
7.16/7.24 c (round 2, exhaustive) 49 del vars, 471 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 0 upgd conss, 364 impls, 8449 clqs
7.16/7.25 c (round 3, exhaustive) 49 del vars, 471 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 256 upgd conss, 364 impls, 8449 clqs
7.16/7.29 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
7.16/7.29 c 49 deleted vars, 473 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 11 changed sides, 9 changed coefficients
7.16/7.29 c 364 implications, 8450 cliques
7.16/7.29 c presolved problem has 1166 variables (1166 bin, 0 int, 0 impl, 0 cont) and 12502 constraints
7.16/7.29 c 4 constraints of type <knapsack>
7.16/7.29 c 8279 constraints of type <setppc>
7.16/7.29 c 162 constraints of type <linear>
7.16/7.29 c 4 constraints of type <orbitope>
7.16/7.29 c 3870 constraints of type <logicor>
7.16/7.29 c 183 constraints of type <indicator>
7.16/7.29 c transformed objective value is always integral (scale: 1)
7.16/7.29 c Presolving Time: 1.66
7.26/7.34 c transformed 12/12 original solutions to the transformed problem space
7.26/7.34 c
7.46/7.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.46/7.53 c 7.5s| 1 | 0 | 11529 | - | 191M | 0 |1166 | 12k| 12k| 0 | 0 | 66 | 33 | 3.773608e+04 | 3.851300e+04 | 2.06%| unknown
7.46/7.54 c 7.5s| 1 | 0 | 11529 | - | 191M | 0 |1166 | 12k| 12k| 0 | 0 | 67 | 33 | 3.773608e+04 | 3.851300e+04 | 2.06%| unknown
7.56/7.66 c 7.6s| 1 | 0 | 11625 | - | 192M | 0 |1166 | 12k| 12k| 14 | 1 | 67 | 33 | 3.791443e+04 | 3.851300e+04 | 1.58%| unknown
7.56/7.67 c 7.7s| 1 | 0 | 11625 | - | 193M | 0 |1166 | 12k| 10k| 14 | 1 | 68 | 33 | 3.791443e+04 | 3.851300e+04 | 1.58%| unknown
7.76/7.81 c 7.8s| 1 | 0 | 11712 | - | 194M | 0 |1166 | 11k| 10k| 25 | 2 | 68 | 33 | 3.830774e+04 | 3.851300e+04 | 0.54%| unknown
7.76/7.83 c 7.8s| 1 | 0 | 11712 | - | 194M | 0 |1166 | 11k|8985 | 25 | 2 | 68 | 33 | 3.830774e+04 | 3.851300e+04 | 0.54%| unknown
7.86/7.94 c 7.9s| 1 | 0 | 11772 | - | 195M | 0 |1166 |9496 |8806 | 36 | 3 | 68 | 33 | 3.831078e+04 | 3.851300e+04 | 0.53%| unknown
7.97/8.04 c 8.0s| 1 | 0 | 11850 | - | 197M | 0 |1166 |9324 |8821 | 51 | 4 | 68 | 33 | 3.839297e+04 | 3.851300e+04 | 0.31%| unknown
7.97/8.05 c 8.0s| 1 | 0 | 11850 | - | 197M | 0 |1166 |9325 |8821 | 51 | 4 | 69 | 33 | 3.839297e+04 | 3.851300e+04 | 0.31%| unknown
8.16/8.22 c 8.2s| 1 | 0 | 11934 | - | 200M | 0 |1166 |9249 |8831 | 61 | 5 | 69 | 33 | 3.847297e+04 | 3.851300e+04 | 0.10%| unknown
8.26/8.31 c 8.3s| 1 | 0 | 11979 | - | 204M | 0 |1166 |9250 |8841 | 71 | 6 | 70 | 33 | 3.847667e+04 | 3.851300e+04 | 0.09%| unknown
8.36/8.45 c 8.4s| 1 | 0 | 12003 | - | 207M | 0 |1166 |9250 |8848 | 78 | 7 | 71 | 33 | 3.847717e+04 | 3.851300e+04 | 0.09%| unknown
8.46/8.59 c 8.6s| 1 | 0 | 12018 | - | 214M | 0 |1166 |9250 |8855 | 85 | 8 | 71 | 33 | 3.847725e+04 | 3.851300e+04 | 0.09%| unknown
8.55/8.66 c 8.6s| 1 | 0 | 12032 | - | 215M | 0 |1166 |9250 |8859 | 89 | 9 | 71 | 33 | 3.847725e+04 | 3.851300e+04 | 0.09%| unknown
8.65/8.77 c 8.8s| 1 | 0 | 12059 | - | 217M | 0 |1166 |9251 |8797 | 92 | 10 | 72 | 33 | 3.847725e+04 | 3.851300e+04 | 0.09%| unknown
8.65/8.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.65/8.78 c 8.8s| 1 | 0 | 12071 | - | 218M | 0 |1166 |9253 |8800 | 95 | 11 | 74 | 33 | 3.847725e+04 | 3.851300e+04 | 0.09%| unknown
8.75/8.80 c 8.8s| 1 | 0 | 12096 | - | 219M | 0 |1166 |9254 |8805 | 100 | 12 | 75 | 33 | 3.847725e+04 | 3.851300e+04 | 0.09%| unknown
8.75/8.81 c 8.8s| 1 | 0 | 12121 | - | 220M | 0 |1166 |9254 |8808 | 103 | 13 | 75 | 33 | 3.847750e+04 | 3.851300e+04 | 0.09%| unknown
8.75/8.82 o 38494
8.75/8.82 c r 8.8s| 1 | 0 | 12121 | - |rounding| 0 |1166 |9252 |8808 | 103 | 13 | 75 | 33 | 3.847750e+04 | 3.849400e+04 | 0.04%| unknown
8.75/8.83 c 8.8s| 1 | 0 | 12142 | - | 221M | 0 |1166 |9249 |8811 | 106 | 14 | 75 | 33 | 3.847750e+04 | 3.849400e+04 | 0.04%| unknown
8.75/8.88 c 8.9s| 1 | 0 | 12160 | - | 222M | 0 |1166 |9249 |8816 | 111 | 15 | 75 | 33 | 3.847750e+04 | 3.849400e+04 | 0.04%| unknown
8.85/8.90 c 8.9s| 1 | 0 | 12169 | - | 222M | 0 |1166 |9250 |8762 | 113 | 16 | 76 | 33 | 3.847750e+04 | 3.849400e+04 | 0.04%| unknown
8.85/8.91 c 8.9s| 1 | 0 | 12170 | - | 223M | 0 |1166 |9251 |8763 | 114 | 17 | 77 | 33 | 3.847750e+04 | 3.849400e+04 | 0.04%| unknown
8.85/8.92 c 8.9s| 1 | 0 | 12170 | - | 223M | 0 |1166 |8577 |8763 | 114 | 17 | 78 | 33 | 3.847750e+04 | 3.849400e+04 | 0.04%| unknown
8.85/8.93 c 8.9s| 1 | 0 | 12171 | - | 224M | 0 |1166 |8577 |8764 | 115 | 18 | 78 | 33 | 3.847750e+04 | 3.849400e+04 | 0.04%| unknown
8.85/8.94 c 8.9s| 1 | 0 | 12179 | - | 225M | 0 |1166 |8578 |8765 | 116 | 19 | 79 | 33 | 3.847750e+04 | 3.849400e+04 | 0.04%| unknown
8.85/8.96 c 8.9s| 1 | 0 | 12181 | - | 226M | 0 |1166 |8578 |8766 | 117 | 20 | 79 | 33 | 3.847750e+04 | 3.849400e+04 | 0.04%| unknown
8.85/8.97 c 9.0s| 1 | 0 | 12184 | - | 226M | 0 |1166 |8578 |8767 | 118 | 21 | 79 | 33 | 3.847750e+04 | 3.849400e+04 | 0.04%| unknown
8.85/8.98 c 9.0s| 1 | 0 | 12185 | - | 226M | 0 |1166 |8578 |8745 | 119 | 22 | 79 | 33 | 3.847750e+04 | 3.849400e+04 | 0.04%| unknown
8.85/8.99 c 9.0s| 1 | 0 | 12194 | - | 226M | 0 |1166 |8579 |8746 | 120 | 23 | 80 | 33 | 3.847750e+04 | 3.849400e+04 | 0.04%| unknown
8.96/9.04 o 38480
8.96/9.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.96/9.04 c d 9.0s| 1 | 0 | 12382 | - |farkasdi| 0 |1166 |8579 |8746 | 0 | 24 | 80 | 33 | 3.847750e+04 | 3.848000e+04 | 0.01%| unknown
8.96/9.10 o 38478
8.96/9.10 c L 9.1s| 1 | 0 | 12496 | - | rens| 0 |1166 |8580 |8746 | 120 | 24 | 81 | 33 | 3.847750e+04 | 3.847800e+04 | 0.00%| unknown
8.96/9.10 c 9.1s| 1 | 0 | 12496 | - | 226M | 0 |1166 |8580 |8746 | 120 | 24 | 81 | 33 | 3.847800e+04 | 3.847800e+04 | 0.00%| unknown
8.96/9.10 c
8.96/9.10 c SCIP Status : problem is solved [optimal solution found]
8.96/9.10 c Solving Time (sec) : 9.09
8.96/9.10 c Solving Nodes : 1 (total of 2 nodes in 2 runs)
8.96/9.10 c Primal Bound : +3.84780000000000e+04 (15 solutions)
8.96/9.10 c Dual Bound : +3.84780000000000e+04
8.96/9.10 c Gap : 0.00 %
9.06/9.13 s OPTIMUM FOUND
9.06/9.13 v -x1056 x1055 x1054 -x1053 -x1052 x1051 -x1050 -x1049 x1048 -x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 x1039 -x1038
9.06/9.13 v -x1037 x1036 -x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 x1027 -x1026 x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019
9.06/9.13 v x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 x1011 -x1010 x1009 -x1008 -x1007 x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000
9.06/9.13 v -x999 x998 -x997 -x996 -x995 x994 -x993 -x992 -x991 x990 -x989 x988 -x987 -x986 -x985 x984 -x983 -x982 -x981 x980 -x979
9.06/9.13 v x978 -x977 -x976 -x975 x974 -x973 x972 -x971 -x970 -x969 x968 -x967 x966 -x965 -x964 -x963 x962 -x961 -x960 -x959 -x958 -x957
9.06/9.13 v x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 x947 x946 -x945 -x944 -x943 -x942 x941 -x940 -x939 x938 -x937 -x936 -x935
9.06/9.13 v x934 -x933 x932 -x931 -x930 -x929 x928 -x927 -x926 -x925 x924 -x923 x922 -x921 x920 -x919 x918 -x917 x916 -x915 x914 -x913
9.06/9.13 v x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 x896 -x895 x894 -x893 x892 -x891
9.06/9.13 v x890 -x889 -x888 -x887 x886 -x885 -x884 -x883 -x882 x881 x880 -x879 -x878 -x877 -x876 x875 -x874 -x873 x872 -x871 -x870 -x869
9.06/9.13 v x868 -x867 -x866 -x865 x864 -x863 -x862 -x861 x860 -x859 -x858 -x857 x856 -x855 x854 -x853 -x852 -x851 x850 -x849 x848 -x847
9.06/9.13 v x846 -x845 -x844 -x843 x842 -x841 -x840 -x839 -x838 x837 -x836 x835 -x834 -x833 x832 -x831 -x830 -x829 x828 -x827 -x826 -x825
9.06/9.13 v x824 -x823 x822 -x821 -x820 -x819 x818 -x817 x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 x808 -x807 x806 -x805 x804 -x803
9.06/9.13 v x802 -x801 x800 -x799 -x798 -x797 x796 -x795 -x794 -x793 x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 x781
9.06/9.13 v -x780 x779 -x778 -x777 x776 -x775 x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 x766 -x765 -x764 -x763 x762 -x761 -x760 -x759
9.06/9.13 v x758 -x757 -x756 -x755 x754 -x753 x752 -x751 x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 x738 -x737
9.06/9.13 v x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 x728 -x727 x726 -x725 -x724 x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715
9.06/9.13 v -x714 x713 x712 -x711 -x710 -x709 x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 x700 -x699 x698 -x697 x696 -x695 x694 -x693
9.06/9.13 v x692 -x691 -x690 -x689 x688 -x687 -x686 -x685 x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 x672 -x671
9.06/9.13 v x670 -x669 -x668 x667 -x666 -x665 x664 -x663 x662 -x661 x660 -x659 x658 -x657 x656 -x655 x654 -x653 -x652 -x651 x650 -x649
9.06/9.13 v -x648 -x647 x646 -x645 -x644 -x643 x642 -x641 x640 -x639 -x638 -x637 x636 -x635 -x634 -x633 x632 -x631 x630 -x629 -x628 -x627
9.06/9.13 v -x626 x625 x624 -x623 -x622 -x621 x620 -x619 x618 -x617 -x616 x615 -x614 -x613 x612 -x611 x610 -x609 x608 -x607 x606 -x605
9.06/9.13 v -x604 -x603 x602 -x601 -x600 -x599 x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 x590 -x589 x588 -x587 -x586 -x585 x584 -x583
9.06/9.13 v x582 -x581 x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 x572 -x571 x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 x562 -x561
9.06/9.13 v x560 -x559 -x558 -x557 x556 -x555 x554 -x553 x552 -x551 x550 -x549 x548 -x547 -x546 -x545 x544 -x543 -x542 x541 -x540 -x539
9.06/9.13 v x538 -x537 -x536 -x535 -x534 x533 x532 -x531 -x530 -x529 x528 -x527 x526 -x525 x524 -x523 x522 -x521 -x520 -x519 x518 -x517
9.06/9.13 v -x516 -x515 x514 -x513 -x512 x511 x510 -x509 x508 -x507 x506 -x505 x504 -x503 x502 -x501 x500 -x499 x498 -x497 -x496 x495 x494
9.06/9.13 v -x493 x492 -x491 x490 -x489 x488 -x487 -x486 -x485 x484 -x483 x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 x474 -x473 x472
9.06/9.13 v -x471 x470 -x469 x468 -x467 x466 -x465 x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 x455 x454 -x453 x452 -x451 -x450
9.06/9.13 v -x449 x448 -x447 -x446 x445 x444 -x443 x442 -x441 x440 -x439 x438 -x437 -x436 -x435 x434 -x433 -x432 -x431 -x430 x429 x428 -x427
9.06/9.13 v x426 -x425 -x424 -x423 x422 -x421 -x420 x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 x407 -x406
9.06/9.13 v -x405 x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 x396 -x395 -x394 x393 -x392 -x391 -x390 -x389 -x388 x387 x386 -x385 x384
9.06/9.13 v -x383 -x382 -x381 x380 -x379 x378 -x377 -x376 x375 x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 x366 -x365 x364 -x363 x362 -x361
9.06/9.13 v -x360 -x359 x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 x349 x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 x340
9.06/9.13 v -x339 x338 -x337 -x336 x335 -x334 -x333 -x332 x331 x330 -x329 -x328 x327 -x326 -x325 x324 -x323 x322 -x321 x320 -x319 x318 -x317
9.06/9.13 v -x316 x315 x314 -x313 x312 -x311 x310 -x309 -x308 -x307 -x306 x305 x304 -x303 x302 -x301 x300 -x299 x298 -x297 -x296 x295
9.06/9.13 v -x294 -x293 x292 -x291 x290 -x289 x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 x280 -x279 x278 -x277 -x276 -x275 -x274 x273
9.06/9.13 v x272 -x271 x270 -x269 x268 -x267 -x266 x265 -x264 -x263 x262 -x261 x260 -x259 x258 -x257 -x256 -x255 x254 -x253 -x252 -x251
9.06/9.13 v -x250 -x249 -x248 x247 x246 -x245 x244 -x243 x242 -x241 -x240 x239 -x238 -x237 x236 -x235 x234 -x233 -x232 -x231 x230 -x229 x228
9.06/9.13 v -x227 x226 -x225 x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 x207 x206
9.06/9.13 v -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 x197 -x196 x195 x194 -x193 x192 -x191 x190 -x189 -x188 x187 x186 -x185 -x184
9.06/9.13 v x183 x182 -x181 -x180 x179 x178 -x177 -x176 x175 x174 -x173 -x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161
9.06/9.13 v -x160 x159 x158 -x157 x156 -x155 x154 -x153 -x152 -x151 x150 -x149 x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 x140 -x139
9.06/9.13 v x138 -x137 x136 -x135 -x134 x133 x132 -x131 x130 -x129 x128 -x127 -x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117
9.06/9.13 v x116 -x115 -x114 x113 x112 -x111 x110 -x109 x108 -x107 -x106 x105 x104 -x103 x102 -x101 -x100 x99 x98 -x97 -x96 x95 -x94 -x93
9.06/9.13 v x92 -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
9.06/9.13 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 -x39
9.06/9.13 v 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 -x13 -x12
9.06/9.13 v x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 x2 -x1
9.06/9.13 c SCIP Status : problem is solved [optimal solution found]
9.06/9.13 c Total Time : 9.09
9.06/9.13 c solving : 9.09
9.06/9.13 c presolving : 1.66 (included in solving)
9.06/9.13 c reading : 0.15 (included in solving)
9.06/9.13 c copying : 0.08 (4 #copies) (minimal 0.02, maximal 0.03, average 0.02)
9.06/9.13 c Original Problem :
9.06/9.13 c Problem name : HOME/instance-4526290-1751629757.wbo
9.06/9.13 c Variables : 15595 (15595 binary, 0 integer, 0 implicit integer, 0 continuous)
9.06/9.13 c Constraints : 29443 initial, 29443 maximal
9.06/9.13 c Objective : minimize, 14539 non-zeros (abs.min = 1, abs.max = 60599)
9.06/9.13 c Presolved Problem :
9.06/9.13 c Problem name : t_HOME/instance-4526290-1751629757.wbo
9.06/9.13 c Variables : 1166 (1166 binary, 0 integer, 0 implicit integer, 0 continuous)
9.06/9.13 c Constraints : 12502 initial, 12503 maximal
9.06/9.13 c Objective : minimize, 348 non-zeros (abs.min = 1, abs.max = 1000)
9.06/9.13 c Nonzeros : 30734 constraint, 12618 clique table
9.06/9.13 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
9.06/9.13 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c domcol : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
9.06/9.13 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c dualsparsify : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
9.06/9.13 c gateextraction : 0.10 0.00 12 0 0 0 0 0 0 0 0 0
9.06/9.13 c implics : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
9.06/9.13 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
9.06/9.13 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c trivial : 0.00 0.00 24 43 0 0 0 0 0 0 0 0
9.06/9.13 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c dualfix : 0.00 0.00 24 0 0 0 0 0 0 0 0 0
9.06/9.13 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c probing : 0.64 0.00 9 0 165 0 0 0 0 0 0 0
9.06/9.13 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
9.06/9.13 c symmetry : 0.04 0.00 1 4 0 0 0 0 0 4 0 0
9.06/9.13 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
9.06/9.13 c knapsack : 0.00 0.00 3 0 0 0 0 0 1 2 2 9
9.06/9.13 c setppc : 0.15 0.00 44 0 3 0 0 0 44 0 0 0
9.06/9.13 c linear : 0.20 0.01 38 14175 403 0 14539 0 413 0 9 0
9.06/9.13 c orbitope : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
9.06/9.13 c logicor : 0.14 0.01 42 0 0 0 0 0 456 0 0 0
9.06/9.13 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c indicator : 0.03 0.00 12 14175 0 0 14175 0 14340 0 0 0
9.06/9.13 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
9.06/9.13 c root node : - - - 189 - - 189 - - - - -
9.06/9.13 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
9.06/9.13 c benderslp : 0 0 0 0 1 0 0 1000 0 0 0 0 0 0 0
9.06/9.13 c integral : 0 0 0 0 1 0 0 1000 0 0 0 0 0 0 2
9.06/9.13 c knapsack : 4 4 24 1078 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c setppc : 8279+ 8280 80 10176 0 0 0 993 186 54 0 7 0 0 0
9.06/9.13 c linear : 162 162 80 10112 0 0 0 953 42 2 0 0 0 0 0
9.06/9.13 c orbitope : 4 4 0 8807 0 0 0 27 0 2 0 0 0 0 0
9.06/9.13 c logicor : 3870+ 3871 80 1687 0 0 0 27 12 4 0 24 6 0 0
9.06/9.13 c benders : 0 0 0 0 0 0 0 29 0 0 0 0 0 0 0
9.06/9.13 c indicator : 183 183 80 10213 0 0 0 27 18 2 20 0 0 0 0
9.06/9.13 c fixedvar : 0 0 0 0 0 0 0 29 0 0 0 0 0 0 0
9.06/9.13 c countsols : 0 0 0 0 0 0 0 29 0 0 0 0 0 0 0
9.06/9.13 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
9.06/9.13 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c integral : 0.30 0.00 0.00 0.00 0.28 0.00 0.00 0.02 0.00 0.00
9.06/9.13 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c setppc : 0.91 0.00 0.03 0.31 0.00 0.00 0.00 0.56 0.00 0.01
9.06/9.13 c linear : 0.09 0.01 0.07 0.01 0.00 0.00 0.00 0.01 0.00 0.00
9.06/9.13 c orbitope : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c logicor : 0.11 0.01 0.06 0.03 0.00 0.00 0.00 0.01 0.00 0.00
9.06/9.13 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c indicator : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c fixedvar : 0.03 0.00 0.00 0.00 0.00 0.00 0.00 0.03 0.00 0.00
9.06/9.13 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c Propagators : #Propagate #ResProp Cutoffs DomReds
9.06/9.13 c dualfix : 8 0 0 14
9.06/9.13 c genvbounds : 0 0 0 0
9.06/9.13 c nlobbt : 0 0 0 0
9.06/9.13 c obbt : 0 0 0 0
9.06/9.13 c probing : 0 0 0 0
9.06/9.13 c pseudoobj : 104 0 0 0
9.06/9.13 c redcost : 91 0 0 130
9.06/9.13 c rootredcost : 0 0 0 0
9.06/9.13 c symmetry : 0 0 0 0
9.06/9.13 c vbounds : 4402 0 0 0
9.06/9.13 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
9.06/9.13 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c probing : 0.64 0.00 0.64 0.00 0.00 0.00
9.06/9.13 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
9.06/9.13 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c symmetry : 0.04 0.00 0.04 0.00 0.00 0.00
9.06/9.13 c vbounds : 0.01 0.00 0.00 0.00 0.00 0.00
9.06/9.13 c Symmetry :
9.06/9.13 c orbitopal red. : 0 reductions applied, 0 cutoffs
9.06/9.13 c orbital reduction: 0 reductions applied, 0 cutoffs
9.06/9.13 c lexicographic red: 0 reductions applied, 0 cutoffs
9.06/9.13 c shadow tree time : 0.00 s
9.06/9.13 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
9.06/9.13 c propagation : 0.00 63 61 - 78 3.7 0 0.0 - - -
9.06/9.13 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
9.06/9.13 c bound exceed. LP : 0.03 18 2 - 2 4.5 0 0.0 1 145.0 170
9.06/9.13 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
9.06/9.13 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
9.06/9.13 c applied globally : 0.00 - - 0 80 3.5 - - 1 - -
9.06/9.13 c applied locally : - - - 0 0 0.0 - - 0 - -
9.06/9.13 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
9.06/9.13 c cut pool : 0.06 - 154 154 - - 5173 8718 - - - - - (maximal pool size: 3034)
9.06/9.13 c aggregation : 0.18 0.00 80 80 0 0 0 0 0 0 0 0 0
9.06/9.13 c > cmir : - - - - - - - 0 0 0 0 0 -
9.06/9.13 c > flowcover : - - - - - - - 0 0 0 0 0 -
9.06/9.13 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
9.06/9.13 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c clique : 0.10 0.00 80 80 0 0 451 1051 0 274 274 0 0
9.06/9.13 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c gomory : 2.97 0.00 20 20 0 0 3914 6612 0 138 138 0 0
9.06/9.13 c > gomorymi : - - - - - - - 2458 0 9 9 0 -
9.06/9.13 c > strongcg : - - - - - - - 4154 0 129 129 0 -
9.06/9.13 c impliedbounds : 0.03 0.00 80 80 0 25 1 1 0 1 1 0 0
9.06/9.13 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
9.06/9.13 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c multilinear : 0.00 0.00 80 80 0 0 0 0 0 0 0 0 0
9.06/9.13 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c rapidlearning : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
9.06/9.13 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
9.06/9.13 c zerohalf : 0.16 0.00 40 40 0 0 807 1054 0 657 657 0 0
9.06/9.13 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
9.06/9.13 c hybrid : 0.01 0.00 78 78 1076 0 7673 1076 0 7673
9.06/9.13 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c Pricers : ExecTime SetupTime Calls Vars
9.06/9.13 c problem variables: 0.00 - 0 0
9.06/9.13 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
9.06/9.13 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c random : 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c relpscost : 0.28 0.00 1 0 0 0 0 0 0 2
9.06/9.13 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
9.06/9.13 c Primal Heuristics : ExecTime SetupTime Calls Found Best
9.06/9.13 c LP solutions : 0.00 - - 0 0
9.06/9.13 c relax solutions : 0.00 - - 0 0
9.06/9.13 c pseudo solutions : 0.00 - - 0 0
9.06/9.13 c strong branching : 0.00 - - 0 0
9.06/9.13 c actconsdiving : 0.00 0.00 0 0 0
9.06/9.13 c adaptivediving : 0.00 0.00 0 0 0
9.06/9.13 c alns : 0.04 0.00 1 0 0
9.06/9.13 c bound : 0.00 0.00 0 0 0
9.06/9.13 c clique : 0.05 0.00 1 1 1
9.06/9.13 c coefdiving : 0.00 0.00 0 0 0
9.06/9.13 c completesol : 0.00 0.00 0 0 0
9.06/9.13 c conflictdiving : 0.02 0.00 2 0 0
9.06/9.13 c crossover : 0.00 0.00 0 0 0
9.06/9.13 c dins : 0.00 0.00 0 0 0
9.06/9.13 c distributiondivin: 0.00 0.00 0 0 0
9.06/9.13 c dps : 0.00 0.00 0 0 0
9.06/9.13 c dualval : 0.00 0.00 0 0 0
9.06/9.13 c farkasdiving : 0.23 0.00 2 1 1
9.06/9.13 c feasjump : 0.00 0.00 0 0 0
9.06/9.13 c feaspump : 0.00 0.00 0 0 0
9.06/9.13 c fixandinfer : 0.00 0.00 0 0 0
9.06/9.13 c fracdiving : 0.00 0.00 0 0 0
9.06/9.13 c gins : 0.00 0.00 0 0 0
9.06/9.13 c guideddiving : 0.00 0.00 0 0 0
9.06/9.13 c indcoefdiving : 0.00 0.00 0 0 0
9.06/9.13 c indicator : 0.00 0.00 0 0 0
9.06/9.13 c indicatordiving : 0.00 0.00 0 0 0
9.06/9.13 c indoneopt : 0.59 0.00 9 0 0
9.06/9.13 c indrounding : 0.00 0.00 0 0 0
9.06/9.13 c indtwoopt : 0.00 0.00 0 0 0
9.06/9.13 c intdiving : 0.00 0.00 0 0 0
9.06/9.13 c intshifting : 0.00 0.00 0 0 0
9.06/9.13 c linesearchdiving : 0.00 0.00 0 0 0
9.06/9.13 c localbranching : 0.00 0.00 0 0 0
9.06/9.13 c locks : 0.02 0.00 1 0 0
9.06/9.13 c lpface : 0.00 0.00 0 0 0
9.06/9.13 c mpec : 0.00 0.00 0 0 0
9.06/9.13 c multistart : 0.00 0.00 0 0 0
9.06/9.13 c mutation : 0.00 0.00 0 0 0
9.06/9.13 c nlpdiving : 0.00 0.00 0 0 0
9.06/9.13 c objpscostdiving : 0.00 0.00 0 0 0
9.06/9.13 c octane : 0.00 0.00 0 0 0
9.06/9.13 c ofins : 0.00 0.00 0 0 0
9.06/9.13 c oneopt : 0.01 0.00 8 0 0
9.06/9.13 c padm : 0.00 0.00 0 0 0
9.06/9.13 c proximity : 0.00 0.00 0 0 0
9.06/9.13 c pscostdiving : 0.00 0.00 0 0 0
9.06/9.13 c randrounding : 0.36 0.00 80 0 0
9.06/9.13 c rens : 0.10 0.00 2 1 1
9.06/9.13 c reoptsols : 0.00 0.00 0 0 0
9.06/9.13 c repair : 0.00 0.00 0 0 0
9.06/9.13 c rins : 0.00 0.00 0 0 0
9.06/9.13 c rootsoldiving : 0.00 0.00 0 0 0
9.06/9.13 c rounding : 0.06 0.00 80 4 4
9.06/9.13 c scheduler : 0.00 0.00 0 0 0
9.06/9.13 c shiftandpropagate: 0.00 0.00 0 0 0
9.06/9.13 c shifting : 0.10 0.00 80 7 3
9.06/9.13 c simplerounding : 0.00 0.00 80 0 0
9.06/9.13 c smallcard : 0.00 0.00 0 0 0
9.06/9.13 c subnlp : 0.00 0.00 0 0 0
9.06/9.13 c trivial : 0.03 0.00 4 0 0
9.06/9.13 c trivialnegation : 0.00 0.00 0 0 0
9.06/9.13 c trustregion : 0.00 0.00 0 0 0
9.06/9.13 c trysol : 0.00 0.00 0 0 0
9.06/9.13 c twoopt : 0.00 0.00 0 0 0
9.06/9.13 c undercover : 0.00 0.00 0 0 0
9.06/9.13 c vbounds : 0.13 0.00 2 1 0
9.06/9.13 c veclendiving : 0.00 0.00 0 0 0
9.06/9.13 c zeroobj : 0.00 0.00 0 0 0
9.06/9.13 c zirounding : 0.00 0.00 2 0 0
9.06/9.13 c other solutions : - - - 0 -
9.06/9.13 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
9.06/9.13 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
9.06/9.13 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
9.06/9.13 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
9.06/9.13 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
9.06/9.13 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
9.06/9.13 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
9.06/9.13 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
9.06/9.13 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
9.06/9.13 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
9.06/9.13 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
9.06/9.13 c primal LP : 0.01 10 0 0.00 0.00 0.01 10
9.06/9.13 c dual LP : 1.16 90 11670 145.88 10090.51 0.01 10
9.06/9.13 c lex dual LP : 0.00 0 0 0.00 -
9.06/9.13 c barrier LP : 0.00 0 0 0.00 - 0.00 0
9.06/9.13 c resolve instable : 0.00 0 0 0.00 -
9.06/9.13 c diving/probing LP: 0.17 52 826 15.88 4793.82
9.06/9.13 c strong branching : 0.17 33 757 22.94 4448.15 - - 0
9.06/9.13 c (at root node) : - 33 757 22.94 -
9.06/9.13 c conflict analysis: 0.02 17 170 10.00 7755.47
9.06/9.13 c B&B Tree :
9.06/9.13 c number of runs : 2
9.06/9.13 c nodes : 1 (0 internal, 1 leaves)
9.06/9.13 c feasible leaves : 0
9.06/9.13 c infeas. leaves : 0
9.06/9.13 c objective leaves : 1
9.06/9.13 c nodes (total) : 2 (1 internal, 1 leaves)
9.06/9.13 c nodes left : 0
9.06/9.13 c max depth : 0
9.06/9.13 c max depth (total): 0
9.06/9.13 c backtracks : 0 (0.0%)
9.06/9.13 c early backtracks : 0 (0.0%)
9.06/9.13 c nodes exc. ref. : 0 (0.0%)
9.06/9.13 c delayed cutoffs : 0
9.06/9.13 c repropagations : 0 (0 domain reductions, 0 cutoffs)
9.06/9.13 c avg switch length: 2.00
9.06/9.13 c switching time : 0.00
9.06/9.13 c Root Node :
9.06/9.13 c First LP value : +2.01820000000000e+04
9.06/9.13 c First LP Iters : 1305 (21305.08 Iter/sec)
9.06/9.13 c First LP Time : 0.06
9.06/9.13 c Final Dual Bound : +3.84780000000000e+04
9.06/9.13 c Final Root Iters : 11670
9.06/9.13 c Root LP Estimate : -
9.06/9.13 c Solution :
9.06/9.13 c Solutions found : 15 (10 improvements)
9.06/9.13 c First Solution : +5.04960000000000e+04 (in run 1, after 1 nodes, 1.85 seconds, depth 176, found by <clique>)
9.06/9.13 c Gap First Sol. : infinite
9.06/9.13 c Gap Last Sol. : 0.00 %
9.06/9.13 c Primal Bound : +3.84780000000000e+04 (in run 2, after 1 nodes, 9.08 seconds, depth 0, found by <rens>)
9.06/9.13 c Dual Bound : +3.84780000000000e+04
9.06/9.13 c Gap : 0.00 %
9.06/9.13 c Integrals : Total Avg%
9.06/9.13 c primal-dual : 356.65 39.24
9.06/9.13 c primal-ref : - - (not evaluated)
9.06/9.13 c dual-ref : - - (not evaluated)
9.16/9.22 c Time complete: 9.17764.
OK 38478
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (59945 MiB free)
memory of node 1: 64507 MiB (62540 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526290-1751629757/watcher-4526290-1751629757 -o /tmp/evaluation-result-4526290-1751629757/solver-4526290-1751629757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88029 --watchdog 3760 pbscip -f HOME/instance-4526290-1751629757.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=89559, runsolver pid=89556
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.06 4.09 4.15 5/253 89560
/proc/meminfo: memFree=125425384/131382112 swapFree=33010416/33010684
[pid=89559] ppid=89556 vsize=59872 memory=32384 CPUtime=0.1 cores=4,6
/proc/89559/stat : 89559 (pbscip) R 89556 89559 88018 0 -1 4194304 5127 0 0 0 8 2 0 0 20 0 1 0 78655461 61308928 8096 18446744073709551615 4235264 18693293 140730794133296 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56967168 140730794137991 140730794138090 140730794138090 140730794143694 0
/proc/89559/statm: 14968 8096 3264 3530 0 6419 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 59872 KiB
Current children cumulated memory: 32384 KiB
[startup+0.214197 s]*
/proc/loadavg: 4.06 4.09 4.15 5/253 89560
/proc/meminfo: memFree=125425384/131382112 swapFree=33010416/33010684
[pid=89559] ppid=89556 vsize=90304 memory=64228 CPUtime=0.21 cores=4,6
/proc/89559/stat : 89559 (pbscip) R 89556 89559 88018 0 -1 4194304 12904 0 0 0 17 4 0 0 20 0 1 0 78655461 92471296 16057 18446744073709551615 4235264 18693293 140730794133296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56967168 140730794137991 140730794138090 140730794138090 140730794143694 0
/proc/89559/statm: 22576 16057 3584 3530 0 14027 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 90304 KiB
Current children cumulated memory: 64228 KiB
[startup+0.313593 s]*
/proc/loadavg: 4.06 4.09 4.15 5/253 89560
/proc/meminfo: memFree=125425384/131382112 swapFree=33010416/33010684
[pid=89559] ppid=89556 vsize=113172 memory=84580 CPUtime=0.31 cores=4,6
/proc/89559/stat : 89559 (pbscip) R 89556 89559 88018 0 -1 4194304 17953 0 0 0 25 6 0 0 20 0 1 0 78655461 115888128 21145 18446744073709551615 4235264 18693293 140730794133296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56967168 140730794137991 140730794138090 140730794138090 140730794143694 0
/proc/89559/statm: 28293 21145 3616 3530 0 19744 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 113172 KiB
Current children cumulated memory: 84580 KiB
[startup+0.700285 s]
/proc/loadavg: 4.06 4.09 4.15 5/253 89560
/proc/meminfo: memFree=125417320/131382112 swapFree=33010416/33010684
[pid=89559] ppid=89556 vsize=161708 memory=131300 CPUtime=0.68 cores=4,6
/proc/89559/stat : 89559 (pbscip) R 89556 89559 88018 0 -1 4194304 29654 0 0 0 59 9 0 0 20 0 1 0 78655461 165588992 32825 18446744073709551615 4235264 18693293 140730794133296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56967168 140730794137991 140730794138090 140730794138090 140730794143694 0
/proc/89559/statm: 40427 32825 3616 3530 0 31878 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 161708 KiB
Current children cumulated memory: 131300 KiB
[startup+1.50032 s]
/proc/loadavg: 4.06 4.09 4.15 5/253 89560
/proc/meminfo: memFree=125417320/131382112 swapFree=33010416/33010684
[pid=89559] ppid=89556 vsize=162432 memory=131492 CPUtime=1.48 cores=4,6
/proc/89559/stat : 89559 (pbscip) R 89556 89559 88018 0 -1 4194304 30814 0 0 0 138 10 0 0 20 0 1 0 78655461 166330368 32873 18446744073709551615 4235264 18693293 140730794133296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56967168 140730794137991 140730794138090 140730794138090 140730794143694 0
/proc/89559/statm: 40608 32873 3648 3530 0 32059 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 162432 KiB
Current children cumulated memory: 131492 KiB
[startup+3.11308 s]
/proc/loadavg: 4.05 4.09 4.14 4/251 89589
/proc/meminfo: memFree=125960812/131382112 swapFree=33010416/33010684
[pid=89559] ppid=89556 vsize=215104 memory=180040 CPUtime=3.09 cores=4,6
/proc/89559/stat : 89559 (pbscip) R 89556 89559 88018 0 -1 4194304 43226 0 0 0 296 13 0 0 20 0 1 0 78655461 220266496 45010 18446744073709551615 4235264 18693293 140730794133296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56967168 140730794137991 140730794138090 140730794138090 140730794143694 0
/proc/89559/statm: 53776 45010 3904 3530 0 45227 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 215104 KiB
Current children cumulated memory: 180040 KiB
[startup+6.3003 s]
/proc/loadavg: 4.05 4.09 4.14 5/253 89695
/proc/meminfo: memFree=125964272/131382112 swapFree=33010416/33010684
[pid=89559] ppid=89556 vsize=237640 memory=185288 CPUtime=6.27 cores=4,6
/proc/89559/stat : 89559 (pbscip) R 89556 89559 88018 0 -1 4194304 44522 0 0 0 614 13 0 0 20 0 1 0 78655461 243343360 46322 18446744073709551615 4235264 18693293 140730794133296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56967168 140730794137991 140730794138090 140730794138090 140730794143694 0
/proc/89559/statm: 59410 46322 3904 3530 0 50861 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 237640 KiB
Current children cumulated memory: 185288 KiB
[startup+9.23031 s]
# the end of solver process 89559 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=9.02081 s, system=0.1721 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40035 s]
/proc/loadavg: 4.05 4.09 4.14 5/253 89695
/proc/meminfo: memFree=125964272/131382112 swapFree=33010416/33010684
[pid=89559] ppid=89556 vsize=239024 memory=186184 CPUtime=6.37 cores=4,6
/proc/89559/stat : 89559 (pbscip) R 89556 89559 88018 0 -1 4194304 44759 0 0 0 624 13 0 0 20 0 1 0 78655461 244760576 46546 18446744073709551615 4235264 18693293 140730794133296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56967168 140730794137991 140730794138090 140730794138090 140730794143694 0
/proc/89559/statm: 59756 46546 3904 3530 0 51207 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 239024 KiB
Current children cumulated memory: 186184 KiB
[startup+8.00028 s]*
/proc/loadavg: 4.05 4.09 4.14 6/253 89695
/proc/meminfo: memFree=125860884/131382112 swapFree=33010416/33010684
[pid=89559] ppid=89556 vsize=262904 memory=209608 CPUtime=7.97 cores=4,6
/proc/89559/stat : 89559 (pbscip) R 89556 89559 88018 0 -1 4194304 50612 0 0 0 783 14 0 0 20 0 1 0 78655461 269213696 52402 18446744073709551615 4235264 18693293 140730794133296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56967168 140730794137991 140730794138090 140730794138090 140730794143694 0
/proc/89559/statm: 65726 52402 3904 3530 0 57177 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 262904 KiB
Current children cumulated memory: 209608 KiB
[startup+8.80028 s]
/proc/loadavg: 4.05 4.09 4.14 6/253 89695
/proc/meminfo: memFree=125860884/131382112 swapFree=33010416/33010684
[pid=89559] ppid=89556 vsize=270892 memory=213704 CPUtime=8.75 cores=4,6
/proc/89559/stat : 89559 (pbscip) R 89556 89559 88018 0 -1 4194304 51663 0 0 0 861 14 0 0 20 0 1 0 78655461 277393408 53426 18446744073709551615 4235264 18693293 140730794133296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56967168 140730794137991 140730794138090 140730794138090 140730794143694 0
/proc/89559/statm: 67723 53426 3904 3530 0 59174 0
Current children cumulated CPU time: 8.75 s
Current children cumulated vsize: 270892 KiB
Current children cumulated memory: 213704 KiB
[startup+9.20028 s]
/proc/loadavg: 4.05 4.09 4.14 6/253 89695
/proc/meminfo: memFree=125851056/131382112 swapFree=33010416/33010684
[pid=89559] ppid=89556 vsize=257864 memory=193384 CPUtime=9.16 cores=4,6
/proc/89559/stat : 89559 (pbscip) R 89556 89559 88018 0 -1 4194304 55825 0 0 0 900 16 0 0 20 0 1 0 78655461 264052736 48346 18446744073709551615 4235264 18693293 140730794133296 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56967168 140730794137991 140730794138090 140730794138090 140730794143694 0
/proc/89559/statm: 64466 48346 3904 3530 0 55917 0
Current children cumulated CPU time: 9.16 s
Current children cumulated vsize: 257864 KiB
Current children cumulated memory: 193384 KiB
Child status: 0
Real time (s): 9.23042
CPU time (s): 9.19291
CPU user time (s): 9.02081
CPU system time (s): 0.1721
CPU usage (%): 99.5936
Max. virtual memory (cumulated for all children) (KiB): 294932
Max. memory (cumulated for all children) (KiB): 230344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.0208
system time used= 0.1721
maximum resident set size= 230344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55832
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= 75
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 89559
# total CPU time (s): 9.19291
# total CPU user time (s): 9.02081
# total CPU system time (s): 0.1721
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070494 second user time and 0.180293 second system time
The end
Begin job on nodeC012 at 2025-07-04 13:49:17 IDJOB=4526290 IDBENCH=144029 IDSOLVER=3382 FILE ID=nodeC012/4526290-1751629757 RUNJOBID= nodeC012-1751626031-88029 SLURM_JOB_ID= 9598953 Free space on /tmp= 431688 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/spot5/normalized-spot5-414_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526290-1751629757/watcher-4526290-1751629757 -o /tmp/evaluation-result-4526290-1751629757/solver-4526290-1751629757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88029 --watchdog 3760 pbscip -f HOME/instance-4526290-1751629757.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2452411e7d53b4184f08359a7309571d RANDOM SEED=2054140003 nodeC012 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 : 3662.194 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.39 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 : 3691.233 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.39 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.511 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.39 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.271 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.39 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 : 1197.155 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.39 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 : 3491.622 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.39 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 : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.39 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.458 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.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 125425064 kB MemAvailable: 125917396 kB Buffers: 2136 kB Cached: 1291680 kB SwapCached: 16 kB Active: 4537820 kB Inactive: 671436 kB Active(anon): 3928452 kB Inactive(anon): 4948 kB Active(file): 609368 kB Inactive(file): 666488 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 41236 kB Writeback: 0 kB AnonPages: 3918536 kB Mapped: 136276 kB Shmem: 17944 kB KReclaimable: 111820 kB Slab: 197512 kB SReclaimable: 111820 kB SUnreclaim: 85692 kB KernelStack: 4080 kB PageTables: 10972 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 4510336 kB VmallocTotal: 34359738367 kB VmallocUsed: 149432 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 339968 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431672 MiB End job on nodeC012 at 2025-07-04 13:49:27