| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.27 | 3597.06 |
| Name | PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round23-9.opb |
| MD5SUM | bf1757ad4e21f2473915004abf7b1376 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4288 |
| Total number of constraints | 9504 |
| Number of constraints which are clauses | 8192 |
| Number of constraints which are cardinality constraints (but not clauses) | 416 |
| Number of constraints which are nor clauses,nor cardinality constraints | 896 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 10 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 4 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 14 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4450625-1721415749.opb>
0.00/0.02 c original problem has 4288 variables (4288 bin, 0 int, 0 impl, 0 cont) and 9504 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.04 c presolving:
0.00/0.05 c (round 1, fast) 593 del vars, 1004 del conss, 681 add conss, 520 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 321 clqs
0.00/0.06 c (round 2, fast) 890 del vars, 1724 del conss, 778 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 442 clqs
0.00/0.06 c (round 3, fast) 890 del vars, 1727 del conss, 800 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 465 clqs
0.00/0.07 c (0.1s) running MILP presolver
0.00/0.09 c (0.1s) MILP presolver (4 rounds): 63 aggregations, 2 fixings, 0 bound changes
0.00/0.09 c (round 4, medium) 955 del vars, 1727 del conss, 800 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 336 clqs
0.00/0.09 c (round 5, fast) 955 del vars, 1813 del conss, 857 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 356 clqs
0.00/0.10 c (round 6, exhaustive) 955 del vars, 2508 del conss, 857 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 356 clqs
0.10/0.12 c (round 7, exhaustive) 955 del vars, 2508 del conss, 857 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 6455 upgd conss, 0 impls, 356 clqs
0.10/0.13 c (round 8, exhaustive) 955 del vars, 2604 del conss, 889 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 6455 upgd conss, 0 impls, 356 clqs
0.10/0.15 c (round 9, exhaustive) 955 del vars, 2604 del conss, 889 add conss, 679 chg bounds, 60 chg sides, 0 chg coeffs, 6455 upgd conss, 0 impls, 356 clqs
0.10/0.16 c (round 10, exhaustive) 955 del vars, 2604 del conss, 889 add conss, 679 chg bounds, 60 chg sides, 0 chg coeffs, 6512 upgd conss, 0 impls, 356 clqs
0.19/0.28 c (0.3s) probing: 1000/3388 (29.5%) - 0 fixings, 1 aggregations, 316 implications, 0 bound changes
0.19/0.29 c (0.3s) probing: 1107/3388 (32.7%) - 0 fixings, 1 aggregations, 332 implications, 0 bound changes
0.19/0.29 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.19/0.29 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.29/0.31 c (0.3s) no symmetry present (symcode time: 0.00)
0.29/0.32 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.29/0.32 c 956 deleted vars, 2604 deleted constraints, 889 added constraints, 679 tightened bounds, 0 added holes, 60 changed sides, 33 changed coefficients
0.29/0.32 c 0 implications, 682 cliques
0.29/0.32 c presolved problem has 3387 variables (3387 bin, 0 int, 0 impl, 0 cont) and 7789 constraints
0.29/0.32 c 32 constraints of type <and>
0.29/0.32 c 1341 constraints of type <linear>
0.29/0.32 c 6416 constraints of type <logicor>
0.29/0.32 c transformed objective value is always integral (scale: 1)
0.29/0.32 c Presolving Time: 0.28
0.29/0.32 c - non default parameters ----------------------------------------------------------------------
0.29/0.32 c # SCIP version 10.0.0
0.29/0.32 c
0.29/0.32 c # maximal time in seconds to run
0.29/0.32 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.32 c limits/time = 3596.997011
0.29/0.32 c
0.29/0.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.32 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.32 c limits/memory = 27900
0.29/0.32 c
0.29/0.32 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.29/0.32 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.29/0.32 c limits/solutions = 1
0.29/0.32 c
0.29/0.32 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.29/0.32 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.29/0.32 c misc/usesymmetry = 3
0.29/0.32 c
0.29/0.32 c # belongs reading time to solving time?
0.29/0.32 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c timing/reading = TRUE
0.29/0.32 c
0.29/0.32 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.29/0.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32 c propagating/symmetry/detectdoublelex = FALSE
0.29/0.32 c
0.29/0.32 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.29/0.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32 c propagating/symmetry/detectsubgroups = FALSE
0.29/0.32 c
0.29/0.32 c # Type of symmetries that shall be computed?
0.29/0.32 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.29/0.32 c propagating/symmetry/symtype = 1
0.29/0.32 c
0.29/0.32 c # Should components consisting of a single full reflection be handled?
0.29/0.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32 c propagating/symmetry/usesimplesgncomp = FALSE
0.29/0.32 c
0.29/0.32 c -----------------------------------------------------------------------------------------------
0.29/0.32 c start solving
0.29/0.32 c
0.39/0.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.39/0.44 c 0.4s| 1 | 0 | 946 | - | 62M | 0 |3387 |7863 |7821 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
0.89/0.94 c 0.9s| 1 | 0 | 2742 | - | 67M | 0 |3387 |7863 |8105 | 284 | 1 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
1.99/2.10 c 2.1s| 1 | 0 | 4903 | - | 71M | 0 |3387 |7863 |8392 | 571 | 2 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
3.88/3.99 c 4.0s| 1 | 0 | 8084 | - | 74M | 0 |3387 |7864 |8682 | 861 | 3 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
5.98/6.02 c 6.0s| 1 | 0 | 11344 | - | 76M | 0 |3387 |7864 |8972 |1151 | 4 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
7.87/7.91 c 7.9s| 1 | 0 | 14113 | - | 78M | 0 |3387 |7864 |9163 |1342 | 5 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
9.97/10.10 c 10.1s| 1 | 0 | 17362 | - | 82M | 0 |3387 |7864 |9438 |1617 | 6 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
13.06/13.20 c 13.2s| 1 | 0 | 22589 | - | 83M | 0 |3387 |7865 |9708 |1887 | 7 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
16.25/16.36 c 16.4s| 1 | 0 | 27471 | - | 86M | 0 |3387 |7866 |9985 |2164 | 8 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
19.44/19.53 c 19.5s| 1 | 0 | 31800 | - | 89M | 0 |3387 |7866 | 10k|2393 | 9 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
22.93/23.03 c 23.0s| 1 | 0 | 36565 | - | 91M | 0 |3387 |7865 | 10k|2520 | 10 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
25.32/25.45 c 25.4s| 1 | 0 | 41321 | - | 92M | 0 |3387 |7865 | 10k|2627 | 11 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
39.59/39.73 c 39.7s| 1 | 2 | 50813 | - | 92M | 0 |3387 |7857 | 10k|2627 | 11 | 77 | 11 | 0.000000e+00 | -- | Inf | unknown
354.78/355.73 c 356s| 100 | 101 |321335 |2828.4 | 94M | 15 |3387 |7853 |8003 |4436 | 1 | 116 | 11 | 0.000000e+00 | -- | Inf | unknown
378.13/379.10 c 379s| 200 | 201 |362788 |1615.4 | 95M | 17 |3387 |7854 |8083 |4848 | 2 | 120 | 11 | 0.000000e+00 | -- | Inf | unknown
446.84/448.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
446.84/448.08 c 448s| 300 | 301 |522477 |1609.2 | 96M | 23 |3387 |7866 |8308 |8851 | 1 | 142 | 11 | 0.000000e+00 | -- | Inf | unknown
487.24/488.57 c 489s| 400 | 401 |597539 |1394.0 | 96M | 23 |3387 |7871 |8086 | 11k| 1 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
522.45/523.84 c 524s| 500 | 501 |666011 |1251.9 | 96M | 23 |3387 |7894 |8156 | 13k| 1 | 183 | 11 | 0.000000e+00 | -- | Inf | unknown
548.48/549.99 c 550s| 600 | 601 |718494 |1130.5 | 97M | 27 |3387 |7904 |8163 | 14k| 1 | 194 | 11 | 0.000000e+00 | -- | Inf | unknown
562.24/563.76 c 564s| 700 | 701 |748574 |1011.8 | 98M | 27 |3387 |7905 |8159 | 15k| 1 | 196 | 11 | 0.000000e+00 | -- | Inf | unknown
577.70/579.24 c 579s| 800 | 801 |780162 | 924.7 | 98M | 27 |3387 |7914 |8102 | 16k| 1 | 209 | 11 | 0.000000e+00 | -- | Inf | unknown
626.36/628.01 c 628s| 900 | 901 |887637 | 941.4 | 98M | 27 |3387 |7905 |8161 | 18k| 1 | 212 | 11 | 0.000000e+00 | -- | Inf | unknown
641.72/643.42 c 643s| 1000 | 1001 |919750 | 879.3 | 98M | 27 |3387 |7896 |8156 | 19k| 1 | 213 | 11 | 0.000000e+00 | -- | Inf | unknown
652.08/653.88 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
652.08/653.88 c (run 1, node 1049) performing user restart
652.08/653.88 c
652.08/653.88 c (restart) converted 861 cuts from the global cut pool into linear constraints
652.08/653.88 c
652.08/653.89 c presolving:
652.19/653.90 c (round 1, fast) 0 del vars, 3 del conss, 621 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 691 clqs
652.19/653.91 c (round 2, exhaustive) 0 del vars, 46 del conss, 621 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 691 clqs
652.19/653.92 c (round 3, exhaustive) 0 del vars, 46 del conss, 621 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 1393 upgd conss, 0 impls, 691 clqs
652.19/653.92 c (round 4, fast) 0 del vars, 578 del conss, 621 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 1393 upgd conss, 0 impls, 691 clqs
652.19/653.93 c (round 5, exhaustive) 0 del vars, 580 del conss, 624 add conss, 0 chg bounds, 47 chg sides, 3 chg coeffs, 1393 upgd conss, 0 impls, 691 clqs
652.19/653.94 c (round 6, exhaustive) 0 del vars, 580 del conss, 624 add conss, 0 chg bounds, 47 chg sides, 3 chg coeffs, 1439 upgd conss, 0 impls, 691 clqs
652.19/653.94 c (round 7, fast) 0 del vars, 626 del conss, 624 add conss, 0 chg bounds, 47 chg sides, 3 chg coeffs, 1439 upgd conss, 0 impls, 691 clqs
652.19/653.96 c presolving (8 rounds: 8 fast, 5 medium, 5 exhaustive):
652.19/653.96 c 0 deleted vars, 627 deleted constraints, 624 added constraints, 0 tightened bounds, 0 added holes, 47 changed sides, 4 changed coefficients
652.19/653.96 c 0 implications, 691 cliques
652.19/653.96 c presolved problem has 3387 variables (3387 bin, 0 int, 0 impl, 0 cont) and 8750 constraints
652.19/653.96 c 60 constraints of type <knapsack>
652.19/653.96 c 120 constraints of type <setppc>
652.19/653.96 c 32 constraints of type <and>
652.19/653.96 c 1345 constraints of type <linear>
652.19/653.96 c 7193 constraints of type <logicor>
652.19/653.96 c transformed objective value is always integral (scale: 1)
652.19/653.96 c Presolving Time: 0.35
652.19/653.96 c
652.39/654.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
652.39/654.18 c 654s| 1 | 0 |941736 | - | 97M | 0 |3387 |8750 |8683 | 0 | 0 | 214 | 11 | 0.000000e+00 | -- | Inf | unknown
654.59/656.38 c 656s| 1 | 0 |945712 | - | 99M | 0 |3387 |8750 |8973 | 290 | 1 | 214 | 11 | 0.000000e+00 | -- | Inf | unknown
657.48/659.23 c 659s| 1 | 0 |950512 | - | 100M | 0 |3387 |8750 |9252 | 569 | 2 | 214 | 11 | 0.000000e+00 | -- | Inf | unknown
660.47/662.27 c 662s| 1 | 0 |955549 | - | 102M | 0 |3387 |8750 |9543 | 860 | 3 | 214 | 11 | 0.000000e+00 | -- | Inf | unknown
663.27/665.10 c 665s| 1 | 0 |959996 | - | 103M | 0 |3387 |8750 |9811 |1128 | 4 | 214 | 11 | 0.000000e+00 | -- | Inf | unknown
666.65/668.49 c 668s| 1 | 0 |965080 | - | 104M | 0 |3387 |8751 | 10k|1400 | 5 | 215 | 11 | 0.000000e+00 | -- | Inf | unknown
669.94/671.78 c 672s| 1 | 0 |969690 | - | 105M | 0 |3387 |8751 | 10k|1558 | 6 | 215 | 11 | 0.000000e+00 | -- | Inf | unknown
672.84/674.66 c 675s| 1 | 0 |973603 | - | 106M | 0 |3387 |8751 | 10k|1683 | 7 | 215 | 11 | 0.000000e+00 | -- | Inf | unknown
677.03/678.81 c 679s| 1 | 0 |979535 | - | 107M | 0 |3387 |8751 | 10k|1892 | 8 | 215 | 11 | 0.000000e+00 | -- | Inf | unknown
680.72/682.50 c 683s| 1 | 0 |984690 | - | 109M | 0 |3387 |8751 | 10k|2054 | 9 | 215 | 11 | 0.000000e+00 | -- | Inf | unknown
684.31/686.12 c 686s| 1 | 0 |989463 | - | 110M | 0 |3387 |8752 | 10k|2153 | 10 | 216 | 11 | 0.000000e+00 | -- | Inf | unknown
686.40/688.29 c 688s| 1 | 0 |993488 | - | 112M | 0 |3387 |8752 | 10k|2242 | 11 | 216 | 11 | 0.000000e+00 | -- | Inf | unknown
694.48/696.30 c 696s| 1 | 2 |993704 | - | 112M | 0 |3387 |8755 | 10k|2242 | 11 | 219 | 22 | 0.000000e+00 | -- | Inf | unknown
766.49/768.55 c 769s| 100 | 101 | 1131k| 903.0 | 113M | 33 |3387 |8790 |8434 |5220 | 1 | 256 | 22 | 0.000000e+00 | -- | Inf | unknown
802.49/804.69 c 805s| 200 | 201 | 1207k| 891.7 | 116M | 44 |3387 |8815 |8582 |8550 | 2 | 283 | 22 | 0.000000e+00 | -- | Inf | unknown
844.18/846.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
844.18/846.45 c 846s| 300 | 301 | 1299k| 894.1 | 117M | 55 |3387 |8820 |8671 | 11k| 1 | 293 | 22 | 0.000000e+00 | -- | Inf | unknown
869.81/872.16 c 872s| 400 | 397 | 1356k| 871.2 | 118M | 55 |3387 |8849 |8572 | 13k| 2 | 322 | 22 | 0.000000e+00 | -- | Inf | unknown
888.45/890.80 c 891s| 500 | 487 | 1404k| 846.0 | 118M | 65 |3387 |8848 | 0 | 15k| 0 | 325 | 22 | 0.000000e+00 | -- | Inf | unknown
900.02/902.45 c 902s| 600 | 587 | 1427k| 808.5 | 118M | 144 |3387 |8855 |8823 | 15k| 1 | 333 | 22 | 0.000000e+00 | -- | Inf | unknown
910.79/913.25 c 913s| 700 | 681 | 1461k| 782.1 | 124M | 166 |3387 |8868 |8948 | 16k| 1 | 346 | 22 | 0.000000e+00 | -- | Inf | unknown
940.90/943.44 c 943s| 800 | 773 | 1549k| 787.3 | 134M | 167 |3387 |8883 |9069 | 18k| 1 | 361 | 22 | 0.000000e+00 | -- | Inf | unknown
952.48/955.01 c 955s| 900 | 871 | 1586k| 766.0 | 138M | 172 |3387 |8895 |8966 | 20k| 2 | 374 | 22 | 0.000000e+00 | -- | Inf | unknown
983.09/985.76 c 986s| 1000 | 969 | 1669k| 769.0 | 143M | 172 |3387 |8901 |8820 | 22k| 1 | 380 | 22 | 0.000000e+00 | -- | Inf | unknown
1003.34/1006.06 c 1006s| 1100 | 1061 | 1725k| 759.4 | 144M | 175 |3387 |8898 |8816 | 24k| 1 | 384 | 22 | 0.000000e+00 | -- | Inf | unknown
1023.67/1026.41 c 1026s| 1200 | 1157 | 1781k| 750.5 | 146M | 175 |3387 |8913 |9086 | 26k| 1 | 405 | 22 | 0.000000e+00 | -- | Inf | unknown
1048.41/1051.20 c 1051s| 1300 | 1253 | 1850k| 748.0 | 147M | 175 |3387 |8954 |8976 | 28k| 1 | 450 | 22 | 0.000000e+00 | -- | Inf | unknown
1068.45/1071.31 c 1071s| 1400 | 1335 | 1909k| 741.5 | 148M | 176 |3387 |8988 |8820 | 30k| 1 | 487 | 22 | 0.000000e+00 | -- | Inf | unknown
1091.78/1094.71 c 1095s| 1500 | 1427 | 1977k| 739.1 | 151M | 185 |3387 |8971 |9176 | 32k| 1 | 491 | 22 | 0.000000e+00 | -- | Inf | unknown
1112.83/1115.81 c 1116s| 1600 | 1515 | 2047k| 737.6 | 151M | 188 |3387 |8971 |9159 | 33k| 1 | 494 | 22 | 0.000000e+00 | -- | Inf | unknown
1135.56/1138.60 c 1139s| 1700 | 1597 | 2114k| 734.9 | 152M | 188 |3387 |9011 |8968 | 35k| 1 | 555 | 22 | 0.000000e+00 | -- | Inf | unknown
1162.39/1165.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1162.39/1165.57 c 1166s| 1800 | 1693 | 2193k| 736.8 | 152M | 198 |3387 |9076 |9090 | 37k| 1 | 629 | 22 | 0.000000e+00 | -- | Inf | unknown
1186.92/1190.15 c 1190s| 1900 | 1782 | 2263k| 735.6 | 153M | 198 |3387 |9061 |8818 | 38k| 1 | 665 | 22 | 0.000000e+00 | -- | Inf | unknown
1206.56/1209.84 c 1210s| 2000 | 1882 | 2326k| 732.1 | 155M | 198 |3387 |9054 |9158 | 40k| 2 | 683 | 22 | 0.000000e+00 | -- | Inf | unknown
1230.39/1233.71 c 1234s| 2100 | 1982 | 2401k| 732.7 | 157M | 198 |3387 |9062 |9020 | 42k| 2 | 709 | 22 | 0.000000e+00 | -- | Inf | unknown
1379.00/1382.71 c 1383s| 2200 | 2076 | 2643k| 784.7 | 157M | 198 |3387 |9064 |8968 | 44k| 1 | 727 | 22 | 0.000000e+00 | -- | Inf | unknown
1397.65/1401.48 c 1401s| 2300 | 2174 | 2696k| 777.3 | 157M | 198 |3387 |9062 |9131 | 46k| 2 | 748 | 22 | 0.000000e+00 | -- | Inf | unknown
1423.68/1427.52 c 1428s| 2400 | 2274 | 2766k| 774.8 | 159M | 198 |3387 |9060 |9102 | 47k| 1 | 782 | 22 | 0.000000e+00 | -- | Inf | unknown
1442.93/1446.88 c 1447s| 2500 | 2372 | 2822k| 768.9 | 159M | 198 |3387 |9078 |9061 | 49k| 1 | 822 | 22 | 0.000000e+00 | -- | Inf | unknown
1463.37/1467.37 c 1467s| 2600 | 2470 | 2881k| 763.9 | 160M | 198 |3387 |9086 |8973 | 51k| 1 | 851 | 22 | 0.000000e+00 | -- | Inf | unknown
1494.58/1498.68 c 1499s| 2700 | 2568 | 2969k| 767.1 | 161M | 198 |3387 |9051 |9106 | 53k| 1 | 863 | 22 | 0.000000e+00 | -- | Inf | unknown
1515.83/1519.98 c 1520s| 2800 | 2666 | 3031k| 763.3 | 163M | 198 |3387 |9060 |8972 | 55k| 1 | 909 | 22 | 0.000000e+00 | -- | Inf | unknown
1534.88/1539.06 c 1539s| 2900 | 2760 | 3089k| 758.6 | 163M | 198 |3387 |9058 |8976 | 57k| 1 | 937 | 22 | 0.000000e+00 | -- | Inf | unknown
1555.52/1559.72 c 1560s| 3000 | 2860 | 3148k| 754.4 | 164M | 198 |3387 |9061 |8801 | 59k| 1 | 953 | 22 | 0.000000e+00 | -- | Inf | unknown
1579.25/1583.50 c 1583s| 3100 | 2955 | 3214k| 752.2 | 164M | 198 |3387 |9029 |8973 | 61k| 1 | 970 | 22 | 0.000000e+00 | -- | Inf | unknown
1605.98/1610.39 c 1610s| 3200 | 3053 | 3295k| 753.5 | 164M | 198 |3387 |9023 |8968 | 63k| 1 | 978 | 22 | 0.000000e+00 | -- | Inf | unknown
1632.11/1636.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1632.11/1636.59 c 1637s| 3300 | 3149 | 3375k| 754.7 | 164M | 198 |3387 |9025 |8904 | 64k| 2 | 987 | 22 | 0.000000e+00 | -- | Inf | unknown
1661.23/1665.70 c 1666s| 3400 | 3247 | 3462k| 757.2 | 166M | 198 |3387 |9039 |8953 | 66k| 2 |1012 | 22 | 0.000000e+00 | -- | Inf | unknown
1681.17/1685.79 c 1686s| 3500 | 3345 | 3526k| 754.6 | 166M | 199 |3387 |9084 |8820 | 68k| 1 |1065 | 22 | 0.000000e+00 | -- | Inf | unknown
1701.52/1706.11 c 1706s| 3600 | 3439 | 3585k| 751.0 | 168M | 199 |3387 |9103 |9101 | 70k| 1 |1096 | 22 | 0.000000e+00 | -- | Inf | unknown
1725.06/1729.77 c 1730s| 3700 | 3535 | 3650k| 748.8 | 170M | 199 |3387 |9117 |9104 | 72k| 1 |1124 | 22 | 0.000000e+00 | -- | Inf | unknown
1746.01/1750.70 c 1751s| 3800 | 3627 | 3711k| 746.0 | 171M | 199 |3387 |9108 |9171 | 74k| 1 |1152 | 22 | 0.000000e+00 | -- | Inf | unknown
1766.15/1770.93 c 1771s| 3900 | 3723 | 3773k| 743.4 | 172M | 199 |3387 |9109 |9193 | 75k| 1 |1191 | 22 | 0.000000e+00 | -- | Inf | unknown
1787.99/1792.86 c 1793s| 4000 | 3817 | 3837k| 741.5 | 173M | 199 |3387 |9115 |9205 | 77k| 1 |1210 | 22 | 0.000000e+00 | -- | Inf | unknown
1811.23/1816.14 c 1816s| 4100 | 3913 | 3905k| 740.3 | 173M | 199 |3387 |9099 |9019 | 79k| 2 |1232 | 22 | 0.000000e+00 | -- | Inf | unknown
1840.05/1845.05 c 1845s| 4200 | 4011 | 3989k| 742.1 | 173M | 199 |3387 |9072 |8818 | 81k| 1 |1244 | 22 | 0.000000e+00 | -- | Inf | unknown
1858.30/1863.37 c 1863s| 4300 | 4107 | 4047k| 739.2 | 174M | 206 |3387 |9093 |9306 | 82k| 1 |1275 | 22 | 0.000000e+00 | -- | Inf | unknown
1885.22/1890.38 c 1890s| 4400 | 4201 | 4124k| 739.8 | 175M | 207 |3387 |9117 |9216 | 84k| 1 |1316 | 22 | 0.000000e+00 | -- | Inf | unknown
1912.95/1918.13 c 1918s| 4500 | 4299 | 4215k| 742.9 | 175M | 207 |3387 |9109 |9207 | 86k| 2 |1332 | 22 | 0.000000e+00 | -- | Inf | unknown
1935.17/1940.42 c 1940s| 4600 | 4389 | 4279k| 740.9 | 176M | 207 |3387 |9118 |9250 | 87k| 1 |1357 | 22 | 0.000000e+00 | -- | Inf | unknown
1964.07/1969.41 c 1969s| 4700 | 4484 | 4376k| 745.0 | 177M | 207 |3387 |9151 |8971 | 89k| 1 |1406 | 22 | 0.000000e+00 | -- | Inf | unknown
1991.27/1996.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1991.27/1996.75 c 1997s| 4800 | 4584 | 4455k| 745.7 | 180M | 207 |3387 |9145 |9113 | 91k| 1 |1425 | 22 | 0.000000e+00 | -- | Inf | unknown
2009.51/2015.08 c 2015s| 4900 | 4684 | 4512k| 742.7 | 180M | 207 |3387 |9154 |9237 | 93k| 1 |1450 | 22 | 0.000000e+00 | -- | Inf | unknown
2030.82/2036.41 c 2036s| 5000 | 4780 | 4574k| 740.7 | 181M | 209 |3387 |9136 |8963 | 94k| 2 |1469 | 22 | 0.000000e+00 | -- | Inf | unknown
2051.75/2057.41 c 2057s| 5100 | 4878 | 4635k| 738.6 | 182M | 209 |3387 |9142 |9204 | 96k| 1 |1499 | 22 | 0.000000e+00 | -- | Inf | unknown
2081.94/2087.79 c 2088s| 5200 | 4974 | 4731k| 742.2 | 183M | 209 |3387 |9148 |9158 | 98k| 1 |1513 | 22 | 0.000000e+00 | -- | Inf | unknown
2107.35/2113.25 c 2113s| 5300 | 5072 | 4809k| 742.7 | 183M | 209 |3387 |9123 |9167 | 100k| 2 |1513 | 22 | 0.000000e+00 | -- | Inf | unknown
2127.08/2133.06 c 2133s| 5400 | 5168 | 4871k| 740.8 | 183M | 209 |3387 |9107 |8972 | 101k| 1 |1519 | 22 | 0.000000e+00 | -- | Inf | unknown
2144.51/2150.57 c 2151s| 5500 | 5266 | 4927k| 738.1 | 184M | 209 |3387 |9135 |9184 | 103k| 1 |1553 | 22 | 0.000000e+00 | -- | Inf | unknown
2167.62/2173.76 c 2174s| 5600 | 5366 | 4996k| 737.4 | 184M | 209 |3387 |9135 |9044 | 104k| 1 |1564 | 22 | 0.000000e+00 | -- | Inf | unknown
2191.34/2197.57 c 2198s| 5700 | 5466 | 5067k| 736.9 | 184M | 209 |3387 |9156 |9104 | 106k| 1 |1599 | 22 | 0.000000e+00 | -- | Inf | unknown
2216.15/2222.46 c 2222s| 5800 | 5566 | 5151k| 738.4 | 186M | 209 |3387 |9169 |9088 | 108k| 1 |1622 | 22 | 0.000000e+00 | -- | Inf | unknown
2241.48/2247.87 c 2248s| 5900 | 5660 | 5228k| 738.9 | 188M | 209 |3387 |9160 |9098 | 110k| 1 |1625 | 22 | 0.000000e+00 | -- | Inf | unknown
2271.50/2277.90 c 2278s| 6000 | 5760 | 5315k| 740.7 | 188M | 209 |3387 |9140 |8966 | 112k| 1 |1639 | 22 | 0.000000e+00 | -- | Inf | unknown
2292.34/2298.81 c 2299s| 6100 | 5854 | 5375k| 738.7 | 189M | 209 |3387 |9118 |9310 | 114k| 2 |1649 | 22 | 0.000000e+00 | -- | Inf | unknown
2310.49/2317.08 c 2317s| 6200 | 5950 | 5432k| 736.5 | 192M | 210 |3387 |9114 |8985 | 116k| 1 |1667 | 22 | 0.000000e+00 | -- | Inf | unknown
2328.93/2335.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2328.93/2335.58 c 2336s| 6300 | 6044 | 5491k| 734.4 | 192M | 210 |3387 |9118 |9115 | 118k| 1 |1679 | 22 | 0.000000e+00 | -- | Inf | unknown
2363.83/2370.58 c 2371s| 6400 | 6138 | 5609k| 740.4 | 194M | 210 |3387 |9126 |9266 | 119k| 1 |1697 | 22 | 0.000000e+00 | -- | Inf | unknown
2386.28/2393.03 c 2393s| 6500 | 6220 | 5680k| 740.0 | 194M | 210 |3387 |9155 |9120 | 121k| 2 |1730 | 22 | 0.000000e+00 | -- | Inf | unknown
2406.22/2413.04 c 2413s| 6600 | 6312 | 5743k| 738.6 | 195M | 210 |3387 |9148 |9319 | 123k| 1 |1730 | 22 | 0.000000e+00 | -- | Inf | unknown
2431.75/2438.65 c 2439s| 6700 | 6402 | 5824k| 739.5 | 196M | 210 |3387 |9174 |9093 | 124k| 1 |1766 | 22 | 0.000000e+00 | -- | Inf | unknown
2449.51/2456.46 c 2456s| 6800 | 6492 | 5882k| 737.5 | 196M | 210 |3387 |9175 | 0 | 126k| 0 |1775 | 22 | 0.000000e+00 | -- | Inf | unknown
2468.46/2475.40 c 2475s| 6900 | 6588 | 5938k| 735.3 | 196M | 210 |3387 |9198 |9278 | 127k| 1 |1815 | 22 | 0.000000e+00 | -- | Inf | unknown
2496.18/2503.25 c 2503s| 7000 | 6680 | 6026k| 737.0 | 197M | 210 |3387 |9221 |9200 | 129k| 1 |1851 | 22 | 0.000000e+00 | -- | Inf | unknown
2513.94/2521.09 c 2521s| 7100 | 6776 | 6080k| 734.6 | 198M | 210 |3387 |9218 |9298 | 131k| 1 |1854 | 22 | 0.000000e+00 | -- | Inf | unknown
2534.08/2541.20 c 2541s| 7200 | 6868 | 6143k| 733.3 | 199M | 210 |3387 |9221 |9290 | 132k| 2 |1862 | 22 | 0.000000e+00 | -- | Inf | unknown
2553.93/2561.16 c 2561s| 7300 | 6950 | 6203k| 731.8 | 199M | 210 |3387 |9245 |9164 | 133k| 1 |1901 | 22 | 0.000000e+00 | -- | Inf | unknown
2577.36/2584.62 c 2585s| 7400 | 7038 | 6277k| 731.9 | 200M | 210 |3387 |9268 |9104 | 135k| 1 |1933 | 22 | 0.000000e+00 | -- | Inf | unknown
2598.20/2605.56 c 2606s| 7500 | 7127 | 6345k| 731.2 | 200M | 221 |3387 |9269 |9263 | 136k| 2 |1952 | 22 | 0.000000e+00 | -- | Inf | unknown
2617.54/2624.98 c 2625s| 7600 | 7225 | 6402k| 729.4 | 202M | 221 |3387 |9252 |9224 | 138k| 1 |1957 | 22 | 0.000000e+00 | -- | Inf | unknown
2638.99/2646.40 c 2646s| 7700 | 7318 | 6466k| 728.4 | 203M | 221 |3387 |9275 |9221 | 140k| 1 |1997 | 22 | 0.000000e+00 | -- | Inf | unknown
2667.91/2675.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2667.91/2675.49 c 2675s| 7800 | 7410 | 6547k| 729.3 | 205M | 221 |3387 |9266 | 0 | 142k| 0 |2022 | 22 | 0.000000e+00 | -- | Inf | unknown
2690.66/2698.21 c 2698s| 7900 | 7506 | 6615k| 728.8 | 205M | 221 |3387 |9231 |9092 | 144k| 2 |2027 | 22 | 0.000000e+00 | -- | Inf | unknown
2712.90/2720.53 c 2721s| 8000 | 7606 | 6689k| 728.9 | 208M | 221 |3387 |9241 |9114 | 145k| 1 |2058 | 22 | 0.000000e+00 | -- | Inf | unknown
2732.36/2740.02 c 2740s| 8100 | 7692 | 6751k| 727.6 | 208M | 221 |3387 |9254 |9301 | 147k| 1 |2101 | 22 | 0.000000e+00 | -- | Inf | unknown
2758.19/2765.99 c 2766s| 8200 | 7790 | 6832k| 728.6 | 215M | 221 |3387 |9288 |9358 | 148k| 1 |2149 | 22 | 0.000000e+00 | -- | Inf | unknown
2783.93/2791.76 c 2792s| 8300 | 7888 | 6918k| 730.0 | 216M | 221 |3387 |9265 |9314 | 150k| 2 |2155 | 22 | 0.000000e+00 | -- | Inf | unknown
2798.39/2806.29 c 2806s| 8400 | 7986 | 6970k| 727.7 | 218M | 221 |3387 |9268 |8982 | 151k| 1 |2183 | 22 | 0.000000e+00 | -- | Inf | unknown
2820.34/2828.20 c 2828s| 8500 | 8082 | 7043k| 727.8 | 218M | 221 |3387 |9241 |9111 | 153k| 1 |2198 | 22 | 0.000000e+00 | -- | Inf | unknown
2840.29/2848.27 c 2848s| 8600 | 8180 | 7106k| 726.7 | 218M | 221 |3387 |9258 |9176 | 155k| 1 |2226 | 22 | 0.000000e+00 | -- | Inf | unknown
2866.32/2874.32 c 2874s| 8700 | 8276 | 7192k| 728.1 | 218M | 221 |3387 |9253 |9110 | 156k| 1 |2232 | 22 | 0.000000e+00 | -- | Inf | unknown
2886.57/2894.60 c 2895s| 8800 | 8376 | 7257k| 727.3 | 219M | 221 |3387 |9276 |9370 | 158k| 1 |2264 | 22 | 0.000000e+00 | -- | Inf | unknown
2903.73/2911.85 c 2912s| 8900 | 8476 | 7310k| 725.3 | 219M | 221 |3387 |9264 |9354 | 159k| 1 |2269 | 22 | 0.000000e+00 | -- | Inf | unknown
2932.55/2940.77 c 2941s| 9000 | 8573 | 7406k| 727.7 | 220M | 221 |3387 |9282 |9261 | 161k| 2 |2314 | 22 | 0.000000e+00 | -- | Inf | unknown
2955.59/2963.80 c 2964s| 9100 | 8669 | 7479k| 727.7 | 221M | 221 |3387 |9256 |9099 | 162k| 1 |2317 | 22 | 0.000000e+00 | -- | Inf | unknown
2977.44/2985.77 c 2986s| 9200 | 8769 | 7549k| 727.4 | 222M | 221 |3387 |9273 |9357 | 164k| 1 |2354 | 22 | 0.000000e+00 | -- | Inf | unknown
2998.58/3006.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2998.58/3006.96 c 3007s| 9300 | 8869 | 7619k| 727.2 | 223M | 221 |3387 |9288 |9177 | 165k| 1 |2385 | 22 | 0.000000e+00 | -- | Inf | unknown
3017.93/3026.38 c 3026s| 9400 | 8969 | 7677k| 725.8 | 223M | 221 |3387 |9276 |9222 | 167k| 1 |2390 | 22 | 0.000000e+00 | -- | Inf | unknown
3040.28/3048.71 c 3049s| 9500 | 9069 | 7743k| 725.1 | 223M | 221 |3387 |9299 |9039 | 169k| 1 |2429 | 22 | 0.000000e+00 | -- | Inf | unknown
3067.21/3075.74 c 3076s| 9600 | 9167 | 7817k| 725.2 | 223M | 221 |3387 |9279 |9359 | 170k| 1 |2440 | 22 | 0.000000e+00 | -- | Inf | unknown
3094.24/3102.85 c 3103s| 9700 | 9259 | 7903k| 726.5 | 223M | 221 |3387 |9279 |8977 | 172k| 2 |2469 | 22 | 0.000000e+00 | -- | Inf | unknown
3129.16/3137.83 c 3138s| 9800 | 9357 | 8006k| 729.4 | 223M | 221 |3387 |9275 |9104 | 173k| 1 |2492 | 22 | 0.000000e+00 | -- | Inf | unknown
3150.90/3159.69 c 3160s| 9900 | 9454 | 8090k| 730.3 | 223M | 221 |3387 |9259 |9213 | 175k| 1 |2496 | 22 | 0.000000e+00 | -- | Inf | unknown
3178.53/3187.36 c 3187s| 10000 | 9554 | 8182k| 732.0 | 225M | 221 |3387 |9275 |9288 | 177k| 1 |2537 | 22 | 0.000000e+00 | -- | Inf | unknown
3199.08/3207.94 c 3208s| 10100 | 9644 | 8243k| 731.0 | 226M | 221 |3387 |9268 |8818 | 178k| 1 |2544 | 22 | 0.000000e+00 | -- | Inf | unknown
3219.43/3228.30 c 3228s| 10200 | 9728 | 8307k| 730.2 | 227M | 221 |3387 |9272 |9131 | 180k| 1 |2558 | 22 | 0.000000e+00 | -- | Inf | unknown
3238.48/3247.47 c 3247s| 10300 | 9822 | 8364k| 728.7 | 227M | 221 |3387 |9271 |9159 | 182k| 2 |2568 | 22 | 0.000000e+00 | -- | Inf | unknown
3256.64/3265.62 c 3266s| 10400 | 9922 | 8417k| 727.0 | 227M | 221 |3387 |9299 |9041 | 183k| 1 |2612 | 22 | 0.000000e+00 | -- | Inf | unknown
3278.48/3287.52 c 3288s| 10500 | 10020 | 8479k| 726.1 | 228M | 221 |3387 |9302 |9174 | 185k| 1 |2634 | 22 | 0.000000e+00 | -- | Inf | unknown
3301.52/3310.69 c 3311s| 10600 | 10118 | 8551k| 726.0 | 229M | 221 |3387 |9304 |9271 | 187k| 1 |2656 | 22 | 0.000000e+00 | -- | Inf | unknown
3320.58/3329.78 c 3330s| 10700 | 10212 | 8610k| 724.9 | 229M | 221 |3387 |9304 |9119 | 188k| 1 |2672 | 22 | 0.000000e+00 | -- | Inf | unknown
3339.83/3349.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3339.83/3349.03 c 3349s| 10800 | 10308 | 8673k| 724.1 | 230M | 221 |3387 |9302 |9310 | 190k| 1 |2700 | 22 | 0.000000e+00 | -- | Inf | unknown
3366.76/3376.06 c 3376s| 10900 | 10404 | 8754k| 724.8 | 231M | 221 |3387 |9300 |8965 | 192k| 2 |2725 | 22 | 0.000000e+00 | -- | Inf | unknown
3392.19/3401.57 c 3402s| 11000 | 10502 | 8829k| 725.0 | 234M | 221 |3387 |9318 |9131 | 194k| 1 |2762 | 22 | 0.000000e+00 | -- | Inf | unknown
3414.64/3424.04 c 3424s| 11100 | 10600 | 8889k| 724.0 | 234M | 221 |3387 |9302 |9368 | 195k| 1 |2770 | 22 | 0.000000e+00 | -- | Inf | unknown
3434.69/3444.13 c 3444s| 11200 | 10696 | 8949k| 723.0 | 234M | 221 |3387 |9293 |9290 | 197k| 1 |2774 | 22 | 0.000000e+00 | -- | Inf | unknown
3459.12/3468.69 c 3469s| 11300 | 10794 | 9026k| 723.3 | 234M | 221 |3387 |9304 |9110 | 199k| 1 |2810 | 22 | 0.000000e+00 | -- | Inf | unknown
3487.86/3497.41 c 3497s| 11400 | 10890 | 9106k| 724.0 | 235M | 221 |3387 |9298 |9392 | 200k| 2 |2820 | 22 | 0.000000e+00 | -- | Inf | unknown
3509.20/3518.89 c 3519s| 11500 | 10986 | 9175k| 723.7 | 236M | 221 |3387 |9284 |9227 | 202k| 1 |2820 | 22 | 0.000000e+00 | -- | Inf | unknown
3530.65/3540.35 c 3540s| 11600 | 11080 | 9254k| 724.2 | 237M | 221 |3387 |9322 |9316 | 204k| 1 |2863 | 22 | 0.000000e+00 | -- | Inf | unknown
3554.79/3564.50 c 3564s| 11700 | 11176 | 9326k| 724.2 | 237M | 221 |3387 |9344 |9159 | 205k| 1 |2905 | 22 | 0.000000e+00 | -- | Inf | unknown
3573.54/3583.30 c 3583s| 11800 | 11267 | 9386k| 723.2 | 239M | 221 |3387 |9336 |9020 | 207k| 2 |2915 | 22 | 0.000000e+00 | -- | Inf | unknown
3587.10/3597.00 c
3587.10/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.10/3597.00 c Solving Time (sec) : 3597.00
3587.10/3597.00 c Solving Nodes : 11868 (total of 12917 nodes in 2 runs)
3587.10/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.10/3597.00 c Dual Bound : +0.00000000000000e+00
3587.10/3597.00 c Gap : infinite
3587.10/3597.00 s UNKNOWN
3587.10/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.10/3597.00 c Total Time : 3597.00
3587.10/3597.00 c solving : 3597.00
3587.10/3597.00 c presolving : 0.35 (included in solving)
3587.10/3597.00 c reading : 0.02 (included in solving)
3587.10/3597.00 c copying : 0.38 (27 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3587.10/3597.00 c Original Problem :
3587.10/3597.00 c Problem name : HOME/instance-4450625-1721415749.opb
3587.10/3597.00 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.10/3597.00 c Constraints : 9504 initial, 9504 maximal
3587.10/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.10/3597.00 c Presolved Problem :
3587.10/3597.00 c Problem name : t_HOME/instance-4450625-1721415749.opb
3587.10/3597.00 c Variables : 3387 (3387 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.10/3597.00 c Constraints : 8750 initial, 9375 maximal
3587.10/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.10/3597.00 c Nonzeros : 41028 constraint, 1390 clique table
3587.10/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.10/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c gateextraction : 0.01 0.00 4 0 0 0 0 0 96 32 0 0
3587.10/3597.00 c implics : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c milp : 0.03 0.00 1 2 63 0 0 0 0 0 0 0
3587.10/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c trivial : 0.00 0.00 19 55 0 0 0 0 0 0 0 0
3587.10/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c dualfix : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c probing : 0.12 0.00 1 0 1 0 0 0 0 0 0 0
3587.10/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c knapsack : 0.00 0.00 18 0 0 0 0 0 1 3 1 3
3587.10/3597.00 c setppc : 0.00 0.00 13 0 0 0 0 0 1 0 0 0
3587.10/3597.00 c and : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c linear : 0.09 0.00 29 679 101 0 679 0 2551 1478 106 0
3587.10/3597.00 c logicor : 0.05 0.01 23 0 0 0 0 0 582 0 0 34
3587.10/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.10/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.10/3597.00 c benderslp : 0 0 0 0 12653 0 0 2018 0 0 0 0 0 0 0
3587.10/3597.00 c integral : 0 0 0 0 12653 0 0 2018 0 0 0 0 0 0 25306
3587.10/3597.00 c knapsack : 60+ 67 11 348353 0 0 0 0 546 27 1739 85 12 0 0
3587.10/3597.00 c setppc : 120+ 127 11 302751 0 0 0 0 1341 16 1550 0 0 0 0
3587.10/3597.00 c and : 32 32 12986 346040 0 0 0 2013 1080 2 1621 732 662 0 0
3587.10/3597.00 c linear : 1345+ 1356 22 364902 0 0 0 204 46526 3381 69347 0 0 0 0
3587.10/3597.00 c logicor : 7193+ 7808 22 229974 0 0 0 0 11513 216 17614 9 6 0 0
3587.10/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.10/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.10/3597.00 c integral : 19.00 0.00 0.00 0.00 19.00 0.00 0.00 0.00 0.00 0.00
3587.10/3597.00 c knapsack : 0.10 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.00
3587.10/3597.00 c setppc : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3587.10/3597.00 c and : 0.14 0.00 0.05 0.07 0.00 0.00 0.00 0.01 0.00 0.00
3587.10/3597.00 c linear : 1.34 0.00 0.00 1.30 0.00 0.00 0.00 0.00 0.03 0.00
3587.21/3597.00 c logicor : 1.16 0.01 0.02 1.13 0.00 0.00 0.00 0.00 0.01 0.00
3587.21/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.21/3597.00 c dualfix : 2 0 0 0
3587.21/3597.00 c genvbounds : 0 0 0 0
3587.21/3597.00 c nlobbt : 0 0 0 0
3587.21/3597.00 c obbt : 0 0 0 0
3587.21/3597.00 c probing : 0 0 0 0
3587.21/3597.00 c pseudoobj : 0 0 0 0
3587.21/3597.00 c redcost : 0 0 0 0
3587.21/3597.00 c rootredcost : 0 0 0 0
3587.21/3597.00 c symmetry : 0 0 0 0
3587.21/3597.00 c vbounds : 69864 0 0 0
3587.21/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.21/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.21/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c probing : 0.12 0.00 0.12 0.00 0.00 0.00
3587.21/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3587.21/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.21/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.21/3597.00 c symmetry : 0.07 0.00 0.02 0.05 0.00 0.00
3587.21/3597.00 c vbounds : 0.09 0.00 0.00 0.09 0.00 0.00
3587.21/3597.00 c Symmetry :
3587.21/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.21/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.21/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.21/3597.00 c shadow tree time : 0.00 s
3587.21/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.21/3597.00 c propagation : 0.11 525 524 - 6384 159.3 374 8.8 - - -
3587.21/3597.00 c infeasible LP : 0.10 67 65 - 2126 303.2 41 7.5 60 122.0 0
3587.21/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.21/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.21/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.21/3597.00 c applied globally : 0.01 - - 0 2907 50.4 - - 60 - -
3587.21/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.21/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.21/3597.00 c cut pool : 1.33 - 2711 42 - - 15914 802088 - - - - - (maximal pool size: 5397)
3587.21/3597.00 c aggregation : 0.47 0.00 90 22 0 0 10302 428088 385 139071 138799 272 0
3587.21/3597.00 c > cmir : - - - - - - - 178695 0 39421 39421 0 -
3587.21/3597.00 c > flowcover : - - - - - - - 147331 0 55478 55478 0 -
3587.21/3597.00 c > knapsackcover : - - - - - - - 102062 385 44172 43900 272 -
3587.21/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c clique : 0.03 0.00 22 22 0 0 10 146 0 49 49 0 0
3587.21/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c gomory : 16.70 0.00 89 20 0 0 4531 226980 142 17946 17930 16 0
3587.21/3597.00 c > gomorymi : - - - - - - - 106835 71 12775 12762 13 -
3587.21/3597.00 c > strongcg : - - - - - - - 120145 71 5171 5168 3 -
3587.21/3597.00 c impliedbounds : 0.01 0.00 91 22 0 0 779 25969 0 12433 12433 0 0
3587.21/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c multilinear : 0.00 0.00 151 22 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c rapidlearning : 2.59 0.00 23 2 0 20 0 0 0 0 0 0 22
3587.21/3597.00 c rlt : 1.30 0.00 76 20 0 0 18 27 3 10 10 0 0
3587.21/3597.00 c zerohalf : 1.47 0.00 86 22 0 0 1260 120878 457 57524 57109 415 0
3587.21/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.21/3597.00 c hybrid : 1.83 0.00 3207 22 227713 0 576188 4869 0 7693
3587.21/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.21/3597.00 c problem variables: 0.00 - 0 0
3587.21/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.21/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c relpscost : 18.98 0.00 12653 0 0 0 0 0 0 25306
3587.21/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.21/3597.00 c LP solutions : 0.00 - - 0 0
3587.21/3597.00 c relax solutions : 0.00 - - 0 0
3587.21/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.21/3597.00 c strong branching : 0.00 - - 0 0
3587.21/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c adaptivediving : 28.20 0.00 15 0 0
3587.21/3597.00 c alns : 0.13 0.00 4 0 0
3587.21/3597.00 c bound : 0.00 0.00 0 0 0
3587.21/3597.00 c clique : 0.02 0.00 1 0 0
3587.21/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c completesol : 0.00 0.00 0 0 0
3587.21/3597.00 c conflictdiving : 368.49 0.00 229 0 0
3587.21/3597.00 c crossover : 0.00 0.00 0 0 0
3587.21/3597.00 c dins : 0.00 0.00 0 0 0
3587.21/3597.00 c distributiondivin: 185.67 0.00 67 0 0
3587.21/3597.00 c dps : 0.00 0.00 0 0 0
3587.21/3597.00 c dualval : 0.00 0.00 0 0 0
3587.21/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c feasjump : 0.03 0.00 2 0 0
3587.21/3597.00 c feaspump : 42.23 0.00 11 0 0
3587.21/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.21/3597.00 c fracdiving : 189.90 0.00 69 0 0
3587.21/3597.00 c gins : 0.00 0.00 0 0 0
3587.21/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.21/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c indicator : 0.01 0.00 0 0 0
3587.21/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.21/3597.00 c indoneopt : 0.00 0.00 0 0 0
3587.21/3597.00 c indrounding : 0.00 0.00 0 0 0
3587.21/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3587.21/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.21/3597.00 c linesearchdiving : 191.45 0.00 63 0 0
3587.21/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.21/3597.00 c locks : 0.04 0.00 1 0 0
3587.21/3597.00 c lpface : 0.05 0.00 0 0 0
3587.21/3597.00 c mpec : 0.00 0.00 0 0 0
3587.21/3597.00 c multistart : 0.00 0.00 0 0 0
3587.21/3597.00 c mutation : 0.00 0.00 0 0 0
3587.21/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c objpscostdiving : 335.58 0.00 2 0 0
3587.21/3597.00 c octane : 0.00 0.00 0 0 0
3587.21/3597.00 c ofins : 0.00 0.00 0 0 0
3587.21/3597.00 c oneopt : 0.01 0.00 0 0 0
3587.21/3597.00 c padm : 0.00 0.00 0 0 0
3587.21/3597.00 c proximity : 0.00 0.00 0 0 0
3587.21/3597.00 c pscostdiving : 207.58 0.00 37 0 0
3587.21/3597.00 c randrounding : 0.52 0.00 2028 0 0
3587.21/3597.00 c rens : 0.00 0.00 0 0 0
3587.21/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.21/3597.00 c repair : 0.00 0.00 0 0 0
3587.21/3597.00 c rins : 0.00 0.00 0 0 0
3587.21/3597.00 c rootsoldiving : 27.28 0.00 12 0 0
3587.21/3597.00 c rounding : 0.38 0.00 1736 0 0
3587.21/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.21/3597.00 c shiftandpropagate: 0.04 0.00 2 0 0
3587.21/3597.00 c shifting : 1.04 0.00 818 0 0
3587.21/3597.00 c simplerounding : 0.01 0.00 0 0 0
3587.21/3597.00 c smallcard : 0.00 0.00 0 0 0
3587.21/3597.00 c subnlp : 0.01 0.00 0 0 0
3587.21/3597.00 c trivial : 0.00 0.00 4 0 0
3587.21/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.21/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.21/3597.00 c trysol : 0.00 0.00 0 0 0
3587.21/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.21/3597.00 c undercover : 0.00 0.00 1 0 0
3587.21/3597.00 c vbounds : 0.00 0.00 0 0 0
3587.21/3597.00 c veclendiving : 201.47 0.00 147 0 0
3587.21/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.21/3597.00 c zirounding : 0.25 0.00 1000 0 0
3587.21/3597.00 c other solutions : - - - 0 -
3587.21/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.21/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.21/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.21/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.21/3597.00 c primal LP : 1.54 1297 0 0.00 0.00 1.54 1297
3587.21/3597.00 c dual LP : 1747.95 15868 6162586 388.46 3525.62 0.01 4
3587.21/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.21/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.21/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.21/3597.00 c diving/probing LP: 1761.63 3613 3266197 904.01 1854.08
3587.21/3597.00 c strong branching : 12.46 22 21343 970.14 1713.42 - - 42
3587.21/3597.00 c (at root node) : - 22 21343 970.14 -
3587.21/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.21/3597.00 c B&B Tree :
3587.21/3597.00 c number of runs : 2
3587.21/3597.00 c nodes : 11868 (11604 internal, 264 leaves)
3587.21/3597.00 c feasible leaves : 0
3587.21/3597.00 c infeas. leaves : 263
3587.21/3597.00 c objective leaves : 0
3587.21/3597.00 c nodes (total) : 12917 (12653 internal, 264 leaves)
3587.21/3597.00 c nodes left : 11334
3587.21/3597.00 c max depth : 221
3587.21/3597.00 c max depth (total): 221
3587.21/3597.00 c backtracks : 629 (5.3%)
3587.21/3597.00 c early backtracks : 0 (0.0%)
3587.21/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.21/3597.00 c delayed cutoffs : 8
3587.21/3597.00 c repropagations : 1322 (404 domain reductions, 1 cutoffs)
3587.21/3597.00 c avg switch length: 3.54
3587.21/3597.00 c switching time : 3.44
3587.21/3597.00 c Root Node :
3587.21/3597.00 c First LP value : +0.00000000000000e+00
3587.21/3597.00 c First LP Iters : 946 (30070.89 Iter/sec)
3587.21/3597.00 c First LP Time : 0.03
3587.21/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.21/3597.00 c Final Root Iters : 94626
3587.21/3597.00 c Root LP Estimate : +3.18231910585099e-01
3587.21/3597.00 c Solution :
3587.21/3597.00 c Solutions found : 0 (0 improvements)
3587.21/3597.00 c Primal Bound : -
3587.21/3597.00 c Dual Bound : +0.00000000000000e+00
3587.21/3597.00 c Gap : infinite
3587.21/3597.00 c Integrals : Total Avg%
3587.21/3597.00 c primal-dual : 359699.74 100.00
3587.21/3597.00 c primal-ref : - - (not evaluated)
3587.21/3597.00 c dual-ref : - - (not evaluated)
3587.21/3597.05 c Time complete: 3587.26.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61552 MiB free)
memory of node 1: 64473 MiB (61854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450625-1721415749/watcher-4450625-1721415749 -o /tmp/evaluation-result-4450625-1721415749/solver-4450625-1721415749 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721410880-1025277 --watchdog 3760 pbscip -f HOME/instance-4450625-1721415749.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1028489, runsolver pid=1028486
[startup+0.107199 s]*
/proc/loadavg: 4.30 4.17 4.11 5/255 1028490
/proc/meminfo: memFree=126335460/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=87136 memory=47796 CPUtime=0.1 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 9926 0 0 0 9 1 0 0 20 0 1 0 193745790 89227264 11949 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 21784 11949 3761 3540 0 10041 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 87136 KiB
Current children cumulated memory: 47796 KiB
[startup+0.205967 s]*
/proc/loadavg: 4.30 4.17 4.11 5/255 1028490
/proc/meminfo: memFree=126330684/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=91908 memory=52868 CPUtime=0.19 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 11139 0 0 0 18 1 0 0 20 0 1 0 193745790 94113792 13217 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 22977 13217 3777 3540 0 11234 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 52868 KiB
[startup+0.305858 s]*
/proc/loadavg: 4.30 4.17 4.11 5/255 1028490
/proc/meminfo: memFree=126327184/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=100696 memory=57128 CPUtime=0.29 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 12197 0 0 0 28 1 0 0 20 0 1 0 193745790 103112704 14282 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 25174 14282 3793 3540 0 13431 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100696 KiB
Current children cumulated memory: 57128 KiB
[startup+0.70021 s]
/proc/loadavg: 4.30 4.17 4.11 5/255 1028490
/proc/meminfo: memFree=126302068/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=161828 memory=116664 CPUtime=0.69 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 27753 0 0 0 65 4 0 0 20 0 1 0 193745790 165711872 29166 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 40457 29166 4001 3540 0 28714 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 116664 KiB
[startup+1.50019 s]
/proc/loadavg: 4.30 4.17 4.11 5/255 1028490
/proc/meminfo: memFree=126270792/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=157644 memory=113120 CPUtime=1.49 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 27976 0 0 0 145 4 0 0 20 0 1 0 193745790 161427456 28280 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 39411 28280 4032 3540 0 27668 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 157644 KiB
Current children cumulated memory: 113120 KiB
[startup+3.10493 s]
/proc/loadavg: 4.30 4.17 4.11 5/255 1028490
/proc/meminfo: memFree=126270792/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=157644 memory=113120 CPUtime=3.09 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 27990 0 0 0 305 4 0 0 20 0 1 0 193745790 161427456 28280 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 39411 28280 4032 3540 0 27668 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 157644 KiB
Current children cumulated memory: 113120 KiB
[startup+6.30015 s]
/proc/loadavg: 4.36 4.18 4.11 5/255 1028490
/proc/meminfo: memFree=126270820/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=157644 memory=113344 CPUtime=6.27 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 27995 0 0 0 623 4 0 0 20 0 1 0 193745790 161427456 28336 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 39411 28336 4032 3540 0 27668 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 157644 KiB
Current children cumulated memory: 113344 KiB
[startup+12.7002 s]
/proc/loadavg: 4.33 4.18 4.11 5/255 1028492
/proc/meminfo: memFree=126270540/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=157644 memory=113344 CPUtime=12.66 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 28025 0 0 0 1262 4 0 0 20 0 1 0 193745790 161427456 28336 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 39411 28336 4032 3540 0 27668 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 157644 KiB
Current children cumulated memory: 113344 KiB
[startup+25.5002 s]
/proc/loadavg: 4.26 4.17 4.11 5/255 1028493
/proc/meminfo: memFree=126268244/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=161252 memory=116248 CPUtime=25.42 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 28718 0 0 0 2538 4 0 0 20 0 1 0 193745790 165122048 29062 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 40313 29062 4032 3540 0 28570 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 161252 KiB
Current children cumulated memory: 116248 KiB
[startup+51.1049 s]
/proc/loadavg: 4.25 4.17 4.11 5/255 1028498
/proc/meminfo: memFree=126235524/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=194732 memory=147676 CPUtime=50.95 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 37992 0 0 0 5090 5 0 0 20 0 1 0 193745790 199405568 36919 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 48683 36919 4032 3540 0 36940 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 194732 KiB
Current children cumulated memory: 147676 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.17 4.11 5/255 1028507
/proc/meminfo: memFree=126234752/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=194732 memory=147676 CPUtime=102.03 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 37992 0 0 0 10197 6 0 0 20 0 1 0 193745790 199405568 36919 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 48683 36919 4032 3540 0 36940 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 194732 KiB
Current children cumulated memory: 147676 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/254 1028517
/proc/meminfo: memFree=126233968/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=194732 memory=147676 CPUtime=161.88 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 37992 0 0 0 16181 7 0 0 20 0 1 0 193745790 199405568 36919 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 48683 36919 4032 3540 0 36940 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 194732 KiB
Current children cumulated memory: 147676 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/254 1028527
/proc/meminfo: memFree=126232872/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=194732 memory=147676 CPUtime=221.73 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 37992 0 0 0 22166 7 0 0 20 0 1 0 193745790 199405568 36919 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 48683 36919 4032 3540 0 36940 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 194732 KiB
Current children cumulated memory: 147676 KiB
[startup+282.3 s]
/proc/loadavg: 4.44 4.21 4.12 5/254 1028537
/proc/meminfo: memFree=126237076/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=187568 memory=142724 CPUtime=281.58 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 39494 0 0 0 28150 8 0 0 20 0 1 0 193745790 192069632 35681 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 46892 35681 4032 3540 0 35149 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 187568 KiB
Current children cumulated memory: 142724 KiB
[startup+342.3 s]
/proc/loadavg: 4.88 4.37 4.18 5/254 1028548
/proc/meminfo: memFree=126234800/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=187568 memory=142724 CPUtime=341.42 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 39494 0 0 0 34134 8 0 0 20 0 1 0 193745790 192069632 35681 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 46892 35681 4032 3540 0 35149 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 187568 KiB
Current children cumulated memory: 142724 KiB
[startup+402.3 s]
/proc/loadavg: 4.72 4.41 4.21 5/254 1028558
/proc/meminfo: memFree=126228320/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=193244 memory=148400 CPUtime=401.27 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 46291 0 0 0 40117 10 0 0 20 0 1 0 193745790 197881856 37100 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 48311 37100 4032 3540 0 36568 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 193244 KiB
Current children cumulated memory: 148400 KiB
[startup+462.3 s]
/proc/loadavg: 4.46 4.40 4.21 5/256 1028572
/proc/meminfo: memFree=126224908/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=196184 memory=150820 CPUtime=461.11 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 49219 0 0 0 46100 11 0 0 20 0 1 0 193745790 200892416 37705 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 49046 37705 4048 3540 0 37303 0
################
# More data... #
################
/proc/loadavg: 4.15 4.18 4.18 5/258 1030199
/proc/meminfo: memFree=126219064/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=290332 memory=251800 CPUtime=3153.59 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 79615 0 0 0 315342 17 0 0 20 0 1 0 193745790 297299968 62950 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 72583 62950 4048 3540 0 60840 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 290332 KiB
Current children cumulated memory: 251800 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/257 1030210
/proc/meminfo: memFree=126213752/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=293384 memory=254084 CPUtime=3213.44 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 80325 0 0 0 321327 17 0 0 20 0 1 0 193745790 300425216 63521 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 73346 63521 4048 3540 0 61603 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 293384 KiB
Current children cumulated memory: 254084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.17 4.18 5/257 1030221
/proc/meminfo: memFree=126207512/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=294892 memory=255784 CPUtime=3273.29 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 80814 0 0 0 327312 17 0 0 20 0 1 0 193745790 301969408 63946 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 73723 63946 4048 3540 0 61980 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 294892 KiB
Current children cumulated memory: 255784 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.19 4.18 5/259 1030402
/proc/meminfo: memFree=126169044/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=295468 memory=256440 CPUtime=3333.14 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 81081 0 0 0 333297 17 0 0 20 0 1 0 193745790 302559232 64110 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 73867 64110 4048 3540 0 62124 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 295468 KiB
Current children cumulated memory: 256440 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/259 1030412
/proc/meminfo: memFree=126142712/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=300336 memory=259464 CPUtime=3392.99 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 81953 0 0 0 339282 17 0 0 20 0 1 0 193745790 307544064 64866 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 75084 64866 4048 3540 0 63341 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 300336 KiB
Current children cumulated memory: 259464 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/259 1030426
/proc/meminfo: memFree=126112444/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=300724 memory=261328 CPUtime=3452.84 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 82172 0 0 0 345267 17 0 0 20 0 1 0 193745790 307941376 65332 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 75181 65332 4048 3540 0 63438 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 300724 KiB
Current children cumulated memory: 261328 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/258 1030449
/proc/meminfo: memFree=126096212/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=303700 memory=264148 CPUtime=3512.69 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 82998 0 0 0 351251 18 0 0 20 0 1 0 193745790 310988800 66037 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 75925 66037 4048 3540 0 64182 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 303700 KiB
Current children cumulated memory: 264148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/259 1030461
/proc/meminfo: memFree=126091380/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=304400 memory=265020 CPUtime=3572.54 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83323 0 0 0 357236 18 0 0 20 0 1 0 193745790 311705600 66255 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76100 66255 4048 3540 0 64357 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 304400 KiB
Current children cumulated memory: 265020 KiB
[startup+3597.06 s]
# the end of solver process 1028489 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.08 s, system=0.185466 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.15 4.17 5/259 1030461
/proc/meminfo: memFree=126090456/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=305304 memory=265812 CPUtime=3574.24 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83554 0 0 0 357406 18 0 0 20 0 1 0 193745790 312631296 66453 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76326 66453 4048 3540 0 64583 0
Current children cumulated CPU time: 3574.24 s
Current children cumulated vsize: 305304 KiB
Current children cumulated memory: 265812 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.15 4.17 5/259 1030463
/proc/meminfo: memFree=126090268/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=305304 memory=265968 CPUtime=3580.62 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83666 0 0 0 358044 18 0 0 20 0 1 0 193745790 312631296 66492 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76326 66492 4048 3540 0 64583 0
Current children cumulated CPU time: 3580.62 s
Current children cumulated vsize: 305304 KiB
Current children cumulated memory: 265968 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.14 4.17 5/259 1030463
/proc/meminfo: memFree=126089128/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=306584 memory=266960 CPUtime=3583.81 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83959 0 0 0 358363 18 0 0 20 0 1 0 193745790 313942016 66740 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76646 66740 4048 3540 0 64903 0
Current children cumulated CPU time: 3583.81 s
Current children cumulated vsize: 306584 KiB
Current children cumulated memory: 266960 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.14 4.17 5/259 1030463
/proc/meminfo: memFree=126089128/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=306584 memory=266960 CPUtime=3585.41 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83961 0 0 0 358523 18 0 0 20 0 1 0 193745790 313942016 66740 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76646 66740 4048 3540 0 64903 0
Current children cumulated CPU time: 3585.41 s
Current children cumulated vsize: 306584 KiB
Current children cumulated memory: 266960 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.14 4.17 5/259 1030463
/proc/meminfo: memFree=126089128/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=306584 memory=266960 CPUtime=3586.21 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83961 0 0 0 358603 18 0 0 20 0 1 0 193745790 313942016 66740 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76646 66740 4048 3540 0 64903 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 306584 KiB
Current children cumulated memory: 266960 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.14 4.17 5/259 1030463
/proc/meminfo: memFree=126089128/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=306584 memory=266960 CPUtime=3587 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83961 0 0 0 358682 18 0 0 20 0 1 0 193745790 313942016 66740 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76646 66740 4048 3540 0 64903 0
Current children cumulated CPU time: 3587 s
Current children cumulated vsize: 306584 KiB
Current children cumulated memory: 266960 KiB
[startup+3597 s]*
/proc/loadavg: 4.12 4.14 4.17 5/259 1030463
/proc/meminfo: memFree=126089128/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=306584 memory=266960 CPUtime=3587.21 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83961 0 0 0 358703 18 0 0 20 0 1 0 193745790 313942016 66740 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76646 66740 4048 3540 0 64903 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 306584 KiB
Current children cumulated memory: 266960 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3587.27
CPU user time (s): 3587.08
CPU system time (s): 0.185466
CPU usage (%): 99.7278
Max. virtual memory (cumulated for all children) (KiB): 306584
Max. memory (cumulated for all children) (KiB): 266960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.08
system time used= 0.185466
maximum resident set size= 266960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83998
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= 46
involuntary context switches= 3431
# summary of solver processes directly reported to runsolver:
# pid: 1028489
# total CPU time (s): 3587.27
# total CPU user time (s): 3587.08
# total CPU system time (s): 0.185466
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.70439 second user time and 13.9406 second system time
The end
Begin job on nodeC035 at 2024-07-19 21:02:42 IDJOB=4450625 IDBENCH=162177 IDSOLVER=3059 FILE ID=nodeC035/4450625-1721415749 RUNJOBID= nodeC035-1721410880-1025277 SLURM_JOB_ID= 7545474 Free space on /tmp= 890012 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round23-9.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450625-1721415749/watcher-4450625-1721415749 -o /tmp/evaluation-result-4450625-1721415749/solver-4450625-1721415749 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721410880-1025277 --watchdog 3760 pbscip -f HOME/instance-4450625-1721415749.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bf1757ad4e21f2473915004abf7b1376 RANDOM SEED=328421314 nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.879 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.121 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.845 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.848 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.840 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.525 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.018 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.079 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126369484 kB MemAvailable: 129045916 kB Buffers: 543160 kB Cached: 2951620 kB SwapCached: 0 kB Active: 1015224 kB Inactive: 3467504 kB Active(anon): 1536 kB Inactive(anon): 1032320 kB Active(file): 1013688 kB Inactive(file): 2435184 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19544 kB Writeback: 0 kB AnonPages: 987952 kB Mapped: 142672 kB Shmem: 45916 kB KReclaimable: 134764 kB Slab: 251664 kB SReclaimable: 134764 kB SUnreclaim: 116900 kB KernelStack: 4032 kB PageTables: 11496 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1247372 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 72832 kB HardwareCorrupted: 0 kB AnonHugePages: 833536 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 207572 kB DirectMap2M: 19488768 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 889992 MiB End job on nodeC035 at 2024-07-19 22:02:39