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-4450205-1721410868.opb>
0.00/0.02 c original problem has 3738 variables (3738 bin, 0 int, 0 impl, 0 cont) and 8839 constraints
0.00/0.02 c problem read in 0.02
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.03 c presolving:
0.00/0.05 c (0.1s) running MILP presolver
0.00/0.07 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.08 c (round 1, medium) 0 del vars, 8839 del conss, 5479 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5479 clqs
0.00/0.10 c (round 2, exhaustive) 0 del vars, 8839 del conss, 5479 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5479 upgd conss, 0 impls, 5479 clqs
0.10/0.13 c (0.1s) probing: 51/3738 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.10/0.14 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.10/0.16 c (0.2s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.10/0.16 c dynamic symmetry handling statistics:
0.10/0.16 c orbitopal reduction: no components
0.10/0.16 c orbital reduction: no components
0.10/0.16 c lexicographic reduction: no permutations
0.10/0.16 c handled 1 out of 1 symmetry components
0.10/0.16 c (round 3, exhaustive) 12 del vars, 8839 del conss, 5480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5479 upgd conss, 0 impls, 5448 clqs
0.10/0.16 c (round 4, fast) 30 del vars, 8879 del conss, 5480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5479 upgd conss, 0 impls, 5439 clqs
0.10/0.16 c (round 5, medium) 38 del vars, 8887 del conss, 5480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5479 upgd conss, 0 impls, 5439 clqs
0.10/0.17 c (0.2s) probing: 56/3738 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.17 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.10/0.17 c presolving (6 rounds: 6 fast, 5 medium, 3 exhaustive):
0.10/0.17 c 38 deleted vars, 8887 deleted constraints, 5480 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.17 c 0 implications, 5447 cliques
0.10/0.17 c presolved problem has 3709 variables (3709 bin, 0 int, 0 impl, 0 cont) and 5432 constraints
0.10/0.17 c 5431 constraints of type <setppc>
0.10/0.17 c 1 constraints of type <orbitope>
0.10/0.17 c transformed objective value is always integral (scale: 1)
0.10/0.17 c Presolving Time: 0.14
0.10/0.17 c - non default parameters ----------------------------------------------------------------------
0.10/0.17 c # SCIP version 10.0.0
0.10/0.17 c
0.10/0.17 c # maximal time in seconds to run
0.10/0.17 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.10/0.17 c limits/time = 3596.998009
0.10/0.17 c
0.10/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.17 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.10/0.17 c limits/memory = 27900
0.10/0.17 c
0.10/0.17 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.10/0.17 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.10/0.17 c limits/solutions = 1
0.10/0.17 c
0.10/0.17 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.10/0.17 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.10/0.17 c misc/usesymmetry = 3
0.10/0.17 c
0.10/0.17 c # belongs reading time to solving time?
0.10/0.17 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17 c timing/reading = TRUE
0.10/0.17 c
0.10/0.17 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.10/0.17 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.10/0.17 c propagating/symmetry/detectdoublelex = FALSE
0.10/0.17 c
0.10/0.17 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.10/0.17 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.10/0.17 c propagating/symmetry/detectsubgroups = FALSE
0.10/0.17 c
0.10/0.17 c # Type of symmetries that shall be computed?
0.10/0.17 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.10/0.17 c propagating/symmetry/symtype = 1
0.10/0.17 c
0.10/0.17 c # Should components consisting of a single full reflection be handled?
0.10/0.17 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.10/0.17 c propagating/symmetry/usesimplesgncomp = FALSE
0.10/0.17 c
0.10/0.17 c -----------------------------------------------------------------------------------------------
0.10/0.17 c start solving
0.10/0.17 c
0.30/0.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.30/0.31 c 0.3s| 1 | 0 | 3469 | - | 42M | 0 |3709 |5466 |5431 | 0 | 0 | 33 | 0 | 0.000000e+00 | -- | Inf | unknown
1.59/1.61 c 1.6s| 1 | 0 | 9327 | - | 46M | 0 |3709 |5546 |5433 | 2 | 1 | 34 | 0 | 0.000000e+00 | -- | Inf | unknown
1.78/1.81 c 1.8s| 1 | 0 | 9412 | - | 49M | 0 |3709 |5547 |5436 | 5 | 2 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
1.99/2.04 c 2.0s| 1 | 0 | 9507 | - | 50M | 0 |3709 |5548 |5440 | 9 | 3 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
2.18/2.27 c 2.3s| 1 | 0 | 9583 | - | 54M | 0 |3709 |5549 |5443 | 12 | 4 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
2.48/2.54 c 2.5s| 1 | 0 | 9711 | - | 58M | 0 |3709 |5550 |5449 | 18 | 5 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
2.58/2.67 c 2.7s| 1 | 0 | 9750 | - | 64M | 0 |3709 |5551 |5459 | 28 | 6 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
2.68/2.79 c 2.8s| 1 | 0 | 9886 | - | 65M | 0 |3709 |5552 |5470 | 39 | 7 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
2.88/2.97 c 3.0s| 1 | 0 | 9904 | - | 67M | 0 |3709 |5553 |5474 | 43 | 8 | 41 | 0 | 0.000000e+00 | -- | Inf | unknown
3.18/3.20 c 3.2s| 1 | 0 | 10030 | - | 70M | 0 |3709 |5554 |5479 | 48 | 9 | 42 | 0 | 0.000000e+00 | -- | Inf | unknown
3.58/3.61 c 3.6s| 1 | 0 | 10073 | - | 75M | 0 |3709 |5555 |5482 | 51 | 10 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown
3.58/3.68 c 3.7s| 1 | 0 | 10099 | - | 76M | 0 |3709 |5556 |5485 | 56 | 11 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown
4.17/4.22 c 4.2s| 1 | 2 | 12214 | - | 77M | 0 |3709 |5559 |5485 | 56 | 11 | 47 | 11 | 0.000000e+00 | -- | Inf | unknown
9.07/9.11 c 9.1s| 100 | 34 | 35640 | 262.7 | 89M | 23 |3709 |5824 |5453 | 126 | 0 | 312 | 11 | 0.000000e+00 | -- | Inf | unknown
11.65/11.78 c 11.8s| 200 | 52 | 43201 | 168.7 | 92M | 25 |3709 |6115 |5461 | 154 | 2 | 604 | 11 | 0.000000e+00 | -- | Inf | unknown
13.75/13.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.75/13.84 c 13.8s| 300 | 69 | 51659 | 140.6 | 100M | 25 |3709 |6279 |5460 | 249 | 0 | 797 | 11 | 0.000000e+00 | -- | Inf | 1.00%
14.84/14.92 c 14.9s| 400 | 56 | 57490 | 119.9 | 102M | 25 |3709 |6452 |5449 | 306 | 0 |1019 | 11 | 0.000000e+00 | -- | Inf | 1.46%
16.14/16.23 c 16.2s| 500 | 45 | 62391 | 105.7 | 105M | 25 |3709 |6626 |5454 | 370 | 0 |1243 | 11 | 0.000000e+00 | -- | Inf | 2.15%
17.34/17.40 c 17.4s| 600 | 48 | 68751 | 98.7 | 107M | 25 |3709 |6767 |5471 | 440 | 3 |1430 | 11 | 0.000000e+00 | -- | Inf | 2.42%
19.04/19.18 c 19.2s| 700 | 45 | 76525 | 95.7 | 109M | 25 |3709 |6990 |5456 | 566 | 0 |1703 | 11 | 0.000000e+00 | -- | Inf | 3.61%
20.33/20.44 c 20.4s| 800 | 42 | 84221 | 93.4 | 109M | 25 |3709 |7206 |5455 | 658 | 1 |1967 | 11 | 0.000000e+00 | -- | Inf | 4.69%
21.73/21.81 c 21.8s| 900 | 46 | 93614 | 93.4 | 111M | 25 |3709 |7428 |5468 | 739 | 1 |2241 | 11 | 0.000000e+00 | -- | Inf | 5.02%
22.73/22.84 c 22.8s| 1000 | 43 |101231 | 91.7 | 112M | 25 |3709 |7594 |5471 | 781 | 1 |2474 | 11 | 0.000000e+00 | -- | Inf | 5.28%
23.33/23.46 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
23.33/23.46 c (run 1, node 1085) performing user restart
23.33/23.46 c
23.33/23.46 c (restart) converted 19 cuts from the global cut pool into linear constraints
23.33/23.46 c
23.33/23.49 c presolving:
23.43/23.50 c (round 1, fast) 0 del vars, 266 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5455 clqs
23.43/23.52 c (round 2, exhaustive) 0 del vars, 300 del conss, 17 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5455 clqs
23.43/23.52 c (round 3, exhaustive) 0 del vars, 300 del conss, 17 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 98 upgd conss, 0 impls, 5455 clqs
23.43/23.53 c (round 4, exhaustive) 0 del vars, 326 del conss, 30 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 98 upgd conss, 0 impls, 5455 clqs
23.43/23.57 c (round 5, exhaustive) 0 del vars, 530 del conss, 30 add conss, 0 chg bounds, 0 chg sides, 219 chg coeffs, 98 upgd conss, 0 impls, 5455 clqs
23.53/23.64 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
23.53/23.64 c 0 deleted vars, 535 deleted constraints, 30 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 219 changed coefficients
23.53/23.64 c 0 implications, 5455 cliques
23.53/23.64 c presolved problem has 3709 variables (3709 bin, 0 int, 0 impl, 0 cont) and 7295 constraints
23.53/23.64 c 101 constraints of type <knapsack>
23.53/23.64 c 5439 constraints of type <setppc>
23.53/23.64 c 7 constraints of type <linear>
23.53/23.64 c 1 constraints of type <orbitope>
23.53/23.64 c 1747 constraints of type <logicor>
23.53/23.64 c transformed objective value is always integral (scale: 1)
23.53/23.64 c Presolving Time: 0.29
23.53/23.64 c
23.63/23.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.63/23.79 c 23.8s| 1 | 0 |108676 | - | 117M | 0 |3709 |7301 |5450 | 0 | 0 |2722 | 11 | 0.000000e+00 | -- | Inf | unknown
24.12/24.24 c 24.2s| 1 | 0 |108706 | - | 117M | 0 |3709 |7302 |5457 | 7 | 1 |2723 | 11 | 0.000000e+00 | -- | Inf | unknown
24.32/24.45 c 24.5s| 1 | 0 |108881 | - | 117M | 0 |3709 |7303 |5460 | 10 | 2 |2724 | 11 | 0.000000e+00 | -- | Inf | unknown
24.62/24.70 c 24.7s| 1 | 0 |108904 | - | 117M | 0 |3709 |7304 |5466 | 16 | 3 |2725 | 11 | 0.000000e+00 | -- | Inf | unknown
24.72/24.86 c 24.9s| 1 | 0 |109022 | - | 118M | 0 |3709 |7305 |5471 | 21 | 4 |2726 | 11 | 0.000000e+00 | -- | Inf | unknown
24.82/24.99 c 25.0s| 1 | 0 |109091 | - | 118M | 0 |3709 |7306 |5480 | 30 | 5 |2727 | 11 | 0.000000e+00 | -- | Inf | unknown
25.02/25.14 c 25.1s| 1 | 0 |109119 | - | 118M | 0 |3709 |7307 |5486 | 36 | 6 |2728 | 11 | 0.000000e+00 | -- | Inf | unknown
25.12/25.27 c 25.3s| 1 | 0 |109148 | - | 121M | 0 |3709 |7309 |5488 | 38 | 7 |2730 | 11 | 0.000000e+00 | -- | Inf | unknown
25.32/25.44 c 25.4s| 1 | 0 |109195 | - | 123M | 0 |3709 |7311 |5494 | 44 | 8 |2732 | 11 | 0.000000e+00 | -- | Inf | unknown
25.51/25.61 c 25.6s| 1 | 0 |109205 | - | 124M | 0 |3709 |7312 |5497 | 47 | 9 |2733 | 11 | 0.000000e+00 | -- | Inf | unknown
25.81/25.94 c 25.9s| 1 | 0 |109267 | - | 125M | 0 |3709 |7313 |5502 | 52 | 10 |2734 | 11 | 0.000000e+00 | -- | Inf | unknown
25.92/26.01 c 26.0s| 1 | 0 |109319 | - | 126M | 0 |3709 |7316 |5509 | 59 | 11 |2737 | 11 | 0.000000e+00 | -- | Inf | unknown
25.92/26.10 c 26.1s| 1 | 0 |109402 | - | 126M | 0 |3709 |7317 |5515 | 65 | 12 |2738 | 11 | 0.000000e+00 | -- | Inf | unknown
26.51/26.60 c 26.6s| 1 | 2 |111497 | - | 126M | 0 |3709 |7332 |5515 | 65 | 12 |2755 | 22 | 0.000000e+00 | -- | Inf | unknown
29.61/29.75 c 29.7s| 100 | 21 |132266 | 100.3 | 128M | 16 |3709 |7452 |5462 | 159 | 1 |2972 | 22 | 0.000000e+00 | -- | Inf | 1.10%
31.60/31.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.60/31.71 c 31.7s| 200 | 15 |140461 | 98.9 | 131M | 16 |3709 |7522 |5458 | 259 | 0 |3172 | 22 | 0.000000e+00 | -- | Inf | 2.31%
34.10/34.24 c 34.2s| 300 | 21 |150542 | 99.0 | 133M | 16 |3709 |7429 |5459 | 432 | 2 |3402 | 22 | 0.000000e+00 | -- | Inf | 3.52%
35.69/35.82 c 35.8s| 400 | 18 |156020 | 96.0 | 134M | 17 |3709 |7570 |5456 | 532 | 0 |3645 | 22 | 0.000000e+00 | -- | Inf | 4.37%
37.09/37.22 c 37.2s| 500 | 29 |165974 | 96.3 | 136M | 18 |3709 |7752 |5460 | 564 | 0 |3905 | 22 | 0.000000e+00 | -- | Inf | 4.43%
37.89/38.07 c 38.1s| 600 | 25 |172447 | 94.4 | 136M | 19 |3709 |7934 |5461 | 578 | 1 |4164 | 22 | 0.000000e+00 | -- | Inf | 4.53%
39.38/39.52 c 39.5s| 700 | 33 |178811 | 92.7 | 136M | 19 |3709 |7958 |5466 | 668 | 1 |4373 | 22 | 0.000000e+00 | -- | Inf | 4.83%
40.07/40.25 c 40.3s| 800 | 19 |183565 | 90.3 | 136M | 19 |3709 |8027 |5456 | 685 | 0 |4587 | 22 | 0.000000e+00 | -- | Inf | 5.12%
41.17/41.36 c 41.4s| 900 | 20 |192343 | 90.1 | 136M | 19 |3709 |8107 |5452 | 710 | 0 |4817 | 22 | 0.000000e+00 | -- | Inf | 5.38%
42.47/42.65 c 42.6s| 1000 | 28 |200630 | 89.8 | 138M | 20 |3709 |8177 |5464 | 741 | 0 |5010 | 22 | 0.000000e+00 | -- | Inf | 5.48%
44.37/44.59 c 44.6s| 1100 | 34 |209881 | 89.9 | 138M | 22 |3709 |8278 |5464 | 751 | 0 |5254 | 22 | 0.000000e+00 | -- | Inf | 5.52%
45.06/45.26 c 45.3s| 1200 | 29 |214327 | 87.9 | 138M | 22 |3709 |8421 |5464 | 751 | 0 |5452 | 22 | 0.000000e+00 | -- | Inf | 5.56%
46.76/46.92 c 46.9s| 1300 | 26 |219862 | 86.6 | 139M | 23 |3709 |8544 |5467 | 780 | 2 |5649 | 22 | 0.000000e+00 | -- | Inf | 5.58%
47.86/48.03 c 48.0s| 1400 | 30 |224775 | 85.1 | 139M | 23 |3709 |8653 |5462 | 785 | 1 |5820 | 22 | 0.000000e+00 | -- | Inf | 5.61%
50.45/50.63 c 50.6s| 1500 | 37 |229489 | 83.6 | 139M | 23 |3709 |8788 |5462 | 800 | 0 |6024 | 22 | 0.000000e+00 | -- | Inf | 5.62%
51.65/51.81 c 51.8s| 1600 | 32 |233663 | 82.0 | 139M | 23 |3709 |8950 |5462 | 812 | 1 |6256 | 22 | 0.000000e+00 | -- | Inf | 5.65%
52.64/52.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.64/52.85 c 52.9s| 1700 | 25 |241183 | 81.8 | 139M | 23 |3709 |9110 |5462 | 815 | 0 |6516 | 22 | 0.000000e+00 | -- | Inf | 5.67%
54.84/55.05 c 55.0s| 1800 | 29 |249669 | 81.9 | 139M | 23 |3709 |9276 |5462 | 821 | 0 |6781 | 22 | 0.000000e+00 | -- | Inf | 5.68%
56.33/56.55 c 56.6s| 1900 | 30 |255262 | 81.0 | 140M | 23 |3709 |9314 |5462 | 849 | 0 |6953 | 22 | 0.000000e+00 | -- | Inf | 5.72%
58.12/58.37 c 58.4s| 2000 | 29 |259585 | 79.8 | 140M | 23 |3709 |9354 |5460 | 871 | 0 |7109 | 22 | 0.000000e+00 | -- | Inf | 5.80%
59.02/59.23 c 59.2s| 2100 | 29 |264269 | 78.8 | 140M | 23 |3709 |9416 |5460 | 871 | 0 |7244 | 22 | 0.000000e+00 | -- | Inf | 5.85%
60.22/60.48 c 60.5s| 2200 | 35 |272783 | 79.0 | 140M | 23 |3709 |9472 |5464 | 927 | 1 |7392 | 22 | 0.000000e+00 | -- | Inf | 6.08%
61.12/61.37 c 61.4s| 2300 | 37 |278440 | 78.3 | 140M | 23 |3709 |9568 |5469 | 977 | 0 |7559 | 22 | 0.000000e+00 | -- | Inf | 6.15%
61.82/62.06 c 62.1s| 2400 | 33 |283034 | 77.4 | 140M | 23 |3709 |9684 |5462 | 977 | 1 |7758 | 22 | 0.000000e+00 | -- | Inf | 6.23%
62.61/62.82 c 62.8s| 2500 | 29 |288908 | 76.8 | 140M | 23 |3709 |9793 |5464 | 977 | 1 |7941 | 22 | 0.000000e+00 | -- | Inf | 6.34%
63.51/63.78 c 63.8s| 2600 | 28 |294108 | 76.2 | 140M | 23 |3709 |9844 |5465 |1005 | 0 |8096 | 22 | 0.000000e+00 | -- | Inf | 6.38%
64.21/64.43 c 64.4s| 2700 | 24 |298829 | 75.4 | 140M | 23 |3709 |9915 |5468 |1005 | 0 |8271 | 22 | 0.000000e+00 | -- | Inf | 6.44%
64.91/65.16 c 65.2s| 2800 | 26 |304408 | 74.9 | 140M | 23 |3709 | 10k|5467 |1030 | 1 |8464 | 22 | 0.000000e+00 | -- | Inf | 6.55%
66.10/66.31 c 66.3s| 2900 | 26 |310873 | 74.6 | 140M | 23 |3709 |9985 |5461 |1051 | 1 |8651 | 22 | 0.000000e+00 | -- | Inf | 6.63%
66.70/66.93 c 66.9s| 3000 | 26 |315035 | 73.8 | 140M | 23 |3709 | 10k|5461 |1055 | 0 |8829 | 22 | 0.000000e+00 | -- | Inf | 6.65%
67.49/67.75 c 67.7s| 3100 | 24 |320284 | 73.3 | 140M | 23 |3709 | 10k|5475 |1076 | 2 |8999 | 22 | 0.000000e+00 | -- | Inf | 6.67%
68.39/68.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
68.39/68.69 c 68.7s| 3200 | 28 |327197 | 73.2 | 140M | 23 |3709 | 10k|5469 |1093 | 0 |9215 | 22 | 0.000000e+00 | -- | Inf | 6.78%
69.39/69.66 c 69.7s| 3300 | 29 |333331 | 73.0 | 140M | 23 |3709 | 10k|5477 |1115 | 0 |9412 | 22 | 0.000000e+00 | -- | Inf | 6.89%
70.39/70.64 c 70.6s| 3400 | 22 |340518 | 72.9 | 140M | 23 |3709 | 10k|5471 |1133 | 1 |9627 | 22 | 0.000000e+00 | -- | Inf | 7.02%
70.99/71.29 c 71.3s| 3500 | 24 |344434 | 72.2 | 140M | 23 |3709 | 10k|5471 |1133 | 1 |9827 | 22 | 0.000000e+00 | -- | Inf | 7.05%
72.49/72.79 c 72.8s| 3600 | 17 |356561 | 73.2 | 140M | 23 |3709 | 10k|5452 |1160 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.29%
73.88/74.18 c 74.2s| 3700 | 20 |365265 | 73.5 | 141M | 23 |3709 | 10k|5458 |1256 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 9.49%
75.07/75.37 c 75.4s| 3800 | 22 |372670 | 73.5 | 142M | 23 |3709 | 10k|5461 |1330 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 9.76%
76.07/76.31 c 76.3s| 3900 | 21 |378132 | 73.2 | 142M | 23 |3709 | 10k|5459 |1379 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 10.20%
77.37/77.63 c 77.6s| 4000 | 16 |385349 | 73.1 | 143M | 23 |3709 | 10k|5467 |1441 | 2 | 10k| 22 | 0.000000e+00 | -- | Inf | 10.55%
78.56/78.80 c 78.8s| 4100 | 16 |392492 | 73.1 | 143M | 23 |3709 | 10k|5464 |1541 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 11.25%
79.56/79.85 c 79.8s| 4200 | 16 |397355 | 72.6 | 143M | 23 |3709 | 10k|5464 |1602 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 11.66%
80.26/80.59 c 80.6s| 4300 | 15 |401911 | 72.1 | 144M | 23 |3709 | 10k|5461 |1617 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 11.79%
81.26/81.56 c 81.6s| 4400 | 17 |408013 | 71.9 | 145M | 23 |3709 | 10k|5461 |1662 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 12.16%
86.04/86.31 c 86.3s| 4500 | 22 |426349 | 73.9 | 145M | 23 |3709 | 10k|5455 |1727 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 12.72%
87.34/87.62 c 87.6s| 4600 | 27 |433018 | 73.8 | 146M | 23 |3709 | 10k|5465 |1824 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 13.40%
89.03/89.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
89.03/89.32 c 89.3s| 4700 | 19 |439952 | 73.7 | 148M | 23 |3709 | 10k|5447 |1991 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 14.75%
90.24/90.56 c 90.6s| 4800 | 23 |446380 | 73.6 | 148M | 23 |3709 | 10k|5459 |2120 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 15.43%
91.63/91.94 c 91.9s| 4900 | 20 |453598 | 73.5 | 148M | 23 |3709 | 10k|5450 |2181 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 16.31%
92.73/93.05 c 93.0s| 5000 | 18 |459749 | 73.3 | 148M | 23 |3709 | 10k|5470 |2274 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 16.95%
95.51/95.85 c 95.8s| 5100 | 32 |473599 | 74.4 | 150M | 23 |3709 | 10k|5463 |2491 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 18.32%
96.51/96.80 c 96.8s| 5200 | 35 |481197 | 74.4 | 150M | 23 |3709 | 10k|5457 |2491 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 18.42%
97.41/97.72 c 97.7s| 5300 | 31 |486960 | 74.2 | 151M | 23 |3709 | 10k|5460 |2512 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 18.55%
98.11/98.44 c 98.4s| 5400 | 33 |492277 | 73.8 | 151M | 23 |3709 | 10k|5458 |2512 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 18.63%
98.60/98.97 c 99.0s| 5500 | 29 |496296 | 73.3 | 151M | 23 |3709 | 10k|5457 |2512 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 18.71%
99.30/99.61 c 99.6s| 5600 | 30 |501622 | 73.0 | 151M | 23 |3709 | 10k|5460 |2515 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 18.75%
99.81/100.19 c 100s| 5700 | 27 |506586 | 72.7 | 151M | 23 |3709 | 10k|5458 |2515 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 18.79%
100.50/100.87 c 101s| 5800 | 23 |512836 | 72.5 | 151M | 23 |3709 | 10k|5460 |2518 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 18.93%
101.40/101.77 c 102s| 5900 | 24 |517595 | 72.2 | 151M | 23 |3709 | 10k|5464 |2587 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 19.34%
103.10/103.45 c 103s| 6000 | 19 |523128 | 71.9 | 151M | 23 |3709 | 10k|5461 |2713 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 20.35%
104.50/104.82 c 105s| 6100 | 25 |529627 | 71.8 | 151M | 23 |3709 | 10k|5462 |2810 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 20.90%
105.70/106.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
105.70/106.05 c 106s| 6200 | 32 |536033 | 71.7 | 151M | 23 |3709 | 10k|5460 |2897 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 21.64%
106.59/106.99 c 107s| 6300 | 25 |541389 | 71.5 | 151M | 23 |3709 | 11k|5461 |2949 | 2 | 14k| 22 | 0.000000e+00 | -- | Inf | 22.03%
108.58/108.97 c 109s| 6400 | 26 |550748 | 71.8 | 151M | 23 |3709 | 11k|5448 |3155 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 23.73%
110.28/110.64 c 111s| 6500 | 25 |561707 | 72.3 | 152M | 23 |3709 | 11k|5459 |3241 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 24.74%
112.07/112.48 c 112s| 6600 | 20 |568359 | 72.2 | 152M | 23 |3709 | 11k|5471 |3469 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 25.73%
114.56/114.96 c 115s| 6700 | 22 |580413 | 72.8 | 153M | 23 |3709 | 11k|5451 |3641 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 27.91%
116.06/116.45 c 116s| 6800 | 24 |588614 | 72.9 | 153M | 23 |3709 | 11k|5458 |3713 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 28.46%
117.05/117.44 c 117s| 6900 | 26 |596476 | 73.0 | 155M | 23 |3709 | 11k|5458 |3726 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 28.53%
117.95/118.37 c 118s| 7000 | 29 |604065 | 73.1 | 155M | 23 |3709 | 11k|5458 |3745 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 28.60%
118.95/119.34 c 119s| 7100 | 42 |612369 | 73.2 | 155M | 23 |3709 | 11k|5458 |3751 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 28.61%
119.65/120.08 c 120s| 7200 | 41 |618403 | 73.0 | 155M | 23 |3709 | 11k|5457 |3753 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 28.64%
120.54/120.90 c 121s| 7300 | 34 |624852 | 72.9 | 155M | 23 |3709 | 11k|5458 |3753 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 28.66%
121.24/121.61 c 122s| 7400 | 38 |630164 | 72.7 | 155M | 23 |3709 | 11k|5458 |3753 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 28.68%
121.94/122.39 c 122s| 7500 | 35 |636432 | 72.6 | 155M | 23 |3709 | 12k|5458 |3753 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 28.70%
122.74/123.11 c 123s| 7600 | 36 |641314 | 72.3 | 155M | 23 |3709 | 12k|5460 |3771 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 28.71%
123.34/123.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
123.34/123.75 c 124s| 7700 | 33 |645835 | 72.0 | 155M | 23 |3709 | 12k|5460 |3771 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 28.78%
123.93/124.38 c 124s| 7800 | 23 |650448 | 71.7 | 155M | 26 |3709 | 12k|5458 |3773 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 28.80%
124.74/125.19 c 125s| 7900 | 31 |656315 | 71.6 | 155M | 26 |3709 | 12k|5460 |3798 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 28.85%
125.93/126.33 c 126s| 8000 | 27 |664275 | 71.6 | 155M | 26 |3709 | 12k|5460 |3829 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 29.00%
127.02/127.42 c 127s| 8100 | 30 |672564 | 71.8 | 155M | 26 |3709 | 12k| 0 |3867 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 29.11%
127.82/128.26 c 128s| 8200 | 28 |678044 | 71.6 | 155M | 26 |3709 | 12k|5466 |3897 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 29.20%
128.82/129.25 c 129s| 8300 | 23 |689829 | 72.1 | 155M | 26 |3709 | 12k|5454 |3897 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 29.35%
132.61/133.03 c 133s| 8400 | 56 |712342 | 73.7 | 158M | 26 |3709 | 12k|5469 |4060 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 29.42%
133.61/134.02 c 134s| 8500 | 54 |720957 | 73.8 | 158M | 26 |3709 | 12k|5469 |4082 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 29.48%
134.61/135.08 c 135s| 8600 | 59 |730846 | 74.1 | 158M | 26 |3709 | 12k|5474 |4115 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 29.56%
135.20/135.69 c 136s| 8700 | 51 |736483 | 73.9 | 158M | 26 |3709 | 12k|5474 |4115 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 29.59%
135.80/136.23 c 136s| 8800 | 45 |740823 | 73.6 | 158M | 26 |3709 | 12k|5474 |4115 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 29.61%
136.50/136.92 c 137s| 8900 | 45 |747250 | 73.5 | 158M | 26 |3709 | 12k|5465 |4115 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 29.70%
137.39/137.85 c 138s| 9000 | 50 |755884 | 73.6 | 158M | 26 |3709 | 12k|5474 |4154 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 29.86%
138.29/138.79 c 139s| 9100 | 55 |760183 | 73.3 | 159M | 26 |3709 | 12k|5459 |4199 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 30.08%
139.29/139.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
139.29/139.71 c 140s| 9200 | 48 |768545 | 73.4 | 159M | 26 |3709 | 11k|5474 |4229 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 30.23%
140.59/141.04 c 141s| 9300 | 44 |774373 | 73.3 | 159M | 26 |3709 | 11k|5469 |4356 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 31.03%
141.18/141.68 c 142s| 9400 | 47 |779336 | 73.0 | 159M | 26 |3709 | 11k|5464 |4374 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 31.12%
142.69/143.19 c 143s| 9500 | 52 |788174 | 73.2 | 159M | 26 |3709 | 11k|5464 |4444 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 31.31%
143.28/143.74 c 144s| 9600 | 48 |791841 | 72.9 | 159M | 26 |3709 | 11k|5464 |4444 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 31.40%
143.98/144.48 c 144s| 9700 | 52 |796501 | 72.6 | 159M | 26 |3709 | 12k|5460 |4460 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 31.50%
144.58/145.10 c 145s| 9800 | 46 |799566 | 72.2 | 159M | 26 |3709 | 12k|5466 |4492 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 31.65%
145.77/146.21 c 146s| 9900 | 56 |804380 | 72.0 | 159M | 26 |3709 | 12k|5465 |4599 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 31.92%
146.47/146.96 c 147s| 10000 | 55 |809043 | 71.8 | 159M | 26 |3709 | 12k| 0 |4642 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 32.07%
147.17/147.61 c 148s| 10100 | 53 |812105 | 71.4 | 159M | 26 |3709 | 12k|5460 |4664 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 32.25%
147.86/148.30 c 148s| 10200 | 47 |815282 | 71.1 | 159M | 26 |3709 | 12k|5469 |4681 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 32.47%
148.58/149.07 c 149s| 10300 | 44 |819132 | 70.8 | 159M | 26 |3709 | 11k|5455 |4752 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 32.79%
149.47/149.94 c 150s| 10400 | 45 |823420 | 70.5 | 160M | 26 |3709 | 12k|5470 |4795 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 33.05%
151.16/151.60 c 152s| 10500 | 55 |835696 | 71.0 | 160M | 26 |3709 | 11k|5458 |4859 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 33.33%
152.86/153.38 c 153s| 10600 | 50 |843934 | 71.1 | 160M | 26 |3709 | 11k|5461 |4957 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 34.44%
154.45/154.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
154.45/154.91 c 155s| 10700 | 46 |858041 | 71.7 | 160M | 26 |3709 | 11k|5467 |5045 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 35.02%
155.45/155.97 c 156s| 10800 | 50 |863761 | 71.5 | 160M | 26 |3709 | 12k|5453 |5125 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | 35.52%
156.95/157.49 c 157s| 10900 | 47 |871452 | 71.6 | 160M | 26 |3709 | 11k|5465 |5234 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 36.61%
158.34/158.82 c 159s| 11000 | 52 |880666 | 71.8 | 160M | 26 |3709 | 12k|5462 |5373 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | 37.86%
159.24/159.78 c 160s| 11100 | 51 |885680 | 71.6 | 160M | 26 |3709 | 12k|5467 |5454 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | 38.18%
160.64/161.15 c 161s| 11200 | 61 |895497 | 71.8 | 163M | 26 |3709 | 12k|5467 |5576 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 38.97%
161.43/161.99 c 162s| 11300 | 51 |900407 | 71.6 | 163M | 26 |3709 | 12k|5468 |5666 | 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 39.50%
162.43/162.98 c 163s| 11400 | 44 |906537 | 71.5 | 164M | 26 |3709 | 12k|5467 |5768 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 40.07%
163.43/164.00 c 164s| 11500 | 46 |914546 | 71.6 | 164M | 26 |3709 | 12k| 0 |5878 | 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 40.76%
164.32/164.88 c 165s| 11600 | 47 |920560 | 71.5 | 164M | 26 |3709 | 12k|5447 |5924 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 41.35%
166.12/166.62 c 167s| 11700 | 48 |933083 | 71.9 | 164M | 26 |3709 | 12k|5467 |6119 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 41.92%
167.71/168.27 c 168s| 11800 | 43 |945848 | 72.4 | 165M | 26 |3709 | 12k|5461 |6227 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | 43.19%
169.61/170.16 c 170s| 11900 | 52 |957243 | 72.7 | 165M | 26 |3709 | 12k|5458 |6303 | 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 44.43%
170.61/171.16 c 171s| 12000 | 57 |964791 | 72.7 | 165M | 26 |3709 | 12k|5458 |6319 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | 44.55%
172.51/173.05 c 173s| 12100 | 55 |975866 | 73.0 | 165M | 26 |3709 | 12k|5459 |6506 | 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 47.02%
174.70/175.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
174.70/175.24 c 175s| 12200 | 50 |986073 | 73.2 | 165M | 26 |3709 | 12k|5472 |6700 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | 49.41%
176.89/177.46 c 177s| 12300 | 54 |997619 | 73.5 | 165M | 26 |3709 | 12k|5469 |6798 | 1 | 27k| 22 | 0.000000e+00 | -- | Inf | 50.75%
178.78/179.34 c 179s| 12400 | 52 | 1010k| 73.9 | 168M | 26 |3709 | 12k|5462 |6952 | 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 51.97%
179.78/180.35 c 180s| 12500 | 57 | 1016k| 73.8 | 169M | 26 |3709 | 12k|5463 |7013 | 1 | 27k| 22 | 0.000000e+00 | -- | Inf | 52.30%
181.17/181.79 c 182s| 12600 | 55 | 1026k| 74.1 | 170M | 26 |3709 | 12k|5457 |7085 | 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 52.89%
182.48/183.05 c 183s| 12700 | 52 | 1034k| 74.1 | 170M | 26 |3709 | 12k|5455 |7150 | 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 53.37%
183.47/184.06 c 184s| 12800 | 62 | 1040k| 74.0 | 170M | 26 |3709 | 12k|5460 |7190 | 0 | 28k| 22 | 0.000000e+00 | -- | Inf | 53.63%
183.97/184.50 c 184s| 12900 | 49 | 1042k| 73.6 | 170M | 26 |3709 | 12k|5460 |7190 | 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 53.73%
185.16/185.76 c 186s| 13000 | 57 | 1051k| 73.7 | 170M | 26 |3709 | 12k|5461 |7275 | 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 54.62%
186.16/186.75 c 187s| 13100 | 48 | 1057k| 73.6 | 170M | 26 |3709 | 12k|5462 |7332 | 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 54.93%
187.85/188.44 c 188s| 13200 | 46 | 1064k| 73.6 | 171M | 26 |3709 | 12k|5455 |7503 | 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 55.91%
189.75/190.31 c 190s| 13300 | 54 | 1076k| 73.9 | 171M | 26 |3709 | 12k|5456 |7628 | 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 56.60%
191.45/192.05 c 192s| 13400 | 56 | 1083k| 73.9 | 171M | 26 |3709 | 12k|5462 |7686 | 1 | 29k| 22 | 0.000000e+00 | -- | Inf | 57.32%
193.74/194.34 c 194s| 13500 | 58 | 1099k| 74.5 | 172M | 26 |3709 | 12k| 0 |7818 | 0 | 29k| 22 | 0.000000e+00 | -- | Inf | 58.00%
196.33/196.92 c 197s| 13600 | 62 | 1111k| 74.8 | 172M | 26 |3709 | 12k|5461 |7966 | 0 | 29k| 22 | 0.000000e+00 | -- | Inf | 59.22%
198.22/198.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
198.22/198.84 c 199s| 13700 | 60 | 1120k| 74.9 | 172M | 26 |3709 | 12k|5463 |8116 | 0 | 29k| 22 | 0.000000e+00 | -- | Inf | 59.97%
200.22/200.86 c 201s| 13800 | 58 | 1136k| 75.5 | 172M | 26 |3709 | 11k| 0 |8228 | 0 | 29k| 22 | 0.000000e+00 | -- | Inf | 60.61%
200.82/201.47 c 201s| 13900 | 58 | 1142k| 75.3 | 173M | 26 |3709 | 11k|5468 |8232 | 1 | 30k| 22 | 0.000000e+00 | -- | Inf | 60.70%
202.52/203.13 c 203s| 14000 | 55 | 1160k| 76.0 | 173M | 26 |3709 | 11k|5469 |8304 | 1 | 30k| 22 | 0.000000e+00 | -- | Inf | 61.54%
203.61/204.28 c 204s| 14100 | 63 | 1169k| 76.1 | 177M | 26 |3709 | 11k|5469 |8373 | 1 | 30k| 22 | 0.000000e+00 | -- | Inf | 61.71%
204.31/204.92 c 205s| 14200 | 56 | 1173k| 75.9 | 177M | 26 |3709 | 11k|5469 |8375 | 1 | 30k| 22 | 0.000000e+00 | -- | Inf | 61.85%
205.41/206.04 c 206s| 14300 | 59 | 1186k| 76.2 | 177M | 26 |3709 | 11k|5447 |8418 | 1 | 30k| 22 | 0.000000e+00 | -- | Inf | 62.00%
207.40/208.10 c 208s| 14400 | 67 | 1203k| 76.8 | 177M | 26 |3709 | 11k|5447 |8536 | 1 | 31k| 22 | 0.000000e+00 | -- | Inf | 62.59%
209.19/209.81 c 210s| 14500 | 69 | 1216k| 77.2 | 178M | 26 |3709 | 11k|5460 |8602 | 0 | 31k| 22 | 0.000000e+00 | -- | Inf | 63.05%
210.39/211.10 c 211s| 14600 | 71 | 1226k| 77.3 | 181M | 26 |3709 | 11k|5471 |8694 | 0 | 31k| 22 | 0.000000e+00 | -- | Inf | 63.32%
211.69/212.30 c 212s| 14700 | 71 | 1238k| 77.6 | 181M | 26 |3709 | 11k|5460 |8727 | 1 | 31k| 22 | 0.000000e+00 | -- | Inf | 63.59%
212.98/213.64 c 214s| 14800 | 72 | 1247k| 77.7 | 182M | 26 |3709 | 11k|5465 |8806 | 1 | 31k| 22 | 0.000000e+00 | -- | Inf | 64.02%
214.08/214.72 c 215s| 14900 | 75 | 1255k| 77.7 | 182M | 26 |3709 | 11k|5460 |8853 | 1 | 31k| 22 | 0.000000e+00 | -- | Inf | 64.28%
215.38/216.02 c 216s| 15000 | 77 | 1262k| 77.7 | 182M | 26 |3709 | 11k|5462 |8928 | 0 | 32k| 22 | 0.000000e+00 | -- | Inf | 64.48%
216.48/217.13 c 217s| 15100 | 72 | 1275k| 78.0 | 182M | 26 |3709 | 11k|5462 |8936 | 1 | 32k| 22 | 0.000000e+00 | -- | Inf | 64.63%
217.67/218.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
217.67/218.35 c 218s| 15200 | 74 | 1283k| 78.0 | 183M | 26 |3709 | 11k|5462 |8999 | 1 | 32k| 22 | 0.000000e+00 | -- | Inf | 64.98%
219.47/220.14 c 220s| 15300 | 72 | 1300k| 78.5 | 183M | 26 |3709 | 11k| 0 |9141 | 0 | 32k| 22 | 0.000000e+00 | -- | Inf | 65.60%
220.56/221.29 c 221s| 15400 | 71 | 1308k| 78.6 | 184M | 26 |3709 | 11k|5469 |9198 | 0 | 32k| 22 | 0.000000e+00 | -- | Inf | 65.85%
222.06/222.72 c 223s| 15500 | 67 | 1322k| 78.9 | 184M | 26 |3709 | 11k|5447 |9269 | 1 | 33k| 22 | 0.000000e+00 | -- | Inf | 66.14%
223.46/224.16 c 224s| 15600 | 82 | 1335k| 79.3 | 184M | 26 |3709 | 11k|5472 |9307 | 0 | 33k| 22 | 0.000000e+00 | -- | Inf | 66.21%
224.15/224.87 c 225s| 15700 | 73 | 1341k| 79.1 | 184M | 26 |3709 | 11k| 0 |9337 | 0 | 33k| 22 | 0.000000e+00 | -- | Inf | 66.25%
226.94/227.62 c 228s| 15800 | 77 | 1362k| 79.9 | 184M | 26 |3709 | 11k|5474 |9482 | 1 | 33k| 22 | 0.000000e+00 | -- | Inf | 67.31%
228.64/229.36 c 229s| 15900 | 79 | 1377k| 80.3 | 184M | 26 |3709 | 10k|5467 |9502 | 1 | 33k| 22 | 0.000000e+00 | -- | Inf | 67.84%
229.73/230.44 c 230s| 16000 | 75 | 1391k| 80.7 | 185M | 26 |3709 | 11k|5476 |9572 | 1 | 34k| 22 | 0.000000e+00 | -- | Inf | 68.06%
231.03/231.78 c 232s| 16100 | 78 | 1407k| 81.1 | 185M | 26 |3709 | 10k|5478 |9653 | 1 | 34k| 22 | 0.000000e+00 | -- | Inf | 69.55%
232.82/233.56 c 234s| 16200 | 77 | 1416k| 81.2 | 185M | 26 |3709 | 11k|5466 |9767 | 0 | 34k| 22 | 0.000000e+00 | -- | Inf | 70.04%
234.52/235.24 c 235s| 16300 | 77 | 1427k| 81.3 | 185M | 26 |3709 | 11k|5471 |9962 | 1 | 34k| 22 | 0.000000e+00 | -- | Inf | 70.88%
235.72/236.40 c 236s| 16400 | 82 | 1435k| 81.3 | 185M | 26 |3709 | 11k|5456 |9990 | 1 | 34k| 22 | 0.000000e+00 | -- | Inf | 71.07%
236.81/237.54 c 238s| 16500 | 85 | 1444k| 81.4 | 185M | 26 |3709 | 11k|5453 | 10k| 1 | 35k| 22 | 0.000000e+00 | -- | Inf | 71.55%
239.01/239.76 c 240s| 16600 | 80 | 1454k| 81.5 | 186M | 26 |3709 | 11k|5463 | 10k| 1 | 35k| 22 | 0.000000e+00 | -- | Inf | 72.45%
240.60/241.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
240.60/241.36 c 241s| 16700 | 76 | 1464k| 81.6 | 186M | 26 |3709 | 11k|5460 | 10k| 1 | 35k| 22 | 0.000000e+00 | -- | Inf | 73.61%
241.91/242.65 c 243s| 16800 | 74 | 1472k| 81.6 | 186M | 26 |3709 | 11k|5467 | 10k| 2 | 35k| 22 | 0.000000e+00 | -- | Inf | 74.01%
243.10/243.88 c 244s| 16900 | 88 | 1479k| 81.5 | 190M | 26 |3709 | 11k|5461 | 10k| 1 | 35k| 22 | 0.000000e+00 | -- | Inf | 74.33%
244.40/245.17 c 245s| 17000 | 90 | 1488k| 81.6 | 190M | 26 |3709 | 11k|5461 | 10k| 1 | 35k| 22 | 0.000000e+00 | -- | Inf | 74.43%
245.09/245.84 c 246s| 17100 | 78 | 1492k| 81.4 | 190M | 26 |3709 | 11k|5461 | 10k| 1 | 36k| 22 | 0.000000e+00 | -- | Inf | 74.55%
245.89/246.68 c 247s| 17200 | 74 | 1497k| 81.2 | 190M | 26 |3709 | 11k| 0 | 10k| 0 | 36k| 22 | 0.000000e+00 | -- | Inf | 74.66%
246.99/247.73 c 248s| 17300 | 76 | 1503k| 81.1 | 190M | 26 |3709 | 11k|5463 | 10k| 0 | 36k| 22 | 0.000000e+00 | -- | Inf | 74.70%
248.29/249.03 c 249s| 17400 | 78 | 1512k| 81.1 | 190M | 26 |3709 | 11k|5474 | 10k| 1 | 36k| 22 | 0.000000e+00 | -- | Inf | 74.99%
249.18/249.96 c 250s| 17500 | 76 | 1518k| 81.0 | 190M | 26 |3709 | 11k|5460 | 10k| 0 | 36k| 22 | 0.000000e+00 | -- | Inf | 75.22%
250.47/251.20 c 251s| 17600 | 74 | 1525k| 80.9 | 191M | 26 |3709 | 11k|5474 | 10k| 0 | 37k| 22 | 0.000000e+00 | -- | Inf | 75.67%
251.77/252.54 c 253s| 17700 | 69 | 1538k| 81.2 | 192M | 26 |3709 | 11k|5471 | 10k| 1 | 37k| 22 | 0.000000e+00 | -- | Inf | 75.93%
253.06/253.81 c 254s| 17800 | 68 | 1546k| 81.2 | 192M | 26 |3709 | 11k|5461 | 10k| 1 | 37k| 22 | 0.000000e+00 | -- | Inf | 77.05%
254.06/254.84 c 255s| 17900 | 75 | 1553k| 81.1 | 192M | 26 |3709 | 11k|5462 | 10k| 1 | 37k| 22 | 0.000000e+00 | -- | Inf | 77.41%
254.96/255.74 c 256s| 18000 | 73 | 1561k| 81.1 | 192M | 26 |3709 | 11k|5462 | 10k| 1 | 37k| 22 | 0.000000e+00 | -- | Inf | 77.46%
256.45/257.20 c 257s| 18100 | 73 | 1572k| 81.2 | 196M | 26 |3709 | 11k|5458 | 10k| 1 | 38k| 22 | 0.000000e+00 | -- | Inf | 77.75%
257.45/258.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
257.45/258.28 c 258s| 18200 | 70 | 1581k| 81.3 | 196M | 26 |3709 | 11k| 0 | 10k| 0 | 38k| 22 | 0.000000e+00 | -- | Inf | 77.94%
258.54/259.38 c 259s| 18300 | 72 | 1587k| 81.2 | 196M | 26 |3709 | 11k| 0 | 11k| 0 | 38k| 22 | 0.000000e+00 | -- | Inf | 78.33%
259.64/260.41 c 260s| 18400 | 71 | 1594k| 81.2 | 196M | 26 |3709 | 12k| 0 | 11k| 0 | 38k| 22 | 0.000000e+00 | -- | Inf | 78.52%
260.43/261.23 c 261s| 18500 | 70 | 1599k| 81.0 | 196M | 26 |3709 | 12k|5460 | 11k| 1 | 38k| 22 | 0.000000e+00 | -- | Inf | 78.61%
261.83/262.68 c 263s| 18600 | 71 | 1605k| 80.9 | 196M | 26 |3709 | 12k|5467 | 11k| 1 | 39k| 22 | 0.000000e+00 | -- | Inf | 78.79%
262.73/263.57 c 264s| 18700 | 73 | 1612k| 80.8 | 196M | 26 |3709 | 12k|5463 | 11k| 1 | 39k| 22 | 0.000000e+00 | -- | Inf | 78.94%
263.82/264.67 c 265s| 18800 | 73 | 1622k| 80.9 | 196M | 26 |3709 | 12k|5462 | 11k| 1 | 39k| 22 | 0.000000e+00 | -- | Inf | 79.17%
264.62/265.47 c 265s| 18900 | 66 | 1628k| 80.8 | 196M | 26 |3709 | 12k|5461 | 11k| 1 | 39k| 22 | 0.000000e+00 | -- | Inf | 79.43%
267.01/267.83 c 268s| 19000 | 63 | 1651k| 81.6 | 196M | 26 |3709 | 12k| 0 | 11k| 0 | 39k| 22 | 0.000000e+00 | -- | Inf | 80.34%
268.60/269.48 c 269s| 19100 | 69 | 1661k| 81.7 | 196M | 26 |3709 | 12k|5466 | 11k| 1 | 40k| 22 | 0.000000e+00 | -- | Inf | 80.70%
269.10/269.96 c 270s| 19200 | 69 | 1664k| 81.4 | 196M | 26 |3709 | 12k| 0 | 11k| 0 | 40k| 22 | 0.000000e+00 | -- | Inf | 80.72%
270.60/271.47 c 271s| 19300 | 67 | 1677k| 81.6 | 197M | 26 |3709 | 12k| 0 | 11k| 0 | 40k| 22 | 0.000000e+00 | -- | Inf | 80.82%
272.09/273.00 c 273s| 19400 | 68 | 1689k| 81.8 | 197M | 26 |3709 | 12k|5468 | 11k| 1 | 40k| 22 | 0.000000e+00 | -- | Inf | 81.23%
273.29/274.15 c 274s| 19500 | 67 | 1697k| 81.8 | 197M | 26 |3709 | 12k|5465 | 11k| 1 | 40k| 22 | 0.000000e+00 | -- | Inf | 81.36%
274.29/275.19 c 275s| 19600 | 66 | 1708k| 81.9 | 197M | 26 |3709 | 12k|5449 | 11k| 0 | 40k| 22 | 0.000000e+00 | -- | Inf | 81.52%
275.98/276.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
275.98/276.81 c 277s| 19700 | 64 | 1724k| 82.3 | 198M | 26 |3709 | 12k| 0 | 11k| 0 | 41k| 22 | 0.000000e+00 | -- | Inf | 82.41%
277.28/278.18 c 278s| 19800 | 67 | 1734k| 82.4 | 198M | 26 |3709 | 12k|5475 | 11k| 1 | 41k| 22 | 0.000000e+00 | -- | Inf | 82.62%
278.37/279.29 c 279s| 19900 | 69 | 1743k| 82.5 | 198M | 26 |3709 | 12k|5485 | 11k| 1 | 41k| 22 | 0.000000e+00 | -- | Inf | 82.72%
279.36/280.21 c 280s| 20000 | 62 | 1753k| 82.5 | 198M | 26 |3709 | 12k| 0 | 11k| 0 | 41k| 22 | 0.000000e+00 | -- | Inf | 82.80%
281.46/282.37 c 282s| 20100 | 61 | 1767k| 82.8 | 198M | 26 |3709 | 12k|5467 | 12k| 0 | 41k| 22 | 0.000000e+00 | -- | Inf | 83.40%
282.95/283.84 c 284s| 20200 | 60 | 1788k| 83.4 | 198M | 26 |3709 | 12k|5477 | 12k| 0 | 42k| 22 | 0.000000e+00 | -- | Inf | 83.67%
284.84/285.76 c 286s| 20300 | 63 | 1800k| 83.6 | 199M | 26 |3709 | 12k|5468 | 12k| 1 | 42k| 22 | 0.000000e+00 | -- | Inf | 84.23%
286.64/287.52 c 288s| 20400 | 63 | 1812k| 83.7 | 199M | 26 |3709 | 12k|5462 | 12k| 1 | 42k| 22 | 0.000000e+00 | -- | Inf | 84.57%
288.33/289.24 c 289s| 20500 | 56 | 1826k| 84.0 | 199M | 26 |3709 | 12k|5466 | 12k| 1 | 42k| 22 | 0.000000e+00 | -- | Inf | 85.37%
289.92/290.88 c 291s| 20600 | 55 | 1842k| 84.4 | 204M | 26 |3709 | 11k|5472 | 12k| 0 | 42k| 22 | 0.000000e+00 | -- | Inf | 85.69%
291.12/292.06 c 292s| 20700 | 52 | 1850k| 84.3 | 204M | 26 |3709 | 11k|5465 | 12k| 1 | 42k| 22 | 0.000000e+00 | -- | Inf | 85.98%
292.41/293.38 c 293s| 20800 | 53 | 1859k| 84.4 | 204M | 26 |3709 | 12k|5474 | 12k| 1 | 43k| 22 | 0.000000e+00 | -- | Inf | 86.25%
294.11/295.07 c 295s| 20900 | 46 | 1876k| 84.7 | 205M | 26 |3709 | 11k|5479 | 12k| 0 | 43k| 22 | 0.000000e+00 | -- | Inf | 88.20%
295.60/296.54 c 297s| 21000 | 46 | 1888k| 84.9 | 205M | 26 |3709 | 11k|5464 | 12k| 1 | 43k| 22 | 0.000000e+00 | -- | Inf | 88.96%
296.70/297.63 c 298s| 21100 | 45 | 1894k| 84.8 | 205M | 26 |3709 | 11k| 0 | 12k| 0 | 43k| 22 | 0.000000e+00 | -- | Inf | 89.26%
298.49/299.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
298.49/299.43 c 299s| 21200 | 40 | 1909k| 85.1 | 205M | 26 |3709 | 11k|5468 | 12k| 1 | 43k| 22 | 0.000000e+00 | -- | Inf | 90.46%
299.69/300.66 c 301s| 21300 | 39 | 1917k| 85.0 | 205M | 26 |3709 | 11k|5474 | 13k| 1 | 44k| 22 | 0.000000e+00 | -- | Inf | 91.32%
300.88/301.89 c 302s| 21400 | 36 | 1922k| 84.9 | 205M | 26 |3709 | 11k| 0 | 13k| 0 | 44k| 22 | 0.000000e+00 | -- | Inf | 92.06%
302.97/303.90 c 304s| 21500 | 35 | 1933k| 85.0 | 205M | 26 |3709 | 11k|5465 | 13k| 1 | 44k| 22 | 0.000000e+00 | -- | Inf | 93.62%
304.77/305.77 c 306s| 21600 | 31 | 1939k| 84.9 | 205M | 26 |3709 | 11k|5454 | 13k| 0 | 44k| 22 | 0.000000e+00 | -- | Inf | 95.00%
306.07/307.06 c 307s| 21700 | 27 | 1946k| 84.8 | 205M | 26 |3709 | 11k| 0 | 13k| 0 | 44k| 22 | 0.000000e+00 | -- | Inf | 95.60%
307.46/308.41 c 308s| 21800 | 22 | 1957k| 85.0 | 205M | 26 |3709 | 11k|5455 | 13k| 0 | 44k| 22 | 0.000000e+00 | -- | Inf | 96.13%
308.35/309.31 c 309s| 21900 | 23 | 1962k| 84.8 | 205M | 26 |3709 | 11k|5463 | 13k| 1 | 45k| 22 | 0.000000e+00 | -- | Inf | 96.71%
309.95/310.97 c 311s| 22000 | 17 | 1971k| 84.8 | 205M | 26 |3709 | 11k|5465 | 13k| 1 | 45k| 22 | 0.000000e+00 | -- | Inf | 97.81%
311.44/312.42 c 312s| 22100 | 8 | 1981k| 84.9 | 208M | 26 |3709 | 11k|5459 | 13k| 1 | 45k| 22 | 0.000000e+00 | -- | Inf | 98.70%
312.64/313.66 c
312.64/313.66 c SCIP Status : problem is solved [infeasible]
312.64/313.66 c Solving Time (sec) : 313.66
312.64/313.66 c Solving Nodes : 22166 (total of 23251 nodes in 2 runs)
312.64/313.66 c Primal Bound : +1.00000000000000e+20 (0 solutions)
312.64/313.66 c Dual Bound : +1.00000000000000e+20
312.64/313.66 c Gap : 0.00 %
312.64/313.66 s UNSATISFIABLE
312.64/313.66 c SCIP Status : problem is solved [infeasible]
312.64/313.66 c Total Time : 313.66
312.64/313.66 c solving : 313.66
312.64/313.66 c presolving : 0.29 (included in solving)
312.64/313.66 c reading : 0.02 (included in solving)
312.64/313.66 c copying : 1.22 (67 #copies) (minimal 0.01, maximal 0.03, average 0.02)
312.64/313.66 c Original Problem :
312.64/313.66 c Problem name : HOME/instance-4450205-1721410868.opb
312.64/313.66 c Variables : 3738 (3738 binary, 0 integer, 0 implicit integer, 0 continuous)
312.64/313.66 c Constraints : 8839 initial, 8839 maximal
312.64/313.66 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
312.64/313.66 c Presolved Problem :
312.64/313.66 c Problem name : t_HOME/instance-4450205-1721410868.opb
312.64/313.66 c Variables : 3709 (3709 binary, 0 integer, 0 implicit integer, 0 continuous)
312.64/313.66 c Constraints : 7295 initial, 12986 maximal
312.64/313.66 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
312.64/313.66 c Nonzeros : 92851 constraint, 8555 clique table
312.64/313.66 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
312.64/313.66 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c domcol : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
312.64/313.66 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
312.64/313.66 c gateextraction : 0.02 0.00 5 0 0 0 0 0 60 30 0 0
312.64/313.66 c implics : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
312.64/313.66 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c milp : 0.03 0.00 1 0 0 0 0 0 8839 5479 0 0
312.64/313.66 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
312.64/313.66 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c trivial : 0.00 0.00 12 9 0 0 0 0 0 0 0 0
312.64/313.66 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c dualfix : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
312.64/313.66 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c probing : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
312.64/313.66 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
312.64/313.66 c symmetry : 0.02 0.00 1 3 0 0 0 0 0 1 0 0
312.64/313.66 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
312.64/313.66 c knapsack : 0.01 0.00 14 0 0 0 0 0 0 0 0 0
312.64/313.66 c setppc : 0.03 0.00 23 0 17 0 0 0 48 0 0 0
312.64/313.66 c linear : 0.03 0.00 12 0 0 0 0 0 0 0 0 0
312.64/313.66 c orbitope : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
312.64/313.66 c logicor : 0.08 0.02 13 0 0 0 0 0 475 0 0 219
312.64/313.66 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
312.64/313.66 c root node : - - - 673 - - 673 - - - - -
312.64/313.66 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
312.64/313.66 c benderslp : 0 0 0 0 12645 0 0 293 0 0 0 0 0 0 0
312.64/313.66 c integral : 0 0 0 0 12645 0 0 293 0 0 0 0 0 0 25290
312.64/313.66 c knapsack : 101+ 110 12 208639 0 0 0 0 13289 277 73908 0 0 0 0
312.64/313.66 c setppc : 5439+ 5442 23 211877 0 0 0 289 836365 2148 1366663 0 0 0 0
312.64/313.66 c linear : 7+ 29 11 187589 0 0 0 2 643 32 4982 0 0 0 0
312.64/313.66 c orbitope : 1 1 0 209597 0 0 0 0 494 32 946 0 0 0 0
312.64/313.66 c logicor : 1747+ 7442 23 116023 0 0 0 0 173919 2020 229911 2 1 0 0
312.64/313.66 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
312.64/313.66 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
312.64/313.66 c integral : 3.59 0.00 0.00 0.00 3.59 0.00 0.00 0.00 0.00 0.00
312.64/313.66 c knapsack : 1.37 0.00 0.02 1.30 0.00 0.00 0.00 0.00 0.05 0.00
312.64/313.66 c setppc : 3.29 0.00 0.01 3.05 0.00 0.00 0.00 0.00 0.22 0.00
312.64/313.66 c linear : 0.11 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.00
312.64/313.66 c orbitope : 0.06 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
312.64/313.66 c logicor : 3.11 0.02 0.01 2.95 0.00 0.00 0.00 0.00 0.14 0.00
312.64/313.66 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
312.64/313.66 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
312.64/313.66 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
312.64/313.66 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
312.64/313.66 c Propagators : #Propagate #ResProp Cutoffs DomReds
312.64/313.66 c dualfix : 2 0 0 0
312.64/313.66 c genvbounds : 0 0 0 0
312.64/313.66 c nlobbt : 0 0 0 0
312.64/313.66 c obbt : 0 0 0 0
312.64/313.66 c probing : 0 0 0 0
312.64/313.66 c pseudoobj : 0 0 0 0
312.64/313.66 c redcost : 0 0 0 0
312.64/313.66 c rootredcost : 0 0 0 0
312.64/313.66 c symmetry : 0 0 0 0
312.64/313.66 c vbounds : 157416 0 0 0
312.64/313.66 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
312.64/313.66 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
312.64/313.66 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
312.64/313.66 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
312.64/313.66 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
312.64/313.66 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
312.64/313.66 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
312.64/313.66 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
312.64/313.66 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
312.64/313.66 c symmetry : 0.05 0.00 0.02 0.03 0.00 0.00
312.64/313.66 c vbounds : 1.74 0.00 0.00 1.74 0.00 0.00
312.64/313.66 c Symmetry :
312.64/313.66 c orbitopal red. : 0 reductions applied, 0 cutoffs
312.64/313.66 c orbital reduction: 0 reductions applied, 0 cutoffs
312.64/313.66 c lexicographic red: 0 reductions applied, 0 cutoffs
312.64/313.66 c shadow tree time : 0.00 s
312.64/313.66 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
312.64/313.66 c propagation : 0.24 4471 4213 - 18787 30.0 414 15.8 - - -
312.64/313.66 c infeasible LP : 5.44 8980 8958 - 49671 49.0 756 18.3 8958 67.3 0
312.64/313.66 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
312.64/313.66 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
312.64/313.66 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
312.64/313.66 c applied globally : 0.64 - - 0 36547 22.4 - - 7960 - -
312.64/313.66 c applied locally : - - - 0 77 65.9 - - 998 - -
312.64/313.66 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
312.64/313.66 c cut pool : 3.27 - 3224 44 - - 55853 243181 - - - - - (maximal pool size: 4461)
312.64/313.66 c aggregation : 1.48 0.00 1340 23 0 0 10 18 3 6 4 2 0
312.64/313.66 c > cmir : - - - - - - - 18 0 4 4 0 -
312.64/313.66 c > flowcover : - - - - - - - 0 0 0 0 0 -
312.64/313.66 c > knapsackcover : - - - - - - - 0 3 2 0 2 -
312.64/313.66 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c clique : 0.67 0.00 23 23 0 0 0 0 0 0 0 0 0
312.64/313.66 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c gomory : 61.21 0.00 1340 20 0 0 68606 232902 13504 9112 8602 510 0
312.64/313.66 c > gomorymi : - - - - - - - 27284 6752 835 550 285 -
312.64/313.66 c > strongcg : - - - - - - - 205618 6752 8277 8052 225 -
312.64/313.66 c impliedbounds : 0.25 0.00 1343 23 0 0 3 76 0 73 73 0 0
312.64/313.66 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
312.64/313.66 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c multilinear : 0.00 0.00 1277 23 0 0 0 0 0 0 0 0 0
312.64/313.66 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
312.64/313.66 c rapidlearning : 11.51 0.00 63 2 0 28542 0 0 0 0 0 0 604
312.64/313.66 c rlt : 0.00 0.00 763 20 0 0 0 0 0 0 0 0 0
312.64/313.66 c zerohalf : 9.21 0.00 1340 23 0 0 6187 10185 5446 5688 1884 3804 0
312.64/313.66 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
312.64/313.66 c hybrid : 0.30 0.00 1751 23 14838 46 247210 121 0 6447
312.64/313.66 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c Pricers : ExecTime SetupTime Calls Vars
312.64/313.66 c problem variables: 0.00 - 0 0
312.64/313.66 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
312.64/313.66 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c random : 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c relpscost : 3.57 0.00 12645 0 0 0 0 0 0 25290
312.64/313.66 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
312.64/313.66 c Primal Heuristics : ExecTime SetupTime Calls Found Best
312.64/313.66 c LP solutions : 0.00 - - 0 0
312.64/313.66 c relax solutions : 0.00 - - 0 0
312.64/313.66 c pseudo solutions : 0.00 - - 0 0
312.64/313.66 c strong branching : 0.00 - - 0 0
312.64/313.66 c actconsdiving : 0.00 0.00 0 0 0
312.64/313.66 c adaptivediving : 2.04 0.00 38 0 0
312.64/313.66 c alns : 0.17 0.00 5 0 0
312.64/313.66 c bound : 0.00 0.00 0 0 0
312.64/313.66 c clique : 0.03 0.00 1 0 0
312.64/313.66 c coefdiving : 0.00 0.00 0 0 0
312.64/313.66 c completesol : 0.00 0.00 0 0 0
312.64/313.66 c conflictdiving : 3.91 0.00 68 0 0
312.64/313.66 c crossover : 0.01 0.00 0 0 0
312.64/313.66 c dins : 0.00 0.00 0 0 0
312.64/313.66 c distributiondivin: 6.48 0.00 67 0 0
312.64/313.66 c dps : 0.00 0.00 0 0 0
312.64/313.66 c dualval : 0.00 0.00 0 0 0
312.64/313.66 c farkasdiving : 0.00 0.00 0 0 0
312.64/313.66 c feasjump : 0.04 0.00 2 0 0
312.64/313.66 c feaspump : 2.73 0.00 13 0 0
312.64/313.66 c fixandinfer : 0.00 0.00 0 0 0
312.64/313.66 c fracdiving : 3.01 0.00 68 0 0
312.64/313.66 c gins : 0.00 0.00 0 0 0
312.64/313.66 c guideddiving : 0.00 0.00 0 0 0
312.64/313.66 c indcoefdiving : 0.00 0.00 0 0 0
312.64/313.66 c indicator : 0.01 0.00 0 0 0
312.64/313.66 c indicatordiving : 0.00 0.00 0 0 0
312.64/313.66 c indoneopt : 0.01 0.00 0 0 0
312.64/313.66 c indrounding : 0.00 0.00 0 0 0
312.64/313.66 c indtwoopt : 0.00 0.00 0 0 0
312.64/313.66 c intdiving : 0.00 0.00 0 0 0
312.64/313.66 c intshifting : 0.00 0.00 0 0 0
312.64/313.66 c linesearchdiving : 3.75 0.00 67 0 0
312.64/313.66 c localbranching : 0.00 0.00 0 0 0
312.64/313.66 c locks : 0.00 0.00 1 0 0
312.64/313.66 c lpface : 0.15 0.00 0 0 0
312.64/313.66 c mpec : 0.00 0.00 0 0 0
312.64/313.66 c multistart : 0.00 0.00 0 0 0
312.64/313.66 c mutation : 0.00 0.00 0 0 0
312.64/313.66 c nlpdiving : 0.00 0.00 0 0 0
312.64/313.66 c objpscostdiving : 7.66 0.00 9 0 0
312.64/313.66 c octane : 0.00 0.00 0 0 0
312.64/313.66 c ofins : 0.01 0.00 0 0 0
312.64/313.66 c oneopt : 0.01 0.00 0 0 0
312.64/313.66 c padm : 0.00 0.00 0 0 0
312.64/313.66 c proximity : 0.00 0.00 0 0 0
312.64/313.66 c pscostdiving : 4.23 0.00 68 0 0
312.64/313.66 c randrounding : 0.11 0.00 305 0 0
312.64/313.66 c rens : 0.00 0.00 0 0 0
312.64/313.66 c reoptsols : 0.00 0.00 0 0 0
312.64/313.66 c repair : 0.00 0.00 0 0 0
312.64/313.66 c rins : 0.00 0.00 0 0 0
312.64/313.66 c rootsoldiving : 2.82 0.00 9 0 0
312.64/313.66 c rounding : 0.35 0.00 1645 0 0
312.64/313.66 c scheduler : 0.00 0.00 0 0 0
312.64/313.66 c shiftandpropagate: 0.02 0.00 2 0 0
312.64/313.66 c shifting : 0.74 0.00 648 0 0
312.64/313.66 c simplerounding : 0.01 0.00 0 0 0
312.64/313.66 c smallcard : 0.00 0.00 0 0 0
312.64/313.66 c subnlp : 0.01 0.00 0 0 0
312.64/313.66 c trivial : 0.00 0.00 4 0 0
312.64/313.66 c trivialnegation : 0.00 0.00 0 0 0
312.64/313.66 c trustregion : 0.00 0.00 0 0 0
312.64/313.66 c trysol : 0.01 0.00 0 0 0
312.64/313.66 c twoopt : 0.00 0.00 0 0 0
312.64/313.66 c undercover : 0.00 0.00 0 0 0
312.64/313.66 c vbounds : 0.01 0.00 2 0 0
312.64/313.66 c veclendiving : 2.32 0.00 67 0 0
312.64/313.66 c zeroobj : 0.00 0.00 0 0 0
312.64/313.66 c zirounding : 0.10 0.00 1000 0 0
312.64/313.66 c other solutions : - - - 0 -
312.64/313.66 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
312.64/313.66 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
312.64/313.66 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
312.64/313.66 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
312.64/313.66 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
312.64/313.66 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
312.64/313.66 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
312.64/313.66 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
312.64/313.66 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
312.64/313.66 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
312.64/313.66 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
312.64/313.66 c primal LP : 1.07 997 0 0.00 0.00 1.07 997
312.64/313.66 c dual LP : 139.64 23222 1695194 74.33 12140.07 0.40 416
312.64/313.66 c lex dual LP : 0.00 0 0 0.00 -
312.64/313.66 c barrier LP : 0.00 0 0 0.00 - 0.00 0
312.64/313.66 c resolve instable : 0.00 0 0 0.00 -
312.64/313.66 c diving/probing LP: 32.39 1250 295804 236.64 9132.04
312.64/313.66 c strong branching : 0.44 22 6450 293.18 14772.84 - - 7
312.64/313.66 c (at root node) : - 22 6450 293.18 -
312.64/313.66 c conflict analysis: 0.00 0 0 0.00 -
312.64/313.66 c B&B Tree :
312.64/313.66 c number of runs : 2
312.64/313.66 c nodes : 22166 (12047 internal, 10119 leaves)
312.64/313.66 c feasible leaves : 0
312.64/313.66 c infeas. leaves : 10119
312.64/313.66 c objective leaves : 0
312.64/313.66 c nodes (total) : 23251 (12645 internal, 10606 leaves)
312.64/313.66 c nodes left : 0
312.64/313.66 c max depth : 26
312.64/313.66 c max depth (total): 26
312.64/313.66 c backtracks : 6273 (28.3%)
312.64/313.66 c early backtracks : 0 (0.0%)
312.64/313.66 c nodes exc. ref. : 0 (0.0%)
312.64/313.66 c delayed cutoffs : 1929
312.64/313.66 c repropagations : 18333 (616068 domain reductions, 1757 cutoffs)
312.64/313.66 c avg switch length: 3.55
312.64/313.66 c switching time : 6.70
312.64/313.66 c Root Node :
312.64/313.66 c First LP value : +0.00000000000000e+00
312.64/313.66 c First LP Iters : 3002 (45022.35 Iter/sec)
312.64/313.66 c First LP Time : 0.07
312.64/313.66 c Final Dual Bound : -
312.64/313.66 c Final Root Iters : 13497
312.64/313.66 c Root LP Estimate : +7.81609010275655e-02
312.64/313.66 c Solution :
312.64/313.66 c Solutions found : 0 (0 improvements)
312.64/313.66 c Primal Bound : infeasible
312.64/313.66 c Dual Bound : -
312.64/313.66 c Gap : 0.00 %
312.64/313.66 c Integrals : Total Avg%
312.64/313.66 c primal-dual : - - (problem infeasible)
312.64/313.66 c primal-ref : - - (problem infeasible)
312.64/313.66 c dual-ref : - - (problem infeasible)
312.74/313.73 c Time complete: 312.786.
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: 63968 MiB (61990 MiB free)
memory of node 1: 64473 MiB (61982 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450205-1721410868/watcher-4450205-1721410868 -o /tmp/evaluation-result-4450205-1721410868/solver-4450205-1721410868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721410880-1025278 --watchdog 3760 pbscip -f HOME/instance-4450205-1721410868.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1025325, runsolver pid=1025319
[startup+0.100224 s]*
/proc/loadavg: 1.08 1.66 2.83 5/258 1025339
/proc/meminfo: memFree=126810884/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=83684 memory=44808 CPUtime=0.1 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 8727 0 0 0 9 1 0 0 20 0 1 0 193257629 85692416 11202 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 20921 11202 3735 3540 0 9178 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 83684 KiB
Current children cumulated memory: 44808 KiB
[startup+0.206461 s]*
/proc/loadavg: 1.31 1.70 2.84 6/258 1025339
/proc/meminfo: memFree=126779768/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=100808 memory=56884 CPUtime=0.2 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 11612 0 0 0 18 2 0 0 20 0 1 0 193257629 103227392 14221 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 25202 14221 3975 3540 0 13459 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 100808 KiB
Current children cumulated memory: 56884 KiB
[startup+0.30639 s]*
/proc/loadavg: 1.31 1.70 2.84 6/258 1025339
/proc/meminfo: memFree=126745196/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=105100 memory=60896 CPUtime=0.3 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 12568 0 0 0 28 2 0 0 20 0 1 0 193257629 107622400 15224 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 26275 15224 3991 3540 0 14532 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 105100 KiB
Current children cumulated memory: 60896 KiB
[startup+0.700225 s]
/proc/loadavg: 1.31 1.70 2.84 6/258 1025339
/proc/meminfo: memFree=126725224/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=105396 memory=61156 CPUtime=0.69 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 12647 0 0 0 67 2 0 0 20 0 1 0 193257629 107925504 15289 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 26349 15289 3991 3540 0 14606 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 105396 KiB
Current children cumulated memory: 61156 KiB
[startup+1.50024 s]
/proc/loadavg: 1.31 1.70 2.84 5/258 1025339
/proc/meminfo: memFree=126718096/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=135984 memory=89412 CPUtime=1.49 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 20226 0 0 0 146 3 0 0 20 0 1 0 193257629 139247616 22353 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 33996 22353 4006 3540 0 22253 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 135984 KiB
Current children cumulated memory: 89412 KiB
[startup+3.10611 s]
/proc/loadavg: 1.31 1.70 2.84 6/258 1025341
/proc/meminfo: memFree=126614924/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=132932 memory=86508 CPUtime=3.08 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 22453 0 0 0 305 3 0 0 20 0 1 0 193257629 136122368 21627 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 33233 21627 4022 3540 0 21490 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 132932 KiB
Current children cumulated memory: 86508 KiB
[startup+6.30023 s]
/proc/loadavg: 1.53 1.74 2.84 5/258 1025341
/proc/meminfo: memFree=126543356/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=163000 memory=113492 CPUtime=6.27 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 30360 0 0 0 622 5 0 0 20 0 1 0 193257629 166912000 28373 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 40750 28373 4022 3540 0 29007 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 163000 KiB
Current children cumulated memory: 113492 KiB
[startup+12.7002 s]
/proc/loadavg: 1.72 1.78 2.85 6/258 1025388
/proc/meminfo: memFree=126464356/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=178816 memory=130692 CPUtime=12.65 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 35116 0 0 0 1260 5 0 0 20 0 1 0 193257629 183107584 32673 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 44704 32673 4022 3540 0 32961 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 178816 KiB
Current children cumulated memory: 130692 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 1.87 2.87 6/258 1025390
/proc/meminfo: memFree=126335780/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=218668 memory=164600 CPUtime=25.42 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 45154 0 0 0 2535 7 0 0 20 0 1 0 193257629 223916032 41150 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 54667 41150 4022 3540 0 42924 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 218668 KiB
Current children cumulated memory: 164600 KiB
[startup+51.106 s]
/proc/loadavg: 2.88 2.07 2.91 5/258 1025393
/proc/meminfo: memFree=126292160/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=235248 memory=182824 CPUtime=50.95 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 50724 0 0 0 5084 11 0 0 20 0 1 0 193257629 240893952 45706 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 58812 45706 4022 3540 0 47069 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 235248 KiB
Current children cumulated memory: 182824 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 2.39 2.97 5/258 1025404
/proc/meminfo: memFree=126218204/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=242328 memory=189108 CPUtime=101.99 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 51755 0 0 0 10184 15 0 0 20 0 1 0 193257629 248143872 47277 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 60582 47277 4022 3540 0 48839 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 242328 KiB
Current children cumulated memory: 189108 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.71 3.05 5/258 1025415
/proc/meminfo: memFree=126151528/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=246592 memory=193016 CPUtime=161.83 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 52758 0 0 0 16166 17 0 0 20 0 1 0 193257629 252510208 48254 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 61648 48254 4022 3540 0 49905 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 246592 KiB
Current children cumulated memory: 193016 KiB
[startup+222.3 s]
/proc/loadavg: 3.98 2.95 3.11 5/258 1025426
/proc/meminfo: memFree=126123696/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=258080 memory=203964 CPUtime=221.66 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 54955 0 0 0 22149 17 0 0 20 0 1 0 193257629 264273920 50991 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 64520 50991 4022 3540 0 52777 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 258080 KiB
Current children cumulated memory: 203964 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.18 3.18 5/255 1025436
/proc/meminfo: memFree=126060064/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=262400 memory=209368 CPUtime=281.46 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 56360 0 0 0 28128 18 0 0 20 0 1 0 193257629 268697600 52342 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 65600 52342 4022 3540 0 53857 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 262400 KiB
Current children cumulated memory: 209368 KiB
[startup+313.747 s]
# the end of solver process 1025325 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=312.598 s, system=0.196428 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+294.4 s]
/proc/loadavg: 4.09 3.20 3.19 6/255 1025438
/proc/meminfo: memFree=126048504/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=267576 memory=212008 CPUtime=293.51 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 56970 0 0 0 29333 18 0 0 20 0 1 0 193257629 273997824 53002 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 66894 53002 4022 3540 0 55151 0
Current children cumulated CPU time: 293.51 s
Current children cumulated vsize: 267576 KiB
Current children cumulated memory: 212008 KiB
[startup+307.2 s]
/proc/loadavg: 4.14 3.26 3.21 5/255 1025439
/proc/meminfo: memFree=126025724/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=267752 memory=214648 CPUtime=306.26 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 57674 0 0 0 30608 18 0 0 20 0 1 0 193257629 274178048 53662 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 66938 53662 4022 3540 0 55195 0
Current children cumulated CPU time: 306.26 s
Current children cumulated vsize: 267752 KiB
Current children cumulated memory: 214648 KiB
[startup+310.4 s]
/proc/loadavg: 4.14 3.26 3.21 6/255 1025440
/proc/meminfo: memFree=126024504/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=267884 memory=214912 CPUtime=309.45 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 57690 0 0 0 30927 18 0 0 20 0 1 0 193257629 274313216 53728 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 66971 53728 4022 3540 0 55228 0
Current children cumulated CPU time: 309.45 s
Current children cumulated vsize: 267884 KiB
Current children cumulated memory: 214912 KiB
[startup+312 s]*
/proc/loadavg: 4.13 3.27 3.21 5/255 1025442
/proc/meminfo: memFree=126023096/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=269908 memory=215776 CPUtime=311.05 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 57908 0 0 0 31087 18 0 0 20 0 1 0 193257629 276385792 53944 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 67477 53944 4022 3540 0 55734 0
Current children cumulated CPU time: 311.05 s
Current children cumulated vsize: 269908 KiB
Current children cumulated memory: 215776 KiB
[startup+312.8 s]
/proc/loadavg: 4.13 3.27 3.21 5/255 1025442
/proc/meminfo: memFree=126023096/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=270132 memory=215776 CPUtime=311.84 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 57926 0 0 0 31166 18 0 0 20 0 1 0 193257629 276615168 53944 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 67533 53944 4022 3540 0 55790 0
Current children cumulated CPU time: 311.84 s
Current children cumulated vsize: 270132 KiB
Current children cumulated memory: 215776 KiB
[startup+313.2 s]
/proc/loadavg: 4.13 3.27 3.21 6/255 1025442
/proc/meminfo: memFree=126022260/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=270132 memory=216040 CPUtime=312.24 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 57979 0 0 0 31206 18 0 0 20 0 1 0 193257629 276615168 54010 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 67533 54010 4022 3540 0 55790 0
Current children cumulated CPU time: 312.24 s
Current children cumulated vsize: 270132 KiB
Current children cumulated memory: 216040 KiB
[startup+313.6 s]
/proc/loadavg: 4.13 3.27 3.21 6/255 1025442
/proc/meminfo: memFree=126022260/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=270132 memory=216040 CPUtime=312.64 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 57979 0 0 0 31246 18 0 0 20 0 1 0 193257629 276615168 54010 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 67533 54010 4022 3540 0 55790 0
Current children cumulated CPU time: 312.64 s
Current children cumulated vsize: 270132 KiB
Current children cumulated memory: 216040 KiB
[startup+313.7 s]
/proc/loadavg: 4.13 3.27 3.21 6/255 1025442
/proc/meminfo: memFree=126022260/131524600 swapFree=131071996/131071996
[pid=1025325] ppid=1025319 vsize=268432 memory=214376 CPUtime=312.74 cores=5,7
/proc/1025325/stat : 1025325 (pbscip) R 1025319 1025325 1025265 0 -1 4194304 57979 0 0 0 31256 18 0 0 20 0 1 0 193257629 274874368 53594 134679101440 4194304 18693293 140723413838304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31481856 140723413840898 140723413840997 140723413840997 140723413848014 0
/proc/1025325/statm: 67108 53594 4022 3540 0 55365 0
Current children cumulated CPU time: 312.74 s
Current children cumulated vsize: 268432 KiB
Current children cumulated memory: 214376 KiB
Child status: 0
Real time (s): 313.747
CPU time (s): 312.795
CPU user time (s): 312.598
CPU system time (s): 0.196428
CPU usage (%): 99.6964
Max. virtual memory (cumulated for all children) (KiB): 270132
Max. memory (cumulated for all children) (KiB): 216040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 312.598
system time used= 0.196428
maximum resident set size= 216040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57985
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= 9
involuntary context switches= 317
# summary of solver processes directly reported to runsolver:
# pid: 1025325
# total CPU time (s): 312.795
# total CPU user time (s): 312.598
# total CPU system time (s): 0.196428
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.46743 second user time and 1.76329 second system time
The end