| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | UNSAT | 72.8982 | 73.1418 |
| Name | PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l040-r039-n1.cnf-plain.pb.metafix.opb |
| MD5SUM | 496e1a97745958844c4098fcb049f7a4 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.093145 |
| 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 | 3543 |
| Total number of constraints | 11237 |
| Number of constraints which are clauses | 11237 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4 |
| 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-4510842-1751205313.opb>
0.00/0.07 c original problem has 3543 variables (3543 bin, 0 int, 0 impl, 0 cont) and 11237 constraints
0.00/0.07 c problem read in 0.06
0.00/0.07 c No objective function, only one solution is needed.
0.00/0.11 c presolving:
0.10/0.17 c (0.2s) running MILP presolver
0.10/0.20 c (0.2s) MILP presolver found nothing
0.21/0.25 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11237 upgd conss, 0 impls, 10056 clqs
0.21/0.29 c (round 2, exhaustive) 0 del vars, 4724 del conss, 1181 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11237 upgd conss, 0 impls, 10056 clqs
0.21/0.32 c (0.3s) running MILP presolver
0.31/0.33 c (0.3s) MILP presolver found nothing
0.40/0.43 c (0.4s) probing: 51/3543 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.40/0.43 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.40/0.45 c (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.40/0.49 c (0.5s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
0.40/0.49 c dynamic symmetry handling statistics:
0.40/0.49 c orbitopal reduction: no components
0.40/0.49 c orbital reduction: no components
0.40/0.49 c lexicographic reduction: no permutations
0.40/0.49 c handled 1 out of 1 symmetry components
0.40/0.49 c (round 3, exhaustive) 15 del vars, 4724 del conss, 1182 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11237 upgd conss, 0 impls, 11133 clqs
0.40/0.49 c (round 4, fast) 39 del vars, 4800 del conss, 1182 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11237 upgd conss, 0 impls, 11121 clqs
0.40/0.51 c (0.5s) probing: 57/3543 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.40/0.51 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.40/0.51 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
0.40/0.51 c 39 deleted vars, 4800 deleted constraints, 1182 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.40/0.51 c 0 implications, 11121 cliques
0.40/0.51 c presolved problem has 3516 variables (3516 bin, 0 int, 0 impl, 0 cont) and 7619 constraints
0.40/0.51 c 7618 constraints of type <setppc>
0.40/0.51 c 1 constraints of type <orbitope>
0.40/0.51 c transformed objective value is always integral (scale: 1)
0.40/0.51 c Presolving Time: 0.41
0.40/0.51 c - non default parameters ----------------------------------------------------------------------
0.40/0.51 c # SCIP version 10.0.0
0.40/0.51 c
0.40/0.51 c # maximal time in seconds to run
0.40/0.51 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.40/0.51 c limits/time = 3596.993168
0.40/0.51 c
0.40/0.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.40/0.51 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.40/0.51 c limits/memory = 27900
0.40/0.51 c
0.40/0.51 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.40/0.51 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.40/0.51 c limits/solutions = 1
0.40/0.51 c
0.40/0.51 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.
0.40/0.51 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.40/0.51 c misc/usesymmetry = 3
0.40/0.51 c
0.40/0.51 c # belongs reading time to solving time?
0.40/0.51 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.40/0.51 c timing/reading = TRUE
0.40/0.51 c
0.40/0.52 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.40/0.52 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.40/0.52 c propagating/symmetry/detectdoublelex = FALSE
0.40/0.52 c
0.40/0.52 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.40/0.52 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.40/0.52 c propagating/symmetry/detectsubgroups = FALSE
0.40/0.52 c
0.40/0.52 c # Type of symmetries that shall be computed?
0.40/0.52 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.40/0.52 c propagating/symmetry/symtype = 1
0.40/0.52 c
0.40/0.52 c # Should components consisting of a single full reflection be handled?
0.40/0.52 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.40/0.52 c propagating/symmetry/usesimplesgncomp = FALSE
0.40/0.52 c
0.40/0.52 c -----------------------------------------------------------------------------------------------
0.40/0.52 c start solving
0.40/0.52 c
0.68/0.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.68/0.71 c 0.7s| 1 | 0 | 2674 | - | 49M | 0 |3516 |7640 |7618 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
1.98/2.04 c 2.0s| 1 | 0 | 10052 | - | 53M | 0 |3516 |7714 |7799 | 181 | 1 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
2.17/2.25 c 2.2s| 1 | 0 | 10958 | - | 54M | 0 |3516 |7715 |7974 | 356 | 2 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
2.47/2.53 c 2.5s| 1 | 0 | 11656 | - | 55M | 0 |3516 |7716 |8123 | 505 | 3 | 24 | 0 | 0.000000e+00 | -- | Inf | unknown
2.77/2.86 c 2.8s| 1 | 0 | 12103 | - | 57M | 0 |3516 |7718 |8203 | 585 | 4 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
2.98/3.10 c 3.1s| 1 | 0 | 12314 | - | 61M | 0 |3516 |7719 |8236 | 618 | 5 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
3.27/3.34 c 3.3s| 1 | 0 | 12463 | - | 63M | 0 |3516 |7720 |8253 | 635 | 6 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
3.37/3.47 c 3.5s| 1 | 0 | 12694 | - | 65M | 0 |3516 |7721 |8263 | 645 | 7 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
3.67/3.70 c 3.7s| 1 | 0 | 12774 | - | 66M | 0 |3516 |7723 |8286 | 668 | 8 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
3.98/4.02 c 4.0s| 1 | 0 | 12962 | - | 69M | 0 |3516 |7724 |8303 | 685 | 9 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
4.16/4.23 c 4.2s| 1 | 0 | 13096 | - | 70M | 0 |3516 |7725 |8320 | 702 | 10 | 33 | 0 | 0.000000e+00 | -- | Inf | unknown
4.26/4.30 c 4.3s| 1 | 0 | 13211 | - | 72M | 0 |3516 |7726 |8336 | 718 | 11 | 34 | 0 | 0.000000e+00 | -- | Inf | unknown
4.98/5.01 c 5.0s| 1 | 2 | 15398 | - | 72M | 0 |3516 |7731 |8336 | 718 | 11 | 39 | 11 | 0.000000e+00 | -- | Inf | unknown
7.08/7.19 c 7.2s| 100 | 38 | 23138 | 100.3 | 77M | 40 |3516 |7819 |7992 | 952 | 0 | 128 | 11 | 0.000000e+00 | -- | Inf | unknown
8.07/8.13 c 8.1s| 200 | 35 | 24703 | 57.7 | 78M | 40 |3516 |7888 |8000 |1077 | 1 | 203 | 11 | 0.000000e+00 | -- | Inf | unknown
9.07/9.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.07/9.17 c 9.1s| 300 | 33 | 27581 | 48.1 | 79M | 40 |3516 |7966 |8014 |1278 | 1 | 281 | 11 | 0.000000e+00 | -- | Inf | 3.13%
12.06/12.13 c 12.1s| 400 | 35 | 32161 | 47.5 | 80M | 40 |3516 |8004 |7963 |1994 | 1 | 321 | 11 | 0.000000e+00 | -- | Inf | 3.18%
15.94/16.04 c 16.0s| 500 | 41 | 37619 | 48.9 | 80M | 40 |3516 |8013 |7971 |2431 | 1 | 330 | 11 | 0.000000e+00 | -- | Inf | 6.31%
16.53/16.65 c 16.6s| 600 | 37 | 39708 | 44.2 | 82M | 40 |3516 |8076 |8023 |2619 | 0 | 394 | 11 | 0.000000e+00 | -- | Inf | 6.36%
17.12/17.24 c 17.2s| 700 | 38 | 42534 | 41.9 | 84M | 40 |3516 |8147 | 0 |3004 | 0 | 465 | 11 | 0.000000e+00 | -- | Inf | 6.66%
17.62/17.74 c 17.7s| 800 | 36 | 46319 | 41.4 | 85M | 40 |3516 |8245 | 0 |3226 | 0 | 569 | 11 | 0.000000e+00 | -- | Inf | 6.89%
17.62/17.78 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
17.62/17.79 c (run 1, node 817) performing user restart
17.62/17.79 c
17.62/17.79 c (restart) converted 253 cuts from the global cut pool into linear constraints
17.62/17.79 c
17.62/17.80 c presolving:
17.72/17.80 c (round 1, fast) 0 del vars, 104 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 37 chg coeffs, 0 upgd conss, 0 impls, 11310 clqs
17.72/17.81 c (round 2, exhaustive) 0 del vars, 196 del conss, 23 add conss, 0 chg bounds, 6 chg sides, 37 chg coeffs, 0 upgd conss, 0 impls, 11310 clqs
17.72/17.82 c (round 3, exhaustive) 0 del vars, 196 del conss, 23 add conss, 0 chg bounds, 6 chg sides, 37 chg coeffs, 334 upgd conss, 0 impls, 11328 clqs
17.72/17.82 c (round 4, fast) 0 del vars, 207 del conss, 23 add conss, 0 chg bounds, 6 chg sides, 37 chg coeffs, 334 upgd conss, 0 impls, 11328 clqs
17.72/17.82 c (round 5, medium) 0 del vars, 218 del conss, 33 add conss, 0 chg bounds, 16 chg sides, 62 chg coeffs, 334 upgd conss, 0 impls, 11332 clqs
17.72/17.83 c (round 6, exhaustive) 0 del vars, 226 del conss, 35 add conss, 0 chg bounds, 16 chg sides, 62 chg coeffs, 334 upgd conss, 0 impls, 11332 clqs
17.72/17.84 c (round 7, exhaustive) 0 del vars, 243 del conss, 35 add conss, 0 chg bounds, 16 chg sides, 70 chg coeffs, 334 upgd conss, 0 impls, 11333 clqs
17.72/17.85 c presolving (8 rounds: 8 fast, 6 medium, 5 exhaustive):
17.72/17.85 c 0 deleted vars, 243 deleted constraints, 35 added constraints, 0 tightened bounds, 0 added holes, 16 changed sides, 70 changed coefficients
17.72/17.85 c 0 implications, 11333 cliques
17.72/17.85 c presolved problem has 3516 variables (3516 bin, 0 int, 0 impl, 0 cont) and 8311 constraints
17.72/17.85 c 35 constraints of type <knapsack>
17.72/17.85 c 7755 constraints of type <setppc>
17.72/17.85 c 1 constraints of type <linear>
17.72/17.85 c 1 constraints of type <orbitope>
17.72/17.85 c 519 constraints of type <logicor>
17.72/17.85 c transformed objective value is always integral (scale: 1)
17.72/17.85 c Presolving Time: 0.47
17.72/17.85 c
17.82/17.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.82/17.96 c 17.9s| 1 | 0 | 49799 | - | 86M | 0 |3516 |8315 |7813 | 0 | 0 | 600 | 11 | 0.000000e+00 | -- | Inf | unknown
18.12/18.28 c 18.3s| 1 | 0 | 50602 | - | 86M | 0 |3516 |8316 |7957 | 144 | 1 | 601 | 11 | 0.000000e+00 | -- | Inf | unknown
18.32/18.47 c 18.5s| 1 | 0 | 51009 | - | 87M | 0 |3516 |8317 |8030 | 217 | 2 | 602 | 11 | 0.000000e+00 | -- | Inf | unknown
18.52/18.66 c 18.6s| 1 | 0 | 51373 | - | 88M | 0 |3516 |8318 |8094 | 281 | 3 | 603 | 11 | 0.000000e+00 | -- | Inf | unknown
18.82/18.96 c 18.9s| 1 | 0 | 51630 | - | 92M | 0 |3516 |8320 |8150 | 337 | 4 | 605 | 11 | 0.000000e+00 | -- | Inf | unknown
19.12/19.24 c 19.2s| 1 | 0 | 51783 | - | 93M | 0 |3516 |8321 |8170 | 357 | 5 | 606 | 11 | 0.000000e+00 | -- | Inf | unknown
19.32/19.41 c 19.4s| 1 | 0 | 51919 | - | 95M | 0 |3516 |8322 |8193 | 380 | 6 | 607 | 11 | 0.000000e+00 | -- | Inf | unknown
19.42/19.53 c 19.5s| 1 | 0 | 52052 | - | 96M | 0 |3516 |8323 |8217 | 404 | 7 | 608 | 11 | 0.000000e+00 | -- | Inf | unknown
19.52/19.65 c 19.6s| 1 | 0 | 52196 | - | 97M | 0 |3516 |8324 |8239 | 426 | 8 | 609 | 11 | 0.000000e+00 | -- | Inf | unknown
19.72/19.85 c 19.8s| 1 | 0 | 52346 | - | 101M | 0 |3516 |8325 |8255 | 442 | 9 | 610 | 11 | 0.000000e+00 | -- | Inf | unknown
19.82/19.98 c 20.0s| 1 | 0 | 52465 | - | 101M | 0 |3516 |8326 |8270 | 457 | 10 | 611 | 11 | 0.000000e+00 | -- | Inf | unknown
19.93/20.06 c 20.0s| 1 | 0 | 52691 | - | 103M | 0 |3516 |8327 |8291 | 478 | 11 | 612 | 11 | 0.000000e+00 | -- | Inf | unknown
20.71/20.80 c 20.8s| 1 | 2 | 54996 | - | 103M | 0 |3516 |8330 |8291 | 478 | 11 | 615 | 30 | 0.000000e+00 | -- | Inf | unknown
29.39/29.59 c 29.6s| 100 | 46 |104391 | 93.0 | 107M | 40 |3516 |8423 |7918 | 770 | 2 | 708 | 30 | 0.000000e+00 | -- | Inf | unknown
30.18/30.33 c 30.3s| 200 | 30 |108472 | 87.9 | 112M | 40 |3516 |8506 |7954 |1261 | 1 | 792 | 30 | 0.000000e+00 | -- | Inf | unknown
31.18/31.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.18/31.30 c 31.3s| 300 | 48 |116342 | 87.0 | 117M | 40 |3516 |8599 |7967 |1701 | 1 | 890 | 30 | 0.000000e+00 | -- | Inf | 1.39%
31.99/32.17 c 32.2s| 400 | 34 |119893 | 82.8 | 122M | 40 |3516 |8700 |7993 |2062 | 1 | 995 | 30 | 0.000000e+00 | -- | Inf | 1.49%
32.68/32.81 c 32.8s| 500 | 32 |122429 | 78.4 | 125M | 40 |3516 |8804 |7995 |2332 | 1 |1108 | 30 | 0.000000e+00 | -- | Inf | 1.73%
34.27/34.49 c 34.5s| 600 | 31 |137795 | 83.7 | 135M | 40 |3516 |8906 |7778 |4808 | 1 |1234 | 30 | 0.000000e+00 | -- | Inf | 6.25%
35.67/35.89 c 35.9s| 700 | 39 |149724 | 86.1 | 144M | 40 |3516 |9013 |7976 |7253 | 1 |1363 | 30 | 0.000000e+00 | -- | Inf | 7.52%
37.26/37.41 c 37.4s| 800 | 43 |161842 | 88.3 | 151M | 40 |3516 |9106 |7937 |9064 | 1 |1493 | 30 | 0.000000e+00 | -- | Inf | 9.00%
38.26/38.44 c 38.4s| 900 | 38 |167949 | 86.7 | 153M | 40 |3516 |9197 |7878 |9615 | 1 |1625 | 30 | 0.000000e+00 | -- | Inf | 9.38%
39.45/39.62 c 39.6s| 1000 | 40 |175161 | 85.9 | 158M | 40 |3516 |9295 |8028 | 10k| 1 |1763 | 30 | 0.000000e+00 | -- | Inf | 10.08%
40.05/40.29 c 40.3s| 1100 | 38 |180837 | 84.4 | 158M | 40 |3516 |9392 |7933 | 11k| 0 |1883 | 30 | 0.000000e+00 | -- | Inf | 11.00%
41.86/42.03 c 42.0s| 1200 | 53 |193201 | 86.3 | 163M | 40 |3516 |9487 |8009 | 13k| 0 |2009 | 30 | 0.000000e+00 | -- | Inf | 13.72%
42.95/43.16 c 43.1s| 1300 | 50 |200868 | 85.9 | 166M | 40 |3516 |9539 |8029 | 14k| 1 |2099 | 30 | 0.000000e+00 | -- | Inf | 15.28%
44.14/44.32 c 44.3s| 1400 | 46 |212766 | 87.3 | 169M | 40 |3516 |9628 |7836 | 15k| 1 |2238 | 30 | 0.000000e+00 | -- | Inf | 18.38%
45.74/46.01 c 46.0s| 1500 | 49 |228424 | 90.3 | 172M | 40 |3516 |9698 |7774 | 18k| 1 |2372 | 30 | 0.000000e+00 | -- | Inf | 22.34%
46.95/47.13 c 47.1s| 1600 | 46 |239721 | 91.3 | 175M | 40 |3516 |9753 |7806 | 21k| 1 |2477 | 30 | 0.000000e+00 | -- | Inf | 26.20%
48.03/48.29 c 48.3s| 1700 | 55 |252973 | 92.9 | 178M | 40 |3516 |9794 |7899 | 22k| 1 |2592 | 30 | 0.000000e+00 | -- | Inf | 37.62%
49.43/49.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
49.43/49.64 c 49.6s| 1800 | 68 |262529 | 93.0 | 180M | 40 |3516 |9833 |7973 | 24k| 1 |2699 | 30 | 0.000000e+00 | -- | Inf | 38.59%
51.22/51.44 c 51.4s| 1900 | 60 |280242 | 96.1 | 189M | 40 |3516 |9881 |7986 | 27k| 3 |2821 | 30 | 0.000000e+00 | -- | Inf | 42.46%
53.11/53.31 c 53.3s| 2000 | 64 |298405 | 99.1 | 190M | 40 |3516 |9928 |7774 | 29k| 1 |2944 | 30 | 0.000000e+00 | -- | Inf | 51.07%
55.50/55.78 c 55.8s| 2100 | 73 |318666 | 102.7 | 198M | 40 |3516 |9990 | 0 | 31k| 0 |3082 | 30 | 0.000000e+00 | -- | Inf | 58.23%
56.50/56.71 c 56.7s| 2200 | 78 |329234 | 102.8 | 201M | 40 |3516 | 10k|7917 | 33k| 1 |3179 | 30 | 0.000000e+00 | -- | Inf | 61.38%
57.70/57.99 c 58.0s| 2300 | 57 |343496 | 104.1 | 203M | 40 |3516 | 10k| 0 | 34k| 0 |3282 | 30 | 0.000000e+00 | -- | Inf | 64.89%
59.49/59.73 c 59.7s| 2400 | 62 |356693 | 104.9 | 205M | 40 |3516 | 10k|8014 | 37k| 3 |3378 | 30 | 0.000000e+00 | -- | Inf | 67.02%
60.58/60.84 c 60.8s| 2500 | 61 |369322 | 105.6 | 206M | 40 |3516 | 10k|7960 | 38k| 1 |3497 | 30 | 0.000000e+00 | -- | Inf | 69.91%
62.80/63.06 c 63.0s| 2600 | 52 |385744 | 107.3 | 208M | 40 |3516 | 10k|8027 | 41k| 3 |3618 | 30 | 0.000000e+00 | -- | Inf | 77.93%
64.08/64.38 c 64.4s| 2700 | 54 |400245 | 108.4 | 209M | 40 |3516 | 10k|7923 | 43k| 1 |3724 | 30 | 0.000000e+00 | -- | Inf | 80.22%
65.38/65.66 c 65.6s| 2800 | 48 |415047 | 109.5 | 210M | 40 |3516 | 10k|7930 | 44k| 0 |3858 | 30 | 0.000000e+00 | -- | Inf | 82.60%
66.88/67.19 c 67.2s| 2900 | 30 |430680 | 110.7 | 211M | 40 |3516 | 10k|7929 | 46k| 1 |3979 | 30 | 0.000000e+00 | -- | Inf | 87.34%
68.56/68.88 c 68.9s| 3000 | 30 |441748 | 110.7 | 212M | 40 |3516 | 10k|7929 | 48k| 1 |4077 | 30 | 0.000000e+00 | -- | Inf | 88.85%
69.77/70.08 c 70.1s| 3100 | 29 |455401 | 111.4 | 215M | 40 |3516 | 10k|7974 | 49k| 1 |4204 | 30 | 0.000000e+00 | -- | Inf | 90.66%
71.45/71.78 c 71.8s| 3200 | 12 |468034 | 111.8 | 216M | 40 |3516 | 10k|7780 | 51k| 1 |4334 | 30 | 0.000000e+00 | -- | Inf | 96.68%
72.76/73.09 c
72.76/73.09 c SCIP Status : problem is solved [infeasible]
72.76/73.09 c Solving Time (sec) : 73.08
72.76/73.09 c Solving Nodes : 3249 (total of 4066 nodes in 2 runs)
72.76/73.09 c Primal Bound : +1.00000000000000e+20 (0 solutions)
72.76/73.09 c Dual Bound : +1.00000000000000e+20
72.76/73.09 c Gap : 0.00 %
72.76/73.09 s UNSATISFIABLE
72.76/73.09 c SCIP Status : problem is solved [infeasible]
72.76/73.09 c Total Time : 73.08
72.76/73.09 c solving : 73.08
72.76/73.09 c presolving : 0.47 (included in solving)
72.76/73.09 c reading : 0.06 (included in solving)
72.76/73.09 c copying : 1.32 (104 #copies) (minimal 0.01, maximal 0.02, average 0.01)
72.76/73.09 c Original Problem :
72.76/73.09 c Problem name : HOME/instance-4510842-1751205313.opb
72.76/73.09 c Variables : 3543 (3543 binary, 0 integer, 0 implicit integer, 0 continuous)
72.76/73.09 c Constraints : 11237 initial, 11237 maximal
72.76/73.09 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
72.76/73.09 c Presolved Problem :
72.76/73.09 c Problem name : t_HOME/instance-4510842-1751205313.opb
72.76/73.09 c Variables : 3516 (3516 binary, 0 integer, 0 implicit integer, 0 continuous)
72.76/73.09 c Constraints : 8311 initial, 10532 maximal
72.76/73.09 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
72.76/73.09 c Nonzeros : 19872 constraint, 22325 clique table
72.76/73.09 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
72.76/73.09 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c domcol : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
72.76/73.09 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
72.76/73.09 c gateextraction : 0.04 0.00 6 0 0 0 0 0 4824 1206 0 0
72.76/73.09 c implics : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
72.76/73.09 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c milp : 0.09 0.00 2 0 0 0 0 0 0 0 0 0
72.76/73.09 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
72.76/73.09 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c trivial : 0.00 0.00 13 12 0 0 0 0 0 0 0 0
72.76/73.09 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c dualfix : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
72.76/73.09 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c probing : 0.07 0.00 2 0 0 0 0 0 0 0 0 0
72.76/73.09 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
72.76/73.09 c symmetry : 0.05 0.00 1 3 0 0 0 0 0 1 0 0
72.76/73.09 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
72.76/73.09 c knapsack : 0.00 0.00 17 0 0 0 0 0 5 10 10 25
72.76/73.09 c setppc : 0.06 0.00 26 0 12 0 0 0 87 0 0 0
72.76/73.09 c linear : 0.08 0.01 13 0 0 0 0 0 0 0 6 37
72.76/73.09 c orbitope : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
72.76/73.09 c logicor : 0.01 0.00 18 0 0 0 0 0 127 0 0 8
72.76/73.09 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
72.76/73.09 c root node : - - - 747 - - 747 - - - - -
72.76/73.09 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
72.76/73.09 c benderslp : 0 0 0 0 2798 0 0 390 0 0 0 0 0 0 0
72.76/73.09 c integral : 0 0 0 0 2798 0 0 390 0 0 0 0 0 0 5596
72.76/73.09 c knapsack : 35+ 47 11 33629 0 0 0 0 151 2 849 0 0 0 0
72.76/73.09 c setppc : 7755+ 7761 22 37801 0 0 0 386 45592 776 394202 3 0 0 0
72.76/73.09 c linear : 1+ 15 11 35595 0 0 0 2 388 18 1073 2 2 0 0
72.76/73.09 c orbitope : 1 1 0 36907 0 0 0 0 294 11 165 0 0 0 0
72.76/73.09 c logicor : 519+ 2779 22 19977 0 0 0 0 19869 575 46960 60 26 0 0
72.76/73.09 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
72.76/73.09 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c integral : 1.54 0.00 0.00 0.00 1.54 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c knapsack : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c setppc : 0.75 0.00 0.01 0.72 0.00 0.00 0.00 0.00 0.01 0.00
72.76/73.09 c linear : 0.02 0.01 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c orbitope : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c logicor : 0.36 0.00 0.00 0.34 0.00 0.00 0.00 0.00 0.02 0.00
72.76/73.09 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c Propagators : #Propagate #ResProp Cutoffs DomReds
72.76/73.09 c dualfix : 2 0 0 0
72.76/73.09 c genvbounds : 0 0 0 0
72.76/73.09 c nlobbt : 0 0 0 0
72.76/73.09 c obbt : 0 0 0 0
72.76/73.09 c probing : 0 0 0 0
72.76/73.09 c pseudoobj : 0 0 0 0
72.76/73.09 c redcost : 0 0 0 0
72.76/73.09 c rootredcost : 0 0 0 0
72.76/73.09 c symmetry : 0 0 0 0
72.76/73.09 c vbounds : 28427 0 0 0
72.76/73.09 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
72.76/73.09 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
72.76/73.09 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c probing : 0.07 0.00 0.07 0.00 0.00 0.00
72.76/73.09 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
72.76/73.09 c symmetry : 0.05 0.00 0.05 0.01 0.00 0.00
72.76/73.09 c vbounds : 0.32 0.00 0.01 0.31 0.00 0.00
72.76/73.09 c Symmetry :
72.76/73.09 c orbitopal red. : 0 reductions applied, 0 cutoffs
72.76/73.09 c orbital reduction: 0 reductions applied, 0 cutoffs
72.76/73.09 c lexicographic red: 0 reductions applied, 0 cutoffs
72.76/73.09 c shadow tree time : 0.00 s
72.76/73.09 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
72.76/73.09 c propagation : 0.04 1361 1277 - 3580 14.4 207 7.3 - - -
72.76/73.09 c infeasible LP : 0.23 532 525 - 1675 10.4 191 6.5 525 7.7 0
72.76/73.09 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
72.76/73.09 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
72.76/73.09 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
72.76/73.09 c applied globally : 0.04 - - 0 3840 8.1 - - 508 - -
72.76/73.09 c applied locally : - - - 0 23 24.0 - - 17 - -
72.76/73.09 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
72.76/73.09 c cut pool : 0.79 - 1313 42 - - 18331 238414 - - - - - (maximal pool size: 4499)
72.76/73.09 c aggregation : 0.28 0.00 270 22 0 0 7 10 3 2 2 0 0
72.76/73.09 c > cmir : - - - - - - - 7 0 2 2 0 -
72.76/73.09 c > flowcover : - - - - - - - 0 0 0 0 0 -
72.76/73.09 c > knapsackcover : - - - - - - - 3 3 0 0 0 -
72.76/73.09 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c clique : 0.58 0.00 22 22 0 0 129 2029 0 1605 1605 0 0
72.76/73.09 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c gomory : 13.24 0.00 268 20 0 0 16445 181003 726 23079 23056 23 0
72.76/73.09 c > gomorymi : - - - - - - - 10115 363 120 104 16 -
72.76/73.09 c > strongcg : - - - - - - - 170888 363 22959 22952 7 -
72.76/73.09 c impliedbounds : 0.08 0.00 270 22 0 0 7 64 0 59 59 0 0
72.76/73.09 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c mcf : 0.02 0.00 2 2 0 0 0 0 0 0 0 0 0
72.76/73.09 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c multilinear : 0.00 0.00 179 22 0 0 0 0 0 0 0 0 0
72.76/73.09 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.76/73.09 c rapidlearning : 7.51 0.00 100 1 0 1588 0 0 0 0 0 0 122
72.76/73.09 c rlt : 0.00 0.00 189 20 0 0 0 0 0 0 0 0 0
72.76/73.09 c zerohalf : 1.87 0.00 270 22 0 0 4170 55308 1698 32053 31752 301 0
72.76/73.09 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
72.76/73.09 c hybrid : 0.37 0.00 951 22 56849 10 183375 1196 0 5458
72.76/73.09 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c Pricers : ExecTime SetupTime Calls Vars
72.76/73.09 c problem variables: 0.00 - 0 0
72.76/73.09 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
72.76/73.09 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c random : 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c relpscost : 1.54 0.00 2798 0 0 0 0 0 0 5596
72.76/73.09 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
72.76/73.09 c Primal Heuristics : ExecTime SetupTime Calls Found Best
72.76/73.09 c LP solutions : 0.00 - - 0 0
72.76/73.09 c relax solutions : 0.00 - - 0 0
72.76/73.09 c pseudo solutions : 0.00 - - 0 0
72.76/73.09 c strong branching : 0.00 - - 0 0
72.76/73.09 c actconsdiving : 0.00 0.00 0 0 0
72.76/73.09 c adaptivediving : 0.61 0.00 10 0 0
72.76/73.09 c alns : 0.17 0.00 4 0 0
72.76/73.09 c bound : 0.00 0.00 0 0 0
72.76/73.09 c clique : 0.02 0.00 1 0 0
72.76/73.09 c coefdiving : 0.00 0.00 0 0 0
72.76/73.09 c completesol : 0.00 0.00 0 0 0
72.76/73.09 c conflictdiving : 0.83 0.00 7 0 0
72.76/73.09 c crossover : 0.00 0.00 0 0 0
72.76/73.09 c dins : 0.00 0.00 0 0 0
72.76/73.09 c distributiondivin: 0.44 0.00 6 0 0
72.76/73.09 c dps : 0.00 0.00 0 0 0
72.76/73.09 c dualval : 0.00 0.00 0 0 0
72.76/73.09 c farkasdiving : 0.00 0.00 0 0 0
72.76/73.09 c feasjump : 0.04 0.00 2 0 0
72.76/73.09 c feaspump : 1.31 0.00 4 0 0
72.76/73.09 c fixandinfer : 0.00 0.00 0 0 0
72.76/73.09 c fracdiving : 0.28 0.00 6 0 0
72.76/73.09 c gins : 0.00 0.00 0 0 0
72.76/73.09 c guideddiving : 0.00 0.00 0 0 0
72.76/73.09 c indcoefdiving : 0.00 0.00 0 0 0
72.76/73.09 c indicator : 0.00 0.00 0 0 0
72.76/73.09 c indicatordiving : 0.00 0.00 0 0 0
72.76/73.09 c indoneopt : 0.00 0.00 0 0 0
72.76/73.09 c indrounding : 0.00 0.00 0 0 0
72.76/73.09 c indtwoopt : 0.00 0.00 0 0 0
72.76/73.09 c intdiving : 0.00 0.00 0 0 0
72.76/73.09 c intshifting : 0.00 0.00 0 0 0
72.76/73.09 c linesearchdiving : 0.32 0.00 7 0 0
72.76/73.09 c localbranching : 0.00 0.00 0 0 0
72.76/73.09 c locks : 0.01 0.00 1 0 0
72.76/73.09 c lpface : 0.01 0.00 0 0 0
72.76/73.09 c mpec : 0.00 0.00 0 0 0
72.76/73.09 c multistart : 0.00 0.00 0 0 0
72.76/73.09 c mutation : 0.00 0.00 0 0 0
72.76/73.09 c nlpdiving : 0.00 0.00 0 0 0
72.76/73.09 c objpscostdiving : 6.12 0.00 2 0 0
72.76/73.09 c octane : 0.00 0.00 0 0 0
72.76/73.09 c ofins : 0.00 0.00 0 0 0
72.76/73.09 c oneopt : 0.00 0.00 0 0 0
72.76/73.09 c padm : 0.00 0.00 0 0 0
72.76/73.09 c proximity : 0.00 0.00 0 0 0
72.76/73.09 c pscostdiving : 0.30 0.00 6 0 0
72.76/73.09 c randrounding : 0.11 0.00 401 0 0
72.76/73.09 c rens : 0.00 0.00 0 0 0
72.76/73.09 c reoptsols : 0.00 0.00 0 0 0
72.76/73.09 c repair : 0.00 0.00 0 0 0
72.76/73.09 c rins : 0.00 0.00 0 0 0
72.76/73.09 c rootsoldiving : 1.38 0.00 3 0 0
72.76/73.09 c rounding : 0.12 0.00 822 0 0
72.76/73.09 c scheduler : 0.00 0.00 0 0 0
72.76/73.09 c shiftandpropagate: 0.02 0.00 2 0 0
72.76/73.09 c shifting : 0.50 0.00 445 0 0
72.76/73.09 c simplerounding : 0.00 0.00 0 0 0
72.76/73.09 c smallcard : 0.00 0.00 0 0 0
72.76/73.10 c subnlp : 0.00 0.00 0 0 0
72.76/73.10 c trivial : 0.00 0.00 4 0 0
72.76/73.10 c trivialnegation : 0.00 0.00 0 0 0
72.76/73.10 c trustregion : 0.00 0.00 0 0 0
72.76/73.10 c trysol : 0.00 0.00 0 0 0
72.76/73.10 c twoopt : 0.00 0.00 0 0 0
72.76/73.10 c undercover : 0.00 0.00 0 0 0
72.76/73.10 c vbounds : 0.01 0.00 2 0 0
72.76/73.10 c veclendiving : 0.40 0.00 6 0 0
72.76/73.10 c zeroobj : 0.00 0.00 0 0 0
72.76/73.10 c zirounding : 0.09 0.00 1000 0 0
72.76/73.10 c other solutions : - - - 0 -
72.76/73.10 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
72.76/73.10 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
72.76/73.10 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
72.76/73.10 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
72.76/73.10 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
72.76/73.10 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
72.76/73.10 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
72.76/73.10 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
72.76/73.10 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
72.76/73.10 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
72.76/73.10 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
72.76/73.10 c primal LP : 0.51 392 0 0.00 0.00 0.51 392
72.76/73.10 c dual LP : 25.63 4447 388931 90.96 15176.68 0.22 171
72.76/73.10 c lex dual LP : 0.00 0 0 0.00 -
72.76/73.10 c barrier LP : 0.00 0 0 0.00 - 0.00 0
72.76/73.10 c resolve instable : 0.00 0 0 0.00 -
72.76/73.10 c diving/probing LP: 11.42 338 87921 260.12 7697.62
72.76/73.10 c strong branching : 0.69 30 12161 405.37 17526.51 - - 11
72.76/73.10 c (at root node) : - 30 12161 405.37 -
72.76/73.10 c conflict analysis: 0.00 0 0 0.00 -
72.76/73.10 c B&B Tree :
72.76/73.10 c number of runs : 2
72.76/73.10 c nodes : 3249 (2225 internal, 1024 leaves)
72.76/73.10 c feasible leaves : 0
72.76/73.10 c infeas. leaves : 1024
72.76/73.10 c objective leaves : 0
72.76/73.10 c nodes (total) : 4066 (2798 internal, 1268 leaves)
72.76/73.10 c nodes left : 0
72.76/73.10 c max depth : 40
72.76/73.10 c max depth (total): 40
72.76/73.10 c backtracks : 811 (25.0%)
72.76/73.10 c early backtracks : 0 (0.0%)
72.76/73.10 c nodes exc. ref. : 0 (0.0%)
72.76/73.10 c delayed cutoffs : 1202
72.76/73.10 c repropagations : 3302 (162901 domain reductions, 586 cutoffs)
72.76/73.10 c avg switch length: 3.97
72.76/73.10 c switching time : 1.45
72.76/73.10 c Root Node :
72.76/73.10 c First LP value : +0.00000000000000e+00
72.76/73.10 c First LP Iters : 2674 (23280.31 Iter/sec)
72.76/73.10 c First LP Time : 0.11
72.76/73.10 c Final Dual Bound : -
72.76/73.10 c Final Root Iters : 19206
72.76/73.10 c Root LP Estimate : +7.04754941984544e-02
72.76/73.10 c Solution :
72.76/73.10 c Solutions found : 0 (0 improvements)
72.76/73.10 c Primal Bound : infeasible
72.76/73.10 c Dual Bound : -
72.76/73.10 c Gap : 0.00 %
72.76/73.10 c Integrals : Total Avg%
72.76/73.10 c primal-dual : - - (problem infeasible)
72.76/73.10 c primal-ref : - - (problem infeasible)
72.76/73.10 c dual-ref : - - (problem infeasible)
72.86/73.13 c Time complete: 72.8872.
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: 63837 MiB (63158 MiB free)
memory of node 1: 64465 MiB (63727 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510842-1751205313/watcher-4510842-1751205313 -o /tmp/evaluation-result-4510842-1751205313/solver-4510842-1751205313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751205287-23621 --watchdog 3760 pbscip -f HOME/instance-4510842-1751205313.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=23724, runsolver pid=23721
[startup+0.100108 s]*
/proc/loadavg: 2.01 1.42 1.96 5/252 23725
/proc/meminfo: memFree=129907520/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=66784 memory=39680 CPUtime=0.1 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 6719 0 0 0 8 2 0 0 20 0 1 0 36210095 68386816 9920 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 16696 9920 3552 3530 0 8147 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 66784 KiB
Current children cumulated memory: 39680 KiB
[startup+0.213146 s]*
/proc/loadavg: 2.01 1.42 1.96 5/252 23725
/proc/meminfo: memFree=129891392/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=71324 memory=44708 CPUtime=0.21 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 9481 0 0 0 18 3 0 0 20 0 1 0 36210095 73035776 11177 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 17831 11177 3680 3530 0 9282 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 71324 KiB
Current children cumulated memory: 44708 KiB
[startup+0.312994 s]*
/proc/loadavg: 2.01 1.42 1.96 5/252 23725
/proc/meminfo: memFree=129891392/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=79216 memory=52772 CPUtime=0.31 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 11500 0 0 0 28 3 0 0 20 0 1 0 36210095 81117184 13193 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 19804 13193 3680 3530 0 11255 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 79216 KiB
Current children cumulated memory: 52772 KiB
[startup+0.70031 s]
/proc/loadavg: 2.01 1.42 1.96 5/252 23725
/proc/meminfo: memFree=129887612/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=98212 memory=67140 CPUtime=0.68 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 15707 0 0 0 64 4 0 0 20 0 1 0 36210095 100569088 16785 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 24553 16785 3936 3530 0 16004 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98212 KiB
Current children cumulated memory: 67140 KiB
[startup+1.50034 s]
/proc/loadavg: 2.01 1.42 1.96 5/252 23725
/proc/meminfo: memFree=129871736/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=101184 memory=68804 CPUtime=1.48 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 16118 0 0 0 143 5 0 0 20 0 1 0 36210095 103612416 17201 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 25296 17201 3936 3530 0 16747 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101184 KiB
Current children cumulated memory: 68804 KiB
[startup+3.1127 s]
/proc/loadavg: 2.17 1.47 1.97 5/252 23725
/proc/meminfo: memFree=129839748/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=134184 memory=99524 CPUtime=3.08 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 23820 0 0 0 302 6 0 0 20 0 1 0 36210095 137404416 24881 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 33546 24881 3936 3530 0 24997 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 134184 KiB
Current children cumulated memory: 99524 KiB
[startup+6.3003 s]
/proc/loadavg: 2.17 1.47 1.97 5/252 23725
/proc/meminfo: memFree=129802456/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=153480 memory=120076 CPUtime=6.27 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 31740 0 0 0 619 8 0 0 20 0 1 0 36210095 157163520 30019 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 38370 30019 3936 3530 0 29821 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 153480 KiB
Current children cumulated memory: 120076 KiB
[startup+12.7003 s]
/proc/loadavg: 2.45 1.55 1.99 5/252 23725
/proc/meminfo: memFree=129783052/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=157680 memory=124300 CPUtime=12.64 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 32785 0 0 0 1256 8 0 0 20 0 1 0 36210095 161464320 31075 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 39420 31075 3936 3530 0 30871 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 157680 KiB
Current children cumulated memory: 124300 KiB
[startup+25.5003 s]
/proc/loadavg: 2.69 1.63 2.01 5/252 23725
/proc/meminfo: memFree=129729384/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=162812 memory=127372 CPUtime=25.4 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 33557 0 0 0 2532 8 0 0 20 0 1 0 36210095 166719488 31843 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 40703 31843 3936 3530 0 32154 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 162812 KiB
Current children cumulated memory: 127372 KiB
[startup+51.1127 s]
/proc/loadavg: 3.22 1.84 2.07 5/252 23725
/proc/meminfo: memFree=129666632/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=237204 memory=135948 CPUtime=50.93 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 35722 0 0 0 5084 9 0 0 20 0 1 0 36210095 242896896 33987 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 59301 33987 3936 3530 0 50752 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 237204 KiB
Current children cumulated memory: 135948 KiB
[startup+73.1418 s]
# the end of solver process 23724 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=72.787 s, system=0.111265 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 3.22 1.84 2.07 5/252 23725
/proc/meminfo: memFree=129666632/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=237948 memory=136076 CPUtime=51.02 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 35730 0 0 0 5093 9 0 0 20 0 1 0 36210095 243658752 34019 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 59487 34019 3936 3530 0 50938 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 237948 KiB
Current children cumulated memory: 136076 KiB
[startup+64.0003 s]*
/proc/loadavg: 3.39 1.95 2.10 5/252 23727
/proc/meminfo: memFree=129592468/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=258964 memory=148748 CPUtime=63.79 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 38943 0 0 0 6369 10 0 0 20 0 1 0 36210095 265179136 37187 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 64741 37187 3936 3530 0 56192 0
Current children cumulated CPU time: 63.79 s
Current children cumulated vsize: 258964 KiB
Current children cumulated memory: 148748 KiB
[startup+67.2003 s]
/proc/loadavg: 3.44 1.98 2.12 5/252 23727
/proc/meminfo: memFree=129584664/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=260936 memory=150284 CPUtime=66.97 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 39338 0 0 0 6687 10 0 0 20 0 1 0 36210095 267198464 37571 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 65234 37571 3936 3530 0 56685 0
Current children cumulated CPU time: 66.97 s
Current children cumulated vsize: 260936 KiB
Current children cumulated memory: 150284 KiB
[startup+70.4003 s]
/proc/loadavg: 3.44 1.98 2.12 5/252 23727
/proc/meminfo: memFree=129585356/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=266924 memory=155660 CPUtime=70.16 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 40706 0 0 0 7006 10 0 0 20 0 1 0 36210095 273330176 38915 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 66731 38915 3936 3530 0 58182 0
Current children cumulated CPU time: 70.16 s
Current children cumulated vsize: 266924 KiB
Current children cumulated memory: 155660 KiB
[startup+72.0003 s]*
/proc/loadavg: 3.49 2.01 2.13 5/252 23727
/proc/meminfo: memFree=129577796/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=266924 memory=155660 CPUtime=71.76 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 40706 0 0 0 7166 10 0 0 20 0 1 0 36210095 273330176 38915 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 66731 38915 3936 3530 0 58182 0
Current children cumulated CPU time: 71.76 s
Current children cumulated vsize: 266924 KiB
Current children cumulated memory: 155660 KiB
[startup+72.8003 s]
/proc/loadavg: 3.49 2.01 2.13 5/252 23727
/proc/meminfo: memFree=129577796/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=266924 memory=155660 CPUtime=72.55 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 40706 0 0 0 7245 10 0 0 20 0 1 0 36210095 273330176 38915 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 66731 38915 3936 3530 0 58182 0
Current children cumulated CPU time: 72.55 s
Current children cumulated vsize: 266924 KiB
Current children cumulated memory: 155660 KiB
[startup+73.0002 s]*
/proc/loadavg: 3.49 2.01 2.13 5/252 23727
/proc/meminfo: memFree=129577796/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=266924 memory=155660 CPUtime=72.76 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 40706 0 0 0 7266 10 0 0 20 0 1 0 36210095 273330176 38915 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 66731 38915 3936 3530 0 58182 0
Current children cumulated CPU time: 72.76 s
Current children cumulated vsize: 266924 KiB
Current children cumulated memory: 155660 KiB
[startup+73.1127 s]
/proc/loadavg: 3.49 2.01 2.13 5/252 23727
/proc/meminfo: memFree=129577796/131382120 swapFree=33010684/33010684
[pid=23724] ppid=23721 vsize=266924 memory=155660 CPUtime=72.86 cores=5,7
/proc/23724/stat : 23724 (pbscip) R 23721 23724 23608 0 -1 4194304 40706 0 0 0 7276 10 0 0 20 0 1 0 36210095 273330176 38915 18446744073709551615 4235264 18693293 140736730150592 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45899776 140736730159497 140736730159596 140736730159596 140736730165198 0
/proc/23724/statm: 66731 38915 3936 3530 0 58182 0
Current children cumulated CPU time: 72.86 s
Current children cumulated vsize: 266924 KiB
Current children cumulated memory: 155660 KiB
Child status: 0
Real time (s): 73.1418
CPU time (s): 72.8982
CPU user time (s): 72.787
CPU system time (s): 0.111265
CPU usage (%): 99.6669
Max. virtual memory (cumulated for all children) (KiB): 266924
Max. memory (cumulated for all children) (KiB): 155660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.787
system time used= 0.111265
maximum resident set size= 155660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40712
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= 83
involuntary context switches= 147
# summary of solver processes directly reported to runsolver:
# pid: 23724
# total CPU time (s): 72.8982
# total CPU user time (s): 72.787
# total CPU system time (s): 0.111265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.463514 second user time and 0.683903 second system time
The end
Begin job on nodeC002 at 2025-06-29 15:55:13 IDJOB=4510842 IDBENCH=160395 IDSOLVER=3365 FILE ID=nodeC002/4510842-1751205313 RUNJOBID= nodeC002-1751205287-23621 SLURM_JOB_ID= 9587625 Free space on /tmp= 433004 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l040-r039-n1.cnf-plain.pb.metafix.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510842-1751205313/watcher-4510842-1751205313 -o /tmp/evaluation-result-4510842-1751205313/solver-4510842-1751205313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751205287-23621 --watchdog 3760 pbscip -f HOME/instance-4510842-1751205313.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 496e1a97745958844c4098fcb049f7a4 RANDOM SEED=1516029294 nodeC002 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.300 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.81 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.431 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.81 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.791 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.81 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.438 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.81 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 : 3662.311 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.81 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 : 3700.000 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.81 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 : 1197.468 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.81 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.227 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.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129931208 kB MemAvailable: 129673636 kB Buffers: 3280 kB Cached: 553672 kB SwapCached: 0 kB Active: 588492 kB Inactive: 305064 kB Active(anon): 354576 kB Inactive(anon): 0 kB Active(file): 233916 kB Inactive(file): 305064 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 75672 kB Writeback: 0 kB AnonPages: 339768 kB Mapped: 137228 kB Shmem: 17960 kB KReclaimable: 86148 kB Slab: 168196 kB SReclaimable: 86148 kB SUnreclaim: 82048 kB KernelStack: 4064 kB PageTables: 3808 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 702844 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 181064 kB DirectMap2M: 8110080 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432984 MiB End job on nodeC002 at 2025-06-29 15:56:26