0.00/0.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4510770-1751205287.opb>
0.00/0.03 c original problem has 601 variables (601 bin, 0 int, 0 impl, 0 cont) and 838 constraints
0.00/0.03 c problem read in 0.01
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.03 c presolving:
0.00/0.04 c (0.0s) running MILP presolver
0.00/0.04 c (0.0s) MILP presolver (2 rounds): 1 aggregations, 0 fixings, 0 bound changes
0.00/0.04 c (round 1, medium) 1 del vars, 838 del conss, 300 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 51/600 (8.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.05 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.06 c (0.0s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.06 c dynamic symmetry handling statistics:
0.00/0.06 c orbitopal reduction: no components
0.00/0.06 c orbital reduction: 1 components of sizes 1
0.00/0.06 c lexicographic reduction: 2 permutations with support sizes 480, 599
0.00/0.06 c handled 1 out of 1 symmetry components
0.00/0.06 c presolving (2 rounds: 2 fast, 2 medium, 1 exhaustive):
0.00/0.06 c 1 deleted vars, 838 deleted constraints, 300 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 0 implications, 0 cliques
0.00/0.06 c presolved problem has 600 variables (600 bin, 0 int, 0 impl, 0 cont) and 300 constraints
0.00/0.06 c 300 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.03
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.993093
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.13 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 | 525 | - | 7867k | 0 | 600 | 439 | 300 | 0 | 0 | 139 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.20 c 0.2s| 1 | 0 | 800 | - | 8322k | 0 | 600 | 439 | 310 | 10 | 1 | 139 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.20 c 0.2s| 1 | 0 | 812 | - | 8585k | 0 | 600 | 439 | 318 | 18 | 2 | 139 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.21 c 0.2s| 1 | 0 | 831 | - | 8684k | 0 | 600 | 439 | 325 | 25 | 3 | 139 | 0 | 0.000000e+00 | -- | Inf | unknown
0.21/0.23 c 0.2s| 1 | 0 | 851 | - | 9195k | 0 | 600 | 440 | 333 | 33 | 4 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown
0.21/0.25 c 0.2s| 1 | 0 | 880 | - | 9568k | 0 | 600 | 440 | 342 | 42 | 5 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown
0.21/0.28 c 0.3s| 1 | 0 | 899 | - | 10M | 0 | 600 | 440 | 351 | 51 | 6 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown
0.21/0.30 c 0.3s| 1 | 0 | 919 | - | 11M | 0 | 600 | 440 | 355 | 55 | 7 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown
0.31/0.33 c 0.3s| 1 | 0 | 924 | - | 12M | 0 | 600 | 440 | 357 | 57 | 8 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown
0.31/0.38 c 0.4s| 1 | 0 | 937 | - | 15M | 0 | 600 | 440 | 359 | 59 | 9 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown
0.31/0.42 c 0.4s| 1 | 0 | 948 | - | 17M | 0 | 600 | 441 | 362 | 62 | 10 | 141 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.43 c 0.4s| 1 | 0 | 960 | - | 17M | 0 | 600 | 441 | 364 | 64 | 11 | 141 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.44 c 0.4s| 1 | 0 | 966 | - | 17M | 0 | 600 | 443 | 365 | 65 | 12 | 143 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.44 c 0.4s| 1 | 0 | 978 | - | 17M | 0 | 600 | 443 | 366 | 66 | 13 | 143 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.45 c 0.4s| 1 | 0 | 984 | - | 17M | 0 | 600 | 444 | 367 | 67 | 14 | 144 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.40/0.46 c 0.4s| 1 | 0 | 990 | - | 17M | 0 | 600 | 444 | 369 | 69 | 15 | 144 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.47 c 0.4s| 1 | 0 | 997 | - | 17M | 0 | 600 | 447 | 338 | 70 | 16 | 147 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.48 c 0.5s| 1 | 0 | 1011 | - | 17M | 0 | 600 | 447 | 340 | 72 | 17 | 147 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.60 c 0.6s| 1 | 2 | 1039 | - | 17M | 0 | 600 | 447 | 340 | 72 | 17 | 147 | 22 | 0.000000e+00 | -- | Inf | unknown
1.57/1.65 c 1.6s| 100 | 99 | 8497 | 75.6 | 21M | 12 | 600 | 698 | 304 | 216 | 1 | 398 | 22 | 0.000000e+00 | -- | Inf | unknown
2.56/2.63 c 2.6s| 200 | 199 | 11657 | 53.5 | 22M | 22 | 600 | 885 | 304 | 269 | 1 | 589 | 22 | 0.000000e+00 | -- | Inf | unknown
3.76/3.84 c 3.8s| 300 | 299 | 14391 | 44.7 | 23M | 22 | 600 |1087 | 307 | 323 | 2 | 793 | 22 | 0.000000e+00 | -- | Inf | unknown
4.76/4.86 c 4.8s| 400 | 397 | 16028 | 37.6 | 23M | 31 | 600 |1337 | 305 | 361 | 1 |1046 | 22 | 0.000000e+00 | -- | Inf | unknown
4.97/5.03 c 5.0s| 500 | 497 | 17680 | 33.4 | 23M | 44 | 600 |1494 | 305 | 416 | 1 |1205 | 22 | 0.000000e+00 | -- | Inf | unknown
5.16/5.20 c 5.2s| 600 | 597 | 18951 | 29.9 | 24M | 44 | 600 |1679 | 311 | 551 | 1 |1392 | 22 | 0.000000e+00 | -- | Inf | unknown
5.26/5.35 c 5.3s| 700 | 672 | 20091 | 27.3 | 25M | 59 | 600 |1759 | 315 | 644 | 1 |1473 | 22 | 0.000000e+00 | -- | Inf | unknown
5.46/5.52 c 5.5s| 800 | 770 | 21689 | 25.9 | 25M | 59 | 600 |1887 | 305 | 752 | 1 |1604 | 22 | 0.000000e+00 | -- | Inf | unknown
5.56/5.63 c 5.6s| 900 | 866 | 22710 | 24.1 | 26M | 68 | 600 |1966 | 310 | 806 | 1 |1688 | 22 | 0.000000e+00 | -- | Inf | unknown
5.65/5.74 c 5.7s| 1000 | 958 | 23346 | 22.4 | 26M | 68 | 600 |2094 | 310 | 806 | 1 |1821 | 22 | 0.000000e+00 | -- | Inf | unknown
5.75/5.84 c 5.8s| 1100 | 1026 | 23720 | 20.7 | 27M | 100 | 600 |2159 | 310 | 806 | 1 |1893 | 22 | 0.000000e+00 | -- | Inf | unknown
5.96/6.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.96/6.07 c 6.1s| 1200 | 1066 | 24043 | 19.2 | 27M | 100 | 600 |2241 | 310 | 806 | 1 |1978 | 22 | 0.000000e+00 | -- | Inf | unknown
6.45/6.59 c 6.6s| 1300 | 1145 | 25295 | 18.7 | 27M | 100 | 600 |2295 | 306 | 846 | 1 |2038 | 22 | 0.000000e+00 | -- | Inf | unknown
7.06/7.18 c 7.2s| 1400 | 1227 | 26375 | 18.1 | 27M | 100 | 600 |2385 | 0 | 881 | 0 |2132 | 22 | 0.000000e+00 | -- | Inf | unknown
7.15/7.27 c 7.2s| 1500 | 1323 | 27232 | 17.5 | 27M | 100 | 600 |2428 | 312 | 911 | 1 |2180 | 22 | 0.000000e+00 | -- | Inf | unknown
7.25/7.32 c 7.3s| 1600 | 1423 | 27721 | 16.7 | 27M | 100 | 600 |2429 | 312 | 918 | 1 |2185 | 22 | 0.000000e+00 | -- | Inf | unknown
7.54/7.63 c 7.6s| 1700 | 1517 | 28211 | 16.0 | 27M | 100 | 600 |2447 | 0 | 918 | 0 |2208 | 22 | 0.000000e+00 | -- | Inf | unknown
7.64/7.71 c 7.7s| 1800 | 1593 | 28835 | 15.5 | 27M | 100 | 600 |2507 | 312 | 918 | 1 |2276 | 22 | 0.000000e+00 | -- | Inf | unknown
7.64/7.78 c 7.8s| 1900 | 1685 | 29461 | 15.0 | 27M | 100 | 600 |2548 | 312 | 918 | 1 |2320 | 22 | 0.000000e+00 | -- | Inf | unknown
7.74/7.86 c 7.8s| 2000 | 1738 | 30352 | 14.7 | 27M | 100 | 600 |2581 | 307 | 937 | 1 |2357 | 22 | 0.000000e+00 | -- | Inf | unknown
7.84/7.93 c 7.9s| 2100 | 1795 | 31008 | 14.3 | 28M | 100 | 600 |2634 | 312 | 957 | 1 |2419 | 22 | 0.000000e+00 | -- | Inf | unknown
7.84/7.99 c 8.0s| 2200 | 1865 | 31537 | 13.9 | 28M | 100 | 600 |2643 | 307 | 963 | 1 |2439 | 22 | 0.000000e+00 | -- | Inf | unknown
7.95/8.08 c 8.1s| 2300 | 1960 | 32319 | 13.6 | 28M | 100 | 600 |2694 | 312 |1019 | 1 |2497 | 22 | 0.000000e+00 | -- | Inf | unknown
8.06/8.14 c 8.1s| 2400 | 2020 | 32751 | 13.2 | 29M | 100 | 600 |2695 | 312 |1019 | 1 |2509 | 22 | 0.000000e+00 | -- | Inf | unknown
8.14/8.21 c 8.2s| 2500 | 2092 | 33380 | 13.0 | 29M | 100 | 600 |2696 | 312 |1019 | 1 |2524 | 22 | 0.000000e+00 | -- | Inf | unknown
8.14/8.29 c 8.3s| 2600 | 2167 | 34270 | 12.8 | 29M | 100 | 600 |2761 | 312 |1022 | 1 |2595 | 22 | 0.000000e+00 | -- | Inf | unknown
8.24/8.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.24/8.39 c 8.4s| 2700 | 2252 | 35093 | 12.6 | 29M | 100 | 600 |2871 | 312 |1060 | 1 |2714 | 22 | 0.000000e+00 | -- | Inf | unknown
8.34/8.47 c 8.5s| 2800 | 2313 | 35817 | 12.4 | 30M | 100 | 600 |2967 | 0 |1090 | 0 |2818 | 22 | 0.000000e+00 | -- | Inf | unknown
8.44/8.52 c 8.5s| 2900 | 2364 | 36163 | 12.1 | 30M | 100 | 600 |3068 | 310 |1090 | 1 |2927 | 22 | 0.000000e+00 | -- | Inf | unknown
8.44/8.58 c 8.6s| 3000 | 2432 | 36665 | 11.9 | 30M | 100 | 600 |3186 | 311 |1093 | 1 |3049 | 22 | 0.000000e+00 | -- | Inf | unknown
8.54/8.65 c 8.6s| 3100 | 2521 | 37339 | 11.7 | 30M | 100 | 600 |3230 | 310 |1097 | 1 |3099 | 22 | 0.000000e+00 | -- | Inf | unknown
8.64/8.73 c 8.7s| 3200 | 2573 | 38076 | 11.6 | 30M | 100 | 600 |3413 | 322 |1137 | 2 |3284 | 22 | 0.000000e+00 | -- | Inf | unknown
8.74/8.81 c 8.8s| 3300 | 2669 | 38862 | 11.5 | 30M | 100 | 600 |3447 | 313 |1137 | 1 |3324 | 22 | 0.000000e+00 | -- | Inf | unknown
8.84/8.90 c 8.9s| 3400 | 2753 | 39652 | 11.4 | 30M | 100 | 600 |3537 | 313 |1157 | 1 |3421 | 22 | 0.000000e+00 | -- | Inf | unknown
8.84/8.95 c 8.9s| 3500 | 2798 | 40059 | 11.2 | 31M | 100 | 600 |3664 | 0 |1157 | 0 |3552 | 22 | 0.000000e+00 | -- | Inf | unknown
8.95/9.01 c 9.0s| 3600 | 2835 | 40640 | 11.0 | 31M | 100 | 600 |3739 | 0 |1184 | 0 |3635 | 22 | 0.000000e+00 | -- | Inf | unknown
8.95/9.11 c 9.1s| 3700 | 2931 | 41474 | 10.9 | 31M | 100 | 600 |3759 | 307 |1226 | 1 |3667 | 22 | 0.000000e+00 | -- | Inf | unknown
9.05/9.19 c 9.2s| 3800 | 3000 | 42205 | 10.8 | 31M | 100 | 600 |3825 | 310 |1256 | 1 |3742 | 22 | 0.000000e+00 | -- | Inf | unknown
9.14/9.24 c 9.2s| 3900 | 3043 | 42526 | 10.6 | 31M | 100 | 600 |3922 | 0 |1256 | 0 |3841 | 22 | 0.000000e+00 | -- | Inf | unknown
9.24/9.30 c 9.3s| 4000 | 3089 | 42925 | 10.5 | 31M | 100 | 600 |3963 | 0 |1256 | 0 |3885 | 22 | 0.000000e+00 | -- | Inf | unknown
9.24/9.35 c 9.3s| 4100 | 3108 | 43336 | 10.3 | 31M | 100 | 600 |4093 | 312 |1256 | 1 |4022 | 22 | 0.000000e+00 | -- | Inf | unknown
9.34/9.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.34/9.40 c 9.4s| 4200 | 3130 | 43774 | 10.2 | 31M | 100 | 600 |4183 | 0 |1256 | 0 |4122 | 22 | 0.000000e+00 | -- | Inf | unknown
9.34/9.46 c 9.4s| 4300 | 3147 | 44206 | 10.0 | 31M | 100 | 600 |4215 | 312 |1256 | 1 |4175 | 22 | 0.000000e+00 | -- | Inf | unknown
9.44/9.51 c 9.5s| 4400 | 3165 | 44657 | 9.9 | 31M | 100 | 600 |4186 | 312 |1256 | 1 |4193 | 22 | 0.000000e+00 | -- | Inf | unknown
9.44/9.56 c 9.5s| 4500 | 3200 | 45055 | 9.8 | 31M | 100 | 600 |4267 | 312 |1256 | 1 |4298 | 22 | 0.000000e+00 | -- | Inf | unknown
9.54/9.63 c 9.6s| 4600 | 3257 | 45698 | 9.7 | 31M | 100 | 600 |4301 | 310 |1256 | 1 |4357 | 22 | 0.000000e+00 | -- | Inf | unknown
9.54/9.69 c 9.7s| 4700 | 3295 | 46140 | 9.6 | 32M | 100 | 600 |4457 | 314 |1264 | 2 |4527 | 22 | 0.000000e+00 | -- | Inf | unknown
9.64/9.79 c 9.8s| 4800 | 3389 | 47139 | 9.6 | 32M | 100 | 600 |4490 | 311 |1285 | 1 |4567 | 22 | 0.000000e+00 | -- | Inf | unknown
9.74/9.88 c 9.9s| 4900 | 3483 | 47760 | 9.5 | 32M | 100 | 600 |4619 | 311 |1292 | 1 |4698 | 22 | 0.000000e+00 | -- | Inf | unknown
9.84/9.95 c 9.9s| 5000 | 3579 | 48324 | 9.5 | 32M | 100 | 600 |4653 | 311 |1302 | 1 |4739 | 22 | 0.000000e+00 | -- | Inf | unknown
9.84/10.00 c 10.0s| 5100 | 3642 | 48837 | 9.4 | 33M | 100 | 600 |4744 | 310 |1304 | 1 |4834 | 22 | 0.000000e+00 | -- | Inf | unknown
9.95/10.07 c 10.0s| 5200 | 3712 | 49529 | 9.3 | 33M | 100 | 600 |4827 | 310 |1304 | 1 |4923 | 22 | 0.000000e+00 | -- | Inf | unknown
10.05/10.15 c 10.1s| 5300 | 3807 | 50302 | 9.3 | 33M | 100 | 600 |4901 | 311 |1318 | 1 |5004 | 22 | 0.000000e+00 | -- | Inf | unknown
10.13/10.22 c 10.2s| 5400 | 3903 | 50917 | 9.2 | 33M | 100 | 600 |4976 | 310 |1318 | 1 |5084 | 22 | 0.000000e+00 | -- | Inf | unknown
10.13/10.29 c 10.3s| 5500 | 3995 | 51594 | 9.2 | 33M | 100 | 600 |5021 | 311 |1321 | 1 |5145 | 22 | 0.000000e+00 | -- | Inf | unknown
10.23/10.37 c 10.4s| 5600 | 4085 | 52274 | 9.2 | 33M | 100 | 600 |5080 | 310 |1325 | 1 |5211 | 22 | 0.000000e+00 | -- | Inf | unknown
10.33/10.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.33/10.46 c 10.4s| 5700 | 4131 | 53030 | 9.1 | 33M | 100 | 600 |5208 | 310 |1327 | 1 |5353 | 22 | 0.000000e+00 | -- | Inf | unknown
10.43/10.52 c 10.5s| 5800 | 4187 | 53619 | 9.1 | 33M | 100 | 600 |5301 | 310 |1327 | 1 |5458 | 22 | 0.000000e+00 | -- | Inf | unknown
10.43/10.58 c 10.6s| 5900 | 4222 | 54057 | 9.0 | 33M | 100 | 600 |5456 | 310 |1327 | 1 |5640 | 22 | 0.000000e+00 | -- | Inf | unknown
10.53/10.63 c 10.6s| 6000 | 4262 | 54449 | 8.9 | 33M | 100 | 600 |5516 | 311 |1327 | 1 |5726 | 22 | 0.000000e+00 | -- | Inf | unknown
10.53/10.68 c 10.7s| 6100 | 4308 | 54859 | 8.8 | 33M | 100 | 600 |5681 | 310 |1327 | 1 |5908 | 22 | 0.000000e+00 | -- | Inf | unknown
10.63/10.73 c 10.7s| 6200 | 4340 | 55270 | 8.8 | 33M | 100 | 600 |5759 | 0 |1327 | 0 |6008 | 22 | 0.000000e+00 | -- | Inf | unknown
10.73/10.81 c 10.8s| 6300 | 4388 | 55957 | 8.7 | 33M | 100 | 600 |5828 | 0 |1335 | 0 |6101 | 22 | 0.000000e+00 | -- | Inf | unknown
10.73/10.86 c 10.8s| 6400 | 4398 | 56228 | 8.6 | 33M | 100 | 600 |6042 | 0 |1335 | 0 |6329 | 22 | 0.000000e+00 | -- | Inf | unknown
10.83/10.92 c 10.9s| 6500 | 4429 | 56640 | 8.6 | 33M | 100 | 600 |6158 | 311 |1335 | 1 |6490 | 22 | 0.000000e+00 | -- | Inf | unknown
10.83/11.00 c 11.0s| 6600 | 4505 | 57389 | 8.5 | 33M | 100 | 600 |6221 | 310 |1335 | 1 |6579 | 22 | 0.000000e+00 | -- | Inf | unknown
10.94/11.06 c 11.0s| 6700 | 4564 | 57897 | 8.5 | 34M | 100 | 600 |6362 | 312 |1335 | 1 |6741 | 22 | 0.000000e+00 | -- | Inf | unknown
11.04/11.12 c 11.1s| 6800 | 4628 | 58434 | 8.4 | 34M | 100 | 600 |6466 | 312 |1335 | 1 |6867 | 22 | 0.000000e+00 | -- | Inf | unknown
11.04/11.19 c 11.2s| 6900 | 4700 | 58995 | 8.4 | 34M | 100 | 600 |6510 | 310 |1335 | 1 |6935 | 22 | 0.000000e+00 | -- | Inf | unknown
11.13/11.27 c 11.2s| 7000 | 4772 | 59552 | 8.4 | 34M | 100 | 600 |6562 | 312 |1364 | 1 |7022 | 22 | 0.000000e+00 | -- | Inf | unknown
11.23/11.37 c 11.3s| 7100 | 4872 | 60470 | 8.4 | 34M | 100 | 600 |6588 | 312 |1373 | 1 |7083 | 22 | 0.000000e+00 | -- | Inf | unknown
11.33/11.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.33/11.44 c 11.4s| 7200 | 4952 | 61055 | 8.3 | 34M | 100 | 600 |6639 | 312 |1373 | 1 |7156 | 22 | 0.000000e+00 | -- | Inf | unknown
11.43/11.51 c 11.5s| 7300 | 4997 | 61647 | 8.3 | 35M | 100 | 600 |6694 | 312 |1373 | 1 |7312 | 22 | 0.000000e+00 | -- | Inf | unknown
11.43/11.57 c 11.5s| 7400 | 5039 | 62028 | 8.2 | 35M | 100 | 600 |6813 | 311 |1373 | 1 |7464 | 22 | 0.000000e+00 | -- | Inf | unknown
11.53/11.64 c 11.6s| 7500 | 5106 | 62764 | 8.2 | 35M | 100 | 600 |6882 | 311 |1376 | 1 |7547 | 22 | 0.000000e+00 | -- | Inf | unknown
11.63/11.71 c 11.7s| 7600 | 5188 | 63393 | 8.2 | 35M | 100 | 600 |6893 | 313 |1376 | 1 |7598 | 22 | 0.000000e+00 | -- | Inf | unknown
11.63/11.79 c 11.8s| 7700 | 5271 | 64289 | 8.2 | 35M | 100 | 600 |6924 | 311 |1376 | 1 |7664 | 22 | 0.000000e+00 | -- | Inf | unknown
11.73/11.86 c 11.8s| 7800 | 5354 | 64869 | 8.2 | 35M | 100 | 600 |6929 | 314 |1376 | 1 |7707 | 22 | 0.000000e+00 | -- | Inf | unknown
11.83/11.93 c 11.9s| 7900 | 5418 | 65506 | 8.2 | 35M | 100 | 600 |6981 | 314 |1376 | 1 |7777 | 22 | 0.000000e+00 | -- | Inf | unknown
12.04/12.15 c 12.1s| 8000 | 5509 | 66495 | 8.2 | 38M | 100 | 600 |7020 | 304 |1395 | 1 |7882 | 22 | 0.000000e+00 | -- | Inf | unknown
12.13/12.24 c 12.2s| 8100 | 5601 | 67177 | 8.2 | 38M | 100 | 600 |6994 | 309 |1419 | 1 |7932 | 22 | 0.000000e+00 | -- | Inf | unknown
12.23/12.31 c 12.3s| 8200 | 5693 | 67851 | 8.2 | 38M | 100 | 600 |7024 | 312 |1419 | 1 |7984 | 22 | 0.000000e+00 | -- | Inf | unknown
12.23/12.38 c 12.4s| 8300 | 5748 | 68498 | 8.1 | 38M | 100 | 600 |7071 | 311 |1431 | 1 |8084 | 22 | 0.000000e+00 | -- | Inf | unknown
12.33/12.45 c 12.4s| 8400 | 5835 | 69125 | 8.1 | 39M | 100 | 600 |7089 | 308 |1438 | 1 |8126 | 22 | 0.000000e+00 | -- | Inf | unknown
12.43/12.55 c 12.5s| 8500 | 5916 | 69946 | 8.1 | 40M | 100 | 600 |7113 | 310 |1479 | 1 |8202 | 22 | 0.000000e+00 | -- | Inf | unknown
12.53/12.62 c 12.6s| 8600 | 5978 | 70489 | 8.1 | 41M | 100 | 600 |7130 | 312 |1482 | 1 |8317 | 22 | 0.000000e+00 | -- | Inf | unknown
12.63/12.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.63/12.70 c 12.7s| 8700 | 6002 | 70992 | 8.0 | 41M | 100 | 600 |7209 | 312 |1492 | 1 |8504 | 22 | 0.000000e+00 | -- | Inf | unknown
12.63/12.78 c 12.8s| 8800 | 6053 | 71634 | 8.0 | 41M | 100 | 600 |7284 | 312 |1516 | 1 |8662 | 22 | 0.000000e+00 | -- | Inf | unknown
12.73/12.84 c 12.8s| 8900 | 6091 | 72044 | 8.0 | 41M | 100 | 600 |7405 | 312 |1516 | 1 |8851 | 22 | 0.000000e+00 | -- | Inf | unknown
12.83/12.93 c 12.9s| 9000 | 6174 | 72944 | 8.0 | 41M | 100 | 600 |7367 | 310 |1537 | 1 |8904 | 22 | 0.000000e+00 | -- | Inf | unknown
12.94/13.02 c 13.0s| 9100 | 6267 | 73603 | 8.0 | 41M | 100 | 600 |7343 | 310 |1551 | 1 |8958 | 22 | 0.000000e+00 | -- | Inf | unknown
12.94/13.08 c 13.1s| 9200 | 6299 | 73941 | 7.9 | 41M | 100 | 600 |7523 | 310 |1551 | 1 |9178 | 22 | 0.000000e+00 | -- | Inf | unknown
13.04/13.13 c 13.1s| 9300 | 6341 | 74222 | 7.9 | 42M | 100 | 600 |7621 | 312 |1551 | 1 |9357 | 22 | 0.000000e+00 | -- | Inf | unknown
13.13/13.22 c 13.2s| 9400 | 6410 | 74840 | 7.9 | 42M | 100 | 600 |7579 | 312 |1551 | 1 |9462 | 22 | 0.000000e+00 | -- | Inf | unknown
13.23/13.30 c 13.3s| 9500 | 6465 | 75318 | 7.8 | 42M | 100 | 600 |7533 | 313 |1552 | 1 |9549 | 22 | 0.000000e+00 | -- | Inf | unknown
13.23/13.39 c 13.4s| 9600 | 6535 | 76027 | 7.8 | 42M | 100 | 600 |7595 | 0 |1552 | 0 |9690 | 22 | 0.000000e+00 | -- | Inf | unknown
13.32/13.45 c 13.4s| 9700 | 6571 | 76629 | 7.8 | 42M | 100 | 600 |7656 | 0 |1552 | 0 |9789 | 22 | 0.000000e+00 | -- | Inf | unknown
13.42/13.55 c 13.5s| 9800 | 6657 | 77591 | 7.8 | 43M | 100 | 600 |7434 | 312 |1574 | 1 |9836 | 22 | 0.000000e+00 | -- | Inf | unknown
13.52/13.61 c 13.6s| 9900 | 6696 | 78083 | 7.8 | 43M | 100 | 600 |7447 | 0 |1574 | 0 |9957 | 22 | 0.000000e+00 | -- | Inf | unknown
13.62/13.71 c 13.7s| 10000 | 6771 | 78854 | 7.8 | 43M | 100 | 600 |7461 | 312 |1574 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
13.62/13.78 c 13.8s| 10100 | 6809 | 79427 | 7.8 | 43M | 100 | 600 |7455 | 0 |1597 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
13.72/13.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.72/13.85 c 13.8s| 10200 | 6863 | 79898 | 7.7 | 43M | 100 | 600 |7442 | 310 |1597 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
13.82/13.91 c 13.9s| 10300 | 6911 | 80474 | 7.7 | 43M | 100 | 600 |7542 | 310 |1597 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
13.82/13.96 c 13.9s| 10400 | 6945 | 80825 | 7.7 | 44M | 100 | 600 |7669 | 310 |1597 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
13.94/14.04 c 14.0s| 10500 | 6993 | 81402 | 7.7 | 44M | 100 | 600 |7616 | 313 |1597 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
13.94/14.10 c 14.1s| 10600 | 7066 | 81991 | 7.6 | 44M | 100 | 600 |7569 | 312 |1597 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
14.04/14.16 c 14.1s| 10700 | 7117 | 82406 | 7.6 | 44M | 100 | 600 |7566 | 313 |1597 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
14.12/14.22 c 14.2s| 10800 | 7184 | 83034 | 7.6 | 44M | 100 | 600 |7517 | 311 |1597 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
14.22/14.31 c 14.3s| 10900 | 7260 | 83910 | 7.6 | 44M | 100 | 600 |7506 | 312 |1597 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
14.22/14.39 c 14.4s| 11000 | 7342 | 84594 | 7.6 | 44M | 100 | 600 |7245 | 313 |1612 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
14.32/14.48 c 14.5s| 11100 | 7411 | 85235 | 7.6 | 44M | 100 | 600 |7129 | 0 |1619 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
14.42/14.57 c 14.6s| 11200 | 7479 | 85977 | 7.6 | 44M | 100 | 600 |7057 | 0 |1619 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
14.52/14.66 c 14.6s| 11300 | 7564 | 86489 | 7.6 | 44M | 100 | 600 |6892 | 304 |1619 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
14.62/14.75 c 14.7s| 11400 | 7662 | 87290 | 7.6 | 44M | 100 | 600 |6860 | 309 |1657 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
14.72/14.82 c 14.8s| 11500 | 7743 | 87911 | 7.6 | 44M | 100 | 600 |6891 | 309 |1662 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
14.82/14.92 c 14.9s| 11600 | 7831 | 88724 | 7.6 | 44M | 100 | 600 |6865 | 311 |1691 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
14.82/15.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.82/15.01 c 15.0s| 11700 | 7905 | 89395 | 7.6 | 44M | 100 | 600 |6798 | 313 |1691 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
14.93/15.10 c 15.1s| 11800 | 7981 | 90019 | 7.5 | 44M | 100 | 600 |6622 | 309 |1706 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
15.03/15.18 c 15.2s| 11900 | 8040 | 90607 | 7.5 | 44M | 100 | 600 |6488 | 0 |1711 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
15.12/15.25 c 15.2s| 12000 | 8088 | 90971 | 7.5 | 44M | 100 | 600 |6579 | 310 |1711 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
15.22/15.34 c 15.3s| 12100 | 8140 | 91713 | 7.5 | 44M | 100 | 600 |6363 | 312 |1731 | 2 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
15.32/15.46 c 15.4s| 12200 | 8217 | 92539 | 7.5 | 45M | 100 | 600 |6216 | 312 |1766 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
15.42/15.55 c 15.5s| 12300 | 8287 | 93135 | 7.5 | 45M | 100 | 600 |6181 | 312 |1780 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
15.52/15.63 c 15.6s| 12400 | 8348 | 93610 | 7.5 | 45M | 100 | 600 |5875 | 312 |1782 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
15.62/15.71 c 15.7s| 12500 | 8404 | 94133 | 7.5 | 45M | 100 | 600 |5821 | 312 |1790 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
15.62/15.78 c 15.8s| 12600 | 8442 | 94718 | 7.4 | 45M | 100 | 600 |5753 | 311 |1790 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
15.71/15.87 c 15.9s| 12700 | 8503 | 95351 | 7.4 | 45M | 100 | 600 |5850 | 0 |1790 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
15.81/15.96 c 15.9s| 12800 | 8556 | 95840 | 7.4 | 45M | 100 | 600 |5689 | 0 |1790 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
15.93/16.04 c 16.0s| 12900 | 8608 | 96268 | 7.4 | 45M | 100 | 600 |5647 | 310 |1790 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
15.93/16.10 c 16.1s| 13000 | 8656 | 96742 | 7.4 | 45M | 100 | 600 |5658 | 310 |1790 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
16.03/16.18 c 16.2s| 13100 | 8703 | 97178 | 7.3 | 45M | 100 | 600 |5554 | 310 |1790 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
16.11/16.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.11/16.26 c 16.2s| 13200 | 8752 | 97755 | 7.3 | 45M | 100 | 600 |5533 | 312 |1798 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
16.21/16.32 c 16.3s| 13300 | 8792 | 98300 | 7.3 | 45M | 100 | 600 |5576 | 310 |1798 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
16.21/16.39 c 16.4s| 13400 | 8836 | 99025 | 7.3 | 46M | 100 | 600 |5575 | 314 |1798 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
16.31/16.49 c 16.5s| 13500 | 8918 | 99948 | 7.3 | 46M | 100 | 600 |5434 | 312 |1816 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
16.41/16.56 c 16.5s| 13600 | 8985 |100528 | 7.3 | 46M | 100 | 600 |5400 | 313 |1816 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
16.51/16.65 c 16.6s| 13700 | 9074 |101231 | 7.3 | 46M | 100 | 600 |5350 | 314 |1826 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
16.61/16.71 c 16.7s| 13800 | 9104 |101618 | 7.3 | 46M | 100 | 600 |5196 | 310 |1826 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
16.61/16.79 c 16.8s| 13900 | 9188 |102248 | 7.3 | 46M | 100 | 600 |5135 | 311 |1826 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
16.71/16.85 c 16.8s| 14000 | 9276 |102797 | 7.3 | 46M | 100 | 600 |5164 | 311 |1826 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
16.81/16.91 c 16.9s| 14100 | 9352 |103233 | 7.3 | 46M | 100 | 600 |5223 | 311 |1826 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
16.81/16.97 c 16.9s| 14200 | 9428 |103694 | 7.2 | 46M | 100 | 600 |5306 | 311 |1826 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
16.92/17.06 c 17.0s| 14300 | 9528 |104308 | 7.2 | 46M | 100 | 600 |5391 | 311 |1826 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
17.02/17.13 c 17.1s| 14400 | 9614 |104869 | 7.2 | 46M | 100 | 600 |5430 | 310 |1826 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
17.02/17.19 c 17.2s| 14500 | 9641 |105368 | 7.2 | 46M | 100 | 600 |5393 | 313 |1826 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
17.11/17.25 c 17.2s| 14600 | 9678 |105716 | 7.2 | 46M | 100 | 600 |5165 | 310 |1826 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
17.21/17.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.21/17.30 c 17.3s| 14700 | 9713 |106084 | 7.1 | 46M | 100 | 600 |5182 | 0 |1826 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
17.21/17.37 c 17.3s| 14800 | 9740 |106411 | 7.1 | 46M | 100 | 600 |5155 | 312 |1826 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
17.31/17.45 c 17.4s| 14900 | 9799 |107027 | 7.1 | 46M | 100 | 600 |4941 | 310 |1826 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
17.41/17.50 c 17.5s| 15000 | 9854 |107427 | 7.1 | 46M | 100 | 600 |4958 | 310 |1826 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
17.41/17.57 c 17.5s| 15100 | 9907 |108074 | 7.1 | 46M | 100 | 600 |4723 | 304 |1826 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
17.51/17.65 c 17.6s| 15200 | 10005 |108780 | 7.1 | 46M | 100 | 600 |4718 | 304 |1844 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
17.61/17.77 c 17.8s| 15300 | 10103 |110029 | 7.1 | 46M | 100 | 600 |4779 | 307 |1914 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
17.71/17.88 c 17.9s| 15400 | 10199 |110893 | 7.1 | 46M | 100 | 600 |4851 | 304 |1979 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
17.81/17.99 c 18.0s| 15500 | 10299 |111742 | 7.1 | 46M | 100 | 600 |4877 | 316 |2057 | 2 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
17.92/18.09 c 18.1s| 15600 | 10399 |112594 | 7.2 | 47M | 100 | 600 |4906 | 308 |2119 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
18.11/18.22 c 18.2s| 15700 | 10499 |113681 | 7.2 | 47M | 100 | 600 |4934 | 319 |2229 | 2 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
18.20/18.35 c 18.3s| 15800 | 10579 |115619 | 7.3 | 47M | 100 | 600 |4877 | 312 |2249 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
18.30/18.43 c 18.4s| 15900 | 10637 |116230 | 7.2 | 47M | 100 | 600 |4769 | 312 |2262 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
18.40/18.50 c 18.5s| 16000 | 10703 |116666 | 7.2 | 47M | 100 | 600 |4736 | 312 |2265 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
18.40/18.59 c 18.6s| 16100 | 10761 |117436 | 7.2 | 47M | 100 | 600 |4689 | 312 |2268 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
18.50/18.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.50/18.64 c 18.6s| 16200 | 10806 |117793 | 7.2 | 47M | 100 | 600 |4701 | 313 |2269 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
18.60/18.73 c 18.7s| 16300 | 10901 |118655 | 7.2 | 47M | 100 | 600 |4620 | 312 |2269 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
18.70/18.84 c 18.8s| 16400 | 10985 |119629 | 7.2 | 47M | 100 | 600 |4609 | 311 |2270 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
18.80/18.92 c 18.9s| 16500 | 11069 |120383 | 7.2 | 47M | 100 | 600 |4536 | 313 |2273 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
18.91/19.01 c 19.0s| 16600 | 11141 |121057 | 7.2 | 47M | 100 | 600 |4415 | 0 |2292 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
19.01/19.11 c 19.1s| 16700 | 11223 |121830 | 7.2 | 47M | 100 | 600 |4227 | 307 |2327 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
19.10/19.21 c 19.2s| 16800 | 11313 |122579 | 7.2 | 47M | 100 | 600 |4222 | 309 |2349 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
19.20/19.30 c 19.3s| 16900 | 11383 |123320 | 7.2 | 47M | 100 | 600 |4065 | 313 |2353 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
19.20/19.37 c 19.3s| 17000 | 11431 |123834 | 7.2 | 47M | 100 | 600 |3895 | 310 |2356 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
19.30/19.43 c 19.4s| 17100 | 11476 |124337 | 7.2 | 47M | 100 | 600 |3869 | 0 |2356 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
19.30/19.49 c 19.5s| 17200 | 11532 |124834 | 7.2 | 47M | 100 | 600 |3880 | 310 |2356 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
19.40/19.55 c 19.5s| 17300 | 11573 |125214 | 7.2 | 47M | 100 | 600 |3961 | 314 |2362 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
19.50/19.62 c 19.6s| 17400 | 11602 |125735 | 7.2 | 47M | 100 | 600 |3986 | 312 |2368 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
19.60/19.77 c 19.8s| 17500 | 11671 |126397 | 7.2 | 47M | 100 | 600 |3973 | 313 |2372 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
19.70/19.85 c 19.8s| 17600 | 11709 |126892 | 7.2 | 47M | 100 | 600 |4060 | 313 |2372 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
19.80/19.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.80/19.93 c 19.9s| 17700 | 11763 |127670 | 7.2 | 47M | 100 | 600 |4002 | 311 |2372 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
19.80/19.99 c 20.0s| 17800 | 11804 |128156 | 7.1 | 48M | 100 | 600 |4102 | 312 |2372 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
19.91/20.08 c 20.1s| 17900 | 11887 |128847 | 7.1 | 49M | 100 | 600 |4039 | 314 |2372 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
20.01/20.15 c 20.1s| 18000 | 11916 |129203 | 7.1 | 49M | 100 | 600 |3926 | 312 |2372 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
20.09/20.24 c 20.2s| 18100 | 12006 |129919 | 7.1 | 49M | 100 | 600 |3750 | 310 |2372 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
20.19/20.30 c 20.3s| 18200 | 12027 |130358 | 7.1 | 49M | 100 | 600 |3917 | 313 |2372 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | unknown
20.19/20.37 c 20.3s| 18300 | 12083 |130836 | 7.1 | 49M | 100 | 600 |3822 | 0 |2372 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | unknown
20.29/20.43 c 20.4s| 18400 | 12115 |131165 | 7.1 | 49M | 100 | 600 |3893 | 310 |2372 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | unknown
20.39/20.51 c 20.5s| 18500 | 12183 |131922 | 7.1 | 49M | 100 | 600 |3940 | 312 |2372 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | unknown
20.39/20.59 c 20.6s| 18600 | 12223 |132449 | 7.1 | 49M | 100 | 600 |4018 | 313 |2372 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | unknown
20.49/20.68 c 20.7s| 18700 | 12321 |133339 | 7.1 | 50M | 100 | 600 |4019 | 311 |2372 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | unknown
20.59/20.75 c 20.7s| 18800 | 12382 |134016 | 7.1 | 50M | 100 | 600 |3928 | 312 |2372 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | unknown
20.70/20.82 c 20.8s| 18900 | 12404 |134361 | 7.1 | 50M | 100 | 600 |3815 | 309 |2377 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | unknown
20.80/20.91 c 20.9s| 19000 | 12496 |135152 | 7.1 | 50M | 100 | 600 |3696 | 310 |2381 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | unknown
20.80/20.97 c 21.0s| 19100 | 12546 |135559 | 7.0 | 50M | 100 | 600 |3746 | 312 |2381 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | unknown
20.91/21.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.91/21.04 c 21.0s| 19200 | 12600 |136027 | 7.0 | 50M | 100 | 600 |3655 | 308 |2387 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | unknown
21.01/21.15 c 21.1s| 19300 | 12676 |137111 | 7.1 | 50M | 100 | 600 |3447 | 311 |2391 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | unknown
21.10/21.21 c 21.2s| 19400 | 12718 |137591 | 7.0 | 50M | 100 | 600 |3494 | 310 |2391 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | unknown
21.10/21.27 c 21.3s| 19500 | 12760 |137987 | 7.0 | 50M | 100 | 600 |3541 | 312 |2391 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | unknown
21.20/21.35 c 21.3s| 19600 | 12856 |138546 | 7.0 | 50M | 100 | 600 |3451 | 310 |2391 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | unknown
21.30/21.41 c 21.4s| 19700 | 12880 |139068 | 7.0 | 50M | 100 | 600 |3619 | 0 |2391 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | unknown
21.30/21.48 c 21.5s| 19800 | 12937 |139567 | 7.0 | 50M | 100 | 600 |3495 | 307 |2402 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | unknown
21.40/21.58 c 21.6s| 19900 | 13019 |140327 | 7.0 | 50M | 100 | 600 |3413 | 311 |2402 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | unknown
21.50/21.67 c 21.6s| 20000 | 13096 |141085 | 7.0 | 52M | 100 | 600 |3339 | 313 |2418 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | unknown
21.60/21.75 c 21.7s| 20100 | 13127 |141727 | 7.0 | 52M | 100 | 600 |3437 | 0 |2420 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | unknown
21.70/21.84 c 21.8s| 20200 | 13178 |142525 | 7.0 | 52M | 100 | 600 |3448 | 0 |2428 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | unknown
21.80/21.91 c 21.9s| 20300 | 13231 |143174 | 7.0 | 52M | 100 | 600 |3575 | 312 |2428 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | unknown
21.80/21.97 c 21.9s| 20400 | 13269 |143690 | 7.0 | 52M | 100 | 600 |3653 | 312 |2428 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | unknown
21.91/22.06 c 22.0s| 20500 | 13337 |144418 | 7.0 | 52M | 100 | 600 |3625 | 313 |2428 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | unknown
22.01/22.12 c 22.1s| 20600 | 13380 |144912 | 7.0 | 52M | 100 | 600 |3691 | 311 |2428 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | unknown
22.01/22.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.01/22.19 c 22.2s| 20700 | 13431 |145445 | 7.0 | 52M | 100 | 600 |3715 | 310 |2428 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | unknown
22.10/22.24 c 22.2s| 20800 | 13460 |145848 | 7.0 | 52M | 100 | 600 |3795 | 0 |2428 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | unknown
22.19/22.30 c 22.3s| 20900 | 13509 |146411 | 7.0 | 52M | 100 | 600 |3809 | 307 |2428 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | unknown
22.19/22.35 c 22.3s| 21000 | 13547 |146842 | 6.9 | 52M | 100 | 600 |3737 | 309 |2428 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | unknown
22.29/22.41 c 22.4s| 21100 | 13591 |147468 | 6.9 | 52M | 100 | 600 |3795 | 310 |2428 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | unknown
22.29/22.48 c 22.5s| 21200 | 13627 |147937 | 6.9 | 52M | 100 | 600 |3882 | 307 |2434 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | unknown
22.39/22.59 c 22.6s| 21300 | 13713 |148920 | 6.9 | 52M | 100 | 600 |3719 | 310 |2474 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | unknown
22.49/22.66 c 22.6s| 21400 | 13763 |149367 | 6.9 | 52M | 100 | 600 |3506 | 0 |2474 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | unknown
22.59/22.73 c 22.7s| 21500 | 13818 |149796 | 6.9 | 52M | 100 | 600 |3485 | 311 |2479 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | unknown
22.69/22.81 c 22.8s| 21600 | 13849 |150203 | 6.9 | 52M | 100 | 600 |3486 | 310 |2479 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
22.69/22.88 c 22.9s| 21700 | 13904 |150642 | 6.9 | 52M | 100 | 600 |3303 | 310 |2480 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
22.79/22.93 c 22.9s| 21800 | 13948 |151037 | 6.9 | 52M | 100 | 600 |3213 | 310 |2480 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
22.79/22.98 c 23.0s| 21900 | 13984 |151423 | 6.9 | 52M | 100 | 600 |3192 | 311 |2480 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
22.91/23.09 c 23.1s| 22000 | 14064 |152228 | 6.9 | 53M | 100 | 600 |3101 | 309 |2514 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
23.00/23.14 c 23.1s| 22100 | 14113 |152650 | 6.9 | 53M | 100 | 600 |3119 | 310 |2514 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
23.09/23.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.09/23.21 c 23.2s| 22200 | 14135 |153145 | 6.9 | 53M | 100 | 600 |3054 | 305 |2514 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
23.19/23.32 c 23.3s| 22300 | 14235 |154273 | 6.9 | 53M | 100 | 600 |3007 | 305 |2514 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
23.29/23.44 c 23.4s| 22400 | 14335 |155345 | 6.9 | 53M | 100 | 600 |3006 | 310 |2554 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
23.39/23.58 c 23.6s| 22500 | 14435 |156635 | 6.9 | 53M | 100 | 600 |3005 | 305 |2615 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | unknown
23.49/23.63 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
23.49/23.69 c
23.49/23.69 c SCIP Status : problem is solved [infeasible]
23.49/23.69 c Solving Time (sec) : 23.66
23.49/23.69 c Solving Nodes : 22526
23.49/23.69 c Primal Bound : +1.00000000000000e+20 (0 solutions)
23.49/23.69 c Dual Bound : +1.00000000000000e+20
23.49/23.69 c Gap : 0.00 %
23.49/23.69 s UNSATISFIABLE
23.49/23.69 c SCIP Status : problem is solved [infeasible]
23.49/23.69 c Total Time : 23.66
23.49/23.69 c solving : 23.66
23.49/23.69 c presolving : 0.03 (included in solving)
23.49/23.69 c reading : 0.01 (included in solving)
23.49/23.69 c copying : 0.61 (107 #copies) (minimal 0.00, maximal 0.03, average 0.01)
23.49/23.69 c Original Problem :
23.49/23.69 c Problem name : HOME/instance-4510770-1751205287.opb
23.49/23.69 c Variables : 601 (601 binary, 0 integer, 0 implicit integer, 0 continuous)
23.49/23.69 c Constraints : 838 initial, 838 maximal
23.49/23.69 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
23.49/23.69 c Presolved Problem :
23.49/23.69 c Problem name : t_HOME/instance-4510770-1751205287.opb
23.49/23.69 c Variables : 600 (600 binary, 0 integer, 0 implicit integer, 0 continuous)
23.49/23.69 c Constraints : 300 initial, 7736 maximal
23.49/23.69 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
23.49/23.69 c Nonzeros : 1200 constraint, 0 clique table
23.49/23.69 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
23.49/23.69 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
23.49/23.69 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
23.49/23.69 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
23.49/23.69 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c milp : 0.01 0.00 1 0 1 0 0 0 838 300 0 0
23.49/23.69 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
23.49/23.69 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
23.49/23.69 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
23.49/23.69 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
23.49/23.69 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
23.49/23.69 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
23.49/23.69 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c linear : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
23.49/23.69 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
23.49/23.69 c root node : - - - 0 - - 0 - - - - -
23.49/23.69 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
23.49/23.69 c benderslp : 0 0 0 0 19069 0 0 1742 0 0 0 0 0 0 0
23.49/23.69 c integral : 0 0 0 0 19069 0 0 1742 0 0 0 0 0 0 38138
23.49/23.69 c knapsack : 0+ 90 0 109116 0 0 0 0 28697 1686 32030 0 0 0 0
23.49/23.69 c linear : 300+ 341 17 109883 0 0 0 1741 96855 3450 45550 0 0 0 0
23.49/23.69 c logicor : 0+ 7383 17 53512 0 0 0 0 9353 346 4833 0 0 0 0
23.49/23.69 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
23.49/23.69 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.49/23.69 c integral : 0.32 0.00 0.00 0.00 0.32 0.00 0.00 0.00 0.00 0.00
23.49/23.69 c knapsack : 0.46 0.00 0.00 0.42 0.00 0.00 0.00 0.00 0.04 0.00
23.49/23.69 c linear : 0.65 0.00 0.00 0.59 0.00 0.00 0.00 0.02 0.04 0.00
23.49/23.69 c logicor : 0.83 0.00 0.00 0.81 0.00 0.00 0.00 0.00 0.02 0.00
23.49/23.69 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.49/23.69 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.49/23.69 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.49/23.69 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.49/23.69 c Propagators : #Propagate #ResProp Cutoffs DomReds
23.49/23.69 c dualfix : 1 0 0 0
23.49/23.69 c genvbounds : 0 0 0 0
23.49/23.69 c nlobbt : 0 0 0 0
23.49/23.69 c obbt : 0 0 0 0
23.49/23.69 c probing : 0 0 0 0
23.49/23.69 c pseudoobj : 0 0 0 0
23.49/23.69 c redcost : 0 0 0 0
23.49/23.69 c rootredcost : 0 0 0 0
23.49/23.69 c symmetry : 104384 0 10 166
23.49/23.69 c vbounds : 0 0 0 0
23.49/23.69 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
23.49/23.69 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
23.49/23.69 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
23.49/23.69 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
23.49/23.69 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
23.49/23.69 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
23.49/23.69 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
23.49/23.69 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
23.49/23.69 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
23.49/23.69 c symmetry : 2.83 0.00 0.01 2.83 0.00 0.00
23.49/23.69 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
23.49/23.69 c Symmetry :
23.49/23.69 c orbitopal red. : 0 reductions applied, 0 cutoffs
23.49/23.69 c orbital reduction: 9 reductions applied, 1 cutoffs
23.49/23.69 c lexicographic red: 399 reductions applied, 9 cutoffs
23.49/23.69 c shadow tree time : 0.03 s
23.49/23.69 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
23.49/23.69 c propagation : 0.22 4019 4013 - 29779 52.8 233 17.8 - - -
23.49/23.69 c infeasible LP : 0.25 1397 1397 - 7285 39.4 62 14.4 1392 42.8 0
23.49/23.69 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
23.49/23.69 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
23.49/23.69 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
23.49/23.69 c applied globally : 0.02 - - 0 23666 43.7 - - 1391 - -
23.49/23.69 c applied locally : - - - 0 0 0.0 - - 0 - -
23.49/23.69 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
23.49/23.69 c cut pool : 0.25 - 2980 33 - - 8990 52702 - - - - - (maximal pool size: 1600)
23.49/23.69 c aggregation : 0.09 0.00 506 17 0 0 11 9 2 1 1 0 0
23.49/23.69 c > cmir : - - - - - - - 7 0 0 0 0 -
23.49/23.69 c > flowcover : - - - - - - - 2 0 1 1 0 -
23.49/23.69 c > knapsackcover : - - - - - - - 0 2 0 0 0 -
23.49/23.69 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
23.49/23.69 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c gomory : 0.59 0.00 499 10 0 0 9588 52099 842 2123 2060 63 0
23.49/23.69 c > gomorymi : - - - - - - - 8831 421 89 60 29 -
23.49/23.69 c > strongcg : - - - - - - - 43268 421 2034 2000 34 -
23.49/23.69 c impliedbounds : 0.00 0.00 506 17 0 0 0 0 0 0 0 0 0
23.49/23.69 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
23.49/23.69 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c multilinear : 0.00 0.00 346 17 0 0 0 0 0 0 0 0 0
23.49/23.69 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.49/23.69 c rapidlearning : 4.05 0.00 100 1 0 306 0 0 0 0 0 0 790
23.49/23.69 c rlt : 0.00 0.00 239 10 0 0 0 0 0 0 0 0 0
23.49/23.69 c zerohalf : 0.10 0.00 506 17 0 0 545 594 310 519 335 184 0
23.49/23.69 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
23.49/23.69 c hybrid : 0.03 0.00 793 17 2643 0 51213 72 0 1742
23.49/23.69 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c Pricers : ExecTime SetupTime Calls Vars
23.49/23.69 c problem variables: 0.00 - 0 0
23.49/23.69 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
23.49/23.69 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c random : 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c relpscost : 0.32 0.00 19069 0 0 0 0 0 0 38138
23.49/23.69 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
23.49/23.69 c Primal Heuristics : ExecTime SetupTime Calls Found Best
23.49/23.69 c LP solutions : 0.00 - - 0 0
23.49/23.69 c relax solutions : 0.00 - - 0 0
23.49/23.69 c pseudo solutions : 0.00 - - 0 0
23.49/23.69 c strong branching : 0.00 - - 0 0
23.49/23.69 c actconsdiving : 0.00 0.00 0 0 0
23.49/23.69 c adaptivediving : 0.19 0.00 27 0 0
23.49/23.69 c alns : 0.35 0.00 6 0 0
23.49/23.69 c bound : 0.00 0.00 0 0 0
23.49/23.69 c clique : 0.00 0.00 0 0 0
23.49/23.69 c coefdiving : 0.00 0.00 0 0 0
23.49/23.69 c completesol : 0.00 0.00 0 0 0
23.49/23.69 c conflictdiving : 0.74 0.00 200 0 0
23.49/23.69 c crossover : 0.00 0.00 0 0 0
23.49/23.69 c dins : 0.00 0.00 0 0 0
23.49/23.69 c distributiondivin: 0.86 0.00 106 0 0
23.49/23.69 c dps : 0.00 0.00 0 0 0
23.49/23.69 c dualval : 0.00 0.00 0 0 0
23.49/23.69 c farkasdiving : 0.00 0.00 0 0 0
23.49/23.69 c feasjump : 0.05 0.00 1 0 0
23.49/23.69 c feaspump : 0.18 0.00 28 0 0
23.49/23.69 c fixandinfer : 0.00 0.00 0 0 0
23.49/23.69 c fracdiving : 0.81 0.00 200 0 0
23.49/23.69 c gins : 0.00 0.00 0 0 0
23.49/23.69 c guideddiving : 0.00 0.00 0 0 0
23.49/23.69 c indcoefdiving : 0.00 0.00 0 0 0
23.49/23.69 c indicator : 0.00 0.00 0 0 0
23.49/23.69 c indicatordiving : 0.00 0.00 0 0 0
23.49/23.69 c indoneopt : 0.00 0.00 0 0 0
23.49/23.69 c indrounding : 0.00 0.00 0 0 0
23.49/23.69 c indtwoopt : 0.00 0.00 0 0 0
23.49/23.69 c intdiving : 0.00 0.00 0 0 0
23.49/23.69 c intshifting : 0.00 0.00 0 0 0
23.49/23.69 c linesearchdiving : 0.72 0.00 123 0 0
23.49/23.69 c localbranching : 0.00 0.00 0 0 0
23.49/23.69 c locks : 0.01 0.00 1 0 0
23.49/23.69 c lpface : 0.01 0.00 0 0 0
23.49/23.69 c mpec : 0.00 0.00 0 0 0
23.49/23.69 c multistart : 0.00 0.00 0 0 0
23.49/23.69 c mutation : 0.00 0.00 0 0 0
23.49/23.69 c nlpdiving : 0.00 0.00 0 0 0
23.49/23.69 c objpscostdiving : 0.22 0.00 12 0 0
23.49/23.69 c octane : 0.00 0.00 0 0 0
23.49/23.69 c ofins : 0.00 0.00 0 0 0
23.49/23.69 c oneopt : 0.00 0.00 0 0 0
23.49/23.69 c padm : 0.00 0.00 0 0 0
23.49/23.69 c proximity : 0.00 0.00 0 0 0
23.49/23.69 c pscostdiving : 0.59 0.00 56 0 0
23.49/23.69 c randrounding : 0.06 0.00 1748 0 0
23.49/23.69 c rens : 0.02 0.00 1 0 0
23.49/23.69 c reoptsols : 0.00 0.00 0 0 0
23.49/23.69 c repair : 0.00 0.00 0 0 0
23.49/23.69 c rins : 0.00 0.00 0 0 0
23.49/23.69 c rootsoldiving : 0.12 0.00 11 0 0
23.49/23.69 c rounding : 0.02 0.00 1965 0 0
23.49/23.69 c scheduler : 0.00 0.00 0 0 0
23.49/23.69 c shiftandpropagate: 0.00 0.00 1 0 0
23.49/23.69 c shifting : 0.03 0.00 716 0 0
23.49/23.69 c simplerounding : 0.00 0.00 0 0 0
23.49/23.69 c smallcard : 0.00 0.00 0 0 0
23.49/23.69 c subnlp : 0.00 0.00 0 0 0
23.49/23.69 c trivial : 0.00 0.00 2 0 0
23.49/23.69 c trivialnegation : 0.00 0.00 0 0 0
23.49/23.69 c trustregion : 0.00 0.00 0 0 0
23.49/23.69 c trysol : 0.00 0.00 0 0 0
23.49/23.69 c twoopt : 0.00 0.00 0 0 0
23.49/23.69 c undercover : 0.00 0.00 0 0 0
23.49/23.69 c vbounds : 0.00 0.00 0 0 0
23.49/23.69 c veclendiving : 0.70 0.00 199 0 0
23.49/23.69 c zeroobj : 0.00 0.00 0 0 0
23.49/23.69 c zirounding : 0.01 0.00 1000 0 0
23.49/23.69 c other solutions : - - - 0 -
23.49/23.69 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
23.49/23.69 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
23.49/23.69 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
23.49/23.69 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
23.49/23.69 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
23.49/23.69 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
23.49/23.69 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
23.49/23.69 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
23.49/23.69 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
23.49/23.69 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
23.49/23.69 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
23.49/23.69 c primal LP : 0.08 362 0 0.00 0.00 0.08 362
23.49/23.69 c dual LP : 5.33 20688 105281 5.11 19763.32 0.01 95
23.49/23.69 c lex dual LP : 0.00 0 0 0.00 -
23.49/23.69 c barrier LP : 0.00 0 0 0.00 - 0.00 0
23.49/23.69 c resolve instable : 0.00 0 0 0.00 -
23.49/23.69 c diving/probing LP: 2.05 6222 51714 8.31 25185.65
23.49/23.69 c strong branching : 0.08 22 353 16.05 4675.37 - - 0
23.49/23.69 c (at root node) : - 22 353 16.05 -
23.49/23.69 c conflict analysis: 0.00 0 0 0.00 -
23.49/23.69 c B&B Tree :
23.49/23.69 c number of runs : 1
23.49/23.69 c nodes : 22526 (19069 internal, 3457 leaves)
23.49/23.69 c feasible leaves : 0
23.49/23.69 c infeas. leaves : 3457
23.49/23.69 c objective leaves : 0
23.49/23.69 c nodes (total) : 22526 (19069 internal, 3457 leaves)
23.49/23.69 c nodes left : 0
23.49/23.69 c max depth : 100
23.49/23.69 c max depth (total): 100
23.49/23.69 c backtracks : 2660 (11.8%)
23.49/23.69 c early backtracks : 0 (0.0%)
23.49/23.69 c nodes exc. ref. : 0 (0.0%)
23.49/23.69 c delayed cutoffs : 15613
23.49/23.69 c repropagations : 6600 (18160 domain reductions, 1117 cutoffs)
23.49/23.69 c avg switch length: 6.08
23.49/23.69 c switching time : 1.50
23.49/23.69 c Root Node :
23.49/23.69 c First LP value : +0.00000000000000e+00
23.49/23.69 c First LP Iters : 525 (62344.14 Iter/sec)
23.49/23.69 c First LP Time : 0.01
23.49/23.69 c Final Dual Bound : -
23.49/23.69 c Final Root Iters : 1011
23.49/23.69 c Root LP Estimate : +9.09046850128069e-04
23.49/23.69 c Solution :
23.49/23.69 c Solutions found : 0 (0 improvements)
23.49/23.69 c Primal Bound : infeasible
23.49/23.69 c Dual Bound : -
23.49/23.69 c Gap : 0.00 %
23.49/23.69 c Integrals : Total Avg%
23.49/23.69 c primal-dual : - - (problem infeasible)
23.49/23.69 c primal-ref : - - (problem infeasible)
23.49/23.69 c dual-ref : - - (problem infeasible)
23.59/23.70 c Time complete: 23.5914.
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 (63259 MiB free)
memory of node 1: 64465 MiB (63896 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510770-1751205287/watcher-4510770-1751205287 -o /tmp/evaluation-result-4510770-1751205287/solver-4510770-1751205287 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751205287-23621 --watchdog 3760 pbscip -f HOME/instance-4510770-1751205287.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23673, runsolver pid=23661
Current StackSize limit: 8192 KiB
[startup+0.100105 s]*
/proc/loadavg: 0.98 1.20 1.90 6/251 23678
/proc/meminfo: memFree=130173232/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=50308 memory=24192 CPUtime=0.09 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 2509 0 0 0 8 1 0 0 20 0 1 0 36207513 51515392 6048 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 12577 6048 3904 3530 0 4028 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50308 KiB
Current children cumulated memory: 24192 KiB
[startup+0.213912 s]*
/proc/loadavg: 0.98 1.20 1.90 6/251 23678
/proc/meminfo: memFree=130145260/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=57260 memory=30080 CPUtime=0.21 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 3883 0 0 0 19 2 0 0 20 0 1 0 36207513 58634240 7520 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 14315 7520 4000 3530 0 5766 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57260 KiB
Current children cumulated memory: 30080 KiB
[startup+0.313583 s]*
/proc/loadavg: 0.98 1.20 1.90 6/251 23678
/proc/meminfo: memFree=130132912/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=57260 memory=30080 CPUtime=0.31 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 3901 0 0 0 29 2 0 0 20 0 1 0 36207513 58634240 7520 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 14315 7520 4000 3530 0 5766 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57260 KiB
Current children cumulated memory: 30080 KiB
[startup+0.700364 s]
/proc/loadavg: 0.98 1.20 1.90 6/251 23678
/proc/meminfo: memFree=130117036/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=66776 memory=40576 CPUtime=0.68 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 6501 0 0 0 65 3 0 0 20 0 1 0 36207513 68378624 10144 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 16694 10144 4000 3530 0 8145 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66776 KiB
Current children cumulated memory: 40576 KiB
[startup+1.50033 s]
/proc/loadavg: 0.98 1.20 1.90 6/251 23678
/proc/meminfo: memFree=130077172/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=67212 memory=41344 CPUtime=1.47 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 6696 0 0 0 144 3 0 0 20 0 1 0 36207513 68825088 10336 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 16803 10336 4000 3530 0 8254 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 67212 KiB
Current children cumulated memory: 41344 KiB
[startup+3.11279 s]
/proc/loadavg: 1.23 1.24 1.91 6/251 23678
/proc/meminfo: memFree=130045512/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=73900 memory=48012 CPUtime=3.07 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 8594 0 0 0 304 3 0 0 20 0 1 0 36207513 75673600 12003 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 18475 12003 4000 3530 0 9926 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 73900 KiB
Current children cumulated memory: 48012 KiB
[startup+6.3003 s]
/proc/loadavg: 1.23 1.24 1.91 6/252 23679
/proc/meminfo: memFree=130019656/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=84368 memory=57392 CPUtime=6.25 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 11808 0 0 0 621 4 0 0 20 0 1 0 36207513 86392832 14348 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 21092 14348 4000 3530 0 12543 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 84368 KiB
Current children cumulated memory: 57392 KiB
[startup+12.7003 s]
/proc/loadavg: 1.45 1.29 1.92 6/252 23679
/proc/meminfo: memFree=129977360/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=93136 memory=66400 CPUtime=12.63 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 15052 0 0 0 1258 5 0 0 20 0 1 0 36207513 95371264 16600 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 23284 16600 4000 3530 0 14735 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 93136 KiB
Current children cumulated memory: 66400 KiB
[startup+23.7077 s]
# the end of solver process 23673 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=23.5381 s, system=0.064377 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 1.45 1.29 1.92 6/252 23679
/proc/meminfo: memFree=129977360/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=93136 memory=66400 CPUtime=12.73 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 15053 0 0 0 1268 5 0 0 20 0 1 0 36207513 95371264 16600 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 23284 16600 4000 3530 0 14735 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 93136 KiB
Current children cumulated memory: 66400 KiB
[startup+19.2003 s]
/proc/loadavg: 1.84 1.38 1.95 6/252 23680
/proc/meminfo: memFree=129922980/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=93136 memory=67424 CPUtime=19.1 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 15328 0 0 0 1905 5 0 0 20 0 1 0 36207513 95371264 16856 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 23284 16856 4000 3530 0 14735 0
Current children cumulated CPU time: 19.1 s
Current children cumulated vsize: 93136 KiB
Current children cumulated memory: 67424 KiB
[startup+20.8003 s]
/proc/loadavg: 1.84 1.38 1.95 6/252 23680
/proc/meminfo: memFree=129922728/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=102660 memory=75872 CPUtime=20.7 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 17433 0 0 0 2064 6 0 0 20 0 1 0 36207513 105123840 18968 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 25665 18968 4000 3530 0 17116 0
Current children cumulated CPU time: 20.7 s
Current children cumulated vsize: 102660 KiB
Current children cumulated memory: 75872 KiB
[startup+22.4003 s]
/proc/loadavg: 1.84 1.38 1.95 6/252 23680
/proc/meminfo: memFree=129906600/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=102660 memory=75872 CPUtime=22.29 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 17439 0 0 0 2223 6 0 0 20 0 1 0 36207513 105123840 18968 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 25665 18968 4000 3530 0 17116 0
Current children cumulated CPU time: 22.29 s
Current children cumulated vsize: 102660 KiB
Current children cumulated memory: 75872 KiB
[startup+23.2003 s]
/proc/loadavg: 2.01 1.42 1.96 6/252 23680
/proc/meminfo: memFree=129890472/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=102660 memory=76128 CPUtime=23.09 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 17504 0 0 0 2303 6 0 0 20 0 1 0 36207513 105123840 19032 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 25665 19032 4000 3530 0 17116 0
Current children cumulated CPU time: 23.09 s
Current children cumulated vsize: 102660 KiB
Current children cumulated memory: 76128 KiB
[startup+23.6003 s]
/proc/loadavg: 2.01 1.42 1.96 6/252 23680
/proc/meminfo: memFree=129890472/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=102660 memory=76256 CPUtime=23.49 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 17507 0 0 0 2343 6 0 0 20 0 1 0 36207513 105123840 19064 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 25665 19064 4000 3530 0 17116 0
Current children cumulated CPU time: 23.49 s
Current children cumulated vsize: 102660 KiB
Current children cumulated memory: 76256 KiB
[startup+23.7003 s]
/proc/loadavg: 2.01 1.42 1.96 6/252 23680
/proc/meminfo: memFree=129890472/131382120 swapFree=33010684/33010684
[pid=23673] ppid=23661 vsize=102660 memory=76256 CPUtime=23.59 cores=5,7
/proc/23673/stat : 23673 (pbscip) R 23661 23673 23608 0 -1 4194304 17507 0 0 0 2353 6 0 0 20 0 1 0 36207513 105123840 19064 18446744073709551615 4235264 18693293 140724786791680 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55623680 140724786796937 140724786797036 140724786797036 140724786802638 0
/proc/23673/statm: 25665 19064 4000 3530 0 17116 0
Current children cumulated CPU time: 23.59 s
Current children cumulated vsize: 102660 KiB
Current children cumulated memory: 76256 KiB
Child status: 0
Real time (s): 23.7078
CPU time (s): 23.6024
CPU user time (s): 23.5381
CPU system time (s): 0.064377
CPU usage (%): 99.5558
Max. virtual memory (cumulated for all children) (KiB): 102660
Max. memory (cumulated for all children) (KiB): 76256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.5381
system time used= 0.064377
maximum resident set size= 76256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17512
page faults= 1
swaps= 0
block input operations= 152
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 23673
# total CPU time (s): 23.6024
# total CPU user time (s): 23.5381
# total CPU system time (s): 0.064377
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.131698 second user time and 0.326781 second system time
The end