| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3586.49 | 3597.07 |
| Name | PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j605_7-sat.opb |
| MD5SUM | 0cdbb1fc299265025d38c8df62ac854d |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1.43976 |
| 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 | 9272 |
| Total number of constraints | 29130 |
| Number of constraints which are clauses | 28830 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 300 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 32 |
| 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 | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4501768-1751153310.opb>
0.00/0.06 c original problem has 9272 variables (9272 bin, 0 int, 0 impl, 0 cont) and 29130 constraints
0.00/0.06 c problem read in 0.06
0.00/0.06 c No objective function, only one solution is needed.
0.10/0.10 c presolving:
0.10/0.16 c (round 1, fast) 4974 del vars, 5652 del conss, 0 add conss, 1375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 10642 clqs
0.10/0.19 c (round 2, fast) 8302 del vars, 17823 del conss, 0 add conss, 1375 chg bounds, 16 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 10376 clqs
0.10/0.19 c (round 3, fast) 8302 del vars, 18259 del conss, 0 add conss, 1375 chg bounds, 16 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 10619 clqs
0.10/0.21 c (0.2s) running MILP presolver
0.39/0.42 c (0.4s) MILP presolver (14 rounds): 77 aggregations, 116 fixings, 0 bound changes
0.39/0.43 c (round 4, medium) 8495 del vars, 18259 del conss, 0 add conss, 1375 chg bounds, 16 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 9534 clqs
0.39/0.43 c (round 5, fast) 8500 del vars, 19213 del conss, 0 add conss, 1375 chg bounds, 16 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 9539 clqs
0.39/0.45 c (round 6, exhaustive) 8500 del vars, 19218 del conss, 0 add conss, 1375 chg bounds, 16 chg sides, 10 chg coeffs, 9912 upgd conss, 0 impls, 9543 clqs
0.39/0.47 c (round 7, medium) 8500 del vars, 19218 del conss, 7 add conss, 1375 chg bounds, 29 chg sides, 44 chg coeffs, 9912 upgd conss, 0 impls, 9560 clqs
0.39/0.48 c (round 8, exhaustive) 8500 del vars, 24437 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9560 clqs
0.39/0.49 c (round 9, fast) 8502 del vars, 24447 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9679 clqs
0.39/0.49 c (round 10, fast) 8505 del vars, 24490 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9634 clqs
0.39/0.49 c (round 11, fast) 8507 del vars, 24530 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9592 clqs
0.39/0.49 c (round 12, fast) 8509 del vars, 24567 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9556 clqs
0.39/0.49 c (round 13, fast) 8511 del vars, 24597 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9522 clqs
0.39/0.49 c (round 14, fast) 8513 del vars, 24628 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9490 clqs
0.39/0.50 c (round 15, fast) 8515 del vars, 24656 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9461 clqs
0.39/0.50 c (round 16, fast) 8516 del vars, 24679 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9460 clqs
0.39/0.50 c (round 17, fast) 8517 del vars, 24697 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9433 clqs
0.39/0.50 c (round 18, fast) 8519 del vars, 24713 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9407 clqs
0.39/0.50 c (round 19, fast) 8521 del vars, 24731 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9381 clqs
0.39/0.50 c (round 20, fast) 8522 del vars, 24750 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9380 clqs
0.39/0.50 c (round 21, fast) 8523 del vars, 24761 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9359 clqs
0.39/0.50 c (round 22, fast) 8525 del vars, 24775 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9339 clqs
0.50/0.51 c (round 23, fast) 8527 del vars, 24792 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9322 clqs
0.50/0.51 c (round 24, fast) 8529 del vars, 24803 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9308 clqs
0.50/0.51 c (round 25, fast) 8531 del vars, 24812 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9299 clqs
0.50/0.51 c (round 26, fast) 8532 del vars, 24818 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9298 clqs
0.50/0.51 c (round 27, fast) 8533 del vars, 24827 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9289 clqs
0.50/0.52 c (round 28, exhaustive) 8536 del vars, 24827 del conss, 1691 add conss, 1375 chg bounds, 34 chg sides, 68 chg coeffs, 9912 upgd conss, 0 impls, 9280 clqs
0.50/0.52 c (round 29, medium) 8541 del vars, 24833 del conss, 1693 add conss, 1375 chg bounds, 35 chg sides, 70 chg coeffs, 9912 upgd conss, 0 impls, 9273 clqs
0.50/0.53 c (round 30, medium) 8543 del vars, 24835 del conss, 1694 add conss, 1375 chg bounds, 39 chg sides, 84 chg coeffs, 9912 upgd conss, 0 impls, 9269 clqs
0.50/0.53 c (round 31, exhaustive) 8546 del vars, 24836 del conss, 1695 add conss, 1375 chg bounds, 41 chg sides, 93 chg coeffs, 9912 upgd conss, 0 impls, 9262 clqs
0.50/0.54 c (round 32, medium) 8549 del vars, 24838 del conss, 1695 add conss, 1375 chg bounds, 43 chg sides, 102 chg coeffs, 9912 upgd conss, 0 impls, 9257 clqs
0.50/0.54 c (round 33, exhaustive) 8552 del vars, 24839 del conss, 1695 add conss, 1375 chg bounds, 45 chg sides, 112 chg coeffs, 9912 upgd conss, 0 impls, 9250 clqs
0.50/0.55 c (round 34, medium) 8555 del vars, 24841 del conss, 1695 add conss, 1375 chg bounds, 47 chg sides, 121 chg coeffs, 9912 upgd conss, 0 impls, 9245 clqs
0.50/0.55 c (round 35, exhaustive) 8558 del vars, 24842 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 9238 clqs
0.50/0.56 c (round 36, medium) 8561 del vars, 24844 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 9233 clqs
0.50/0.56 c (round 37, exhaustive) 8564 del vars, 24845 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 9226 clqs
0.50/0.57 c (round 38, medium) 8567 del vars, 24847 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 9221 clqs
0.50/0.57 c (round 39, exhaustive) 8570 del vars, 24848 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 9214 clqs
0.50/0.58 c (round 40, medium) 8574 del vars, 24913 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 9146 clqs
1.68/1.73 c (1.7s) probing: 1000/3589 (27.9%) - 4 fixings, 2 aggregations, 222752 implications, 0 bound changes
2.88/2.97 c (3.0s) probing: 2000/3589 (55.7%) - 16 fixings, 6 aggregations, 521307 implications, 0 bound changes
3.28/3.30 c (round 41, exhaustive) 8599 del vars, 24913 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 67140 clqs
3.28/3.30 c (round 42, fast) 8606 del vars, 24981 del conss, 1695 add conss, 1375 chg bounds, 55 chg sides, 172 chg coeffs, 9912 upgd conss, 0 impls, 66889 clqs
3.28/3.32 c (round 43, exhaustive) 8606 del vars, 25225 del conss, 1939 add conss, 1375 chg bounds, 55 chg sides, 194 chg coeffs, 9912 upgd conss, 0 impls, 66889 clqs
3.98/4.06 c (4.1s) probing: 3000/3589 (83.6%) - 16 fixings, 9 aggregations, 709824 implications, 0 bound changes
4.27/4.39 c (4.4s) probing: 3313/3589 (92.3%) - 16 fixings, 9 aggregations, 773625 implications, 0 bound changes
4.27/4.39 c (4.4s) probing aborted: 1000/1000 successive useless probings
4.27/4.39 c (4.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.37/4.41 c (4.4s) no symmetry present (symcode time: 0.00)
4.37/4.41 c presolving (44 rounds: 44 fast, 20 medium, 11 exhaustive):
4.37/4.41 c 8606 deleted vars, 25225 deleted constraints, 1939 added constraints, 1375 tightened bounds, 0 added holes, 55 changed sides, 198 changed coefficients
4.37/4.41 c 0 implications, 68601 cliques
4.37/4.41 c presolved problem has 3557 variables (3557 bin, 0 int, 0 impl, 0 cont) and 5844 constraints
4.37/4.41 c 262 constraints of type <knapsack>
4.37/4.41 c 4322 constraints of type <setppc>
4.37/4.41 c 1257 constraints of type <and>
4.37/4.41 c 3 constraints of type <logicor>
4.37/4.41 c transformed objective value is always integral (scale: 1)
4.37/4.41 c Presolving Time: 4.31
4.37/4.41 c - non default parameters ----------------------------------------------------------------------
4.37/4.41 c # SCIP version 10.0.0
4.37/4.41 c
4.37/4.41 c # maximal time in seconds to run
4.37/4.41 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.37/4.41 c limits/time = 3596.99802
4.37/4.41 c
4.37/4.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.37/4.41 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.37/4.41 c limits/memory = 27900
4.37/4.41 c
4.37/4.41 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
4.37/4.41 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
4.37/4.41 c limits/solutions = 1
4.37/4.41 c
4.37/4.41 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.
4.37/4.41 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
4.37/4.41 c misc/usesymmetry = 3
4.37/4.41 c
4.37/4.41 c # belongs reading time to solving time?
4.37/4.41 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.37/4.41 c timing/reading = TRUE
4.37/4.41 c
4.37/4.41 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
4.37/4.41 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.37/4.41 c propagating/symmetry/detectdoublelex = FALSE
4.37/4.41 c
4.37/4.41 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
4.37/4.41 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.37/4.41 c propagating/symmetry/detectsubgroups = FALSE
4.37/4.41 c
4.37/4.41 c # Type of symmetries that shall be computed?
4.37/4.41 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
4.37/4.41 c propagating/symmetry/symtype = 1
4.37/4.41 c
4.37/4.41 c # Should components consisting of a single full reflection be handled?
4.37/4.41 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.37/4.41 c propagating/symmetry/usesimplesgncomp = FALSE
4.37/4.41 c
4.37/4.41 c -----------------------------------------------------------------------------------------------
4.37/4.41 c start solving
4.37/4.41 c
5.67/5.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.67/5.75 c 5.7s| 1 | 0 | 6026 | - | 91M | 0 |3557 |5876 |7101 | 0 | 0 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
13.55/13.65 c 13.6s| 1 | 0 | 32533 | - | 100M | 0 |3557 |6085 |7197 | 96 | 1 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
14.85/14.94 c 14.9s| 1 | 0 | 34038 | - | 103M | 0 |3557 |6086 |7290 | 189 | 2 | 41 | 0 | 0.000000e+00 | -- | Inf | unknown
16.35/16.41 c 16.4s| 1 | 0 | 35767 | - | 104M | 0 |3557 |6087 |7379 | 278 | 3 | 42 | 0 | 0.000000e+00 | -- | Inf | unknown
17.64/17.71 c 17.7s| 1 | 0 | 36951 | - | 105M | 0 |3557 |6089 |7474 | 373 | 4 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown
18.84/18.98 c 19.0s| 1 | 0 | 37661 | - | 107M | 0 |3557 |6090 |7506 | 405 | 5 | 45 | 0 | 0.000000e+00 | -- | Inf | unknown
20.24/20.31 c 20.3s| 1 | 0 | 38406 | - | 108M | 0 |3557 |6091 |7527 | 426 | 6 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
21.63/21.71 c 21.7s| 1 | 0 | 39390 | - | 109M | 0 |3557 |6092 |7627 | 526 | 7 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown
22.83/22.96 c 23.0s| 1 | 0 | 40003 | - | 110M | 0 |3557 |6093 |7738 | 637 | 8 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
24.33/24.49 c 24.5s| 1 | 0 | 41404 | - | 111M | 0 |3557 |6095 |7750 | 649 | 9 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
25.62/25.70 c 25.7s| 1 | 0 | 41916 | - | 112M | 0 |3557 |6097 |7789 | 688 | 10 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
26.22/26.32 c 26.3s| 1 | 0 | 43313 | - | 112M | 0 |3557 |6098 |7770 | 706 | 11 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
35.10/35.25 c 35.2s| 1 | 2 | 50909 | - | 113M | 0 |3557 |6109 |7770 | 706 | 11 | 64 | 11 | 0.000000e+00 | -- | Inf | unknown
56.84/57.01 c 57.0s| 100 | 25 |106116 | 636.5 | 119M | 20 |3557 |6282 |7602 |1229 | 2 | 238 | 11 | 0.000000e+00 | -- | Inf | unknown
90.76/91.07 c 91.1s| 200 | 25 |166174 | 618.4 | 124M | 20 |3557 |6486 |7543 |1594 | 2 | 449 | 11 | 0.000000e+00 | -- | Inf | 3.30%
113.89/114.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
113.89/114.20 c 114s| 300 | 45 |238884 | 654.8 | 131M | 33 |3557 |6777 | 0 |1981 | 0 | 743 | 11 | 0.000000e+00 | -- | Inf | 3.30%
120.68/121.09 c 121s| 400 | 50 |266576 | 560.1 | 131M | 35 |3557 |6991 | 0 |2244 | 0 | 958 | 11 | 0.000000e+00 | -- | Inf | 3.30%
126.36/126.75 c 127s| 500 | 57 |291559 | 497.9 | 132M | 39 |3557 |7332 | 0 |2600 | 0 |1305 | 11 | 0.000000e+00 | -- | Inf | 3.30%
131.35/131.71 c 132s| 600 | 51 |311854 | 448.7 | 136M | 44 |3557 |7840 |7623 |2873 | 2 |1823 | 11 | 0.000000e+00 | -- | Inf | 3.30%
139.13/139.50 c 139s| 700 | 42 |344282 | 430.9 | 137M | 44 |3557 |8159 |7590 |3133 | 2 |2151 | 11 | 0.000000e+00 | -- | Inf | 3.31%
151.49/151.92 c 152s| 800 | 48 |379457 | 421.0 | 137M | 44 |3557 |8391 | 0 |3344 | 0 |2401 | 11 | 0.000000e+00 | -- | Inf | 3.31%
156.28/156.73 c 157s| 900 | 44 |398548 | 395.4 | 138M | 44 |3557 |8690 |7582 |3502 | 2 |2748 | 11 | 0.000000e+00 | -- | Inf | 3.31%
161.68/162.17 c 162s| 1000 | 47 |419800 | 377.1 | 138M | 44 |3557 |8934 |7619 |3689 | 2 |3100 | 11 | 0.000000e+00 | -- | Inf | 3.31%
167.66/168.18 c 168s| 1100 | 46 |446259 | 366.8 | 139M | 44 |3557 |9219 |7630 |3981 | 1 |3493 | 11 | 0.000000e+00 | -- | Inf | 3.31%
174.33/174.84 c 175s| 1200 | 40 |475241 | 360.4 | 139M | 44 |3557 |9431 | 0 |4245 | 0 |3850 | 11 | 0.000000e+00 | -- | Inf | 3.31%
183.31/183.81 c 184s| 1300 | 43 |507771 | 357.7 | 142M | 44 |3557 |9352 |7618 |4597 | 2 |4119 | 11 | 0.000000e+00 | -- | Inf | 3.51%
189.99/190.55 c 191s| 1400 | 46 |537036 | 353.1 | 144M | 44 |3557 |9488 | 0 |4865 | 0 |4331 | 11 | 0.000000e+00 | -- | Inf | 3.52%
196.68/197.25 c 197s| 1500 | 42 |562834 | 346.7 | 146M | 44 |3557 |9508 |7629 |5239 | 2 |4550 | 11 | 0.000000e+00 | -- | Inf | 3.66%
198.58/199.13 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
198.58/199.17 c (run 1, node 1526) performing user restart
198.58/199.17 c
198.58/199.18 c (restart) converted 129 cuts from the global cut pool into linear constraints
198.58/199.18 c
198.58/199.19 c presolving:
198.67/199.20 c (round 1, fast) 0 del vars, 85 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 68601 clqs
198.67/199.28 c (round 2, exhaustive) 0 del vars, 90 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 68601 clqs
198.67/199.29 c (round 3, exhaustive) 0 del vars, 90 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 0 chg coeffs, 326 upgd conss, 0 impls, 68601 clqs
198.77/199.36 c (round 4, exhaustive) 0 del vars, 452 del conss, 2 add conss, 0 chg bounds, 5 chg sides, 174 chg coeffs, 326 upgd conss, 0 impls, 68601 clqs
198.87/199.47 c (round 5, exhaustive) 0 del vars, 454 del conss, 2 add conss, 0 chg bounds, 5 chg sides, 743 chg coeffs, 326 upgd conss, 0 impls, 68601 clqs
198.97/199.57 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
198.97/199.57 c 0 deleted vars, 454 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 743 changed coefficients
198.97/199.57 c 0 implications, 68601 cliques
198.97/199.57 c presolved problem has 3557 variables (3557 bin, 0 int, 0 impl, 0 cont) and 9216 constraints
198.97/199.57 c 308 constraints of type <knapsack>
198.97/199.57 c 4466 constraints of type <setppc>
198.97/199.57 c 1257 constraints of type <and>
198.97/199.57 c 27 constraints of type <linear>
198.97/199.57 c 3158 constraints of type <logicor>
198.97/199.57 c transformed objective value is always integral (scale: 1)
198.97/199.57 c Presolving Time: 4.69
198.97/199.57 c
200.37/200.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
200.37/200.96 c 201s| 1 | 0 |577394 | - | 153M | 0 |3557 |9233 |7229 | 0 | 0 |4645 | 11 | 0.000000e+00 | -- | Inf | unknown
202.06/202.67 c 203s| 1 | 0 |579756 | - | 154M | 0 |3557 |9234 |7393 | 164 | 1 |4646 | 11 | 0.000000e+00 | -- | Inf | unknown
203.66/204.29 c 204s| 1 | 0 |581796 | - | 154M | 0 |3557 |9235 |7471 | 242 | 2 |4647 | 11 | 0.000000e+00 | -- | Inf | unknown
205.15/205.77 c 206s| 1 | 0 |583257 | - | 156M | 0 |3557 |9236 |7522 | 293 | 3 |4648 | 11 | 0.000000e+00 | -- | Inf | unknown
206.56/207.17 c 207s| 1 | 0 |584226 | - | 158M | 0 |3557 |9240 |7558 | 329 | 4 |4652 | 11 | 0.000000e+00 | -- | Inf | unknown
208.15/208.73 c 209s| 1 | 0 |585549 | - | 159M | 0 |3557 |9242 |7581 | 352 | 5 |4654 | 11 | 0.000000e+00 | -- | Inf | unknown
209.64/210.21 c 210s| 1 | 0 |586746 | - | 160M | 0 |3557 |9243 |7615 | 386 | 6 |4655 | 11 | 0.000000e+00 | -- | Inf | unknown
211.14/211.70 c 212s| 1 | 0 |587946 | - | 161M | 0 |3557 |9243 |7650 | 421 | 7 |4656 | 11 | 0.000000e+00 | -- | Inf | unknown
212.63/213.26 c 213s| 1 | 0 |589164 | - | 162M | 0 |3557 |9244 |7668 | 439 | 8 |4658 | 11 | 0.000000e+00 | -- | Inf | unknown
214.13/214.78 c 215s| 1 | 0 |590320 | - | 162M | 0 |3557 |9245 |7681 | 452 | 9 |4660 | 11 | 0.000000e+00 | -- | Inf | unknown
215.43/216.07 c 216s| 1 | 0 |590762 | - | 165M | 0 |3557 |9244 |7694 | 465 | 10 |4661 | 11 | 0.000000e+00 | -- | Inf | unknown
215.93/216.53 c 217s| 1 | 0 |591566 | - | 165M | 0 |3557 |9241 |7548 | 484 | 11 |4663 | 11 | 0.000000e+00 | -- | Inf | unknown
227.90/228.50 c 228s| 1 | 2 |598373 | - | 165M | 0 |3557 |8963 |7548 | 484 | 11 |4680 | 30 | 0.000000e+00 | -- | Inf | unknown
250.84/251.53 c 252s| 100 | 22 |682643 | 381.1 | 171M | 29 |3557 |8975 |7600 | 958 | 2 |4915 | 30 | 0.000000e+00 | -- | Inf | unknown
268.98/269.72 c 270s| 200 | 30 |738788 | 391.5 | 173M | 29 |3557 |8826 |7604 |1360 | 2 |5163 | 30 | 0.000000e+00 | -- | Inf | unknown
320.23/321.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
320.23/321.11 c 321s| 300 | 33 |817059 | 413.0 | 176M | 29 |3557 |8674 |7537 |1839 | 2 |5337 | 30 | 0.000000e+00 | -- | Inf | unknown
335.68/336.62 c 337s| 400 | 37 |864450 | 416.1 | 180M | 29 |3557 |8551 |7622 |2386 | 1 |5522 | 30 | 0.000000e+00 | -- | Inf | 0.64%
342.26/343.28 c 343s| 500 | 34 |889845 | 408.1 | 182M | 29 |3557 |8714 |7611 |2633 | 2 |5719 | 30 | 0.000000e+00 | -- | Inf | 0.74%
355.22/356.26 c 356s| 600 | 38 |939389 | 412.2 | 183M | 29 |3557 |8817 |7636 |3180 | 2 |5981 | 30 | 0.000000e+00 | -- | Inf | 0.79%
365.68/366.76 c 367s| 700 | 34 |989040 | 416.0 | 183M | 29 |3557 |8882 |7602 |3613 | 2 |6201 | 30 | 0.000000e+00 | -- | Inf | 0.84%
379.04/380.12 c 380s| 800 | 31 | 1042k| 421.1 | 186M | 29 |3557 |8957 |7591 |4152 | 2 |6456 | 30 | 0.000000e+00 | -- | Inf | 0.87%
395.79/396.92 c 397s| 900 | 28 | 1097k| 426.6 | 190M | 29 |3557 |8980 |7583 |4649 | 2 |6643 | 30 | 0.000000e+00 | -- | Inf | 1.06%
414.83/416.07 c 416s| 1000 | 33 | 1163k| 435.6 | 192M | 29 |3557 |8940 |7607 |5191 | 2 |6840 | 30 | 0.000000e+00 | -- | Inf | 1.25%
430.38/431.63 c 432s| 1100 | 33 | 1208k| 436.3 | 197M | 29 |3557 |8874 |7652 |5697 | 2 |6998 | 30 | 0.000000e+00 | -- | Inf | 2.31%
443.13/444.40 c 444s| 1200 | 31 | 1248k| 434.9 | 201M | 29 |3557 |8979 |7604 |6262 | 2 |7196 | 30 | 0.000000e+00 | -- | Inf | 2.83%
461.28/462.64 c 463s| 1300 | 34 | 1304k| 439.4 | 207M | 29 |3557 |9109 |7600 |6872 | 2 |7376 | 30 | 0.000000e+00 | -- | Inf | 4.42%
470.65/472.03 c 472s| 1400 | 35 | 1336k| 435.3 | 210M | 29 |3557 |9154 | 0 |7210 | 0 |7569 | 30 | 0.000000e+00 | -- | Inf | 4.58%
479.43/480.80 c 481s| 1500 | 38 | 1379k| 435.1 | 212M | 29 |3557 |9308 |7656 |7455 | 2 |7825 | 30 | 0.000000e+00 | -- | Inf | 4.64%
492.69/494.16 c 494s| 1600 | 33 | 1425k| 435.9 | 217M | 29 |3557 |9236 |7676 |8013 | 2 |8015 | 30 | 0.000000e+00 | -- | Inf | 5.19%
502.05/503.52 c 504s| 1700 | 34 | 1452k| 430.6 | 221M | 29 |3557 |9391 | 0 |8262 | 0 |8295 | 30 | 0.000000e+00 | -- | Inf | 5.81%
508.03/509.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
508.03/509.58 c 510s| 1800 | 38 | 1468k| 422.7 | 224M | 29 |3557 |9637 |7673 |8493 | 1 |8589 | 30 | 0.000000e+00 | -- | Inf | 6.11%
515.41/516.90 c 517s| 1900 | 32 | 1490k| 416.8 | 227M | 29 |3557 |9772 | 0 |8769 | 0 |8821 | 30 | 0.000000e+00 | -- | Inf | 6.31%
534.05/535.62 c 536s| 2000 | 33 | 1548k| 421.3 | 230M | 29 |3557 |9734 |7671 |9348 | 2 |9019 | 30 | 0.000000e+00 | -- | Inf | 6.53%
551.29/552.93 c 553s| 2100 | 31 | 1595k| 422.6 | 234M | 29 |3557 |9681 | 0 | 10k| 0 |9183 | 30 | 0.000000e+00 | -- | Inf | 7.33%
573.02/574.79 c 575s| 2200 | 37 | 1645k| 424.8 | 241M | 29 |3557 |9531 |7599 | 10k| 0 |9320 | 30 | 0.000000e+00 | -- | Inf | 7.93%
580.00/581.75 c 582s| 2300 | 36 | 1682k| 423.4 | 243M | 29 |3557 |9686 | 0 | 11k| 0 |9542 | 30 | 0.000000e+00 | -- | Inf | 7.96%
603.53/605.31 c 605s| 2400 | 40 | 1748k| 429.4 | 244M | 29 |3557 |9669 |7625 | 12k| 2 |9727 | 30 | 0.000000e+00 | -- | Inf | 8.62%
613.30/615.19 c 615s| 2500 | 42 | 1791k| 429.3 | 244M | 29 |3557 |9812 |7687 | 12k| 2 |9952 | 30 | 0.000000e+00 | -- | Inf | 8.74%
629.44/631.36 c 631s| 2600 | 33 | 1839k| 430.5 | 248M | 29 |3557 |9799 |7505 | 13k| 2 | 10k| 30 | 0.000000e+00 | -- | Inf | 9.62%
687.17/689.29 c 689s| 2700 | 43 | 1939k| 444.1 | 256M | 29 |3557 |9659 |7688 | 13k| 2 | 10k| 30 | 0.000000e+00 | -- | Inf | 11.00%
697.74/699.85 c 700s| 2800 | 41 | 1976k| 442.3 | 258M | 29 |3557 |9792 |7669 | 14k| 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 11.09%
709.60/711.73 c 712s| 2900 | 50 | 2023k| 443.0 | 260M | 29 |3557 |9966 |7676 | 14k| 2 | 10k| 30 | 0.000000e+00 | -- | Inf | 11.15%
724.06/726.27 c 726s| 3000 | 40 | 2073k| 444.3 | 262M | 29 |3557 | 10k| 0 | 15k| 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 11.58%
735.42/737.61 c 738s| 3100 | 40 | 2115k| 443.8 | 264M | 29 |3557 | 10k|7696 | 15k| 2 | 11k| 30 | 0.000000e+00 | -- | Inf | 11.65%
740.81/743.10 c 743s| 3200 | 43 | 2140k| 439.6 | 264M | 29 |3557 | 10k|7714 | 15k| 2 | 11k| 30 | 0.000000e+00 | -- | Inf | 11.68%
746.59/748.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
746.59/748.89 c 749s| 3300 | 44 | 2166k| 436.0 | 264M | 29 |3557 | 10k|7743 | 16k| 2 | 11k| 30 | 0.000000e+00 | -- | Inf | 11.68%
751.27/753.55 c 754s| 3400 | 47 | 2188k| 431.5 | 264M | 32 |3557 | 10k| 0 | 16k| 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 11.69%
759.04/761.32 c 761s| 3500 | 38 | 2222k| 429.6 | 265M | 32 |3557 | 10k|7691 | 16k| 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 11.71%
775.09/777.47 c 777s| 3600 | 50 | 2272k| 431.1 | 268M | 32 |3557 | 10k|7726 | 17k| 2 | 12k| 30 | 0.000000e+00 | -- | Inf | 12.13%
778.48/780.84 c 781s| 3700 | 46 | 2286k| 425.5 | 268M | 32 |3557 | 11k| 0 | 17k| 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 12.14%
784.86/787.22 c 787s| 3800 | 52 | 2313k| 422.6 | 270M | 32 |3557 | 11k|7725 | 17k| 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 12.14%
787.65/790.04 c 790s| 3900 | 49 | 2325k| 417.0 | 270M | 32 |3557 | 11k| 0 | 17k| 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 12.14%
796.22/798.67 c 799s| 4000 | 46 | 2361k| 415.9 | 270M | 32 |3557 | 11k|8029 | 18k| 2 | 13k| 30 | 0.000000e+00 | -- | Inf | 12.16%
854.84/857.42 c 857s| 4100 | 46 | 2581k| 447.6 | 271M | 32 |3557 | 11k| 0 | 21k| 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 12.16%
900.40/903.12 c 903s| 4200 | 47 | 2757k| 470.6 | 271M | 32 |3557 | 11k| 0 | 22k| 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 12.22%
953.03/956.00 c 956s| 4300 | 46 | 2964k| 498.1 | 271M | 32 |3557 | 11k| 0 | 23k| 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 12.22%
999.89/1002.92 c 1003s| 4400 | 45 | 3146k| 520.3 | 272M | 32 |3557 | 11k|8166 | 24k| 2 | 14k| 30 | 0.000000e+00 | -- | Inf | 12.22%
1048.14/1051.30 c 1051s| 4500 | 43 | 3329k| 542.2 | 272M | 32 |3557 | 12k| 0 | 26k| 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 12.23%
1127.79/1131.24 c 1131s| 4600 | 46 | 3612k| 579.4 | 272M | 32 |3557 | 12k| 0 | 28k| 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 12.24%
1255.39/1259.29 c 1259s| 4700 | 50 | 4009k| 634.0 | 277M | 32 |3557 | 11k| 0 | 32k| 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 13.19%
1365.05/1369.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1365.05/1369.20 c 1369s| 4800 | 56 | 4362k| 679.7 | 280M | 32 |3557 | 11k|8110 | 35k| 2 | 14k| 30 | 0.000000e+00 | -- | Inf | 13.62%
1425.96/1430.34 c 1430s| 4900 | 59 | 4591k| 704.8 | 280M | 32 |3557 | 11k|8234 | 37k| 2 | 15k| 30 | 0.000000e+00 | -- | Inf | 13.68%
1633.02/1638.09 c 1638s| 5000 | 77 | 5097k| 771.5 | 280M | 32 |3557 | 11k| 0 | 41k| 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 13.91%
1688.04/1693.28 c 1693s| 5100 | 69 | 5302k| 790.8 | 280M | 32 |3557 | 11k|8042 | 43k| 2 | 15k| 30 | 0.000000e+00 | -- | Inf | 14.01%
1825.11/1830.78 c 1831s| 5200 | 74 | 5737k| 843.7 | 282M | 32 |3557 | 10k|7788 | 46k| 2 | 15k| 30 | 0.000000e+00 | -- | Inf | 14.40%
1925.60/1931.52 c 1932s| 5300 | 77 | 6084k| 882.1 | 283M | 32 |3557 | 10k|8167 | 49k| 2 | 15k| 30 | 0.000000e+00 | -- | Inf | 14.49%
2044.32/2050.61 c 2051s| 5400 | 77 | 6469k| 925.1 | 283M | 32 |3557 | 10k| 0 | 52k| 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 14.88%
2175.71/2182.45 c 2182s| 5500 | 87 | 6824k| 962.4 | 284M | 32 |3557 | 10k| 0 | 54k| 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 15.00%
2226.05/2232.96 c 2233s| 5600 | 83 | 7023k| 976.9 | 284M | 32 |3557 | 10k| 0 | 56k| 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 15.02%
2310.79/2317.99 c 2318s| 5700 | 87 | 7326k|1005.2 | 286M | 32 |3557 | 11k|8289 | 58k| 2 | 16k| 30 | 0.000000e+00 | -- | Inf | 15.03%
2360.23/2367.51 c 2368s| 5800 | 78 | 7525k|1018.8 | 287M | 32 |3557 | 11k| 0 | 60k| 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 15.03%
2410.87/2418.39 c 2418s| 5900 | 82 | 7731k|1032.7 | 287M | 32 |3557 | 11k| 0 | 62k| 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 15.06%
2484.74/2492.49 c 2492s| 6000 | 82 | 7975k|1051.5 | 287M | 32 |3557 | 11k| 0 | 65k| 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 15.08%
2561.99/2569.94 c 2570s| 6100 | 83 | 8234k|1071.6 | 289M | 37 |3557 | 11k|8192 | 67k| 2 | 17k| 30 | 0.000000e+00 | -- | Inf | 15.38%
2642.39/2650.57 c 2651s| 6200 | 87 | 8511k|1093.6 | 290M | 37 |3557 | 11k|8287 | 69k| 2 | 17k| 30 | 0.000000e+00 | -- | Inf | 15.53%
2702.66/2710.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2702.66/2710.99 c 2711s| 6300 | 79 | 8736k|1108.3 | 290M | 37 |3557 | 11k| 0 | 71k| 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 16.00%
2766.32/2774.78 c 2775s| 6400 | 91 | 8979k|1125.1 | 292M | 37 |3557 | 11k|8216 | 73k| 2 | 18k| 30 | 0.000000e+00 | -- | Inf | 16.15%
2847.12/2855.75 c 2856s| 6500 | 83 | 9249k|1144.7 | 293M | 37 |3557 | 11k|8020 | 76k| 2 | 18k| 30 | 0.000000e+00 | -- | Inf | 16.60%
3014.83/3023.92 c 3024s| 6600 | 94 | 9710k|1187.3 | 299M | 37 |3557 | 11k| 0 | 79k| 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 17.23%
3070.17/3079.49 c 3079s| 6700 | 85 | 9913k|1197.6 | 299M | 37 |3557 | 10k|8483 | 81k| 2 | 18k| 30 | 0.000000e+00 | -- | Inf | 17.72%
3194.90/3204.59 c 3205s| 6800 | 85 | 10333k|1233.6 | 302M | 37 |3557 | 10k| 0 | 84k| 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 18.77%
3314.04/3323.90 c 3324s| 6900 | 89 | 10753k|1268.8 | 302M | 37 |3557 | 11k|8404 | 86k| 2 | 19k| 30 | 0.000000e+00 | -- | Inf | 18.86%
3369.32/3379.37 c 3379s| 7000 | 80 | 10962k|1278.5 | 302M | 37 |3557 | 11k|8163 | 87k| 2 | 19k| 30 | 0.000000e+00 | -- | Inf | 18.88%
3463.07/3473.34 c 3473s| 7100 | 76 | 11271k|1299.4 | 303M | 37 |3557 | 11k| 0 | 90k| 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 19.34%
3586.42/3597.00 c
3586.42/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.42/3597.00 c Solving Time (sec) : 3597.00
3586.42/3597.00 c Solving Nodes : 7152 (total of 8678 nodes in 2 runs)
3586.42/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.42/3597.00 c Dual Bound : +0.00000000000000e+00
3586.42/3597.00 c Gap : infinite
3586.42/3597.00 s UNKNOWN
3586.42/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.42/3597.00 c Total Time : 3597.00
3586.42/3597.00 c solving : 3597.00
3586.42/3597.00 c presolving : 4.69 (included in solving)
3586.42/3597.00 c reading : 0.06 (included in solving)
3586.42/3597.00 c copying : 1.76 (101 #copies) (minimal 0.01, maximal 0.03, average 0.02)
3586.42/3597.00 c Original Problem :
3586.42/3597.00 c Problem name : HOME/instance-4501768-1751153310.opb
3586.42/3597.00 c Variables : 9272 (9272 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.42/3597.00 c Constraints : 29130 initial, 29130 maximal
3586.42/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.42/3597.00 c Presolved Problem :
3586.42/3597.00 c Problem name : t_HOME/instance-4501768-1751153310.opb
3586.42/3597.00 c Variables : 3557 (3557 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.42/3597.00 c Constraints : 9216 initial, 12152 maximal
3586.42/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.42/3597.00 c Nonzeros : 116763 constraint, 141483 clique table
3586.42/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.42/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c domcol : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c gateextraction : 0.05 0.00 15 0 0 0 0 0 5221 1684 0 0
3586.42/3597.00 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c milp : 0.23 0.00 1 116 77 0 0 0 0 0 0 0
3586.42/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c trivial : 0.01 0.00 50 2891 0 0 0 0 0 0 0 0
3586.42/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c dualfix : 0.00 0.00 50 1 0 0 0 0 0 0 0 0
3586.42/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c probing : 3.77 0.00 2 16 9 0 0 0 0 0 0 0
3586.42/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c knapsack : 0.03 0.00 81 0 0 0 0 0 2 13 39 175
3586.42/3597.00 c setppc : 0.11 0.00 81 36 37 0 0 0 552 0 2 2
3586.42/3597.00 c and : 0.04 0.00 50 0 7 0 0 0 260 244 0 16
3586.42/3597.00 c linear : 0.09 0.01 18 1375 1150 0 1375 0 19221 0 19 10
3586.42/3597.00 c logicor : 0.26 0.03 72 0 0 0 0 0 423 0 0 738
3586.42/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.42/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.42/3597.00 c benderslp : 0 0 0 0 5738 0 0 1207 0 0 0 0 0 0 0
3586.42/3597.00 c integral : 0 0 0 0 5738 0 0 1207 0 0 0 0 0 0 11476
3586.42/3597.00 c knapsack : 308+ 310 22 187155 0 0 0 1202 211591 1001 605125 964 329 0 0
3586.42/3597.00 c setppc : 4466+ 4501 22 186154 0 0 0 3 745118 1832 796512 6 3 0 0
3586.42/3597.00 c and : 1257 1257 10917 184322 0 0 0 0 222292 1452 629784 80745 74326 0 0
3586.42/3597.00 c linear : 27+ 32 11 128995 0 0 0 3 3062 73 12159 1 1 0 0
3586.42/3597.00 c logicor : 3158+ 6082 22 70204 0 0 0 0 59194 574 45915 5 2 0 0
3586.42/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.42/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.00 c integral : 13.77 0.00 0.00 0.00 13.77 0.00 0.00 0.00 0.00 0.00
3586.42/3597.00 c knapsack : 1.71 0.00 0.03 1.59 0.00 0.00 0.00 0.00 0.08 0.00
3586.42/3597.00 c setppc : 3.18 0.00 0.01 2.91 0.00 0.00 0.00 0.00 0.24 0.01
3586.42/3597.00 c and : 5.27 0.00 1.85 3.29 0.00 0.00 0.00 0.00 0.11 0.01
3586.42/3597.00 c linear : 0.22 0.01 0.00 0.19 0.00 0.00 0.00 0.00 0.01 0.00
3586.42/3597.00 c logicor : 1.00 0.03 0.01 0.88 0.00 0.00 0.00 0.00 0.08 0.01
3586.42/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.42/3597.00 c dualfix : 2 0 0 0
3586.42/3597.00 c genvbounds : 0 0 0 0
3586.42/3597.00 c nlobbt : 0 0 0 0
3586.42/3597.00 c obbt : 0 0 0 0
3586.42/3597.00 c probing : 0 0 0 0
3586.42/3597.00 c pseudoobj : 0 0 0 0
3586.42/3597.00 c redcost : 0 0 0 0
3586.42/3597.00 c rootredcost : 0 0 0 0
3586.42/3597.00 c symmetry : 0 0 0 0
3586.42/3597.00 c vbounds : 126151 0 0 0
3586.42/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.42/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3586.42/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.00 c probing : 3.77 0.00 3.77 0.00 0.00 0.00
3586.42/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3586.42/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.42/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.42/3597.00 c symmetry : 0.04 0.00 0.02 0.02 0.00 0.00
3586.42/3597.00 c vbounds : 5.21 0.00 0.01 5.20 0.00 0.00
3586.42/3597.00 c Symmetry :
3586.42/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.42/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.42/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.42/3597.00 c shadow tree time : 0.00 s
3586.42/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.42/3597.00 c propagation : 0.83 4861 4619 - 50229 40.6 571 16.3 - - -
3586.42/3597.00 c infeasible LP : 0.65 456 449 - 5802 85.5 28 21.1 388 212.3 0
3586.42/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.42/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.42/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.42/3597.00 c applied globally : 0.75 - - 0 19347 30.4 - - 388 - -
3586.42/3597.00 c applied locally : - - - 0 27 30.7 - - 0 - -
3586.42/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.42/3597.00 c cut pool : 0.21 - 1464 42 - - 10501 62048 - - - - - (maximal pool size: 2378)
3586.42/3597.00 c aggregation : 0.33 0.00 218 22 0 0 202 4273 2 1696 1694 2 0
3586.42/3597.00 c > cmir : - - - - - - - 3698 0 1363 1363 0 -
3586.42/3597.00 c > flowcover : - - - - - - - 39 0 11 11 0 -
3586.42/3597.00 c > knapsackcover : - - - - - - - 536 2 322 320 2 -
3586.42/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c clique : 2.48 0.00 22 22 0 0 180 418 0 226 226 0 0
3586.42/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c gomory : 109.44 0.00 216 20 0 0 1517 25793 1 9095 9095 0 0
3586.42/3597.00 c > gomorymi : - - - - - - - 2601 1 398 398 0 -
3586.42/3597.00 c > strongcg : - - - - - - - 23192 0 8697 8697 0 -
3586.42/3597.00 c impliedbounds : 0.56 0.00 218 22 0 0 7907 19077 0 6394 6394 0 0
3586.42/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c multilinear : 0.00 0.00 899 22 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.00 c rapidlearning : 11.73 0.00 100 1 0 45961 0 0 0 0 0 0 323
3586.42/3597.00 c rlt : 3.52 0.00 142 20 0 0 500 73 441 101 32 69 0
3586.42/3597.00 c zerohalf : 5.08 0.00 218 22 0 0 904 12414 265 6304 6158 146 0
3586.42/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.42/3597.00 c hybrid : 0.11 0.00 8456 22 98492 0 44584 1190 0 3229
3586.42/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.42/3597.00 c problem variables: 0.00 - 0 0
3586.42/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.42/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c relpscost : 13.77 0.00 5738 0 0 0 0 0 0 11476
3586.42/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.42/3597.00 c LP solutions : 0.00 - - 0 0
3586.42/3597.00 c relax solutions : 0.00 - - 0 0
3586.42/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.42/3597.00 c strong branching : 0.00 - - 0 0
3586.42/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.42/3597.00 c adaptivediving : 34.45 0.00 19 0 0
3586.42/3597.00 c alns : 0.03 0.00 4 0 0
3586.42/3597.00 c bound : 0.00 0.00 0 0 0
3586.42/3597.00 c clique : 0.03 0.00 1 0 0
3586.42/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.42/3597.00 c completesol : 0.00 0.00 0 0 0
3586.42/3597.00 c conflictdiving : 21.07 0.00 19 0 0
3586.42/3597.00 c crossover : 0.00 0.00 0 0 0
3586.42/3597.00 c dins : 0.00 0.00 0 0 0
3586.42/3597.00 c distributiondivin: 22.79 0.00 18 0 0
3586.42/3597.00 c dps : 0.00 0.00 0 0 0
3586.42/3597.00 c dualval : 0.00 0.00 0 0 0
3586.42/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.42/3597.00 c feasjump : 0.05 0.00 2 0 0
3586.42/3597.00 c feaspump : 14.39 0.00 10 0 0
3586.42/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.42/3597.00 c fracdiving : 16.96 0.00 19 0 0
3586.42/3597.00 c gins : 0.00 0.00 0 0 0
3586.42/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.42/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3586.42/3597.00 c indicator : 0.01 0.00 0 0 0
3586.42/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.42/3597.00 c indoneopt : 0.00 0.00 0 0 0
3586.42/3597.00 c indrounding : 0.00 0.00 0 0 0
3586.42/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3586.42/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.42/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.42/3597.00 c linesearchdiving : 10.28 0.00 19 0 0
3586.42/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.42/3597.00 c locks : 0.01 0.00 1 0 0
3586.42/3597.00 c lpface : 0.04 0.00 0 0 0
3586.42/3597.00 c mpec : 0.00 0.00 0 0 0
3586.42/3597.00 c multistart : 0.00 0.00 0 0 0
3586.42/3597.00 c mutation : 0.00 0.00 0 0 0
3586.42/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.42/3597.00 c objpscostdiving : 251.77 0.00 10 0 0
3586.42/3597.00 c octane : 0.00 0.00 0 0 0
3586.42/3597.00 c ofins : 0.00 0.00 0 0 0
3586.42/3597.00 c oneopt : 0.01 0.00 0 0 0
3586.42/3597.00 c padm : 0.00 0.00 0 0 0
3586.42/3597.00 c proximity : 0.00 0.00 0 0 0
3586.42/3597.00 c pscostdiving : 18.11 0.00 19 0 0
3586.42/3597.00 c randrounding : 0.35 0.00 1217 0 0
3586.42/3597.00 c rens : 0.00 0.00 0 0 0
3586.42/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.42/3597.00 c repair : 0.00 0.00 0 0 0
3586.42/3597.00 c rins : 0.00 0.00 0 0 0
3586.42/3597.00 c rootsoldiving : 21.85 0.00 10 0 0
3586.42/3597.00 c rounding : 0.54 0.00 1639 0 0
3586.42/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.42/3597.00 c shiftandpropagate: 0.04 0.00 2 0 0
3586.42/3597.00 c shifting : 1.13 0.00 540 0 0
3586.42/3597.00 c simplerounding : 0.01 0.00 0 0 0
3586.42/3597.00 c smallcard : 0.00 0.00 0 0 0
3586.42/3597.00 c subnlp : 0.01 0.00 0 0 0
3586.42/3597.00 c trivial : 0.00 0.00 4 0 0
3586.42/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.42/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.42/3597.00 c trysol : 0.00 0.00 0 0 0
3586.42/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.42/3597.00 c undercover : 0.84 0.00 1 0 0
3586.42/3597.00 c vbounds : 0.03 0.00 2 0 0
3586.42/3597.00 c veclendiving : 17.78 0.00 19 0 0
3586.42/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.42/3597.00 c zirounding : 0.13 0.00 1000 0 0
3586.42/3597.00 c other solutions : - - - 0 -
3586.42/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
3586.42/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
3586.42/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
3586.42/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
3586.42/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
3586.42/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
3586.42/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
3586.42/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
3586.42/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
3586.42/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
3586.42/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.42/3597.00 c primal LP : 0.55 516 0 0.00 0.00 0.55 516
3586.42/3597.00 c dual LP : 2977.01 14727 10810524 734.16 3631.34 0.00 2
3586.42/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.42/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.42/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.42/3597.00 c diving/probing LP: 428.28 1806 791445 438.23 1847.94
3586.42/3597.00 c strong branching : 10.76 30 30000 1000.00 2787.54 - - 60
3586.42/3597.00 c (at root node) : - 30 30000 1000.00 -
3586.42/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.42/3597.00 c B&B Tree :
3586.42/3597.00 c number of runs : 2
3586.42/3597.00 c nodes : 7152 (4772 internal, 2380 leaves)
3586.42/3597.00 c feasible leaves : 0
3586.42/3597.00 c infeas. leaves : 2379
3586.42/3597.00 c objective leaves : 0
3586.42/3597.00 c nodes (total) : 8678 (5738 internal, 2940 leaves)
3586.42/3597.00 c nodes left : 74
3586.42/3597.00 c max depth : 37
3586.42/3597.00 c max depth (total): 44
3586.42/3597.00 c backtracks : 2204 (30.8%)
3586.42/3597.00 c early backtracks : 0 (0.0%)
3586.42/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.42/3597.00 c delayed cutoffs : 2320
3586.42/3597.00 c repropagations : 6591 (745036 domain reductions, 1745 cutoffs)
3586.42/3597.00 c avg switch length: 3.69
3586.42/3597.00 c switching time : 4.19
3586.42/3597.00 c Root Node :
3586.42/3597.00 c First LP value : +0.00000000000000e+00
3586.42/3597.00 c First LP Iters : 5820 (4694.68 Iter/sec)
3586.42/3597.00 c First LP Time : 1.24
3586.42/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.42/3597.00 c Final Root Iters : 63404
3586.42/3597.00 c Root LP Estimate : +1.64452157058629e-01
3586.42/3597.00 c Solution :
3586.42/3597.00 c Solutions found : 0 (0 improvements)
3586.42/3597.00 c Primal Bound : -
3586.42/3597.00 c Dual Bound : +0.00000000000000e+00
3586.42/3597.00 c Gap : infinite
3586.42/3597.00 c Integrals : Total Avg%
3586.42/3597.00 c primal-dual : 359699.84 100.00
3586.42/3597.00 c primal-ref : - - (not evaluated)
3586.42/3597.00 c dual-ref : - - (not evaluated)
3586.42/3597.06 c Time complete: 3586.48.
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: 63708 MiB (57852 MiB free)
memory of node 1: 64465 MiB (63487 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4501768-1751153310/watcher-4501768-1751153310 -o /tmp/evaluation-result-4501768-1751153310/solver-4501768-1751153310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751144686-14146 --watchdog 3760 pbscip -f HOME/instance-4501768-1751153310.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=18026, runsolver pid=18023
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.07 4.09 4.10 5/264 18027
/proc/meminfo: memFree=124205172/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=97400 memory=71040 CPUtime=0.1 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 14583 0 0 0 8 2 0 0 20 0 1 0 31007583 99737600 17760 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 24350 17760 3520 3530 0 15801 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 97400 KiB
Current children cumulated memory: 71040 KiB
[startup+0.205646 s]*
/proc/loadavg: 4.07 4.09 4.10 6/264 18027
/proc/meminfo: memFree=124189044/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=110444 memory=82536 CPUtime=0.19 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 18062 0 0 0 17 2 0 0 20 0 1 0 31007583 113094656 20634 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 27611 20634 3648 3530 0 19062 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 110444 KiB
Current children cumulated memory: 82536 KiB
[startup+0.305492 s]*
/proc/loadavg: 4.07 4.09 4.10 5/264 18027
/proc/meminfo: memFree=124189044/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=112208 memory=84712 CPUtime=0.29 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 18568 0 0 0 27 2 0 0 20 0 1 0 31007583 114900992 21178 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 28052 21178 3712 3530 0 19503 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112208 KiB
Current children cumulated memory: 84712 KiB
[startup+0.700143 s]
/proc/loadavg: 4.07 4.09 4.10 5/264 18027
/proc/meminfo: memFree=124189044/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=113868 memory=86088 CPUtime=0.69 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 20124 0 0 0 66 3 0 0 20 0 1 0 31007583 116600832 21522 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 28467 21522 3744 3530 0 19918 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113868 KiB
Current children cumulated memory: 86088 KiB
[startup+1.50013 s]
/proc/loadavg: 4.07 4.09 4.10 5/264 18027
/proc/meminfo: memFree=124189364/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=120840 memory=92744 CPUtime=1.48 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 21788 0 0 0 145 3 0 0 20 0 1 0 31007583 123740160 23186 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 30210 23186 3744 3530 0 21661 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120840 KiB
Current children cumulated memory: 92744 KiB
[startup+3.10535 s]
/proc/loadavg: 4.06 4.08 4.10 5/264 18027
/proc/meminfo: memFree=124201624/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=120840 memory=92744 CPUtime=3.08 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 21788 0 0 0 305 3 0 0 20 0 1 0 31007583 123740160 23186 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 30210 23186 3744 3530 0 21661 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 120840 KiB
Current children cumulated memory: 92744 KiB
[startup+6.3001 s]
/proc/loadavg: 4.06 4.08 4.10 5/264 18027
/proc/meminfo: memFree=124213816/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=143328 memory=110228 CPUtime=6.26 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 26760 0 0 0 623 3 0 0 20 0 1 0 31007583 146767872 27557 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 35832 27557 3936 3530 0 27283 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 143328 KiB
Current children cumulated memory: 110228 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.10 4.10 5/264 18027
/proc/meminfo: memFree=124189840/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=198500 memory=163544 CPUtime=12.66 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 40357 0 0 0 1260 6 0 0 20 0 1 0 31007583 203264000 40886 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 49625 40886 3968 3530 0 41076 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 198500 KiB
Current children cumulated memory: 163544 KiB
[startup+25.5001 s]
/proc/loadavg: 4.11 4.10 4.10 5/264 18027
/proc/meminfo: memFree=124170900/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=199556 memory=164824 CPUtime=25.42 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 40694 0 0 0 2536 6 0 0 20 0 1 0 31007583 204345344 41206 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 49889 41206 3968 3530 0 41340 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 199556 KiB
Current children cumulated memory: 164824 KiB
[startup+51.1053 s]
/proc/loadavg: 4.07 4.09 4.10 5/264 18028
/proc/meminfo: memFree=124132444/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=208872 memory=175960 CPUtime=50.96 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 43479 0 0 0 5090 6 0 0 20 0 1 0 31007583 213884928 43990 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 52218 43990 3968 3530 0 43669 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 208872 KiB
Current children cumulated memory: 175960 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.10 4.10 5/264 18030
/proc/meminfo: memFree=124074068/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=210724 memory=177992 CPUtime=102.02 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 44436 0 0 0 10196 6 0 0 20 0 1 0 31007583 215781376 44498 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 52681 44498 3968 3530 0 44132 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 210724 KiB
Current children cumulated memory: 177992 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 18039
/proc/meminfo: memFree=124014016/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=225224 memory=192560 CPUtime=161.87 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 62653 0 0 0 16176 11 0 0 20 0 1 0 31007583 230629376 48140 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 56306 48140 3968 3530 0 47757 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 225224 KiB
Current children cumulated memory: 192560 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 18042
/proc/meminfo: memFree=123977920/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=226032 memory=193428 CPUtime=221.71 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 67218 0 0 0 22160 11 0 0 20 0 1 0 31007583 231456768 48357 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 56508 48357 3968 3530 0 47959 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 226032 KiB
Current children cumulated memory: 193428 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/265 18044
/proc/meminfo: memFree=123917064/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=235152 memory=200612 CPUtime=281.54 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 68086 0 0 0 28142 12 0 0 20 0 1 0 31007583 240795648 50153 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 58788 50153 3968 3530 0 50239 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 235152 KiB
Current children cumulated memory: 200612 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 18046
/proc/meminfo: memFree=123864856/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=239440 memory=201380 CPUtime=341.36 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 68277 0 0 0 34124 12 0 0 20 0 1 0 31007583 245186560 50345 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 59860 50345 3968 3530 0 51311 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 239440 KiB
Current children cumulated memory: 201380 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 18047
/proc/meminfo: memFree=123815156/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=248532 memory=209660 CPUtime=401.17 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 69874 0 0 0 40105 12 0 0 20 0 1 0 31007583 254496768 52415 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 62133 52415 3968 3530 0 53584 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 248532 KiB
Current children cumulated memory: 209660 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 18052
/proc/meminfo: memFree=123725048/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=263132 memory=216828 CPUtime=460.98 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 71662 0 0 0 46086 12 0 0 20 0 1 0 31007583 269447168 54207 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 65783 54207 3968 3530 0 57234 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
/proc/loadavg: 2.13 2.36 3.11 3/253 18484
/proc/meminfo: memFree=129384060/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=330888 CPUtime=3152.83 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86260 0 0 0 315268 15 0 0 20 0 1 0 31007583 369336320 82722 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 82722 4128 3530 0 81621 0
Current children cumulated CPU time: 3152.83 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 330888 KiB
[startup+3222.3 s]
/proc/loadavg: 2.05 2.29 3.04 3/253 18490
/proc/meminfo: memFree=129372004/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333064 CPUtime=3212.66 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 321251 15 0 0 20 0 1 0 31007583 369336320 83266 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83266 4128 3530 0 81621 0
Current children cumulated CPU time: 3212.66 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333064 KiB
[startup+3282.3 s]
/proc/loadavg: 2.21 2.28 2.99 3/252 18492
/proc/meminfo: memFree=129369864/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333704 CPUtime=3272.53 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 327238 15 0 0 20 0 1 0 31007583 369336320 83426 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83426 4128 3530 0 81621 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333704 KiB
[startup+3342.3 s]
/proc/loadavg: 2.14 2.25 2.93 3/252 18494
/proc/meminfo: memFree=129371312/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333704 CPUtime=3332.4 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 333225 15 0 0 20 0 1 0 31007583 369336320 83426 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83426 4128 3530 0 81621 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333704 KiB
[startup+3402.3 s]
/proc/loadavg: 2.10 2.21 2.88 3/253 18497
/proc/meminfo: memFree=129367308/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333704 CPUtime=3392.28 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 339212 16 0 0 20 0 1 0 31007583 369336320 83426 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83426 4128 3530 0 81621 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333704 KiB
[startup+3462.3 s]
/proc/loadavg: 2.10 2.19 2.82 3/253 18499
/proc/meminfo: memFree=129361636/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333704 CPUtime=3452.1 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 345194 16 0 0 20 0 1 0 31007583 369336320 83426 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83426 4128 3530 0 81621 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333704 KiB
[startup+3522.3 s]
/proc/loadavg: 2.09 2.17 2.78 3/253 18504
/proc/meminfo: memFree=129370636/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333704 CPUtime=3511.93 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 351177 16 0 0 20 0 1 0 31007583 369336320 83426 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83426 4128 3530 0 81621 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333704 KiB
[startup+3582.3 s]
/proc/loadavg: 2.07 2.15 2.73 3/253 18506
/proc/meminfo: memFree=129370936/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333704 CPUtime=3571.76 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 357160 16 0 0 20 0 1 0 31007583 369336320 83426 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83426 4128 3530 0 81621 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333704 KiB
[startup+3597.07 s]
# the end of solver process 18026 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.32 s, system=0.16446 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.07 2.15 2.73 3/253 18506
/proc/meminfo: memFree=129370936/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333704 CPUtime=3573.45 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 357329 16 0 0 20 0 1 0 31007583 369336320 83426 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83426 4128 3530 0 81621 0
Current children cumulated CPU time: 3573.45 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333704 KiB
[startup+3590.4 s]
/proc/loadavg: 2.15 2.16 2.73 3/253 18506
/proc/meminfo: memFree=129370936/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333704 CPUtime=3579.83 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 357967 16 0 0 20 0 1 0 31007583 369336320 83426 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83426 4128 3530 0 81621 0
Current children cumulated CPU time: 3579.83 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333704 KiB
[startup+3593.6 s]
/proc/loadavg: 2.13 2.16 2.73 3/253 18506
/proc/meminfo: memFree=129370936/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333704 CPUtime=3583.02 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 358286 16 0 0 20 0 1 0 31007583 369336320 83426 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83426 4128 3530 0 81621 0
Current children cumulated CPU time: 3583.02 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333704 KiB
[startup+3595.2 s]
/proc/loadavg: 2.13 2.16 2.73 3/253 18506
/proc/meminfo: memFree=129370936/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333704 CPUtime=3584.62 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 358446 16 0 0 20 0 1 0 31007583 369336320 83426 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83426 4128 3530 0 81621 0
Current children cumulated CPU time: 3584.62 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333704 KiB
[startup+3596 s]*
/proc/loadavg: 2.13 2.16 2.73 3/253 18506
/proc/meminfo: memFree=129370936/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333704 CPUtime=3585.42 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 358526 16 0 0 20 0 1 0 31007583 369336320 83426 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83426 4128 3530 0 81621 0
Current children cumulated CPU time: 3585.42 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333704 KiB
[startup+3596.8 s]
/proc/loadavg: 2.13 2.16 2.73 3/253 18506
/proc/meminfo: memFree=129370936/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333704 CPUtime=3586.21 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 358605 16 0 0 20 0 1 0 31007583 369336320 83426 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83426 4128 3530 0 81621 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333704 KiB
[startup+3597 s]*
/proc/loadavg: 2.12 2.16 2.72 3/253 18508
/proc/meminfo: memFree=129370728/131250000 swapFree=33010684/33010684
[pid=18026] ppid=18023 vsize=360680 memory=333704 CPUtime=3586.42 cores=5,7
/proc/18026/stat : 18026 (pbscip) R 18023 18026 14133 0 -1 4194304 86263 0 0 0 358626 16 0 0 20 0 1 0 31007583 369336320 83426 18446744073709551615 4235264 18693293 140723083720176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45486080 140723083729289 140723083729388 140723083729388 140723083734990 0
/proc/18026/statm: 90170 83426 4128 3530 0 81621 0
Current children cumulated CPU time: 3586.42 s
Current children cumulated vsize: 360680 KiB
Current children cumulated memory: 333704 KiB
Child status: 0
Real time (s): 3597.07
CPU time (s): 3586.49
CPU user time (s): 3586.32
CPU system time (s): 0.16446
CPU usage (%): 99.7058
Max. virtual memory (cumulated for all children) (KiB): 360680
Max. memory (cumulated for all children) (KiB): 333704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.32
system time used= 0.16446
maximum resident set size= 333704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86269
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= 106
involuntary context switches= 1763
# summary of solver processes directly reported to runsolver:
# pid: 18026
# total CPU time (s): 3586.49
# total CPU user time (s): 3586.32
# total CPU system time (s): 0.16446
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63119 second user time and 13.4427 second system time
The end
Begin job on nodeC014 at 2025-06-29 01:28:30 IDJOB=4501768 IDBENCH=151618 IDSOLVER=3365 FILE ID=nodeC014/4501768-1751153310 RUNJOBID= nodeC014-1751144686-14146 SLURM_JOB_ID= 9587442 Free space on /tmp= 432892 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j60/normalized-j605_7-sat.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4501768-1751153310/watcher-4501768-1751153310 -o /tmp/evaluation-result-4501768-1751153310/solver-4501768-1751153310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751144686-14146 --watchdog 3760 pbscip -f HOME/instance-4501768-1751153310.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0cdbb1fc299265025d38c8df62ac854d RANDOM SEED=1338763985 nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.058 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3600.116 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3679.238 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.911 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3600.121 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.971 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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.619 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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.461 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 124252660 kB MemAvailable: 123983760 kB Buffers: 3280 kB Cached: 542420 kB SwapCached: 0 kB Active: 5964104 kB Inactive: 332868 kB Active(anon): 5769424 kB Inactive(anon): 0 kB Active(file): 194680 kB Inactive(file): 332868 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19572 kB Writeback: 0 kB AnonPages: 5752832 kB Mapped: 138064 kB Shmem: 18068 kB KReclaimable: 85580 kB Slab: 168452 kB SReclaimable: 85580 kB SUnreclaim: 82872 kB KernelStack: 4272 kB PageTables: 14544 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 6355784 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3246080 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432980 MiB End job on nodeC014 at 2025-06-29 02:28:27