| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3586.18 | 3597.71 |
| Name | PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb |
| MD5SUM | 209c63ac31a13f6816f27826d17fc4ad |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 19.2254 |
| 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 | 62704 |
| Total number of constraints | 187107 |
| Number of constraints which are clauses | 186603 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 504 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| 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 | 33 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 126 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.18 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.18 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.18 c
0.00/0.18 c user parameter file <scip.set> not found - using default parameters
0.00/0.18 c reading problem <HOME/instance-4491546-1751142711.opb>
0.31/0.56 c original problem has 62704 variables (62704 bin, 0 int, 0 impl, 0 cont) and 187107 constraints
0.31/0.56 c problem read in 0.39
0.31/0.57 c No objective function, only one solution is needed.
0.60/0.89 c presolving:
0.91/1.19 c (round 1, fast) 64 del vars, 2 del conss, 0 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 124606 clqs
1.00/1.21 c (round 2, fast) 126 del vars, 159 del conss, 0 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 124637 clqs
1.20/1.42 c (1.2s) running MILP presolver
130.03/130.78 c (130.6s) MILP presolver (53 rounds): 7342 aggregations, 8543 fixings, 0 bound changes
130.13/130.89 c (round 3, medium) 16012 del vars, 187107 del conss, 142382 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 94537 clqs
130.44/131.16 c (round 4, exhaustive) 16012 del vars, 187248 del conss, 142382 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 95321 clqs
130.82/131.55 c (round 5, exhaustive) 16013 del vars, 187250 del conss, 142382 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 142239 upgd conss, 0 impls, 95319 clqs
131.53/132.21 c (round 6, exhaustive) 16013 del vars, 326499 del conss, 188796 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 142239 upgd conss, 0 impls, 95319 clqs
157.51/158.37 c (round 7, exhaustive) 16056 del vars, 326500 del conss, 188797 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 142239 upgd conss, 0 impls, 439911 clqs
157.81/158.63 c (round 8, exhaustive) 16074 del vars, 326711 del conss, 188990 add conss, 1 chg bounds, 252 chg sides, 509 chg coeffs, 142243 upgd conss, 0 impls, 439614 clqs
158.01/158.82 c (round 9, exhaustive) 16494 del vars, 327159 del conss, 189003 add conss, 1 chg bounds, 252 chg sides, 509 chg coeffs, 142243 upgd conss, 0 impls, 425362 clqs
158.11/158.99 c (round 10, exhaustive) 16797 del vars, 327467 del conss, 189003 add conss, 1 chg bounds, 252 chg sides, 509 chg coeffs, 142243 upgd conss, 0 impls, 413443 clqs
158.31/159.15 c (round 11, exhaustive) 16841 del vars, 327511 del conss, 189003 add conss, 1 chg bounds, 252 chg sides, 509 chg coeffs, 142243 upgd conss, 0 impls, 412114 clqs
165.78/166.62 c (166.4s) probing: 1000/46738 (2.1%) - 25 fixings, 18 aggregations, 1989091 implications, 0 bound changes
181.31/182.23 c (182.1s) probing: 1852/46738 (4.0%) - 25 fixings, 18 aggregations, 2399379 implications, 0 bound changes
181.31/182.23 c (182.1s) probing aborted: 1000/1000 successive useless probings
181.31/182.25 c (round 12, exhaustive) 16891 del vars, 327546 del conss, 189003 add conss, 1 chg bounds, 252 chg sides, 509 chg coeffs, 142243 upgd conss, 0 impls, 435746 clqs
181.51/182.40 c (round 13, exhaustive) 16918 del vars, 327604 del conss, 189019 add conss, 1 chg bounds, 252 chg sides, 509 chg coeffs, 142243 upgd conss, 0 impls, 434933 clqs
184.50/185.47 c (185.3s) probing: 2000/46738 (4.3%) - 25 fixings, 20 aggregations, 2491463 implications, 0 bound changes
214.67/215.76 c (215.6s) probing: 3000/46738 (6.4%) - 25 fixings, 23 aggregations, 3864089 implications, 0 bound changes
245.74/246.94 c (246.8s) probing: 4000/46738 (8.6%) - 25 fixings, 26 aggregations, 5252422 implications, 0 bound changes
277.40/278.76 c (278.6s) probing: 5000/46738 (10.7%) - 25 fixings, 30 aggregations, 6662849 implications, 0 bound changes
302.60/304.03 c (round 14, exhaustive) 16964 del vars, 327624 del conss, 189019 add conss, 1 chg bounds, 252 chg sides, 509 chg coeffs, 142243 upgd conss, 0 impls, 439510 clqs
314.45/315.91 c (315.7s) probing: 6000/46738 (12.8%) - 38 fixings, 32 aggregations, 9198076 implications, 0 bound changes
340.24/341.83 c (round 15, exhaustive) 17016 del vars, 327651 del conss, 189024 add conss, 1 chg bounds, 252 chg sides, 512 chg coeffs, 142245 upgd conss, 0 impls, 439495 clqs
340.34/341.98 c (round 16, exhaustive) 17030 del vars, 327686 del conss, 189032 add conss, 1 chg bounds, 252 chg sides, 522 chg coeffs, 142254 upgd conss, 0 impls, 439327 clqs
349.70/351.32 c (351.1s) probing: 7000/46738 (15.0%) - 74 fixings, 42 aggregations, 11586523 implications, 0 bound changes
356.28/357.93 c (357.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
356.48/358.13 c (358.0s) symmetry computation finished: 1 generators found (max: 1400, log10 of symmetry group size: 0.0) (symcode time: 0.08)
356.48/358.13 c dynamic symmetry handling statistics:
356.48/358.13 c orbitopal reduction: no components
356.48/358.13 c orbital reduction: no components
356.48/358.13 c lexicographic reduction: 1 permutations with support sizes 337
356.48/358.13 c handled 1 out of 1 symmetry components
356.48/358.17 c presolving (17 rounds: 17 fast, 15 medium, 14 exhaustive):
356.48/358.17 c 17055 deleted vars, 327690 deleted constraints, 189032 added constraints, 1 tightened bounds, 0 added holes, 252 changed sides, 522 changed coefficients
356.48/358.17 c 0 implications, 439818 cliques
356.48/358.17 c presolved problem has 45711 variables (45711 bin, 0 int, 0 impl, 0 cont) and 48397 constraints
356.48/358.17 c 504 constraints of type <knapsack>
356.48/358.17 c 2674 constraints of type <setppc>
356.48/358.17 c 45217 constraints of type <and>
356.48/358.17 c 2 constraints of type <logicor>
356.48/358.17 c transformed objective value is always integral (scale: 1)
356.48/358.17 c Presolving Time: 357.30
356.48/358.17 c - non default parameters ----------------------------------------------------------------------
356.48/358.17 c # SCIP version 10.0.0
356.48/358.17 c
356.48/358.17 c # maximal time in seconds to run
356.48/358.17 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
356.48/358.17 c limits/time = 3596.998011
356.48/358.17 c
356.48/358.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
356.48/358.17 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
356.48/358.17 c limits/memory = 27900
356.48/358.17 c
356.48/358.17 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
356.48/358.17 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
356.48/358.17 c limits/solutions = 1
356.48/358.17 c
356.48/358.17 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
356.48/358.17 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
356.48/358.17 c misc/usesymmetry = 3
356.48/358.17 c
356.48/358.17 c # belongs reading time to solving time?
356.48/358.17 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
356.48/358.17 c timing/reading = TRUE
356.48/358.17 c
356.48/358.17 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
356.48/358.17 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
356.48/358.17 c propagating/symmetry/detectdoublelex = FALSE
356.48/358.17 c
356.48/358.17 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
356.48/358.17 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
356.48/358.17 c propagating/symmetry/detectsubgroups = FALSE
356.48/358.17 c
356.48/358.17 c # Type of symmetries that shall be computed?
356.48/358.17 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
356.48/358.17 c propagating/symmetry/symtype = 1
356.48/358.17 c
356.48/358.17 c # Should components consisting of a single full reflection be handled?
356.48/358.17 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
356.48/358.17 c propagating/symmetry/usesimplesgncomp = FALSE
356.48/358.17 c
356.48/358.17 c -----------------------------------------------------------------------------------------------
356.48/358.17 c start solving
356.48/358.19 c
359.16/360.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
359.16/360.83 c 361s| 1 | 0 | 3635 | - | 725M | 0 | 45k| 48k| 93k| 0 | 0 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
377.61/379.31 c 379s| 1 | 0 | 13114 | - | 767M | 0 | 45k| 48k| 94k| 647 | 1 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
401.93/403.74 c 404s| 1 | 0 | 17837 | - | 801M | 0 | 45k| 48k| 94k|1428 | 2 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
426.55/428.40 c 428s| 1 | 0 | 22168 | - | 826M | 0 | 45k| 48k| 95k|2134 | 3 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
452.68/454.61 c 454s| 1 | 0 | 26662 | - | 844M | 0 | 45k| 48k| 96k|2736 | 4 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown
482.11/484.13 c 484s| 1 | 0 | 32061 | - | 869M | 0 | 45k| 48k| 96k|3325 | 5 | 65 | 0 | 0.000000e+00 | -- | Inf | unknown
509.62/511.70 c 512s| 1 | 0 | 36441 | - | 883M | 0 | 45k| 48k| 97k|3915 | 6 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
538.04/540.28 c 540s| 1 | 0 | 41577 | - | 902M | 0 | 45k| 48k| 97k|4411 | 7 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
567.36/569.67 c 569s| 1 | 0 | 45841 | - | 924M | 0 | 45k| 48k| 98k|4889 | 8 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
596.78/599.13 c 599s| 1 | 0 | 49417 | - | 944M | 0 | 45k| 48k| 98k|5309 | 9 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
627.47/629.93 c 630s| 1 | 0 | 53735 | - | 961M | 0 | 45k| 48k| 99k|5715 | 10 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
647.31/649.88 c 650s| 1 | 0 | 57692 | - | 971M | 0 | 45k| 48k| 99k|6101 | 11 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
722.17/724.95 c 725s| 1 | 2 | 75734 | - | 974M | 0 | 45k| 48k| 99k|6101 | 11 | 106 | 19 | 0.000000e+00 | -- | Inf | unknown
905.05/908.46 c 908s| 100 | 28 |330903 |2759.7 | 1165M | 19 | 45k| 48k| 98k| 19k| 2 | 419 | 19 | 0.000000e+00 | -- | Inf | 2.93%
932.64/936.15 c 936s| 200 | 46 |378199 |1610.6 | 1196M | 41 | 45k| 49k| 0 | 21k| 0 | 727 | 19 | 0.000000e+00 | -- | Inf | 2.94%
948.68/952.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
948.68/952.29 c 952s| 300 | 32 |412328 |1186.1 | 1205M | 41 | 45k| 49k| 0 | 22k| 0 |1313 | 19 | 0.000000e+00 | -- | Inf | 3.00%
983.96/987.66 c 987s| 400 | 67 |470384 |1034.3 | 1241M | 41 | 45k| 50k| 99k| 26k| 1 |1692 | 19 | 0.000000e+00 | -- | Inf | 3.38%
1004.19/1007.92 c 1008s| 500 | 76 |531077 | 948.7 | 1289M | 41 | 45k| 50k| 0 | 29k| 0 |2621 | 19 | 0.000000e+00 | -- | Inf | 3.39%
1023.52/1027.37 c 1027s| 600 | 104 |574842 | 863.4 | 1301M | 41 | 45k| 51k| 98k| 31k| 2 |3120 | 19 | 0.000000e+00 | -- | Inf | 3.39%
1039.07/1042.96 c 1043s| 700 | 114 |592037 | 764.4 | 1306M | 41 | 45k| 51k| 98k| 33k| 2 |3367 | 19 | 0.000000e+00 | -- | Inf | 3.40%
1056.01/1059.91 c 1060s| 800 | 135 |625344 | 710.5 | 1312M | 41 | 45k| 51k| 98k| 34k| 2 |3808 | 19 | 0.000000e+00 | -- | Inf | 3.41%
1076.53/1080.58 c 1080s| 900 | 86 |664740 | 675.2 | 1322M | 41 | 45k| 52k| 0 | 36k| 0 |4243 | 19 | 0.000000e+00 | -- | Inf | 3.42%
1096.85/1100.90 c 1101s| 1000 | 37 |680583 | 623.5 | 1330M | 41 | 45k| 52k| 98k| 39k| 2 |4510 | 19 | 0.000000e+00 | -- | Inf | 3.55%
1114.09/1118.23 c 1118s| 1100 | 33 |705317 | 589.3 | 1337M | 41 | 45k| 51k| 0 | 42k| 0 |4772 | 19 | 0.000000e+00 | -- | Inf | 3.84%
1133.93/1138.13 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1134.12/1138.37 c (run 1, node 1188) performing user restart
1134.12/1138.37 c
1134.22/1138.46 c (restart) converted 2217 cuts from the global cut pool into linear constraints
1134.22/1138.46 c
1134.42/1138.61 c presolving:
1134.42/1138.65 c (round 1, fast) 4 del vars, 86 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 16 chg coeffs, 0 upgd conss, 0 impls, 439777 clqs
1134.82/1139.01 c (round 2, exhaustive) 4 del vars, 93 del conss, 4 add conss, 0 chg bounds, 4 chg sides, 16 chg coeffs, 2213 upgd conss, 0 impls, 439777 clqs
1134.82/1139.04 c (round 3, medium) 4 del vars, 116 del conss, 48 add conss, 0 chg bounds, 26 chg sides, 63 chg coeffs, 2213 upgd conss, 0 impls, 439777 clqs
1135.02/1139.21 c (round 4, exhaustive) 4 del vars, 1444 del conss, 57 add conss, 0 chg bounds, 26 chg sides, 248 chg coeffs, 2216 upgd conss, 0 impls, 439777 clqs
1135.32/1139.53 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
1135.32/1139.53 c 4 deleted vars, 1444 deleted constraints, 57 added constraints, 0 tightened bounds, 0 added holes, 26 changed sides, 250 changed coefficients
1135.32/1139.53 c 0 implications, 439777 cliques
1135.32/1139.53 c presolved problem has 45707 variables (45707 bin, 0 int, 0 impl, 0 cont) and 52208 constraints
1135.32/1139.53 c 545 constraints of type <knapsack>
1135.32/1139.53 c 4802 constraints of type <setppc>
1135.32/1139.53 c 45188 constraints of type <and>
1135.32/1139.53 c 2 constraints of type <linear>
1135.32/1139.53 c 1671 constraints of type <logicor>
1135.32/1139.53 c transformed objective value is always integral (scale: 1)
1135.32/1139.53 c Presolving Time: 358.24
1135.32/1139.54 c
1136.71/1140.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1136.71/1140.99 c 1141s| 1 | 0 |763039 | - | 1332M | 0 | 45k| 52k| 95k| 0 | 0 |4991 | 19 | 0.000000e+00 | -- | Inf | unknown
1151.78/1156.08 c 1156s| 1 | 0 |766006 | - | 1351M | 0 | 45k| 52k| 96k| 606 | 1 |4992 | 19 | 0.000000e+00 | -- | Inf | unknown
1176.40/1180.73 c 1181s| 1 | 0 |770253 | - | 1373M | 0 | 45k| 52k| 96k|1201 | 2 |4994 | 19 | 0.000000e+00 | -- | Inf | unknown
1203.73/1208.12 c 1208s| 1 | 0 |775067 | - | 1391M | 0 | 45k| 52k| 97k|1915 | 3 |4996 | 19 | 0.000000e+00 | -- | Inf | unknown
1233.93/1238.48 c 1238s| 1 | 0 |780149 | - | 1410M | 0 | 45k| 52k| 98k|2625 | 4 |4997 | 19 | 0.000000e+00 | -- | Inf | unknown
1265.83/1270.48 c 1270s| 1 | 0 |785998 | - | 1427M | 0 | 45k| 52k| 99k|3339 | 5 |4998 | 19 | 0.000000e+00 | -- | Inf | unknown
1299.53/1304.28 c 1304s| 1 | 0 |791511 | - | 1440M | 0 | 45k| 52k| 99k|4101 | 6 |4999 | 19 | 0.000000e+00 | -- | Inf | unknown
1335.23/1340.09 c 1340s| 1 | 0 |797805 | - | 1456M | 0 | 45k| 52k| 100k|4759 | 7 |5001 | 19 | 0.000000e+00 | -- | Inf | unknown
1372.13/1377.09 c 1377s| 1 | 0 |805352 | - | 1468M | 0 | 45k| 52k| 101k|5471 | 8 |5002 | 19 | 0.000000e+00 | -- | Inf | unknown
1409.71/1414.75 c 1415s| 1 | 0 |812531 | - | 1492M | 0 | 45k| 52k| 102k|6289 | 9 |5003 | 19 | 0.000000e+00 | -- | Inf | unknown
1450.58/1455.79 c 1456s| 1 | 0 |820810 | - | 1504M | 0 | 45k| 52k| 102k|6983 | 10 |5005 | 19 | 0.000000e+00 | -- | Inf | unknown
1476.60/1481.84 c 1482s| 1 | 0 |829093 | - | 1514M | 0 | 45k| 52k| 103k|7781 | 11 |5007 | 19 | 0.000000e+00 | -- | Inf | unknown
1581.78/1587.34 c 1587s| 1 | 0 |854002 | - | 1515M | 0 | 45k| 51k| 103k|7781 | 11 |5013 | 39 | 0.000000e+00 | -- | Inf | unknown
1603.22/1608.82 c 1609s| 1 | 0 |861275 | - | 1526M | 0 | 45k| 51k| 104k|8319 | 12 |5014 | 39 | 0.000000e+00 | -- | Inf | unknown
1608.20/1613.82 c 1614s| 1 | 0 |866508 | - | 1526M | 0 | 45k| 51k| 104k|8497 | 13 |5015 | 39 | 0.000000e+00 | -- | Inf | unknown
1654.64/1660.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1654.64/1660.48 c 1660s| 1 | 2 |867693 | - | 1526M | 0 | 45k| 51k| 104k|8497 | 13 |5018 | 58 | 0.000000e+00 | -- | Inf | unknown
2427.72/2435.95 c 2436s| 100 | 84 | 1510k|1063.1 | 1779M | 34 | 45k| 52k| 102k| 26k| 2 |5333 | 58 | 0.000000e+00 | -- | Inf | unknown
2529.05/2537.55 c 2537s| 200 | 100 | 1778k|1179.2 | 1789M | 35 | 45k| 52k| 101k| 39k| 2 |5769 | 58 | 0.000000e+00 | -- | Inf | unknown
2587.29/2595.93 c 2596s| 300 | 114 | 1903k|1184.3 | 1802M | 35 | 45k| 52k| 101k| 49k| 2 |6089 | 58 | 0.000000e+00 | -- | Inf | unknown
2675.24/2684.17 c 2684s| 400 | 143 | 2134k|1255.1 | 1811M | 35 | 45k| 52k| 101k| 62k| 2 |6227 | 58 | 0.000000e+00 | -- | Inf | unknown
2746.43/2755.53 c 2755s| 500 | 161 | 2313k|1286.5 | 1826M | 35 | 45k| 52k| 101k| 75k| 2 |6394 | 58 | 0.000000e+00 | -- | Inf | unknown
2777.14/2786.34 c 2786s| 600 | 156 | 2369k|1245.8 | 1880M | 41 | 45k| 52k| 101k| 79k| 2 |6592 | 58 | 0.000000e+00 | -- | Inf | unknown
2829.99/2839.32 c 2839s| 700 | 165 | 2499k|1248.8 | 1893M | 41 | 45k| 52k| 0 | 88k| 0 |6780 | 58 | 0.000000e+00 | -- | Inf | unknown
2912.46/2922.09 c 2922s| 800 | 202 | 2716k|1295.2 | 1903M | 41 | 45k| 52k| 101k| 100k| 2 |7095 | 58 | 0.000000e+00 | -- | Inf | unknown
2974.99/2984.72 c 2985s| 900 | 197 | 2875k|1309.4 | 1915M | 41 | 45k| 52k| 101k| 110k| 2 |7327 | 58 | 0.000000e+00 | -- | Inf | unknown
3035.71/3045.65 c 3045s| 1000 | 194 | 3021k|1316.4 | 1923M | 41 | 45k| 52k| 101k| 118k| 2 |7583 | 58 | 0.000000e+00 | -- | Inf | unknown
3099.04/3109.11 c 3109s| 1100 | 221 | 3197k|1335.6 | 1930M | 41 | 45k| 52k| 101k| 129k| 3 |7740 | 58 | 0.000000e+00 | -- | Inf | unknown
3136.83/3147.01 c 3147s| 1200 | 214 | 3273k|1311.5 | 1941M | 41 | 45k| 52k| 0 | 136k| 0 |7997 | 58 | 0.000000e+00 | -- | Inf | unknown
3184.88/3195.24 c 3195s| 1300 | 222 | 3397k|1308.7 | 1947M | 41 | 45k| 52k| 0 | 144k| 0 |8203 | 58 | 0.000000e+00 | -- | Inf | unknown
3238.23/3248.79 c 3249s| 1400 | 217 | 3516k|1304.2 | 1957M | 41 | 45k| 52k| 0 | 152k| 0 |8378 | 58 | 0.000000e+00 | -- | Inf | unknown
3314.99/3325.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3314.99/3325.77 c 3326s| 1500 | 221 | 3704k|1325.6 | 1964M | 41 | 45k| 52k| 101k| 165k| 2 |8508 | 58 | 0.000000e+00 | -- | Inf | unknown
3379.28/3390.20 c 3390s| 1600 | 220 | 3867k|1336.5 | 1971M | 41 | 45k| 52k| 101k| 177k| 0 |8728 | 58 | 0.000000e+00 | -- | Inf | unknown
3436.74/3447.84 c 3448s| 1700 | 221 | 4024k|1344.4 | 1985M | 41 | 45k| 52k| 0 | 188k| 0 |8887 | 58 | 0.000000e+00 | -- | Inf | unknown
3485.28/3496.52 c 3496s| 1800 | 213 | 4122k|1332.4 | 1999M | 41 | 45k| 52k| 0 | 195k| 0 |9039 | 58 | 0.000000e+00 | -- | Inf | unknown
3585.56/3597.18 c
3585.56/3597.18 c SCIP Status : solving was interrupted [time limit reached]
3585.56/3597.18 c Solving Time (sec) : 3597.00
3585.56/3597.18 c Solving Nodes : 1899 (total of 3087 nodes in 2 runs)
3585.56/3597.18 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.56/3597.18 c Dual Bound : +0.00000000000000e+00
3585.56/3597.18 c Gap : infinite
3585.56/3597.18 s UNKNOWN
3585.56/3597.18 c SCIP Status : solving was interrupted [time limit reached]
3585.56/3597.18 c Total Time : 3597.00
3585.56/3597.18 c solving : 3597.00
3585.56/3597.18 c presolving : 358.24 (included in solving)
3585.56/3597.18 c reading : 0.39 (included in solving)
3585.56/3597.18 c copying : 0.67 (6 #copies) (minimal 0.10, maximal 0.14, average 0.11)
3585.56/3597.18 c Original Problem :
3585.56/3597.18 c Problem name : HOME/instance-4491546-1751142711.opb
3585.56/3597.18 c Variables : 62704 (62704 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.56/3597.18 c Constraints : 187107 initial, 187107 maximal
3585.56/3597.18 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.56/3597.18 c Presolved Problem :
3585.56/3597.18 c Problem name : t_HOME/instance-4491546-1751142711.opb
3585.56/3597.18 c Variables : 45707 (45707 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.56/3597.18 c Constraints : 52208 initial, 52999 maximal
3585.56/3597.18 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.56/3597.18 c Nonzeros : 190236 constraint, 870726 clique table
3585.56/3597.18 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.56/3597.18 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c domcol : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c gateextraction : 0.52 0.00 15 0 0 0 0 0 139251 46415 0 0
3585.56/3597.18 c implics : 0.01 0.00 19 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c milp : 129.56 0.00 1 8543 7342 0 0 0 186948 142382 0 0
3585.56/3597.18 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c trivial : 0.04 0.00 22 62 0 0 0 0 0 0 0 0
3585.56/3597.18 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c dualfix : 0.04 0.00 22 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c probing : 223.65 0.00 5 86 44 0 0 0 0 0 0 0
3585.56/3597.18 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c symmetry : 0.20 0.00 1 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c vbounds : 0.37 0.01 3 0 1 0 0 0 0 0 0 0
3585.56/3597.18 c knapsack : 0.04 0.00 47 0 0 0 0 0 25 52 22 54
3585.56/3597.18 c setppc : 0.26 0.00 47 0 0 0 0 0 81 0 0 0
3585.56/3597.18 c and : 1.83 0.04 30 0 916 0 0 0 1131 240 0 22
3585.56/3597.18 c linear : 0.91 0.05 15 1 2 0 1 0 305 0 256 516
3585.56/3597.18 c logicor : 0.30 0.02 40 0 0 0 0 0 1393 0 0 180
3585.56/3597.18 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c components : 0.07 0.00 2 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c root node : - - - 132 - - 132 - - - - -
3585.56/3597.18 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.56/3597.18 c benderslp : 0 0 0 0 2251 0 0 417 0 0 0 0 0 0 0
3585.56/3597.18 c integral : 0 0 0 0 2251 0 0 417 0 0 1 0 0 0 4500
3585.56/3597.18 c knapsack : 545+ 546 23 406237 0 0 0 412 52641 735 85387 4502 258 0 0
3585.56/3597.18 c setppc : 4802+ 4807 23 405332 0 0 0 3 105305 45 55497 38 12 0 0
3585.56/3597.18 c and : 45188 45188 4474 405457 0 0 0 0 4964134 963 3556216 979607 236933 0 0
3585.56/3597.18 c linear : 2+ 7 0 107475 0 0 0 3 1224 1 63 0 0 0 0
3585.56/3597.18 c logicor : 1671+ 2799 23 27538 0 0 0 0 35424 425 15859 104 24 0 0
3585.56/3597.18 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.56/3597.18 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.18 c integral : 135.37 0.00 0.00 0.00 135.37 0.00 0.00 0.00 0.00 0.00
3585.56/3597.18 c knapsack : 2.49 0.00 0.04 2.42 0.00 0.00 0.00 0.00 0.03 0.00
3585.56/3597.18 c setppc : 5.27 0.00 0.01 5.20 0.00 0.00 0.00 0.00 0.05 0.01
3585.56/3597.18 c and : 187.87 0.04 15.15 167.83 0.00 0.00 0.00 0.00 2.21 2.65
3585.56/3597.18 c linear : 0.07 0.05 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.18 c logicor : 1.37 0.02 0.01 1.20 0.00 0.00 0.00 0.00 0.14 0.00
3585.56/3597.18 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.18 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.18 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.18 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.18 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.56/3597.18 c dualfix : 18 0 0 0
3585.56/3597.18 c genvbounds : 0 0 0 0
3585.56/3597.18 c nlobbt : 0 0 0 0
3585.56/3597.18 c obbt : 0 0 0 0
3585.56/3597.18 c probing : 0 0 0 0
3585.56/3597.18 c pseudoobj : 0 0 0 0
3585.56/3597.18 c redcost : 0 0 0 0
3585.56/3597.18 c rootredcost : 0 0 0 0
3585.56/3597.18 c symmetry : 34282 0 12 0
3585.56/3597.18 c vbounds : 128988 0 0 0
3585.56/3597.18 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.56/3597.18 c dualfix : 0.06 0.00 0.04 0.03 0.00 0.00
3585.56/3597.18 c genvbounds : 0.05 0.00 0.00 0.05 0.00 0.00
3585.56/3597.18 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.18 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.18 c probing : 223.65 0.00 223.65 0.00 0.00 0.00
3585.56/3597.18 c pseudoobj : 0.04 0.00 0.00 0.04 0.00 0.00
3585.56/3597.18 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3585.56/3597.18 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.00
3585.56/3597.18 c symmetry : 0.48 0.00 0.20 0.28 0.00 0.00
3585.56/3597.18 c vbounds : 167.14 0.01 0.37 166.73 0.00 0.03
3585.56/3597.18 c Symmetry :
3585.56/3597.18 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.56/3597.18 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.56/3597.18 c lexicographic red: 0 reductions applied, 12 cutoffs
3585.56/3597.18 c shadow tree time : 0.02 s
3585.56/3597.18 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.56/3597.18 c propagation : 3.68 2167 2138 - 18859 136.0 354 29.8 - - -
3585.56/3597.18 c infeasible LP : 0.40 41 41 - 185 108.0 10 39.0 41 5.8 0
3585.56/3597.18 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.56/3597.18 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.56/3597.18 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.56/3597.18 c applied globally : 1.52 - - 0 9267 58.5 - - 41 - -
3585.56/3597.18 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.56/3597.18 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.56/3597.18 c cut pool : 0.82 - 490 45 - - 37528 84170 - - - - - (maximal pool size: 21144)
3585.56/3597.18 c aggregation : 0.78 0.00 31 23 0 0 50 460 12 194 189 5 0
3585.56/3597.18 c > cmir : - - - - - - - 315 0 150 150 0 -
3585.56/3597.18 c > flowcover : - - - - - - - 145 0 39 39 0 -
3585.56/3597.18 c > knapsackcover : - - - - - - - 0 12 5 0 5 -
3585.56/3597.18 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c clique : 338.84 0.00 23 23 0 0 95 308 0 7 7 0 0
3585.56/3597.18 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c gomory : 21.50 0.00 28 20 0 0 4412 7061 96 765 762 3 0
3585.56/3597.18 c > gomorymi : - - - - - - - 2936 48 208 205 3 -
3585.56/3597.18 c > strongcg : - - - - - - - 4125 48 557 557 0 -
3585.56/3597.18 c impliedbounds : 1.36 0.00 31 23 0 0 31815 74070 0 19088 19088 0 0
3585.56/3597.18 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c mcf : 0.11 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c multilinear : 0.08 0.00 172 23 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.18 c rlt : 180.49 0.01 33 20 0 0 993 1194 105 808 756 52 0
3585.56/3597.18 c zerohalf : 2.09 0.00 31 23 0 0 385 1077 9 417 414 3 0
3585.56/3597.18 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.56/3597.18 c hybrid : 2.59 0.00 4305 24 258522 1 810121 14599 0 67335
3585.56/3597.18 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c Pricers : ExecTime SetupTime Calls Vars
3585.56/3597.18 c problem variables: 0.00 - 0 0
3585.56/3597.18 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.56/3597.18 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c relpscost : 135.36 0.00 2251 0 0 0 1 0 0 4500
3585.56/3597.18 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.18 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.56/3597.18 c LP solutions : 0.00 - - 0 0
3585.56/3597.18 c relax solutions : 0.00 - - 0 0
3585.56/3597.18 c pseudo solutions : 0.00 - - 0 0
3585.56/3597.18 c strong branching : 0.00 - - 0 0
3585.56/3597.18 c actconsdiving : 0.00 0.00 0 0 0
3585.56/3597.18 c adaptivediving : 33.58 0.00 13 0 0
3585.56/3597.18 c alns : 1.93 0.00 4 0 0
3585.56/3597.18 c bound : 0.00 0.00 0 0 0
3585.56/3597.18 c clique : 0.29 0.00 1 0 0
3585.56/3597.18 c coefdiving : 0.00 0.00 0 0 0
3585.56/3597.18 c completesol : 0.00 0.00 0 0 0
3585.56/3597.18 c conflictdiving : 103.52 0.00 34 0 0
3585.56/3597.18 c crossover : 0.00 0.00 0 0 0
3585.56/3597.18 c dins : 0.00 0.00 0 0 0
3585.56/3597.18 c distributiondivin: 53.76 0.00 31 0 0
3585.56/3597.18 c dps : 0.00 0.00 0 0 0
3585.56/3597.18 c dualval : 0.00 0.00 0 0 0
3585.56/3597.18 c farkasdiving : 0.00 0.00 0 0 0
3585.56/3597.18 c feasjump : 0.15 0.00 2 0 0
3585.56/3597.18 c feaspump : 23.38 0.00 11 0 0
3585.56/3597.18 c fixandinfer : 0.00 0.00 0 0 0
3585.56/3597.18 c fracdiving : 77.84 0.00 33 0 0
3585.56/3597.18 c gins : 0.00 0.00 0 0 0
3585.56/3597.18 c guideddiving : 0.00 0.00 0 0 0
3585.56/3597.18 c indcoefdiving : 0.00 0.00 0 0 0
3585.56/3597.18 c indicator : 0.00 0.00 0 0 0
3585.56/3597.18 c indicatordiving : 0.00 0.00 0 0 0
3585.56/3597.18 c indoneopt : 0.00 0.00 0 0 0
3585.56/3597.18 c indrounding : 0.00 0.00 0 0 0
3585.56/3597.18 c indtwoopt : 0.00 0.00 0 0 0
3585.56/3597.18 c intdiving : 0.00 0.00 0 0 0
3585.56/3597.18 c intshifting : 0.00 0.00 0 0 0
3585.56/3597.18 c linesearchdiving : 66.05 0.00 32 0 0
3585.56/3597.18 c localbranching : 0.00 0.00 0 0 0
3585.56/3597.18 c locks : 0.14 0.00 1 0 0
3585.56/3597.18 c lpface : 0.33 0.00 0 0 0
3585.56/3597.18 c mpec : 0.00 0.00 0 0 0
3585.56/3597.18 c multistart : 0.00 0.00 0 0 0
3585.56/3597.18 c mutation : 0.00 0.00 0 0 0
3585.56/3597.18 c nlpdiving : 0.00 0.00 0 0 0
3585.56/3597.18 c objpscostdiving : 263.50 0.00 8 0 0
3585.56/3597.18 c octane : 0.00 0.00 0 0 0
3585.56/3597.18 c ofins : 0.00 0.00 0 0 0
3585.56/3597.18 c oneopt : 0.00 0.00 0 0 0
3585.56/3597.18 c padm : 0.00 0.00 0 0 0
3585.56/3597.18 c proximity : 0.00 0.00 0 0 0
3585.56/3597.18 c pscostdiving : 35.16 0.00 35 0 0
3585.56/3597.18 c randrounding : 2.67 0.00 430 0 0
3585.56/3597.18 c rens : 0.94 0.00 2 0 0
3585.56/3597.18 c reoptsols : 0.00 0.00 0 0 0
3585.56/3597.18 c repair : 0.00 0.00 0 0 0
3585.56/3597.18 c rins : 0.00 0.00 0 0 0
3585.56/3597.18 c rootsoldiving : 32.65 0.00 7 0 0
3585.56/3597.18 c rounding : 4.47 0.00 1124 0 0
3585.56/3597.18 c scheduler : 0.00 0.00 0 0 0
3585.56/3597.18 c shiftandpropagate: 0.82 0.00 2 0 0
3585.56/3597.18 c shifting : 7.44 0.00 327 0 0
3585.56/3597.18 c simplerounding : 0.00 0.00 0 0 0
3585.56/3597.18 c smallcard : 0.00 0.00 0 0 0
3585.56/3597.18 c subnlp : 0.00 0.00 0 0 0
3585.56/3597.18 c trivial : 0.06 0.00 4 0 0
3585.56/3597.18 c trivialnegation : 0.00 0.00 0 0 0
3585.56/3597.18 c trustregion : 0.00 0.00 0 0 0
3585.56/3597.18 c trysol : 0.00 0.00 0 0 0
3585.56/3597.18 c twoopt : 0.00 0.00 0 0 0
3585.56/3597.18 c undercover : 0.89 0.00 1 0 0
3585.56/3597.18 c vbounds : 0.99 0.00 2 0 0
3585.56/3597.18 c veclendiving : 67.28 0.00 34 0 0
3585.56/3597.18 c zeroobj : 0.00 0.00 0 0 0
3585.56/3597.18 c zirounding : 1.15 0.00 1000 0 0
3585.56/3597.18 c other solutions : - - - 0 -
3585.56/3597.18 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.56/3597.18 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
3585.56/3597.18 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
3585.56/3597.18 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
3585.56/3597.18 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
3585.56/3597.18 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
3585.56/3597.18 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
3585.56/3597.18 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
3585.56/3597.18 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
3585.56/3597.18 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
3585.56/3597.18 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.56/3597.18 c primal LP : 1.55 156 0 0.00 0.00 1.55 156
3585.56/3597.18 c dual LP : 1435.24 6572 3578008 544.76 2492.96 0.05 4
3585.56/3597.18 c lex dual LP : 0.00 0 0 0.00 -
3585.56/3597.18 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.56/3597.18 c resolve instable : 0.00 0 0 0.00 -
3585.56/3597.18 c diving/probing LP: 768.26 783 755640 965.06 983.57
3585.56/3597.18 c strong branching : 76.41 58 51351 885.36 672.08 - - 97
3585.56/3597.18 c (at root node) : - 58 51351 885.36 -
3585.56/3597.18 c conflict analysis: 0.00 0 0 0.00 -
3585.56/3597.18 c B&B Tree :
3585.56/3597.18 c number of runs : 2
3585.56/3597.18 c nodes : 1899 (1381 internal, 518 leaves)
3585.56/3597.18 c feasible leaves : 0
3585.56/3597.18 c infeas. leaves : 517
3585.56/3597.18 c objective leaves : 0
3585.56/3597.18 c nodes (total) : 3087 (2250 internal, 837 leaves)
3585.56/3597.18 c nodes left : 246
3585.56/3597.18 c max depth : 41
3585.56/3597.18 c max depth (total): 41
3585.56/3597.18 c backtracks : 528 (27.8%)
3585.56/3597.18 c early backtracks : 0 (0.0%)
3585.56/3597.18 c nodes exc. ref. : 0 (0.0%)
3585.56/3597.18 c delayed cutoffs : 619
3585.56/3597.18 c repropagations : 1767 (981394 domain reductions, 408 cutoffs)
3585.56/3597.18 c avg switch length: 3.45
3585.56/3597.18 c switching time : 11.62
3585.56/3597.18 c Root Node :
3585.56/3597.18 c First LP value : +0.00000000000000e+00
3585.56/3597.18 c First LP Iters : 3635 (3986.25 Iter/sec)
3585.56/3597.18 c First LP Time : 0.91
3585.56/3597.18 c Final Dual Bound : +0.00000000000000e+00
3585.56/3597.18 c Final Root Iters : 142763
3585.56/3597.18 c Root LP Estimate : +1.12889945516953e-02
3585.56/3597.18 c Solution :
3585.56/3597.18 c Solutions found : 0 (0 improvements)
3585.56/3597.18 c Primal Bound : -
3585.56/3597.18 c Dual Bound : +0.00000000000000e+00
3585.56/3597.18 c Gap : infinite
3585.56/3597.18 c Integrals : Total Avg%
3585.56/3597.18 c primal-dual : 359699.99 100.00
3585.56/3597.18 c primal-ref : - - (not evaluated)
3585.56/3597.18 c dual-ref : - - (not evaluated)
3586.16/3597.70 c Time complete: 3586.17.
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: 63665 MiB (63092 MiB free)
memory of node 1: 64507 MiB (63903 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491546-1751142711/watcher-4491546-1751142711 -o /tmp/evaluation-result-4491546-1751142711/solver-4491546-1751142711 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751142711-13297 --watchdog 3760 pbscip -f HOME/instance-4491546-1751142711.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
Current StackSize limit: 8192 KiB
solver pid=13348, runsolver pid=13336
[startup+0.100074 s]*
/proc/loadavg: 1.05 1.09 1.48 1/264 13353
/proc/meminfo: memFree=130043264/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=27548 memory=256 CPUtime=0 cores=5,7
/proc/13348/stat : 13348 (pbscip) D 13336 13348 11624 0 -1 4194304 86 0 1 0 0 0 0 0 20 0 1 0 29950747 28209152 64 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 6887 64 64 3530 0 1340 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27548 KiB
Current children cumulated memory: 256 KiB
[startup+0.204957 s]*
/proc/loadavg: 1.05 1.09 1.48 5/265 13354
/proc/meminfo: memFree=129979072/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=55304 memory=26880 CPUtime=0.02 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 3860 0 5 0 2 0 0 0 20 0 1 0 29950747 56631296 6720 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 13826 6720 3168 3530 0 5277 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 55304 KiB
Current children cumulated memory: 26880 KiB
[startup+0.305486 s]*
/proc/loadavg: 1.05 1.09 1.48 5/265 13354
/proc/meminfo: memFree=129841984/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=95596 memory=66944 CPUtime=0.12 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 13889 0 5 0 10 2 0 0 20 0 1 0 29950747 97890304 16736 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 23899 16736 3168 3530 0 15350 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 95596 KiB
Current children cumulated memory: 66944 KiB
[startup+0.700182 s]
/proc/loadavg: 1.05 1.09 1.48 5/265 13354
/proc/meminfo: memFree=129689664/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=294236 memory=267772 CPUtime=0.5 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 64191 0 5 0 40 10 0 0 20 0 1 0 29950747 301297664 66943 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 73559 66943 3456 3530 0 65010 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 294236 KiB
Current children cumulated memory: 267772 KiB
[startup+1.50017 s]
/proc/loadavg: 1.05 1.09 1.48 5/265 13354
/proc/meminfo: memFree=129251372/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=545932 memory=507988 CPUtime=1.3 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 114457 0 5 0 110 20 0 0 20 0 1 0 29950747 559034368 126997 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 136483 126997 3616 3530 0 127934 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 545932 KiB
Current children cumulated memory: 507988 KiB
[startup+3.10544 s]
/proc/loadavg: 1.28 1.14 1.49 5/265 13354
/proc/meminfo: memFree=128367948/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=545932 memory=508116 CPUtime=2.9 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 114488 0 5 0 270 20 0 0 20 0 1 0 29950747 559034368 127029 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 136483 127029 3648 3530 0 127934 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 545932 KiB
Current children cumulated memory: 508116 KiB
[startup+6.30017 s]
/proc/loadavg: 1.28 1.14 1.49 5/265 13399
/proc/meminfo: memFree=128020956/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=547224 memory=508756 CPUtime=6.08 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 114699 0 5 0 588 20 0 0 20 0 1 0 29950747 560357376 127189 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 136806 127189 3648 3530 0 128257 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 547224 KiB
Current children cumulated memory: 508756 KiB
[startup+12.7002 s]
/proc/loadavg: 1.50 1.19 1.51 5/265 13444
/proc/meminfo: memFree=127645744/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=547224 memory=508756 CPUtime=12.46 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 114699 0 5 0 1226 20 0 0 20 0 1 0 29950747 560357376 127189 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 136806 127189 3648 3530 0 128257 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 547224 KiB
Current children cumulated memory: 508756 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.34 1.55 5/265 13489
/proc/meminfo: memFree=126692056/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=547224 memory=508756 CPUtime=25.22 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 114699 0 5 0 2502 20 0 0 20 0 1 0 29950747 560357376 127189 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 136806 127189 3648 3530 0 128257 0
Current children cumulated CPU time: 25.22 s
Current children cumulated vsize: 547224 KiB
Current children cumulated memory: 508756 KiB
[startup+51.1055 s]
/proc/loadavg: 2.84 1.57 1.62 5/265 13490
/proc/meminfo: memFree=126311632/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=547224 memory=508756 CPUtime=50.73 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 114701 0 5 0 5053 20 0 0 20 0 1 0 29950747 560357376 127189 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 136806 127189 3648 3530 0 128257 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 547224 KiB
Current children cumulated memory: 508756 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.96 1.76 5/264 13492
/proc/meminfo: memFree=126183824/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=547224 memory=508756 CPUtime=101.74 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 114723 0 5 0 10154 20 0 0 20 0 1 0 29950747 560357376 127189 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 136806 127189 3648 3530 0 128257 0
Current children cumulated CPU time: 101.74 s
Current children cumulated vsize: 547224 KiB
Current children cumulated memory: 508756 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.37 1.91 5/265 13499
/proc/meminfo: memFree=125010348/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=583216 memory=543080 CPUtime=161.5 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 149657 0 5 0 16123 27 0 0 20 0 1 0 29950747 597213184 135770 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 145804 135770 3680 3530 0 137255 0
Current children cumulated CPU time: 161.5 s
Current children cumulated vsize: 583216 KiB
Current children cumulated memory: 543080 KiB
[startup+222.3 s]
/proc/loadavg: 3.98 2.67 2.04 5/265 13544
/proc/meminfo: memFree=125148460/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=584460 memory=544232 CPUtime=221.24 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 149933 0 5 0 22097 27 0 0 20 0 1 0 29950747 598487040 136058 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 146115 136058 3680 3530 0 137566 0
Current children cumulated CPU time: 221.24 s
Current children cumulated vsize: 584460 KiB
Current children cumulated memory: 544232 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.94 2.18 5/266 13547
/proc/meminfo: memFree=124692396/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=584460 memory=544360 CPUtime=280.99 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 149983 0 5 0 28072 27 0 0 20 0 1 0 29950747 598487040 136090 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 146115 136090 3680 3530 0 137566 0
Current children cumulated CPU time: 280.99 s
Current children cumulated vsize: 584460 KiB
Current children cumulated memory: 544360 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.15 2.30 5/265 13552
/proc/meminfo: memFree=124449144/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=587460 memory=547176 CPUtime=340.74 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 150695 0 5 0 34047 27 0 0 20 0 1 0 29950747 601559040 136794 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 146865 136794 3680 3530 0 138316 0
Current children cumulated CPU time: 340.74 s
Current children cumulated vsize: 587460 KiB
Current children cumulated memory: 547176 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.32 2.41 5/265 13554
/proc/meminfo: memFree=123531216/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=1079744 memory=969732 CPUtime=400.54 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 259304 0 5 0 40012 42 0 0 20 0 1 0 29950747 1105657856 242433 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 269936 242433 3904 3530 0 261387 0
Current children cumulated CPU time: 400.54 s
Current children cumulated vsize: 1079744 KiB
Current children cumulated memory: 969732 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.47 2.52 5/265 13556
/proc/meminfo: memFree=123526260/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=1079744 memory=969988 CPUtime=460.35 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 259390 0 5 0 45993 42 0 0 20 0 1 0 29950747 1105657856 242497 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 269936 242497 3904 3530 0 261387 0
Current children cumulated CPU time: 460.35 s
################
# More data... #
################
/proc/loadavg: 3.11 3.14 3.37 4/260 13745
/proc/meminfo: memFree=122816616/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2087720 memory=1942264 CPUtime=3211.91 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 427263 0 5 0 321115 76 0 0 20 0 1 0 29950747 2137825280 485566 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 521930 485566 3904 3530 0 513381 0
Current children cumulated CPU time: 3211.91 s
Current children cumulated vsize: 2087720 KiB
Current children cumulated memory: 1942264 KiB
[startup+3282.3 s]
/proc/loadavg: 3.04 3.11 3.34 4/256 13747
/proc/meminfo: memFree=122427096/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2094052 memory=1948792 CPUtime=3271.72 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 428874 0 5 0 327095 77 0 0 20 0 1 0 29950747 2144309248 487198 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 523513 487198 3904 3530 0 514964 0
Current children cumulated CPU time: 3271.72 s
Current children cumulated vsize: 2094052 KiB
Current children cumulated memory: 1948792 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.12 3.33 4/257 13753
/proc/meminfo: memFree=122417732/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2097788 memory=1952376 CPUtime=3331.54 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 429788 0 5 0 333077 77 0 0 20 0 1 0 29950747 2148134912 488094 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 524447 488094 3904 3530 0 515898 0
Current children cumulated CPU time: 3331.54 s
Current children cumulated vsize: 2097788 KiB
Current children cumulated memory: 1952376 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.11 3.31 4/257 13755
/proc/meminfo: memFree=122427384/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2106472 memory=1960440 CPUtime=3391.35 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 431837 0 5 0 339058 77 0 0 20 0 1 0 29950747 2157027328 490110 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 526618 490110 3904 3530 0 518069 0
Current children cumulated CPU time: 3391.35 s
Current children cumulated vsize: 2106472 KiB
Current children cumulated memory: 1960440 KiB
[startup+3462.3 s]
/proc/loadavg: 3.07 3.10 3.30 4/257 13757
/proc/meminfo: memFree=122382456/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2122548 memory=1976312 CPUtime=3451.2 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 435814 0 5 0 345041 79 0 0 20 0 1 0 29950747 2173489152 494078 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 530637 494078 3904 3530 0 522088 0
Current children cumulated CPU time: 3451.2 s
Current children cumulated vsize: 2122548 KiB
Current children cumulated memory: 1976312 KiB
[startup+3522.3 s]
/proc/loadavg: 3.08 3.10 3.28 4/257 13759
/proc/meminfo: memFree=122338700/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2136680 memory=1990904 CPUtime=3510.99 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 439498 0 5 0 351019 80 0 0 20 0 1 0 29950747 2187960320 497726 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 534170 497726 3904 3530 0 525621 0
Current children cumulated CPU time: 3510.99 s
Current children cumulated vsize: 2136680 KiB
Current children cumulated memory: 1990904 KiB
[startup+3582.3 s]
/proc/loadavg: 3.07 3.09 3.26 4/258 13762
/proc/meminfo: memFree=122345500/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2137680 memory=1992568 CPUtime=3570.8 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 440106 0 5 0 357000 80 0 0 20 0 1 0 29950747 2188984320 498142 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 534420 498142 3904 3530 0 525871 0
Current children cumulated CPU time: 3570.8 s
Current children cumulated vsize: 2137680 KiB
Current children cumulated memory: 1992568 KiB
[startup+3597.71 s]
# the end of solver process 13348 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.35 s, system=0.828376 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.07 3.09 3.26 4/258 13762
/proc/meminfo: memFree=122345500/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2137680 memory=1992568 CPUtime=3572.5 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 440108 0 5 0 357170 80 0 0 20 0 1 0 29950747 2188984320 498142 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 534420 498142 3904 3530 0 525871 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 2137680 KiB
Current children cumulated memory: 1992568 KiB
[startup+3590.4 s]
/proc/loadavg: 3.14 3.10 3.27 4/258 13762
/proc/meminfo: memFree=122341164/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2138100 memory=1992952 CPUtime=3578.88 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 440176 0 5 0 357808 80 0 0 20 0 1 0 29950747 2189414400 498238 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 534525 498238 3904 3530 0 525976 0
Current children cumulated CPU time: 3578.88 s
Current children cumulated vsize: 2138100 KiB
Current children cumulated memory: 1992952 KiB
[startup+3593.6 s]
/proc/loadavg: 3.14 3.10 3.27 4/258 13762
/proc/meminfo: memFree=122341164/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2138100 memory=1992952 CPUtime=3582.07 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 440178 0 5 0 358127 80 0 0 20 0 1 0 29950747 2189414400 498238 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 534525 498238 3904 3530 0 525976 0
Current children cumulated CPU time: 3582.07 s
Current children cumulated vsize: 2138100 KiB
Current children cumulated memory: 1992952 KiB
[startup+3595.2 s]
/proc/loadavg: 3.13 3.10 3.27 4/258 13762
/proc/meminfo: memFree=122341164/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2140188 memory=1993720 CPUtime=3583.66 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 440397 0 5 0 358286 80 0 0 20 0 1 0 29950747 2191552512 498430 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 535047 498430 3904 3530 0 526498 0
Current children cumulated CPU time: 3583.66 s
Current children cumulated vsize: 2140188 KiB
Current children cumulated memory: 1993720 KiB
[startup+3596.8 s]
/proc/loadavg: 3.13 3.10 3.27 4/258 13762
/proc/meminfo: memFree=122341164/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2140188 memory=1994360 CPUtime=3585.26 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 440544 0 5 0 358446 80 0 0 20 0 1 0 29950747 2191552512 498590 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 535047 498590 3904 3530 0 526498 0
Current children cumulated CPU time: 3585.26 s
Current children cumulated vsize: 2140188 KiB
Current children cumulated memory: 1994360 KiB
[startup+3597.2 s]
/proc/loadavg: 3.13 3.10 3.27 4/258 13762
/proc/meminfo: memFree=122341164/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2140188 memory=1994360 CPUtime=3585.66 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 440549 0 5 0 358486 80 0 0 20 0 1 0 29950747 2191552512 498590 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 535047 498590 3904 3530 0 526498 0
Current children cumulated CPU time: 3585.66 s
Current children cumulated vsize: 2140188 KiB
Current children cumulated memory: 1994360 KiB
[startup+3597.6 s]
/proc/loadavg: 3.13 3.10 3.27 4/258 13762
/proc/meminfo: memFree=122341164/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=2075172 memory=1929496 CPUtime=3586.07 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 440571 0 5 0 358526 81 0 0 20 0 1 0 29950747 2124976128 482374 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 518793 482374 3904 3530 0 510244 0
Current children cumulated CPU time: 3586.07 s
Current children cumulated vsize: 2075172 KiB
Current children cumulated memory: 1929496 KiB
[startup+3597.7 s]
/proc/loadavg: 3.13 3.10 3.27 4/258 13762
/proc/meminfo: memFree=122341164/131249996 swapFree=33010684/33010684
[pid=13348] ppid=13336 vsize=1884992 memory=1740156 CPUtime=3586.16 cores=5,7
/proc/13348/stat : 13348 (pbscip) R 13336 13348 11624 0 -1 4194304 440583 0 5 0 358535 81 0 0 20 0 1 0 29950747 1930231808 435039 18446744073709551615 4235264 18693293 140734256742656 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46333952 140734256748937 140734256749036 140734256749036 140734256754638 0
/proc/13348/statm: 471248 435039 3904 3530 0 462699 0
Current children cumulated CPU time: 3586.16 s
Current children cumulated vsize: 1884992 KiB
Current children cumulated memory: 1740156 KiB
Child status: 0
Real time (s): 3597.71
CPU time (s): 3586.18
CPU user time (s): 3585.35
CPU system time (s): 0.828376
CPU usage (%): 99.6795
Max. virtual memory (cumulated for all children) (KiB): 2140188
Max. memory (cumulated for all children) (KiB): 1994360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.35
system time used= 0.828376
maximum resident set size= 1994360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440598
page faults= 5
swaps= 0
block input operations= 32
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132
involuntary context switches= 2080
# summary of solver processes directly reported to runsolver:
# pid: 13348
# total CPU time (s): 3586.18
# total CPU user time (s): 3585.35
# total CPU system time (s): 0.828376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53683 second user time and 14.8086 second system time
The end
Begin job on nodeC030 at 2025-06-28 22:31:51 IDJOB=4491546 IDBENCH=147718 IDSOLVER=3365 FILE ID=nodeC030/4491546-1751142711 RUNJOBID= nodeC030-1751142711-13297 SLURM_JOB_ID= 9587430 Free space on /tmp= 433016 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491546-1751142711/watcher-4491546-1751142711 -o /tmp/evaluation-result-4491546-1751142711/solver-4491546-1751142711 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751142711-13297 --watchdog 3760 pbscip -f HOME/instance-4491546-1751142711.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 209c63ac31a13f6816f27826d17fc4ad RANDOM SEED=325491927 nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.327 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.62 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.592 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.62 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 : 3603.458 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.62 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 : 3600.357 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.62 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 : 3597.665 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.62 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 : 3600.628 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.62 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.323 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.62 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.365 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.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 130036536 kB MemAvailable: 129717144 kB Buffers: 3280 kB Cached: 492216 kB SwapCached: 0 kB Active: 284984 kB Inactive: 270420 kB Active(anon): 77980 kB Inactive(anon): 0 kB Active(file): 207004 kB Inactive(file): 270420 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 97104 kB Writeback: 36 kB AnonPages: 63280 kB Mapped: 102644 kB Shmem: 18064 kB KReclaimable: 84448 kB Slab: 166428 kB SReclaimable: 84448 kB SUnreclaim: 81980 kB KernelStack: 3952 kB PageTables: 2512 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 330664 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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: 189140 kB DirectMap2M: 9019392 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432948 MiB End job on nodeC030 at 2025-06-28 23:31:50