Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | Signal | 1043.65 | 1048.96 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb |
| MD5SUM | bed0fcfa7fe1ab50726d34a7d1903e12 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 182 |
| Best CPU time to get the best result obtained on this benchmark | 3600.04 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 478 |
| Total number of constraints | 478 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 478 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 478 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 478 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 478 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4489056-1751352476.opb>
0.00/0.02 c original problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 478 constraints
0.00/0.02 c problem read in 0.00
0.00/0.02 o 478
0.00/0.02 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.780000e+02
0.00/0.02 c presolving:
0.00/0.02 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 71 chg coeffs, 0 upgd conss, 0 impls, 122 clqs
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.03 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 71 chg coeffs, 478 upgd conss, 0 impls, 122 clqs
0.00/0.03 c (round 3, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 123 chg sides, 355 chg coeffs, 478 upgd conss, 0 impls, 122 clqs
0.00/0.03 c (round 4, medium) 0 del vars, 138 del conss, 243 add conss, 0 chg bounds, 344 chg sides, 769 chg coeffs, 478 upgd conss, 0 impls, 122 clqs
0.00/0.03 c (round 5, fast) 0 del vars, 174 del conss, 263 add conss, 0 chg bounds, 426 chg sides, 1231 chg coeffs, 478 upgd conss, 0 impls, 122 clqs
0.00/0.03 c (round 6, fast) 0 del vars, 174 del conss, 263 add conss, 0 chg bounds, 427 chg sides, 1241 chg coeffs, 478 upgd conss, 0 impls, 122 clqs
0.00/0.03 c (round 7, exhaustive) 0 del vars, 174 del conss, 263 add conss, 0 chg bounds, 427 chg sides, 1244 chg coeffs, 478 upgd conss, 0 impls, 122 clqs
0.00/0.04 c (0.0s) probing: 51/478 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.04 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.04 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.04 c presolving (8 rounds: 8 fast, 4 medium, 3 exhaustive):
0.00/0.04 c 0 deleted vars, 174 deleted constraints, 263 added constraints, 0 tightened bounds, 0 added holes, 427 changed sides, 1244 changed coefficients
0.00/0.04 c 0 implications, 122 cliques
0.00/0.04 c presolved problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 567 constraints
0.00/0.04 c 422 constraints of type <knapsack>
0.00/0.04 c 122 constraints of type <setppc>
0.00/0.04 c 23 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 10.0.0
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.04 c limits/time = 3596.997143
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.04 c limits/memory = 27900
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c transformed 1/1 original solutions to the transformed problem space
0.00/0.04 c
0.00/0.05 o 227
0.00/0.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.05 c p 0.0s| 1 | 0 | 0 | - | locks| 0 | 478 | 567 | 567 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.270000e+02 | Inf | unknown
0.00/0.05 o 213
0.00/0.05 c i 0.0s| 1 | 0 | 0 | - | oneopt| 0 | 478 | 567 | 567 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.130000e+02 | Inf | unknown
0.55/0.66 c 0.6s| 1 | 0 | 10234 | - | 7616k | 0 | 478 | 567 | 567 | 0 | 0 | 0 | 0 | 1.510234e+02 | 2.130000e+02 | 41.04%| unknown
0.76/0.81 c 0.8s| 1 | 0 | 11042 | - | 24M | 0 | 478 | 567 | 632 | 65 | 1 | 0 | 0 | 1.561170e+02 | 2.130000e+02 | 36.44%| unknown
0.85/0.93 c 0.9s| 1 | 0 | 11567 | - | 38M | 0 | 478 | 567 | 690 | 123 | 2 | 0 | 0 | 1.586145e+02 | 2.130000e+02 | 34.29%| unknown
0.96/1.06 c 1.0s| 1 | 0 | 12058 | - | 50M | 0 | 478 | 567 | 745 | 178 | 3 | 0 | 0 | 1.598903e+02 | 2.130000e+02 | 33.22%| unknown
1.15/1.21 c 1.2s| 1 | 0 | 12810 | - | 61M | 0 | 478 | 567 | 799 | 232 | 4 | 0 | 0 | 1.616257e+02 | 2.130000e+02 | 31.79%| unknown
1.25/1.35 c 1.3s| 1 | 0 | 13436 | - | 71M | 0 | 478 | 567 | 854 | 287 | 5 | 0 | 0 | 1.625058e+02 | 2.130000e+02 | 31.07%| unknown
1.35/1.48 c 1.5s| 1 | 0 | 13815 | - | 85M | 0 | 478 | 567 | 900 | 333 | 6 | 0 | 0 | 1.630637e+02 | 2.130000e+02 | 30.62%| unknown
1.55/1.61 c 1.6s| 1 | 0 | 14269 | - | 98M | 0 | 478 | 567 | 942 | 375 | 7 | 0 | 0 | 1.635374e+02 | 2.130000e+02 | 30.25%| unknown
1.65/1.74 c 1.7s| 1 | 0 | 14718 | - | 102M | 0 | 478 | 567 | 976 | 409 | 8 | 0 | 0 | 1.638780e+02 | 2.130000e+02 | 29.97%| unknown
1.75/1.87 c 1.9s| 1 | 0 | 14971 | - | 120M | 0 | 478 | 567 |1006 | 439 | 9 | 0 | 0 | 1.640690e+02 | 2.130000e+02 | 29.82%| unknown
1.96/2.01 c 2.0s| 1 | 0 | 15177 | - | 137M | 0 | 478 | 567 |1033 | 466 | 10 | 0 | 0 | 1.642148e+02 | 2.130000e+02 | 29.71%| unknown
1.96/2.08 c 2.1s| 1 | 0 | 15388 | - | 137M | 0 | 478 | 567 |1054 | 490 | 11 | 0 | 0 | 1.643176e+02 | 2.130000e+02 | 29.63%| unknown
2.06/2.16 c 2.1s| 1 | 0 | 15655 | - | 137M | 0 | 478 | 567 |1081 | 517 | 12 | 0 | 0 | 1.644133e+02 | 2.130000e+02 | 29.55%| unknown
2.15/2.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.15/2.22 c 2.2s| 1 | 0 | 15795 | - | 137M | 0 | 478 | 567 |1100 | 536 | 13 | 0 | 0 | 1.644788e+02 | 2.130000e+02 | 29.50%| unknown
2.15/2.29 c 2.3s| 1 | 0 | 15961 | - | 137M | 0 | 478 | 567 |1117 | 553 | 14 | 0 | 0 | 1.645432e+02 | 2.130000e+02 | 29.45%| unknown
2.25/2.35 c 2.3s| 1 | 0 | 16051 | - | 137M | 0 | 478 | 567 |1131 | 567 | 15 | 0 | 0 | 1.645596e+02 | 2.130000e+02 | 29.44%| unknown
2.35/2.41 c 2.4s| 1 | 0 | 16118 | - | 138M | 0 | 478 | 567 |1141 | 577 | 16 | 0 | 0 | 1.645654e+02 | 2.130000e+02 | 29.43%| unknown
2.35/2.46 c 2.4s| 1 | 0 | 16163 | - | 138M | 0 | 478 | 567 |1087 | 582 | 17 | 0 | 0 | 1.645696e+02 | 2.130000e+02 | 29.43%| unknown
2.45/2.51 c 2.5s| 1 | 0 | 16176 | - | 138M | 0 | 478 | 567 |1091 | 586 | 18 | 0 | 0 | 1.645700e+02 | 2.130000e+02 | 29.43%| unknown
4.45/4.58 c 4.6s| 1 | 2 | 16176 | - | 139M | 0 | 478 | 567 |1091 | 586 | 19 | 0 | 32 | 1.648389e+02 | 2.130000e+02 | 29.22%| unknown
15.81/15.96 o 212
15.81/15.96 c d15.9s| 28 | 29 | 25993 | 363.6 |pscostdi| 27 | 478 | 567 |1073 | 0 | 1 | 0 | 311 | 1.649408e+02 | 2.120000e+02 | 28.53%| unknown
15.81/15.96 o 204
15.81/15.96 c d15.9s| 28 | 29 | 26021 | 364.6 |pscostdi| 27 | 478 | 567 |1073 | 0 | 1 | 0 | 311 | 1.649408e+02 | 2.040000e+02 | 23.68%| unknown
15.81/15.96 o 202
15.81/15.96 c d15.9s| 28 | 29 | 26036 | 365.2 |pscostdi| 27 | 478 | 567 |1073 | 0 | 1 | 0 | 311 | 1.649408e+02 | 2.020000e+02 | 22.47%| unknown
15.81/15.96 o 201
15.81/15.96 c d15.9s| 28 | 29 | 26051 | 365.7 |pscostdi| 27 | 478 | 567 |1073 | 0 | 1 | 0 | 311 | 1.649408e+02 | 2.010000e+02 | 21.86%| unknown
15.81/15.96 c d15.9s| 28 | 29 | 26057 | 366.0 |pscostdi| 27 | 478 | 567 |1073 | 0 | 1 | 0 | 311 | 1.649408e+02 | 2.010000e+02 | 21.86%| unknown
19.31/19.42 c 19.4s| 100 | 101 | 51587 | 357.7 | 166M | 33 | 478 | 567 |1037 |1327 | 1 | 2 | 333 | 1.649463e+02 | 2.010000e+02 | 21.86%| unknown
30.98/31.10 c 31.1s| 200 | 201 |161704 | 731.3 | 175M | 33 | 478 | 567 |1073 |2147 | 1 | 3 | 384 | 1.649463e+02 | 2.010000e+02 | 21.86%| unknown
35.76/35.97 o 198
35.76/35.97 c L35.9s| 228 | 229 |200024 | 809.9 | rins| 33 | 478 | 567 |1128 |2349 | 1 | 5 | 394 | 1.650113e+02 | 1.980000e+02 | 19.99%| unknown
48.53/48.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
48.53/48.73 c 48.7s| 300 | 301 |343532 |1094.8 | 176M | 33 | 478 | 567 |1104 |2835 | 1 | 9 | 422 | 1.652150e+02 | 1.980000e+02 | 19.84%| unknown
62.49/62.76 c 62.7s| 400 | 401 |495703 |1201.8 | 177M | 35 | 478 | 567 |1115 |3233 | 5 | 10 | 454 | 1.653580e+02 | 1.980000e+02 | 19.74%| unknown
73.56/73.80 c 73.8s| 500 | 501 |619222 |1208.5 | 177M | 35 | 478 | 567 |1112 |3779 | 1 | 12 | 486 | 1.654315e+02 | 1.980000e+02 | 19.69%| unknown
83.85/84.11 c 84.1s| 600 | 601 |729650 |1191.1 | 178M | 35 | 478 | 567 |1082 |4338 | 1 | 15 | 517 | 1.654880e+02 | 1.980000e+02 | 19.65%| unknown
93.02/93.31 c 93.3s| 700 | 701 |838991 |1177.1 | 178M | 37 | 478 | 567 |1124 |4863 | 1 | 18 | 537 | 1.655330e+02 | 1.980000e+02 | 19.61%| unknown
101.19/101.57 o 194
101.19/101.57 c L 102s| 786 | 787 |927164 |1160.5 | rins| 37 | 478 | 567 |1084 |5448 | 1 | 19 | 540 | 1.655769e+02 | 1.940000e+02 | 17.17%| unknown
102.29/102.69 c 103s| 800 | 801 |939911 |1156.1 | 179M | 37 | 478 | 567 |1080 |5533 | 1 | 19 | 540 | 1.655769e+02 | 1.940000e+02 | 17.17%| unknown
112.26/112.67 c 113s| 900 | 901 | 1056k|1157.6 | 182M | 37 | 478 | 567 |1069 |6192 | 1 | 27 | 546 | 1.656202e+02 | 1.940000e+02 | 17.14%| unknown
122.53/122.98 c 123s| 1000 | 1001 | 1154k|1140.0 | 183M | 37 | 478 | 567 |1080 |6716 | 1 | 30 | 560 | 1.656502e+02 | 1.940000e+02 | 17.11%| unknown
128.62/129.02 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
128.62/129.02 c (run 1, node 1049) performing user restart
128.62/129.02 c
128.62/129.02 c (restart) converted 324 cuts from the global cut pool into linear constraints
128.62/129.02 c
128.62/129.10 c presolving:
128.62/129.10 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 11 chg coeffs, 0 upgd conss, 0 impls, 122 clqs
128.62/129.10 c (round 2, exhaustive) 0 del vars, 3 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 11 chg coeffs, 0 upgd conss, 0 impls, 122 clqs
128.72/129.10 c (round 3, exhaustive) 0 del vars, 3 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 11 chg coeffs, 321 upgd conss, 0 impls, 122 clqs
128.72/129.10 c (round 4, exhaustive) 0 del vars, 4 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 11 chg coeffs, 321 upgd conss, 0 impls, 122 clqs
128.72/129.10 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
128.72/129.10 c 0 deleted vars, 4 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 11 changed coefficients
128.72/129.10 c 0 implications, 122 cliques
128.72/129.10 c presolved problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 889 constraints
128.72/129.10 c 644 constraints of type <knapsack>
128.72/129.10 c 122 constraints of type <setppc>
128.72/129.10 c 123 constraints of type <logicor>
128.72/129.10 c transformed objective value is always integral (scale: 1)
128.72/129.10 c Presolving Time: 0.03
128.72/129.12 c transformed 90/100 original solutions to the transformed problem space
128.72/129.12 c
130.11/130.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
130.11/130.58 c 131s| 1 | 0 | 1222k| - | 169M | 0 | 478 | 889 | 887 | 0 | 0 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
130.31/130.73 c 131s| 1 | 0 | 1223k| - | 169M | 0 | 478 | 889 | 928 | 41 | 1 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
130.41/130.84 c 131s| 1 | 0 | 1223k| - | 173M | 0 | 478 | 889 | 952 | 65 | 2 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
130.52/130.95 c 131s| 1 | 0 | 1224k| - | 177M | 0 | 478 | 889 | 972 | 85 | 3 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
130.62/131.06 c 131s| 1 | 0 | 1224k| - | 184M | 0 | 478 | 889 | 987 | 100 | 4 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
130.72/131.19 c 131s| 1 | 0 | 1224k| - | 188M | 0 | 478 | 889 |1004 | 117 | 5 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
130.92/131.32 c 131s| 1 | 0 | 1224k| - | 194M | 0 | 478 | 889 |1012 | 125 | 6 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
131.01/131.46 c 131s| 1 | 0 | 1224k| - | 191M | 0 | 478 | 889 |1021 | 134 | 7 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
131.21/131.60 c 132s| 1 | 0 | 1225k| - | 191M | 0 | 478 | 889 |1027 | 140 | 8 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
131.31/131.75 c 132s| 1 | 0 | 1225k| - | 191M | 0 | 478 | 889 |1032 | 145 | 9 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
131.41/131.89 c 132s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1037 | 150 | 10 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
131.51/131.96 c 132s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1020 | 152 | 11 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
131.62/132.04 c 132s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1022 | 154 | 12 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
131.72/132.13 c 132s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1025 | 157 | 13 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
131.81/132.22 c 132s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1027 | 159 | 14 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
131.91/132.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
131.91/132.31 c 132s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1028 | 160 | 15 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
132.01/132.41 c 132s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1030 | 162 | 16 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
133.81/134.20 c 134s| 1 | 2 | 1225k| - | 194M | 0 | 478 | 889 |1030 | 162 | 16 | 32 | 595 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
153.25/153.77 c 154s| 100 | 101 | 1319k|1125.2 | 243M | 44 | 478 | 891 |1042 | 510 | 1 | 37 | 770 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
158.74/159.20 c 159s| 200 | 201 | 1368k|1074.2 | 291M | 94 | 478 | 891 |1108 | 830 | 1 | 41 | 804 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
161.13/161.64 c 162s| 300 | 237 | 1391k|1011.6 | 290M | 116 | 478 | 891 |1116 | 930 | 1 | 56 | 841 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
166.23/166.76 c 167s| 400 | 281 | 1441k| 975.9 | 290M | 116 | 478 | 891 |1117 |1061 | 1 | 64 | 880 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
169.22/169.71 c 170s| 500 | 329 | 1462k| 926.6 | 290M | 116 | 478 | 891 | 952 |1206 | 1 | 73 | 917 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
173.11/173.69 c 174s| 600 | 377 | 1495k| 890.4 | 290M | 118 | 478 | 894 |1124 |1352 | 1 | 84 | 947 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
173.91/174.44 c 174s| 700 | 387 | 1505k| 845.2 | 289M | 127 | 478 | 894 |1121 |1371 | 1 | 99 | 977 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
177.80/178.36 c 178s| 800 | 413 | 1530k| 813.1 | 290M | 127 | 478 | 894 |1121 |1496 | 1 | 103 |1001 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
179.69/180.26 c 180s| 900 | 437 | 1548k| 780.6 | 290M | 127 | 478 | 894 |1121 |1554 | 1 | 114 |1014 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
182.19/182.79 o 193
182.19/182.79 c L 183s| 987 | 453 | 1562k| 754.1 | rins| 127 | 478 | 894 |1119 |1619 | 1 | 117 |1035 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
182.29/182.86 c 183s| 1000 | 448 | 1563k| 749.8 | 290M | 127 | 478 | 894 |1119 |1619 | 2 | 118 |1035 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
183.88/184.47 c 184s| 1100 | 486 | 1579k| 722.2 | 290M | 127 | 478 | 894 |1119 |1680 | 1 | 122 |1051 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
189.27/189.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
189.27/189.86 c 190s| 1200 | 518 | 1614k| 705.5 | 291M | 127 | 478 | 894 |1123 |1852 | 2 | 130 |1071 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
191.66/192.29 c 192s| 1300 | 528 | 1632k| 683.1 | 291M | 127 | 478 | 894 |1121 |1963 | 2 | 140 |1085 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
193.36/193.98 c 194s| 1400 | 560 | 1650k| 662.6 | 291M | 127 | 478 | 894 |1121 |2086 | 1 | 148 |1090 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
195.65/196.23 c 196s| 1500 | 570 | 1670k| 644.4 | 291M | 127 | 478 | 894 |1121 |2202 | 2 | 158 |1097 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
198.55/199.14 o 192
198.55/199.14 c L 199s| 1581 | 555 | 1691k| 632.5 | rins| 127 | 478 | 894 |1123 |2315 | 2 | 162 |1113 | 1.656729e+02 | 1.920000e+02 | 15.89%| unknown
198.55/199.16 o 191
198.55/199.16 c i 199s| 1582 | 513 | 1691k| 632.3 | oneopt| 127 | 478 | 894 |1121 |2315 | 1 | 162 |1113 | 1.656729e+02 | 1.910000e+02 | 15.29%| unknown
198.64/199.29 c 199s| 1600 | 531 | 1693k| 628.9 | 291M | 127 | 478 | 894 |1117 |2319 | 1 | 162 |1114 | 1.656729e+02 | 1.910000e+02 | 15.29%| unknown
199.45/200.06 c 200s| 1700 | 555 | 1707k| 611.1 | 291M | 127 | 478 | 894 |1121 |2329 | 1 | 173 |1114 | 1.656729e+02 | 1.910000e+02 | 15.29%| unknown
200.24/200.85 o 190
200.24/200.85 c L 201s| 1784 | 535 | 1721k| 598.0 | rins| 127 | 478 | 894 |1119 |2337 | 1 | 183 |1115 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
201.14/201.71 c 202s| 1800 | 539 | 1727k| 596.5 | 291M | 127 | 478 | 894 | 955 |2385 | 1 | 185 |1115 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
206.53/207.15 c 207s| 1900 | 587 | 1786k| 596.4 | 292M | 127 | 478 | 894 |1119 |2596 | 1 | 191 |1118 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
210.11/210.73 c 211s| 2000 | 619 | 1817k| 587.0 | 292M | 127 | 478 | 894 |1121 |2754 | 0 | 203 |1124 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
211.91/212.59 c 213s| 2100 | 637 | 1838k| 575.1 | 292M | 127 | 478 | 894 |1122 |2847 | 1 | 212 |1125 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
215.20/215.87 c 216s| 2200 | 671 | 1867k| 566.2 | 292M | 127 | 478 | 894 |1121 |3012 | 0 | 220 |1128 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
218.29/218.95 c 219s| 2300 | 695 | 1897k| 558.2 | 292M | 127 | 478 | 894 |1124 |3151 | 4 | 224 |1128 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
221.49/222.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
221.49/222.17 c 222s| 2400 | 723 | 1924k| 549.9 | 292M | 127 | 478 | 894 | 977 |3300 | 1 | 235 |1130 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
225.57/226.27 c 226s| 2500 | 753 | 1960k| 544.7 | 292M | 127 | 478 | 894 |1123 |3460 | 1 | 244 |1133 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
227.66/228.35 c 228s| 2600 | 775 | 1982k| 535.6 | 292M | 127 | 478 | 894 |1126 |3574 | 1 | 259 |1134 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
228.56/229.23 c 229s| 2700 | 781 | 1997k| 525.5 | 292M | 127 | 478 | 894 |1124 |3590 | 1 | 266 |1134 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
234.74/235.47 c 235s| 2800 | 843 | 2047k| 524.9 | 292M | 127 | 478 | 894 |1121 |3890 | 1 | 276 |1138 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
237.74/238.46 c 238s| 2900 | 881 | 2066k| 516.4 | 292M | 127 | 478 | 893 | 971 |3988 | 1 | 284 |1155 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
239.63/240.38 c 240s| 3000 | 895 | 2092k| 510.0 | 292M | 127 | 478 | 893 |1125 |4030 | 1 | 302 |1156 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
243.52/244.27 c 244s| 3100 | 933 | 2120k| 504.4 | 293M | 127 | 478 | 893 |1129 |4187 | 1 | 311 |1172 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
247.81/248.58 c 249s| 3200 | 969 | 2152k| 500.2 | 293M | 127 | 478 | 894 | 987 |4421 | 1 | 323 |1186 | 1.656778e+02 | 1.900000e+02 | 14.68%| unknown
252.80/253.57 c 254s| 3300 | 999 | 2190k| 497.2 | 293M | 127 | 478 | 894 |1131 |4568 | 0 | 332 |1216 | 1.656854e+02 | 1.900000e+02 | 14.68%| unknown
256.09/256.80 c 257s| 3400 | 1031 | 2220k| 492.9 | 296M | 127 | 478 | 894 |1127 |4700 | 1 | 345 |1223 | 1.656943e+02 | 1.900000e+02 | 14.67%| unknown
261.38/262.18 c 262s| 3500 | 1065 | 2277k| 494.6 | 298M | 127 | 478 | 894 |1130 |4885 | 2 | 352 |1228 | 1.657035e+02 | 1.900000e+02 | 14.66%| unknown
263.87/264.67 c 265s| 3600 | 1085 | 2300k| 488.8 | 298M | 127 | 478 | 894 | 969 |5057 | 1 | 363 |1230 | 1.657123e+02 | 1.900000e+02 | 14.66%| unknown
267.36/268.15 c 268s| 3700 | 1117 | 2333k| 485.5 | 298M | 127 | 478 | 894 |1130 |5210 | 0 | 373 |1235 | 1.657156e+02 | 1.900000e+02 | 14.65%| unknown
270.45/271.21 c 271s| 3800 | 1135 | 2357k| 480.5 | 299M | 127 | 478 | 894 | 966 |5328 | 1 | 382 |1237 | 1.657178e+02 | 1.900000e+02 | 14.65%| unknown
272.75/273.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
272.75/273.51 c 273s| 3900 | 1157 | 2382k| 475.8 | 299M | 127 | 478 | 896 |1129 |5455 | 1 | 395 |1237 | 1.657249e+02 | 1.900000e+02 | 14.65%| unknown
273.74/274.52 c 275s| 4000 | 1151 | 2399k| 469.8 | 299M | 127 | 478 | 896 |1130 |5468 | 0 | 415 |1238 | 1.657249e+02 | 1.900000e+02 | 14.65%| unknown
277.24/278.09 c 278s| 4100 | 1187 | 2433k| 467.2 | 299M | 127 | 478 | 895 |1129 |5652 | 4 | 422 |1239 | 1.657321e+02 | 1.900000e+02 | 14.64%| unknown
278.03/278.88 c 279s| 4200 | 1185 | 2447k| 461.0 | 299M | 127 | 478 | 895 |1130 |5660 | 1 | 436 |1239 | 1.657321e+02 | 1.900000e+02 | 14.64%| unknown
280.13/280.95 c 281s| 4300 | 1201 | 2469k| 456.4 | 299M | 127 | 478 | 895 |1126 |5770 | 0 | 444 |1239 | 1.657394e+02 | 1.900000e+02 | 14.64%| unknown
283.62/284.40 c 284s| 4400 | 1237 | 2500k| 453.9 | 299M | 127 | 478 | 895 |1128 |5962 | 1 | 454 |1239 | 1.657469e+02 | 1.900000e+02 | 14.63%| unknown
287.71/288.51 c 288s| 4500 | 1267 | 2537k| 452.3 | 299M | 127 | 478 | 895 | 975 |6209 | 1 | 468 |1239 | 1.657585e+02 | 1.900000e+02 | 14.62%| unknown
290.21/291.00 c 291s| 4600 | 1293 | 2567k| 449.5 | 299M | 127 | 478 | 895 |1134 |6289 | 1 | 480 |1239 | 1.657680e+02 | 1.900000e+02 | 14.62%| unknown
291.10/291.92 c 292s| 4700 | 1301 | 2583k| 444.5 | 299M | 127 | 478 | 895 |1132 |6321 | 1 | 495 |1239 | 1.657680e+02 | 1.900000e+02 | 14.62%| unknown
294.99/295.80 c 296s| 4800 | 1321 | 2628k| 444.7 | 299M | 127 | 478 | 895 | 986 |6524 | 1 | 509 |1239 | 1.657752e+02 | 1.900000e+02 | 14.61%| unknown
300.09/300.96 c 301s| 4900 | 1361 | 2668k| 443.9 | 299M | 127 | 478 | 896 |1126 |6728 | 0 | 515 |1252 | 1.657854e+02 | 1.900000e+02 | 14.61%| unknown
302.08/302.91 c 303s| 5000 | 1379 | 2693k| 440.7 | 299M | 127 | 478 | 896 |1132 |6843 | 1 | 527 |1263 | 1.657971e+02 | 1.900000e+02 | 14.60%| unknown
307.17/308.09 c 308s| 5100 | 1407 | 2731k| 439.6 | 299M | 127 | 478 | 897 | 970 |7056 | 1 | 545 |1281 | 1.658043e+02 | 1.900000e+02 | 14.59%| unknown
310.46/311.32 c 311s| 5200 | 1435 | 2764k| 437.9 | 300M | 127 | 478 | 898 |1130 |7148 | 1 | 554 |1287 | 1.658051e+02 | 1.900000e+02 | 14.59%| unknown
314.75/315.60 c 316s| 5300 | 1461 | 2798k| 436.3 | 300M | 127 | 478 | 898 |1131 |7389 | 1 | 573 |1306 | 1.658077e+02 | 1.900000e+02 | 14.59%| unknown
319.74/320.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
319.74/320.60 c 321s| 5400 | 1499 | 2840k| 436.2 | 300M | 127 | 478 | 898 |1127 |7636 | 1 | 585 |1308 | 1.658220e+02 | 1.900000e+02 | 14.58%| unknown
322.03/322.96 c 323s| 5500 | 1529 | 2868k| 433.8 | 300M | 127 | 478 | 898 |1131 |7739 | 4 | 603 |1310 | 1.658242e+02 | 1.900000e+02 | 14.58%| unknown
324.52/325.48 c 325s| 5600 | 1537 | 2894k| 431.2 | 300M | 127 | 478 | 898 |1132 |7818 | 3 | 626 |1312 | 1.658246e+02 | 1.900000e+02 | 14.58%| unknown
326.72/327.69 c 328s| 5700 | 1553 | 2918k| 428.3 | 300M | 127 | 478 | 898 |1133 |7886 | 2 | 636 |1315 | 1.658257e+02 | 1.900000e+02 | 14.58%| unknown
329.21/330.15 c 330s| 5800 | 1577 | 2945k| 426.0 | 300M | 127 | 478 | 896 | 962 |8035 | 1 | 651 |1316 | 1.658257e+02 | 1.900000e+02 | 14.58%| unknown
333.40/334.38 c 334s| 5900 | 1605 | 2984k| 425.5 | 300M | 127 | 478 | 896 |1133 |8273 | 1 | 669 |1316 | 1.658262e+02 | 1.900000e+02 | 14.58%| unknown
337.49/338.49 c 338s| 6000 | 1635 | 3018k| 424.3 | 300M | 127 | 478 | 896 | 981 |8526 | 1 | 682 |1316 | 1.658283e+02 | 1.900000e+02 | 14.58%| unknown
341.38/342.37 c 342s| 6100 | 1663 | 3056k| 423.7 | 300M | 127 | 478 | 896 |1128 |8740 | 1 | 696 |1316 | 1.658284e+02 | 1.900000e+02 | 14.58%| unknown
344.67/345.63 c 346s| 6200 | 1677 | 3085k| 421.7 | 301M | 127 | 478 | 896 | 978 |8926 | 1 | 710 |1318 | 1.658323e+02 | 1.900000e+02 | 14.57%| unknown
348.17/349.13 c 349s| 6300 | 1745 | 3119k| 420.7 | 301M | 127 | 478 | 896 |1136 |9127 | 0 | 718 |1319 | 1.658331e+02 | 1.900000e+02 | 14.57%| unknown
351.25/352.29 c 352s| 6400 | 1793 | 3149k| 419.1 | 301M | 127 | 478 | 895 |1130 |9329 | 1 | 724 |1320 | 1.658363e+02 | 1.900000e+02 | 14.57%| unknown
354.05/355.09 c 355s| 6500 | 1817 | 3189k| 418.8 | 301M | 127 | 478 | 895 |1128 |9454 | 2 | 739 |1322 | 1.658372e+02 | 1.900000e+02 | 14.57%| unknown
356.44/357.48 c 357s| 6600 | 1827 | 3211k| 416.3 | 301M | 127 | 478 | 896 |1131 |9584 | 1 | 756 |1322 | 1.658447e+02 | 1.900000e+02 | 14.57%| unknown
360.23/361.29 c 361s| 6700 | 1849 | 3242k| 414.9 | 301M | 127 | 478 | 898 |1132 |9762 | 2 | 766 |1332 | 1.658519e+02 | 1.900000e+02 | 14.56%| unknown
361.13/362.17 c 362s| 6800 | 1873 | 3257k| 411.5 | 301M | 127 | 478 | 898 |1132 |9787 | 1 | 783 |1338 | 1.658519e+02 | 1.900000e+02 | 14.56%| unknown
365.32/366.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
365.32/366.36 c 366s| 6900 | 1901 | 3289k| 410.3 | 301M | 127 | 478 | 898 |1134 |9984 | 1 | 799 |1355 | 1.658634e+02 | 1.900000e+02 | 14.55%| unknown
369.01/370.06 c 370s| 7000 | 1925 | 3318k| 408.8 | 301M | 127 | 478 | 898 |1135 | 10k| 1 | 816 |1363 | 1.658674e+02 | 1.900000e+02 | 14.55%| unknown
371.90/372.94 c 373s| 7100 | 1945 | 3344k| 407.0 | 301M | 127 | 478 | 898 |1131 | 10k| 1 | 824 |1367 | 1.658717e+02 | 1.900000e+02 | 14.55%| unknown
375.39/376.46 c 376s| 7200 | 1969 | 3375k| 405.8 | 301M | 127 | 478 | 898 |1139 | 10k| 1 | 840 |1372 | 1.658717e+02 | 1.900000e+02 | 14.55%| unknown
376.29/377.31 c 377s| 7300 | 1977 | 3390k| 402.7 | 301M | 127 | 478 | 898 |1134 | 10k| 1 | 854 |1373 | 1.658717e+02 | 1.900000e+02 | 14.55%| unknown
378.88/379.95 c 380s| 7400 | 1997 | 3425k| 402.2 | 301M | 127 | 478 | 898 |1134 | 10k| 1 | 866 |1375 | 1.658717e+02 | 1.900000e+02 | 14.55%| unknown
383.37/384.46 c 384s| 7500 | 2045 | 3464k| 402.0 | 301M | 127 | 478 | 897 |1134 | 10k| 2 | 878 |1381 | 1.658782e+02 | 1.900000e+02 | 14.54%| unknown
385.57/386.65 c 387s| 7600 | 2063 | 3483k| 399.5 | 301M | 127 | 478 | 897 |1137 | 10k| 1 | 887 |1383 | 1.658849e+02 | 1.900000e+02 | 14.54%| unknown
388.67/389.78 c 390s| 7700 | 2085 | 3510k| 398.0 | 301M | 127 | 478 | 896 |1136 | 11k| 0 | 897 |1387 | 1.658876e+02 | 1.900000e+02 | 14.54%| unknown
391.86/392.92 c 393s| 7800 | 2107 | 3539k| 396.8 | 301M | 127 | 478 | 896 |1135 | 11k| 2 | 907 |1391 | 1.658990e+02 | 1.900000e+02 | 14.53%| unknown
394.96/396.04 c 396s| 7900 | 2129 | 3564k| 395.2 | 301M | 127 | 478 | 896 |1134 | 11k| 1 | 919 |1394 | 1.659030e+02 | 1.900000e+02 | 14.52%| unknown
397.65/398.78 c 399s| 8000 | 2153 | 3588k| 393.5 | 302M | 127 | 478 | 896 | 973 | 11k| 1 | 928 |1396 | 1.659043e+02 | 1.900000e+02 | 14.52%| unknown
400.34/401.47 c 401s| 8100 | 2177 | 3616k| 392.2 | 302M | 127 | 478 | 896 | 949 | 11k| 1 | 938 |1396 | 1.659059e+02 | 1.900000e+02 | 14.52%| unknown
401.64/402.74 c 403s| 8200 | 2195 | 3637k| 390.3 | 302M | 127 | 478 | 896 |1137 | 11k| 1 | 948 |1396 | 1.659059e+02 | 1.900000e+02 | 14.52%| unknown
405.03/406.20 c 406s| 8300 | 2221 | 3668k| 389.4 | 302M | 127 | 478 | 896 |1133 | 12k| 1 | 960 |1397 | 1.659113e+02 | 1.900000e+02 | 14.52%| unknown
406.82/407.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
406.82/407.97 c 408s| 8400 | 2229 | 3689k| 387.5 | 302M | 127 | 478 | 896 |1138 | 12k| 1 | 974 |1398 | 1.659150e+02 | 1.900000e+02 | 14.52%| unknown
409.82/410.93 c 411s| 8500 | 2245 | 3722k| 386.9 | 302M | 127 | 478 | 896 |1138 | 12k| 2 | 994 |1398 | 1.659189e+02 | 1.900000e+02 | 14.51%| unknown
414.91/416.03 c 416s| 8600 | 2295 | 3764k| 387.2 | 302M | 127 | 478 | 896 | 951 | 12k| 1 | 998 |1399 | 1.659383e+02 | 1.900000e+02 | 14.50%| unknown
416.40/417.53 c 418s| 8700 | 2299 | 3785k| 385.4 | 302M | 127 | 478 | 896 |1136 | 12k| 0 |1014 |1399 | 1.659383e+02 | 1.900000e+02 | 14.50%| unknown
419.69/420.86 c 421s| 8800 | 2329 | 3816k| 384.7 | 302M | 127 | 478 | 896 |1140 | 12k| 1 |1027 |1400 | 1.659420e+02 | 1.900000e+02 | 14.50%| unknown
423.98/425.16 c 425s| 8900 | 2375 | 3855k| 384.7 | 302M | 127 | 478 | 896 |1139 | 13k| 1 |1041 |1400 | 1.659481e+02 | 1.900000e+02 | 14.49%| unknown
424.98/426.13 c 426s| 9000 | 2383 | 3874k| 382.8 | 302M | 127 | 478 | 896 |1141 | 13k| 1 |1056 |1400 | 1.659481e+02 | 1.900000e+02 | 14.49%| unknown
429.56/430.77 c 431s| 9100 | 2419 | 3915k| 383.0 | 302M | 127 | 478 | 896 |1140 | 13k| 1 |1066 |1401 | 1.659573e+02 | 1.900000e+02 | 14.49%| unknown
432.55/433.70 c 434s| 9200 | 2449 | 3943k| 382.1 | 302M | 127 | 478 | 896 |1138 | 13k| 1 |1079 |1401 | 1.659610e+02 | 1.900000e+02 | 14.48%| unknown
435.64/436.82 c 437s| 9300 | 2471 | 3974k| 381.4 | 302M | 127 | 478 | 896 |1139 | 13k| 4 |1094 |1401 | 1.659667e+02 | 1.900000e+02 | 14.48%| unknown
437.64/438.82 c 439s| 9400 | 2489 | 4000k| 380.2 | 302M | 127 | 478 | 896 |1138 | 13k| 2 |1106 |1402 | 1.659668e+02 | 1.900000e+02 | 14.48%| unknown
440.93/442.19 c 442s| 9500 | 2515 | 4035k| 379.9 | 303M | 127 | 478 | 896 |1140 | 13k| 1 |1121 |1403 | 1.659725e+02 | 1.900000e+02 | 14.48%| unknown
445.23/446.49 c 446s| 9600 | 2553 | 4072k| 379.9 | 303M | 127 | 478 | 896 |1141 | 14k| 3 |1130 |1403 | 1.659768e+02 | 1.900000e+02 | 14.47%| unknown
450.12/451.33 c 451s| 9700 | 2595 | 4114k| 380.2 | 303M | 127 | 478 | 895 |1140 | 14k| 1 |1139 |1404 | 1.659858e+02 | 1.900000e+02 | 14.47%| unknown
452.11/453.33 c 453s| 9800 | 2611 | 4136k| 378.7 | 303M | 127 | 478 | 895 |1135 | 14k| 1 |1147 |1404 | 1.659876e+02 | 1.900000e+02 | 14.47%| unknown
454.01/455.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
454.01/455.25 c 455s| 9900 | 2631 | 4158k| 377.3 | 303M | 127 | 478 | 895 |1138 | 14k| 1 |1161 |1404 | 1.659933e+02 | 1.900000e+02 | 14.46%| unknown
457.30/458.53 c 459s| 10000 | 2651 | 4189k| 376.7 | 303M | 127 | 478 | 895 |1137 | 14k| 2 |1178 |1406 | 1.659945e+02 | 1.900000e+02 | 14.46%| unknown
460.29/461.55 c 462s| 10100 | 2667 | 4215k| 375.6 | 303M | 127 | 478 | 895 | 983 | 15k| 1 |1191 |1410 | 1.659952e+02 | 1.900000e+02 | 14.46%| unknown
464.28/465.58 c 466s| 10200 | 2697 | 4251k| 375.4 | 303M | 127 | 478 | 895 |1138 | 15k| 1 |1205 |1416 | 1.659984e+02 | 1.900000e+02 | 14.46%| unknown
469.17/470.42 c 470s| 10300 | 2741 | 4289k| 375.5 | 303M | 127 | 478 | 895 |1134 | 15k| 3 |1214 |1430 | 1.660029e+02 | 1.900000e+02 | 14.46%| unknown
472.56/473.82 c 474s| 10400 | 2761 | 4334k| 376.2 | 303M | 127 | 478 | 895 |1140 | 15k| 1 |1226 |1438 | 1.660085e+02 | 1.900000e+02 | 14.45%| unknown
475.45/476.76 c 477s| 10500 | 2785 | 4365k| 375.6 | 303M | 127 | 478 | 895 |1138 | 15k| 2 |1244 |1442 | 1.660110e+02 | 1.900000e+02 | 14.45%| unknown
480.93/482.21 c 482s| 10600 | 2831 | 4411k| 376.3 | 303M | 127 | 478 | 895 | 978 | 16k| 1 |1253 |1451 | 1.660208e+02 | 1.900000e+02 | 14.44%| unknown
484.42/485.70 c 486s| 10700 | 2859 | 4445k| 376.0 | 303M | 127 | 478 | 895 | 976 | 16k| 1 |1268 |1452 | 1.660235e+02 | 1.900000e+02 | 14.44%| unknown
487.22/488.55 c 489s| 10800 | 2869 | 4478k| 375.6 | 303M | 127 | 478 | 895 |1140 | 16k| 0 |1279 |1452 | 1.660239e+02 | 1.900000e+02 | 14.44%| unknown
490.51/491.81 c 492s| 10900 | 2897 | 4511k| 375.2 | 303M | 127 | 478 | 895 |1140 | 16k| 1 |1293 |1453 | 1.660240e+02 | 1.900000e+02 | 14.44%| unknown
492.71/494.08 c 494s| 11000 | 2919 | 4535k| 374.1 | 303M | 127 | 478 | 895 |1133 | 16k| 2 |1306 |1455 | 1.660277e+02 | 1.900000e+02 | 14.44%| unknown
495.50/496.87 c 497s| 11100 | 2945 | 4566k| 373.6 | 303M | 127 | 478 | 895 |1134 | 16k| 2 |1321 |1455 | 1.660332e+02 | 1.900000e+02 | 14.43%| unknown
498.59/499.93 c 500s| 11200 | 2971 | 4598k| 373.1 | 303M | 127 | 478 | 894 |1135 | 17k| 2 |1337 |1458 | 1.660357e+02 | 1.900000e+02 | 14.43%| unknown
500.69/502.08 c 502s| 11300 | 2983 | 4621k| 372.0 | 303M | 127 | 478 | 893 |1133 | 17k| 1 |1356 |1458 | 1.660373e+02 | 1.900000e+02 | 14.43%| unknown
503.58/504.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
503.58/504.90 c 505s| 11400 | 3015 | 4649k| 371.2 | 303M | 127 | 478 | 893 |1141 | 17k| 3 |1364 |1461 | 1.660401e+02 | 1.900000e+02 | 14.43%| unknown
506.17/507.59 c 508s| 11500 | 3041 | 4678k| 370.6 | 303M | 127 | 478 | 893 |1138 | 17k| 1 |1379 |1463 | 1.660411e+02 | 1.900000e+02 | 14.43%| unknown
508.17/509.59 c 510s| 11600 | 3055 | 4702k| 369.5 | 303M | 127 | 478 | 893 |1133 | 17k| 2 |1400 |1464 | 1.660444e+02 | 1.900000e+02 | 14.43%| unknown
511.06/512.47 c 512s| 11700 | 3079 | 4732k| 369.0 | 303M | 127 | 478 | 892 |1136 | 17k| 1 |1413 |1464 | 1.660454e+02 | 1.900000e+02 | 14.43%| unknown
515.95/517.38 c 517s| 11800 | 3121 | 4774k| 369.4 | 303M | 127 | 478 | 891 |1134 | 17k| 1 |1428 |1466 | 1.660464e+02 | 1.900000e+02 | 14.43%| unknown
521.43/522.87 c 523s| 11900 | 3179 | 4823k| 370.3 | 303M | 127 | 478 | 893 |1136 | 18k| 1 |1436 |1468 | 1.660519e+02 | 1.900000e+02 | 14.42%| unknown
523.83/525.24 c 525s| 12000 | 3205 | 4847k| 369.3 | 303M | 127 | 478 | 892 | 970 | 18k| 1 |1443 |1468 | 1.660530e+02 | 1.900000e+02 | 14.42%| unknown
528.22/529.61 c 530s| 12100 | 3233 | 4882k| 369.2 | 304M | 127 | 478 | 892 |1140 | 18k| 3 |1455 |1473 | 1.660534e+02 | 1.900000e+02 | 14.42%| unknown
532.00/533.44 c 533s| 12200 | 3253 | 4916k| 369.0 | 304M | 127 | 478 | 893 |1137 | 18k| 1 |1472 |1487 | 1.660556e+02 | 1.900000e+02 | 14.42%| unknown
532.80/534.21 c 534s| 12300 | 3247 | 4930k| 367.3 | 304M | 127 | 478 | 893 |1135 | 18k| 0 |1481 |1490 | 1.660556e+02 | 1.900000e+02 | 14.42%| unknown
536.71/538.18 c 538s| 12400 | 3285 | 4967k| 367.3 | 304M | 127 | 478 | 893 |1138 | 19k| 1 |1499 |1495 | 1.660574e+02 | 1.900000e+02 | 14.42%| unknown
537.60/539.06 c 539s| 12500 | 3289 | 4983k| 365.8 | 304M | 127 | 478 | 893 |1144 | 19k| 1 |1515 |1495 | 1.660574e+02 | 1.900000e+02 | 14.42%| unknown
542.78/544.22 c 544s| 12600 | 3333 | 5023k| 366.0 | 304M | 127 | 478 | 893 |1142 | 19k| 1 |1525 |1506 | 1.660629e+02 | 1.900000e+02 | 14.41%| unknown
544.78/546.22 c 546s| 12700 | 3349 | 5044k| 364.9 | 304M | 127 | 478 | 893 |1146 | 19k| 1 |1538 |1507 | 1.660649e+02 | 1.900000e+02 | 14.41%| unknown
547.68/549.13 c 549s| 12800 | 3369 | 5071k| 364.2 | 304M | 127 | 478 | 893 | 979 | 19k| 1 |1547 |1511 | 1.660671e+02 | 1.900000e+02 | 14.41%| unknown
551.57/553.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
551.57/553.09 c 553s| 12900 | 3393 | 5115k| 364.8 | 304M | 127 | 478 | 893 | 981 | 19k| 1 |1561 |1512 | 1.660679e+02 | 1.900000e+02 | 14.41%| unknown
553.66/555.12 c 555s| 13000 | 3403 | 5138k| 363.8 | 304M | 127 | 478 | 893 | 972 | 19k| 1 |1577 |1515 | 1.660688e+02 | 1.900000e+02 | 14.41%| unknown
557.95/559.48 c 559s| 13100 | 3443 | 5178k| 364.0 | 304M | 127 | 478 | 892 | 970 | 20k| 1 |1593 |1516 | 1.660737e+02 | 1.900000e+02 | 14.41%| unknown
561.64/563.10 c 563s| 13200 | 3479 | 5214k| 364.0 | 304M | 127 | 478 | 892 |1136 | 20k| 1 |1607 |1517 | 1.660746e+02 | 1.900000e+02 | 14.41%| unknown
566.22/567.72 c 568s| 13300 | 3519 | 5254k| 364.2 | 304M | 127 | 478 | 893 |1139 | 20k| 0 |1616 |1519 | 1.660761e+02 | 1.900000e+02 | 14.41%| unknown
572.81/574.34 c 574s| 13400 | 3579 | 5305k| 365.3 | 305M | 127 | 478 | 893 | 987 | 21k| 1 |1630 |1521 | 1.660779e+02 | 1.900000e+02 | 14.40%| unknown
574.90/576.49 c 576s| 13500 | 3601 | 5328k| 364.3 | 305M | 127 | 478 | 893 |1146 | 21k| 1 |1637 |1524 | 1.660779e+02 | 1.900000e+02 | 14.40%| unknown
577.20/578.78 c 579s| 13600 | 3605 | 5352k| 363.5 | 305M | 127 | 478 | 893 |1149 | 21k| 1 |1653 |1524 | 1.660783e+02 | 1.900000e+02 | 14.40%| unknown
579.39/580.99 c 581s| 13700 | 3615 | 5378k| 362.8 | 305M | 127 | 478 | 893 |1145 | 21k| 1 |1669 |1524 | 1.660825e+02 | 1.900000e+02 | 14.40%| unknown
583.28/584.81 c 585s| 13800 | 3647 | 5411k| 362.6 | 305M | 127 | 478 | 893 | 976 | 21k| 1 |1678 |1524 | 1.660861e+02 | 1.900000e+02 | 14.40%| unknown
585.88/587.46 c 587s| 13900 | 3659 | 5440k| 362.1 | 305M | 127 | 478 | 893 |1137 | 21k| 0 |1694 |1524 | 1.660880e+02 | 1.900000e+02 | 14.40%| unknown
587.58/589.17 c 589s| 14000 | 3671 | 5459k| 360.9 | 305M | 127 | 478 | 893 | 977 | 22k| 1 |1705 |1526 | 1.660952e+02 | 1.900000e+02 | 14.39%| unknown
590.26/591.83 c 592s| 14100 | 3679 | 5489k| 360.5 | 305M | 127 | 478 | 893 |1142 | 22k| 2 |1716 |1526 | 1.660986e+02 | 1.900000e+02 | 14.39%| unknown
594.35/595.98 c 596s| 14200 | 3709 | 5525k| 360.5 | 305M | 127 | 478 | 893 | 964 | 22k| 1 |1734 |1530 | 1.661017e+02 | 1.900000e+02 | 14.39%| unknown
600.24/601.82 c 602s| 14300 | 3743 | 5567k| 360.9 | 306M | 127 | 478 | 893 | 992 | 22k| 1 |1744 |1540 | 1.661059e+02 | 1.900000e+02 | 14.38%| unknown
601.83/603.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
601.83/603.42 c 603s| 14400 | 3749 | 5591k| 360.1 | 306M | 127 | 478 | 893 |1144 | 22k| 1 |1761 |1547 | 1.661059e+02 | 1.900000e+02 | 14.38%| unknown
604.62/606.26 c 606s| 14500 | 3773 | 5618k| 359.5 | 306M | 127 | 478 | 893 |1145 | 23k| 1 |1771 |1556 | 1.661089e+02 | 1.900000e+02 | 14.38%| unknown
607.11/608.73 c 609s| 14600 | 3785 | 5642k| 358.8 | 306M | 127 | 478 | 893 |1144 | 23k| 1 |1790 |1560 | 1.661096e+02 | 1.900000e+02 | 14.38%| unknown
614.29/615.99 c 616s| 14700 | 3829 | 5693k| 359.7 | 306M | 127 | 478 | 893 |1144 | 23k| 1 |1800 |1578 | 1.661214e+02 | 1.900000e+02 | 14.37%| unknown
616.88/618.50 c 618s| 14800 | 3851 | 5723k| 359.4 | 306M | 127 | 478 | 893 |1136 | 23k| 1 |1814 |1580 | 1.661266e+02 | 1.900000e+02 | 14.37%| unknown
619.08/620.77 c 621s| 14900 | 3863 | 5750k| 358.8 | 306M | 127 | 478 | 893 |1143 | 23k| 2 |1830 |1580 | 1.661278e+02 | 1.900000e+02 | 14.37%| unknown
622.37/624.09 c 624s| 15000 | 3889 | 5784k| 358.7 | 306M | 127 | 478 | 893 |1142 | 23k| 1 |1844 |1583 | 1.661313e+02 | 1.900000e+02 | 14.37%| unknown
626.25/627.93 c 628s| 15100 | 3913 | 5822k| 358.8 | 306M | 127 | 478 | 893 |1131 | 24k| 0 |1857 |1588 | 1.661332e+02 | 1.900000e+02 | 14.37%| unknown
631.64/633.31 c 633s| 15200 | 3947 | 5880k| 360.2 | 306M | 127 | 478 | 893 |1128 | 24k| 1 |1872 |1591 | 1.661354e+02 | 1.900000e+02 | 14.36%| unknown
633.53/635.21 c 635s| 15300 | 3991 | 5904k| 359.4 | 306M | 127 | 478 | 893 |1139 | 24k| 3 |1884 |1594 | 1.661377e+02 | 1.900000e+02 | 14.36%| unknown
635.93/637.67 c 638s| 15400 | 4017 | 5931k| 358.9 | 306M | 127 | 478 | 893 |1140 | 24k| 1 |1894 |1594 | 1.661384e+02 | 1.900000e+02 | 14.36%| unknown
638.62/640.35 c 640s| 15500 | 4043 | 5961k| 358.5 | 306M | 127 | 478 | 893 |1138 | 24k| 2 |1911 |1595 | 1.661392e+02 | 1.900000e+02 | 14.36%| unknown
640.71/642.44 c 642s| 15600 | 4063 | 5983k| 357.7 | 307M | 127 | 478 | 893 |1138 | 24k| 0 |1926 |1595 | 1.661451e+02 | 1.900000e+02 | 14.36%| unknown
644.90/646.62 c 647s| 15700 | 4101 | 6018k| 357.6 | 307M | 127 | 478 | 892 | 970 | 25k| 1 |1935 |1596 | 1.661467e+02 | 1.900000e+02 | 14.36%| unknown
647.19/648.97 c 649s| 15800 | 4119 | 6045k| 357.1 | 307M | 127 | 478 | 892 |1138 | 25k| 1 |1950 |1596 | 1.661497e+02 | 1.900000e+02 | 14.35%| unknown
650.18/651.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
650.18/651.99 c 652s| 15900 | 4143 | 6073k| 356.7 | 307M | 127 | 478 | 892 |1145 | 25k| 0 |1959 |1598 | 1.661514e+02 | 1.900000e+02 | 14.35%| unknown
654.57/656.35 c 656s| 16000 | 4181 | 6114k| 357.0 | 307M | 127 | 478 | 892 |1142 | 25k| 2 |1972 |1601 | 1.661563e+02 | 1.900000e+02 | 14.35%| unknown
660.06/661.88 c 662s| 16100 | 4233 | 6155k| 357.3 | 310M | 127 | 478 | 892 | 983 | 25k| 1 |1976 |1601 | 1.661618e+02 | 1.900000e+02 | 14.35%| unknown
662.95/664.70 c 665s| 16200 | 4271 | 6185k| 357.0 | 310M | 127 | 478 | 891 |1144 | 26k| 2 |1990 |1601 | 1.661637e+02 | 1.900000e+02 | 14.35%| unknown
664.74/666.51 c 666s| 16300 | 4283 | 6206k| 356.1 | 310M | 127 | 478 | 891 |1143 | 26k| 2 |1999 |1601 | 1.661637e+02 | 1.900000e+02 | 14.35%| unknown
668.43/670.21 c 670s| 16400 | 4321 | 6241k| 356.1 | 310M | 127 | 478 | 891 |1145 | 26k| 2 |2003 |1602 | 1.661657e+02 | 1.900000e+02 | 14.34%| unknown
671.52/673.30 c 673s| 16500 | 4345 | 6269k| 355.7 | 310M | 127 | 478 | 891 |1146 | 26k| 0 |2017 |1603 | 1.661707e+02 | 1.900000e+02 | 14.34%| unknown
674.22/676.08 c 676s| 16600 | 4367 | 6298k| 355.3 | 311M | 127 | 478 | 890 |1144 | 26k| 0 |2030 |1605 | 1.661710e+02 | 1.900000e+02 | 14.34%| unknown
679.89/681.76 c 682s| 16700 | 4417 | 6345k| 355.9 | 311M | 127 | 478 | 890 |1143 | 27k| 1 |2031 |1615 | 1.661758e+02 | 1.900000e+02 | 14.34%| unknown
684.08/685.99 c 686s| 16800 | 4463 | 6382k| 356.0 | 311M | 127 | 478 | 890 |1145 | 27k| 1 |2039 |1623 | 1.661800e+02 | 1.900000e+02 | 14.33%| unknown
686.87/688.78 c 689s| 16900 | 4475 | 6407k| 355.4 | 311M | 127 | 478 | 890 |1145 | 27k| 0 |2054 |1630 | 1.661823e+02 | 1.900000e+02 | 14.33%| unknown
690.76/692.67 c 693s| 17000 | 4515 | 6442k| 355.4 | 311M | 127 | 478 | 890 | 967 | 27k| 1 |2067 |1635 | 1.661836e+02 | 1.900000e+02 | 14.33%| unknown
694.15/696.06 c 696s| 17100 | 4541 | 6476k| 355.3 | 311M | 127 | 478 | 890 |1146 | 27k| 1 |2075 |1637 | 1.661865e+02 | 1.900000e+02 | 14.33%| unknown
697.54/699.41 c 699s| 17200 | 4565 | 6507k| 355.1 | 311M | 127 | 478 | 890 |1143 | 28k| 0 |2084 |1640 | 1.661883e+02 | 1.900000e+02 | 14.33%| unknown
702.13/704.01 c 704s| 17300 | 4599 | 6545k| 355.2 | 311M | 127 | 478 | 889 |1142 | 28k| 1 |2096 |1642 | 1.661953e+02 | 1.900000e+02 | 14.32%| unknown
705.81/707.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
705.81/707.76 c 708s| 17400 | 4637 | 6580k| 355.2 | 311M | 127 | 478 | 889 |1134 | 28k| 1 |2101 |1643 | 1.661987e+02 | 1.900000e+02 | 14.32%| unknown
708.60/710.53 c 711s| 17500 | 4659 | 6604k| 354.5 | 311M | 127 | 478 | 889 | 971 | 28k| 1 |2111 |1644 | 1.662006e+02 | 1.900000e+02 | 14.32%| unknown
710.40/712.31 c 712s| 17600 | 4665 | 6630k| 354.1 | 311M | 127 | 478 | 889 |1141 | 28k| 1 |2133 |1645 | 1.662006e+02 | 1.900000e+02 | 14.32%| unknown
712.59/714.52 c 714s| 17700 | 4679 | 6656k| 353.6 | 311M | 127 | 478 | 889 |1144 | 29k| 2 |2150 |1645 | 1.662007e+02 | 1.900000e+02 | 14.32%| unknown
717.58/719.55 c 720s| 17800 | 4729 | 6699k| 354.0 | 311M | 127 | 478 | 889 | 971 | 29k| 1 |2165 |1647 | 1.662024e+02 | 1.900000e+02 | 14.32%| unknown
722.36/724.38 c 724s| 17900 | 4777 | 6757k| 355.1 | 311M | 127 | 478 | 889 |1146 | 29k| 1 |2173 |1648 | 1.662029e+02 | 1.900000e+02 | 14.32%| unknown
726.55/728.59 c 729s| 18000 | 4813 | 6789k| 354.9 | 312M | 127 | 478 | 892 | 964 | 29k| 1 |2190 |1648 | 1.662043e+02 | 1.900000e+02 | 14.32%| unknown
730.23/732.26 c 732s| 18100 | 4841 | 6824k| 354.9 | 312M | 127 | 478 | 892 |1141 | 30k| 1 |2210 |1648 | 1.662047e+02 | 1.900000e+02 | 14.32%| unknown
731.83/733.80 c 734s| 18200 | 4857 | 6841k| 354.0 | 312M | 127 | 478 | 892 | 974 | 30k| 1 |2225 |1648 | 1.662049e+02 | 1.900000e+02 | 14.32%| unknown
734.72/736.70 c 737s| 18300 | 4903 | 6872k| 353.7 | 312M | 127 | 478 | 892 |1149 | 30k| 3 |2233 |1650 | 1.662052e+02 | 1.900000e+02 | 14.32%| unknown
738.41/740.46 c 740s| 18400 | 4935 | 6907k| 353.7 | 312M | 127 | 478 | 892 |1146 | 30k| 4 |2248 |1651 | 1.662077e+02 | 1.900000e+02 | 14.31%| unknown
740.60/742.67 c 743s| 18500 | 4953 | 6933k| 353.3 | 312M | 127 | 478 | 892 |1145 | 30k| 1 |2264 |1651 | 1.662086e+02 | 1.900000e+02 | 14.31%| unknown
744.00/746.07 c 746s| 18600 | 4979 | 6966k| 353.1 | 312M | 127 | 478 | 892 |1150 | 30k| 1 |2283 |1651 | 1.662117e+02 | 1.900000e+02 | 14.31%| unknown
744.89/746.95 c 747s| 18700 | 4981 | 6981k| 352.1 | 312M | 127 | 478 | 892 |1144 | 30k| 0 |2300 |1651 | 1.662117e+02 | 1.900000e+02 | 14.31%| unknown
748.39/750.49 c 750s| 18800 | 5003 | 7012k| 351.9 | 312M | 127 | 478 | 892 |1143 | 31k| 0 |2316 |1655 | 1.662158e+02 | 1.900000e+02 | 14.31%| unknown
753.57/755.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
753.57/755.69 c 756s| 18900 | 5053 | 7052k| 352.1 | 312M | 127 | 478 | 892 |1144 | 31k| 1 |2323 |1665 | 1.662173e+02 | 1.900000e+02 | 14.31%| unknown
755.56/757.64 c 758s| 19000 | 5067 | 7075k| 351.5 | 312M | 127 | 478 | 892 |1150 | 31k| 1 |2335 |1668 | 1.662183e+02 | 1.900000e+02 | 14.31%| unknown
758.65/760.77 c 761s| 19100 | 5097 | 7108k| 351.4 | 312M | 127 | 478 | 892 |1148 | 31k| 2 |2352 |1674 | 1.662211e+02 | 1.900000e+02 | 14.31%| unknown
761.44/763.53 c 764s| 19200 | 5109 | 7134k| 351.0 | 313M | 127 | 478 | 892 |1150 | 31k| 1 |2372 |1680 | 1.662215e+02 | 1.900000e+02 | 14.31%| unknown
764.33/766.44 c 766s| 19300 | 5129 | 7157k| 350.4 | 313M | 127 | 478 | 892 | 982 | 31k| 1 |2385 |1684 | 1.662242e+02 | 1.900000e+02 | 14.30%| unknown
766.83/768.92 c 769s| 19400 | 5149 | 7187k| 350.1 | 313M | 127 | 478 | 892 |1150 | 32k| 1 |2401 |1685 | 1.662251e+02 | 1.900000e+02 | 14.30%| unknown
768.92/771.09 c 771s| 19500 | 5163 | 7210k| 349.5 | 313M | 127 | 478 | 892 |1148 | 32k| 2 |2414 |1685 | 1.662253e+02 | 1.900000e+02 | 14.30%| unknown
772.61/774.79 c 775s| 19600 | 5197 | 7244k| 349.5 | 313M | 127 | 478 | 891 |1146 | 32k| 1 |2424 |1687 | 1.662271e+02 | 1.900000e+02 | 14.30%| unknown
774.80/776.99 c 777s| 19700 | 5207 | 7268k| 349.0 | 313M | 127 | 478 | 891 |1149 | 32k| 2 |2435 |1688 | 1.662280e+02 | 1.900000e+02 | 14.30%| unknown
778.69/780.83 c 781s| 19800 | 5233 | 7301k| 348.9 | 313M | 127 | 478 | 891 |1147 | 32k| 1 |2446 |1689 | 1.662302e+02 | 1.900000e+02 | 14.30%| unknown
781.48/783.63 c 784s| 19900 | 5257 | 7333k| 348.7 | 313M | 127 | 478 | 891 |1149 | 32k| 0 |2462 |1691 | 1.662325e+02 | 1.900000e+02 | 14.30%| unknown
786.07/788.29 c 788s| 20000 | 5293 | 7374k| 349.0 | 313M | 127 | 478 | 891 |1149 | 33k| 2 |2472 |1693 | 1.662342e+02 | 1.900000e+02 | 14.30%| unknown
788.46/790.68 c 791s| 20100 | 5301 | 7400k| 348.6 | 313M | 127 | 478 | 891 |1146 | 33k| 1 |2488 |1693 | 1.662355e+02 | 1.900000e+02 | 14.30%| unknown
790.45/792.60 c 793s| 20200 | 5315 | 7421k| 348.0 | 313M | 127 | 478 | 891 |1146 | 33k| 2 |2502 |1694 | 1.662361e+02 | 1.900000e+02 | 14.30%| unknown
794.34/796.55 c 797s| 20300 | 5345 | 7458k| 348.0 | 313M | 127 | 478 | 891 |1147 | 33k| 2 |2516 |1695 | 1.662395e+02 | 1.900000e+02 | 14.29%| unknown
796.73/798.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
796.73/798.90 c 799s| 20400 | 5361 | 7485k| 347.7 | 313M | 127 | 478 | 891 |1154 | 33k| 0 |2526 |1695 | 1.662413e+02 | 1.900000e+02 | 14.29%| unknown
799.93/802.11 c 802s| 20500 | 5389 | 7519k| 347.6 | 313M | 127 | 478 | 891 |1139 | 33k| 2 |2536 |1695 | 1.662424e+02 | 1.900000e+02 | 14.29%| unknown
803.61/805.89 c 806s| 20600 | 5413 | 7552k| 347.6 | 313M | 127 | 478 | 890 | 984 | 34k| 1 |2546 |1695 | 1.662466e+02 | 1.900000e+02 | 14.29%| unknown
809.69/811.98 c 812s| 20700 | 5469 | 7603k| 348.3 | 313M | 127 | 478 | 890 |1141 | 34k| 1 |2550 |1695 | 1.662477e+02 | 1.900000e+02 | 14.29%| unknown
811.59/813.85 c 814s| 20800 | 5491 | 7629k| 347.9 | 313M | 127 | 478 | 890 |1148 | 34k| 1 |2571 |1696 | 1.662478e+02 | 1.900000e+02 | 14.29%| unknown
814.28/816.59 c 817s| 20900 | 5507 | 7659k| 347.7 | 313M | 127 | 478 | 890 |1001 | 34k| 3 |2588 |1698 | 1.662502e+02 | 1.900000e+02 | 14.29%| unknown
818.67/820.91 c 821s| 21000 | 5537 | 7712k| 348.5 | 313M | 127 | 478 | 897 |1147 | 35k| 1 |2604 |1701 | 1.662511e+02 | 1.900000e+02 | 14.28%| unknown
821.66/823.91 c 824s| 21100 | 5565 | 7743k| 348.4 | 313M | 127 | 478 | 897 |1144 | 35k| 2 |2612 |1701 | 1.662534e+02 | 1.900000e+02 | 14.28%| unknown
822.55/824.83 c 825s| 21200 | 5563 | 7760k| 347.6 | 313M | 127 | 478 | 897 |1143 | 35k| 2 |2632 |1704 | 1.662534e+02 | 1.900000e+02 | 14.28%| unknown
826.54/828.89 c 829s| 21300 | 5587 | 7795k| 347.5 | 313M | 127 | 478 | 897 |1144 | 35k| 3 |2648 |1715 | 1.662537e+02 | 1.900000e+02 | 14.28%| unknown
828.64/830.99 c 831s| 21400 | 5597 | 7815k| 346.9 | 313M | 127 | 478 | 897 |1146 | 35k| 0 |2656 |1723 | 1.662547e+02 | 1.900000e+02 | 14.28%| unknown
829.64/831.98 c 832s| 21500 | 5607 | 7833k| 346.1 | 313M | 127 | 478 | 897 |1135 | 35k| 1 |2669 |1723 | 1.662547e+02 | 1.900000e+02 | 14.28%| unknown
832.74/835.01 c 835s| 21600 | 5631 | 7861k| 345.9 | 313M | 127 | 478 | 897 | 975 | 35k| 1 |2680 |1728 | 1.662568e+02 | 1.900000e+02 | 14.28%| unknown
837.42/839.79 c 840s| 21700 | 5667 | 7904k| 346.2 | 313M | 127 | 478 | 897 | 980 | 35k| 1 |2694 |1734 | 1.662617e+02 | 1.900000e+02 | 14.28%| unknown
839.41/841.73 c 842s| 21800 | 5675 | 7932k| 345.9 | 313M | 127 | 478 | 897 |1141 | 36k| 0 |2710 |1735 | 1.662617e+02 | 1.900000e+02 | 14.28%| unknown
843.70/846.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
843.70/846.08 c 846s| 21900 | 5713 | 7972k| 346.2 | 313M | 127 | 478 | 897 |1145 | 36k| 2 |2720 |1737 | 1.662632e+02 | 1.900000e+02 | 14.28%| unknown
845.89/848.20 c 848s| 22000 | 5745 | 8000k| 345.9 | 313M | 127 | 478 | 898 |1150 | 36k| 2 |2734 |1737 | 1.662642e+02 | 1.900000e+02 | 14.28%| unknown
849.88/852.27 c 852s| 22100 | 5773 | 8042k| 346.2 | 313M | 127 | 478 | 898 | 964 | 36k| 1 |2751 |1741 | 1.662667e+02 | 1.900000e+02 | 14.27%| unknown
854.07/856.40 c 856s| 22200 | 5801 | 8083k| 346.5 | 313M | 127 | 478 | 898 |1151 | 36k| 2 |2763 |1743 | 1.662681e+02 | 1.900000e+02 | 14.27%| unknown
855.96/858.30 c 858s| 22300 | 5813 | 8108k| 346.1 | 313M | 127 | 478 | 898 |1150 | 36k| 2 |2781 |1743 | 1.662689e+02 | 1.900000e+02 | 14.27%| unknown
857.66/860.03 c 860s| 22400 | 5841 | 8131k| 345.6 | 313M | 127 | 478 | 898 |1138 | 36k| 3 |2795 |1743 | 1.662705e+02 | 1.900000e+02 | 14.27%| unknown
859.35/861.70 c 862s| 22500 | 5851 | 8151k| 345.0 | 313M | 127 | 478 | 898 |1140 | 36k| 0 |2804 |1743 | 1.662714e+02 | 1.900000e+02 | 14.27%| unknown
861.94/864.31 c 864s| 22600 | 5885 | 8182k| 344.8 | 314M | 127 | 478 | 898 |1149 | 37k| 0 |2822 |1743 | 1.662724e+02 | 1.900000e+02 | 14.27%| unknown
863.53/865.97 c 866s| 22700 | 5895 | 8203k| 344.3 | 314M | 127 | 478 | 898 | 974 | 37k| 1 |2836 |1745 | 1.662744e+02 | 1.900000e+02 | 14.27%| unknown
866.92/869.30 c 869s| 22800 | 5921 | 8240k| 344.4 | 314M | 127 | 478 | 898 |1148 | 37k| 1 |2849 |1745 | 1.662784e+02 | 1.900000e+02 | 14.27%| unknown
870.21/872.64 c 873s| 22900 | 5945 | 8277k| 344.5 | 314M | 127 | 478 | 898 |1148 | 37k| 1 |2870 |1745 | 1.662794e+02 | 1.900000e+02 | 14.27%| unknown
872.91/875.36 c 875s| 23000 | 5969 | 8305k| 344.2 | 314M | 127 | 478 | 898 |1137 | 37k| 1 |2884 |1745 | 1.662805e+02 | 1.900000e+02 | 14.26%| unknown
875.70/878.19 c 878s| 23100 | 5995 | 8335k| 344.0 | 314M | 127 | 478 | 898 |1136 | 37k| 2 |2896 |1745 | 1.662809e+02 | 1.900000e+02 | 14.26%| unknown
878.79/881.29 c 881s| 23200 | 6013 | 8369k| 344.0 | 314M | 127 | 478 | 898 |1140 | 37k| 0 |2911 |1745 | 1.662829e+02 | 1.900000e+02 | 14.26%| unknown
883.27/885.75 c 886s| 23300 | 6053 | 8406k| 344.1 | 314M | 127 | 478 | 898 | 975 | 38k| 1 |2920 |1746 | 1.662874e+02 | 1.900000e+02 | 14.26%| unknown
886.86/889.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
886.86/889.30 c 889s| 23400 | 6087 | 8443k| 344.2 | 314M | 127 | 478 | 898 |1138 | 38k| 2 |2934 |1746 | 1.662875e+02 | 1.900000e+02 | 14.26%| unknown
890.56/893.08 c 893s| 23500 | 6111 | 8478k| 344.2 | 314M | 127 | 478 | 898 |1148 | 38k| 1 |2950 |1754 | 1.662879e+02 | 1.900000e+02 | 14.26%| unknown
892.65/895.12 c 895s| 23600 | 6125 | 8500k| 343.7 | 314M | 127 | 478 | 898 |1144 | 38k| 0 |2964 |1759 | 1.662893e+02 | 1.900000e+02 | 14.26%| unknown
896.43/898.99 c 899s| 23700 | 6147 | 8530k| 343.6 | 314M | 127 | 478 | 898 |1141 | 38k| 1 |2981 |1766 | 1.662900e+02 | 1.900000e+02 | 14.26%| unknown
901.12/903.69 c 904s| 23800 | 6179 | 8588k| 344.5 | 315M | 127 | 478 | 898 | 992 | 38k| 1 |2996 |1772 | 1.662916e+02 | 1.900000e+02 | 14.26%| unknown
904.61/907.18 c 907s| 23900 | 6203 | 8624k| 344.6 | 315M | 127 | 478 | 898 |1152 | 39k| 1 |3013 |1775 | 1.662925e+02 | 1.900000e+02 | 14.26%| unknown
906.61/909.17 c 909s| 24000 | 6217 | 8648k| 344.1 | 315M | 127 | 478 | 898 |1141 | 39k| 3 |3030 |1777 | 1.662933e+02 | 1.900000e+02 | 14.26%| unknown
909.50/912.04 c 912s| 24100 | 6239 | 8676k| 343.9 | 315M | 127 | 478 | 898 | 984 | 39k| 1 |3040 |1778 | 1.662947e+02 | 1.900000e+02 | 14.25%| unknown
912.78/915.38 c 915s| 24200 | 6261 | 8716k| 344.1 | 315M | 127 | 478 | 898 |1135 | 39k| 2 |3058 |1779 | 1.662948e+02 | 1.900000e+02 | 14.25%| unknown
913.68/916.27 c 916s| 24300 | 6259 | 8734k| 343.5 | 315M | 127 | 478 | 898 |1136 | 39k| 1 |3071 |1779 | 1.662948e+02 | 1.900000e+02 | 14.25%| unknown
917.37/919.95 c 920s| 24400 | 6283 | 8766k| 343.4 | 315M | 127 | 478 | 896 |1140 | 39k| 1 |3080 |1781 | 1.662948e+02 | 1.900000e+02 | 14.25%| unknown
922.15/924.71 c 925s| 24500 | 6319 | 8808k| 343.7 | 315M | 127 | 478 | 894 |1135 | 39k| 1 |3090 |1784 | 1.662962e+02 | 1.900000e+02 | 14.25%| unknown
923.15/925.73 c 926s| 24600 | 6313 | 8827k| 343.1 | 315M | 127 | 478 | 894 |1143 | 39k| 0 |3104 |1784 | 1.662962e+02 | 1.900000e+02 | 14.25%| unknown
927.83/930.43 c 930s| 24700 | 6353 | 8869k| 343.4 | 315M | 127 | 478 | 896 |1129 | 40k| 1 |3117 |1784 | 1.662986e+02 | 1.900000e+02 | 14.25%| unknown
929.13/931.72 c 932s| 24800 | 6357 | 8889k| 342.8 | 315M | 127 | 478 | 896 | 985 | 40k| 1 |3133 |1784 | 1.663010e+02 | 1.900000e+02 | 14.25%| unknown
931.82/934.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
931.82/934.45 c 934s| 24900 | 6371 | 8926k| 342.9 | 315M | 127 | 478 | 896 |1139 | 40k| 1 |3151 |1785 | 1.663042e+02 | 1.900000e+02 | 14.25%| unknown
936.31/938.98 c 939s| 25000 | 6415 | 8975k| 343.5 | 315M | 127 | 478 | 896 |1131 | 40k| 1 |3163 |1788 | 1.663079e+02 | 1.900000e+02 | 14.25%| unknown
941.89/944.51 c 944s| 25100 | 6463 | 9024k| 344.1 | 315M | 127 | 478 | 896 |1133 | 40k| 1 |3181 |1788 | 1.663102e+02 | 1.900000e+02 | 14.24%| unknown
943.78/946.43 c 946s| 25200 | 6471 | 9050k| 343.7 | 315M | 127 | 478 | 896 | 976 | 41k| 1 |3204 |1788 | 1.663113e+02 | 1.900000e+02 | 14.24%| unknown
949.37/952.06 c 952s| 25300 | 6513 | 9103k| 344.4 | 315M | 127 | 478 | 896 |1144 | 41k| 0 |3216 |1788 | 1.663171e+02 | 1.900000e+02 | 14.24%| unknown
953.46/956.10 c 956s| 25400 | 6531 | 9139k| 344.5 | 315M | 127 | 478 | 896 |1137 | 41k| 1 |3231 |1788 | 1.663195e+02 | 1.900000e+02 | 14.24%| unknown
957.24/959.95 c 960s| 25500 | 6563 | 9182k| 344.8 | 315M | 127 | 478 | 896 |1136 | 41k| 0 |3245 |1788 | 1.663199e+02 | 1.900000e+02 | 14.24%| unknown
959.63/962.37 c 962s| 25600 | 6587 | 9210k| 344.6 | 316M | 127 | 478 | 896 | 995 | 41k| 1 |3257 |1789 | 1.663212e+02 | 1.900000e+02 | 14.24%| unknown
962.23/964.92 c 965s| 25700 | 6621 | 9234k| 344.2 | 316M | 127 | 478 | 896 | 991 | 42k| 1 |3261 |1796 | 1.663230e+02 | 1.900000e+02 | 14.24%| unknown
966.21/968.92 c 969s| 25800 | 6661 | 9270k| 344.2 | 316M | 127 | 478 | 896 |1137 | 42k| 0 |3275 |1800 | 1.663264e+02 | 1.900000e+02 | 14.23%| unknown
969.11/971.88 c 972s| 25900 | 6689 | 9301k| 344.1 | 316M | 127 | 478 | 896 |1134 | 42k| 1 |3290 |1801 | 1.663271e+02 | 1.900000e+02 | 14.23%| unknown
972.00/974.77 c 975s| 26000 | 6727 | 9331k| 344.0 | 316M | 127 | 478 | 896 |1136 | 42k| 2 |3297 |1810 | 1.663274e+02 | 1.900000e+02 | 14.23%| unknown
975.99/978.73 c 979s| 26100 | 6777 | 9364k| 343.9 | 316M | 127 | 478 | 896 | 974 | 42k| 1 |3301 |1813 | 1.663309e+02 | 1.900000e+02 | 14.23%| unknown
978.19/980.91 c 981s| 26200 | 6799 | 9387k| 343.5 | 316M | 127 | 478 | 896 |1133 | 42k| 2 |3309 |1816 | 1.663315e+02 | 1.900000e+02 | 14.23%| unknown
978.69/981.44 c 981s| 26300 | 6801 | 9396k| 342.6 | 316M | 127 | 478 | 896 |1133 | 42k| 0 |3322 |1817 | 1.663315e+02 | 1.900000e+02 | 14.23%| unknown
980.39/983.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
980.39/983.17 c 983s| 26400 | 6813 | 9414k| 342.0 | 316M | 127 | 478 | 896 |1134 | 42k| 1 |3336 |1818 | 1.663324e+02 | 1.900000e+02 | 14.23%| unknown
983.07/985.88 c 986s| 26500 | 6839 | 9443k| 341.8 | 316M | 127 | 478 | 896 |1133 | 42k| 1 |3345 |1819 | 1.663325e+02 | 1.900000e+02 | 14.23%| unknown
986.56/989.34 c 989s| 26600 | 6875 | 9477k| 341.8 | 316M | 127 | 478 | 897 |1134 | 43k| 1 |3356 |1822 | 1.663339e+02 | 1.900000e+02 | 14.23%| unknown
988.36/991.10 c 991s| 26700 | 6887 | 9495k| 341.2 | 316M | 127 | 478 | 897 |1133 | 43k| 1 |3369 |1823 | 1.663341e+02 | 1.900000e+02 | 14.23%| unknown
990.35/993.19 c 993s| 26800 | 6901 | 9517k| 340.8 | 316M | 127 | 478 | 897 |1135 | 43k| 2 |3383 |1823 | 1.663346e+02 | 1.900000e+02 | 14.23%| unknown
992.25/995.04 c 995s| 26900 | 6923 | 9543k| 340.4 | 316M | 127 | 478 | 897 |1133 | 43k| 1 |3394 |1824 | 1.663347e+02 | 1.900000e+02 | 14.23%| unknown
992.94/995.73 c 996s| 27000 | 6923 | 9556k| 339.7 | 316M | 127 | 478 | 897 |1133 | 43k| 1 |3407 |1824 | 1.663347e+02 | 1.900000e+02 | 14.23%| unknown
993.54/996.35 c 996s| 27100 | 6931 | 9566k| 338.9 | 316M | 127 | 478 | 897 |1134 | 43k| 0 |3417 |1825 | 1.663347e+02 | 1.900000e+02 | 14.23%| unknown
995.13/997.90 c 998s| 27200 | 6951 | 9582k| 338.2 | 316M | 127 | 478 | 896 |1134 | 43k| 3 |3425 |1825 | 1.663347e+02 | 1.900000e+02 | 14.23%| unknown
997.23/1000.08 c 1000s| 27300 | 6959 | 9615k| 338.2 | 316M | 127 | 478 | 896 |1135 | 43k| 1 |3429 |1825 | 1.663350e+02 | 1.900000e+02 | 14.23%| unknown
999.82/1002.67 c 1003s| 27400 | 6981 | 9638k| 337.8 | 316M | 127 | 478 | 895 | 959 | 43k| 1 |3437 |1827 | 1.663367e+02 | 1.900000e+02 | 14.23%| unknown
1002.51/1005.32 c 1005s| 27500 | 6993 | 9662k| 337.5 | 316M | 127 | 478 | 895 |1135 | 43k| 1 |3444 |1830 | 1.663384e+02 | 1.900000e+02 | 14.22%| unknown
1003.01/1005.86 c 1006s| 27600 | 6999 | 9672k| 336.7 | 316M | 127 | 478 | 895 |1135 | 43k| 1 |3460 |1830 | 1.663384e+02 | 1.900000e+02 | 14.22%| unknown
1004.70/1007.57 c 1008s| 27700 | 7013 | 9690k| 336.1 | 316M | 127 | 478 | 895 |1135 | 43k| 2 |3468 |1830 | 1.663389e+02 | 1.900000e+02 | 14.22%| unknown
1006.70/1009.53 c 1010s| 27800 | 7019 | 9707k| 335.5 | 316M | 127 | 478 | 895 |1135 | 43k| 3 |3472 |1832 | 1.663415e+02 | 1.900000e+02 | 14.22%| unknown
1008.49/1011.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1008.49/1011.36 c 1011s| 27900 | 7049 | 9730k| 335.1 | 316M | 127 | 478 | 895 |1134 | 43k| 1 |3481 |1833 | 1.663436e+02 | 1.900000e+02 | 14.22%| unknown
1013.58/1016.42 c 1016s| 28000 | 7101 | 9771k| 335.4 | 316M | 127 | 478 | 894 |1135 | 44k| 1 |3486 |1838 | 1.663448e+02 | 1.900000e+02 | 14.22%| unknown
1016.27/1019.17 c 1019s| 28100 | 7129 | 9801k| 335.3 | 316M | 127 | 478 | 894 |1134 | 44k| 2 |3501 |1839 | 1.663454e+02 | 1.900000e+02 | 14.22%| unknown
1018.27/1021.15 c 1021s| 28200 | 7149 | 9824k| 334.9 | 316M | 127 | 478 | 894 |1134 | 44k| 1 |3512 |1839 | 1.663462e+02 | 1.900000e+02 | 14.22%| unknown
1019.86/1022.72 c 1023s| 28300 | 7165 | 9846k| 334.5 | 316M | 127 | 478 | 894 |1133 | 44k| 2 |3525 |1842 | 1.663467e+02 | 1.900000e+02 | 14.22%| unknown
1021.55/1024.45 c 1024s| 28400 | 7175 | 9868k| 334.1 | 316M | 127 | 478 | 894 |1134 | 44k| 2 |3539 |1843 | 1.663467e+02 | 1.900000e+02 | 14.22%| unknown
1026.14/1029.05 c 1029s| 28500 | 7211 | 9905k| 334.3 | 317M | 127 | 478 | 894 |1133 | 44k| 2 |3548 |1845 | 1.663500e+02 | 1.900000e+02 | 14.22%| unknown
1028.03/1030.99 c 1031s| 28600 | 7227 | 9926k| 333.9 | 317M | 127 | 478 | 894 |1138 | 44k| 3 |3563 |1845 | 1.663512e+02 | 1.900000e+02 | 14.22%| unknown
1031.02/1033.90 c 1034s| 28700 | 7257 | 9953k| 333.7 | 317M | 127 | 478 | 894 |1136 | 44k| 4 |3569 |1845 | 1.663529e+02 | 1.900000e+02 | 14.21%| unknown
1032.12/1035.09 c 1035s| 28800 | 7261 | 9968k| 333.0 | 317M | 127 | 478 | 894 | 970 | 44k| 1 |3582 |1846 | 1.663538e+02 | 1.900000e+02 | 14.21%| unknown
1035.71/1038.69 c 1039s| 28900 | 7287 | 10005k| 333.2 | 317M | 127 | 478 | 894 |1137 | 45k| 2 |3595 |1846 | 1.663567e+02 | 1.900000e+02 | 14.21%| unknown
1039.40/1042.30 c 1042s| 29000 | 7311 | 10036k| 333.1 | 317M | 127 | 478 | 893 |1139 | 45k| 4 |3610 |1846 | 1.663575e+02 | 1.900000e+02 | 14.21%| unknown
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 (62954 MiB free)
memory of node 1: 64507 MiB (62465 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489056-1751352476/watcher-4489056-1751352476 -o /tmp/evaluation-result-4489056-1751352476/solver-4489056-1751352476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751348876-53997 --watchdog 3760 pbscip -f HOME/instance-4489056-1751352476.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=54431, runsolver pid=54422
[startup+0.100058 s]*
/proc/loadavg: 4.14 4.10 4.06 6/267 54440
/proc/meminfo: memFree=128419952/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=51148 memory=25088 CPUtime=0.07 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 2744 0 0 0 7 0 0 0 20 0 1 0 50925495 52375552 6272 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 12787 6272 3904 3530 0 4238 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 51148 KiB
Current children cumulated memory: 25088 KiB
[startup+0.205315 s]*
/proc/loadavg: 4.14 4.10 4.06 6/267 54440
/proc/meminfo: memFree=128420048/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=51148 memory=25216 CPUtime=0.17 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 2751 0 0 0 17 0 0 0 20 0 1 0 50925495 52375552 6304 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 12787 6304 3904 3530 0 4238 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 51148 KiB
Current children cumulated memory: 25216 KiB
[startup+0.30498 s]*
/proc/loadavg: 4.14 4.10 4.06 6/267 54440
/proc/meminfo: memFree=128412236/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=51148 memory=25216 CPUtime=0.26 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 2757 0 0 0 26 0 0 0 20 0 1 0 50925495 52375552 6304 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 12787 6304 3904 3530 0 4238 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 51148 KiB
Current children cumulated memory: 25216 KiB
[startup+0.700102 s]
/proc/loadavg: 4.14 4.10 4.06 6/267 54440
/proc/meminfo: memFree=128380024/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=59088 memory=33024 CPUtime=0.65 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 4722 0 0 0 65 0 0 0 20 0 1 0 50925495 60506112 8256 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 14772 8256 3904 3530 0 6223 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 59088 KiB
Current children cumulated memory: 33024 KiB
[startup+1.50013 s]
/proc/loadavg: 4.14 4.10 4.06 6/267 54440
/proc/meminfo: memFree=128219752/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=128880 memory=101876 CPUtime=1.45 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 22782 0 0 0 142 3 0 0 20 0 1 0 50925495 131973120 25469 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 32220 25469 3904 3530 0 23671 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 128880 KiB
Current children cumulated memory: 101876 KiB
[startup+3.10505 s]
/proc/loadavg: 4.13 4.10 4.06 6/267 54440
/proc/meminfo: memFree=127893648/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=184116 memory=155636 CPUtime=3.06 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 36174 0 0 0 300 6 0 0 20 0 1 0 50925495 188534784 38909 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 46029 38909 3936 3530 0 37480 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 184116 KiB
Current children cumulated memory: 155636 KiB
[startup+6.3001 s]
/proc/loadavg: 4.13 4.10 4.06 6/267 54440
/proc/meminfo: memFree=127894272/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=184116 memory=155636 CPUtime=6.24 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 36178 0 0 0 618 6 0 0 20 0 1 0 50925495 188534784 38909 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 46029 38909 3936 3530 0 37480 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 184116 KiB
Current children cumulated memory: 155636 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.10 4.06 6/267 54440
/proc/meminfo: memFree=127894304/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=190208 memory=161524 CPUtime=12.62 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 37643 0 0 0 1256 6 0 0 20 0 1 0 50925495 194772992 40381 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 47552 40381 3936 3530 0 39003 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 190208 KiB
Current children cumulated memory: 161524 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.09 4.06 6/267 54440
/proc/meminfo: memFree=127685500/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=222688 memory=193012 CPUtime=25.39 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 45546 0 0 0 2532 7 0 0 20 0 1 0 50925495 228032512 48253 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 55672 48253 3936 3530 0 47123 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 222688 KiB
Current children cumulated memory: 193012 KiB
[startup+51.1051 s]
/proc/loadavg: 4.18 4.12 4.06 6/267 54441
/proc/meminfo: memFree=127685400/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=227508 memory=197192 CPUtime=50.93 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 47214 0 0 0 5086 7 0 0 20 0 1 0 50925495 232968192 49298 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 56877 49298 3936 3530 0 48328 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 227508 KiB
Current children cumulated memory: 197192 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.07 6/266 54442
/proc/meminfo: memFree=127635344/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=229772 memory=202952 CPUtime=101.99 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 48015 0 0 0 10191 8 0 0 20 0 1 0 50925495 235286528 50738 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 57443 50738 3936 3530 0 48894 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 229772 KiB
Current children cumulated memory: 202952 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.07 6/266 54444
/proc/meminfo: memFree=127366532/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=346232 memory=316952 CPUtime=161.83 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 76619 0 0 0 16170 13 0 0 20 0 1 0 50925495 354541568 79238 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 86558 79238 3936 3530 0 78009 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 346232 KiB
Current children cumulated memory: 316952 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.07 6/266 54447
/proc/meminfo: memFree=127270728/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=346232 memory=321304 CPUtime=221.68 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 76723 0 0 0 22154 14 0 0 20 0 1 0 50925495 354541568 80326 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 86558 80326 3936 3530 0 78009 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 346232 KiB
Current children cumulated memory: 321304 KiB
[startup+282.3 s]
/proc/loadavg: 4.40 4.17 4.09 6/266 54449
/proc/meminfo: memFree=127229508/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=346688 memory=322456 CPUtime=281.52 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 76978 0 0 0 28138 14 0 0 20 0 1 0 50925495 355008512 80614 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 86672 80614 3936 3530 0 78123 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 346688 KiB
Current children cumulated memory: 322456 KiB
[startup+342.3 s]
/proc/loadavg: 4.99 4.40 4.18 6/265 54452
/proc/meminfo: memFree=127227796/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=348420 memory=324248 CPUtime=341.38 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 77418 0 0 0 34123 15 0 0 20 0 1 0 50925495 356782080 81062 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 87105 81062 3936 3530 0 78556 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 348420 KiB
Current children cumulated memory: 324248 KiB
[startup+402.3 s]
/proc/loadavg: 4.42 4.34 4.17 6/265 54454
/proc/meminfo: memFree=127216564/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=349376 memory=325144 CPUtime=401.24 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 77780 0 0 0 40108 16 0 0 20 0 1 0 50925495 357761024 81286 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 87344 81286 3936 3530 0 78795 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 349376 KiB
Current children cumulated memory: 325144 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.29 4.17 6/267 54465
/proc/meminfo: memFree=127211932/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=349968 memory=325784 CPUtime=461.09 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 77932 0 0 0 46092 17 0 0 20 0 1 0 50925495 358367232 81446 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 87492 81446 3936 3530 0 78943 0
################
# More data... #
################
[pid=54431] ppid=54422 vsize=354424 memory=329752 CPUtime=640.61 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 79086 0 0 0 64042 19 0 0 20 0 1 0 50925495 362930176 82438 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 88606 82438 3936 3530 0 80057 0
Current children cumulated CPU time: 640.61 s
Current children cumulated vsize: 354424 KiB
Current children cumulated memory: 329752 KiB
[startup+702.3 s]
/proc/loadavg: 4.05 4.17 4.14 6/267 54475
/proc/meminfo: memFree=127182668/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=356444 memory=332056 CPUtime=700.43 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 79785 0 0 0 70023 20 0 0 20 0 1 0 50925495 364998656 83014 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 89111 83014 3936 3530 0 80562 0
Current children cumulated CPU time: 700.43 s
Current children cumulated vsize: 356444 KiB
Current children cumulated memory: 332056 KiB
[startup+762.3 s]
/proc/loadavg: 4.06 4.15 4.14 6/266 54477
/proc/meminfo: memFree=127179528/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=358632 memory=333848 CPUtime=760.25 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 80238 0 0 0 76004 21 0 0 20 0 1 0 50925495 367239168 83462 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 89658 83462 3936 3530 0 81109 0
Current children cumulated CPU time: 760.25 s
Current children cumulated vsize: 358632 KiB
Current children cumulated memory: 333848 KiB
[startup+822.3 s]
/proc/loadavg: 4.12 4.15 4.14 6/265 54490
/proc/meminfo: memFree=127146548/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=359828 memory=334872 CPUtime=820.06 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 80481 0 0 0 81985 21 0 0 20 0 1 0 50925495 368463872 83718 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 89957 83718 3936 3530 0 81408 0
Current children cumulated CPU time: 820.06 s
Current children cumulated vsize: 359828 KiB
Current children cumulated memory: 334872 KiB
[startup+882.3 s]
/proc/loadavg: 4.10 4.14 4.13 6/265 54492
/proc/meminfo: memFree=127162472/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=360520 memory=336280 CPUtime=879.88 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 80936 0 0 0 87966 22 0 0 20 0 1 0 50925495 369172480 84070 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 90130 84070 3936 3530 0 81581 0
Current children cumulated CPU time: 879.88 s
Current children cumulated vsize: 360520 KiB
Current children cumulated memory: 336280 KiB
[startup+942.3 s]
/proc/loadavg: 4.11 4.13 4.13 6/264 54494
/proc/meminfo: memFree=127152528/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=362508 memory=337688 CPUtime=939.7 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 81339 0 0 0 93948 22 0 0 20 0 1 0 50925495 371208192 84422 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 90627 84422 3936 3530 0 82078 0
Current children cumulated CPU time: 939.7 s
Current children cumulated vsize: 362508 KiB
Current children cumulated memory: 337688 KiB
[startup+1002.3 s]
/proc/loadavg: 4.09 4.12 4.12 6/264 54497
/proc/meminfo: memFree=127152312/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=363784 memory=339096 CPUtime=999.52 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 81678 0 0 0 99929 23 0 0 20 0 1 0 50925495 372514816 84774 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 90946 84774 3936 3530 0 82397 0
Current children cumulated CPU time: 999.52 s
Current children cumulated vsize: 363784 KiB
Current children cumulated memory: 339096 KiB
[startup+1048.96 s]
# the end of solver process 54431 was just reported to runsolver
# Child ended because it received signal 11 (SIGSEGV)
Child dumped core
# cumulated CPU time of all completed processes: user=1043.17 s, system=0.474345 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1024 s]*
/proc/loadavg: 4.14 4.12 4.12 6/265 54505
/proc/meminfo: memFree=127160440/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=363784 memory=339224 CPUtime=1021.16 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 81703 0 0 0 102093 23 0 0 20 0 1 0 50925495 372514816 84806 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 90946 84806 3936 3530 0 82397 0
Current children cumulated CPU time: 1021.16 s
Current children cumulated vsize: 363784 KiB
Current children cumulated memory: 339224 KiB
[startup+1036.8 s]
/proc/loadavg: 4.12 4.12 4.12 6/267 54508
/proc/meminfo: memFree=127160236/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=363784 memory=339224 CPUtime=1033.91 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 81717 0 0 0 103368 23 0 0 20 0 1 0 50925495 372514816 84806 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 90946 84806 3936 3530 0 82397 0
Current children cumulated CPU time: 1033.91 s
Current children cumulated vsize: 363784 KiB
Current children cumulated memory: 339224 KiB
[startup+1043.2 s]
/proc/loadavg: 4.10 4.11 4.12 6/267 54508
/proc/meminfo: memFree=127160276/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=363784 memory=339352 CPUtime=1040.29 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4194304 81733 0 0 0 104006 23 0 0 20 0 1 0 50925495 372514816 84838 18446744073709551615 4235264 18693293 140733306452288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 0
/proc/54431/statm: 90946 84838 3936 3530 0 82397 0
Current children cumulated CPU time: 1040.29 s
Current children cumulated vsize: 363784 KiB
Current children cumulated memory: 339352 KiB
[startup+1046.41 s]
/proc/loadavg: 4.10 4.11 4.12 6/267 54508
/proc/meminfo: memFree=127152212/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=371840 memory=347416 CPUtime=1043.42 cores=4,6
/proc/54431/stat : 54431 (pbscip) R 54422 54431 53986 0 -1 4195840 83770 0 0 0 104317 25 0 0 20 0 1 0 50925495 380764160 86854 18446744073709551615 4235264 18693293 140733306452288 140733298077696 140503153218230 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 11
/proc/54431/statm: 92960 86854 3936 3530 0 84411 0
Current children cumulated CPU time: 1043.42 s
Current children cumulated vsize: 371840 KiB
Current children cumulated memory: 347416 KiB
[startup+1048 s]*
/proc/loadavg: 4.09 4.11 4.12 6/268 54511
/proc/meminfo: memFree=126723048/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=371840 memory=347416 CPUtime=1043.64 cores=4,6
/proc/54431/stat : 54431 (pbscip) S 54422 54431 53986 0 -1 4195840 83771 0 0 0 104317 47 0 0 20 0 1 0 50925495 380764160 86854 18446744073709551615 4235264 18693293 140733306452288 140733298077696 140503153218230 0 0 0 2 1 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 11
/proc/54431/statm: 92960 86854 3936 3530 0 84411 0
Current children cumulated CPU time: 1043.64 s
Current children cumulated vsize: 371840 KiB
Current children cumulated memory: 347416 KiB
[startup+1048.4 s]
/proc/loadavg: 4.09 4.11 4.12 6/268 54511
/proc/meminfo: memFree=126723048/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=371840 memory=347416 CPUtime=1043.64 cores=4,6
/proc/54431/stat : 54431 (pbscip) S 54422 54431 53986 0 -1 4195840 83771 0 0 0 104317 47 0 0 20 0 1 0 50925495 380764160 86854 18446744073709551615 4235264 18693293 140733306452288 140733298077696 140503153218230 0 0 0 2 1 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 11
/proc/54431/statm: 92960 86854 3936 3530 0 84411 0
Current children cumulated CPU time: 1043.64 s
Current children cumulated vsize: 371840 KiB
Current children cumulated memory: 347416 KiB
[startup+1048.8 s]
/proc/loadavg: 4.09 4.11 4.12 6/268 54511
/proc/meminfo: memFree=126723048/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=371840 memory=347416 CPUtime=1043.64 cores=4,6
/proc/54431/stat : 54431 (pbscip) S 54422 54431 53986 0 -1 4195840 83771 0 0 0 104317 47 0 0 20 0 1 0 50925495 380764160 86854 18446744073709551615 4235264 18693293 140733306452288 140733298077696 140503153218230 0 0 0 2 1 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 11
/proc/54431/statm: 92960 86854 3936 3530 0 84411 0
Current children cumulated CPU time: 1043.64 s
Current children cumulated vsize: 371840 KiB
Current children cumulated memory: 347416 KiB
[startup+1048.9 s]
/proc/loadavg: 4.09 4.11 4.12 6/268 54511
/proc/meminfo: memFree=126723048/131249996 swapFree=33010684/33010684
[pid=54431] ppid=54422 vsize=371840 memory=347416 CPUtime=1043.64 cores=4,6
/proc/54431/stat : 54431 (pbscip) S 54422 54431 53986 0 -1 4195840 83771 0 0 0 104317 47 0 0 20 0 1 0 50925495 380764160 86854 18446744073709551615 4235264 18693293 140733306452288 140733298077696 140503153218230 0 0 0 2 1 0 0 17 4 0 0 0 0 0 21375888 21430392 31006720 140733306460553 140733306460652 140733306460652 140733306466254 11
/proc/54431/statm: 92960 86854 3936 3530 0 84411 0
Current children cumulated CPU time: 1043.64 s
Current children cumulated vsize: 371840 KiB
Current children cumulated memory: 347416 KiB
Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 1048.96
CPU time (s): 1043.65
CPU user time (s): 1043.17
CPU system time (s): 0.474345
CPU usage (%): 99.4939
Max. virtual memory (cumulated for all children) (KiB): 371840
Max. memory (cumulated for all children) (KiB): 347416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1043.17
system time used= 0.474345
maximum resident set size= 347416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83771
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= 250
involuntary context switches= 571
# summary of solver processes directly reported to runsolver:
# pid: 54431
# total CPU time (s): 1043.65
# total CPU user time (s): 1043.17
# total CPU system time (s): 0.474345
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.74072 second user time and 3.99686 second system time
The end
Begin job on nodeC024 at 2025-07-01 08:47:56 IDJOB=4489056 IDBENCH=147538 IDSOLVER=3365 FILE ID=nodeC024/4489056-1751352476 RUNJOBID= nodeC024-1751348876-53997 SLURM_JOB_ID= 9598123 Free space on /tmp= 433060 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489056-1751352476/watcher-4489056-1751352476 -o /tmp/evaluation-result-4489056-1751352476/solver-4489056-1751352476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751348876-53997 --watchdog 3760 pbscip -f HOME/instance-4489056-1751352476.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12 RANDOM SEED=719154434 nodeC024 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 : 3679.894 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 : 6999.36 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.564 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 : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.665 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 : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.473 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 : 6999.36 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 : 3439.439 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 : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.678 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 : 6999.36 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 : 3599.679 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 : 6999.36 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 : 3618.101 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 : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128435084 kB MemAvailable: 129746428 kB Buffers: 3280 kB Cached: 2104704 kB SwapCached: 0 kB Active: 321396 kB Inactive: 1849200 kB Active(anon): 80676 kB Inactive(anon): 0 kB Active(file): 240720 kB Inactive(file): 1849200 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 74704 kB Writeback: 4 kB AnonPages: 65708 kB Mapped: 103136 kB Shmem: 18064 kB KReclaimable: 120924 kB Slab: 209108 kB SReclaimable: 120924 kB SUnreclaim: 88184 kB KernelStack: 4080 kB PageTables: 2768 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 329636 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432904 MiB End job on nodeC024 at 2025-07-01 09:05:25