| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | SAT | 15.2965 | 15.361 |
| Name | PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17bt.opb |
| MD5SUM | 13744d26940a0db30366992d9fdeef8c |
| 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 | 0.39265 |
| 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 | 370 |
| Total number of constraints | 809 |
| Number of constraints which are clauses | 558 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 249 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 121 |
| 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 | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 138 |
| 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-4493526-1751148285.opb>
0.00/0.01 c original problem has 370 variables (370 bin, 0 int, 0 impl, 0 cont) and 809 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.01 c (round 1, fast) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 194 clqs
0.00/0.01 c (round 2, fast) 14 del vars, 16 del conss, 0 add conss, 14 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 179 clqs
0.00/0.01 c (round 3, fast) 14 del vars, 29 del conss, 0 add conss, 14 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 179 clqs
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver (3 rounds): 2 aggregations, 3 fixings, 0 bound changes
0.00/0.01 c (round 4, medium) 19 del vars, 29 del conss, 0 add conss, 14 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 172 clqs
0.00/0.01 c (round 5, fast) 19 del vars, 39 del conss, 0 add conss, 14 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 194 clqs
0.00/0.02 c (round 6, exhaustive) 19 del vars, 39 del conss, 0 add conss, 14 chg bounds, 0 chg sides, 1 chg coeffs, 770 upgd conss, 0 impls, 194 clqs
0.00/0.02 c (round 7, medium) 25 del vars, 271 del conss, 918 add conss, 14 chg bounds, 6 chg sides, 18 chg coeffs, 770 upgd conss, 0 impls, 1076 clqs
0.00/0.02 c (round 8, fast) 25 del vars, 281 del conss, 918 add conss, 14 chg bounds, 6 chg sides, 20 chg coeffs, 770 upgd conss, 0 impls, 1076 clqs
0.00/0.02 c (round 9, exhaustive) 25 del vars, 1306 del conss, 1037 add conss, 14 chg bounds, 6 chg sides, 20 chg coeffs, 770 upgd conss, 0 impls, 1076 clqs
0.00/0.02 c (round 10, exhaustive) 25 del vars, 1309 del conss, 1037 add conss, 14 chg bounds, 6 chg sides, 20 chg coeffs, 770 upgd conss, 0 impls, 1076 clqs
0.00/0.03 c (round 11, exhaustive) 25 del vars, 1309 del conss, 1037 add conss, 14 chg bounds, 6 chg sides, 143 chg coeffs, 770 upgd conss, 0 impls, 1076 clqs
0.00/0.05 c (0.0s) probing cycle finished: starting next cycle
0.00/0.05 c (round 12, exhaustive) 30 del vars, 1309 del conss, 1037 add conss, 14 chg bounds, 6 chg sides, 143 chg coeffs, 770 upgd conss, 0 impls, 4330 clqs
0.00/0.05 c (round 13, fast) 30 del vars, 1314 del conss, 1037 add conss, 14 chg bounds, 6 chg sides, 162 chg coeffs, 770 upgd conss, 0 impls, 4330 clqs
0.00/0.06 c (round 14, exhaustive) 30 del vars, 1315 del conss, 1038 add conss, 14 chg bounds, 6 chg sides, 162 chg coeffs, 770 upgd conss, 0 impls, 4330 clqs
0.00/0.06 c (round 15, exhaustive) 30 del vars, 1315 del conss, 1038 add conss, 14 chg bounds, 6 chg sides, 164 chg coeffs, 770 upgd conss, 0 impls, 4330 clqs
0.00/0.06 c (0.1s) probing: 51/340 (15.0%) - 4 fixings, 1 aggregations, 6411 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.06 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.06 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.06 c presolving (16 rounds: 16 fast, 10 medium, 8 exhaustive):
0.00/0.06 c 30 deleted vars, 1315 deleted constraints, 1038 added constraints, 14 tightened bounds, 0 added holes, 6 changed sides, 164 changed coefficients
0.00/0.06 c 0 implications, 4330 cliques
0.00/0.06 c presolved problem has 340 variables (340 bin, 0 int, 0 impl, 0 cont) and 532 constraints
0.00/0.06 c 9 constraints of type <knapsack>
0.00/0.06 c 164 constraints of type <setppc>
0.00/0.06 c 117 constraints of type <and>
0.00/0.06 c 242 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.05
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 10.0.0
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.06 c limits/time = 3596.997017
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.06 c limits/memory = 27900
0.00/0.06 c
0.00/0.06 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.06 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = 1
0.00/0.06 c
0.00/0.06 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.00/0.06 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.06 c misc/usesymmetry = 3
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.06 c
0.00/0.06 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.06 c
0.00/0.06 c # Type of symmetries that shall be computed?
0.00/0.06 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.06 c propagating/symmetry/symtype = 1
0.00/0.06 c
0.00/0.06 c # Should components consisting of a single full reflection be handled?
0.00/0.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.09/0.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.14 c 0.1s| 1 | 0 | 746 | - | 9858k | 0 | 340 | 575 | 649 | 0 | 0 | 42 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.38 c 0.4s| 1 | 0 | 4617 | - | 18M | 0 | 340 | 688 | 698 | 49 | 1 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.46 c 0.5s| 1 | 0 | 5279 | - | 25M | 0 | 340 | 691 | 745 | 96 | 2 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.53 c 0.5s| 1 | 0 | 5761 | - | 32M | 0 | 340 | 695 | 791 | 142 | 3 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.60 c 0.6s| 1 | 0 | 6270 | - | 42M | 0 | 340 | 696 | 836 | 187 | 4 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.67 c 0.7s| 1 | 0 | 6788 | - | 48M | 0 | 340 | 697 | 881 | 232 | 5 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.74 c 0.7s| 1 | 0 | 7278 | - | 57M | 0 | 340 | 701 | 921 | 272 | 6 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.81 c 0.8s| 1 | 0 | 7707 | - | 65M | 0 | 340 | 706 | 971 | 322 | 7 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.87 c 0.9s| 1 | 0 | 7969 | - | 69M | 0 | 340 | 709 |1011 | 362 | 8 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.93 c 0.9s| 1 | 0 | 8164 | - | 74M | 0 | 340 | 710 |1047 | 398 | 9 | 65 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.98 c 1.0s| 1 | 0 | 8410 | - | 80M | 0 | 340 | 711 |1076 | 427 | 10 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/1.00 c 1.0s| 1 | 0 | 8536 | - | 80M | 0 | 340 | 716 |1104 | 455 | 11 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
1.38/1.40 c 1.4s| 1 | 2 | 9806 | - | 80M | 0 | 340 | 721 |1104 | 455 | 11 | 78 | 10 | 0.000000e+00 | -- | Inf | unknown
1.98/2.00 c 2.0s| 100 | 21 | 16859 | 84.1 | 81M | 26 | 340 | 749 | 0 |1176 | 0 | 106 | 10 | 0.000000e+00 | -- | Inf | unknown
2.57/2.64 c 2.6s| 200 | 29 | 20448 | 59.9 | 82M | 29 | 340 | 795 |1143 |1421 | 2 | 152 | 10 | 0.000000e+00 | -- | Inf | 0.81%
2.87/2.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.87/2.96 c 3.0s| 300 | 29 | 22950 | 48.2 | 82M | 29 | 340 | 822 |1150 |1578 | 2 | 179 | 10 | 0.000000e+00 | -- | Inf | 1.01%
3.27/3.32 c 3.3s| 400 | 31 | 26447 | 44.9 | 87M | 29 | 340 | 848 |1117 |1778 | 2 | 205 | 10 | 0.000000e+00 | -- | Inf | 1.14%
3.77/3.83 c 3.8s| 500 | 31 | 29443 | 41.9 | 90M | 29 | 340 | 858 |1133 |1934 | 1 | 215 | 10 | 0.000000e+00 | -- | Inf | 1.18%
3.98/4.01 c 4.0s| 600 | 35 | 31927 | 39.1 | 90M | 30 | 340 | 882 |1102 |2036 | 2 | 240 | 10 | 0.000000e+00 | -- | Inf | 1.20%
4.67/4.73 c 4.7s| 700 | 33 | 34932 | 37.8 | 86M | 30 | 340 | 917 |1130 |2243 | 1 | 275 | 10 | 0.000000e+00 | -- | Inf | 1.20%
4.97/5.05 c 5.0s| 800 | 37 | 37219 | 35.9 | 86M | 31 | 340 | 935 | 0 |2430 | 0 | 293 | 10 | 0.000000e+00 | -- | Inf | 1.21%
5.27/5.30 c 5.3s| 900 | 33 | 39683 | 34.6 | 85M | 33 | 340 | 939 |1121 |2545 | 1 | 297 | 10 | 0.000000e+00 | -- | Inf | 1.21%
5.67/5.77 c 5.8s| 1000 | 33 | 42481 | 34.0 | 85M | 33 | 340 | 960 |1148 |2713 | 0 | 318 | 10 | 0.000000e+00 | -- | Inf | 1.21%
5.77/5.89 c 5.9s| 1100 | 37 | 44490 | 32.7 | 85M | 33 | 340 | 976 |1162 |2892 | 1 | 334 | 10 | 0.000000e+00 | -- | Inf | 1.21%
5.87/5.99 c 6.0s| 1200 | 33 | 46443 | 31.6 | 85M | 34 | 340 | 984 |1141 |2999 | 0 | 342 | 10 | 0.000000e+00 | -- | Inf | 1.21%
6.07/6.11 c 6.1s| 1300 | 35 | 48529 | 30.8 | 85M | 35 | 340 | 990 |1144 |3101 | 1 | 348 | 10 | 0.000000e+00 | -- | Inf | 1.22%
6.16/6.22 c 6.2s| 1400 | 35 | 50527 | 30.0 | 85M | 35 | 340 |1011 |1141 |3222 | 1 | 369 | 10 | 0.000000e+00 | -- | Inf | 1.22%
6.26/6.33 c 6.3s| 1500 | 33 | 52715 | 29.5 | 85M | 35 | 340 |1018 | 0 |3352 | 0 | 376 | 10 | 0.000000e+00 | -- | Inf | 1.22%
6.36/6.45 c 6.4s| 1600 | 35 | 54787 | 28.9 | 85M | 35 | 340 |1024 |1144 |3461 | 2 | 382 | 10 | 0.000000e+00 | -- | Inf | 1.22%
6.46/6.57 c 6.6s| 1700 | 31 | 57070 | 28.6 | 85M | 35 | 340 |1029 |1149 |3580 | 0 | 388 | 10 | 0.000000e+00 | -- | Inf | 1.22%
6.76/6.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.76/6.87 c 6.9s| 1800 | 39 | 61754 | 29.6 | 85M | 35 | 340 |1056 |1138 |3882 | 2 | 416 | 10 | 0.000000e+00 | -- | Inf | 1.32%
6.86/6.97 c 7.0s| 1900 | 37 | 63779 | 29.1 | 85M | 35 | 340 |1067 |1154 |3966 | 0 | 427 | 10 | 0.000000e+00 | -- | Inf | 1.32%
7.16/7.26 c 7.3s| 2000 | 41 | 67462 | 29.5 | 85M | 35 | 340 |1112 |1158 |4166 | 1 | 476 | 10 | 0.000000e+00 | -- | Inf | 1.48%
7.36/7.40 c 7.4s| 2100 | 39 | 70139 | 29.3 | 85M | 35 | 340 |1118 | 0 |4308 | 0 | 484 | 10 | 0.000000e+00 | -- | Inf | 1.54%
7.46/7.52 c 7.5s| 2200 | 41 | 72332 | 29.0 | 85M | 35 | 340 |1133 |1159 |4418 | 2 | 499 | 10 | 0.000000e+00 | -- | Inf | 1.54%
7.76/7.81 c 7.8s| 2300 | 43 | 74753 | 28.8 | 85M | 35 | 340 |1154 | 0 |4546 | 0 | 522 | 10 | 0.000000e+00 | -- | Inf | 1.68%
7.76/7.82 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
7.76/7.82 c (run 1, node 2314) performing user restart
7.76/7.82 c
7.76/7.82 c (restart) converted 198 cuts from the global cut pool into linear constraints
7.76/7.82 c
7.76/7.82 c presolving:
7.76/7.83 c (round 1, fast) 0 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4330 clqs
7.76/7.83 c (round 2, exhaustive) 0 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 310 upgd conss, 0 impls, 4330 clqs
7.76/7.83 c (round 3, medium) 0 del vars, 21 del conss, 12 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 310 upgd conss, 0 impls, 4330 clqs
7.76/7.85 c (round 4, exhaustive) 0 del vars, 34 del conss, 12 add conss, 0 chg bounds, 0 chg sides, 33 chg coeffs, 310 upgd conss, 0 impls, 4330 clqs
7.76/7.87 c (round 5, exhaustive) 0 del vars, 34 del conss, 12 add conss, 0 chg bounds, 0 chg sides, 1558 chg coeffs, 310 upgd conss, 0 impls, 4330 clqs
7.76/7.88 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
7.76/7.88 c 0 deleted vars, 34 deleted constraints, 12 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1559 changed coefficients
7.76/7.88 c 0 implications, 4330 cliques
7.76/7.88 c presolved problem has 340 variables (340 bin, 0 int, 0 impl, 0 cont) and 1332 constraints
7.76/7.88 c 13 constraints of type <knapsack>
7.76/7.88 c 378 constraints of type <setppc>
7.76/7.88 c 117 constraints of type <and>
7.76/7.88 c 824 constraints of type <logicor>
7.76/7.88 c transformed objective value is always integral (scale: 1)
7.76/7.88 c Presolving Time: 0.11
7.76/7.88 c
7.86/7.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.86/7.98 c 8.0s| 1 | 0 | 75867 | - | 83M | 0 | 340 |1332 | 852 | 0 | 0 | 524 | 10 | 0.000000e+00 | -- | Inf | unknown
7.96/8.04 c 8.0s| 1 | 0 | 76321 | - | 85M | 0 | 340 |1335 | 900 | 48 | 1 | 527 | 10 | 0.000000e+00 | -- | Inf | unknown
8.06/8.11 c 8.1s| 1 | 0 | 76748 | - | 85M | 0 | 340 |1327 | 954 | 102 | 2 | 530 | 10 | 0.000000e+00 | -- | Inf | unknown
8.06/8.16 c 8.2s| 1 | 0 | 76980 | - | 85M | 0 | 340 |1325 |1001 | 149 | 3 | 531 | 10 | 0.000000e+00 | -- | Inf | unknown
8.15/8.20 c 8.2s| 1 | 0 | 77201 | - | 85M | 0 | 340 |1331 |1031 | 179 | 4 | 537 | 10 | 0.000000e+00 | -- | Inf | unknown
8.15/8.26 c 8.3s| 1 | 0 | 77448 | - | 85M | 0 | 340 |1329 |1063 | 211 | 5 | 538 | 10 | 0.000000e+00 | -- | Inf | unknown
8.25/8.31 c 8.3s| 1 | 0 | 77633 | - | 86M | 0 | 340 |1321 |1087 | 235 | 6 | 539 | 10 | 0.000000e+00 | -- | Inf | unknown
8.25/8.35 c 8.3s| 1 | 0 | 77732 | - | 89M | 0 | 340 |1322 |1115 | 263 | 7 | 544 | 10 | 0.000000e+00 | -- | Inf | unknown
8.35/8.40 c 8.4s| 1 | 0 | 77820 | - | 89M | 0 | 340 |1317 |1135 | 283 | 8 | 545 | 10 | 0.000000e+00 | -- | Inf | unknown
8.35/8.45 c 8.4s| 1 | 0 | 77900 | - | 90M | 0 | 340 |1320 |1153 | 301 | 9 | 549 | 10 | 0.000000e+00 | -- | Inf | unknown
8.45/8.50 c 8.5s| 1 | 0 | 77965 | - | 91M | 0 | 340 |1320 |1164 | 312 | 10 | 550 | 10 | 0.000000e+00 | -- | Inf | unknown
8.45/8.52 c 8.5s| 1 | 0 | 78043 | - | 91M | 0 | 340 |1318 |1180 | 328 | 11 | 552 | 10 | 0.000000e+00 | -- | Inf | unknown
9.05/9.17 c 9.2s| 1 | 2 | 79045 | - | 91M | 0 | 340 |1311 |1180 | 328 | 11 | 560 | 29 | 0.000000e+00 | -- | Inf | unknown
9.65/9.79 c 9.8s| 100 | 21 | 87169 | 31.3 | 94M | 30 | 340 |1377 |1185 |1173 | 1 | 630 | 29 | 0.000000e+00 | -- | Inf | unknown
10.05/10.10 c 10.1s| 200 | 19 | 90731 | 31.5 | 95M | 30 | 340 |1451 | 0 |1366 | 0 | 708 | 29 | 0.000000e+00 | -- | Inf | 2.34%
10.24/10.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.24/10.30 c 10.3s| 300 | 19 | 93297 | 31.2 | 96M | 31 | 340 |1490 |1135 |1513 | 1 | 769 | 29 | 0.000000e+00 | -- | Inf | 2.44%
10.44/10.54 c 10.5s| 400 | 19 | 96403 | 31.2 | 99M | 32 | 340 |1496 |1134 |1777 | 1 | 821 | 29 | 0.000000e+00 | -- | Inf | 2.49%
10.74/10.89 c 10.9s| 500 | 21 | 99128 | 31.1 | 101M | 32 | 340 |1527 |1226 |1994 | 2 | 880 | 29 | 0.000000e+00 | -- | Inf | 2.54%
10.95/11.04 c 11.0s| 600 | 19 |101220 | 30.7 | 101M | 32 | 340 |1557 | 0 |2144 | 0 | 946 | 29 | 0.000000e+00 | -- | Inf | 2.57%
11.05/11.15 c 11.1s| 700 | 19 |102941 | 30.3 | 101M | 32 | 340 |1589 |1148 |2234 | 1 | 981 | 29 | 0.000000e+00 | -- | Inf | 2.57%
11.24/11.32 c 11.3s| 800 | 21 |105486 | 30.1 | 101M | 32 | 340 |1615 |1164 |2363 | 1 |1048 | 29 | 0.000000e+00 | -- | Inf | 2.60%
11.34/11.45 c 11.4s| 900 | 19 |107653 | 29.9 | 101M | 32 | 340 |1618 |1160 |2444 | 1 |1087 | 29 | 0.000000e+00 | -- | Inf | 2.61%
11.54/11.66 c 11.7s| 1000 | 23 |111092 | 30.0 | 101M | 32 | 340 |1622 | 0 |2636 | 0 |1119 | 29 | 0.000000e+00 | -- | Inf | 2.69%
11.64/11.79 c 11.8s| 1100 | 19 |113351 | 29.8 | 101M | 32 | 340 |1654 |1216 |2783 | 1 |1188 | 29 | 0.000000e+00 | -- | Inf | 2.70%
11.84/11.90 c 11.9s| 1200 | 21 |115447 | 29.5 | 101M | 32 | 340 |1684 |1214 |2863 | 2 |1240 | 29 | 0.000000e+00 | -- | Inf | 2.71%
11.94/12.03 c 12.0s| 1300 | 21 |117838 | 29.4 | 101M | 32 | 340 |1717 |1219 |2993 | 2 |1292 | 29 | 0.000000e+00 | -- | Inf | 2.72%
12.04/12.17 c 12.2s| 1400 | 21 |120624 | 29.3 | 101M | 32 | 340 |1732 |1216 |3111 | 2 |1316 | 29 | 0.000000e+00 | -- | Inf | 2.73%
12.14/12.28 c 12.3s| 1500 | 19 |122818 | 29.2 | 101M | 32 | 340 |1763 |1215 |3171 | 2 |1351 | 29 | 0.000000e+00 | -- | Inf | 2.73%
12.34/12.46 c 12.5s| 1600 | 19 |125498 | 29.1 | 102M | 32 | 340 |1788 |1151 |3328 | 2 |1377 | 29 | 0.000000e+00 | -- | Inf | 2.75%
12.53/12.68 c 12.7s| 1700 | 25 |128397 | 29.1 | 102M | 32 | 340 |1821 |1181 |3426 | 2 |1425 | 29 | 0.000000e+00 | -- | Inf | 2.76%
12.73/12.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.73/12.80 c 12.8s| 1800 | 21 |130591 | 28.9 | 102M | 32 | 340 |1837 |1190 |3481 | 0 |1469 | 29 | 0.000000e+00 | -- | Inf | 2.86%
13.04/13.14 c 13.1s| 1900 | 21 |135102 | 29.3 | 102M | 32 | 340 |1800 |1203 |3678 | 2 |1508 | 29 | 0.000000e+00 | -- | Inf | 3.29%
13.23/13.31 c 13.3s| 2000 | 23 |137955 | 29.3 | 102M | 32 | 340 |1843 |1155 |3817 | 1 |1589 | 29 | 0.000000e+00 | -- | Inf | 3.34%
13.33/13.46 c 13.5s| 2100 | 23 |140692 | 29.2 | 102M | 32 | 340 |1844 |1171 |3967 | 2 |1627 | 29 | 0.000000e+00 | -- | Inf | 3.35%
13.53/13.60 c 13.6s| 2200 | 21 |143424 | 29.2 | 102M | 32 | 340 |1881 |1158 |4058 | 0 |1684 | 29 | 0.000000e+00 | -- | Inf | 3.37%
13.63/13.76 c 13.8s| 2300 | 23 |146459 | 29.2 | 102M | 32 | 340 |1896 |1163 |4161 | 0 |1725 | 29 | 0.000000e+00 | -- | Inf | 3.38%
13.73/13.89 c 13.9s| 2400 | 23 |149077 | 29.2 | 102M | 32 | 340 |1924 |1152 |4299 | 0 |1759 | 29 | 0.000000e+00 | -- | Inf | 3.38%
13.94/14.00 c 14.0s| 2500 | 27 |150940 | 28.9 | 102M | 32 | 340 |1963 |1154 |4360 | 2 |1802 | 29 | 0.000000e+00 | -- | Inf | 3.39%
14.03/14.14 c 14.1s| 2600 | 21 |153552 | 28.9 | 102M | 33 | 340 |1981 |1132 |4506 | 1 |1840 | 29 | 0.000000e+00 | -- | Inf | 3.40%
14.23/14.31 c 14.3s| 2700 | 23 |156486 | 28.9 | 103M | 33 | 340 |2013 |1216 |4665 | 0 |1881 | 29 | 0.000000e+00 | -- | Inf | 3.41%
14.33/14.45 c 14.4s| 2800 | 21 |159218 | 28.9 | 103M | 33 | 340 |2032 |1141 |4764 | 1 |1918 | 29 | 0.000000e+00 | -- | Inf | 3.42%
14.43/14.59 c 14.6s| 2900 | 19 |161928 | 28.8 | 103M | 33 | 340 |2065 |1227 |4877 | 1 |1956 | 29 | 0.000000e+00 | -- | Inf | 3.43%
14.63/14.73 c 14.7s| 3000 | 21 |164889 | 28.8 | 103M | 33 | 340 |2086 | 0 |4964 | 0 |1990 | 29 | 0.000000e+00 | -- | Inf | 3.44%
14.73/14.87 c 14.9s| 3100 | 21 |167723 | 28.8 | 103M | 33 | 340 |2112 | 0 |5042 | 0 |2026 | 29 | 0.000000e+00 | -- | Inf | 3.44%
14.83/14.99 c 15.0s| 3200 | 19 |169979 | 28.7 | 103M | 33 | 340 |2146 | 0 |5112 | 0 |2063 | 29 | 0.000000e+00 | -- | Inf | 3.44%
15.03/15.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.03/15.13 c 15.1s| 3300 | 19 |173164 | 28.8 | 103M | 33 | 340 |2173 |1226 |5151 | 0 |2090 | 29 | 0.000000e+00 | -- | Inf | 3.44%
15.22/15.32 c 15.3s| 3400 | 21 |176081 | 28.8 | 103M | 33 | 340 |2210 | 0 |5293 | 0 |2139 | 29 | 0.000000e+00 | -- | Inf | 3.48%
15.22/15.34 c *15.3s| 3444 | 0 |176414 | 28.6 | LP | 33 | 340 |2245 |1188 |5300 | 1 |2179 | 29 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
15.22/15.34 c
15.22/15.34 c SCIP Status : problem is solved [optimal solution found]
15.22/15.34 c Solving Time (sec) : 15.34
15.22/15.34 c Solving Nodes : 3444 (total of 5758 nodes in 2 runs)
15.22/15.34 c Primal Bound : +0.00000000000000e+00 (1 solutions)
15.22/15.34 c Dual Bound : +0.00000000000000e+00
15.22/15.34 c Gap : 0.00 %
15.22/15.35 s SATISFIABLE
15.22/15.35 v x369 -x370 -x367 x368 -x365 x366 -x363 x364 -x361 x362 -x359 x360 -x357 -x358 -x355 x356 -x353 -x354 -x351 x352 -x349 -x350 -x347
15.22/15.35 v -x348 x345 -x346 x343 -x344 x341 -x342 x339 -x340 -x337 x338 x335 -x336 x333 -x334 x331 -x332 -x329 x330 x327 -x328 -x325
15.22/15.35 v x326 x323 -x324 -x321 x322 -x319 x320 -x317 x318 -x315 -x316 -x313 -x314 -x311 -x312 -x309 x310 -x307 -x308 x305 -x306 x303 -x304
15.22/15.35 v x301 -x302 x299 -x300 x297 -x298 -x295 x296 x293 -x294 x291 -x292 x289 -x290 -x287 x288 -x285 x286 -x283 x284 x281 -x282
15.22/15.35 v x279 -x280 -x277 x278 -x275 x276 -x273 x274 x271 -x272 x269 -x270 x267 -x268 -x265 x266 x263 -x264 x261 -x262 x259 -x260 x257
15.22/15.35 v -x258 x255 -x256 -x253 x254 -x251 x252 -x249 x250 -x247 x248 -x245 x246 -x243 x244 -x242 -x240 x238 x236 -x234 -x232 -x230
15.22/15.35 v x228 x226 x224 -x222 -x220 -x218 x216 x214 -x212 -x210 -x208 x206 x204 -x202 -x200 -x198 -x196 -x194 x192 -x190 -x188 -x186 x184
15.22/15.35 v -x182 x180 -x178 -x176 -x174 x172 -x170 -x168 -x166 -x164 -x162 x160 -x158 -x156 -x154 -x152 -x150 x148 -x146 -x144 -x142
15.22/15.35 v x140 -x138 x136 -x134 -x132 -x130 -x128 -x126 -x124 -x122 -x120 -x118 -x116 -x114 -x112 -x110 -x108 -x106 -x104 -x102 -x100
15.22/15.35 v -x98 -x96 -x94 -x92 -x90 -x88 -x86 -x84 -x82 -x80 -x78 -x76 -x74 -x72 -x70 -x68 -x66 -x64 -x62 -x60 -x58 -x56 -x54 -x52 -x50
15.22/15.35 v -x48 -x46 -x44 -x42 -x40 -x38 -x36 -x34 -x32 -x30 -x28 -x26 -x24 -x22 -x20 -x18 -x16 -x14 -x12 -x10 -x8 -x6 -x4 -x2 -x241 -x239
15.22/15.35 v -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197
15.22/15.35 v -x195 -x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175 -x173 -x171 -x169 -x167 -x165 -x163 -x161 -x159 -x157 -x155
15.22/15.35 v -x153 -x151 -x149 -x147 -x145 -x143 -x141 -x139 -x137 -x135 -x133 -x131 x129 -x127 -x125 -x123 x121 -x119 -x117 -x115 -x113
15.22/15.35 v -x111 x109 -x107 -x105 -x103 x101 -x99 x97 -x95 -x93 -x91 x89 -x87 -x85 -x83 -x81 -x79 x77 -x75 -x73 -x71 -x69 -x67 -x65
15.22/15.35 v -x63 -x61 -x59 x57 -x55 x53 -x51 -x49 -x47 -x45 -x43 x41 -x39 -x37 -x35 x33 x31 -x29 -x27 -x25 -x23 x21 -x19 -x17 -x15 x13 x11
15.22/15.35 v x9 -x7 -x5 -x3 x1
15.22/15.35 c SCIP Status : problem is solved [optimal solution found]
15.22/15.35 c Total Time : 15.34
15.22/15.35 c solving : 15.34
15.22/15.35 c presolving : 0.11 (included in solving)
15.22/15.35 c reading : 0.00 (included in solving)
15.22/15.35 c copying : 0.39 (103 #copies) (minimal 0.00, maximal 0.00, average 0.00)
15.22/15.35 c Original Problem :
15.22/15.35 c Problem name : HOME/instance-4493526-1751148285.opb
15.22/15.35 c Variables : 370 (370 binary, 0 integer, 0 implicit integer, 0 continuous)
15.22/15.35 c Constraints : 809 initial, 809 maximal
15.22/15.35 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
15.22/15.35 c Presolved Problem :
15.22/15.35 c Problem name : t_HOME/instance-4493526-1751148285.opb
15.22/15.35 c Variables : 340 (340 binary, 0 integer, 0 implicit integer, 0 continuous)
15.22/15.35 c Constraints : 1332 initial, 2245 maximal
15.22/15.35 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
15.22/15.35 c Nonzeros : 16115 constraint, 8663 clique table
15.22/15.35 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
15.22/15.35 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c domcol : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
15.22/15.35 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.22/15.35 c gateextraction : 0.01 0.00 11 0 0 0 0 0 1025 119 0 0
15.22/15.35 c implics : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
15.22/15.35 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c milp : 0.00 0.00 1 3 2 0 0 0 0 0 0 0
15.22/15.35 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.22/15.35 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c trivial : 0.00 0.00 22 0 0 0 0 0 0 0 0 0
15.22/15.35 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c dualfix : 0.00 0.00 22 0 0 0 0 0 0 0 0 0
15.22/15.35 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c probing : 0.03 0.00 2 4 1 0 0 0 0 0 0 0
15.22/15.35 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.22/15.35 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.22/15.35 c vbounds : 0.00 0.00 5 0 4 0 0 0 0 0 0 0
15.22/15.35 c knapsack : 0.00 0.00 39 0 0 0 0 0 231 930 6 21
15.22/15.35 c setppc : 0.00 0.00 39 0 2 0 0 0 37 0 0 0
15.22/15.35 c and : 0.00 0.00 22 0 0 0 0 0 2 1 0 15
15.22/15.35 c linear : 0.01 0.00 10 14 0 0 14 0 39 0 0 1
15.22/15.35 c logicor : 0.05 0.00 36 0 0 0 0 0 15 0 0 1686
15.22/15.35 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
15.22/15.35 c root node : - - - 0 - - 0 - - - - -
15.22/15.35 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
15.22/15.35 c benderslp : 0 0 0 0 2911 0 0 480 0 0 0 0 0 0 0
15.22/15.35 c integral : 0 0 0 0 2911 0 0 480 0 0 0 0 0 0 5820
15.22/15.35 c knapsack : 13 13 22 23705 0 0 0 473 1724 989 5845 23 1 0 0
15.22/15.35 c setppc : 378+ 380 22 22716 0 0 0 136 23250 29 22182 1 0 0 0
15.22/15.35 c and : 117 117 4805 22687 0 0 0 2 74072 46 62982 14315 8279 0 0
15.22/15.35 c logicor : 824+ 1735 22 13498 1 0 0 0 353 45 7571 4 0 0 0
15.22/15.35 c benders : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
15.22/15.35 c fixedvar : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
15.22/15.35 c countsols : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
15.22/15.35 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
15.22/15.35 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c integral : 0.94 0.00 0.00 0.00 0.94 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c knapsack : 0.11 0.00 0.01 0.10 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c setppc : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c and : 0.26 0.00 0.06 0.19 0.00 0.00 0.00 0.00 0.01 0.00
15.22/15.35 c logicor : 0.08 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c Propagators : #Propagate #ResProp Cutoffs DomReds
15.22/15.35 c dualfix : 2 0 0 0
15.22/15.35 c genvbounds : 0 0 0 0
15.22/15.35 c nlobbt : 0 0 0 0
15.22/15.35 c obbt : 0 0 0 0
15.22/15.35 c probing : 0 0 0 0
15.22/15.35 c pseudoobj : 0 0 0 0
15.22/15.35 c redcost : 0 0 0 0
15.22/15.35 c rootredcost : 0 0 0 0
15.22/15.35 c symmetry : 0 0 0 0
15.22/15.35 c vbounds : 19540 0 0 0
15.22/15.35 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
15.22/15.35 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
15.22/15.35 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
15.22/15.35 c vbounds : 0.03 0.00 0.00 0.03 0.00 0.00
15.22/15.35 c Symmetry :
15.22/15.35 c orbitopal red. : 0 reductions applied, 0 cutoffs
15.22/15.35 c orbital reduction: 0 reductions applied, 0 cutoffs
15.22/15.35 c lexicographic red: 0 reductions applied, 0 cutoffs
15.22/15.35 c shadow tree time : 0.00 s
15.22/15.35 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
15.22/15.35 c propagation : 0.05 837 834 - 6442 57.0 6 18.3 - - -
15.22/15.35 c infeasible LP : 0.11 1822 20 - 113 61.3 0 0.0 9 2.0 0
15.22/15.35 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
15.22/15.35 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
15.22/15.35 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
15.22/15.35 c applied globally : 0.03 - - 0 2167 14.6 - - 9 - -
15.22/15.35 c applied locally : - - - 0 3 92.0 - - 0 - -
15.22/15.35 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
15.22/15.35 c cut pool : 0.37 - 636 42 - - 9244 12830 - - - - - (maximal pool size: 4082)
15.22/15.35 c aggregation : 0.11 0.00 73 22 0 0 349 859 0 45 45 0 0
15.22/15.35 c > cmir : - - - - - - - 830 0 41 41 0 -
15.22/15.35 c > flowcover : - - - - - - - 3 0 0 0 0 -
15.22/15.35 c > knapsackcover : - - - - - - - 26 0 4 4 0 -
15.22/15.35 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c clique : 0.02 0.00 22 22 0 0 36 59 0 16 16 0 0
15.22/15.35 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c gomory : 1.85 0.00 71 20 0 0 6571 6887 300 65 60 5 0
15.22/15.35 c > gomorymi : - - - - - - - 3560 160 57 52 5 -
15.22/15.35 c > strongcg : - - - - - - - 3327 140 8 8 0 -
15.22/15.35 c impliedbounds : 0.01 0.00 73 22 0 0 2549 4956 0 1418 1418 0 0
15.22/15.35 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
15.22/15.35 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c multilinear : 0.00 0.00 276 22 0 0 0 0 0 0 0 0 0
15.22/15.35 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.22/15.35 c rapidlearning : 2.23 0.00 100 1 0 6363 0 0 0 0 0 0 832
15.22/15.35 c rlt : 0.04 0.00 45 20 0 0 0 0 0 0 0 0 0
15.22/15.35 c zerohalf : 0.11 0.00 73 22 0 0 99 69 60 33 20 13 0
15.22/15.35 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
15.22/15.35 c hybrid : 0.04 0.00 2390 22 9857 0 17076 783 0 9424
15.22/15.35 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c Pricers : ExecTime SetupTime Calls Vars
15.22/15.35 c problem variables: 0.00 - 0 0
15.22/15.35 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
15.22/15.35 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c random : 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c relpscost : 0.94 0.00 2910 0 0 0 0 0 0 5820
15.22/15.35 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
15.22/15.35 c Primal Heuristics : ExecTime SetupTime Calls Found Best
15.22/15.35 c LP solutions : 0.00 - - 1 1
15.22/15.35 c relax solutions : 0.00 - - 0 0
15.22/15.35 c pseudo solutions : 0.00 - - 0 0
15.22/15.35 c strong branching : 0.00 - - 0 0
15.22/15.35 c actconsdiving : 0.00 0.00 0 0 0
15.22/15.35 c adaptivediving : 0.03 0.00 1 0 0
15.22/15.35 c alns : 0.07 0.00 4 0 0
15.22/15.35 c bound : 0.00 0.00 0 0 0
15.22/15.35 c clique : 0.00 0.00 1 0 0
15.22/15.35 c coefdiving : 0.00 0.00 0 0 0
15.22/15.35 c completesol : 0.00 0.00 0 0 0
15.22/15.35 c conflictdiving : 0.20 0.00 2 0 0
15.22/15.35 c crossover : 0.00 0.00 0 0 0
15.22/15.35 c dins : 0.00 0.00 0 0 0
15.22/15.35 c distributiondivin: 0.04 0.00 1 0 0
15.22/15.35 c dps : 0.00 0.00 0 0 0
15.22/15.35 c dualval : 0.00 0.00 0 0 0
15.22/15.35 c farkasdiving : 0.00 0.00 0 0 0
15.22/15.35 c feasjump : 0.07 0.00 2 0 0
15.22/15.35 c feaspump : 0.13 0.00 2 0 0
15.22/15.35 c fixandinfer : 0.00 0.00 0 0 0
15.22/15.35 c fracdiving : 0.03 0.00 1 0 0
15.22/15.35 c gins : 0.00 0.00 0 0 0
15.22/15.35 c guideddiving : 0.00 0.00 0 0 0
15.22/15.35 c indcoefdiving : 0.00 0.00 0 0 0
15.22/15.35 c indicator : 0.00 0.00 0 0 0
15.22/15.35 c indicatordiving : 0.00 0.00 0 0 0
15.22/15.35 c indoneopt : 0.00 0.00 0 0 0
15.22/15.35 c indrounding : 0.00 0.00 0 0 0
15.22/15.35 c indtwoopt : 0.00 0.00 0 0 0
15.22/15.35 c intdiving : 0.00 0.00 0 0 0
15.22/15.35 c intshifting : 0.00 0.00 0 0 0
15.22/15.35 c linesearchdiving : 0.01 0.00 1 0 0
15.22/15.35 c localbranching : 0.00 0.00 0 0 0
15.22/15.35 c locks : 0.00 0.00 1 0 0
15.22/15.35 c lpface : 0.00 0.00 0 0 0
15.22/15.35 c mpec : 0.00 0.00 0 0 0
15.22/15.35 c multistart : 0.00 0.00 0 0 0
15.22/15.35 c mutation : 0.00 0.00 0 0 0
15.22/15.35 c nlpdiving : 0.00 0.00 0 0 0
15.22/15.35 c objpscostdiving : 0.05 0.00 1 0 0
15.22/15.35 c octane : 0.00 0.00 0 0 0
15.22/15.35 c ofins : 0.00 0.00 0 0 0
15.22/15.35 c oneopt : 0.00 0.00 0 0 0
15.22/15.35 c padm : 0.00 0.00 0 0 0
15.22/15.35 c proximity : 0.00 0.00 0 0 0
15.22/15.35 c pscostdiving : 0.03 0.00 1 0 0
15.22/15.35 c randrounding : 0.05 0.00 488 0 0
15.22/15.35 c rens : 0.00 0.00 0 0 0
15.22/15.35 c reoptsols : 0.00 0.00 0 0 0
15.22/15.35 c repair : 0.00 0.00 0 0 0
15.22/15.35 c rins : 0.00 0.00 0 0 0
15.22/15.35 c rootsoldiving : 0.01 0.00 1 0 0
15.22/15.35 c rounding : 0.05 0.00 975 0 0
15.22/15.35 c scheduler : 0.00 0.00 0 0 0
15.22/15.35 c shiftandpropagate: 0.01 0.00 2 0 0
15.22/15.35 c shifting : 0.06 0.00 305 0 0
15.22/15.35 c simplerounding : 0.00 0.00 0 0 0
15.22/15.35 c smallcard : 0.00 0.00 0 0 0
15.22/15.35 c subnlp : 0.00 0.00 0 0 0
15.22/15.35 c trivial : 0.00 0.00 4 0 0
15.22/15.35 c trivialnegation : 0.00 0.00 0 0 0
15.22/15.35 c trustregion : 0.00 0.00 0 0 0
15.22/15.35 c trysol : 0.00 0.00 0 0 0
15.22/15.35 c twoopt : 0.00 0.00 0 0 0
15.22/15.35 c undercover : 0.01 0.00 1 0 0
15.22/15.35 c vbounds : 0.00 0.00 2 0 0
15.22/15.35 c veclendiving : 0.02 0.00 1 0 0
15.22/15.35 c zeroobj : 0.00 0.00 0 0 0
15.22/15.35 c zirounding : 0.04 0.00 1000 0 0
15.22/15.35 c other solutions : - - - 0 -
15.22/15.35 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
15.22/15.35 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
15.22/15.35 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
15.22/15.35 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
15.22/15.35 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
15.22/15.35 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
15.22/15.35 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
15.22/15.35 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
15.22/15.35 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
15.22/15.35 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
15.22/15.35 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
15.22/15.35 c primal LP : 0.02 107 0 0.00 0.00 0.02 107
15.22/15.35 c dual LP : 6.69 7212 167987 23.30 25100.92 0.00 2
15.22/15.35 c lex dual LP : 0.00 0 0 0.00 -
15.22/15.35 c barrier LP : 0.00 0 0 0.00 - 0.00 0
15.22/15.35 c resolve instable : 0.00 0 0 0.00 -
15.22/15.35 c diving/probing LP: 0.50 82 8427 102.77 16769.21
15.22/15.35 c strong branching : 0.82 29 14681 506.24 17911.76 - - 15
15.22/15.35 c (at root node) : - 29 14681 506.24 -
15.22/15.35 c conflict analysis: 0.00 0 0 0.00 -
15.22/15.35 c B&B Tree :
15.22/15.35 c number of runs : 2
15.22/15.35 c nodes : 3444 (1732 internal, 1712 leaves)
15.22/15.35 c feasible leaves : 1
15.22/15.35 c infeas. leaves : 1711
15.22/15.35 c objective leaves : 0
15.22/15.35 c nodes (total) : 5758 (2910 internal, 2848 leaves)
15.22/15.35 c nodes left : 0
15.22/15.35 c max depth : 33
15.22/15.35 c max depth (total): 35
15.22/15.35 c backtracks : 415 (12.0%)
15.22/15.35 c early backtracks : 0 (0.0%)
15.22/15.35 c nodes exc. ref. : 0 (0.0%)
15.22/15.35 c delayed cutoffs : 0
15.22/15.35 c repropagations : 2221 (1867 domain reductions, 0 cutoffs)
15.22/15.35 c avg switch length: 3.55
15.22/15.35 c switching time : 0.33
15.22/15.35 c Root Node :
15.22/15.35 c First LP value : +0.00000000000000e+00
15.22/15.35 c First LP Iters : 746 (21075.23 Iter/sec)
15.22/15.35 c First LP Time : 0.04
15.22/15.35 c Final Dual Bound : +0.00000000000000e+00
15.22/15.35 c Final Root Iters : 11655
15.22/15.35 c Root LP Estimate : +1.43037101864927e-02
15.22/15.35 c Solution :
15.22/15.35 c Solutions found : 1 (1 improvements)
15.22/15.35 c First Solution : +0.00000000000000e+00 (in run 2, after 3444 nodes, 15.34 seconds, depth 25, found by <relaxation>)
15.22/15.35 c Gap First Sol. : 0.00 %
15.22/15.35 c Gap Last Sol. : 0.00 %
15.22/15.35 c Primal Bound : +0.00000000000000e+00 (in run 2, after 3444 nodes, 15.34 seconds, depth 25, found by <relaxation>)
15.22/15.35 c Dual Bound : +0.00000000000000e+00
15.22/15.35 c Gap : 0.00 %
15.22/15.35 c Integrals : Total Avg%
15.22/15.35 c primal-dual : 1533.95 100.00
15.22/15.35 c primal-ref : - - (not evaluated)
15.22/15.35 c dual-ref : - - (not evaluated)
15.22/15.35 c Time complete: 15.292.
OK 0
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: 63665 MiB (63183 MiB free)
memory of node 1: 64507 MiB (63305 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493526-1751148285/watcher-4493526-1751148285 -o /tmp/evaluation-result-4493526-1751148285/solver-4493526-1751148285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751144686-14926 --watchdog 3760 pbscip -f HOME/instance-4493526-1751148285.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=15398, runsolver pid=15395
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.12 4.15 4.10 4/265 15407
/proc/meminfo: memFree=130125240/131249996 swapFree=33010684/33010684
[pid=15398] ppid=15395 vsize=52476 memory=26880 CPUtime=0.09 cores=4,6
/proc/15398/stat : 15398 (pbscip) R 15395 15398 14915 0 -1 4194304 3153 0 0 0 9 0 0 0 20 0 1 0 30506406 53735424 6720 18446744073709551615 4235264 18693293 140731210893696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40062976 140731210897801 140731210897900 140731210897900 140731210903502 0
/proc/15398/statm: 13119 6720 3936 3530 0 4570 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52476 KiB
Current children cumulated memory: 26880 KiB
[startup+0.205722 s]*
/proc/loadavg: 4.12 4.15 4.10 3/261 15415
/proc/meminfo: memFree=130108520/131249996 swapFree=33010684/33010684
[pid=15398] ppid=15395 vsize=53132 memory=27392 CPUtime=0.2 cores=4,6
/proc/15398/stat : 15398 (pbscip) R 15395 15398 14915 0 -1 4194304 3285 0 0 0 20 0 0 0 20 0 1 0 30506406 54407168 6848 18446744073709551615 4235264 18693293 140731210893696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40062976 140731210897801 140731210897900 140731210897900 140731210903502 0
/proc/15398/statm: 13283 6848 3936 3530 0 4734 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53132 KiB
Current children cumulated memory: 27392 KiB
[startup+0.305413 s]*
/proc/loadavg: 4.12 4.15 4.10 3/261 15415
/proc/meminfo: memFree=130084328/131249996 swapFree=33010684/33010684
[pid=15398] ppid=15395 vsize=67648 memory=40832 CPUtime=0.29 cores=4,6
/proc/15398/stat : 15398 (pbscip) R 15395 15398 14915 0 -1 4194304 6607 0 0 0 29 0 0 0 20 0 1 0 30506406 69271552 10208 18446744073709551615 4235264 18693293 140731210893696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40062976 140731210897801 140731210897900 140731210897900 140731210903502 0
/proc/15398/statm: 16912 10208 3968 3530 0 8363 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67648 KiB
Current children cumulated memory: 40832 KiB
[startup+0.700151 s]
/proc/loadavg: 4.12 4.15 4.10 3/261 15415
/proc/meminfo: memFree=130076264/131249996 swapFree=33010684/33010684
[pid=15398] ppid=15395 vsize=95476 memory=68608 CPUtime=0.68 cores=4,6
/proc/15398/stat : 15398 (pbscip) R 15395 15398 14915 0 -1 4194304 13542 0 0 0 67 1 0 0 20 0 1 0 30506406 97767424 17152 18446744073709551615 4235264 18693293 140731210893696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40062976 140731210897801 140731210897900 140731210897900 140731210903502 0
/proc/15398/statm: 23869 17152 3968 3530 0 15320 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 95476 KiB
Current children cumulated memory: 68608 KiB
[startup+1.50012 s]
/proc/loadavg: 4.12 4.15 4.10 3/261 15461
/proc/meminfo: memFree=130045220/131249996 swapFree=33010684/33010684
[pid=15398] ppid=15395 vsize=126420 memory=97764 CPUtime=1.48 cores=4,6
/proc/15398/stat : 15398 (pbscip) R 15395 15398 14915 0 -1 4194304 20877 0 0 0 145 3 0 0 20 0 1 0 30506406 129454080 24441 18446744073709551615 4235264 18693293 140731210893696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40062976 140731210897801 140731210897900 140731210897900 140731210903502 0
/proc/15398/statm: 31605 24441 3968 3530 0 23056 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126420 KiB
Current children cumulated memory: 97764 KiB
[startup+3.1054 s]
/proc/loadavg: 4.11 4.15 4.10 5/269 15534
/proc/meminfo: memFree=129924700/131249996 swapFree=33010684/33010684
[pid=15398] ppid=15395 vsize=135208 memory=106212 CPUtime=3.07 cores=4,6
/proc/15398/stat : 15398 (pbscip) R 15395 15398 14915 0 -1 4194304 22987 0 0 0 304 3 0 0 20 0 1 0 30506406 138452992 26553 18446744073709551615 4235264 18693293 140731210893696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40062976 140731210897801 140731210897900 140731210897900 140731210903502 0
/proc/15398/statm: 33802 26553 3968 3530 0 25253 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 135208 KiB
Current children cumulated memory: 106212 KiB
[startup+6.30014 s]
/proc/loadavg: 4.11 4.15 4.10 5/269 15534
/proc/meminfo: memFree=129857792/131249996 swapFree=33010684/33010684
[pid=15398] ppid=15395 vsize=138980 memory=108600 CPUtime=6.26 cores=4,6
/proc/15398/stat : 15398 (pbscip) R 15395 15398 14915 0 -1 4194304 23847 0 0 0 622 4 0 0 20 0 1 0 30506406 142315520 27150 18446744073709551615 4235264 18693293 140731210893696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40062976 140731210897801 140731210897900 140731210897900 140731210903502 0
/proc/15398/statm: 34745 27150 3968 3530 0 26196 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 138980 KiB
Current children cumulated memory: 108600 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.15 4.10 5/269 15581
/proc/meminfo: memFree=129789564/131249996 swapFree=33010684/33010684
[pid=15398] ppid=15395 vsize=146384 memory=116068 CPUtime=12.63 cores=4,6
/proc/15398/stat : 15398 (pbscip) R 15395 15398 14915 0 -1 4194304 26308 0 0 0 1259 4 0 0 20 0 1 0 30506406 149897216 29017 18446744073709551615 4235264 18693293 140731210893696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40062976 140731210897801 140731210897900 140731210897900 140731210903502 0
/proc/15398/statm: 36596 29017 3968 3530 0 28047 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 146384 KiB
Current children cumulated memory: 116068 KiB
[startup+15.361 s]
# the end of solver process 15398 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=15.2457 s, system=0.050795 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.10 4.15 4.10 5/269 15581
/proc/meminfo: memFree=129789564/131249996 swapFree=33010684/33010684
[pid=15398] ppid=15395 vsize=146384 memory=116068 CPUtime=12.73 cores=4,6
/proc/15398/stat : 15398 (pbscip) R 15395 15398 14915 0 -1 4194304 26308 0 0 0 1269 4 0 0 20 0 1 0 30506406 149897216 29017 18446744073709551615 4235264 18693293 140731210893696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40062976 140731210897801 140731210897900 140731210897900 140731210903502 0
/proc/15398/statm: 36596 29017 3968 3530 0 28047 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 146384 KiB
Current children cumulated memory: 116068 KiB
[startup+14.4001 s]
/proc/loadavg: 4.10 4.14 4.10 5/269 15581
/proc/meminfo: memFree=129779992/131249996 swapFree=33010684/33010684
[pid=15398] ppid=15395 vsize=147132 memory=116836 CPUtime=14.33 cores=4,6
/proc/15398/stat : 15398 (pbscip) R 15395 15398 14915 0 -1 4194304 26511 0 0 0 1429 4 0 0 20 0 1 0 30506406 150663168 29209 18446744073709551615 4235264 18693293 140731210893696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40062976 140731210897801 140731210897900 140731210897900 140731210903502 0
/proc/15398/statm: 36783 29209 3968 3530 0 28234 0
Current children cumulated CPU time: 14.33 s
Current children cumulated vsize: 147132 KiB
Current children cumulated memory: 116836 KiB
[startup+14.8001 s]
/proc/loadavg: 4.10 4.14 4.10 5/269 15581
/proc/meminfo: memFree=129779992/131249996 swapFree=33010684/33010684
[pid=15398] ppid=15395 vsize=147132 memory=116836 CPUtime=14.73 cores=4,6
/proc/15398/stat : 15398 (pbscip) R 15395 15398 14915 0 -1 4194304 26512 0 0 0 1469 4 0 0 20 0 1 0 30506406 150663168 29209 18446744073709551615 4235264 18693293 140731210893696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40062976 140731210897801 140731210897900 140731210897900 140731210903502 0
/proc/15398/statm: 36783 29209 3968 3530 0 28234 0
Current children cumulated CPU time: 14.73 s
Current children cumulated vsize: 147132 KiB
Current children cumulated memory: 116836 KiB
[startup+15.2001 s]
/proc/loadavg: 4.10 4.14 4.10 5/269 15581
/proc/meminfo: memFree=129773944/131249996 swapFree=33010684/33010684
[pid=15398] ppid=15395 vsize=147132 memory=116836 CPUtime=15.12 cores=4,6
/proc/15398/stat : 15398 (pbscip) R 15395 15398 14915 0 -1 4194304 26512 0 0 0 1508 4 0 0 20 0 1 0 30506406 150663168 29209 18446744073709551615 4235264 18693293 140731210893696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40062976 140731210897801 140731210897900 140731210897900 140731210903502 0
/proc/15398/statm: 36783 29209 3968 3530 0 28234 0
Current children cumulated CPU time: 15.12 s
Current children cumulated vsize: 147132 KiB
Current children cumulated memory: 116836 KiB
[startup+15.3001 s]
/proc/loadavg: 4.10 4.14 4.10 5/269 15581
/proc/meminfo: memFree=129773944/131249996 swapFree=33010684/33010684
[pid=15398] ppid=15395 vsize=147132 memory=116836 CPUtime=15.22 cores=4,6
/proc/15398/stat : 15398 (pbscip) R 15395 15398 14915 0 -1 4194304 26513 0 0 0 1518 4 0 0 20 0 1 0 30506406 150663168 29209 18446744073709551615 4235264 18693293 140731210893696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40062976 140731210897801 140731210897900 140731210897900 140731210903502 0
/proc/15398/statm: 36783 29209 3968 3530 0 28234 0
Current children cumulated CPU time: 15.22 s
Current children cumulated vsize: 147132 KiB
Current children cumulated memory: 116836 KiB
Child status: 0
Real time (s): 15.361
CPU time (s): 15.2965
CPU user time (s): 15.2457
CPU system time (s): 0.050795
CPU usage (%): 99.5803
Max. virtual memory (cumulated for all children) (KiB): 147132
Max. memory (cumulated for all children) (KiB): 116836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.2457
system time used= 0.050795
maximum resident set size= 116836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26520
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= 80
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 15398
# total CPU time (s): 15.2965
# total CPU user time (s): 15.2457
# total CPU system time (s): 0.050795
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042182 second user time and 0.093431 second system time
The end
Begin job on nodeC024 at 2025-06-29 00:04:45 IDJOB=4493526 IDBENCH=147865 IDSOLVER=3365 FILE ID=nodeC024/4493526-1751148285 RUNJOBID= nodeC024-1751144686-14926 SLURM_JOB_ID= 9587443 Free space on /tmp= 432988 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army11.17bt.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493526-1751148285/watcher-4493526-1751148285 -o /tmp/evaluation-result-4493526-1751148285/solver-4493526-1751148285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751144686-14926 --watchdog 3760 pbscip -f HOME/instance-4493526-1751148285.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 13744d26940a0db30366992d9fdeef8c RANDOM SEED=873752075 nodeC024 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 : 3600.363 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 : 6999.36 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 : 3599.705 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 : 6999.36 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 : 3599.680 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 : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.672 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 : 6999.36 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 : 3601.035 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 : 6999.36 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 : 3599.684 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 : 6999.36 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 : 3599.619 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 : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.520 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 : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129533632 kB MemAvailable: 129164768 kB Buffers: 3280 kB Cached: 427452 kB SwapCached: 0 kB Active: 885680 kB Inactive: 219716 kB Active(anon): 692728 kB Inactive(anon): 0 kB Active(file): 192952 kB Inactive(file): 219716 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 33276 kB Writeback: 4132 kB AnonPages: 676804 kB Mapped: 125944 kB Shmem: 18064 kB KReclaimable: 84556 kB Slab: 166972 kB SReclaimable: 84556 kB SUnreclaim: 82416 kB KernelStack: 4244 kB PageTables: 4356 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1034872 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 579584 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432988 MiB End job on nodeC024 at 2025-06-29 00:05:01