| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3586.29 | 3597.12 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin16.opb |
| MD5SUM | c646e12ccfd746fe0694a48782eaf83d |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 37.9468 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 14400 |
| Total number of constraints | 1088 |
| Number of constraints which are clauses | 480 |
| Number of constraints which are cardinality constraints (but not clauses) | 608 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 120 |
| Maximum length of a constraint | 225 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 227 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-4493454-1751147264.opb>
0.00/0.05 c original problem has 14400 variables (14400 bin, 0 int, 0 impl, 0 cont) and 1088 constraints
0.00/0.05 c problem read in 0.04
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.09 c presolving:
0.09/0.16 c (0.2s) running MILP presolver
0.20/0.22 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.20/0.22 c (round 1, medium) 0 del vars, 1088 del conss, 608 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 480 clqs
0.30/0.36 c (round 2, exhaustive) 0 del vars, 1088 del conss, 608 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
0.58/0.67 c (0.7s) probing: 51/14400 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.58/0.67 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.58/0.69 c (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.88/0.91 c (0.9s) symmetry computation finished: 36 generators found (max: 1500, log10 of symmetry group size: 30.0) (symcode time: 0.20)
0.88/0.92 c dynamic symmetry handling statistics:
0.88/0.92 c orbitopal reduction: no components
0.88/0.92 c orbital reduction: no components
0.88/0.92 c lexicographic reduction: no permutations
0.88/0.92 c handled 1 out of 1 symmetry components
0.88/0.93 c (round 3, exhaustive) 232 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
0.88/0.94 c (round 4, medium) 248 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
1.78/1.81 c (round 5, exhaustive) 278 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 16082 clqs
1.78/1.85 c (round 6, exhaustive) 649 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 15045 clqs
1.78/1.86 c (round 7, fast) 649 del vars, 1094 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 15046 clqs
2.28/2.36 c (round 8, exhaustive) 678 del vars, 1094 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 4 chg coeffs, 608 upgd conss, 0 impls, 34450 clqs
2.67/2.73 c (round 9, exhaustive) 717 del vars, 1094 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 608 upgd conss, 0 impls, 45962 clqs
2.77/2.84 c (round 10, exhaustive) 749 del vars, 1094 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 48683 clqs
2.77/2.84 c (round 11, fast) 752 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 48683 clqs
3.27/3.34 c (round 12, exhaustive) 777 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 72512 clqs
3.37/3.47 c (3.5s) probing: 1000/14400 (6.9%) - 514 fixings, 0 aggregations, 83525 implications, 0 bound changes
3.77/3.85 c (round 13, exhaustive) 804 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 95578 clqs
3.98/4.10 c (round 14, exhaustive) 833 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 97248 clqs
4.57/4.62 c (round 15, exhaustive) 858 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 108355 clqs
5.16/5.25 c (round 16, exhaustive) 883 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 115407 clqs
5.36/5.47 c (round 17, exhaustive) 916 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 112287 clqs
5.76/5.83 c (round 18, exhaustive) 941 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116114 clqs
6.07/6.14 c (round 19, exhaustive) 966 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116329 clqs
6.16/6.20 c (6.2s) probing: 2000/14400 (13.9%) - 696 fixings, 0 aggregations, 146198 implications, 0 bound changes
6.56/6.63 c (round 20, exhaustive) 991 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116552 clqs
6.86/6.92 c (round 21, exhaustive) 1016 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116049 clqs
7.26/7.32 c (round 22, exhaustive) 1065 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 110733 clqs
7.46/7.56 c (round 23, exhaustive) 1090 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 110540 clqs
7.96/8.02 c (round 24, exhaustive) 1115 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 112122 clqs
8.25/8.32 c (round 25, exhaustive) 1146 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 111952 clqs
8.55/8.68 c (round 26, exhaustive) 1172 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 114969 clqs
8.85/8.97 c (9.0s) probing: 3000/14400 (20.8%) - 914 fixings, 0 aggregations, 177772 implications, 0 bound changes
9.06/9.14 c (round 27, exhaustive) 1197 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116874 clqs
9.25/9.38 c (round 28, exhaustive) 1222 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 117084 clqs
9.85/9.97 c (round 29, exhaustive) 1247 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116189 clqs
10.55/10.60 c (round 30, exhaustive) 1272 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116442 clqs
11.14/11.20 c (round 31, exhaustive) 1297 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 115539 clqs
11.44/11.51 c (11.5s) probing: 4000/14400 (27.8%) - 1037 fixings, 0 aggregations, 231068 implications, 0 bound changes
11.44/11.56 c (round 32, exhaustive) 1327 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 113203 clqs
12.14/12.22 c (round 33, exhaustive) 1352 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116116 clqs
12.95/13.08 c (round 34, exhaustive) 1377 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116275 clqs
13.74/13.87 c (round 35, exhaustive) 1402 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116005 clqs
13.94/14.09 c (14.1s) probing: 5000/14400 (34.7%) - 1151 fixings, 0 aggregations, 289657 implications, 0 bound changes
14.04/14.13 c (round 36, exhaustive) 1427 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 113893 clqs
14.73/14.89 c (round 37, exhaustive) 1452 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116738 clqs
15.33/15.49 c (round 38, exhaustive) 1477 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116349 clqs
15.53/15.62 c (round 39, exhaustive) 1518 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 109880 clqs
16.43/16.57 c (round 40, exhaustive) 1543 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116824 clqs
16.53/16.68 c (16.7s) probing: 6000/14400 (41.7%) - 1274 fixings, 0 aggregations, 336585 implications, 0 bound changes
16.83/16.97 c (round 41, exhaustive) 1575 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116586 clqs
16.83/16.98 c (round 42, fast) 1576 del vars, 1096 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116578 clqs
17.14/17.24 c (round 43, exhaustive) 1602 del vars, 1096 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 115442 clqs
18.43/18.59 c (round 44, exhaustive) 1627 del vars, 1096 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 117222 clqs
19.13/19.21 c (19.2s) probing: 7000/14400 (48.6%) - 1361 fixings, 0 aggregations, 384369 implications, 0 bound changes
19.63/19.77 c (round 45, exhaustive) 1652 del vars, 1096 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 117512 clqs
19.73/19.88 c (round 46, exhaustive) 1749 del vars, 1096 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 108847 clqs
19.73/19.88 c (round 47, fast) 1821 del vars, 1106 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 108850 clqs
20.33/20.47 c (round 48, exhaustive) 1982 del vars, 1106 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 112559 clqs
20.33/20.47 c (round 49, fast) 2100 del vars, 1113 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 112560 clqs
20.43/20.52 c (round 50, exhaustive) 2103 del vars, 1116 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 106250 clqs
20.43/20.53 c (round 51, fast) 2225 del vars, 1116 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 106250 clqs
20.43/20.53 c (round 52, medium) 2352 del vars, 1116 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 99386 clqs
20.43/20.54 c (round 53, fast) 2575 del vars, 1125 del conss, 654 add conss, 105 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 97117 clqs
20.43/20.54 c (round 54, fast) 2783 del vars, 1134 del conss, 658 add conss, 105 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 97121 clqs
21.82/21.90 c (21.9s) probing: 8000/14400 (55.6%) - 1443 fixings, 0 aggregations, 427666 implications, 0 bound changes
23.42/23.55 c (23.5s) probing: 8685/14400 (60.3%) - 1443 fixings, 0 aggregations, 439065 implications, 0 bound changes
23.42/23.55 c (23.5s) probing aborted: 1000/1000 successive useless probings
23.42/23.58 c presolving (55 rounds: 55 fast, 47 medium, 44 exhaustive):
23.42/23.58 c 2786 deleted vars, 1134 deleted constraints, 658 added constraints, 105 tightened bounds, 0 added holes, 0 changed sides, 10 changed coefficients
23.42/23.58 c 0 implications, 119311 cliques
23.42/23.58 c presolved problem has 12025 variables (12025 bin, 0 int, 0 impl, 0 cont) and 612 constraints
23.42/23.58 c 114 constraints of type <knapsack>
23.42/23.58 c 462 constraints of type <setppc>
23.42/23.58 c 36 constraints of type <orbitope>
23.42/23.58 c transformed objective value is always integral (scale: 1)
23.42/23.58 c Presolving Time: 23.49
23.42/23.58 c - non default parameters ----------------------------------------------------------------------
23.42/23.58 c # SCIP version 10.0.0
23.42/23.58 c
23.42/23.58 c # maximal time in seconds to run
23.42/23.58 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
23.42/23.58 c limits/time = 3596.997031
23.42/23.58 c
23.42/23.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
23.42/23.58 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
23.42/23.58 c limits/memory = 27900
23.42/23.58 c
23.42/23.58 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
23.42/23.58 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
23.42/23.58 c limits/solutions = 1
23.42/23.58 c
23.42/23.58 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
23.42/23.58 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
23.42/23.58 c misc/usesymmetry = 3
23.42/23.58 c
23.42/23.58 c # belongs reading time to solving time?
23.42/23.58 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
23.42/23.58 c timing/reading = TRUE
23.42/23.58 c
23.42/23.58 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
23.42/23.58 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
23.42/23.58 c propagating/symmetry/detectdoublelex = FALSE
23.42/23.58 c
23.42/23.58 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
23.42/23.58 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
23.42/23.58 c propagating/symmetry/detectsubgroups = FALSE
23.42/23.58 c
23.42/23.58 c # Type of symmetries that shall be computed?
23.42/23.58 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
23.42/23.58 c propagating/symmetry/symtype = 1
23.42/23.58 c
23.42/23.58 c # Should components consisting of a single full reflection be handled?
23.42/23.58 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
23.42/23.58 c propagating/symmetry/usesimplesgncomp = FALSE
23.42/23.58 c
23.42/23.58 c -----------------------------------------------------------------------------------------------
23.42/23.58 c start solving
23.42/23.58 c
122.14/122.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
122.14/122.50 c 122s| 1 | 0 |274531 | - | 253M | 0 | 12k| 687 | 576 | 0 | 0 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
145.58/146.05 c 146s| 1 | 0 |348433 | - | 258M | 0 | 12k| 687 | 584 | 8 | 1 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
145.97/146.41 c 146s| 1 | 0 |348774 | - | 261M | 0 | 12k| 688 | 589 | 13 | 2 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
146.17/146.62 c 147s| 1 | 0 |348850 | - | 261M | 0 | 12k| 690 | 594 | 18 | 3 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
146.47/146.91 c 147s| 1 | 0 |348936 | - | 261M | 0 | 12k| 695 | 597 | 21 | 4 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown
146.68/147.18 c 147s| 1 | 0 |349048 | - | 261M | 0 | 12k| 697 | 604 | 28 | 5 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
146.97/147.42 c 147s| 1 | 0 |349112 | - | 261M | 0 | 12k| 698 | 613 | 37 | 6 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
147.17/147.67 c 148s| 1 | 0 |349192 | - | 262M | 0 | 12k| 699 | 621 | 45 | 7 | 88 | 0 | 0.000000e+00 | -- | Inf | unknown
147.47/147.91 c 148s| 1 | 0 |349267 | - | 262M | 0 | 12k| 700 | 632 | 56 | 8 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown
147.68/148.17 c 148s| 1 | 0 |349319 | - | 262M | 0 | 12k| 705 | 641 | 65 | 9 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown
147.97/148.47 c 148s| 1 | 0 |349399 | - | 262M | 0 | 12k| 706 | 656 | 80 | 10 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown
148.17/148.65 c 149s| 1 | 0 |349455 | - | 262M | 0 | 12k| 707 | 666 | 90 | 11 | 96 | 0 | 0.000000e+00 | -- | Inf | unknown
233.83/234.58 c 235s| 1 | 0 |546508 | - | 265M | 0 | 12k| 782 | 666 | 90 | 11 | 171 | 14 | 0.000000e+00 | -- | Inf | unknown
234.03/234.76 c 235s| 1 | 0 |546562 | - | 265M | 0 | 12k| 785 | 675 | 99 | 12 | 174 | 14 | 0.000000e+00 | -- | Inf | unknown
234.23/234.91 c 235s| 1 | 0 |546593 | - | 265M | 0 | 12k| 789 | 682 | 106 | 13 | 178 | 14 | 0.000000e+00 | -- | Inf | unknown
241.52/242.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
241.52/242.28 c 242s| 1 | 0 |546650 | - | 265M | 0 | 12k| 792 | 670 | 106 | 13 | 182 | 34 | 0.000000e+00 | -- | Inf | unknown
241.72/242.49 c 242s| 1 | 0 |546715 | - | 265M | 0 | 12k| 792 | 678 | 114 | 14 | 184 | 34 | 0.000000e+00 | -- | Inf | unknown
241.92/242.66 c 243s| 1 | 0 |546736 | - | 265M | 0 | 12k| 794 | 681 | 117 | 15 | 187 | 34 | 0.000000e+00 | -- | Inf | unknown
249.60/250.34 c 250s| 1 | 2 |546759 | - | 265M | 0 | 12k| 796 | 681 | 117 | 15 | 190 | 53 | 0.000000e+00 | -- | Inf | unknown
1342.80/1346.64 c 1347s| 100 | 82 | 3104k|27824.1 | 274M | 21 | 12k|1188 | 643 | 194 | 1 | 599 | 53 | 0.000000e+00 | -- | Inf | 0.63%
1799.22/1804.53 c 1805s| 200 | 148 | 4131k|19004.5 | 276M | 32 | 12k|1308 | 645 | 216 | 2 | 724 | 53 | 0.000000e+00 | -- | Inf | 0.66%
2356.74/2363.84 c 2364s| 300 | 199 | 5529k|17324.9 | 280M | 39 | 12k|1420 | 635 | 312 | 1 | 860 | 53 | 0.000000e+00 | -- | Inf | 4.03%
2738.02/2746.32 c 2746s| 400 | 269 | 6565k|15577.6 | 285M | 41 | 12k|1737 | 645 | 455 | 1 |1189 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2850.06/2858.70 c 2859s| 500 | 365 | 6877k|13081.8 | 293M | 46 | 12k|2290 | 647 | 520 | 1 |1759 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2918.73/2927.63 c 2928s| 600 | 465 | 7067k|11214.2 | 299M | 59 | 12k|2725 | 647 | 520 | 1 |2198 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2942.86/2951.87 c 2952s| 700 | 506 | 7146k|9723.1 | 309M | 94 | 12k|2837 | 647 | 520 | 1 |2316 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2952.13/2961.11 c 2961s| 800 | 506 | 7179k|8548.0 | 312M | 108 | 12k|2841 | 647 | 520 | 1 |2322 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2960.80/2969.87 c 2970s| 900 | 508 | 7210k|7631.9 | 318M | 112 | 12k|2862 | 647 | 520 | 0 |2343 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2967.08/2976.16 c 2976s| 1000 | 512 | 7232k|6889.7 | 327M | 112 | 12k|2882 | 647 | 520 | 1 |2363 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2976.64/2985.70 c 2986s| 1100 | 510 | 7266k|6293.8 | 331M | 112 | 12k|2896 | 647 | 520 | 1 |2377 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2985.72/2994.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2985.72/2994.87 c 2995s| 1200 | 510 | 7299k|5796.1 | 331M | 112 | 12k|2895 | 647 | 520 | 1 |2377 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2997.48/3006.65 c 3007s| 1300 | 508 | 7342k|5382.8 | 337M | 114 | 12k|2895 | 647 | 520 | 1 |2388 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3004.76/3013.99 c 3014s| 1400 | 514 | 7367k|5016.6 | 337M | 114 | 12k|2893 | 647 | 520 | 0 |2398 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3012.43/3021.67 c 3022s| 1500 | 516 | 7394k|4699.7 | 354M | 114 | 12k|2910 | 647 | 520 | 1 |2424 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3020.31/3029.59 c 3030s| 1600 | 514 | 7422k|4423.3 | 360M | 116 | 12k|2933 | 647 | 520 | 0 |2457 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3029.78/3039.05 c 3039s| 1700 | 514 | 7456k|4183.0 | 365M | 116 | 12k|2927 | 647 | 520 | 0 |2466 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3038.35/3047.66 c 3048s| 1800 | 514 | 7487k|3967.4 | 371M | 116 | 12k|2930 | 647 | 520 | 1 |2477 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3046.62/3055.94 c 3056s| 1900 | 512 | 7516k|3774.1 | 373M | 116 | 12k|2940 | 647 | 520 | 1 |2494 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3055.00/3064.32 c 3064s| 2000 | 508 | 7546k|3600.2 | 381M | 116 | 12k|2945 | 647 | 520 | 0 |2508 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3063.67/3073.04 c 3073s| 2100 | 510 | 7577k|3443.4 | 393M | 116 | 12k|2976 | 647 | 520 | 1 |2541 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3071.75/3081.15 c 3081s| 2200 | 512 | 7606k|3299.9 | 396M | 116 | 12k|2975 | 647 | 520 | 0 |2554 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3082.52/3091.93 c 3092s| 2300 | 510 | 7645k|3173.5 | 398M | 116 | 12k|2966 | 647 | 520 | 1 |2555 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3090.99/3100.43 c 3100s| 2400 | 510 | 7675k|3053.8 | 400M | 116 | 12k|2995 | 647 | 520 | 0 |2586 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3099.58/3109.06 c 3109s| 2500 | 510 | 7706k|2944.0 | 403M | 116 | 12k|3016 | 647 | 520 | 1 |2611 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3111.74/3121.22 c 3121s| 2600 | 508 | 7751k|2847.8 | 405M | 116 | 12k|3057 | 647 | 520 | 0 |2659 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3119.02/3128.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3119.02/3128.59 c 3129s| 2700 | 510 | 7776k|2751.9 | 407M | 116 | 12k|3033 | 647 | 520 | 1 |2662 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3127.60/3137.19 c 3137s| 2800 | 510 | 7807k|2664.6 | 408M | 116 | 12k|3038 | 647 | 520 | 0 |2693 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3134.67/3144.27 c 3144s| 2900 | 508 | 7831k|2581.0 | 416M | 119 | 12k|3098 | 647 | 520 | 0 |2762 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3145.44/3155.04 c 3155s| 3000 | 508 | 7871k|2508.1 | 418M | 119 | 12k|3091 | 647 | 520 | 1 |2767 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3154.62/3164.29 c 3164s| 3100 | 506 | 7904k|2437.9 | 420M | 119 | 12k|3104 | 647 | 520 | 0 |2792 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3159.89/3169.59 c 3170s| 3200 | 512 | 7921k|2366.9 | 429M | 119 | 12k|3186 | 647 | 520 | 1 |2902 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3166.08/3175.75 c 3176s| 3300 | 516 | 7942k|2301.5 | 433M | 119 | 12k|3191 | 647 | 520 | 1 |2945 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3173.06/3182.72 c 3183s| 3400 | 518 | 7965k|2240.7 | 438M | 119 | 12k|3245 | 647 | 520 | 1 |3030 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3179.14/3188.81 c 3189s| 3500 | 514 | 7986k|2182.5 | 440M | 119 | 12k|3281 | 647 | 520 | 1 |3080 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3185.52/3195.25 c 3195s| 3600 | 520 | 8008k|2128.0 | 440M | 119 | 12k|3278 | 647 | 520 | 1 |3110 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3191.21/3200.90 c 3201s| 3700 | 520 | 8027k|2075.5 | 443M | 119 | 12k|3323 | 647 | 520 | 1 |3179 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3198.18/3207.98 c 3208s| 3800 | 516 | 8051k|2027.3 | 444M | 119 | 12k|3324 | 647 | 520 | 0 |3202 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3203.97/3213.70 c 3214s| 3900 | 520 | 8070k|1980.2 | 449M | 119 | 12k|3358 | 647 | 520 | 1 |3245 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3211.64/3221.47 c 3221s| 4000 | 516 | 8097k|1937.6 | 450M | 119 | 12k|3382 | 647 | 520 | 0 |3279 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3217.83/3227.67 c 3228s| 4100 | 516 | 8118k|1895.3 | 453M | 119 | 12k|3437 | 647 | 520 | 0 |3342 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3226.31/3236.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3226.31/3236.18 c 3236s| 4200 | 516 | 8148k|1857.3 | 455M | 119 | 12k|3459 | 647 | 520 | 0 |3385 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3232.48/3242.35 c 3242s| 4300 | 516 | 8169k|1818.9 | 457M | 119 | 12k|3457 | 647 | 520 | 0 |3445 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3239.97/3249.86 c 3250s| 4400 | 514 | 8195k|1783.5 | 463M | 119 | 12k|3395 | 647 | 520 | 0 |3493 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3244.76/3254.66 c 3255s| 4500 | 520 | 8210k|1747.3 | 464M | 119 | 12k|3386 | 647 | 520 | 1 |3538 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3250.84/3260.77 c 3261s| 4600 | 520 | 8231k|1713.8 | 466M | 119 | 12k|3382 | 647 | 520 | 1 |3558 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3258.12/3268.06 c 3268s| 4700 | 520 | 8256k|1682.7 | 467M | 119 | 12k|3428 | 0 | 520 | 0 |3632 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3263.80/3273.71 c 3274s| 4800 | 520 | 8275k|1651.6 | 469M | 119 | 12k|3422 | 647 | 520 | 0 |3638 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3269.68/3279.64 c 3280s| 4900 | 522 | 8295k|1621.9 | 471M | 119 | 12k|3456 | 0 | 520 | 0 |3702 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3275.36/3285.31 c 3285s| 5000 | 520 | 8314k|1593.2 | 473M | 119 | 12k|3483 | 647 | 520 | 0 |3743 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3280.35/3290.38 c 3290s| 5100 | 518 | 8330k|1565.2 | 474M | 119 | 12k|3520 | 647 | 520 | 1 |3799 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3286.13/3296.10 c 3296s| 5200 | 520 | 8349k|1538.8 | 476M | 119 | 12k|3558 | 647 | 520 | 1 |3890 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3292.21/3302.26 c 3302s| 5300 | 522 | 8370k|1513.7 | 477M | 119 | 12k|3584 | 647 | 520 | 0 |3954 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3298.00/3308.08 c 3308s| 5400 | 526 | 8389k|1489.2 | 480M | 119 | 12k|3634 | 647 | 520 | 1 |4043 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3305.98/3316.01 c 3316s| 5500 | 524 | 8417k|1467.2 | 481M | 119 | 12k|3679 | 647 | 520 | 1 |4116 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3315.54/3325.63 c 3326s| 5600 | 522 | 8452k|1447.2 | 482M | 119 | 12k|3662 | 647 | 520 | 0 |4146 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3322.72/3332.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3322.72/3332.81 c 3333s| 5700 | 522 | 8477k|1426.2 | 486M | 119 | 12k|3673 | 647 | 520 | 0 |4185 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3331.50/3341.65 c 3342s| 5800 | 520 | 8508k|1407.0 | 487M | 119 | 12k|3641 | 647 | 520 | 1 |4220 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3339.08/3349.24 c 3349s| 5900 | 518 | 8535k|1387.6 | 491M | 119 | 12k|3614 | 647 | 520 | 0 |4239 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3347.05/3357.24 c 3357s| 6000 | 518 | 8563k|1369.2 | 491M | 119 | 12k|3618 | 647 | 520 | 1 |4276 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3354.94/3365.13 c 3365s| 6100 | 516 | 8591k|1351.3 | 492M | 119 | 12k|3664 | 647 | 520 | 0 |4342 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3363.61/3373.89 c 3374s| 6200 | 516 | 8622k|1334.6 | 493M | 119 | 12k|3691 | 647 | 520 | 0 |4400 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3372.68/3382.98 c 3383s| 6300 | 518 | 8654k|1318.5 | 493M | 119 | 12k|3712 | 647 | 520 | 0 |4448 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3382.35/3392.62 c 3393s| 6400 | 518 | 8689k|1303.3 | 494M | 119 | 12k|3668 | 647 | 520 | 1 |4461 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3390.64/3400.96 c 3401s| 6500 | 516 | 8718k|1287.7 | 494M | 119 | 12k|3435 | 647 | 520 | 1 |4497 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3398.21/3408.56 c 3409s| 6600 | 514 | 8744k|1272.2 | 494M | 119 | 12k|3379 | 647 | 520 | 0 |4527 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3405.80/3416.15 c 3416s| 6700 | 514 | 8770k|1257.1 | 496M | 119 | 12k|3332 | 647 | 520 | 0 |4552 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3411.68/3422.01 c 3422s| 6800 | 516 | 8790k|1241.5 | 497M | 119 | 12k|3345 | 647 | 520 | 0 |4587 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3419.05/3429.47 c 3429s| 6900 | 516 | 8816k|1227.2 | 498M | 119 | 12k|3346 | 647 | 520 | 0 |4610 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3426.53/3436.92 c 3437s| 7000 | 518 | 8842k|1213.4 | 499M | 119 | 12k|3291 | 647 | 520 | 0 |4640 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3433.31/3443.73 c 3444s| 7100 | 516 | 8865k|1199.6 | 499M | 119 | 12k|3272 | 647 | 520 | 1 |4650 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3439.69/3450.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3439.69/3450.18 c 3450s| 7200 | 516 | 8887k|1186.0 | 500M | 119 | 12k|3267 | 647 | 520 | 1 |4685 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3446.17/3456.67 c 3457s| 7300 | 516 | 8909k|1172.8 | 501M | 119 | 12k|3286 | 647 | 520 | 1 |4722 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3454.24/3464.75 c 3465s| 7400 | 516 | 8937k|1160.7 | 502M | 119 | 12k|3287 | 647 | 520 | 0 |4753 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3462.53/3473.06 c 3473s| 7500 | 516 | 8967k|1149.1 | 502M | 119 | 12k|3303 | 647 | 520 | 1 |4800 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3472.10/3482.67 c 3483s| 7600 | 512 | 9001k|1138.5 | 502M | 119 | 12k|3269 | 647 | 520 | 0 |4828 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3478.88/3489.48 c 3489s| 7700 | 514 | 9024k|1126.8 | 504M | 119 | 12k|3318 | 647 | 520 | 0 |4891 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3487.25/3497.82 c 3498s| 7800 | 516 | 9054k|1116.1 | 505M | 120 | 12k|3306 | 647 | 520 | 1 |4936 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3494.03/3504.64 c 3505s| 7900 | 511 | 9077k|1104.9 | 506M | 120 | 12k|3299 | 647 | 520 | 1 |4966 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3501.51/3512.12 c 3512s| 8000 | 511 | 9103k|1094.3 | 507M | 120 | 12k|3279 | 647 | 520 | 0 |5025 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3508.49/3519.18 c 3519s| 8100 | 513 | 9127k|1083.8 | 507M | 120 | 12k|3276 | 647 | 520 | 0 |5049 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3515.86/3526.51 c 3527s| 8200 | 511 | 9152k|1073.7 | 507M | 120 | 12k|3264 | 647 | 520 | 1 |5073 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3524.05/3534.72 c 3535s| 8300 | 511 | 9181k|1064.2 | 507M | 120 | 12k|3276 | 647 | 520 | 1 |5112 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3530.73/3541.44 c 3541s| 8400 | 515 | 9204k|1054.3 | 508M | 120 | 12k|3290 | 647 | 520 | 0 |5141 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3539.70/3550.43 c 3550s| 8500 | 513 | 9236k|1045.7 | 508M | 120 | 12k|3322 | 647 | 520 | 0 |5183 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3547.48/3558.22 c 3558s| 8600 | 513 | 9264k|1036.7 | 509M | 120 | 12k|3322 | 647 | 520 | 0 |5211 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3555.16/3565.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3555.16/3565.96 c 3566s| 8700 | 513 | 9291k|1027.9 | 509M | 120 | 12k|3334 | 647 | 520 | 0 |5234 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3561.83/3572.62 c 3573s| 8800 | 515 | 9314k|1018.8 | 509M | 120 | 12k|3331 | 647 | 520 | 1 |5238 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3567.22/3578.05 c 3578s| 8900 | 517 | 9332k|1009.4 | 510M | 120 | 12k|3338 | 647 | 520 | 1 |5256 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3571.90/3582.75 c 3583s| 9000 | 515 | 9347k| 999.8 | 510M | 120 | 12k|3363 | 647 | 520 | 0 |5294 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3577.99/3588.85 c 3589s| 9100 | 515 | 9367k| 991.1 | 512M | 120 | 12k|3354 | 647 | 520 | 1 |5300 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3584.08/3594.98 c 3595s| 9200 | 515 | 9388k| 982.6 | 513M | 120 | 12k|3379 | 647 | 520 | 1 |5330 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3586.17/3597.00 c
3586.17/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.17/3597.00 c Solving Time (sec) : 3597.00
3586.17/3597.00 c Solving Nodes : 9231
3586.17/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.17/3597.00 c Dual Bound : +0.00000000000000e+00
3586.17/3597.00 c Gap : infinite
3586.17/3597.00 s UNKNOWN
3586.17/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.17/3597.00 c Total Time : 3597.00
3586.17/3597.00 c solving : 3597.00
3586.17/3597.00 c presolving : 23.49 (included in solving)
3586.17/3597.00 c reading : 0.04 (included in solving)
3586.17/3597.00 c copying : 0.13 (5 #copies) (minimal 0.02, maximal 0.05, average 0.03)
3586.17/3597.00 c Original Problem :
3586.17/3597.00 c Problem name : HOME/instance-4493454-1751147264.opb
3586.17/3597.00 c Variables : 14400 (14400 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.17/3597.00 c Constraints : 1088 initial, 1088 maximal
3586.17/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.17/3597.00 c Presolved Problem :
3586.17/3597.00 c Problem name : t_HOME/instance-4493454-1751147264.opb
3586.17/3597.00 c Variables : 12025 (12025 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.17/3597.00 c Constraints : 612 initial, 3722 maximal
3586.17/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.17/3597.00 c Nonzeros : 174636 constraint, 268101 clique table
3586.17/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.17/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c domcol : 0.01 0.00 42 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c implics : 0.00 0.00 47 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c milp : 0.11 0.00 1 0 0 0 0 0 1088 608 0 0
3586.17/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c sparsify : 0.21 0.00 2 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c trivial : 0.02 0.00 55 638 0 0 0 0 0 0 0 0
3586.17/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c dualfix : 0.01 0.00 55 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c probing : 21.21 0.00 42 1443 0 0 0 0 0 0 0 0
3586.17/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c symmetry : 0.24 0.00 1 232 0 0 0 0 0 36 0 0
3586.17/3597.00 c vbounds : 0.11 0.00 12 3 0 0 0 0 0 0 0 0
3586.17/3597.00 c knapsack : 0.83 0.00 141 0 0 0 0 0 14 14 0 10
3586.17/3597.00 c setppc : 0.41 0.00 141 1 6 0 105 0 32 0 0 0
3586.17/3597.00 c linear : 0.15 0.01 3 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c orbitope : 0.03 0.00 44 52 0 0 0 0 0 0 0 0
3586.17/3597.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c components : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c root node : - - - 35 - - 35 - - - - -
3586.17/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.17/3597.00 c benderslp : 0 0 0 0 4877 0 0 385 0 0 0 0 0 0 0
3586.17/3597.00 c integral : 0 0 0 0 4877 0 0 385 0 0 17 0 0 2 9750
3586.17/3597.00 c knapsack : 114+ 118 13 71310 0 0 0 382 274951 28 143262 0 0 0 0
3586.17/3597.00 c setppc : 462+ 555 13 71282 0 0 0 1 1142182 493 339466 0 0 0 0
3586.17/3597.00 c linear : 0+ 3 0 18056 0 0 0 2 17459 1 585 0 0 0 0
3586.17/3597.00 c orbitope : 36 36 0 70688 0 0 0 0 193214 772 3988 0 0 0 0
3586.17/3597.00 c logicor : 0+ 3013 13 11381 0 0 0 0 3454 44 3545 0 0 0 0
3586.17/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.17/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.17/3597.00 c integral : 21.28 0.00 0.00 0.00 21.28 0.00 0.00 0.00 0.00 0.00
3586.17/3597.00 c knapsack : 1.08 0.00 0.02 0.54 0.00 0.00 0.00 0.02 0.49 0.00
3586.17/3597.00 c setppc : 2.14 0.00 0.00 1.77 0.00 0.00 0.00 0.00 0.34 0.02
3586.17/3597.00 c linear : 0.73 0.01 0.00 0.01 0.00 0.00 0.00 0.00 0.70 0.00
3586.17/3597.00 c orbitope : 34.97 0.00 0.00 34.84 0.00 0.00 0.00 0.00 0.01 0.12
3586.17/3597.00 c logicor : 0.15 0.00 0.00 0.13 0.00 0.00 0.00 0.00 0.02 0.00
3586.17/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.17/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.17/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.17/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.17/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.17/3597.00 c dualfix : 3 0 0 0
3586.17/3597.00 c genvbounds : 0 0 0 0
3586.17/3597.00 c nlobbt : 0 0 0 0
3586.17/3597.00 c obbt : 0 0 0 0
3586.17/3597.00 c probing : 0 0 0 0
3586.17/3597.00 c pseudoobj : 0 0 0 0
3586.17/3597.00 c redcost : 0 0 0 0
3586.17/3597.00 c rootredcost : 0 0 0 0
3586.17/3597.00 c symmetry : 0 0 0 0
3586.17/3597.00 c vbounds : 13704 0 0 0
3586.17/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.17/3597.00 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3586.17/3597.00 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3586.17/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.17/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.17/3597.00 c probing : 21.21 0.00 21.21 0.00 0.00 0.00
3586.17/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3586.17/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.17/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.17/3597.00 c symmetry : 0.25 0.00 0.24 0.01 0.00 0.00
3586.17/3597.00 c vbounds : 0.38 0.00 0.11 0.27 0.00 0.00
3586.17/3597.00 c Symmetry :
3586.17/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.17/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.17/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.17/3597.00 c shadow tree time : 0.00 s
3586.17/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.17/3597.00 c propagation : 0.93 1326 575 - 9431 509.0 244 153.4 - - -
3586.17/3597.00 c infeasible LP : 53.93 4149 349 - 17230 2435.0 117 114.5 19 947.0 0
3586.17/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.17/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.17/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.17/3597.00 c applied globally : 0.87 - - 0 5332 434.6 - - 19 - -
3586.17/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.17/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.17/3597.00 c cut pool : 0.01 - 623 27 - - 455 1050 - - - - - (maximal pool size: 443)
3586.17/3597.00 c aggregation : 0.28 0.00 96 13 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.17/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.17/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.17/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c clique : 0.63 0.00 13 13 0 0 113 441 0 130 130 0 0
3586.17/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c gomory : 3.36 0.00 93 10 0 0 4 4 0 3 3 0 0
3586.17/3597.00 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3586.17/3597.00 c > strongcg : - - - - - - - 4 0 3 3 0 -
3586.17/3597.00 c impliedbounds : 0.59 0.00 96 13 0 0 311 557 0 170 170 0 0
3586.17/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c multilinear : 0.00 0.00 35 13 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c rlt : 0.00 0.00 52 10 0 0 0 0 0 0 0 0 0
3586.17/3597.00 c zerohalf : 1.94 0.00 96 13 0 0 209 48 182 217 41 176 0
3586.17/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.17/3597.00 c hybrid : 0.00 0.00 102 15 520 0 712 117 0 177
3586.17/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.17/3597.00 c problem variables: 0.00 - 0 0
3586.17/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.17/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c relpscost : 21.28 0.00 4877 0 0 0 17 0 2 9750
3586.17/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.17/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.17/3597.00 c LP solutions : 0.00 - - 0 0
3586.17/3597.00 c relax solutions : 0.00 - - 0 0
3586.17/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.17/3597.00 c strong branching : 0.00 - - 0 0
3586.17/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.17/3597.00 c adaptivediving : 28.83 0.00 8 0 0
3586.17/3597.00 c alns : 151.20 0.00 4 0 0
3586.17/3597.00 c bound : 0.00 0.00 0 0 0
3586.17/3597.00 c clique : 0.07 0.00 1 0 0
3586.17/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.17/3597.00 c completesol : 0.00 0.00 0 0 0
3586.17/3597.00 c conflictdiving : 226.65 0.00 18 0 0
3586.17/3597.00 c crossover : 0.00 0.00 0 0 0
3586.17/3597.00 c dins : 0.00 0.00 0 0 0
3586.17/3597.00 c distributiondivin: 207.68 0.00 7 0 0
3586.17/3597.00 c dps : 0.00 0.00 0 0 0
3586.17/3597.00 c dualval : 0.00 0.00 0 0 0
3586.17/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.17/3597.00 c feasjump : 0.06 0.00 1 0 0
3586.17/3597.00 c feaspump : 64.31 0.00 5 0 0
3586.17/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.17/3597.00 c fracdiving : 174.07 0.00 9 0 0
3586.17/3597.00 c gins : 0.00 0.00 0 0 0
3586.17/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.17/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3586.17/3597.00 c indicator : 0.00 0.00 0 0 0
3586.17/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.17/3597.00 c indoneopt : 0.00 0.00 0 0 0
3586.17/3597.00 c indrounding : 0.00 0.00 0 0 0
3586.17/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3586.17/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.17/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.17/3597.00 c linesearchdiving : 104.30 0.00 18 0 0
3586.17/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.17/3597.00 c locks : 4.75 0.00 1 0 0
3586.17/3597.00 c lpface : 0.06 0.00 0 0 0
3586.17/3597.00 c mpec : 0.00 0.00 0 0 0
3586.17/3597.00 c multistart : 0.00 0.00 0 0 0
3586.17/3597.00 c mutation : 0.00 0.00 0 0 0
3586.17/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.17/3597.00 c objpscostdiving : 62.24 0.00 3 0 0
3586.17/3597.00 c octane : 0.00 0.00 0 0 0
3586.17/3597.00 c ofins : 0.00 0.00 0 0 0
3586.17/3597.00 c oneopt : 0.00 0.00 0 0 0
3586.17/3597.00 c padm : 0.00 0.00 0 0 0
3586.17/3597.00 c proximity : 0.00 0.00 0 0 0
3586.17/3597.00 c pscostdiving : 16.97 0.00 18 0 0
3586.17/3597.00 c randrounding : 1.33 0.00 398 0 0
3586.17/3597.00 c rens : 0.17 0.00 1 0 0
3586.17/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.17/3597.00 c repair : 0.00 0.00 0 0 0
3586.17/3597.00 c rins : 0.00 0.00 0 0 0
3586.17/3597.00 c rootsoldiving : 69.70 0.00 3 0 0
3586.17/3597.00 c rounding : 0.65 0.00 945 0 0
3586.17/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.17/3597.00 c shiftandpropagate: 0.06 0.00 1 0 0
3586.17/3597.00 c shifting : 0.55 0.00 308 0 0
3586.17/3597.00 c simplerounding : 0.00 0.00 0 0 0
3586.17/3597.00 c smallcard : 0.00 0.00 0 0 0
3586.17/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.17/3597.00 c trivial : 0.00 0.00 2 0 0
3586.17/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.17/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.17/3597.00 c trysol : 0.00 0.00 0 0 0
3586.17/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.17/3597.00 c undercover : 0.00 0.00 0 0 0
3586.17/3597.00 c vbounds : 0.20 0.00 1 0 0
3586.17/3597.00 c veclendiving : 157.04 0.00 9 0 0
3586.17/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.17/3597.00 c zirounding : 0.06 0.00 1000 0 0
3586.17/3597.00 c other solutions : - - - 0 -
3586.17/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.17/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.17/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.17/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.17/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.17/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.17/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.17/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.17/3597.00 c zeroobjective : 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
3586.17/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.17/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.17/3597.00 c primal LP : 0.47 30 0 0.00 0.00 0.47 30
3586.17/3597.00 c dual LP : 2194.31 9111 6373689 700.02 2904.65 0.01 6
3586.17/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.17/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.17/3597.00 c resolve instable : 41.07 173 128940 745.32 3139.52
3586.17/3597.00 c diving/probing LP: 1098.67 1393 3021934 2169.37 2750.54
3586.17/3597.00 c strong branching : 20.09 53 23850 450.00 1187.30 - - 22
3586.17/3597.00 c (at root node) : - 53 23850 450.00 -
3586.17/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.17/3597.00 c B&B Tree :
3586.17/3597.00 c number of runs : 1
3586.17/3597.00 c nodes : 9231 (4875 internal, 4356 leaves)
3586.17/3597.00 c feasible leaves : 0
3586.17/3597.00 c infeas. leaves : 4355
3586.17/3597.00 c objective leaves : 0
3586.17/3597.00 c nodes (total) : 9231 (4875 internal, 4356 leaves)
3586.17/3597.00 c nodes left : 515
3586.17/3597.00 c max depth : 120
3586.17/3597.00 c max depth (total): 120
3586.17/3597.00 c backtracks : 1029 (11.1%)
3586.17/3597.00 c early backtracks : 0 (0.0%)
3586.17/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.17/3597.00 c delayed cutoffs : 6
3586.17/3597.00 c repropagations : 1972 (3390 domain reductions, 3 cutoffs)
3586.17/3597.00 c avg switch length: 2.71
3586.17/3597.00 c switching time : 1.49
3586.17/3597.00 c Root Node :
3586.17/3597.00 c First LP value : +0.00000000000000e+00
3586.17/3597.00 c First LP Iters : 274531 (2927.59 Iter/sec)
3586.17/3597.00 c First LP Time : 93.77
3586.17/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.17/3597.00 c Final Root Iters : 349697
3586.17/3597.00 c Root LP Estimate : +1.03982620483758e-02
3586.17/3597.00 c Solution :
3586.17/3597.00 c Solutions found : 0 (0 improvements)
3586.17/3597.00 c Primal Bound : -
3586.17/3597.00 c Dual Bound : +0.00000000000000e+00
3586.17/3597.00 c Gap : infinite
3586.17/3597.00 c Integrals : Total Avg%
3586.17/3597.00 c primal-dual : 359699.76 100.00
3586.17/3597.00 c primal-ref : - - (not evaluated)
3586.17/3597.00 c dual-ref : - - (not evaluated)
3586.27/3597.10 c Time complete: 3586.28.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62866 MiB free)
memory of node 1: 64465 MiB (63252 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493454-1751147264/watcher-4493454-1751147264 -o /tmp/evaluation-result-4493454-1751147264/solver-4493454-1751147264 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751144686-14143 --watchdog 3760 pbscip -f HOME/instance-4493454-1751147264.opb -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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16104, runsolver pid=16101
[startup+0.100059 s]*
/proc/loadavg: 4.13 4.12 4.01 5/265 16105
/proc/meminfo: memFree=129085864/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=97312 memory=70144 CPUtime=0.09 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 14320 0 0 0 7 2 0 0 20 0 1 0 30402973 99647488 17536 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 24328 17536 3552 3530 0 15779 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97312 KiB
Current children cumulated memory: 70144 KiB
[startup+0.205459 s]*
/proc/loadavg: 4.13 4.12 4.01 5/265 16105
/proc/meminfo: memFree=129061672/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=111848 memory=85028 CPUtime=0.2 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 21811 0 0 0 16 4 0 0 20 0 1 0 30402973 114532352 21257 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 27962 21257 3680 3530 0 19413 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111848 KiB
Current children cumulated memory: 85028 KiB
[startup+0.30553 s]*
/proc/loadavg: 4.13 4.12 4.01 5/265 16105
/proc/meminfo: memFree=129061672/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=111848 memory=85028 CPUtime=0.3 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 21813 0 0 0 26 4 0 0 20 0 1 0 30402973 114532352 21257 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 27962 21257 3680 3530 0 19413 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 111848 KiB
Current children cumulated memory: 85028 KiB
[startup+0.700182 s]
/proc/loadavg: 4.13 4.12 4.01 5/265 16105
/proc/meminfo: memFree=128999292/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=242040 memory=189508 CPUtime=0.68 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 31625 0 0 0 61 7 0 0 20 0 1 0 30402973 247848960 47377 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 60510 47377 3744 3530 0 51961 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 242040 KiB
Current children cumulated memory: 189508 KiB
[startup+1.50019 s]
/proc/loadavg: 4.13 4.12 4.01 5/265 16105
/proc/meminfo: memFree=128942460/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=263436 memory=211140 CPUtime=1.48 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 36988 0 0 0 140 8 0 0 20 0 1 0 30402973 269758464 52785 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 65859 52785 3776 3530 0 57310 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 263436 KiB
Current children cumulated memory: 211140 KiB
[startup+3.10538 s]
/proc/loadavg: 4.12 4.12 4.01 5/265 16105
/proc/meminfo: memFree=128942708/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=263436 memory=211524 CPUtime=3.08 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 37099 0 0 0 300 8 0 0 20 0 1 0 30402973 269758464 52881 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 65859 52881 3776 3530 0 57310 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 263436 KiB
Current children cumulated memory: 211524 KiB
[startup+6.30019 s]
/proc/loadavg: 4.12 4.12 4.01 5/265 16105
/proc/meminfo: memFree=128938952/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=266924 memory=214980 CPUtime=6.26 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 37965 0 0 0 618 8 0 0 20 0 1 0 30402973 273330176 53745 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 66731 53745 3776 3530 0 58182 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 266924 KiB
Current children cumulated memory: 214980 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.01 5/265 16105
/proc/meminfo: memFree=128938952/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=268248 memory=216388 CPUtime=12.64 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 38304 0 0 0 1256 8 0 0 20 0 1 0 30402973 274685952 54097 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 67062 54097 3776 3530 0 58513 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 268248 KiB
Current children cumulated memory: 216388 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.01 5/265 16105
/proc/meminfo: memFree=128907200/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=295424 memory=241988 CPUtime=25.4 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 44647 0 0 0 2531 9 0 0 20 0 1 0 30402973 302514176 60497 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 73856 60497 3840 3530 0 65307 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 295424 KiB
Current children cumulated memory: 241988 KiB
[startup+51.1052 s]
/proc/loadavg: 4.12 4.11 4.01 5/265 16105
/proc/meminfo: memFree=128907216/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=303232 memory=249156 CPUtime=50.94 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 46377 0 0 0 5084 10 0 0 20 0 1 0 30402973 310509568 62289 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 75808 62289 3936 3530 0 67259 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 303232 KiB
Current children cumulated memory: 249156 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.09 4.01 5/266 16108
/proc/meminfo: memFree=128906852/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=303232 memory=249156 CPUtime=102 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 46392 0 0 0 10190 10 0 0 20 0 1 0 30402973 310509568 62289 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 75808 62289 3936 3530 0 67259 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 303232 KiB
Current children cumulated memory: 249156 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/266 16110
/proc/meminfo: memFree=128865128/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=335812 memory=278788 CPUtime=161.83 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 49701 0 0 0 16172 11 0 0 20 0 1 0 30402973 343871488 69697 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 83953 69697 3968 3530 0 75404 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 335812 KiB
Current children cumulated memory: 278788 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.01 5/265 16112
/proc/meminfo: memFree=128844844/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=335812 memory=278916 CPUtime=221.67 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 49730 0 0 0 22155 12 0 0 20 0 1 0 30402973 343871488 69729 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 83953 69729 3968 3530 0 75404 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 335812 KiB
Current children cumulated memory: 278916 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/264 16114
/proc/meminfo: memFree=128729328/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=372372 memory=315396 CPUtime=281.51 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 58877 0 0 0 28137 14 0 0 20 0 1 0 30402973 381308928 78849 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 93093 78849 3968 3530 0 84544 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 372372 KiB
Current children cumulated memory: 315396 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/263 16116
/proc/meminfo: memFree=128718416/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=372372 memory=315524 CPUtime=341.34 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 58919 0 0 0 34119 15 0 0 20 0 1 0 30402973 381308928 78881 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 93093 78881 3968 3530 0 84544 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 372372 KiB
Current children cumulated memory: 315524 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/263 16121
/proc/meminfo: memFree=128724228/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=372372 memory=315524 CPUtime=401.19 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 58919 0 0 0 40103 16 0 0 20 0 1 0 30402973 381308928 78881 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 93093 78881 3968 3530 0 84544 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 372372 KiB
Current children cumulated memory: 315524 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/264 16124
/proc/meminfo: memFree=128752876/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=372372 memory=316292 CPUtime=461.02 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 58921 0 0 0 46086 16 0 0 20 0 1 0 30402973 381308928 79073 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 93093 79073 3968 3530 0 84544 0
################
# More data... #
################
/proc/loadavg: 4.13 4.12 4.10 5/265 16613
/proc/meminfo: memFree=127433560/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=523560 memory=464388 CPUtime=3212.54 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 90605 0 0 0 321219 35 0 0 20 0 1 0 30402973 536125440 116097 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 130890 116097 4000 3530 0 122341 0
Current children cumulated CPU time: 3212.54 s
Current children cumulated vsize: 523560 KiB
Current children cumulated memory: 464388 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 16615
/proc/meminfo: memFree=127377356/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=565964 memory=503812 CPUtime=3272.37 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 100454 0 0 0 327199 38 0 0 20 0 1 0 30402973 579547136 125953 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 141491 125953 4000 3530 0 132942 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 565964 KiB
Current children cumulated memory: 503812 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 16617
/proc/meminfo: memFree=127356532/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=565964 memory=506116 CPUtime=3332.2 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 101039 0 0 0 333182 38 0 0 20 0 1 0 30402973 579547136 126529 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 141491 126529 4000 3530 0 132942 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 565964 KiB
Current children cumulated memory: 506116 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 16623
/proc/meminfo: memFree=127345004/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=566900 memory=507524 CPUtime=3392.03 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 101388 0 0 0 339164 39 0 0 20 0 1 0 30402973 580505600 126881 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 141725 126881 4000 3530 0 133176 0
Current children cumulated CPU time: 3392.03 s
Current children cumulated vsize: 566900 KiB
Current children cumulated memory: 507524 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 16625
/proc/meminfo: memFree=127322912/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=573924 memory=513796 CPUtime=3451.85 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 102955 0 0 0 345146 39 0 0 20 0 1 0 30402973 587698176 128449 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 143481 128449 4000 3530 0 134932 0
Current children cumulated CPU time: 3451.85 s
Current children cumulated vsize: 573924 KiB
Current children cumulated memory: 513796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 16627
/proc/meminfo: memFree=127306868/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=579684 memory=518788 CPUtime=3511.68 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 104232 0 0 0 351128 40 0 0 20 0 1 0 30402973 593596416 129697 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 144921 129697 4000 3530 0 136372 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 579684 KiB
Current children cumulated memory: 518788 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 16629
/proc/meminfo: memFree=127290124/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=582780 memory=521732 CPUtime=3571.5 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 104952 0 0 0 357109 41 0 0 20 0 1 0 30402973 596766720 130433 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 145695 130433 4000 3530 0 137146 0
Current children cumulated CPU time: 3571.5 s
Current children cumulated vsize: 582780 KiB
Current children cumulated memory: 521732 KiB
[startup+3597.12 s]
# the end of solver process 16104 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.86 s, system=0.429746 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.05 4.08 4.09 5/264 16629
/proc/meminfo: memFree=127290124/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=582780 memory=521860 CPUtime=3573.2 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 104973 0 0 0 357279 41 0 0 20 0 1 0 30402973 596766720 130465 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 145695 130465 4000 3530 0 137146 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 582780 KiB
Current children cumulated memory: 521860 KiB
[startup+3590.4 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 16629
/proc/meminfo: memFree=127290124/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=584880 memory=523268 CPUtime=3579.59 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 105350 0 0 0 357917 42 0 0 20 0 1 0 30402973 598917120 130817 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 146220 130817 4000 3530 0 137671 0
Current children cumulated CPU time: 3579.59 s
Current children cumulated vsize: 584880 KiB
Current children cumulated memory: 523268 KiB
[startup+3593.6 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 16629
/proc/meminfo: memFree=127290132/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=584880 memory=523396 CPUtime=3582.78 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 105380 0 0 0 358236 42 0 0 20 0 1 0 30402973 598917120 130849 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 146220 130849 4000 3530 0 137671 0
Current children cumulated CPU time: 3582.78 s
Current children cumulated vsize: 584880 KiB
Current children cumulated memory: 523396 KiB
[startup+3595.2 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 16629
/proc/meminfo: memFree=127290140/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=585188 memory=523652 CPUtime=3584.37 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 105438 0 0 0 358395 42 0 0 20 0 1 0 30402973 599232512 130913 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 146297 130913 4000 3530 0 137748 0
Current children cumulated CPU time: 3584.37 s
Current children cumulated vsize: 585188 KiB
Current children cumulated memory: 523652 KiB
[startup+3596 s]*
/proc/loadavg: 4.04 4.08 4.08 5/264 16629
/proc/meminfo: memFree=127290140/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=585472 memory=523908 CPUtime=3585.18 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 105500 0 0 0 358476 42 0 0 20 0 1 0 30402973 599523328 130977 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 146368 130977 4000 3530 0 137819 0
Current children cumulated CPU time: 3585.18 s
Current children cumulated vsize: 585472 KiB
Current children cumulated memory: 523908 KiB
[startup+3596.8 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 16629
/proc/meminfo: memFree=127290140/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=585604 memory=523908 CPUtime=3585.97 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 105507 0 0 0 358555 42 0 0 20 0 1 0 30402973 599658496 130977 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 146401 130977 4000 3530 0 137852 0
Current children cumulated CPU time: 3585.97 s
Current children cumulated vsize: 585604 KiB
Current children cumulated memory: 523908 KiB
[startup+3597 s]*
/proc/loadavg: 4.04 4.08 4.08 5/264 16629
/proc/meminfo: memFree=127290140/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=585604 memory=524036 CPUtime=3586.17 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 105516 0 0 0 358575 42 0 0 20 0 1 0 30402973 599658496 131009 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 146401 131009 4000 3530 0 137852 0
Current children cumulated CPU time: 3586.17 s
Current children cumulated vsize: 585604 KiB
Current children cumulated memory: 524036 KiB
[startup+3597.11 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 16629
/proc/meminfo: memFree=127290140/131250000 swapFree=33010684/33010684
[pid=16104] ppid=16101 vsize=536728 memory=475200 CPUtime=3586.27 cores=0,2
/proc/16104/stat : 16104 (pbscip) R 16101 16104 14133 0 -1 4194304 105527 0 0 0 358585 42 0 0 20 0 1 0 30402973 549609472 118800 18446744073709551615 4235264 18693293 140735482207968 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34496512 140735482210697 140735482210796 140735482210796 140735482216398 0
/proc/16104/statm: 134182 118800 4000 3530 0 125633 0
Current children cumulated CPU time: 3586.27 s
Current children cumulated vsize: 536728 KiB
Current children cumulated memory: 475200 KiB
Child status: 0
Real time (s): 3597.12
CPU time (s): 3586.29
CPU user time (s): 3585.86
CPU system time (s): 0.429746
CPU usage (%): 99.6991
Max. virtual memory (cumulated for all children) (KiB): 585604
Max. memory (cumulated for all children) (KiB): 524036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.86
system time used= 0.429746
maximum resident set size= 524036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105537
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= 108
involuntary context switches= 4616
# summary of solver processes directly reported to runsolver:
# pid: 16104
# total CPU time (s): 3586.29
# total CPU user time (s): 3585.86
# total CPU system time (s): 0.429746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41057 second user time and 13.9465 second system time
The end
Begin job on nodeC014 at 2025-06-28 23:47:44 IDJOB=4493454 IDBENCH=147863 IDSOLVER=3365 FILE ID=nodeC014/4493454-1751147264 RUNJOBID= nodeC014-1751144686-14143 SLURM_JOB_ID= 9587442 Free space on /tmp= 432956 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin16.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493454-1751147264/watcher-4493454-1751147264 -o /tmp/evaluation-result-4493454-1751147264/solver-4493454-1751147264 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751144686-14143 --watchdog 3760 pbscip -f HOME/instance-4493454-1751147264.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c646e12ccfd746fe0694a48782eaf83d RANDOM SEED=701889345 nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3561.883 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3600.397 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3600.343 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3609.439 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3600.121 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3600.147 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3601.167 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3601.328 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129145904 kB MemAvailable: 128805304 kB Buffers: 3280 kB Cached: 470904 kB SwapCached: 0 kB Active: 1254520 kB Inactive: 261564 kB Active(anon): 1059968 kB Inactive(anon): 0 kB Active(file): 194552 kB Inactive(file): 261564 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19988 kB Writeback: 0 kB AnonPages: 1043600 kB Mapped: 138252 kB Shmem: 18068 kB KReclaimable: 85048 kB Slab: 167372 kB SReclaimable: 85048 kB SUnreclaim: 82324 kB KernelStack: 4272 kB PageTables: 5220 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1479272 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 782336 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: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432932 MiB End job on nodeC014 at 2025-06-29 00:47:41