| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3587.36 | 3597.05 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K98.opb |
| MD5SUM | 5359c0df8e4997707ebdbb5ef15bc818 |
| 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.62353 |
| 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 | 6664 |
| Total number of constraints | 6862 |
| Number of constraints which are clauses | 6764 |
| Number of constraints which are cardinality constraints (but not clauses) | 98 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 98 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 99 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4507383-1751190885.opb>
0.00/0.02 c original problem has 6664 variables (6664 bin, 0 int, 0 cont) and 6862 constraints
0.00/0.02 c problem read in 0.021 seconds
0.00/0.02 c problem without objective
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1331 clqs
0.00/0.05 c (round 2, fast) 392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1318 clqs
0.00/0.05 c (round 3, fast) 506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1323 clqs
0.00/0.05 c (round 4, fast) 570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1349 clqs
0.00/0.05 c (round 5, fast) 581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1364 clqs
0.00/0.07 c (0.1s) running MILP presolver
0.09/0.12 c (0.1s) MILP presolver (4 rounds): 1 aggregations, 100 fixings, 0 bound changes
0.09/0.12 c (round 6, medium) 684 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1362 clqs
0.09/0.12 c (round 7, fast) 684 del vars, 407 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1367 clqs
0.09/0.13 c (round 8, exhaustive) 684 del vars, 502 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1367 clqs
0.09/0.15 c (round 9, exhaustive) 684 del vars, 502 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 6360 upgd conss, 0 impls, 1367 clqs
0.09/0.18 c (round 10, exhaustive) 746 del vars, 502 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6360 upgd conss, 0 impls, 1354 clqs
0.09/0.18 c (round 11, fast) 808 del vars, 564 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6360 upgd conss, 0 impls, 1354 clqs
0.50/0.59 c (round 12, exhaustive) 834 del vars, 565 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6360 upgd conss, 0 impls, 39426 clqs
0.50/0.59 c (round 13, fast) 834 del vars, 591 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 114 chg coeffs, 6360 upgd conss, 0 impls, 39439 clqs
0.88/1.00 c (round 14, exhaustive) 862 del vars, 591 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 115 chg coeffs, 6360 upgd conss, 0 impls, 39781 clqs
0.88/1.00 c (round 15, fast) 862 del vars, 619 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 166 chg coeffs, 6360 upgd conss, 0 impls, 39788 clqs
1.18/1.20 c (round 16, exhaustive) 891 del vars, 619 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 166 chg coeffs, 6360 upgd conss, 0 impls, 39579 clqs
1.18/1.20 c (round 17, fast) 895 del vars, 648 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 221 chg coeffs, 6360 upgd conss, 0 impls, 39586 clqs
1.48/1.59 c (round 18, exhaustive) 920 del vars, 648 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 221 chg coeffs, 6360 upgd conss, 0 impls, 39788 clqs
1.48/1.59 c (round 19, fast) 920 del vars, 673 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 258 chg coeffs, 6360 upgd conss, 0 impls, 39789 clqs
1.58/1.64 c (round 20, exhaustive) 946 del vars, 673 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 258 chg coeffs, 6360 upgd conss, 0 impls, 39748 clqs
1.58/1.64 c (round 21, fast) 947 del vars, 699 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 285 chg coeffs, 6360 upgd conss, 0 impls, 39749 clqs
1.88/1.90 c (1.9s) probing: 1000/6139 (16.3%) - 145 fixings, 1 aggregations, 622463 implications, 0 bound changes
3.18/3.22 c (3.2s) probing: 2000/6139 (32.6%) - 152 fixings, 1 aggregations, 1186695 implications, 0 bound changes
3.28/3.39 c (round 22, exhaustive) 972 del vars, 699 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 285 chg coeffs, 6360 upgd conss, 0 impls, 39818 clqs
3.38/3.40 c (round 23, fast) 972 del vars, 724 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 314 chg coeffs, 6360 upgd conss, 0 impls, 39818 clqs
3.38/3.44 c (round 24, exhaustive) 997 del vars, 724 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 314 chg coeffs, 6360 upgd conss, 0 impls, 39793 clqs
3.38/3.44 c (round 25, fast) 997 del vars, 749 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 346 chg coeffs, 6360 upgd conss, 0 impls, 39793 clqs
4.27/4.37 c (4.4s) probing: 3000/6139 (48.9%) - 192 fixings, 1 aggregations, 1598830 implications, 0 bound changes
5.17/5.28 c (round 26, exhaustive) 1022 del vars, 749 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 346 chg coeffs, 6360 upgd conss, 0 impls, 39880 clqs
5.17/5.28 c (round 27, fast) 1022 del vars, 774 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 395 chg coeffs, 6360 upgd conss, 0 impls, 39883 clqs
5.47/5.52 c (5.5s) probing: 4000/6139 (65.2%) - 214 fixings, 1 aggregations, 2007143 implications, 0 bound changes
6.37/6.44 c (6.4s) probing: 4871/6139 (79.3%) - 214 fixings, 1 aggregations, 2360488 implications, 0 bound changes
6.37/6.44 c (6.4s) probing aborted: 1000/1000 successive useless probings
6.37/6.44 c (round 28, exhaustive) 1033 del vars, 774 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 395 chg coeffs, 6360 upgd conss, 0 impls, 39906 clqs
6.37/6.44 c (round 29, fast) 1033 del vars, 785 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 410 chg coeffs, 6360 upgd conss, 0 impls, 39906 clqs
6.47/6.58 c (6.6s) probing: 4971/6139 (81.0%) - 214 fixings, 1 aggregations, 2397527 implications, 0 bound changes
6.47/6.58 c (6.6s) probing aborted: 1000/1000 successive useless probings
6.47/6.59 c (6.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
6.57/6.61 c (6.6s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 2.58) (symcode time: 0.01)
6.57/6.62 c dynamic symmetry handling statistics:
6.57/6.62 c orbitopal reduction: no components
6.57/6.62 c orbital reduction: no components
6.57/6.62 c lexicographic reduction: 4 permutations with support sizes 184, 364, 184, 168
6.57/6.62 c handled 5 out of 5 symmetry components
6.57/6.62 c presolving (30 rounds: 30 fast, 14 medium, 13 exhaustive):
6.57/6.62 c 1036 deleted vars, 785 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 410 changed coefficients
6.57/6.62 c 0 implications, 39918 cliques
6.57/6.62 c presolved problem has 5916 variables (5916 bin, 0 int, 0 cont) and 6080 constraints
6.57/6.62 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
6.57/6.62 c 1 constraints of type <knapsack>
6.57/6.62 c 1294 constraints of type <setppc>
6.57/6.62 c 3 constraints of type <orbitope_pp>
6.57/6.62 c 4782 constraints of type <logicor>
6.57/6.62 c transformed objective value is always integral (scale: 1)
6.57/6.62 c Presolving Time: 6.59
6.57/6.62 c
6.57/6.62 c - non default parameters ----------------------------------------------------------------------
6.57/6.62 c
6.57/6.62 c # SCIP version 10.0.0
6.57/6.62 c
6.57/6.62 c # maximal time in seconds to run
6.57/6.62 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
6.57/6.62 c limits/time = 3596.998258
6.57/6.62 c
6.57/6.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.57/6.62 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
6.57/6.62 c limits/memory = 27900
6.57/6.62 c
6.57/6.62 c # belongs reading time to solving time?
6.57/6.62 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
6.57/6.62 c timing/reading = TRUE
6.57/6.62 c
6.57/6.62 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
6.57/6.62 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
6.57/6.62 c reading/opbreader/maxintsize = 47
6.57/6.62 c
6.57/6.62 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
6.57/6.62 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
6.57/6.62 c propagating/genvbounds/timingmask = 0
6.57/6.62 c
6.57/6.62 c -----------------------------------------------------------------------------------------------
6.57/6.62 c
10.75/10.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.75/10.89 c 10.9s| 1 | 0 | 12305 | - | 131M | 0 |5916 |6209 |6074 | 0 | 0 | 142 | 0 | 0.000000e+00 | -- | Inf | unknown
43.36/43.54 c 43.5s| 1 | 0 | 64439 | - | 141M | 0 |5916 |6410 |6094 | 20 | 1 | 143 | 0 | 0.000000e+00 | -- | Inf | unknown
46.45/46.60 c 46.6s| 1 | 0 | 70374 | - | 144M | 0 |5916 |6413 |6102 | 28 | 2 | 146 | 0 | 0.000000e+00 | -- | Inf | unknown
49.54/49.78 c 49.8s| 1 | 0 | 76308 | - | 146M | 0 |5916 |6420 |6110 | 36 | 3 | 153 | 0 | 0.000000e+00 | -- | Inf | unknown
55.42/55.63 c 55.6s| 1 | 0 | 86890 | - | 149M | 0 |5916 |6424 |6123 | 49 | 4 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
62.20/62.43 c 62.4s| 1 | 0 | 98175 | - | 150M | 0 |5916 |6433 |6134 | 60 | 5 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
65.79/66.10 c 66.1s| 1 | 0 |103846 | - | 152M | 0 |5916 |6435 |6144 | 70 | 6 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown
67.89/68.10 c 68.1s| 1 | 0 |106777 | - | 153M | 0 |5916 |6445 |6150 | 76 | 7 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
72.17/72.44 c 72.4s| 1 | 0 |114565 | - | 154M | 0 |5916 |6446 |6166 | 92 | 8 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown
75.95/76.20 c 76.2s| 1 | 0 |121088 | - | 155M | 0 |5916 |6448 |6174 | 100 | 9 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
80.14/80.45 c 80.4s| 1 | 0 |128735 | - | 156M | 0 |5916 |6443 |6188 | 114 | 10 | 191 | 0 | 0.000000e+00 | -- | Inf | unknown
83.93/84.26 c 84.3s| 1 | 0 |136363 | - | 157M | 0 |5916 |6442 |6202 | 128 | 11 | 192 | 0 | 0.000000e+00 | -- | Inf | unknown
117.52/117.92 c 118s| 1 | 2 |186445 | - | 158M | 0 |5916 |6418 |6202 | 128 | 11 | 207 | 11 | 0.000000e+00 | -- | Inf | unknown
199.77/200.42 c 200s| 100 | 22 |359232 |2253.7 | 172M | 40 |5916 |6392 |6143 | 188 | 0 | 253 | 11 | 0.000000e+00 | -- | Inf | 25.00%
262.69/263.58 c 264s| 200 | 36 |532126 |1990.0 | 184M | 40 |5916 |6446 |6138 | 236 | 1 | 369 | 11 | 0.000000e+00 | -- | Inf | 25.00%
404.13/405.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
404.13/405.32 c 405s| 300 | 54 |909541 |2586.7 | 193M | 40 |5916 |6442 |6148 | 316 | 0 | 452 | 11 | 0.000000e+00 | -- | Inf | 25.00%
462.58/463.97 c 464s| 400 | 72 | 1064k|2327.4 | 202M | 40 |5916 |6497 |6149 | 369 | 1 | 532 | 11 | 0.000000e+00 | -- | Inf | 25.01%
506.57/508.04 c 508s| 500 | 76 | 1195k|2123.9 | 207M | 43 |5916 |6566 |6153 | 435 | 1 | 644 | 11 | 0.000000e+00 | -- | Inf | 25.01%
553.55/555.19 c 555s| 600 | 74 | 1337k|2005.7 | 210M | 43 |5916 |6545 |6151 | 507 | 0 | 659 | 11 | 0.000000e+00 | -- | Inf | 25.01%
591.95/593.61 c 594s| 700 | 72 | 1459k|1893.1 | 213M | 43 |5916 |6515 |6145 | 574 | 0 | 706 | 11 | 0.000000e+00 | -- | Inf | 25.01%
677.54/679.42 c 679s| 800 | 81 | 1700k|1958.4 | 219M | 43 |5916 |6707 |6148 | 691 | 0 |1124 | 11 | 0.000000e+00 | -- | Inf | 25.01%
715.15/717.13 c 717s| 900 | 81 | 1812k|1864.4 | 222M | 43 |5916 |6617 |6154 | 748 | 0 |1216 | 11 | 0.000000e+00 | -- | Inf | 25.01%
757.14/759.27 c 759s| 1000 | 83 | 1936k|1802.6 | 223M | 43 |5916 |6597 | 0 | 801 | 0 |1277 | 11 | 0.000000e+00 | -- | Inf | 25.01%
806.11/808.37 c 808s| 1100 | 87 | 2081k|1770.0 | 224M | 43 |5916 |6606 |6159 | 853 | 1 |1318 | 11 | 0.000000e+00 | -- | Inf | 25.01%
855.39/857.72 c 858s| 1200 | 87 | 2230k|1747.1 | 225M | 43 |5916 |6595 |6158 | 903 | 0 |1347 | 11 | 0.000000e+00 | -- | Inf | 25.01%
899.27/901.70 c 902s| 1300 | 83 | 2359k|1711.7 | 230M | 51 |5916 |6599 |6163 | 994 | 0 |1391 | 11 | 0.000000e+00 | -- | Inf | 25.01%
949.55/952.13 c 952s| 1400 | 83 | 2503k|1691.9 | 232M | 51 |5916 |6551 |6138 |1076 | 1 |1431 | 11 | 0.000000e+00 | -- | Inf | 25.01%
1096.57/1099.53 c 1100s| 1500 | 107 | 2841k|1804.9 | 239M | 51 |5916 |6513 |6150 |1250 | 2 |1478 | 11 | 0.000000e+00 | -- | Inf | 25.01%
1383.85/1387.55 c 1388s| 1600 | 159 | 3487k|2095.6 | 243M | 51 |5916 |6557 |6149 |1344 | 1 |1607 | 11 | 0.000000e+00 | -- | Inf | 25.01%
1501.54/1505.50 c 1505s| 1700 | 197 | 3806k|2160.1 | 244M | 51 |5916 |6606 |6138 |1686 | 1 |1709 | 11 | 0.000000e+00 | -- | Inf | 25.01%
1580.04/1584.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1580.04/1584.23 c 1584s| 1800 | 229 | 4021k|2159.6 | 245M | 51 |5916 |6670 |6158 |1797 | 0 |1838 | 11 | 0.000000e+00 | -- | Inf | 25.01%
1719.49/1724.06 c 1724s| 1900 | 271 | 4388k|2239.2 | 249M | 51 |5916 |6620 |6143 |1986 | 1 |1892 | 11 | 0.000000e+00 | -- | Inf | 25.01%
1962.86/1968.08 c 1968s| 2000 | 329 | 5008k|2437.2 | 251M | 51 |5916 |6624 |6153 |2136 | 1 |2048 | 11 | 0.000000e+00 | -- | Inf | 25.01%
2162.35/2168.08 c 2168s| 2100 | 405 | 5512k|2561.2 | 256M | 51 |5916 |6624 |6153 |2393 | 1 |2207 | 11 | 0.000000e+00 | -- | Inf | 25.02%
2204.64/2210.45 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2204.64/2210.45 c (run 1, node 2125) performing user restart
2204.64/2210.45 c
2204.64/2210.46 c (restart) converted 53 cuts from the global cut pool into linear constraints
2204.64/2210.46 c
2204.64/2210.47 c presolving:
2204.64/2210.48 c (round 1, fast) 43 del vars, 33 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 152 chg coeffs, 0 upgd conss, 0 impls, 24967 clqs
2204.64/2210.49 c (round 2, exhaustive) 43 del vars, 38 del conss, 2 add conss, 0 chg bounds, 2 chg sides, 154 chg coeffs, 0 upgd conss, 0 impls, 24967 clqs
2204.74/2210.50 c (round 3, exhaustive) 43 del vars, 39 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 158 chg coeffs, 243 upgd conss, 0 impls, 24967 clqs
2204.74/2210.51 c (round 4, medium) 43 del vars, 44 del conss, 11 add conss, 0 chg bounds, 26 chg sides, 199 chg coeffs, 243 upgd conss, 0 impls, 24975 clqs
2204.84/2210.66 c (round 5, exhaustive) 43 del vars, 50 del conss, 11 add conss, 0 chg bounds, 26 chg sides, 1949 chg coeffs, 243 upgd conss, 0 impls, 24975 clqs
2204.84/2210.67 c (round 6, exhaustive) 43 del vars, 72 del conss, 11 add conss, 0 chg bounds, 26 chg sides, 1967 chg coeffs, 243 upgd conss, 0 impls, 24976 clqs
2204.94/2210.78 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
2204.94/2210.78 c 43 deleted vars, 72 deleted constraints, 11 added constraints, 0 tightened bounds, 0 added holes, 26 changed sides, 2014 changed coefficients
2204.94/2210.78 c 0 implications, 24977 cliques
2204.94/2210.78 c presolved problem has 5873 variables (5873 bin, 0 int, 0 cont) and 6630 constraints
2204.94/2210.78 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2204.94/2210.78 c 37 constraints of type <knapsack>
2204.94/2210.78 c 1364 constraints of type <setppc>
2204.94/2210.78 c 2 constraints of type <linear>
2204.94/2210.78 c 3 constraints of type <orbitope_pp>
2204.94/2210.78 c 5224 constraints of type <logicor>
2204.94/2210.78 c transformed objective value is always integral (scale: 1)
2204.94/2210.78 c Presolving Time: 6.90
2204.94/2210.79 c
2209.13/2214.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2209.13/2214.90 c 2215s| 1 | 0 | 5624k| - | 258M | 0 |5873 |6616 |6067 | 0 | 0 |2234 | 11 | 0.000000e+00 | -- | Inf | unknown
2211.52/2217.34 c 2217s| 1 | 0 | 5628k| - | 259M | 0 |5873 |6611 |6082 | 15 | 1 |2236 | 11 | 0.000000e+00 | -- | Inf | unknown
2214.02/2219.82 c 2220s| 1 | 0 | 5632k| - | 259M | 0 |5873 |6595 |6095 | 28 | 2 |2238 | 11 | 0.000000e+00 | -- | Inf | unknown
2217.11/2222.91 c 2223s| 1 | 0 | 5638k| - | 260M | 0 |5873 |6597 |6113 | 46 | 3 |2244 | 11 | 0.000000e+00 | -- | Inf | unknown
2220.50/2226.35 c 2226s| 1 | 0 | 5644k| - | 261M | 0 |5873 |6595 |6127 | 60 | 4 |2245 | 11 | 0.000000e+00 | -- | Inf | unknown
2223.69/2229.59 c 2230s| 1 | 0 | 5650k| - | 261M | 0 |5873 |6586 |6137 | 70 | 5 |2246 | 11 | 0.000000e+00 | -- | Inf | unknown
2226.98/2232.85 c 2233s| 1 | 0 | 5655k| - | 262M | 0 |5873 |6579 |6146 | 79 | 6 |2252 | 11 | 0.000000e+00 | -- | Inf | unknown
2231.37/2237.27 c 2237s| 1 | 0 | 5664k| - | 263M | 0 |5873 |6577 |6159 | 92 | 7 |2253 | 11 | 0.000000e+00 | -- | Inf | unknown
2238.06/2243.97 c 2244s| 1 | 0 | 5675k| - | 263M | 0 |5873 |6576 |6169 | 102 | 8 |2254 | 11 | 0.000000e+00 | -- | Inf | unknown
2244.34/2250.22 c 2250s| 1 | 0 | 5685k| - | 263M | 0 |5873 |6576 |6184 | 117 | 9 |2257 | 11 | 0.000000e+00 | -- | Inf | unknown
2251.23/2257.19 c 2257s| 1 | 0 | 5696k| - | 265M | 0 |5873 |6582 |6169 | 136 | 10 |2267 | 11 | 0.000000e+00 | -- | Inf | unknown
2256.61/2262.56 c 2263s| 1 | 0 | 5706k| - | 265M | 0 |5873 |6577 |6179 | 146 | 11 |2270 | 11 | 0.000000e+00 | -- | Inf | unknown
2295.03/2301.00 c 2301s| 1 | 2 | 5759k| - | 265M | 0 |5873 |6544 |6179 | 146 | 11 |2272 | 30 | 0.000000e+00 | -- | Inf | unknown
2867.98/2875.47 c 2875s| 100 | 60 | 6945k|3019.3 | 270M | 24 |5873 |6756 |6108 | 191 | 1 |2712 | 30 | 0.000000e+00 | -- | Inf | unknown
2947.14/2954.87 c 2955s| 200 | 61 | 7159k|2981.5 | 270M | 33 |5873 |6782 |6110 | 207 | 0 |2773 | 30 | 0.000000e+00 | -- | Inf | unknown
2984.72/2992.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2984.72/2992.52 c 2993s| 300 | 63 | 7270k|2904.4 | 271M | 33 |5873 |6811 |6106 | 223 | 1 |2840 | 30 | 0.000000e+00 | -- | Inf | unknown
3027.09/3035.00 c 3035s| 400 | 69 | 7398k|2840.3 | 271M | 33 |5873 |6809 |6110 | 249 | 1 |2879 | 30 | 0.000000e+00 | -- | Inf | unknown
3066.07/3074.11 c 3074s| 500 | 66 | 7518k|2777.4 | 272M | 33 |5873 |6811 |6094 | 262 | 0 |2907 | 30 | 0.000000e+00 | -- | Inf | unknown
3111.82/3120.09 c 3120s| 600 | 68 | 7658k|2726.9 | 273M | 40 |5873 |6857 |6094 | 277 | 1 |2969 | 30 | 0.000000e+00 | -- | Inf | unknown
3171.23/3179.61 c 3180s| 700 | 66 | 7834k|2692.7 | 274M | 62 |5873 |6888 |6098 | 301 | 0 |3003 | 30 | 0.000000e+00 | -- | Inf | unknown
3226.46/3235.07 c 3235s| 800 | 68 | 7996k|2656.2 | 275M | 62 |5873 |6934 |6095 | 334 | 1 |3056 | 30 | 0.000000e+00 | -- | Inf | unknown
3276.99/3285.79 c 3286s| 900 | 68 | 8149k|2618.9 | 278M | 62 |5873 |6962 |6100 | 383 | 1 |3098 | 30 | 0.000000e+00 | -- | Inf | unknown
3324.64/3333.50 c 3333s| 1000 | 66 | 8289k|2580.0 | 279M | 62 |5873 |6985 |6108 | 428 | 2 |3134 | 30 | 0.000000e+00 | -- | Inf | unknown
3374.29/3383.32 c 3383s| 1100 | 66 | 8435k|2545.0 | 281M | 62 |5873 |7022 | 0 | 471 | 0 |3177 | 30 | 0.000000e+00 | -- | Inf | unknown
3437.89/3447.11 c 3447s| 1200 | 70 | 8619k|2523.8 | 283M | 68 |5873 |7039 |6120 | 509 | 1 |3196 | 30 | 0.000000e+00 | -- | Inf | unknown
3476.86/3486.29 c 3486s| 1300 | 70 | 8733k|2483.5 | 283M | 84 |5873 |7053 |6120 | 526 | 1 |3218 | 30 | 0.000000e+00 | -- | Inf | unknown
3536.17/3545.71 c 3546s| 1400 | 66 | 8910k|2463.3 | 283M | 86 |5873 |7059 | 0 | 553 | 0 |3231 | 30 | 0.000000e+00 | -- | Inf | unknown
3574.05/3583.71 c 3584s| 1500 | 66 | 9022k|2426.2 | 284M | 86 |5873 |7097 |6105 | 582 | 1 |3277 | 30 | 0.000000e+00 | -- | Inf | unknown
3587.21/3597.00 c
3587.21/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.21/3597.00 c Solving Time (sec) : 3597.00
3587.21/3597.00 c Solving Nodes : 1533 (total of 3658 nodes in 2 runs)
3587.21/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.21/3597.00 c Dual Bound : +0.00000000000000e+00
3587.21/3597.00 c Gap : infinite
3587.21/3597.00 s UNKNOWN
3587.21/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.21/3597.00 c Total Time : 3597.00
3587.21/3597.00 c solving : 3597.00
3587.21/3597.00 c presolving : 6.90 (included in solving)
3587.21/3597.00 c reading : 0.02 (included in solving)
3587.21/3597.00 c copying : 1.40 (105 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.21/3597.00 c Original Problem :
3587.21/3597.00 c Problem name : HOME/instance-4507383-1751190885.opb
3587.21/3597.00 c Variables : 6664 (6664 binary, 0 integer, 0 continuous)
3587.21/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.21/3597.00 c Constraints : 6862 initial, 6862 maximal
3587.21/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.21/3597.00 c Presolved Problem :
3587.21/3597.00 c Problem name : t_HOME/instance-4507383-1751190885.opb
3587.21/3597.00 c Variables : 5873 (5873 binary, 0 integer, 0 continuous)
3587.21/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.21/3597.00 c Constraints : 6630 initial, 7105 maximal
3587.21/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.21/3597.00 c Nonzeros : 67767 constraint, 55979 clique table
3587.21/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.21/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c domcol : 0.09 0.00 11 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c gateextraction : 0.03 0.00 16 0 0 0 0 0 6 2 0 0
3587.21/3597.00 c implics : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c milp : 0.07 0.00 1 100 1 0 0 0 0 0 0 0
3587.21/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c sparsify : 0.15 0.00 3 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c trivial : 0.00 0.00 37 331 0 0 0 0 0 0 0 0
3587.21/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c dualfix : 0.00 0.00 37 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c probing : 5.82 0.00 10 214 1 0 0 0 0 0 0 0
3587.21/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c symmetry : 0.02 0.00 1 3 0 0 0 0 0 3 0 0
3587.21/3597.00 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c knapsack : 0.01 0.00 60 0 0 0 0 0 0 8 26 100
3587.21/3597.00 c setppc : 0.05 0.00 60 0 0 0 0 0 103 0 0 0
3587.21/3597.00 c and : 0.00 0.00 2 0 0 0 0 0 1 1 0 0
3587.21/3597.00 c linear : 0.05 0.00 21 141 0 0 141 0 502 0 0 2
3587.21/3597.00 c orbitope_pp : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c logicor : 0.56 0.01 58 62 0 0 0 0 245 0 0 2322
3587.21/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c root node : - - - 43 - - 43 - - - - -
3587.21/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.21/3597.00 c integral : 0 0 0 0 2072 0 0 392 0 0 0 0 0 0 4144
3587.21/3597.00 c knapsack : 37+ 38 22 149430 0 0 0 387 17248 5 6398 0 0 0 0
3587.21/3597.00 c setppc : 1364+ 1401 22 150713 0 0 0 339 634655 244 223078 4 1 0 0
3587.21/3597.00 c linear : 2+ 18 11 68892 0 0 0 3 2026 14 1337 10 8 0 0
3587.21/3597.00 c orbitope_pp : 3 3 0 75163 0 0 0 0 305 1 433 0 0 0 0
3587.21/3597.00 c logicor : 5224+ 5665 22 126081 0 0 0 0 1173917 374 339666 108 60 0 0
3587.21/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.21/3597.00 c integral : 15.92 0.00 0.00 0.00 15.92 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c knapsack : 0.27 0.00 0.04 0.21 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c setppc : 1.51 0.00 0.00 1.33 0.00 0.00 0.00 0.00 0.14 0.03
3587.21/3597.00 c linear : 0.08 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.01
3587.21/3597.00 c orbitope_pp : 0.17 0.00 0.00 0.17 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c logicor : 3.37 0.01 0.02 2.92 0.00 0.00 0.00 0.00 0.40 0.02
3587.21/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.21/3597.00 c dualfix : 2 0 0 0
3587.21/3597.00 c genvbounds : 0 0 0 0
3587.21/3597.00 c nlobbt : 0 0 0 0
3587.21/3597.00 c obbt : 0 0 0 0
3587.21/3597.00 c probing : 0 0 0 0
3587.21/3597.00 c pseudoobj : 0 0 0 0
3587.21/3597.00 c redcost : 0 0 0 0
3587.21/3597.00 c rootredcost : 0 0 0 0
3587.21/3597.00 c symmetry : 23397 0 0 41
3587.21/3597.00 c vbounds : 36685 0 0 0
3587.21/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.21/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c probing : 5.82 0.00 5.82 0.00 0.00 0.00
3587.21/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.21/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.21/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.21/3597.00 c symmetry : 0.12 0.00 0.02 0.10 0.00 0.00
3587.21/3597.00 c vbounds : 0.29 0.00 0.01 0.28 0.00 0.00
3587.21/3597.00 c Symmetry :
3587.21/3597.00 c #affected vars : 1244 (1244 bin, 0 int, 0 cont)
3587.21/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.21/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.21/3597.00 c lexicographic red: 41 reductions applied, 0 cutoffs
3587.21/3597.00 c shadow tree time : 0.01 s
3587.21/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.21/3597.00 c propagation : 0.18 615 466 - 4533 169.7 161 19.5 - - -
3587.21/3597.00 c infeasible LP : 5.35 1537 517 - 10631 1121.5 64 10.7 43 422.6 0
3587.21/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.21/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.21/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.21/3597.00 c applied globally : 0.13 - - 0 3242 158.8 - - 43 - -
3587.21/3597.00 c applied locally : - - - 0 2 1211.5 - - 0 - -
3587.21/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.21/3597.00 c cut pool : 0.19 - 651 42 - - 2186 28123 - - - - - (maximal pool size: 1029)
3587.21/3597.00 c aggregation : 0.14 0.00 116 22 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.21/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.21/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.21/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c clique : 0.64 0.00 22 22 0 0 167 1721 0 280 280 0 0
3587.21/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c gomory : 14.83 0.00 114 20 0 0 1886 22554 246 1285 1278 7 0
3587.21/3597.00 c > gomorymi : - - - - - - - 10647 123 737 733 4 -
3587.21/3597.00 c > strongcg : - - - - - - - 11907 123 548 545 3 -
3587.21/3597.00 c impliedbounds : 0.14 0.00 116 22 0 0 175 2314 0 525 525 0 0
3587.21/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c multilinear : 0.00 0.00 89 22 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c rapidlearning : 40.75 0.00 100 1 0 49655 0 0 0 0 0 0 498
3587.21/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c zerohalf : 7.37 0.00 116 22 0 0 428 1534 224 862 650 212 0
3587.21/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.21/3597.00 c hybrid : 0.04 0.00 447 22 3121 0 24073 277 0 260
3587.21/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.21/3597.00 c problem variables: 0.00 - 0 0
3587.21/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.21/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c relpscost : 15.91 0.00 2072 0 0 0 0 0 0 4144
3587.21/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.21/3597.00 c LP solutions : 0.00 - - 0 0
3587.21/3597.00 c relax solutions : 0.00 - - 0 0
3587.21/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.21/3597.00 c strong branching : 0.00 - - 0 0
3587.21/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c adaptivediving : 29.54 0.00 7 0 0
3587.21/3597.00 c alns : 5.56 0.00 3 0 0
3587.21/3597.00 c bound : 0.00 0.00 0 0 0
3587.21/3597.00 c clique : 0.05 0.00 1 0 0
3587.21/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c completesol : 0.00 0.00 0 0 0
3587.21/3597.00 c conflictdiving : 102.93 0.00 12 0 0
3587.21/3597.00 c crossover : 0.00 0.00 0 0 0
3587.21/3597.00 c dins : 0.00 0.00 0 0 0
3587.21/3597.00 c distributiondivin: 180.95 0.00 14 0 0
3587.21/3597.00 c dks : 0.00 0.00 0 0 0
3587.21/3597.00 c dps : 0.00 0.00 0 0 0
3587.21/3597.00 c dualval : 0.00 0.00 0 0 0
3587.21/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c feaspump : 69.55 0.00 6 0 0
3587.21/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.21/3597.00 c fracdiving : 137.95 0.00 15 0 0
3587.21/3597.00 c gins : 0.00 0.00 0 0 0
3587.21/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.21/3597.00 c indicator : 0.00 0.00 0 0 0
3587.21/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.21/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.21/3597.00 c linesearchdiving : 82.82 0.00 12 0 0
3587.21/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.21/3597.00 c locks : 0.02 0.00 1 0 0
3587.21/3597.00 c lpface : 0.02 0.00 0 0 0
3587.21/3597.00 c mpec : 0.00 0.00 0 0 0
3587.21/3597.00 c multistart : 0.00 0.00 0 0 0
3587.21/3597.00 c mutation : 0.00 0.00 0 0 0
3587.21/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c objpscostdiving : 144.12 0.00 3 0 0
3587.21/3597.00 c octane : 0.00 0.00 0 0 0
3587.21/3597.00 c ofins : 0.00 0.00 0 0 0
3587.21/3597.00 c oneopt : 0.00 0.00 0 0 0
3587.21/3597.00 c padm : 0.00 0.00 0 0 0
3587.21/3597.00 c proximity : 0.00 0.00 0 0 0
3587.21/3597.00 c pscostdiving : 113.10 0.00 12 0 0
3587.21/3597.00 c randrounding : 0.28 0.00 402 0 0
3587.21/3597.00 c rens : 0.20 0.00 2 0 0
3587.21/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.21/3597.00 c repair : 0.00 0.00 0 0 0
3587.21/3597.00 c rins : 0.00 0.00 0 0 0
3587.21/3597.00 c rootsoldiving : 33.58 0.00 6 0 0
3587.21/3597.00 c rounding : 0.13 0.00 683 0 0
3587.21/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.21/3597.00 c shiftandpropagate: 0.03 0.00 2 0 0
3587.21/3597.00 c shifting : 0.45 0.00 305 0 0
3587.21/3597.00 c simplerounding : 0.00 0.00 0 0 0
3587.21/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.21/3597.00 c trivial : 0.01 0.00 4 0 0
3587.21/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.21/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.21/3597.00 c trysol : 0.00 0.00 0 0 0
3587.21/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.21/3597.00 c undercover : 0.00 0.00 0 0 0
3587.21/3597.00 c vbounds : 0.07 0.00 2 0 0
3587.21/3597.00 c veclendiving : 157.37 0.00 16 0 0
3587.21/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.21/3597.00 c zirounding : 0.07 0.00 1000 0 0
3587.21/3597.00 c other solutions : - - - 0 -
3587.21/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.21/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.21/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.21/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.21/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.21/3597.00 c primal LP : 0.83 174 0 0.00 0.00 0.83 174
3587.21/3597.00 c dual LP : 2437.79 4035 6709521 1685.81 2752.30 0.10 55
3587.21/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.21/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.21/3597.00 c resolve instable : 5.50 5 21672 4334.40 3938.68
3587.21/3597.00 c diving/probing LP: 1050.18 2175 2351820 1081.30 2239.44
3587.21/3597.00 c strong branching : 11.18 30 19931 664.37 1782.90 - - 37
3587.21/3597.00 c (at root node) : - 30 19931 664.37 -
3587.21/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.21/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.21/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3587.21/3597.00 c B&B Tree :
3587.21/3597.00 c number of runs : 2
3587.21/3597.00 c nodes : 1533 (801 internal, 732 leaves)
3587.21/3597.00 c feasible leaves : 0
3587.21/3597.00 c infeas. leaves : 731
3587.21/3597.00 c objective leaves : 0
3587.21/3597.00 c nodes (total) : 3658 (2072 internal, 1586 leaves)
3587.21/3597.00 c nodes left : 66
3587.21/3597.00 c max depth : 86
3587.21/3597.00 c max depth (total): 86
3587.21/3597.00 c backtracks : 189 (12.3%)
3587.21/3597.00 c early backtracks : 0 (0.0%)
3587.21/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.21/3597.00 c delayed cutoffs : 5
3587.21/3597.00 c repropagations : 1311 (4079 domain reductions, 3 cutoffs)
3587.21/3597.00 c avg switch length: 3.76
3587.21/3597.00 c switching time : 2.33
3587.21/3597.00 c Root Node :
3587.21/3597.00 c First LP value : +0.00000000000000e+00
3587.21/3597.00 c First LP Iters : 12057 (2925.44 Iter/sec)
3587.21/3597.00 c First LP Time : 4.12
3587.21/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.21/3597.00 c Final Root Iters : 230107
3587.21/3597.00 c Root LP Estimate : +5.11842659996541e-02
3587.21/3597.00 c Solution :
3587.21/3597.00 c Solutions found : 0 (0 improvements)
3587.21/3597.00 c Primal Bound : -
3587.21/3597.00 c Dual Bound : +0.00000000000000e+00
3587.21/3597.00 c Gap : infinite
3587.21/3597.00 c Integrals : Total Avg%
3587.21/3597.00 c primal-dual : 359699.88 100.00
3587.21/3597.00 c primal-ref : - - (not evaluated)
3587.21/3597.00 c dual-ref : - - (not evaluated)
3587.31/3597.05 c Time complete (sec): 3587.363
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 (62377 MiB free)
memory of node 1: 64465 MiB (63975 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507383-1751190885/watcher-4507383-1751190885 -o /tmp/evaluation-result-4507383-1751190885/solver-4507383-1751190885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22783 --watchdog 3760 pbsolver -f HOME/instance-4507383-1751190885.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=23491, runsolver pid=23488
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.07 4.09 4.09 5/261 23500
/proc/meminfo: memFree=129344864/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=61028 memory=51412 CPUtime=0.09 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 11565 0 0 0 8 1 0 0 20 0 1 0 34710977 62492672 12853 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 15257 12853 2496 2575 0 12164 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61028 KiB
Current children cumulated memory: 51412 KiB
[startup+0.205391 s]*
/proc/loadavg: 4.07 4.09 4.09 4/261 23500
/proc/meminfo: memFree=129339824/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=65636 memory=56240 CPUtime=0.19 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 13322 0 0 0 18 1 0 0 20 0 1 0 34710977 67211264 14060 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 16409 14060 2592 2575 0 13316 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65636 KiB
Current children cumulated memory: 56240 KiB
[startup+0.305535 s]*
/proc/loadavg: 4.07 4.09 4.09 4/261 23500
/proc/meminfo: memFree=129323948/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=84140 memory=71600 CPUtime=0.3 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 17186 0 0 0 28 2 0 0 20 0 1 0 34710977 86159360 17900 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 21035 17900 2624 2575 0 17942 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 84140 KiB
Current children cumulated memory: 71600 KiB
[startup+0.700169 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 23504
/proc/meminfo: memFree=129311708/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=90040 memory=77360 CPUtime=0.69 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 18642 0 0 0 67 2 0 0 20 0 1 0 34710977 92200960 19340 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 22510 19340 2624 2575 0 19417 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90040 KiB
Current children cumulated memory: 77360 KiB
[startup+1.50018 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 23537
/proc/meminfo: memFree=129291356/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=90040 memory=78128 CPUtime=1.48 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 18830 0 0 0 146 2 0 0 20 0 1 0 34710977 92200960 19532 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 22510 19532 2624 2575 0 19417 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90040 KiB
Current children cumulated memory: 78128 KiB
[startup+3.10548 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 23537
/proc/meminfo: memFree=129252716/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=90040 memory=78128 CPUtime=3.08 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 18830 0 0 0 306 2 0 0 20 0 1 0 34710977 92200960 19532 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 22510 19532 2624 2575 0 19417 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90040 KiB
Current children cumulated memory: 78128 KiB
[startup+6.30017 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 23582
/proc/meminfo: memFree=129754672/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=91064 memory=79152 CPUtime=6.27 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 19086 0 0 0 625 2 0 0 20 0 1 0 34710977 93249536 19788 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 22766 19788 2624 2575 0 19673 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 91064 KiB
Current children cumulated memory: 79152 KiB
[startup+12.7001 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 23582
/proc/meminfo: memFree=129649412/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=163700 memory=131120 CPUtime=12.65 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 32049 0 0 0 1261 4 0 0 20 0 1 0 34710977 167628800 32780 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 40925 32780 2688 2575 0 37832 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 163700 KiB
Current children cumulated memory: 131120 KiB
[startup+25.5001 s]
/proc/loadavg: 4.04 4.09 4.08 5/265 23583
/proc/meminfo: memFree=129575960/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=163700 memory=131376 CPUtime=25.41 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 32133 0 0 0 2537 4 0 0 20 0 1 0 34710977 167628800 32844 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 40925 32844 2688 2575 0 37832 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 163700 KiB
Current children cumulated memory: 131376 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 23583
/proc/meminfo: memFree=129279916/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=291152 memory=256640 CPUtime=50.94 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 62441 0 0 0 5083 11 0 0 20 0 1 0 34710977 298139648 64160 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 72788 64160 2688 2575 0 69695 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 291152 KiB
Current children cumulated memory: 256640 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23585
/proc/meminfo: memFree=129046660/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=291152 memory=257024 CPUtime=101.97 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 62529 0 0 0 10186 11 0 0 20 0 1 0 34710977 298139648 64256 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 72788 64256 2688 2575 0 69695 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 291152 KiB
Current children cumulated memory: 257024 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 23587
/proc/meminfo: memFree=129017988/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=291152 memory=259456 CPUtime=161.78 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 63128 0 0 0 16167 11 0 0 20 0 1 0 34710977 298139648 64864 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 72788 64864 2688 2575 0 69695 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 291152 KiB
Current children cumulated memory: 259456 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 23589
/proc/meminfo: memFree=128969364/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=291152 memory=271616 CPUtime=221.61 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 63179 0 0 0 22150 11 0 0 20 0 1 0 34710977 298139648 67904 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 72788 67904 2688 2575 0 69695 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 291152 KiB
Current children cumulated memory: 271616 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 23593
/proc/meminfo: memFree=128972208/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=291152 memory=272000 CPUtime=281.44 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 63242 0 0 0 28133 11 0 0 20 0 1 0 34710977 298139648 68000 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 72788 68000 2688 2575 0 69695 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 291152 KiB
Current children cumulated memory: 272000 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 23595
/proc/meminfo: memFree=128964636/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=291152 memory=278656 CPUtime=341.29 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 63333 0 0 0 34118 11 0 0 20 0 1 0 34710977 298139648 69664 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 72788 69664 2688 2575 0 69695 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 291152 KiB
Current children cumulated memory: 278656 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 23608
/proc/meminfo: memFree=128940340/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=291152 memory=278656 CPUtime=401.13 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 63423 0 0 0 40102 11 0 0 20 0 1 0 34710977 298139648 69664 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 72788 69664 2688 2575 0 69695 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 291152 KiB
Current children cumulated memory: 278656 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 23613
/proc/meminfo: memFree=128926372/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=291152 memory=278656 CPUtime=460.98 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 63523 0 0 0 46087 11 0 0 20 0 1 0 34710977 298139648 69664 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 72788 69664 2688 2575 0 69695 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
/proc/loadavg: 4.13 4.14 4.10 5/265 23748
/proc/meminfo: memFree=128736364/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3153.98 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111274 0 0 0 315376 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 23751
/proc/meminfo: memFree=128738736/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3213.79 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111274 0 0 0 321357 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/265 23753
/proc/meminfo: memFree=128705656/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3273.6 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111384 0 0 0 327338 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/265 23755
/proc/meminfo: memFree=128726100/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3333.41 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111396 0 0 0 333319 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3333.41 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 23757
/proc/meminfo: memFree=128726512/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3393.23 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111396 0 0 0 339301 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 23761
/proc/meminfo: memFree=128727892/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3453.04 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111505 0 0 0 345282 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 23768
/proc/meminfo: memFree=128721496/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3512.85 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111518 0 0 0 351263 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/263 23770
/proc/meminfo: memFree=128714672/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3572.65 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111518 0 0 0 357243 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3597.05 s]
# the end of solver process 23491 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.14 s, system=0.222333 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128714672/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3574.35 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111518 0 0 0 357413 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3574.35 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715176/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3580.73 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111519 0 0 0 358051 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3580.73 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715184/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3583.92 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111519 0 0 0 358370 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3583.92 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715184/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3585.51 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111519 0 0 0 358529 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3585.51 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3596 s]*
/proc/loadavg: 4.08 4.10 4.09 5/263 23770
/proc/meminfo: memFree=128715184/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3586.32 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111519 0 0 0 358610 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3586.32 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 23770
/proc/meminfo: memFree=128715184/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3587.11 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111519 0 0 0 358689 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3587.11 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
[startup+3597 s]*
/proc/loadavg: 4.08 4.10 4.09 4/259 23778
/proc/meminfo: memFree=129005740/131250000 swapFree=33010684/33010684
[pid=23491] ppid=23488 vsize=329204 memory=317824 CPUtime=3587.31 cores=1,3
/proc/23491/stat : 23491 (pbsolver) R 23488 23491 22771 0 -1 4194304 111519 0 0 0 358709 22 0 0 20 0 1 0 34710977 337104896 79456 18446744073709551615 4198400 14743177 140721718780240 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 24276992 140721718782346 140721718782442 140721718782442 140721718788044 0
/proc/23491/statm: 82301 79456 2976 2575 0 79208 0
Current children cumulated CPU time: 3587.31 s
Current children cumulated vsize: 329204 KiB
Current children cumulated memory: 317824 KiB
Child status: 0
Real time (s): 3597.05
CPU time (s): 3587.36
CPU user time (s): 3587.14
CPU system time (s): 0.222333
CPU usage (%): 99.7307
Max. virtual memory (cumulated for all children) (KiB): 333864
Max. memory (cumulated for all children) (KiB): 319684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.14
system time used= 0.222333
maximum resident set size= 321132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111536
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= 31
involuntary context switches= 4912
# summary of solver processes directly reported to runsolver:
# pid: 23491
# total CPU time (s): 3587.36
# total CPU user time (s): 3587.14
# total CPU system time (s): 0.222333
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66672 second user time and 12.5828 second system time
The end
Begin job on nodeC028 at 2025-06-29 11:54:45 IDJOB=4507383 IDBENCH=158344 IDSOLVER=3366 FILE ID=nodeC028/4507383-1751190885 RUNJOBID= nodeC028-1751183686-22783 SLURM_JOB_ID= 9587572 Free space on /tmp= 433016 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507383-1751190885/watcher-4507383-1751190885 -o /tmp/evaluation-result-4507383-1751190885/solver-4507383-1751190885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22783 --watchdog 3760 pbsolver -f HOME/instance-4507383-1751190885.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818 RANDOM SEED=1148741347 nodeC028 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.079 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.16 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 : 3599.246 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.16 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 : 3604.978 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.16 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.081 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.16 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.064 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.16 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.136 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.16 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.670 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.16 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.690 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.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128810064 kB MemAvailable: 128525880 kB Buffers: 3280 kB Cached: 526528 kB SwapCached: 0 kB Active: 1581620 kB Inactive: 270128 kB Active(anon): 1340040 kB Inactive(anon): 0 kB Active(file): 241580 kB Inactive(file): 270128 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 30672 kB Writeback: 0 kB AnonPages: 1320032 kB Mapped: 136944 kB Shmem: 18068 kB KReclaimable: 86696 kB Slab: 169708 kB SReclaimable: 86696 kB SUnreclaim: 83012 kB KernelStack: 4192 kB PageTables: 5608 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1731340 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3712 kB HardwareCorrupted: 0 kB AnonHugePages: 1155072 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433004 MiB End job on nodeC028 at 2025-06-29 12:54:42